arXiv++ Combinatorics

We determine the Grundy total domination number and the skew zero forcing number for every Cartesian product of two paths or cycles, thereby closing the nonmatching bounds previously known for these rectangular, cylindrical, and toroidal families. For $2\le a\le b$, \[ Z_-(P_a\square P_b) =a-\mathbf1_{\{a\ {\rm odd},\,b\ {\rm even}\}}. \] For $p\ge2$ and $c\ge3$, \[ Z_-(P_p\square C_c)= \begin{cases} \min\{p,c\},&c\text{ is odd}, \min\{2p,c\},&c\text{ is even}. \end{cases} \] Finally, for $3\le a\le b$, \[ Z_-(C_a\square C_b)= \begin{cases} 2a-1,&a=b\text{ odd}, 2a,&a=b\text{ even}, \min\{b,2a\},&a<b,\ a\text{ odd}, a,&a<b,\ a\text{ even},\ b\text{ odd}, 2a,&a<b,\ a,b\text{ even}. \end{cases} \] In every case, $γ_{\mathrm{gr}}^t(G)=|V(G)|-Z_-(G)$. The path-containing lower bounds use Kronecker differences of skew-symmetric or hollow symmetric factor matrices, and they also determine maximum skew nullity and minimum skew rank. They further produce an infinite family for which maximum skew nullity is strictly smaller than skew zero forcing. The new cycle--cycle lower bounds use a cyclic column-defect estimate, applied to complete columns when the shorter cycle is odd and, after a one-sided bipartite reduction, to half-columns when both cycles are even. Explicit forcing constructions give matching upper bounds throughout.

We study deep loci for the reduced-word Berenstein-Fomin-Zelevinsky cluster atlas on type-A double Bruhat cells. As defined in CGSS24, for a seed collection on a cluster variety X, the deep locus is the complement of the union of all corresponding cluster tori. We focus on double Bruhat cells G(u,v) for G = SL(n). Our main results are several theorems describing the structure of these deep loci, including their interaction with the Poisson structure, the relationships between the deep loci of different cells, and a tracking formula that allows us to compute the reduced-word deep locus of a cell from a lower-dimensional one. The paper also includes explicit low-rank calculations for double Bruhat cells in SL(3) and Borel double Bruhat cells in SL(4). Finally, we discuss the relationship between these results and some general properties of deep loci.

Eigenspaces of hypercube graph adjacency matrices are well understood. We extend this to subgraphs obtained by removing a vertex or antipodal pair of vertices, motivated by a question on zonotopes.

The Khintchine inequality provides a lower bound on the expected absolute value of a weighted sum of independent Rademacher random variables. In the classical setting, when the weight vector has unit norm, this lower bound is a constant, with equality attained only for a simple family of extremal configurations. A refined version due to De, Diakonikolas, and Servedio (2013) -- referred to as the \emph{linear Khintchine inequality} -- strengthens this by establishing a lower bound that depends linearly on the distance of the weight vector from the extremal set. In this paper, we present a refined analysis of this dependence on the weight vector. Our results reveal a phase transition in the rate of improvement: when the dimension exceeds six, the lower bound undergoes an abrupt change as the weight vector deviates from the minimizer. Additionally, we improve the slope constant in linear Khintchine inequality. As a consequence, we establish an improved lower bound on the degree-1 Fourier weight for linear threshold functions $\mathbf{W}^{\leq 1}[\mathrm{LTF}] \geq 0.53317$, marking progress towards a conjecture of O'Donnell.

We give a uniform realization of Kirillov-Reshetikhin crystals $B^{r,s}$, in terms of PBW crystals, for all affine types, $s \geq 1$, and nodes $r$ in the orbit of the $0$ node in the Dynkin diagram. Our proof is almost uniform except we prove some technical lemmas by first proving the case when the $r$-th fundamental weight $Λ_r$ is minuscule by using properties of minuscule crystal and then extend this to the case when $Λ_r$ is cominuscule using virtual crystals.

Given two tournaments of order $n$, Bollobás and Scott defined their discrepancy in terms of the extremal deviation of their overlap from the random average, after relabelling them on a common vertex set, and they asked whether the resulting discrepancy is always $Ω(n^{3/2})$. We answer this question by proving that there is an absolute constant $c>0$ such that every pair of tournaments $T,U$ of order $n$ has discrepancy at least $cn^{3/2}$.

The {\it zero forcing number} of a graph $G$, $Z(G)$, is a well-studied parameter which arises from a color changing process and has strong connections to {\it minimum rank}, {\it critical ideals} and related invariants. In this work, we consider the complementary parameter $\mz(G) = |V(G)| - Z(G)$. This parameter is monotone under taking induced subgraphs. This leads us to the study of graphs for which $\mz(G)$ is bounded, via forbidden induced subgraphs. We prove that the number of minimal forbidden graphs for graphs with $\mz(G)\leq k$ is finite for any $k\geq 1$. We determine the complete set of minimal forbidden graphs for the case $k = 3$, and we provide partial characterizations of graphs with $\mz(G) \leq 3$, based on girth. Our results suggest new directions for the structural understanding of zero forcing-type parameters.

We have two dices which have $n$ labels. We want to assign a pair of labelings with positive integers to them such that the sums of the labels on them are the same and have the same distribution as at the standard labeling. We call such a pair of labelings a (dice) game of size $2$ (with dice size $m$). Here we give a lower and an upper bound for the dice games of size $2$ with Sicherman dice of dice size $p^{k}$ where $p$ is a prime. We use the standard technique of generating polynomials to prove a non-closed combinatorial formula.

Let $V$ be an $n$-dimensional vector space over a finite field of order $q$. Let $r\geq 3$, $(r-1)n\geq rk$ and let $\mathcal F_1,\ldots,\mathcal F_r\subset \genfrac{[}{]}{0pt}{}{V}{k}$, where $\genfrac{[}{]}{0pt}{}{V}{k}$ denotes the set of $k$-dimensional subspaces of $V$. Suppose that $F_1\cap\cdots\cap F_r\neq\{0\}$ holds for all $F_i\in\mathcal F_i$, $1\leq i\leq r$. Then we show that $\prod_{i=1}^r|\mathcal F_i|\leq\genfrac{[}{]}{0pt}{}{n-1}{k-1}$, provided $n-k$ is sufficiently large for fixed $q$ and $r$. Moreover, equality holds if and only if there is a common line $L$ such that every family $\mathcal F_i$ consists of all $k$-dimensional subspaces containing the line $L$. One of the main tools of the proof is a junta theorem concerning intersecting linear maps obtained by Ellis, Kindler, and Lifshitz.

The canonical Bethe approximation gives a deterministic approximation to the permanent of every nonnegative matrix within a factor of $(\sqrt{2})^n$. We improve the base of this exponential factor: for some absolute constant $c<\sqrt{2}$, there is a deterministic polynomial-time $c^n$-approximation for the permanent of every nonnegative matrix. This shows that the canonical Bethe guarantee is not a barrier for deterministic approximation of the permanent. The proof augments the Bethe lower bound with a new certificate tailored to matrices on which that lower bound loses nearly the full factor. The author supplied the high-level plan of attack, and the proof was developed in an interaction with ChatGPT 5.6 Sol Pro. The author subsequently verified the results. Codex assisted with proof checking, manuscript assembly, and typesetting.

We compute the diagonal $F$-threshold of binomial edge ideals associated to graphs in the case of cycles, cycles with whiskers, bipartite graphs, and block graphs. Moreover, we provide general bounds for any graph.

We construct a new family of permutation group polynomials over finite fields of odd characteristic and explicitly provide its companion. Moreover, we precisely determine the number of permutation group polynomials of this form and those that are equivalent to this new family. In addition, we completely solve the problem of enumerating permutation group polynomials of the various forms presented in Hasan and Kumar (2026), as well as permutation group polynomials which are equivalent to these families.

A $p$-ary bent partition of $\mathbb{F}_p^n$ is a partition into $K$ nonempty cells such that every balanced assignment of its cells to $\mathbb{F}_p$ produces a bent function. It was asked whether every possible depth $K$ is a power of $p$; for general $p$, previous affirmative results required regularity or cell-symmetry hypotheses. We prove the stronger unconditional statement that, for every nonzero $h$, exactly $p^n/K$ points remain in the same fine cell under translation by $h$. Thus the fine cells form a partitioned difference family and the fine label map is zero-difference balanced. Consequently $K\mid p^n$, so $K=p^t$; nonempty cells further give $1\le t<n$. In even dimension, the classical cell-size theorem yields $K\mid p^{n/2}$. Together with the known odd-dimensional ternary three-fibre parameter restriction, this gives the global bound $t\le\lfloor n/2\rfloor$. The proof is an exact finite average over balanced coarsenings. The main counting identity and selected consequences are formalized and kernel-checked in Lean 4.

In this paper we study irreducible simplicial arrangements of projective planes in $\mathbb{P}^{3}(\mathbb{R})$ from combinatorial and projective geometry viewpoints. We first formulate a simpliciality criterion in terms of incidences between rank-two and rank-three flats, together with equivalent formulations using face numbers, reduced restrictions, and characteristic polynomials. We also relate the classical planar restriction data of Grünbaum-Shephard to Ziegler multirestrictions. Our principal result concerns the rank-four special-vertex property: among the irreducible crystallographic Coxeter arrangements of rank four, the arrangements of types $A_4$ and $B_4$ admit a special vertex, whereas those of types $D_4$ and $F_4$ do not. A simplicial deletion chain inside $B_4$ supplies further irreducible examples with a special vertex. Finally, we compare rank-flat, Purdy-type, and Grünbaum-Shephard defects for these arrangements.

We study regular unimodular triangulations, the integer decomposition property, and Ehrhart-theoretic properties of two families of Hermite normal form simplices. We first consider the one-row case associated with the vector $(N - 1, \dots ,N - 1 , N)\in \mathbb{N}^d$, and completely characterize when the corresponding simplices admit a regular unimodular triangulation. Our constructions are explicit and also yield closed formulas for the $h^\ast$-polynomial and the local $h^\ast$-polynomial. Moreover, we prove Ehrhart positivity and derive explicit dimension-dependent conditions under which the Ehrhart polynomial is not unimodal. Finally, we extend our approach to the two-row cases associated with $(1, \dots ,1 , N)\in\mathbb{N}^d$ and $(M-1, \dots ,M-1, M, 0)\in\mathbb{N}^d$. In these cases, we construct regular unimodular triangulations, derive closed formulas for the $h^\ast$-polynomial and the local $h^\ast$-polynomial, and prove Ehrhart positivity.

We use tools and techniques from $p-$adic analysis and algebraic number theory to study the algebraicity of the hard square entropy constant and its high dimensional analogues. Specifically, We study arithmetic properties of $a_d(n)$, the number of independent sets in the $d$-dimensional discrete torus, and the associated entropy constants $κ_d=\lim_{n\to\infty}a_d(n)^{1/n^d}$. It is not known whether $κ_d$ is algebraic or transcendental for $d>1$. Using the fact that the sequence $a_d(p^k)$ converges $p-$adically for every prime $p$, we collection of criteria for the algebraicity of $κ_d$ and bound the number of possible values of prime powers $p^k$ for which $a_d(p^k)=κ_d^{p^{kd}}$.

We study the combinatorial (red-blue) discrepancy of finite point sets with respect to hyperplanes and, more generally, bounded-complexity affine algebraic sets. We prove that every $n$-point set in a real Euclidean space admits a red-blue coloring for which every affine algebraic set of dimension at most $D$ and degree at most $k$ has discrepancy at most $n^{\frac12-\frac{1}{2(D+1)}-\varepsilon}$ for some $\varepsilon=\varepsilon(D,k)>0$. This gives a polynomial improvement over the straightforward VC-dimension bound $\tilde O(n^{\frac12-\frac{1}{2(D+1)}})$. In the opposite direction, we construct $n$-point sets in $\mathbb R^d$ whose discrepancy with respect to hyperplanes is $\tildeΩ(n^{\frac12-\frac{1}{d+1}}),$ extending the point-line discrepancy lower bound of Chazelle and Lvov. We present further applications of our methods in communication complexity, concerning separation between randomized communication cost and deterministic communication cost with access to equality oracle.

The singular difference graph, denoted by $Γ$, of the vector space of square matrices over a field is a graph whose vertex set is the set of all elements of the vector space, where two distinct vertices are adjacent if and only if the difference of the corresponding matrices is singular. In this paper, we investigate fundamental graph-theoretic properties of $Γ$, including connectivity, diameter, regularity, the Eulerian property, independence number, clique number, and domination number. We show that $Γ$ is a connected regular graph with diameter two. Over finite fields, we obtain an explicit formula for the degree of each vertex and characterize precisely when $Γ$ is Eulerian. We determine the independence number and clique number and provide explicit constructions attaining these values using companion matrices of irreducible polynomials. We also construct an explicit dominating set, yielding an upper bound for the domination number.

A conjecture of Komlós states that the combinatorial discrepancy of any matrix $A\in\mathbb R^{m\times n}$ whose columns have Euclidean norm at most one is bounded by a universal constant. We prove that the combinatorial discrepancy of every such matrix is at most $O((\log n)^{1/4}(\log\log n)^{7/4})$. This is the first asymptotic improvement over the $O(\sqrt{\log n})$ bound established by Banaszczyk [Banaszczyk, Random Struct.\ Algorithms, 1998], and it refutes a conjecture of Hajela [Hajela, European J.\ Combin., 1988] that a lower bound of order $Ω(\sqrt{\log n})$ should hold.

We define an invariant of alternating links---a homogeneous, four-variable Laurent polynomial---that encodes the symmetrized Alexander polynomial, the signature, and other topological data. Along the way, we extend a spanning tree formulation of the Alexander polynomial due to Murasugi and Stoimenow from special alternating links to all alternating links. This project is motivated by Fox's trapezoidal conjecture; accordingly, we prove certain sequences associated to our invariant are trapezoidal for all alternating links. We also conjecture our polynomial has $M$-convex support, and that it satisfies symmetry and log-concavity properties. We prove a partial symmetry result.

Bang (1976) proved the inequality for matrix permanents $\mathrm{per}^2(A) \geq 2^{-2n}\mathrm{per}(A \otimes J_2)$, where $J_2$ is the $2 \times 2$ all-ones matrix and $A$ is any $n \times n$ matrix with non-negative entries. We show that, if $A$ is any $n \times n$ real-valued matrix with rank at most two (possibly having negative entries), this inequality can be sharpened, replacing the constant $2^{-2n}$ by $1 / \binom{2n}{n} = (n!)^2 / (2n)! > 2^{-2n}$. We then show that this sharpened inequality also implies new inequalities for finite free convolutions of polynomials: if $p$ and $q$ are monic real-rooted polynomials of degree $n$, then $(p \boxplus_n q)(x)^2 \geq (p^2 \boxplus_{2n} q^2)(x)$ and $(p \boxtimes_n q)(x)^2 \geq (p^2 \boxtimes_{2n} q^2)(x)$ for all $x \in \mathbb{R}$, for $\boxplus_n$ and $\boxtimes_n$ the finite free additive and multiplicative convolution operations, respectively, on polynomials of degree $n$.

In this work, we present the first analysis of low degree polynomial threshold functions for the natural hypothesis testing problem of detecting the noisy random lift of a base $d$-regular graph from a uniformly random $d$-regular graph. Along the way, we obtain a new result for the distribution of short cycle counts in noisy random lift up to logarithmic lengths, which generalizes results by McKay, Wormald, and Wysocka and by Johnson in the case of random regular graphs, and the result by Fortin and Rudinsky in the case of random lift.

We prove that the six-vertex graph with edge set $\{ab,bc,cd,de,af,bf,df\}$ has the Erdős-Hajnal property. The proof adapts the iterative-sparsification method of Nguyen, Scott, and Seymour within the comb-based framework of Huang, Ju, and Zhou.

We prove a formula for the linear coefficient of the Ehrhart polynomial in terms of the Tutte polynomial. Furthermore, we characterize the matroids that extremize this Ehrhart coefficient, proving a conjecture of Ferroni.