math.CO ↗ arXiv
5274 papers in this category
An Erdős Matching Conjecture for Vector Spaces
We study a vector-space analogue of the Erdős Matching Conjecture. Let $m_q(n,k,s)$ denote the maximum cardinality of a family of $k$-dimensional subspaces of an $n$-dimensional vector space over $\mathbb F_q$ with no $s+1$ members whose sum is direct. Two natural constructions provide lower bounds. The first consists of all $k$-subspaces contained in a fixed $((s+1)k-1)$-dimensional subspace; the second consists of all $k$-subspaces that intersect a fixed $s$-dimensional subspace nontrivially. These constructions motivate the following vector-space analogue of the Erdős Matching Conjecture: for all $n\ge (s+1)k$, $$m_q(n,k,s)=\max\left\{\genfrac{[}{]}{0pt}{}{(s+1)k-1}{k}_q,~\genfrac{[}{]}{0pt}{}{n}{k}_q-q^{ks}\genfrac{[}{]}{0pt}{}{n-s}{k}_q\right\}.$$ We prove this conjecture when $k=2$, when $n=(s+1)k$, and when $n$ is sufficiently large. In particular, the case $k=2$ may be viewed as a vector-space analogue of the Erdős--Gallai theorem. In the large-$n$ range, we also prove a Hilton--Milner-type stability theorem, determining the largest nontrivial families with this property. Finally, we connect this problem with $t$-cover-free families in vector spaces and determine their extremal number up to a lower-order term, extending a recent result of Shan and Zhou for the special case $t=2$. The proofs combine Lovász's minimax theorem for matroid matchings, a high-dimensional Hoffman bound for uniform hypergraphs, and packing-design arguments in vector spaces.
A parameterized family of balance indices for phylogenetic networks
We introduce a new family of balance indices for phylogenetic networks: the $H_α$ indices, where $α$ is a positive real number. This family includes the $B_2$ index as a special case ($α= 1$) and provides a natural extension of the Sackin index to phylogenetic networks. We show that the $H_α$ indices share many structural properties with the $B_2$ index, most notably a "grafting property" that makes it possible to express the $H_α$ index of a network in terms of the $H_α$ indices of its biconnected components. These properties allow us to identify networks that minimize / maximize $H_α$ for various classes of phylogenetic networks, and to study its distribution for several models of random trees and networks (in particular, Galton-Watson trees and binary Markov branching trees, with a focus on the Yule and PDA models). Finally, we show how local limits can be used to analyze the asymptotic behavior of $H_α$ for large trees and networks, and we obtain general results for the moments of $H_α$ for a broad class of random phylogenetic networks known as blowups of Galton-Watson trees.
Nilpotent Lie algebras obtained by ordered sets and Ricci solitons
Nilpotent Lie groups with left-invariant metrics provide nontrivial examples of Ricci solitons. Some typical examples are given by the class of two-step nilpotent Lie algebras obtained from simple directed graphs and the class of nilpotent Lie algebras obtained from finite acyclic quivers. In this paper, we generalize the construction of nilpotent Lie algebras that are algebraic Ricci solitons obtained from finite acyclic quivers. We use some special ordered sets to construct nilpotent Lie algebras, which can also be obtained from some special quivers with relations.
A transitively and antisymmetrically ordered set (or TAOS, for short) is a set together with a binary relation that is transitive and antisymmetric. Utilizing the concept of incidence algebras of TAOSs, we construct nilpotent Lie algebras. We modify the method introduced by Mizoguchi and Tamaru \cite{MR4941781} and use it to show that the nilpotent Lie algebras with arbitrarily high degrees of nilpotency obtained from some special finite transitively and antisymmetrically ordered sets, called array TAOSs, are algebraic Ricci solitons. We also give some generalizations of this result, which yield more nilpotent Lie algebras that are algebraic Ricci solitons. Moreover, the corresponding simply-connected nilpotent Lie groups admit left-invariant Ricci solitons.
The unique self-dual binary code of length 26 with minimum weight 6
The binary Type~I self-dual [26,13,6] code is classical. We give what appears to be the first direct non-computational proof of its uniqueness. We first determine the weight enumerators of the code and its shadow. Degree-one harmonic MacWilliams identities supply the required 1-designs. Elementary intersection counts then show that the two minimal half-shadows each contain 13 words; these words label the 26 coordinates as 13 points and 13 lines, and the two shadow classes become the point-stars and line-stars. From this structure we give two uniqueness proofs: one reconstructs the projective plane of order 3 and the plane code, including the full automorphism group PGL(3,3):2; the other deletes an intrinsic flag, obtains the odd Golay code together with a deep hole coset, and reconstructs the length 26 code and the size of the automorphism group from this coset datum. Thus the natural length-24 object behind the code is the odd Golay code together with its unique orbit of deep hole cosets.
An eigenvalue proof of Hegedüs's bound for codes with a single Hamming distance
We give a short, self-contained linear-algebra proof of a bound of Hegedüs [Australasian Journal of Combinatorics, 2026; arXiv:2409.07877]: if all pairwise Hamming distances in a family of subsets of $\{1,\ldots,n\}$ equal a fixed value $λ\ne(n+1)/2$, then the family has at most $n$ members. Our proof uses the same Gram matrix as in Hegedüs's argument, but reads its eigenvalues in place of its determinant, and keys off of a single fact about vectors of equal norm and equal pairwise inner product. That fact applies verbatim over an alphabet of size $q$, where it yields the bound $n(q-1)$ for $λ\ne\bigl((q-1)n+1\bigr)/q$ -- the corrected form of a conjecture of Hegedüs, recently established by Hu, Huang, and Yu [arXiv:2504.07036].
Representing alternating groups as self-dual string C-groups of high rank
The highest rank of a string C-group representation of the alternating group $A_n$ is known for each $n$, but no self-dual representations attaining this highest rank are known when $n > 12$. Motivated by computational results for alternating groups of small degree, we examine a vertex-gluing construction for permutation representation graphs. We establish conditions under which gluing two string C-groups produces another string C-group, and use this construction to obtain infinite families of self-dual representations of alternating groups. In particular, for every $n = 4m+3 \geq 15$, we construct $\left \lfloor \frac{n+9}{8} \right \rfloor$ distinct self-dual string C-groups of rank $2m$ isomorphic to $A_{n}$. These representations have rank one below the maximum possible rank of string C-group representations for $A_n$, and to the authors' knowledge are the highest-rank self-dual representations currently known for alternating groups.
Reconfiguration of Nowhere-zero Flows
Fix an abelian group $A$, a graph $G$, and nowhere-zero $A$-flows $f'$ and $f''$ on $G$. Now $f'$ and $f''$ are \emph{$A$-flow-adjacent} if there exists a cycle $C$ in $G$ such that $f'(e)-f''(e)=0$ for all edges $e\notin E(C)$. And $f'$ and $f''$ are \emph{$A$-flow-equivalent} if there exists a sequence $f_0,\ldots,f_s$ of $A$-flows such that $f_0=f'$, $f_s=f''$, and $f_i$ and $f_{i-1}$ are $A$-flow-adjacent for all $i\in[s]$. Given a group $A$, we seek conditions on a graph $G$ such that all $A$-flows on $G$ are pairwise $A$-flow-equivalent; in this case, we say that $G$ is \emph{$A$-flow-connected}. Analogously, we define $k$-flow-connectedness for nowhere-zero (integer) $k$-flows. The notions of $A$-flow-connectedness and $k$-flow-connectedness were first investigated by Esperet et al., who showed, among other results, that every $2$-edge-connected graph is $A$-flow-connected whenever $A=\mathbb{Z}_2^8$ or $|A| \ge 1.15\times 10^{694}$.
In this paper, we first characterize the graphs that are $\mathbb{Z}_3$-flow-connected and that are $3$-flow-connected. We show that every 2-edge-connected graph is $A$-flow-connected if and only if this is true for every 2-edge-connected cubic graphs. We show that all cubic bipartite graphs are $\mathbb{Z}_4$-flow-connected, and construct other cubic graphs that are and are not $\mathbb{Z}_4$-flow-connected. We conjecture that every Eulerian graph is $k$-flow-connected and $A$-flow-connected whenever $k$ or $|A|$ is even; and provide evidence for this conjecture. Finally, we consider $4$-edge-connected graphs $G$. Here, we show that $G$ is $A$-flow-connected whenever $|A|\ge 5.3\times 10^6$.
An aperiodic set of Wang tiles for every quadratic irrational
We propose a sufficient condition for the non-periodicity of a set of Wang tiles. It applies to sets of Wang tiles whose tiles have vertical or horizontal stripes. The proof is based on a geometric argument involving a quadrilateral circumscribed to a parabola from which we conclude the irrationality of the densities of the vertical and horizontal stripes. We apply the sufficient condition to propose new proofs of non-periodicity of known sets of Wang tiles, including an encoding of Penrose tilings into 24 Wang tiles and the family of metallic mean Wang tiles.
Conversely, for every pair $(α,β)\in[0,1]^2$ of irrational numbers in the same quadratic number field, we construct a finite aperiodic set of Wang tiles with stripes that admits a valid tiling whose density of vertical stripes is $α$ and density of horizontal stripes is $β$.
Forcing monochromatic induced subgraphs
We prove that for all $c\in\mathbb N$ and nonnull graphs $H_1,\ldots,H_t$, there exists $n\in\mathbb N$ such that if $G$ is a $c$-edge-colored complete graph with no monochromatic induced copy of the complete join of $H_1,\ldots,H_t$, then $V(G)$ is the union of $n$ sets $V_1,\ldots,V_n$ such that within each set $V_j$ with $|V_j|\neq 1$, the edges of some color form a graph that excludes at least one of $H_1,\ldots,H_t$ as an induced subgraph. In fact, the same holds even if the colors overlap, and with a different list of graphs $H_1,\ldots,H_t$ assigned to each color. When $H_1,\ldots,H_t$ each have a single vertex, this is Ramsey's theorem, and when $c=2$, this is the "excluding pairs of graphs" theorem of Chudnovsky, Scott, and Seymour.
Convex geometries and directed paths on three vertices
A convexity space is an ordered pair $(V,\mathcal{C})$, where $V$ is an arbitrary set and $\mathcal{C}$ is a family of subsets of $V$, called convex, which contains $\{\emptyset,V\}$ and is closed under intersections and nested unions of its elements. For any $S\subseteq V$, the convex hull of $S$ is the inclusion-wise minimum convex set $C\in \mathcal{C}$ such that $S\subseteq C$. For a convex set $C\in \mathcal{C}$, an element $p\in C$ is an extreme of $C$ if $p$ does not belong to the convex hull of $C\setminus\{p\}$. A convexity $\mathcal{C}$ defined over $V$ is a convex geometry if any convex set $C\in \mathcal{C}$ is the convex hull of its extreme elements.
Given an oriented graph $D = (V,A)$, the family $\mathcal{C}$ of subsets of $V$ is the $\overrightarrow{P_3}$-convexity defined over $D$ if $\mathcal{C}$ is formed by all (convex) sets $C\subseteq V$ such that no vertex $v\in V\setminus C$ is the central vertex of a directed path $P=(u,v,w)$ with $\{u,w\} \subseteq C$, while in the $\overrightarrow{P_3^*}$-convexity defined over $D$, we have that no vertex $v\in V\setminus C$ is the central vertex of a directed path $P=(u,v,w)$ such that $\{u,w\} \subseteq C$ and $(u,w)\notin A$.
In this work, we present necessary and sufficient conditions over an oriented graph $D$ so that the $\overrightarrow{P_3}$-convexity over $D$ is geometric, or the $\overrightarrow{P_3^*}$-convexity over $D$ is geometric. While the first case implies a polynomial-time algorithm to decide whether the $\overrightarrow{P_3}$-convexity over $D$ is a geometric, we show that it is coNP-complete to decide whether the $\overrightarrow{P_3^*}$-convexity over $D$ is a convex geometry. We also present a family termed acyclic indifference oriented graphs and demonstrate that deciding whether the $\overrightarrow{P_3^*}$-convexity in this class is geometric can be solved in polynomial-time.
On converse invariant trees of diameter four
Let $D$ be an oriented graph, and let $f_T(D)$ denote the number of copies of $D$ in a tournament $T$. We say that $D$ is \emph{converse invariant} if $f_T(D)=f_T(\overline D)$ for every tournament $T$, where $\overline D$ is obtained from $D$ by reversing all arcs. Ai, Gutin, Lei, Yeo, and Zhou introduced a digraph polynomial for studying this property and conjectured that an orientation of a tree of maximum degree at least $3$ is converse invariant if and only if it is self-converse or can be obtained recursively by bridge-mirroring from an orientation of a path.
We disprove this conjecture. More precisely, we characterize converse-invariant orientations of trees of diameter four and exhibit non-self-converse examples that do not arise from the recursive bridge-mirroring construction. To prove the classification, we introduce a multilinear polynomial $P_D$ encoding the difference $f_T(D)-f_T(\overline D)$ over all tournaments $T$, and we give a coefficient formula for $P_D$ as a signed sum over copies of subgraphs of the underlying graph of $D$. This polynomial method yields parity obstructions, gives new proofs that oriented paths and cycles are converse invariant, and provides the main tool for the diameter-four classification.
Asymmetric induced saturation
For which graphs $H$ does there exist a graph $G$ with at least one edge and no induced subgraph isomorphic to $H$, such that deleting any edge of $G$ creates an induced copy of $H$? We call such a graph "$H$-deletion-saturated". This version of the well-studied notion of "$H$-induced-saturated" graphs -- where both adding and deleting any edge creates an induced copy of $H$ -- appears more tractable. For example, while it remains wide open whether $H$-induced-saturated graphs exist for every even cycle $H$, we proved recently that deletion-saturated graphs exist for all even cycles. In fact, apart from complete graphs, no graph $H$ is known for which $H$-deletion-saturated graphs do not exist. We conjecture that $H$-deletion-saturated graphs exist for every non-complete graph $H$, and prove this conjecture for several types of graphs, including: complete bipartite graphs with parts of unequal size, triangle-free graphs with one cycle, graphs with two leaves at distance at most three, and line graphs of trees. In fact, in all cases, we prove the conjecture for substantially more general families. We also verify our conjecture for every graph $H$ on at most six vertices.
A disproof of the uniform witness conjecture
The study of $(d+1)$-uniform set systems with VC-dimension at most $d$ links the Erdős--Ko--Rado theorem with VC-dimension. But already in 1997, Ahlswede and Khachatrian showed that this is not the right extension of the Erdős--Ko--Rado theorem. In 2025, Chao, Xu, Yip and Zhang proposed the uniform witness conjecture as a possible right extension: for $0\le s\le d$, if every set of a $(d+1)$-uniform family has a missing trace of the same fixed size $s$, then the family should have size at most $\binom{n-1}{d}$. They proved the conjecture when $s=d$, and when $s=1$ and $n$ is large. Very recently, Chao, Xu and Zakharov proved the conjecture when $s\le \frac{d}{2}$ and $n$ is large.
We fill in the missing half of the picture, although the picture is not the one suggested by the conjecture. More precisely, for $d\ge 4$ and $\left\lceil \frac{d+2}{2}\right\rceil\le s\le d-1$, we construct such a family $\mathcal{F}\subseteq\binom{[n]}{d+1}$ with $|\mathcal{F}|=\binom{n-1}{d}+\binom{n-2(d+1-s)-2}{2s-d-2}$ for every $n\ge2(d+1)$, thereby disproving the uniform witness conjecture.
Graded Betti numbers of generalized split--join graphs and applications
We determine the full graded Betti tables of graph families that subsume several classes studied recently in the literature, namely the generalized multiple complete split-like graphs and the generalized clique-star graphs with arbitrary clique block sizes. The method combines Hochster's formula with a precise decomposition of the associated independence complexes into disjoint unions of simplices and iterated joins of discrete complexes. This reduces every graded Betti number to an explicit coefficient extraction formula and yields closed expressions for the linear strand, higher strands, Hilbert series, regularity, projective dimension, and extremal Betti numbers. In particular, we prove a sharp criterion for $2$-linear resolution and identify the regularity corner in terms of the number of nontrivial clique blocks. As applications, we recover and extend earlier results on equal-block split-like graphs, obtain complete formulas for pineapple graphs, and derive consequences for power graphs of cyclic groups, elementary abelian groups, and prime-power dihedral groups.
The inverse reduction map in the quantum Littlewood-Richardson bijection
In arXiv:2603.16698v5 we have explicitly computed the inverse of the reduction map in the quantum Littlewood-Richardson bijection for certain patterns of symplectic columns. It turns out that some of those patterns are cell pieces to compute the inverse of the reduction map on any symplectic column. For large symplectic columns, the tools provided here can be combined with the composition of the inverses of the several maps in which the reduction map decomposes, given by Watanabe, namely, among them, combinatorial $R$-matrices and reduction maps of shorter symplectic columns.
Structural Reductions for Monochromatic Matchings and Ramsey Tilings
The Alon--Frankl--Lovász theorem determines the chromatic number of Kneser hypergraphs; equivalently, it gives the sharp minimum size of a monochromatic matching in every \(r\)-edge-colouring of the complete \(t\)-uniform hypergraph. The known proofs of the exact theorem are topological. We develop a topology-free structural framework for its asymptotic form and for related sparse and tiling problems.
Our main theorem shows that every \(r\)-colouring of a sufficiently pseudo-random \(t\)-graph can be reduced, with only \(o(n)\) loss in the largest monochromatic matching, to a colouring of \(K_n^{(t)}\) whose vertex set is partitioned into at most \(r\) parts and whose edge colours depend only on intersection profiles. The proof combines hypergraph regularity, LP duality, and convex-geometric compression. As consequences, we obtain a topology-free proof of the asymptotic AFL theorem, a sparse random transference theorem, and near-exact bounds in a linear-uniformity regime of Meunier's stable Kneser conjecture.
For a graph \(H\), let \(Rt_r(H;K_n)\) be the minimum, over all \(r\)-edge-colourings of \(K_n\), of the largest monochromatic \(H\)-tiling. We prove \[ Rt_r(H;K_n)=(β_{r,H}+o(1))n, \] where \(β_{r,H}\) is effectively computable from finitely many linear programs depending only on \(H\) and \(r\). An additional multipartite Ramsey extraction is the key ingredient needed to reconstruct consistent graph templates. This gives an effective asymptotic solution to the complete-host multicolour Ramsey-tiling problem, extending the classical two-colour theorem of Burr, Erdős and Spencer. We also determine explicit constants for several natural families, including connected non-bipartite graphs, balanced Hall-type bipartite graphs, complete bipartite graphs with three, four, and five colours, and a non-Hall bipartite example.
Turán results for posets and their alternating cycles
For a partially ordered set ${\mathbb{P}} = (X,\leq)$ there exist hypergraphs where the vertices are the set of ordered tuples of either all incomparable elements of ${\mathbb{P}}$ or all the critical pairs of ${\mathbb{P}}$, and the edges are formed by the duals of either all the alternating cycles of ${\mathbb{P}}$ or all the strict alternating cycles of ${\mathbb{P}}$. The weak chromatic numbers of these hypergraphs are all equal to the order dimension of ${\mathbb{P}}$. Here are established upper bounds on the number of strict alternating cycles a poset ${\mathbb{P}}=(X,\leq)$ can have in terms of $n = |X|$, the cardinality of the groundset of ${\mathbb{P}}$, and the width $w$ of ${\mathbb{P}}$. These bounds also apply to the number of hyperedges of the associated hypergraph ${\mathcal{H}}^s(\mathbb{P})$, with incomparable pairs as vertices and strict alternating cycles dual to its hyperedges.
An Improved Lower Bound for the Erdős-Lovász Cover Number Problem
Let $g(r)$ be the minimum number of edges in an $r$-uniform intersecting hypergraph with cover number $r$. Erdős and Lovász proved the lower bound $g(r)\ge 8r/3-3$. We first give a completely elementary proof that $g(r)\ge 3r-4$. We then build on the same approach and apply Kahn's small-codegree hypergraph edge-colouring theorem to improve this to $g(r)\ge (61/20-o(1))r$. To the best of our knowledge, this is the first improvement over the Erdős-Lovász lower bound in about fifty years.
A Resolution of Erdős Problems 593 and 1177: Obligatory Triple Systems and Exact Spectra
We resolve Erdős Problems #593 and #1177. Problem #593 asks which finite triple systems occur in every uncountably chromatic triple system; the answer is exactly the class generated from private-vertex expansions of finite bipartite graphs by finite disjoint unions and one-point amalgamations. Equivalently, after isolated vertices are removed, a finite triple system is obligatory precisely when it is linear, every hyperedge-node of its Levi graph has an incident bridge, and every Berge cycle is even.
The proof uses an exact bridge-trace theorem for complete-rank one-apex sequence lifts. We also prove that, for every uncountable cardinal kappa, there is a linear triple system of chromatic number exactly kappa, with at most 2^{2^mu} vertices when kappa=mu^+. These two ingredients give a class-valued exact avoidance-spectrum dichotomy for every finite forbidden triple system. As a consequence, Erdős Problem #1177 has truth values yes, no, and yes.
Power series for roots of a trinomial and Kummer-like identities for higher order hypergeometric series
We study the trinomial equation $x^n +px +q =0$. Here $p$ and $q$ are both real and nonzero. For $n\ge3$, expressions for the roots have been published as hypergeometric series in powers of the parameter $q^{n-1}/p^n$. For the special case of the cubic ($n=3$), we employ Kummer's identities to derive alternative series solutions in powers of the discriminant $D$, and also series in powers of $1/D$. We next derive new series, in powers of $D$ and also in powers of $1/D$, for all $n\ge 3$. The resulting series suggest identities analogous to Kummer's identities, for higher order hypergeometric series.