Skew circuits and circumference in a binary matroid

Sean McGuinness

2024-08-03

Abstract:Let C_1 and C_2 be skew circuits in a binary matroid having circumference c. For any positive integer k there is a constant a_k such that if min { |A| ; C_1 \subset A \subset E-A} > a_k, then |C_1| + |C_2| < 2c -k.

Combinatorics

What problem does this paper attempt to address?

On Cyclic Codes of Length $${2^{2^R}-1}$$ with Two Zeros Whose Dual Codes Have Three Weights

Tao Feng

DOI: https://doi.org/10.1007/s10623-011-9514-0

IF: 1.4

2011-01-01

Designs Codes and Cryptography

Abstract:In 1976, Helleseth conjectured that two binary m-sequences of length 2 m − 1 can not have a three-valued crosscorrelation function when m is a power of 2. We show that this conjecture is true when −1 is a correlation value. In other words, if ${{\mathcal{C}}_{1,k}}$ is the cyclic code of length 2 m − 1 with two zeros α, α k , where α is a primitive element of ${{\mathbb{F}}_{2^m}}$ and gcd(k, 2 m − 1) = 1, then its dual ${{\mathcal{C}}_{1,k}^{\perp}}$ can not have three weights when m is a power of 2.
The Circuit-Cocircuit Intersection Conjecture for Intersection Size $\le7$

Jaeho Shin

2023-08-05

Abstract:A circuit-cocircuit intersection, or a CCI for short, of a matroid is the intersection of a circuit and a cocircuit. Oxley conjectured (1992) that a matroid with a CCI of size $k\ge4$ has a CCI of size $k-2$. We show that the conjecture holds for $k\le7$.

Combinatorics
Binary Matroids with Graphic Cocircuits

Konstantinos Papalamprou,Leonidas Pitsoulis

DOI: https://doi.org/10.48550/arXiv.1205.0914

2012-05-04

Combinatorics

Abstract:An excluded minor characterization for the class of binary signed-graphic matroids with graphic cocircuits is provided. In this report we present the necessary computations for the case analysis in the proof.
A Conjecture on C-matrices of Cluster Algebras

Peigen Cao,Min Huang,Fang Li

DOI: https://doi.org/10.1017/nmj.2018.18

2018-01-01

Nagoya Mathematical Journal

Abstract:For a skew-symmetrizable cluster algebra ${\mathcal{A}}_{t_{0}}$ with principal coefficients at $t_{0}$, we prove that each seed $\unicode[STIX]{x1D6F4}_{t}$ of ${\mathcal{A}}_{t_{0}}$ is uniquely determined by its $C$-matrix, which was proposed by Fomin and Zelevinsky (Compos. Math. 143 (2007), 112–164) as a conjecture. Our proof is based on the fact that the positivity of cluster variables and sign coherence of $c$-vectors hold for ${\mathcal{A}}_{t_{0}}$, which was actually verified in Gross et al. (Canonical bases for cluster algebras, J. Amer. Math. Soc. 31(2) (2018), 497–608). Further discussion is provided in the sign-skew-symmetric case so as to obtain a weak version of the conjecture in this general case.
Circuit-partition of infinite matroids

Nathan Bowler,Attila Joó

2024-06-19

Abstract:Komjáth, Milner, and Polat investigated when a finitary matroid admits a partition into circuits. They defined the class of ``finite matching extendable'' matroids and showed in their compactness theorem that those matroids always admit such a partition. Their proof is based on Shelah's singular compactness technique and a careful analysis of certain $\triangle$-systems. We provide a short, simple proof of their theorem. Then we show that a finitary binary oriented matroid can be partitioned into directed circuits if and only if, in every cocircuit, the cardinality of the negative and positive edges are the same. This generalizes a former conjecture of Thomassen, settled affirmatively by the second author, about partitioning the edges of an infinite directed graph into directed cycles. As side results, a Laviolette theorem for finitary matroids and a Farkas lemma for finitary binary oriented matroids are proven. An example is given to show that, in contrast to finite oriented matroids, `binary' cannot be omitted in the latter result.

Combinatorics
Counting circuit double covers

Radek Hušek,Robert Šámal

DOI: https://doi.org/10.1002/jgt.23187

2024-10-03

Journal of Graph Theory

Abstract:We study a counting version of Cycle Double Cover Conjecture. We discuss why it is more interesting to count circuits (i.e., graphs isomorphic to Ck for some k ) instead of cycles (graphs with all degrees even). We give an almost‐exponential lower bound for graphs with a surface embedding of representativity at least 4. We also prove an exponential lower bound for planar graphs. We conjecture that any bridgeless cubic graph has at least 2n/2−1 circuit double covers and we show an infinite class of graphs for which this bound is tight.

mathematics
Lower Bounds for Symmetric Circuits for the Determinant

Anuj Dawar,Gregory Wilsenach

2024-08-30

Abstract:Dawar and Wilsenach (ICALP 2020) introduce the model of symmetric arithmetic circuits and show an exponential separation between the sizes of symmetric circuits for computing the determinant and the permanent. The symmetry restriction is that the circuits which take a matrix input are unchanged by a permutation applied simultaneously to the rows and columns of the matrix. Under such restrictions we have polynomial-size circuits for computing the determinant but no subexponential size circuits for the permanent. Here, we consider a more stringent symmetry requirement, namely that the circuits are unchanged by arbitrary even permutations applied separately to rows and columns, and prove an exponential lower bound even for circuits computing the determinant. The result requires substantial new machinery. We develop a general framework for proving lower bounds for symmetric circuits with restricted symmetries, based on a new support theorem and new two-player restricted bijection games. These are applied to the determinant problem with a novel construction of matrices that are bi-adjacency matrices of graphs based on the CFI construction. Our general framework opens the way to exploring a variety of symmetry restrictions and studying trade-offs between symmetry and other resources used by arithmetic circuits.

Computational Complexity,Discrete Mathematics,Logic in Computer Science
Pathwidth vs cocircumference

Marcin Briański,Gwenaël Joret,Michał T. Seweryn

DOI: https://doi.org/10.1137/23M158663X

2023-11-15

Abstract:The {\em circumference} of a graph $G$ with at least one cycle is the length of a longest cycle in $G$. A classic result of Birmelé (2003) states that the treewidth of $G$ is at most its circumference minus $1$. In case $G$ is $2$-connected, this upper bound also holds for the pathwidth of $G$; in fact, even the treedepth of $G$ is upper bounded by its circumference (Briański, Joret, Majewski, Micek, Seweryn, Sharma; 2023). In this paper, we study whether similar bounds hold when replacing the circumference of $G$ by its {\em cocircumference}, defined as the largest size of a {\em bond} in $G$, an inclusion-wise minimal set of edges $F$ such that $G-F$ has more components than $G$. In matroidal terms, the cocircumference of $G$ is the circumference of the bond matroid of $G$. Our first result is the following `dual' version of Birmelé's theorem: The treewidth of a graph $G$ is at most its cocircumference. Our second and main result is an upper bound of $3k-2$ on the pathwidth of a $2$-connected graph $G$ with cocircumference $k$. Contrary to circumference, no such bound holds for the treedepth of $G$. Our two upper bounds are best possible up to a constant factor.

Combinatorics,Discrete Mathematics
On Circuit Diameter Bounds via Circuit Imbalances

Daniel Dadush,Zhuan Khye Koh,Bento Natura,László A. Végh

2024-06-12

Abstract:We study the circuit diameter of polyhedra, introduced by Borgwardt, Finhold, and Hemmecke (SIDMA 2015) as a relaxation of the combinatorial diameter. We show that the circuit diameter of a system $\{x \in \mathbb{R}^n: Ax=b, 0\leq x\leq u\}$ for $A \in \mathbb{R}^{m \times n}$ is bounded by $O(m \min\{m, n-m\} \log(m+ \kappa_A)+n \log n)$, where $\kappa_A$ is the circuit imbalance measure of the constraint matrix. This yields a strongly polynomial circuit diameter bound if e.g., all entries of $A$ have polynomially bounded encoding length in $n$. Further, we present circuit augmentation algorithms for LPs using the minimum-ratio circuit cancelling rule. Even though the standard minimum-ratio circuit cancelling algorithm is not finite in general, our variant can solve an LP in $O(mn^2\log(n+\kappa_A))$ augmentation steps.

Optimization and Control,Discrete Mathematics,Combinatorics
A Circulant Approach to Skew-Constacyclic Codes

Neville Fogarty,Heide Gluesing-Luerssen

DOI: https://doi.org/10.48550/arXiv.1408.5445

2014-09-27

Abstract:We introduce circulant matrices that capture the structure of a skew-polynomial ring F[x;\theta] modulo the left ideal generated by a polynomial of the type x^n-a. This allows us to develop an approach to skew-constacyclic codes based on such circulants. Properties of these circulants are derived, and in particular it is shown that the transpose of a certain circulant is a circulant again. This recovers the well-known result that the dual of a skew-constacyclic code is a constacyclic code again. Special attention is paid to the case where x^n-a is two-sided.

Information Theory,Rings and Algebras
Pathwidth Versus Cocircumference

Marcin Briański,Gwenaël Joret,Michał T. Seweryn

DOI: https://doi.org/10.1137/23m158663x

IF: 0.868

2024-02-27

SIAM Journal on Discrete Mathematics

Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 1, Page 857-866, March 2024. The circumference of a graph [math] with at least one cycle is the length of a longest cycle in [math]. A classic result of Birmelé [J. Graph Theory, 43 (2003), pp. 24–25] states that the treewidth of [math] is at most its circumference minus 1. In case [math] is 2-connected, this upper bound also holds for the pathwidth of [math]; in fact, even the treedepth of [math] is upper bounded by its circumference (Briański et al. [Treedepth vs circumference, Combinatorica, 43 (2023), pp. 659–664]). In this paper, we study whether similar bounds hold when replacing the circumference of [math] by its cocircumference, defined as the largest size of a bond in [math], an inclusionwise minimal set of edges [math] such that [math] has more components than [math]. In matroidal terms, the cocircumference of [math] is the circumference of the bond matroid of [math]. Our first result is the following "dual" version of Birmelé's theorem: The treewidth of a graph [math] is at most its cocircumference. Our second and main result is an upper bound of [math] on the pathwidth of a 2-connected graph [math] with cocircumference [math]. Contrary to circumference, no such bound holds for the treedepth of [math]. Our two upper bounds are best possible up to a constant factor.

mathematics, applied
Good bounds for sets lacking skew corners

Luka Milićević

2024-04-13

Abstract:A skew corner is a triple of points in $\mathbb{Z} \times \mathbb{Z}$ of the form $(x,y), (x, y + a)$ and $(x + a, y')$. Pratt posed the following question: how large can a set $A \subseteq [n] \times [n]$ be, provided it contains no non-trivial skew corner (i.e. one for which $a\not=0$)? We prove that $|A| \leq \exp(- c\log^c n) n^2$, for an absolute constant $c > 0$, which, along with a construction of Beker, essentially resolves Pratt's question.

Combinatorics,Number Theory
A binary-matroid analogue of a graph connectivity result of Jamison and Mulder

Cameron Crenshaw,James Oxley

2023-06-13

Abstract:Let $G$ be a graph such that, whenever two vertices $x$ and $y$ of $G$ are joined by three internally disjoint paths, $x$ and $y$ are adjacent. Jamison and Mulder determined that the set of such graphs coincides with the set of graphs that can be built from cycles and complete graphs via 1-sums and parallel connections. This paper proves an analogous result for binary matroids.

Combinatorics
On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture

Alexander E. Black,Steffen Borgwardt,Matthias Brugger

2024-04-09

Abstract:Circuit diameters of polyhedra are a fundamental tool for studying the complexity of circuit augmentation schemes for linear programming and for finding lower bounds on combinatorial diameters. The main open problem in this area is the circuit diameter conjecture, the analogue of the Hirsch conjecture in the circuit setting. A natural question is whether the well-known counterexamples to the Hirsch conjecture carry over. Previously, Stephen and Yusun showed that the Klee-Walkup counterexample to the unbounded Hirsch conjecture does not transfer to the circuit setting. Our main contribution is to show that the original counterexamples for the other variants, for bounded polytopes and using monotone walks, also do not transfer. Our results rely on new observations on structural properties of these counterexamples. To resolve the bounded case, we exploit the geometry of certain $2$-faces of the polytopes underlying all known bounded Hirsch counterexamples in Santos' work. For Todd's monotone Hirsch counterexample, we provide two alternative approaches. The first one uses sign-compatible circuit walks, and the second one uses the observation that Todd's polytope is anti-blocking. Along the way, we enumerate all linear programs over the polytope and find four new orientations that contradict the monotone Hirsch conjecture, while the remaining $7107$ satisfy the bound.

Combinatorics,Optimization and Control
The Maximum Number of Cliques in Graphs with Bounded Odd Circumference

Zequn Lv,Ervin Győri,Zhen He,Nika Salia,Chuanqi Xiao,Xiutao Zhu

DOI: https://doi.org/10.1007/s00026-023-00682-y

2024-01-25

Annals of Combinatorics

Abstract:In this work, we give the sharp upper bound for the number of cliques in graphs with bounded odd circumferences. This generalized Turán-type result is an extension of the celebrated Erdős and Gallai theorem and a strengthening of Luo's recent result. The same bound for graphs with bounded even circumferences is a trivial application of the theorem of Li and Ning.

mathematics, applied
Binary codes from subset inclusion matrices

Alexey D. Marin,Ivan Yu. Mogilnykh

2024-08-22

Abstract:In this paper, we study the minimum distances of binary linear codes with parity check matrices formed from subset inclusion matrices $W_{t,n,k}$, representing $t$-element subsets versus $k$-element subsets of an $n$-element set. We provide both lower and upper bounds on the minimum distances of these codes and determine the exact values for any $t\leq 3$ and sufficiently large $n$. Our study combines design and integer linear programming techniques. The codes we consider are connected to locally recoverable codes, LDPC codes and combinatorial designs.

Combinatorics,Information Theory
Lattice Path Bicircular Matroids

Santiago Guzmán-Pro,Winfried Hochstättler

DOI: https://doi.org/10.1007/s00373-023-02749-2

2024-02-09

Graphs and Combinatorics

Abstract:Lattice path matroids and bicircular matroids are two well-known classes of transversal matroids. In the seminal work of Bonin and de Mier about structural properties of lattice path matroids, the authors claimed that lattice path matroids significantly differ from bicircular matroids. Recently, it was proved that all cosimple lattice path matroids have positive double circuits, while it was shown that there is a large class of cosimple bicircular matroids with no positive double circuits. These observations support Bonin and de Miers' claim. Finally, Sivaraman and Slilaty suggested studying the intersection of lattice path matroids and bicircular matroids as a possibly interesting research topic. In this work, we exhibit the excluded bicircular matroids for the class of lattice path matroids, and we propose a characterization of the graph family whose bicircular matroids are lattice path matroids. As an application of this characterization, we propose a geometric description of 2-connected lattice path bicircular matroids.

mathematics
A $k^{\frac{q}{q-2}}$ Lower Bound for Odd Query Locally Decodable Codes from Bipartite Kikuchi Graphs

Oliver Janzer,Peter Manohar

2024-11-22

Abstract:A code $C \colon \{0,1\}^k \to \{0,1\}^n$ is a $q$-query locally decodable code ($q$-LDC) if one can recover any chosen bit $b_i$ of the message $b \in \{0,1\}^k$ with good confidence by querying a corrupted string $\tilde{x}$ of the codeword $x = C(b)$ in at most $q$ coordinates. For $2$ queries, the Hadamard code is a $2$-LDC of length $n = 2^k$, and this code is in fact essentially optimal. For $q \geq 3$, there is a large gap in our understanding: the best constructions achieve $n = \exp(k^{o(1)})$, while prior to the recent work of [AGKM23], the best lower bounds were $n \geq \tilde{\Omega}(k^{\frac{q}{q-2}})$ for $q$ even and $n \geq \tilde{\Omega}(k^{\frac{q+1}{q-1}})$ for $q$ odd. The recent work of [AGKM23] used spectral methods to prove a lower bound of $n \geq \tilde{\Omega}(k^3)$ for $q = 3$, thus achieving the "$k^{\frac{q}{q-2}}$ bound" for an odd value of $q$. However, their proof does not extend to any odd $q \geq 5$. In this paper, we prove a $q$-LDC lower bound of $n \geq \tilde{\Omega}(k^{\frac{q}{q-2}})$ for any odd $q$. Our key technical idea is the use of an imbalanced bipartite Kikuchi graph, which gives a simpler method to analyze spectral refutations of odd arity XOR without using the standard "Cauchy-Schwarz trick", a trick that typically produces random matrices with correlated entries and makes the analysis for odd arity XOR significantly more complicated than even arity XOR.

Computational Complexity,Information Theory
Common divisor graphs for skew braces

Silvia Properzi,Arne Van Antwerpen

DOI: https://doi.org/10.48550/arXiv.2306.12415

2024-01-26

Abstract:We introduce two common divisor graphs associated with a finite skew brace, based on its $\lambda$- and $\theta$-orbits. We prove that the number of connected components is at most two and the diameter of a connected component is at most four. Furthermore, we investigate their relationship with isoclinism. Similarly to its group theoretic inspiration, the skew braces with a graph with two disconnected vertices are very restricted and are determined. Finally, we classify all finite skew braces with a graph with one vertex, where four infinite families arise.

Combinatorics,Group Theory

Skew circuits and circumference in a binary matroid

On Cyclic Codes of Length $${2^{2^R}-1}$$ with Two Zeros Whose Dual Codes Have Three Weights

The Circuit-Cocircuit Intersection Conjecture for Intersection Size $\le7$

Binary Matroids with Graphic Cocircuits

A Conjecture on C-matrices of Cluster Algebras

Circuit-partition of infinite matroids

Counting circuit double covers

Lower Bounds for Symmetric Circuits for the Determinant

Pathwidth vs cocircumference

On Circuit Diameter Bounds via Circuit Imbalances

A Circulant Approach to Skew-Constacyclic Codes

Pathwidth Versus Cocircumference

Good bounds for sets lacking skew corners

A binary-matroid analogue of a graph connectivity result of Jamison and Mulder

On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture

The Maximum Number of Cliques in Graphs with Bounded Odd Circumference

Binary codes from subset inclusion matrices

Lattice Path Bicircular Matroids

A $k^{\frac{q}{q-2}}$ Lower Bound for Odd Query Locally Decodable Codes from Bipartite Kikuchi Graphs

Common divisor graphs for skew braces