math.CO ↗ arXiv
7121 papers in this category
A first-exit proof of Cusick's sum-of-digits conjecture
We prove Cusick's conjecture on the binary sum-of-digits function. More precisely, for every integer \(t\ge 1\) we show that \[ c_t:=\lim_{N\to\infty}\frac{1}{N} \#\{0\le n<N:\ s_2(n+t)\ge s_2(n)\}>\frac{1}{2}, \] and in fact obtain the explicit bound \[ c_t\ge \frac{1}{2}+2^{-2s_2(t)-1}, \] where \(s_2(m)\) denotes the number of ones in the binary expansion of \(m\). The proof is based on an exact deconvolution which replaces the distribution of \(s_2(n+t)-s_2(n)\) by a finite stopped random-walk law. The required bias is then proved through first-exit medians for principal subsequence ideals.
Binary binomial equivalence via hyperplane arrangements
Rigo and Salimov (2015) proved that the number of binary \(2\)-binomial equivalence classes of words of length \(n\) is the \(n^{\text{th}}\) cake number. We give a geometric explanation of this identity by constructing an explicit arrangement of \(n\) planes in three-dimensional space whose chambers are naturally indexed by these equivalence classes.
This arrangement is the three-dimensional member of an infinite family of hyperplane arrangements. In dimensions \(1\), \(2\), and \(3\), the corresponding quotients recover abelian equivalence, a natural intermediate equivalence between abelian and \(2\)-binomial equivalence, and binary \(2\)-binomial equivalence itself. In higher dimensions, the same family realises natural refinements of \(2\)-binomial equivalence.
We also determine the sizes of the resulting classes. Each size is given by a coefficient of a suitable Gaussian binomial coefficient. This yields the full class-size distribution for binary \(2\)-binomial equivalence and stabilisation results for the number of classes of any fixed cardinality.
Variations of Helly's theorem for convex splinters
A convex splinter $K$ is a union of convex sets in $\mathbb{R}^d$ such that every minimal affine dependent set of $\mathbb{R}^d$ contained in $K$ is contained in one of the sets. The study of convex splinters was motivated by the study of flat transversals to convex sets. We extend several variations of Helly's theorem from convex geometry to convex splinters. These include fractional and colorful variations of Helly's theorem. We also extend Tverberg's theorem to convex splinters.
Linear time sampling of Pólya trees
We present an algorithm for exact-size sampling of uniformly random Pólya trees with linear expected runtime.
Boolean degree one functions on the Grassmann scheme
Ferdinand Ihringer proved that Boolean degree one functions on the Grassmann scheme $J_q(n,k)$ are trivial when $\min(k,n-k) \ge 2$ and $n$ is large enough. We provide a mostly self-contained exposition of this result.
Beating the Ahlswede--Khachatrian bound for the Erdős--Frankl--Pach problem
In the 1980s, Erdős and, independently, Frankl and Pach conjectured that, for sufficiently large $n$, every $(d+1)$-uniform family on $\{1,\ldots,n\}$ with VC-dimension $d$ has size at most $\binom{n-1}{d}$, the size of a star. Ahlswede and Khachatrian disproved this conjecture in 1997 by giving a family of size $\binom{n-1}{d}+\binom{n-4}{d-2}$. This value has since been widely believed to be best possible, and Mubayi and Zhao explicitly conjectured its optimality in 2007. Very recently, Wang, Xu and Zhang proved their conjecture for $d=2$ and $n\ge 7$, providing further support for this belief.
Surprisingly, we show that the Mubayi-Zhao conjecture is false for every $d\ge 3$ by constructing families larger than the Ahlswede--Khachatrian bound. Our constructions suggest that the answer to the Erdős--Frankl--Pach problem depends delicately on both $n$ and $d$.
Optimal Small Set Expanders and Their Codes
A left-regular bipartite graph $G$ of degree $d$ is called a $(t,α)$-small-set-expander if every subset $X$ of left vertices of size at most $t$ has at least $α|X|$ neighbors. Such a graph is an optimal small-set expander if small subsets have as many neighbors as possible. We characterize optimal expanders combinatorially via girth and prove the existence of $s$-optimal expanders for every $s$. We also prove that $s$-optimality yields new "transfer" lower bounds on the number of neighbors of sets of size $h\geq s$. Finally, as an application, we discuss the use of optimal small-set expanders in building good codes for key exchange protocols in post-quantum cryptography.
Spectral Radius, Vertex Deletion, and Chromatic Number of Signed Graphs
A signed graph $Σ=(G,σ)$ is a graph $G$ with edges given signs $1$ or $-1$ defined by the function $σ$. The adjacency matrix of $Σ$ is defined as per these signs. The relation between the largest eigenvalue of $G$ and $G-v$ has been studied in recent years, where $G-v$ is the graph obtained from $G$ by deleting the vertex $v$. In 2020, Sun and Das proved that the difference of the squares of the largest eigenvalues of the graphs $G$ and $G-v$ is bounded above by $2d(v)-1$ where $d(v)$ is the degree of $v$. A similar result need not be true for the largest eigenvalues of signed graphs. In this paper, we prove that the result is valid for the spectral radius of signed graphs. On the other hand, the signed graph version of Hoffman's chromatic number bound and Cvetkovic's lower bound was proved by Wang et al. in 2021. They also discussed the difficulty in proving the extended version encompassing all eigenvalues of $Σ$ as was done for unsigned graphs by Wocjan et al. We give a lower bound for the chromatic number in terms of all the eigenvalues of $Σ$ and $Σ_-$, where $Σ_-$ is the spanning subgraph induced by the negative edges.
A Resolution of Erdős Problem 550 on Tree versus Complete Multipartite Ramsey Numbers
We resolve Erdős Problem 550, originally asked as question (2) of Erdős, Faudree, Rousseau, and Schelp. Precisely, for fixed integers $k\geq 2$ and $1\leq m_1\leq \cdots \leq m_k$, we prove that, for every sufficiently large $n$ and every $n$-vertex tree $T$, $R(T,K_{m_1,\ldots,m_k}) \leq (k-1)(R(T,K_{m_1,m_2})-1)+m_1$. The proof combines a new off-Turán tree-embedding theorem with a compactness-and-rounding theorem for represented bounded-rank hypergraph obstructions. The embedding theorem follows from Szemerédi regularity and a local regular-matching embedding lemma of Hladký and Piguet. The compactness argument uses shadow hypergraphs to retain obstructions whose vertices escape along the limiting sequence.
Height functions on the $m \times n$ Miura-ori flip graph: degree sequence and diameter
The state space of an origami crease pattern forms a flip graph, whose vertices are the flat-foldable mountain-valley assignments and whose edges join assignments differing by a single face flip. For the $m \times n$ Miura-ori, the degree sequence and diameter of this graph are known only for two rows. Each assignment maps to an integer height function on the grid, under which a vertex's degree equals its number of local extrema. In this model the vertices of each degree up to five are counted by an explicit polynomial in $m$ and $n$, valid once both exceed a bound that grows with the degree, and the height functions realizing those degrees are described explicitly. A closed-form lower bound for the diameter holds for all $m$ and $n$, and the matching upper bound reduces to an extremal inequality for $1$-Lipschitz functions on the grid, recovering the two-row distance at $m=2$. Since each invariant is read from the extrema or height differences of a grid function, the same reduction applies to any flip-graph quantity expressible in those terms.
Finite-Kernel Extremizers in Sparse Extremal Graph Counting
We develop a finite-kernel framework for sparse extremal graph counting. The problems considered here ask for the maximum number of copies or homomorphisms of a fixed graph under sparse edge constraints. In this regime, the leading term need not be governed by a single dense block. Instead, the extremal mass may be supported on several interacting asymptotic scales. Our framework identifies these scales via a finite-dimensional linear program, separates the leading contributions through a finite state decomposition, and synchronizes or realizes them inside a finite kernel.
We apply this framework in three settings. First, we prove the sparse threshold conjecture of Day and Sarkar for graphons. For every fixed graph $H$ without isolated vertices, we prove that \[ \sup_{t(K_2,W)\le β} t(H,W)=β^{|V(H)|-α^*(H)}(C_T(H)+o(1)) \] as $β\to0$, where $α^*(H)$ is the fractional independence number of $H$ and $C_T(H)$ is an explicit sharp constant attained by a three-step threshold graphon. Second, we affirmatively answer a question of Blekherman and Patel by showing that, for every graph $H$, whenever $m\to\infty$ and $m=o(n^{3/2})$, threshold graphs asymptotically maximize $\hom(H,G)$ among all graphs with at most $n$ vertices and at most $m$ edges. Third, Gerbner, Nagy, Patkós, and Vizer conjectured that, among all bipartite graphs with $n$ vertices and $m$ edges, the quasi-complete bipartite graph asymptotically maximizes the number of copies of every fixed bipartite graph $H$ whenever $m=ω(n)$ and $m\le n^2/4$. We disprove this conjecture in the subquadratic range and give the correct order of magnitude in terms of $κ_H(n,m)$, a finite-kernel scale defined by a finite-dimensional variational problem.
An analytic derivation of a generating function for $k$-alternating permutations
We study the inversion enumerator of permutations whose descent set is fixed to be the set of multiples of a fixed integer $k \ge 2$. For each $n$, let $\mathfrak{S}_n^{(k)}$ denote the set of permutations of $\{1,\dots,n\}$ whose descent set is exactly $\{i : k \mid i\}$, and define the polynomial $$ a_n^{(k)}(q)=\sum_{σ\in \mathfrak{S}_n^{(k)}} q^{\mathrm{inv}(σ)}. $$ We prove that the associated $q$-exponential generating function $$ F_k(t;q)=\sum_{n\ge 0}\frac{t^n}{[n]_q!}\,a_n^{(k)}(q), $$ where $[n]_q!$ denotes the $q$-factorial, admits an explicit closed form as a ratio of two $k$-periodically truncated $q$-exponential series. The proof is purely analytic and is based on a functional equation satisfied by $F_k(t;q)$, obtained via a decomposition of the $q$-exponential series into residue classes modulo $k$. Coefficient extraction yields a convolution identity involving Gaussian binomial coefficients, which uniquely determines the inversion enumerator. This provides an analytic alternative to classical inclusion--exclusion and structural combinatorial arguments for permutation classes with periodic descent constraints.
On The Number of Irreducible FAT Colorings
A vertex coloring of a graph $G$ with nonempty color classes $V_1,V_2,\dots,V_k$ is called a \emph{FAT $k$-coloring} if there exist real numbers $α,β\in[0,1]$ such that for every vertex $v$ and every color class $V_i \in \left\{ V_1,V_2,\dots,V_k \right\} $ we have $$ \bigl| N(v) \cap V_i \bigr|= \begin{cases}
α°(v) & \text{if } v\notin V_i,\\[4pt]
β°(v) & \text{if } v\in V_i . \end{cases} $$
\noindent The FAT coloring concept was originally proposed and thoroughly studied by Beers and Mulas. The set of all FAT colorings of a graph is naturally ordered by the coarsening relation, in which finer partitions are larger in the order. The maximal elements of this poset, called \emph{irreducible FAT colorings}, form a generating set: every FAT coloring of the graph can be obtained by merging color classes of some irreducible one. Beers and Mulas raised the compelling question whether, for every positive integer $s$, there exists a graph that admits exactly $s$ irreducible FAT colorings. In this paper we settle this question affirmatively by exhibiting, for any given $s$, a graph possessing precisely $s$ such colorings.
On $k$-limited domination in graphs
In this work, we introduce and study the notion of $k$-limited domination in graphs, motivated by applications where dominating vertices have bounded capacity and cannot be overloaded by too many external neighbors. Formally, given an integer $k \le Δ(G)$, a set of vertices $D \subseteq V(G)$ is called a $k$-limited dominating set if it is a dominating set and, in addition, each vertex of $D$ has at most $k$ neighbors outside $D$. The minimum cardinality of such a set is the $k$-limited domination number, denoted by $γ_k^{\mathrm{L}}(G)$. Since $Δ(G)$-limited domination coincides with the classical domination, we restrict our attention to the nontrivial range $1 \le k < Δ(G)$, where the degree limitation becomes meaningful and leads to new combinatorial phenomena.
In this paper, we initiate the study of this concept by deriving sharp general bounds for $γ_k^{\mathrm{L}}(G)(G)$ and identifying conditions under which these bounds can be further improved. We establish a connection between $k$-limited domination and $(1,t)$-domination. In particular, for $d$-regular graphs we prove that $γ_k^{\mathrm{L}}(G)(G)=γ_{1,d-k}(G)$. In the special case $k=1$, we show that $1$-limited domination is tightly linked to graph packings, yielding the bound $γ^{\mathrm L}_1(G) \le n - ρ(G)$ and its characterization.
The study reveals several natural open questions and indicates that limited domination provides a rich ground for further research.
Betti Numbers of Sequentially Cohen-Macaulay Co-Chordal Graphs and Their Applications
We study sequentially Cohen-Macaulay co-chordal graphs through the glued clique complexes of their chordal complements. Using the characterization of these complements as $(d_1,\ldots,d_q)$-trees, we derive explicit formulas for the graded Betti numbers of the associated edge ideals, yielding a complete homological characterization of sequentially Cohen-Macaulay co-chordal graphs. As applications, we determine exact homological invariants for several important graph families, including split graphs, threshold graphs, and prime ideal graphs, and classify their Cohen-Macaulay cases. We further characterize the sequentially Cohen-Macaulay nilpotent graphs of finite direct products of Artinian chain rings and establish a closed formula for their graded Betti numbers in terms of local nilpotency indices and residue field cardinalities. Finally, we classify the zero-divisor graphs of $\mathbb{Z}_n$, proving that they are sequentially Cohen-Macaulay if and only if $n=2p$ or $n=p^a$, where $p$ is a prime.
Proof of the Finiteness of the Chromatic Number of Two-Dimensional Lacunary Distance Graphs
We extend the one-dimensional lonely set method to two dimensions for the purpose of studying the chromatic number of integer distance graphs in two dimensions. Given a lacunary sequence of displacement vectors in $Z^{2}$, we use a lacunary matrix theorem given by Broderick, Fishman and Kleinbock, to prove the existence of a satisfactory multiplier vector. We then give an explicit geometric colouring argument. This proves that any integer distance graph generated by a lacunary sequence of vectors in two dimensions has finite chromatic number.
Normal ordering in the $(p,q)$-deformed generalized Weyl algebra. I: Algebraic Framework and Combinatorial Identities
The $(p,q)$-deformed generalized Weyl algebra is generated by variables $X, Y$ and $Z_p$ which satisfy the commutation relations $XY-qYX=h Y^sZ_{p}, XZ_p=pZ_pX$, and $Z_pY=pYZ_p$, with $s\in \mathbb{N}_0$. We investigate the problem of normal ordering arbitrary words in these letters with the help of Young diagrams, and we treat certain special cases explicitly. In particular, the connection to generalized Stirling numbers is considered in detail.
At most nine lines in Euclidean three-space have pairwise distance one
J.E. Littlewood posed the question of how many infinite circular cylinders of unit radius can be arranged so that each touches all the others. We give a computer-free proof that one cannot find ten such cylinders. This improves a known result, namely that there are no eleven such cylinders, which was obtained making partial use of computer verification.
Spectral Gap for the Binary Fixed-Margin Swap Chain
We prove an inverse-polynomial spectral-gap bound for the lazy swap chain on binary matrices with prescribed row and column sums. This chain is a standard sampler for fixed-margin null models in ecology, statistics, and network analysis, and its rapid mixing for arbitrary feasible margins was conjectured by Kannan, Tetali, and Vempala in 1997. We show that for every feasible set of margins on an $m\times n$ binary matrix, the lazy swap chain has spectral gap at least $$ \binom{m}{2}^{-1}\binom{n}{2}^{-1}, $$ which is tight in the worst case. The proof compares the swap chain with a two-row heat-bath chain, reduces the analysis from arbitrary $m\times n$ matrices to the case of three rows, and proves the resulting three-row inequality by decomposing functions according to the column-count variable and the associated Johnson harmonic sectors.
The proof itself was generated by ChatGPT 5.5 Pro. ChatGPT proposed the whole proof strategy, including the comparison with the two-row heat-bath chain, the reduction to the three-row case, and the decomposition of the three-row function space into the count sector and the Johnson harmonic sectors. It also generated all the technical lemmas and initial proofs. The author's role was to pose the problem, guide the search direction, evaluate the AI-generated arguments, rewrite the proof, and take responsibility for the final form and validity of the result.
Tangent classes for matroid building sets
Let \(M\) be a loopless matroid on a finite ground set \(E\), and let \(\G\) be a building set containing the top flat \(E\). We define a tangent class \(T_{M,\G}\) in the \(K\)-ring \(K(M,\G)\), which extends the tangent bundle class of the de Concini--Procesi wonderful model from realizable matroids to arbitrary matroids with building sets.
The class \(T_{M,\G}\) satisfies a matroidal Hirzebruch--Riemann--Roch package. More precisely, its Hirzebruch class \[ \operatorname{ch}(λ_y T_{M,\G}^{\vee})\operatorname{td}(T_{M,\G}) \] specializes to the Todd class and computes the Chow polynomial of \((M,\G)\). In the realizable case, these identities agree with the usual tangent-bundle computations on the corresponding wonderful model.
As an application, we prove Chern-number inequalities for \(T_{M,\G}\), including a Miyaoka--Yau type inequality with respect to the hyperplane class.