graph
35299 papers tagged with this keyword
Hypercellular graphs: partial cubes without $Q_3^-$ as partial cube minor
We investigate the structure of isometric subgraphs of hypercubes (i.e., partial cubes) which do not contain finite convex subgraphs contractible to the 3-cube minus one vertex $Q^-_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). Extending similar results for median and cellular graphs, we show that the convex hull of an isometric cycle of such a graph is gated and isomorphic to the Cartesian product of edges and even cycles. Furthermore, we show that our graphs are exactly the class of partial cubes in which any finite convex subgraph can be obtained from the Cartesian products of edges and even cycles via successive gated amalgams. This decomposition result enables us to establish a variety of results. In particular, it yields that our class of graphs generalizes median and cellular graphs, which motivates naming our graphs hypercellular. Furthermore, we show that hypercellular graphs are tope graphs of zonotopal complexes of oriented matroids. Finally, we characterize hypercellular graphs as being median-cell -- a property naturally generalizing the notion of median graphs.
Integral Cayley Graphs over Dihedral Groups
Published
• View Publication
• BIB
In this paper, we give a necessary and sufficient condition for the integrality of Cayley graphs over the dihedral group $D_n=\langle a,b\mid a^n=b^2=1,bab=a^{-1}\rangle$. Moreover, we also obtain some simple sufficient conditions for the integrality of Cayley graphs over $D_n$ in terms of the Boolean algebra of $\langle a\rangle$, from which we find infinite classes of integral Cayley graphs over $D_n$. In particular, we completely determine all integral Cayley graphs over the dihedral group $D_p$ for a prime $p$.
Spectral Gap of Random Hyperbolic Graphs and Related Parameters
Published
• View Publication
• BIB
Random hyperbolic graphs have been suggested as a promising model of social networks. A few of their fundamental parameters have been studied. However, none of them concerns their spectra. We consider the random hyperbolic graph model as formalized by [GPP12] and essentially determine the spectral gap of their normalized Laplacian. Specifically, we establish that with high probability the second smallest eigenvalue of the normalized Laplacian of the giant component of and $n$-vertex random hyperbolic graph is $Ω(n^{-(2α-1)}/D)$, where $\frac12<α<1$ is a model parameter and $D$ is the network diameter (which is known to be at most polylogarithmic in $n$). We also show a matching (up to a polylogarithmic factor) upper bound of $n^{-(2α-1)}(\log n)^{1+o(1)}$. As a byproduct we conclude that the conductance upper bound on the eigenvalue gap obtained via Cheeger's inequality is essentially tight. We also provide a more detailed picture of the collection of vertices on which the bound on the conductance is attained, in particular showing that for all subsets whose volume is $O(n^{1-\varepsilon})$ the obtained conductance is with high probability $Ω(n^{-(2α-1)\varepsilon+o(1)})$. Finally, we also show consequences of our result for the minimum and maximum bisection of the giant component.
Perfect state transfer is poly-time
Published in Quantum Information & Computation, Vol. 17 No.5&6, May 2017. PP0495-0502
• View Publication
• BIB
We show that deciding whether a graph admits perfect state transfer can be done in polynomial time with respect to the size of the graph on a classical computer.
Polyhedra with few 3-cuts are hamiltonian
Published
• View Publication
• BIB
In 1956, Tutte showed that every planar 4-connected graph is hamiltonian. In this article, we will generalize this result and prove that polyhedra with at most three 3-cuts are hamiltonian. In 2002 Jackson and Yu have shown this result for the subclass of triangulations. We also prove that polyhedra with at most four 3-cuts have a hamiltonian path. It is well known that for each $k \ge 6$ non-hamiltonian polyhedra with $k$ 3-cuts exist. We give computational results on lower bounds on the order of a possible non-hamiltonian polyhedron for the remaining open cases of polyhedra with four or five 3-cuts.
Topological realizations of line arrangements
Published
• View Publication
• BIB
A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In this paper we investigate whether a configuration is realized by a collection of $2$-spheres embedded, in the symplectic, smooth, or topological (locally flat) categories, in the complex projective plane. We find obstructions to realizability in the topological category, which apply to configurations specified by all projective planes over a finite field. Such obstructions are used to show that certain contact graph manifolds are not (strongly) symplectically fillable. We also show that a configuration of real pseudolines can be complexified to give a configuration of smooth, indeed symplectically embedded, $2$-spheres.
Generalized Permutohedra from Probabilistic Graphical Models
Published
• View Publication
• BIB
A graphical model encodes conditional independence relations via the Markov properties. For an undirected graph these conditional independence relations can be represented by a simple polytope known as the graph associahedron, which can be constructed as a Minkowski sum of standard simplices. There is an analogous polytope for conditional independence relations coming from a regular Gaussian model, and it can be defined using multiinformation or relative entropy. For directed acyclic graphical models and also for mixed graphical models containing undirected, directed and bidirected edges, we give a construction of this polytope, up to equivalence of normal fans, as a Minkowski sum of matroid polytopes. Finally, we apply this geometric insight to construct a new ordering-based search algorithm for causal inference via directed acyclic graphical models.
Walking on the Edge and Cosystolic Expansion
Random walks on regular bounded degree expander graphs have numerous applications. A key property of these walks is that they converge rapidly to the uniform distribution on the vertices. The recent study of expansion of high dimensional simplicial complexes, which are the high dimensional analogues of graphs, calls for the natural generalization of random walks to higher dimensions. In particular, a high order random walk on a $2$-dimensional simplicial complex moves at random between neighboring edges of the complex, where two edges are considered neighbors if they share a common triangle. We show that if a regular $2$-dimensional simplicial complex is a cosystolic expander and the underlying graph of the complex has a spectral gap larger than $1/2$, then the random walk on the edges of the complex converges rapidly to the uniform distribution on the edges.
Three conjectures in extremal spectral graph theory
Published
• View Publication
• BIB
We prove three conjectures regarding the maximization of spectral invariants over certain families of graphs. Our most difficult result is that the join of $P_2$ and $P_{n-2}$ is the unique graph of maximum spectral radius over all planar graphs. This was conjectured by Boots and Royle in 1991 and independently by Cao and Vince in 1993. Similarly, we prove a conjecture of Cvetković and Rowlinson from 1990 stating that the unique outerplanar graph of maximum spectral radius is the join of a vertex and $P_{n-1}$. Finally, we prove a conjecture of Aouchiche et al from 2008 stating that a pineapple graph is the unique connected graph maximizing the spectral radius minus the average degree. To prove our theorems, we use the leading eigenvector of a purported extremal graph to deduce structural properties about that graph. Using this setup, we give short proofs of several old results: Mantel's Theorem, Stanley's edge bound and extensions, the Kővari-Sós-Turán Theorem applied to $\mathrm{ex}\left(n, K_{2,t}\right)$, and a partial solution to an old problem of Erdős on making a triangle-free graph bipartite.
Isometric copies of directed trees in orientations of graphs
Published in J. Graph Theory. 94:2 (2020) 175--191
• View Publication
• BIB
For every $n\in\mathbb N$ we construct a finite graph $G$ such that every orientation $\vec G$ of $G$ contains an isometric copy of any oriented tree on $n$ vertices, and evaluate the smallest possible cardinality of $G$. On the other hand, we prove that every graph $G$ admits an orientation containing no directed $ω$-paths of infinite diameter.
Bakry-Émery curvature functions of graphs
Published
• View Publication
• BIB
We study the Bakry-Émery curvature function $\mathcal{K}_{G,x}:(0,\infty]\to \mathbb{R}$ of a vertex $x$ in a locally finite graph $G$ systematically. Here $\mathcal{K}_{G,x}(\mathcal{N})$ is defined as the optimal curvature lower bound $\mathcal{K}$ in the Bakry-Émery curvature-dimension inequality $CD(\mathcal{K},\mathcal{N})$ that $x$ satisfies. We prove the curvature functions of the Cartesian product of two graphs $G_1,G_2$ equal an abstract product of curvature functions of $G_1,G_2$. We relate the curvature functions of $G$ with various spectral properties of (weighted) graphs constructed from local structures of $G$. We explore the curvature functions of Cayley graphs, strongly regular graphs, and many particular (families of) examples including Johnson graphs and complete bipartite graphs. We construct an infinite family of $6$-regular graphs which satisfy $CD(0,\infty)$ but are not Cayley graphs.
The average number of spanning trees in sparse graphs with given degrees
Published
• View Publication
• BIB
We give an asymptotic expression for the expected number of spanning trees in a random graph with a given degree sequence $\boldsymbol{d}=(d_1,\ldots, d_n)$, provided that the number of edges is at least $n + \textstyle{\frac{1}{2}} d_{\max}^4$, where $d_{\max}$ is the maximum degree. A key part of our argument involves establishing a concentration result for a certain family of functions over random trees with given degrees, using Prüfer codes.
Improved approximative multicoloring of hexagonal graphs
In 1999, McDiarmid and Reed conjectued that the approximation ratio $9/8$ of multichromatic number to weighted clique number asymptotically is the best possible for general weighted hexagonal graphs. We prove that there is a proper multicoloring of $G$ that uses at most $15 \lfloor\frac{ω(G)}{12}\rfloor+ 18 $ colors improving the best previously known asimptotic ratio from 4/3 to 5/4.
Quadrangular embeddings of complete graphs and the Even Map Color Theorem (with details)
Published in J. Combin. Theory Ser. B 139 (2019) 1-26
• View Publication
• BIB
Hartsfield and Ringel constructed orientable quadrangular embeddings of the complete graph $K_n$ for $n\equiv 5 \pmod 8$, and nonorientable ones for $n \ge 9$ and $n\equiv 1 \pmod 4$. These provide minimal quadrangulations of their underlying surfaces. We extend these results to determine, for every complete graph $K_n$, $n \ge 4$, the minimum genus, both orientable and nonorientable, for the surface in which $K_n$ has an embedding with all faces of degree at least $4$, and also for the surface in which $K_n$ has an embedding with all faces of even degree. These last embeddings provide sharpness examples for a result of Hutchinson bounding the chromatic number of graphs embedded with all faces of even degree, completing the proof of the Even Map Color Theorem. We also show that if a connected simple graph $G$ has a perfect matching and a cycle then the lexicographic product $G[K_4]$ has orientable and nonorientable quadrangular embeddings; this provides new examples of minimal quadrangulations.
On the average size of independent sets in triangle-free graphs
Published
• View Publication
• BIB
We prove an asymptotically tight lower bound on the average size of independent sets in a triangle-free graph on $n$ vertices with maximum degree $d$, showing that an independent set drawn uniformly at random from such a graph has expected size at least $(1+o_d(1)) \frac{\log d}{d}n$. This gives an alternative proof of Shearer's upper bound on the Ramsey number $R(3,k)$. We then prove that the total number of independent sets in a triangle-free graph with maximum degree $d$ is at least $\exp \left[\left(\frac{1}{2}+o_d(1) \right) \frac{\log^2 d}{d}n \right]$. The constant $1/2$ in the exponent is best possible. In both cases, tightness is exhibited by a random $d$-regular graph.
Both results come from considering the hard-core model from statistical physics: a random independent set $I$ drawn from a graph with probability proportional to $λ^{|I|}$, for a fugacity parameter $λ>0$. We prove a general lower bound on the occupancy fraction (normalized expected size of the random independent set) of the hard-core model on triangle-free graphs of maximum degree $d$. The bound is asymptotically tight in $d$ for all $λ=O_d(1)$.
We conclude by stating several conjectures on the relationship between the average and maximum size of an independent set in a triangle-free graph and give some consequences of these conjectures in Ramsey theory.
Generalized Ramsey numbers through adiabatic quantum optimization
Published in Quantum Inf. Process. 15, 3519 (2016)
• View Publication
• BIB
Ramsey theory is an active research area in combinatorics whose central theme is the emergence of order in large disordered structures, with Ramsey numbers marking the threshold at which this order first appears. For generalized Ramsey numbers $r(G,H)$, the emergent order is characterized by graphs $G$ and $H$. In this paper we: (i) present a quantum algorithm for computing generalized Ramsey numbers by reformulating the computation as a combinatorial optimization problem which is solved using adiabatic quantum optimization; and (ii) determine the Ramsey numbers $r(\mathcal{T}_{m},\mathcal{T}_{n})$ for trees of order $m,n = 6,7,8$, most of which were previously unknown.
Highlights from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]
This paper brings the main definitions and results from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]. No proofs are given.
Given a simplicial complex $\mathcal{X}$ and a group $G$ acting on $\mathcal{X}$, we define Ramanujan quotients of $\mathcal{X}$. For $G$ and $\mathcal{X}$ suitably chosen this recovers Ramanujan $k$-regular graphs and Ramanujan complexes in the sense of Lubotzky, Samuels and Vishne. Deep results in automorphic representations are used to give new examples of Ramanujan quotients when $\mathcal{X}$ is the affine building of an inner form of $\mathbf{GL}_n$ over a local field of positive characteristic.
Packing Coloring of Undirected and Oriented Generalized Theta Graphs
The packing chromatic number $χ$ $ρ$ (G) of an undirected (resp. oriented) graph G is the smallest integer k such that its set of vertices V (G) can be partitioned into k disjoint subsets V 1,..., V k, in such a way that every two distinct vertices in V i are at distance (resp. directed distance) greater than i in G for every i, 1 $\le$ i $\le$ k. The generalized theta graph $Θ$ {\ell} 1,...,{\ell}p consists in two end-vertices joined by p $\ge$ 2 internally vertex-disjoint paths with respective lengths 1 $\le$ {\ell} 1 $\le$ . . . $\le$ {\ell} p. We prove that the packing chromatic number of any undirected generalized theta graph lies between 3 and max{5, n 3 + 2}, where n 3 = |{i / 1 $\le$ i $\le$ p, {\ell} i = 3}|, and that both these bounds are tight. We then characterize undirected generalized theta graphs with packing chromatic number k for every k $\ge$ 3. We also prove that the packing chromatic number of any oriented generalized theta graph lies between 2 and 5 and that both these bounds are tight.
Regularity inheritance in pseudorandom graphs
Published
• View Publication
• BIB
Advancing the sparse regularity method, we prove one-sided and two-sided regularity inheritance lemmas for subgraphs of bijumbled graphs, improving on results of Conlon, Fox and Zhao [Adv. Math. 256 (2014), 206--290]. These inheritance lemmas also imply improved $H$-counting lemmas for subgraphs of bijumbled graphs, for some $H$.
Matching and Independence Complexes Related to Small Grids
Published
• View Publication
• BIB
The topology of the matching complex for the $2\times n$ grid graph is mysterious. We describe a discrete Morse matching for a family of independence complexes $\mathrm{Ind}(Δ_n^m)$ that include these matching complexes. Using this matching, we determine the dimensions of the chain spaces for the resulting Morse complexes and derive bounds on the location of non-trivial homology groups for certain $\mathrm{Ind}(Δ_n^m)$. Further, we determine the Euler characteristic of $\mathrm{Ind}(Δ_n^m)$ and prove that several homology groups of $\mathrm{Ind}(Δ_n^m)$ are non-zero.