-
Computing all minimal Markov bases in Macaulay2
Authors:
Oliver Clarke,
Alexander Milner
Abstract:
We introduce the package allMarkovBases for Macaulay2, which is used to compute all minimal Markov bases of a given toric ideal. The package builds on functionality of 4ti2 by producing the fiber graph of the toric ideal. The package uses this graph to compute other properties of the toric ideal such as its indispensable set of binomials as well as its universal Markov basis.
We introduce the package allMarkovBases for Macaulay2, which is used to compute all minimal Markov bases of a given toric ideal. The package builds on functionality of 4ti2 by producing the fiber graph of the toric ideal. The package uses this graph to compute other properties of the toric ideal such as its indispensable set of binomials as well as its universal Markov basis.
△ Less
Submitted 26 February, 2025;
originally announced February 2025.
-
A tropical approach to rigidity: counting realisations of frameworks
Authors:
Oliver Clarke,
Sean Dewar,
Daniel Green Tripp,
James Maxwell,
Anthony Nixon,
Yue Ren,
Ben Smith
Abstract:
A realisation of a graph in the plane as a bar-joint framework is rigid if there are finitely many other realisations, up to isometries, with the same edge lengths. Each of these finitely-many realisations can be seen as a solution to a system of quadratic equations prescribing the distances between pairs of points. For generic realisations, the size of the solution set depends only on the underly…
▽ More
A realisation of a graph in the plane as a bar-joint framework is rigid if there are finitely many other realisations, up to isometries, with the same edge lengths. Each of these finitely-many realisations can be seen as a solution to a system of quadratic equations prescribing the distances between pairs of points. For generic realisations, the size of the solution set depends only on the underlying graph so long as we allow for complex solutions. We provide a characterisation of the realisation number - that is the cardinality of this complex solution set - of a minimally rigid graph. Our characterisation uses tropical geometry to express the realisation number as an intersection of Bergman fans of the graphic matroid. As a consequence, we derive a combinatorial upper bound on the realisation number involving the Tutte polynomial. Moreover, we provide computational evidence that our upper bound is usually an improvement on the mixed volume bound.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
Equivariant Ehrhart Theory of Hypersimplices
Authors:
Oliver Clarke,
Max Kölbl
Abstract:
We study the hypersimplex under the action of the symmetric group $S_n$ by coordinate permutation. We prove that the evaluation of its equivariant $H^*$-polynomial at $1$ is the permutation character of decorated ordered set partitions under the natural action of $S_n$. This verifies a conjecture of Stapledon for the hypersimplex. To prove this result, we give a formula for the coefficients of the…
▽ More
We study the hypersimplex under the action of the symmetric group $S_n$ by coordinate permutation. We prove that the evaluation of its equivariant $H^*$-polynomial at $1$ is the permutation character of decorated ordered set partitions under the natural action of $S_n$. This verifies a conjecture of Stapledon for the hypersimplex. To prove this result, we give a formula for the coefficients of the $H^*$-polynomial. Additionally, for the $(2,n)$-hypersimplex, we use this formula to show that trivial character need not appear as a direct summand of a coefficient of the $H^*$-polynomial, which gives a family of counterexamples to a different conjecture of Stapledon.
△ Less
Submitted 3 March, 2025; v1 submitted 9 December, 2024;
originally announced December 2024.
-
Distance Reducing Markov Bases
Authors:
Oliver Clarke,
Dimitra Kosta
Abstract:
The distance reducing property for Markov bases is an important property that provides a bound on the mixing time of the associated Markov chain. The goal of this project is to understand properties of distance-reducing Markov bases. We explore the distance reducing property for monomial curves and give a complete characterisation of distance reduction in the case of complete intersection monomial…
▽ More
The distance reducing property for Markov bases is an important property that provides a bound on the mixing time of the associated Markov chain. The goal of this project is to understand properties of distance-reducing Markov bases. We explore the distance reducing property for monomial curves and give a complete characterisation of distance reduction in the case of complete intersection monomial curves. Our characterisation carefully uses the notion of gluings for numerical semigroups. We also characterise the distance reducing property for non-complete intersection monomial curves in small dimensions. We also explore the distance irreducible elements: the moves that appear in all distance reducing Markov bases.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Minimal cellular resolutions of powers of matching field ideals
Authors:
Oliver Clarke,
Fatemeh Mohammadi
Abstract:
We study a family of monomial ideals, called block diagonal matching field ideals, which arise as monomial Gröbner degenerations of determinantal ideals. Our focus is on the minimal free resolutions of these ideals and all of their powers. Initially, we establish their linear quotient property and compute their Betti numbers, illustrating that their minimal free resolution is supported on a regula…
▽ More
We study a family of monomial ideals, called block diagonal matching field ideals, which arise as monomial Gröbner degenerations of determinantal ideals. Our focus is on the minimal free resolutions of these ideals and all of their powers. Initially, we establish their linear quotient property and compute their Betti numbers, illustrating that their minimal free resolution is supported on a regular CW complex. Our proof relies on the results of Herzog and Takayama, demonstrating that ideals with a linear quotient property have a minimal free resolution, and on the construction by Dochtermann and Mohammadi of cellular realizations of these resolutions. We begin by proving the linear quotient property for each power of such an ideal. Subsequently, we show that their corresponding decomposition map is regular, resulting in a minimal cellular resolution. Finally, we demonstrate that distinct decomposition maps lead to different cellular complexes with the same face numbers.
△ Less
Submitted 28 January, 2025; v1 submitted 16 April, 2024;
originally announced April 2024.
-
Liftable Point-Line Configurations: Defining Equations and Irreducibility of Associated Matroid and Circuit Varieties
Authors:
Oliver Clarke,
Giacomo Masiero,
Fatemeh Mohammadi
Abstract:
We study point-line configurations through the lens of projective geometry and matroid theory. Our focus is on their realisation spaces, where we introduce the concepts of liftable and quasi-liftable configurations, exploring cases in which an $n$-tuple of collinear points can be lifted to a non-degenerate realisation of a point-line configuration. We show that forest configurations are liftable a…
▽ More
We study point-line configurations through the lens of projective geometry and matroid theory. Our focus is on their realisation spaces, where we introduce the concepts of liftable and quasi-liftable configurations, exploring cases in which an $n$-tuple of collinear points can be lifted to a non-degenerate realisation of a point-line configuration. We show that forest configurations are liftable and characterise the realisation space of liftable configurations as the solution set of certain linear systems of equations. Moreover, we study the Zariski closure of the realisation spaces of liftable and quasi-liftable configurations, known as matroid varieties, and establish their irreducibility. Additionally, we compute an irreducible decomposition for their corresponding circuit varieties. Applying these liftability properties, we present a procedure generate some of the defining equations of the associated matroid varieties. As corollaries, we provide a geometric representation for the defining equations of two specific examples: the quadrilateral set and the $3\times4$ grid. While the polynomials for the latter were previously computed using specialised algorithms tailored for this configuration, the geometric interpretation of these generators was missing. We compute a minimal generating set for the corresponding ideals.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Subalgebra and Khovanskii bases equivalence
Authors:
Colin Alstad,
Michael Burr,
Oliver Clarke,
Timothy Duff
Abstract:
The main results of this paper establish a partial correspondence between two previously-studied analogues of Groebner bases in the setting of algebras: namely, subalgebra (aka SAGBI) bases for quotients of polynomial rings and Khovanskii bases for valued algebras. We aim to bridge the gap between the concrete, computational aspects of the former and the more abstract theory of the latter. Our phi…
▽ More
The main results of this paper establish a partial correspondence between two previously-studied analogues of Groebner bases in the setting of algebras: namely, subalgebra (aka SAGBI) bases for quotients of polynomial rings and Khovanskii bases for valued algebras. We aim to bridge the gap between the concrete, computational aspects of the former and the more abstract theory of the latter. Our philosophy is that most interesting examples of Khovanskii bases can also be realized as subalgebra bases and vice-versa. We also discuss the computation of Newton-Okounkov bodies, illustrating how interpreting Khovanskii bases as subalgebra bases makes them more amenable to the existing computer algebra tools.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Matroid Stratification of ML Degrees of Independence Models
Authors:
Oliver Clarke,
Serkan Hoşten,
Nataliia Kushnerchuk,
Janike Oldekop
Abstract:
We study the maximum likelihood (ML) degree of discrete exponential independence models and models defined by the second hypersimplex. For models with two independent variables, we show that the ML degree is an invariant of a matroid associated to the model. We use this description to explore ML degrees via hyperplane arrangements. For independence models with more variables, we investigate the co…
▽ More
We study the maximum likelihood (ML) degree of discrete exponential independence models and models defined by the second hypersimplex. For models with two independent variables, we show that the ML degree is an invariant of a matroid associated to the model. We use this description to explore ML degrees via hyperplane arrangements. For independence models with more variables, we investigate the connection between the vanishing of factors of its principal $A$-determinant and its ML degree. Similarly, for models defined by the second hypersimplex, we determine its principal $A$-determinant and give computational evidence towards a conjectured lower bound of its ML degree.
△ Less
Submitted 12 February, 2024; v1 submitted 15 December, 2023;
originally announced December 2023.
-
Matching Fields in Macaulay2
Authors:
Oliver Clarke
Abstract:
This article introduces the package MatchingFields for Macaulay2 and highlights some open problems. A matching field is a combinatorial object whose data encodes a candidate toric degeneration of a Grassmannian or partial flag variety of type A. Each coherent matching field is associated to a certain maximal cone of the respective tropical variety. The MatchingFields package provides methods to co…
▽ More
This article introduces the package MatchingFields for Macaulay2 and highlights some open problems. A matching field is a combinatorial object whose data encodes a candidate toric degeneration of a Grassmannian or partial flag variety of type A. Each coherent matching field is associated to a certain maximal cone of the respective tropical variety. The MatchingFields package provides methods to construct matching fields along with their rings, ideals, polyhedra and matroids. The package also supplies methods to test whether a matching field is coherent, linkage and gives rise to a toric degeneration.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
SubalgebraBases in Macaulay2
Authors:
Michael Burr,
Oliver Clarke,
Timothy Duff,
Jackson Leaman,
Nathan Nichols,
Elise Walker
Abstract:
We describe a recently revived version of the software package SubalgberaBases, which is distributed in the Macaulay2 computer algebra system. The package allows the user to compute and manipulate subagebra bases -- which are also known as SAGBI bases or canonical bases and form a special class of Khovanskii bases -- for polynomial rings and their quotients. We provide an overview of the design an…
▽ More
We describe a recently revived version of the software package SubalgberaBases, which is distributed in the Macaulay2 computer algebra system. The package allows the user to compute and manipulate subagebra bases -- which are also known as SAGBI bases or canonical bases and form a special class of Khovanskii bases -- for polynomial rings and their quotients. We provide an overview of the design and functionality of SubalgberaBases and demonstrate how the package works on several motivating examples.
△ Less
Submitted 16 January, 2024; v1 submitted 24 February, 2023;
originally announced February 2023.
-
Restricted Chain-Order Polytopes via Combinatorial Mutations
Authors:
Oliver Clarke,
Akihiro Higashitani,
Francesca Zaffalon
Abstract:
We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example…
▽ More
We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example its Ehrhart polynomial. For a fixed Young diagram, we show that all restricted chain-order polytopes are related by a sequence of combinatorial mutations. Since the property of giving rise to the period collapse phenomenon is invariant under combinatorial mutations, we provide a large class of rational polytopes that give rise to period collapse.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
The equivariant Ehrhart theory of polytopes with order-two symmetries
Authors:
Oliver Clarke,
Akihiro Higashitani,
Max Kölbl
Abstract:
We study the equivariant Ehrhart theory of families of polytopes that are invariant under a non-trivial action of the group with order two. We study families of polytopes whose equivariant $H^*$-polynomial both succeed and fail to be effective, in particular, the symmetric edge polytopes of cycles and the rational cross-polytope. The latter provides a counterexample to the effectiveness conjecture…
▽ More
We study the equivariant Ehrhart theory of families of polytopes that are invariant under a non-trivial action of the group with order two. We study families of polytopes whose equivariant $H^*$-polynomial both succeed and fail to be effective, in particular, the symmetric edge polytopes of cycles and the rational cross-polytope. The latter provides a counterexample to the effectiveness conjecture if the requirement that the vertices of the polytope have integral coordinates is loosened to allow rational coordinates. Moreover, we exhibit such a counterexample whose Ehrhart function has period one and coincides with the Ehrhart function of a lattice polytope.
△ Less
Submitted 14 February, 2023; v1 submitted 1 September, 2022;
originally announced September 2022.
-
Combinatorial Mutations of Gelfand-Tsetlin Polytopes, Feigin-Fourier-Littelmann-Vinberg Polytopes, and Block Diagonal Matching Field Polytopes
Authors:
Oliver Clarke,
Akihiro Higashitani,
Fatemeh Mohammadi
Abstract:
The Gelfand-Tsetlin and the Feigin-Fourier-Littelmann-Vinberg polytopes for the Grassmannians are defined, from the perspective of representation theory, to parametrize certain bases for highest weight irreducible modules. These polytopes are Newton-Okounkov bodies for the Grassmannian and, in particular, the GT-polytope is an example of a string polytope. The polytopes admit a combinatorial descr…
▽ More
The Gelfand-Tsetlin and the Feigin-Fourier-Littelmann-Vinberg polytopes for the Grassmannians are defined, from the perspective of representation theory, to parametrize certain bases for highest weight irreducible modules. These polytopes are Newton-Okounkov bodies for the Grassmannian and, in particular, the GT-polytope is an example of a string polytope. The polytopes admit a combinatorial description as the Stanley's order and chain polytopes of a certain poset, as shown by Ardila, Bliem and Salaza. We prove that these polytopes occur among matching field polytopes. Moreover, we show that they are related by a sequence of combinatorial mutations that passes only through matching field polytopes. As a result, we obtain a family of matching fields that give rise to toric degenerations for the Grassmannians. Moreover, all polytopes in the family are Newton-Okounkov bodies for the Grassmannians.
△ Less
Submitted 8 August, 2022;
originally announced August 2022.
-
Toric degenerations of partial flag varieties and combinatorial mutations of matching field polytopes
Authors:
Oliver Clarke,
Fatemeh Mohammadi,
Francesca Zaffalon
Abstract:
We study toric degenerations arising from Gröbner degenerations or the tropicalization of partial flag varieties. We produce a new family of toric degenerations of partial flag varieties whose combinatorics are governed by matching fields and combinatorial mutations of polytopes. We provide an explicit description of the polytopes associated with the resulting toric varieties in terms of matching…
▽ More
We study toric degenerations arising from Gröbner degenerations or the tropicalization of partial flag varieties. We produce a new family of toric degenerations of partial flag varieties whose combinatorics are governed by matching fields and combinatorial mutations of polytopes. We provide an explicit description of the polytopes associated with the resulting toric varieties in terms of matching field polytopes. These polytopes encode the combinatorial data of monomial degenerations of Plücker forms for the Grassmannians. We give a description of matching field polytopes of flag varieties as Minkowski sums and show that all such polytopes are normal. The polytopes we obtain are examples of Newton-Okounkov bodies for particular full-rank valuations for flag varieties. Furthermore, we study a certain explicitly-defined large family of matching field polytopes and prove that all polytopes in this family are connected by combinatorial mutations. Finally, we apply our methods to explicitly compute toric degenerations of small Grassmannians and flag varieties and obtain new families of toric degenerations.
△ Less
Submitted 11 October, 2023; v1 submitted 28 June, 2022;
originally announced June 2022.
-
A study of nonlinear multiview varieties
Authors:
Yairon Cid-Ruiz,
Oliver Clarke,
Fatemeh Mohammadi
Abstract:
We study the nonlinear generalization of the classical multiview variety, which is a fundamental concept in computer vision. In this paper, we take the first comprehensive step to develop the nonlinear analogue of multiview varieties. To this end, we introduce a multigraded version of the saturated special fiber ring. By applying this tool, we are able to compute the multidegrees of several famili…
▽ More
We study the nonlinear generalization of the classical multiview variety, which is a fundamental concept in computer vision. In this paper, we take the first comprehensive step to develop the nonlinear analogue of multiview varieties. To this end, we introduce a multigraded version of the saturated special fiber ring. By applying this tool, we are able to compute the multidegrees of several families of nonlinear multiview varieties.
△ Less
Submitted 9 October, 2023; v1 submitted 12 December, 2021;
originally announced December 2021.
-
Matroid stratifications of hypergraph varieties, their realization spaces, and discrete conditional independence models
Authors:
Oliver Clarke,
Kevin Grace,
Fatemeh Mohammadi,
Harshit J Motwani
Abstract:
We study varieties associated to hypergraphs from the point of view of projective geometry and matroid theory. We describe their decompositions into matroid varieties, which may be reducible and can have arbitrary singularities by the Mnëv--Sturmfels universality theorem. We focus on various families of hypergraph varieties for which we explicitly compute an irredundant irreducible decomposition.…
▽ More
We study varieties associated to hypergraphs from the point of view of projective geometry and matroid theory. We describe their decompositions into matroid varieties, which may be reducible and can have arbitrary singularities by the Mnëv--Sturmfels universality theorem. We focus on various families of hypergraph varieties for which we explicitly compute an irredundant irreducible decomposition. Our main findings in this direction are threefold: (1) we describe minimal matroids of such hypergraphs; (2) we prove that the varieties of these matroids are irreducible and their union is the hypergraph variety; and (3) we show that every such matroid is realizable over real numbers. As corollaries, we give conceptual decompositions of various, previously-studied, varieties associated with graphs, hypergraphs, and adjacent minors of generic matrices. In particular, our decomposition strategy gives immediate matroid interpretations of the irreducible components of multiple families of varieties associated to conditional independence (CI) models in statistical theory and unravels their symmetric structures which hugely simplifies the computations.
△ Less
Submitted 8 September, 2022; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Standard monomial theory and toric degenerations of Richardson varieties in the Grassmannian
Authors:
Narasimha Chary Bonala,
Oliver Clarke,
Fatemeh Mohammadi
Abstract:
Richardson varieties are obtained as intersections of Schubert and opposite Schubert varieties. We provide a new family of toric degenerations of Richardson varieties inside Grassmannians by studying Gröbner degenerations of their corresponding ideals. These degenerations are parametrised by block diagonal matching fields in the sense of Sturmfels-Zelevinsky. We associate a weight vector to each b…
▽ More
Richardson varieties are obtained as intersections of Schubert and opposite Schubert varieties. We provide a new family of toric degenerations of Richardson varieties inside Grassmannians by studying Gröbner degenerations of their corresponding ideals. These degenerations are parametrised by block diagonal matching fields in the sense of Sturmfels-Zelevinsky. We associate a weight vector to each block diagonal matching field and study its corresponding initial ideal. In particular, we characterise when such ideals are toric, hence providing a family of toric degenerations for Richardson varieties.
Given a Richardson variety $X_{w}^v$ and a weight vector ${\bf w}_\ell$ arising from a matching field, we consider two ideals: an ideal $G_{k,n,\ell}|_w^v$ obtained by restricting the initial of the Plücker ideal to a smaller polynomial ring, and a toric ideal defined as the kernel of a monomial map $φ_\ell|_w^v$. We first characterise the monomial-free ideals of form $G_{k,n,\ell}|_w^v$. Then we construct a family of tableaux in bijection with semi-standard Young tableaux which leads to a monomial basis for the corresponding quotient ring. Finally, we prove that when $G_{k,n,\ell}|_w^v$ is monomial-free and the initial ideal in$_{{\bf w}_\ell}(I(X_w^v))$ is quadratically generated, then all three ideals in$_{{\bf w}_\ell}(I(X_w^v))$, $G_{k,n,\ell}|_w^v$ and ker$(φ_\ell|_w^v)$ coincide, and provide a toric degeneration of $X_w^v$.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Standard monomial theory and toric degenerations of Richardson varieties in flag varieties
Authors:
Narasimha Chary Bonala,
Oliver Clarke,
Fatemeh Mohammadi
Abstract:
We study standard monomial bases for Richardson varieties inside the flag variety. In general, writing down a standard monomial basis for a Richardson variety can be challenging, as it involves computing so-called defining chains or key tableaux. However, for a certain family of Richardson varieties, indexed by compatible permutations, we provide a very direct and straightforward combinatorial rul…
▽ More
We study standard monomial bases for Richardson varieties inside the flag variety. In general, writing down a standard monomial basis for a Richardson variety can be challenging, as it involves computing so-called defining chains or key tableaux. However, for a certain family of Richardson varieties, indexed by compatible permutations, we provide a very direct and straightforward combinatorial rule for writing down a standard monomial basis. We apply this result to the study of toric degenerations of Richardson varieties. In particular, we provide a new family of toric degenerations of Richardson varieties inside flag varieties.
△ Less
Submitted 8 May, 2022; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Conditional probabilities via line arrangements and point configurations
Authors:
Oliver Clarke,
Fatemeh Mohammadi,
Harshit J. Motwani
Abstract:
We study the connection between probability distributions satisfying certain conditional independence (CI) constraints, and point and line arrangements in incidence geometry. To a family of CI statements, we associate a polynomial ideal whose algebraic invariants are encoded in a hypergraph. The primary decompositions of these ideals give a characterisation of the distributions satisfying the orig…
▽ More
We study the connection between probability distributions satisfying certain conditional independence (CI) constraints, and point and line arrangements in incidence geometry. To a family of CI statements, we associate a polynomial ideal whose algebraic invariants are encoded in a hypergraph. The primary decompositions of these ideals give a characterisation of the distributions satisfying the original CI statements. Classically, these ideals are generated by 2-minors of a matrix of variables, however, in the presence of hidden variables, they contain higher degree minors. This leads to the study of the structure of determinantal hypergraph ideals whose decompositions can be understood in terms of point and line configurations in the projective space.
△ Less
Submitted 31 March, 2021; v1 submitted 4 November, 2020;
originally announced November 2020.
-
Combinatorial Mutations and Block Diagonal Polytopes
Authors:
Oliver Clarke,
Akihiro Higashitani,
Fatemeh Mohammadi
Abstract:
Matching fields were introduced by Sturmfels and Zelevinsky to study certain Newton polytopes and more recently have been shown to give rise to toric degenerations of various families of varieties. Whenever a matching field gives rise to a toric degeneration, the associated polytope of the toric variety coincides with the matching field polytope. We study combinatorial mutations, which are analogu…
▽ More
Matching fields were introduced by Sturmfels and Zelevinsky to study certain Newton polytopes and more recently have been shown to give rise to toric degenerations of various families of varieties. Whenever a matching field gives rise to a toric degeneration, the associated polytope of the toric variety coincides with the matching field polytope. We study combinatorial mutations, which are analogues of cluster mutations for polytopes, of matching field polytopes and show that the property of giving rise to a toric degeneration of the Grassmannians, is preserved by mutation. Moreover the polytopes arising through mutations are Newton-Okounkov bodies for the Grassmannians with respect to certain full-rank valuations. We produce a large family of such polytopes, extending the family of so-called block diagonal matching fields.
△ Less
Submitted 8 October, 2020;
originally announced October 2020.
-
Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux
Authors:
Oliver Clarke,
Fatemeh Mohammadi
Abstract:
We study Gröbner degenerations of Schubert varieties inside flag varieties. We consider toric degenerations of flag varieties induced by matching fields and semi-standard Young tableaux. We describe an analogue of matching field ideals for Schubert varieties inside the flag variety and give a complete characterization of toric ideals among them. We use a combinatorial approach to standard monomial…
▽ More
We study Gröbner degenerations of Schubert varieties inside flag varieties. We consider toric degenerations of flag varieties induced by matching fields and semi-standard Young tableaux. We describe an analogue of matching field ideals for Schubert varieties inside the flag variety and give a complete characterization of toric ideals among them. We use a combinatorial approach to standard monomial theory to show that block diagonal matching fields give rise to toric degenerations. Our methods and results use the combinatorics of permutations associated to Schubert varieties, matching fields and their corresponding tableaux.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
Standard monomial theory and toric degenerations of Richardson varieties inside Grassmannians and flag varieties
Authors:
Narasimha Chary Bonala,
Oliver Clarke,
Fatemeh Mohammadi
Abstract:
We study toric degenerations of opposite Schubert and Richardson varieties inside degenerations of Grassmannians and flag varieties. These degenerations are parametrized by matching fields in the sense of Sturmfels and Zelevinsky. We construct so-called restricted matching field ideals whose generating sets are understood combinatorially through tableaux. We determine when these ideals are toric a…
▽ More
We study toric degenerations of opposite Schubert and Richardson varieties inside degenerations of Grassmannians and flag varieties. These degenerations are parametrized by matching fields in the sense of Sturmfels and Zelevinsky. We construct so-called restricted matching field ideals whose generating sets are understood combinatorially through tableaux. We determine when these ideals are toric and coincide with Gröbner degenerations of Richardson varieties using the well established standard monomial theory for Grassmannians and flag varieties.
△ Less
Submitted 9 September, 2020; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Toric degenerations of flag varieties from matching field tableaux
Authors:
Oliver Clarke,
Fatemeh Mohammadi
Abstract:
We present families of tableaux which interpolate between the classical semi-standard Young tableaux and matching field tableaux. Algebraically, this corresponds to SAGBI bases of Plücker algebras. We show that each such family of tableaux leads to a toric ideal, that can be realized as initial of the Plücker ideal, hence a toric degeneration for the flag variety.
We present families of tableaux which interpolate between the classical semi-standard Young tableaux and matching field tableaux. Algebraically, this corresponds to SAGBI bases of Plücker algebras. We show that each such family of tableaux leads to a toric ideal, that can be realized as initial of the Plücker ideal, hence a toric degeneration for the flag variety.
△ Less
Submitted 9 September, 2020; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Toric degenerations of Grassmannians and Schubert varieties from matching field tableaux
Authors:
Oliver Clarke,
Fatemeh Mohammadi
Abstract:
We study the combinatorics of Gröbner degenerations of Grassmannians and the Schubert varieties inside them. We provide a family of binomial ideals whose combinatorics is governed by tableaux induced by matching fields in the sense of Sturmfels and Zelevinsky. We prove that these ideals are all quadratically generated and they yield a SAGBI basis of the Plücker algebra. This leads to a new family…
▽ More
We study the combinatorics of Gröbner degenerations of Grassmannians and the Schubert varieties inside them. We provide a family of binomial ideals whose combinatorics is governed by tableaux induced by matching fields in the sense of Sturmfels and Zelevinsky. We prove that these ideals are all quadratically generated and they yield a SAGBI basis of the Plücker algebra. This leads to a new family of toric degenerations of Grassmannians. Moreover, we apply our results to construct a family of Gröbner degenerations of Schubert varieties inside Grassmannians. We provide a complete characterization of toric ideals among these degenerations in terms of the combinatorics of matching fields, permutations, and semi-standard tableaux.
△ Less
Submitted 12 September, 2020; v1 submitted 1 April, 2019;
originally announced April 2019.
-
Conditional independence ideals with hidden variables
Authors:
Oliver Clarke,
Fatemeh Mohammadi,
Johannes Rauh
Abstract:
We study a class of determinantal ideals that are related to conditional independence (CI) statements with hidden variables. Such CI statements correspond to determinantal conditions on a matrix whose entries are probabilities of events involving the observed random variables. We focus on an example that generalizes the CI ideals of the intersection axiom. In this example, the minimal primes are a…
▽ More
We study a class of determinantal ideals that are related to conditional independence (CI) statements with hidden variables. Such CI statements correspond to determinantal conditions on a matrix whose entries are probabilities of events involving the observed random variables. We focus on an example that generalizes the CI ideals of the intersection axiom. In this example, the minimal primes are again determinantal ideals, which is not true in general.
△ Less
Submitted 29 December, 2022; v1 submitted 10 January, 2019;
originally announced January 2019.
