Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHighly symmetric matroids, the strong Rayleigh property, and sums of squares
99
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We investigate the strong Rayleigh property of matroids for which the basis enumerating polynomial is invariant under a Young subgroup of the symmetric group on the ground set. In general, the Grace-Walsh-SzegH{o} theorem can be used to simplify the problem. When the Young subgroup has only two orbits, such a matroid is strongly Rayleigh if and only if an associated univariate polynomial has only real roots. When this polynomial is quadratic we get an explicit structural criterion for the strong Rayleigh property. Finally, if one of the orbits has rank two then the matroid is strongly Rayleigh if and only if the Rayleigh difference of any two points on this line is in fact a sum of squares.
rate research
Read More
From sum-of-squares formulas of sizes $[r, s, n]$ and $[r, s, n]$ we construct a formula of size $[r + r, 2ss, 2nn]$.
Let $(X_1 , ldots , X_d)$ be random variables taking nonnegative integer values and let $f(z_1, ldots , z_d)$ be the probability generating function. Suppose that $f$ is real stable; equivalently, suppose that the polarization of this probability distribution is strong Rayleigh. In specific examples, such as occupation counts of disjoint sets by a determinantal point process, it is known~cite{soshnikov02} that the joint distribution must approach a multivariate Gaussian distribution. We show that this conclusion follows already from stability of $f$.
We introduce the set $mathcal{G}^{rm SSP}$ of all simple graphs $G$ with the property that each symmetric matrix corresponding to a graph $G in mathcal{G}^{rm SSP}$ has the strong spectral property. We find several families of graphs in $mathcal{G}^{rm SSP}$ and, in particular, characterise the trees in $mathcal{G}^{rm SSP}$.
We investigate the structure and properties of an Artinian monomial complete intersection quotient $A(n,d)=mathbf{k} [x_{1}, ldots, x_{n}] big / (x_{1}^{d}, ldots, x_{n}^d)$. We construct explicit homogeneous bases of $A(n,d)$ that are compatible with the $S_{n}$-module structure for $n=3$, all exponents $d ge 3$ and all homogeneous degrees $j ge 0$. Moreover, we derive the multiplicity formulas, both in recursive form and in closed form, for each irreducible component appearing in the $S_{3}$-module decomposition of homogeneous subspaces. 4, 5$.
The Hilberts 17th problem asks that whether every nonnegative polynomial can be a sum of squares of rational functions. It has been answered affirmatively by Artin. However, as to the question whether a given nonnegative polynomial is a sum of squares of polynomials is still a central question in real algebraic geometry. In this paper, we solve this question completely for the nonnegative polynomials associated with isoparametric polynomials (initiated by E. Cartan) which define the focal submanifolds of the corresponding isoparametric hypersurfaces.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
