graph
34516 papers tagged with this keyword
Dean's conjecture and cycles modulo k
Dean conjectured three decades ago that every graph with minimum degree at least $k\ge 3$ contains a cycle whose length is divisible by $k$. While the conjecture has been verified for $k\in \{3,4\}$, it remains open for $k\ge 5$. A weaker version, also proposed by Dean, asserting that every $k$-connected graph contains a cycle of length divisible by $k$, was resolved by Gao, Huo, Liu, and Ma using the notion of admissible cycles.
In this paper, we resolve Dean's conjecture for all $k\ge 6$. In fact, we prove a stronger result by showing that every graph with minimum degree at least $k$ contains cycles of length $r \pmod k$ for every even integer $r$, unless every end-block belongs to a specific family of exceptional graphs, which fail only to contain cycles of length $2 \pmod k$. We also establish a strengthened result on the existence of admissible cycles. Our proof introduces two sparse graph families, called trigonal graphs and tetragonal graphs, which provide a flexible framework for studying path and cycle lengths and may be of independent interest.
On the stability, complexity, and distribution of similarity classes of the longest edge bisection process for triangles
The Longest Edge Bisection of a triangle is performed by joining the midpoint of its longest edge to the opposite vertex. Applying this procedure iteratively produces an infinite family of triangles. Surprisingly, a classical result of Stynes (1980) shows that for any initial triangle, this infinite family falls into finitely many similarity classes.
While the set of classes is finite, it turns out that a far smaller, stable subset of ``fat'' triangles effectively dominates the final mesh structure. We prove the following asymptotic area distribution result: for every initial triangle, the portion of area occupied by terminal quadruples tends to one, with the convergence occurring at an exponential rate. In fact, we provide the precise distribution of triangles in every step. We introduce the {\bf bisection graph} and use spectral methods to establish this result.
Given this dominance, we provide a complete characterization of triangles possessing a single terminal quadruple, while conversely exhibiting a sequence of triangles with an unbounded number of terminal quadruples. Furthermore, we reveal several fundamental geometric properties of the points of a terminal quadruple, laying the groundwork for studying the geometric distribution of the entire orbit. Our analysis leverages the hyperbolic geometry framework of Perdomo and Plaza (2014) and refines their techniques.
Bialgebraic structures on boolean functions
We study several bialgebraic structures on boolean functions, that is to say maps defined on the set of subsets of a finite set $X$, taking the value $0$ on $\emptyset$. Examples of boolean functions are given by the indicator function of the hyperedges of a given hypergraph, or the rank function of a matroid. We give the species of boolean functions a two-parameters family of products and a coproduct, and this defines a two-parameters family of twisted bialgebras. We then try to define a second coproduct on boolean functions, based on contractions, in order to obtain a double bialgebra. We show that this is not possible on the whole species of boolean functions, but that there exists a maximal subspecies where this is possible. This subspecies being rather mysterious, we introduce rigid boolean functions and show that this subspecies has indeed a second coproduct, as wished, and that it contains rank functions of matroids and indicator functions associated to hypergraphs. As a consequence, we obtain a unique polynomial invariant on rigid boolean functions, which is a generalization of the chromatic polynomial of graphs.
Area-universality in Outerplanar Graphs
A rectangular floorplan is a partition of a rectangle into smaller rectangles such that no four rectangles meet at a single point. Rectangular floorplans arise naturally in a variety of applications, including VLSI design, architectural layout, and cartography, where efficient and flexible spatial subdivisions are required. A central concept in this domain is that of area-universality: a floorplan (or more generally, a rectangular layout) is area-universal if, for any assignment of target areas to its constituent rectangles, there exists a combinatorially equivalent layout that realizes these areas.
In this paper, we investigate the structural conditions under which an outerplanar graph admits an area-universal rectangular layout. We establish a necessary and sufficient condition for area-universality in this setting, thereby providing a complete characterization of admissible outerplanar graphs. Furthermore, we present an algorithmic construction that guarantees that the resulting layout is always area-universal.
Gallai-Ramsey Numbers for $\ell$-Connected Graphs
Given a nonempty graph $G$, a collection of nonempty graphs $\cal{H}$, and a positive integer $k$, the Gallai-Ramsey number $\mathrm{gr}_k(G:\mathcal{H})$ is defined to be the minimum positive integer $n$ such that every exact $k$-edge-coloring of a complete graph $K_n$ contains either a rainbow copy of $G$ or a monochromatic copy of some element in $\mathcal{H}$. In this paper, we obtain some exact values and general lower and upper bounds for $\mathrm{gr}_k(G:\mathcal{F}^\ell)$, where $\mathcal{F}^\ell$ is the set of $\ell$-connected graphs and $G\in\{P_5, K_{1,3}\}$.
Basis Number and Pathwidth
We prove two results relating the basis number of a graph $G$ to path decompositions of $G$. Our first result shows that the basis number of a graph is at most four times its pathwidth. Our second result shows that, if a graph $G$ has a path decomposition with adhesions of size at most $k$ in which the graph induced by each bag has basis number at most $b$, then $G$ has basis number at most $b+O(k\log^2 k)$. The first result, combined with recent work of Geniet and Giocanti shows that the basis number of a graph is bounded by a polynomial function of its treewidth. The second result (also combined with the work of Geniet and Giocanti) shows that every $K_t$-minor-free graph has a basis number bounded by a polynomial function of $t$.
Structural properties of graphs and the Universal Difference Property
We study the Universal Difference Property (UDP) introduced by Altınok, Anders, Arreola, Asencio, Ireland, Sarıoğlan, and Smith, focusing on the relationship between the structural properties of a graph and UDP. We present condtions for when UDP must hold on unicyclic graphs. We then prove that if UDP does not hold on an edge-labeled graph, then it cannot hold on any subdivision of that graph. Additionally, we show that if an edge-labeled graph satisfies the pairwise edge-disjoint path property, then the graph satisfies UDP. Lastly, we explore the relationship between UDP and subgraphs and prove that trees and cycles are the only two families of connected graphs for which UDP must hold for any edge-labeling over any ring.
Achievable Burning Densities of Growing Grids
Graph burning is a discrete-time process on graphs where vertices are sequentially activated and burning vertices cause their neighbours to burn over time. In this work, we focus on a dynamic setting in which the graph grows over time, and at each step we burn vertices in the growing grid $G_n = [-f(n),f(n)]^2$. We investigate the set of achievable burning densities for functions of the form $f(n)=\lceil cn^α\rceil$, where $α\ge 1$ and $c>0$. We show that for $α=1$, the set of achievable densities is $[1/(2c^2),1]$, for $1<α<3/2$, every density in $[0,1]$ is achievable, and for $α=3/2$, the set of achievable densities is $[0,(1+\sqrt{6}c)^{-2}]$.
Wasserstein distances between ERGMs and Erdős-Rényi models
Ferromagnetic exponential random graph models (ERGMs) are random graph models under which the presence of certain small structures (such as triangles) is encouraged; they can be constructed by tilting an Erdős--Rényi model by the exponential of a particular nonlinear Hamiltonian. These models are mixtures of metastable wells which each behave macroscopically like an Erdős--Rényi model, exhibiting the same laws of large numbers for subgraph counts [CD13]. However, on the microscopic scale these metastable wells are very different from Erdős--Rényi models, with the total variation distance between the two measures tending to 1 [MX23]. In this article we clarify this situation by providing a sharp (up to constants) bound on the Hamming-Wasserstein distance between the two models, which is the average number of edges at which they differ, under the coupling which minimizes this average. In particular, we show that this distance is $Θ(n^{3/2})$, quantifying exactly how these models differ.
An upper bound of this form has appeared in the past [RR19], but this was restricted to the subcritical (high-temperature) regime of parameters. We extend this bound, using a new proof technique, to the supercritical (low-temperature) regime, and prove a matching lower bound which has only previously appeared in the subcritical regime of special cases of ERGMs satisfying a "triangle-free" condition [DF25]. To prove the lower bound in the presence of triangles, we introduce an approximation of the discrete derivative of the Hamiltonian, which controls the dynamical properties of the ERGM, in terms of local counts of triangles and wedges (two-stars) near an edge. This approximation is the main technical and conceptual contribution of the article, and we expect it will be useful in a variety of other contexts as well. Along the way, we also prove a bound on the marginal edge probability under the ERGM via a new bootstrapping argument. Such a bound has already appeared [FLSW25], but again only in the subcritical regime and using a different proof strategy.
Linear extensions and directed clique counts via modular partitions
Counting linear extensions is a fundamental problem in poset theory. It is known to be #P-complete, with polynomial-time formulas available in special cases. In this work, we develop new recursive formulas for counting linear extensions of posets whose modular partitions have particular structure. Specifically, we focus on posets whose incomparability graph has a modular partition with a skeleton that is a tree, a necklace of cliques, or a combination of both. The proofs are constructive and allow for the explicit generation of all linear extensions. We also discuss equivalent formulations of the problem in terms of permutations and directed graphs. The directed graph perspective is related to counting directed simplices in the directed flag complex of a digraph, with applications to understanding higher-order structure in neural circuits.
New Perspectives On The Unimodality Of Domination Polynomials
The domination polynomial of a graph $G$ is given by $D(G,x)=\sum_{k=0}^{n} d_k(G)x^k$ where $d_k(G)$ records the number of $k$-element dominating sets in $G$. A conjecture of Alikhani and Peng asserts that these polynomials have unimodal coefficient sequences. We develop three complementary perspectives that strengthen existing tools for resolving the conjecture. First, we view dominating sets as transversals of the closed neighborhood hypergraph. Motivated by the relationship between the unimodality of a polynomial and its roots, we use this perspective to expand on known root phenomena for domination polynomials. In particular, we obtain a bound on the modulus of domination roots that is linear in the maximum degree of a graph, improving related exponential bounds of Bencs, Csikvári and Regts. The hypergraph viewpoint also yields explicit combinatorial formulas for top coefficients of $D(G,x)$, extending formulas in the literature and offering fruitful ground for combinatorial approaches to the unimodality conjecture. Second, we strengthen the coefficient-ratio method of Beaton and Brown. This includes tightening their inequalities, and combining a union bound for non-dominating $k$-element sets with an overlap correction based on spanning trees. This produces a new parameter $τ_k(G)$ measuring maximal pairwise neighborhood overlap and yields an overlap-corrected sufficient criterion for unimodality. Third, we prove that the domination polynomial of threshold graphs are log-concave, and hence unimodal, by a planar network argument from total positivity. This offers a new tactic for resolving the unimodality of hereditary graph classes.
Total Prime Labelings of Various Graphs
A total prime labeling of a graph of order $n$ is an extension of a prime labeling in which we distinctly label the vertices and edges. The goal of the labeling is for adjacent vertex labels to be relatively prime, and for each vertex of degree at least two, the greatest common divisor of the labels on its incident edges is equal to 1. In this paper, we construct total prime labelings by extending known prime and minimum coprime labelings and by developing new constructions for various classes of graphs. In particular, we show that snakes, books, prisms, prime trees, certain families of windmills, and other families of graphs are total prime.
On Some Properties of Matrices with Entries Defined by Products of $k$-Fibonacci and $k$-Lucas Numbers
In this paper, we study a structured family of matrices whose entries are given by products of $k$-Fibonacci and $k$-Lucas numbers. For this family, we obtain explicit and unified formulas for several classical matrix invariants, including the determinant, inverse, trace, and matrix powers, revealing nontrivial algebraic patterns induced by the underlying recurrence relations. In addition, we determine the spectral radius and the energy of the graphs naturally associated with these matrices. Finally, we establish connections between the resulting formulas and certain integer sequences recorded in the On-Line Encyclopedia of Integer Sequences (OEIS).
Explicit Entropic Constructions for Coverage, Facility Location, and Graph Cuts
Shannon entropy is a polymatroidal set function and lies at the foundation of information theory, yet the class of entropic polymatroids is strictly smaller than the class of all submodular functions. In parallel, submodular and combinatorial information measures (SIMs) have recently been proposed as a principled framework for extending entropy, mutual information, and conditional mutual information to general submodular functions, and have been used extensively in data subset selection, active learning, domain adaptation, and representation learning. This raises a natural and fundamental question: are the monotone submodular functions most commonly used in practice entropic?
In this paper, we answer this question in the affirmative for a broad class of widely used polymatroid functions. We provide explicit entropic constructions for set cover and coverage functions, facility location, saturated coverage, concave-over-modular functions via truncations, and monotone graph-cut-type objectives. Our results show that these functions can be realized exactly as Shannon entropies of appropriately constructed random variables. As a consequence, for these functions, submodular mutual information coincides with classical mutual information, conditional gain specializes to conditional entropy, and submodular conditional mutual information reduces to standard conditional mutual information in the entropic sense. These results establish a direct bridge between combinatorial information measures and classical information theory for many of the most common submodular objectives used in applications.
An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
Razborov's flag algebra forms a powerful framework for deriving asymptotic inequalities between induced subgraph densities, underpinning many advances in extremal graph theory. This survey introduces flag algebra to computer scientists working in logic, programming languages, automated verification, and formal methods. We take a logical perspective on flag algebra and present it in terms of syntax, semantics, and proof strategies, in a style closer to formal logic. One popular proof strategy derives valid inequalities by first proving inequalities in a labelled variant of flag algebra and then transferring them to the original unlabelled setting using the so-called downward operator. We explain this strategy in detail and highlight that its transfer mechanism relies on the notion of what we call an adjoint pair, reminiscent of Galois connections and categorical adjunctions, which appear frequently in work on automated verification and programming languages. Along the way, we work through representative examples, including Mantel's theorem and Goodman's bound on Ramsey multiplicity, to illustrate how mathematical arguments can be carried out symbolically in the flag algebra framework.
Perfect codes in weakly metric association schemes
The Lloyd Theorem of (Solé, 1989) is combined with the Schwartz-Zippel Lemma of theoretical computer science to derive non-existence results for perfect codes in the Lee metric, NRT metric, mixed Hamming metric, and for the sum-rank distance. The proofs are based on asymptotic enumeration of integer partitions. The framework is the new concept of {\em polynomial} weakly metric association schemes.
A connection between this notion and the recent theory of multivariate P-polynomial schemes of ( Bannai et al. 2025) and of $m$-distance regular graphs ( Bernard et al 2025) is pointed out.
Hunting The Poles in the Staircases
Motivated by applications to the fractional quantum Hall effect and, in particular, to the Bernevig-Haldane conjectures, we investigates the behavior of Macdonald polynomials under specializations of the form q a t b = 1. Our main focus is to explain, in a simple and purely combinatorial way, why certain nonsymmetric Macdonald polynomials indexed by staircase vectors with steps of height a and width b remain regular at the specialization q a t b+1 = 1, despite the presence of potential poles in their rational coefficients. To this end, we introduce a set of combinatorial tools that track how poles are created or cancelled along paths in the Yang-Baxter graph. By carefully constructing paths from the zero vector to the staircase and analyzing the resulting denominators, we show that the absence of certain poles follows from intrinsic symmetries and cancellations encoded in the Yang-Baxter graph.
On the number of spanning trees of bicirculant graphs
A bi-Cayley graph over a cyclic group $\mathbb{Z}_n$ is called a bicirculant graph. Let
$Γ=BC(\mathbb{Z}_n; R,T,S)$ be a bicirculant graph with $R=R^{-1}\subseteq \mathbb{Z}_n\setminus \{0\}$ and $T=T^{-1}\subseteq \mathbb{Z}_n\setminus \{0\}$ and $S\subseteq \mathbb{Z}_n$. In this paper, using Chebyshev polynomials, we obtain a closed formula
for the number of spanning trees of bicirculant graph $Γ$, investigate some arithmetic properties of the number of spanning trees of $Γ$, and find its asymptotic behaviour as $n$ tends infinity. In addition,
we show that $F(x)=\sum_{n=1}^{\infty}τ(Γ)x^n$ is a rational function with integer coefficients.
Faster 3-colouring algorithm for graphs of diameter 3
We show that given an $n$-vertex graph $G$ of diameter 3 we can decide if $G$ is $3$-colourable in time $2^{O(n^{2/3-\varepsilon})}$ for any $\varepsilon < 1/33$. This improves on the previous best algorithm of $2^{O((n\log n)^{2/3})}$ from Dębski, Piecyk and Rzążewski [Faster 3-coloring of small-diameter graphs, ESA 2021].
Structured eigenbases and pair state transfer on threshold graphs
Recently, Macharete, Del-Vecchio, Teixeira and de Lima showed that a star and any threshold graph on the same number of vertices share the same eigenbasis relative to the Laplacian matrix. We use this fact to establish two main results in this paper. The first one is a characterization of threshold graphs that are \textit{simply structured}, i.e., their associated Laplacian matrices have eigenbases consisting of vectors with entries from the set $\{-1,0,1\}$. Then, we provide sufficient conditions such that a simply structured threshold graph is weakly Hadamard diagonalizable (WHD). This allows us to list all connected simply structured threshold graphs on at most 20 vertices, and identify those that are WHD. Second, we characterize Laplacian pair state transfer on threshold graphs. In particular, we show that the existence of Laplacian vertex state transfer and Laplacian pair state transfer on a threshold graph are equivalent if and only if it is not a join of a complete graph and an empty graph of certain sizes.