graph
35396 papers tagged with this keyword
Rigidity of warped cones and coarse geometry of expanders
Published
• View Publication
• BIB
We study the geometry of warped cones over free, minimal isometric group actions and related constructions of expander graphs. We prove a rigidity theorem for the coarse geometry of such warped cones: Namely, if a group has no abelian factors, then two such warped cones are quasi-isometric if and only if the actions are finite covers of conjugate actions. As a consequence, we produce continuous families of non-quasi-isometric expanders and superexpanders. The proof relies on the use of coarse topology for warped cones, such as a computation of their coarse fundamental groups.
On classes of graphs with strongly sublinear separators
For real numbers c,epsilon>0, let G_{c,epsilon} denote the class of graphs G such that each subgraph H of G has a balanced separator of order at most c|V(H)|^{1-epsilon}. A class of graphs has strongly sublinear separators if it is a subclass of G_{c,epsilon} for some c,epsilon>0. We investigate properties of such graph classes, leading in particular to an approximate algorithm to determine membership in G_{c,epsilon}: there exist c'>0 such that for each input graph G, this algorithm in polynomial time determines either that G belongs to G_{c',epsilon^2/160}, or that G does not belong to G_{c,epsilon}.
Optimal Vertex Fault Tolerant Spanners (for fixed stretch)
Published
• View Publication
• BIB
A $k$-spanner of a graph $G$ is a sparse subgraph $H$ whose shortest path distances match those of $G$ up to a multiplicative error $k$. In this paper we study spanners that are resistant to faults. A subgraph $H \subseteq G$ is an $f$ vertex fault tolerant (VFT) $k$-spanner if $H \setminus F$ is a $k$-spanner of $G \setminus F$ for any small set $F$ of $f$ vertices that might "fail." One of the main questions in the area is: what is the minimum size of an $f$ fault tolerant $k$-spanner that holds for all $n$ node graphs (as a function of $f$, $k$ and $n$)? This question was first studied in the context of geometric graphs [Levcopoulos et al. STOC '98, Czumaj and Zhao SoCG '03] and has more recently been considered in general undirected graphs [Chechik et al. STOC '09, Dinitz and Krauthgamer PODC '11].
In this paper, we settle the question of the optimal size of a VFT spanner, in the setting where the stretch factor $k$ is fixed. Specifically, we prove that every (undirected, possibly weighted) $n$-node graph $G$ has a $(2k-1)$-spanner resilient to $f$ vertex faults with $O_k(f^{1 - 1/k} n^{1 + 1/k})$ edges, and this is fully optimal (unless the famous Erdos Girth Conjecture is false). Our lower bound even generalizes to imply that no data structure capable of approximating $dist_{G \setminus F}(s, t)$ similarly can beat the space usage of our spanner in the worst case. We also consider the edge fault tolerant (EFT) model, defined analogously with edge failures rather than vertex failures. We show that the same spanner upper bound applies in this setting. Our data structure lower bound extends to the case $k=2$ (and hence we close the EFT problem for $3$-approximations), but it falls to $Ω(f^{1/2 - 1/(2k)} \cdot n^{1 + 1/k})$ for $k \ge 3$. We leave it as an open problem to close this gap.
Optimal Graphs for Independence and $k$-Independence Polynomials
Published
• View Publication
• BIB
The independence polynomial $I(G,x)$ of a finite graph $G$ is the generating function for the sequence of the number of independent sets of each cardinality. We investigate whether, given a fixed number of vertices and edges, there exists optimally-least (optimally-greatest) graphs, that are least (respectively, greatest) for all non-negative $x$. Moreover, we broaden our scope to $k$-independence polynomials, which are generating functions for the $k$-clique-free subsets of vertices. For $k \geq 3$, the results can be quite different from the $k = 2$ (i.e. independence) case.
On accurate domination in graphs
Published in Discussiones Mathematicae Graph Theory 39 (2019) 615-627
• View Publication
• BIB
A dominating set of a graph $G$ is a subset $D \subseteq V_G$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. The accurate domination number of $G$, denoted by $γ_{\rm a}(G)$, is the cardinality of a smallest set $D$ that is a dominating set of $G$ and no $|D|$-element subset of $V_G \setminus D$ is a dominating set of $G$. We study graphs for which the accurate domination number is equal to the domination number. In particular, all trees $G$ for which $γ_{\rm a}(G) = γ(G)$ are characterized. Furthermore, we compare the accurate domination number with the domination number of different coronas of a graph.
Computing the $A_α-$ eigenvalues of a bug
Let $G$ be a simple undirected graph. For $α\in [0,1]$, let \begin{equation*}
A_α\left( G\right) =αD\left( G\right) +(1-α)A\left( G\right) , \end{equation*} where $A(G)$ is the adjacency matrix of $G$ and $D(G)$ is the diagonal matrix of the degrees of $G$. In particular, $A_{0}(G)=A(G)$ and $A_{\frac{1}{2}}(G)=\frac{1}{2}Q(G)$ where $Q(G)$ is the signless Laplacian matrix of $G$. A bug $B_{p,q,r}$ is a graph obtained from a complete graph $K_{p}$ by deleting an edge and attaching paths $P_{q}$ and $P_{r}$ to its ends. In \cite{HaSt08}, Hansen and Stevanović proved that, among the graphs $G$ of order $n$ and diameter $d$, the largest spectral radius of $A(G)$ is attained by the bug $B_{n-d+2,\lfloor d/2\rfloor,\lceil d/2\rceil}$. In \cite{LiLu14}, Liu and Lu proved the same result for the spectral radius of $Q(G)$. Let $ρ_α(G)$ be the spectral radius of $A_α(G)$. In this note, for a bug $B$ of order $n$ and diameter $d$, it is shown that $(n-d+2)α-1$ is an eigenvalue of $A_α(B)$ with multiplicity $n-d-1$ and that the other eigenvalues, among them $ρ_α(B)$, can be computed as the eigenvalues of a symmetric tridiagonal matrix of order $d+1$. It is also shown that $ρ_α(B_{n-d+2,d/2,d/2})$ can be computed as the spectral radius of a symmetric tridiagonal matrix of order $\frac{d}{2}+1$ whenever $d$ is even.
Central limit theorems in the configuration model
Published in Ann. Appl. Probab. 29 (2019), 1046-1069
• View Publication
• BIB
We prove a general normal approximation theorem for local graph statistics in the configuration model, together with an explicit bound on the error in the approximation with respect to the Wasserstein metric. Such statistics take the form $T := \sum_{v \in V} H_v$, where $V$ is the vertex set, and $H_v$ depends on a neighbourhood in the graph around $v$ of size at most $\ell$. The error bound is expressed in terms of $\ell$, $|V|$, an almost sure bound on $H_v$, the maximum vertex degree $d_{\max}$ and the variance of $T$. Under suitable assumptions on the convergence of the empirical degree distributions to a limiting distribution, we deduce that the size of the giant component in the configuration model has asymptotically Gaussian fluctuations.
Set-Valued Young Tableaux and Product-Coproduct Prographs
Standard set-valued Young tableaux are a generalization of standard Young tableaux where cells can contain unordered sets of integers, with the added condition that every integer at position $(i,j)$ must be smaller that every integer at both $(i+1,j)$ and $(i,j+1)$. In this paper, we explore properties of standard set-valued Young tableaux with three rows and a fixed number of integers in every cell of each row (referred to as set-valued tableaux with row-constant density). Our primary focus is on standard set-valued Young tableaux with $1$ integer in each first-row cell, $k-1$ integers in each second-row cell, and $1$ integer in each third-row cell. For rectangular shapes $λ=n^3$, such tableaux are placed in bijection with closed $k$-ary product-coproduct prographs: directed plane graphs that correspond to finite compositions involving a $k$-ary product operator and a $k$-ary coproduct operator. That bijection is extended to three-row set-valued Young tableaux of non-rectangular and skew shape, and it is shown that a set-valued analogue of the Schützenberger involution on tableaux corresponds to $180$-degree rotation of the associated prographs. As a set-valued analogue of the hook-length formula is currently lacking, we also present direct enumerations of three-row standard set-valued Young tableaux for a variety of row-constant densities and a small number of columns. We then argue why the numbers of tableaux with the row-constant density $(1,k-1,1)$ should be interpreted as a one-parameter generalization of the three-dimensional Catalan numbers that mirrors the generalization of the (two-dimensional) Catalan numbers provided by the $k$-Catalan numbers.
Adding random edges to create the square of a Hamilton cycle
We consider how many random edges need to be added to a graph of order $n$ with minimum degree $αn$ in order that it contains the square of a Hamilton cycle w.h.p..
Islands in minor-closed classes. I. Bounded treewidth and separators
The clustered chromatic number of a graph class is the minimum integer $t$ such that for some $C$ the vertices of every graph in the class can be colored in $t$ colors so that every monochromatic component has size at most $C$. We show that the clustered chromatic number of the class of graphs embeddable on a given surface is four, proving the conjecture of Esperet and Ochem. Additionally, we study the list version of the concept and characterize the minor-closed classes of graphs of bounded treewidth with given clustered list chromatic number. We further strengthen the above results to solve some extremal problems on bootstrap percolation of minor-closed classes.
A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations
Published
• View Publication
• BIB
Given a triangulation of a point set in the plane, a \emph{flip} deletes an edge $e$ whose removal leaves a convex quadrilateral, and replaces $e$ by the opposite diagonal of the quadrilateral. It is well known that any triangulation of a point set can be reconfigured to any other triangulation by some sequence of flips. We explore this question in the setting where each edge of a triangulation has a label, and a flip transfers the label of the removed edge to the new edge.
It is not true that every labelled triangulation of a point set can be reconfigured to every other labelled triangulation via a sequence of flips. We characterize when this is possible by proving the \emph{Orbit Conjecture} of Bose, Lubiw, Pathak and Verdonschot which states that \emph{all} labels can be simultaneously mapped to their destination if and only if \emph{each} label individually can be mapped to its destination.
Furthermore, we give a polynomial-time algorithm to find a sequence of flips to reconfigure one labelled triangulation to another, if such a sequence exists, and we prove an upper bound of $O(n^7)$ on the length of the flip sequence.
Our proof uses the topological result that the sets of pairwise non-crossing edges on a planar point set form a simplicial complex that is homeomorphic to a high-dimensional ball (this follows from a result of Orden and Santos; we give a different proof based on a shelling argument). The dual cell complex of this simplicial ball, called the \emph{flip complex}, has the usual flip graph as its $1$-skeleton. We use properties of the $2$-skeleton of the flip complex to prove the Orbit Conjecture.
Infinitesimal deformations of Poisson bi-vectors using the Kontsevich graph calculus
Published in Journal of Physics: Conf. Series 965 (2018), Paper 012010, 12 pages
• View Publication
• BIB
Let $P$ be a Poisson structure on a finite-dimensional affine real manifold. Can $P$ be deformed in such a way that it stays Poisson? The language of Kontsevich graphs provides a universal approach -- with respect to all affine Poisson manifolds -- to finding a class of solutions to this deformation problem. For that reasoning, several types of graphs are needed. In this paper we outline the algorithms to generate those graphs. The graphs that encode deformations are classified by the number of internal vertices $k$; for $k \leqslant 4$ we present all solutions of the deformation problem. For $k \geqslant 5$, first reproducing the pentagon-wheel picture suggested at $k=6$ by Kontsevich and Willwacher, we construct the heptagon-wheel cocycle that yields a new unique solution without $2$-loops and tadpoles at $k=8$.
Decomposing $4$-connected planar triangulations into two trees and one path
Published
• View Publication
• BIB
Refining a classical proof of Whitney, we show that any $4$-connected planar triangulation can be decomposed into a Hamiltonian path and two trees.
Therefore, every $4$-connected planar graph decomposes into three forests, one having maximum degree at most $2$.
We use this result to show that any Hamiltonian planar triangulation can be decomposed into two trees and one spanning tree of maximum degree at most $3$.
These decompositions improve the result of Gonçalves [Covering planar graphs with forests, one having bounded maximum degree. J. Comb. Theory, Ser. B, 100(6):729--739, 2010] that every planar graph can be decomposed into three forests, one of maximum degree at most $4$.
We also show that our results are best-possible.
Nonseparating trees in 2-connected graphs and oriented trees in strongly connected digraphs
Published
• View Publication
• BIB
Mader [J. Graph Theory 65 (2010) 61-69] conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $δ(G)\geq \lfloor\frac{3}{2}k\rfloor+m-1$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-connected. The conjecture has been verified for paths, trees when $k=1$, and stars or double-stars when $k=2$. In this paper we verify the conjecture for two classes of trees when $k=2$.
For digraphs, Mader [J. Graph Theory 69 (2012) 324-329] conjectured that every $k$-connected digraph $D$ with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq 2k+m-1$ for a positive integer $m$ has a dipath $P$ of order $m$ with $κ(D-V(P))\geq k$. The conjecture has only been verified for the dipath with $m=1$, and the dipath with $m=2$ and $k=1$. In this paper, we prove that every strongly connected digraph with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq m+1$ contains an oriented tree $T$ isomorphic to some given oriented stars or double-stars with order $m$ such that $D-V(T)$ is still strongly connected.
On Highly-regular graphs
Highly-regular graphs can be regarded as a combinatorial generalization of distance-regular graphs. From this standpoint, we study combinatorial aspects of highly-regular graphs. As a result, we give the following three main results in this paper. Firstly, we give a characterization of a distance-regular graph by using the index and diameter of a highly-regular graph. Secondly, we give two constructions of highly-regular graphs. Finally, we generalize well-known properties of the intersection numbers of a distance-regular graph.
Feedback vertex number of Sierpiński-type graphs
Published
• View Publication
• BIB
The feedback vertex number $τ(G)$ of a graph $G$ is the minimum number of vertices that can be deleted from $G$ such that the resultant graph does not contain a cycle. We show that $τ(S_p^n)=p^{n-1}(p-2)$ for the Sierpiński graph $S_p^n$ with $p\geq 2$ and $n\geq 1$. The generalized Sierpiński triangle graph $\hat{S_p^n}$ is obtained by contracting all non-clique edges from the Sierpiński graph $S_p^{n+1}$. We prove that $τ(\hat{S}_3^n)=\frac {3^n+1} 2=\frac{|V(\hat{S}_3^n)|} 3$, and give an upper bound for $τ(\hat{S}_p^n)$ for the case when $p\geq 4$.
Stable arithmetic regularity in the finite-field model
Published
• View Publication
• BIB
The arithmetic regularity lemma for $\mathbb{F}_p^n$, proved by Green in 2005, states that given a subset $A\subseteq \mathbb{F}_p^n$, there exists a subspace $H\leq \mathbb{F}_p^n$ of bounded codimension such that $A$ is Fourier-uniform with respect to almost all cosets of $H$. It is known that in general, the growth of the codimension of $H$ is required to be of tower type depending on the degree of uniformity, and that one must allow for a small number of non-uniform cosets.
Our main result is that, under a natural model-theoretic assumption of stability, the tower-type bound and non-uniform cosets in the arithmetic regularity lemma are not necessary. Specifically, we prove an arithmetic regularity lemma for $k$-stable subsets $A\subseteq \mathbb{F}_p^n$ in which the bound on the codimension of the subspace is a polynomial (depending on $k$) in the degree of uniformity, and in which there are no non-uniform cosets. This result is an arithmetic analogue of the stable graph regularity lemma proved by Malliaris and Shelah.
Graphs with equal domination and certified domination numbers
Published
• View Publication
• BIB
A set $D$ of vertices of a graph $G$ is a dominating set of $G$ if every vertex in $V_G-D$ is adjacent to at least one vertex in $D$. The domination number (upper domination number, respectively) of a graph $G$, denoted by $γ(G)$ ($Γ(G)$, respectively), is the cardinality of a smallest (largest minimal, respectively) dominating set of $G$. A subset $D\subseteq V_G$ is called a certified dominating set of $G$ if $D$ is a dominating set of $G$ and every vertex in $D$ has either zero or at least two neighbors in $V_G-D$. The cardinality of a~smallest (largest minimal, respectively) certified dominating set of $G$ is called the certified upper certified, respectively domination number of $G$ and is denoted by $γ_{\rm cer}(G)$ ($Γ_{\rm cer}(G)$, respectively). In this paper relations between domination, upper domination, certified domination and upper certified domination numbers of a graph are studied.
Topological indices of k-th subdivision and semi total point graphs
Graph theory has provided a very useful tool, called topological indices which are a number obtained from the graph $G$ with the property that every graph $H$ isomorphic to $G$, value of a topological index must be same for both $G$ and $H$. In this article, we present exact expressions for some topological indices of k-th subdivision graph and semi total point graphs respectively, which are a generalization of ordinary subdivision and semi total graph for $k\ge 1$.
State transfer in strongly regular graphs with an edge perturbation
Published
• View Publication
• BIB
Quantum walks, an important tool in quantum computing, have been very successfully investigated using techniques in algebraic graph theory. We are motivated by the study of state transfer in continuous-time quantum walks, which is understood to be a rare and interesting phenomenon. We consider a perturbation on an edge $uv$ of a graph where we add a weight $β$ to the edge and a loop of weight $γ$ to each of $u$ and $v$. We characterize when for this perturbation results in strongly cospectral vertices $u$ and $v$. Applying this to strongly regular graphs, we give infinite families of strongly regular graphs where some perturbation results in perfect state transfer. Further, we show that, for every strongly regular graph, there is some perturbation which results in pretty good state transfer. We also show for any strongly regular graph $X$ and edge $e \in E(X)$, that $φ(X\setminus e)$ does not depend on the choice of $e$.