Showing 1–27 of 27 results for author: Pendavingh, R

Scheduling jobs that change over time

Authors: Roel Lambers, Rudi Pendavingh, Frits Spieksma, Céline M. F. Swennenhuis

Abstract: We consider a 1-machine scheduling problem where the temperature of a job rises during processing, and cools down when not being processed according to given linear heating and cooling rates. No job's temperature is allowed to rise above a given threshold, and no job's temperature can cool below 0. Another crucial property of our problem is that jobs can be preempted an arbitrary number of times,… ▽ More We consider a 1-machine scheduling problem where the temperature of a job rises during processing, and cools down when not being processed according to given linear heating and cooling rates. No job's temperature is allowed to rise above a given threshold, and no job's temperature can cool below 0. Another crucial property of our problem is that jobs can be preempted an arbitrary number of times, and even more, we allow that a job is processed for an infinitely small amount of time. We consider two objectives: minimize the makespan, and minimize the sum of completion times. Our results are as follows. We show how to compactly represent a solution. Further, we prove that the problem of minimizing the sum of completion times can be solved in polynomial time by formulating it as a linear program, and deriving a structural property. This result can be extended to hold for any number of machines. Further, we show that a minimum makespan can be found in $O(n)$ time, even when heating and cooling rates are job-dependent. △ Less

Submitted 15 December, 2023; originally announced December 2023.

The amoeba dimension of a linear space

Authors: Jan Draisma, Sarah Eggleston, Rudi Pendavingh, Johannes Rau, Chi Ho Yuen

Abstract: Given a complex vector subspace $V$ of $\mathbb{C}^n$, the dimension of the amoeba of $V \cap (\mathbb{C}^*)^n$ depends only on the matroid that $V$ defines on the ground set $\{1,\ldots,n\}$. Here we prove that this dimension is given by the minimum of a certain function over all partitions of the ground set, as previously conjectured by Rau. We also prove that this formula can be evaluated in po… ▽ More Given a complex vector subspace $V$ of $\mathbb{C}^n$, the dimension of the amoeba of $V \cap (\mathbb{C}^*)^n$ depends only on the matroid that $V$ defines on the ground set $\{1,\ldots,n\}$. Here we prove that this dimension is given by the minimum of a certain function over all partitions of the ground set, as previously conjectured by Rau. We also prove that this formula can be evaluated in polynomial time. △ Less

Submitted 21 November, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

A linear bound for the Colin de Verdière parameter $μ$ for graphs embedded on surfaces

Authors: Camille Lanuel, Francis Lazarus, Rudi Pendavingh

Abstract: We provide a combinatorial and self-contained proof that for all graphs $G$ embedded on a surface $S$, the Colin de Verdière parameter $μ(G)$ is upper bounded by $7-2χ(S)$. We provide a combinatorial and self-contained proof that for all graphs $G$ embedded on a surface $S$, the Colin de Verdière parameter $μ(G)$ is upper bounded by $7-2χ(S)$. △ Less

Submitted 17 March, 2023; v1 submitted 1 March, 2023; originally announced March 2023.

Computing excluded minors for classes of matroids representable over partial fields

Authors: Nick Brettell, Rudi Pendavingh

Abstract: We describe an implementation of a computer search for the "small" excluded minors for a class of matroids representable over a partial field. Using these techniques, we enumerate the excluded minors on at most 15 elements for both the class of dyadic matroids, and the class of 2-regular matroids. We conjecture that there are no other excluded minors for the class of 2-regular matroids; whereas, o… ▽ More We describe an implementation of a computer search for the "small" excluded minors for a class of matroids representable over a partial field. Using these techniques, we enumerate the excluded minors on at most 15 elements for both the class of dyadic matroids, and the class of 2-regular matroids. We conjecture that there are no other excluded minors for the class of 2-regular matroids; whereas, on the other hand, we show that there is a 16-element excluded minor for the class of dyadic matroids. △ Less

Submitted 25 February, 2023; originally announced February 2023.

Comments: 20 pages, 3 figures

How to Design a Stable Serial Knockout Competition

Authors: Frits Spieksma, Rudi Pendavingh, Roel Lambers

Abstract: We investigate a new tournament format that consists of a series of individual knockout tournaments; we call this new format a Serial Knockout Competition (SKC). This format has recently been adopted by the Professional Darts Corporation. Depending on the seedings of the players used for each of the knockout tournaments, players can meet in the various rounds (eg first round, second round, ..., se… ▽ More We investigate a new tournament format that consists of a series of individual knockout tournaments; we call this new format a Serial Knockout Competition (SKC). This format has recently been adopted by the Professional Darts Corporation. Depending on the seedings of the players used for each of the knockout tournaments, players can meet in the various rounds (eg first round, second round, ..., semi-final, final) of the knockout tournaments. Following a fairness principle of treating all players equal, we identify an attractive property of an SKC: each pair of players should potentially meet equally often in each of the rounds of the SKC. If the seedings are such that this property is indeed present, we call the resulting SKC stable. In this note we formalize this notion, and we address the question: do there exist seedings for each of the knockout tournaments such that the resulting SKC is stable? We show, using a connection to the Fano plane, that the answer is yes for 8 players. We show how to generalize this to any number of players that is a power of 2, and we provide stable schedules for competitions on 16 and 32 players △ Less

Submitted 4 November, 2022; originally announced November 2022.

Von Staudt Constructions for Skew-Linear and Multilinear Matroids

Authors: Lukas Kühne, Rudi Pendavingh, Geva Yashfe

Abstract: This paper compares skew-linear and multilinear matroid representations. These are matroids that are representable over division rings and (roughly speaking) invertible matrices, respectively. The main tool is the von Staudt construction, by which we translate our problems to algebra. After giving an exposition of a simple variant of the von Staudt construction we present the following results:… ▽ More This paper compares skew-linear and multilinear matroid representations. These are matroids that are representable over division rings and (roughly speaking) invertible matrices, respectively. The main tool is the von Staudt construction, by which we translate our problems to algebra. After giving an exposition of a simple variant of the von Staudt construction we present the following results: $\bullet$ Undecidability of several matroid representation problems over division rings. $\bullet$ An example of a matroid with an infinite multilinear characteristic set, but which is not multilinear in characteristic $0$. $\bullet$ An example of a skew-linear matroid that is not multilinear. △ Less

Submitted 14 December, 2020; originally announced December 2020.

Comments: 20 pages, 5 figures. Comments are welcome

MSC Class: 05B35; 52B40; 14N20; 52C35; 20F10; 03D40

Filling a theatre in times of corona

Authors: Danny Blom, Rudi Pendavingh, Frits C. R. Spieksma

Abstract: In this paper, we introduce an optimization problem posed by the Music Building Eindhoven (MBE) to deal with the economical consequences of the COVID-19 pandemic for theatre halls. We propose a model for maximizing the number of guests in a theatre hall that respects social distancing rules, and is based on trapezoid packings. Computational results show that up to 40% of the normal capacity can be… ▽ More In this paper, we introduce an optimization problem posed by the Music Building Eindhoven (MBE) to deal with the economical consequences of the COVID-19 pandemic for theatre halls. We propose a model for maximizing the number of guests in a theatre hall that respects social distancing rules, and is based on trapezoid packings. Computational results show that up to 40% of the normal capacity can be used for a single show setting, and up to 70% in case artists opt for two consecutive performances per evening. △ Less

Submitted 30 September, 2020; originally announced October 2020.

Comments: 24 pages, 6 figures, submitted to INFORMS Journal on Applied Analytics

Perfect matroids over hyperfields

Authors: Nathan Bowler, Rudi Pendavingh

Abstract: We investigate valuated matroids with an additional algebraic structure on their residue matroids. We encode the structure in terms of representability over stringent hyperfields. A hyperfield $H$ is {\em stringent} if $a\boxplus b$ is a singleton unless $a=-b$, for all $a,b\in H$. By a construction of Marc Krasner, each valued field gives rise to a stringent hyperfield. We show that if $H$ is… ▽ More We investigate valuated matroids with an additional algebraic structure on their residue matroids. We encode the structure in terms of representability over stringent hyperfields. A hyperfield $H$ is {\em stringent} if $a\boxplus b$ is a singleton unless $a=-b$, for all $a,b\in H$. By a construction of Marc Krasner, each valued field gives rise to a stringent hyperfield. We show that if $H$ is a stringent skew hyperfield, then the vectors of any weak matroid over $H$ are orthogonal to its covectors, and we deduce that weak matroids over $H$ are strong matroids over $H$. Also, we present vector axioms for matroids over stringent skew hyperfields which generalize the vector axioms for oriented matroids and valuated matroids. △ Less

Submitted 14 March, 2023; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: 19 pages

MSC Class: 05B35; 52C40

The number of partial Steiner systems and $d$-partitions

Authors: Remco van der Hofstad, Rudi Pendavingh, Jorn van der Pol

Abstract: We prove asymptotic upper bounds on the number of $d$-partitions (paving matroids of fixed rank) and partial Steiner systems (sparse paving matroids of fixed rank), using a mixture of entropy counting, sparse encoding, and the probabilistic method. We prove asymptotic upper bounds on the number of $d$-partitions (paving matroids of fixed rank) and partial Steiner systems (sparse paving matroids of fixed rank), using a mixture of entropy counting, sparse encoding, and the probabilistic method. △ Less

Submitted 17 February, 2022; v1 submitted 28 November, 2018; originally announced November 2018.

Comments: Journal version; article is now published in Advances in Combinatorics

MSC Class: 05B35; 05A16; 05B07

Journal ref: Advances in Combinatorics, 2022:2, 23pp

Field extensions, Derivations, and Matroids over Skew Hyperfields

Authors: Rudi Pendavingh

Abstract: We show that a field extension $K\subseteq L$ in positive characteristic $p$ and elements $x_e\in L$ for $e\in E$ gives rise to a matroid $M^σ$ on ground set $E$ with coefficients in a certain skew hyperfield $L^σ$. This skew hyperfield $L^σ$ is defined in terms of $L$ and its Frobenius action $σ:x\mapsto x^p$. The matroid underlying $M^σ$ describes the algebraic dependencies over $K$ among the… ▽ More We show that a field extension $K\subseteq L$ in positive characteristic $p$ and elements $x_e\in L$ for $e\in E$ gives rise to a matroid $M^σ$ on ground set $E$ with coefficients in a certain skew hyperfield $L^σ$. This skew hyperfield $L^σ$ is defined in terms of $L$ and its Frobenius action $σ:x\mapsto x^p$. The matroid underlying $M^σ$ describes the algebraic dependencies over $K$ among the $x_e\in L$ , and $M^σ$ itself comprises, for each $m\in \mathbb{Z}^E$, the space of $K$-derivations of $K\left(x_e^{p^{m_e}}: e\in E\right)$. The theory of matroid representation over hyperfields was developed by Baker and Bowler for commutative hyperfields. We partially extend their theory to skew hyperfields. To prove the duality theorems we need, we use a new axiom scheme in terms of quasi-Plücker coordinates. △ Less

Submitted 20 April, 2018; v1 submitted 7 February, 2018; originally announced February 2018.

Comments: Changed the signing convention for coordinates to better conform to existing concepts in the literature (Tutte group, quasi-determinants)

MSC Class: 05B35; 12F99; 14T99

Algebraic matroids and Frobenius flocks

Authors: Guus Bollen, Jan Draisma, Rudi Pendavingh

Abstract: We show that each algebraic representation of a matroid $M$ in positive characteristic determines a matroid valuation of $M$, which we have named the {\em Lindström valuation}. If this valuation is trivial, then a linear representation of $M$ in characteristic $p$ can be derived from the algebraic representation. Thus, so-called rigid matroids, which only admit trivial valuations, are algebraic in… ▽ More We show that each algebraic representation of a matroid $M$ in positive characteristic determines a matroid valuation of $M$, which we have named the {\em Lindström valuation}. If this valuation is trivial, then a linear representation of $M$ in characteristic $p$ can be derived from the algebraic representation. Thus, so-called rigid matroids, which only admit trivial valuations, are algebraic in positive characteristic $p$ if and only if they are linear in characteristic $p$. To construct the Lindström valuation, we introduce new matroid representations called flocks, and show that each algebraic representation of a matroid induces flock representations. △ Less

Submitted 22 November, 2017; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: 21 pages, 1 figure

MSC Class: 05E40; 05B35

Journal ref: Advances in Mathematics, Volume 323, 7 January 2018, Pages 688-719

Asymptotics of Symmetry in Matroids

Authors: Rudi Pendavingh, Jorn van der Pol

Abstract: We prove that asymptotically almost all matroids have a trivial automorphism group, or an automorphism group generated by a single transposition. Additionally, we show that asymptotically almost all sparse paving matroids have a trivial automorphism group. We prove that asymptotically almost all matroids have a trivial automorphism group, or an automorphism group generated by a single transposition. Additionally, we show that asymptotically almost all sparse paving matroids have a trivial automorphism group. △ Less

Submitted 16 September, 2016; originally announced September 2016.

Comments: 10 pages

MSC Class: 05B35; 05A16

On the number of bases of almost all matroids

Authors: Rudi Pendavingh, Jorn van der Pol

Abstract: For a matroid $M$ of rank $r$ on $n$ elements, let $b(M)$ denote the fraction of bases of $M$ among the subsets of the ground set with cardinality $r$. We show that $$Ω(1/n)\leq 1-b(M)\leq O(\log(n)^3/n)\text{ as }n\rightarrow \infty$$ for asymptotically almost all matroids $M$ on $n$ elements. We derive that asymptotically almost all matroids on $n$ elements (1) have a $U_{k,2k}$-minor, whenever… ▽ More For a matroid $M$ of rank $r$ on $n$ elements, let $b(M)$ denote the fraction of bases of $M$ among the subsets of the ground set with cardinality $r$. We show that $$Ω(1/n)\leq 1-b(M)\leq O(\log(n)^3/n)\text{ as }n\rightarrow \infty$$ for asymptotically almost all matroids $M$ on $n$ elements. We derive that asymptotically almost all matroids on $n$ elements (1) have a $U_{k,2k}$-minor, whenever $k\leq O(\log(n))$, (2) have girth $\geq Ω(\log(n))$, (3) have Tutte connectivity $\geq Ω(\sqrt{\log(n)})$, and (4) do not arise as the truncation of another matroid. Our argument is based on a refined method for writing compressed descriptions of any given matroid, which allows bounding the number of matroids in a class relative to the number of sparse paving matroids. △ Less

Submitted 21 October, 2016; v1 submitted 15 February, 2016; originally announced February 2016.

Comments: 18 pages, 2 figures

MSC Class: 05B35; 05A16; 94A17

Precision and Sensitivity in Detailed-Balance Reaction Networks

Authors: Tom F. A. de Greef, Saeed Masroor, Mark A. Peletier, Rudi A. Pendavingh

Abstract: We study two specific measures of quality of chemical reaction networks, Precision and Sensitivity. The two measures arise in the study of sensory adaptation, in which the reaction network is viewed as an input-output system. Given a step change in input, Sensitivity is a measure of the magnitude of the response, while Precision is a measure of the degree to which the system returns to its origina… ▽ More We study two specific measures of quality of chemical reaction networks, Precision and Sensitivity. The two measures arise in the study of sensory adaptation, in which the reaction network is viewed as an input-output system. Given a step change in input, Sensitivity is a measure of the magnitude of the response, while Precision is a measure of the degree to which the system returns to its original output for large time. High values of both are necessary for high-quality adaptation. We focus on reaction networks without dissipation, which we interpret as detailed-balance, mass-action networks. We give various upper and lower bounds on the optimal values of Sensitivity and Precision, characterized in terms of the stoichiometry, by using a combination of ideas from matroid theory and differential-equation theory. Among other results, we show that this class of non-dissipative systems contains networks with arbitrarily high values of both Sensitivity and Precision. This good performance does come at a cost, however, since certain ratios of concentrations need to be large, the network has to be extensive, or the network should show strongly different time scales. △ Less

Submitted 1 January, 2016; originally announced January 2016.

Enumerating matroids of fixed rank

Authors: Rudi Pendavingh, Jorn van der Pol

Abstract: It has been conjectured that asymptotically almost all matroids are sparse paving, i.e. that $s(n) \sim m(n)$, where $m(n)$ denotes the number of matroids on a fixed groundset of size $n$, and $s(n)$ the number of sparse paving matroids. In an earlier paper, we showed that $\log s(n) \sim \log m(n)$. The bounds that we used for that result were dominated by matroids of rank $r\approx n/2$. In this… ▽ More It has been conjectured that asymptotically almost all matroids are sparse paving, i.e. that $s(n) \sim m(n)$, where $m(n)$ denotes the number of matroids on a fixed groundset of size $n$, and $s(n)$ the number of sparse paving matroids. In an earlier paper, we showed that $\log s(n) \sim \log m(n)$. The bounds that we used for that result were dominated by matroids of rank $r\approx n/2$. In this paper we consider the relation between the number of sparse paving matroids $s(n,r)$ and the number of matroids $m(n,r)$ on a fixed groundset of size $n$ of fixed rank $r$. In particular, we show that $\log s(n,r) \sim \log m(n,r)$ whenever $r\ge 3$, by giving asymptotically matching upper and lower bounds. Our upper bound on $m(n,r)$ relies heavily on the theory of matroid erections as developed by Crapo and Knuth, which we use to encode any matroid as a stack of paving matroids. Our best result is obtained by relating to this stack of paving matroids an antichain that completely determines the matroid. We also obtain that the collection of essential flats and their ranks gives a concise description of matroids. △ Less

Submitted 25 January, 2016; v1 submitted 21 December, 2015; originally announced December 2015.

Comments: 18 pages

MSC Class: 05B35; 05A16

On the number of matroids compared to the number of sparse paving matroids

Authors: Rudi Pendavingh, Jorn van der Pol

Abstract: It has been conjectured that sparse paving matroids will eventually predominate in any asymptotic enumeration of matroids, i.e. that $\lim_{n\rightarrow\infty} s_n/m_n = 1$, where $m_n$ denotes the number of matroids on $n$ elements, and $s_n$ the number of sparse paving matroids. In this paper, we show that $$\lim_{n\rightarrow \infty}\frac{\log s_n}{\log m_n}=1.$$ We prove this by arguing that e… ▽ More It has been conjectured that sparse paving matroids will eventually predominate in any asymptotic enumeration of matroids, i.e. that $\lim_{n\rightarrow\infty} s_n/m_n = 1$, where $m_n$ denotes the number of matroids on $n$ elements, and $s_n$ the number of sparse paving matroids. In this paper, we show that $$\lim_{n\rightarrow \infty}\frac{\log s_n}{\log m_n}=1.$$ We prove this by arguing that each matroid on $n$ elements has a faithful description consisting of a stable set of a Johnson graph together with a (by comparison) vanishing amount of other information, and using that stable sets in these Johnson graphs correspond one-to-one to sparse paving matroids on $n$ elements. As a consequence of our result, we find that for some $β> 0$, asymptotically almost all matroids on $n$ elements have rank in the range $n/2 \pm β\sqrt{n}$. △ Less

Submitted 10 December, 2014; v1 submitted 4 November, 2014; originally announced November 2014.

Comments: 12 pages, 2 figures

Reconstructing a phylogenetic level-1 network from quartets

Authors: J. C. M. Keijsper, R. A. Pendavingh

Abstract: We describe a method that will reconstruct an unrooted binary phylogenetic level-1 network on n taxa from the set of all quartets containing a certain fixed taxon, in O(n^3) time. We also present a more general method which can handle more diverse quartet data, but which takes O(n^6) time. Both methods proceed by solving a certain system of linear equations over GF(2). For a general dense quarte… ▽ More We describe a method that will reconstruct an unrooted binary phylogenetic level-1 network on n taxa from the set of all quartets containing a certain fixed taxon, in O(n^3) time. We also present a more general method which can handle more diverse quartet data, but which takes O(n^6) time. Both methods proceed by solving a certain system of linear equations over GF(2). For a general dense quartet set (containing at least one quartet on every four taxa) our O(n^6) algorithm constructs a phylogenetic level-1 network consistent with the quartet set if such a network exists and returns an (O(n^2) sized) certificate of inconsistency otherwise. This answers a question raised by Gambette, Berry and Paul regarding the complexity of reconstructing a level-1 network from a dense quartet set. △ Less

Submitted 23 August, 2013; originally announced August 2013.

MSC Class: 05C85 Graph algorithms

Counting matroids in minor-closed classes

Authors: R. A. Pendavingh, J. G. van der Pol

Abstract: A flat cover is a collection of flats identifying the non-bases of a matroid. We introduce the notion of cover complexity, the minimal size of such a flat cover, as a measure for the complexity of a matroid, and present bounds on the number of matroids on $n$ elements whose cover complexity is bounded. We apply cover complexity to show that the class of matroids without an $N$-minor is asymptotica… ▽ More A flat cover is a collection of flats identifying the non-bases of a matroid. We introduce the notion of cover complexity, the minimal size of such a flat cover, as a measure for the complexity of a matroid, and present bounds on the number of matroids on $n$ elements whose cover complexity is bounded. We apply cover complexity to show that the class of matroids without an $N$-minor is asymptotically small in case $N$ is one of the sparse paving matroids $U_{2,k}$, $U_{3,6}$, $P_6$, $Q_6$, or $R_6$, thus confirming a few special cases of a conjecture due to Mayhew, Newman, Welsh, and Whittle. On the other hand, we show a lower bound on the number of matroids without $M(K_4)$-minor which asymptoticaly matches the best known lower bound on the number of all matroids, due to Knuth. △ Less

Submitted 28 February, 2013; v1 submitted 6 February, 2013; originally announced February 2013.

Comments: 13 pages, 3 figures

An entropy argument for counting matroids

Authors: N. Bansal, R. A. Pendavingh, J. G. van der Pol

Abstract: We show how a direct application of Shearers' Lemma gives an almost optimum bound on the number of matroids on $n$ elements. We show how a direct application of Shearers' Lemma gives an almost optimum bound on the number of matroids on $n$ elements. △ Less

Submitted 24 October, 2012; originally announced October 2012.

Comments: Short note, 4 pages

On the number of matroids

Authors: N. Bansal, R. A. Pendavingh, J. G. van der Pol

Abstract: We consider the problem of determining $m_n$, the number of matroids on $n$ elements. The best known lower bound on $m_n$ is due to Knuth (1974) who showed that $\log \log m_n$ is at least $n-3/2\log n-1$. On the other hand, Piff (1973) showed that $\log\log m_n\leq n-\log n+\log\log n +O(1)$, and it has been conjectured since that the right answer is perhaps closer to Knuth's bound. We show tha… ▽ More We consider the problem of determining $m_n$, the number of matroids on $n$ elements. The best known lower bound on $m_n$ is due to Knuth (1974) who showed that $\log \log m_n$ is at least $n-3/2\log n-1$. On the other hand, Piff (1973) showed that $\log\log m_n\leq n-\log n+\log\log n +O(1)$, and it has been conjectured since that the right answer is perhaps closer to Knuth's bound. We show that this is indeed the case, and prove an upper bound on $\log\log m_n$ that is within an additive $1+o(1)$ term of Knuth's lower bound. Our proof is based on using some structural properties of non-bases in a matroid together with some properties of independent sets in the Johnson graph to give a compressed representation of matroids. △ Less

Submitted 24 September, 2013; v1 submitted 27 June, 2012; originally announced June 2012.

Comments: Final version, 17 pages

MSC Class: 05B35 matroids and geometric lattices; 05D40 probabilistic methods; 52C45 combinatorial complexity of geometrical structures

On the evaluation at (-i,i) of the Tutte polynomial of a binary matroid

Authors: Rudi Pendavingh

Abstract: Vertigan has shown that if $M$ is a binary matroid, then $|T_M(-ι,ι)|$, the modulus of the Tutte polynomial of $M$ as evaluated in $(-ι, ι)$, can be expressed in terms of the bicycle dimension of $M$. In this paper, we describe how the argument of the complex number $T_M(-ι,ι)$ depends on a certain $\zfour$-valued quadratic form that is canonically associated with $M$. We show how to evaluate… ▽ More Vertigan has shown that if $M$ is a binary matroid, then $|T_M(-ι,ι)|$, the modulus of the Tutte polynomial of $M$ as evaluated in $(-ι, ι)$, can be expressed in terms of the bicycle dimension of $M$. In this paper, we describe how the argument of the complex number $T_M(-ι,ι)$ depends on a certain $\zfour$-valued quadratic form that is canonically associated with $M$. We show how to evaluate $T_M(-ι,ι)$ in polynomial time, as well as the canonical tripartition of $M$ and further related invariants. △ Less

Submitted 27 March, 2013; v1 submitted 5 March, 2012; originally announced March 2012.

Comments: 10 pages

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

Relative rank axioms for infinite matroids

Authors: R. A. Pendavingh

Abstract: In a recent paper, Bruhn, Diestel, Kriesell and Wollan (arXiv:1003.3919) present four systems of axioms for infinite matroids, in terms of independent sets, bases, closure and circuits. No system of rank axioms is given. We give an easy example showing that rank function of an infinite matroid may not suffice to characterize it. We present a system of axioms in terms of relative rank. In a recent paper, Bruhn, Diestel, Kriesell and Wollan (arXiv:1003.3919) present four systems of axioms for infinite matroids, in terms of independent sets, bases, closure and circuits. No system of rank axioms is given. We give an easy example showing that rank function of an infinite matroid may not suffice to characterize it. We present a system of axioms in terms of relative rank. △ Less

Submitted 27 May, 2010; v1 submitted 1 April, 2010; originally announced April 2010.

Comments: The results in this paper have now been merged into arXiv:1003.3919

Axioms for infinite matroids

Authors: Henning Bruhn, Reinhard Diestel, Matthias Kriesell, Rudi Pendavingh, Paul Wollan

Abstract: We give axiomatic foundations for non-finitary infinite matroids with duality, in terms of independent sets, bases, circuits, closure and rank. This completes the solution to a problem of Rado of 1966. We give axiomatic foundations for non-finitary infinite matroids with duality, in terms of independent sets, bases, circuits, closure and rank. This completes the solution to a problem of Rado of 1966. △ Less

Submitted 23 February, 2013; v1 submitted 20 March, 2010; originally announced March 2010.

Comments: 33 pp., 2 figs

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

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