math.CO ↗ arXiv
7121 papers in this category
Spectral Properties of Power Graphs of Metacyclic Groups
For a group $Ω$, the associated power graph $P(Ω)$ is defined as the graph whose vertices are the elements of $Ω$, with two distinct vertices $u,v\in Ω$ being adjacent if either $u=v^m$ or $v=u^n$ for some $m,n \in \mathbb{N}$. In this paper, we completely characterise the structure of the power graph associated with the class of metacyclic groups. Building on this structural description, we derive explicit expressions for the characteristic polynomials of the adjacency, Laplacian, and signless Laplacian matrices. Moreover, we obtain lower and upper bounds for the spectral radii of the adjacency and signless Laplacian matrices.
Ramsey multiplicity for ordered graphs
Let \(\cG_1,\ldots,\cG_k\) be fixed vertex-ordered graphs, each containing at least one edge. The ordered Ramsey number \(\oR(\cG_1,\ldots,\cG_k)\) is the least integer \(N\) such that every \(k\)-edge-coloring of the ordered complete graph \(\cK_N\) contains an order-preserving copy of \(\cG_i\) in color \(i\) for some \(i\in[k]\). For positive weights \(\blambda=(λ_1,\ldots,λ_k)\), let \(\oM_{\blambda}(n;\cG_1,\ldots,\cG_k)\) denote the minimum weighted number of correctly colored, order-preserving copies of the target graphs over all \(k\)-edge-colorings of \(\cK_n\). When \(\blambda=\bf{1}\), \(\oM_{\bf{1}}(n;\cG_1,\ldots,\cG_k)=\oM(n;\cG_1,\ldots,\cG_k)\) is called the ordered Ramsey multiplicity. In this paper, we first establish the amplification inequality \[ \oM_{\blambda}(n;\cG_1,\ldots,\cG_k) \ge \oM_{\blambda}(t;\cG_1,\ldots,\cG_k) \frac{\binom{n}{\hmin}}{\binom{t}{\hmin}}, \] where $h_i=v(\cG_i),\hmin=\min_{i\in[k]}h_i$, and $n\ge t\ge\oR(\cG_1,\ldots,\cG_k)$. Let $\cS_{r,s}$ be the ordered star whose center has $r-1$ leaves to its left and $s-1$ leaves to its right, and let $\bB_m$ be the family of all ordered perfect matchings on $[2m]$ containing the edge $\{1,2m\}$. We apply the amplification inequality to obtain the multiplicity lower bounds for ordered stars and ordered perfect matchings. We then obtain the upper bound $\oM_{\boldsymbolλ} (n;\cS_{r_1,s_1},\cS_{r_2,s_2}) \le \min\{λ_1 B_{h_1}(n),λ_2 B_{h_2}(n)\}$ by constructions, where $B_{h_i}(n):= \binom{\lfloor n/2\rfloor}{h_i} + \binom{\lceil n/2\rceil}{h_i}$ and $h_i=r_i+s_i-1$ for $i\in [2]$. We also derive a random-coloring upper bound for ordered stars and prove \[\oM(n; \bB_m,\bB_m) \le \binom{n}{2m} \frac{(2m-2)!}{2^{2m-2}(m-1)!}.\] Finally, we establish a regularity-based lifting theorem for ordered colorings.
Real-rootedness of Kazhdan--Lusztig and $Z$-polynomials of thagomizer matroids and graphic matroids of $K_{2,n}$
Let $T_n=K_{1,1,n}$, and let $P_n(x)$ denote the Kazhdan--Lusztig polynomial of its graphic matroid. We prove that, whenever $n\ge2$ and $0\leλ\le n/2$, the polynomial $P_n(x)+λx$ has exactly $\lfloor n/2\rfloor$ zeros, all of which are negative and simple. In particular, the Kazhdan--Lusztig polynomials of the graphic matroids of $T_n$ and $K_{2,n}$ are real-rooted. We also prove that, for $n\ge2$, the common polynomial $Z_{T_n}(x)=Z_{K_{2,n}}(x)$ has $n+1$ distinct negative zeros. The proofs use a common rational transformation, reducing the Kazhdan--Lusztig case to alternating sign evaluations at the zeros of a Chebyshev polynomial and the $Z$-polynomial case to a unit-circle criterion for self-inversive polynomials.
The DP Color Function of Bipartite Graphs
DP-coloring (or correspondence coloring) is a generalization of list coloring that has been widely studied since its introduction by Dvořák and Postle in 2015. As the analogue of $P(G,q)$, the chromatic polynomial of a graph $G$, the DP color function of $G$, denoted by $P_{DP}(G,q)$, counts the minimum number of DP-colorings over all $q$-fold covers of $G$. It follows that $P_{DP}(G,q) \leq P(G,q)$. It is known that there are graphs for which $P_{DP}(G,q) < P(G,q)$ for all sufficiently large $q$; in fact, all bipartite graphs containing a cycle have this property. A fundamental open question about DP color functions asks whether, for every graph $G$, there exist $N \in \mathbb{N}$ and a polynomial $p$ such that $P_{DP}(G,q) = p(q)$ whenever $q \geq N$. In this paper we answer this question affirmatively for all bipartite graphs. Specifically, if $G$ is an $n$-vertex bipartite graph with $c$ components, then $P_{DP}(G,q) = (-1)^{n-c}q^c \;T_G(1-q,1)$ for all sufficiently large $q$, where $T_G(x,y)$ is the Tutte polynomial of $G$. The ideas we develop also yield an asymptotic formula for $P(G,q)-P_{DP}(G,q)$ whenever the girth of $G$ is even.
Bounds on Odd and Odd-Even Induced Subgraphs
Let $G$ be an $n$-vertex graph and let $\ell:V(G)\to\mathbb{F}_2$ prescribe degree parities. A set $S\subseteq V(G)$ is $\ell$-admissible if every $v\in S$ has degree congruent to $\ell(v)$ modulo $2$ in $G[S]$. Let $h_\ell(G)$ be the maximum order of an $\ell$-admissible set, set $f_{\mathrm{oe}}(G):=\min_\ell h_\ell(G)$, and write $f_o(G):=h_{\mathbf{1}}(G)$, where $\mathbf{1}(v)=1$ for every $v\in V(G).$ We prove three main results for graphs without isolated vertices. First, by extending Zeng's odd-cut method to arbitrary parity prescriptions an introducing a one-sided completion lemma, we show that $h_\ell(G)\ge n/6$ for every $\ell$. Consequently, $f_{\mathrm{oe}}(G)\ge n/6$, improving the previous bound $2n/21$.
Second, for bipartite graphs we derive lower bounds on $f_o(G)$ in terms of the $\mathbb{F}_2$-rank of the bipartite adjacency matrix and combine them to obtain
\[
f_o(G)\ge \left(\frac14+\frac1{256}\right)n=\frac{65}{256}n.
\] Thus, in the bipartite case, the factor $2$ in Scott's bound $f_o(G)\ge n/(2χ(G))$ can be replaced by $128/65<2$.
Finally, writing $α=α(G)$, a fourth-moment argument gives, for $α\ge2$,
\[
f_o(G)\ge \fracα{2}+\frac{\log_3α}{8}
-\frac14\log_3\log_3\sqrtα.
\] We also construct bipartite graphs satisfying
\[
f_o(G)\le \frac{α(G)}2+\log_2\!\bigl(α(G)+1\bigr)+\frac12,
\] showing that the logarithmic additive improvement over Scott's bound $f_o(G)\geα(G)/2$ has the optimal order of magnitude.
On Hamilton cycles in connected vertex-transitive graphs of order $2pq$
The existence of Hamilton cycles in connected vertex-transitive graphs is a core open problem in algebraic graph theory, originating from Lovász's 1969 conjecture. All connected vertex-transitive graphs of order $pq$ are known to be Hamiltonian except the Petersen graph, and primitive graph of order $2pq$ are resolved except the Coxeter graph. This paper considers connected vertex-transitive graphs of order $2pq$ where every transitive automorphism subgroup admits a maximal intransitive normal subgroup inducing prime-length orbits. We prove that all such graphs contain a Hamilton cycle, with no new exceptions beyond the already characterized non-qualifying graphs. This result covers a large non-quasiprimitive graphs of order $2pq$, advancing the full resolution of the $2pq$.
The half interlacing property among the types A, B and D Eulerian polynomials
A famous result in the theory of combinatorial polynomials is the real-rootedness of the type $D$ Eulerian polynomial $D_n(x)$, which was originally conjectured by Brenti in 1994. By constructing a set of compatible polynomials over $s$-inversion sequences, Savage and Visontai proved this conjecture in 2013. Using matrices preserving interlacing properties of nonnegative polynomial sequences, Bränden also established the real-rootedness of $D_n(x)$. Combining Hermite-Biehler theorem and a result of Borcea and Brändén on Hurwitz stability, Yang and Zhang gave another proof of the real-rootedness of $D_n(x)$. By constructing half Eulerian polynomials of type $D$, Hyatt reproved Brenti's conjecture. As originally suggested by Brenti in 1994, it is possible that the real-rootedness of $D_n(x)$ may be established by using a more precise knowledge of the location of zeros of the types $A$ and $B$ Eulerian polynomials. In this paper, we add more details to the first proof of the real-rootedness of $D_n(x)$ that was provided by the author in 2012, which yields the half interlacing property among the types $A,B$ and $D$ Eulerian polynomials.
Graph Eigenvalues and Projection Constants
For an integer $k\ge2$, let $λ_k(G)$ denote the $k$th largest adjacency eigenvalue of a graph $G$. For every graph $G$ on $n$ vertices and every $2 \leq k \leq n$, we prove \[ λ_k(G) \le \frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1. \] Our bound is tight for $k\in\{2,3,4,8,24\}$. We obtain it by reducing the graph-eigenvalue problem to an extremal problem for orthogonal projections and then applying the general upper bound on the absolute projection constant $γ(r)$ due to Deręgowska and Lewandowska. We also give an alternative proof of their bound by repairing the Gegenbauer-polynomial argument of König and Tomczak-Jaegermann. The resulting slack identity yields a strict improvement in every even dimension $r\ge4$ for which $r+2$ is not a perfect square.
Minkowski decomposability of symmetric edge polytopes
In this paper, we study the Minkowski decomposability of symmetric edge polytopes $P_G^\pm$ of a finite simple graph $G$ on vertex set $[n]$. More precisely, we give a complete characterization of graphs whose symmetric edge polytopes are Minkowski decomposable. We prove that $P_G^\pm$ is Minkowski decomposable if and only if $G$ is one of the three complete multipartite graphs: $K_n$, $K_{2,n-2}$, or $K_{1,1,n-2}$. In other words, if $G$ does not belong to these three families, then $P_G^\pm$ is Minkowski indecomposable.
Isogeny graphs of elliptic curves in characteristic zero
For an elliptic curve $E$ defined over a field $K$ of characteristic $0$ with $\operatorname{End}_K \! E \cong \mathbb{Z}$, we classify which isogeny graphs $\mathcal{G}(E/K)$ can occur. We first show that $\mathcal{G}(E/K)$ decomposes as a weak Cartesian product of its $p$-primary isogeny graphs, one for each prime $p$, thereby reducing the problem to classifying $p$-primary isogeny graphs. We then show that each such graph is isomorphic, as an edge-weighted graph, to a member of an explicit family of edge-weighted graphs $\mathcal{H}_{p^k}^r$ and $\mathcal{H}_{p^{\infty,+}}^r$, every member of which occurs as a $p$-primary isogeny graph except for $\mathcal{H}_{2^k}^0$ for $k\ge 2$. The proof relies on a detailed study of the $p$-adic Galois representation attached to $E$, through which we identify each graph with a subgroup of $\operatorname*{GL}\nolimits_{2}(\mathbb{Z}_{p})$.
More generally, we identify subgroups of $\operatorname*{GL}\nolimits_{2}(\widehat{\mathbb{Z}})$ for each possible isogeny graph and describe their corresponding modular curves, completing, in the genus $0$ case, the explicit parameterization of isogeny graphs via parameterized isogenous families of elliptic curves. We also introduce the $p$-blooming invariant $\mathfrak{I}_p(E/K)$, an isogeny class invariant determining the value of $r$ in the $p$-primary isogeny graph, and show that elliptic curves over fields with a real embedding attain the smallest possible value. As applications, we characterize the isogeny graphs of elliptic curves with potential complex multiplication; give an algorithm for determining the isogeny graph from the adelic Galois representation; recover the classification of rational isogeny graphs; and, under GRH, classify the isogeny graphs occurring over certain number fields.
A simplified min-max formula for the inverse arborescence problem
A simple min-max theorem is formulated and proved for the smallest modification (measured in $l_1$-norm) of an input cost function $w_0$ that makes a target arborescence $F_0$ of a digraph a cheapest arborescence. The constructive proof gives rise to a polynomial time algorithm for computing both a minimizer cost function on the primal side and a maximizer dual object in the min-max formula.
The Erdős-Hajnal conjecture for odd-girth
A famous conjecture of Erdős and Hajnal from 1969 states that for every integer $g\ge 4$ there exists a (smallest) function $f_g:\mathbb{N}\rightarrow \mathbb{N}$ such that every graph of chromatic number at least $f_g(k)$ contains a subgraph with chromatic number at least $k$ and girth at least $g$.
So far, this has only been proved for $g=4$ by Rödl in 1977 and remains open for every $g\ge 5$. Rödl's elegant proof yields an upper bound on $f_4(k)$ which is a tower of $k$-s of height $Θ(k^2\log k)$, suggesting the problem of improving this enormous bound. We deduce a single-exponential bound $$f_4(k)\le e^{k^{3+o(1)}}$$ from OpenAI's recent lower bound on multicolor Ramsey numbers of triangles.
Using a generalization of the latter result to multi-color Ramsey numbers of odd cycles from a companion paper, we show that for every odd $g\ge 5$ there is a function $h_g:\mathbb{N}\rightarrow \mathbb{N}$ growing at most as a power tower of height $\frac{g-3}{2}$ such that every graph of chromatic number at least $h_g(k)$ has a subgraph of chromatic number at least $k$ and odd-girth at least $g$. This proves a conjecture of Mohar and Wu from 2018.
Cyclic Sources of Strong Domination in Graph Norms
Conlon and Lee asked for strongly dominating graphs beyond norming graphs and even paths. We construct a two-parameter family of pairwise non-isomorphic $2$-connected strongly dominating graphs that are not seminorming, and hence lie outside the two classes of examples previously identified for signed strong domination. The construction uses cyclic amalgamation of two-rooted blocks. For root-reversible blocks, we characterize the generation of all even cyclic amalgams by local even-Schatten inequalities for transfer operators. We determine this criterion for $K_{2,m}$, with the roots in the part of size $m$: it holds exactly when $m$ is even. We also classify the connected outerplanar strongly dominating graphs and the connected root-reversible outerplanar blocks satisfying the universal cyclic criterion.
Multicolor Ramsey numbers of odd cycles are superexponential
In a recent breakthrough, OpenAI proved that the $k$-color Ramsey number of the triangle $C_3$ grows super-exponentially, more precisely, they proved that $R_k(C_3)\ge k^{k/3-o(k)}$. In this short note, we present a modification of their recursive construction that works for multicolor Ramsey numbers of fixed odd cycles. More precisely, for $p\ge 1$, let $\mathcal{O}_p=\{C_3,C_5,\ldots,C_{2p+1}\}$. We show that \[
R_k(\mathcal{O}_p)\ge (\log^{(p-1)}k)^{k/3-o(k)} \] for every fixed $p$, where $\log^{(p-1)}$ denotes the $(p-1)$-fold iterated logarithm. This immediately implies that for every fixed odd cycle, the multicolor Ramsey number is superexponential in the number of colors.
The presented proof was found autonomously by ChatGPT 5.6 Pro/Sol.
On (1,1,2,3)- and (1,1,3,3,3)-Packing Colorings of Claw-Free Subcubic Graphs
For a non-decreasing sequence $S=(a_1,a_2,\ldots,a_r)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of $V(G)$ into sets $A_1,\ldots,A_r$ such that any two distinct vertices in $A_i$ are at distance greater than $a_i$, for every $i\in\{1,\ldots,r\}$. Gastineau and Togni [\emph{Discrete Math.} 339 (2016), 2461--2470] asked whether every subcubic graph, except the Petersen graph, is $(1,1,2,3)$-packing colorable. In this paper, we prove that every claw-free subcubic graph is $(1,1,2,3)$-packing colorable. Moreover, we show that every connected claw-free subcubic graph, except a single graph $\mathcal{H}$, is $(1,1,3,3,3)$-packing colorable, thereby confirming a conjecture of the first two authors. Both results are best possible. Our proofs rely on a structural framework based on the skeleton and core graphs of a claw-free subcubic graph, together with a Hall-type matching argument that reduces the construction of suitable $3$-packings to a matching problem in an auxiliary bipartite graph.
Finite-n Estimate of Dedekind Numbers by Layer-Ratio Monte Carlo
Published in Mathematics 14(18), 3300 (2026)
• View Publication
• BIB
Dedekind's problem counts monotone Boolean functions, equivalently downsets of a Boolean lattice. We recast this enumeration as a finite layer-ratio reconstruction problem for the Whitney numbers of the ranked ideal lattice. An exact adjacent-layer double count expresses each layer ratio through local averages of the number of addable elements and the number of removable elements. Reversible fixed-layer Markov chains estimate these averages and hence estimate the Dedekind number $M(n)$. Backtests at $M(8)$ and $M(9)$ calibrate seed-level variability under the fixed protocol and measure the observed Monte Carlo budget scaling. The resulting estimate probes the Whitney-number sequence of the ideal lattice. Although these rows have previously been described empirically as unimodal, the high-precision $n=9$ estimate has a shallow two-shoulder feature around the central rank, contrary to that empirical description; $n=11$ and $n=13$ center-window estimates show a larger-contrast analogous pattern. The protocol estimate for $M(10)$ is \[ \widehat M(10)=(8.9360\pm0.0010)\times 10^{78}, \] where the displayed uncertainty is the budget-based forecast scale from the cross-$n$ scaling law under the production budget.
Counterexamples to a conjecture of Hoa on maximal non-Hamiltonian graphs
A graph G is said to be maximal non-Hamiltonian if G is non-Hamiltonian, but $G+e$ is Hamiltonian for every nonedge $e$ of $G.$ In 1994, Vu Dinh Hoa conjectured that if $C$ is a longest cycle of a maximal non-Hamiltonian graph $G,$ then $G-V(C)$ is a complete graph. We disprove this conjecture by constructing a counterexample of every order $n\ge 56.$
Large Sidon Subsets of Distinct Multinomial Coefficients
For a positive integer n, let M_n be the set of distinct values of n!/(p_1! ... p_t!), where (p_1,...,p_t) ranges over the integer partitions of n. We study the maximum cardinality s(n) of a Sidon subset of M_n. The sets M_n satisfy a product embedding that yields the elementary lifting inequality s(n) >= s(r) + n - r. By combining a one-third extraction lemma for strongly Sidon subsets with general results on Sidon subsets and unrestricted prime partitions, we prove
liminf_{n -> infinity} log(s(n)/n) log log n / sqrt(log n) >= pi/sqrt(3).
In particular, s(n) = Omega(n log n). In the opposite direction, we construct many pairwise disjoint arithmetic progressions in M_n. Let M(n)=|M_n|. Then
liminf_{n -> infinity} (M(n)-s(n))/(n^(3/2) sqrt(log n)) >= 2/(3 sqrt(3)).
We also report exact values of s(n) for 1 <= n <= 16, obtained by an exhaustive SAT computation. The complete Maple source code, console output for n=14,15,16, and a description of the encoding are supplied as supplementary material.
A 60-Vertex Lower Bound for Cubic Bipartite Counterexamples to the Erdős-Gyárfás Conjecture
A certified exhaustive computation shows that every simple cubic bipartite graph on at most 58 vertices contains a cycle of length 4, 8, or 16. Consequently, any cubic bipartite counterexample to the Erdos-Gyarfas conjecture has at least 60 vertices, improving the established published lower bound for this class from 30 to 60. The proof begins with a Moore-bound observation: below 62 vertices, a cubic bipartite graph avoiding 4- and 8-cycles must contain a 6-cycle. Viewing the graph as the Levi graph of a linear symmetric v3-configuration turns this 6-cycle into a Berge triangle. Up to symmetry, only two rooted extensions are possible. A complete restricted-growth search on at most 29 points exhausts both search trees. The computation is checked by two separately implemented exact procedures using different C16 oracles and by a static witness certificate. Source code, certificates, and reproduction instructions are archived with the paper.
An explicit construction of two completely independent spanning trees in the four-dimensional dual-cube
Lalou, Mbarek, Skender and Togni (arXiv:2607.25917) proved that the $n$-dimensional dual-cube $F_n$ admits two completely independent spanning trees for every $n\ge 5$, observed that none exist for $n\le 3$, and identified $F_4$ as the first unresolved case, reporting more than 700 hours of inconclusive computation. We settle this case affirmatively by an explicit construction, completing the classification: $F_n$ admits two completely independent spanning trees if and only if $n\ge 4$. The internal-vertex sets of the two trees are the level sets of a single ten-term cubic polynomial over $\mathbb{F}_2$ in the seven vertex bits, and correctness reduces to finite connectivity checks that are machine-verified by a solver-free program distributed with the certificate. In $F_4$ the two trees necessarily use 254 of the 256 edges. We also report exact infeasibility results for simpler rules of the same shape: within the search model, no affine or quadratic rule works, and ten terms is the fewest possible for a cubic rule.