math.CO ↗ arXiv
7121 papers in this category
The positive and negative square-energy conjecture
Let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of the positive and negative adjacency eigenvalues of a graph $G$, respectively. We prove the conjecture of Elphick, Farber, Goldberg, and Wocjan that every connected graph $G$ on $n$ vertices satisfies $$
\min\{s^+(G),s^-(G)\}\ge n-1. $$ The proof introduces a new framework for square-energy estimates, in which the Hadamard squares of positive semidefinite matrices that encode these spectral quantities are relaxed to the full doubly nonnegative cone.
A positive square-energy strengthening of Turán's theorem
Let $G$ be an $n$-vertex graph with clique number $ω(G)$, and let $s^+(G)$ denote the sum of the squared positive adjacency eigenvalues. We prove that $$ \sqrt{s^+(G)}\le\left(1-\frac{1}{ω(G)}\right)n. $$ This strengthens Wilf's classical spectral Turán theorem and resolves a conjecture of Elphick and Wocjan. Adopting the relaxation of our companion paper on the square-energy conjecture, we reduce the theorem to a Motzkin--Straus inequality for doubly nonnegative matrices, which we prove via a local inverse-probability estimate for the Caro--Wei greedy algorithm on the complement.
Towards a strengthening of the second neighborhood conjecture
A longstanding conjecture of Seymour, called Seymour's second neighborhood conjecture, states that every oriented graph $D$ contains a vertex $x$ with $|N^{++}_D(x)|\geq |N^{+}_D(x)|$. The conjecture was verified in a few special classes of oriented graphs, and it remains open for general oriented graphs. We propose a stronger version of the conjecture that every oriented graph $D$ contains a vertex $x$ such that there exists a complete matching from $N^+_D(x)$ to $N^{++}_D(x)$. We prove that this stronger version holds for every oriented graph with minimum out-degree at most $5$, and also for every $5$-anti-transitive oriented graph. This implies that every oriented planar graph satisfies the stronger version.
On modular balanced partition designs
Let $X$ be a finite set of integers with cardinality $ν= κλ$. A \emph{modular balanced partition design} is a triplet $(X, \mathcal{A}, \mathcal{B})$ satisfying the following conditions: \begin{itemize}
\item $\mathcal{A}$ is a partition of $X$ into $κ$ blocks of size $λ$, such that every element of $X$ appears in exactly one block. If $\mathcal{A} = \{A_1, A_2, \ldots, A_κ\}$, then
$\sum_{a\in A_i} a \equiv i λ\pmodν$, for each $i=1,2,\ldots,κ$
\item $\mathcal{B}$ is a partition of $X$ into $λ$ blocks of size $κ$, such that every element of $X$ appears in exactly one block. If $\mathcal{B} = \{B_1, B_2, \ldots, B_λ\}$, then
$\sum_{b\in B_j} b \equiv j κ\pmodν$, for each $j=1,2,\ldots,λ$
\item $A_i \cap B_j$ has exactly one element, for any $A_i \in \mathcal{A}$, and $B_j \in \mathcal{B}$. \itemize}
We prove the necessary conditions for the existence of a modular balanced partition design. Moreover, we investigate and identify a relationship between a modular balanced partition design and a subgroup magic rectangle. Then by using affine automorphisms of an Abelian group, we prove the existence of non-isomorphic modular balanced partition designs. Finally, we provide a method to construct a transversal design via a modular balanced partition design.
On Hales-Jewett and Related Numbers
We investigate the Hales-Jewett numbers and some variants of them, both computationally and via enumerative and probabilistic arguments. In particular, we give the improved lower bound formula on the combinatorial-geometric variant of the Hales-Jewett numbers. {As a consequence of one of the variants investigated, we show that the Milton Bradley game Connect Four played with 2 players on a 5-dimensional hypercube of any side length can end in a draw.
Exact generalized Turán number of vertex-disjoint paths of length two
We determine the generalized Turán number of vertex-disjoint paths of length two and characterize all corresponding extremal graphs. Our proof combines the Lovász form of the Kruskal--Katona theorem with a discrete convexity argument.
Sharp density conditions for infinite $B+B$ sumsets in abelian groups
Motivated by recent results \cite{charamaras_kousek_mountakis_radic2025BBingroups} on infinite sumsets of the form $B+B=\{b_1+b_2:b_1,b_2\in B\}$ in large subsets of abelian groups, and an old problem of Owings \cite[Problem E2494]{Owing_problems} about the partition regularity of $B+B$ in $2$ colours, we show the following theorem. Let $(G,+)$ be a countable abelian group such that the subgroup $\{g+g\colon g\in G\}$ has finite index and the doubling map $D: g\mapsto g+g$ has finite kernel. Let also $Φ=(Φ_N)_{N}$ be any Folner sequence in $G$ and $Φ/2=(D^{-1}(Φ_N))_{N}$. Then, if $A\subset G$ is such that $d_Φ(A)+d_{Φ/2}(A)>1$, there is an infinite set $B\subset G$ and some $t\in G$ for which $t+B+B\subset A$.
We prove that this result implies the main theorem in \cite{charamaras_kousek_mountakis_radic2025BBingroups}, and construct an example to show the reverse implication does not hold. Moreover, we show that our main theorem is optimal in a strong sense. Namely, for any countable abelian group $(G,+)$ with the aforementioned assumptions -- which are necessary -- there exists a Folner sequence $Φ$ and a set $A\subset G$ so that $d_Φ(A)+d_{Φ/2}(A)=1$, but there is no infinite set $B\subset G$ and $t\in G$ for which $t+B+B\subset A$.
Finally, we relate the optimality of our main result in the integer setting to Owings' problem and present some other considerations around this.
On the minimum size of maximal $k$-wise intersecting families
A family $\mathcal{F}$ of subsets of $[n] := \{1,2,\ldots, n\}$ is called maximal $k$-wise intersecting if every collection of at most $k$ members of $\mathcal{F}$ has a non-empty intersection, and adding any other set to $\mathcal{F}$ breaks this property. An old question by Erdős and Kleitman from 1974 asks for the minimum size of a maximal $k$-wise intersecting family. The case $k = 3$ is known for all sufficiently large $n$, but the problem remains open for all $k \geqslant 4$. The previous best-known upper bound is by Janzer, which has a leading term $(k-1)2^{k-3}2^{n/(k-1)}$ for sufficiently large $n$ divisible by $k-1$. In this note, we improve this bound to $(4k-10)2^{n/(k-1)}$, which reduces the dependence on $k$ in the leading coefficient from exponential to linear and is within a factor of $4$ of the known lower bound.
Cofilling Shattering: A Syndrome-Support Hierarchy for Check Erasures
Let $A:\mathbb{F}_2^n\to\mathbb{F}_2^m$ be a binary linear map with fixed coordinate bases, let $C_A=\ker A$, and let $λ_A(y)$ be the minimum Hamming weight of a preimage of the syndrome $y$. We define $\operatorname{Shat}_{q,s}(A)$ as the least common check support of a $q$-dimensional syndrome subspace whose every nonzero element has coset-leader weight at least $s$. It therefore distinguishes release of $q$ independent syndromes from release of a subspace with no easy linear combination. Deleting check coordinates $F$ releases $\ker A_{\bar{F}}/\ker A$, canonically isomorphic to $(\operatorname{im} A)[F]$.
Finiteness implies $R_q(C_A)\ge \mathsf{N}_2(q,s)$, where $\mathsf{N}_2(q,s)$ is the shortest length of a binary code of dimension $q$ and distance at least $s$; profile-Griesmer bounds independently control common check support. The hierarchy is coordinate-relabeling invariant but can change under a change of check basis. For the pair-repetition code $C_n=\{(x,x):x\in\mathbb{F}_2^n\}$, the standard realization $H_0=[I_n\ I_n]$ has $\operatorname{Shat}_{q,s}(H_0)=\mathsf{N}_2(q,s)$ whenever feasible. For every $q\ge 1$ and $s\ge 2$, with $n=\mathsf{N}_2(q,s)$, a row-equivalent realization of the same code has value $q$.
For a simplicial coboundary map $A=δ_k$, check erasure is top-face erasure and the released quotient is emergent cohomology. At $s=1$ the hierarchy reduces to generalized Hamming weights and is Tutte-determined; for $s\ge 2$, even identical labeled cut codes can have different values.
Some Integer Sequences Arising From Game Theory
A counting problem arising naturally from game theory leads to the problem of estimating the coefficients $t_{ij}$ of a particular bivariate rational function. Restricting to the diagonal sequences $t_{j+k,k}$ (with $k$ fixed) allows us to study these sequences using elementary one-variable methods.
K-Arc-Strong Orientations Of Semicomplete Digraphs
Results by Jackson and Frank imply that every 2k-arc-strong digraph D contains a spanning k-arc-strong oriented subdigraph. This is best possible, even for very dense digraphs. A digraph is semicomplete if at least one of the arcs xy,yx is present for every pair of distinct vertices x,y. A tournament has exactly one of xy,yx for every such pair. Clearly every semicomplete digraph D contains a spanning tournament T which is obtained by deleting one arc from every 2-cycle of D. We prove that every (2k-1)-arc-strong semicomplete digraph on at least 2k+1 vertices contains a spanning k-arc-strong tournament. Both bounds 2k-1 and 2k+1 are best possible. The proof uses Frank's general orientation theorem for graphs as well as counting arguments based on the semicomplete structure.
The Grammatical Calculus
We give an introduction to the grammatical calculus, which originated from the umbral calculus of Rota. Context-free grammars arise in computer science. Differential operators can be viewed as the production rules of context-free grammars. By the properties of differential operators, we may perform the grammatical calculus on a rigorous basis, for the purposes of deriving combinatorial identities and computing generating functions. A grammatical labeling serves as a bridge between a combinatorial structure and the grammar. A grammar may be instrumental in constructing a bijection between two combinatorial structures sharing the same grammar. Such a bijection is called a grammar assisted bijection. Many combinatorial structures admit recursive constructions that are context-free in some sense, such as those corresponding to the Eulerian polynomials, Bell polynomials, the Ramanujan polynomials and the Narayana polynomials.
Highly connected spanning oriented subdigraphs in generalizations of semicomplete digraphs
Let $k$ be a positive integer. Jackson and Thomassen conjectured in 1989 that there exists an integer function $f(k)$ such that every $f(k)$-strong digraph admits a spanning $k$-strong oriented subdigraph. They even conjectured that one can take $f(k)=2k$ [Ann. N. Y. Acad. Sci. 555 (1989) 402-412]. Already the existence of $f(2)$ is open for general digraphs. Thomassen proved that $f(2)=4$ for symmetric digraphs. For general $k$, the existence of $f(k)$ was only known for locally semicomplete digraphs and quasi-transitive digraphs. Guo proved that every ${(3k-2)}$-strong locally semicomplete digraph contains a spanning $k$-strong local tournament [Discrete Appl. Math. 79 (1997) 119--125]. One can deduce from Guo's result that we have $f(k)\leq 3k-2$ for quasi-transitive digraphs. In this paper, we prove the existence of $f(k)$ for two subclasses of the semicomplete multipartite digraphs, namely extended semicomplete digraphs and semicomplete split digraphs. We prove that every $(4k+1)$-strong extended semicomplete digraph contains a spanning $k$-strong oriented subdigraph and every $5k$-strong semicomplete split digraph contains a spanning $k$-strong oriented subdigraph. The first result implies that for the large class of digraphs which can be obtained from some semicomplete digraph $S$ on at least 3 vertices by substituting arbitrary digraphs for each vertex of $S$ we also have $f(k)\leq 4k+1$.
A short survey the game Bulgarian solitaire and related games
Let $N$ be an arbitrary positive integer and let $λ=(λ_1, λ_2, \ldots, λ_l)$ be a partition of $N$ of length $l$, i.e., $\sum_{i=1}^lλ_i= N$ with parts $λ_1\ge λ_2\ldots λ_l\ge 1$. Define $T(λ)$ as the partition of $N$ with parts $l,λ_1-1λ_2-1,\ldots λ_l-1$,ignoring any zeros that might occur. Starting with a partition $λ$ of $N$, we describe Bulgarian solitaire by repeatedly applying the shift operation $T$ to obtain the sequence of partitions
$$ λ, T(λ), T^2(λ),\ldots .
$$ We say a partition $μ$ of $N$ is $T$-cyclic if $T(μ) = μ$ for some $i\ge 1$. In 1982 Brandt [9] characterized all $T$-cyclic partitions for Bulgarian solitaire.
Bulgarian solitaire is a dynamical system on integer partition of a positive integer $N$ which converges to a unique fixed point if $N=1+2+\cdots +k$ is a triangular number.
In this paper we present a short survey of the game Bulgarian solitaire and several variations of this game.
Tight bound for the skew Hamming set-pair problem
Let $X$ be an alphabet, let $t\geq 0$ and $n\geq t+1$, and let $((a_i,b_i))_{i=1}^{m}$ be an ordered family of word pairs in $X^n$ satisfying $dist(a_i,b_i)\geq t+1$ for every $i$ and $dist(a_i,b_j)\leq t$ whenever $i<j$. We prove the sharp bound $m\leq 2^{t+1}$, thereby resolving a problem posed by Alon, Jin, and Sudakov. Our proof uses a linear-algebraic method based on a characteristic-two algebra, which may be of independent interest.
Multicolor vector space Ramsey numbers over the binary field
For every fixed integer $t \geq 2$, we give an upper bound on the multicolor vector space Ramsey number $R_2(t; k)$ that is a tower function of height independent of $k$. For $t \geq 3$, this is the first bound of its form, significantly improving upon the earlier bounds that are towers of height linear in $k$. We achieve this by reducing the problem to a classical hypergraph Ramsey problem via binary simplex codes. In particular, we prove that $$R_2(t; k) \leq \left\lceil \log R(K_s^{(r)}; k + 1) \right\rceil \leq \mathrm{twr}_{r-1}(c k\log k),$$ for $r = 2^{t - 1}$ and $s = 2^t - 1$, where $R(K_{s}^{(r)}; k + 1)$ is the classical $(k + 1)$-color Ramsey number for the complete $r$-uniform hypergraph on $s$ vertices. This improvement also translates into an improved lower bound on the chromatic number of the binary projective space with respect to $(t - 1)$-flats. For $t = 2$, it recovers the connection with multicolor Ramsey numbers for triangles.
Log-Concavity of Conic Intrinsic Volumes
Let $n\ge1$ and $C\subseteq\mathbb{R}^n$ be a closed convex cone with conic intrinsic volumes $v_0(C),\ldots,v_n(C)$. We prove the long-standing log-concavity conjecture for this sequence, in the stronger form \[
v_k(C)^2\ge ρ_kρ_{n-k}v_{k-1}(C)v_{k+1}(C), \qquad 1\le k\le n-1, \] where, for $l\ge1$, $ρ_l=\frac{l+1}{l}\frac{ω_{l-1}ω_{l+1}}{ω_l^2}>1$ and $ω_j$ is the volume of the Euclidean unit ball in $\mathbb{R}^j$. The proof applies the Alexandrov--Fenchel inequality to the Takemura--Kuriki identity \[
V(A[k],D[n-k])=\frac{ω_kω_{n-k}}{\binom nk}v_k(C),\qquad A=C\cap B^n,\quad D=C^\circ\cap B^n, \] where $C^\circ$ is the polar cone, $B^n$ is the Euclidean unit ball, and repeated arguments are indicated by brackets. A Master Steiner argument gives the identity directly for arbitrary closed convex cones, including degenerate ones. We also give a circular-cone counterexample to the standard ultra-log-concavity normalizations.
Characterizing the equality case in Brouwer's inequality for Laplacian eigenvalues
Brouwer conjectured that the sum of the $k$ largest Laplacian eigenvalues of an $n$-vertex graph is less than or equal to the number of its edges plus $\binom{k+1}{2}$ for every $k\in \{1,2,\dots,n\}$, which has been confirmed by Kothari and Tudose (2026) recently. In this note, we characterize the equality case in this inequality. Our main result is that for every $n$-vertex graph $G=(V,E)$ and for every $k\in \{1,2,\dots,n-1\}$, the equality $\sum_{i=1}^kμ_i(G)=|E(G)|+\binom{k+1}{2}$ holds if and only if $G$ is a threshold graph with clique number $k+1$, where $μ_1(G)\geq μ_2(G)\geq \cdots\geq μ_{n}(G)$ are the Laplacian eigenvalues of $G$. This, together with the confirmed Brouwer's conjecture, would yield a complete solution to the full Brouwer's conjecture posed by Li and Guo (2022). Our proof relies on the projection method of Kothari and Tudose and shows directly that the equality case can occur only for threshold graphs.
Signed Counting on Restricted Partitions and Combinatorial Proofs of Three Identities
Signed enumerations of l-regular partitions by the parity of the number of parts are known to correspond to partitions with congruence conditions. Inspired by the recent combinatorial approaches of Ballantine-Merca and Liu for such identities, we provide combinatorial proofs of three identities for l-regular partitions and their variants. Two of these were originally established analytically by Hickerson and Robbins, respectively.
The number of perfect matchings in 3-connected planar graphs
A graph is matchable if it admits a perfect matching. Recently, Goedgebeur et al. asked whether there exists a constant $c<12$ such that infinitely many matchable planar $3$-connected graphs, each with exactly $c$ perfect matchings. We prove that every matchable planar $3$-connected graphs on at least 40 vertices has at least 12 perfect matchings, and this lower bound is sharp. This answers the question negatively.