SearcharxivSearch

arXiv subjects

Tracy Chin

Publications and source records attributed to Tracy Chin.

4 recordsLinked to original sources

Symmetric Lorentzian Polynomials

We study the class of Lorentzian symmetric polynomials and Lorentzian symmetric functions, which are defined to be symmetric functions for which every truncation of variables is Lorentzian. Similar to the space of Lorentzian polynomials, we show that the space of Lorentzian symmetric polynomials is homeomorphic to a closed Euclidean ball. Our main result is a reduction scheme that significantly reduces the complexity of testing for Lorentzianity. Using this method, we provide explicit semialgebraic descriptions of the spaces of Lorentzian symmetric polynomials and functions for degrees up to six. These techniques can also be applied to simplify the proofs to known cases of Lorentzian symmetric functions. We conclude by showing that some natural symmetric operators fail to preserve Lorentzianity which in turn highlights an inherent tension between symmetry in variables and the Lorentzian property.

math.CO

Valuated Delta Matroids and Principal Minors of Hermitian matrices

In this paper we introduce valuated $\Delta$-matroids, a natural generalization of two objects of study in matroid theory: valuated matroids and $\Delta$-matroids. We show that these objects exhibit nice properties analogous to ordinary valuated matroids. We also show that these objects arise as the valuations of principal minors of a Hermitian matrix over a valued field, generalizing other forms of $\Delta$-matroid representability.

math.CO

Real Stability and Log Concavity are coNP-Hard

Real-stable, Lorentzian, and log-concave polynomials are well-studied classes of polynomials, and have been powerful tools in resolving several conjectures. We show that the problems of deciding whether a polynomial of fixed degree is real stable or log concave are coNP-hard. On the other hand, while all homogeneous real-stable polynomials are Lorentzian and all Lorentzian polynomials are log concave on the positive orthant, the problem of deciding whether a polynomial of fixed degree is Lorentzian can be solved in polynomial time.

math.OC

Enabling equation-free modeling via diffusion maps

Equation-free modeling aims at extracting low-dimensional macroscopic dynamics from complex high-dimensional systems that govern the evolution of microscopic states. This algorithm relies on lifting and restriction operators that map macroscopic states to microscopic states and vice versa. Combined with simulations of the microscopic state, this algorithm can be used to apply Newton solvers to the implicitly defined low-dimensional macroscopic system or solve it more efficiently using direct numerical simulations. The key challenge is the construction of the lifting and restrictions operators that usually require a priori insight into the underlying application. In this paper, we design an application-independent algorithm that uses diffusion maps to construct these operators from simulation data. Code is available at https://doi.org/10.5281/zenodo.5793299.

math.DS