arXiv++ Combinatorics

We present an algebraic framework which simultaneously generalizes the notion of linear subspaces, matroids, valuated matroids, and oriented matroids. We call the resulting objects matroids over hyperfields. In fact, there are (at least) two natural notions of matroid in this context, which we call weak and strong matroids. We give "cryptomorphic" axiom systems for such matroids in terms of circuits, Grassmann-Plucker functions, and dual pairs, and establish some basic duality theorems. We also show that if F is a doubly distributive hyperfield then the notions of weak and strong matroid over F coincide.

Chordal graph shelling antimatroids have received little attention with regard to their combinatorial properties and related optimization problems, as compared to the case of poset shelling antimatroids. Here we consider a special case of these antimatroids, namely the split graph shelling antimatroids. We show that the feasible sets of such an antimatroid relate to some poset shelling antimatroids constructed from the graph. We discuss a few applications, obtaining in particular a simple polynomial-time algorithm to find a maximum weight feasible set. We also provide a simple description of the circuits and the free sets.

We show that if $G=(V,E)$ is a 4-connected flat graph, then any real symmetric $V\times V$ matrix $M$ with exactly one negative eigenvalue and satisfying, for any two distinct vertices $i$ and $j$, $M_{ij}<0$ if $i$ and $j$ are adjacent, and $M_{ij}=0$ if $i$ and $j$ are nonadjacent, has the Strong Arnold Property: there is no nonzero real symmetric $V\times V$ matrix $X$ with $MX=0$ and $X_{ij}=0$ whenever $i$ and $j$ are equal or adjacent. (A graph $G$ is {\em flat} if it can be embedded injectively in $3$-dimensional Euclidean space such that the image of any circuit is the boundary of some disk disjoint from the image of the remainder of the graph.) This applies to the Colin de Verdière graph parameter, and extends similar results for 2-connected outerplanar graphs and 3-connected planar graphs.

We study complexity measures on subsets of the boolean hypercube and exhibit connections between algebra (the Hilbert function) and combinatorics (VC theory). These connections yield results in both directions. Our main complexity-theoretic result proves that most linear program feasibility problems cannot be computed by polynomial-sized constant-depth circuits. Moreover, our result applies to a stronger regime in which the hyperplanes are fixed and only the directions of the inequalities are given as input to the circuit. We derive this result by proving that a rich class of extremal functions in VC theory cannot be approximated by low-degree polynomials. We also present applications of algebra to combinatorics. We provide a new algebraic proof of the Sandwich Theorem, which is a generalization of the well-known Sauer-Perles-Shelah Lemma. Finally, we prove a structural result about downward-closed sets, related to the Chvátal conjecture in extremal combinatorics.

A shortest circuit cover ${\cal F}$ of a bridgeless graph $G$ is a family of circuits that covers every edge of $G$ and is of minimum total length. The total length of a shortest circuit cover ${\cal F}$ of $G$ is denoted by $SCC(G)$. For ordinary graphs (graphs without sign), the subject of shortest circuit cover is closely related to some mainstream areas, such as, Tutte's integer flow theory, circuit double cover conjecture, Fulkerson conjecture, and others. For signed graphs $G$, it is proved recently by Máčajová, Raspaud, Rollová and Škoviera that $SCC(G) \leq 11|E|$ if $G$ is s-bridgeless, and $SCC(G) \leq 9|E|$ if $G$ is $2$-edge-connected. In this paper this result is improved as follows, $$SCC(G) ~ \leq ~ |E| + 3|V| +z$$ where $z ~=~ \min \{ \frac{2}{3}|E|+\frac{4}{3}ε_N-7,~ |V| + 2ε_N -8\}$ and $ε_N$ is the negativeness of $G$. The above upper bound can be further reduced if $G$ is $2$-edge-connected with 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 are the edge sets of those subgraphs of $G$ that contain at least two cycles, and are minimal with respect to this property. The main result of this paper is a characterization of when two graphs give rise to the same bicircular lift matoid, which answers a question proposed by Irene Pivotto. In particular, aside from some appropriately defined "small" graphs, two graphs have the same bicircular lift matroid if and only if they are $2$-isomorphic in the sense of Whitney.

We show that every bridgeless cubic graph $G$ with $m$ edges has a cycle cover of length at most $1.6 m$. Moreover, if $G$ does not contain any intersecting circuits of length $5$, then $G$ has a cycle cover of length $212/135 \cdot m \approx 1.570 m$ and if $G$ contains no $5$-circuits, then it has a cycle cover of length at most $14/9 \cdot m \approx 1.556 m$. To prove our results, we show that each $2$-edge-connected cubic graph $G$ on $n$ vertices has a $2$-factor containing at most $n/10+f(G)$ circuits of length $5$, where the value of $f(G)$ only depends on the presence of several subgraphs arising from the Petersen graph. As a corollary we get that each $3$-edge-connected cubic graph on $n$ vertices has a $2$-factor containing at most $n/9$ circuits of length $5$ and each $4$-edge-connected cubic graph on $n$ vertices has a $2$-factor containing at most $n/10$ circuits of length $5$.

The complexity of the matching polytope of graphs may be measured with the maximum length $β$ of a starting sequence of odd ears in an ear-decomposition. Indeed, a theorem of Edmonds and Pulleyblank shows that its facets are defined by 2-connected factor-critical graphs, which have an odd ear-decomposition (according to a theorem of Lovász). In particular, $β(G) \leq 1$ if and only if the matching polytope of the graph $G$ is completely described by non-negativity, star and odd-circuit inequalities. This is essentially equivalent to the h-perfection of the line-graph of $G$, as observed by Cao and Nemhauser. The complexity of computing $β$ is apparently not known. We show that deciding whether $β(G)\leq 1$ can be executed efficiently by looking at any ear-decomposition starting with an odd circuit and performing basic modulo-2 computations. Such a greedy-approach is surprising in view of the complexity of the problem in more special cases by Bruhn and Schaudt, and it is simpler than using the Parity Minor Algorithm. Our results imply a simple polynomial-time algorithm testing h-perfection in line-graphs (deciding h-perfection is open in general). We also generalize our approach to binary matroids and show that computing $β$ is a Fixed-Parameter-Tractable problem (FPT).

The structure of zero and nonzero minors in the Grassmannian leads to rich combinatorics of matroids. In this paper, we investigate an even richer structure of possible equalities and inequalities between the minors in the positive Grassmannian. It was previously shown that arrangements of equal minors of largest value are in bijection with the simplices in a certain triangulation of the hypersimplex that was studied by Stanley, Sturmfels, Lam and Postnikov. Here we investigate the entire set of arrangements and its relations with this triangulation. First, we show that second largest minors correspond to the facets of the simplices. We then introduce the notion of cubical distance on the dual graph of the triangulation, and study its relations with the arrangement of t-th largest minors. Finally, we show that arrangements of largest minors induce a structure of partially ordered sets on the entire collection of minors. We use the Lam and Postnikov circuit triangulation of the hypersimplex to describe a 2-dimensional grid structure of this poset.

Covering arrays are combinatorial objects that have been successfully applied in the design of test suites for testing systems such as software, circuits and networks, where failures can be caused by the interaction between their parameters. In this paper, we perform a new generalization of covering arrays called covering arrays on 3-uniform hypergraphs. Let $n, k$ be positive integers with $k\geq 3$. Three vectors $x\in \mathbb Z_{g_1}^n$, $y\in \mathbb Z_{g_2}^n$, $z\in \mathbb Z_{g_3}^n$ are {\it 3-qualitatively independent} if for any triplet $(a, b, c) \in \mathbb Z_{g_1}\,\times\, \mathbb Z_{g_2}\,\times\,\mathbb Z_{g_3}$, there exists an index $ j\in \lbrace 1, 2,...,n \rbrace $ such that $( x(j), y(j), z(j)) = (a, b, c)$. Let $H$ be a 3-uniform hypergraph with $k$ vertices $v_1,v_2,\ldots,v_k$ with respective vertex weights $g_1,g_2,\ldots,g_k$. A mixed covering array on $H$, denoted by $3-CA(n,H, \prod_{i=1}^{k}g_{i})$, is a $k\times n$ array such that row $i$ corresponds to vertex $v_i$, entries in row $i$ are from $Z_{g_i}$; and if $\{v_x,v_y,v_z\}$ is a hyperedge in $H$, then the rows $x,y,z$ are 3-qualitatively independent. The parameter $n$ is called the size of the array. Given a weighted 3-uniform hypergraph $H$, a mixed covering array on $H$ with minimum size is called optimal. We outline necessary background in the theory of hypergraphs that is relevant to the study of covering arrays on hypergraphs. In this article, we introduce five basic hypergraph operations to construct optimal mixed covering arrays on hypergraphs. Using these operations, we provide constructions for optimal mixed covering arrays on $α$-acyclic 3-uniform hypergraphs, conformal 3-uniform hypertrees having a binary tree as host tree, and on some specific 3-uniform cycle hypergraphs.

Tile \(\mathbb{R}^2\) into disjoint unit squares \(\{S_k\}_{k \geq 0}\) with the origin being the centre of \(S_0\) and say that \(S_i\) and \(S_j\) are star-adjacent if they share a corner and plus-adjacent if they share an edge. Every square is either vacant or occupied. If the occupied plus-connected component \(C^+(0)\) containing the origin is finite, it is known that the outermost boundary \(\partial^+_0\) of \(C^+(0)\) is a unique cycle surrounding the origin. For the finite occupied star-connected component \(C(0)\) containing the origin, we prove in this paper that the outermost boundary \(\partial_0\) is a unique connected graph consisting of a union of cycles \(\cup_{1 \leq i \leq n} C_i\) with mutually disjoint interiors. Moreover, we have that each pair of cycles in \(\partial_0\) share at most one vertex in common and we provide an inductive procedure to obtain a circuit containing all the edges of \(\cup_{1 \leq i \leq n} C_i.\) This has applications for contour analysis of star-connected components in percolation.

In 30's Hassler Whitney considered and completely solved the problem $(WP)$ of describing the classes of graphs $G$ having the same cycle matroid $M(G)$. A natural analog $(WP)'$ of Whitney's problem $(WP)$ is to describe the classes of graphs $G$ having the same matroid $M'(G)$, where $M'(G)$ is a matroid (on the edge set of $G$) distinct from $M(G)$. For example, the corresponding problem $(WP)'= (WP)_{θ}$ for the so-called bicircular matroid $M_{θ}(G)$ of graph $G$ was solved by Coulard, Del Greco and Wagner. We define the so-called {\em $k$-circular matroid} $M_k(G)$ on the edge set of graph $G$ for any non-negative integer $k$ so that $M(G) = M_0(G)$ and $M_{θ}(G) = M_1(G)$. It is natural to consider the corresponding analog $(WP)_k$ of Whitney's problem $(WP)$ not only for $k=0$ and $k=1$ but also for any integer $k \ge 2$. In this paper we give a characterization of the $k$-circular matroid $M_k(G)$ by describing the main constituents (circuits, bases, and cocircuits) in terms of graph $G$ and establish some important properties of the $k$-circular matroid. The results of this paper will be used in our further research on the problem $(WP)_k$. In our next paper we use these results to study a particular problem of $(WP)_k$ on graphs uniquely defined by their $k$-circular matroids.

Let $U_{k,N}$ denote the Boolean function which takes as input $k$ strings of $N$ bits each, representing $k$ numbers $a^{(1)},\dots,a^{(k)}$ in $\{0,1,\dots,2^{N}-1\}$, and outputs 1 if and only if $a^{(1)} + \cdots + a^{(k)} \geq 2^N.$ Let THR$_{t,n}$ denote a monotone unweighted threshold gate, i.e., the Boolean function which takes as input a single string $x \in \{0,1\}^n$ and outputs $1$ if and only if $x_1 + \cdots + x_n \geq t$. We refer to circuits that are composed of THR gates as monotone majority circuits. The main result of this paper is an exponential lower bound on the size of bounded-depth monotone majority circuits that compute $U_{k,N}$. More precisely, we show that for any constant $d \geq 2$, any depth-$d$ monotone majority circuit computing $U_{d,N}$ must have size $\smash{2^{Ω(N^{1/d})}}$. Since $U_{k,N}$ can be computed by a single monotone weighted threshold gate (that uses exponentially large weights), our lower bound implies that constant-depth monotone majority circuits require exponential size to simulate monotone weighted threshold gates. This answers a question posed by Goldmann and Karpinski (STOC'93) and recently restated by Hastad (2010, 2014). We also show that our lower bound is essentially best possible, by constructing a depth-$d$, size-$2^{O(N^{1/d})}$ monotone majority circuit for $U_{d,N}$. As a corollary of our lower bound, we significantly strengthen a classical theorem in circuit complexity due to Ajtai and Gurevich (JACM'87). They exhibited a monotone function that is in AC$^0$ but requires super-polynomial size for any constant-depth monotone circuit composed of unbounded fan-in AND and OR gates. We describe a monotone function that is in depth-$3$ AC$^0$ but requires exponential size monotone circuits of any constant depth, even if the circuits are composed of THR gates.

Test response compaction for integrated circuits (ICs) with scan-based design-for-testability (DFT) support in the presence of unknown logic values (Xs) is investigated from a combinatorial viewpoint. The theoretical foundations of X-codes, employed in an X-tolerant compaction technique called X-compact, are examined. Through the formulation of a combinatorial model of X-compact, novel design techniques are developed for X-codes to detect a specified maximum number of errors in the presence of a specified maximum number of unknown logic values, while requiring only small fan-out. The special class of X-codes that results leads to an avoidance problem for configurations in combinatorial designs. General design methods and nonconstructive existence theorems to estimate the compaction ratio of an optimal X-compactor are also derived.

In 1984, Kelly and Oxley introduced the model of a random representable matroid $M[A_n]$ corresponding to a random matrix $A_n \in \mathbb{F}_q^{m(n) \times n}$, whose entries are drawn independently and uniformly from $\mathbb{F}_q$. Whereas properties such as rank, connectivity, and circuit size have been well-studied, forbidden minors have not yet been analyzed. Here, we investigate the asymptotic probability as $n \to \infty$ that a fixed $\mathbb{F}_q$-representable matroid $M$ is a minor of $M[A_n]$. (We always assume $m(n) \geq \text{rank}(M)$ for all sufficiently large $n$, otherwise $M$ can never be a minor of the corresponding $M[A_n]$.) When $M$ is free, we show that $M$ is asymptotically almost surely (a.a.s.) a minor of $M[A_n]$. When $M$ is not free, we show a phase transition: $M$ is a.a.s. a minor if $n - m(n) \to \infty$, but is a.a.s. not if $m(n) - n \to \infty$. In the more general settings of $m \leq n$ and $m > n$, we give lower and upper bounds, respectively, on both the asymptotic and non-asymptotic probability that $M$ is a minor of $M[A_n]$. The tools we develop to analyze matroid operations and minors of random matroids may be of independent interest. Our results directly imply that $M[A_n]$ is a.a.s. not contained in any proper, minor-closed class $\mathcal{M}$ of $\mathbb{F}_q$-representable matroids, provided: (i) $n - m(n) \to \infty$, and (ii) $m(n)$ is at least the minimum rank of any $\mathbb{F}_q$-representable forbidden minor of $\mathcal{M}$, for all sufficiently large $n$. As an application, this shows that graphic matroids are a vanishing subset of linear matroids, in a sense made precise in the paper. Our results provide an approach for applying the rich theory around matroid minors to the less-studied field of random matroids.

Pattern avoidance is a central topic in graph theory and combinatorics. Pattern avoidance in matrices has applications in computer science and engineering, such as robot motion planning and VLSI circuit design. A $d$-dimensional zero-one matrix $A$ avoids another $d$-dimensional zero-one matrix $P$ if no submatrix of $A$ can be transformed to $P$ by changing some ones to zeros. A fundamental problem is to study the maximum number of nonzero entries in a $d$-dimensional $n \times \cdots \times n$ matrix that avoids $P$. This maximum number, denoted by $f(n,P,d)$, is called the extremal function. We advance the extremal theory of matrices in two directions. The methods that we use come from combinatorics, probability, and analysis. Firstly, we obtain non-trivial lower and upper bounds on $f(n,P,d)$ when $n$ is large for every $d$-dimensional block permutation matrix $P$. We establish the tight bound $Θ(n^{d-1})$ on $f(n,P,d)$ for every $d$-dimensional tuple permutation matrix $P$. This tight bound has the lowest possible order that an extremal function of a nontrivial matrix can ever achieve. Secondly, we show that $f(n,P,d)$ is super-homogeneous for a class of matrices $P$. We use this super-homogeneity to show that the limit inferior of the sequence $\{ {f(n,P,d) \over n^{d-1}}\}$ has a lower bound $2^{Ω(k^{1/ d})}$ for a family of $k \times \cdots \times k$ permutation matrices $P$. We also improve the upper bound on the limit superior from $2^{O(k \log k)}$ to $2^{O(k)}$ for all $k \times \cdots \times k$ permutation matrices and show that the new upper bound also holds for tuple permutation matrices.

Let $G$ be an $n$-vertex graph with $n\ge 3$. A classic result of Dirac from 1952 asserts that $G$ is hamiltonian if $δ(G)\ge n/2$. Dirac's theorem is one of the most influential results in the study of hamiltonicity and by now there are many related known results\,(see, e.g., J. A. Bondy, Basic Graph Theory: Paths and Circuits, Chapter 1 in: {\it Handbook of Combinatorics Vol.1}). A {\it Halin graph} is a planar graph consisting of two edge-disjoint subgraphs: a spanning tree of at least 4 vertices and with no vertex of degree 2, and a cycle induced on the set of the leaves of the spanning tree. Halin graphs possess rich hamiltonicity properties such as being hamiltonian, hamiltonian connected, and almost pancyclic. As a continuous "generalization" of Dirac's theorem, in this paper, we show that there exists a positive integer $n_0$ such that any graph $G$ with $n\ge n_0$ vertices and $δ(G)\ge (n+1)/2$ contains a spanning Halin subgraph. In particular, it contains a spanning Halin subgraph which is also pancyclic.

We explicitly compute the effective resistances between any two vertices of a ladder graph by using circuit reductions. Using our findings, we obtain explicit formulas for Kirchhoff index and admissible invariants of a ladder graph considering it as a model of a metrized graph. Comparing our formula for Kirchhoff index and previous results in literature, we obtain an explicit sum formula involving trigonometric functions. We also expressed our formulas in terms of certain generalized Fibonacci numbers that are the values of the Chebyshev polynomials of the second kind at $2$.

Consider a variant of the graph diameter of a polyhedron where each step in a walk between two vertices travels maximally in a circuit direction instead of along incident edges. Here circuit directions are non-trivial solutions to minimally-dependent subsystems of the presentation of the polyhedron. These can be understood as the set of all possible edge directions, including edges that may arise from translation of the facets. It is appealing to consider a circuit analogue of the Hirsch conjecture for graph diameter, as suggested by Borgwardt et al. [BFH15]. They ask whether the known counterexamples to the Hirsch conjecture give rise to counterexamples for this relaxed notion of circuit diameter. We show that the most basic counterexample to the unbounded Hirsch conjecture, the Klee-Walkup polyhedron, does have a circuit diameter that satisfies the Hirsch bound, regardless of representation. We also examine the circuit diameter of the bounded Klee-Walkup polytope.

This note contributes to the structure theory of abstract rigidity matroids in general dimension. In the spirit of classical matroid theory, we prove several cryptomorphic characterizations of abstract rigidity matroids (in terms of circuits, cocircuits, bases, hyperplanes). Moreover, the study of hyperplanes in abstract rigidity matroids leads us to state (and support with significant evidence) a conjecture about characterizing the class of abstract rigidity matroids by means of certain "prescribed substructures". We then prove a recursive version of this conjecture.