graph
35411 papers tagged with this keyword
Generalization of Menger's Edge Theorem to Four Vertices
Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there exist $k$ pairwise summand-disjoint formal sums of edges with coefficients in $\mathbb{F}_2$, each one of which is mapped by the boundary map to the sum of vertices $A$ and $B$, if and only if after a deletion of any $k-1$ or less edges there still exist a formal sum of edges with coefficients in $\mathbb{F}_2$ which is mapped by the boundary map to $A+B$.
We extend this result to four vertices $A,B,C,D$. We prove that in an undirected graph, in which all the vertices different from $A,B,C,D$ have even degrees, the following two statements are equivalent: There exist $k$ pairwise summand-disjoint formal sums of edges with coefficients in $\mathbb{F}_2$, each one of which is mapped by the boundary map to $A+B+C+D$; After a deletion of any $k-1$ or less edges there still exists a formal sum of edges with coefficients in $\mathbb{F}_2$ which is mapped by the boundary map to $A+B+C+D$.
Equivalently, if after a deletion of any $k-1$ or less edges, the four vertices $A,B,C,D$ can be split into two pairs of vertices, and the two vertices in each pair then can be connected by a path so that these two paths are edge-disjoint, then the four vertices $A,B,C,D$ can be split $k$ times into two pairs of vertices and the two vertices in each one of these $2k$ pairs can then be connected by a path in such a way that all these $2k$ paths are pairwise edge-disjoint.
Forbidden induced subgraphs for graphs and signed graphs with eigenvalues bounded from below
Published in Forum of Mathematics, Sigma 13 (2025) e163
• View Publication
• BIB
The smallest eigenvalue of a graph is the smallest eigenvalue of its adjacency matrix. We show that the family of graphs with smallest eigenvalue at least $-λ$ can be defined by a finite set of forbidden induced subgraphs if and only if $λ< λ^*$, where $λ^* = ρ^{1/2} + ρ^{-1/2} \approx 2.01980$, and $ρ$ is the unique real root of $x^3 = x + 1$. This resolves a question raised by Bussemaker and Neumaier. As a byproduct, we find all the limit points of smallest eigenvalues of graphs, supplementing Hoffman's work on those limit points in $[-2, \infty)$.
We also prove that the same conclusion about forbidden subgraph characterization holds for signed graphs. Our impetus for the study of signed graphs is to determine the maximum cardinality of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Denote by $N_{α, β}(n)$ the maximum number of unit vectors in $\mathbb{R}^d$ where all pairwise inner products lie in $\{α, β\}$ with $-1 \le β< 0 \le α< 1$. Very recently Jiang, Tidor, Yao, Zhang and Zhao determined the limit of $N_{α, β}(d)/d$ as $d\to\infty$ when $α+ 2β< 0$ or $(1-α)/(α-β) \in \{1,\sqrt2,\sqrt3\}$, and they proposed a conjecture on the limit in terms of eigenvalue multiplicities of signed graphs. We establish their conjecture whenever $(1-α)/(α- β) < λ^*$.
Sandpile groups of supersingular isogeny graphs
Published
• View Publication
• BIB
Let $p$ and $q$ be distinct primes, and let $X_{p,q}$ be the $(q+1)$-regular graph whose nodes are supersingular elliptic curves over $\overline{\mathbb{F}}_p$ and whose edges are $q$-isogenies. For fixed $p$, we compute the distribution of the $\ell$-Sylow subgroup of the sandpile group (i.e.\ Jacobian) of $X_{p,q}$ as $q \to \infty$. We find that the distribution disagrees with the Cohen-Lenstra heuristic in this context. Our proof is via Galois representations attached to modular curves. As a corollary of our result, we give an upper bound on the probability that the Jacobian is cyclic, which we conjecture to be sharp.
The $r$-coloring and maximum stable set problem in hypergraphs with bounded matching number and edge size
Published in Discrete Mathematics, Volume 346, Issue 4, April 2023, 113342
• View Publication
• BIB
Motivated by the analogous questions in graphs, we study the complexity of coloring and stable set problems in hypergraphs with forbidden substructures and bounded edge size. Letting $ν(G)$ denote the maximum size of a matching in $H$, we obtain complete dichotomies for the complexity of the following problems parametrized by fixed $r, k, s \in \mathbb{N}$: $r$-Coloring in hypergraphs $G$ with edge size at most $k$ and $ν(G) \leq s$; $r$-Precoloring Extension in $k$-uniform hypergraphs $G$ with $ν(G) \leq s$; $r$-Precoloring Extension in hypergraphs $G$ with edge size at most $k$ and $ν(G) \leq s$; Maximum Stable Set in $k$-uniform hypergraphs $G$ with $ν(G) \leq s$; Maximum Weight Stable Set in $k$-uniform hypergraphs with $ν(G) \leq s$; as well as partial results for $r$-Coloring in $k$-uniform hypergraphs $ν(G) \leq s$.
We then turn our attention to $2$-Coloring in 3-uniform hypergraphs with forbidden induced subhypergraphs, and give a polynomial-time algorithm when restricting the input to hypergraphs excluding a fixed one-edge hypergraph. Finally, we consider linear 3-uniform hypergraphs (in which every two edges share at most one vertex), and show that excluding an induced matching in $G$ implies that $ν(G)$ is bounded by a constant; and that $3$-coloring linear $3$-uniform hypergraphs $G$ with $ν(G) \leq 532$ is NP-hard.
A counter-example to the probabilistic universal graph conjecture via randomized communication complexity
Published
• View Publication
• BIB
We refute the Probabilistic Universal Graph Conjecture of Harms, Wild, and Zamaraev, which states that a hereditary graph property admits a constant-size probabilistic universal graph if and only if it is stable and has at most factorial speed.
Our counter-example follows from the existence of a sequence of $n \times n$ Boolean matrices $M_n$, such that their public-coin randomized communication complexity tends to infinity, while the randomized communication complexity of every $\sqrt{n}\times \sqrt{n}$ submatrix of $M_n$ is bounded by a universal constant.
A lattice structure for ancestral configurations arising from the relationship between gene trees and species trees
Published
• View Publication
• BIB
To a given gene tree topology $G$ and species tree topology $S$ with leaves labeled bijectively from a fixed set $X$, one can associate a set of ancestral configurations, each of which encodes a set of gene lineages that can be found at a given node of the species tree. We introduce a lattice structure on ancestral configurations, studying the directed graphs that provide graphical representations of lattices of ancestral configurations. For a matching gene tree topology and species tree topology $G=S$, we present a method for defining the digraph of ancestral configurations from the tree topology by using iterated cartesian products of graphs. We show that a specific set of paths on the digraph of ancestral configurations is in bijection with the set of labeled histories -- a well-known phylogenetic object that enumerates possible temporal orderings of the coalescences of a tree. For each of a series of tree families, we obtain closed-form expressions for the number of labeled histories by using this bijection to count paths on associated digraphs. Finally, we prove that our lattice construction extends to nonmatching tree pairs, and we use it to characterize pairs $(G,S)$ having the maximal number of ancestral configurations for a fixed $G$. We discuss how the construction provides new methods for performing enumerations of combinatorial aspects of gene and species trees.
On the 3-colorability of triangle-free and fork-free graphs
Published
• View Publication
• BIB
A graph $G$ is said to satisfy the Vizing bound if $χ(G)\leq ω(G)+1$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. It was conjectured by Randerath in 1998 that if $G$ is a triangle-free and fork-free graph, where the fork (also known as trident) is obtained from $K_{1,4}$ by subdividing two edges, then $G$ satisfies the Vizing bound. In this paper, we confirm this conjecture.
Crowns as retracts
We investigate crowns as retracts of finite posets. We define a multigraph $\mathfrak{F}(P)$ reflecting the network of so-called improper 4-crowns contained in the extremal points of $P$, and we show that $P$ contains a 4-crown as retract iff there exists a graph homomorphism of a certain type from $\mathfrak{F}(P)$ to a multigraph $\mathfrak{C}$ not depending on $P$. Additionally we show that $P$ contains a retract-crown with more than four points iff the poset induced by the extremal points of $P$ contains such a retract-crown. As practical result we develop and apply criteria for the systematic investigation of crowns as retracts. Most of our results are valid for infinite posets without infinite chains, too.
On trees with extremal extended spectral radius
Let G be a simple connected graph with n vertices, and let d_i be the degree of the vertex v_i in G. The extended adjacency matrix of G is defined so that the ij-entry is 1/2(d_i/d_j+d_j/d_i) if the vertices v_i and v_j are adjacent in G, and 0 otherwise. This matrix was originally introduced for developing novel topological indices used in the QSPR/QSAR studies. In this paper, we consider extremal problems of the largest eigenvalue of the extended adjacency matrix (also known as the extended spectral radius) of trees. We show that among all trees of order n>= 5, the path Pn(resp., the star Sn) uniquely minimizes (resp., maximizes) the extended spectral radius. We also determine the first five trees with the maximal extended spectral radius.
Spanners in randomly weighted graphs: Euclidean case
Published
• View Publication
• BIB
Given a connected graph $G=(V,E)$ and a length function $\ell:E\to {\mathbb R}$ we let $d_{v,w}$ denote the shortest distance between vertex $v$ and vertex $w$. A $t$-spanner is a subset $E'\subseteq E$ such that if $d'_{v,w}$ denotes shortest distances in the subgraph $G'=(V,E')$ then $d'_{v,w}\leq t d_{v,w}$ for all $v,w\in V$. We study the size of spanners in the following scenario: we consider a random embedding of $G_{n,p}$ into the unit square with Euclidean edge lengths. For $ε>0$ constant, we prove the existence w.h.p. of $(1+ε)$-spanners for ${\mathcal X}_p$ that have $O_ε(n)$ edges. These spanners can be constructed in $O_ε(n^2\log n)$ time. (We will use $O_ε$ to indicate that the hidden constant depends on $ε$.) There are constraints on $p$ preventing it going to zero too quickly.
Intrinsically knotted graphs with linklessly embeddable simple minors
Published in Algebr. Geom. Topol. 24 (2024) 1203-1223
• View Publication
• BIB
It has been an open question whether the deletion or contraction of an edge in an intrinsically knotted graph always yields an intrinsically linked graph. We present a new intrinsically knotted graph that shows the answer to both questions is no.
On the coalition number of trees
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V$ and of order $n = |V|$, and let $δ(G)$ and $Δ(G)$ be the minimum and maximum degree of $G$, respectively. Two disjoint sets $V_1, V_2 \subseteq V$ form a coalition in $G$ if none of them is a dominating set of $G$ but their union $V_1\cup V_2$ is. A vertex partition $Ψ=\{V_1,\ldots, V_k\}$ of $V$ is a coalition partition of $G$ if every set $V_i\in Ψ$ is either a dominating set of $G$ with the cardinality $|V_i|=1$, or is not a dominating set but for some $V_j\in Ψ$, $V_i$ and $V_j$ form a coalition. The maximum cardinality of a coalition partition of $G$ is the coalition number $\mathcal{C}(G)$ of $G$. Given a coalition partition $Ψ= \{V_1, \ldots, V_k\}$ of $G$, a coalition graph $\CG(G, Ψ)$ is associated on $Ψ$ such that there is a one-to-one correspondence between its vertices and the members of $Ψ$, where two vertices of $\CG(G, Ψ)$ are adjacent if and only if the corresponding sets form a coalition in $G$. In this paper, we partially solve one of the open problems posed in Haynes et al. \cite{coal0} and we solve two open problems posed by Haynes et al. \cite{coal1}. We characterize all graphs $G$ with $δ(G) \le 1$ and $\mathcal{C}(G)=n$, and we characterize all trees $T$ with $\mathcal{C}(T)=n-1$. We determine the number of coalition graphs that can be defined by all coalition partitions of a given path. Furthermore, we show that there is no universal coalition path, a path whose coalition partitions defines all possible coalition graphs.
Span of a Graph: Keeping the Safety Distance
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (March 1, 2023) dmtcs:9859
• View Publication
• BIB
Inspired by Lelek's idea from [Disjoint mappings and the span of spaces, Fund. Math. 55 (1964), 199 -- 214], we introduce the novel notion of the span of graphs. Using this, we solve the problem of determining the \emph{maximal safety distance} two players can keep at all times while traversing a graph. Moreover, their moves must be made with respect to certain move rules. For this purpose, we introduce different variants of a span of a given connected graph. All the variants model the maximum safety distance kept by two players in a graph traversal, where the players may only move with accordance to a specific set of rules, and their goal: visit either all vertices, or all edges. For each variant, we show that the solution can be obtained by considering only connected subgraphs of a graph product and the projections to the factors. We characterise graphs in which it is impossible to keep a positive safety distance at all moments in time. Finally, we present a polynomial time algorithm that determines the chosen span variant of a given graph.
The Perron non-backtracking eigenvalue after node addition
Consider a finite undirected unweighted graph G and add a new node to it arbitrarily connecting it to pre-existing nodes. We study the behavior of the Perron eigenvalue of the non-backtracking matrix of G before and after such a node addition. We prove an interlacing-type result for said eigenvalue, namely, the Perron eigenvalue never decreases after node addition. Furthermore, our methods lead to bounds for the difference between the eigenvalue before and after node addition. These are the first known bounds that have been established in full rigor. Our results depend on the assumption of diagonalizability of the non-backtracking matrix. Practical experience says that this assumption is fairly mild in many families of graphs, though necessary and sufficient conditions for it remain an open question.
Roman Domination in Convex Bipartite Graphs
In the Roman domination problem, an undirected simple graph $G(V,E)$ is given. The objective of Roman domination problem is to find a function $f:V\rightarrow {\{0,1,2\}}$ such that for any vertex $v\in V$ with $f(v)=0$ must be adjacent to at least one vertex $u\in V$ with $f(u)=2$ and $\sum_{u\in V} f(u)$, called Roman domination number, is minimized. It is already proven that the Roman domination problem (RDP) is NP-complete for general graphs and it remains NP-complete for bipartite graphs. In this paper, we propose a dynamic programming based polynomial time algorithm for RDP in convex bipartite graph.
A study of a combination of distance domination and resolvability in graphs
Published
• View Publication
• BIB
For $k \geq 1$, in a graph $G=(V,E)$, a set of vertices $D$ is a distance $k$-dominating set of $G$, if any vertex in $V\setminus D$ is at distance at most $k$ from some vertex in $D$. The minimum cardinality of a distance $k$-dominating set of $G$ is the distance $k$-domination number, denoted by $γ_k(G)$. An ordered set of vertices $W=\{w_1,w_2,\ldots,w_r\}$ is a resolving set of $G$, if for any two distinct vertices $x$ and $y$ in $V\setminus W$, there exists $1\leq i\leq r$, such that $d_G(x,w_i)\neq d_G(y,w_i)$. The minimum cardinality of a resolving set of $G$ is the metric dimension of the graph $G$, denoted by $dim(G)$. In this paper, we introduce the distance $k$-resolving dominating set, which is a subset of $V$ that is both a distance $k$-dominating set and a resolving set of $G$. The minimum cardinality of a distance $k$-resolving dominating set of $G$ is called the distance $k$-resolving domination number and is denoted by $γ^r_k(G)$. We give several bounds for $γ^r_k(G)$ some in terms of the metric dimension $dim(G)$ and the distance $k$-domination number $γ_k(G)$. We determine $γ^r_k(G)$ when $G$ is a path or a cycle. Afterwards, we characterize the connected graphs of order $n$ having $γ^r_k(G)$ equal to $1$, $n-2$, and $n-1$, for $k\geq 2$. Then, we construct graphs realizing all the possible triples $(dim(G),γ_k(G),γ^r_k (G))$, for all $k\geq 2$. Later, we determine the maximum order of a graph $G$ having distance $k$-resolving domination number $γ^r_k(G)=γ^r_k\geq 1$, we provide graphs achieving this maximum order for any positive integers $k$ and $γ^r_k$. Finally, we establish Nordhaus-Gaddum bounds for $γ^r_k(G)$, for $k\geq 2$.
Higher dimensional digraphs from cube complexes and their spectral theory
Published
• View Publication
• BIB
We define $k$-dimensional digraphs and initiate a study of their spectral theory. The $k$-dimensional digraphs can be viewed as generating graphs for small categories called $k$-graphs. Guided by geometric insight, we obtain several new series of $k$-graphs using cube complexes covered by Cartesian products of trees, for $k \geq 2$. These $k$-graphs can not be presented as virtual products, and constitute novel models of such small categories. The constructions yield rank-$k$ Cuntz-Krieger algebras for all $k\geq 2$. We introduce Ramanujan $k$-graphs satisfying optimal spectral gap property, and show explicitly how to construct the underlying $k$-digraphs.
The least doubling constant of a path graph
Published
• View Publication
• BIB
We study the least doubling constant $C_G$ among all possible doubling measures defined on a path graph $G$. We consider both finite and infinite cases and show that, if $G=\mathbb Z$, $C_{\mathbb Z}=3$, while for $G=L_n$, the path graph with $n$ vertices, one has $1+2\cos(\fracπ{n+1})\leq C_{L_n}<3$, with equality on the lower bound if and only if $n\le8$. Moreover, we analyze the structure of doubling minimizers on $L_n$ and $\mathbb Z$, those measures whose doubling constant is the smallest possible.
Doubling constants and spectral theory on graphs
Published
• View Publication
• BIB
We study the least doubling constant among all possible doubling measures defined on a (finite or infinite) graph $G$. We show that this constant can be estimated from below by $1+ r(A_G)$, where $r(A_G)$ is the spectral radius of the adjacency matrix of $G$, and study when both quantities coincide. We also illustrate how amenability of the automorphism group of a graph can be related to finding doubling minimizers. Finally, we give a complete characterization of graphs with doubling constant smaller than 3, in the spirit of Smith graphs.
Blow-up lemma for cycles in sparse random graphs
In a recent work, Allen, Böttcher, Hàn, Kohayakawa, and Person provided a first general analogue of the blow-up lemma applicable to sparse (pseudo)random graphs thus generalising the classic tool of Komlós, Sárközy, and Szemerédi. Roughly speaking, they showed that with high probability in the random graph $G_{n,p}$ for $p \geq C(\log n/n)^{1/Δ}$, sparse regular pairs behave similarly as complete bipartite graphs with respect to embedding a spanning graph $H$ with $Δ(H) \leq Δ$. However, this is typically only optimal when $Δ\in \{2,3\}$ and $H$ either contains a triangle ($Δ= 2$) or many copies of $K_4$ ($Δ= 3$). We go beyond this barrier for the first time and present a sparse blow-up lemma for cycles $C_{2k-1}, C_{2k}$, for all $k \geq 2$, and densities $p \geq Cn^{-(k-1)/k}$, which is in a way best possible. As an application of our blow-up lemma we fully resolve a question of Nenadov and Škorić regarding resilience of cycle factors in sparse random graphs.