arXiv++ Combinatorics

A signed graph is a graph $G$ associated with a mapping $σ: E(G)\to \{-1,+1\}$, denoted by $(G,σ)$. A $cycle$ of $(G,σ)$ is a connected 2-regular subgraph. A cycle $C$ is $positive$ if it has an even number of negative edges, and negative otherwise. A $circuit$ of of a signed graph $(G,σ)$ is a positive cycle or a barbell consisting of two edge-disjoint negative cycles joined by a path. The definition of a circuit of signed graph comes from the signed-graphic matroid. A circuit cover of $(G,σ)$ is a family of circuits covering all edges of $(G,σ)$. A circuit cover with the smallest total length is called a shortest circuit cover of $(G,σ)$ and its length is denoted by $\text{scc}(G,σ)$. Bouchet proved that a signed graph with a circuit cover if and only if it is flow-admissible (i.e., has a nowhere-zero integer flow). Máčajová et. al. show that a 2-edge-connected signed graph $(G,σ)$ has $\text{scc}(G,σ)\le 9 |E(G)|$ if it is flow-admissible. This bound was improved recently by Cheng et. al. to $\text{scc}(G,σ) \le 11|E(G)|/3$ for 2-edge-connected signed graphs with even negativeness, and particularly, $\text{scc}(G,σ)\le 3|E(G)|+ε(G,σ)/3$ for 2-edge-connected cubic signed graphs with even negativeness (where $ε(G,σ)$ is the negativeness of $(G,σ)$). In this paper, we show that every 2-edge-connected cubic signed graph has $\text{scc}(G,σ)\le 26|E(G)|/9$ if it is flow-admissible, and $\text{scc}(G,σ)\le 23|E(G)|/9$ if it has even negativeness.

Bicircular lift matroids are a class of matroids defined on the edge set of a graph. For a given graph $G$, the circuits of its bicircular lift matroid $L(G)$ are the edge sets of those subgraphs of $G$ that contain at least two cycles, and are minimal with respect to this property. For each cycle $C$ of $G$, since $L(G)/C$ is graphic and most graphic matroids are not bicircular lift, the class of bicircular lift matroids is not minor-closed. In this paper, we prove that the class of matroids that are graphic or bicircular lift has a finite list of excluded minors.

We survey known results related to nowhere-zero flows and related topics, such as circuit covers and the structure of circuits of signed graphs. We include an overview of several different definitions of signed graph colouring.

A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called balanced, such that no theta subgraph contains exactly two balanced circles. A biased graph $Ω$ has two natural matroids, the frame matroid $G(Ω)$, and the lift matroid $L(Ω)$, and their extensions the full frame matroid $G^{{}^{{}_{{}_\bullet}}\!}(Ω)$ and the extended (or complete) lift matroid $L_0(Ω)$. In Part IV we used algebra to study the representations of these matroids by vectors over a skew field and the corresponding embeddings in Desarguesian projective spaces. Here we redevelop those representations, independently of Part IV and in greater generality, by using synthetic geometry.

Semiring complexity is the version of arithmetic circuit complexity that allows only two operations: addition and multiplication. We show that when the number of variables is fixed, the semiring complexity of a Schur polynomial $s_λ$ is $O(log(λ_1))$; here $λ_1$ is the largest part of the partition $λ$.

A set $Z$ of vertices of a graph $G$ is a zero forcing set of $G$ if initially labeling all vertices in $Z$ with $1$ and all remaining vertices of $G$ with $0$, and then, iteratively and as long as possible, changing the label of some vertex $u$ from $0$ to $1$ if $u$ is the only neighbor with label $0$ of some vertex with label $1$, results in the entire vertex set of $G$. The zero forcing number $Z(G)$, defined as the minimum order of a zero forcing set of $G$, was proposed as an upper bound of the corank of matrices associated with $G$, and was also considered in connection with quantum physics and logic circuits. In view of the computational hardness of the zero forcing number, upper and lower bounds are of interest. Refining results of Amos, Caro, Davila, and Pepper, we show that $Z(G)\leq \frac{Δ-2}{Δ-1}n$ for a connected graph $G$ of order $n$ and maximum degree $Δ$ at least $3$ if and only if $G$ does not belong to $\{ K_{Δ+1},K_{Δ,Δ},K_{Δ-1,Δ},G_1,G_2\}$, where $G_1$ and $G_2$ are two specific graphs of orders $5$ and $7$, respectively. For a connected graph $G$ of order $n$, maximum degree $3$, and girth at least $5$, we show $Z(G)\leq \frac{n}{2}-Ω\left(\frac{n}{\log n}\right)$. Using a probabilistic argument, we show $Z(G)\leq \left(1-\frac{H_r}{r}+o\left(\frac{H_r}{r}\right)\right)n$ for an $r$-regular graph $G$ of order $n$ and girth at least $5$, where $H_r$ is the $r$-th harmonic number. Finally, we show $Z(G)\geq (g-2)(δ-2)+2$ for a graph $G$ of girth $g\in \{ 5,6\}$ and minimum degree $δ$, which partially confirms a conjecture of Davila and Kenter.

Let $F$ be a 4-regular graph. Each circuit partition $P$ of $F$ has a corresponding touch-graph $Tch(P)$; the circuits in $P$ correspond to vertices of $Tch(P)$, and the vertices of $F$ correspond to edges of $Tch(P)$. We discuss the connection between modified versions of the interlacement matrix of an Euler system of $F$ and the cycle space of $Tch(P)$, over $GF(2)$ and $\mathbb{R}$.

We prove that an eulerian graph $G$ admits a decomposition into $k$ closed trails of odd length if and only if and it contains at least $k$ pairwise edge-disjoint odd circuits and $k\equiv |E(G)|\pmod{2}$. We conjecture that a connected $2d$-regular graph of odd order with $d\ge 1$ admits a decomposition into $d$ odd closed trails sharing a common vertex and verify the conjecture for $d\le 3$. The case $d=3$ is crucial for determining the flow number of a signed eulerian graph which is treated in a separate paper (arXiv:1408.1703v2). The proof of our conjecture for $d=3$ is surprisingly difficult and calls for the use of signed graphs as a convenient technical tool.

We show that any infinite matroid can be reconstructed from the torsos of a tree-decomposition over its 2-separations, together with local information at the ends of the tree. We show that if the matroid is tame then this local information is simply a choice of whether circuits are permitted to use that end. The same is true if each torso is planar, with all gluing elements on a common face.

One fundamental question in the context of the geometric complexity theory approach to the VP vs. VNP conjecture is whether VP = $\overline{\textrm{VP}}$, where VP is the class of families of polynomials that are of polynomial degree and can be computed by arithmetic circuits of polynomial size, and $\overline{\textrm{VP}}$ is the class of families of polynomials that are of polynomial degree and can be approximated infinitesimally closely by arithmetic circuits of polynomial size. The goal of this article is to study the conjecture in (Mulmuley, FOCS 2012) that $\overline{\textrm{VP}}$ is not contained in VP. Towards that end, we introduce three degenerations of VP (i.e., sets of points in $\overline{\textrm{VP}}$), namely the stable degeneration Stable-VP, the Newton degeneration Newton-VP, and the p-definable one-parameter degeneration VP*. We also introduce analogous degenerations of VNP. We show that Stable-VP $\subseteq$ Newton-VP $\subseteq$ VP* $\subseteq$ VNP, and Stable-VNP = Newton-VNP = VNP* = VNP. The three notions of degenerations and the proof of this result shed light on the problem of separating $\overline{\textrm{VP}}$ from VP. Although we do not yet construct explicit candidates for the polynomial families in $\overline{\textrm{VP}}\setminus$VP, we prove results which tell us where not to look for such families. Specifically, we demonstrate that the families in Newton-VP $\setminus$ VP based on semi-invariants of quivers would have to be non-generic by showing that, for many finite quivers (including some wild ones), any Newton degeneration of a generic semi-invariant can be computed by a circuit of polynomial size. We also show that the Newton degenerations of perfect matching Pfaffians, monotone arithmetic circuits over the reals, and Schur polynomials have polynomial-size circuits.

We exhibit an $n$-node graph whose independent set polytope requires extended formulations of size exponential in $Ω(n/\log n)$. Previously, no explicit examples of $n$-dimensional $0/1$-polytopes were known with extension complexity larger than exponential in $Θ(\sqrt{n})$. Our construction is inspired by a relatively little-known connection between extended formulations and (monotone) circuit depth.

A simple graph $G=(V,E)$ is a $(2,1)$-circuit if $|E|=2|V|$ and $|E(H)|\leq 2|V(H)|-1$ for every proper subgraph $H$ of $G$. Motivated, in part, by ongoing work to understand unique realisations of graphs on surfaces, we derive a constructive characterisation of $(2,1)$-circuits. The characterisation uses the well known 1-extension and $X$-replacement operations as well as several summation moves to glue together $(2,1)$-circuits over small cutsets.

One of the major open questions in matroid theory asks whether the $h$-vector $(h_0,h_1,\ldots,h_s)$ of the broken circuit complex of a matroid $M$ satisfies the following inequalities: $$ h_0\leq h_1\leq \cdots\leq h_{\lfloor s/2\rfloor} \quad \text{and}\qua h_i\le h_{s-i}\ \text{ for }\ 0\leq i \leq \lfloor s/2\rfloor. $$ This paper affirmatively answers the question for matroids that are representable over a field of characteristic zero.

We explore several generalizations of Whitney's theorem -- a classical formula for the chromatic polynomial of a graph. Following Stanley, we replace the chromatic polynomial by the chromatic symmetric function. Following Dohmen and Trinks, we exclude not all but only an (arbitrarily selected) set of broken circuits, or even weigh these broken circuits with weight monomials instead of excluding them. Following Crew and Spirkl, we put weights on the vertices of the graph. Following Gebhard and Sagan, we lift the chromatic symmetric function to noncommuting variables. In addition, we replace the graph by an "ambigraph", an apparently new concept that includes both hypergraphs and multigraphs as particular cases. We show that Whitney's formula endures all these generalizations, and a fairly simple sign-reversing involution can be used to prove it in each setting. Furthermore, if we restrict ourselves to the chromatic polynomial, then the graph can be replaced by a matroid. We discuss an application to transitive digraphs (i.e., posets), and reprove an alternating-sum identity by Dahlberg and van Willigenburg.

Circuit codes are constructed from induced cycles in the graph of the $n$ dimensional hypercube. They are both theoretically and practically important, as circuit codes can be used as error correcting codes. When constructing circuit codes, the length of the cycle determines its accuracy and a parameter called the spread determines how many errors it can detect. We present a new method for constructing a circuit code of spread $k+1$ from a circuit code of spread $k$. This method leads to record code lengths for circuit codes of spread $k=7 \text{ and } 8$ in dimension $22\le n\le 30$. We also derive a new lower bound on the length of circuit codes of spread 4, improving upon the current bound for dimension $n\ge 86$.

In contrast to traditional toy tracks, a patented system allows the creation of a large number of tracks with a minimal number of pieces, and whose loops always close properly. These circuits strongly resemble traditional self-avoiding polygons (whose explicit enumeration has not yet been resolved for an arbitrary number of squares) yet there are numerous differences, notably the fact that the geometric constraints are different than those of self-avoiding polygons. We present the methodology allowing the construction and enumeration of all of the possible tracks containing a given number of pieces. For small numbers of pieces, several variants are proposed which allow the consideration or not of the fact that the obtained circuits are identical up to a given isometry. For greater numbers of pieces, only an estimation will be offered. In the latter case, a randomly construction of circuits is also given. We will give some routes for generalizations for similar problems.

In a finite real reflection group, two factorizations of a Coxeter element into an arbitrary number of reflections are shown to lie in the same orbit under the Hurwitz action if and only if they use the same multiset of conjugacy classes. The proof makes use of a surprising lemma, derived from a classification of the minimal linear dependences (matroid circuits) in finite root systems: any set of roots forming a minimal linear dependence with positive coefficients has a disconnected graph of pairwise acuteness.

The Additive Coloring Problem is a variation of the Coloring Problem where labels of $\{1,\ldots,k\}$ are assigned to the vertices of a graph $G$ so that the sum of labels over the neighborhood of each vertex is a proper coloring of $G$. The least value $k$ for which $G$ admits such labeling is called \emph{additive chromatic number} of $G$. This problem was first presented by Czerwiński, Grytczuk and Żelazny who also proposed a conjecture that for every graph $G$, the additive chromatic number never exceeds the classic chromatic number. Up to date, the conjecture has been proved for complete graphs, trees, non-3-colorable planar graphs with girth at least 13 and non-bipartite planar graphs with girth at least 26. In this work, we show that the conjecture holds for split graphs. We also present exact formulas for computing the additive chromatic number for some subfamilies of split graphs (complete split, headless spiders and complete sun), regular bipartite, complete multipartite, fan, windmill, circuit, wheel, cycle sun and wheel sun.

Chordal clutters in the sense of [14] and [3] are defined via simplicial orders. Their circuit ideal has a linear resolution, independent of the characteristic of the base field. We show that any Betti sequence of an ideal with linear resolution appears as the Betti sequence of the circuit ideal of such a chordal clutter. Associated with any simplicial order is a sequence of integers which we call the $λ$-sequence of the chordal clutter. All possible $λ$-sequences are characterized. They are intimately related to the Hilbert function of a suitable standard graded $K$-algebra attached to the chordal clutter. By the $λ$-sequence of a chordal clutter we determine other numerical invariants of the circuit ideal, such as the $\textbf{h}$-vector and the Betti numbers.

Berge Conjecture states that every bridgeless cubic graph has 5 perfect matchings such that each edge is contained in at least one of them. In this paper, we show that Berge Conjecture holds for two classes of cubic graphs, cubic graphs with a circuit missing only one vertex and bridgeless cubic graphs with a 2-factor consisting of two circuits. The first part of this result implies that Berge Conjecture holds for hypohamiltonian cubic graphs.