math.CO ↗ arXiv
5274 papers in this category
Semi-interlaced polytopes
The Minkowski mixed volume of $n$ subpolytopes $D_1, \dots, D_n$ of a polytope $P \subset {\mathbb R}^n$ clearly does not exceed the normalized volume $n! \text{Vol}(P)$. Equality holds if and only if the subpolytopes are interlaced, i.e., each proper face $F \subsetneq P$ intersects at least $\dim(F) + 1$ of the polytopes $D_i$. Efficiently computing mixed volumes for more general collections of subpolytopes is crucial for estimating the complexity of numerically solving polynomial systems.
Motivated by relaxing the bound $\dim(F) + 1$ to $\dim(F)$, we prove a combinatorial formula for the mixed volume of a broad class of semi-interlaced polytopes. This class includes, in particular, the off-coordinate polytopes used in computing algebraic degrees -- such as Maximum Likelihood, Euclidean Distance, and Polar degrees -- via the Kouchnirenko--Bernshtein theory. We also present applications of our results to the Arnold monotonicity problem (1982-16), which concerns the dependence of Milnor numbers on the Newton polyhedra.
Inhomogeneous $q$-Whittaker polynomials II: ring theorem and positive specializations
We study inhomogeneous $q$-Whittaker polynomials which extend both $q$-Whittaker and stable Grothendieck polynomials. We prove that inhomogeneous $q$-Whittaker polynomials (in countably many variables) form a basis of certain commutative ring extending the ring of symmetric functions to a subring of its completion. We then describe positive specializations of that ring and relate them with a subset of Macdonald-positive specializations of the ring of symmetric functions. We also show some related probability distributions obtained from positive specializations of inhomogeneous $q$-Whittaker polynomials.
Almost Affine Invariance Over Prime Fields: Green Problem 90
Let $A\subset \mathbb{F}_p$ with density 1/2. We call a set $A$ almost affine invariant under an affine transformation $φ(x)=ax+b$ if \[|A \triangle φ(A)| =o(p).\] We determine that, the threshold value of $K$ such that $A$ is almost affine invariant simultaneously under all $φ(x)$ with $|a|, |b|\le K$ and $a\neq 0$, is $K=o(\log p)$. This solves Ben Green's Open Problem 90.
Nonexistence of certain classes of generalized bent functions: Revisiting the element partition method
We obtain new nonexistence results of two classes of generalized bent functions from $\mathbb{Z}_{q}^{n}$ to $\mathbb{Z}_{q}$ (called type $[n,q]$). The first class of results is based on applying the element partition method to the results of Feng and Feng and Liu, where $q=2 p_1^{e_1} p_{2}^{e_2}$, $p_1$ and $p_2$ are two primes. For the second class, we extend the idea of the element partition method and prove the nonexistence of generalized bent functions of type $[1,2 \cdot 3^{a} \cdot 7^{b}]$, where $a,b \in \mathbb{Z}_{>0}$.
The number $4/9$ is a non-jump for $3$-graphs
We prove that $4/9$ is a non-jump for $3$-uniform hypergraphs. Our construction perturbs the $ABB$ pattern by inserting, inside the $B$-part, the union of a high-cogirth pair of Steiner triple systems. This goes below the barrier for non-jumps obtainable by Shaw's finite-pattern formulation of the Frankl--Rödl method introduced in 1984. All results employing this approach use patterns where one of the parts has complete shadow. As the $ABB$ pattern is the smallest one with this property, the value $4/9$ is the natural barrier using this technique, and we conjecture that $4/9$ is the smallest non-jump for $3$-graphs. If our conjecture is true, this would answer (in a very strong form) an old question of Erd\Hos.
A merging procedure for labelings of bipartite graphs
Let $G$ a bipartite graph with vertex bipartition $\{A,B\}$ and let $m=|E(G)|$. An $(A,B)$-uniformly ordered labeling of $G$ is a labeling $f\colon V\rightarrow [0,2m]$ which, among other conditions, requires that there exists $λ\in \mathbb N$ such that $f(a)\le λ$ and $f(b)>λ$ for all $a\in A$ and $b\in B$. The existence of such a labeling for $G$ implies the existence of a cyclic $G$-decomposition of $K_{2mx+1}$ for all positive integers $x$. In this paper, as a starting point, through this type of labeling we prove the existence of a cyclic $G$-decomposition in the case that $G$ is a cycle of even length with either one or two pendant paths of any length. Then, through a merging procedure, we are able to get this type of labeling for a specific class of bipartite graphs, which are obtained by iteratively adding an even cycle and a pendant path.
ARE Method: Orbital Decompositions and Dihedral Cancellations for Determinants
We develop the ARE method (Action-Rectification-Expansion), a structural framework for the organization of Leibniz terms in determinants through cyclic group actions and orbital decompositions.
The symmetric group S_n is partitioned into (n-1)! disjoint orbits of size n under right composition by the cyclic group C_n. Each orbit admits a canonical representative and generates a family of determinant terms related by cyclic rotation.
We prove explicit sign laws for orbital rotations, establish a rectification theorem transforming orbital polylines into parallel-line configurations through a single block permutation, and characterize companion orbitals through dihedral symmetries.
The framework yields an exact reorganization of the Leibniz expansion preserving all n! terms while exposing hidden geometric and combinatorial structure. We further prove an impossibility theorem showing that no fixed-width direct extension of the classical Sarrus rule can capture all determinant terms for n >= 4.
The method provides three equivalent visualizations: polylines, parallel rectified lines, and total-line representations. Deterministic orbital generation algorithms and computational verification against standard determinant methods are also presented.
Although the approach does not reduce factorial complexity, it provides a systematic geometric and algebraic interpretation of determinant structure extending the conceptual spirit of Sarrus to arbitrary dimension.
Betti numbers for cochordal zero-divisor graphs of commutative rings
This paper studies the zero-divisor graphs attached to several finite chain-ring families and computes the homological invariants of their edge ideals by using cochordal constructible systems. We begin with a general layered graph $C(q,L)$, whose vertices are arranged according to valuation layers and whose adjacency is governed by the single rule $k+\ell\ge L$, form some integers $k$ and $\ell$. This graph models the zero-divisor structure of a finite chain ring with residue field of order $q$ and nilpotency index $L$. We prove that $C(q,L)$ is cochordal, determine its type sequence, then correct and refine the Betti formula of its edge ideal [Dung and Vu, Cochordal zero divisor graphs and Betti numbers of their edge ideals, Comm. Algebra 54(2) (2026) 736--744]. The results are then specialized to the Gaussian quotient rings $\mathbb Z_{2^m}[i]$ and to the truncated polynomial rings $\mathbb Z_p[x]/(x^c)$. We compute projective dimension, regularity, independence number, height, Hilbert series, and Cohen--Macaulay behavior. The computations show that these quotient rings have $2$-linear resolutions, while Cohen--Macaulayness occurs only in the expected degenerate or complete-graph cases.
A note on arithmetic progressions with restricted differences
In this note, we show how to adapt Tao's slice rank method to extend the Ellenberg--Gijswijt theorem on cap sets to the problem of forbidding arithmetic progressions with restricted differences. In particular, we show that if $q$ is an odd prime power, there is $\varepsilon_q>0$ such that if $S \subseteq \mathbb{F}_q$ with $0 \in S$ and $|S|>(q+1)/2$ and $A \subseteq \mathbb{F}_q^n$ contains no three-term arithmetic progression whose common difference is in $S^n$, then $|A| \leq q^{(1-\varepsilon_q)n}$.
Multiplicative Diophantine approximation and bounds for lattice sums
We estimate the lattice sums arising in the context of the integer point counting in polyhedra.
Quantum Fractional Revival and Entanglement Entropy in Unitary Cayley Graphs
This paper extends the theory of quantum fractional revival (QFR) on unitary Cayley graphs $X=(V(\mathbb{Z}_n),E(S))$ in several directions that remained unresolved in previous work. First, we investigate QFR with respect to the Laplacian matrix Hamiltonian in addition to the adjacency matrix Hamiltonian. In particular, we prove that for regular graphs the two models differ only by a global phase factor, and we determine the conditions under which the Laplacian framework independently admits QFR. Second, for unitary Cayley graphs of order $n=2p$, where $p$ is an odd prime, we derive an explicit closed-form expression for the minimum revival time, $t^{*}=\frac{2π}{p},$ and show that the associated revival amplitudes are given by \[ α=\cos\!\left(\frac{2π}{p}\right), \qquad β=-i\sin\!\left(\frac{2π}{p}\right). \] Third, we provide a complete characterization of strongly cospectral vertex pairs in $X=(V(\mathbb{Z}_n),E(S))$ through the arithmetic structure of $\mathbb{Z}_n$, establishing that strong cospectrality is equivalent to antipodality whenever $n$ is twice a prime. Finally, we compute the von Neumann entanglement entropy generated by QFR for all admissible graphs, thereby obtaining a collection of quantum information measures and proving that the entropy depends solely on the revival amplitudes $|α|$ and $|β|$.
Distance Reduction in Bouquet Decompositions and Toric Ideals of Graphs
The distance-reduction property for a generating set, i.e., a Markov basis, of a toric ideal is a condition that ensures tight connectivity of its fibres. In this paper, we study the distance-reduction property for toric ideals of graphs and move on to explore the relationship between the distance-reduction property and the bouquet structure of homogeneous toric ideals, which includes the class of toric ideals of graphs. For toric ideals of graphs which are complete intersection, we show that the minimal Markov bases are distance-reducing if and only if they distance-reduce the circuits of the ideal. We then consider how the distance-reduction properties interact with the bouquet structure of the toric ideal. Bouquets are a combinatorial structure that capture the essential combinatorial information of the toric ideal. Under the condition of homogeneity, we show that, for toric ideals with the same bouquet structure and signature, the distance-reduction properties are preserved. For homogeneous toric ideals whose bouquet matrix is a monomial curve in $\mathbb{A}^3$, we give necessary and sufficient conditions for when the minimal Markov bases are distance-reducing.
When Does the Dice Sum Become Prime?
Given a (possibly infinite) subset $A$ of the natural numbers, we ask how many times a fair six-sided die must be rolled until the rolled numbers add up to an element of $A$. Using a one-dimensional dynamic programming recursion together with truncation and rigorous error bounds, we compute the expected number of rolls efficiently and with very high accuracy. When $A$ is the set of prime numbers, the irregular distribution of primes makes it difficult to obtain explicit error estimates. Nevertheless, the density of primes implies that the associated survival probability decays exponentially fast, which enables highly accurate truncation estimates. As a result, our calculations yield significantly sharper estimates for this expectation and its higher moments than the original results of Conroy, Alon, and Malinovsky. In particular, we determine the expectation to more than $1000$ decimal places.
Helmholzian Spectra of Graphs: Novel Properties
Let $\grad$, $\curl$, and $\dv$ be the graph-theoretic analogues of the gradient, curl, and divergence operators from multivariate calculus. The graph Laplacian $-\dv \grad$ gives rise to the celebrated Laplacian matrix, while the matrix representation of the graph Helmholtzian $\grad \grad^* + \curl^* \curl$ is called the Helmholtzian matrix. In this paper, we present a new graph-theoretic proof that the Helmholtzian matrix indeed represents the graph Helmholtzian. We then investigate the spectral properties of this matrix. Our main results are as follows: (i) a classification of graphs having exactly two distinct Helmholtzian eigenvalues; (ii) the nullity of the Helmholtzian matrix; and (iii) a combinatorial interpretation of the coefficients of the Helmholtzian polynomial. Furthermore, we determine the Helmholtzian spectrum for certain graph products and characterize Helmholtzian integral graphs, as well as derive bounds for the smallest Helmholtzian eigenvalue. Meanwhile, we pose some open problems for future research.
A combinatorial model for the canonical join complex of alt $ν$-Tamari lattices
Alt $ν$-Tamari lattices constitute a remarkable family of lattices associated with lattice paths that broadly generalize the Dyck and Tamari lattices. To systematically study the structural properties of this family, we introduce a combinatorial model that realizes the canonical join complex of alt $ν$-Tamari lattices. Serving as a universal tool, this model allows us to prove vertex decomposability, establish an explicit shelling order, and reveal the underlying homology of the canonical join complex of alt $ν$-Tamari lattices.
Sharp bounds for uniform union-free hypergraphs
An $r$-uniform hypergraph is called $t$-union-free if any two distinct subsets of at most $t$ edges have distinct union. The study of union-free hypergraphs has multiple origins and a long history, dating back to the works of Kautz and Singleton (1964) in coding theory, Bollobás and Erdős (1976) in combinatorics, and Hwang and Sós (1987) in group testing. Let $U_t(n,r)$ denote the maximum number of edges in an $n$-vertex $t$-union-free $r$-uniform hypergraph. In this paper, we determine the asymptotic behavior of $U_t(n,r)$, up to a lower order term, for almost all $t\ge 3$ and $r\ge 3$. This significantly advances the understanding of this extremal function, as previously, only the asymptotics of $U_2(n,3)$ and $U_2(n,4)$ were known. As a key ingredient of our proof, we establish the existence of near-optimal locally sparse induced hypergraph packings, which is of independent interest.
A note on the chromatic number of Kneser graphs on chambers of projective planes and incidence-free sets
Let $D=(\mathcal{P},\mathcal{B})$ be a symmetric $(v,k,λ)$-design and let $(X,Y)$ be an equinumerous incidence-free pair, with $X\subseteq \mathcal{P}$ and $Y\subseteq \mathcal{B}$. In this note, we give an elementary proof which shows the existence of a perfect matching between $\mathcal{P} \setminus X$ and $\mathcal{B}\setminus Y$ in the incidence graph of $D$. This recovers a result of Spiro, Adriaensen and Mattheus, who already showed this using different arguments for $k\geq 36$. We use this to connect some dots in the literature and prove that finding the chromatic number of the Kneser graph on chambers of a projective plane is equivalent to finding the incidence-free number of the incidence graph of the plane.
A solvable model of 3d quantum gravity
We consider a model of 3d quantum gravity defined by $n$ copies of a rational Virasoro TQFT with central charge $1/2$, summed over all 3d topologies. This theory is holographically dual to an ensemble of all 2d CFTs with central charge $c=n/2$ and chiral algebra that includes $Vir_{1/2}^n$. We perform the sum over topologies and evaluate the partition function of the bulk theory. We then confirm the holographic duality by matching it to the boundary ensemble for small $n$. We proceed to consider the limit of a large central charge, in which the bulk theory simplifies and condenses to an Abelian phase. In this regime, the model manifests many features expected in semiclassical 3d quantum gravity. In particular, inclusion of all 3d topologies in the bulk sum cures the negativity of the density of states evaluated by the torus partition function. The model also exhibits a Hawking-Page transition, an exponentially suppressed wormhole amplitude, and provides a toy example of the holographic code. We discuss these aspects in detail and conclude with lessons for semiclassical quantum gravity.
Relative accessibility for graphs
We relativise the Thomassen--Woess definition of accessibility in graphs, defining what it means for a graph to be accessible relative to a peripheral system. In the case of locally finite, quasi-transitive graphs, we characterise relative accessibility in terms of a certain subring of the Boolean ring of the graph, and apply this to show that our definition agrees with the usual algebraic notion of relative accessibility in finitely generated groups. This implies, in particular, that relative accessibility is a quasi-isometry invariant amongst finitely generated groups, when the quasi-isometry coarsely preserves the left cosets of the peripheral subgroups. We also deduce a relative variant of Hamann's accessibility theorem on graphs with finitely generated cycle spaces.
Subperiodic groups and bounded automorphisms of periodic graphs
A subperiodic group is a group of motions of $d$-dimensional Euclidean space $\R^d$ which contains a translation lattice $\Z^r$ of rank $r < d$ as a subgroup of finite index. A classification into abstract group isomorphism classes is performed for subperiodic groups in dimension~3: 75 \emph{crystallographic} rod groups ($r=1$) and 80 layer groups ($r=2$) are shown to belong to 32 and 34 isomorphism classes, respectively. An easy-to-compute set of invariants is developed for recognizing these isomorphism classes from finite presentations which makes use only of the number of subgroups up to a given finite index~$n$ ($n \leq 12$ for rod groups and $n \leq 8$ for layer groups) and how many of them are normal. Cayley graphs of rod and layer groups are used to illustrate the concept of bounded automorphisms of finite order, \emph{i.e.} those when the distance between a graph vertex and its image has an upper bound. It is proven that a Cayley graph of a crystallographic space group $G$ (in which case $r=d$) possesses bounded automorphisms of finite order, if and only if the respective inverse-closed generating set is stabilized by conjugation by an element of finite order in $G$. As an application, subperiodic groups in $\R^4$ with a three-dimensional translation lattice are used to systematically derive embeddings of three-periodic \emph{ladder graphs} in~$\R^3$.