graph
34516 papers tagged with this keyword
Breaking Symmetry in Graphs by Resolving Sets
Let ${\rm dim}(G)$ and $D(G)$ respectively denote the metric dimension and the distinguishing number of a graph $G$. It is proved that $D(G) \le {\rm dim}(G)+1$ holds for every connected graph $G$. Among trees, exactly paths and stars attain the bound, and among connected unicyclic graphs such graphs are $t$-cycles for $t\in \{3,4,5\}$. It is shown that for any $1\leq n< m$, there exists a graph $G$ with $D(G)=n$ and ${\rm dim}(G)=m$. Using the bound $D(G) \le {\rm dim}(G)+1$, graphs with $D(G) = n(G)-2$ are classified.
Graphs of trigonal curves and rigid isotopies of singular real algebraic curves of bidegree $(4,3)$ on a hyperboloid
A rigid isotopy of real algebraic curves of a certain class is a path in the space of curves of this class. The paper's study completes the rigid isotopic classification of nonsingular real algebraic curves of bidegree (4,3) on a hyperboloid, begun by the author in earlier works. There are given the missing proofs of the uniqueness of the connected components for 16 classes of real algebraic curves of bidegree (4,3) having a single node or a cusp. The main technical tools are graphs of real trigonal curves on Hirzebruch surfaces.
Maximizing Satisfied Vertex Requests in List Coloring
Suppose $G$ is a graph and $L$ is a list assignment for $G$. A request of $L$ is a function $r$ with nonempty domain $D\subseteq V(G)$ such that $r(v) \in L(v)$ for each $v \in D$. The triple $(G,L,r)$ is $ε$-satisfiable if there exists a proper $L$-coloring $f$ of $G$ such that $f(v) = r(v)$ for at least $ε|D|$ vertices in $D$. We say $G$ is $(k, ε)$-flexible if $(G,L',r')$ is $ε$-satisfiable whenever $L'$ is a $k$-assignment for $G$ and $r'$ is a request of $L'$. It is known that a graph $G$ is not $(k, ε)$-flexible for any $k$ if and only if $ε> 1/ ρ(G)$ where $ρ(G)$ is the Hall ratio of $G$. The list flexibility number of a graph $G$, denoted $χ_{\ell flex}(G)$, is the smallest $k$ such that $G$ is $(k,1/ ρ(G))$-flexible. A fundamental open question on list flexibility numbers asks: Is there a graph with list flexibility number greater than its coloring number?
In this paper, we show that the list flexibility number of any complete multipartite graph $G$ is at most the coloring number of $G$. We also initiate the study of list epsilon flexibility functions of complete bipartite graphs which was first suggested by Kaul, Mathew, Mudrock, and Pelsmajer in 2024. Specifically, we completely determine the list epsilon flexibility function of $K_{m,n}$ when $m \in \{1,2\}$ and establish some additional bounds for small $m$. Our proofs reveal a connection to list coloring complete bipartite graphs with asymmetric list sizes which is a topic that was explored by Alon, Cambie, and Kang in 2021.
Maximal independent sets in graphs with given matching number
A maximal independent set in a graph $G$ is an independent set that cannot be extended to a larger independent set by adding any vertex from $G$. This paper investigates the problem of determining the maximum number of maximal independent sets in terms of the matching number of a graph. We establish the maximum number of maximal independent sets for general graphs, connected graphs, triangle-free graphs, and connected triangle-free graphs with a given matching number, and characterize the extremal graphs achieving these maxima.
Stable cuts, NAC-colourings and flexible realisations of graphs
A (2-dimensional) realisation of a graph $G$ is a pair $(G,p)$, where $p$ maps the vertices of $G$ to $\mathbb{R}^2$. A realisation is flexible if it can be continuously deformed while keeping the edge lengths fixed, and rigid otherwise. Similarly, a graph is flexible if its generic realisations are flexible, and rigid otherwise.
We show that a minimally rigid graph has a flexible realisation with positive edge lengths if and only if it is not a $2$-tree. This confirms a conjecture of Grasegger, Legerský and Schicho. Our proof is based on a characterisation of graphs with $n$ vertices and $2n-3$ edges and without stable cuts due to Le and Pfender. We also strengthen a result of Chen and Yu, who proved that every graph with at most $2n-4$ edges has a stable cut, by showing that every flexible graph has a stable cut.
Additionally we investigate the number of NAC-colourings in various graphs. A NAC-colouring is a type of edge colouring introduced by Grasegger, Legerský and Schicho, who showed that the existence of such a colouring characterises the existence of a flexible realisation with positive edge lengths. We provide an upper bound on the number of NAC-colourings for arbitrary graphs, and construct families of graphs, including rigid and minimally rigid ones, for which this number is exponential in the number of vertices.
Some bounds on the spectral radius of connected threshold graphs
The spectral radius of a graph is the spectral radius of its adjacency matrix. A threshold graph is a simple graph whose vertices can be ordered as $v_1, v_2, \ldots, v_n$, so that for each $2 \le i \le n$, vertex $v_i$ is either adjacent or nonadjacent simultaneously to all of $v_1, v_2, \ldots, v_{i-1}$. Brualdi and Hoffman initially posed and then partially solved the extremal problem of finding the simple graphs with a given number of edges that have the maximum spectral radius. This problem was subsequently completely resolved by Rowlinson. Here, we deal with the similar problem of maximizing the spectral radius over the set of connected simple graphs with a given number of vertices and edges. As shown by Brualdi and Solheid, each such extremal graph is necessarily a threshold graph. We investigate the spectral radii of threshold graphs by relying on computations involving lazy walks. Furthermore, we obtain three lower bounds and one upper bound on the spectral radius of a given connected threshold graph.
Coupling and Tensorization of Kinetic Theory and Graph Theory
We study a non-exchangeable multi-agent system and rigorously derive a strong form of the mean-field limit. The convergence of the connection weights and the initial data implies convergence of large-scale dynamics toward a deterministic limit given by the corresponding extended Vlasov PDE, at any later time and any realization of randomness. This is established on what we call a bi-coupling distance defined through a convex optimization problem, which is an interpolation of the optimal transport between measures and the fractional overlay between graphs. The proof relies on a quantitative stability estimate of the so-called observables, which are tensorizations of agent laws and graph homomorphism densities. This reveals a profound relationship between mean-field theory and graph limiting theory, intersecting in the study of non-exchangeable systems.
Coloring of some $(P_2\cup P_4)$-free graphs
We denote a path on $t$ vertices as $P_t$ and a cycle on $t$ vertices as $C_t$. For two vertex-disjoint graphs $G_1$ and $G_2$, the {\em union} $G_1\cup G_2$ is the graph with $V(G_1\cup G_2)=V(G_1)\cup V(G_2)$ and $E(G_1\cup G_2)=E(G_1)\cup E(G_2)$. A {\em diamond} (resp. {\em gem}) is a graph consisting of a $P_3$ (resp. $P_4$) and a new vertex adjacent to all vertices of the $P_3$ (resp. $P_4$), and a {\em butterfly} is a graph consisting of two triangles that share one vertex. In this paper, we show that $χ(G)\le 3ω(G)-2$ if $G$ is a ($P_2\cup P_4$, gem)-free graph, $χ(G)\le \frac{ω(G)^2+3ω(G)-2}{2}$ if $G$ is a ($P_2\cup P_4$, butterfly)-free graph. We also study the class of ($P_2\cup P_4$, diamond)-free graphs, and show that, for such a graph $G$, $χ(G)\leq4$ if $ω(G)=2$, $χ(G)\leq7$ if $ω(G)=3$, $χ(G)\leq9$ if $ω(G)=4$, and $χ(G)\leq2ω(G)-1$ if $ω(G)\ge 5$. Moreover, we prove that $G$ is perfect if $G$ is ($P_2\cup P_4$, diamond, $C_5$)-free with $ω(G)\geq5$.
Large Induced Subgraphs of Bounded Degree in Outerplanar and Planar Graphs
In this paper, we study the following question. Let $\mathcal G$ be a family of planar graphs and let $k\geq 3$ be an integer. What is the largest value $f_k(n)$ such that every $n$-vertex graph in $\mathcal G$ has an induced subgraph with degree at most $k$ and with $f_k(n)$ vertices? Similar questions, in which one seeks a large induced forest, or a large induced linear forest, or a large induced $d$-degenerate graph, rather than a large induced graph of bounded degree, have been studied for decades and have given rise to some of the most fascinating and elusive conjectures in Graph Theory. We tackle our problem when $\mathcal G$ is the class of the outerplanar graphs or the class of the planar graphs. In both cases, we provide upper and lower bounds on the value of $f_k(n)$. For example, we prove that every $n$-vertex planar graph has an induced subgraph with degree at most $3$ and with $\frac{5n}{13}>0.384n$ vertices, and that there exist $n$-vertex planar graphs whose largest induced subgraph with degree at most $3$ has $\frac{4n}{7}+O(1)<0.572n+O(1)$ vertices.
Construction of directed strongly regular graphs via their orbit matrices and genetic algorithm
In this paper, we introduce orbit matrices of directed strongly regular graphs (DSRGs). Further, we propose a method of constructing directed strongly regular graphs with prescribed automorphism group using genetic algorithm. In the construction, we use orbit matrices, i.e. quotient matrices related to equitable partitions of adjacency matrices of putative directed strongly regular graphs induced by an action of a prescribed automorphism group. Further, we apply this method to construct directed strongly regular graphs with parameters $(36,10,5,2,3)$, $(52,12,3,2,3)$, $(52,15,6,5,6)$, $(55,20,8,6,8)$ and $(55,24,12,11,10)$.
On the Spread of Graph-Related Matrices
The spread of a real symmetric matrix is defined as the difference between its largest and smallest eigenvalue. The study of graph-related matrices has attracted considerable attention, leading to a substantial body of findings. In this paper, we investigate a general spread problem related to $A_α$-matrix of graphs. The $A_α$-matrix of a graph $G$, introduced by Nikiforov in 2017, is a convex combinations of its diagonal degree matrix $D(G)$ and adjacency matrix $A(G)$, defined as $A_α (G) = αD(G) + (1-α) A(G)$. Let $λ_1^{(α)} (G)$ and $λ_n^{(α)} (G)$ denote the largest and smallest eigenvalues of $A_α (G)$, respectively. We determined the unique graph that maximizes $λ^{(α)}_1 (G) - β\cdotλ^{(γ)}_n (G)$ among all connected $n$-vertex graphs for sufficiently large $n$, where $0 \leq α< 1$, $1/2\leq γ< 1$ and $0<βγ\leq 1$. As an application, we confirm a conjecture proposed by Lin, Miao, and Guo [Linear Algebra Appl. 606 (2020) 1--22]. In addition, one of main results in [SIAM J. Discrete Math. 38 (2024) 590--608] is a simple corollary of our result by choosing $α= γ= 1/2$ and $β= 1$.
Sparse induced subgraphs in $P_7$-free graphs of bounded clique number
Many natural computational problems, including e.g. Max Weight Independent Set, Feedback Vertex Set, or Vertex Planarization, can be unified under an umbrella of finding the largest sparse induced subgraph, that satisfies some property definable in CMSO$_2$ logic.
It is believed that each problem expressible with this formalism can be solved in polynomial time in graphs that exclude a fixed path as an induced subgraph.
This belief is supported by the existence of a quasipolynomial-time algorithm by Gartland, Lokshtanov, Pilipczuk, Pilipczuk, and Rzążewski [STOC 2021], and a recent polynomial-time algorithm for $P_6$-free graphs by Chudnovsky, McCarty, Pilipczuk, Pilipczuk, and Rzążewski [SODA 2024].
In this work we extend polynomial-time tractability of all such problems to $P_7$-free graphs of bounded clique number.
Asymptotically Enumerating Independent Sets in Regular $k$-Partite $k$-Uniform Hypergraphs
The number of independent sets in regular bipartite expander graphs can be efficiently approximated by expressing it as the partition function of a suitable polymer model and truncating its cluster expansion. While this approach has been extensively used for graphs, surprisingly little is known about analogous questions in the context of hypergraphs. In this work, we apply this method to asymptotically determine the number of independent sets in regular $k$-partite $k$-uniform hypergraphs which satisfy natural expansion properties. The resulting formula depends only on the local structure of the hypergraph, making it computationally efficient. In particular, we provide a simple closed-form expression for linear hypergraphs.
Long induced paths and forbidden patterns: Polylogarithmic bounds
Published in SIAM Journal on Discrete Mathematics 40(1) (2026), 52-81
• View Publication
• BIB
Consider a graph $G$ with a long path $P$. When is it the case that $G$ also contains a long induced path? This question has been investigated in general as well as within a number of different graph classes since the 80s. We have recently observed in a companion paper (Long induced paths in sparse graphs and graphs with forbidden patterns, arXiv:2411.08685, 2024) that most existing results can recovered in a simple way by considering forbidden ordered patterns of edges along the path $P$. In particular we proved that if we forbid some fixed ordered matching along a path of order $n$ in a graph $G$, then $G$ must contain an induced path of order $(\log n)^{Ω(1)}$. Moreover, we completely characterized the forbidden ordered patterns forcing the existence of an induced path of polynomial size.
The purpose of the present paper is to completely characterize the ordered patterns $H$ such that forbidding $H$ along a path $P$ of order $n$ implies the existence of an induced path of order $(\log n)^{Ω(1)}$. These patterns are star forests with some specific ordering, which we called constellations.
As a direct consequence of our result, we show that if a graph $G$ has a path of length $n$ and does not contain $K_t$ as a topological minor, then $G$ contains an induced path of order $(\log n)^{Ω(1/t \log^2 t)}$. The previously best known bound was $(\log n)^{f(t)}$ for some unspecified function $f$ depending on the Topological Minor Structure Theorem of Grohe and Marx (2015).
A hypergraph bandwidth theorem
A cornerstone of extremal graph theory due to Erdős and Stone states that the edge density which guarantees a fixed graph $F$ as subgraph also asymptotically guarantees a blow-up of $F$ as subgraph. It is natural to ask whether this phenomenon generalises to vertex-spanning structures such as Hamilton cycles. This was confirmed by Böttcher, Schacht and Taraz for graphs in the form of the Bandwidth Theorem. Our main result extends the phenomenon to hypergraphs.
A graph on $n$ vertices that robustly contains a Hamilton cycle must satisfy certain conditions on space, connectivity and aperiodicity. Conversely, we show that if these properties are robustly satisfied, then all blow-ups of cycles on $n$ vertices with clusters of size at most $\operatorname{poly}(\log \log n)$ are guaranteed as subgraphs. This generalises to powers of cycles and to the hypergraph setting.
As an application, we recover a series of classic results and recent breakthroughs on Hamiltonicity under degree conditions, which are then immediately upgraded to blown up versions. The proofs are based on a new setup for embedding large substructures into dense hypergraphs, which is of independent interest and does not rely on the Regularity Lemma or the Absorption Method.
An Optimization Approach to Degree Deviation and Spectral Radius
For a finite, simple, and undirected graph $G$ with $n$ vertices and average degree $d$, Nikiforov introduced the degree deviation of $G$ as $s=\sum_{u\in V(G)}\left|d_G(u)-d\right|$. Provided that $G$ has largest eigenvalue $λ$, minimum degree at least $δ$, and maximum degree at most $Δ$, where $0\leqδ<d<Δ<n$, we show $$s\leq \frac{2n(Δ-d)(d-δ)}{Δ-δ} \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\mbox{and}\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, λ\geq \begin{cases} \frac{d^2n}{\sqrt{d^2n^2-s^2}} & \mbox{, if } s\leq \frac{dn}{\sqrt{2}},\\[3mm] \frac{2s}{n} & \mbox{, if } s> \frac{dn}{\sqrt{2}}. \end{cases}$$ Our results are based on a smoothing technique relating the degree deviation and the largest eigenvalue to low-dimensional non-linear optimization problems.
The hypergraph removal process
Let $k\geq 2$ and fix a $k$-uniform hypergraph $\mathcal{F}$. Consider the random process that, starting from a $k$-uniform hypergraph $\mathcal{H}$ on $n$ vertices, repeatedly deletes the edges of a copy of $\mathcal{F}$ chosen uniformly at random and terminates when no copies of $\mathcal{F}$ remain. Let $R(\mathcal{H},\mathcal{F})$ denote the number of edges that are left after termination. We show that $R(\mathcal{H},\mathcal{F})=n^{k-1/ρ\pm o(1)}$, where $ρ:=(\lvert E(\mathcal{F})\rvert-1)/(\lvert V(\mathcal{F})\rvert -k)$, holds with high probability provided that $\mathcal{F}$ is strictly $k$-balanced and $\mathcal{H}$ is sufficiently dense with pseudorandom properties. Since we may in particular choose $\mathcal{F}$ and $\mathcal{H}$ to be complete graphs, this confirms the major folklore conjecture in the area in a very strong form.
Ancient caloric functions and parabolic frequency on graphs
We study ancient solutions to discrete heat equations on some weighted graphs. On a graph of the form of a product with $\bb Z,$ we show that there are no non-trivial ancient solutions with polynomial growth. This result is parallel to the case of finite graphs, which is also discussed. Along the way, we prove a backward uniqueness result for solutions with appropriate decaying rate based on a monotonicity formula of parabolic frequency.
Rainbow Arborescence Conjecture
The famous Ryser--Brualdi--Stein conjecture asserts that every $k \times k$ Latin square contains a partial transversal of size $k-1$. Since its appearance, the conjecture has attracted significant interest, leading to several proposed generalizations. One of the most notable of these, by Aharoni, Kotlar, and Ziv, conjectures that $k$ disjoint common bases of two matroids of rank $k$ have a common independent partial transversal of size $k-1$. Although simple counterexamples show that the size $k-1$ above cannot be improved to $k$ (i.e., a transversal instead of a partial transversal), it is remarkable that no such counterexample is known for the special case of spanning arborescences. This motivated the formulation of the Rainbow Arborescence Conjecture: any graph on $n$ vertices formed by the union of $n-1$ spanning arborescences contains an arborescence using exactly one arc from each.
We prove several partial results on this conjecture. We show that the computational problem of testing the existence of such an arborescence with a fixed root is NP-complete, verify the conjecture in several special cases, and study relaxations of the problem. In particular, we establish the validity of the conjecture when the underlying undirected graph is a cycle; this also yields a new result on systems of distinct representatives for intervals on a cycle.
Hamiltonian decompositions of the wreath product of hamiltonian decomposable digraphs
We affirm most open cases of a conjecture that first appeared in Alspach et al. (1987) which stipulates that the wreath (lexicographic) product of two hamiltonian decomposable directed graphs is also hamiltonian decomposable. Specifically, we show that the wreath product of a hamiltonian decomposable directed graph $G$, such that $|V(G)|$ is even and $|V(G)|\geqslant 2$, with a hamiltonian decomposable directed graph $H$, such that $|V(H)| \geqslant 4$, is also hamiltonian decomposable except possibly when $G$ is a directed cycle and $H$ is a directed graph of odd order that admits a decomposition into $c$ directed hamiltonian cycle where $c$ is odd and $3\leqslant c \leqslant |V(H)|-2$.