lattice
4310 papers tagged with this keyword
Squishing dimers on the hexagon lattice
Published
• View Publication
• BIB
We describe an operation on dimer configurations on the hexagon lattice, called "squishing", and use this operation to explain some of the properties of dimer generating functions.
A Reflection Principle for Three Vicious Walkers
We establish a reflection principle for three lattice walkers and use this principle to reduce the enumeration of the configurations of three vicious walkers to that of configurations of two vicious walkers. In the combinatorial treatment of two vicious walkers, we make connections to two-chain watermelons and to the classical ballot problem. Precisely, the reflection principle leads to a bijection between three walks $(L_1, L_2, L_3)$ such that $L_2$ intersects both $L_1$ and $L_3$ and three walks $(L_1, L_2, L_3)$ such that $L_1$ intersects $L_3$. Hence we find a combinatorial interpretation of the formula for the generating function for the number of configurations of three vicious walkers, originally derived by Bousquet-Mélou by using the kernel method, and independently by Gessel by using tableaux and symmetric functions.
A short proof of the Twelve points theorem
Published in Mathematical Notes 77:1(2005), 108-111
• Search Publication
We present a short elementary proof of the following Twelve Points Theorem:
Let M be a convex polygon with vertices at the lattice points, containing a single lattice point in its interior. Denote by m (resp. m*) the number of lattice points in the boundary of M (resp. in the boundary of the dual polygon). Then m+m*=12.
Hopf algebras and the logarithm of the S-transform in free probability
Published
• View Publication
• BIB
Let k be a positive integer and let G_k denote the set of non-commutative k-variable distributions μsuch that μ(X_1) = ... = μ(X_k) = 1. G_k is a group under the operation of free multiplicative convolution. We identify G_k as the group of characters of a certain Hopf algebra Y_k. Then, by using the log map from characters to infinitesimal characters of Y_k, we introduce a transform LS_μ for distributions μin G_k. The main property of the LS-transform is that it linearizes commuting products in G_k. For μin G_k, the transform LS_μ is a power series in k non-commuting indeterminates; its coefficients can be computed from the coefficients of the R-transform of μby using summations over chains in the lattices NC(n) of non-crossing partitions.
In the particular case k=1 one has that Y_1 is naturally isomorphic to the Hopf algebra Sym of symmetric functions, and that the LS-transform is very closely related to the logarithm of the S-transform of Voiculescu, by the formula LS(z) = - z log S(z). In this case the group G_1 can be identified as the group of characters of Sym, in such a way that the S-transform, its reciprocal 1/S and its logarithm log S relate in a natural sense to the sequences of complete, elementary and respectively power sum symmetric functions.
Universality of the limit shape of convex lattice polygonal lines
Published in Annals of Probability 2011, Vol. 39, No. 6, 2271-2317
• View Publication
• BIB
Let ${\varPi}_n$ be the set of convex polygonal lines $\varGamma$ with vertices on $\mathbb {Z}_+^2$ and fixed endpoints $0=(0,0)$ and $n=(n_1,n_2)$. We are concerned with the limit shape, as $n\to\infty$, of "typical" $\varGamma\in {\varPi}_n$ with respect to a parametric family of probability measures $\{P_n^r,0<r<\infty\}$ on ${\varPi}_n$, including the uniform distribution ($r=1$) for which the limit shape was found in the early 1990s independently by A. M. Vershik, I. Bárány and Ya. G. Sinai. We show that, in fact, the limit shape is universal in the class $\{P^r_n\}$, even though $P^r_n$ ($r\ne1$) and $P^1_n$ are asymptotically singular. Measures $P^r_n$ are constructed, following Sinai's approach, as conditional distributions $Q_z^r(\cdot |{\varPi}_n)$, where $Q_z^r$ are suitable product measures on the space ${\varPi}=\bigcup_n{\varPi}_n$, depending on an auxiliary "free" parameter $z=(z_1,z_2)$. The transition from $({\varPi},Q_z^r)$ to $({\varPi}_n,P_n^r)$ is based on the asymptotics of the probability $Q_z^r({\varPi}_n)$, furnished by a certain two-dimensional local limit theorem. The proofs involve subtle analytical tools including the Möbius inversion formula and properties of zeroes of the Riemann zeta function.
A geometric interpretation of Stanley's monotonicity theorem
We present a new geometric proof of Stanley's monotonicity theorem for lattice polytopes, using an interpretation of $δ$-polynomials of lattice polytopes in terms of orbifold Chow rings.
On a conjecture of Ira Gessel
Let F(m; n1, n2) denote the number of lattice walks from (0,0) to (n1,n2), always staying in the first quadrant {(n_1,n_2); n1 >= 0, n2 >= 0} and having exactly m steps, each of which belongs to the set {E=(1,0), W=(-1,0), NE=(1,1), SW=(-1,-1)}. Ira Gessel conjectured that F(2n; 0, 0) = 16^n (1/2)_n (5/6)_n / ((2)_n (5/3)_n) where (a)_n is the Pochhammer symbol. We pose similar conjectures for some other values of (n1,n2), and give closed-form formulas for F(n1; n1, n2) when n1 >= n2 as well as for F(2n2 - n1; n1, n2) when n1 <= n2. In the main part of the paper, we derive a functional equation satisfied by the generating function of F(m; n1, n2), use the kernel method to turn it into an infinite lower-triangular system of linear equations satisfied by the values of F(m; n1, 0) and F(m; 0, n2) + F(m; 0, n2 - 1), and express these values explicitly as determinants of lower-Hessenberg matrices with unit superdiagonals whose non-zero entries are products of two binomial coefficients.
Discrete piecewise linear functions
Published
• View Publication
• BIB
The concept of permutograph is introduced and properties of integral functions on permutographs are established. The central result characterizes the class of integral functions that are representable as lattice polynomials. This result is used to establish lattice polynomial representations of piecewise linear functions on convex domains and continuous selectors on linear orders.
Sequential cavity method for computing free energy and surface pressure
Published
• View Publication
• BIB
We propose a new method for the problems of computing free energy and surface pressure for various statistical mechanics models on a lattice $\Z^d$. Our method is based on representing the free energy and surface pressure in terms of certain marginal probabilities in a suitably modified sublattice of $\Z^d$. Then recent deterministic algorithms for computing marginal probabilities are used to obtain numerical estimates of the quantities of interest. The method works under the assumption of Strong Spatial Mixing (SSP), which is a form of a correlation decay.
We illustrate our method for the hard-core and monomer-dimer models, and improve several earlier estimates. For example we show that the exponent of the monomer-dimer coverings of $\Z^3$ belongs to the interval $[0.78595,0.78599]$, improving best previously known estimate of (approximately) $[0.7850,0.7862]$ obtained in \cite{FriedlandPeled},\cite{FriedlandKropLundowMarkstrom}. Moreover, we show that given a target additive error $ε>0$, the computational effort of our method for these two models is $(1/ε)^{O(1)}$ \emph{both} for free energy and surface pressure. In contrast, prior methods, such as transfer matrix method, require $\exp\big((1/ε)^{O(1)}\big)$ computation effort.
Some Ramsey results for the n-cube
Published
• View Publication
• BIB
In this note we establish a Ramsey-type result for certain subsets of the $n$-dimensional cube. This can then be applied to obtain reasonable bounds on various related structures, such as (partial) Hales-Jewett lines for alphabets of sized 3 and 4, Hilbert cubes in sets of real numbers with small sumsets, "corner" in the integer lattice in the plane, and 3-term geometric progressions in integers.
ULD-Lattices and Delta-Bonds
Published
• View Publication
• BIB
We provide a characterization of upper locally distributive lattices (ULD-lattices) in terms of edge colorings of their cover graphs. In many instances where a set of combinatorial objects carries the order structure of a lattice this characterization yields a slick proof of distributivity or UL-distributivity. This is exemplified by proving a distributive lattice structure on Delta-bonds with invariant circular flow-difference. This instance generalizes several previously studied lattice structures, in particular, c-orientations (Propp), alpha-orientations of planar graphs (Felsner, resp. de Mendez) and planar flows (Khuller, Naor and Klein). The characterization also applies to other instances, e.g. to chip-firing games.
The Quasi-Holonomic Ansatz and Restricted Lattice Walks
Published
• View Publication
• BIB
The great enumerator Germain Kreweras empirically discovered this intriguing fact, and then needed lots of pages[K], and lots of human ingenuity, to prove it. Other great enumerators, for example, Heinrich Niederhausen[N], Ira Gessel[G1], and Mireille Bousquet-Mélou[B], found other ingenious, ``simpler'' proofs. Yet none of them is as simple as ours! Our proof (with the generous help of our faithful computers) is ``ugly'' in the traditional sense, since it would be painful for a lowly human to follow all the steps. But according to our humble aesthetic taste, this proof is much more elegant, since it is (conceptually) one-line. So what if that line is rather long (a huge partial-recurrence equation satisfied by the general counting function), it occupies less storage than a very low-resolution photograph.
Proof of Ira Gessel's Lattice Path Conjecture
Published
• View Publication
• BIB
We present a computer-aided, yet fully rigorous, proof of Ira Gessel's tantalizingly simply-stated conjecture that the number of ways of walking $2n$ steps in the region $x+y \geq 0, y \geq 0$ of the square-lattice with unit steps in the east, west, north, and south directions, that start and end at the origin, equals $16^n\frac{(5/6)_n(1/2)_n}{(5/3)_n(2)_n}$ .
Geometrically Constructed Bases for Homology of Non-Crossing Partition Lattices
Published
• View Publication
• BIB
For any finite, real reflection group $W$, we construct a geometric basis for the homology of the corresponding non-crossing partition lattice. We relate this to the basis for the homology of the corresponding intersection lattice introduced by Björner and Wachs in \cite{BW} using a general construction of a generic affine hyperplane for the central hyperplane arrangement defined by $W$.
A note on palindromic $δ$-vectors for certain rational polytopes
Published in Electronic Journal of Combinatorics, 15 (2008), #N18
• View Publication
• BIB
Let P be a convex polytope containing the origin, whose dual is a lattice polytope. Hibi's Palindromic Theorem tells us that if P is also a lattice polytope then the Ehrhart $δ$-vector of P is palindromic. Perhaps less well-known is that a similar result holds when P is rational. We present an elementary lattice-point proof of this fact.
Unmixed bipartite graphs and sublattices of the Boolean lattices
Published in Journal of Algebraic Combinatorics 30 (2009), 415--420
• View Publication
• BIB
The correspondence between unmixed bipartite graphs and sublattices of the oolean lattice is discussed. By using this correspondence, we show the existence of squarefree quadratic initial ideals of toric ideals arising from minimal vertex covers of unmixed bipartite graphs.
Some combinatorics related to central binomial coefficients: Grand-Dyck paths, coloured noncrossing partitions and signed pattern avoiding permutations
Published
• View Publication
• BIB
We give some interpretations to certain integer sequences in terms of parameters on Grand-Dyck paths and coloured noncrossing partitions, and we find some new bijections relating Grand-Dyck paths and signed pattern avoiding permutations. Next we transfer a natural distributive lattice structure on Grand-Dyck paths to coloured noncrossing partitions and signed pattern avoiding permutations, thus showing, in particular, that it is isomorphic to the structure induced by the (strong) Bruhat order on a certain set of signed pattern avoiding permutations.
Ordered k-flaw Preferences Sets
In this paper, we focus on ordered $k$-flaw preference sets. Let $\mathcal{OP}_{n,\geq k}$ denote the set of ordered preference sets of length $n$ with at least $k$ flaws and $\mathcal{S}_{n,k}=\{(x_1,...,x_{n-k})\mid x_1+x_2+... +x_{n-k}=n+k, x_i\in\mathbb{N}\}$. We obtain a bijection from the sets $\mathcal{OP}_{n,\geq k}$ to $\mathcal{S}_{n,k}$. Let $\mathcal{OP}_{n,k}$ denote the set of ordered preference sets of length $n$ with exactly $k$ flaws. An $(n,k)$-\emph{flaw path} is a lattice path starting at $(0,0)$ and ending at $(2n,0)$ with only two kinds of steps--rise step: $U=(1,1)$ and fall step: $D=(1,-1)$ lying on the line $y = -k$ and touching this line. Let $\mathcal{D}_{n,k}$ denote the set of $(n, k)$-flaw paths. Also we establish a bijection between the sets $\mathcal{OP}_{n,k}$ and $\mathcal{D}_{n,k}$. Let $op_{n,\geq k,\leq l}^m$ $(op_{n, k, =l}^m)$ denote the number of preference sets $α=(a_1,...,a_n)$ with at least $k$ (exact) flaws and leading term $m$ satisfying $a_i\leq l$ for any $i$ $(\max\{a_i\mid 1\leq i\leq n\}=l)$, respectively. With the benefit of these bijections, we obtain the explicit formulas for $op_{n,\geq k,\leq l}^m$. Furthermore, we give the explicit formulas for $op_{n, k, =l}^m$. We derive some recurrence relations of the sequence formed by ordered $k$-flaw preference sets of length $n$ with leading term $m$. Using these recurrence relations, we obtain the generating functions of some corresponding $k$-flaw preference sets.
Potential Polynomials and Motzkin Paths
Published
• View Publication
• BIB
A {\em Motzkin path} of length $n$ is a lattice path from $(0,0)$ to $(n,0)$ in the plane integer lattice $\mathbb{Z}\times\mathbb{Z}$ consisting of horizontal-steps $(1, 0)$, up-steps $(1,1)$, and down-steps $(1,-1)$, which never passes below the x-axis. A {\em $u$-segment {\rm (resp.} $h$-segment {\rm)}} of a Motzkin path is a maximum sequence of consecutive up-steps ({\rm resp.} horizontal-steps). The present paper studies two kinds of statistics on Motzkin paths: "number of $u$-segments" and "number of $h$-segments". The Lagrange inversion formula is utilized to represent the weighted generating function for the number of Motzkin paths according to the statistics as a sum of the partial Bell polynomials or the potential polynomials. As an application, a general framework for studying compositions are also provided.
Bell Polynomials and $k$-generalized Dyck Paths
Published
• View Publication
• BIB
A {\em k-generalized Dyck path} of length $n$ is a lattice path from $(0,0)$ to $(n,0)$ in the plane integer lattice $\mathbb{Z}\times\mathbb{Z}$ consisting of horizontal-steps $(k, 0)$ for a given integer $k\geq 0$, up-steps $(1,1)$, and down-steps $(1,-1)$, which never passes below the x-axis. The present paper studies three kinds of statistics on $k$-generalized Dyck paths: "number of $u$-segments", "number of internal $u$-segments" and "number of $(u,h)$-segments". The Lagrange inversion formula is used to represent the generating function for the number of $k$-generalized Dyck paths according to the statistics as a sum of the partial Bell polynomials or the potential polynomials. Many important special cases are considered leading to several surprising observations. Moreover, enumeration results related to $u$-segments and $(u,h)$-segments are also established, which produce many new combinatorial identities, and specially, two new expressions for Catalan numbers.