lattice
4310 papers tagged with this keyword
Matching polytopes, toric geometry, and the non-negative part of the Grassmannian
Published
• View Publication
• BIB
In this paper we use toric geometry to investigate the topology of the totally non-negative part of the Grassmannian (Gr_{kn})_{\geq 0}. This is a cell complex whose cells Delta_G can be parameterized in terms of the combinatorics of plane-bipartite graphs G. To each cell Delta_G we associate a certain polytope P(G). The polytopes P(G) are analogous to the well-known Birkhoff polytopes, and we describe their face lattices in terms of matchings and unions of matchings of G. We also demonstrate a close connection between the polytopes P(G) and matroid polytopes. We then use the data of P(G) to define an associated toric variety X_G. We use our technology to prove that the cell decomposition of (Gr_{kn})_{\geq 0} is a CW complex, and furthermore, that the Euler characteristic of the closure of each cell of (Gr_{kn})_{\geq 0} is 1.
Towards the Distribution of the Size of a Largest Planar Matching and Largest Planar Subgraph in Random Bipartite Graphs
Published
• View Publication
• BIB
We address the following question: When a randomly chosen regular bipartite multi--graph is drawn in the plane in the ``standard way'', what is the distribution of its maximum size planar matching (set of non--crossing disjoint edges) and maximum size planar subgraph (set of non--crossing edges which may share endpoints)? The problem is a generalization of the Longest Increasing Sequence (LIS) problem (also called Ulam's problem). We present combinatorial identities which relate the number of r-regular bipartite multi--graphs with maximum planar matching (maximum planar subgraph) of at most d edges to a signed sum of restricted lattice walks in Z^d, and to the number of pairs of standard Young tableaux of the same shape and with a ``descend--type'' property. Our results are obtained via generalizations of two combinatorial proofs through which Gessel's identity can be obtained (an identity that is crucial in the derivation of a bivariate generating function associated to the distribution of LISs, and key to the analytic attack on Ulam's problem).
We also initiate the study of pattern avoidance in bipartite multigraphs and derive a generalized Gessel identity for the number of bipartite 2-regular multigraphs avoiding a specific (monotone) pattern.
Generalizations of Khovanskii's theorems on growth of sumsets in abelian semigroups
We show that if $P$ is a lattice polytope in the nonnegative orthant of $\R^k$ and $χ$ is a coloring of the lattice points in the orthant such that the color $χ(a+b)$ depends only on the colors $χ(a)$ and $χ(b)$, then the number of colors of the lattice points in the dilation $nP$ of $P$ is for large $n$ given by a polynomial (or, for rational $P$, by a quasipolynomial). This unifies a classical result of Ehrhart and Macdonald on lattice points in polytopes and a result of Khovanski\uı on sumsets in semigroups. We also prove a strengthening of multivariate generalizations of Khovanski\uı's theorem. Another result of Khovanski\uı states that the size of the image of a finite set after $n$ applications of mappings from a finite family of mutually commuting mappings is for large $n$ a polynomial. We give a combinatorial proof of a multivariate generalization of this theorem.
Weighted lattice polynomials
Published in Discrete Mathematics 309 (4) (2009) 814-820
• View Publication
• BIB
We define the concept of weighted lattice polynomial functions as lattice polynomial functions constructed from both variables and parameters. We provide equivalent forms of these functions in an arbitrary bounded distributive lattice. We also show that these functions include the class of discrete Sugeno integrals and that they are characterized by a median based decomposition formula.
Nested quantum Dyck paths and nabla(s_lambda)
Published
• View Publication
• BIB
We conjecture a combinatorial formula for the monomial expansion of the image of any Schur function under the Bergeron-Garsia nabla operator. The formula involves nested labeled Dyck paths weighted by area and a suitable "diagonal inversion" statistic. Our model includes as special cases many previous conjectures connecting the nabla operator to quantum lattice paths. The combinatorics of the inverse Kostka matrix leads to an elementary proof of our proposed formula when q=1. We also outline a possible approach for proving all the extant nabla conjectures that reduces everything to the construction of sign-reversing involutions on explicit collections of signed, weighted objects.
Exponents of 2-multiarrangements and multiplicity lattices
Published in J. Algebraic Combin. 35 (2012), no. 1, 1-17
• View Publication
• BIB
We introduce a concept of multiplicity lattices of 2-multiarrangements, determine the combinatorics and geometry of that lattice, and give a criterion and method to construct a basis for derivation modules effectively.
Maximal lattice free bodies, test sets and the Frobenius problem
Maximal lattice free bodies are maximal polytopes without interior integral points. Scarf initiated the study of maximal lattice free bodies relative to the facet normals in a fixed matrix. In this paper we give an efficient algorithm for computing the maximal lattice free bodies of an integral matrix A. An important ingredient is a test set for a certain integer program associated with A. This test set may be computed using algebraic methods. As an application we generalize the Scarf-Shallcross algorithm for the three-dimensional Frobenius problem to arbitrary dimension. In this context our method is inspired by the novel algorithm by Einstein, Lichtblau, Strzebonski and Wagon and the Groebner basis approach by Roune.
Posets of annular non-crossing partitions of types B and D
Published
• View Publication
• BIB
We study the set $\sncb (p,q)$ of annular non-crossing permutations of type B, and we introduce a corresponding set $\ncb (p,q)$ of annular non-crossing partitions of type B, where $p$ and $q$ are two positive integers. We prove that the natural bijection between $\sncb (p,q)$ and $\ncb (p,q)$ is a poset isomorphism, where the partial order on $\sncb (p,q)$ is induced from the hyperoctahedral group $B_{p+q}$, while $\ncb (p,q)$ is partially ordered by reverse refinement. In the case when $q=1$, we prove that $\ncb (p,1)$ is a lattice with respect to reverse refinement order.
We point out that an analogous development can be pursued in type D, where one gets a canonical isomorphism between $\sncd (p,q)$ and $\ncd (p,q)$. For $q=1$, the poset $\ncd (p,1)$ coincides with a poset ``$NC^{(D)} (p+1)$'' constructed in a paper by Athanasiadis and Reiner in 2004, and is a lattice by the results of that paper.
Simple formulas for lattice paths avoiding certain periodic staircase boundaries
Published
• View Publication
• BIB
There is a strikingly simple classical formula for the number of lattice paths avoiding the line x = ky when k is a positive integer. We show that the natural generalization of this simple formula continues to hold when the line x = ky is replaced by certain periodic staircase boundaries--but only under special conditions. The simple formula fails in general, and it remains an open question to what extent our results can be further generalized.
Lattice polytopes having h^*-polynomials with given degree and linear coefficient
Published in Eur. J. Comb. 29 (2008), 1596-1602
• View Publication
• BIB
The h^*-polynomial of a lattice polytope is the numerator of the generating function of the Ehrhart polynomial. Let P be a lattice polytope with h^*-polynomial of degree d and with linear coefficient h^*_1. We show that P has to be a lattice pyramid over a lower-dimensional lattice polytope, if the dimension of P is greater or equal to h^*_1 (2d+1) + 4d-1. This result has a purely combinatorial proof and generalizes a recent theorem of Batyrev.
The alternating sign matrix polytope
Published in Electron. J. Combin. 16 (2009) no. 1
• View Publication
• BIB
We define the alternating sign matrix polytope as the convex hull of nxn alternating sign matrices and prove its equivalent description in terms of inequalities. This is analogous to the well known result of Birkhoff and von Neumann that the convex hull of the permutation matrices equals the set of all nonnegative doubly stochastic matrices. We count the facets and vertices of the alternating sign matrix polytope and describe its projection to the permutohedron as well as give a complete characterization of its face lattice in terms of modified square ice configurations. Furthermore we prove that the dimension of any face can be easily determined from this characterization.
Catalan's intervals and realizers of triangulations
Published in Journal of Combinatorial Theory Series A 116, 1 (2009) 55-75
• View Publication
• BIB
The Stanley lattice, Tamari lattice and Kreweras lattice are three remarkable orders defined on the set of Catalan objects of a given size. These lattices are ordered by inclusion: the Stanley lattice is an extension of the Tamari lattice which is an extension of the Kreweras lattice. The Stanley order can be defined on the set of Dyck paths of size $n$ as the relation of \emph{being above}. Hence, intervals in the Stanley lattice are pairs of non-crossing Dyck paths. In a former article, the second author defined a bijection $Φ$ between pairs of non-crossing Dyck paths and the realizers of triangulations (or Schnyder woods). We give a simpler description of the bijection $Φ$. Then, we study the restriction of $Φ$ to Tamari's and Kreweras' intervals. We prove that $Φ$ induces a bijection between Tamari intervals and minimal realizers. This gives a bijection between Tamari intervals and triangulations. We also prove that $Φ$ induces a bijection between Kreweras intervals and the (unique) realizers of stack triangulations. Thus, $Φ$ induces a bijection between Kreweras intervals and stack triangulations which are known to be in bijection with ternary trees.
Polynomial solutions of qKZ equation and ground state of XXZ spin chain at Delta = -1/2
Published
• View Publication
• BIB
Integral formulae for polynomial solutions of the quantum Knizhnik-Zamolodchikov equations associated with the R-matrix of the six-vertex model are considered. It is proved that when the deformation parameter q is equal to e^{+- 2 pi i/3} and the number of vertical lines of the lattice is odd, the solution under consideration is an eigenvector of the inhomogeneous transfer matrix of the six-vertex model. In the homogeneous limit it is a ground state eigenvector of the antiferromagnetic XXZ spin chain with the anisotropy parameter Delta equal to -1/2 and odd number of sites. The obtained integral representations for the components of this eigenvector allow to prove some conjectures on its properties formulated earlier. A new statement relating the ground state components of XXZ spin chains and Temperley-Lieb loop models is formulated and proved.
Geometric structure of sumsets
Given a finite set of lattice points, we compare its sumsets and lattice points in its dilated convex hulls. Both of these are known to grow as polynomials. Generally, the former are subsets of the latter. In this paper, we will see that sumsets occupy all the central lattice points in convex hulls, giving us a kind of approximation to lattice points in polytopes.
Determinant Formulas Relating to Tableaux of Bounded Height
Published
• View Publication
• BIB
Chen et al. recently established bijections for $(d+1)$-noncrossing/ nonnesting matchings, oscillating tableaux of bounded height $d$, and oscillating lattice walks in the $d$-dimensional Weyl chamber. Stanley asked what is the total number of such tableaux of length $n$ and of any shape. We find a determinant formula for the exponential generating function. The same idea applies to prove Gessel's remarkable determinant formula for permutations with bounded length of increasing subsequences. We also give short algebraic derivations for some results of the reflection principle.
On the Young-Fibonacci insertion algorithm
This work is concerned with some properties of the Young-Fibonacci insertion algorithm and its relation with Fomin's growth diagrams. It also investigates a relation between the combinatorics of Young-Fibonacci tableaux and the study of Okada's algebra associated to the Young-Fibonacci lattice. The original algorithm was introduced by Roby and we redefine it in such a way that both the insertion and recording tableaux of any permutation are \emph{conveniently} interpreted as chains in the Young-Fibonacci lattice. A property of Killpatrick's evacuation is given a simpler proof, but this evacuation is no longer needed in making Roby's and Fomin's constructions coincide. We provide the set of Young-Fibonacci tableaux of size $n$ with a structure of graded poset, induced by the weak order on permutations of the symmetric group, and realized by transitive closure of elementary transformations on tableaux. We show that this poset gives a combinatorial interpretation of the coefficients in the transition matrix from the analogue of complete symmetric functions to analogue of the Schur functions in Okada's algebra. We end with a quite similar observation for four posets on Young-tableaux studied by Taskin.
Hilbert functions of points on Schubert varieties in Orthogonal Grassmannians
Published
• View Publication
• BIB
A solution is given to the following problem: how to compute the multiplicity, or more generally the Hilbert function, at a point on a Schubert variety in an orthogonal Grassmannian. Standard monomial theory is applied to translate the problem from geometry to combinatorics. The solution of the resulting combinatorial problem forms the bulk of the paper. This approach has been followed earlier to solve the same problem for the Grassmannian and the symplectic Grassmannian.
As an application, we present an interpretation of the multiplicity as the number of non-intersecting lattice paths of a certain kind.
Taking the Schubert variety to be of a special kind and the point to be the "identity coset," our problem specializes to a problem about Pfaffian ideals treatments of which by different methods exist in the literature. Also available in the literature is a geometric solution when the point is a "generic singularity."
A determinant of Stirling cycle numbers counts unlabeled acyclic single-source automata
Published
• View Publication
• BIB
We show that a determinant of Stirling cycle numbers counts unlabeled acyclic single-source automata. The proof involves a bijection from these automata to certain marked lattice paths and a sign-reversing involution to evaluate the determinant.
Partial cubes: structures, characterizations, and constructions
Published
• View Publication
• BIB
Partial cubes are isometric subgraphs of hypercubes. Structures on a graph defined by means of semicubes, and Djoković's and Winkler's relations play an important role in the theory of partial cubes. These structures are employed in the paper to characterize bipartite graphs and partial cubes of arbitrary dimension. New characterizations are established and new proofs of some known results are given.
The operations of Cartesian product and pasting, and expansion and contraction processes are utilized in the paper to construct new partial cubes from old ones. In particular, the isometric and lattice dimensions of finite partial cubes obtained by means of these operations are calculated.
Periodicity of hyperplane arrangements with integral coefficients modulo positive integers
Published in J. Alg. Combin. 27 (2008), 317-330
• View Publication
• BIB
We study central hyperplane arrangements with integral coefficients modulo positive integers $q$. We prove that the cardinality of the complement of the hyperplanes is a quasi-polynomial in two ways, first via the theory of elementary divisors and then via the theory of the Ehrhart quasi-polynomials. This result is useful for determining the characteristic polynomial of the corresponding real arrangement. With the former approach, we also prove that intersection lattices modulo $q$ are periodic except for a finite number of $q$'s.