graph
34828 papers tagged with this keyword
Graph Hausdorff dimension, Kolmogorov complexity and construction of fractal graphs
In this paper we introduce and study discrete analogues of Lebesgue and Hausdorff dimensions for graphs. It turned out that they are closely related to well-known graph characteristics such as rank dimension and Prague (or Nešetřil-Rödl) dimension. It allows us to formally define fractal graphs and establish fractality of some graph classes. We show, how Hausdorff dimension of graphs is related to their Kolmogorov complexity. We also demonstrate fruitfulness of this interdisciplinary approach by discovering a novel property of general compact metric spaces using ideas from hypergraphs theory and by proving an estimation for Prague dimension of almost all graphs using methods from algorithmic information theory.
Hoffmann-Ostenhof's conjecture for traceable cubic graphs
It was conjectured by Hoffmann-Ostenhof that the edge set of every connected cubic graph can be decomposed into a spanning tree, a matching and a family of cycles. In this paper, we show that this conjecture holds for traceable cubic graphs.
The complexity of tropical graph homomorphisms
Published in Discrete Applied Mathematics 229:64-81, 2017
• View Publication
• BIB
A tropical graph $(H,c)$ consists of a graph $H$ and a (not necessarily proper) vertex-colouring $c$ of $H$. Given two tropical graphs $(G,c_1)$ and $(H,c)$, a homomorphism of $(G,c_1)$ to $(H,c)$ is a standard graph homomorphism of $G$ to $H$ that also preserves the vertex-colours. We initiate the study of the computational complexity of tropical graph homomorphism problems. We consider two settings. First, when the tropical graph $(H,c)$ is fixed; this is a problem called $(H,c)$-COLOURING. Second, when the colouring of $H$ is part of the input; the associated decision problem is called $H$-TROPICAL-COLOURING. Each $(H,c)$-COLOURING problem is a constraint satisfaction problem (CSP), and we show that a complexity dichotomy for the class of $(H,c)$-COLOURING problems holds if and only if the Feder-Vardi Dichotomy Conjecture for CSPs is true. This implies that $(H,c)$-COLOURING problems form a rich class of decision problems. On the other hand, we were successful in classifying the complexity of at least certain classes of $H$-TROPICAL-COLOURING problems.
On the almost eigenvectors of random regular graphs
Published
• View Publication
• BIB
Let $d\geq 3$ be fixed and $G$ be a large random $d$-regular graph on $n$ vertices. We show that if $n$ is large enough then the entry distribution of every almost eigenvector $v$ of $G$ (with entry sum 0 and normalized to have length $\sqrt{n}$) is close to some Gaussian distribution $N(0,σ)$ in the weak topology where $0\leqσ\leq 1$. Our theorem holds even in the stronger sense when many entries are looked at simultaneously in small random neighborhoods of the graph. Furthermore, we also get the Gaussianity of the joint distribution of several almost eigenvectors if the corresponding eigenvalues are close. Our proof uses graph limits and information theory. Our results have consequences for factor of i.i.d.\ processes on the infinite regular tree.
Every finite group has a normal bi-Cayley graph
Published
• View Publication
• BIB
A graph $\G$ with a group $H$ of automorphisms acting semiregularly on the vertices with two orbits is called a {\em bi-Cayley graph} over $H$. When $H$ is a normal subgroup of $\Aut(\G)$, we say that $\G$ is {\em normal} with respect to $H$. In this paper, we show that every finite group has a connected normal bi-Cayley graph. This improves Theorem~5 of [M. Arezoomand, B. Taeri, Normality of 2-Cayley digraphs, Discrete Math. 338 (2015) 41--47], and provides a positive answer to the Question of the above paper.
On the zero forcing number of corona and lexicographic product of graphs
The zero forcing number of a graph $G$, denoted by $Z(G)$, is the minimum cardinality of a set $S$ of black vertices (where vertices in $V(G)\setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of $"$the color change rule$"$: a white vertex is turned black if it is the only white neighbor of a black vertex. In this paper, we study the zero forcing number of corona product, $G\odot H$ and lexicographic product, $G\circ H$ of two graphs $G$ and $H$. It is shown that if $G$ and $H$ are connected graphs of order $n_{1}\geq2$ and $n_{2}\geq2$ respectively, then $Z(G\odot ^{k}H)=Z(G\odot ^{k-1}H)+n_{1}(n_{2}+1)^{k-1}Z(H)$, where $G\odot^{k}H=(G\odot^{k-1}H)\odot H$. Also, it is shown that for a connected graph $G$ of order $n\geq 2$ and an arbitrary graph $H$ containing $l\geq 1$ components $H_{1},H_{2}, \cdots,H_{l}$ with $|V(H_{i})|=m_{i}\geq 2$, $1\leq i\leq l$, $(n-1)l+\sum\limits_{i=1}^l m_{i}\leq Z(G\circ H)\leq n(\sum\limits_{i=1}^{l}m_{i})-l$.
Cycles of each even lengths in balanced bipartite digraphs
Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 4$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove:
(i). If $a\geq 4$ and $ max\{d(x), d(y)\}\geq 2a-1$ for every dominating pair of vertices $\{x,y\}$, $D$ then contains a cycle of length $2a-2$ or $D$ is a directed cycle.
(ii). If $D$ contains a cycle of length $2a-2\geq 6$ and $max \{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then for any $k$, $1\leq k\leq a-1$, $D$ contains a cycle of length $2k$.
(iii). If $a\geq 4$ and $ max\{d(x), d(y)\}\geq 2a-1$ for every dominating pair of vertices $\{x,y\}$, then for every $k$, $1\leq k\leq a$, $D$ contains a cycle of length $2k$ unless $D$ is isomorphic to only one exceptional digraph of order eight.
Configurations of lines in space and combinatorial rigidity
Published
• View Publication
• BIB
Let $L$ be a sequence $(\ell_1,\ell_2,\ldots,\ell_n)$ of $n$ lines in $\mathbb{C}^3$. We define the {\it intersection graph} $G_L=([n],E)$ of $L$, where $[n]:=\{1,\ldots, n\}$, and with $\{i,j\}\in E$ if and only if $i\neq j$ and the corresponding lines $\ell_i$ and $\ell_j$ intersect, or are parallel (or coincide). For a graph $G=([n],E)$, we say that a sequence $L$ is a {\it realization} of $G$ if $G\subset G_L$. One of the main results of this paper is to provide a combinatorial characterization of graphs $G=([n],E)$ that have the following property: For every {\it generic} realization $L$ of $G$ that consists of $n$ pairwise distinct lines, we have $G_L=K_n$, in which case the lines of $L$ are either all concurrent or all coplanar.
The general statements that we obtain about lines, apart from their independent interest, turns out to be closely related to the notion of graph rigidity. The connection is established due to the so-called Elekes--Sharir framework, which allows us to transform the problem into an incidence problem involving lines in three dimensions. By exploiting the geometry of contacts between lines in 3D, we can obtain alternative, simpler, and more precise characterizations of the rigidity of graphs.
Random groups, random graphs and eigenvalues of p-Laplacians
Published in Adv. Math. 341 (2019), 188-254
• View Publication
• BIB
We prove that a random group in the triangular density model has, for density larger than 1/3, fixed point properties for actions on $L^p$-spaces (affine isometric, and more generally $(2-2ε)^{1/2p}$-uniformly Lipschitz) with $p$ varying in an interval increasing with the set of generators. In the same model, we establish a double inequality between the maximal $p$ for which $L^p$-fixed point properties hold and the conformal dimension of the boundary.
In the Gromov density model, we prove that for every $p_0 \in [2, \infty)$ for a sufficiently large number of generators and for any density larger than 1/3, a random group satisfies the fixed point property for affine actions on $L^p$-spaces that are $(2-2ε)^{1/2p}$-uniformly Lipschitz, and this for every $p\in [2,p_0]$.
To accomplish these goals we find new bounds on the first eigenvalue of the p-Laplacian on random graphs, using methods adapted from Kahn and Szemeredi's approach to the 2-Laplacian. These in turn lead to fixed point properties using arguments of Bourdon and Gromov, which extend to $L^p$-spaces previous results for Kazhdan's Property (T) established by Zuk and Ballmann-Swiatkowski.
On the continuous-time limit of the Barabási-Albert random graph
Published
• View Publication
• BIB
We prove that the Barabási-Albert model converges weakly to a set of generalized Yule models via an appropriate scaling. To pursue this aim we superimpose to its graph structure a suitable set of processes that we call the planted model and we introduce an ad-hoc sampling procedure. The use of the obtained limit process represents an alternative and advantageous way of looking at some of the asymptotic properties of the Barabási-Albert random graph.
Extended Gelfand-Tsetlin graph, its q-boundary, and q-B-splines
Published in Functional Analysis and its Applications 50 (2016), no. 2, 107-130
• View Publication
• BIB
A continuation of the joint work by Vadim Gorin and the author, J. Funct. Anal. 270 (2016), 375-418; arXiv:1504.06832.
The extended Gelfand-Tsetlin graph, introduced in that paper, is a novel combinatorial object. Its q-boundary is formed by infinite point configurations on a two-sided q-lattice. The q-boundary carries a continuous family of probability measures that are a q-analogue of the so-called zw-measures, which originated in the problem of harmonic analysis on the infinite-dimensional unitary group.
In the present paper, it is proved that certain transition Markov kernels, linked to the extended Gelfand-Tsetlin graph and its q-boundary, possess the Feller property. This property is needed for constructing a model of Markov dynamics on the q-boundary. A connection with the classical B-splines and their q-analogues is discussed. Some results of the paper arXiv:1504.06832 are rederived in another way.
Circuit partitions and signed interlacement in 4-regular graphs
Published in Contributions to Discrete Mathematics 20 (2025), 456-480
• View Publication
• BIB
Let $F$ be a 4-regular graph. Each circuit partition $P$ of $F$ has a corresponding touch-graph $Tch(P)$; the circuits in $P$ correspond to vertices of $Tch(P)$, and the vertices of $F$ correspond to edges of $Tch(P)$. We discuss the connection between modified versions of the interlacement matrix of an Euler system of $F$ and the cycle space of $Tch(P)$, over $GF(2)$ and $\mathbb{R}$.
Sigma-Adequate Link Diagrams and the Tutte Polynomial
In this paper, we characterize the sigma-adequacy of a link diagram in two ways: in terms of a certain edge subset of its Tait graph and in terms of a certain product of Tutte polynomials. Furthermore, we show that the symmetrized Tutte polynomial of the Tait graph of a link diagram can be written as a sum of these products of Tutte polynomials, where the sum is over the sigma-adequate states of the given link diagram. Using this state sum, we show that the number of sigma-adequate states of a link diagram is bounded above by the number of spanning trees in its associated Tait graph. By combining results, we give a method to find all of the sigma-adequate states of a link diagram. Finally, we give necessary and sufficient conditions for a link diagram to be sigma-adequate and sigma-homogeneous (also called homogeneously adequate) with respect to a given state.
Pretty Good State Transfer on Circulant Graphs
Published in The Electronic Journal of Combinatorics, 24(2): P2.23 (2017)
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A$. The transition matrix of $G$ relative to $A$ is defined by $H(t):=\exp{\left(-itA\right)},\;t\in\Rl$. The graph $G$ is said to admit pretty good state transfer between a pair of vertices $u$ and $v$ if there exists a sequence of real numbers $\{t_k\}$ and a complex number $γ$ of unit modulus such that $\lim\limits_{k\rightarrow\infty} H(t_k) e_u=γe_v.$ We find that pretty good state transfer occurs in a cycle on $n$ vertices if and only if $n$ is a power of two and it occurs between every pair of antipodal vertices. In addition, we look for pretty good state transfer in more general circulant graphs. We prove that union (edge disjoint) of an integral circulant graph with a cycle, each on $2^k$ $(k\geq 3)$ vertices, admits pretty good state transfer. The complement of such union also admits pretty good state transfer. This enables us to find some non-circulant graphs admitting pretty good state transfer. Among the complement of cycles we also find a class of graphs not exhibiting pretty good state transfer.
Emergence of the giant weak-component in directed random graphs with arbitrary degree distributions
Published in Physical Review E 94, 012315 (2016)
• View Publication
• BIB
The weak component generalizes the idea of connected components to directed graphs. In this paper, an exact criterion for existence of the giant weak component is derived for directed graphs with arbitrary bivariate degree distributions. In addition we consider a random process for evolving directed graphs with bounded degrees. The bounds are not the same for different vertices but satisfy a pre-defined distribution. The analytic expression obtained for the evolving degree distribution is then combined with the weak-component criterion to obtain the exact time of the phase transition. The phase-transition time is obtained as a function of the distribution that bounds the degrees. Remarkably, when viewed from the step polymerization formalism, the new results yield Flory-Stockmayer gelation theory and generalize it to a broader scope.
Graph Isomorphism Restricted by Lists
The complexity of graph isomorphism (GraphIso) is a famous unresolved problem in theoretical computer science. For graphs $G$ and $H$, it asks whether they are the same up to a relabeling of vertices. In 1981, Lubiw proved that list restricted graph isomorphism (ListIso) is NP-complete: for each $u \in V(G)$, we are given a list ${\mathfrak L}(u) \subseteq V(H)$ of possible images of $u$. After 35 years, we revive the study of this problem and consider which results for GraphIso translate to ListIso.
We prove the following: 1) When GraphIso is GI-complete for a class of graphs, it translates into NP-completeness of ListIso. 2) Combinatorial algorithms for GraphIso translate into algorithms for ListIso: for trees, planar graphs, interval graphs, circle graphs, permutation graphs, bounded genus graphs, and bounded treewidth graphs. 3) Algorithms based on group theory do not translate: ListIso remains NP-complete for cubic colored graphs with sizes of color classes bounded by 8.
Also, ListIso allows to classify results for the graph isomorphism problem. Some algorithms are robust and translate to ListIso. A fundamental problem is to construct a combinatorial polynomial-time algorithm for cubic graph isomorphism, avoiding group theory. By the 3rd result, ListIso is NP-hard for them, so no robust algorithm for cubic graph isomorphism exists, unless P = NP.
Optimal induced universal graphs for bounded-degree graphs
Published in Math. Proc. Camb. Phil. Soc. 166 (2019) 61-74
• View Publication
• BIB
We show that for any constant $Δ\ge 2$, there exists a graph $G$ with $O(n^{Δ/ 2})$ vertices which contains every $n$-vertex graph with maximum degree $Δ$ as an induced subgraph. For odd $Δ$ this significantly improves the best-known earlier bound of Esperet et al. and is optimal up to a constant factor, as it is known that any such graph must have at least $Ω(n^{Δ/2})$ vertices.
Our proof builds on the approach of Alon and Capalbo (SODA 2008) together with several additional ingredients. The construction of $G$ is explicit and is based on an appropriately defined composition of high-girth expander graphs. The proof also provides an efficient deterministic procedure for finding, for any given input graph $H$ on $n$ vertices with maximum degree at most $Δ$, an induced subgraph of $G$ isomorphic to $H$.
Partitioning a graph into a cycle and a sparse graph
Published
• View Publication
• BIB
In this paper we investigate results of the form "every graph $G$ has a cycle $C$ such that the induced subgraph of $G$ on $V(G)\setminus V(C)$ has small maximum degree." Such results haven't been studied before, but are motivated by the Bessy and Thomassé Theorem which states that the vertices of any graph $G$ can be covered by a cycle $C_1$ in $G$ and disjoint cycle $C_2$ in the complement of $G$.
There are two main theorems in this paper. The first is that every graph has a cycle with $Δ(G[V(G)\setminus V(C)])\leq \frac12(|V(G)\setminus V(C)|-1)$. The bound on the maximum degree $Δ(G[V(G)\setminus V(C)])$ is best possible. The second theorem is that every $k$-connected graph $G$ has a cycle with $Δ(G[V(G)\setminus V(C)])\leq \frac1{k+1}|V(G)\setminus V(C)|+3$. We also give an application of this second theorem to a conjecture about partitioning edge-coloured complete graphs into monochromatic cycles.
There is No McLaughlin Geometry
We determine that there is no partial geometry ${\cal G}$ with parameters $(s,t,α)=(4,27,2)$. The existence of such a geometry has been a challenging open problem of interest to researchers for almost 40 years. The particular interest in ${\cal G}$ is due to the fact that it would have the exceptional McLaughlin graph as its point graph. Our proof makes extensive use of symmetry and high-performance distributed computing, and details of our techniques and checks are provided. One outcome of our work is to show that a pseudogeometric strongly regular graph achieving equality in the Krein bound need not be the point graph of any partial geometry.
Cop-Win Graphs: Optimal Strategies and Corner Rank
We investigate the game of cops and robber, played on a finite graph, between one cop and one robber. If the cop can force a win on a graph, the graph is called cop-win. We describe a procedure we call corner ranking, performed on a graph, which assigns a positive integer or $\infty$ to each vertex. We give a characterization of cop-win in terms of corner rank and also show that the well-known characterization of cop-win via dismantling orderings follows from our work. From the corner rank we can determine the capture time of a graph, i.e. the number of turns the cop needs to win. We describe a class of optimal cop strategies we call Lower Way strategies, and a class of optimal robber strategies we call Higher Way strategies. Roughly speaking, in a Lower Way strategy, the cop pushes the robber down to lower ranked vertices, while in a Higher Way strategy, the robber moves to a highest rank vertex that is "safe." While interesting in their own right, the strategies are themselves tools in our proofs. We investigate various properties of the Lower Way strategies.