arXiv++ Combinatorics

We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graph algebras and defined by a deletion-loopy-contraction recursion, in which the contracted edge becomes a loop. We show that L_G contains the Tutte polynomial and admits a similar spanning-forest activity expansion. It also determines Stanley's chromatic symmetric function, the degree sequence, the induced edge count profile, and the independence polynomial for loopless graphs, and the clique and matching polynomials for simple graphs. Separating the size and the external activity of each forest component leads to a refined loopy polynomial, which we show to be equivalent to the extended U-polynomial of Noble and Welsh and to the extended polychromate. Different specializations of this common refinement give the ordinary U-polynomial, Tutte's universal V-function, and Stanley's Tutte symmetric function, placing these invariants into a single framework. We conjecture that L_G and the U-polynomial have the same distinguishing power on simple graphs, and verify this for all graphs on at most 11 vertices. Simplicity is essential: we found two loopless multigraphs with equal U-polynomials but distinct loopy polynomials. They also have distinct extended U-polynomials, so the ordinary U-polynomial does not determine the extended one on loopless multigraphs. This solves an open problem by Merino and Noble. For the score polytope P_G of the external bizonotopal algebra, loopy deletion-contraction lifts from the lattice-point enumerator to the polytope itself. This gives forest-indexed geometric parking complexes whose lattice points partition those of P_G, and which are piecewise-linearly parametrized by products of intervals whose lengths are the component weights in the forest expansion of L_G.

We study the minimum number of inflection points among generic immersed closed plane curves with a fixed embedded shadow. The word immersed is essential: a genuinely embedded Jordan curve has inflection minimum zero. For tree-like shadows, inflection criterion converts inflection-free realizability into a finite coorientation problem on the building polygons of the shadow. We sharpen this viewpoint into an exact finite formula for the minimum number of normalized inflections and record a dynamic-programming computation on the block tree. We then push the method beyond the tree-like case. For every embedded shadow the same coorientation model gives a universal lower bound. For a natural larger class, called tree--necklace shadows, in which the non-tree-like blocks are separated annular cycles, the lower bound is exact after imposing an explicit $\mathbb Z_2$ holonomy condition around each necklace. We also record the algorithmic status of the exact minimization problem and formulate a likely NP-hardness problem for unrestricted shadows. Finally, we introduce a related invariant: the minimum possible least multiplicity of the Gauss map, equivalently the smallest guaranteed number of oriented parallel tangencies. This ``parallel-tangent load'' is controlled by the same inflection folds but is not determined by their number alone.

We study a representation-theoretic refinement of the ordinary Laplacian spectrum of a graph. Given a graph $G$ on $n$ vertices, one may associate to it the element \[ X_G=\sum_{ij\in E(G)} (ij)\in \C[S_n]. \] The action of $X_G$ in irreducible representations of $S_n$ produces spectral invariants of graphs. The standard representation $(n-1,1)$ recovers the ordinary graph Laplacian spectrum, up to the elementary affine change $X_G=mI-L_G$, where $m=|E(G)|$. The next component, $(n-2,2)$, gives the first representation-theoretic correction. We give an explicit edge-space model for this component, derive a concrete coordinate formula for the induced operator, give a conceptual formula for all trace moments, specialize it to trees as universal linear combinations of support-forest counts, and then compute the first three moments explicitly. The third moment is expressed in terms of three-edge subgraph counts. We also introduce a weighted trace polynomial and prove that this weighted refinement already reconstructs every tree from the second moment, except for a single exceptional value of $n$ where the fourth moment suffices. Finally we discuss the relation with the invariant-theoretic approach of Thiéry \cite{Thiery} and formulate a more explicit support-forest-profile conjecture for the unweighted graph isomorphism problem for trees.

We study two closely related objects associated with plane domains bounded by rational algebraic arcs: canonical forms in the sense of positive geometry and normalized moment-generating functions, or Fantappie transforms. For polygons these objects are related by polarity: the normalized Fantappie transform of a polygon is the canonical form of the polar polygon. For genuinely curved polypols the same dual-geometric mechanism survives, but the transform is no longer a rational logarithmic canonical form; rather, it is a holonomic, generally branched period whose singularities are controlled by vertex hyperplanes and by the projective dual curves of the nonlinear boundary components. We give explicit examples, including sectors and half-disks, and explain how harmonic moment generating functions arise as one-dimensional restrictions of the same Fantappi`e transform.

We show that the Hilbert-Kunz multiplicity of the d-dimensional non-degenerate quadric hypersurface of characteristic p > 2 is a rational function of p composed from the Ehrhart polynomials of integer polytopes. In consequence, we prove that the Hilbert-Kunz multiplicity of quadrics of fixed characteristic is a decreasing function of dimension and recover results of Trivedi and Gessel-Monsky on the behaviour of said Hilbert-Kunz multiplicity as a function of characteristic.

Zonotopal algebras (external, central, and internal) of an undirected graph G introduced by Postnikov-Shapiro and Holtz-Ron, are finite-dimensional commutative graded algebras whose Hilbert series contain a wealth of combinatorial information about G. In this paper, we associate to G a new family of algebras, which we call bizonotopal, because their definition involves doubling the set of edges of G. These algebras are monomial and have intricate properties related, among other things, to the combinatorics of graphical parking functions and their polytopes. Unlike the case of usual zonotopal algebras, the Hilbert series of bizonotopal algebras are not specializations of the Tutte polynomial of G. Still, we show that in the external and central cases these Hilbert series satisfy a modified deletion-contraction relation. In addition, we prove that the external bizonotopal algebra is a complete graph invariant.

We study certain filtered deformations of the external zonotopal algebra of a given graph parametrized by univariate polynomials. We establish some general properties of these algebras, compute their Hilbert series for a number of graphs using Macaulay2, and formulate several conjectures.

In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree which have no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces P^{cΘ}_d of real monic univariate polynomials of degree d whose real divisors avoid given sequences of root multiplicities. These forbidden sequences are taken from an arbitrary poset Θof compositions that are closed under certain natural combinatorial operations. We reduce the computation of the homology H_*(P^{cΘ}_d) to the computation of the homology of a differential complex, defined purely combinatorially in terms of the given closed poset Θ. We also obtain the stabilization results about H^\ast(P^{c Θ}_d), as d goes to infinity. These results are deduced from our description of the homology of spaces B^{c Θ}_d whose points are binary real homogeneous forms, considered up to projective equivalence, with similarly Θ-constrained real divisors. In particular, we exhibit differential complexes that calculate the homology of these spaces and obtain some stabilization results for H^*(B^{c Θ}_d), as d goes to infinity. In particular, we compute the homology of the discriminants of projectivized binary real forms for which there is at least one line on which the form vanishes with multiplicity >= 2 and of their complements in \cB_d \cong RP^d.

The Grassmann convexity conjecture gives a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. The conjecture can be reformulated in terms of convex curves in the nilpotent lower triangular group. The formula has already been shown to be a correct lower bound and to give a correct upper bound in several small dimensional cases. In this paper we obtain a general explicit upper bound.

In this short note we make a few remarks on a class of generalized incidence matrices whose matroids do not depend on the orientation of the underlying graph and natural commutative algebras associated to such matrices.

In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree d and with no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces of real monic univariate polynomials of degree d whose real divisors avoid sequences of root multiplicities taken from a given poset of compositions which is closed under certain natural combinatorial operations. In this paper, we concentrate on the fundamental group of such spaces. We find explicit presentations for the fundamental groups in terms of generators and relations and show that in a number of cases they are free with rank bounded from above by a quadratic function in d. We also show that the fundamental group stabilizes for d large. We further show that the fundamental groups admit an interpretation as special bordisms of immersions of 1-manifolds into the cylinder S^1 \times R, whose images avoid the tangency patterns from the poset with respect to the generators of the cylinder.

In this paper we settle a special case of the Grassmann convexity conjecture formulated earlier by B.and M.Shapiro. We present a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. We show that this formula gives the lower bound for the required total number of real zeros for equations of an arbitrary order and, using our results on the Grassmann convexity, we prove that the aforementioned formula is correct for equations of orders $4$ and $5$.

The uniform probability measure on a convex polytope induces piecewise polynomial densities on its projections. For a fixed combinatorial type of simplicial polytopes, the moments of these measures are rational functions in the vertex coordinates. We study projective varieties that are parametrized by finite collections of such rational functions. Our focus lies on determining the prime ideals of these moment varieties. Special cases include Hankel determinantal ideals for polytopal splines on line segments, and the relations among multisymmetric functions given by the cumulants of a simplex. In general, our moment varieties are more complicated than in these two special cases. They offer challenges for both numerical and symbolic computing in algebraic geometry.

We show that the multivariate generating function of appropriately normalized moments of a measure with homogeneous polynomial density supported on a compact polytope P in R^d is a rational function. Its denominator is the product of linear forms dual to the vertices of P raised to the power equal to the degree of the density function. Using this, we solve the inverse moment problem for the set of, not necessarily convex, polytopes having a given set S of vertices. Under a weak non-degeneracy assumption we also show that the uniform measure supported on any such polytope is a linear combination of uniform measures supported on simplices with vertices in S.

Using the approach suggested in [arXiv:1002.2761] we present below a sufficient condition guaranteeing that two collections of patterns of permutations have the same exponential generating functions for the number of permutations avoiding elements of these collections as consecutive patterns. In short, the coincidence of the latter generating functions is guaranteed by a length-preserving bijection of patterns in these collections which is identical on the overlappings of pairs of patterns where the overlappings are considered as unordered sets. Our proof is based on a direct algorithm for the computation of the inverse generating functions. As an application we present a large class of patterns where this algorithm is fast and, in particular, allows to obtain a linear ordinary differential equation with polynomial coefficients satisfied by the inverse generating function.

In the present paper we find a new interpretation of Narayana polynomials N_n(x) which are the generating polynomials for the Narayana numbers N_{n,k} counting Dyck paths of length n and with exactly k peaks. Strangely enough Narayana polynomials also occur as limits as n->oo of the sequences of eigenpolynomials of the Schur-Szego composition map sending (n-1)-tuples of polynomials of the form (x+1)^{n-1}(x+a) to their Schur-Szego product, see below. As a corollary we obtain that every N_n(x) has all roots real and non-positive. Additionally, we present an explicit formula for the density and the distribution function of the asymptotic root-counting measure of the polynomial sequence {N_n(x)}.

Generalizing the classical matrix-tree theorem we provide a formula counting subgraphs of a given graph with a fixed 2-core. We use this generalization to obtain an analog of the matrix-tree theorem for the root system $D_n$ (the classical theorem corresponds to the $A_n$-case). Several byproducts of the developed technique, such as a new formula for a specialization of the multivariate Tutte polynomial, are of independent interest.

For a graph G, we construct two algebras, whose dimensions are both equal to the number of spanning trees of G. One of these algebras is the quotient of the polynomial ring modulo certain monomial ideal, while the other is the quotient of the polynomial ring modulo certain powers of linear forms. We describe the set of monomials that forms a linear basis in each of these two algebras. The basis elements correspond to G-parking functions that naturally came up in the abelian sandpile model. These ideals are instances of the general class of monotone monomial ideals and their deformations. We show that the Hilbert series of a monotone monomial ideal is always bounded by the Hilbert series of its deformation. Then we define an even more general class of monomial ideals associated with posets and construct free resolutions for these ideals. In some cases these resolutions coincide with Scarf resolutions. We prove several formulas for Hilbert series of monotone monomial ideals and investigate when they are equal to Hilbert series of deformations. In the appendix we discuss the sandpile model.

To any real rational function with generic ramification points we assign a combinatorial object, called a garden, which consists of a weighted labeled directed planar chord diagram and of a set of weighted rooted trees each corresponding to a face of the diagram. We prove that any garden corresponds to a generic real rational function, and that equivalent functions have equivalent gardens.

Let W be an arbitrary Coxeter group of simply-laced type (possibly infinite but of finite rank), u,v be any two elements in W, and i be a reduced word (of length m) for the pair (u,v) in the Coxeter group W\times W. We associate to i a subgroup Gamma_i in GL_m(Z) generated by symplectic transvections. We prove among other things that the subgroups corresponding to different reduced words for the same pair (u,v) are conjugate to each other inside GL_m(Z). We also generalize the enumeration result of the first three authors (see AG/9802093) by showing that, under certain assumptions on u and v, the number of Gamma_i(F_2)-orbits in F_2^m is equal to 3\times 2^s, where s is the number of simple reflections that appear in a reduced decomposition for u or v and F_2 is the two-element field.