Showing 1–20 of 20 results for author: van Zwam, S H M

On the Highly Connected Dyadic, Near-Regular, and Sixth-Root-of-Unity Matroids

Authors: Ben Clark, Kevin Grace, James Oxley, Stefan H. M. van Zwam

Abstract: Subject to announced results by Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the classes of dyadic, near-regular, and sixth-root-of-unity matroids. Subject to announced results by Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the classes of dyadic, near-regular, and sixth-root-of-unity matroids. △ Less

Submitted 26 March, 2021; v1 submitted 9 March, 2019; originally announced March 2019.

Comments: In Version 3, improvements have been made to the proofs of Lemma 4.4 and Theorem 1.1. There are more minor corrections also. SageMath worksheet is in ancillary files. 32 pages, accepted for publication by SIAM Journal on Discrete Mathematics

MSC Class: 05B35

Journal ref: SIAM Journal on Discrete Mathematics 35 (2021), 1356-1380

On perturbations of highly connected dyadic matroids

Authors: Kevin Grace, Stefan H. M. van Zwam

Abstract: Geelen, Gerards, and Whittle [3] announced the following result: let $q = p^k$ be a prime power, and let $\mathcal{M}$ be a proper minor-closed class of $\mathrm{GF}(q)$-representable matroids, which does not contain $\mathrm{PG}(r-1,p)$ for sufficiently high $r$. There exist integers $k, t$ such that every vertically $k$-connected matroid in $\mathcal{M}$ is a rank-$(\leq t)$ perturbation of a fr… ▽ More Geelen, Gerards, and Whittle [3] announced the following result: let $q = p^k$ be a prime power, and let $\mathcal{M}$ be a proper minor-closed class of $\mathrm{GF}(q)$-representable matroids, which does not contain $\mathrm{PG}(r-1,p)$ for sufficiently high $r$. There exist integers $k, t$ such that every vertically $k$-connected matroid in $\mathcal{M}$ is a rank-$(\leq t)$ perturbation of a frame matroid or the dual of a frame matroid over $\mathrm{GF}(q)$. They further announced a characterization of the perturbations through the introduction of subfield templates and frame templates. We show a family of dyadic matroids that form a counterexample to this result. We offer several weaker conjectures to replace the ones in [3], discuss consequences for some published papers, and discuss the impact of these new conjectures on the structure of frame templates. △ Less

Submitted 26 June, 2018; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: Version 3 has a new title and a few other minor corrections; 38 pages, including a 6-page Jupyter notebook that contains SageMath code and that is also available in the ancillary files

MSC Class: 05B35

Journal ref: Annals of Combinatorics 22 (2018), 513-542

Relaxations of GF$(4)$-representable matroids

Authors: Ben Clark, James Oxley, Stefan H. M. van Zwam

Abstract: We consider the GF$(4)$-representable matroids with a circuit-hyperplane such that the matroid obtained by relaxing the circuit-hyperplane is also GF$(4)$-representable. We characterize the structure of these matroids as an application of structure theorems for the classes of $U_{2,4}$-fragile and $\{U_{2,5},U_{3,5}\}$-fragile matroids. In addition, we characterize the forbidden submatrices in GF… ▽ More We consider the GF$(4)$-representable matroids with a circuit-hyperplane such that the matroid obtained by relaxing the circuit-hyperplane is also GF$(4)$-representable. We characterize the structure of these matroids as an application of structure theorems for the classes of $U_{2,4}$-fragile and $\{U_{2,5},U_{3,5}\}$-fragile matroids. In addition, we characterize the forbidden submatrices in GF$(4)$-representations of these matroids. △ Less

Submitted 1 June, 2018; v1 submitted 24 April, 2017; originally announced April 2017.

Comments: Jupyter notebook with SageMath code in ancillary files

MSC Class: 05B35

The highly connected even-cycle and even-cut matroids

Authors: Kevin Grace, Stefan H. M. van Zwam

Abstract: The classes of even-cycle matroids, even-cycle matroids with a blocking pair, and even-cut matroids each have hundreds of excluded minors. We show that the number of excluded minors for these classes can be drastically reduced if we consider in each class only the highly connected matroids of sufficient size. The classes of even-cycle matroids, even-cycle matroids with a blocking pair, and even-cut matroids each have hundreds of excluded minors. We show that the number of excluded minors for these classes can be drastically reduced if we consider in each class only the highly connected matroids of sufficient size. △ Less

Submitted 8 February, 2018; v1 submitted 4 October, 2016; originally announced October 2016.

Comments: Version 2 is a major revision, including a correction of an error in the statement of one of the main results and improved exposition. It is 89 pages, including a 33-page Jupyter notebook that contains SageMath code and that is also available in the ancillary files

MSC Class: 05B35

Journal ref: SIAM Journal on Discrete Mathematics 33 (2019), 26-67

Templates for Binary Matroids

Authors: Kevin Grace, Stefan H. M. van Zwam

Abstract: A binary frame template is a device for creating binary matroids from graphic or cographic matroids. Such matroids are said to conform or coconform to the template. We introduce a preorder on these templates and determine the nontrivial templates that are minimal with respect to this order. As an application of our main result, we determine the eventual growth rates of certain minor-closed classes… ▽ More A binary frame template is a device for creating binary matroids from graphic or cographic matroids. Such matroids are said to conform or coconform to the template. We introduce a preorder on these templates and determine the nontrivial templates that are minimal with respect to this order. As an application of our main result, we determine the eventual growth rates of certain minor-closed classes of binary matroids, including the class of binary matroids with no minor isomorphic to PG(3,2). Our main result applies to all highly-connected matroids in a class, not just those of maximum size. As a second application, we characterize the highly-connected 1-flowing matroids. △ Less

Submitted 26 October, 2016; v1 submitted 25 May, 2016; originally announced May 2016.

MSC Class: 05B35

Journal ref: SIAM Journal on Discrete Mathematics 31 (2017), 254-282

The maximum-likelihood decoding threshold for graphic codes

Authors: Peter Nelson, Stefan H. M. van Zwam

Abstract: For a class $\mathcal{C}$ of binary linear codes, we write $θ_{\mathcal{C}}\colon (0,1) \to [0,\frac{1}{2}]$ for the maximum-likelihood decoding threshold function of $\mathcal{C}$, the function whose value at $R \in (0,1)$ is the largest bit-error rate $p$ that codes in $\mathcal{C}$ can tolerate with a negligible probability of maximum-likelihood decoding error across a binary symmetric channel.… ▽ More For a class $\mathcal{C}$ of binary linear codes, we write $θ_{\mathcal{C}}\colon (0,1) \to [0,\frac{1}{2}]$ for the maximum-likelihood decoding threshold function of $\mathcal{C}$, the function whose value at $R \in (0,1)$ is the largest bit-error rate $p$ that codes in $\mathcal{C}$ can tolerate with a negligible probability of maximum-likelihood decoding error across a binary symmetric channel. We show that, if $\mathcal{C}$ is the class of cycle codes of graphs, then $θ_{\mathcal{C}}(R) \le \frac{(1-\sqrt{R})^2}{2(1+R)}$ for each $R$, and show that equality holds only when $R$ is asymptotically achieved by cycle codes of regular graphs. △ Less

Submitted 15 April, 2016; v1 submitted 20 April, 2015; originally announced April 2015.

On the existence of asymptotically good linear codes in minor-closed classes

Authors: Peter Nelson, Stefan H. M. van Zwam

Abstract: Let $\mathcal{C} = (C_1, C_2, \ldots)$ be a sequence of codes such that each $C_i$ is a linear $[n_i,k_i,d_i]$-code over some fixed finite field $\mathbb{F}$, where $n_i$ is the length of the codewords, $k_i$ is the dimension, and $d_i$ is the minimum distance. We say that $\mathcal{C}$ is asymptotically good if, for some $\varepsilon > 0$ and for all $i$, $n_i \geq i$, $k_i/n_i \geq \varepsilon$,… ▽ More Let $\mathcal{C} = (C_1, C_2, \ldots)$ be a sequence of codes such that each $C_i$ is a linear $[n_i,k_i,d_i]$-code over some fixed finite field $\mathbb{F}$, where $n_i$ is the length of the codewords, $k_i$ is the dimension, and $d_i$ is the minimum distance. We say that $\mathcal{C}$ is asymptotically good if, for some $\varepsilon > 0$ and for all $i$, $n_i \geq i$, $k_i/n_i \geq \varepsilon$, and $d_i/n_i \geq \varepsilon$. Sequences of asymptotically good codes exist. We prove that if $\mathcal{C}$ is a class of GF$(p^n)$-linear codes (where $p$ is prime and $n \geq 1$), closed under puncturing and shortening, and if $\mathcal{C}$ contains an asymptotically good sequence, then $\mathcal{C}$ must contain all GF$(p)$-linear codes. Our proof relies on a powerful new result from matroid structure theory. △ Less

Submitted 30 April, 2014; originally announced April 2014.

Matroids representable over fields with a common subfield

Authors: Peter Nelson, Stefan H. M. van Zwam

Abstract: A matroid is $\text{GF}(q)$-regular if it is representable over all proper superfields of the field $\text{GF}(q)$. We show that, for highly connected matroids having a large projective geometry over $\text{GF}(q)$ as a minor, the property of $\text{GF}(q)$-regularity is equivalent to representability over both $\text{GF}(q^2)$ and $\text{GF}(q^t)$ for some odd integer $t \geq 3$. We do this by me… ▽ More A matroid is $\text{GF}(q)$-regular if it is representable over all proper superfields of the field $\text{GF}(q)$. We show that, for highly connected matroids having a large projective geometry over $\text{GF}(q)$ as a minor, the property of $\text{GF}(q)$-regularity is equivalent to representability over both $\text{GF}(q^2)$ and $\text{GF}(q^t)$ for some odd integer $t \geq 3$. We do this by means of an exact structural description of all such matroids. △ Less

Submitted 27 January, 2014; originally announced January 2014.

Comments: 21 pages

MSC Class: 05B35

Fan-extensions in fragile matroids

Authors: Carolyn Chun, Deborah Chun, Dillon Mayhew, Stefan H. M. van Zwam

Abstract: If S is a set of matroids, then the matroid M is S-fragile if, for every element e in E(M), either M\e or M/e has no minor isomorphic to a member of S. Excluded-minor characterizations often depend, implicitly or explicitly, on understanding classes of fragile matroids. In certain cases, when F is a minor-closed class of S-fragile matroids, and N is in F, the only members of F that contain N as a… ▽ More If S is a set of matroids, then the matroid M is S-fragile if, for every element e in E(M), either M\e or M/e has no minor isomorphic to a member of S. Excluded-minor characterizations often depend, implicitly or explicitly, on understanding classes of fragile matroids. In certain cases, when F is a minor-closed class of S-fragile matroids, and N is in F, the only members of F that contain N as a minor are obtained from N by increasing the length of fans. We prove that if this is the case, then we can certify it with a finite case-analysis. The analysis involves examining matroids that are at most two elements larger than N. △ Less

Submitted 29 April, 2015; v1 submitted 18 December, 2013; originally announced December 2013.

Comments: Small revisions and corrections

MSC Class: 05B35

Computer-verification of the structure of some classes of fragile matroids

Authors: Carolyn Chun, Deborah Chun, Benjamin Clark, Dillon Mayhew, Geoff Whittle, Stefan H. M. van Zwam

Abstract: This technical report accompanies the following three papers. It contains the computations necessary to verify some of the results claimed in those papers. [1] Carolyn Chun, Deborah Chun, Dillon Mayhew, and Stefan H. M. van Zwam. Fan-extensions in fragile matroids. In preparation. [2] Carolyn Chun, Dillon Mayhew, Geoff Whittle, and Stefan H. M. van Zwam. The structure of binary Fano-fragile matr… ▽ More This technical report accompanies the following three papers. It contains the computations necessary to verify some of the results claimed in those papers. [1] Carolyn Chun, Deborah Chun, Dillon Mayhew, and Stefan H. M. van Zwam. Fan-extensions in fragile matroids. In preparation. [2] Carolyn Chun, Dillon Mayhew, Geoff Whittle, and Stefan H. M. van Zwam. The structure of binary Fano-fragile matroids. In preparation. [3] Ben Clark, Dillon Mayhew, Geoff Whittle, and Stefan H. M. van Zwam. The structure of {U2,5, U3,5}-fragile matroids. In preparation. △ Less

Submitted 11 November, 2015; v1 submitted 5 December, 2013; originally announced December 2013.

Comments: 47 pages, contains Sage code and worksheet

MSC Class: 05B35; 05-04

On the relative importance of excluded minors

Authors: Rhiannon Hall, Dillon Mayhew, Stefan H. M. van Zwam

Abstract: If EE is a set of matroids, then ex(EE) denotes the set of matroids that have no minor isomorphic to a member of EE. If EE' is a subset of EE, we say that EE' is /superfluous/ if ex(EE - EE') - ex(EE) contains only finitely many 3-connected matroids. We characterize the superfluous subsets of six well-known collections of excluded minors. If EE is a set of matroids, then ex(EE) denotes the set of matroids that have no minor isomorphic to a member of EE. If EE' is a subset of EE, we say that EE' is /superfluous/ if ex(EE - EE') - ex(EE) contains only finitely many 3-connected matroids. We characterize the superfluous subsets of six well-known collections of excluded minors. △ Less

Submitted 31 October, 2011; originally announced October 2011.

Comments: 19 pages

MSC Class: 05B35

Matroid 3-connectivity and branch width

Authors: Jim Geelen, Stefan H. M. van Zwam

Abstract: We prove that, for each nonnegative integer k and each matroid N, if M is a 3-connected matroid containing N as a minor, and the the branch width of M is sufficiently large, then there is a k-element subset X of E(M) such that one of M\X and M/X is 3-connected and contains N as a minor. We prove that, for each nonnegative integer k and each matroid N, if M is a 3-connected matroid containing N as a minor, and the the branch width of M is sufficiently large, then there is a k-element subset X of E(M) such that one of M\X and M/X is 3-connected and contains N as a minor. △ Less

Submitted 10 December, 2014; v1 submitted 20 July, 2011; originally announced July 2011.

Comments: 21 pages

MSC Class: 05B35

Representing some non-representable matroids

Authors: R. A. Pendavingh, S. H. M. van Zwam

Abstract: We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such representations extends Tutte's definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte's representability criterion to this new class, and we study the generator matrices of the chain groups. An example shows… ▽ More We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such representations extends Tutte's definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte's representability criterion to this new class, and we study the generator matrices of the chain groups. An example shows that the class of matroids representable over a skew partial field properly contains the class of matroids representable over a skew field. Next, we show that every multilinear representation of a matroid can be seen as a representation over a skew partial field. Finally we study a class of matroids called quaternionic unimodular. We prove a generalization of the Matrix Tree theorem for this class. △ Less

Submitted 15 June, 2011; originally announced June 2011.

Comments: 29 pages, 2 figures

MSC Class: 05B35

Journal ref: Adv. in Appl. Math. 50 (2013), no. 1, 228-242

The structure of graphs with a vital linkage of order 2

Authors: Dillon Mayhew, Geoff Whittle, Stefan H. M. van Zwam

Abstract: A linkage of order k of a graph G is a subgraph with k components, each of which is a path. A linkage is vital if it spans all vertices, and no other linkage connects the same pairs of end vertices. We give a characterization of the graphs with a vital linkage of order 2: they are certain minors of a family of highly structured graphs. A linkage of order k of a graph G is a subgraph with k components, each of which is a path. A linkage is vital if it spans all vertices, and no other linkage connects the same pairs of end vertices. We give a characterization of the graphs with a vital linkage of order 2: they are certain minors of a family of highly structured graphs. △ Less

Submitted 18 July, 2011; v1 submitted 28 June, 2010; originally announced June 2010.

Comments: 6 pages, 4 figures

MSC Class: 05C75; 05C83

Stability, fragility, and Rota's Conjecture

Authors: Dillon Mayhew, Geoff Whittle, Stefan H. M. van Zwam

Abstract: Fix a matroid N. A matroid M is N-fragile if, for each element e of M, at least one of M\e and M/e has no N-minor. The Bounded Canopy Conjecture is that all GF(q)-representable matroids M that have an N-minor and are N-fragile have branch width bounded by a constant depending only on q and N. A matroid N stabilizes a class of matroids over a field F if, for every matroid M in the class with an N… ▽ More Fix a matroid N. A matroid M is N-fragile if, for each element e of M, at least one of M\e and M/e has no N-minor. The Bounded Canopy Conjecture is that all GF(q)-representable matroids M that have an N-minor and are N-fragile have branch width bounded by a constant depending only on q and N. A matroid N stabilizes a class of matroids over a field F if, for every matroid M in the class with an N-minor, every F-representation of N extends to at most one F-representation of M. We prove that, if Rota's conjecture is false for GF(q), then either the Bounded Canopy Conjecture is false for GF(q) or there is an infinite chain of GF(q)-representable matroids, each not stabilized by the previous, each of which can be extended to an excluded minor. Our result implies the previously known result that Rota's conjecture holds for GF(4), and that the classes of near-regular and sixth-roots-of-unity have a finite number of excluded minors. However, the bound that we obtain on the size of such excluded minors is considerably larger than that obtained in previous proofs. For GF(5) we show that Rota's Conjecture reduces to the Bounded Canopy Conjecture. △ Less

Submitted 1 August, 2011; v1 submitted 7 June, 2010; originally announced June 2010.

Comments: 32 pages

MSC Class: 05B35

The Hydra-k partial fields

Authors: R. A. Pendavingh, S. H. M. van Zwam

Abstract: In the paper "Confinement of matroid representations to subsets of partial fields" (arXiv:0806.4487) we introduced the Hydra-k partial fields to study quinary matroids with inequivalent representations. The proofs of some results on these partial fields require extensive computations. This paper contains these computations, implemented in Mathematica. In the paper "Confinement of matroid representations to subsets of partial fields" (arXiv:0806.4487) we introduced the Hydra-k partial fields to study quinary matroids with inequivalent representations. The proofs of some results on these partial fields require extensive computations. This paper contains these computations, implemented in Mathematica. △ Less

Submitted 8 March, 2010; originally announced March 2010.

Comments: Download the source .nb file from http://www.win.tue.nl/~rudi/hydra-k.nb

MSC Class: 05B35

An obstacle to a decomposition theorem for near-regular matroids

Authors: Dillon Mayhew, Geoff Whittle, Stefan H. M. van Zwam

Abstract: Seymour's Decomposition Theorem for regular matroids states that any matroid representable over both GF(2) and GF(3) can be obtained from matroids that are graphic, cographic, or isomorphic to R10 by 1-, 2-, and 3-sums. It is hoped that similar characterizations hold for other classes of matroids, notably for the class of near-regular matroids. Suppose that all near-regular matroids can be obtaine… ▽ More Seymour's Decomposition Theorem for regular matroids states that any matroid representable over both GF(2) and GF(3) can be obtained from matroids that are graphic, cographic, or isomorphic to R10 by 1-, 2-, and 3-sums. It is hoped that similar characterizations hold for other classes of matroids, notably for the class of near-regular matroids. Suppose that all near-regular matroids can be obtained from matroids that belong to a few basic classes through k-sums. Also suppose that these basic classes are such that, whenever a class contains all graphic matroids, it does not contain all cographic matroids. We show that in that case 3-sums will not suffice. △ Less

Submitted 13 January, 2011; v1 submitted 20 May, 2009; originally announced May 2009.

Comments: 11 pages, 1 figure

MSC Class: 05B35

The excluded minors for near-regular matroids

Authors: Rhiannon Hall, Dillon Mayhew, Stefan H. M. van Zwam

Abstract: In unpublished work, Geelen proved that a matroid is near-regular if and only if it has no minor isomorphic to: U2,5; U3,5; the Fano plane and its dual; the non-Fano and its dual; the single-element deletion of AG(2,3), its dual, and the matroid obtained from it with a Delta-Y operation; and P8. We provide a proof of this characterization. In unpublished work, Geelen proved that a matroid is near-regular if and only if it has no minor isomorphic to: U2,5; U3,5; the Fano plane and its dual; the non-Fano and its dual; the single-element deletion of AG(2,3), its dual, and the matroid obtained from it with a Delta-Y operation; and P8. We provide a proof of this characterization. △ Less

Submitted 11 July, 2009; v1 submitted 12 February, 2009; originally announced February 2009.

Comments: 42 pages and 3 figures. This final version contains some small changes for publication

MSC Class: 05B35

Confinement of matroid representations to subsets of partial fields

Authors: R. A. Pendavingh, S. H. M. van Zwam

Abstract: Let M be a matroid representable over a (partial) field P and B a matrix representable over a sub-partial field P' of P. We say that B confines M to P' if, whenever a P-representation matrix A of M has a submatrix B, A is a scaled P'-matrix. We show that, under some conditions on the partial fields, on M, and on B, verifying whether B confines M to P' amounts to a finite check. A corollary of th… ▽ More Let M be a matroid representable over a (partial) field P and B a matrix representable over a sub-partial field P' of P. We say that B confines M to P' if, whenever a P-representation matrix A of M has a submatrix B, A is a scaled P'-matrix. We show that, under some conditions on the partial fields, on M, and on B, verifying whether B confines M to P' amounts to a finite check. A corollary of this result is Whittle's Stabilizer Theorem. A combination of the Confinement Theorem and the Lift Theorem from arXiv:0804.3263 leads to a short proof of Whittle's characterization of the matroids representable over GF(3) and other fields. We also use a combination of the Confinement Theorem and the Lift Theorem to prove a characterization, in terms of representability over partial fields, of the 3-connected matroids that have k inequivalent representations over GF(5), for k = 1, ..., 6. Additionally we give, for a fixed matroid M, an algebraic construction of a partial field P_M and a representation A over P_M such that every representation of M over a partial field P is equal to f(A) for some homomorphism f:P_M->P. Using the Confinement Theorem we prove an algebraic analog of the theory of free expansions by Geelen et al. △ Less

Submitted 9 March, 2010; v1 submitted 27 June, 2008; originally announced June 2008.

Comments: 45 pages

MSC Class: 05B35 (primary); 51E20 (secondary)

Journal ref: Journal of Combinatorial Theory, Series B, vol. 100, Issue 6, pp. 510-545, 2010

Lifts of matroid representations over partial fields

Authors: R. A. Pendavingh, S. H. M. van Zwam

Abstract: There exist several theorems which state that when a matroid is representable over distinct fields F_1,...,F_k, it is also representable over other fields. We prove a theorem, the Lift Theorem, that implies many of these results. First, parts of Whittle's characterization of representations of ternary matroids follow from our theorem. Second, we prove the following theorem by Vertigan: if a ma… ▽ More There exist several theorems which state that when a matroid is representable over distinct fields F_1,...,F_k, it is also representable over other fields. We prove a theorem, the Lift Theorem, that implies many of these results. First, parts of Whittle's characterization of representations of ternary matroids follow from our theorem. Second, we prove the following theorem by Vertigan: if a matroid is representable over both GF(4) and GF(5), then it is representable over the real numbers by a matrix such that the absolute value of the determinant of every nonsingular square submatrix is a power of the golden ratio. Third, we give a characterization of the 3-connected matroids having at least two inequivalent representations over GF(5). We show that these are representable over the complex numbers. Additionally we provide an algebraic construction that, for any set of fields F_1,...,F_k, gives the best possible result that can be proven using the Lift Theorem. △ Less

Submitted 12 March, 2009; v1 submitted 21 April, 2008; originally announced April 2008.

Comments: 41 pages, 1 figure. Contains minor revisions, the most substantial being a new Section 4.1 that shows how Tutte's characterization of regular matroids follows from our theorem, a new proof of Theorem 5.1 (a partial field can be embedded in a ring), and a new appendix listing partial fields. Submitted to Journal of Combinatorial Theory, Series B

MSC Class: 05B35

Journal ref: Journal of Combinatorial Theory, Series B, vol. 100, Issue 1, pp. 36-67, 2010