graph
34961 papers tagged with this keyword
Maximum planar subgraphs in dense graphs
Published
• View Publication
• BIB
Kühn, Osthus and Taraz showed that for each γ>0 there exists C such that any n-vertex graph with minimum degree γn contains a planar subgraph with at least 2n-C edges. We find the optimum value of C for all γ<1/2 and sufficiently large n.
The scaling limit of the minimum spanning tree of the complete graph
Published
• View Publication
• BIB
Consider the minimum spanning tree (MST) of the complete graph with n vertices, when edges are assigned independent random weights. Endow this tree with the graph distance renormalized by n^{1/3} and with the uniform measure on its vertices. We show that the resulting space converges in distribution, as n tends to infinity, to a random measured metric space in the Gromov-Hausdorff-Prokhorov topology. We additionally show that the limit is a random binary R-tree and has Minkowski dimension 3 almost surely. In particular, its law is mutually singular with that of the Brownian continuum random tree or any rescaled version thereof. Our approach relies on a coupling between the MST problem and the Erdös-Rényi random graph. We exploit the explicit description of the scaling limit of the Erdös-Rényi random graph in the so-called critical window, established by the first three authors in an earlier paper, and provide a similar description of the scaling limit for a "critical minimum spanning forest" contained within the MST.
The local weak limit of the minimum spanning tree of the complete graph
Assign i.i.d. standard exponential edge weights to the edges of the complete graph K_n, and let M_n be the resulting minimum spanning tree. We show that M_n converges in the local weak sense (also called Aldous-Steele or Benjamini-Schramm convergence), to a random infinite tree M. The tree M may be viewed as the component containing the root in the wired minimum spanning forest of the Poisson-weighted infinite tree (PWIT). We describe a Markov process construction of M starting from the invasion percolation cluster on the PWIT. We then show that M has cubic volume growth, up to lower order fluctuations for which we provide explicit bounds. Our volume growth estimates confirm recent predictions from the physics literature, and contrast with the behaviour of invasion percolation on the PWIT and on regular trees, which exhibit quadratic volume growth.
Note on packing of edge-disjoint spanning trees in sparse random graphs
The \emph{spanning tree packing number} of a graph $G$ is the maximum number of edge-disjoint spanning trees contained in $G$. Let $k\geq 1$ be a fixed integer. Palmer and Spencer proved that in almost every random graph process, the hitting time for having $k$ edge-disjoint spanning trees equals the hitting time for having minimum degree $k$. In this paper, we prove that for any $p$ such that $(\log n+ω(1))/n\leq p\leq (1.1\log n)/n$, almost surely the random graph $G(n,p)$ satisfies that the spanning tree packing number is equal to the minimum degree. Note that this bound for $p$ will allow the minimum degree to be a function of $n$, and in this sense we improve the result of Palmer and Spencer. Moreover, we also obtain that for any $p$ such that $p\geq (51\log n)/n$, almost surely the random graph $G(n,p)$ satisfies that the spanning tree packing number is less than the minimum degree.
Properties of Full-Flag Johnson Graphs
Published
• View Publication
• BIB
We introduce and study a variant of the family of Johnson graphs, the Full-Flag Johnson graphs. We show that Full-Flag Johnson graphs are Cayley graphs on S_n generated by certain classes of permutations, and that they are in fact generalizations of permutahedra. We derive some results about the adjacency matrices of Full-Flag Johnson graphs and apply these to the set of permutahedra to deduce part of their spectra.
Determination of the prime bound of a graph
Published
• View Publication
• BIB
Given a graph $G$, a subset $M$ of $V(G)$ is a module of $G$ if for each $v\in V(G)\setminus M$, $v$ is adjacent to all the elements of $M$ or to none of them. For instance, $V(G)$, $\emptyset$ and $\{v\}$ ($v\in V(G)$) are modules of $G$ called trivial. Given a graph $G$, $ω_M(G)$ (respectively $α_M(G)$) denotes the largest integer $m$ such that there is a module $M$ of $G$ which is a clique (respectively a stable) set in $G$ with $|M|=m$. A graph $G$ is prime if $|V(G)|\geq 4$ and if all its modules are trivial. The prime bound of $G$ is the smallest integer $p(G)$ such that there is a prime graph $H$ with $V(H)\supseteq V(G)$, $H[V(G)]=G$ and $|V(H)\setminus V(G)|=p(G)$. We establish the following. For every graph $G$ such that $\max(α_M(G),ω_M(G))\geq 2$ and $\log_2(\max(α_M(G),ω_M(G)))$ is not an integer, $p(G)=\lceil\log_2(\max(α_M(G),ω_M(G)))\rceil$. Then, we prove that for every graph $G$ such that $\max(α_M(G),ω_M(G))=2^k$ where $k\geq 1$, $p(G)=k$ or $k+1$. Moreover $p(G)=k+1$ if and only if $G$ or its complement admits $2^k$ isolated vertices. Lastly, we show that $p(G)=1$ for every non prime graph $G$ such that $|V(G)|\geq 4$ and $α_M(G)=ω_M(G)=1$.
Phase transitions in a complex network
Published in J. Phys. A: Math. Theor. 46 (2013) 305002
• View Publication
• BIB
We study a mean field model of a complex network, focusing on edge and triangle densities. Our first result is the derivation of a variational characterization of the entropy density, compatible with the infinite node limit. We then determine the optimizing graphs for small triangle density and a range of edge density, though we can only prove they are local, not global, maxima of the entropy density. With this assumption we then prove that the resulting entropy density must lose its analyticity in various regimes. In particular this implies the existence of a phase transition between distinct heterogeneous multipartite phases at low triangle density, and a phase transition between these phases and the disordered phase at high triangle density.
Which Exterior Powers are Balanced?
Published in Electronic Journal of Combinatorics, 20 (2013), no. 2, article P43
• View Publication
• BIB
A signed graph is a graph whose edges are given (-1,+1) weights. In such a graph, the sign of a cycle is the product of the signs of its edges. A signed graph is called balanced if its adjacency matrix is similar to the adjacency matrix of an unsigned graph via conjugation by a diagonal (-1,+1) matrix. For a signed graph $Σ$ on n vertices, its exterior k-th power, where k=1,..,n-1, is a graph $\bigwedge^{k} Σ$ whose adjacency matrix is given by \[ A({$\bigwedge^{k} Σ$}) = P^{\dagger} A(Σ^{\Box k}) P, \] where P is the projector onto the anti-symmetric subspace of the k-fold tensor product space $(\mathbb{C}^{n})^{\otimes k}$ and $Σ^{\Box k}$ is the k-fold Cartesian product of $Σ$ with itself. The exterior power creates a signed graph from any graph, even unsigned. We prove sufficient and necessary conditions so that $\bigwedge^{k} Σ$ is balanced. For k=1,..,n-2, the condition is that either $Σ$ is a signed path or $Σ$ is a signed cycle that is balanced for odd k or is unbalanced for even k; for k=n-1, the condition is that each even cycle in $Σ$ is positive and each odd cycle in $Σ$ is negative.
Ramanujan Complexes and High Dimensional Expanders
Published
• View Publication
• BIB
Expander graphs in general, and Ramanujan graphs in particular, have been of great interest in the last three decades with many applications in computer science, combinatorics and even pure mathematics. In these notes we describe various efforts made in recent years to generalize these notions from graphs to higher dimensional simplicial complexes.
Spectral bounds for the independence ratio and the chromatic number of an operator
Published in Israel J. Math. 202 (2014), 227-254
• View Publication
• BIB
We define the independence ratio and the chromatic number for bounded, self-adjoint operators on an L^2-space by extending the definitions for the adjacency matrix of finite graphs. In analogy to the Hoffman bounds for finite graphs, we give bounds for these parameters in terms of the numerical range of the operator. This provides a theoretical framework in which many packing and coloring problems for finite and infinite graphs can be conveniently studied with the help of harmonic analysis and convex optimization. The theory is applied to infinite geometric graphs on Euclidean space and on the unit sphere.
A long cycle theorem involving Fan-type degree condition and neighborhood intersection
Published in Appl. Math. E-Notes 13 (2013), 208--211
• Search Publication
In this short note, we give a new sufficient condition for the existence of long cycles in graphs involving Fan-type degree condition and neighborhood intersection.
Danzer's configuration revisited
Published
• View Publication
• BIB
We revisit the configuration of Danzer DCD(4), a great inspiration for our work. This configuration of type (35_4) falls into an infinite series of geometric point-line configurations DCD(n). Each DCD(n) is characterized combinatorially by having the Kronecker cover over the Odd graph $O_n$ as its Levi graph. Danzer's configuration is deeply rooted in Pascal's Hexagrammum Mysticum. Although the combinatorial configuration is highly symmetric, we conjecture that there are no geometric point-line realizations with 7- or 5-fold rotational symmetry; on the other hand, we found a point-circle realization having the symmetry group $D_7$, the dihedral group of order 14.
Several graph sequences as solutions of a double recurrence
Published in Journal of Combinatorics and Number Theory, 2015 Vol. 6 Number 2, pp. 37-51
• Search Publication
We describe the combinatorics that arise in summing a double recursion formula for the enumeration of connected Feynman graphs in quantum field theory. In one index the problem is more tractable and yields concise formulas which are combinatorially interesting on their own. In the other index, one of these sums is Sloane's sequence A001865.
Hypercubes, Leonard triples and the anticommutator spin algebra
This paper is about three classes of objects: Leonard triples, distance-regular graphs and the modules for the anticommutator spin algebra. Let $\K$ denote an algebraically closed field of characteristic zero. Let $V$ denote a vector space over $\K$ with finite positive dimension. A Leonard triple on $V$ is an ordered triple of linear transformations in $\mathrm{End}(V)$ such that for each of these transformations there exists a basis for $V$ with respect to which the matrix representing that transformation is diagonal and the matrices representing the other two transformations are irreducible tridiagonal. The Leonard triples of interest to us are said to be totally B/AB and of Bannai/Ito type.
Totally B/AB Leonard triples of Bannai/Ito type arise in conjunction with the anticommutator spin algebra $\mathcal{A}$, the unital associative $\K$-algebra defined by generators $x,y,z$ and relations\[xy+yx=2z,\qquad yz+zy=2x,\qquad zx+xz=2y.\]
Let $D\geq0$ denote an integer, let $Q_{D}$ denote the hypercube of diameter $D$ and let $\tilde{Q}_{D}$ denote the antipodal quotient. Let $T$ (resp. $\tilde{T}$) denote the Terwilliger algebra for $Q_{D}$ (resp. $\tilde{Q}_{D}$).
We obtain the following. When $D$ is even (resp. odd), we show that there exists a unique $\mathcal{A}$-module structure on $Q_{D}$ (resp. $\tilde{Q}_{D}$) such that $x,y$ act as the adjacency and dual adjacency matrices respectively. We classify the resulting irreducible $\mathcal{A}$-modules up to isomorphism. We introduce weighted adjacency matrices for $Q_{D}$, $\tilde{Q}_{D}$. When $D$ is even (resp. odd) we show that actions of the adjacency, dual adjacency and weighted adjacency matrices for $Q_{D}$ (resp. $\tilde{Q}_{D}$) on any irreducible $T$-module (resp. $\tilde{T}$-module) form a totally bipartite (resp. almost bipartite) Leonard triple of Bannai/Ito type and classify the Leonard triple up to isomorphism.
The triangle-free graphs with rank 6
Published in Journal of Mathematical Research with Applications, 2014, 34(5):517-528
• View Publication
• BIB
The rank of a graph G is defined to be the rank of its adjacency matrix A(G). In this paper we characterize all connected triangle-free graphs with rank 6.
Distinguishing graphs with intermediate growth
Published
• View Publication
• BIB
A graph G is said to be 2-distinguishable if there is a 2-labeling of its vertices which is not preserved by any nontrivial automorphism of G. We show that every locally finite graph with infinite motion and growth at most O(2^((1-\varepsilon) \sqrt(n)/2)) is 2-distinguishable. Infinite motion means that every automorphism moves infinitely many vertices and growth refers to the cardinality of balls of radius n.
Long properly colored cycles in edge colored complete graphs
Published in Discrete Mathematics, 324 (2014) 56--61
• View Publication
• BIB
Let $K_{n}^{c}$ denote a complete graph on $n$ vertices whose edges are colored in an arbitrary way. Let $Δ^{\mathrm{mon}} (K_{n}^{c})$ denote the maximum number of edges of the same color incident with a vertex of $K_{n}^{c}$. A properly colored cycle (path) in $K_{n}^{c}$ is a cycle (path) in which adjacent edges have distinct colors. B. Bollobás and P. Erdös (1976) proposed the following conjecture: if $Δ^{\mathrm{mon}} (K_{n}^{c})<\lfloor \frac{n}{2} \rfloor$, then $K_{n}^{c}$ contains a properly colored Hamiltonian cycle. Li, Wang and Zhou proved that if $Δ^{\mathrm{mon}} (K_{n}^{c})< \lfloor \frac{n}{2} \rfloor$, then $K_{n}^{c}$ contains a properly colored cycle of length at least $\lceil \frac{n+2}{3}\rceil+1$. In this paper, we improve the bound to $\lceil \frac{n}{2}\rceil + 2$.
On Murty-Simon Conjecture II
A graph is diameter two edge-critical if its diameter is two and the deletion of any edge increases the diameter. Murty and Simon conjectured that the number of edges in a diameter two edge-critical graph on $n$ vertices is at most $\lfloor \frac{n^{2}}{4} \rfloor$ and the extremal graph is the complete bipartite graph $K_{\lfloor \frac{n}{2} \rfloor, \lceil \frac{n}{2} \rceil}$. In the series papers [7-9], the Murty-Simon Conjecture stated by Haynes et al. is not the original conjecture, indeed, it is only for the diameter two edge-critical graphs of even order. In this paper, we completely prove the Murty-Simon Conjecture for the graphs whose complements have vertex connectivity $\ell$, where $\ell = 1, 2, 3$; and for the graphs whose complements have an independent vertex cut of cardinality at least three.
The coupling method for inhomogeneous random intersection graphs
Published in The Electronic Jourlal of Combinatorics, 24 (2), P2.10 (pp. 45), 2017
• View Publication
• BIB
We present new results concerning threshold functions for a wide family of random intersection graphs. To this end we apply the coupling method used for establishing threshold functions for homogeneous random intersection graphs introduced by Karoński, Scheinerman, and Singer--Cohen. In the case of inhomogeneous random intersection graphs the method has to be considerably modified and extended. By means of the altered method we are able to establish threshold functions for a general random intersection graph for such properties as $k$-connectivity, matching containment or hamiltonicity. Moreover using the new approach we manage to sharpen the best known results concerning homogeneous random intersection graph.
Coloring triangle-free rectangle overlap graphs with $O(\log\log n)$ colors
Published in Discrete Comput.Geom. 53 (2015) 199-220
• View Publication
• BIB
Recently, it was proved that triangle-free intersection graphs of $n$ line segments in the plane can have chromatic number as large as $Θ(\log\log n)$. Essentially the same construction produces $Θ(\log\log n)$-chromatic triangle-free intersection graphs of a variety of other geometric shapes---those belonging to any class of compact arc-connected sets in $\mathbb{R}^2$ closed under horizontal scaling, vertical scaling, and translation, except for axis-parallel rectangles. We show that this construction is asymptotically optimal for intersection graphs of boundaries of axis-parallel rectangles, which can be alternatively described as overlap graphs of axis-parallel rectangles. That is, we prove that triangle-free rectangle overlap graphs have chromatic number $O(\log\log n)$, improving on the previous bound of $O(\log n)$. To this end, we exploit a relationship between off-line coloring of rectangle overlap graphs and on-line coloring of interval overlap graphs. Our coloring method decomposes the graph into a bounded number of subgraphs with a tree-like structure that "encodes" strategies of the adversary in the on-line coloring problem. Then, these subgraphs are colored with $O(\log\log n)$ colors using a combination of techniques from on-line algorithms (first-fit) and data structure design (heavy-light decomposition).