graph
35150 papers tagged with this keyword
Arboreal Ultrametrics
Ultametrics are an important class of distances used in applications such as phylogenetics, clustering and classification theory. Ultrametrics are essentially distances that can be represented by an edge-weighted rooted tree so that all of the distances in the tree from the root to any leaf of the tree are equal. In this paper, we introduce a generalization of ultrametrics called arboreal ultrametrics which have applications in phylogenetics and also arise in the theory of distance-hereditary graphs. These are partial distances, that is distances that are not necessarily defined for every pair of elements in the groundset, that can be represented by an ultrametric arboreal network, that is, an edge-weighted rooted network whose underlying graph is a tree. As with ultrametrics all of the distances in the ultrametric arboreal network from any root to any leaf below it are are equal but, in contrast, the network may have more than one root. In our two main results we characterize when a partial distance is an arboreal ultrametric as well as proving that, somewhat surprisingly, given any unrooted edge-weighted phylogenetic tree there is a necessarily unique way to insert roots into this tree so as to obtain an arboreal ultrametric.
Stability results for Berge-matching in hypergraphs
Given a graph $F$, a hypergraph is called a Berge-$F$ if it can be obtained by expanding each edge of $F$ into a hyperedge containing it. Let $M_{k}$ denote the matching of size $k$. Kang, Ni, and Shan [12] determined the Turán number of Berge-$M_k$. Our main result shows that if an $r$-uniform hypergraph $H$ on $n$ vertices has nearly as many edges as the extremal in their theorem without containing $M_k$, then $H$ must be structurally close to certain well-specified graphs. Meanwhile, our result also implies several stability results, such as the stability version of the well-known Erdős-Gallai theorem (Erdős and Gallai, 1959 [5]).
Neural Algorithmic Reasoning for Approximate $k$-Coloring with Recursive Warm Starts
Published
• View Publication
• BIB
Node coloring is the task of assigning colors to the nodes of a graph such that no two adjacent nodes have the same color, while using as few colors as possible. It is the most widely studied instance of graph coloring and of central importance in graph theory; major results include the Four Color Theorem and work on the Hadwiger-Nelson Problem. As an abstraction of classical combinatorial optimization tasks, such as scheduling and resource allocation, it is also rich in practical applications. Here, we focus on a relaxed version, approximate $k$-coloring, which is the task of assigning at most $k$ colors to the nodes of a graph such that the number of edges whose vertices have the same color is approximately minimized. While classical approaches leverage mathematical programming or SAT solvers, recent studies have explored the use of machine learning. We follow this route and explore the use of graph neural networks (GNNs) for node coloring. We first present an optimized differentiable algorithm that improves a prior approach by Schuetz et al. with orthogonal node feature initialization and a loss function that penalizes conflicting edges more heavily when their endpoints have higher degree; the latter inspired by the classical result that a graph is $k$-colorable if and only if its $k$-core is $k$-colorable. Next, we introduce a lightweight greedy local search algorithm and show that it may be improved by recursively computing a $(k-1)$-coloring to use as a warm start. We then show that applying such recursive warm starts to the GNN approach leads to further improvements. Numerical experiments on a range of different graph structures show that while the local search algorithms perform best on small inputs, the GNN exhibits superior performance at scale. The recursive warm start may be of independent interest beyond graph coloring for local search methods for combinatorial optimization.
Basis Number of Graphs Excluding Minors
The basis number of a graph $G$ is the minimum $k$ such that the cycle space of $G$ is generated by a family of cycles using each edge at most $k$ times. A classical result of Mac Lane states that planar graphs are exactly graphs with basis number at most 2, and more generally, graphs embedded on a fixed surface of bounded genus are known to have bounded basis number. Generalising this, we prove that graphs excluding a fixed minor $H$ have bounded basis number. Our proof uses the Graph Minor Structure Theorem, which requires us to understand how basis number behaves in tree-decompositions. In particular, we prove that graphs of treewidth $k$ have basis number bounded by some function of $k$. We handle tree-decompositions using the proof framework developed by Bojańczyk and Pilipczuk in their proof of Courcelle's conjecture. Combining our approach with independent results of Miraftab, Morin and Yuditsky (2025) on basis number and path-decompositions, one can moreover improve our upper bound to a polynomial one: there exists an absolute constant $c>0$ such that every $H$-minor free graph has basis number $O(|H|^c)$.
Some recent results in Ramsey theory
Published
• View Publication
• BIB
The purpose of this survey is to provide a gentle introduction to several recent breakthroughs in graph Ramsey theory. In particular, we will outline the proofs (due to various groups of authors) of exponential improvements to the diagonal, near-diagonal, and multicolour Ramsey numbers, improved lower bounds on $R(3,k)$ and $R(4,k)$, and an exponential upper bound on the induced Ramsey numbers.
Four Dominion Growth Regimes in Trees: Forcing, Fibonacci Enumeration, Periodicity, and Stability
We study the dominion zeta(G), defined as the number of minimum dominating sets of a graph G, and analyze how local forcing and boundary effects control the flexibility of optimal domination in trees. For path-based pendant constructions, we identify a sharp forcing threshold: attaching a single pendant vertex to each path vertex yields complete independence with zeta = 2^gamma, whereas attaching two or more pendant vertices forces a unique minimum dominating set. Between these extremes, sparse pendant patterns produce intermediate behavior: removing endpoint pendants gives zeta = 2^(gamma - 2), while alternating pendant attachments induce Fibonacci growth zeta asymptotic to phi^gamma, where phi is the golden ratio. For complete binary trees T_h, we establish a rigid period-3 law zeta(T_h) in {1, 3} despite exponential growth in |V(T_h)|. We further prove a sharp stability bound under leaf deletions, zeta(T_h - X) <= 2^{m_1(X)} zeta(T_h), where m_1(X) counts parents that lose exactly one child; in particular, deleting a single leaf preserves the domination number and exactly doubles the dominion.
Exact Dominion of the Prism Graph: Enumeration by Congruence Class via Cyclic Words
Published
• View Publication
• BIB
Let G_n = C_n square P_2 denote the prism (circular ladder) graph on 2n vertices. By encoding column configurations as cyclic words, domination is reduced to local Boolean constraints on adjacent factors. This framework yields explicit formulas for the dominion zeta(G_n), stratified by n mod 4, with the exceptional cases n in {3, 6} confirmed computationally. Together with the known domination numbers gamma(G_n), these results expose distinct arithmetic regimes governing optimal domination, ranging from rigid forcing to substantial enumerative flexibility, and motivate quantitative parameters for assessing structural robustness in parametric graph families.
On structural properties of some probable $R(3, 10)$-critical graphs
The Ramsey number $R(s, t)$ is the smallest positive integer $n$ such that every graph on $n$ vertices contains either a clique of size $s$ or an independent set of size $t$. An $R(s,t)$-critical graph is a graph on $R(s,t)-1$ vertices that contains neither a clique of size $s$ nor an independent set of size $t$. It is known that $40\leq R(3, 10)\leq 42$. We study the structure of a $R(3,10)$-critical graphs by assuming $R(3, 10)=42$. We show that if such a graph exists then its minimum degree and vertex connectivity are the same and is $6, 7$ or $8$. Then we find all the possible degree sequences of such graphs. Further, we show that if such a graph exists, then its diameter is either $2$ or $3$, and if it has diameter $2$ and minimum degree $6$, then it has only $21$ choices for its degree sequence.
Stability of the Strong Domination Number of Graphs
This paper introduces and studies the stability of the strong domination number of a graph, denoted $\operatorname{st}_{γ_{st}}(G)$, defined as the minimum number of vertices whose removal changes the strong domination number $γ_{st}(G)$. We determine exact values of this stability parameter for several fundamental graph classes, including paths, cycles, wheels, complete bipartite graphs, friendship graphs, book graphs, and balanced complete multipartite graphs. General bounds on $\operatorname{st}_{γ_{st}}(G)$ are established, along with a Nordhaus Gaddum type inequality. The behavior of stability under graph operations such as join, corona, and Cartesian product is also investigated. Structural characterizations of graphs with given stability values are provided, and several open problems and directions for future research are outlined.
The reverse mathematics of Brooks' theorem
This is an analysis of the status of Brooks' Theorem, a celebrated result in graph coloring, from the point of view of Reverse Mathematics. We prove that the restriction of Brooks' theorem to bounded graphs of degree greater than or equal to $3$ is provable in $\mathsf{RCA}_0$, while the statement for arbitrary graphs is equivalent to $\mathsf{WKL}_0$ over $\mathsf{RCA}_0$. Brooks' Theorem for degree $2$, even when restricted to bounded graphs, is equivalent to $\mathsf{WKL}_0$ over $\mathsf{RCA}_0$.
Trade-off between spread and width for tree decompositions
We study the trade-off between (average) spread and width in tree decompositions, answering several questions from Wood [arXiv:2509.01140]. The spread of a vertex $v$ in a tree decomposition is the number of bags that contain $v$. Wood asked for which $c>0$, there exists $c'$ such that each graph $G$ has a tree decomposition of width $c\cdot tw(G)$ in which each vertex $v$ has spread at most $c'(d(v)+1)$. We show that $c\geq 2$ is necessary and that $c>3$ is sufficient. Moreover, we answer a second question fully by showing that near-optimal average spread can be achieved simultaneously with width $O(tw(G))$.
Recovering of the Grassmann graph from the subgraph of non-degenerate subspaces
Let ${\mathbb F}$ be a (not necessarily finite) field. A subspace of the vector space ${\mathbb F}^n$ is called {\it non-degenerate} if it is not contained in a coordinate hyperplane. We show that the Grassmann graph of $k$-dimensional subspaces of ${\mathbb F}^n$, $1<k<n-1$, can be recovered from the subgraph of non-degenerate subspaces if $|{\mathbb F}|>n-k$. In the case when ${\mathbb F}={\mathbb F}_q$ is the field of $q$ elements, this subgraph is known as the graph of non-degenerate linear $[n,k]_q$ codes.
Metric general position extensions of classical graph invariants
We introduce a two-parameter framework that refines several classical graph invariants by imposing higher-order constraints along bounded-length geodesics. For integers $k,d\ge1$, a vertex set is called $k,d$-independent if every shortest path of length at most $d$ contains fewer than $k$ vertices of the set, giving rise to corresponding $k,d$-independence, chromatic, clique, and domination invariants. We develop a general framework for these parameters by associating each graph with a $k$-uniform hypergraph that encodes its geodesic structure. We then establish basic bounds and monotonicity properties, and introduce a notion of $k,d$-perfection extending the classical theory of perfect graphs. Exact formulas are obtained for the $k,d$-chromatic number of paths and cycles. In particular, all paths are $k,d$-perfect for all parameters, while cycles admit a complete classification of $k,d$-perfection that recovers the classical case when $k=2$ and exhibits new periodic and finite-exception behavior for $k\ge3$. We further investigate the interaction between $k,d$-invariants and graph powers, showing that while the $k=2$ case reduces to graph powers in a straightforward way, substantially different behavior arises for higher values of $k$, even for powers of paths.
Affirmative Results on a Conjecture on the Column Space of the Adjacency Matrix
The Akbari-Cameron-Khosrovshahi (ACK) conjecture, which appears to be unresolved, states that for any simple graph $G$ with at least one edge, there exists a nonzero {$\{0,1\}$}-vector in the row space of its adjacency matrix that is not a row of the matrix itself. In this talk, we present a unified framework that includes several families and operations of graphs that satisfy the ACK conjecture. Using these fundamental results, we introduce new graph constructions and demonstrate, through graph structural and linear algebraic arguments, that these constructions adhere to the conjecture. Further, we show that certain graph operations preserve the ACK property. These results collectively expand the known classes of graphs satisfying the conjecture and provide insight into its structural invariance under composition and extension.
Constructing Cospectral Vertices Through Orbits of Subgraphs
Published
• View Publication
• BIB
A constructive method is given for obtaining cospectral vertices in undirected graphs, along with an operation that preserves this construction. We prove that the construction yields cospectral vertices, as well as strongly cospectral vertices under additional conditions. Furthermore, we generalize cospectral vertices to the case of the graph Laplacian and provide an analogous construction.
Transducing Linear Decompositions of Tournaments
Bojańczyk, Pilipczuk, and Grohe [LICS '18] proved that for graphs of bounded linear clique-width, clique-decompositions of bounded width can be produced by a CMSO transduction. We show that in the case of tournaments, a first-order transduction suffices. This implies that the logics CMSO and existential MSO are equivalent over bounded linear clique-width tournaments.
Total isolation game in graphs
The total isolation game is played on a graph $G$ by two players who take turns playing a vertex such that if $S$ is the set of already played vertices, then a vertex can be selected only if it is adjacent to a vertex that belongs to a (nontrivial) component of the graph $G - N_G(S)$ of order at least $2$ or a vertex that is isolated in $G - N_G(S)$ and belongs to the set $S$, where $N_G(S)$ is the set of vertices adjacent to a vertex in $S$. Dominator wishes to finish the game with the minimum number of played vertices, while Staller has the opposite goal. The game total isolation number $ι_{\rm gt}(G)$ is the number of moves in the Dominator-start game where both players play optimally. We prove that if $G$ is a connected graph of order $n \ge 3$, then $ι_{\rm gt}(G) < \frac{5}{6}n$. Furthermore if $G$ has minimum degree at least $2$, then we prove that $ι_{\rm gt}(G) \le \frac{3}{4}n$. More generally, if $G$ is a connected graph of order $n \ge 3$ with minimum degree $δ$ where $δ\ge 2$, then we prove that $ι_{\rm gt}(G) \le \left( \frac{2δ-1}{3δ-2} \right) n$. Among other results it is proved that if $G$ is a graph of order $n$ with diameter $2$, then $ι_{\rm gt}(G) \le \frac{2}{3}n$.
Semi-Inducibility of some small graphs
Let $H$ be a fixed graph whose edges are colored red and blue and let $β\in [0,1]$. Let $I(H, β)$ be the (asymptotically normalized) maximum number of copies of $H$ in a large red/blue edge-colored complete graph $G$, where the density of red edges in $G$ is $β$. This refines the problem of determining the semi-inducibility of $H$, which is itself a generalization of the classical question of determining the inducibility of $H$. The function $I(H, β)$ for $β\in [0,1]$ was not known for any graph $H$ on more than three vertices, except when $H$ is a monochromatic clique (Kruskal-Katona) or a monochromatic star (Reiher-Wagner). We obtain sharp results for some four and five vertex graphs, addressing several recent questions posed by various authors. We also obtain some general results for trees and stars. Many open problems remain.
The point-thicknesses of complete graphs and complete multipartite graphs
The point-thickness $θ'(G)$ of a graph $G$ is the minimum number of subsets into which the vertex set $V(G)$ of $G$ is partitioned such that each subset induces a planar subgraph. In this paper, we determine the point-thicknesses of complete graphs and complete multipartite graphs.
Parity-Dependent Real-Rootedness in Independence Polynomials of Generalized Petersen Graphs
We investigate the distribution of zeros of the independence polynomial ${\rm I}(G, x)$ for the family of Generalized Petersen graphs ${\rm GP}(n, k)$ in the complex plane. While the independence numbers and coefficients of these graphs have been studied, the global behavior of their roots remains largely unexplored. Using an exact transfer matrix algorithm parameterized by $k$, we compute ${\rm I}({\rm GP}(n,k), x)$ for $n$ up to $30$ and $k \in \{1, 2, 3, 4\}$. Our numerical analysis reveals a striking parity-based dichotomy: for odd $k$, the roots exhibit complex conjugate structures accumulating on closed curves, whereas for even $k$, the roots appear to be strictly real and negative. Motivated by this evidence, we conjecture that ${\rm I}({\rm GP}(n,k), x)$ is real-rooted, and hence log-concave, if and only if $k$ is even. This phenomenon connects algebraic properties of ${\rm GP}(n,k)$ to questions about zero-free regions and limiting behavior in the hard-core lattice gas model.