graph
34665 papers tagged with this keyword
2-nearly Platonic graphs are unique
Published
• View Publication
• BIB
A 2-nearly Platonic graph of type (k|d) is a k-regular planar graph with f faces, f-2 of which are of degree d and the remaining two are of degrees m_1;m_2, both different from d. Such a graph is called balanced if m_1=m_2. We show that all 2-nearly Platonic graphs are necessarily balanced. This proves a recent conjecture by Keith, Froncek, and Kreher.
On the Relativized Alon Second Eigenvalue Conjecture I: Main Theorems, Examples, and Outline of Proof
This is the first in a series of six articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. Many of the techniques we develop hold whether or not the base graph is regular.
Our first main theorem in this series of articles is that if the base graph is $d$-regular, then for any $ε>0$, as the degree, $n$, of the covering map tends to infinity, some new adjacency eigenvalue of the map is larger in absolute value that $2(d-1)^{1/2}+ε$ with probability at most order $1/n$. Our second main theorem is that if, in addition, the base graph is Ramanujan, then this probability is bounded above and below by $1/n$ to the power of a positive integer that we call the {\em tangle power} of the model, i.e., of the probability spaces of random covering maps of degree $n$.
The tangle power is fairly easy to bound from below, and at times to compute exactly; it measures the probability that certain {\em tangles} appear in the random covering graph, where a {\em tangle} is a local event that forces the covering graph to have a new eigenvalue strictly larger than $2(d-1)^{1/2}$.
Our main theorems are relativizations of Alon's conjecture on the second eigenvalue of random regular graphs of large degree.
In this first article of the series, we introduce all the terminology needed in this series, motivate this terminology, precisely state all the results in the remaining articles, and make some remarks about their proofs. As such, this article provides an overview of the entire series of articles; furthermore, the rest of the articles in this series may be read independently of one another.
On the Relativized Alon Eigenvalue Conjecture II: Asymptotic Expansion Theorems for Walks
This is the second in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
The first main result in this article concerns the function $f(k,n)$ defined as the number of SNBC (strictly non-backtracking closed) walks of length $k$ of a given homotopy type in a random covering graph of degree $n$ of a fixed graph. We prove the existence of asymptotic expansions in powers of $1/n$ for $f(k,n)$, where the coefficients---functions of $k$---are proven to have some desirable properties; namely, these coefficients are approximately a sum of polynomials times exponential functions.
The second main result is a generalization of the first, where the number of SNBC walks of length $k$ is multiplied by an indicator function that the covering graph contains a certain type of {\em tangle}; the second result requires more terminology, although its proof uses the same basic tools used to prove the first result. % The motivation for the second main result will be clear in % the third article in this series of articles.
The results in this article are mostly straightforward generalizations of methods used in previous works. However, this article (1) "factors" these methods into a number of short, conceptually simple, and independent parts, (2) writes each independent part in more general terms, and (3) significantly simplifies of one of the previous computations. As such we expect that this article will make it easier to apply trace methods to related models of random graphs.
On the Relativized Alon Second Eigenvalue Conjecture III: Asymptotic Expansions for Tangle-Free Hashimoto Traces
This is the third in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
In this paper we consider random graphs that are random covering graphs of large degree $n$ of a fixed base graph. We prove the existence of asympototic expansion in $1/n$ for the expected value of the number of strictly non-backtracking closed walks of length $k$ times the indicator function that the graph is free of certain {\em tangles}; moreover, we prove that the coefficients of these expansions are "nice functions" of $k$, namely approximately equal to a sum of polynomials in $k$ times exponential functions of $k$.
Our results use the methods of Friedman used to resolve Alon's original conjecture, combined with the results of Article~II in this series of articles. One simplification in this article over the previous methods of Friedman is that the "regularlized traces" used in this article, which we call {\em certified traces}, are far easier to define and work with than the previously utilized {\em selective traces}.
A Relativized Alon Second Eigenvalue Conjecture for Regular Base Graphs IV: An Improved Sidestepping Theorem
This is the fourth in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
In this paper we prove a {\em Sidestepping Theorem} that is more general and easier to use than earlier theorems of this kind. Such theorems concerns a family probability spaces $\{\mathcal{M}_n\}$ of $n\times n$ matrices, where $n$ varies over some infinite set, $N$, of natural numbers. Many trace methods use simple "Markov bounds" to bound the expected spectral radius of elements of ${\mathcal{M}}_n$: this consists of choosing one value, $k=k(n)$, for each $n\in N$, and proving expected spectral radius bounds based on the expected value of the trace of the $k=k(n)$-power of elements of ${\mathcal{M}}_n$. {\em Sidestepping} refers to bypassing such simple Markov bounds, obtaining improved results using a number of values of $k$ for each fixed $n\in N$.
In more detail, if the $M\in {\mathcal{M}}_n$ expected value of ${\rm Trace}(M^k)$ has an asymptotic expansion in powers of $1/n$, whose coefficients are "well behaved" functions of $k$, then one can get improved bounds on the spectral radius of elements of ${\mathcal{M}}_n$ that hold with high probability. Such asymptotic expansions are shown to exist in the third article in this series for the families of matrices that interest us; in the fifth and sixth article in this series we will apply the Sidestepping Theorem in this article to prove the main results in this series of articles.
This article is independent of all other articles in this series; it can be viewed as a theorem purely in probability theory, concerning random matrices or, equivalently, the $n$ random variables that are the eigenvalues of the elements of ${\mathcal{M}}_n$.
On the Relativized Alon Second Eigenvalue Conjecture V: Proof of the Relativized Alon Conjecture for Regular Base Graphs
This is the fifth in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
In this article we use the results of Articles~III and IV in this series to prove that if the base graph is regular, then as the degree, $n$, of the covering map tends to infinity, some new adjacency eigenvalue has absolute value outside the Alon bound with probability bounded by $O(1/n)$. In addition, we give upper and lower bounds on this probability that are tight to within a multiplicative constant times the degree of the covering map. These bounds depend on two positive integers, the \emph{algebraic power} (which can also be $+\infty$) and the \emph{tangle power} of the model of random covering map.
We conjecture that the algebraic power of the models we study is always $+\infty$, and in Article~VI we prove this when the base graph is regular and \emph{Ramanujan}. When the algebraic power of the model is $+\infty$, then the results in this article imply stronger results, such as (1) the upper and lower bounds mentioned above are matching to within a multiplicative constant, and (2) with probability smaller than any negative power of the degree, the some new eigenvalue fails to be within the Alon bound only if the covering map contains one of finitely many "tangles" as a subgraph (and this event has low probability).
On the Relativized Alon Second Eigenvalue Conjecture VI: Sharp Bounds for Ramanujan Base Graphs
This is the sixth in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
In this article we show that if the fixed graph is regular Ramanujan, then the {\em algebraic power} of the model of random covering graphs is $+\infty$. This implies a number of interesting results, such as (1) one obtains the upper and lower bounds---matching to within a multiplicative constant---for the probability that a random covering map has some new adjacency eigenvalue outside the Alon bound, and (2) with probability smaller than any negative power of the degree of the covering map, some new eigenvalue fails to be within the Alon bound without the covering map containing one of finitely many "tangles" as a subgraph (and this tangle containment event has low probability).
On the Mean Subtree Order of Graphs Under Edge Addition
Published
• View Publication
• BIB
For a graph $G$, the mean subtree order of $G$ is the average order of a subtree of $G$. In this note, we provide counterexamples to a recent conjecture of Chin, Gordon, MacPhee, and Vincent, that for every connected graph $G$ and every pair of distinct vertices $u$ and $v$ of $G$, the addition of the edge between $u$ and $v$ increases the mean subtree order. In fact, we show that the addition of a single edge between a pair of nonadjacent vertices in a graph of order $n$ can decrease the mean subtree order by as much as $n/3$ asymptotically. We propose the weaker conjecture that for every connected graph $G$ which is not complete, there exists a pair of nonadjacent vertices $u$ and $v$, such that the addition of the edge between $u$ and $v$ increases the mean subtree order. We prove this conjecture in the special case that $G$ is a tree.
Persistent Graphs and Cyclic Polytope Triangulations
Published
• View Publication
• BIB
We prove a bijection between the triangulations of the 3-dimensional cyclic polytope C(n+2, 3) and persistent graphs with n vertices. We show that under this bijection the Stasheff-Tamari orders on triangulations naturally translate to subgraph inclusion between persistent graphs. Moreover, we describe a connection to the second higher Bruhat order B(n, 2). We additionally give an algorithm to efficiently enumerate all persistent graphs on n vertices and thus all triangulations of C(n+2, 3).
On the generic family of Cayley graphs of a finite group
Let $G$ be a finite group. For each $m>1$ we define the symmetric canonical subset $S=S(m)$ of the Cartesian power $G^m$ and we consider the family of Cayley graphs $\mathscr{G}_m(G)=Cay(G^m,S)$. We describe properties of these graphs and show that for a fixed $m>1$ and groups $G$ and $H$ the graphs $\mathscr{G}_m(G)$ and $\mathscr{G}_m(H)$ are isomorphic if and only if the groups $G$ and $H$ are isomorphic. We describe also the groups of automorphisms $\mathbf{Aut}(\mathscr{G}_m(G))$. It is shown that if $G$ is a non-abelian group, then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq \big(G^m \rtimes \mathbf{Aut}(G)\big)\rtimes D_{m+1}$, where $D_{m+1}$ is the dihedral group of order $2m+2$. If $G$ is an abelian group (with some exceptions for $m=3$), then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq G^m\rtimes \big(\mathbf{Aut}(G)\times S_{m+1}\big)$, where $S_{m+1}$ is the symmetric group of degree $m+1$. As an example of application we discuss relations between Cayley graphs $\mathscr{G}_m(G)$ and Bergman-Isaacs Theorem on rings with fixed-point-free group actions.
A note on nearly Platonic graphs with connectivity one
Published
• View Publication
• BIB
A k-regular planar graph G is nearly Platonic when all faces but one are of the same degree while the remaining face is of a different degree. We show that no such graphs with connectivity one can exist. This complements a recent result by Keith, Froncek, and Kreher on non-existence of 2-connected nearly Platonic graphs.
On the Strength of Connectivity of Inhomogeneous Random K-out Graphs
Random graphs are an important tool for modelling and analyzing the underlying properties of complex real-world networks. In this paper, we study a class of random graphs known as the inhomogeneous random K-out graphs which were recently introduced to analyze heterogeneous sensor networks secured by the pairwise scheme. In this model, first, each of the $n$ nodes is classified as type-1 (respectively, type-2) with probability $0<μ<1$ (respectively, $1-μ)$ independently from each other. Next, each type-1 (respectively, type-2) node draws 1 arc towards a node (respectively, $K_n$ arcs towards $K_n$ distinct nodes) selected uniformly at random, and then the orientation of the arcs is ignored. From the literature on homogeneous K-out graphs wherein all nodes select $K_n$ neighbors (i.e., $μ=0$), it is known that when $K_n \geq2$, the graph is $K_n$-connected asymptotically almost surely (a.a.s.) as $n$ gets large. In the inhomogeneous case (i.e., $μ>0$), it was recently established that achieving even 1-connectivity a.a.s. requires $K_n=ω(1)$. Here, we provide a comprehensive set of results to complement these existing results. First, we establish a sharp zero-one law for $k$-connectivity, showing that for the network to be $k$-connected a.a.s., we need to set $K_n = \frac{1}{1-μ}(\log n +(k-2)\log\log n + ω(1))$ for all $k=2, 3, \ldots$. Despite such large scaling of $K_n$ being required for $k$-connectivity, we show that the trivial condition of $K_n \geq 2$ for all $n$ is sufficient to ensure that inhomogeneous K-out graph has a connected component of size $n-O(1)$ whp.
Some properties of ergodicity coefficients with applications in spectral graph theory
Published
• View Publication
• BIB
The main result is Corollary 2.9 which provides upper bounds on, and even better, approximates the largest non-trivial eigenvalue in absolute value of real constant row-sum matrices by the use of vector norm based ergodicity coefficients Tp. If the constant row-sum matrix is nonsingular, then it is also shown how its smallest non-trivial eigenvalue in absolute value can be bounded by using Tp. In the last section, these two results are applied to bound the spectral radius of the Laplacian matrix as well as the algebraic connectivity of its associated graph. Many other results are obtained. In particular, Theorem 2.15 is a convergence theorem for Tp and Theorem 4.7 compares some ergodicity coefficients to each other.
New bounds on the spectral radius of graphs based on the moment problem
Published
• View Publication
• BIB
Let $\mathcal{G}$ be an undirected graph with adjacency matrix $A$ and spectral radius $ρ$. Let $w_k, φ_k$ and $φ_k^{(i)}$ be, respectively, the number walks of length $k$, closed walks of length $k$ and closed walks starting and ending at vertex $i$ after $k$ steps. In this paper, we propose a measure-theoretic framework which allows us to relate walks in a graph with its spectral properties. In particular, we show that $w_k, φ_k$ and $φ_k^{(i)}$ can be interpreted as the moments of three different measures, all of them supported on the spectrum of $A$. Building on this interpretation, we leverage results from the classical moment problem to formulate a hierarchy of new lower and upper bounds on $ρ$, as well as provide alternative proofs to several well-known bounds in the literature.
The Power of Two Choices for Random Walks
Published in Combinator. Probab. Comp. 31 (2022) 73-100
• View Publication
• BIB
We apply the power-of-two-choices paradigm to a random walk on a graph: rather than moving to a uniform random neighbour at each step, a controller is allowed to choose from two independent uniform random neighbours. We prove that this allows the controller to significantly accelerate the hitting and cover times in several natural graph classes. In particular, we show that the cover time becomes linear in the number $n$ of vertices on discrete tori and bounded degree trees, of order $\mathcal{O}(n \log \log n)$ on bounded degree expanders, and of order $\mathcal{O}(n (\log \log n)^2)$ on the Erdős-Rényi random graph in a certain sparsely connected regime. We also consider the algorithmic question of computing an optimal strategy, and prove a dichotomy in efficiency between computing strategies for hitting and cover times.
$q$-Plane Zeros of the Potts Partition Function on Diamond Hierarchical Graphs
Published in J. Math. Phys. 61, 073301 (2020)
• View Publication
• BIB
We report exact results concerning the zeros of the partition function of the Potts model in the complex $q$ plane, as a function of a temperature-like Boltzmann variable $v$, for the $m$'th iterate graphs $D_m$ of the Diamond Hierarchical Lattice (DHL), including the limit $m \to \infty$. In this limit we denote the continuous accumulation locus of zeros in the $q$ planes at fixed $v = v_0$ as ${\mathcal B}_q(v_0)$. We apply theorems from complex dynamics to establish properties of ${\mathcal B}_q(v_0)$. For $v=-1$ (the zero-temperature Potts antiferromagnet, or equivalently, chromatic polynomial), we prove that ${\mathcal B}_q(-1)$ crosses the real-$q$ axis at (i) a minimal point $q=0$, (ii) a maximal point $q=3$ (iii) $q=32/27$, (iv) a cubic root that we give, with the value $q = q_1 = 1.6388969..$, and (v) an infinite number of points smaller than $q_1$, converging to $32/27$ from above. Similar results hold for ${\mathcal B}_q(v_0)$ for any $-1 < v < 0$ (Potts antiferromagnet at nonzero temperature). The locus ${\mathcal B}_q(v_0)$ crosses the real-$q$ axis at only two points for any $v > 0$ (Potts ferromagnet). We also provide computer-generated plots of ${\mathcal B}_q(v_0)$ at various values of $v_0$ in both the antiferromagnetic and ferromagnetic regimes and compare them to numerically computed zeros of $Z(D_4,q,v_0)$.
The cyclic matching sequenceability of regular graphs
Published
• View Publication
• BIB
The cyclic matching sequenceability of a simple graph $G$, denoted $\mathrm{cms}(G)$, is the largest integer $s$ for which there exists a cyclic ordering of the edges of $G$ so that every set of $s$ consecutive edges forms a matching. In this paper we consider the minimum cyclic matching sequenceability of $k$-regular graphs. We completely determine this for $2$-regular graphs, and give bounds for $k \geq 3$.
The Alon-Tarsi number of $K_5$-minor-free graphs
Published
• View Publication
• BIB
In this paper, we show the following three theorems. Let $G$ be a $K_5$-minor-free graph. Then Alon-Tarsi number of $G$ is at most $5$, there exists a matching $M$ of $G$ such that the Alon-Tarsi number of $G-M$ is at most $4$, and there exists a forest $F$ such that the Alon-Tarsi number of $G-E(F)$ is at most $3$.
Combinatorics of the double-dimer model
Published
• View Publication
• BIB
We prove that the partition function for tripartite double-dimer configurations of a planar bipartite graph satisfies a recurrence related to the Desnanot-Jacobi identity from linear algebra. A similar identity for the dimer partition function was established nearly 20 years ago by Kuo and has applications to random tiling theory and the theory of cluster algebras. This work was motivated in part by the potential for applications in these areas. Additionally, we discuss an application to Donaldson-Thomas and Pandharipande-Thomas theory which will be the subject of a forthcoming paper. The proof of our recurrence requires generalizing work of Kenyon and Wilson; specifically, lifting their assumption that the nodes of the graph are black and odd or white and even.
Paired Domination versus Domination and Packing Number in Graphs
Published
• View Publication
• BIB
Given a graph $G=(V(G), E(G))$, the size of a minimum dominating set, minimum paired dominating set, and a minimum total dominating set of a graph $G$ are denoted by $γ(G)$, $γ_{\rm pr}(G)$, and $γ_{t}(G)$, respectively. For a positive integer $k$, a $k$-packing in $G$ is a set $S \subseteq V(G)$ such that for every pair of distinct vertices $u$ and $v$ in $S$, the distance between $u$ and $v$ is at least $k+1$. The $k$-packing number is the order of a largest $k$-packing and is denoted by $ρ_{k}(G)$. It is well known that $γ_{\rm pr}(G) \le 2γ(G)$. In this paper, we prove that it is NP-hard to determine whether $γ_{\rm pr}(G) = 2γ(G)$ even for bipartite graphs. We provide a simple characterization of trees with $γ_{\rm pr}(G) = 2γ(G)$, implying a polynomial-time recognition algorithm. We also prove that even for a bipartite graph, it is NP-hard to determine whether $γ_{\rm pr}(G)=γ_{t}(G)$. We finally prove that it is both NP-hard to determine whether $γ_{\rm pr}(G)=2ρ_{4}(G)$ and whether $γ_{\rm pr}(G)=2ρ_{3}(G)$.