arXiv++ Combinatorics

Matrix rigidity is a notion put forth by Valiant as a means for proving arithmetic circuit lower bounds. A matrix is rigid if it is far, in Hamming distance, from any low rank matrix. Despite decades of efforts, no explicit matrix rigid enough to carry out Valiant's plan has been found. Recently, Alman and Williams showed, contrary to common belief, that the $2^n \times 2^n$ Hadamard matrix could not be used for Valiant's program as it is not sufficiently rigid. In this note we observe a similar `non rigidity' phenomena for any $q^n \times q^n$ matrix $M$ of the form $M(x,y) = f(x+y)$, where $f:F_q^n \to F_q$ is any function and $F_q$ is a fixed finite field of $q$ elements ($n$ goes to infinity). The theorem follows almost immediately from a recent lemma of Croot, Lev and Pach which is also the main ingredient in the recent solution of the cap-set problem.

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 and the lift matroid. A classical question in matroid theory is whether a matroid can be embedded in a projective geometry. There is no known general answer, but for matroids of biased graphs it is possible to give algebraic criteria. Zaslavsky has previously given such criteria for embeddability of biased-graphic matroids in Desarguesian projective spaces; in this paper we establish criteria for the remaining case, that is, embeddability in an arbitrary projective plane that is not necessarily Desarguesian. The criteria depend on the embeddability of a quasigroup associated to the graph into the additive or multiplicative loop of a ternary coordinate ring for the plane. A 3-node biased graph is equivalent to an abstract partial 3-net; thus, we have a new algebraic criterion for an abstract 3-net to be realized in a non-Desarguesian projective plane. We work in terms of a special kind of 3-node biased graph called a biased expansion of a triangle. Our results apply to all finite 3-node biased graphs because, as we prove, every such biased graph is a subgraph of a finite biased expansion of a triangle. A biased expansion of a triangle, in turn, is equivalent to an isostrophe class of quasigroups, which is equivalent to a $3$-net. Much is not known about embedding a quasigroup into a ternary ring, so we do not say our criteria are definitive. For instance, it is not even known whether there is a finite quasigroup that cannot be embedded in any finite ternary ring. If there is, then there is a finite rank-3 matroid (of the corresponding biased expansion) that cannot be embedded in any finite projective plane---a presently unsolved problem.

A signed circuit is a minimal signed graph (with respect to inclusion) that admits a nowhere-zero flow. We show that each flow-admissible signed graph on $m$ edges can be covered by signed circuits of total length at most $(3+2/3)\cdot m$, improving a recent result of Cheng et al. [manuscript, 2015]. To obtain this improvement we prove several results on signed circuit covers of trees of Eulerian graphs, which are connected signed graphs such that removing all bridges results in a collection of Eulerian graphs.

Recently, Bollen, Draisma, and Pendavingh have introduced the Lindström valuation on the algebraic matroid of a field extension of characteristic p. Their construction passes through what they call a matroid flock and builds on some of the associated theory of matroid flocks which they develop. In this paper, we give a direct construction of the Lindström valuated matroid using the theory of inseparable field extensions. In particular, we give a description of the valuation, the valuated circuits, and the valuated cocircuits.

The competition between local Brownian roughness and global parabolic curvature experienced in many random interface models reflects an important aspect of the KPZ universality class. It may be summarised by an exponent triple $(1/2,1/3,2/3)$ representing local interface fluctuation, local roughness (or inward deviation) and convex hull facet length. The three effects arise, for example, in droplets in planar Ising models (Alexander, '01, Hammond, '11,'12). In this article, we offer a new perspective on this phenomenon. We consider directed last passage percolation model in the plane, a paradigmatic example in the KPZ universality class, and constrain the maximizing path under the additional requirement of enclosing an atypically large area. The interface suffers a constraint of parabolic curvature as before, but now its local structure is the KPZ fixed point polymer's rather than Brownian. The local interface fluctuation exponent is thus two-thirds rather than one-half. We prove that the facet lengths of the constrained path's convex hull are governed by an exponent of $3/4$, and inward deviation by an exponent of $1/2$. That is, the exponent triple is now $(2/3,1/2,3/4)$ in place of $(1/2,1/3,2/3)$. This phenomenon appears to be shared among various isoperimetrically extremal circuits in local randomness. Indeed, we formulate a conjecture to this effect concerning such circuits in supercritical percolation, whose Wulff-like first-order behaviour was recently established (Biskup, Louidor, Procaccia and Rosenthal, '12).

We investigate monotone circuits with local oracles [K., 2016], i.e., circuits containing additional inputs $y_i = y_i(\vec{x})$ that can perform unstructured computations on the input string $\vec{x}$. Let $μ\in [0,1]$ be the locality of the circuit, a parameter that bounds the combined strength of the oracle functions $y_i(\vec{x})$, and $U_{n,k}, V_{n,k} \subseteq \{0,1\}^m$ be the set of $k$-cliques and the set of complete $(k-1)$-partite graphs, respectively (similarly to [Razborov, 1985]). Our results can be informally stated as follows. 1. For an appropriate extension of depth-$2$ monotone circuits with local oracles, we show that the size of the smallest circuits separating $U_{n,3}$ (triangles) and $V_{n,3}$ (complete bipartite graphs) undergoes two phase transitions according to $μ$. 2. For $5 \leq k(n) \leq n^{1/4}$, arbitrary depth, and $μ\leq 1/50$, we prove that the monotone circuit size complexity of separating the sets $U_{n,k}$ and $V_{n,k}$ is $n^{Θ(\sqrt{k})}$, under a certain restrictive assumption on the local oracle gates. The second result, which concerns monotone circuits with restricted oracles, extends and provides a matching upper bound for the exponential lower bounds on the monotone circuit size complexity of $k$-clique obtained by Alon and Boppana (1987).

We explicitly compute the effective resistances between any two vertices of a prism graph by using circuit reductions and our earlier findings on a ladder graph. As an application, we derived a closed form formula for the Kirchhoff index of a prism graph. We show as a byproduct that an explicit sum formula involving trigonometric functions hold by comparing our formula for the Kirchhoff index and previously known results in the literature. We also expressed our formulas in terms of certain generalized Fibonacci numbers.

Many discrete models of biological networks rely exclusively on Boolean variables and many tools and theorems are available for analysis of strictly Boolean models. However, multilevel variables are often required to account for threshold effects, in which knowledge of the Boolean case does not generalise straightforwardly. This motivated the development of conversion methods for multilevel to Boolean models. In particular, Van Ham's method has been shown to yield a one-to-one, neighbour and regulation preserving dynamics, making it the de facto standard approach to the problem. However, Van Ham's method has several drawbacks: most notably, it introduces vast regions of "non-admissible" states that have no counterpart in the multilevel, original model. This raises special difficulties for the analysis of interaction between variables and circuit functionality, which is believed to be central to the understanding of dynamic properties of logical models. Here, we propose a new multilevel to Boolean conversion method, with software implementation. Contrary to Van Ham's, our method doesn't yield a one-to-one transposition of multilevel trajectories, however, it maps each and every Boolean state to a specific multilevel state, thus getting rid of the non-admissible regions and, at the expense of (apparently) more complicated, "parallel" trajectories. One of the prominent features of our method is that it preserves dynamics and interaction of variables in a certain manner. As a demonstration of the usability of our method, we apply it to construct a new Boolean counter-example to the well-known conjecture that a local negative circuit is necessary to generate sustained oscillations. This result illustrates the general relevance of our method for the study of multilevel logical models.

Given the complement of a hyperplane arrangement, let $Γ$ be the closure of the graph of the map inverting each of its defining linear forms. The characteristic polynomial manifests itself in the Hilbert series of $Γ$ in two different-seeming ways, one due to Orlik and Terao and the other to Huh and Katz. We define an extension of the no broken circuit complex of a matroid and use it to give a direct Gröbner basis argument that the polynomials extracted from the Hilbert series in these two ways agree.

A signed graph is a graph whose edges are labelled positive or negative. The sign of a circle (cycle, circuit) is the product of the signs of its edges. Most of the essential properties of a signed graph depend on the signs of its circles. Here I describe several questions regarding negative circles and their cousins the positive circles. Topics include incidence between signed circles and edges or vertices, characterizing signed graphs with special circle properties, counting negative circles, signed-circle packing and covering, signed circles and eigenvalues, and directed cycles in signed digraphs. A few of the questions come with answers.

We prove that for any toric ideal of a graph the degree of any element of Graver basis is bounded above by an exponential function of the maximal degree of a circuit.

We show that the theory of sorting by reversals fits into the well-established theory of circuit partitions of 4-regular multigraphs (which also involves the combinatorial structures of circle graphs and delta-matroids). In this way, we expose strong connections between the two theories that have not been fully appreciated before. We also discuss a generalization of sorting by reversals involving the double-cut-and-join (DCJ) operation. Finally, we also show that the theory of sorting by reversals is closely related to that of gene assembly in ciliates.

It is well known that each nonnegative integral flow on a graph can be decomposed into a sum of nonnegative graphic circuit flows, which cannot be further decomposed into nonnegative integral sub-flows. This is equivalent to saying that the indecomposable flows on graphs are those graphic circuit flows. Turning from graphs to signed graphs, the indecomposable flows are much richer than those of unsigned graphs. This paper gives a complete description of indecomposable flows on signed graphs from the viewpoint of resolution of singularities by means of double covering graphs.

Let $M$ be a regular matroid. The Jacobian group ${\rm Jac}(M)$ of $M$ is a finite abelian group whose cardinality is equal to the number of bases of $M$. This group generalizes the definition of the Jacobian group (also known as the critical group or sandpile group) ${\rm Jac}(G)$ of a graph $G$ (in which case bases of the corresponding regular matroid are spanning trees of $G$). There are many explicit combinatorial bijections in the literature between the Jacobian group of a graph ${\rm Jac}(G)$ and spanning trees. However, most of the known bijections use vertices of $G$ in some essential way and are inherently "non-matroidal". In this paper, we construct a family of explicit and easy-to-describe bijections between the Jacobian group of a regular matroid $M$ and bases of $M$, many instances of which are new even in the case of graphs. We first describe our family of bijections in a purely combinatorial way in terms of orientations; more specifically, we prove that the Jacobian group of $M$ admits a canonical simply transitive action on the set ${\mathcal G}(M)$ of circuit-cocircuit reversal classes of $M$, and then define a family of combinatorial bijections $β_{σ,σ^*}$ between ${\mathcal G}(M)$ and bases of $M$. (Here $σ$ (resp. $σ^*$) is an acyclic signature of the set of circuits (resp. cocircuits) of $M$.) We then give a geometric interpretation of each such map $β=β_{σ,σ^*}$ in terms of zonotopal subdivisions which is used to verify that $β$ is indeed a bijection. Finally, we give a combinatorial interpretation of lattice points in the zonotope $Z$; by passing to dilations we obtain a new derivation of Stanley's formula linking the Ehrhart polynomial of $Z$ to the Tutte polynomial of $M$.

We construct two families of Dantzig figures, which are $(d,2d)$-polytopes with an antipodal vertex pair, from convex hulls of initial subsets for the graded lexicographic (grlex) and graded reverse lexicographic (grevlex) orders on $\mathbb{Z}^{d}_{\geq 0}$. These two polytopes have the same number of vertices, $\mathcal{O}(d^{2})$, and the same number of edges, $\mathcal{O}(d^{3})$, but are not combinatorially equivalent. We provide an explicit description of the vertices and the facets for both families and describe their graphs along with analyzing their basic properties such as the radius, diameter, existence of Hamiltonian circuits, and chromatic number. Moreover, we also analyze the edge expansions of these graphs.

From the point of view of optimization, a critical issue is relating the combinatorial diameter of a polyhedron to its number of facets $f$ and dimension $d$. In the seminal paper of Klee and Walkup [KW67], the Hirsch conjecture of an upper bound of $f-d$ was shown to be equivalent to several seemingly simpler statements, and was disproved for unbounded polyhedra through the construction of a particular 4-dimensional polyhedron $U_4$ with 8 facets. The Hirsch bound for bounded polyhedra was only recently disproved by Santos. We consider analogous properties for a variant of the combinatorial diameter called the circuit diameter. In this variant, the walks are built from the circuit directions of the polyhedron, which are the minimal non-trivial solutions to the system defining the polyhedron. We are able to prove that circuit variants of the so-called non-revisiting conjecture and $d$-step conjecture both imply the circuit analogue of the Hirsch conjecture. For the equivalences in [KW67], the wedge construction was a fundamental proof technique. We exhibit why it is not available in the circuit setting, and what are the implications of losing it as a tool. Further, we show the circuit analogue of the non-revisiting conjecture implies a linear bound on the circuit diameter of all unbounded polyhedra - in contrast to what is known for the combinatorial diameter. Finally, we give two proofs of a circuit version of the $4$-step conjecture. These results offer some hope that the circuit version of the Hirsch conjecture may hold in general. A challenge in the circuit setting is that different realizations of polyhedra of the same combinatorial structure may have different diameters. We adapt the notion of simplicity to work with circuits in the form of C-simple and wedge-simple polyhedra. We show that it suffices to consider such polyhedra.

We show that a generic framework $(G,p)$ on the cylinder is globally rigid if and only if $G$ is a complete graph on at most four vertices or $G$ is both redundantly rigid and $2$-connected. To prove the theorem we also derive a new recursive construction of circuits in the simple $(2,2)$-sparse matroid, and a characterisation of rigidity for generic frameworks on the cylinder when a single designated vertex is allowed to move off the cylinder.

In this paper we consider the question of the existence of Hamiltonian circuits in the tope graphs of central arrangements of hyperplanes. Some of the results describe connections between the existence of Hamiltonian circuits in the arrangement and the odd-even invariant of the arrangement. In conjunction with this, we present some results concerning bounds on the odd-even invariant. The results given here can be formulated more generally for oriented matroids and are still valid in that setting.

Let G be a graph with vertex set {1,...,n}. A spanning forest F of G is increasing if the sequence of labels on any path starting at the minimum vertex of a tree of F form an increasing sequence. Hallam and Sagan showed that the generating function ISF(G,t) for increasing spanning forests of G has all nonpositive integral roots. Furthermore they proved that, up to a change of sign, this polynomial equals the chromatic polynomial of G precisely when 1,...,n is a perfect elimination order for G. We give new, purely combinatorial proofs of these results which permit us to generalize them in several ways. For example, we are able to bound the coefficients of ISF(G,t) using broken circuits. We are also able to extend these results to simplicial complexes using the new notion of a cage-free complex. A generalization to labeled multigraphs is also given. We end by exploring spanning forests where the increasing condition is replaced by having the label sequences avoid the patterns 231, 312, and 321.

I propose that most problems about circles (cycles, circuits) in ordinary graphs that have odd or even length find their proper setting in the theory of signed graphs, where each edge has a sign, $+$ or $-$. Even-circle and odd-circle problems correspond to questions about positive and negative circles in signed graphs. (The sign of a circle is the product of its edge signs.) I outline questions about circles in signed graphs, that seem natural and potentially important.