Positroids are 3-colorable

Lamar Chidiac,Winfried Hochstättler

2024-04-03

Abstract:We show that every positroid of rank $r \geq 3$ has a good coline. Using the definition of the chromatic number of oriented matroid introduced by J.\ Nešetřil, R.\ Nickel, and W.~Hochstättler, this shows that every orientation of a positroid is 3-colorable.

Combinatorics

What problem does this paper attempt to address?

Ternary and quaternary positroids

Jeremy Quail

2024-07-12

Abstract:A positroid is an ordered matroid realizable by a real matrix with all nonnegative maximal minors. Postnikov gave a map from ordered matroids to Grassmann necklaces, for which there is a unique positroid in each fiber of the map. Here, we give forbidden minor characterizations of ternary and quaternary positroids. We show that a positroid is ternary if and only if it is near-regular, and that all ternary positroids are formed by direct sums and $2$-sums of binary positroids and positroid ordered whirls. We prove that a positroid is quaternary if and only if it is $U^2_6, U^4_6,$ and $P_6$-free. Under the map from ordered matroids to Grassmann necklaces, we fully characterize the fibers of ternary positroids, referred to as their positroid envelope classes; in particular, the envelope class of a positroid ordered whirl of rank-$r$ contains exactly four matroids.

Combinatorics
Quotients of Special Classes of Positroids

Zhixing Chen,Yumou Fei,Jiyang Gao,Yuxuan Sun,Yuchong Zhang

2024-01-08

Abstract:In this paper, we give a complete characterization of rank $k-1$ positroids that are quotients of the uniform matroid $U_{k,n}$, completing a partial result by Bendetti-Chavez-Jiménez. Furthermore, we show that any pair of concordant positroids with adjacent ranks are related by a cyclic shift on their decorated permutations. We also use the concept of conecklaces to give a full characterization of concordant lattice path matroids (LPMs).

Combinatorics
Positroid envelopes and graphic positroids

Jeremy Quail,Puck Rombach

2024-02-28

Abstract:Positroids are matroids realizable by real matrices with all nonnegative maximal minors. They partition the ordered matroids into equivalence classes, called positroid envelope classes, by their Grassmann necklaces. We give an explicit graph construction that shows that every positroid envelope class contains a graphic matroid. We show that the following classes of positroids are equivalent: graphic, binary, and regular, and that a graphic positroid is the unique matroid in its positroid envelope class. Finally, we show that every graphic positroid has an oriented graph representable by a signed incidence matrix with all nonnegative minors.

Combinatorics
A characterization of positroids, with applications to amalgams and excluded minors

Joseph E. Bonin

2024-06-17

Abstract:A matroid of rank $r$ on $n$ elements is a positroid if it has a representation by an $r$ by $n$ matrix over $\mathbb{R}$, each $r$ by $r$ submatrix of which has nonnegative determinant. Earlier characterizations of connected positroids and results about direct sums of positroids involve connected flats and non-crossing partitions. We prove another characterization of positroids of a similar flavor and give some applications of the characterization. We show that if $M$ and $N$ are positroids and $E(M)\cap E(N)$ is an independent set and a set of clones in both $M$ and $N$, then the free amalgam of $M$ and $N$ is a positroid, and we prove a second result of that type. Also, we identify several multi-parameter infinite families of excluded minors for the class of positroids.

Combinatorics
Transversal and Paving Positroids

John Machacek,George D. Nasr

2024-07-26

Abstract:In this paper, we study positroids and its overlap with two classes of matroids: transversal and paving matroids. We exhibit a new class of fundamental transversal matroids and classify the Le-diagram for rank two transversal positroids. We also establish a combinatorial description for paving positroids in terms of Le-diagrams.

Combinatorics
Positroids have the Rayleigh property

Cameron Marcott

DOI: https://doi.org/10.48550/arXiv.1611.03583

2016-11-11

Abstract:The Rayleigh property is a negative correlation property of electrical networks, which was generalized to matroids by Choe and Wagner. We prove that positroids, a class of matroid introduced by Postnikov which have seen many recent applications in both math and physics, have the Rayleigh property.

Combinatorics
Combinatorics of Essential Sets for Positroids

Fatemeh Mohammadi,Francesca Zaffalon

2024-07-02

Abstract:Positroids are a family of matroids introduced by Postnikov in the study of non-negative Grassmannians. Postnikov identified several combinatorial objects in bijections with positroids, among which are bounded affine permutations. On the other hand, the notion of essential sets, introduced for permutations by Fulton, was used by Knutson in the study of the special family of interval rank positroids. We generalize Fulton's essential sets to bounded affine permutations. The bijection of the latter with positroids, allows study of the relationship between them. From the point of view of positroids, essential sets are maximally dependent cyclic interval. We define connected essential sets and prove that they give a facet description of the positroid polytope, as well as equations defining the positroid variety. We define a subset of essential sets, called core, which contains minimal rank conditions to uniquely recover a positroid. We provide an algorithm to retrieve the positroid satisfying the rank conditions in the core or any compatible rank condition on cyclic intervals.

Combinatorics
Polypositroids

Thomas Lam,Alexander Postnikov

DOI: https://doi.org/10.1017/fms.2024.11

2024-03-19

Forum of Mathematics Sigma

Abstract:We initiate the study of a class of polytopes, which we coin polypositroids, defined to be those polytopes that are simultaneously generalized permutohedra (or polymatroids) and alcoved polytopes. Whereas positroids are the matroids arising from the totally nonnegative Grassmannian, polypositroids are "positive" polymatroids. We parametrize polypositroids using Coxeter necklaces and balanced graphs, and describe the cone of polypositroids by extremal rays and facet inequalities. We introduce a notion of -polypositroid for a finite Weyl group W and a choice of Coxeter element c. We connect the theory of -polypositroids to cluster algebras of finite type and to generalized associahedra. We discuss membranes, which are certain triangulated 2-dimensional surfaces inside polypositroids. Membranes extend the notion of plabic graphs from positroids to polypositroids.

mathematics, applied
Parametrizing positroid cells using bicolored tilings

Joel Costa da Rocha

2023-04-05

Abstract:Bicolored tilings are given by a collection of smooth curves in a disk with a coloring map on the tiles these curves form. Postnikov diagrams can be viewed as the image of certain bicolored tilings under the Scott map. We introduce a reduction technique on bicolored tilings, and show that a tiling maps to a Postnikov diagram if and only if it is reduced. We then use bicolored tilings to parametrise positroid cells in the Grassmannian, and use the reduction, along with another transform, to generate tilings associated to lower-dimensional positroids cells. We also show that the parametrisation of such a cell can be derived from the parametrisation of the higher-dimensional cell.

Combinatorics
Positroids, Dressian and stable polynomials

Ayush Kumar Tewari

DOI: https://doi.org/10.48550/arXiv.2309.17091

2023-09-29

Abstract:Our work is motivated by the connection established between Lorentzian polynomials and the Dressian in the seminal work of Brändén and Huh on Lorentzian polynomials. We analyze this relation for the class of positroids, and are able to show that in this case, we can relate a multiaffine homogenous stable polynomial to it. Additionally, we also highlight that a conjecture for matroids posed by Brändén and Huh is true when considered over the class of Rayleigh matroids which strictly contain the class of positroids. We collect these findings along with other results for further exploration.

Algebraic Geometry,Combinatorics
Erdős-Hajnal problems for posets

Christian Winter

2023-10-04

Abstract:We say that a poset $(Q,\le_{Q})$ contains an induced copy of a poset $(P,\le_P)$, if there is an injective function $\phi\colon P\to Q$ such that for every two $X,Y\in P$, $X\le_P Y$ if and only if $\phi(X)\le_Q \phi(Y)$. Given a fixed $2$-coloring $c$ of a poset $P$, the poset Erdős-Hajnal number of this colored poset is the minimum integer $N$ such that every $2$-coloring of the Boolean lattice $Q_N$ contains an induced copy of $P$ colored as in $c$, or a monochromatic induced copy of $Q_n$. We present bounds on the poset Erdős-Hajnal number of general colored posets, antichains, chains, and small Boolean lattices. Let the poset Ramsey number $R(Q_n,Q_n)$ be the minimal $N$ such that every $2$-coloring of $Q_N$ contains a monochromatic induced copy of $Q_n$. As a corollary, we show that $R(Q_n,Q_n)> 2.24n$, improving on the best known lower bound $2n+1$ by Cox and Stolee.

Combinatorics
Smooth Points on Positroid Varieties

Joseph Fluegemann

2024-07-31

Abstract:In the Grassmannian $Gr_{\mathbb{C}}(k,n)$ we have positroid varieties $\Pi_f$, each indexed by a bounded affine permutation $f$ and containing torus-fixed points $\lambda \in \Pi_f$. In this paper we consider the partially ordered set consisting of quadruples $(k,n,\Pi_f,\lambda)$ (or \textit{(positroid) pairs} $(\Pi_f,\lambda)$ for short). The partial order is the ordering given by the covering relation $\lessdot$ where $(\Pi_f',\lambda') \lessdot (\Pi_f,\lambda)$ if $\Pi_f'$ is obtained by $\Pi_f$ by \textit{deletion} or \textit{contraction.} Using the results of Snider [2010], we know that positroid varieties can be studied in a neighborhood of each of these points by \textit{affine pipe dreams.} Our main theorem provides a quick test of when a positroid variety is smooth at one of these given points. It is sufficient to test smoothness of a positroid variety by using the main result to test smoothness at each of these points. These results can also be applied to the question of whether Schubert varieties in flag manifolds are smooth at points given by 321-avoiding permutations, as studied in Graham/Kreimer [2020]. We have a secondary result, which describes the minimal singular positroid pairs in our ordering - these are the positroid pairs where any deletion or contraction causes it to become smooth.

Combinatorics
Any two-coloring of the plane contains monochromatic 3-term arithmetic progressions

Gabriel Currier,Kenneth Moore,Chi Hoi Yip

2024-07-22

Abstract:A conjecture of Erdős, Graham, Montgomery, Rothschild, Spencer and Straus states that, with the exception of equilateral triangles, any two-coloring of the plane will have a monochromatic congruent copy of every three-point configuration. This conjecture is known only for special classes of configurations. In this manuscript, we confirm one of the most natural open cases; that is, every two-coloring of the plane admits a monochromatic congruent copy of any $3$-term arithmetic progression.

Combinatorics
Achromatic colorings of polarity graphs

Vladislav Taranchuk,Craig Timmons

2023-11-21

Abstract:A complete partition of a graph $G$ is a partition of the vertex set such that there is at least one edge between any two parts. The largest $r$ such that $G$ has a complete partition into $r$ parts, each of which is an independent set, is the achromatic number of $G$. We determine the achromatic number of polarity graphs coming from generalized polygons. Our colorings of a family of unitary polarity graphs are used to solve a problem of Axenovich and Martin on complete partitions of $C_4$-free graphs. Furthermore, these colorings prove that there are sequences of graphs which are optimally complete and have unbounded degree, a problem that had been studied for the sequence of hypercubes independently by Roichman, and Ahlswede, Bezrukov, Blokhuis, Metsch, and Moorhouse.

Combinatorics
A Note on Uniquely 3-Colourable Planar Graphs

Zepeng Li,Enqiang Zhu,Zehui Shao,Jin Xu

DOI: https://doi.org/10.1080/00207160.2016.1167196

2016-01-01

Abstract:A graph G is uniquely k-colourable if the chromatic number of G is k and G has only one k-colouring up to permutation of the colours. Aksionov [On uniquely 3-colorable planar graphs, Discrete Math. 20 (1977), pp. 209-216] conjectured that every uniquely 3-colourable planar graph with at least four vertices has two adjacent triangles. However, in the same year, Melnikov and Steinberg [L.S. Mel'nikov and R. Steinberg, One counter example for two conjectures on three coloring, Discrete Math. 20 (1977), pp. 203-206.] disproved the conjecture by constructing a counterexample. In this paper, we prove that if a uniquely 3-colourable planar graph G has at most 4 triangles then G has two adjacent triangles. Furthermore, for any k > 5, we construct a uniquely 3-colourable planar graph with k triangles and without adjacent triangles.
Positroids, knots, and $q,t$-Catalan numbers

Pavel Galashin,Thomas Lam

2023-09-08

Abstract:We relate the mixed Hodge structure on the cohomology of open positroid varieties (in particular, their Betti numbers over $\mathbb{C}$ and point counts over $\mathbb{F}_q$) to Khovanov--Rozansky homology of associated links. We deduce that the mixed Hodge polynomials of top-dimensional open positroid varieties are given by rational $q,t$-Catalan numbers. Via the curious Lefschetz property of cluster varieties, this implies the $q,t$-symmetry and unimodality properties of rational $q,t$-Catalan numbers. We show that the $q,t$-symmetry phenomenon is a manifestation of Koszul duality for category $\mathcal{O}$, and discuss relations with open Richardson varieties and extension groups of Verma modules.

Combinatorics,Algebraic Geometry,Geometric Topology,Representation Theory
Transitive and Gallai colorings

R. M. Adin,A. Berenstein,J. Greenstein,J.-R. Li,A. Marmor,Y. Roichman

DOI: https://doi.org/10.48550/arXiv.2309.11203

2023-09-20

Abstract:A Gallai coloring of the complete graph is an edge-coloring with no rainbow triangle. This concept first appeared in the study of comparability graphs and anti-Ramsey theory. We introduce a transitive analogue for acyclic directed graphs, and generalize both notions to Coxeter systems, matroids and commutative algebras. It is shown that for any finite matroid (or oriented matroid), the maximal number of colors is equal to the matroid rank. This generalizes a result of Erdős-Simonovits-Sós for complete graphs. The number of Gallai (or transitive) colorings of the matroid that use at most $k$ colors is a polynomial in $k$. Also, for any acyclic oriented matroid, represented over the real numbers, the number of transitive colorings using at most 2 colors is equal to the number of chambers in the dual hyperplane arrangement. We count Gallai and transitive colorings of the root system of type A using the maximal number of colors, and show that, when equipped with a natural descent set map, the resulting quasisymmetric function is symmetric and Schur-positive.

Combinatorics
Oriented matroid structures on rank 3 root systems

Grant Barkley,Katherine Tung

2024-10-15

Abstract:We show that, given a rank 3 affine root system $\Phi$ with Weyl group $W$, there is a unique oriented matroid structure on $\Phi$ which is $W$-equivariant and restricts to the usual matroid structure on rank 2 subsystems. Such oriented matroids were called oriented matroid root systems in Dyer-Wang (2021), and are known to be non-unique in higher rank. We also show uniqueness for any finite root system or "clean" rank 3 root system (which conjecturally includes all rank 3 root systems).

Combinatorics
On colouring oriented graphs of large girth

P. Mark Kayll,Michael Morris

2023-07-19

Abstract:We prove that for every oriented graph $D$ and every choice of positive integers $k$ and $\ell$, there exists an oriented graph $D^*$ along with a surjective homomorphism $\psi\colon V(D^*) \to V(D)$ such that: (i) girth$(D^*) \geq\ell$; (ii) for every oriented graph $C$ with at most $k$ vertices, there exists a homomorphism from $D^*$ to $C$ if and only if there exists a homomorphism from $D$ to $C$; and (iii) for every $D$-pointed oriented graph $C$ with at most $k$ vertices and for every homomorphism $\varphi\colon V(D^*) \to V(C)$ there exists a unique homomorphism $f\colon V(D) \to V(C)$ such that $\varphi=f \circ \psi$. Determining the oriented chromatic number of an oriented graph $D$ is equivalent to finding the smallest integer $k$ such that $D$ admits a homomorphism to an order-$k$ tournament, so our main theorem yields results on the girth and oriented chromatic number of oriented graphs. While our main proof is probabilistic (hence nonconstructive), for any given $\ell\geq 3$ and $k\geq 5$, we include a construction of an oriented graph with girth $\ell$ and oriented chromatic number $k$.

Combinatorics
The Ehrhart $h^*$-polynomials of positroid polytopes

Yuhan Jiang

2024-11-24

Abstract:A positroid is a matroid realized by a matrix such that all maximal minors are non-negative. Positroid polytopes are matroid polytopes of positroids. In particular, they are lattice polytopes. The Ehrhart polynomial of a lattice polytope counts the number of integer points in the dilation of that polytope. The Ehrhart series is the generating function of the Ehrhart polynomial, a rational function with a numerator called the $h*$-polynomial. We give explicit formulas for the $h^*$-polynomials of an arbitrary positroid polytope regarding permutation descents. We also compute the $h^*$-polynomial of any positroid polytope with some facets removed and relate it to the descents of permutations. Our result generalizes that of Early, Kim, and Li for hypersimplices.

Combinatorics

Positroids are 3-colorable

Ternary and quaternary positroids

Quotients of Special Classes of Positroids

Positroid envelopes and graphic positroids

A characterization of positroids, with applications to amalgams and excluded minors

Transversal and Paving Positroids

Positroids have the Rayleigh property

Combinatorics of Essential Sets for Positroids

Polypositroids

Parametrizing positroid cells using bicolored tilings

Positroids, Dressian and stable polynomials

Erdős-Hajnal problems for posets

Smooth Points on Positroid Varieties

Any two-coloring of the plane contains monochromatic 3-term arithmetic progressions

Achromatic colorings of polarity graphs

A Note on Uniquely 3-Colourable Planar Graphs

Positroids, knots, and $q,t$-Catalan numbers

Transitive and Gallai colorings

Oriented matroid structures on rank 3 root systems

On colouring oriented graphs of large girth

The Ehrhart $h^*$-polynomials of positroid polytopes