On perturbations of highly connected dyadic matroids

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.Comment: 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 file

Matroidal approaches to rough sets via closure operators

AbstractThis paper studies rough sets from the operator-oriented view by matroidal approaches. We firstly investigate some kinds of closure operators and conclude that the Pawlak upper approximation operator is just a topological and matroidal closure operator. Then we characterize the Pawlak upper approximation operator in terms of the closure operator in Pawlak matroids, which are first defined in this paper, and are generalized to fundamental matroids when partitions are generalized to coverings. A new covering-based rough set model is then proposed based on fundamental matroids and properties of this model are studied. Lastly, we refer to the abstract approximation space, whose original definition is modified to get a one-to-one correspondence between closure systems (operators) and concrete models of abstract approximation spaces. We finally examine the relations of four kinds of abstract approximation spaces, which correspond exactly to the relations of closure systems

Computation of elementary modes: a unifying framework and the new binary approach

BACKGROUND: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides a rigorous formalism to describe and assess pathways and has proven to be valuable for many applications. However, computing elementary modes is a hard computational task. In recent years we assisted in a multiplication of algorithms dedicated to it. We require a summarizing point of view and a continued improvement of the current methods. RESULTS: We show that computing the set of elementary modes is equivalent to computing the set of extreme rays of a convex cone. This standard mathematical representation provides a unified framework that encompasses the most prominent algorithmic methods that compute elementary modes and allows a clear comparison between them. Taking lessons from this benchmark, we here introduce a new method, the binary approach, which computes the elementary modes as binary patterns of participating reactions from which the respective stoichiometric coefficients can be computed in a post-processing step. We implemented the binary approach in FluxAnalyzer 5.1, a software that is free for academics. The binary approach decreases the memory demand up to 96% without loss of speed giving the most efficient method available for computing elementary modes to date. CONCLUSIONS: The equivalence between elementary modes and extreme ray computations offers opportunities for employing tools from polyhedral computation for metabolic pathway analysis. The new binary approach introduced herein was derived from this general theoretical framework and facilitates the computation of elementary modes in considerably larger networks

Graph Theory

Graph theory is a rapidly developing area of mathematics. Recent years have seen the development of deep theories, and the increasing importance of methods from other parts of mathematics. The workshop on Graph Theory brought together together a broad range of researchers to discuss some of the major new developments. There were three central themes, each of which has seen striking recent progress: the structure of graphs with forbidden subgraphs; graph minor theory; and applications of the entropy compression method. The workshop featured major talks on current work in these areas, as well as presentations of recent breakthroughs and connections to other areas. There was a particularly exciting selection of longer talks, including presentations on the structure of graphs with forbidden induced subgraphs, embedding simply connected 2-complexes in 3-space, and an announcement of the solution of the well-known Oberwolfach Problem

Tropical varieties, maps and gossip

Tropical geometry is a relatively new field of mathematics that studies the tropicalization map: a map that assigns a certain type of polyhedral complex, called a tropical variety, to an embedded algebraic variety. In a sense, it translates algebraic geometric statements into combinatorial ones. An interesting feature of tropical geometry is that there does not exist a good notion of morphism, or map, between tropical varieties that makes the tropicalization map functorial. The main part of this thesis studies maps between different classes of tropical varieties: tropical linear spaces and tropicalizations of embedded unirational varieties. The first chapter is a concise introduction to tropical geometry. It collects and proves the main theorems. None of these results are new. The second chapter deals with tropicalizations of embedded unirational varieties. We give sufficient conditions on such varieties for there to exist a (not necessarily injective) parametrization whose naive tropicalization is surjective onto the associated tropical variety. The third chapter gives an overview of the algebra related to tropical linear spaces. Where fields and vector spaces are the central objects in linear algebra, so are semifields and modules over semifields central to tropical linear algebra and the study of tropical linear spaces. Most results in this chapter are known in some form, but scattered among the available literature. The main purpose of this chapter is to collect these results and to determine the algebraic conditions that suffice to give linear algebra over the semifield a familiar feel. For example, under which conditions are varieties cut out by linear polynomials closed under addition and scalar multiplication? The fourth chapter comprises the biggest part of the thesis. The techniques used are a combination of tropical linear algebra and matroid theory. Central objects are the valuated matroids introduced by Andreas Dress and Walter Wenzl. Among other things the chapter contains a classification of functions on a tropical linear space whose cycles are tropical linear subspaces, extending an old result on elementary extensions of matroids by Henry Crapo. It uses Mikhalkin’s concept of a tropical modification to define the morphisms in a category whose objects are all tropical linear spaces. Finally, we determine the structure of an open submonoid of the morphisms from affine 2-space to itself as a polyhedral complex. Finally, the fifth and last chapter is only indirectly related to maps. It studies a certain monoid contained in the tropicalization of the orthogonal group: the monoid that is generated by the distance matrices under tropical matrix multiplication (i.e. where addition is replaced by minimum, and multiplication by addition). This monoid generalizes a monoid that underlies the well-known gossip problem, to a setting where information is transmitted only with a certain degree accuracy. We determine this so-called gossip monoid for matrices up to size 4, and prove that in general it is a polyhedral monoid of dimension equal to that of the orthogonal group

Templates for Representable Matroids

The matroid structure theory of Geelen, Gerards, and Whittle has led to a hypothesis that a highly connected member of a minor-closed class of matroids representable over a finite field is a mild modification (known as a perturbation) of a frame matroid, the dual of a frame matroid, or a matroid representable over a proper subfield. They introduced the notion of a template to describe these perturbations in more detail. In this dissertation, we determine these templates for various classes and use them to prove results about representability, extremal functions, and excluded minors. Chapter 1 gives a brief introduction to matroids and matroid structure theory. Chapters 2 and 3 analyze this hypothesis of Geelen, Gerards, and Whittle and propose some refined hypotheses. In Chapter 3, we define frame templates and discuss various notions of template equivalence. Chapter 4 gives some details on how templates relate to each other. We define a preorder on the set of frame templates over a finite field, and we determine the minimal nontrivial templates with respect to this preorder. We also study in significant depth a specific type of template that is pertinent to many applications. Chapters 5 and 6 apply the results of Chapters 3 and 4 to several subclasses of the binary matroids and the quaternary matroids---those matroids representable over the fields of two and four elements, respectively. Two of the classes we study in Chapter 5 are the even-cycle matroids and the even-cut matroids. Each of these classes has hundreds of excluded minors. We show that, for highly connected matroids, two or three excluded minors suffice. We also show that Seymour\u27s 1-Flowing Conjecture holds for sufficiently highly connected matroids. In Chapter 6, we completely characterize the highly connected members of the class of golden-mean matroids and several other closely related classes of quaternary matroids. This leads to a determination of the extremal functions for these classes, verifying a conjecture of Archer for matroids of sufficiently large rank

Geometry of Linear Subspace Arrangements with Connections to Matroid Theory

This dissertation is devoted to the study of the geometric properties of subspace configurations, with an emphasis on configurations of points. One distinguishing feature is the widespread use of techniques from Matroid Theory and Combinatorial Optimization. In part we generalize a theorem of Edmond\u27s about partitions of matroids in independent subsets. We then apply this to establish a conjectured bound on the Castelnuovo-Mumford regularity of a set of fat points. We then study how the dimension of an ideal of point changes when intersected with a generic fat subspace. In particular we introduce the concept of a ``very unexpected hypersurface\u27\u27 passing through a fixed set of points Z. We show in certain cases these can be characterized via combinatorial data and geometric data from the Hyperplane Arrangement dual to Z. This generalizes earlier results on unexpected curves in the plane due to Faenzi, Valles, Cook, Harbourne, Migliore and Nagel

Descending Price Optimally Coordinates Search

Investigating potential purchases is often a substantial investment under uncertainty. Standard market designs, such as simultaneous or English auctions, compound this with uncertainty about the price a bidder will have to pay in order to win. As a result they tend to confuse the process of search both by leading to wasteful information acquisition on goods that have already found a good purchaser and by discouraging needed investigations of objects, potentially eliminating all gains from trade. In contrast, we show that the Dutch auction preserves all of its properties from a standard setting without information costs because it guarantees, at the time of information acquisition, a price at which the good can be purchased. Calibrations to start-up acquisition and timber auctions suggest that in practice the social losses through poor search coordination in standard formats are an order of magnitude or two larger than the (negligible) inefficiencies arising from ex-ante bidder asymmetries.Comment: JEL Classification: D44, D47, D82, D83. 117 pages, of which 74 are appendi