Showing 1–10 of 10 results for author: Pendavingh, R A

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.

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

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

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