lattice
4310 papers tagged with this keyword
Diagonal vectors of shifted Young tableaux
We study vectors formed by entries on the diagonal of standard Young tableaux of shifted shapes. Such vectors are in bijection with integer lattice points of certain integral polytopes, which are Minkowski sums of simplices. We also describe vertices of these polytopes, and construct corresponding shifted Young tableaux.
Bijections for Baxter Families and Related Objects
Published in Journal of Combinatorial Theory, Series A 118:3 (2011), 993-1020
• View Publication
• BIB
The Baxter number can be written as $B_n = \sum_0^n Θ_{k,n-k-1}$. These numbers have first appeared in the enumeration of so-called Baxter permutations; $B_n$ is the number of Baxter permutations of size $n$, and $Θ_{k,l}$ is the number of Baxter permutations with $k$ descents and $l$ rises. With a series of bijections we identify several families of combinatorial objects counted by the numbers $Θ_{k,l}$. Apart from Baxter permutations, these include plane bipolar orientations with $k+2$ vertices and $l+2$ faces, 2-orientations of planar quadrangulations with $k+2$ white and $l+2$ black vertices, certain pairs of binary trees with $k+1$ left and $l+1$ right leaves, and a family of triples of non-intersecting lattice paths. This last family allows us to determine the value of $Θ_{k,l}$ as an application of the lemma of Gessel and Viennot. The approach also allows us to count certain other subfamilies, e.g., alternating Baxter permutations, objects with symmetries and, via a bijection with a class of plan bipolar orientations also Schnyder woods of triangulations, which are known to be in bijection with 3-orientations.
Some variants of the exponential formula, with application to the multivariate Tutte polynomial (alias Potts model)
Published in Seminaire Lotharingien de Combinatoire 61A, article 61Ae (2009)
• Search Publication
We prove some variants of the exponential formula and apply them to the multivariate Tutte polynomials (also known as Potts-model partition functions) of graphs. We also prove some further identities for the multivariate Tutte polynomial, which generalize an identity for counting connected graphs found by Riordan, Nijenhuis, Wilf and Kreweras and in more general form by Leroux and Gessel, and an identity for the inversion enumerator of trees found by Mallows, Riordan and Kreweras. Finally, we prove a generalization of Mobius inversion on the partition lattice.
Bijective counting of plane bipolar orientations and Schnyder woods
Published
• View Publication
• BIB
A bijection $Φ$ is presented between plane bipolar orientations with prescribed numbers of vertices and faces, and non-intersecting triples of upright lattice paths with prescribed extremities. This yields a combinatorial proof of the following formula due to R. Baxter for the number $Θ_{ij}$ of plane bipolar orientations with $i$ non-polar vertices and $j$ inner faces: $Θ_{ij}=2\frac{(i+j)!(i+j+1)!(i+j+2)!}{i!(i+1)!(i+2)!j!(j+1)!(j+2)!}$. In addition, it is shown that $Φ$ specializes into the bijection of Bernardi and Bonichon between Schnyder woods and non-crossing pairs of Dyck words.
Trimmed Moebius Inversion and Graphs of Bounded Degree
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• Search Publication
We study ways to expedite Yates's algorithm for computing the zeta and Moebius transforms of a function defined on the subset lattice. We develop a trimmed variant of Moebius inversion that proceeds point by point, finishing the calculation at a subset before considering its supersets. For an $n$-element universe $U$ and a family $\scr F$ of its subsets, trimmed Moebius inversion allows us to compute the number of packings, coverings, and partitions of $U$ with $k$ sets from $\scr F$ in time within a polynomial factor (in $n$) of the number of supersets of the members of $\scr F$. Relying on an intersection theorem of Chung et al. (1986) to bound the sizes of set families, we apply these ideas to well-studied combinatorial optimisation problems on graphs of maximum degree $Δ$. In particular, we show how to compute the Domatic Number in time within a polynomial factor of $(2^{Δ+1-2)^{n/(Δ+1)$ and the Chromatic Number in time within a polynomial factor of $(2^{Δ+1-Δ-1)^{n/(Δ+1)$. For any constant $Δ$, these bounds are $O\bigl((2-ε)^n\bigr)$ for $ε>0$ independent of the number of vertices $n$.
Toric surface codes and Minkowski length of polygons
Published in SIAM J. Discrete Math. 23, Issue 1, (2009) pp. 384-400
• View Publication
• BIB
In this paper we prove new lower bounds for the minimum distance of a toric surface code defined by a convex lattice polygon P. The bounds involve a geometric invariant L(P), called the full Minkowski length of P which can be easily computed for any given P.
Association schemes related to universally optimal configurations, Kerdock codes and extremal Euclidean line-sets
Published in Journal of Combinatorial Theory, Series A 116 (2009), 434-448
• View Publication
• BIB
H. Cohn et. al. proposed an association scheme of 64 points in R^{14} which is conjectured to be a universally optimal code. We show that this scheme has a generalization in terms of Kerdock codes, as well as in terms of maximal real mutually unbiased bases. These schemes also related to extremal line-sets in Euclidean spaces and Barnes-Wall lattices. D. de Caen and E. R. van Dam constructed two infinite series of formally dual 3-class association schemes. We explain this formal duality by constructing two dual abelian schemes related to quaternary linear Kerdock and Preparata codes.
A Note on Boolean Lattices and Farey Sequences II
Published in INTEGERS: Electronic Journal of Combinatorial Number Theory, 8 (2008), #A24
• Search Publication
We establish monotone bijections between subsequences of the Farey sequences and the halfsequences of Farey subsequences associated with elements of the Boolean lattices.
Non-Realizable Minimal Vertex Triangulations of Surfaces: Showing Non-Realizability using Oriented Matroids and Satisfiability Solvers
Published
• View Publication
• BIB
We show that no minimal vertex triangulation of a closed, connected, orientable 2-manifold of genus 6 admits a polyhedral embedding in R^3. We also provide examples of minimal vertex triangulations of closed, connected, orientable 2-manifolds of genus 5 that do not admit any polyhedral embeddings. We construct a new infinite family of non-realizable triangulations of surfaces. These results were achieved by transforming the problem of finding suitable oriented matroids into a satisfiability problem. This method can be applied to other geometric realizability problems, e.g. for face lattices of polytopes.
An Izergin-Korepin-type identity for the 8VSOS model, with applications to alternating sign matrices
Published in Adv. Appl. Math. 43 (2009), 137-155
• View Publication
• BIB
We obtain a new expression for the partition function of the 8VSOS model with domain wall boundary conditions, which we consider to be the natural extension of the Izergin-Korepin formula for the six-vertex model. As applications, we find dynamical (in the sense of the dynamical Yang-Baxter equation) generalizations of the enumeration and 2-enumeration of alternating sign matrices. The dynamical enumeration has a nice interpretation in terms of three-colourings of the square lattice.
Inequalities and Ehrhart $δ$-Vectors
Published in Trans. Amer. Math. Soc. 361 (2009), 5615-5626.
• View Publication
• BIB
For any lattice polytope $P$, we consider an associated polynomial $\barδ_{P}(t)$ and describe its decomposition into a sum of two polynomials satisfying certain symmetry conditions. As a consequence, we improve upon known inequalities satisfied by the coefficients of the Ehrhart $δ$-vector of a lattice polytope. We also provide combinatorial proofs of two results of Stanley that were previously established using techniques from commutative algebra. Finally, we give a necessary numerical criterion for the existence of a regular unimodular lattice triangulation of the boundary of a lattice polytope.
On lattices and their ideal lattices, and posets and their ideal posets
Published in Tbilisi Math. J. 1 (2008) 89-103
• View Publication
• BIB
For P a poset or lattice, let Id(P) denote the poset, respectively, lattice, of upward directed downsets in P, including the empty set, and let id(P)=Id(P)-\{\emptyset\}. This note obtains various results to the effect that Id(P) is always, and id(P) often, "essentially larger" than P. In the first vein, we find that a poset P admits no "<"-respecting map (and so in particular, no one-to-one isotone map) from Id(P) into P, and, going the other way, that an upper semilattice S admits no semilattice homomorphism from any subsemilattice of itself onto Id(S).
The slightly smaller object id(P) is known to be isomorphic to P if and only if P has ascending chain condition. This result is strengthened to say that the only posets P_0 such that for every natural number n there exists a poset P_n with id^n(P_n)\cong P_0 are those having ascending chain condition. On the other hand, a wide class of cases is noted here where id(P) is embeddable in P.
Counterexamples are given to many variants of the results proved.
Limit Theorems for Internal Aggregation Models
We study the scaling limits of three different aggregation models on the integer lattice Z^d: internal DLA, in which particles perform random walks until reaching an unoccupied site; the rotor-router model, in which particles perform deterministic analogues of random walks; and the divisible sandpile, in which each site distributes its excess mass equally among its neighbors. As the lattice spacing tends to zero, all three models are found to have the same scaling limit, which we describe as the solution to a certain PDE free boundary problem in R^d. In particular, internal DLA has a deterministic scaling limit. We find that the scaling limits are quadrature domains, which have arisen independently in many fields such as potential theory and fluid dynamics. Our results apply both to the case of multiple point sources and to the Diaconis-Fulton smash sum of domains. In the special case when all particles start at a single site, we show that the scaling limit is a Euclidean ball in R^d, and give quantitative bounds on the rate of convergence to a ball. We also improve on the previously best known bounds of Le Borgne and Rossin in Z^2 and Fey and Redig in higher dimensions for the shape of the classical abelian sandpile model. Lastly, we study the sandpile group of a regular tree whose leaves are collapsed to a single sink vertex, and determine the decomposition of the full sandpile group as a product of cyclic groups. For the regular ternary tree of height n, for example, the sandpile group is isomorphic to (Z_3)^{2^{n-3}} x (Z_7)^{2^{n-4}} x ... x Z_{2^{n-1}-1} x Z_{2^n-1}. We use this result to prove that rotor-router aggregation on the regular tree yields a perfect ball.
Scaling Limits for Internal Aggregation Models with Multiple Sources
Published in JOURNAL D'ANALYSE MATHÉMATIQUE Volume 111, Number 1, 151--219, 2010
• View Publication
• BIB
We study the scaling limits of three different aggregation models on Z^d: internal DLA, in which particles perform random walks until reaching an unoccupied site; the rotor-router model, in which particles perform deterministic analogues of random walks; and the divisible sandpile, in which each site distributes its excess mass equally among its neighbors. As the lattice spacing tends to zero, all three models are found to have the same scaling limit, which we describe as the solution to a certain PDE free boundary problem in R^d. In particular, internal DLA has a deterministic scaling limit. We find that the scaling limits are quadrature domains, which have arisen independently in many fields such as potential theory and fluid dynamics. Our results apply both to the case of multiple point sources and to the Diaconis-Fulton smash sum of domains.
The number of lattice paths below a cyclically shifting boundary
Published
• View Publication
• BIB
We count the number of lattice paths lying under a cyclically shifting piecewise linear boundary of varying slope. Our main result extends well known enumerative formulae concerning lattice paths, and its derivation involves a classical reflection argument. A refinement allows for the counting of paths with a specified number of corners. We also apply the result to examine paths dominated by periodic boundaries.
Smooth and palindromic Schubert varieties in affine Grassmannians
Published
• View Publication
• BIB
Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical Grassmannian manifold. It has a Schubert cell decomposition indexed by the coroot lattice or equivalently by the minimal length coset representatives for the affine Weyl group modulo the Weyl group for G. The closure of an affine Schubert cell is a finite dimensional projective variety that we call an affine Schubert variety. In this paper we completely determine the smooth and palindromic (rationally smooth) affine Schubert varieties.
The sorting order on a Coxeter group
Published
• View Publication
• BIB
Let $(W,S)$ be an arbitrary Coxeter system. For each word $ω$ in the generators we define a partial order--called the {\sf $ω$-sorting order}--on the set of group elements $W_ω\subseteq W$ that occur as subwords of $ω$. We show that the $ω$-sorting order is a supersolvable join-distributive lattice and that it is strictly between the weak and Bruhat orders on the group. Moreover, the $ω$-sorting order is a "maximal lattice" in the sense that the addition of any collection of Bruhat covers results in a nonlattice. Along the way we define a class of structures called {\sf supersolvable antimatroids} and we show that these are equivalent to the class of supersolvable join-distributive lattices.
Coincidences in 4 dimensions
Published in Phil. Mag. 88 (2008), 2025-2032
• View Publication
• BIB
The coincidence site lattices (CSLs) of prominent 4-dimensional lattices are considered. CSLs in 3 dimensions have been used for decades to describe grain boundaries in crystals. Quasicrystals suggest to also look at CSLs in dimensions $d>3$. Here, we discuss the CSLs of the root lattice $A_4$ and the hypercubic lattices, which are of particular interest both from the mathematical and the crystallographic viewpoint. Quaternion algebras are used to derive their coincidence rotations and the CSLs. We make use of the fact that the CSLs can be linked to certain ideals and compute their indices, their multiplicities and encapsulate all this in generating functions in terms of Dirichlet series. In addition, we sketch how these results can be generalised for 4--dimensional $\Z$--modules by discussing the icosian ring.
Close-packed dimers on the kagome lattice: Finite lattices and the Grassmannian approach
Published in Physica A 387, 4148 (2008); Physica A 387, 4157 (2008)
• View Publication
• BIB
In a recent paper [ F. Wang and F. Y. Wu, Phys. Rev. E 75 (2007) 040105(R) ] we reported exact results on the enumeration of close-packed dimers on an infinite kagome lattice. We computed the per-dimer free energy using both the Pfaffian approach and a vertex-model formulation, and found the result given by a simple expression. We also reported results on dimer-dimer correlations without giving details. In this paper we present details of the correlation function analysis. In addition, we extend the exact enumeration to finite lattices under two different boundary conditions and with asymmetric dimer weights. For symmetric dimer weights the finite-lattice results are again simple, and we show that they can be understood using a spin variable mapping. We also describe the formulation of a Grassmannian functional integral approach and apply it to the kagome lattice.
Lattice points in Minkowski sums
Published in Electron J. Combin. 15(1) 2008, Note 11, 5 pp
• View Publication
• BIB
Fakhruddin has proved that for two lattice polygons P and Q any lattice point in their Minkowski sum can be written as a sum of a lattice point in P and one in Q, provided P is smooth and the normal fan of P is a subdivision of the normal fan of Q. We give a shorter combinatorial proof of this fact that does not need the smoothness assumption on P.