graph
35175 papers tagged with this keyword
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).
Component Games on Regular Graphs
Published
• View Publication
• BIB
We study the (1:b) Maker-Breaker component game, played on the edge set of a d-regular graph. Maker's aim in this game is to build a large connected component, while Breaker's aim is to not let him do so. For all values of Breaker's bias b, we determine whether Breaker wins (on any d-regular graph) or Maker wins (on almost every d-regular graph) and provide explicit winning strategies for both players.
To this end, we prove an extension of a theorem by Gallai-Hasse-Roy-Vitaver about graph orientations without long directed simple paths.
Interlace polynomials and Tutte polynomials
Let G be a graph with adjacency matrix A(G). Consider the matrix IA(G)=(I | A(G)), where I is the identity matrix, and let M(IA(G)) be the binary matroid represented by IA(G). Then suitably parametrized versions of the Tutte polynomial of M(IA(G)) yield the interlace polynomials of G, introduced by Arratia, Bollobás and Sorkin [J. Combin. Theory Ser. B 92 (2004) 199-233; Combinatorica 24 (2004) 567-584]. Interlace polynomials subsequently introduced by other authors may be obtained from parametrized Tutte polynomials of the binary matroid represented by (I | A(G) | I+A(G)).
Crossings in Grid Drawings
We prove crossing number inequalities for geometric graphs whose vertex sets are taken from a d-dimensional grid of volume N and give applications of these inequalities to counting the number of non-crossing geometric graphs that can be drawn on such grids.
In particular, we show that any geometric graph with m >= 8N edges and with vertices on a 3D integer grid of volume N, has Ω((m^2/n)\log(m/n)) crossings. In d-dimensions, with d >= 4, this bound becomes Ω(m^2/n). We provide matching upper bounds for all d. Finally, for d >= 4 the upper bound implies that the maximum number of crossing-free geometric graphs with vertices on some d-dimensional grid of volume N is n^Θ(n). In 3 dimensions it remains open to improve the trivial bounds, namely, the 2^Ω(n) lower bound and the n^O(n) upper bound.
Cluster Transformations from Bipartite Field Theories
Published
• View Publication
• BIB
Bipartite field theories (BFTs) are a new class of 4d N=1 quantum field theories defined by bipartite graphs on bordered Riemann surfaces. In this paper we derive, purely in terms of the gauge theory, the cluster transformations of face weights under square moves in the graph. In this context, we obtain them by connecting regular parametrizations of the master space of the associated BFTs. For BFTs on a disk, these transformations follow from the properties of coordinates in the Grassmannian. This represents a new addition to the list of combinatorial objects for the Grassmannian, such as matching and matroid polytopes, that have been shown to emerge from BFT dynamics.
On eigenvalues of Seidel matrices and Haemers' conjecture
Published
• View Publication
• BIB
For a graph $G$, let $S(G)$ be the Seidel matrix of $G$ and $\te_1(G),...,\te_n(G)$ be the eigenvalues of $S(G)$. The Seidel energy of $G$ is defined as $|\te_1(G)|+...+|\te_n(G)|$. Willem Haemers conjectured that the Seidel energy of any graph with $n$ vertices is at least $2n-2$, the Seidel energy of the complete graph with $n$ vertices. Motivated by this conjecture, we prove that for any $\al$ with $0<\al<2$, $|\te_1(G)|^\al+...+|\te_n(G)|^\al\g (n-1)^\al+n-1$ if and only if $|{\rm det} S(G)|\g n-1$. This, in particular, implies the Haemers' conjecture for all graphs $G$ with $|{\rm det} S(G)|\g n-1$.
Ricci-flat graphs with girth at least five
Published
• View Publication
• BIB
A graph is called Ricci-flat if its Ricci-curvatures vanish on all edges. Here we use the definition of Ricci-cruvature on graphs given in [Lin-Lu-Yau, Tohoku Math., 2011], which is a variation of [Ollivier, J. Funct. Math., 2009]. In this paper, we classified all Ricci-flat connected graphs with girth at least five: they are the infinite path, cycle $C_n$ ($n\geq 6$), the dodecahedral graph, the Petersen graph, and the half-dodecahedral graph. We also construct many Ricci-flat graphs with girth 3 or 4 by using the root systems of simple Lie algebras.