math.CO ↗ arXiv
5274 papers in this category
The Algebraicity Problem for Hard-Core Entropy Constants on the Discrete Hypertori
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}}$.
Discrepancy of geometric incidences
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.
Singular difference graphs of vector spaces of square matrices
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.
An Exposition of the $\widetilde{O}(\log^{1/4} n)$ Bound for the Komlós Problem
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.
An Alexander Polynomial Refinement for Alternating Links, with Trapezoidal Properties
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.
Inequalities for rank-two permanents and finite free convolutions
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$.
Analysis of Polynomial Threshold Functions on Random Regular Graphs: Computational Complexity of Detecting Noisy Random Lift
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.
The Erdős-Hajnal Property for the six-vertex Graph with Edge Set $\{ab,bc,cd,de,af,bf,df\}$
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.
The Tutte polynomial determines the linear coefficient of the Ehrhart polynomial
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.
Decoding Algorithms for MDS Array Codes
We study decoding procedures for a family of MDS array codes previously constructed from the Kronecker product of a superregular matrix and a non-singular matrix over a finite field. By exploiting the particular structure of their parity-check matrices, we develop decoding algorithms for different channel models. For the erasure channel, we provide an algorithm capable of recovering any pattern of up to $n-k$ symbol erasures. For the $q$-ary symmetric channel, we investigate the decoding of one and two symbol errors and give explicit procedures for determining their locations and values. We also consider the particular case in which the superregular matrix is a Vandermonde matrix, showing how its additional algebraic structure can be exploited in the decoding process. Explicit examples over different finite fields are provided to illustrate the proposed procedures.
Random Recursive Simplicial Complexes
We investigate random recursive simplicial complexes growing by adding, at each step, a vertex together with a simplex formed by joining the new vertex with a randomly chosen existing simplex. We also add all faces of the new simplex to ensure that the resulting object remains a simplicial complex. If the choice of an existing simplex is uniform among simplices of dimension $<m$, the number $S_d$ of simplices of any admissible dimension $d\leq m$ is an asymptotically self-averaging random variable. This feature allows us to determine the asymptotic growth law of the average of $S_d$ when the number of vertices diverges. We also probe the degree distribution, examine the probabilities of various extreme outcomes, and analyze the characteristics of the first vertex.
On identifying codes on oriented graphs
This article studies identifying codes in oriented graphs from a computational complexity perspective. We investigate the $\mathcal{F}$-Id Code problem, where given a simple graph $G$ and a vertex subset $C$, which induces a subgraph in the family $\mathcal{F}$, as inputs
and ask whether it is possible to orient $G$ in such a way that $C$ becomes its oriented identifying code.
Focusing on the family $\mathcal{F}_d$ of $d$-regular graphs, we establish a complete dichotomy by proving that the problem is polynomial-time solvable for $d\leq1$ and NP-complete for all $d\geq2$.
Five improved lower bounds for Zarankiewicz numbers z(m,n;3,3)
We record five improved lower bounds for Zarankiewicz numbers with s = t = 3:
z(13,19;3,3) >= 118, z(14,19;3,3) >= 126, z(16,18;3,3) >= 136,
z(14,20;3,3) >= 126, z(16,19;3,3) >= 136.
The first three are certified by explicit K_{3,3}-free 0/1 matrices; the last two follow from the second and third by monotone padding. Compared with the lower bounds compiled in Figure 2 of arXiv:2605.01120, namely 114, 121, 130, 125 and 132, the improvements are +4, +5, +6, +1 and +4 respectively. The three matrices were produced by a kicked-greedy local search operated autonomously by a discovery system and were verified exactly, by exhaustive inspection of every 3x3 row/column triple, in several mutually independent implementations; they were also re-verified independently by the authors of arXiv:2605.01120 using their own verifier in July 2026. All three witnesses are printed in full in Appendix A and accompany this note as machine-readable ancillary files together with standalone, dependency-free verifiers.
Optimal connectivity of second order iterated line graphs
The line graph $L(G)$ of a graph $G$ is defined to be the simple graph whose vertices are the edges of $G$, where two vertices in $L(G)$ are adjacent if and only if the corresponding edges in $G$ are incident with a common vertex, and define $L^2(G)=L(L(G))$. For positive integers $d$ and $k$, the function
$κ_{L^2}(d,k) = \inf\{κ(L^2(G)): κ'(G) \ge k \mbox{ and } δ(G) \ge d\}$ has been investigated. Niepel and Knor proved that $κ_{L^2}(d,1)\geq d-1$, for any integer $d \ge 3$. In this research, it is proved that if $d\geq 3$ and $k\geq 1$, then $κ_{L^2}(d,k)= \min\{f(d,k), 4d-6\}$, where \begin{equation} f(d,k) = \left\{ \begin{array}{ll} k(d-k), & \mbox{ if $1\leq k\leq \lfloor\frac{d}{2}\rfloor$, } \\ kd-k^2+2k(\lceil \frac{d}{2}\rceil)-(\lceil\frac{d}{2}\rceil)d, & \mbox{ if $\lfloor\frac{d}{2}\rfloor< k <\frac{3d-1}{4}$, } \\ kd-k^2+2k\lfloor \frac{d}{2}\rfloor-2(\lfloor \frac{d}{2}\rfloor)^2, & \mbox{ if $\frac{3d-1}{4}\leq k<d$, }\\ d(\lceil \frac{d}{2}\rceil), & \mbox{ if } d=k. \end{array} \right.\nonumber \end{equation}
Unbalanced Turán and spectral Turán problems with prescribed large maximum degree
Classical Turán-type problems determine the maximum number of edges and spectral radius of an $n$-vertex $F$-free graph without a degree constraint. We study the corresponding problems in the class of $n$-vertex $F$-free graphs $G$ with prescribed maximum degree $Δ(G)=Δ$. Let $χ(F)=r+1\ge3$ and $\lceil(r-1)n/r\rceil\leΔ\le n-1$. The maximum-degree condition leads to the complete $r$-partite graph $S_{n,Δ}^{(r)}=(n-Δ)K_1\vee T(Δ,r-1)$, whose part of size $n-Δ$ is generally smaller than the other parts; this is the source of the unbalanced Turán problem considered here. Let $\mathrm{ex}_F(n,Δ)$ and $\mathrm{spex}_F(n,Δ)$ denote the maximum number of edges and adjacency spectral radius, respectively, in this class. For $F=K_{r+1}$, we prove that $S_{n,Δ}^{(r)}$ is the unique extremal graph for both parameters. For a general graph $F$, let $a(F)$ be the minimum size of an independent set $I$ such that $χ(F-I)\le r$. If $a(F)=1$, we prove edge and spectral stability with respect to $S_{n,Δ}^{(r)}$. If $a(F)>1$, the extremal values have the usual Erdős--Stone--Simonovits asymptotics, and the edge- and spectral-extremal graphs are $o(n^2)$-close to $T(n,r)$. Finally, for a finite forbidden family, we prove that a decomposition-family edge bound of order $O(n^{1+s})$ yields a spectral-radius bound with error term $O(n^s)$, where $0\le s<1$. This can be used to obtain spectral-radius estimates from decomposition-family bounds in other unbalanced Turán problems.
$\mathbb{F}_q$-linear relations among Thakur's multiple zeta values in positive characteristic
Let $\mathcal{Z}_w^{(\mathbb{F}_q)}$ be the $\mathbb{F}_q$-linear subspace of $\mathbb{F}_q(\!(θ^{-1})\!)$ spanned by Thakur's multiple zeta values $ζ_A(\mathfrak{s})$ of weight $w$. We prove that $\sum_{w=1}^{\infty} \left(\dim_{\mathbb{F}_q} \mathcal{Z}_w^{(\mathbb{F}_q)}\right) x^w = \frac{x(1-x^q)(1-2x+x^q)}{(1-2x+x^{q+1})^2}$. Moreover, we construct an explicit $\mathbb{F}_q$-basis of $\mathcal{Z}_w^{(\mathbb{F}_q)}$, and prove that any $\mathbb{F}_q$-linear relation among Carlitz multiple polylogarithm values $\operatorname{Li}_A(\mathfrak{s})$ is an $\mathbb{F}_q$-linear combination of quadruple-carry relations. This result can be regarded as an $\mathbb{F}_q$-analogue of the corresponding $\mathbb{F}_q(θ)$-theorem proved by Chang--Chen--Mishiba and independently by Im--Kim--Le--Ngo Dac--Pham.
Our discovery of the quadruple-carry relations is inspired by the recent work of Im--Kim--Ngo Dac. These relations may be viewed as $\mathbb{F}_q$-analogues of the double-shuffle relations among classical multiple zeta values $ζ(\mathfrak{s})$.
A note on surfaces with large systoles
We show that for every sufficiently large genus $g$, there exists a closed hyperbolic surface $S_g$ with systole $\mathrm{sys}(S_g)\geq \log g-12\log\log g$. In particular, $$\liminf_{g\to \infty}\frac{\max\{\mathrm{sys}(S):S\in \mathcal{M}_g\}}{\log g}\geq 1,$$ improving the previously known bound $2/9$. This note is a continuation of our previous work on the diameter of finite covers arXiv:2608.12887, using the same framework of constant-twist pants decomposition to study systoles. The proof was developed by GPT-5.6 Sol through an extended discussion with the author.
Signless Laplacian spectral conditions for rainbow matchings in a collection of bipartite graphs
Let ${\cal G}=\{{G_1},\ldots,{G_k}\}$ be a collection of (not necessarily distinct) bipartite graphs on the same vertex bipartition $(X,Y)$ with $|X|=a$ and $|Y|=b$, where $k$, $a$ and $b$ are positive integers. A collection ${\cal G}$ of bipartite graphs admits a rainbow matching if there exists a set of pairwise disjoint edges such that any two edges are from distinct bipartite graphs of ${\cal G}$. Denote by $q({G})$ the signless Laplacian spectral radius of a bipartite graph $G$. In this paper, we prove that if $q({G_i})\ge b+k-1+\sqrt{(k-1)b} $ for each ${G_i}\in{\cal G}=\{{G_1}, \ldots, {G_k}\}$, where $2\leq k\leq a\leq b$, then ${\cal G}$ admits a rainbow matching of size $k$ unless ${G_1}={G_2}=\cdots={G_k}\cong{K_{k-1,b}}\cup\overline{K_{a-k+1}}$, by using the shifting technique.
Nonhamiltonian regular sublinear expanders
Letzter, Methuku and Sudakov proved that sufficiently regular sublinear expanders contain nearly spanning cycles and paths. Montgomery subsequently conjectured that every regular sublinear expander of sufficiently large degree is hamiltonian. Recently, Chen, Liu, Wei and Yang disproved this conjecture by constructing $d$-regular sublinear expanders of order $n$ with $d=(1/2+o(1))\log^2 n$ and small circumference. They further posed the problem of determining whether, for every fixed $\varepsilon>0$, there exists a constant $C=C(\varepsilon)$ such that every sufficiently large $n$-vertex $d$-regular $(\varepsilon,d)$-expander with $d\ge C\log^2 n$ is hamiltonian. We answer this problem negatively by constructing, for every sufficiently small fixed $\varepsilon>0$, infinitely many nonhamiltonian $d$-regular $(\varepsilon,d)$-expanders with degrees far above the $\log^2 n$ scale.
Packing and Covering Cycles Through Prescribed Vertices
Let $G$ be a finite simple graph and let $S\subseteq V(G)$. We prove that the minimum number of vertices meeting every cycle that intersects $S$ is at most the maximum number of vertices of $S$ covered by a collection of vertex-disjoint cycles. This answers a question posed by Bowler, Ghorbani, Gut, Jacobs, and Reich [\emph{SIAM Journal on Discrete Mathematics} \textbf{40} (2026), 988--999]. An incidence-based reduction to their bidirected packing--covering theorem preserves the packing value and projects transversals without increasing their cardinality.