math.CO ↗ arXiv
5274 papers in this category
Complete Resolution of the Butler-Costello-Graham Conjecture on Monochromatic Constellations
A constellation is a subset of $[n]=\{1,2, \ldots, n\}$ formed by scaling and translating a rational pattern $Q=\left[0, q_1, \ldots, q_{k-1}, 1\right]$, with key examples including arithmetic progressions. In 2010, Butler, Costello, and Graham proposed a conjecture, that is, for any constellation pattern $Q$ there is a coloring pattern of $[n]$ that has $γn^2+o\left(n^2\right)$ monochromatic constellations, where $γ$ is smaller than the coefficient for a random coloring. In this paper, we confirm this conjecture.
Characteristic numbers of canonical toric manifolds and their applications
We compute all the Chern, Milnor and Pontryagin numbers for canonical toric manifolds associated with abstract simplicial complexes and the Stiefel-Whitney numbers for their real counterparts. Applications include combinatorial characterizations of the unitary, oriented and unoriented bordism classes, new geometrical representatives of the unitary bordism ring generators, a combinatorial criterion for a canonical toric manifold to bound, as well as the dimension estimates for their immersions into euclidean spaces.
One can almost never hear the shape of a digraph
Kac raised the question `Can one hear the shape of a drum?' The answer is negative. On the other hand, one can hear the shape of a drum in the generic case. Haemers conjectured that almost all graphs are determined by their spectra, which can be regarded as a discrete version of Kac's question. Vu conjectured a similar phenomenon for symmetric $\pm 1$ matrices. The first main result of this paper shows that one can almost never hear the shape of a digraph by proving that almost all digraphs are not isomorphic to their reverse and almost all digraphs have trivial automorphism groups. This indicates that the real symmetric condition is vital in both Haemers' conjecture and Vu's conjecture. The second main result of this paper shows that almost all graphs of order $n$ have no cospectral mates with height $o(( n / \ln n)^{1/10})$, improving an earlier result on cospectral mates with fixed level.
On congruence conjectures of Andrews and Bachraoui
Andrews and the third author recently studied congruences for certain restricted two-color partitions. They made two conjectures for Ramanujan-type congruences and a vanishing identity for the limiting sequence. In this paper, we settle these conjectures by relating the corresponding generating function to modular forms and mock theta functions.
Sufficient conditions for Hamiltonianity in terms of the Zeroth-order General Randić Index
For a (molecular) graph $G$ and any real number $α\ne 0$ , the zero-order general Randić index , denote by $^0R_α$, is defined by the following equation: \begin{align*}
{^0R_α} (G) =\sum_{v\in G}d_G (v) ^α (α\in \mathbb{R}-\left\{0\right\}) . \end{align*}
In this paper, we use this index to give sufficient conditions for a graph $G$ to satisfy the Hamiltonian (or $k$-Hamiltonian) property, and show that none of these conditions can be dropped.
Finally we give similar results for the case when $G$ is a balanced bipartite graph.
Random Turán Problems for Graphs with a Vertex Complete to One Part
Given a graph $F$, the random Turán problem asks to determine the maximum number of edges in an $F$-free subgraph of $G_{n,p}$. Prior to this work, the only bipartite graphs $F$ with known tight bounds included certain classes of complete bipartite graphs and theta graphs. We greatly expand upon these examples by proving tight bounds for a number of bipartite graphs which have a vertex complete to one part. We also prove new general upper bounds for this problem which in many cases do significantly better than the only previous known general upper bound due to Jiang and Longbrake. Our proofs utilize dependent random choice together with the recent technique of balanced vertex supersaturation in conjunction with hypergraph containers.
S-packing chromatic critical paths and cycles
Let $S=(s_1,s_2,\ldots)$ be a non-decreasing sequence of positive integers. For a graph $G$ with vertex set $V(G)$, a labeling $φ\colon V(G)\to \{1,\ldots,k\}$ is an $S$-packing $k$-coloring if, whenever two distinct vertices $u,v\in V(G)$ are assigned the same color $i$, their distance in $G$ is greater than $s_i$. The minimum $k$ for which $G$ admits such a coloring is the $S$-packing chromatic number of $G$. A graph $G$ is $χ_S$-vertex-critical if $χ_S(G-v) < χ_S(G)$ for every $v \in V(G)$, and it is $χ_S$-critical if $χ_S(H) < χ_S(G)$ holds for every proper subgraph $H$ of $G$. In this paper, the exact value of $χ_S(P_n)$ is determined for every path of order $n$ and for every packing sequence $S$ where $s_i < 2^i$ holds for each entry $s_i$. As a consequence, $χ_S$-critical and $χ_S$-vertex-critical paths are identified for each such sequence $S$. In addition, we extend earlier results on $χ_S$-critical cycles and provide a complete characterization of $χ_S$-critical and $χ_S$-vertex-critical cycles for packing sequences $S= (1, s_2, \dots )$ with $s_2 \in \{2,3\}$ and $s_3,s_4 \in \{4,5,6,7\}$.
A construction of 2-arc-transitive non-solvable covers of complete graphs
Published in European Journal of Combinatorics,136, 2026, 104377
• View Publication
• BIB
We construct connected $2$-arc-transitive covers of complete graphs with non-abelian characteristically simple transformation groups. This solves the existence problem for non-solvable $2$-arc-transitive covers of complete graphs.
On Series Involving Cubed Catalan Numbers
Using generalized binomial coefficient identities and some results of John Dougall, we derive some families of series involving the cubes of Catalan numbers. We also establish a family of series containing fourth powers of Catalan numbers. Finally, we find a generalization of the Bauer series for $1/π$ and obtain some Ramanujan-like series for $1/π^2$ and~$1/π^3$.
Rationality of certain triangle tilings
We consider tilings of a triangle $ABC$ by congruent copies of a triangle that has one angle equal to $120^\circ$, has non-commensurable angles (that is, not all angles are rational multiples of $π$), and is not similar to $ABC$. We prove that any such tiling has commensurable sides, meaning that the side lengths can be taken to be integers after scaling. As a consequence, we show that outside of a couple of special cases, a triangle (allowing all angles) tiling must either have commensurable angles or commensurable sides (that is, all sides have rational ratios).
Extremal graph theory and point configurations in Ahlfors-David regular sets
We study the problem of embedding bipartite graphs in Ahlfors-David regular sets of large dimension using results from extremal graph theory. Our main theorem states that any graph satisfying a power-improving bound on the extremal number can be found in the distance graph of a sufficiently high-dimensional AD-regular set. In particular, we show that AD-regular sets of dimension greater than $\frac{d+1}{2}$ must contain even cycles of all lengths if $d\geq 3$, and must contain even cycles of length at least 6 if $d=2$. This improves the best known threshold for the problem in $d\geq 4$, and yields entirely new results in $d=2,3$, under the extra assumption of AD-regularity. We also prove analogous results for large subsets of vector spaces over finite fields, which improve the best known exponent for even cycles in all dimensions.
The edge of the asymptotic spectrum of tensors
Strassen founded the theory of the asymptotic spectrum of tensors to study the complexity of matrix multiplication. A central challenge in this theory is to explicitly construct new spectral points. In Crelle 1991, Strassen proposed the upper support functionals $ζ^θ$ as candidate spectral points, where $θ$ ranges over a triangle $Θ$. Recent progress, involving tools and ideas from quantum information theory (Christandl-Vrana-Zuiddam, STOC 2018, JAMS 2021) and convex optimization (Hirai, 2025), culminated in the proof that the upper support functionals are indeed spectral points over the complex numbers (Sakabe-Doğan-Walter, 2026).
In this paper, we give an even clearer picture of the situation for support functionals when $θ$ lies along the edges of the triangle. We show that not only are these functionals spectral points, but that they are uniquely determined as spectral points by their behavior on matrix multiplication tensors. As our methods are algebraic, as a corollary this establishes for the first time the existence of nontrivial spectral points over arbitrary fields.
As part of our argument, we show a close connection between the edge support functionals and Harder-Narasimhan filtrations from quiver representation theory. We thus show, using recent work in algorithmic invariant theory, that these support functionals can be computed in deterministic polynomial time. Other ingredients of our proof include a new criterion for abstractly characterizing asymptotic tensor ranks by spectral points, and a characterization of the edge support functionals in terms of matrix multiplication capacity. As another application of these tools, we prove the existence of spectral points for higher-mode tensors beyond those currently known.
Translation Monoids and Recursive Evaluation in Finite Binary Algebras
Let \(A=(A,\star)\) be a finite binary algebra, not necessarily associative. For each \(n\geq 1\), every full binary bracketing on \(x_1,\dots,x_n\) determines an \(n\)-ary term operation on \(A\), and hence an evaluation word obtained by listing its values on \(A^n\) in lexicographic order. This produces an \(m^n\times C_{n-1}\) array, where \(m=|A|\) and \(C_{n-1}\) is the \((n-1)\)st Catalan number. We show that the recursive structure of these arrays is governed by the translation monoid \[ T(A)=\langle L_a,R_a:a\in A\rangle\leq A^A, \qquad L_a(x)=a\star x,\quad R_a(x)=x\star a. \] More precisely, context maps arising from subterms are exactly the elements of \(T(A)\), so every element of the translation monoid occurs as a recursive block map. We also prove that rank defines a natural chain of two-sided ideals in \(T(A)\), that the minimum-rank elements form a minimal nonempty two-sided ideal, and that Green's \(\mathcal J\)-classes are contained in rank layers. Finally, we show by example that equal rank does not determine the \(\mathcal J\)-class in general.
Enumeration of Factor Occurrences in $k$-Bonacci Words over an Infinite Alphabet
We study the $k$-Bonacci word over the infinite alphabet $\mathbb{N}$. Since the alphabet is infinite, the usual factor complexity is infinite and does not provide any information. We therefore investigate factor occurrence statistics in the finite iterates. For $k \ge 3$, we obtain closed forms for the generating functions (with respect to the iteration index) that count the number of occurrences of an arbitrary digit in the $n$th iterate. We then characterize the complete set of length-$2$ factors occurring in the infinite word and compute, for each such factor, a closed form for the generating function encoding its number of occurrences across all finite iterates. As a consequence, the associated counting sequences satisfy uniform $(k\!-\!1)$-step Fibonacci-type recurrences and admit a description in terms of $(k\!-\!1)$-Bonacci enumeration phenomena, including self-convolution structures.
Maximal compatibility of disklike $G$-transfer systems
Transfer systems are a combinatorial model for $N_{\infty}$-operads, which encode commutative structures in equivariant homotopy theory. Blumberg--Hill and Chan gave criteria for when two transfer systems are a compatible pair, meaning they encode the additive transfers and multiplicative norms of a ring-type structure. In this paper, given a transfer system encoding an additive structure, we give explicit formulae for the maximal transfer system it is compatible with. Our formulae simplify for disklike transfer systems, which typically encode additive structures. Further, we prove that (maximal) compatibility is functorial with respect to the inflation map induced by a quotient of groups, letting us compute maximal compatible transfer systems as inflations of connected transfer systems.
Adjacent vertices of small degree in minimal matching covered graphs
A connected graph $G$ with at least two vertices is matching covered if each of its edges lies in a perfect matching. A matching covered graph is minimal if the removal of any edge results in a graph that is no longer matching covered. An edge is called a $k$-line if both of its end vertices are of degree $k$. Lovász and Plummer [J. Combin. Theory, Ser. B 23 (1977) 127--138] proved that a minimal matching covered bipartite graph different from $K_2$ has minimum degree 2 and contains at least $[(|V(G)|+15)/6]$ 2-lines by ear decompositions. He et al. [J. Graph Theory 111 (2026) 5--16] showed that the minimum degree of a minimal matching covered graph different from $K_2$ is either 2 or 3. In this paper, we prove that every minimal matching covered graph with at least 4 vertices contains at least two nonadjacent edges, each of which is either a 2-line or a 3-line. Consequently, we show that every minimal matching covered graph with at least 4 vertices and minimum degree 3 contains at least 4 vertices of degree 3. Furthermore, the lower bounds for both the number of 3-lines and the number of cubic vertices are sharp.
Set systems containing no singleton intersection and the Delsarte number
We prove that the maximum size of a family of $k$-element subsets of the set $[n] = \{1, 2, \ldots, n\}$ which contains no singleton intersection is $\binom{n-2}{k-2}$ when $3k-3 \le n \le k^2-k+1$. This improves upon a recent result of Cherkashin. Our proof uses Schrijver's variant of the Lovász number and furnishes an infinite family of graphs where the Schrijver variant of the Lovász number is strictly smaller than the Lovász number. As a consequence of our result and a recent result of Keller and Lifshitz, it follows that for $k$ sufficiently large, the maximum size of a $k$-uniform family on $[n]$ containing no singleton intersection is $\binom{n-2}{k-2}$ for all $n\ge 3k-3$, which is the best possible threshold.
The $\infty$-Oreo$^{^\circledR}$
What happens when a food product contains a version of itself? The Oreo Loaded -- a cookie whose filling contains real Oreo cookie crumbs -- can be viewed as the result of mixing a Mega Stuf Oreo into a Mega Stuf Oreo. Iterating this process yields a sequence of increasingly self-referential cookies; taking the limit gives the $\infty$-Oreo. We model the iteration as an affine recurrence on the creme fraction of the filling, prove convergence, and compute the limit exactly: the stuf of the $\infty$-Oreo is approximately $95.8\%$~creme and $4.2\%$~wafer. We then extend the framework to pairs of foods that reference each other, deriving a coupled recursion whose fixed point defines a \emph{bi-$\infty$ food}, and illustrate the construction with M\&M Cookies and Crunchy Cookie M\&M's. Finally, we classify $\infty$-foods by the number of foods in the recursion and introduce \emph{homological foods}, whose recursive structure is governed by cycles in a directed graph of commercially available products. We close with a conjecture. All products used in this paper can be purchased at a supermarket.
On Expansion of Random Regular Graphs: Improved Lower Bounds for Small Even Degrees
We show that a simple scoring-based tie-breaking can help improve lower bounds for the expansion (aka isoperimetric number) of random regular graphs with small even degrees. Specifically, for degrees 4, 6 and 8, we show that, with high probability, the expansions are at least 0.489, 1.120 and 1.813 respectively.
Maximum spectral sum of graphs
For a graph $G$ of order $n$, the spectral sum of $G$ is defined to be the sum $λ_1(G) + λ_2(G)$, where $λ_1(G)$ (resp. $λ_2(G)$) is the largest (resp. second largest) adjacency eigenvalue of $G$. Ebrahimi, Mohar, Nikiforov and Ahmady (2008) conjectured that the spectral sum \[ λ_1(G) + λ_2(G)\le \frac{8}{7}n \] for any graph $G$. We prove this conjecture by combining tools from the theory of graph limits, convex geometry, exterior algebra and convex optimization. The techniques developed are of independent interest.