graph
35436 papers tagged with this keyword
A characterization of Johnson and Hamming graphs and proof of Babai's conjecture
Published in J. Comb. Theory, Ser. B, 151 (2021), pp. 339-374
• View Publication
• BIB
One of the central results in the representation theory of distance-regular graphs classifies distance-regular graphs with $μ\geq 2$ and second largest eigenvalue $θ_1= b_1-1$. In this paper we give a classification under the (weaker) approximate eigenvalue constraint $θ_1\geq (1-\varepsilon)b_1$ for the class of geometric distance-regular graphs. As an application, we confirm Babai's conjecture on the minimal degree of the automorphism group of distance-regular graphs.
An algorithm to evaluate the spectral expansion
Published
• View Publication
• BIB
Assume that $X$ is a connected $(q+1)$-regular undirected graph of finite order $n$. Let $A$ denote the adjacency matrix of $X$. Let $λ_1=q+1>λ_2\geq λ_3\geq \ldots \geq λ_n$ denote the eigenvalues of $A$. The spectral expansion of $X$ is defined by $$ Δ(X)=λ_1-\max_{2\leq i\leq n}|λ_i|. $$ By the Alon--Boppana theorem, when $n$ is sufficiently large, $Δ(X)$ is quite high if $$ μ(X)=q^{-\frac{1}{2}} \max_{2\leq i\leq n}|λ_i| $$ is close to $2$. In this paper, with the inputs $A$ and a real number $\varepsilon>0$ we design an algorithm to estimate if $μ(X)\leq 2+\varepsilon$ in $O(n^ω\log \log_{1+\varepsilon} n )$ time, where $ω<2.3729$ is the exponent of matrix multiplication.
(t,r) broadcast domination in the infinite grid
The $(t,r)$ broadcast domination number of a graph $G$, $γ_{t,r}(G)$, is a generalization of the domination number of a graph. $γ_{t,r}(G)$ is the minimal number of towers needed, placed on vertices of $G$, each transmitting a signal of strength $t$ which decays linearly, such that every vertex receives a total amount of at least $r$ signal. In this paper we prove a conjecture by Drews, Harris, and Randolph about the minimal density of towers in $\mathbb{Z}^2$ that provide a $(t,3)$ domination broadcast for $t>17$ and explore generalizations. Additionally, we determine the $(t,r)$ broadcast domination number of powers of paths, $P_n^{(k)}$ and powers of cycles, $C_n^{(k)}$.
On the spectral gap and the automorphism group of distance-regular graphs
Published in J. Comb. Theory, Ser. B, 149 (2021), pp. 161-197
• View Publication
• BIB
We prove that a distance-regular graph with a dominant distance is a spectral expander. The key ingredient of the proof is a new inequality on the intersection numbers. We use the spectral gap bound to study the structure of the automorphism group.
The minimal degree of a permutation group $G$ is the minimum number of points not fixed by non-identity elements of $G$. Lower bounds on the minimal degree have strong structural consequences on $G$. In 2014 Babai proved that the automorphism group of a strongly regular graph with $n$ vertices has minimal degree $\geq c n$, with known exceptions. Strongly regular graphs correspond to distance-regular graphs of diameter 2. Babai conjectured that Hamming and Johnson graphs are the only primitive distance-regular graphs of diameter $d\geq 3$ whose automorphism group has sublinear minimal degree. We confirm this conjecture for non-geometric primitive distance-regular graphs of bounded diameter. We also show if the primitivity assumption is removed, then only one additional family of exceptions arises, the cocktail-party graphs. We settle the geometric case in a companion paper.
On the Hopf algebra of multi-complexes
Published
• View Publication
• BIB
We introduce a general class of combinatorial objects, which we call \emph{multi-complexes}, which simultaneously generalizes graphs, multigraphs, hypergraphs and simplicial and delta complexes. We introduce a natural algebra of multi-complexes which is defined as the algebra which has a formal basis $\mathcal{C}$ of all isomorphism types of multi-complexes, and multiplication is to take the disjoint union. This is a Hopf algebra with an operation encoding the dissasembly information for such objects, and extends the Hopf algebra of graphs. In our main result, we explicitly describe here the structure of this Hopf algebra of multi-complexes $H$. We find an explicit basis $\mathcal{B}$ of the space of primitives, which is of combinatorial relevance: it is such that each multi-complex is a polynomial with non-negative integer coefficients of the elements of $\mathcal{B}$, and each $b\in\mathcal{B}$ is a polynomial with integer coefficients in $\mathcal{C}$. Using this, we find the cancellation and grouping free formula for the antipode. The coefficients appearing in all these polynomials are, up to signs, numbers counting multiplicities of sub-multi-complexes in a multi-complex. We also explicitly illustrate how our results specialize to the graph Hopf algebra, and observe how they specialize to results in all of the above mentioned particular cases. We also investigate applications of these results to the graph reconstruction conjectures, and rederive some results in the literature on these questions.
Constructing infinitely many half-arc-transitive covers of tetravalent graphs
Published
• View Publication
• BIB
We prove that, given a finite graph $Σ$ satisfying some mild conditions, there exist infinitely many tetravalent half-arc-transitive normal covers of $Σ$. Applying this result, we establish the existence of infinite families of finite tetravalent half-arc-transitive graphs with certain vertex stabilizers, and classify the vertex stabilizers up to order $2^8$ of finite connected tetravalent half-arc-transitive graphs. This sheds some new light on the longstanding problem of classifying the vertex stabilizers of finite tetravalent half-arc-transitive graphs.
Uniformly most reliable three-terminal graph of dense graphs
Published
• View Publication
• BIB
A graph $G$ with $k$ specified target vertices in vertex set is a $k$-terminal graph. The $k$-terminal reliability is the connection probability of the fixed $k$ target vertices in a $k$-terminal graph when every edge of this graph survives independently with probability $p$. For the class of two-terminal graphs with a large number of edges, Betrand, Goff, Graves and Sun constructed a locally most reliable two-terminal graph for $p$ close to $1$, and illustrated by a counterexample that this locally most reliable graph is not the uniformly most reliable two-terminal graph. At the same time, they also determined that there is a uniformly most reliable two-terminal graph in the class obtained by deleting an edge from the complete graph with two target vertices. This article focuses on the uniformly most reliable three-terminal graph of dense graphs with $n$ vertices and $m$ edges. First, we give the locally most reliable three-terminal graphs of $n$ and $m$ in certain ranges for $p$ close to $0$ and $1$. Then, it is proved that there is no uniformly most reliable three-terminal graph with specific $n$ and $m$, where $n\geq7$ and $\binom{n}{2}-\lfloor\frac{n-3}{2}\rfloor\leq m\leq\binom{n}{2}-2$. Finally, some uniformly most reliable graphs are given for $n$ vertices and $m$ edges, where $4\leq n\leq 6$ and $m=\binom{n}{2}-2$ or $n\geq5$ and $m=\binom{n}{2}-1$.
On the Burning Number of $p$-Caterpillars
Published
• View Publication
• BIB
The burning number is a recently introduced graph parameter indicating the spreading speed of content in a graph through its edges. While the conjectured upper bound on the necessary numbers of time steps until all vertices are reached is proven for some specific graph classes it remains open for trees in general. We present two different proofs for ordinary caterpillars and prove the conjecture for a generalised version of caterpillars and for trees with a sufficient amount of leaves. Furthermore, determining the burning number for spider graphs, trees with maximum degree three and path-forests is known to be $\mathcal{NP}$-complete, however, we show that the complexity is already inherent in caterpillars with maximum degree three.
Graph fractal dimension and structure of fractal networks: a combinatorial perspective
Published
• View Publication
• BIB
In this paper we study self-similar and fractal networks from the combinatorial perspective. We establish analogues of topological (Lebesgue) and fractal (Hausdorff) dimensions for graphs and demonstrate that they are naturally related to known graph-theoretical characteristics: rank dimension and product (or Prague or Nešetřil-Rödl) dimension. Our approach reveals how self-similarity and fractality of a network are defined by a pattern of overlaps between densely connected network communities. It allows us to identify fractal graphs, explore the relations between graph fractality, graph colorings and graph Kolmogorov complexity, and analyze the fractality of several classes of graphs and network models, as well as of a number of real-life networks. We demonstrate the application of our framework to evolutionary studies by revealing the growth of self-organization of heterogeneous viral populations over the course of their intra-host evolution, thus suggesting mechanisms of their gradual adaptation to the host's environment. As far as the authors know, the proposed approach is the first theoretical framework for study of network fractality within the combinatorial paradigm. The obtained results lay a foundation for studying fractal properties of complex networks using combinatorial methods and algorithms.
Cycle lengths in expanding graphs
Published
• View Publication
• BIB
For a positive constant $α$ a graph $G$ on $n$ vertices is called an $α$-expander if every vertex set $U$ of size at most $n/2$ has an external neighborhood whose size is at least $α\left|U\right|$. We study cycle lengths in expanding graphs. We first prove that cycle lengths in $α$-expanders are well distributed. Specifically, we show that for every $0<α\leq1$ there exist positive constants $n_{0}$, $C$ and $A=O(1/α)$ such that for every $α$-expander $G$ on $n\geq n_{0}$ vertices and every integer $\ell\in\left[C\log n,\frac{n}{C}\right]$, $G$ contains a cycle whose length is between $\ell$ and $\ell+A$; the order of dependence of the additive error term $A$ on $α$ is optimal. Secondly, we show that every $α$-expander on $n$ vertices contains $Ω\left(\frac{α^{3}}{\log\left(1/α\right)}\right)n$ different cycle lengths. Finally, we introduce another expansion-type property, guaranteeing the existence of a linearly long interval in the set of cycle lengths. For $β>0$ a graph $G$ on $n$ vertices is called a $β$-graph if every pair of disjoint sets of size at least $βn$ are connected by an edge. We prove that for every $β<1/20$ there exist positive constants $b_{1}=O\left(\frac{1}{\log\left(1/β\right)}\right)$ and $b_{2}=O\left(β\right)$ such that every $β$-graph $G$ on $n$ vertices contains a cycle of length $\ell$ for every integer $\ell\in\left[b_{1}\log n,(1-b_{2})n\right]$; the order of dependence of $b_{1}$ and $b_{2}$ on $β$ is optimal.
Another proof of the $1/N$ expansion of the rank three tensor model with tetrahedral interaction
The rank three tensor model with tetrahedral interaction was shown by Carrozza and Tanasa to admit a $1/N$ expansion, dominated by melonic diagrams, and double tadpoles decorated with melons at next-to-leading order. This model has generated a renewed interest in tensor models because it has the same large $N$ limit as the SYK model. In contrast with matrix models, there is no method which would be able to prove the existence of $1/N$ expansions in arbitrary tensor models. The method used by Carrozza and Tanasa proves the existence of the $1/N$ expansion using two-dimensional topology, before identifying the leading order and next-to-leading graphs. However, another method was required for complex, rank three tensor models with planar interactions, which is based on flips. The latter are moves which cut two propagators of Feynman graphs and reglue them differently. They allow transforming graphs while tracking their orders in the $1/N$ expansion. Here we use this method to re-prove the results of Carrozza and Tanasa, thereby proving the existence of the $1/N$ expansion, the melonic dominance at leading order and the melon-decorated double tadpoles at next-to-leading order, all in one go.
On Alphatrion's Conjecture about Hamiltonian paths in hypercubes
Alphatrion conjectured that it is possible to label the vertices of an $n$-dimensional hypercube with distinct positive integers such that for every Hamiltonian path $a_1, \dots, a_{2^n},$ we have $a_i + a_{i+1}$ prime for all $i.$ We prove the conjecture by proving the more general result that a graph $G = (V, E)$ can be labeled with distinct positive integers such that the edge sum for all $e \in E$ is prime if and only if $G$ is bipartite.
Johnson Graph Codes
Published
• View Publication
• BIB
We define a Johnson graph code as a subspace of labelings of the vertices in a Johnson graph with the property that labelings are uniquely determined by their restriction to vertex neighborhoods specified by the parameters of the code. We give a construction and main properties for the codes and show their role in the concatenation of layered codes that are used in distributed storage systems. A similar class of codes for the Hamming graph is discussed in an appendix. Codes of the latter type are in general different from affine Reed-Muller codes, but for the special case of the hypercube they agree with binary Reed-Muller codes.
A Polynomial Time Algorithm for the $k$-Disjoint Shortest Paths Problem
Published
• View Publication
• BIB
The disjoint paths problem is a fundamental problem in algorithmic graph theory and combinatorial optimization. For a given graph $G$ and a set of $k$ pairs of terminals in $G$, it asks for the existence of $k$ vertex-disjoint paths connecting each pair of terminals. The proof of Robertson and Seymour [JCTB 1995] of the existence of an $n^3$ algorithm for any fixed $k$ is one of the highlights of their Graph Minors project. In this paper, we focus on the version of the problem where all the paths are required to be shortest paths. This problem, called the disjoint shortest paths problem, was introduced by Eilam-Tzoreff [DAM 1998] where she proved that the case $k = 2$ admits a polynomial time algorithm. This problem has received some attention lately, especially since the proof of the existence of a polynomial time algorithm in the directed case when $k = 2$ by Bérczi and Kobayashi [ESA 2017]. However, the existence of a polynomial algorithm when $k = 3$ in the undirected version remained open since 1998. In this paper we show that for any fixed $k$, the disjoint shortest paths problem admits a polynomial time algorithm. In fact for any fixed $C$, the algorithm can be extended to treat the case where each path connecting the pair $(s,t)$ has length at most $d(s,t) + C$.
Some exact results for regular Turán problems
Published
• View Publication
• BIB
As a variant of the famous Turán problem, we study $\mathrm{rex}(n,F)$, the maximum number of edges that an $n$-vertex regular graph can have without containing a copy of $F$. We determine $\mathrm{rex}(n,K_{r+1})$ for all pairs of integers $r$ and large enough $n$. For every tree $T$, we determine $\mathrm{rex}(n,T)$ for every $n$ large enough.
Isoradial immersions
Published
• View Publication
• BIB
Isoradial embeddings of planar graphs play a crucial role in the study of several models of statistical mechanics, such as the Ising and dimer models. Kenyon and Schlenker give a combinatorial characterization of planar graphs admitting an isoradial embedding, and describe the space of such embeddings. In this paper we prove two results of the same type for generalizations of isoradial embeddings: isoradial immersions and minimal immersions. We show that a planar graph admits a flat isoradial immersion if and only if its train-tracks do not form closed loops, and that a bipartite graph has a minimal immersion if and only if it is minimal. In both cases we describe the space of such immersions. The techniques used are different in both settings, and distinct from those of Kenyon and Schlenker. We also give an application of our results to the dimer model defined on bipartite graphs admitting minimal immersions.
Complexity results for two kinds of colored disconnections of graphs
Published
• View Publication
• BIB
The concept of rainbow disconnection number of graphs was introduced by Chartrand et al. in 2018. Inspired by this concept, we put forward the concepts of rainbow vertex-disconnection and proper disconnection in graphs. In this paper, we first show that it is $NP$-complete to decide whether a given edge-colored graph $G$ with maximum degree $Δ(G)=4$ is proper disconnected. Then, for a graph $G$ with $Δ(G)\leq 3$ we show that $pd(G)\leq 2$ and determine the graphs with $pd(G)=1$ and $2$, respectively. Furthermore, we show that for a general graph $G$, deciding whether $pd(G)=1$ is $NP$-complete, even if $G$ is bipartite. We also show that it is $NP$-complete to decide whether a given vertex-colored graph $G$ is rainbow vertex-disconnected, even though the graph $G$ has $Δ(G)=3$ or is bipartite.
The determinant of the distance matrix of graphs with at most two cycles
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices and $D(G)$ its distance matrix. The formula for computing the determinant of this matrix in terms of the number of vertices is known when the graph is either a tree or {a} unicyclic graph. In this work we generalize these results, obtaining the determinant of the distance matrix for {all graphs} in a {class, including trees, unicyclic and bicyclic graphs. This class actually includes graphs with many cycles, provided that each block of the graph is at most bicyclic.}
Highly edge-connected regular graphs without large factorizable subgraphs
Published in Journal Graph Theory 99 (2021) 107-116
• View Publication
• BIB
We construct highly edge-connected $r$-regular graph which do not contain $r-2$ pairwise disjoint perfect matchings. The results partially answer a question stated by Thomassen [Factorizing regular graphs, J. Comb. Theory Ser. B (2019), https://doi.org/10.1016/j.jctb.2019.05.002 (article in press)].
The $e$-positivity of two families of $(claw, 2K_2)$-free graphs
Published
• View Publication
• BIB
Motivated by Stanley's conjecture about the $e$-positivity of claw-free incomparability graphs, Hamel and her collaborators studied the $e$-positivity of $(claw, H)$-free graphs, where $H$ is a four-vertex graph. In this paper we establish the $e$-positivity of generalized pyramid graphs and $2K_2$-free unit interval graphs, which are two important families of $(claw, 2K_2)$-free graphs. Hence we affirmatively solve one problem proposed by Hamel, Hoàng and Tuero, and another problem considered by Foley, Hoàng and Merkel.