lattice ↗ reference
4431 papers tagged with this keyword
Quantum K-structure constants and cylindric Grothendieck polynomials for Grassmannians
We use the partition functions of a five-vertex exactly solvable lattice model from statistical mechanics to give new combinatorial formulae for the Schubert structure constants of torus-equivariant quantum K-theory rings of Grassmannians. The proofs build on our earlier results where we identified the transfer matrices of these lattice models geometrically as multiplications by the Hirzebruch $λ_y$ classes of the tautological subbundle and the (dual) quotient bundle. The structure constants are solutions of a system of linear equations with coefficients given by the partition function. This system may be solved explicitly by specializing the Hirzebruch parameter $y$ to an equivariant parameter, leading to explicit formulae using Cramer's rule. Furthermore, we give an alternative combinatorial construction of the partition functions in terms of sums over cylindric set-valued tableaux, which we call cylindric Grothendieck polynomials. The latter generalise McNamara's factorial skew Grothendieck and Yeliussizov's modified Grothendieck polynomials and can be thought of as an equivariant K-theoretic version of Postnikov's toric Schur function. We also provide new polynomial representatives for equivariant K-theory classes of Richardson varieties and their variants.
Eventual polynomiality and dualities of relative Ehrhart functions
Classical Ehrhart theory measures the discrete capacity of a convex rational (or integral) polytope $P$ by counting the number of lattice points in the $t$-th dilate $tP$ of $P$. In this paper, we extend this paradigm by replacing a lattice point with a geometric object $Q$ of dimension at most $\dim P$. We show that the counting function $\mathrm{ehr}(P,Q;t)$ of such valid translations of $Q$ into $tP$ inherits eventual quasi-polynomiality (or eventual polynomiality) with leading term $\mathrm{vol}(P)t^d$, where $d = \dim P$. This result is naturally derived by induction on the dimension, based on the classical quasi-polynomiality (or polynomiality) of Ehrhart functions. Similarly, replacing $P$ with its relative interior $P^\circ$ defines $\mathrm{ehr}^\circ(P,Q;t)$, which is also shown to be an eventual quasi-polynomial (or eventual polynomial). Furthermore, we prove several formulas for relative Ehrhart functions under the condition that $P = kP_0$ and $Q = lQ_0$ for some integers $k$, $l > 0$, and polytopes $P_0$ and $Q_0$ with $\dim Q_0 > 0$ such that $Q_0$ is inscribed in $P_0$. In particular, we prove that under this condition, $\mathrm{ehr}(P,Q;-t) = (-1)^{d}\mathrm{ehr}^\circ (P,Q;t+ρ)$ $(t \gg 0)$ holds for some integer $ρ> 0$ if and only if $k \mid 2l$ via the classical Ehrhart--Macdonald reciprocity law. We also prove that under the same condition, $\mathrm{ehr}(P,Q;t) = \mathrm{ehr}^\circ (P,Q;t+σ)$ $(t \gg 0)$ holds for some integer $σ> 0$ if and only if $\mathrm{ehr}^\circ (P_0;\mathrm{codeg}\,P_0) = 1$ and $k \mid \mathrm{codeg}\,P_0$.
The Schützenberger involution and colored lattice models
Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ.
In this paper we generalize the Gamma-Delta duality by constructing a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature. Besides the above metaplectic case we also get a new lattice model and Gamma-Delta type duality for (non-metaplectic) Iwahori Whittaker functions together with a crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving both variants of lattice models simultaneously.
For the crystal lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov or, equivalently, Bender-Knuth involutions.
Facets of the X-ray polytope of doubly stochastic matrices
We study the polytope of anti-diagonal X-rays of k x k doubly stochastic matrices, the image of the Birkhoff polytope under the map that sums the entries along each anti-diagonal. Its facets other than the coordinate facets are the minimal joint tail bounds for lattice laws of a sum of two dependent uniform random variables. We give an exact facet criterion in terms of the allowed edges of a tight graph. For rays of the underlying tropical fan, total support of the tight graph suffices for a facet but is not necessary, as an example with k=19 shows. Up to affine functions and positive scaling, the potentials that define a facet form a polytope whose vertices are its rays. Facets propagate by padding and by grid refinement under explicit hypotheses. We give infinite families of facets from no step potential, facets of quadratic height, superpolynomially many facets, and a classification of three-step potentials. Total support of a step potential is characterized by a Hall-type condition on block starts; with computer assistance, total support decides facets of step potentials for k<=26. The facet counts up to k=12 are found directly for k<=3 and, for k>=4, come from an enumeration by a provably complete algorithm; an independent exact recomputation reproduces its ray lists for 5<=k<=12.
Supermodular Rank: Set Function Decomposition and Optimization
Published
• View Publication
• BIB
We define the supermodular rank of a function on a lattice. This is the smallest number of terms needed to decompose it into a sum of supermodular functions. The supermodular summands are defined with respect to different partial orders. We characterize the maximum possible value of the supermodular rank and describe the functions with fixed supermodular rank. We analogously define the submodular rank. We use submodular decompositions to optimize set functions. Given a bound on the submodular rank of a set function, we formulate an algorithm that splits an optimization problem into submodular subproblems. We show that this method improves the approximation ratio guarantees of several algorithms for monotone set function maximization and ratio of set functions minimization, at a computation overhead that depends on the submodular rank.
Sharp Euler-factor positivity for the BG-rank-refined five-core crank
In this paper, we complete the resolution of Stanton's problem OPAC--005 by proving its fixed-BG-rank assertion. We further establish a sharp nine-factor positivity theorem for the joint generating function.
Let $K_{n,j}(z)$ enumerate partitions of $5n+4$ with BG-rank $j$ by the integer five-core crank prescribed in OPAC--005, and put $[5]_z=1+z+z^2+z^3+z^4$. We prove that $K_{n,j}(z)/[5]_z$ has nonnegative integer Laurent coefficients for every $n\ge0$ and $j\in \mathbb Z$. The refined equidistribution theorem of Berkovich and Garvan gives divisibility; the new assertion is coefficientwise nonnegativity.
Set $Ψ(u,z,q)=\sum_{n\ge0}\sum_{j\in \mathbb Z}q^{n+1}u^jK_{n,j}(z)$ and $D(q)=\prod_{d\ge1}(1-q^{2d})$. For every nonnegative integer $M$, we show that $D(q)^MΨ(u,z,q)/[5]_z$ has nonnegative coefficients if and only if $M\le9$. Thus positivity survives after removing nine of the ten partition factors supplied by the core--quotient decomposition. A coefficient equal to $-4$ at $M=10$ proves sharpness.
The key step is a compensation between lattice terms of different core sizes that preserves both the BG-rank and the full integer crank. Theta identities and three local coefficient inequalities provide the required nonnegative contributions, and an explicit allocation ensures that none is used twice. The resulting factorization also yields a nine-color convolution and coefficientwise finite-difference inequalities through order nine.
Ehrhart positivity of smooth polytopes with few facets
For each dimension $d$, we determine the minimum number of facets of a smooth $d$-dimensional lattice polytope whose Ehrhart polynomial has at least one negative coefficient. This minimum is six in dimension $d=3$, seven in dimension $d=4$, and $d+2$ in every dimension $d\ge 5$. The lower bounds follow from the classification of smooth lattice polytopes with at most $d+2$ facets, together with explicit formulas for Ehrhart polynomials in dimensions at most $4$. We also prove that a lattice polytope of dimension at least $3$ with a smooth vertex cannot be $2$-integral with respect to any ordered lattice basis.
Tree Lattices and the Neumann-Zagier conjecture
A tree with integer weights on its vertices presents an integral lattice called a tree lattice. We prove that if a tree lattice is positive definite, then one of the vertex elements is irreducible, i.e. determines a facet of its Voronoi polyhedron. As a corollary, we settle a 1985 conjecture of Neumann and Zagier: if a tree lattice is isometric to the lattice of integer points in Euclidean space, then the tree contains a vertex of weight one.
The sum-product conjecture holds for fixed-field lattice product constructions
We study fixed-field analogues of the lattice product construction recently used by Bloom, Sawin, Schildkraut, and Zhelezov to disprove the sum-product conjecture over the real numbers. These sets are of the form $A_n = P_nG_n \subset F$, where $F$ is a fixed number field, $P_n$ can be rescaled to a set of algebraic integers whose conjugates are polynomially bounded in $|P_n \setminus \{0\}|$, and $G_n$ occupies a positive proportion of a bounded box of scale $Y_n$ in a fixed positive-rank multiplicative lattice. We prove that these fixed-field constructions satisfy the sum-product conjecture, $\max\{|A_n+A_n|, |A_nA_n|\} \ge |A_n|^{2-o(1)}$ as $|A_n| \to \infty$, with no restriction on the relative growth of the two factors. More strongly, any fixed power saving in the product set forces an asymptotically maximal sumset: there exists $C > 0$ such that, for each fixed $δ\in (0,1]$, if $|A_nA_n| \le |A_n|^{2-δ}$ for all sufficiently large $n$, then $Y_n \to \infty$ and $|A_n+A_n|/|A_n|^2 = 1/2 + O_δ((\log Y_n)^C/Y_n)$. In particular, the additive-box times unit-box construction of Bloom, Sawin, Schildkraut, and Zhelezov cannot produce sum-product counterexamples in any fixed totally real number field, at any relative scales. The proof combines a bound for factorizations of algebraic integers with a more general maximal-sumset theorem for coefficient sets whose nonzero-element ratios have small Weil height. The latter controls multiplication fibers and combines a lattice strip estimate with logarithmic separation derived from the theorems of Yu and Matveev.
Counting Lattice Points in Translations: Uniqueness and Existence Results
Generalizing a recent theorem by Higashitani et al. (Comb. Theory 2025), it is shown that a convex body $K$ is uniquely described up to integer translation by the function $\mathrm{t}_K(v) = |(K-v)\cap\mathbb{Z}^n|$, $v\in\mathbb{R}^n$. For a lattice polytope $P$ the function $\mathrm{t}_P$ is decomposed into homogeneous components $\mathrm{t}_{P,i}$, similar to the Ehrhart polynomial. It is shown that the functions $\mathrm{t}_{P,i}$ are simultaneous eigenfunctions of a family of linear operators introduced by Kubert and Lang in (Math. Z. 1976) and that, conversely, the linear spaces of piecewise constant eigenfunctions are generated by the respective coefficients $\mathrm{t}_{P,i}$. A structure theorem for the simultaneous eigenspace corresponding to the $(n-1)$st coefficient in the decomposition of $\mathrm{t}_P$ is obtained. This leads to an explicit description of the set of functions $\mathrm{t}_P$, where $P$ ranges over all lattice polygons, as well as to inequalities for the number of lattice points in dilated and translated lattice polytopes.
Unimodular defect and antipodal lattice points of smooth reflexive polytopes
Let $P$ be a smooth reflexive polytope and let $Q=P^{*}$ be the dual of smooth Fano polytope. Ewald's conjecture (1988) predicts that the lattice points of $P\cap (-P)$ contain a lattice basis. In general it is not even known whether $P\cap (-P)$ contains a nonzero lattice point; we call this weakest form of the conjecture the antipodal condition. We define the unimodular defect of a finite set of lattice vectors as the least number of vectors that must be removed to leave a unimodular set, and the unimodular defect of $Q$ as that of its vertex set. Defect zero gives the unimodular smooth Fano polytopes, for which Ewald's conjecture is known. Our main result is that every smooth Fano polytope of unimodular defect at most two has a \emph{flat ridge}, a ridge $W$ with $|\det(v,W)|\leq 1$ for all vertices $v$; consequently its dual satisfies the antipodal condition. We also consider removed sets of pairwise non-adjacent vertices. Using results of Nill on independent vertices, we show that every such set has at most two elements unless $Q$ is unimodular, so the antipodal condition holds whenever such a set exists.
Terao's freeness conjecture for arrangements of 15 and 16 lines
We prove that Terao's freeness conjecture holds for arrangements of 15 and of 16 lines in the complex projective plane. Together with the theorem of Barakat and Kühne for at most 14 hyperplanes, this shows that freeness of a central arrangement of at most 16 planes in $\mathbb{C}^3$ is determined by its intersection lattice. The proof has a theoretical and a computational part. Combining published combinatorial criteria for freeness (due to Abe, Dimca, Dimca-Kühne-Pokora and Yoshinaga) with Bojanowski's Hirzebruch-type inequality and an elementary counting identity, we show that a counterexample would have exponents $(6,8)$ or $(7,7)$ for 15 lines and $(7,8)$ for 16 lines, and an intersection lattice subject to strong numerical constraints. We then enumerate all 22,544,280 simple rank 3 matroids satisfying these constraints, up to isomorphism, and determine the complex realization space of each of them exactly over $\mathbb{Q}$. Exactly eleven of them are realizable over $\mathbb{C}$, and on each of these the freeness of the realizations is constant. As a by-product we classify the free arrangements of 15 and 16 lines that are not divisionally free, have maximal multiplicity smaller than the smaller nontrivial exponent, and have at least four intersection points on every line.
Gaussian Lower Bounds for Distinct Subset Sums in Higher Dimensions
For sequences of $n$ nonnegative integer vectors in $\mathbb Z^k$ with distinct subset sums, we prove, for fixed $k$, the uniform lower bound $M\ge (C_k-o(1))2^{n/k}/\sqrt n$ for the largest coordinate, where \[ C_k=\sqrt{\frac{2k}π}\, \frac{(k+1)^{(k-1)/(2k)}}{\sqrt{\lfloor (k+1)^2/4\rfloor}}. \] The proof compares a Gaussian-kernel expectation with a sum over a translated lattice, uniformly over the vector sequence. We optimise the resulting quadratic-form constant using a vertex second-moment certificate. We show that $C_k$ also exceeds the variance constant obtained by optimising an ellipsoidal geometry.
An A-B-C Coordinate Encoding for Exact Boundary-Cycle Extraction on Hexagonal Lattices
We study an integer-coordinate encoding of boundary incidences for finite subsets of the regular hexagonal tiling. Each selected cell contributes six ordered records with endpoints in two role-distinguished classes, point and tail. Identical records from neighboring cells cancel, and the surviving records form a disjoint union of cycles, including the exterior boundaries of disconnected components and the boundaries of holes. We derive the actual even- and odd-row record formulas from the A--B--C transforms used in Hexagones 2.0, prove exact shared-edge identities and the global role-qualified incidence structure, and thereby obtain an unconditional correctness theorem for the abstract coordinate construction. We compare the encoding with an independent exact cube-coordinate half-edge hashing implementation, proving an incidence isomorphism and checking 504 finite regions. We give an expected-linear-time indexed algorithm and distinguish it from the historical fixed-capacity C traversal, whose sentinel and closure conventions do not inherit the theorem automatically. The claim is a compact coordinate realization of a known planar boundary principle, not historical priority or a new three-axis lattice.
A characterization of finite modular 2-groups via magnitude homology
Finite quasihamiltonian groups - that is, finite groups in which every pair of subgroups commutes - admit several characterizations. In this work, after introducing the notion of sectional contractibility graph, we provide a new characterization in terms of (a suitable subgroup of) magnitude homology. Our approach especially focuses on the subgroup lattices of finite groups and on the related notion of modularity. We present a detailed study for finite 2-groups, and, in particular, in the case of extraspecial 2-groups and Pauli groups. These groups, of interest because of their diverse applications in both mathematics and physics, already describe the wealth of information that one can obtain in restricting the study to the case of 2-groups.
The Loopy Polynomial: from Tutte's Universal $V$-Function to Bizonotopal Geometry
We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graphical algebras and defined by deletion and loopy contraction, in which the contracted edge is retained as a loop. It determines the Tutte polynomial and admits a spanning-forest expansion recording external activity componentwise. It also determines Stanley's chromatic symmetric function for every graph; the degree sequence, induced edge count profile, and independence polynomial for loopless graphs; and the clique and matching polynomials for simple graphs. Separating component size from external activity gives a refinement that is equivalent to the extended U-polynomial and the extended polychromate. The ordinary U-polynomial, Tutte's universal $V$-function, and Stanley's Tutte symmetric function are specializations of this refinement.
We conjecture that L_G and U_G have the same distinguishing power on simple graphs, and verify this through eleven vertices. We exhibit five-vertex loopless multigraphs with equal U-polynomials but distinct loopy and extended U-polynomials, solving a problem of Merino and Noble. We also disprove Loebl's conjecture for chordal graphs and its restriction to split graphs, with counterexamples on eleven and fourteen vertices, respectively.
For the score polytope P_G of the external bizonotopal algebra, we give a geometric realization of loopy deletion-contraction. The resulting forest-indexed geometric parking complexes partition the lattice points of P_G and are piecewise integral-affinely parametrized by boxes whose interval lengths are the component indices in the forest expansion.
Recovering Laplacian Lattices from $L$-Functions of Graphs
We introduce $L$-functions associated with characters of the Jacobian of a finite graph, as a graph-theoretic analogue of the $L$-functions arising from unramified coverings of algebraic curves. These $L$-functions are defined using the Riemann--Roch structure on the graph and extend Lorenzini's two-variable zeta function. We show that if two connected graphs without bridges have isomorphic Jacobians and their $L$-functions agree under the induced correspondence of characters, then their Laplacian lattices coincide. We also show that these $L$-functions satisfy a functional equation. Finally, we give examples showing that neither the Jacobian nor the Lorenzini zeta function alone determines the Laplacian lattice.
Merge Trees of Length-Filtered Lattice Knot Spaces
We study length-filtered BFACF graphs of self-avoiding polygons in the simple cubic lattice, with merge heights recording the least length cap needed to connect configurations. We determine the complete minimal-layer merge trees for $4_1$ (four components at length 30 merging at 32) and $6_3$ (twelve components at length 40, two at 42, and one at 44). For one trefoil chirality, we certify six selected nonminimal components born at length 26 and merging with the minimal branch by length 28 or 30; these do not exhaust the full filtration.
We characterize eventual connectivity of capped graphs by bounded birth levels of strong local-minimum components. A 64-edge Hamiltonian lattice unknot with no nonincreasing BFACF moves has exact merge height 66 with the elementary square, verified by an explicit move certificate. Repeated two-edge splicing produces frozen unknots of length $64m$ for every $m\ge1$.
We also construct an 88-edge frozen trefoil by splicing the 64-edge unknot with a minimal 24-edge trefoil; iteration and reflection yield frozen trefoils of both chiralities with $64m+24$ edges. Hence the unknot and both trefoil chiralities have infinitely many nonminimal strong local-minimum births, and their capped BFACF graphs are not eventually connected.
These results concern standard discrete BFACF moves, not continuous ropelength barriers; exact excess heights for the longer families and extensions to arbitrary knot types remain open.
Graphical view on linear extensions of finite posets
One of the possible cryptomorphic definitions of a partially ordered set (= a poset) $P$ on a non-empty finite ground set $N$ is in terms of the set ${\cal L}(P)$ of all its linear extensions, that is, in terms of the set of total orders on $N$ consistent with $P$. Any total order on $N$ can be interpreted as a node of a particular graph, called the permutohedral graph (over $N$), because it is indeed the graph of a certain polytope in $\mathbb{R}^{N}$, known as the permutohedron.
It is shown in the paper that a non-empty set of total orders on $N$ equals to ${\cal L}(P)$ for some poset $P$ on $N$ if and only if it is a geodetically convex set in the permutohedral graph. This result means that a purely graphical concept of geodetical convexity in this graph is a cryptomorphic definition of a finite poset. In particular, the lattice of geodetically convex sets in this graph is graded and its height function is described in graphical terms. A counter-example, however, shows that the height function does not correspond to the usual graphical diameter, relating this matter to a combinatorial concept of the dimension of a poset.
Two alternative cryptomorphic views on a poset $P$ on $N$ are also discussed. The geometric counterpart is its full-dimensional braid cone in $\mathbb{R}^{N}$, while a combinatorial alternative is a topology on $N$ distinguishing points, often referred as a (finite) distributive lattice.
Bounded powers of edge ideals: Nearly Gorenstein polytopes
A lattice polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called nearly Gorenstein if $\mathcal{P}$ is normal and if its Ehrhart ring is a nearly Gorenstein ring. We study nearly Gorenstein polytopes arising from discrete polymatroids of bounded powers of edge ideals. Especially, it is shown that every nearly Gorenstein polytope coming from either a complete graph or a complete bipartite graph is level.