Full Orientability of the Square of a Cycle

Let D be an acyclic orientation of a simple graph G. An arc of D is called dependent if its reversal creates a directed cycle. Let d(D) denote the number of dependent arcs in D. Define m and M to be the minimum and the maximum number of d(D) over all acyclic orientations D of G. We call G fully orientable if G has an acyclic orientation with exactly k dependent arcs for every k satisfying m <= k <= M. In this paper, we prove that the square of a cycle C_n of length n is fully orientable except n=6.Comment: 7 pages, accepted by Ars Combinatoria on May 26, 201

Nullspace embeddings for outerplanar graphs

We study relations between geometric embeddings of graphs and the spectrum of associated matrices, focusing on outerplanar embeddings of graphs. For a simple connected graph G=(V,E), we define a "good" G-matrix as a V×V matrix with negative entries corresponding to adjacent nodes, zero entries corresponding to distinct nonadjacent nodes, and exactly one negative eigenvalue. We give an algorithmic proof of the fact that it G is a 2-connected graph, then either the nullspace representation defined by any "good" G-matrix with corank 2 is an outerplanar embedding of G, or else there exists a "good" G-matrix with corank 3

Genus Distributions of cubic series-parallel graphs

We derive a quadratic-time algorithm for the genus distribution of any 3-regular, biconnected series-parallel graph, which we extend to any biconnected series-parallel graph of maximum degree at most 3. Since the biconnected components of every graph of treewidth 2 are series-parallel graphs, this yields, by use of bar-amalgamation, a quadratic-time algorithm for every graph of treewidth at most 2 and maximum degree at most 3.Comment: 21 page

Two families of graphs satisfying the cycle basis interpolation property

AbstractThe length of a cycle basis of a graph G is the sum of the lengths of its cycles. Let c−,c+ be the lengths of the minimal and maximal cycle basis, respectively. Then G has the cycle basis interpolation property (cbip) if for all integers c, c−⩽c⩽c+, there exists a cycle basis of length c. We construct two families of graphs with the cbip, namely snake-graphs and kite-graphs

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

We show that feasibility of the t^th level of the Lasserre semidefinite programming hierarchy for graph isomorphism can be expressed as a homomorphism indistinguishability relation. In other words, we define a class ?_t of graphs such that graphs G and H are not distinguished by the t^th level of the Lasserre hierarchy if and only if they admit the same number of homomorphisms from any graph in ?_t. By analysing the treewidth of graphs in ?_t we prove that the 3t^th level of Sherali-Adams linear programming hierarchy is as strong as the t^th level of Lasserre. Moreover, we show that this is best possible in the sense that 3t cannot be lowered to 3t-1 for any t. The same result holds for the Lasserre hierarchy with non-negativity constraints, which we similarly characterise in terms of homomorphism indistinguishability over a family ?_t^+ of graphs. Additionally, we give characterisations of level-t Lasserre with non-negativity constraints in terms of logical equivalence and via a graph colouring algorithm akin to the Weisfeiler-Leman algorithm. This provides a polynomial time algorithm for determining if two given graphs are distinguished by the t^th level of the Lasserre hierarchy with non-negativity constraints