Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Chromatic numbers of rank-two Abelian Cayley graphs
A connected Cayley graph for an Abelian group generated by a finite symmetric subset $S$ can be represented by an integer matrix, its Heuberger matrix. We call the number of columns of that matrix its rank and the number of rows its dimension. Several previous papers have dealt with the question of finding a formula for the chromatic number of an Abelian Cayley graph in terms of an associated Heuberger matrix. In this paper, we fully resolve this matter for all integer matrices of rank $\leq 2$. Prior results provide such formulas when the rank is 1, as well as when the rank is 2 and the dimension is no more than 4. Here, we complete the picture for the rank-two case by showing that when the rank is 2 and the dimension is at least 5, then the chromatic number equals 3 unless the graph has loops (in which case it is uncolorable); the graph is bipartite (in which case the chromatic number is 2); or the matrix has a zero row (in which case, the chromatic number does not change when that row is deleted).
A labeling of the Simplex-Lattice Hypergraph with at most 2 colors on each hyperedge
This paper provides a positive answer to the question of Mirzakhani and Vondrak that asks if there is a Sperner-admissible labeling of the simplex-lattice hypergraph such that each hyperedge uses at most 2 colors.
A partial order on the 240 packings of PG(3,2)
It has long been known that the most symmetrical solutions of Kirkman's Schoolgirl Problem can be constructed from the $240$ packings of the projective space $PG(3, 2)$, but it seems to have escaped notice that these packings have the structure of a partially ordered set. In this paper, we construct a shellable Bruhat-like graded partial order on the packings of $PG(3, 2)$ that refines the partial order on the product of four chains $[8]\times[5]\times[3]\times[2]$ and defines a Lehmer code on the packings. The partial order exists because the packings of $PG(3, 2)$ form a quasiparabolic set (in the sense of Rains--Vazirani) that is in bijective correspondence with a certain collection of maximal orthogonal subsets of the $E_8$ root system. The $E_8$ construction also induces transitive actions of the Weyl groups of type $D_n$ on the packings for $5 \leq n \leq 8$, and these actions are faithful for $n < 8$. It is possible to define both the signed permutation action and the partial order using the combinatorics of labelled Fano planes.
Ramsey numbers of grid graphs
Let the grid graph $G_{M\times N}$ denote the Cartesian product $K_M \square K_N$. For a fixed subgraph $H$ of a grid, we study the off-diagonal Ramsey number $\operatorname{gr}(H, K_k)$, which is the smallest $N$ such that any red/blue edge coloring of $G_{N\times N}$ contains either a red copy of $H$ (a copy must preserve each edge's horizontal/vertical orientation), or a blue copy of $K_k$ contained inside a single row or column. Conlon, Fox, Mubayi, Suk, Verstraëte, and the first author recently showed that such grid Ramsey numbers are closely related to off-diagonal Ramsey numbers of bipartite $3$-uniform hypergraphs, and proved that $2^{Ω(\log ^2 k)} \le \operatorname{gr}(G_{2\times 2}, K_k) \le 2^{O(k^{2/3}\log k)}$. We prove that the square $G_{2\times 2}$ is exceptional in this regard, by showing that $\operatorname{gr}(C,K_k) = k^{O_C(1)}$ for any cycle $C \ne G_{2\times 2}$. We also obtain that a larger class of grid subgraphs $H$ obtained via a recursive blowup procedure satisfies $\operatorname{gr}(H,K_k) = k^{O_H(1)}$. Finally, we show that conditional on the multicolor Erdős-Hajnal conjecture, $\operatorname{gr}(H,K_k) = k^{O_H(1)}$ for any $H$ with two rows that does not contain $G_{2\times 2}$.
A curiously slowly mixing Markov chain
We study a Markov chain with very different mixing rates depending on how mixing is measured. The chain is the "Burnside process on the hypercube $C_2^n$." Started at the all-zeros state, it mixes in a bounded number of steps, no matter how large $n$ is, in $\ell^1$ and in $\ell^2$. And started at general $x$, it mixes in at most $\log n$ steps in $\ell^1$. But, in $\ell^2$, it takes $\frac{n}{\log n}$ steps for most starting $x$. The $\ell^2$ mixing results follow from an explicit diagonalization of the Markov chain into binomial-coefficient-valued eigenvectors.
On the enumeration of connected sets in finite cylindrical lattice graphs
A connected set in a graph is a non-empty set of vertices that induces a connected subgraph. In an infinite lattice, a connected set is often referred to as a lattice animal, whose enumeration up to isomorphism is a classical problem in both combinatorics and statistical physics. In this paper, we focus on the enumeration of connected sets in finite lattice graphs, providing a link between combinatorial counting and structural connectivity in the system.
For any positive integers $m,n$, let $N(P_m\times P_n)$ and $N(C_m\times P_n)$ denote the number of all connected sets in the $(m\times n)$-lattice graph $P_m\times P_n$ and $(m\times n)$-cylindrical lattice graph $C_m\times P_n $, respectively. In 2020, Vince derived enumeration formulas for $N(P_m\times P_2)$ and $N(C_m\times P_2)$, and highlighted the increasing difficulty of extending these calculation results to larger (cylindrical) lattice graphs. Recently, the authors of this paper have developed a method based on multi-step recurrence formulas to obtain the enumeration formula for $N(P_m\times P_n)$ with $m\le 4$. In this article, we apply a similar approach to derive the enumeration formula for $N(C_m\times P_n)$ with $m\le 7$. Further, for the general case, we establish an explicit and tight lower bound on the number of connected sets in the Cartesian product graph $G\times P_n $ for any connected graph $G$, by employing the transfer matrix method on a subclass of connected sets. Based on this, we perform an asymptotic analysis on several lattice graphs and show that $O(N(P_3\times P_n))=1.6694^{3n}$, $O(N(C_4\times P_n))=1.8014^{4n}$, and $O(N(C_5\times P_n))=1.7877^{5n}$.
Reliability evaluation of Cayley graph generated by unicyclic graphs based on cyclic fault pattern
Graph connectivity serves as a fundamental metric for evaluating the reliability and fault tolerance of interconnection networks. To more precisely characterize network robustness, the concept of cyclic connectivity has been introduced, requiring that there are at least two components containing cycles after removing the vertex set. This property ensures the preservation of essential cyclic communication structures under faulty conditions. Cayley graphs exhibit several ideal properties for interconnection networks, which permits identical routing protocols at all vertices, facilitates recursive constructions, and ensures operational robustness. In this paper, we investigate the cyclic connectivity of Cayley graphs generated by unicyclic triangle free graphs. Given an symmetric group $Sym(n)$ on $\left\{ 1,2,\dots,n\right\}$ and a set $\mathcal{T}$ of transpositions of $Sym(n)$. Let $G(\mathcal{T})$ be the graph on vertex set $\left\{ 1,2,\dots,n\right\}$ and edge set $\left\{ij\colon(ij)\in \mathcal{T}\right\}$. If $G(\mathcal{T})$ is a unicyclic triangle free graphs, then denoted the Cayley graph Cay$(Sym(n),\mathcal{T})$ by $UG_{n}$. As a result, we determine the exact value of cyclic connectivity of $UG_{n}$ as $κ_{c}(UG_{n})=4n-8$ for $n\ge 4 $.
Exact Turán numbers of two vertex-disjoint paths
The Turán number of a graph $H$ is the maximum number of edges in any graph of order $n$ that does not contain $H$ as a subgraph. In 1959, Erd\H os and Gallai obtained a sharp upper bound of Turán numbers for a path of arbitrary length. In 1975, Faudree and Schelp, and independently in 1977, Kopylov determined the exact values of Turán numbers of paths with arbitrary length. In this paper, we determine the Turán number of two vertex-disjoint paths of odd order at least 4. Together with previous works, we determine the exact Turán numbers of two vertex-disjoint paths completely. This confirms the first $k=2$ case of a conjecture proposed by Yuan and Zhang in 2021, which generalizes the Turán number formula of paths due to Faudree-Schelp, and Kopylov in a broader setting. Our main tools include a refinement of Pósa's rotation lemma, a stability result of Kopylov's theorem on cycles, and a recent inequality on circumference, minimum degree, and clique number of a 2-connected graph.
On acyclic b-chromatic number of cubic graphs
Let $G$ be a graph. An acyclic $k$-coloring of $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the subgraph induced by the vertices of any two colors $i,j\in \{1,\dots,k\}$ is a forest. If every vertex $v$ of a color class $V_i$ misses a color $\ell_v\in\{1,\dots,k\}$ in its closed neighborhood, then every $v\in V_i$ can be recolored with $\ell_v$ and we obtain a $(k-1)$-coloring of $G$. If a new coloring $c'$ is also acyclic, then such a recoloring is an acyclic recoloring step and $c'$ is in relation $\triangleleft_a$ with $c$. The acyclic b-chromatic number $A_b(G)$ of $G$ is the maximum number of colors in an acyclic coloring where no acyclic recoloring step is possible. Equivalently, it is the maximum number of colors in a minimum element of the transitive closure of $\triangleleft_a$. In this paper, we consider $A_b(G)$ of cubic graphs.
On the directed normalizing graph associated with a group
In this paper we investigate the $directed$ $normalizing$ $graph$ associated with a group $G$, defined as the simple directed graph whose vertices are the elements of $G$, with an arrow from $x$ to $y$ whenever the subgroup $\langle x \rangle$ is normal in $\langle x, y \rangle$. Our analysis focuses on the set of bidirectional universal vertices and, in particular, on the induced subgraph obtained by removing them, where the most interesting connectivity phenomena occur. We characterize the groups for which this induced subgraph is strongly connected and determine bounds for its diameter. Finally, we show how properties of this graph reflect algebraic features of the underlying group.
On removable edge subsets in graphs with a nowhere-zero $4$-flow
A set $R\subseteq E(G)$ of a graph $G$ is $k$-removable if $G-R$ has a nowhere-zero $k$-flow. We prove that every graph $G$ admitting a nowhere-zero $4$-flow has a $3$-removable subset consisting of at most $\frac{1}{6}|E(G)|$ edges. This gives a positive answer to a conjecture of M. DeVos, J. McDonald, I. Pivotto, E. Rollová and R. Šámal [$3$-Flows with large support, J. Comb. Theory Ser. B 144 (2020), 32-80] in the case of graphs admitting a nowhere-zero $4$-flow.
Moreover, Hoffmann-Ostenhof recently conjectured that every cubic graph with a nowhere-zero $4$-flow has a $4$-removable edge. Bipartite cubic graphs verify this conjecture. Our result gives an approximation for Hoffmann-Ostenhof's Conjecture in the non-bipartite case.
Finally, for cubic graphs, our result implies that every $3$-edge-colorable cubic graph $G$ contains a subgraph $H$ whose connected components are either cycles or subdivisions of bipartite cubic graphs, such that $|E(H)|\ge \frac{5}{6}|E(G)|$.
Association Scheme on Triples from the Unitary Group
An association scheme on triples (AST) is a three-dimensional analogue of a classical association scheme. Similar to how a transitive group action produces a Schurian classical association scheme, a two-transitive group action produces an AST. This paper describes the relations and intersection numbers of ASTs from the finite unitary groups acting on the respective isotropic lines.
A Complete Classification of Ideal Chomp Games on Low-Rank Algebras
We completely classify winning strategies in the Ideal Chomp Game played on $\bar{K}$-algebras R of rank at most 6. In this two-player combinatorial game, players alternately add generators to build an ideal inside a given ring R, with the player who builds an ideal equal to the entire ring losing. We prove that player A has a winning strategy on all $\bar{K}$-algebras R up to rank 6 except for five specific cases: $\bar{K}$ itself, $\bar{K}[x, y]/(x, y)^2$, and three other local algebras. Our methods combine game-theoretic analysis with the structure theory of Artinian rings and computational verification. We also discuss a classical result of Henson on winning strategies in the Ideal Chomp Game, as well as ideas and open questions about the Ideal Chomp Game on higher-dimensional $\bar{K}$-algebras.
Mathematical exploration and discovery at scale
AlphaEvolve (Novikov et al., 2025) is a generic evolutionary coding agent that combines the generative capabilities of LLMs with automated evaluation in an iterative evolutionary framework that proposes, tests, and refines algorithmic solutions to challenging scientific and practical problems. In this paper we showcase AlphaEvolve as a tool for autonomously discovering novel mathematical constructions and advancing our understanding of long-standing open problems.
To demonstrate its breadth, we considered a list of 67 problems spanning mathematical analysis, combinatorics, geometry, and number theory. The system rediscovered the best known solutions in most of the cases and discovered improved solutions in several. In some instances, AlphaEvolve is also able to generalize results for a finite number of input values into a formula valid for all input values. Furthermore, we are able to combine this methodology with Deep Think and AlphaProof in a broader framework where the additional proof-assistants and reasoning systems provide automated proof generation and further mathematical insights.
These results demonstrate that large language model-guided evolutionary search can autonomously discover mathematical constructions that complement human intuition, at times matching or even improving the best known results, highlighting the potential for significant new ways of interaction between mathematicians and AI systems. We present AlphaEvolve as a powerful new tool for mathematical discovery, capable of exploring vast search spaces to solve complex optimization problems at scale, often with significantly reduced requirements on preparation and computation time.
Chow classes of matroids and standard Young tableaux
We study the Chow classes of arbitrary matroids in the Grassmannian. We develop a new combinatorial approach for computing them, by first focusing on snake matroids and then extending our results via valuativity to any matroid. Our main contribution identifies the Poincaré dual of the Chow class of a snake matroid with a specific ribbon Schur function, providing an explicit formula for its coefficients in the Schubert basis as the number of standard Young tableaux of a given shape with a prescribed descent set. This agrees with a formula by Klyachko for the uniform matroid. As consequences, we recover and simplify classical results such as Gessel and Viennot's enumeration of permutations with fixed descent sets, and formulas for the volume of lattice path matroids. Furthermore, we demonstrate the power of our findings by proving that certain Schubert coefficients are positive for all connected paving matroids.
Maximal bipartite graphs with a unique minimum dominating set
In 2003, Fischermann et al. considered the maximum size of \textit{uniquely-dominatable} graphs, graphs whose dominating number is realized only by a unique dominating set. They conjectured a size bound and provide a general graph construction that shows the bound is tight \cite{Original_Paper}. In 2010, Shank and Fraboni prove Fischermann's bound is true when $γ= 2$ \cite{Shank_paper}. In this paper, we observe how Fischermann's bound changes if we impart a different restriction on a graph -- bipartiteness. We conjecture a bound on the maximum number of edges possible for uniquely-dominatable bipartite graphs. We provide constructions to demonstrate this bound is tight. We prove our bipartite bound is true for the $γ= 2$ and $n = 3γ$ cases. We also discuss perfect domination and how it relates to our extremal graph constructions. We provide constructions that meet both Fischermann's bound for all graphs and our bound for bipartite graphs respectively, both of which are perfectly dominated.
Spectral Bounds for Directed Graphs Via Asymmetric Matrices: Applications to Toughness
We establish an Expander Mixing Lemma for directed graphs in terms of the eigenvalues of an associated asymmetric transition probability matrix, extending the classical spectral inequality to the asymmetric setting. As an application, we derive a spectral bound on the toughness of directed graphs that generalizes Alon's bound for $k$-regular graphs, showing how structural properties of directed graphs can be captured through their asymmetric spectra.
Quasi-majority neighbor sum distinguishing edge-colorings
In this paper, a $k$-edge-coloring of $G$ is any mapping $c:E(G)\longrightarrow [k]$. The edge-coloring $c$ of $G$ naturally defines a vertex-coloring $σ_{c}: V(G) \to \mathbb{N}$, where $σ_{c}(v)=\sum_{u\in N_G(v)}c(vu)$ for every vertex $v\in V(G)$. The edge-coloring $c$ is said to be neighbor sum distinguishing if it results in a proper vertex-coloring $σ_{c}$, which that $σ_{c}(u) \neq σ_{c}(v)$ for every edge $uv$ in $G$.
We investigate neighbor sum distinguishing edge-colorings with local constraints, where the edge-coloring is quasi-majority at each vertex. Specifically, every vertex $v$ is incident to at most $\left\lceil d(v)/2 \right\rceil$ edges of one color. This type of coloring is referred to as quasi-majority neighbor sum distinguishing edge-coloring. The minimum number of colors required for a graph to have a quasi-majority neighbor sum distinguishing edge-coloring is called the quasi-majority neighbor sum distinguishing index. A graph is nice if it has no component isomorphic to $K_2$. We prove that any nice graph admits a quasi-majority neighbor sum distinguishing edge-coloring using at most 12 colors. This bound can be improved for bipartite graphs and graphs with a maximum degree of at most 4. Specifically, we show that every nice bipartite graph can be colored with 6 colors, and every nice graph with a maximum degree of at most 4 can be colored with 7 colors. Additionally, we determine the exact value of the quasi-majority neighbor sum distinguishing index for complete graphs, complete bipartite graphs, and trees.
We also consider majority neighbor sum distinguishing edge-colorings, that is, when each vertex is incident to at most $d(v)/2$ edges with the same color.
Percolation on graphs of polynomial growth is local: analyticity, supercritical sharpness, isoperimetry
We investigate locality of the supercritical regime for Bernoulli percolation on transitive graphs with polynomial growth, by which we mean the following. Take a transitive graph of polynomial growth $\mathscr{G}$ satisfying $p_c(\mathscr{G})<1$ and take $p>p_c(\mathscr{G})$. Let $\mathscr{H}$ be another such graph and assume that $\mathscr{G}$ and $\mathscr{H}$ have the same ball of radius $r$ for $r$ large. We prove that various quantities regarding percolation of parameter close to $p$ on $\mathscr{H}$ can be well understood from $(\mathscr{G},p)$ alone.
This includes uniform versions of supercritical sharpness as well as the Kesten-Zhang bound on the probability of observing a large finite cluster: the constants involved can be chosen to depend only on $(\mathscr{G},p)$. We also prove that $θ_\mathscr{H}$ is an analytic function of $p$ in the whole supercritical regime and that, for a suitable $\varepsilon=\varepsilon(\mathscr{G},p)>0$, the analytic extension of $θ_\mathscr{H}$ to the $\varepsilon$-neighbourhood of $p$ in $\mathbb C$ is, uniformly, well approximated by the analytic extension of $θ_\mathscr{G}$. The proof relies on new results on the connectivity of minimal cutsets; in particular, we answer a question asked by Babson and Benjamini in 1999. We further discuss connections with the conjecture of non-percolation at criticality.
Restricted Fubini Rankings and Restricted Unit Interval Parking Functions
We study three natural types of restrictions on Fubini rankings and unit interval parking functions, which are motivated by their correspondence with ordered set partitions. For each restriction type, we define the corresponding subset of Fubini rankings and unit interval parking functions, establish enumerative results, and provide bijections between the restricted families. We also obtain exponential generating functions and combinatorial interpretations, including connections with exceedances in permutations and with the absence of cyclical adjacencies in set partitions.