arXiv++ Combinatorics

Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize the chromatic polynomial and are related to Hessenberg varieties and diagonal harmonics. Motivated by the Stanley--Stembridge conjecture, we show that the allowable coloring weights for indifference graphs of Dyck paths are the lattice points of a permutahedron $\mathcal{P}_λ$, and we give a formula for the dominant weight $λ$. Furthermore, we conjecture that such chromatic symmetric functions are Lorentzian, a property introduced by Brändén and Huh as a bridge between discrete convex analysis and concavity properties in combinatorics, and we prove this conjecture for abelian Dyck paths. We extend our results on the Newton polytope to incomparability graphs of (3+1)-free posets, and we give a number of conjectures and results stemming from our work, including results on the complexity of computing the coefficients and relations with the $ζ$ map from diagonal harmonics.

In this paper, we study the Newton polytopes of $F$-polynomials in a TSSS cluster algebra $\mathcal A$ and generalize them to a larger set consisting of polytopes $N_{h}$ associated to vectors $h\in\Z^{n}$ as well as $\widehat{\mathcal{P}}$ consisting of polytope functions $ρ_{h}$ corresponding to $N_{h}$. The main contribution contains that (i) obtaining a {\em recurrence construction} of the Laurent expression of a cluster variable in a cluster from its $g$-vector; (ii) proving the subset $\mathcal{P}$ of $\widehat{\mathcal{P}}$ consisting of Laurent polynomials in $\widehat{\mathcal{P}}$ is a strongly positive $\Z Trop(Y)$-basis for $\mathcal{U}(\A)$ consisting of certain universally indecomposable Laurent polynomials when $\A$ is a cluster algebra with principal coefficients. For a cluster algebra $\mathcal A$ over arbitrary semifield $\mathbb P$ in general, $\mathcal{P}$ is a strongly positive $\Z¶$-basis for the intermediate cluster subalgebra $\mathcal{I_P(A)}$ of $\mathcal{U(A)}$. We call $\mathcal P$ the {\em polytope basis}; (iii) constructing some explicit maps among corresponding $F$-polynomials, $g$-vectors, $d$-vectors and cluster variables to characterize their relationship. Moreover, we give three applications of (i), (ii) and (iii) respectively.

We classify all matroids with at most 8 elements that have the half-plane property, and we provide a list of some matroids on 9 elements that have, and that do not have the half-plane property. Furthermore, we prove that several classes of matroids and polynomials that are motivated by the theory of semidefinite programming are closed under taking minors and under passing to faces of the Newton polytope.

In this paper, we explore the inflectionary behavior of linear series on superelliptic curves $X$ over fields of arbitrary characteristic. Here we give a precise description of the inflection of linear series over the ramification locus of the superelliptic projection; and we initiate a study of those inflectionary varieties that parameterize the inflection points of linear series on $X$ supported away from the superelliptic ramification locus that is predicated on the behavior of their Newton polytopes.

We prove that double Schubert polynomials have the Saturated Newton Polytope property. This settles a conjecture by Monical, Tokcan and Yong. Our ideas are motivated by the theory of multidegrees. We introduce a notion of standardization of ideals that enables us to study non-standard multigradings. This allows us to show that the support of the multidegree polynomial of each Cohen-Macaulay prime ideal, and in particular, that of each Schubert determinantal ideal is a discrete polymatroid.

Symmetric edge polytopes, a.k.a. PV-type adjacency polytopes, associated with undirected graphs have been defined and studied in several seemingly independent areas including number theory, discrete geometry, and dynamical systems. In particular, the authors are motivated by the study of the algebraic Kuramoto equations of unmixed form whose Newton polytopes are the symmetric edge polytopes. The interplay between the geometric structure of symmetric edge polytopes and the topological structure of the underlying graphs has been a recurring theme in recent studies. In particular, ``facet/face subgraphs'' have emerged as one of the central concepts in describing this symmetry. Continuing along this line of inquiry we provide a complete description of the correspondence between facets/faces of a symmetric edge polytope and maximal bipartite subgraphs of the underlying connected graph.

For a given lattice polytope $P$ in $\mathbb{R}^3$, consider the space $\mathcal{L}_P$ of trivariate polynomials over a finite field $\mathbb{F}_q$, whose Newton polytopes are contained in $P$. We give an upper bound for the maximum number of $\mathbb{F}_q$-zeros of polynomials in $\mathcal{L}_P$ in terms of the Minkowski length of $P$ and $q$, the size of the field. Consequently, this produces lower bounds for the minimum distance of toric codes defined by evaluating elements of $\mathcal{L}_P$ at the points of the algebraic torus $(\mathbb{F}_q^*)^3$. Our approach is based on understanding factorizations of polynomials in $\mathcal{L}_P$ with the largest possible number of non-unit factors. The related combinatorial result that we obtain is a description of Minkowski sums of lattice polytopes contained in $P$ with the largest possible number of non-trivial summands.

We consider the tropicalization of tangent lines to a complete intersection curve $X$ in $\mathbb{P}^n$. Under mild hypotheses, we describe a procedure for computing the tropicalization of the image of the Gauss map of $X$ in terms of the tropicalizations of the hypersurfaces cutting out $X$. We apply this to obtain descriptions of the tropicalization of the dual variety $X^*$ and tangential variety $τ(X)$ of $X$. In particular, we are able to compute the degrees of $X^*$ and $τ(X)$ and the Newton polytope of $τ(X)$ without using any elimination theory.

In this paper we compute the Newton polytope $\mathcal M_A$ of the Morse discriminant in the space of univariate polynomials with the given support set $A.$ Namely, we establish a surjection between the set of all combinatorial types of Morse univariate tropical polynomials and the vertices of $\mathcal M_A.$

We study Newton polytopes for cluster variables in cluster algebras $\mathcal{A}(Σ)$ of types A and D. A famous property of cluster algebras is the Laurent phenomenon: each cluster variable can be written as a Laurent polynomial in the cluster variables of the initial seed $Σ$. The cluster variable Newton polytopes are the Newton polytopes of these Laurent polynomials. We show that if $Σ$ has principal coefficients or boundary frozen variables, then all cluster variable Newton polytopes are saturated. We also characterize when these Newton polytopes are \emph{empty}; that is, when they have no non-vertex lattice points.

We connect generalized permutahedra with Schubert calculus. Thereby, we give sufficient vanishing criteria for Schubert intersection numbers of the flag variety. Our argument utilizes recent developments in the study of Schubitopes, which are Newton polytopes of Schubert polynomials. The resulting tableau test executes in polynomial time.

Matching fields were introduced by Sturmfels and Zelevinsky to study certain Newton polytopes and more recently have been shown to give rise to toric degenerations of various families of varieties. Whenever a matching field gives rise to a toric degeneration, the associated polytope of the toric variety coincides with the matching field polytope. We study combinatorial mutations, which are analogues of cluster mutations for polytopes, of matching field polytopes and show that the property of giving rise to a toric degeneration of the Grassmannians, is preserved by mutation. Moreover the polytopes arising through mutations are Newton-Okounkov bodies for the Grassmannians with respect to certain full-rank valuations. We produce a large family of such polytopes, extending the family of so-called block diagonal matching fields.

Let $Z$ be a nondegenerate hypersurface in $d$-dimensional torus $(\mathbb{C}^*)^d$ defined by a Laurent polynomial $f$ with a $d$-dimensional Newton polytope $P$. The subset $F(P) \subset P$ consisting of all points in $P$ having integral distance at least $1$ to all integral supporting hyperplanes of $P$ is called the Fine interior of $P$. If $F(P) \neq \emptyset$ we construct a unique projective model $\widetilde{Z}$ of $Z$ having at worst canonical singularities and obtain minimal models $\hat{Z}$ of $Z$ by crepant morphisms $\hat{Z}\to \widetilde{Z}$. We show that the Kodaira dimension $κ=κ(\widetilde{Z})$ equals $\min \{ d-1, \dim F(P) \}$ and the general fibers in the Iitaka fibration of the canonical model $\widetilde{Z}$ are non\-degenerate $(d-1-κ)$-dimensional toric hypersurfaces of Kodaira dimension $0$. Using $F(P)$, we obtain a simple combinatorial formula for the intersection number $(K_{\widetilde{Z}})^{d-1}$.

Algebraic Nahm equations, considered in the paper, are polynomial equations, governing the $q\rightarrow 1$ limit of the $q$-hypergeometric Nahm sums. They make an appearance in various fields: hyperbolic geometry, knot theory, quiver representation theory, topological strings and conformal field theory. In this paper we focus primarily on Nahm sums and Nahm equations that arise in relation with symmetric quivers. For a large class of them, we prove that quiver A-polynomials -- specialized resultants of the Nahm equations, are tempered (the so-called K-theoretic condition). This implies that they are quantizable. Moreover, we find that their face polynomials obey a remarkable combinatorial pattern. We use the machinery of initial forms and mixed polyhedral decompositions to investigate the edges of the Newton polytope. We show that this condition holds for the diagonal quivers with adjacency matrix $C = \mathrm{diag}(α,α,\dots,α),\ α\geq 2$, and provide several checks for non-diagonal quivers. Our conjecture is that the K-theoretic condition holds for all symmetric quivers.

Mirrors $X^{\vee}$ of quasi-smooth Calabi-Yau hypersurfaces $X$ in weighted projective spaces ${\Bbb P}(w_0, \ldots, w_d)$ can be obtained as Calabi-Yau compactifications of non-degenerate affine toric hypersurfaces defined by Laurent polynomials whose Newton polytope is the lattice simplex spanned by $d+1$ lattice vectors $v_i$ satisfying the relation $\sum_i w_i v_i =0$. In this paper, we compute the stringy $E$-function of mirrors $X^\vee$ and compare it with the Vafa's orbifold $E$-function of quasi-smooth Calabi-Yau hypersurfaces $X$. As a result, we prove the equalities of Hodge numbers $h^{p,q}_{\rm str}(X^{\vee}) = h^{d-1-p,q}_{\rm orb}(X)$ for all $p, q$ and $d$ as it is expected in mirror symmetry.

The celebrated BKK Theorem expresses the number of roots of a system of generic Laurent polynomials in terms of the mixed volume of the corresponding system of Newton polytopes.Pukhlikov and the second author noticed that the cohomology ring of smooth projective toric varieties over $\mathbb{C}$ can be computed via the BKK Theorem. This complemented the known descriptions of the cohomology ring of toric varieties, like the one in terms of Stanley-Reisner algebras. Sankaran and Uma generalized the "Stanley-Reisner description" to the case of toric bundles, i.e. equivariant compactifications of (not necessarily algebraic) torus principal bundles. We provide a description of the cohomology ring of toric bundles which is based on a generalization of the \BKK Theorem, and thus extends the approach by Pukhlikov and the second author. Indeed, for every cohomology class of the base of the toric bundle, we obtain a BKK-type theorem. Furthermore, our proof relies on a description of graded-commutative algebras which satisfy Poincaré duality. From this computation of the cohomology ring of toric bundles, we obtain a description of the ring of conditions of horospherical homogeneous spaces as well as a version of Brion-Kazarnovskii theorem for them. We conclude the manuscript with a number of examples. In particular, we apply our results to toric bundles over a full flag variety $G/B$. The description that we get generalizes the corresponding description of the cohomology ring of toric varieties as well as the one of full flag varieties $G/B$ previously obtained by Kaveh.

We consider a $d$-dimensional well-formed weighted projective space $\mathbb{P}(\overline{w})$ as a toric variety associated with a fan $Σ(\overline{w})$ in $N_{\overline{w}} \otimes \mathbb{N}$ whose $1$-dimensional cones are spanned by primitive vectors $v_0, v_1, \ldots, v_d \in N_{\overline{w}}$ generating a lattice $N_{\overline{w}}$ and satisfying the linear relation $\sum_i w_i v_i =0$. For any fixed dimension $d$, there exist only finitely many weight vectors $\overline{w} = (w_0, \ldots, w_d)$ such that $\mathbb{P}(\overline{w})$ contains a quasi-smooth Calabi-Yau hypersurface $X_w$ defined by a transverse weighted homogeneous polynomial $W$ of degree $w = \sum_{i=0}^d w_i$. Using a formula of Vafa for the orbifold Euler number $χ_{\rm orb}(X_w)$, we show that for any quasi-smooth Calabi-Yau hypersurface $X_w$ the number $(-1)^{d-1}χ_{\rm orb}(X_w)$ equals the stringy Euler number $χ_{\rm str}(X_{\overline{w}}^*)$ of Calabi-Yau compactifications $X_{\overline{w}}^*$ of affine toric hypersurfaces $Z_{\overline{w}}$ defined by non-degenerate Laurent polynomials $f_{\overline{w}} \in \mathbb{C}[N_{\overline{w}}]$ with Newton polytope $\text{conv}(\{v_0, \ldots, v_d\})$. In the moduli space of Laurent polynomials $f_{\overline{w}}$ there always exists a special point $f_{\overline{w}}^0$ defining a mirror $X_{\overline{w}}^*$ with a $\mathbb{Z}/w\mathbb{Z}$-symmetry group such that $X_{\overline{w}}^*$ is birational to a quotient of a Fermat hypersurface via a Shioda map.

Rigid graph theory is an active area with many open problems, especially regarding embeddings in $\mathbb{R}^d$ or other manifolds, and tight upper bounds on their number for a given number of vertices. Our premise is to relate the number of embeddings to that of solutions of a well-constrained algebraic system and exploit progress in the latter domain. In particular, the system's complex solutions naturally extend the notion of real embeddings, thus allowing us to employ bounds on complex roots. We focus on multihomogeneous B{é}zout (m-B{é}zout) bounds of algebraic systems since they are fast to compute and rather tight for systems exhibiting structure as in our case. We introduce two methods to relate such bounds to combinatorial properties of minimally rigid graphs in $\mathbb{C}^d$ and $S^d$. The first relates the number of graph orientations to the m-Bézout bound, while the second leverages a matrix permanent formulation. Using these approaches we improve the best known asymptotic upper bounds for planar graphs in dimension~3, and all minimally rigid graphs in dimension $d\geq 5$, both in the Euclidean and spherical case. Our computations indicate that m-Bézout bounds are tight for embeddings of planar graphs in $S^2$ and $\mathbb{C}^3$. We exploit Bernstein's second theorem on the exactness of mixed volume, and relate it to the m-B{é}zout bound by analyzing the associated Newton polytopes. We reduce the number of checks required to verify exactness by an exponential factor, and conjecture further that it suffices to check a linear instead of an exponential number of cases overall.

We give an explicit subword complex description of the generators of the type cone of the g-vector fan of a finite type cluster algebra with acyclic initial seed. This yields in particular a description of the Newton polytopes of the F-polynomials in terms of subword complexes as conjectured by S. Brodsky and the third author. We then show that the cluster complex is combinatorially isomorphic to the totally positive part of the tropicalization of the cluster variety as conjectured by D. Speyer and L. Williams.

Given a family of lattice polytopes, two common questions in Ehrhart Theory are determining when a polytope has the integer decomposition property and determining when a polytope is reflexive. While these properties are of independent interest, the confluence of these properties is a source of active investigation due to conjectures regarding the unimodality of the $h^\ast$-polynomial. In this paper, we consider the Newton polytopes arising from two families of polynomials in algebraic combinatorics: Schur polynomials and inflated symmetric Grothendieck polynomials. In both cases, we prove that these polytopes have the integer decomposition property by using the fact that both families of polynomials have saturated Newton polytope. Furthermore, in both cases, we provide a complete characterization of when these polytopes are reflexive. We conclude with some explicit formulas and unimodality implications of the $h^\ast$-vector in the case of Schur polynomials.