arXiv++ Combinatorics

Let $H$ be a cubic graph admitting a 3-edge-coloring $c: E(H)\to \mathbb Z_3$ such that the edges colored by 0 and $μ\in\{1,2\}$ induce a Hamilton circuit of $H$ and the edges colored by 1 and 2 induce a 2-factor $F$. The graph $H$ is semi-Kotzig if switching colors of edges in any even subgraph of $F$ yields a new 3-edge-coloring of $H$ having the same property as $c$. A spanning subgraph $H$ of a cubic graph $G$ is called a {\em semi-Kotzig frame} if the contracted graph $G/H$ is even and every non-circuit component of $H$ is a subdivision of a semi-Kotzig graph. In this paper, we show that a cubic graph $G$ has a circuit double cover if it has a semi-Kotzig frame with at most one non-circuit component. Our result generalizes some results of Goddyn (1988), and Häggkvist and Markström [J. Combin. Theory Ser. B (2006)].

We determine the asymptotic behaviour of the number of the Eulerian circuits in undirected simple graphs with large algebraic connectivity (the second-smallest eigenvalue of the Laplacian matrix). We also prove some new properties of the Laplacian matrix.

We propose a new network reliability measure for some particular kind of service networks, which we refer to as domination reliability. We relate this new reliability measure to the domination polynomial of a graph and the coverage probability of a hypergraph. We derive explicit and recursive formulae for domination reliability and its associated domination reliability polynomial, deduce an analogue of Whitney's broken circuit theorem, and prove that computing domination reliability is NP-hard.

Consider a weighted and undirected graph, possibly with self-loops, and its corresponding Laplacian matrix, possibly augmented with additional diagonal elements corresponding to the self-loops. The Kron reduction of this graph is again a graph whose Laplacian matrix is obtained by the Schur complement of the original Laplacian matrix with respect to a subset of nodes. The Kron reduction process is ubiquitous in classic circuit theory and in related disciplines such as electrical impedance tomography, smart grid monitoring, transient stability assessment in power networks, or analysis and simulation of induction motors and power electronics. More general applications of Kron reduction occur in sparse matrix algorithms, multi-grid solvers, finite--element analysis, and Markov chains. The Schur complement of a Laplacian matrix and related concepts have also been studied under different names and as purely theoretic problems in the literature on linear algebra. In this paper we propose a general graph-theoretic framework for Kron reduction that leads to novel and deep insights both on the mathematical and the physical side. We show the applicability of our framework to various practical problem setups arising in engineering applications and computation. Furthermore, we provide a comprehensive and detailed graph-theoretic analysis of the Kron reduction process encompassing topological, algebraic, spectral, resistive, and sensitivity analyses. Throughout our theoretic elaborations we especially emphasize the practical applicability of our results.

We study distance properties of a general class of random directed acyclic graphs (DAGs). In a DAG, many natural notions of distance are possible, for there exists multiple paths between pairs of nodes. The distance of interest for circuits is the maximum length of a path between two nodes. We give laws of large numbers for the typical depth (distance to the root) and the minimum depth in a random DAG. This completes the study of natural distances in random DAGs initiated (in the uniform case) by Devroye and Janson (2009+). We also obtain large deviation bounds for the minimum of a branching random walk with constant branching, which can be seen as a simplified version of our main result.

We explore the connections between the linear algebra of symmetric matrices over GF(2) and the circuit theory of 4-regular graphs. In particular, we show that the equivalence relation on simple graphs generated by local complementation can also be generated by an operation defined using inverse matrices.

Optimal assignment of classes to classrooms \cite{dickey}, design of DNA microarrays \cite{carvalho}, cross species gene analysis \cite{kolar}, creation of hospital layouts cite{elshafei}, and assignment of components to locations on circuit boards \cite{steinberg} are a few of the many problems which have been formulated as a quadratic assignment problem (QAP). Originally formulated in 1957, the QAP is one of the most difficult of all combinatorial optimization problems. Here, we use statistical mechanical methods to study the asymptotic behavior of problems in which the entries of at least one of the two matrices that specify the problem are chosen from a random distribution $P$. Surprisingly, this case has not been studied before using statistical methods despite the fact that the QAP was first proposed over 50 years ago \cite{Koopmans}. We find simple forms for $C_{\rm min}$ and $C_{\rm max}$, the costs of the minimal and maximum solutions respectively. Notable features of our results are the symmetry of the results for $C_{\rm min}$ and $C_{\rm max}$ and the dependence on $P$ only through its mean and standard deviation, independent of the details of $P$. After the asymptotic cost is determined for a given QAP problem, one can straightforwardly calculate the asymptotic cost of a QAP problem specified with a different random distribution $P$.

It remains an open question whether the apparent additional power of quantum computation derives inherently from quantum mechanics, or merely from the flexibility obtained by "lifting" Boolean functions to linear operators and evaluating their composition cleverly. Holographic algorithms provide a useful avenue for exploring this question. We describe a new, simplified construction of holographic algorithms in terms of Pfaffian circuits. Novel proofs of some key results are provided, and we extend the approach of [34] to nonsymmetric, odd, and homogenized signatures, circuits, and various models of execution flow. This shows our approach is as powerful as the matchgate approach. Holographic algorithms provide in general $O(n^{ω_p})$ time algorithms, where $ω_p$ is the order of Pfaffian evaluation in the ring of interest (with $1.19 \leq ω_p \leq 3$ depending on the ring) and $n$ is the number of inclusions of variables into clauses. Our approach often requires just the evaluation of an $n \times n$ Pfaffian, and at most needs an additional two rows per gate, whereas the matchgate approach is quartic in the arity of the largest gate. We give examples (even before any change of basis) including efficient algorithms for certain lattice path problems and an $O(n^{ω_p})$ algorithm for evaluation of Tutte polynomials of lattice path matroids. Finally we comment on some of the geometric considerations in analyzing Pfaffian circuits under arbitrary basis change. Connections are made to the sum-product algorithm, classical simulation of quantum computation, and SLOCC equivalent entangled states.

The series-parallel (SP) graphs are those containing no topological $K_{_4}$ and are considered trivial. We relax the prohibition distinguishing the SP graphs by forbidding only embeddings of $K_{_4}$ whose edges with both ends 3-valent (skeleton hereafter) induce a graph isomorphic to certain prescribed subgraphs of $K_{_4}$. In particular, we describe the structure of the graphs containing no embedding of $K_{_4}$ whose skeleton is isomorphic to $P_{_3}$ or $P_{_4}$. Such "almost series-parallel graphs" (ASP) still admit a concise description. Amongst other things, their description reveals that: 1. Essentially, the 3-connected ASP graphs are those obtained from the 3-connected cubic graphs by replacing each vertex with a triangle (e.g., the 3-connected claw-free graphs). 2. Except for $K_{_6}$, the ASP graphs are 5-colorable in polynomial time. Distinguishing between the 5-chromatic and the 4-colorable ASP graphs is $NP$-hard. 3. The ASP class is significantly richer than the SP class: 4-vertex-colorability, 3-edge-colorability, and Hamiltonicity are $NP$-hard for ASP graphs. Our interest in such ASP graphs arises from a previous paper of ours: "{\sl On the colorability of graphs with forbidden minors along paths and circuits}, Discrete Math. (to appear)".

We give an "excluded minor" and a "structural" characterization of digraphs D that have the property that for every subdigraph H of D, the maximum number of disjoint circuits in H is equal to the minimum cardinality of a subset T of V(H) such that H\T is acyclic.

It has recently been shown that infinite matroids can be axiomatized in a way that is very similar to finite matroids and permits duality. This was previously thought impossible, since finitary infinite matroids must have non-finitary duals. In this paper we illustrate the new theory by exhibiting its implications for the cycle and bond matroids of infinite graphs. We also describe their algebraic cycle matroids, those whose circuits are the finite cycles and double rays, and determine their duals. Finally, we give a sufficient condition for a matroid to be representable in a sense adapted to infinite matroids. Which graphic matroids are representable in this sense remains an open question.

In this paper, we give some results concerning the dynamics of double Boolean automata circuits (dbac's for short), namely, networks associated to interaction graphs composed of two side-circuits that share a node. More precisely, we give formulas for the number of attractors of any period, as well as the total number of attractors of these networks.

The generating function that records the sizes of directed circuit partitions of a connected 2-in, 2-out digraph D can be determined from the interlacement graph of D with respect to a directed Euler circuit; the same is true of the generating functions for other kinds of circuit partitions. The interlace polynomials of Arratia, Bollobás and Sorkin [J. Combin. Theory Ser. B 92 (2004) 199-233; Combinatorica 24 (2004) 567-584] extend the corresponding functions from interlacement graphs to arbitrary graphs. We introduce a multivariate interlace polynomial that is an analogous extension of a multivariate generating function for undirected circuit partitions of undirected 4-regular graphs. The multivariate polynomial incorporates several different interlace polynomials that have been studied by different authors, and its properties include invariance under a refined version of local complementation and a simple recursive definition.

We consider here 6-regular plane graphs whose faces have size 1, 2 or 3. In Section 2 a practical enumeration method is given that allowed us to enumerate them up to 53 vertices. Subsequently, in Section 3 we enumerate all possible symmetry groups of the spheres that showed up. In Section 4 we introduce a new Goldberg-Coxeter construction that takes a 6-regular plane graph G0, two integers k and l and returns two 6-regular plane graphs. Then in the final section, we consider the notions of zigzags and central circuits for the considered graphs. We introduced the notions of tightness and weak tightness for them and we prove an upper bound on the number of zigzags and central circuits of such tight graphs. We also classify the tight and weakly tight graphs with simple zigzags or central circuits.

Brown has shown that the Stanley-Reisner ring of the broken circuit complex of a graph has a linear system of parameters which is defined in terms of the circuits and cocircuits of the graph. Later on Brown and Sagan conjectured a special set of monomials - a so-called NBC basis - described in terms of the circuits and cocircuits of the graph to be a monomial basis for the corresponding quotient of the Stanley-Reisner ring and proved this to be true for theta and phi graphs. We generalize the aforementioned linear system of parameters to broken circuit complexes of regular matroids and transfer the notion of NBC bases to the general setting of regular matroids. We are able to obtain the analogous results to the ones of Brown and Sagan in this more general context. We show a deletion-contraction axiom for the existence of NBC bases. Using this results we identify two infinite classes of matroids which have NBC bases and which are the matroid theoretic analogue of theta and phi graphs.

In a recent paper, Bruhn, Diestel, Kriesell and Wollan (arXiv:1003.3919) present four systems of axioms for infinite matroids, in terms of independent sets, bases, closure and circuits. No system of rank axioms is given. We give an easy example showing that rank function of an infinite matroid may not suffice to characterize it. We present a system of axioms in terms of relative rank.

A triangulation of a surface is called $q$-equivelar if each of its vertices is incident with exactly $q$ triangles. In 1972 Altshuler had shown that an equivelar triangulation of torus has a Hamiltonian Circuit. Here we present a necessary and sufficient condition for existence of a contractible Hamiltonian Cycle in equivelar triangulation of a surface.

We give axiomatic foundations for non-finitary infinite matroids with duality, in terms of independent sets, bases, circuits, closure and rank. This completes the solution to a problem of Rado of 1966.

In earlier work we introduced the graph bracket polynomial of graphs with marked vertices, motivated by the fact that the Kauffman bracket of a link diagram D is determined by a looped, marked version of the interlacement graph associated to a directed Euler system of the universe graph of D. Here we extend the graph bracket to graphs whose vertices may carry different kinds of marks, and we show how multiply marked graphs encode interlacement with respect to arbitrary (undirected) Euler systems. The extended machinery brings together the earlier version and the graph-links of D. P. Ilyutko and V. O. Manturov [J. Knot Theory Ramifications 18 (2009), 791-823]. The greater flexibility of the extended bracket also allows for a recursive description much simpler than that of the earlier version.

We introduce a new axiomatization of matroid theory that requires the elimination property only among modular pairs of circuits, and we present a cryptomorphic phrasing thereof in terms of Crapo's axioms for flats. This new point of view leads to a corresponding strengthening of the circuit axioms for oriented matroids.