variety
2681 papers tagged with this keyword
Permutations sortable by two stacks in series
Published in Advances in Applied Mathematics (2017): 81-96
• View Publication
• BIB
We address the problem of the number of permutations that can be sorted by two stacks in series. We do this by first counting all such permutations of length less than 20 exactly, then using a numerical technique to obtain nineteen further coefficients approximately. Analysing these coefficients by a variety of methods we conclude that the OGF behaves as $$S(z) \sim A (1 - μ\cdot z)^γ,$$ where $μ=12.45 \pm 0.15,$ $γ= 1.5 \pm 0.3,$ and $A \approx 0.02$.
Intersections of Amoebas
Published
• View Publication
• BIB
Amoebas are projections of complex algebraic varieties in the algebraic torus under a Log-absolute value map, which have connections to various mathematical subjects. While amoebas of hypersurfaces have been intensively studied in recent years, the non-hypersurface case is barely understood so far.
We investigate intersections of amoebas of $n$ hypersurfaces in $(\mathbb{C}^*)^n$, which are canonical supersets of amoebas given by non-hypersurface varieties. Our main results are amoeba analogs of Bernstein's Theorem and Bézout's Theorem providing an upper bound for the number of connected components of such intersections. Moreover, we show that the \emph{order map} for hypersurface amoebas can be generalized in a natural way to intersections of amoebas. In particular, analogous to the case of amoebas of hypersurfaces, the restriction of this generalized order map to a single connected component is still $1$-to-$1$.
Staircase diagrams and enumeration of smooth Schubert varieties
Published in J. Combin. Theory Ser. A. Vol 150 (2017), 328-376
• View Publication
• BIB
We enumerate smooth and rationally smooth Schubert varieties in the classical finite types A, B, C, and D, extending Haiman's enumeration for type A. To do this enumeration, we introduce a notion of staircase diagrams on a graph. These combinatorial structures are collections of steps of irregular size, forming interconnected staircases over the given graph. Over a Dynkin-Coxeter graph, the set of "nearly-maximally labelled" staircase diagrams is in bijection with the set of Schubert varieties with a complete Billey-Postnikov (BP) decomposition. We can then use an earlier result of the authors showing that all finite-type rationally smooth Schubert varieties have a complete BP decomposition to finish the enumeration.
Total positivity for the Lagrangian Grassmannian
Published
• View Publication
• BIB
The stratification of the Grassmannian by positroid varieties has been the subject of extensive research. Positroid varieties are in bijection with a number of combinatorial objects, including $k$-Bruhat intervals and bounded affine permutations. In addition, Postnikov's boundary measurement map gives a family of parametrizations of each positroid variety; the domain of each parametrization is the space of edge weights of a weighted planar network. In this paper, we generalize the combinatorics of positroid varieties to the Lagrangian Grassmannian $Λ(2n)$, which is the type $C$ analog of the ordinary, or type $A$, Grassmannian. The Lagrangian Grassmannian has a stratification by projected Richardson varieties, which are the type $C$ analogs of positroid varieties. We define type $C$ generalizations of bounded affine permutations and $k$-Bruhat intervals, as well as several other combinatorial posets which index positroid varieties. In addition, we generalize Postnikov's network parametrizations to projected Richardson varieties in $Λ(2n)$. In particular, we show that restricting the edge weights of our networks to $\mathbb{R}^+$ yields a family of parametrizations for totally nonnegative cells in $Λ(2n)$. In the process, we obtain a set of linear relations among the Plücker coordinates on $\text{Gr}(n,2n)$ which cut out the Lagrangian Grassmannian set-theoretically.
Internally Perfect Matroids
Published in Elec J. Comb. 24(2) (2017), #P2.35
• View Publication
• BIB
In 1977 Stanley proved that the $h$-vector of a matroid is an $\mathcal{O}$-sequence and conjectured that it is a pure $\mathcal{O}$-sequence. In the subsequent years the validity of this conjecture has been shown for a variety of classes of matroids, though the general case is still open. In this paper we use Las Vergnas' internal order to introduce a new class of matroids which we call internally perfect. We prove that these matroids satisfy Stanley's Conjecture and compare them to other classes of matroids for which the conjecture is known to hold. We also prove that, up to a certain restriction on deletions, every minor of an internally perfect ordered matroid is internally perfect.
Matrix Schubert varieties and Gaussian conditional independence models
Published in Journal of Algebraic Combinatorics, (2016), 1-38
• View Publication
• BIB
Matrix Schubert varieties are certain varieties in the affine space of square matrices which are determined by specifying rank conditions on submatrices. We study these varieties for generic matrices, symmetric matrices, and upper triangular matrices in view of two applications to algebraic statistics: we observe that special conditional independence models for Gaussian random variables are intersections of matrix Schubert varieties in the symmetric case. Consequently, we obtain a combinatorial primary decomposition algorithm for some conditional independence ideals. We also characterize the vanishing ideals of Gaussian graphical models for generalized Markov chains.
In the course of this investigation, we are led to consider three related stratifications, which come from the Schubert stratification of a flag variety. We provide some combinatorial results, including describing the stratifications using the language of rank arrays and enumerating the strata in each case.
Variations on a theme of Kasteleyn, with application to the totally nonnegative Grassmannian
Published
• View Publication
• BIB
We provide a short proof of a classical result of Kasteleyn, and prove several variants thereof. One of these results has become key in the parametrization of positroid varieties, and thus deserves the short direct proof which we provide.
Reconstructing Compact Metrizable Spaces
Published
• View Publication
• BIB
The deck, $\mathcal{D}(X)$, of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}]\colon x \in X\}$, where $[Y]$ denotes the homeomorphism class of $Y$. A space $X$ is (topologically) reconstructible if whenever $\mathcal{D}(Z)=\mathcal{D}(X)$ then $Z$ is homeomorphic to $X$. It is known that every (metrizable) continuum is reconstructible, whereas the Cantor set is non-reconstructible.
The main result of this paper characterises the non-reconstructible compact metrizable spaces as precisely those where for each point $x$ there is a sequence $\langle B_n^x \colon n \in \mathbb{N}\rangle$ of pairwise disjoint clopen subsets converging to $x$ such that $B_n^x$ and $B_n^y$ are homeomorphic for each $n$, and all $x$ and $y$.
In a non-reconstructible compact metrizable space the set of $1$-point components forms a dense $G_δ$. For $h$-homogeneous spaces, this condition is sufficient for non-reconstruction. A wide variety of spaces with a dense $G_δ$ set of $1$-point components are presented, some reconstructible and others not reconstructible.
Enumeration of diagonally colored Young diagrams
Published
• View Publication
• BIB
In this note we give a new proof of a closed formula for the multivariable generating series of diagonally colored Young diagrams. This series also describes the Euler characteristics of certain Nakajima quiver varieties. Our proof is a direct combinatorial argument, based on Andrews' work on generalized Frobenius partitions. We also obtain representations of these series in some particular cases as infinite products.
The Bruhat order on clans
Published
• View Publication
• BIB
We give an explicit description of the closure containment order (or "Bruhat order") on the set of orbits of GL_p \times GL_q on the flag variety GL_{p+q}/B, relative to the parametrization of the orbits by combinatorial objects called "clans". This leads to a corresponding description of the closures of such orbits as sets of flags satisfying certain incidence conditions encoded by the parametrizing clans.
From Pappus Theorem to parameter spaces of some extremal line point configurations and applications
Published in Geom. Dedicata 188 (2017), 103-121
• View Publication
• BIB
In the present work we study parameter spaces of two line point configurations introduced by Böröczky. These configurations are extremal from the point of view of Dirac-Motzkin Conjecture settled recently by Green and Tao. They have appeared also recently in commutative algebra in connection with the containment problem for symbolic and ordinary powers of homogeneous ideals and in algebraic geometry in considerations revolving around the Bounded Negativity Conjecture. Our main results are Theorem A and Theorem B. We show that the parameter space of what we call $B12$ configurations is a three dimensional rational variety. As a consequence we derive the existence of a three dimensional family of rational $B12$ configurations. On the other hand the moduli space of $B15$ configurations is shown to be an elliptic curve with only finitely many rational points, all corresponding to degenerate configurations. Thus, somewhat surprisingly, we conclude that there are no rational $B15$ configurations.
A Chip-Firing Game on the Product of Two Graphs and the Tropical Picard Group
Published in The Electronic Journal of Combinatorics 24.4 (2017): P4.14
• View Publication
• BIB
In his preprint https://arxiv.org/abs/1308.3813, Cartwright introduced the notion of a weak tropical complex in order to generalize the concepts of divisors and the Picard group on graphs from Baker and Norine's paper Riemann-Roch and Abel-Jacobi Theory on a Finite Graph. A tropical complex $Γ$ is a $Δ$-complex equipped with certain algebraic data. Divisors in a tropical complex are formal linear combinations of ridges, and piecewise-linear functions on a tropical complex give rise in a natural way to divisors. Divisors that arise from PL-functions are called principal, and divisors that are locally principal are called Cartier. Two divisors that differ by a principal divisor are said to be linearly equivalent. The linear equivalence classes of Cartier divisors on a tropical complex $Γ$ form a group called the Picard group of $Γ$, by analogy to the definition of the Picard group of a variety in algebraic geometry.
Every graph has a unique tropical complex structure. If $G$ and $H$ are graphs, and $Γ$ is a triangulation of their product, then $Γ$ has a weak tropical complex structure that is compatible with the tropical complex structures on $G$ and $H$. Thus, divisors on $Γ$ can be thought of as states in a higher-dimensional chip-firing game on $Γ$. Cartwright conjectured that the Picard groups of $Γ$, $G$, and $H$ were closely related. Let $Pic(Γ)$ be the tropical Picard group of $Γ$, and $Pic(G)$ and $Pic(H)$ be the tropical Picard groups of $G$ and $H$. Then, it was conjectured that there is a map $γ: Pic(G) \times Pic(H) \to Pic(Γ)$ that is always injective and is surjective if at least one of $G$ or $H$ is a tree.
In this paper, we prove the conjecture. In preparation, we discuss some basic properties of tropical complexes, along with some properties specific to the product-of-graphs case.
Wonderful Symmetric Varieties and Schubert Polynomials
Published
• View Publication
• BIB
Extending results of Wyser, we determine formulas for the equivariant cohomology classes of closed orbits of certain families of spherical subgroups of $GL_n$ on the flag variety $GL_n/B$. Putting this together with a slight extension of the results of Can-Joyce-Wyser, we arrive at a family of polynomial identities which show that certain explicit sums of Schubert polynomials factor as products of linear forms.
Filtrations on Springer fiber cohomology and Kostka polynomials
Published
• View Publication
• BIB
We prove a conjecture which expresses the bigraded Poisson-de Rham homology of the nilpotent cone of a semisimple Lie algebra in terms of the generalized (one-variable) Kostka polynomials, via a formula suggested by Lusztig. This allows us to construct a canonical family of filtrations on the flag variety cohomology, and hence on irreducible representations of the Weyl group, whose Hilbert series are given by the generalized Kostka polynomials. We deduce consequences for the cohomology of all Springer fibers. In particular, this computes the grading on the zeroth Poisson homology of all classical finite W-algebras, as well as the filtration on the zeroth Hochschild homology of all quantum finite W-algebras, and we generalize to all homology degrees. As a consequence, we deduce a conjecture of Proudfoot on symplectic duality, relating in type A the Poisson homology of Slodowy slices to the intersection cohomology of nilpotent orbit closures. In the last section, we give an analogue of our main theorem in the setting of mirabolic D-modules.
The Prism tableau model for Schubert polynomials
Published in J. Combin. Theory Ser. A 154 (2018), 551-582
• View Publication
• BIB
The Schubert polynomials lift the Schur basis of symmetric polynomials into a basis for Z[x1,x2,...]. We suggest the "prism tableau model" for these polynomials. A novel aspect of this alternative to earlier results is that it directly invokes semistandard tableaux; it does so as part of a colored tableau amalgam. In the Grassmannian case, a prism tableau with colors ignored is a semistandard Young tableau. Our arguments are developed from the Groebner geometry of matrix Schubert varieties.
Incidences and pairs of dot products
Let $\mathbb{F}$ be a field, let $P \subseteq \mathbb{F}^d$ be a finite set of points, and let $α,β\in \mathbb{F} \setminus \{0\}$. We study the quantity \[|Π_{α, β}| = \{(p,q,r) \in P \times P \times P \mid p \cdot q = α, p \cdot r = β\}.\]
We observe a connection between the question of placing an upper bound on $|Π_{α,β}|$ and a well-studied question on the number of incidences betwen points and hyperplanes, and use this connection to prove new and strengthened upper bounds on $|Π_{α,β}|$ in a variety of settings.
On zeros of a polynomial in a finite grid
Published
• View Publication
• BIB
A 1993 result of Alon and Füredi gives a sharp upper bound on the number of zeros of a multivariate polynomial over an integral domain in a finite grid, in terms of the degree of the polynomial. This result was recently generalized to polynomials over an arbitrary commutative ring, assuming a certain "Condition (D)" on the grid which holds vacuously when the ring is a domain. In the first half of this paper we give a further Generalized Alon-Füredi Theorem which provides a sharp upper bound when the degrees of the polynomial in each variable are also taken into account. This yields in particular a new proof of Alon-Füredi. We then discuss the relationship between Alon-Füredi and results of DeMillo-Lipton, Schwartz and Zippel. A direct coding theoretic interpretation of Alon-Füredi Theorem and its generalization in terms of Reed--Muller type affine variety codes is shown which gives us the minimum Hamming distance of these codes. Then we apply the Alon-Füredi Theorem to quickly recover (and sometimes strengthen) old and new results in finite geometry, including the Jamison/Brouwer-Schrijver bound on affine blocking sets. We end with a discussion of multiplicity enhancements.
Deterministic Abelian Sandpile and square-triangle tilings
Published
• View Publication
• BIB
The Abelian Sandpile Model, seen as a deterministic lattice automaton, on two-dimensional periodic graphs generates complex regular patterns displaying (fractal) self-similarity. In particular, on a variety of lattices and initial conditions, at all sizes, there appears what we call an exact Sierpinski structure: the volume is filled with periodic patterns, glued together along straight lines, with the topology of a triangular Sierpinski gasket. Various lattices (square, hexagonal, kagome,...), initial conditions, and toppling rules show Sierpinski structures which are apparently unrelated and involve different mechanisms. As will be shown elsewhere, all these structures fall under one roof, and are in fact different projections of a unique mechanism pertinent to a family of deterministic surfaces in a 4-dimensional lattice. This short note gives a description of this surface, and of the combinatorics associated to its construction.
A note on the minimum size of an orthogonal array
Published
• View Publication
• BIB
It is an elementary fact that the size of an orthogonal array of strength t on k factors must be a multiple of a certain number, say L_t, that depends on the orders of the factors. Thus L_t is a lower bound on the size of arrays of strength t on those factors, and is no larger than L_k, the size of the complete factorial design. We investigate the relationship between the numbers L_t, and two questions in particular: For what t is L_t < L_k? And when L_t = L_k, is the complete factorial design the only array of that size and strength t? Arrays are assumed to be mixed-level.
We refer to an array of size less than L_k as a proper fraction. Guided by our main result, we construct a variety of mixed-level proper fractions of strength k-1 that also satisfy a certain group-theoretic condition.
Toric matrix Schubert varieties and their polytopes
Published
• View Publication
• BIB
Given a matrix Schubert variety $\overline{X_π}$, it can be written as $\overline{X_π}=Y_π\times \mathbb{C}^q$ (where $q$ is maximal possible). We characterize when $Y_π$ is toric (with respect to a $(\mathbb{C}^*)^{2n-1}$-action) and study the associated polytope $Φ(\mathbb{P}(Y_π))$ of its projectivization. We construct regular triangulations of $Φ(\mathbb{P}(Y_π))$ which we show are geometric realizations of a family of subword complexes. Subword complexes were introduced by Knutson and Miller in 2004, who also showed that they are homeomorphic to balls or spheres and raised the question of their polytopal realizations.