math.CO ↗ arXiv
7121 papers in this category
An Erdős-Ko-Rado result for some principal series representations
Let $V$ be an irreducible principal series representation of $\mathrm{GL}_2(q)$ satisfying certain conditions. Two subsets $S_1, S_2 \subseteq \mathrm{GL}_2(q)$ are called cross-$t$-intersecting if $\dim\{v \in V: g_1v = g_2v\} \geqslant t$ for any $(g_1, g_2) \in S_1 \times S_2$. In this paper, we determine $\max(|S_1|\cdot|S_2|)$ where $S_1, S_2 \subseteq \mathrm{GL}_2(q)$ are cross-$1$-intersecting. Our proofs are based on eigenvalue techniques and the representation theory of $\mathrm{GL}_2(q)$.
Tree-independence number and forbidden induced subgraphs: excluding a $6$-vertex path and a $(2,t)$-biclique
We show that for every positive integer ${t \geq 2}$ there exists an integer $s$ such that every graph that contains no induced subgraph isomorphic to either the $6$-vertex path or the $(2,t)$-biclique, the complete bipartite graph $K_{2,t}$, has tree-independence number at most $s$. This result makes partial progress on a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht.
On the existence of linear rank-metric intersecting codes
Intersecting codes are a classical object in coding theory whose rank-metric analogue has recently been introduced. Although the definition formally parallels the Hamming-metric case, the structure and parameter constraints of rank-metric intersecting codes exhibit substantially different behavior. It was previously shown that a nondegenerate $[n,k,d]_{q^m/q}$ rank-metric intersecting code must satisfy $2k-1 \le n \le 2m-3$, and the tightness of the upper bound was left open. Using the geometric interpretation of rank-metric codes via $q$-systems, we prove that the dual subspace associated with a rank-metric intersecting code must satisfy strong evasiveness properties. This connection allows us to derive new restrictions on the parameters of such codes and to show that the bound $n=2m-3$ can be attained only when $k=3$ and $m\ge 6$. More generally, we show that $n \leq 2m-\lfloor(k+4)/2\rfloor$. Moreover, we obtain a geometric characterization of these extremal codes in terms of scattered $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^3$. As a consequence, the existence problem for $[2m-3,3,d]_{q^m/q}$ rank-metric intersecting codes is reduced to the existence of scattered subspaces of dimension $m+3$. Using known constructions of maximum scattered subspaces, we derive existence results when $m$ is even. Finally, we prove that $[6,3,3]_{q^5/q}$ rank-metric intersecting codes do not exist for any prime power $q$, thus resolving an open problem posed by Bartoli et al. in 2025.
On Ramsey number of $K_{2,n}$ versus even cycles
For graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest integer $N$ such that every graph $Γ$ on $N$ vertices contains $G$ or its complement $\overlineΓ$ contains $H$ as a subgraph. In graph Ramsey theory, the star-cycle Ramsey number is well-studied throughout the years. Whereas the Ramsey number of $K_{2,n}$ versus cycle is challenging to determine due to increased structural complexity. In this article, we have obtained an exact value of the Ramsey number $R(K_{2,n}, C_{m})$ for even $m\in [n, 2n-4008]$ and $n\geq 4516$. In particular, we show that $$R(K_{1,n}, C_{m})= R(K_{2,n}, C_{m})$$ for all even $m\in [n, 2n-4008]$ and $n\geq 4516$. This leads to an interesting question: For fixed $t$, does there exist $n_0(t)\in \mathbb{N}$ such that $R(K_{1,n}, C_m)=R(K_{t,n}, C_m)$ for all $n \geq n_0(t)$ and for a given range of even $m$?
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
Published
• View Publication
• BIB
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.
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
Published
• View Publication
• BIB
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.