scholarly journals The Active Bijection between Regions and Simplices in Supersolvable Arrangements of Hyperplanes

10.37236/1887 ◽  
2006 ◽  
Vol 11 (2) ◽  
Author(s):  
Emeric Gioan ◽  
Michel Las Vergnas

Comparing two expressions of the Tutte polynomial of an ordered oriented matroid yields a remarkable numerical relation between the numbers of reorientations and bases with given activities. A natural activity preserving reorientation-to-basis mapping compatible with this relation is described in a series of papers by the present authors. This mapping, equivalent to a bijection between regions and no broken circuit subsets, provides a bijective version of several enumerative results due to Stanley, Winder, Zaslavsky, and Las Vergnas, expressing the number of acyclic orientations in graphs, or the number of regions in real arrangements of hyperplanes or pseudohyperplanes (i.e. oriented matroids), as evaluations of the Tutte polynomial. In the present paper, we consider in detail the supersolvable case – a notion introduced by Stanley – in the context of arrangements of hyperplanes. For linear orderings compatible with the supersolvable structure, special properties are available, yielding constructions significantly simpler than those in the general case. As an application, we completely carry out the computation of the active bijection for the Coxeter arrangements $A_n$ and $B_n$. It turns out that in both cases the active bijection is closely related to a classical bijection between permutations and increasing trees.

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Suho Oh ◽  
Hwanchul Yoo

International audience Develin and Sturmfels showed that regular triangulations of $\Delta_{n-1} \times \Delta_{d-1}$ can be thought of as tropical polytopes. Tropical oriented matroids were defined by Ardila and Develin, and were conjectured to be in bijection with all subdivisions of $\Delta_{n-1} \times \Delta_{d-1}$. In this paper, we show that any triangulation of $\Delta_{n-1} \times \Delta_{d-1}$ encodes a tropical oriented matroid. We also suggest a new class of combinatorial objects that may describe all subdivisions of a bigger class of polytopes. Develin et Sturmfels ont montré que les triangulations de $\Delta_{n-1} \times \Delta_{d-1}$ peuvent être considérées comme des polytopes tropicaux. Les matroïdes orientés tropicaux ont été définis par Ardila et Develin, et ils ont été conjecturés être en bijection avec les subdivisions de $\Delta_{n-1} \times \Delta_{d-1}$. Dans cet article, nous montrons que toute triangulation de $\Delta_{n-1} \times \Delta_{d-1}$ encode un matroïde orienté tropical. De plus, nous proposons une nouvelle classe d'objets combinatoires qui peuvent décrire toutes les subdivisions d'une plus grande classe de polytopes.


10.37236/25 ◽  
2002 ◽  
Vol 1000 ◽  
Author(s):  
Günter M. Ziegler

This dynamic survey offers an “entry point” for current research in oriented matroids. For this, it provides updates on the 1993 monograph “Oriented Matroids” by Bjö̈rner, Las Vergnas, Sturmfels, White & Ziegler [85], in three parts: 1. a sketch of a few “Frontiers of Research” in oriented matroid theory, 2. an update of corrections, comments and progress as compared to [85], and 3. an extensive, complete and up-to-date bibliography of oriented matroids, comprising and extending the bibliography of [85].


10.37236/1697 ◽  
2003 ◽  
Vol 10 (1) ◽  
Author(s):  
N. Calkin ◽  
C. Merino ◽  
S. Noble ◽  
M. Noy

In a recent paper Merino and Welsh (1999) studied several counting problems on the square lattice $L_n$. There the authors gave the following bounds for the asymptotics of $f(n)$, the number of forests of $L_n$, and $\alpha(n)$, the number of acyclic orientations of $L_n$: $$3.209912 \le \lim_{n\to\infty} f(n)^{1/n^2} \le 3.84161$$ and $$22/7 \le \lim_{n\to\infty} \alpha(n)^{1/n^2} \le 3.70925.$$ In this paper we improve these bounds as follows: $$3.64497 \le \lim_{n\to\infty} f(n)^{1/n^2} \le 3.74101$$ and $$3.41358 \le \lim_{n\to\infty} \alpha(n)^{1/n^2} \le 3.55449.$$ We obtain this by developing a method for computing the Tutte polynomial of the square lattice and other related graphs based on transfer matrices.


10.37236/1455 ◽  
1999 ◽  
Vol 6 (1) ◽  
Author(s):  
Matt Scobee

A rational matrix is totally dyadic if all of its nonzero subdeterminants are in $\{\pm 2^k\ :\ k \in {\bf Z}\}$. An oriented matriod is dyadic if it has a totally dyadic representation $A$. A dyadic oriented matriod is dyadic of order $k$ if it has a totally dyadic representation $A$ with full row rank and with the property that for each pair of adjacent bases $A_1$ and $A_2$ $$2^{-k} \le \left| { {\det(A_1)} \over {\det(A_2)}}\right|\le 2^k.$$ In this note we present a counterexample to a conjecture on the relationship between the order of a dyadic oriented matroid and the ratio of agreement to disagreement in sign of its signed circuits and cocircuits (Conjecture 5.2, Lee (1990)).


10.37236/7582 ◽  
2020 ◽  
Vol 27 (3) ◽  
Author(s):  
Bryan R. Gillespie

In 1980, Las Vergnas defined a notion of discrete convexity for oriented matroids, which Edelman subsequently related to the theory of anti-exchange closure functions and convex geometries. In this paper, we use generalized matroid activity to construct a convex geometry associated with an ordered, unoriented matroid. The construction in particular yields a new type of representability for an ordered matroid defined by the affine representability of its corresponding convex geometry. The lattice of convex sets of this convex geometry induces an ordering on the matroid independent sets which extends the external active order on matroid bases. We show that this generalized external order forms a supersolvable meet-distributive lattice refining the geometric lattice of flats, and we uniquely characterize the lattices isomorphic to the external order of a matroid. Finally, we introduce a new trivariate generating function generalizing the matroid Tutte polynomial.


1990 ◽  
Vol 42 (1) ◽  
pp. 62-79 ◽  
Author(s):  
Margaret Bayer ◽  
Bernd Sturmfels

In 1980 Jim Lawrence suggested a construction Λ which assigns to a given rank r oriented matroid M on n points a rank n + r oriented matroid Λ(M) on 2n points such that the face lattice of Λ(M) is polytopal if and only if M is realizable. The Λ-construction generalized a technique used by Perles to construct a nonrational polytope [10]. It was used by Lawrence to prove that the class of polytopal lattices is strictly contained in the class of face lattices of oriented matroids (unpublished) and by Billera and Munson to show that the latter class is not closed under polarity. See [4] for a discussion of this construction and both of these applications.


2020 ◽  
Vol 12 (02) ◽  
pp. 2050017
Author(s):  
Hery Randriamaro

The Tutte polynomial was originally a bivariate polynomial enumerating the colorings of a graph and of its dual graph. But it reveals more of the internal structure of the graph like its number of forests, of spanning subgraphs, and of acyclic orientations. In 2007, Ardila extended the notion of Tutte polynomial to hyperplane arrangements, and computed the Tutte polynomials of the classical root systems for certain prime powers of the first variable at the same time. In this paper, we compute the Tutte polynomial of ideal arrangements. These arrangements were introduced in 2006 by Sommers and Tymoczko, and are defined for ideals of root systems. For the ideals of classical root systems, we bring a slight improvement of the finite field method by showing that it can applied on any finite field whose cardinality is not a minor of the matrix associated to the studied hyperplane arrangement. Computing the minor set associated to an ideal of classical root systems particularly permits us to deduce the Tutte polynomials of the classical root systems. For the ideals of the exceptional root systems of type [Formula: see text], [Formula: see text], and [Formula: see text], we use the formula of Crapo.


2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Cesar Ceballos ◽  
Arnau Padrol ◽  
Camilo Sarmiento

International audience We introduce the Dyck path triangulation of the cartesian product of two simplices $\Delta_{n-1}\times\Delta_{n-1}$. The maximal simplices of this triangulation are given by Dyck paths, and its construction naturally generalizes to produce triangulations of $\Delta_{r\ n-1}\times\Delta_{n-1}$ using rational Dyck paths. Our study of the Dyck path triangulation is motivated by extendability problems of partial triangulations of products of two simplices. We show that whenever$m\geq k>n$, any triangulations of $\Delta_{m-1}^{(k-1)}\times\Delta_{n-1}$ extends to a unique triangulation of $\Delta_{m-1}\times\Delta_{n-1}$. Moreover, with an explicit construction, we prove that the bound $k>n$ is optimal. We also exhibit interpretations of our results in the language of tropical oriented matroids, which are analogous to classical results in oriented matroid theory. Nous introduisons la triangulation par chemins de Dyck du produit cartésien de deux simplexes $\Delta_{n-1}\times\Delta_{n-1}$. Les simplexes maximaux de cette triangulation sont donnés par des chemins de Dyck, et cette construction se généralise de façon naturelle pour produire des triangulations $\Delta_{r\ n-1}\times\Delta_{n-1}$ qui utilisent des chemins de Dyck rationnels. Notre étude de la triangulation par chemins de Dyck est motivée par des problèmes de prolongement de triangulations partielles de produits de deux simplexes. On montre que $m\geq k>n$ alors toute triangulation de $\Delta_{m-1}^{(k-1)}\times\Delta_{n-1}$ se prolonge en une unique triangulation de $\Delta_{m-1}\times\Delta_{n-1}$. De plus, avec une construction explicite, nous montrons que la borne $k>n$ est optimale. Nous présentons aussi des interprétations de nos résultats dans le langage des matroïdes orientés tropicaux, qui sont analogues aux résultats classiques de la théorie des matroïdes orientés.


2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Federico Ardila ◽  
Felipe Rincón ◽  
Lauren Williams

International audience We investigate the role that non-crossing partitions play in the study of positroids, a class of matroids introduced by Postnikov. We prove that every positroid can be constructed uniquely by choosing a non-crossing partition on the ground set, and then freely placing the structure of a connected positroid on each of the blocks of the partition. We use this to enumerate connected positroids, and we prove that the probability that a positroid on [n] is connected equals $1/e^2$ asymptotically. We also prove da Silva's 1987 conjecture that any positively oriented matroid is a positroid; that is, it can be realized by a set of vectors in a real vector space. It follows from this result that the positive matroid Grassmannian (or <i>positive MacPhersonian</i>) is homeomorphic to a closed ball.


2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Silke Horn

International audience Tropical oriented matroids were defined by Ardila and Develin in 2007. They are a tropical analogue of classical oriented matroids in the sense that they encode the properties of the types of points in an arrangement of tropical hyperplanes – in much the same way as the covectors of (classical) oriented matroids describe the types in arrangements of linear hyperplanes. Not every oriented matroid can be realised by an arrangement of linear hyperplanes though. The famous Topological Representation Theorem by Folkman and Lawrence, however, states that every oriented matroid can be represented as an arrangement of $\textit{pseudo}$hyperplanes. Ardila and Develin proved that tropical oriented matroids can be represented as mixed subdivisions of dilated simplices. In this paper I prove that this correspondence is a bijection. Moreover, I present a tropical analogue for the Topological Representation Theorem. La notion de matroïde orientè tropical a été introduite par Ardila et Develin en 2007. Ils sont un analogue des matroïdes orientés classiques dans le sens où ils codent les propriétés des types de points dans un arrangement d'hyperplans tropicaux – d'une manière très similaire à celle dont les covecteurs des matroïdes orientés (classiques) décrivent les types de points dans les arrangements d'hyperplans linéaires. Tous les matroïdes orientés ne peuvent pas être représentés par un arrangement d'hyperplans linéaires. Cependant le célèbre théorème de représentation topologique de Folkman et Lawrence affirme que tout matroïde orientè peut être représenté par un arrangement de $\textit{pseudo}$-hyperplans. Ardila et Develin ont prouvè que les matroïdes orientés tropicaux peuvent être représentés par des sous-divisions mixtes de simplexes dilatés. Je prouve dans cet article que cette correspondance est une bijection. Je présente en outre, un analogue tropical du théorème de représentation topologique.


Sign in / Sign up

Export Citation Format

Share Document