graph
35150 papers tagged with this keyword
The Kirchhoff's Matrix-Tree Theorem revisited: counting spanning trees with the quantum relative entropy
Published
• View Publication
• BIB
By revisiting the Kirchhoff's Matrix-Tree Theorem, we give an exact formula for the number of spanning trees of a graph in terms of the quantum relative entropy between the maximally mixed state and another state specifically obtained from the graph. We use properties of the quantum relative entropy to prove tight bounds for the number of spanning trees in terms of basic parameters like degrees and number of vertices.
The planar cubic Cayley graphs of connectivity 2
Published
• View Publication
• BIB
We classify the planar cubic Cayley graphs of connectivity 2, providing an explicit presentation and embedding for each of them. Combined with [9] this yields a complete description of all planar cubic Cayley graphs.
The planar cubic Cayley graphs
Published
• View Publication
• BIB
We obtain a complete description of the planar cubic Cayley graphs, providing an explicit presentation and embedding for each of them. This turns out to be a rich class, comprising several infinite families. We obtain counterexamples to conjectures of Mohar, Bonnington and Watkins. Our analysis makes the involved graphs accessible to computation, corroborating a conjecture of Droms.
Well-Quasi-Ordering of Matrices under Schur Complement and Applications to Directed Graphs
Published in European Journal of Combinatorics 33(8):1820--1841(2012)
• View Publication
• BIB
In [Rank-Width and Well-Quasi-Ordering of Skew-Symmetric or Symmetric Matrices, arXiv:1007.3807v1] Oum proved that, for a fixed finite field $\mathbf{F}$, any infinite sequence $M_1,M_2,...$ of (skew) symmetric matrices over $\mathbf{F}$ of bounded $\mathbf{F}$-rank-width has a pair $i< j$, such that $M_i$ is isomorphic to a principal submatrix of a principal pivot transform of $M_j$. We generalise this result to $σ$-symmetric matrices introduced by Rao and myself in [The Rank-Width of Edge-Coloured Graphs, arXiv:0709.1433v4]. (Skew) symmetric matrices are special cases of $σ$-symmetric matrices. As a by-product, we obtain that for every infinite sequence $G_1,G_2,...$ of directed graphs of bounded rank-width there exist a pair $i<j$ such that $G_i$ is a pivot-minor of $G_j$. Another consequence is that non-singular principal submatrices of a $σ$-symmetric matrix form a delta-matroid. We extend in this way the notion of representability of delta-matroids by Bouchet.
The Turán number of $F_{3,3}$
Published
• View Publication
• BIB
Let $F_{3,3}$ be the 3-graph on 6 vertices, labelled abcxyz, and 10 edges, one of which is abc, and the other 9 of which are all triples that contain 1 vertex from abc and 2 vertices from xyz. We show that for all $n \ge 6$, the maximum number of edges in an $F_{3,3}$-free 3-graph on $n$ vertices is $\binom{n}{3} - \binom{\lfloor n/2 \rfloor}{3} - \binom{\lceil n/2 \rceil}{3}$. This sharpens results of Zhou and of the second author and Rödl.
Triangle-intersecting families on eight vertices
Simonovits and Sós conjectured that the maximal size of a triangle-intersecting family of graphs on $n$ vertices is $2^{\binom{n}{2}-3}$. Their conjecture has recently been proved using spectral methods. We provide an elementary proof of the special case of $8$ vertices using a partition argument.
On the Structure of the Minimum Critical Independent Set of a Graph
Published
• View Publication
• BIB
Let G=(V,E). A set S is independent if no two vertices from S are adjacent. The number d(X)= |X|-|N(X)| is the difference of X, and an independent set A is critical if d(A) = max{d(I):I is an independent set}. Let us recall that ker(G) is the intersection of all critical independent sets, and core(G) is the intersection of all maximum independent sets. Recently, it was established that ker(G) is a subset of core(G) is true for every graph, while the corresponding equality holds for bipartite graphs. In this paper we present various structural properties of ker(G). The main finding claims that ker(G) is equal to the union of all inclusion minimal independent sets with positive difference.
Deformation Retracts of Neighborhood Complexes of Stable Kneser Graphs
Published
• View Publication
• BIB
In 2003, A. Bjorner and M. de Longueville proved that the neighborhood complex of the stable Kneser graph SG_{n,k} is homotopy equivalent to a k-sphere. Further, for n=2 they showed that the neighborhood complex deformation retracts to a subcomplex isomorphic to the associahedron. They went on to ask whether or not, for all n and k, the neighborhood complex of SG_{n,k} contains as a deformation retract the boundary complex of a simplicial polytope.
Our purpose is to give a positive answer to this question in the case k=2. We also find in this case that, after partially subdividing the neighborhood complex, the resulting complex deformation retracts onto a subcomplex arising as a polyhedral boundary sphere that is invariant under the action induced by the automorphism group of SG_{n,2}.
Some families of directed strongly regular graphs obtained from certain finite incidence structures
Published
• View Publication
• BIB
This is the second report of our work on the construction of directed strongly regular graphs. In our previous work, we constructed a couple of infinite families of new directed strongly regular graphs on the sets of antiflags of partial geometries and group divisible designs. In this paper, we use some collections of antiflags (not the entire set of antiflags) of tactical configurations to construct another couple of infinite families of directed strongly regular graphs. Our construction methods are capable of producing many, if not all, nonisomorphic directed strongly regular graphs with same parameters.
Bounding the size of a vertex-stabiliser in a finite vertex-transitive graph
Published
• View Publication
• BIB
In this paper we discuss a method for bounding the size of the stabiliser of a vertex in a $G$-vertex-transitive graph $Γ$. In the main result the group $G$ is quasiprimitive or biquasiprimitive on the vertices of $Γ$, and we obtain a genuine reduction to the case where $G$ is a nonabelian simple group.
Using normal quotient techniques developed by the first author, the main theorem applies to general $G$-vertex-transitive graphs which are $G$-locally primitive (respectively, $G$-locally quasiprimitive), that is, the stabiliser $G_α$ of a vertex $α$ acts primitively (respectively quasiprimitively) on the set of vertices adjacent to $α$. We discuss how our results may be used to investigate conjectures by Richard Weiss (in 1978) and the first author (in 1998) that the order of $G_α$ is bounded above by some function depending only on the valency of $Γ$, when $Γ$ is $G$-locally primitive or $G$-locally quasiprimitive, respectively.
A Constant Factor Approximation Algorithm for Boxicity of Circular Arc Graphs
Published
• View Publication
• BIB
Boxicity of a graph $G(V,E)$ is the minimum integer $k$ such that $G$ can be represented as the intersection graph of $k$-dimensional axis parallel rectangles in $\mathbf{R}^k$. Equivalently, it is the minimum number of interval graphs on the vertex set $V$ such that the intersection of their edge sets is $E$. It is known that boxicity cannot be approximated even for graph classes like bipartite, co-bipartite and split graphs below $O(n^{0.5 - ε})$-factor, for any $ε>0$ in polynomial time unless $NP=ZPP$. Till date, there is no well known graph class of unbounded boxicity for which even an $n^ε$-factor approximation algorithm for computing boxicity is known, for any $ε<1$. In this paper, we study the boxicity problem on Circular Arc graphs - intersection graphs of arcs of a circle. We give a $(2+\frac{1}{k})$-factor polynomial time approximation algorithm for computing the boxicity of any circular arc graph along with a corresponding box representation, where $k \ge 1$ is its boxicity. For Normal Circular Arc(NCA) graphs, with an NCA model given, this can be improved to an additive 2-factor approximation algorithm. The time complexity of the algorithms to approximately compute the boxicity is $O(mn+n^2)$ in both these cases and in $O(mn+kn^2)= O(n^3)$ time we also get their corresponding box representations, where $n$ is the number of vertices of the graph and $m$ is its number of edges. The additive 2-factor algorithm directly works for any Proper Circular Arc graph, since computing an NCA model for it can be done in polynomial time.
Non-orientable quasi-trees for the Bollobas-Riordan polynomial
Published in Europ. J. Comb., 32:510-532, 2011
• View Publication
• BIB
We extend the quasi-tree expansion of A. Champanerkar, I. Kofman, and N. Stoltzfus to not necessarily orientable ribbon graphs. We study the duality properties of the Bollobas-Riordan polynomial in terms of this expansion. As a corollary, we get a "connected state" expansion of the Kauffman bracket of virtual link diagrams. Our proofs use extensively the partial duality of S. Chmutov.
On the Number of Pentagons in Triangle-Free Graphs
Published in J. Combin. Theory Ser. A 120 (2013), no. 3, 722-732
• View Publication
• BIB
Using the formalism of flag algebras, we prove that every triangle-free graph $G$ with $n$ vertices contains at most $(n/5)^5$ cycles of length five. Moreover, the equality is attained only when $n$ is divisible by five and $G$ is the balanced blow-up of the pentagon. We also compute the maximal number of pentagons and characterize extremal graphs in the non-divisible case provided $n$ is sufficiently large. This settles a conjecture made by Erdős in 1984.
Space crossing numbers
Published
• View Publication
• BIB
We define the crossing number for an embedding of a graph G into R^3, and prove a lower bound on it which almost implies the classical crossing lemma. We also give sharp bounds on the space crossing numbers of pseudo-random graphs.
Reachability and recurrence in a modular generalization of annihilating random walks (and lights-out games) on hypergraphs
Published
• View Publication
• BIB
We study a dynamical system motivated by our earlier work on the statistical physics of social balance on graphs that can be viewed as a generalization of annihilating walks along two directions: first, the interaction topology is a hypergraph; second, the ``number of particles`` at a vertex of the hypergraph is an element of a finite field ${\bf Z}_{p}$ of integers modulo $p$, $p\geq 3$. Equivalently, particles move on a hypergraph, with a moving particle at a vertex being replaced by one indistinguishable copy at each neighbor in a given hyperedge; particles at a vertex collectively annihilate when their number reaches $p$. The system we study can also be regarded as a natural generalization of certain lights-out games to finite fields and hypergraph topologies. Our result shows that under a liberal sufficient condition on the nature of the interaction hypergraph there exists a polynomial time algorithm (based on linear algebra over ${\bf Z}_{p}$) for deciding reachability and recurrence of this dynamical system. Interestingly, we provide a counterexample that shows that this connection does not extend to all graphs.
Algorithms for Silver Coloring of Generalized Petersen Graphs
This paper has been withdrawn.
Critical Sets in Bipartite Graphs
Published
• View Publication
• BIB
Let G=(V,E) be a graph. A set S is independent if no two vertices from S are adjacent, alpha(G) is the size of a maximum independent set, and core(G) is the intersection of all maximum independent sets. The number d(X)=|X|-|N(X)| is the difference of the set X, and d_{c}(G)=max{d(I):I is an independent set} is called the critical difference of G. A set X is critical if d(X)=d_{c}(G). For a graph G we define ker(G) as the intersection of all critical independent sets, while diadem(G) is the union of all critical independent sets. For a bipartite graph G=(A,B,E), with bipartition {A,B}, Ore defined delta(X)=d(X) for every subset X of A, while delta_0(A)=max{delta(X):X is a subset of A}. Similarly is defined delta_0(B). In this paper we prove that for every bipartite graph G=(A,B,E) the following assertions hold: d_{c}(G)=delta_0(A)+delta_0(B); ker(G)=core(G); |ker(G)|+|diadem(G)|=2*alpha(G).
An Algorithm Computing the Core of a Konig-Egervary Graph
A set S of vertices is independent in a graph G if no two vertices from S are adjacent, and alpha(G) is the cardinality of a maximum independent set of G.
G is called a Konig-Egervary graph if its order equals alpha(G)+mu(G), where mu(G) denotes the size of a maximum matching. By core(G) we mean the intersection of all maximum independent sets of G.
To decide whether core(G) is empty is known to be NP-hard.
In this paper, we present some polynomial time algorithms finding core(G) of a Konig-Egervary graph G.
Local Maximum Stable Sets Greedoids Stemmed from Very Well-Covered Graphs
Published
• View Publication
• BIB
A maximum stable set in a graph G is a stable set of maximum cardinality. S is called a local maximum stable set of G if S is a maximum stable set of the subgraph induced by the closed neighborhood of S. A greedoid (V,F) is called a local maximum stable set greedoid if there exists a graph G=(V,E) such that its family of local maximum stable sets coinsides with (V,F). It has been shown that the family local maximum stable sets of a forest T forms a greedoid on its vertex set. In this paper we demonstrate that if G is a very well-covered graph, then its family of local maximum stable sets is a greedoid if and only if G has a unique perfect matching.
On sum of powers of Laplacian eigenvalues and Laplacian Estrada index of graphs
Published in MATCH Commun. Math. Comput. Chem. 62 (2009) 611-619
• Search Publication
Let $G$ be a simple graph and $α$ a real number. The quantity $s_α(G)$ defined as the sum of the $α$-th power of the non-zero Laplacian eigenvalues of $G$ generalizes several concepts in the literature. The Laplacian Estrada index is a newly introduced graph invariant based on Laplacian eigenvalues. We establish bounds for $s_α$ and Laplacian Estrada index related to the degree sequences.