graph
35299 papers tagged with this keyword
Modulus of continuity eigenvalue bounds for homogeneous graphs and convex subgraphs with applications to quantum Hamiltonians
Published in Journal of Mathematical Analysis and Applications, Vol. 452, No. 2, pg. 1269-1290 (2017)
• View Publication
• BIB
We adapt modulus of continuity estimates to the study of spectra of combinatorial graph Laplacians, as well as the Dirichlet spectra of certain weighted Laplacians. The latter case is equivalent to stoquastic Hamiltonians and is of current interest in both condensed matter physics and quantum computing. In particular, we introduce a new technique which bounds the spectral gap of such Laplacians (Hamiltonians) by studying the limiting behavior of the oscillations of their eigenvectors when introduced into the heat equation. Our approach is based on recent advances in the PDE literature, which include a proof of the fundamental gap theorem by Andrews and Clutterbuck.
Chromatic Symmetric Functions of Hypertrees
Published
• View Publication
• BIB
The chromatic symmetric function $X_H$ of a hypergraph $H$ is the generating function for all colorings of $H$ so that no edge is monochromatic. When $H$ is an ordinary graph, it is known that $X_H$ is positive in the fundamental quasisymmetric functions $F_S$, but this is not the case for general hypergraphs. We exhibit a class of hypergraphs $H$ --- hypertrees with prime-sized edges --- for which $X_H$ is $F$-positive, and give an explicit combinatorial interpretation for the $F$-coefficients of $X_H$.
First passage percolation on the Newman-Watts small world model
Published in Journal of Statistical Phyisics, Vol 162, (4) pp 959-993, 2016
• View Publication
• BIB
The Newman-Watts model is given by taking a cycle graph of n vertices and then adding each possible edge $(i,j), |i-j|\neq 1 \mod n$ with probability $ρ/n$ for some $ρ>0$ constant. In this paper we add i.i.d. exponential edge weights to this graph, and investigate typical distances in the corresponding random metric space given by the least weight paths between vertices. We show that typical distances grow as $\frac1λ\log n$ for a $λ>0$ and determine the distribution of smaller order terms in terms of limits of branching process random variables. We prove that the number of edges along the shortest weight path follows a Central Limit Theorem, and show that in a corresponding epidemic spread model the fraction of infected vertices follows a deterministic curve with a random shift.
Erdős-Ko-Rado Theorems for a Family of Trees
Published
• View Publication
• BIB
Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, let $\mathcal{I}^{(r)}_v(G)$ denote the family of independent sets of size $r$ that contain~$v$. This family is called an $r$-star and $v$ is the centre of the star. Then $G$ is said to be $r$-EKR if no pairwise intersecting subfamily of $\mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-star, and if every maximum size pairwise intersecting subfamily of $\mathcal{I}^{(r)}(G)$ is an $r$-star, then $G$ is said to be strictly $r$-EKR. Let $μ(G)$ denote the minimum size of a maximal independent set of $G$. Holroyd and Talbot conjectured that if $2r \leq μ(G)$, then $G$ is $r$-EKR and strictly $r$-EKR if $2r < μ(G)$.
An elongated claw is a tree in which one vertex is designated the root and no vertex other than the root has degree greater than 2. A depth-two claw is an elongated claw in which every vertex of degree~1 is at distance 2 from the root. We show that if $G$ is a depth-two claw, then $G$ is strictly $r$-EKR if $2r \leq μ(G)+1$, confirming the conjecture of Holroyd and Talbot for this family. We also show that if $G $ is an elongated claw with $n$ leaves and at least one leaf adjacent to the root, then $G$ is $r$-EKR if $2r \leq n$.
Hurlbert and Kamat had conjectured that one can always find a largest $r$-star of a tree whose centre is a leaf. Baber and Borg have separately shown this to be false. We show that, moreover, for all $n \geq 2$, $d \geq 3$, there exists a positive integer $r$ such that there is a tree where the centre of the largest $r$-star is a vertex of degree $n$ at distance at least $d$ from every leaf.
Canonizing Graphs of Bounded Tree Width in Logspace
Published
• View Publication
• BIB
Graph canonization is the problem of computing a unique representative, a canon, from the isomorphism class of a given graph. This implies that two graphs are isomorphic exactly if their canons are equal. We show that graphs of bounded tree width can be canonized by logarithmic-space (logspace) algorithms. This implies that the isomorphism problem for graphs of bounded tree width can be decided in logspace. In the light of isomorphism for trees being hard for the complexity class logspace, this makes the ubiquitous class of graphs of bounded tree width one of the few classes of graphs for which the complexity of the isomorphism problem has been exactly determined.
Typical distances in a geometric model for complex networks
Published
• View Publication
• BIB
We study typical distances in a geometric random graph on the hyperbolic plane. Introduced by Krioukov et al.~\cite{ar:Krioukov} as a model for complex networks, $N$ vertices are drawn randomly within a bounded subset of the hyperbolic plane and any two of them are joined if they are within a threshold hyperbolic distance. With appropriately chosen parameters, the random graph is sparse and exhibits power law degree distribution as well as local clustering. In this paper we show a further property: the distance between two uniformly chosen vertices that belong to the same component is doubly logarithmic in $N$, i.e., the graph is an ~\emph{ultra-small world}. More precisely, we show that the distance rescaled by $\log \log N$ converges in probability to a certain constant that depends on the exponent of the power law. The same constant emerges in an analogous setting with the well-known \emph{Chung-Lu} model for which the degree distribution has a power law tail.
On the number of edges in the special distance graph
Published
• View Publication
• BIB
In this paper we obtain new estimates of the number of edges in subgraphs of the special distance graph. Bibliography: 21 item.
Deciding the existence of perfect entangled strategies for nonlocal games
First, we consider the problem of deciding whether a nonlocal game admits a perfect entangled strategy that uses projective measurements on a maximally entangled shared state. Via a polynomial-time Karp reduction, we show that independent set games are the hardest instances of this problem. Secondly, we show that if every independent set game whose entangled value is equal to one admits a perfect entangled strategy, then the same holds for all symmetric synchronous games. Finally, we identify combinatorial lower bounds on the classical and entangled values of synchronous games in terms of variants of the independence number of appropriate graphs. Our results suggest that independent set games might be representative of all nonlocal games when dealing with questions concerning perfect entangled strategies.
Jordan-like characterization of automorphism groups of planar graphs
We investigate automorphism groups of planar graphs. The main result is a complete recursive description of all abstract groups that can be realized as automorphism groups of planar graphs. The characterization is formulated in terms of inhomogeneous wreath products. In the proof, we combine techniques from combinatorics, group theory, and geometry. This significantly improves the Babai's description (1975).
A Study on Linear Jaco Graphs
We introduce the concept of a family of finite directed graphs (\emph{positive integer order,} $f(x) = mx + c; x,m \in \Bbb N$ and $c \in \Bbb N_0)$ which are directed graphs derived from an infinite directed graph called the $f(x)$-root digraph. The $f(x)$-root digraph has four fundamental properties which are; $V(J_\infty(f(x))) = \{v_i: i \in \Bbb N\}$ and, if $v_j$ is the head of an arc then the tail is always a vertex $v_i, i < j$ and, if $v_k$ for smallest $k \in \Bbb N$ is a tail vertex then all vertices $v_\ell, k < \ell < j$ are tails of arcs to $v_j$ and finally, the degree of a vertex $v_k$ is $d(v_k) = mk + c$. The family of finite directed graphs are those limited to $n \in \Bbb N$ vertices by lobbing off all vertices (and corresponding arcs) $v_t, t > n.$ Hence, trivially we have $d(v_i) \leq mi + c$ for $i \in \Bbb N.$ It is meant to be an \emph{introductory paper} to encourage further research.
Filling the Complexity Gaps for Colouring Planar and Bounded Degree Graphs
Published
• View Publication
• BIB
A colouring of a graph $G=(V,E)$ is a function $c: V\rightarrow\{1,2,\ldots \}$ such that $c(u)\neq c(v)$ for every $uv\in E$. A $k$-regular list assignment of $G$ is a function $L$ with domain $V$ such that for every $u\in V$, $L(u)$ is a subset of $\{1, 2, \dots\}$ of size $k$. A colouring $c$ of $G$ respects a $k$-regular list assignment $L$ of $G$ if $c(u)\in L(u)$ for every $u\in V$. A graph $G$ is $k$-choosable if for every $k$-regular list assignment $L$ of $G$, there exists a colouring of $G$ that respects $L$. We may also ask if for a given $k$-regular list assignment $L$ of a given graph $G$, there exists a colouring of $G$ that respects $L$. This yields the $k$-Regular List Colouring problem. For $k\in \{3,4\}$ we determine a family of classes ${\cal G}$ of planar graphs, such that either $k$-Regular List Colouring is NP-complete for instances $(G,L)$ with $G\in {\cal G}$, or every $G\in {\cal G}$ is $k$-choosable. By using known examples of non-$3$-choosable and non-$4$-choosable graphs, this enables us to classify the complexity of $k$-Regular List Colouring restricted to planar graphs, planar bipartite graphs, planar triangle-free graphs and to planar graphs with no $4$-cycles and no $5$-cycles. We also classify the complexity of $k$-Regular List Colouring and a number of related colouring problems for graphs with bounded maximum degree.
Uniformly resolvable $(C_4, K_{1,3})$-designs of order $v$ and index $2$
Published
• View Publication
• BIB
In this paper we consider the uniformly resolvable decompositions of the complete graph $2K_v$ into subgraphs where each resolution class contains only blocks isomorphic to the same graph. We completely determine the spectrum for the cases in which all the resolution classes are either $C_4$ or $K_{1,3}$.
On the growth of permutation classes
We study aspects of the enumeration of permutation classes, sets of permutations closed downwards under the subpermutation order.
First, we consider monotone grid classes of permutations. We present procedures for calculating the generating function of any class whose matrix has dimensions $m \times 1$ for some $m$, and of acyclic and unicyclic classes of gridded permutations. We show that almost all large permutations in a grid class have the same shape, and determine this limit shape.
We prove that the growth rate of a grid class is given by the square of the spectral radius of an associated graph and deduce some facts relating to the set of grid class growth rates. In the process, we establish a new result concerning tours on graphs. We also prove a similar result relating the growth rate of a geometric grid class to the matching polynomial of a graph, and determine the effect of edge subdivision on the matching polynomial. We characterise the growth rates of geometric grid classes in terms of the spectral radii of trees.
We then investigate the set of growth rates of permutation classes and establish a new upper bound on the value above which every real number is the growth rate of some permutation class. In the process, we prove new results concerning expansions of real numbers in non-integer bases in which the digits are drawn from sets of allowed values.
Finally, we introduce a new enumeration technique, based on associating a graph with each permutation, and determine the generating functions for some previously unenumerated classes. We conclude by using this approach to provide an improved lower bound on the growth rate of the class of permutations avoiding the pattern $1324$. In the process, we prove that, asymptotically, patterns in Łukasiewicz paths exhibit a concentrated Gaussian distribution.
Extremal Positive Semidefinite Matrices for Graphs without $K_5$ Minors
Published
• View Publication
• BIB
For a graph $G$ with $p$ vertices the closed convex cone $\mathbb{S}^p_{\succeq0}(G)$ consists of all real positive semidefinite $p\times p$ matrices with zeros in the off-diagonal entries corresponding to nonedges of $G$. The extremal rays of this cone and their associated ranks have applications to matrix completion problems, maximum likelihood estimation in Gaussian graphical models in statistics, and Gauss elimination for sparse matrices. For a graph $G$ without $K_5$ minors, we show that the normal vectors to the facets of the $(\pm1)$-cut polytope of $G$ specify the off-diagonal entries of extremal matrices in $\mathbb{S}^p_{\succeq0}(G)$. We also prove that the constant term of the linear equation of each facet-supporting hyperplane is the rank of its corresponding extremal matrix in $\mathbb{S}^p_{\succeq0}(G)$. Furthermore, we show that if $G$ is series-parallel then this gives a complete characterization of all possible extremal ranks of $\mathbb{S}^p_{\succeq0}(G)$, consequently solving the sparsity order problem for series-parallel graphs.
Graphs on 21 edges that are not 2--apex
Published in Involve 9 (2016) 591-621
• View Publication
• BIB
We show that the 20 graph Heawood family, obtained by a combination of triangle-Y and Y-triangle moves on $K_7$, is precisely the set of graphs of at most 21 edges that are minor minimal for the property not $2$--apex. As a corollary, this gives a new proof that the 14 graphs obtained by triangle-Y moves on $K_7$ are the minor minimal intrinsically knotted graphs of 21 or fewer edges. Similarly, we argue that the seven graph Petersen family, obtained from $K_6$, is the set of graphs of at most 17 edges that are minor minimal for the property not apex.
Bounds for the Clique Cover Width of Factors of the Apex Graph of the Planar Grid
Published in Congressus Numerantium 224 (2015), 213-220
• Search Publication
The {\it clique cover width} of $G$, denoted by $ccw(G)$, is the minimum value of the bandwidth of all graphs that are obtained by contracting the cliques in a clique cover of $G$ into a single vertex. For $i=1,2,...,d,$ let $G_i$ be a graph with $V(G_i)=V$, and let $G$ be a graph with $V(G)=V$ and $E(G)=\cap_{i=1}^d(G_i)$, then we write $G=\cap_{i=1}^dG_i$ and call each $G_i,i=1,2,...,d$ a factor of $G$. We are interested in the case where $G_1$ is chordal, and $ccw(G_i),i=2,3...,d$ for each factor $G_i$ is "small". Here we show a negative result. Specifically, let ${\hat G}(k,n)$ be the graph obtained by joining a set of $k$ apex vertices of degree $n^2$ to all vertices of an $n\times n$ grid, and then adding some possible edges among these $k$ vertices. We prove that if ${\hat G}(k,n)=\cap_{i=1}^dG_i$, with $G_1$ being chordal, then, $max_{2\le i\le d}\{ccw(G_i)\}\ge {n^{1\over d-1}\over 2.{(2c)}^{1\over {d-1}}}$, where $c$ is a constant. Furthermore, for $d=2$, we construct a chordal graph $G_1$ and a graph $G_2$ with $ccw(G_2)\le {n\over 2}+k$ so that ${\hat G}(k,n)=G_1\cap G_2$. Finally, let ${\hat G}$ be the clique sum graph of ${\hat G}(k_i, n_i), i=1,2,...t$, where the underlying grid is $n_i\times n_i$ and the sum is taken at apex vertices. Then, we show ${\hat G}=G_1\cap G_2$, where, $G_1$ is chordal and $ccw(G_2)\le \sum_{i=1}^t(n_i+k_i)$. The implications and applications of the results are discussed, including addressing a recent question of David Wood.
Simplicial and Cellular Trees
Published
• View Publication
• BIB
Much information about a graph can be obtained by studying its spanning trees. On the other hand, a graph can be regarded as a 1-dimensional cell complex, raising the question of developing a theory of trees in higher dimension. As observed first by Bolker, Kalai and Adin, and more recently by numerous authors, the fundamental topological properties of a tree --- namely acyclicity and connectedness --- can be generalized to arbitrary dimension as the vanishing of certain cellular homology groups. This point of view is consistent with the matroid-theoretic approach to graphs, and yields higher-dimensional analogues of classical enumerative results including Cayley's formula and the matrix-tree theorem. A subtlety of the higher-dimensional case is that enumeration must account for the possibility of torsion homology in trees, which is always trivial for graphs. Cellular trees are the starting point for further high-dimensional extensions of concepts from algebraic graph theory including the critical group, cut and flow spaces, and discrete dynamical systems such as the abelian sandpile model.
Solution of the string equations for asymmetric potentials
Published
• View Publication
• BIB
We consider the large $N$ expansion of the partition function for the Hermitian one-matrix model. It is well known that the coefficients of this expansion are generating functions $F^{(g)}$ for a certain kind of graph embedded in a Riemann surface. Other authors have made a simplifying assumption that the potential $V$ is an even function. We present a method for computing $F^{(g)}$ in the case that $V$ is not an even function. Our method is based on the string equations, and yields "valence independent" formulas which do not depend explicitly on the potential. We introduce a family of differential operators, the "string polynomials", which make clear the valence independent nature of the string equations.
Rational exponents in extremal graph theory
Published
• View Publication
• BIB
Given a family of graphs $\mathcal{H}$, the extremal number $\textrm{ex}(n, \mathcal{H})$ is the largest $m$ for which there exists a graph with $n$ vertices and $m$ edges containing no graph from the family $\mathcal{H}$ as a subgraph. We show that for every rational number $r$ between $1$ and $2$, there is a family of graphs $\mathcal{H}_r$ such that $\textrm{ex}(n, \mathcal{H}_r) = Θ(n^r)$. This solves a longstanding problem in the area of extremal graph theory.
Regulating Hartshorne's connectedness theorem
Published
• View Publication
• BIB
A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If $X \subset \mathbb{P}^n$ is an arithmetically Gorenstein projective scheme of regularity $r+1$, and if every irreducible component of $X$ has regularity $\le r'$, we show that the dual graph of $X$ is $\lfloor{\frac{r+r'-1}{r'}}\rfloor$-connected. The bound is sharp.
We also provide a strong converse to Hartshorne's result: Every connected graph is the dual graph of a suitable arithmetically Cohen-Macaulay projective curve of regularity $\le 3$, whose components are all rational normal curves. The regularity bound is smallest possible in general.
Further consequences of our work are:
(1) Any graph is the Hochster-Huneke graph of a complete equidimensional local ring. (This answers a question by Sather-Wagstaff and Spiroff.)
(2) The regularity of a curve is not larger than the sum of the regularities of its primary components.