graph
35150 papers tagged with this keyword
A unified framework for existing and new constructions of Neumaier graphs
A Neumaier graph is a non-complete edge-regular graph containing a regular clique; it is called strictly Neumaier if it is not strongly regular. In this paper we present a construction using finite rings that unifies several known results and yields three new families, each containing infinitely many strictly Neumaier graphs. We characterize when the resulting graphs are strongly regular. The family obtained from norm functions of finite field extensions includes the collinearity graphs of generalized quadrangles of \(*\)-Tits type arising from the classical hyperoval. We further show that, when the cyclotomic numbers involved have order at most seven, four types of rings suffice to obtain, up to isomorphism, all strictly Neumaier graphs arising from our construction. As a consequence of our results, each of these four types has now been used to construct Neumaier graphs.
A proof of Lehmer's permutation conjecture for neighbor-swap graphs
In 1965, D. H. Lehmer conjectured that the permutations of every multiset admit an imperfect Hamiltonian traversal by adjacent swaps: a walk in the neighbor-swap graph that visits every word, with some words visited twice in order to reach a neighbor and return. The question is posed as an unsolved research problem in Knuth's Art of Computer Programming. Verhoeff (2017) chose the stutter words, in which every domino is a double, as the words to be reached this way, and reformulated the conjecture as the Hamiltonicity of the graph $N(S)$ on the non-stutter words, with two exceptional families --- binary signatures with an odd multiplicity, and the permutations of $(2k,1,1)$ --- that admit a Hamiltonian path but no cycle. This article proves the reformulated conjecture, and with it Lehmer's conjecture. The key structure is a partition of the words into hypercubes: the swaps inside dominoes turn each class of words with the same domino contents into a hypercube, and the stutters are exactly the $0$-dimensional classes. When every multiplicity is even, Hamiltonian cycles of the hypercubes are glued along a spanning tree, with no finite check. The case of exactly one odd multiplicity reduces to the all-even case and to a theorem of Stachowiak (1992), the one inherited Hamiltonicity input, which also settles two or more odd multiplicities. The only finite ingredients are two explicit cycles, of 28 and 84 words. Every construction is implemented in Python and checked against brute-force graphs, and the proof is formalized in Lean 4 over Mathlib.
Perfect matching covers of claw-free cubic graphs
The Berge conjecture [Proc. London Math. Soc., 1979] asserts that every bridgeless cubic graph can be covered by five perfect matchings. The 5-cycle double cover conjecture, proposed independently by Preissmann (1981) and Celmins (1984), asserts that every bridgeless graph admits five even subgraphs such that every edge belongs to exactly two of them. Hakobyan and Mkrtchyan [Ars Math. Contemp., 2019] proved that the 5-cycle double cover conjecture holds if and only if every bridgeless claw-free cubic graph can be covered by four perfect matchings. In this paper, we prove that the Berge conjecture holds for bridgeless claw-free cubic graphs. Moreover, we show that every bridgeless claw-free cubic graph $G$ admits four perfect matchings that cover at least $\frac{299}{315}|E(G)|$ edges.
Upper Bounds on the Turán Density of Hypergraphs Associated with the Projective Plane over a Finite Field
Let $\PG(2,q)$ denote the projective plane over the finite field $\mathbb{F}_q$ where $q\geq2$ is a prime power. For a positive integer $t$, let $B_{t}[\PG(2,q)]$ denote the $t$-page book obtained from $t-$many copies of the $(q+1)-$graph $\PG(2,q)$, sharing a common edge. Employing the $\mathsf{L}^p-$method and using the incidence structure of the projective plane, we establish that the upper bound of Turán density of $B_{t}[\PG(2,q)]$ is $(q(q+1)^{-1})^{\frac{1}{qt}}$. For the $(q+1)-$graph $\PG(2,q)$, the previously known upper bound on its Turán density was $1-\binom{q^2}{q}^{-1}$. As a consequence of our estimate, this upper bound is improved to $(q(q+1)^{-1})^{\frac{1}{q}}$.
Coloring 3-colorable graphs with $O(n^{4/23})$ colors via a Gaussian-cover recursion
We give a randomized polynomial-time algorithm that colors any promised $3$-colorable graph on $n$ vertices with $\smash{O(n^{4/23}) = O(n^{0.17391\ldots})}$ colors, improving on the recent bounds of $O(n^{0.19539})$ by Bansal, Huang, and Lee and Narang and Tang who obtained $O(n^{(13-\sqrt{97})/18+ε})=O(n^{0.17506\dots + ε})$ colors for every fixed $\smash{ε>0}$.
To prove our result, we start from a fixed-level semidefinite relaxation, where we use a finite-depth recursion on Gaussian covers. Fixing a root vertex, we group vertices by correlation with the root vector. Here, each step extends a cover of directions by one edge and transfers it to a successor group. Our key analytic ingredient is a variance bound for Gaussian maxima: for a maximum of $m\geq 2$ centered linear forms with coefficient norms at most $r$, mean $μ$, and variance $v$, we prove $v\leq r^2-μ^2/(2\log m)$ using Chen's Gaussian convexity theorem. Together with a variance-scale lower-tail estimate, this controls the threshold loss at each extension, which shows that root-conditioned vector colorings can either extract a large independent set from a group or bound its size, forcing a contradiction after constantly many steps. The resulting sparse-case guarantee combines with the dense progress bound of Kawarabayashi, Thorup, and Yoneda, and the recursion's numerical inequalities are verified via rational interval arithmetic.
The threshold for fractional clique decompositions of random hypergraphs, via matrix scaling
Let $δ^*_{k,r}$ be the fractional $K_r^{(k)}$-decomposition threshold in minimum codegree. For fixed $k\ge2$, $r\ge k+1$ and $\varepsilon>0$, we prove that every $n$-vertex $k$-uniform hypergraph $G$ with minimum codegree at least $(δ^*_{k,r}+\varepsilon)n$ admits, with high probability, a fractional $K_r^{(k)}$-decomposition after retaining each edge independently with probability $p \ge C(\log n/n^{r-k})^{1/(\binom{r}{k}-1)}$. The bound on $p$ is sharp up to a constant factor, confirming the conjectured threshold order in the graph case. The proof develops a probabilistic matrix-scaling approach.
The least signless Laplacian eigenvalue of $\{C_3,C_5\}$-free graphs
Brandt [Discrete Math. 183 (1998) 17--25] conjectured that the least signless Laplacian eigenvalue of every regular triangle-free graph of order $n$ is at most $4n/25$. Using flag algebras, Balogh, Clemen, Lidický, Norin and Volec [SIAM J. Discrete Math. 37 (2023) 1173--1179] established the stronger bound $15n/94$ for all triangle-free graphs. We investigate the effect of additionally excluding pentagons and prove that every $\{C_3,C_5\}$-free graph $G$ of order $n$ satisfies $\qmin(G)<0.0569n$, without any regularity assumption. The proof combines seven-vertex flag inequalities with local Rayleigh constraints that retain the least eigenvalue throughout the counting argument. An exact integer certificate establishes the required inequality.
On the solution to the Erdős-Hajnal problem on high-girth high-chromatic subgraphs
A well-known problem of Erdős and Hajnal from the 1960s asks whether every graph with huge chromatic number contains a subgraph with large girth and large chromatic number. Very recently, Kohlmeyer and Kruer provided a strong negative solution to this problem: a construction of triangle-free graphs with arbitrarily large chromatic number whose subgraphs with no four-cycle have chromatic number at most $6$. The purpose of this exposition is to explain the construction method, relate it to relevant literature, and optimise the bound '$6$' to '$3$'.
The Margolis-Rhodes Monoid of a Graph
We investigate the structural, combinatorial, ideal-theoretic and Krohn-Rhodes complexity of the Margolis-Rhodes monoid, MR(G), of a finite simple graph G, viewed topologically as a 1-dimensional simplicial complex. Alongside the full monoid, we examine some subsemigroups including St(G), defined by the condition that the full inverse image is an edge or the empty set and Inj(G), the monoid of all partial 1-1 continuous functions. We provide explicit combinatorial enumerations and struture for paths and cycles. We compute Green's relations showing in particular that the partial order of regular J-classes is isomorphic to the poset of induced subgraphs of G. Finally, we apply these structural invariants to Krohn-Rhodes complexity theory. It is known that the Margolis-Rhodes monoid has complexity at most 2 and 1 for St(G) and Inj(G). We show that for cycles the complexity of its Margolis-Rhodes monoid is 2 if and only if the cycle is of length at least 4. For paths, we prove that the complexity of its Margolis-Rhodes monoid is 2 if the path length is at least 13.
Divisors and harmonic morphisms on metric graphs of pseudocompact type
A metric graph is of pseudocompact type if identifying parallel edges produces a tree. We give a constructive proof that, for such graphs, divisorial $d$-gonality is equivalent to the existence of a degree $d$ harmonic morphism to a tree. This mirrors the algebraic correspondence, for curves of compact type, between limit linear series of dimension one and admissible covers. We also deduce lifting results for positive-rank divisors, with a genus-preserving refinement when identifying parallel edges produces a path. Finally, we study the Brill-Noether theory in the path case.
On c-polynomial factorisations
c-Polynomials are polynomials whose (non-zero) coefficients are all equal to 1. Taking a theorem by Carlitz and Moser as a motivation, we prove a structure theorem for the factorisations of the c-polynomial $(x^n-1)/(x-1)$ into c-irreducible factors by relating c-torisations into c-polynomials to joint ordered factorisations arising from the integer n. The question of how many different joint ordered factorisations there are leads to the precise chromatic polynomial for path graphs, counting the ways of path graph colourings with $m$ colours under the condition that all colours are used. Moreover, we give similar counting formulae for joint ordered factorisations under the constraints that all factors are primes, or that all factors are square-free.
Nearly optimal packings of equally sized rainbow forests
A forest in an edge-colored graph is rainbow if its edges have pairwise distinct colors. We prove that for every $\varepsilon>0$ and all sufficiently large integers $m$, every properly edge-colored simple graph with $km$ edges, where $1\leq k\leq 2m$ and every color class has size at most $m$, contains at least $(1-\varepsilon)m$ pairwise edge-disjoint rainbow forests, each with exactly $k$ edges. The range $k\leq 2m$ is best possible: for every $k>2m$ there are such graphs containing no $k$-edge forest. Thus the conjecture of Montgomery, Pokrovskiy, and Sudakov fails beyond this range, while our theorem establishes its predicted conclusion throughout the largest possible range of $k$. The number of forests is asymptotically optimal. The proof uses an orientation dichotomy, hypergraph matching, matroid intersection, and martingale concentration.
Characterisations of Planar Galled Networks
Rooted phylogenetic networks are widely used to represent the evolution of species that have undergone reticulate processes. However, these networks can be highly non-planar, making them more difficult to visualise and interpret than evolutionary trees. In this paper, we investigate planarity properties of galled networks, an important subclass of phylogenetic networks. We show that all planar galled networks are necessarily upward planar. Furthermore, by leveraging recent results on planar phylogenetic networks, we provide three characterisations for each of the outerplanar and terminal planar galled network classes in terms of forbidden vertex configurations, forbidden directed subgraphs, and forbidden structures in their associated underlying undirected graphs. These results contribute to a deeper understanding of the structural properties of galled networks and may inform future methods for their construction and visualisation.
Exact Counts of Binary Phylogenetic Networks with Four Reticulations
Phylogenetic networks provide a flexible framework for representing reticulate evolutionary processes, such as hybridization, introgression, recombination, and horizontal gene transfer. However, their combinatorial complexity makes even basic enumeration problems difficult. Building on our previous work for networks with up to three reticulations, we derive an explicit closed-form formula for the number of unrestricted rooted binary phylogenetic networks with four reticulations on \(n\) labeled taxa.
Our approach is based on tree-component graphs. We classify the 79 possible component graphs corresponding to networks with four reticulations into ten groups. We then enumerate the networks associated with each group by combining known counts of one-component networks, forests, and networks with fewer reticulations. Summing these contributions yields the desired formula. This result extends the exact enumeration of unrestricted binary phylogenetic networks to four reticulations and further demonstrates the effectiveness of component graphs for systematically organizing and counting increasingly complex network classes.
Bicoloured-interval and interval-sandwich graphs: two new classes in the tolerance hierarchy
We introduce two new graph classes, the bicoloured-interval graphs and the interval-sandwich graphs, arising from the study of the robust line fitting problem in computer vision. In a bicoloured-interval graph, each vertex is assigned a real interval and one of two colours. Vertices of different colours are adjacent precisely when their intervals intersect, and vertices of the same colour precisely when the centre of one interval lies in the other. Discarding the colouring yields the interval-sandwich graphs, sandwiched between the $50\%$-tolerance graph and the intersection graph of a family of intervals.
We prove structural results for both classes, determining which holes, antiholes, trees, and complete bipartite graphs each contains. Consequently, neither class is characterised by finitely many forbidden induced subgraphs. We place both classes strictly between the unit tolerance graphs and the co-comparability graphs in the tolerance hierarchy, separating them from the neighbouring classes. In particular, we construct an infinite family of proper tolerance graphs, each of which is a minimal forbidden induced subgraph for the bicoloured-interval graphs.
Finally, we consider the recognition problems for both classes. We show that every graph in either class has a polynomial-size integer representation, and hence that both problems lie in~$\textsf{NP}$.
Choquet-type extensions of set-pair functions, and applications in graph limits, hypergraphs, and metric measure spaces
We propose Choquet-type extensions for set-pair functions, an $L^p$-integration of a family of such extensions, and the associated min-max extension constants, and apply these to investigate variational problems and establish sharp bounds for many combinatorial and geometric quantities. Specifically, we use Choquet-type extensions to construct equivalent functional representations of fractional optimization problems with set-variables, which find applications in various settings, such as maxcut and bipartiteness ratio on graph limits, and Cheeger constants on Riemannian manifolds. We further establish the $L^p$ integration of a family of Choquet-type extensions, and apply it to derive spectral bounds for conductance and other combinatorial quantities on measure spaces. A monotonicity inequality on min-max extension constants is proposed, which unifies classical estimates and uncovers new bounds for many geometric and combinatorial quantities, such as torsional rigidity, Cheeger constants, Dirichlet $p$-isoperimetric constant, and $p$-Laplacian eigenvalues, in seemingly unrelated underlying structures----including hypergraphs, graph limits, Riemannian manifolds and metric measure spaces.
On $k$-limited domination: complexity and Cartesian products
A dominating set is called $k$-limited if every vertex in the set has at most $k$ neighbors outside it. The minimum cardinality among all $k$-limited dominating sets of a graph $G$ is the $k$-limited domination number, denoted by $γ_k^{\mathrm L}(G)$. We prove that, for every fixed integer $k\ge 2$, deciding whether a graph admits a $k$-limited dominating set of size at most $\ell$ is $\mathsf{NP}$-complete. In addition, a systematic study of $k$-limited domination in Cartesian products is initiated. In particular, we establish general lower and upper bounds for $γ_k^{\mathrm L}(G\square H)$, show that both are sharp, and derive exact values for several natural families of graph products.
A Structural Approach to Burning Number
Graph burning is a deterministic discrete-time process that models the propagation of information within a network as a set of fires that spread in a graph. The associated graph parameter, the burning number, measures the speed of that spread. The smaller the burning number of a graph is, the faster information spreads in the corresponding network. In this paper, we mainly study the burning number from a structural point of view. In particular, we structurally characterize all graphs with burning number 2. We then proceed to compute the burning number of split graphs and $\{ K_2+2K_1, P_4, C_4\}$-free graphs. In particular, we show that connected split graphs and connected $\{ K_2+2K_1, P_4, C_4\}$-free graphs are well-burnable. Lastly, we provide a blueprint on how to investigate the burning number of a given social network.
Merge Trees of Length-Filtered Lattice Knot Spaces
We study lattice-filtered move graphs as finite-state models for knot types under a length cap. At level $N$, vertices are lattice polygons of a fixed knot type with length at most $N$, modulo orientation-preserving lattice isometries, and edges are local moves. The first level at which two initial components become connected defines a discrete merge scale; after subtracting the birth level it is an ultrapseudometric. For the standard BFACF moves on the simple cubic lattice, the theorem of Janse van Rensburg and Whittington gives connectivity without a cap; our question is the least cap connecting a prescribed pair, and explicit BFACF paths serve as finite PL isotopy certificates. We completely determine the minimal-layer merge trees of the amphichiral knots $4_1$ and $6_3$. The $152$ minimal $4_1$ classes form four components of sizes $58,58,18,18$ at $N=30$ and a single component at $N=32$, so the merge tree is $4\to1$ with barrier $2$. The $148$ minimal $6_3$ classes form twelve components at $N=40$, exchanged in pairs by reflection; at $N=42$ they merge into two mirror components, each with $74$ minimal classes and $12337$ states, and a verified path joins them at $N=44$. Hence the merge tree is $12\to2\to1$ with possible barriers $0,2,4$. Independently verified seed-to-mirror certificates realize the extremal barriers $2$ for $4_1$ and $4$ for $6_3$. Checks for the trefoil, the five-crossing prime knots and composite trefoils are included as reproducibility tests.
Hamiltonicity of inhomogeneous random graphs
We provide a complete characterization of those graphons $W$ for which the inhomogeneous random graph \(\G(n,W)\) is asymptotically almost surely Hamiltonian. The characterization involves three conditions. Two of them constitute the characterization of $\G(n,W)$ being a.a.s.\ connected, as was shown recently by Hladký and Viswanathan. The third condition captures a geometric obstacle which prevents $\G(n,W)$ from having perfect fractional matchings. A prominent feature of the positive direction of our proof is the use of weak* limits to translate the absence of the above geometric obstacle into favourable matching properties of a regularization of $\G(n,W)$.