arXiv++ Combinatorics

We investigate arithmetic, geometric and combinatorial properties of symmetric edge polytopes. We give a complete combinatorial description of their facets. By combining Gröbner basis techniques, half-open decompositions and methods for interlacing polynomials we provide an explicit formula for the $h^\ast$-polynomial in case of complete bipartite graphs. In particular, we show that the $h^\ast$-polynomial is $γ$-positive and real-rooted. This proves Gal's conjecture for arbitrary flag unimodular triangulations in this case, and, beyond that, we prove a strengthing due to Nevo and Petersen (2011).

The Eulerian polynomials and derangement polynomials are two well-studied generating functions that frequently arise in combinatorics, algebra, and geometry. When one makes an appearance, the other often does so as well, and their corresponding generalizations are similarly linked. This is this case in the theory of subdivisions of simplicial complexes, where the Eulerian polynomial is an $h$-polynomial and the derangement polynomial is its local $h$-polynomial. Separately, in Ehrhart theory the Eulerian polynomials are generalized by the $h^\ast$-polynomials of $s$-lecture hall simplices. Here, we show that derangement polynomials are analogously generalized by the box polynomials, or local $h^\ast$-polynomials, of the $s$-lecture hall simplices, and that these polynomials are all real-rooted. We then connect the two theories by showing that the local $h$-polynomials of common subdivisions in algebra and topology are realized as local $h^\ast$-polynomials of $s$-lecture hall simplices. We use this connection to address some open questions on real-rootedness and unimodality of generating polynomials, some from each side of the story.

Let $p(x)=a_0 + a_1 x + \ldots + a_n x^n$ be a polynomial with all roots real and satisfying $x \leq -δ$ for some $0<δ<1$. We show that for any $0 < ε<1$, the value of $p(1)$ is determined within relative error $ε$ by the coefficients $a_k$ with $k \leq {c \over \sqrtδ} \ln {n \over ε\sqrt{ δ}}$ for some absolute constant $c > 0$. Consequently, if $m_k(G)$ is the number of matchings with $k$ edges in a graph $G$, then for any $0 < ε< 1$, the total number $M(G)=m_0(G)+m_1(G) + \ldots $ of matchings is determined within relative error $ε$ by the numbers $m_k(G)$ with $k \leq c \sqrtΔ \ln (v /ε)$, where $Δ$ is the largest degree of a vertex, $v$ is the number of vertices of $G$ and $c >0$ is an absolute constant. We prove a similar result for polynomials with complex roots satisfying $\Re\thinspace z \leq -δ$ and apply it to estimate the number of unbranched subgraphs of $G$.

In this paper, we study the root distribution of some univariate polynomials $W_n(z)$ satisfying a recurrence of order two with linear polynomial coefficients over positive numbers. We discover a sufficient and necessary condition for the overall real-rootedness of all the polynomials, in terms of the polynomial coefficients of the recurrence. Moreover, in the real-rooted case, we find the set of limits of zeros, which turns out to be the union of a closed interval and one or two isolated points; when non-real-rooted polynomial exists, we present a sufficient condition under which every polynomial with $n$ large has a real zero.

The family of lattice simplices in $\mathbb{R}^n$ formed by the convex hull of the standard basis vectors together with a weakly decreasing vector of negative integers include simplices that play a central role in problems in enumerative algebraic geometry and mirror symmetry. From this perspective, it is useful to have formulae for their discrete volumes via Ehrhart $h^\ast$-polynomials. Here we show, via an association with numeral systems, that such simplices yield $h^\ast$-polynomials with properties that are also desirable from a combinatorial perspective. First, we identify $n$-simplices in this family that associate via their normalized volume to the $n^{th}$ place value of a positional numeral system. We then observe that their $h^\ast$-polynomials admit combinatorial formula via descent-like statistics on the numeral strings encoding the nonnegative integers within the system. With these methods, we recover ubiquitous $h^\ast$-polynomials including the Eulerian polynomials and the binomial coefficients arising from the factoradic and binary numeral systems, respectively. We generalize the binary case to base-$r$ numeral systems for all $r\geq2$, and prove that the associated $h^\ast$-polynomials are real-rooted and unimodal for $r\geq2$ and $n\geq1$.

We study the problem of approximating the largest root of a real-rooted polynomial of degree $n$ using its top $k$ coefficients and give nearly matching upper and lower bounds. We present algorithms with running time polynomial in $k$ that use the top $k$ coefficients to approximate the maximum root within a factor of $n^{1/k}$ and $1+O(\tfrac{\log n}{k})^2$ when $k\leq \log n$ and $k>\log n$ respectively. We also prove corresponding information-theoretic lower bounds of $n^{Ω(1/k)}$ and $1+Ω\left(\frac{\log \frac{2n}{k}}{k}\right)^2$, and show strong lower bounds for noisy version of the problem in which one is given access to approximate coefficients. This problem has applications in the context of the method of interlacing families of polynomials, which was used for proving the existence of Ramanujan graphs of all degrees, the solution of the Kadison-Singer problem, and bounding the integrality gap of the asymmetric traveling salesman problem. All of these involve computing the maximum root of certain real-rooted polynomials for which the top few coefficients are accessible in subexponential time. Our results yield an algorithm with the running time of $2^{\tilde O(\sqrt[3]n)}$ for all of them.

The $r$-fold edgewise subdivision is a well studied flag triangulation of the simplex with interesting algebraic, combinatorial and geometric properties. An important enumerative invariant, namely the local $h$-polynomial, of this triangulation is computed and shown to be $γ$-nonnegative by providing explicit combinatorial interpretations to the corresponding coefficients. A construction of a flag triangulation of the seven-dimensional simplex whose local $h$-polynomial is not real-rooted is also described.

We introduce and study s-lecture hall P-partitions which is a generalization of s-lecture hall partitions to labeled (weighted) posets. We provide generating function identities for s-lecture hall P-partitions that generalize identities obtained by Savage and Schuster for s-lecture hall partitions, and by Stanley for P-partitions. We also prove that the corresponding (P,s)-Eulerian polynomials are real-rooted for certain pairs (P,s), and speculate on unimodality properties of these polynomials.

The P-Eulerian polynomial counts the linear extensions of a labeled partially ordered set, P, by their number of descents. It is known that the P-Eulerian polynomials are real-rooted for various classes of posets P. The purpose of this paper is to extend these results to polynomials in several variables. To this end we study multivariate extensions of P-Eulerian polynomials and prove that for certain posets these polynomials are stable, i.e., non-vanishing whenever all variables are in the upper half-plane of the complex plane. A natural setting for our proofs is the Malvenuto-Reutenauer algebra of permutations (or the algebra of free quasi-symmetric functions). In the process we identify an algebra on Dyck paths, which to our knowledge has not been studied before.

Recently, Gross et al. posed the LLC conjecture for the locally log-concavity of the genus distribution of every graph, and provided an equivalent combinatorial version, the CLLC conjecture, on the log-concavity of the generating function counting cycles of some permutation compositions. In this paper, we confirm the CLLC conjecture for cyclic permutations, with the aid of Hultman numbers and by applying the Hermite--Biehler theorem on the generating function of Stirling numbers of the first kind. This leads to a further conjecture that every local genus polynomial is real-rooted.

The descent polynomials of separable permutations and derangements are both demonstrated to be unimodal. Moreover, we prove that the $γ$-coefficients of the first are positive with an interpretation parallel to the classical Eulerian polynomial, while the second is spiral, a property stronger than unimodality. Furthermore, we conjecture that they are both real-rooted.

We prove that the genus polynomials of the graphs called iterated claws are real-rooted. This continues our work directed toward the 25-year-old conjecture that the genus distribution of every graph is log-concave. We have previously established log-concavity for sequences of graphs constructed by iterative vertex-amalgamation or iterative edge-amalgamation of graphs that satisfy a commonly observable condition on their partitioned genus distributions, even though it had been proved previously that iterative amalgamation does not always preserve real-rootedness of the genus polynomial of the iterated graph. In this paper, the iterated topological operations are adding a claw and adding a 3-cycle, rather than vertex- or edge-amalgamation. Our analysis here illustrates some advantages of employing a matrix representation of the transposition of a set of productions.

Graph eigenvalues are examples of totally real algebraic integers, i.e. roots of real-rooted monic polynomials with integer coefficients. Conversely, the fact that every totally real algebraic integer occurs as an eigenvalue of some finite graph is a deep result, conjectured forty years ago by Hoffman, and proved seventeen years later by Estes. This short paper provides an independent and elementary proof of a stronger statement, namely that the graph may actually be chosen to be a tree. As a by-product, our result implies that the atoms of the limiting spectrum of $n\times n$ symmetric matrices with independent Bernoulli$\,\left(\frac{c}{n}\right)$ entries ($c>0$ is fixed as $n\to\infty$) are exactly the totally real algebraic integers. This settles an open problem raised by Ben Arous (2010).

It is well-known that the coordinator polynomials of the classical root lattice of type $A_n$ and those of type $C_n$ are real-rooted. They can be obtained, either by the Aissen-Schoenberg-Whitney theorem, or from their recurrence relations. In this paper, we develop a trigonometric substitution approach which can be used to establish the real-rootedness of coordinator polynomials of type $D_n$. We also find the coordinator polynomials of type $B_n$ are not real-rooted in general. As a conclusion, we obtain that all coordinator polynomials of Weyl group lattices are log-concave.

We discuss several conjectures about the real-rootedness of polynomials whose coefficients are determinants of coefficients of a real-rooted polynomial. We also consider some questions about matrices generalizing totally positive matrices, namely totally stable matrices and totally upper matrices.

Given a sequence (a_k) = a_0, a_1, a_2,... of real numbers, define a new sequence L(a_k) = (b_k) where b_k = a_k^2 - a_{k-1} a_{k+1}. So (a_k) is log-concave if and only if (b_k) is a nonnegative sequence. Call (a_k) "infinitely log-concave" if L^i(a_k) is nonnegative for all i >= 1. Boros and Moll conjectured that the rows of Pascal's triangle are infinitely log-concave. Using a computer and a stronger version of log-concavity, we prove their conjecture for the nth row for all n <= 1450. We also use our methods to give a simple proof of a recent result of Uminsky and Yeats about regions of infinite log-concavity. We investigate related questions about the columns of Pascal's triangle, q-analogues, symmetric functions, real-rooted polynomials, and Toeplitz matrices. In addition, we offer several conjectures.

We refine a technique used in a paper by Schur on real-rooted polynomials. This amounts to an extension of a theorem of Wagner on Hadamard products of Toeplitz matrices. We also apply our results to polynomials for which the Neggers-Stanley Conjecture is known to hold. More precisely, we settle interlacing properties for $E$-polynomials of series-parallel posets and column-strict labelled Ferrers posets.

The paper is withdrawn since the results are included in arXiv:math/0403364.