arXiv++ Combinatorics

Let $L$ be a finite distributive lattice and $μ: L \to {\mathbb R}^{+}$ a log-supermodular function. For functions $k: L \to {\mathbb R}^{+}$ let $$E_μ (k; q) \defeq \sum_{x\in L} k(x) μ(x) q^{{\mathrm rank}(x)} \in {\mathbb R}^{+}[q].$$ We prove for any pair $g,h: L\to {\mathbb R}^{+}$ of monotonely increasing functions, that $$E_μ (g; q)\cdot E_μ (h; q) \ll E_μ (1; q)\cdot E_μ (gh; q), $$ where ``$ \ll $'' denotes coefficientwise inequality of real polynomials. The FKG inequality of Fortuin, Kasteleyn and Ginibre (1971) is the real number inequality obtained by specializing to $q=1$. The polynomial FKG inequality has applications to $f$-vectors of joins and intersections of simplicial complexes, to Betti numbers of intersections of certain Schubert varieties, and to the following kind of correlation inequality for power series weighted by Young tableaux. Let $Y$ be the set of all integer partitions. Given functions $k, μ: Y \rarr \R^+$, and parameters $0\le s\le t$, define the formal power series $$F_μ(k ; z) \defeq \sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{(|\la| !)^s} \in \R^+ [[z]], $$ %\sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{|\la| !} \in \R^+ [[z]],$$ where $f_{\la}$ is the number of standard Young tableaux of shape $\la$. Assume that $μ: Y\rarr \R^+$ is log-supermodular, and that $g, h: Y \rarr \R^+$ are monotonely increasing with respect to containment order of partition shapes. Then $$F_μ(g;z) \cdot F_μ(h;z) \ll F_μ(1;z) \cdot F_μ(gh;z). $$

We investigate the Cesaro and Abel sums of divergent series of the form $\sum_{n\geq 0} a_n T^nP(x)$, where $P$ is a real polynomial and $T$ is a translation invariant operator on the space of real polynomials.

We describe all linear operators on spaces of multivariate polynomials preserving the property of being non-vanishing in open circular domains. This completes the multivariate generalization of the classification program initiated by Pólya-Schur for univariate real polynomials and provides a natural framework for dealing in a uniform way with Lee-Yang type problems in statistical mechanics, combinatorics, and geometric function theory. This is an announcement with some of the main results in arXiv:0809.0401 and arXiv:0809.3087.

In the first part of this series we characterized all linear operators on spaces of multivariate polynomials preserving the property of being non-vanishing in products of open circular domains. For such sets this completes the multivariate generalization of the classification program initiated by Pólya-Schur for univariate real polynomials. We build on these classification theorems to develop here a theory of multivariate stable polynomials. Applications and examples show that this theory provides a natural framework for dealing in a uniform way with Lee-Yang type problems in statistical mechanics, combinatorics, and geometric function theory in one or several variables. In particular, we answer a question of Hinkkanen on multivariate apolarity.

We establish a convenient necessary and sufficient condition for a multiaffine real polynomial to be stable, and use it to verify that the half-plane property holds for seven small matroids that resisted the efforts of Choe, Oxley, Sokal, and Wagner [5].

A real polynomial $P(X_1,..., X_n)$ sign represents $f: A^n \to \{0,1\}$ if for every $(a_1, ..., a_n) \in A^n$, the sign of $P(a_1,...,a_n)$ equals $(-1)^{f(a_1,...,a_n)}$. Such sign representations are well-studied in computer science and have applications to computational complexity and computational learning theory. In this work, we present a systematic study of tradeoffs between degree and sparsity of sign representations through the lens of the parity function. We attempt to prove bounds that hold for any choice of set $A$. We show that sign representing parity over $\{0,...,m-1\}^n$ with the degree in each variable at most $m-1$ requires sparsity at least $m^n$. We show that a tradeoff exists between sparsity and degree, by exhibiting a sign representation that has higher degree but lower sparsity. We show a lower bound of $n(m -2) + 1$ on the sparsity of polynomials of any degree representing parity over $\{0,..., m-1\}^n$. We prove exact bounds on the sparsity of such polynomials for any two element subset $A$. The main tool used is Descartes' Rule of Signs, a classical result in algebra, relating the sparsity of a polynomial to its number of real roots. As an application, we use bounds on sparsity to derive circuit lower bounds for depth-two AND-OR-NOT circuits with a Threshold Gate at the top. We use this to give a simple proof that such circuits need size $1.5^n$ to compute parity, which improves the previous bound of ${4/3}^{n/2}$ due to Goldmann (1997). We show a tight lower bound of $2^n$ for the inner product function over $\{0,1\}^n \times \{0, 1\}^n$.

Let $f(x)$ and $g(x)$ be two real polynomials whose leading coefficients have the same sign. Suppose that $f(x)$ and $g(x)$ have only real zeros and that $g$ interlaces $f$ or $g$ alternates left of $f$. We show that if $ad\ge bc$ then the polynomial $$(bx+a)f(x)+(dx+c)g(x)$$ has only real zeros. Applications are related to certain results of F.Brenti (Mem. Amer. Math. Soc. 413 (1989)) and transformations of Pólya frequency sequences. More specifically, suppose that $A(n,k)$ are nonnegative numbers which satisfy the recurrence $$A(n,k)=(rn+sk+t)A(n-1,k-1)+(an+bk+c)A(n-1,k)$$ for $n\ge 1$ and $0\le k\le n$, where $A(n,k)=0$ unless $0\le k\le n$. We show that if $rb\ge as$ and $(r+s+t)b\ge (a+c)s$, then for each $n\ge 0$, $A(n,0),A(n,1),...,A(n,n)$ is a Pólya frequency sequence. This gives a unified proof of the PF property of many well-known sequences including the binomial coefficients, the Stirling numbers of two kinds and the Eulerian numbers.

We prove an asymptotically tight bound (asymptotic with respect to the number of polynomials for fixed degrees and number of variables) on the number of semi-algebraically connected components of the realizations of all realizable sign conditions of a family of real polynomials. More precisely, we prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of a family of $s$ polynomials in $\R[X_1,...,X_k]$ whose degrees are at most $d$ is bounded by \[ \frac{(2d)^k}{k!}s^k + O(s^{k-1}). \] This improves the best upper bound known previously which was \[ {1/2}\frac{(8d)^k}{k!}s^k + O(s^{k-1}). \] The new bound matches asymptotically the lower bound obtained for families of polynomials each of which is a product of generic polynomials of degree one.

This paper starts with an observation that two infinite series of simplicial complexes, which a priori do not seem to have anything to do with each other, have the same homotopy type. One series consists of the complexes of directed forests on a double directed string, while the other one consists of Shapiro-Welker models for the spaces of hyperbolic polynomials with a triple root. We explain this coincidence in the more general context by finding an explicit homotopy equivalence between complexes of directed forests on a double directed tree, and doubly disconnecting complexes of a tree.

Let P be a lattice polytope in R^n, and let P \cap Z^n = {v_1,...,v_N}. If the N + \binom N2 points 2v_1,...,2v_N; v_1+v_2,...v_{N-1}+v_N are distinct, we say that P is a "distinct pair-sum" or "dps" polytope. We show that, if P is a dsp polytope in R^n, then N \le 2^n, and, for every n, we construct dps polytopes in R^n which contain 2^n lattice points. We also discuss the relation between dps polytopes and the study of sums of squares of real polynomials.