lattice ↗ reference
4394 papers tagged with this keyword
Walks in the quarter plane: Kreweras' algebraic model
Published in The Annals of Applied Probability 15, 2 (2005) 1451-1491
• View Publication
• BIB
We consider planar lattice walks that start from (0,0), remain inthe first quadrant i, j >= 0, and are made of three types of steps: North-East, West and South. These walks are known to have remarkable enumerative and probabilistic properties: -- they are counted by nice numbers (Kreweras 1965), -- the generating function of these numbers is algebraic (Gessel 1986), -- the stationary distribution of the corresponding Markov chain in the quadrant has an algebraic probability generating function (Flatto and Hahn 1984). These results are not well understood, and have been established via complicated proofs. Here we give a uniform derivation of all of them, whichis more elementary that those previously published.We then go further by computing the full law of the Markov chain. This helps to delimit the border of algebraicity: the associated probability generating function is no longer algebraic, unless a diagonal symmetry holds. Our proofs are based on the solution of certain functional equations,which are very simple to establish. Finding purely combinatorial proofs remains an open problem.
On Lattice Barycentric Tetrahedra
We say a lattice tetrahedron whose centroid is its only non-vertex lattice point is lattice barycentric. The notation T(a,b,c) describes the lattice tetrahedron with vertices {0, e_1, e_2, a e_1 + b e_2 + c e_3}. Our result is that all such T(a,b,c) are unimodularly equivalent to T(3,3,4) or T(7,11,20).
Spanning forests and the q-state Potts model in the limit q \to 0
Published in J.Statist.Phys. 119 (2005) 1153-1281
• View Publication
• BIB
We study the q-state Potts model with nearest-neighbor coupling v=e^{βJ}-1 in the limit q,v \to 0 with the ratio w = v/q held fixed. Combinatorially, this limit gives rise to the generating polynomial of spanning forests; physically, it provides information about the Potts-model phase diagram in the neighborhood of (q,v) = (0,0). We have studied this model on the square and triangular lattices, using a transfer-matrix approach at both real and complex values of w. For both lattices, we have computed the symbolic transfer matrices for cylindrical strips of widths 2 \le L \le 10, as well as the limiting curves of partition-function zeros in the complex w-plane. For real w, we find two distinct phases separated by a transition point w=w_0, where w_0 = -1/4 (resp. w_0 = -0.1753 \pm 0.0002) for the square (resp. triangular) lattice. For w > w_0 we find a non-critical disordered phase, while for w < w_0 our results are compatible with a massless Berker-Kadanoff phase with conformal charge c = -2 and leading thermal scaling dimension x_{T,1} = 2 (marginal operator). At w = w_0 we find a "first-order critical point": the first derivative of the free energy is discontinuous at w_0, while the correlation length diverges as w \downarrow w_0 (and is infinite at w = w_0). The critical behavior at w = w_0 seems to be the same for both lattices and it differs from that of the Berker-Kadanoff phase: our results suggest that the conformal charge is c = -1, the leading thermal scaling dimension is x_{T,1} = 0, and the critical exponents are ν= 1/d = 1/2 and α= 1.
Geometrically constructed bases for homology of partition lattices of types A, B and D
We use the theory of hyperplane arrangements to construct natural bases for the homology of partition lattices of types A, B and D. This extends and explains the "splitting basis" for the homology of the partition lattice given in [Wa96], thus answering a question asked by R. Stanley. More explicitly, the following general technique is presented and utilized. Let A be a central and essential hyperplane arrangement in R^d. Let R_1,...,R_k be the bounded regions of a generic hyperplane section of A. We show that there are induced polytopal cycles ρ_{R_i} in the homology of the proper part \bar{L_A} of the intersection lattice such that {ρ_{R_i}}_{i=1,...,k} is a basis for \tilde H_{d-2}(\bar{L_A}). This geometric method for constructing combinatorial homology bases is applied to the Coxeter arrangements of types A, B and D, and to some interpolating arrangements.
Enumerative tropical algebraic geometry in R2
Published
• View Publication
• BIB
The paper establishes a formula for enumeration of curves of arbitrary genus in toric surfaces. It turns out that such curves can be counted by means of certain lattice paths in the Newton polygon. The formula was announced earlier in http://arxiv.org/abs/math.AG/0209253.
The result is established with the help of the so-called tropical algebraic geometry. This geometry allows one to replace complex toric varieties with the Euclidean n-space and holomorphic curves with certain piecewise-linear graphs there.
Applications of Minor Summation Formula III, Plucker Relations, Lattice Paths and Pfaffian Identities
Published in J. Combin. Theory Ser. A. 113, (2006) 113-155
• View Publication
• BIB
The initial purpose of this paper is to provide a combinatorial proof of the minor summation formula of Pfaffians based on the lattice path method. There we related Plücker relations with the minor summation formula of Pfaffians to simplify its proof by lattice paths. The second aim is to find a various applications of the minor summation formula. First we studied a variant of the Sundquist formula established in J. Alg. Combin. {\bf 5} (1996). Next we gave a simple proof of Kawanaka's formula concerning a $q$-series identity involving Schur functions in Osaka J. Math. {\bf 36} (1999). We also establish a certain identity similar to the Kawanaka formula, and give a combinatorial proof of the determinant version of his formula in Osaka J. Math. {\bf 38} (2001).
Polar decomposition and Brion's theorem
Published
• View Publication
• BIB
In this note we point out the relation between Brion's formula for the lattice point generating function of a convex polytope in terms of the vertex cones [Brion1988] on the one hand, and the polar decomposition à la Lawrence/Varchenko [Lawrence1991, Varchenko1987] on the other.
We then go on to prove a version of polar decomposition for non-simple polytopes.
The Bergman complex of a matroid and phylogenetic trees
Published
• View Publication
• BIB
We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural subdivision of the Bergman complex of M is a geometric realization of the order complex of its lattice of flats. In addition, we show that the Bergman fan B'(K_n) of the graphical matroid of the complete graph K_n is homeomorphic to the space of phylogenetic trees T_n.
Nonintersecting lattice paths on the cylinder
We show how a formula concerning ``vicious walkers'' (which basically are nonintersecting lattice paths) on the cylinder given by P.J. Forrester can be proved and generalized by using the Lindström--Gessel--Viennot method, after having things set up in the right way. We apply the corresponding results to the (thermodynamic limit of the) free energy of the ``lock step model of vicious walkers'', thus completing (and in one instance correcting) the work of Forrester . Moreover, we also show how a related formula given by I. Gessel and C. Krattenthaler can be obtained from the same ``point of view''.
Tamari lattices and noncrossing partitions in type B and beyond
Published
• View Publication
• BIB
The usual, or type A_n, Tamari lattice is a partial order on T_n^A, the triangulations of an (n+3)-gon. We define a partial order on T_n^B, the set of centrally symmetric triangulations of a (2n+2)-gon. We show that it is a lattice, and that it shares certain other nice properties of the A_n Tamari lattice, and therefore that it deserves to be considered the B_n Tamari lattice. We define a bijection between T_n^B and the non-crossing partitions of type B_n defined by Reiner. For S any subset of [n], Reiner defined a pseudo-type BD^S_n, to which is associated a subset of the noncrossing partitions of type B_n. We show that the elements of T^B_n which correspond to the noncrossing partitions of type BD^S_n posess a lattice structure induced from their inclusion in T^B_n.
Toric Fano 3-folds with terminal singularities
Published in Tohoku Math. J. (2) 58 (2006), no. 1, 101-121
• View Publication
• BIB
This paper classifies all toric Fano 3-folds with terminal singularities. This is achieved by solving the equivalent combinatoric problem; that of finding, up to the action of GL(3,Z), all convex polytopes in Z^3 which contain the origin as the only non-vertex lattice point.
The Cherednik kernel and generalized exponents
We show how the knowledge of the Fourier coefficients of the Cherednik kernel leads to combinatorial formulas for generalized exponents. We recover known formulas for generalized exponents of irreducible representations parameterized by dominant roots, and obtain new formulas for the generalized exponents for irreducible representations parameterized by the dominant elements of the root lattice which are sums of two orthogonal short roots.
Lexicographic shellability for balanced complexes
Published in J. Algebraic Combinatorics, 17 (2003), no. 1, 27-52
• View Publication
• BIB
We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Björner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetric groups, and we provide a partitioning for the quotient complex $Δ(Π_n)/S_n $.
Stanley asked for a description of the symmetric group representation $β_S $ on the homology of the rank-selected partition lattice $Π_n^S $ in [St2], and in particular he asked when the multiplicity $b_S(n)$ of the trivial representation in $β_S$ is 0. One consequence of the partitioning for $\dps $ is a (fairly complicated) combinatorial interpretation for $b_S(n) $; another is a simple proof of Hanlon's result that $b_{1,..., i}(n)=0$. Using a result of Garsia and Stanton, we deduce from our shelling for $Δ(B_{2n})/S_2 \wr S_n$ that the ring of invariants $k[x_1,..., x_{2n}]^{S_2\wr S_n}$ is Cohen-Macaulay over any field $k$.
Multiplicity of the trivial representation in rank-selected homology of the partition lattice
Published in J. Algebra 266 (2003), no. 2, 521-538
• View Publication
• BIB
We study the multiplicity $b_S(n)$ of the trivial representation in the symmetric group representations $β_S$ on the (top) homology of the rank-selected partition lattice $Π_n^S$. We break the possible rank sets $S$ into three cases: (1) $1\not\in S$, (2) $S=1,..., i$ for $i\ge 1$ and (3) $S=1,..., i,j_1,..., j_l$ for $i,l\ge 1$, $j_1 > i+1$. It was previously shown by Hanlon that $b_S(n)=0$ for $S=1,..., i$. We use a partitioning for $Δ(Π_n)/S_n$ due to Hersh to confirm a conjecture of Sundaram that $b_S(n)>0$ for $1\not\in S$. On the other hand, we use the spectral sequence of a filtered complex to show $b_S(n)=0$ for $S=1,..., i,j_1,..., j_l$ unless a certain type of chain of support $S$ exists. The partitioning for $Δ(Π_n)/S_n$ allows us then to show that a large class of rank sets $S=1,..., i,j_1,..., j_l$ for which such a chain exists do satisfy $b_S(n)>0$. We also generalize the partitioning for $Δ(Π_n)/S_n$ to $Δ(Π_n)/S_λ$; when $λ= (n-1,1)$, this partitioning leads to a proof of a conjecture of Sundaram about $S_1\times S_{n-1}$-representations on the homology of the partition lattice.
Connectivity of h-complexes
Published
• View Publication
• BIB
This paper verifies a conjecture of Edelman and Reiner regarding the homology of the $h$-complex of a Boolean algebra. A discrete Morse function with no low-dimensional critical cells is constructed, implying a lower bound on connectivity. This together with an Alexander duality result of Edelman and Reiner implies homology-vanishing also in high dimensions. Finally, possible generalizations to certain classes of supersolvable lattices are suggested.
M-partitions: Optimal partitions of weight for one scale pan
An M-partition of a positive integer m is a partition with as few parts as possible such that any positive integer less than m has a partition made up of parts taken from that partition of m. This is equivalent to partitioning a weight m so as to be able to weigh any integer weight l < m with as few weights as possible and only one scale pan.
We show that the number of parts of an M-partition is a log-linear function of m and the M-partitions of m correspond to lattice points in a polytope. We exhibit a recurrence relation for counting the number of M-partitions of m and, for ``half'' of the positive integers, this recurrence relation will have a generating function. The generating function will be, in some sense, the same as the generating function for counting the number of distinct binary partitions for a given integer.
A solution to the tennis ball problem
Published
• View Publication
• BIB
We present a complete solution to the so-called tennis ball problem, which is equivalent to counting lattice paths in the plane that use North and East steps and lie between certain boundaries. The solution takes the form of explicit expressions for the corresponding generating functions. Our method is based on the properties of Tutte polynomials of matroids associated to lattice paths. We also show how the same method provides a solution to a wide generalization of the problem.
The monomial ideal of a finite meet-semilattice
Published
• View Publication
• BIB
Squarefree monomial ideals arising from finite meet-semilattices and their free resolutions are studied. For the squarefree monomial ideals corresponding to poset ideals in a distributive lattice the Alexander dual is computed.
A uniformly distributed parameter on a class of lattice paths
Published
• View Publication
• BIB
Let G_n denote the set of lattice paths from (0,0) to (n,n) with steps of the form (i,j) where i and j are nonnegative integers, not both 0. Let D_n denote the set of paths in G_n with steps restricted to (1,0), (0,1), (1,1), so-called Delannoy paths. Stanley has shown that | G_n | = 2^(n-1) | D_n | and Sulanke has given a bijective proof. Here we give a simple parameter on G_n that is uniformly distributed over the 2^(n-1) subsets of [n-1] = {1,2,...,n-1} and takes the value [n-1] precisely on the Delannoy paths.
Descending plane partitions and rhombus tilings of a hexagon with triangular hole
Published in Europ. J. Combin. 27 (2006), 1138-1146.
• View Publication
• BIB
It is shown that the descending plane partitions of Andrews can be geometrically realized as cyclically symmetric rhombus tilings of a certain hexagon where an equilateral triangle of side length 2 has been removed from its centre. Thus, the lattice structure for descending plane partitions, as introduced by Mills, Robbins and Rumsey, allows for an elegant visualization.