math.CO ↗ arXiv
7121 papers in this category
Restricted generalized Schur numbers
For $k\geq2$, let $S_r(k;\ell)$ be the smallest $n$, if exists, such that every $r$-coloring of $\{1,2,\ldots,n\}$ has a monochromatic solution $\mathcal{S}$ to the equation \[ x_1+x_2+\cdots+x_k=x_{k+1} \] such that the number of distinct integers in $\mathcal{S}$ is exactly $\ell+1$. We prove that, if $\ell\geq2$ is fixed, then \[ S_2(k;\ell)= k^2+\left[\frac{(\ell+1)(\ell-2)}{2}+2\right]k+\ell(\ell-2) \] for all large enough $k$. In particular, we have $S_2(k;2)=k^2+2k$ for all $k\geq3$.
On two conjectures concerning Kemeny's constant of graphs
Let $G$ be a connected graph of order $n$ and diameter two. For any two distinct vertices $u,v\in V(G)$, we prove that $$ r_G(u,v)\leq (3+\sqrt{5})\left(\frac{1}{d_G(u)}+\frac{1}{d_G(v)}\right), $$ where $r_G(u,v)$ denotes the effective resistance between $u$ and $v$, and $d_G(u)$ denotes the degree of $u$ in $G$. Using this resistance estimate, we further prove that the Kemeny's constant of $G$, denoted by $\mathcal{K}(G)$, satisfies $$ \mathcal{K}(G)\leq (3+\sqrt{5})(n-1). $$ This confirms a conjecture of Kim et al. (2026) asserting that $\mathcal{K}(G)=O(n)$ for every connected graph of diameter two. We further establish the Nordhaus-Gaddum bound $\mathcal{K}(G)\mathcal{K}(\overline{G})=O(n^4)$ whenever both $G$ and $\overline{G}$ are connected, thereby confirming another conjecture of Kim et al. (2026), which states that $\mathcal{K}(G)\mathcal{K}(\overline{G})=O(n^4)$ whenever both graphs are connected.
The $Δ$-Conjecture for CIS $d$-Graphs
We prove the $Δ$-conjecture, which dates back to Gurvich's 1978 thesis. Specifically, let the edges of a complete graph be colored with colors $1,\ldots,d$, and for each $i$ let $G_i$ be the graph formed by the edges of color $i$. We prove that if every choice of a maximal stable set $S_i$ of $G_i$, one for each $i\in[d]$, has nonempty intersection, then the coloring contains no rainbow triangle.
Asymmetric Catalan and Shi Hyperplane Arrangements
In this paper, we study the regions of asymmetric extensions of the Catalan and Shi arrangements. We first determine the characteristic polynomials of a general class of Catalan and Shi arrangements using the finite field method, thereby obtaining explicit formulas for the number of regions. We then introduce two new classes of combinatorial objects: $\mathbf{c}$-labelled Dyck paths and $\mathbf{c}$-building functions, which generalize classical Dyck paths and parking functions, respectively. We prove that the regions of the asymmetric Catalan arrangement are in natural bijection with $\mathbf{c}$-labelled Dyck paths, while those of the asymmetric Shi arrangement are in natural bijection with $\mathbf{c}$-building functions. This resolves a problem proposed by Theo Douvropoulos during the 2022 Oberwolfach Workshop on Enumerative Combinatorics. In particular, our results extend Stanley's celebrated correspondence between $m$-parking functions and the regions of the $m$-Shi arrangement by introducing new combinatorial models and developing entirely different proof techniques.
On degree powers in the degenerate Turán problem
Given a graph $G$ with degree sequence $d_{1},\ldots,d_{n}$ and a positive real number $p$, let $e_{p}(G)=\sum_{i=1}^{n} d_{i}^{p}$. For a fixed family of graphs $\mathcal F$, let $ex_{p}(n, \mathcal F)$ denote the maximum value of $e_{p}(G)$ over all $\mathcal F$-free graphs $G$ on $n$ vertices. In 2000, Caro and Yuster introduced the following Turán-type problem: For a positive integer $p$ and a fixed graph $F$, determine $ex_{p}(n, F)$, and characterize the extremal graphs $G$ on $n$ vertices that attain $ex_p(n, F)$. Recently, Gao, Liu, Ma and Pikhurko proved that $ex_{p}(n, \mathcal F)=(τ(\mathcal F)-1+o(1))n^p$ for real $p>\frac{1}{1-α}$, where $\mathcal F$ is a degenerate family of graphs with classical Turán number $ex(n, \mathcal F)=O(n^{1+α})$ for some $α\in[0,1)$, and $τ(\mathcal F)$ is the minimum size of an independent vertex cover over all bipartite graphs $F\in\mathcal F$. Based on their method, we obtain a stability result for $ex_{p}(n, \mathcal F)$, and prove that all extremal graphs must contain the complete bipartite graph $K_{τ(\mathcal F)-1,n-τ(\mathcal F)+1}$ when $n$ is sufficiently large. Our results can be used to deduce all previously known results about $ex_{p}(n, F)$ when $F$ is a bipartite graph and $n$ is sufficiently large. We also obtain several new exact results for $ex_{p}(n, F)$, namely, when $F$ is an even cycle, a complete bipartite graph, a discrete hypercube, a caterpillar forest, and a spider forest.
All Polyominoes are $C_4$-face-magic
For a planar graph $G = (V, E)$ embedded in $\mathbb{R}^2$, let $\mathcal{F}(G)$ denote the set of faces of $G$. Then $G$ is called a \textit{$C_n$-face-magic} graph if there exists a bijection $f: V(G) \to \{1, 2, \dots, |V(G)|\}$ such that for any $F \in \mathcal{F}(G)$ with $F \cong C_n$, the sum of all the vertex labels along $C_n$ is a constant $c$. In this paper, we prove that all polyominoes are $C_4$-face-magic.
The Maximum of $\operatorname{per}(I-A)$ in Odd Order
Let $Ω_n$ denote the set of $n\times n$ doubly stochastic matrices. Kim and Roush conjectured in 1981 that, for $n=2k+1>1$, $
\max_{A\inΩ_{2k+1}}\operatorname{per}(I-A)=3\cdot 2^{k-2}$. They proposed the block construction $A_\star=\frac12(J_3-I_3)\oplus
P_2^{\oplus(k-1)}$, where $P_2=\begin{pmatrix}0&1\\1&0\end{pmatrix}$. Here $J_3$ is the $3\times3$ all-ones matrix. They did not claim
uniqueness. We fully prove their conjecture and classify equality: the maximizers are exactly the simultaneous-permutation conjugates of
$A_\star$.
Product representations of polynomials over finite fields
Published in Acta Arith., 2026+
• View Publication
• BIB
Erdős, Sárközy, and Sós studied the asymptotics of the maximum size of a subset of $\{1,2,\ldots, N\}$ such that it does not contain $k$ distinct elements whose product is a perfect square. More generally, Verstraëte proposed a conjecture regarding the asymptotic behavior of the same quantity with the set of perfect squares replaced by the value set of a polynomial in $\mathbb{Z}[x]$. In this paper, we study a finite field analogue of Verstraëte's conjecture.
Corrigendum to "On the Maximum Symmetric Division Deg Index of $k$-Cyclic Graphs [J. Math. 2022, (2022) \#7783128]"
The proof of Proposition 1 in the paper [J. Math. 2022, (2022) #7783128] contains a gap, but its statement is correct. Here, we fix this gap.
Irreducibility of interlace polynomials
The factorisation of graph polynomials often reflects combinatorial decomposition. For a nonempty loopless graph $G$, we first prove that the two-variable interlace polynomial $q(G;x,y)$, introduced by Arratia, Bollobás and Sorkin, is irreducible over $\mathbb{C}[x,y]$ if and only if $G$ is connected, exactly paralleling the classical irreducibility theorem for the Tutte polynomial. The loopless hypothesis is essential: we construct an infinite family of connected looped graphs whose two-variable interlace polynomials are reducible. For a nonempty graph $G$, we prove that Courcelle's multivariate interlace polynomial $C_G(u,v;\mathbf{x},\mathbf{y})$ is irreducible over $\mathbb{C}[u,v,x_a,y_a:a\in V(G)]$ if and only if $G$ is connected.
Sharp vertex connectivity of the Markoff graphs modulo $p$
The Markoff graph $G_p$ modulo a prime $p$ is an undirected graph whose vertices are the nonzero solutions over the finite field $\mathbb{F}_p$ of the normalized Markoff equation \[ x_1^2+x_2^2+x_3^2=x_1x_2x_3, \] where two vertices are adjacent if they differ by a Vieta involution. A major breakthrough of Bourgain, Gamburd, and Sarnak established that $G_p$ contains a giant connected component. Combined with Chen's remarkable divisibility theorem, this implies that $G_p$ is connected for all sufficiently large primes $p$.
In the same paper, Bourgain, Gamburd, and Sarnak further asked whether the family $\{G_p\colon p\geq5\}$ forms an expander family. This motivates us to investigate the robustness of connectivity in the Markoff graphs. In this short note, we show that if the Markoff graph $G_p$ is connected, then it is in fact $2$-connected. Consequently, the Markoff graph $G_p$ is $2$-connected for all sufficiently large primes $p$. This is sharp in the sense that $G_p$ is not $3$-connected for any prime $p\geq 7$.
A proof of a conjecture on subtree roots
The subtree polynomial of a tree is the generating function that enumerates its subtrees according to their orders. Brown and Mol conjectured that every subtree root of a tree of order \(n\ge 2\) lies in the disk \[ \left\{z\in\mathbb C: |z|\le 1+\sqrt[n-1]{n-1} \right\}. \] We confirm this conjecture. We also show that every nonzero subtree root \(z\) satisfies \[ |z|>\sqrt[n-1]{n-1}-1. \] Consequently, all nonzero subtree roots lie in the annular region
\[ \left\{z\in\mathbb C: \sqrt[n-1]{n-1}-1 <
|z| \le 1+\sqrt[n-1]{n-1} \right\}. \] The upper bound is sharp for every even \(n\) and is asymptotically sharp as \(n\to\infty\) through odd integers. The lower bound is also asymptotically sharp as \(n\to\infty\).
Long Lattice Paths with No Three Collinear Vertices
For $d\ge 1$, let $L(d)\in\mathbb N\cup\{\infty\}$ be the supremum of the lengths of paths in $\mathbb Z^d$ whose steps are standard basis vectors and whose vertex sets contain no collinear triple. We prove that \[
\log_2\log_2 L(d)\ge \frac{2}{5}d-O(1) \] for all sufficiently large $d$.
Positive Lower Density for Hofstadter's $ab-1$ Problem
Let $A$ be the smallest set of positive integers containing $2$ and $3$ such that $ab-1\in A$ whenever $a,b\in A$ are distinct. We prove that $A$ has positive lower density, answering a problem of Erdős attributed to Hofstadter.
A Degree Threshold for Independent Domination in Generalized Prisms
We study per-colour independent (k)-rainbow domination and its connection with independent domination in generalized prisms. Building on the known prism identity and the trivial regime above the maximum degree, we focus on the boundary case where the number of colours equals the maximum degree.
For every fixed (k\ge 3), we prove that the decision problem remains NP-complete even on a highly restricted class of graphs: (C_4)-free, bipartite, ((k,2))-biregular subdivision graphs arising from simple (k)-regular graphs. The reduction gives an exact correspondence between optimal rainbow-independent dominating functions on the subdivision graph and proper (k)-edge-colourings of the original graph.
We also introduce an excess parameter measuring how far the domination number lies above its natural lower bound. For cubic graphs, this excess coincides with the classical edge-colouring degree and therefore with standard resistance parameters for subcubic graphs.
These results reveal a sharp one-unit threshold: above the maximum degree the problem becomes trivial for every graph, while at the boundary NP-hard instances already occur within a very narrow structural family.
Topology of medial regime random simplicial complexes
We analyse topology of random simplicial complexes in the medial regime. We show that these complexes are highly connected and have homotopy type of iterated suspensions. One of our main tools is a new combinatorial criterion for high connectivity of simplicial complexes, which is more flexible than conicity. We show that topological complexity of random simplical complexes in the medial regime is bounded above by 2 and it equals 2 for a class of homogenous medial regime random simplicial complexes, a.a.s.
Reinhardt's Maximum-Perimeter Polygon Problem at n=16, 32, and 64: Computer-Assisted Proof Candidates
A convex polygon is called small if its diameter is at most one. Reinhardt proved the universal perimeter bound $\mathrm{perim}(P) \leq U_n := 2n\sin(π/(2n))$, and the bound is attained whenever $n$ has a nontrivial odd divisor. The remaining power-of-two cases have resisted exact solution beyond $n=8$. This paper presents computer-assisted proof candidates for the first three open cases, $n=16,32,64$. In each case, the candidate theorem asserts uniqueness of the maximizing congruence class. The proof architecture is common to all three cases: pass to the difference body $P-P$; encode its reconstruction by a sign code; prove that every global maximizer is saturated, so all difference-body vertices lie on the unit circle; localize every competitive configuration near the regular angle vector; exhaustively screen the sign codes using exact arithmetic; eliminate all nonwinning dihedral orbits; and prove uniqueness inside the winning code by strong convexity and a quantitative KKT argument. The exact certificates cover $2^{15}$ normalized codes for $n=16$, $2^{31}$ normalized codes for $n=32$, and all $2^{64}$ half-codes for $n=64$, leaving respectively $16$, $96$, and $896$ survivors before orbit elimination. The accompanying source package contains the verifiers, recorded outputs, and separate computational cross-checks. These results have not yet received independent human expert review and are therefore deliberately presented as proof candidates rather than literature-established theorems.
Binomial coefficients coprime to 6
It is a well known result by Singmaster that any integer $d$ divides almost all binomial coefficients. The study of the structure and the size of the exceptional set has been of interest for many decades. In the case where $d$ is a prime power, these sets are well understood and their size is known. However, if $d$ has at least two distinct prime factors, no non-trivial bounds are known. In this paper, we will provide the first non trivial bound on the number of binomial coefficients coprime to 6.
Neurosymbolic Discovery of Algebraic Graph Constructions
There are several methods for searching for graphs with prescribed properties, such as SAT solvers and specialized generators. These methods return the result as raw data: an adjacency matrix or a string encoding. The raw data certifies that the graph exists, but it does not reveal any structural properties of the graph. We ask whether one can automatically discover a short algebraic description if only this raw data is provided. We look for a description such as a Cayley graph $\mathrm{Cay}(Γ, S)$ or a lexicographic product $C_5[K_3]$.
We address this question with a neurosymbolic approach. We propose an agent that runs on a general-purpose large language model with no fine-tuning or per-target training. The model interleaves reasoning with calls to the computer algebra system SageMath: it analyzes the target graph, proposes and tests candidate constructions, and revises them until the output matches the target. The agent communicates with SageMath through a Model Context Protocol (MCP) server, which we release as a general-purpose bridge. Whether a construction matches the target is checked by a single exact isomorphism test, and therefore rests on the symbolic side and not on the model. We test the approach on a benchmark of 100 highly symmetric graphs, namely two-orbit graphs on up to 25 vertices; the benchmark was fixed in advance. Our agent could find verified algebraic constructions for all of them, without falling back to raw encodings. A strong template-enumeration baseline reaches only about $20\%$, and a catalog lookup could not identify any of these graphs. However, construction quality declines when symmetry is removed.
As a concrete application, we identify the smallest known counterexample to the Bernhart-Kainen dispersability conjecture, a $16$-vertex graph that enumeration found as raw data. For this graph, our agent found an explicit algebraic construction.
Exact Zarankiewicz Values On Two Finite Frontier Slices
The Zarankiewicz number Z(m,n,s,t) is the maximum number of edges in a bipartite graph with parts of orders m and n containing no copy of Ks,t. We give one combined, certificate-based computer-assisted proof for two finite slices and a corrected neighboring frontier: Z(12,n,3,3) = 6n (18 <= n <= 22), Z(13,22,3,3) = 137, Z(13, 18, 3, 3) = 116, Z(14, 18, 3, 3) = 124, Z(15,18,3,3) = 132, Z(14, 17, 3, 3) = 118, Z(15, 17, 3, 3) = 126, 132 <= Z(16,17,3,3) <= 133. The load-bearing new upper bounds are the exact 12 x 18 and 13 x 18 certificate packages. Their orbit certificates exclude every hypothetical matrix at the next edge count. Deletion lemmas and explicit witnesses close four neighboring cells, while the 16 x 17 entry is deliberately reported as an interval because only its 132-edge lower witness and the published 133 upper bound are certified here. Separately, the 13 x 22 proof excludes 138 ones by reducing to 83 degree profiles, rationally separating 77 of them, and eliminating the remaining six by marked-row congruences, leave enumeration, modular Gram tests, and exact Farkas certificates. All accepted claims are replayed by standard-library Python and exact integer/rational arithmetic; floating-point optimization is used only to discover certificates.