arXiv++ Combinatorics

By using constant term manipulations, we present the first polynomial-time algorithm for lattice-point counting in fixed dimension that does not rely on Barvinok's unimodular decomposition. The algorithm instead operates directly on a rational generating function in the form of a nested root average, as produced by the \texttt{SimpCone[S]} framework. By means of a residue-lattice argument based on Minkowski's theorem, we construct a short multiplier that induces an exact non-coprime split of the outermost average. The resulting child terms are encoded as joint root averages, and Smith normal form is used to restore the recursive structure. Two structural invariants---the generation condition and full-column independence---ensure that the recursion is well defined and that all required pole exchanges are valid. For a fixed-dimensional simplicial cone, the algorithm achieves recursion depth \(O_d(1+\log\log(2+\ind(\mathcal K^*)))\) and produces a signed sum of at most \((1+\log \ind(\mathcal K^*))^{O_d(1)}\) unimodular cone generating functions. The framework uniformly handles numerators that are Laurent polynomials, not merely monomials, thereby giving a polynomial-time algorithm for MacMahon's partition analysis when the dimension is fixed.

We prove that, up to row and column permutations and complement operations, the only complement minimally non-totally unimodular matrices are the cycle matrices $C_3$ and $C_5$. This settles a conjecture of Chervet, Grappe, and Vallée. As a consequence, every simplicial cone generated by the rows of a totally equimodular matrix admits a regular unimodular Hilbert triangulation.

We study subhomogeneity of the minimal operator system over a polyhedral cone, or equivalently the size of irreducible Arveson boundary points of free polyhedra. We obtain a complete classification in dimension three for cones (equivalently, dimension two for polytopes): cones with three extreme rays are 1-subhomogeneous, cones with four extreme rays are 2-subhomogeneous, and cones with at least five extreme rays are not subhomogeneous. In the last case, we construct irreducible Arveson boundary points at every even matrix level. We prove that subhomogeneity passes to faces and face quotients. We also determine the size of irreducible Arveson boundary points of free polyhedra over products of two simplices, obtaining a dichotomy between the product of two segments and all remaining cases. As applications, we classify n-dimensional cones with n+1 extreme rays. More generally, when every facet omits at most two extreme rays, we show that subhomogeneity occurs exactly for direct sums of simplicial cones and three-dimensional four-ray cones. We also construct, for a range of fixed dimensions and ray counts, cones exhibiting both subhomogeneous and non-subhomogeneous behavior.

Let $\mathrm{IMS}_n(m)$ denote the number of $n\times n$ nonnegative integer matrices whose row sums, column sums, and two main diagonal sums are all equal to $m$. We determine the Ehrhart series $F_7(q)=\sum_{m\ge 0}\mathrm{IMS}_7(m)q^m$ as a reduced rational function. The denominator has degree $373$ and cyclotomic factors of order at most $15$; the numerator is a palindromic polynomial of degree $366$ with nonnegative integer coefficients. Using the SimpCone decomposition, the associated polytope is represented as a sum of $166$ million signed simplicial cones. The LRQC evaluator computes their generating functions over finite fields; a typical cone requires only one or two quotient characters, and the cost per character is nearly linear in the truncation degree $T$. An explicit common denominator together with Ehrhart reciprocity reduces the rational reconstruction to the prefix up to $T=1256$, while an explicit counting bound supplies the coefficient bounds needed for deterministic lifting from the prime fields to $\mathbb Z$. This prefix is independently computed for the whole cone family in eight prime fields. Exact Chinese remaindering lifts the verified residues to equality over $\mathbb Z$, the finite-prefix criterion proves the rational identity, and exact polynomial gcds prove that the displayed denominator is reduced.

Simplicial arrangements are a special class of hyperplane arrangements, having the property that every chamber is a simplicial cone. It is known that the simpliciality property is preserved under taking restrictions. In this article we focus on the class of reflection arrangements and investigate two different polynomial invariants associated to them and their restrictions, the $h$-polynomial with its $γ$-vector and the Chow polynomial. We prove that all restrictions of reflection arrangements are $γ$-positive and give an explicit combinatorial formula of the Chow polynomial in type $B$. Furthermore we prove that for a special class of restrictions of arrangements of type $D$, called intermediate arrangements, both the $h$-polynomial as well as the Chow polynomial behave arithmetically, that is they interpolate linearly between the respective invariants for type $B$ and $D$.

Counting lattice points within a rational polytope is a foundational problem with applications across mathematics and computer science. A key approach is Barvinok's algorithm, which decomposes the lattice point generating function of cones to that of unimodular cones. However, standard implementations face difficulties: the original primal method struggles with points on cone boundaries, while the alternative dual method can be slow for certain cone types. This paper introduces two main contributions. First, We derive a closed-form expression for these generating functions using arbitrary lattice point decompositions, enabling more effective primal space decomposition. Second, by decomposing both the cone and its dual cone starting from the side with a smaller index, we develop a novel algorithm called \textup{PDBarv}. This hybrid approach integrates the primal and dual Barvinok algorithms with a novel acceleration strategy, achieving an average computational performance improvement of over 20\% in dimension 5 and even better in higher dimensions.

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.

We adopt a formal and algebraic approach of Early \cite{E2} to study the positive tropical Grassmannian $\operatorname{Trop}^+ Gr_{k,n}$. Specifically, we deal with positroid subdivision of hypersimplex induced by translated blades from any maximal weakly separated collection. One of our main results gives a necessary and sufficient condition on a maximal weakly separated collection to form a positroid subdivision of a hypersimplex corresponding to a simplicial cone in $\rm Trop^+Gr_{k,n}$. For k = 2 our condition says that any weakly separated collection of two-elements sets gives such a simplicial cone, and all cones are of such a form. We also show that the maximality of any weakly separated collection is preserved under the boundary map, which armatively answers a question by Early in \cite{E1}. Plabic graphs, invented by Postnikov \cite{P}, are of use in proving this result. As a corollary, we get that all those positroid subdivisions are the finest. Thus, the flip of two maximal weakly separatedcollections corresponds to a pair of adjacent maximal cones in positive tropical Grassmannian.

This paper introduces an algebraic combinatorial approach to simplicial cone decompositions, a key step in solving inhomogeneous linear Diophantine systems and counting lattice points in polytopes. We use constant term manipulation on the system \( Aα= \mathbf{b} \), where \( A \) is an \( r \times n \) integral matrix and \( \mathbf{b} \) is an integral vector. We establish a relationship between special constant terms and shifted simplicial cones. This leads to the \texttt{SimpCone[S]} algorithm, which efficiently decomposes polyhedra into simplicial cones. Unlike traditional geometric triangulation methods, this algorithm is versatile for many choices of the strategy \( \texttt{S} \) and can also be applied to parametric polyhedra. The algorithm is useful for efficient volume computation of polytopes and can be applied to address various new research projects. Additionally, we apply our framework to unimodular cone decompositions. This extends the effectiveness of the newly developed \texttt{DecDenu} algorithm from denumerant cones to general simplicial cones.

In this paper, we focus on knapsack cones, a specific type of simplicial cones that arise naturally in the context of the knapsack problem $x_1 a_1 + \cdots + x_n a_n = a_0$. We present a novel combinatorial decomposition for these cones, named \texttt{DecDenu}, which aligns with Barvinok's unimodular cone decomposition within the broader framework of Algebraic Combinatorics. Computer experiments support us to conjecture that our \texttt{DecDenu} algorithm is polynomial when the number of variables $n$ is fixed. If true, \texttt{DecDenu} will provide the first alternative polynomial algorithm for Barvinok's unimodular cone decomposition, at least for denumerant cones. The \texttt{CTEuclid} algorithm is designed for MacMahon's partition analysis, and is notable for being the first algorithm to solve the counting problem for Magic squares of order 6. We have enhanced the \texttt{CTEuclid} algorithm by incorporating \texttt{DecDenu}, resulting in the \texttt{LLLCTEuclid} algorithm. This enhanced algorithm makes significant use of LLL's algorithm and stands out as an effective elimination-based approach.

We show a new reduction method on a simplicial complex. This reduction works well with relations and Dowker complexes. The idea is to add a dummy vertex $ z $ to the simplicial complex $K$. We add the simplicial cone $ z * L $ to $K$ where $ L$ is the union of stars from a set of vertices. If $ L $ is contractible, then we can apply the Gluing theorem to glue $ z * L $ to $K$ to obtain $K'$. Finally, we strong collapse each vertex of $L$ in $K'$ to obtain $K''$. If the conditions are satisfied, then $K$, $K'$ and $K''$ are homotopically equivalent. This trick can be adapted to relation with the associated Dowker complex $K_R$. This notation help to simplify various computations. Relations are simple data structures, and they are represented by binary matrices. This method of reduction with relation is versatile and it can be used on different structures such as simplicial complexes, convex polytopal complexes and covers of topological spaces that satisfy the Nerve Theorem. We develop an algorithm based on the reduction step. Let $n$ be the number of vertices of $K$. We have $ O(n^2) $ subcomplexes $ L$ to verify contractibility. This verification of $ L $ is costly with $ O(d ε(n^2 + m^2)) $ where $d$ is the dimension of $L$, $m$ the number of toplexes in $L$, $n$ the number of vertices in $L$ and $ ε$ the maximal number of toplexes adjacent to a vertex in $L$. But, $L$ is often a small simplicial complex. If $L$ is contractible, then we apply a clean-up method on some columns that takes $ O(d m^2) $. Finally, we show the efficiency of the reduction algorithm on several experimental results.

Volume computation for $d$-polytopes $\mathcal{P}$ is fundamental in mathematics. There are known volume computation algorithms, mostly based on triangulation or signed-decomposition of $\mathcal{P}$. We consider $ \mathrm{cone}(\mathcal{P})$ as a lift of $\mathcal{P}$ in view of Ehrhart theory. By using technique from algebraic combinatorics, we obtain a volume algorithm using only signed simplicial cone decompositions of $ \mathrm{cone}(¶)$. Each cone is associated with a simple algebraic volume formula. Summing them gives the volume of the polytope. Our volume formula applies to various kind of cases. In particular, we use it to explain the traditional triangulation method and Lawrence's signed decomposition method. Moreover, we give a completely new primal-dual method for volume computation. This solves the traditional problem in this area: All existing methods are hopelessly impractical for either the class of simple polytopes or the class of simplicial polytopes. Our method has a good performance in computer experiments.

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.

We solve an open problem proposed in the book ``Computing the continuous discretely" written by Matthias Beck and Sinai Robins. That is, we proposed a polynomial time algorithm for calculating Fourier-Dedekind sums. The algorithm is simple modular Barvinok's simplicial cone decomposition. It can be easily adapted into De Leora et. al.'s LattE package, which gives a nice implimentation of Barvinok's polynomial time algorithm.

This paper is dedicated to providing an introduction into multidimensional integer trigonometry. We start with an exposition of integer trigonometry in two dimensions, which was introduced in 2008, and use this to generalise these integer trigonometric functions to arbitrary dimension. We then move on to study the basic properties of integer trigonometric functions. We find integer trigonometric relations for transpose and adjacent simplicial cones, and for the cones which generate the same simplices. Additionally, we discuss the relationship between integer trigonometry, the Euclidean algorithm, and continued fractions. Finally, we use adjacent and transpose cones to introduce a notion of best approximations of simplicial cones. In two dimensions, this notion of best approximation coincides with the classical notion of the best approximations of real numbers.

Given a rational pointed $n$-dimensional cone $C$, we study the integer Carathéodory rank $\operatorname{CR}(C)$ and its asymptotic form $\operatorname{CR^{\rm a}}(C)$, where we consider ``most'' integer vectors in the cone. The main result significantly improves the previously known upper bound for $\operatorname{CR^{\rm a}}(C)$. We also study bounds on $\operatorname{CR}(C)$ in terms of $Δ$, the maximal absolute $n\times n$ minor of the matrix given in an integral polyhedral representation of $C$. If $Δ\in\lbrace 1,2\rbrace$, we show $\operatorname{CR}(C) = n$, and prove upper bounds for simplicial cones, improving the best known upper bound on $\operatorname{CR}(C)$ for $Δ\leq n$.

We deduce a structurally inductive description of the determinantal probability measure associated with Kalai's celebrated enumeration result for higher--dimensional spanning trees of the $n-1$--simplex. As a consequence, we derive the marginal distributions of the simplex links in such random trees. Along the way, we also characterize the higher--dimensional spanning trees of every other simplicial cone in terms of the higher--dimensional rooted forests of the underlying simplicial complex. We also apply these new results to random topology, the spectral analysis of random graphs, and the theory of high dimensional expanders. One particularly interesting corollary of these results is that the fundamental group of a union of $o(\log n)$ determinantal 2--trees has Kazhdan's property (T) with high probability.

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 characterize all signed Minkowski sums that define generalized permutahedra, extending results of Ardila-Benedetti-Doker (2010). We use this characterization to give a complete classification of all positive, translation-invariant, symmetric Minkowski linear functionals on generalized permutahedra. We show that they form a simplicial cone and explicitly describe their generators. We apply our results to prove that the linear coefficients of Ehrhart polynomials of generalized permutahedra, which include matroid polytopes, are non-negative, verifying conjectures of De Loera-Haws-Koeppe (2009) and Castillo-Liu (2018) in this case. We also apply this technique to give an example of a solid-angle polynomial of a generalized permutahedron that has negative linear term and obtain inequalities for beta invariants of contractions of matroids.

In a recent paper, Bruns and von Thaden established a bound for the length of vectors involved in a unimodular triangulation of simplicial cones. The bound is exponential in the square of the logarithm of the multiplicity, and improves previous bounds significantly. The authors mentioned that the next goal would be a bound that is polynomial in the multiplicity but not knowing if such a bound exists. In this paper we will prove that such a bound, which is polynomial in the multiplicity $μ$, indeed exists. In detail, the bound is of the type $μ^{f(d)}$ with $f(d) \in \mathcal{O}(d)$.