arXiv++ Combinatorics

We study the triple-invariant algebra \[ \Bbbk[\Bbbk^3\otimes\Bbbk^2\otimes\Bbbk^2]^{U_3\times U_2\times U_2}. \] A quotient slice and the induced logarithmic top form determine a signed Markov chart, realized as the fiber $ζ=-1$ of an ordinary cluster family. We prove \[ \mathscr U_{\mathrm{gen}}=\mathcal M_u[u_Δ], \] where $\mathcal M_u$ is a specialized middle cluster algebra and $u_Δ$ is the discriminant of weight $(220;22;22)$. Its theta cone has a sixteen-element Hilbert basis. Pairing its positive- and negative-degree generators reduces each triple-weight space to a single discriminant level determined by the weight. Counting the resulting two-dimensional slice gives an explicit nonnegative finite-sum formula. Determinant reduction extends the formula to all $n\times2\times2$ Kronecker coefficients.

We study duality for monoids in an infinite-dimensional setting that are invariant under the action of the infinite symmetric group Sym. Our main result is an equivariant Minkowski--Weyl theorem for monoids. More precisely, we analyze the evolution of dual monoids along stabilizing Sym-invariant chains and describe the eventual behavior of their equivariant Hilbert bases. In addition, we develop a systematic study of structural properties of dual symmetric monoids, including a characterization of the duals of positive and non-positive monoids.

The Hilbert basis is fundamental in describing the structure of the integer points of a polyhedral cone. The face-centered cubic grid is one of the densest packing of the 3-dimensional space. The cycles of a grid satisfy the constraint set of a pointed, polyhedral cone which contains only non-negative integer vectors. The Hilbert basis of a grid gives the structure of the basic cycles in the grid. It is shown in this paper that the basic cycles of the FCC grid belong to 11 types. It is also discussed that how many elements are contained in the individual types. The proofs of the paper use geometric, combinatorial, algebraic, and operations research methods.

Totally equimodular matrices generalize totally unimodular matrices and arise in the context of box-total dual integral polyhedra. This work further explores the parallels between these two classes and introduces foundational building blocks for constructing totally equimodular matrices. Consequently, we present a decomposition theorem for totally equimodular matrices of full row rank. Building on this decomposition theorem, we prove that simplicial cones whose generators form the rows of a totally equimodular matrix sa\-tisfy strong integrality decomposition properties. More precisely, we provide the Hilbert basis for these cones and construct regular unimodular Hilbert triangulations in most cases. We conjecture that cases not covered here do not exist.

The length polyhedron $Q_P$ of an interval order $P$ is the convex hull of integral vectors representing the interval lengths in interval representations of $P$. This polyhedron has been studied by various authors, including Fishburn and Isaak. Notably, $Q_P$ forms a pointed affine cone, a property inherited from being a projection of the representation polyhedron, a structure explored also by Doignon and Pauwels. The apex of the length polyhedron corresponds to Greenough's minimal endpoint representation, which is, in fact, the length vector of the canonical interval representation -- an interval representation that minimizes the sum of the interval lengths. Building on a combinatorial perspective of canonical representations, we refine Isaak's graph-theoretical model by introducing a new and simpler directed graph. From directed cycles of this key digraph, we extract a linear system of inequalities that precisely characterizes the length polyhedron $Q_P$. This combinatorial approach also reveals the unique Hilbert basis of the polyhedron. We prove that the intersection graph of the sets corresponding to these binary rays are Berge graphs; therefore they are perfect graphs. As a result, for interval orders with bounded width, the length polyhedron has a polynomial-sized Hilbert basis, which can be computed in polynomial time. We also provide an example of interval orders with a Hilbert basis of exponential size. In a companion paper we determine the Schrijver system for the length polyhedron. We conclude with open problems.

Let $D=(V,A)$ be a digraph whose underlying graph is $2$-edge-connected, and let $P$ be the polytope whose vertices are the incidence vectors of arc sets whose reversal makes $D$ strongly connected. We study the lattice theoretic properties of the integer points contained in a proper face $F$ of $P$ not contained in $\{x:x_a=i\}$ for any $a\in A,i\in \{0,1\}$. We prove under a mild necessary condition that $F\cap \{0,1\}^A$ contains an integral basis $B$, i.e., $B$ is linearly independent, and any integral vector in the linear hull of $F$ is an integral linear combination of $B$. This result is surprising as the integer points in $F$ do not necessarily form a Hilbert basis. In proving the result, we develop a theory similar to Matching Theory for degree-constrained dijoins in bipartite digraphs. Our result has consequences for head-disjoint strong orientations in hypergraphs, and also to a famous conjecture by Woodall that the minimum size of a dicut of $D$, say $τ$, is equal to the maximum number of disjoint dijoins. We prove a relaxation of this conjecture, by finding for any prime number $p\geq 2$, a $p$-adic packing of dijoins of value $τ$ and of support size at most $2|A|$. We also prove that the all-ones vector belongs to the lattice generated by $F\cap \{0,1\}^A$, where $F$ is the face of $P$ satisfying $x(δ^+(U))=1$ for every minimum dicut $δ^+(U)$.

Kostka coefficients appear in the representation theory of the general linear group and enumerate semistandard Young tableaux of fixed shape and content. The $r$-Kostka cone is the real polyhedral cone generated by pairs of partitions with at most $r$ parts, written as non-increasing $r$-tuples, such that the corresponding Kostka coefficient is nonzero. We provide several results showing that its faces have interesting structural and enumerative properties. We show that the $d$-faces of the $r$-Kostka cone can be determined from those of the $(3d+3)$-Kostka cone, allowing us to characterize its $2$-faces and enumerate its $d$-faces for $d \leq 4$. We provide tight asymptotics for the number of $d$-faces for arbitrary $d$ and determine the maximum number of extremal rays contained in a $d$-face for $d < r$. We then make progress towards a generalization of the Gao-Kiers-Orelowitz-Yong Width Bound on initial entries of partitions $(λ,μ)$ appearing in the Hilbert basis of the $λ_1$-Kostka cone. We show that at least $93.7\%$ of integer pairs $λ_1 \geq μ_1 > 0$ appear as the initial entries of partitions $(λ,μ)$ comprising a Hilbert basis element of the $r$-Kostka cone for every $r > λ_1$. We conclude with a conjecture about a curious $h$-vector phenomenon.

The integer Carathéodory rank of a pointed rational cone $C$ is the smallest number $k$ such that every integer vector contained in $C$ is an integral non-negative combination of at most $k$ Hilbert basis elements. We investigate the integer Carathéodory rank of simplicial cones with respect to their multiplicity, i.e., the determinant of the integral generators of the cone. One of the main results states that simplicial cones with multiplicity bounded by five have the integral Carathéodory property, that is, the integer Carathéodory rank equals the dimension. Furthermore, we present a novel upper bound on the integer Carathéodory rank which depends on the dimension and the multiplicity. This bound improves upon the best known upper bound on the integer Carathéodory rank if the dimension exceeds the multiplicity. At last, we present special cones which have the integral Carathéodory property such as certain dual cones of Gorenstein cones.

In this paper we introduce the submonoids $\mathscr{R}_n$, resp. $\mathscr{C}_n$, of the monoid $\mathscr{M}_n$ of ordered score sheets of a robin-round tournament played by $n$ teams for which the order is preserved after the leader team is disqualified, resp. all principal submatrices preserve the given ordering. We study (using both theoretical and computational methods) the most important invariants of these monoids, namely the Hilbert basis, the multiplicity, the Hilbert series and the Hilbert function. In particular we give a general description of the Hilbert basis of $\mathscr{R}_n$ and we show that $\mathscr{C}_n$ is Gorenstein for $n>2$.

We study the lattice width of lattice-free polyhedra given by $\mathbf{A}\mathbf{x}\leq\mathbf{b}$ in terms of $Δ(\mathbf{A})$, the maximal $n\times n$ minor in absolute value of $\mathbf{A}\in\mathbb{Z}^{m\times n}$. Our main contribution is to link the lattice width of lattice-free polyhedra to the height of Hilbert bases and to the diameter of finite abelian groups. This leads to a bound on the lattice width of lattice-free pyramids which solely depends on $Δ(\mathbf{A})$ provided a conjecture regarding the height of Hilbert bases holds. Further, we exploit a combination of techniques to obtain novel bounds on the lattice width of simplices. A second part of the paper is devoted to a study of the above mentioned Hilbert basis conjecture. We give a complete characterization of the Hilbert basis if $Δ(\mathbf{A}) = 2$ which implies the conjecture in that case and prove its validity for simplicial cones.

We give an inductive procedure for finding the extremal rays of the equivariant Littlewood-Richardson cone, which is closely related to the solution space to S. Friedland's majorized Hermitian eigenvalue problem. In so doing, we solve the "rational version" of a problem posed by C. Robichaux, H. Yadav, and A. Yong. Our procedure is a natural extension of P. Belkale's algorithm for the classical Littlewood-Richardson cone. The main tools for accommodating the equivariant setting are certain foundational results of D. Anderson, E. Richmond, and A. Yong. We also study two families of special rays of the cone and make observations about the Hilbert basis of the associated lattice semigroup.

We prove a conjecture of S. Gao-J. Kiers-G. Orelowitz-A. Yong which asserts the reducibility of certain generalized Dyck paths. This gives a strengthening, and new proof, for their Width Bound Theorem on the Hilbert basis of the Kostka semigroup.

The Kostka semigroup consists of pairs of partitions with at most r parts that have positive Kostka coefficient. For this semigroup, Hilbert basis membership is an NP-complete problem. We introduce KGR graphs and conservative subtrees, through the Gale-Ryser theorem on contingency tables, as a criterion for membership. In our main application, we show that if a partition pair is in the Hilbert basis then the partitions are at most r wide. We also classify the extremal rays of the associated polyhedral cone; these rays correspond to a (strict) subset of the Hilbert basis. In an appendix, the second and third authors show that a natural extension of our main result on the Kostka semigroup cannot be extended to the Littlewood-Richardson semigroup. This furthermore gives a counterexample to a recent speculation of P. Belkale concerning the semigroup controlling nonvanishing conformal blocks.

In this paper we investigate the ability of a neural network to approximate algebraic properties associated to lattice simplices. In particular we attempt to predict the distribution of Hilbert basis elements in the fundamental parallelepiped, from which we detect the integer decomposition property (IDP). We give a gentle introduction to neural networks and discuss the results of this prediction method when scanning very large test sets for examples of IDP simplices.

In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with weights on the vertices. For a monomial ideal with no embedded primes we classify the normality of its symbolic Rees algebra in terms of its primary components. If the primary components of a monomial ideal are normal, we present a simple procedure to compute its symbolic Rees algebra using Hilbert bases, and give necessary and sufficient conditions for the equality between its ordinary and symbolic powers. We give an effective characterization of the Cohen--Macaulay vertex-weighted oriented forests. For edge ideals of transitive weighted oriented graphs we show that Alexander duality holds. It is shown that edge ideals of weighted acyclic tournaments are Cohen--Macaulay and satisfy Alexander duality

In the interest of finding the minimum additive generating set for the set of $\boldsymbol{s}$-lecture hall partitions, we compute the Hilbert bases for the $\boldsymbol{s}$-lecture hall cones in certain cases. In particular, we compute the Hilbert bases for two well-studied families of sequences, namely the $1\mod k$ sequences and the $\ell$-sequences. Additionally, we provide a characterization of the Hilbert bases for $\boldsymbol{u}$-generated Gorenstein $\boldsymbol{s}$-lecture hall cones in low dimensions.

In 2004, J-C. Aval, F. Bergeron and N. Bergeron studied the algebra of diagonally quasi-symmetric functions $\operatorname{\mathsf{DQSym}}$ in the ring $\mathbb{Q}[\mathbf{x},\mathbf{y}]$ with two sets of variables. They made conjectures on the structure of the quotient $\mathbb{Q}[\mathbf{x},\mathbf{y}]/\langle\operatorname{\mathsf{DQSym}}^+\rangle$, which is a quasi-symmetric analogue of the diagonal harmonic polynomials. In this paper, we construct a Hilbert basis for this quotient when there are infinitely many variables i.e. $\mathbf{x}=x_1,x_2,\dots$ and $\mathbf{y}=y_1,y_2,\dots$. Then we apply this construction to the case where there are finitely many variables, and compute the second column of its Hilbert matrix.

Normaliz is an open-source software for the computation of lattice points in rational polyhedra, or, in a different language, the solutions of linear diophantine systems. The two main computational goals are (i) finding a system of generators of the set of lattice points and (ii) counting elements degree-wise in a generating function, the Hilbert Series. In the homogeneous case, in which the polyhedron is a cone, the set of generators is the Hilbert basis of the intersection of the cone and the lattice, an affine monoid. We will present some improvements to the Normaliz algorithm by subdividing simplicial cones with huge volumes. In the first approach the subdivision points are found by integer programming techniques. For this purpose we interface to the integer programming solver SCIP to our software. In the second approach we try to find good subdivision points in an approximating overcone that is faster to compute.

Stanley decompositions are used in invariant theory and the theory of normal forms for dynamical systems to provide a unique way of writing each invariant as a polynomial in the Hilbert basis elements. Since the required Stanley decompositions can be very long, we introduce a more concise notation called a block decomposition, along with three notions of shortness (incompressibility, minimality of Stanley spaces, and minimality of blocks) for block decompositions. We give two algorithms that generate different block decompositions, which we call elementary and gnomon decompositions, and give examples. Soleyman-Jahan's criterion for a Stanley decomposition to come from a prime filtration is reformulated to apply to block decompositions. We simplify his proof, and apply the theorem to show that elementary and gnomon decompositions come from "subprime" filtrations. In a sequel to this paper we will introduce two additional algorithms that generate block decompositions that may not always be subprime, but are always incompressible.

The set of (ordered) score sheets of a round-robin football tournament played between $n$ teams together with the pointwise addition has the structure of an affine monoid. In this paper we study (using both theoretical and computational methods) the most important invariants of this monoid, namely the Hilbert basis, the multiplicity, the Hilbert series and the Hilbert function.