lattice
4310 papers tagged with this keyword
The exact phase diagram for a semipermeable TASEP with nonlocal boundary jumps
Published in J. Phys. A: Math. Theor. 52 (2019) 355001 (19pp)
• View Publication
• BIB
We consider a finite one-dimensional totally asymmetric simple exclusion process (TASEP) with four types of particles, $\{1,0,\bar{1},*\}$, in contact with reservoirs. Particles of species $0$ can neither enter nor exit the lattice, and those of species $*$ are constrained to lie at the first and last site. Particles of species $1$ enter from the left reservoir into either the first or second site, move rightwards, and leave from either the last or penultimate site. Conversely, particles of species $\bar{1}$ enter from the right reservoir into either the last or penultimate site, move leftwards, and leave from either the first or last site. This dynamics is motivated by a natural random walk on the Weyl group of type D. We compute the exact nonequilibrium steady state distribution using a matrix ansatz building on earlier work of Arita. We then give explicit formulas for the nonequilibrium partition function as well as densities and currents of all species in the steady state, and derive the phase diagram.
Colored five-vertex models and Demazure atoms
Type A Demazure atoms are pieces of Schur functions, or sets of tableaux whose weights sum to such functions. Inspired by colored vertex models of Borodin and Wheeler, we will construct solvable lattice models whose partition functions are Demazure atoms; the proof of this makes use of a Yang-Baxter equation for a colored five-vertex model. As a biproduct, we construct Demazure atoms on Kashiwara's $\mathcal{B}_\infty$ crystal and give new algorithms for computing Lascoux-Schützenberger keys.
Classification of triples of lattice polytopes with a given mixed volume
Published
• View Publication
• BIB
We present an algorithm for the classification of triples of lattice polytopes with a given mixed volume $m$ in dimension 3. It is known that the classification can be reduced to the enumeration of so-called irreducible triples, the number of which is finite for fixed $m$. Following this algorithm, we enumerate all irreducible triples of normalized mixed volume up to 4 that are inclusion-maximal. This produces a classification of generic trivariate sparse polynomial systems with up to 4 solutions in the complex torus, up to monomial changes of variables. By a recent result of Esterov, this leads to a description of all generic trivariate sparse polynomial systems that are solvable by radicals.
Linear recursions for integer point transforms
We consider the integer point transform $σ_P (\mathbf{x}) = \sum _{\mathbf{m} \in P\cap \mathbb{Z}^n} \mathbf{x}^\mathbf{m} \in \mathbb C [x_1^{\pm 1},\ldots, x_n^{\pm 1}]$ of a polytope $P\subset \mathbb{R}^n$. We show that if $P$ is a lattice polytope then for any polytope $Q$ the sequence $\lbrace σ_{kP+Q}(\mathbf{x})\rbrace _{k\geq 0}$ satisfies a multivariate linear recursion that only depends on the vertices of $P$. We recover Brion's Theorem and by applying our results to Schur polynomials we disprove a conjecture of Alexandersson (2014).
Deletion-restriction for sheaf homology of graded atomic lattices
Published in Adv. Math. 402 (2022), Paper No. 108354
• View Publication
• BIB
We give a long exact sequence for the homology of a graded atomic lattice equipped with a sheaf of modules, in terms of the deleted and restricted lattices. This is then used to compute the homology of the arrangement lattice of a hyperplane arrangement equipped with the natural sheaf. This generalises an old result of Lusztig.
Winding Number of $r$-modular sequences and Applications to the Singularity Content of a Fano Polygon
By generalising the notion of a unimodular sequence, we create an expression for the winding number of certain ordered sets of lattice points. Since the winding number of the vertices of a Fano polygon is necessarily one, we use this expression as a restriction to classify all Fano polygons without T-singularities and whose basket of residual singularities is of the form $\left\{ \frac{1}{r}(1,s_{1}), \frac{1}{r}(1,s_{2}), \ldots, \frac{1}{r}(1,s_{k}) \right\}$ for $k,r \in \mathbb{Z}_{>0}$, and $1 \leq s_{i} < r$ is coprime to $r$.
State matrix recursion method and monomer--dimer problem
The exact enumeration of pure dimer coverings on the square lattice was obtained by Kasteleyn, Temperley and Fisher in 1961. In this paper, we consider the monomer-dimer covering problem (allowing multiple monomers) which is an outstanding unsolved problem in lattice statistics. We have developed the state matrix recursion method that allows us to compute the number of monomer--dimer coverings and to know the partition function with monomer and dimer activities. This method proceeds with a recurrence relation of so-called state matrices of large size. The enumeration problem of pure dimer coverings and dimer coverings with single boundary monomer is revisited in partition function forms. We also provide the number of dimer coverings with multiple vacant sites. The related Hosoya index and the asymptotic behavior of its growth rate are considered. Lastly, we apply this method to the enumeration study of domino tilings of Aztec diamonds and more generalized regions, so-called Aztec octagons and multi-deficient Aztec octagons.
The $cd$-Index: A Survey
This is a survey of the $cd$-index of Eulerian partially ordered sets. The $cd$-index is an encoding of the numbers of chains, specified by ranks, in the poset. It is the most efficient such encoding, incorporating all the affine relations on the flag numbers of Eulerian posets. Eulerian posets include the face posets of regular CW spheres (in particular, of convex polytopes), intervals in the Bruhat order on Coxeter groups, and the lattices of regions of oriented matroids. The paper discusses inequalities on the $cd$-index, connections with other combinatorial parameters, computation, and algebraic approaches.
Antichain Simplices
To each lattice simplex $Δ$ we associate a poset encoding the additive structure of lattice points in the fundamental parallelepiped for $Δ$. When this poset is an antichain, we say $Δ$ is antichain. To each partition $λ$ of $n$, we associate a lattice simplex $Δ_λ$ having one unimodular facet, and we investigate their associated posets. We give a number-theoretic characterization of the relations in these posets, as well as a simplified characterization in the case where each part of $λ$ is relatively prime to $n-1$. We use these characterizations to experimentally study $Δ_λ$ for all partitions of $n$ with $n\leq 73$. We also investigate the structure of these posets when $λ$ has only one or two distinct parts. Finally, we explain how this work relates to Poincaré series for the semigroup algebra associated to $Δ$, and we prove that this series is rational when $Δ$ is antichain.
Analogs of Schur functions for rank two Weyl groups obtained from grid-like posets
In prior work, the authors, along with M. McClard, R. A. Proctor, and N. J. Wildberger, studied certain distributive lattice models for the `Weyl bialternants' (aka `Weyl characters') associated with the rank two root systems/Weyl groups. These distributive lattices were uniformly described as lattices of order ideals taken from certain grid-like posets, although the arguments connecting the lattices to Weyl bialternants were case-by-case depending on the type of the rank two root system. Using this connection with Weyl bialternants, these lattices were shown to be rank symmetric and rank unimodal, and their rank generating functions were shown to have beautiful quotient-of-products expressions. Here, these results are re-derived from scratch using completely uniform and elementary combinatorial reasoning in conjunction with some combinatorial methodology developed elsewhere by the second listed author.
Is the Symmetric Group Sperner?
An antichain $\mathcal{A}$ in a poset $\mathcal{P}$ is a subset of $\mathcal{P}$ in which no two elements are comparable. Sperner showed that the maximal antichain in the Boolean lattice, $\mathcal{B}_n = \left\{ 0 < 1 \right\}^n$, is the largest rank (of size $\binom{n}{\lfloor n/2 \rfloor}$). This type of problem has been since generalized, and a graded poset $\mathcal{P}$ is said to be Sperner if the largest rank of $\mathcal{P}$ is its maximal antichain. In this paper, we will show that the symmetric group $S_n$, partially ordered by refinement (or equivalently by absolute order), is Sperner.
A note on lattices with many sublattices
For every natural number $n\geq 5$, we prove that the number of subuniverses of an $n$-element lattice is $2^n$, $13\cdot 2^{n-4}$, $23\cdot 2^{n-5}$, or less than $23\cdot 2^{n-5}$. By a subuniverse, we mean a sublattice or the emptyset. Also, we describe the $n$-element lattices with exactly $2^n$, $13\cdot 2^{n-4}$, or $23\cdot 2^{n-5}$ subuniverses.
Universal conditions on $h^*$-vectors of lattice simplices
In this paper, we will prove that given a lattice simplex with its $h^*$-polynomial $\sum_{i \geq 0}h_i^*t^i$, if $h_{k+1}^*=\cdots=h_{2k}^*=0$ holds, then there exists a lattice simplex of degree $k$ whose $h^*$-polynomial coincides with $\sum_{i=0}^k h_i^*t^i$. Moreover, we will present the examples showing that the condition $h_{k+1}^*=h_{k+2}^*=\cdots=h_{2k-1}^*=0$ is necessary.
Convex caterpillars are Schur-Positive
A remarkable result of Stanley shows that the set of maximal chains in the non-crossing partition lattice of type $A$ is Schur-positive, where descents are defined by a distinguished edge labeling. A bijection between these chains and labeled trees was presented by Goulden and Yong. Using Adin-Roichman's variant of Björner's $EL$-labeling, we show that the subset of maximal chains in the non-crossing partition lattice of type $A$, whose underlying tree is a convex caterpillar, is Schur-positive.
Convexity of distinct sum sets
We study a combinatorial notion where given a set of lattice points one takes the set of all sums of subsets of a fixed size, and we ask if the given set comes from a convex lattice polytope whether the resulting set also comes from a convex lattice polytope. We obtain a positive result in dimension 2 and a negative result in higher dimensions. We apply this to the corner cut polyhedron.
On colorings of the Boolean lattice avoiding a rainbow copy of a poset
Let $F(n,k)$ ($f(n,k)$) denote the maximum possible size of the smallest color class in a (partial) $k$-coloring of the Boolean lattice $B_n$ that does not admit a rainbow antichain of size $k$. The value of $F(n,3)$ and $f(n,2)$ has been recently determined exactly. We prove that for any fixed $k$ if $n$ is large enough, then $F(n,k),f(n,k)=2^{(1/2+o(1))n}$ holds.
We also introduce the general functions for any poset $P$ and integer $c\ge |P|$: let $F(n,c,P)$ ($f(n,c,P)$) denote the the maximum possible size of the smallest color class in a (partial) $c$-coloring of the Boolean lattice $B_n$ that does not admit a rainbow copy of $P$. We consider the first instances of this general problem.
The lattice permutation condition for Kronecker tableaux (Extended Abstract)
We recently generalised the lattice permutation condition for Young tableaux to Kronecker tableaux and hence calculated a large new class of stable Kronecker coefficients labelled by co-Pieri triples. In this extended abstract we discuss important families of co-Pieri triples for which our combinatorics simplifies drastically.
Homomorphism Complexes and Maximal Chains in Graded Posets
We apply the homomorphism complex construction to partially ordered sets, introducing a new topological construction based on the set of maximal chains in a graded poset. Our primary objects of study are distributive lattices, with special emphasis on finite products of chains. For the special case of a Boolean algebra, we observe that the corresponding homomorphism complex is isomorphic to the subcomplex of cubical cells in a permutahedron. Thus, this work can be interpreted as a generalization of the study of these complexes. We provide a detailed investigation when our poset is a product of chains, in which case we find an optimal discrete Morse matching and prove that the corresponding complex is torsion-free.
A classification of monotone ribbons with full Schur support with application to the classification of full equivalence classes
We consider ribbon shapes, not necessarily connected, whose rows, with at least two boxes in each, are in monotone length order. These ribbons are uniquely defined by a pair of partitions: the row partition consisting of the row lengths in decreasing order, and the overlapping partition whose entries count the total number of columns with two boxes in the successive ribbon shapes obtained by sequentially subtracting the longest row. The support of such ribbon Schur functions, considered as a subposet of the dominance order lattice on partitions, has the row partition as bottom element, and, as top element, the partition whose two parts consist of the total number of columns, and the total number of columns of length two respectively. We give a complete system of linear inequalities in terms of the partition pair defining the aforesaid ribbon shape under which the ribbon Schur function attains all the Schur interval when expanded in the basis of Schur functions. We then conclude that the Gaetz-Hardt-Sridhar necessary condition for a connected ribbon to have full equivalence class is equivalent to the condition for a monotone connected ribbon to have full Schur support. That is, the set of partitions with full equivalence class is a subset of those monotone connected ribbons with full Schur support. M. Gaetz, W. Hardt and S. Sridhar conjectured that the necessary condition is also sufficient which translates now to every monotone connected ribbon with full Schur support has full equivalence class. The main tool of our analysis is the structure of the companion tableau of a ribbon Littlewood-Richardson (LR) tableau detected by the descent set defined by the composition whose parts are the ribbon row lengths.
The existence of monochrome simplexes of a given volume on a rational lattice colored in $n$ colours
The paper proves the existence of monochrome standard simplexes of a given volume on a multidimensional rational lattice painted in a finite number of colors.