lattice
4305 papers tagged with this keyword
Jagged partitions and lattice paths
Published
• View Publication
• BIB
A lattice-path description of $K$-restricted jagged partitions is presented. The corresponding lattice paths can have peaks only at even $x$ coordinate and the maximal value of the height cannot be larger than $K-1$. Its weight is twice that of the corresponding jagged partitions. The equivalence is demonstrated at the level of generating functions. A bijection is given between $K$-restricted jagged partitions and partitions restricted by the following frequencies conditions: $f_{2j-1}$ is even and $f_j+f_{j+1}\leq K-1$, where $f_j$ is the number of occurrences of the part $j$ in the partition. Bijections are given between paths and these restricted partitions and between paths and partitions with successive ranks in a prescribed interval.
Order preserving transformations of the Hilbert grassmannian
Published
• View Publication
• BIB
Let $H$ be a separable real Hilbert space. Denote by ${\mathcal G}_{\infty}(H)$ the Grassmannian consisting of closed subspaces with infinite dimension and codimension. This Grassmannian is partially ordered by the inclusion relation. We show that every order preserving transformation of ${\mathcal G}_{\infty}(H)$ can be extended to an automorphism of the lattice of closed subspaces of $H$. It follows from Mackey's result \cite{Mackey} that automorphisms of this lattice are induced by invertible bounded linear operators.
Bijective counting of Kreweras walks and loopless triangulations
Published in Journal of Combinatorial Theory Series A 114, 5 (2007) 931-956
• View Publication
• BIB
We consider lattice walks in the plane starting at the origin, remaining in the first quadrant and made of West, South and North-East steps. In 1965, Germain Kreweras discovered a remarkably simple formula giving the number of these walks (with prescribed length and endpoint). Kreweras' proof was very involved and several alternative derivations have been proposed since then. But the elegant simplicity of the counting formula remained unexplained. We give the first purely combinatorial explanation of this formula. Our approach is based on a bijection between Kreweras walks and triangulations with a distinguished spanning tree. We obtain simultaneously a bijective way of counting loopless triangulations.
Solution of the coincidence problem in dimensions $d\le 4$
Published in The Mathematics of Long-Range Aperiodic Order, ed. R. V. Moody, Kluwer, Dordrecht (1997), pp. 9-44
• Search Publication
Discrete point sets $\mathcal{S}$ such as lattices or quasiperiodic Delone sets may permit, beyond their symmetries, certain isometries $R$ such that $\mathcal{S}\cap R\mathcal{S}$ is a subset of $\mathcal{S}$ of finite density. These are the so-called coincidence isometrie. They are important in understanding and classifying grain boundaries and twins in crystals and quasicrystals. It is the purpose of this contribution to introduce the corresponding coincidence problem in a mathematical setting and to demonstrate how it can be solved algebraically in dimensions 2, 3 and 4. Various examples both from crystals and quasicrystals are treated explicitly, in particular (hyper-)cubic lattices and quasicrystals with non-crystallographic point groups of type $H_2$, $H_3$ and $H_4$. We derive parametrizations of all linear coincidence isometries, determine the corresponding coincidence index (the reciprocal of the density of coinciding points, also called $\varSigma$-factor), and finally encapsulate their statistics in suitable Dirichlet series generating functions.
Several Convex-Ear Decompositions
In this paper we give convex-ear decompositions for the order complexes of several classes of posets, namely supersolvable lattices with non-zero Mobius functions and rank-selected subposets of such lattices, rank-selected geometric lattices, and rank-selected face posets of shellable complexes which do not include the top rank. These decompositions give us many new inequalities for the h-vectors of these complexes. In addition, our decomposition of rank-selected face posets of shellable complexes allows us to prove inequalities for the flag h-vector of face posets of Cohen-Macaulay complexes.
Few-cosine spherical codes and Barnes-Wall lattices
Published
• View Publication
• BIB
Using Barnes-Wall lattices and 1-cocycles on finite groups of monomial matrices, we give a procedure to construct tricosine spherical codes. This was inspired by a 14-dimensional code which Ballinger, Cohn, Giansiracusa and Morris discovered in studies of the universally optimal property. It has 64 vectors and cosines $-3/7, -1/7, 1/7$. We construct the {\it Optimism Code}, a 4-cosine spherical code with 256 unit vectors in 16-dimensions. The cosines are $0, 1/4, -1/4, -1$. Its automorphism group has shape $2^{1+8}{\cdot}GL(4,2)$. The Optimism Code contains a subcode related to the BCGM code. The Optimism Code implies existence of a nonlinear binary code with parameters $(16,256,6)$, a Nordstrom-Robinson code, and gives a context for determining its automorphism group, which has form $2^4{:}Alt_7$.
Spanning Trees on Lattices and Integration Identities
Published in J. Phys. A: Math. Gen. 39, 10263-10275 (2006)
• View Publication
• BIB
For a lattice $Λ$ with $n$ vertices and dimension $d$ equal or higher than two, the number of spanning trees $N_{ST}(Λ)$ grows asymptotically as $\exp(n z_Λ)$ in the thermodynamic limit. We present exact integral expressions for the asymptotic growth constant $z_Λ$ for spanning trees on several lattices. By taking different unit cells in the calculation, many integration identities can be obtained. We also give $z_{Λ(p)}$ on the homeomorphic expansion of $k$-regular lattices with $p$ vertices inserted on each edge.
A Combinatorial Interpretation of j/n {kn}\choose{n+j}
The identity j/n {kn}\choose{n+j} =(k-1) {kn-1}\choose{n+j-1}- {kn-1}\choose{n+j} shows that j/n {kn}\choose{n+j} is always an integer. Here we give a combinatorial interpretation of this integer in terms of lattice paths, using a uniformly distributed statistic. In particular, the case j=1,k=2 gives yet another manifestation of the Catalan numbers.
New Finite Rogers-Ramanujan Identities
Published in Ramanujan J. 19 (2009), 247--266
• View Publication
• BIB
We present two general finite extensions for each of the two Rogers-Ramanujan identities. Of these one can be derived directly from Watson's transformation formula by specialization or through Bailey's method, the second similar formula can be proved either by using the first formula and the q-Gosper algorithm, or through the so-called Bailey lattice.
A Periodicity Theorem for the Octahedron Recurrence
Published
• View Publication
• BIB
We investigate a variant of the octahedron recurrence which lives in a 3-dimensional lattice contained in [0,n] x [0,m] x R. Generalizing results of David Speyer math.CO/0402452, we give an explicit non-recursive formula for the values of this recurrence in terms of perfect matchings. We then use it to prove that the octahedron recurrence is periodic of period n+m. This result is reminiscent of Fomin and Zelevinsky's theorem about the periodicity of Y-systems.
Partitions and their lattices
Ferrers graphs and tables of partitions are treated as vectors. Matrix operations are used for simple proofs of identities concerning partitions. Interpreting partitions as vectors gives a possibility to generalize partitions on negative numbers. Partitions are then tabulated into lattices and some properties of these lattices are studied. There appears a new identity counting Ferrers graphs packed consecutively into isoscele form. The lattices form the base for tabulating combinatorial identities.
Derivation modules of orthogonal duals of hyperplane arrangements
Published in Journal of Algebraic Combinatorics, 24, (2006), 253-262
• View Publication
• BIB
Let A be an n by d matrix having full rank n. An orthogonal dual A^{\perp} of A is a (d-n) by d matrix of rank (d-n) such that every row of A^{\perp} is orthogonal (under the usual dot product) to every row of A. We define the orthogonal dual for arrangements by identifying an essential (central) arrangement of d hyperplanes in n-dimensional space with the n by d matrix of coefficients of the homogeneous linear forms for which the hyperplanes are kernels. If n is at least 5, we show that if the matroid (or the intersection lattice) of an n-dimensional essential arrangement A contains a modular copoint whose complement spans, then the derivation module of the orthogonally dual arrangement \A^{\perp} has projective dimension at least [n(n+2)/4] - 3,([ ] denotes ceiling).
Plethysm for wreath products and homology of sub-posets of Dowling lattices
Published in Electron. J. Combin. 13 (2006), no.1, Research Paper 87, 25 pp.
• View Publication
• BIB
We prove analogues for sub-posets of the Dowling lattices of the results of Calderbank, Hanlon, and Robinson on homology of sub-posets of the partition lattices. The technical tool used is the wreath product analogue of the tensor species of Joyal.
Elementary notions of lattice trigonometry
Published in The first part in Math. Scand., v.102(2), pp.161--205, 2008. The second part in Funct. Anal. Other Math., vol.2(2-4), pp.221-239, 2009.
• View Publication
• BIB
In this paper we study properties of lattice trigonometric functions of lattice angles in lattice geometry. We introduce the definition of sums of lattice angles and establish a necessary and sufficient condition for three angles to be the angles of some lattice triangle in terms of lattice tangents. This condition is a version of the Euclidean condition: three angles are the angles of some triangle iff their sum equals π. Further we find the necessary and sufficient condition for an ordered n-tuple of angles to be the angles of some convex lattice polygon. In conclusion we show applications to theory of complex projective toric varieties, and a list of unsolved problems and questions.
Uniform formulae for coefficients of meromorphic functions in two variables. Part I
Published in SIAM J. Discrete Math. 20, 811-828, 2006
• View Publication
• BIB
Uniform asymptotic formulae for arrays of complex numbers of the form $(f_{r,s})$, with $r$ and $s$ nonnegative integers, are provided as $r$ and $s$ converge to infinity at a comparable rate. Our analysis is restricted to the case in which the generating function $F(z,w):=\sum f_{r,s} z^r w^s$ is meromorphic in a neighborhood of the origin. We provide uniform asymptotic formulae for the coefficients $f_{r,s}$ along directions in the $(r,s)$-lattice determined by regular points of the singular variety of $F$. Our main result derives from the analysis of a one dimensional parameter-varying integral describing the asymptotic behavior of $f_{r,s}$. We specifically consider the case in which the phase term of this integral has a unique stationary point, however, allowing the possibility that one or more stationary points of the amplitude term coalesce with this. Our results find direct application in certain problems associated to the Lagrange inversion formula as well as bivariate generating functions of the form $v(z)/(1-w\cdot u(z))$.
Tamari lattices, forests and Thompson monoids
A connection relating Tamari lattices on symmetric groups regarded as lattices under the weak Bruhat order to the positive monoid P of Thompson group F is presented. Tamari congruence classes correspond to classes of equivalent elements in P. The two well known normal forms in P correspond to endpoints of intervals in the weak Bruhat order that determine the Tamari classes. In the monoid P these correspond to lexicographically largest and lexicographically smallest form, while on the level of permutations they correspond to 132-avoiding and 231-avoiding permutations.
Forests appear naturally in both contexts as they are used to model both permutations and elements of the Thompson monoid.
The connection is then extended to Tamari orders on partitions of ((k-1)n+2)-gons into (k+1)-gons and Thompson monoids P_k, k >1.
Nested set complexes of Dowling lattices and complexes of Dowling trees
Published
• View Publication
• BIB
Given a finite group G and a natural number n, we study the structure of the complex of nested sets of the associated Dowling lattice Q(G) and of its subposet of the G-symmetric partitions Q_G which was recently introduced by Hultman together with the complex of G-symmetric phylogenetic trees T_G. Hultman shows that T_G and Q_G are homotopy equivalent and Cohen-Macaulay, and determines the rank of their top homology. An application of the theory of building sets and nested set complexes by Feichtner and Kozlov shows that in fact T_G is subdivided by the order complex of Q_G. We introduce the complex of Dowling trees T(G) and prove that it is subdivided by the order complex of Q(G) and contains T_G as a subcomplex. We show that T(G) is obtained from T_G by successive coning over certain subcomplexes. We explicitly and independently calculate how many homology spheres are added in passing from T_G to T(G).
A primal Barvinok algorithm based on irrational decompositions
Published in SIAM Journal on Discrete Mathematics 21 (2007), no. 1, 220-236
• View Publication
• BIB
We introduce variants of Barvinok's algorithm for counting lattice points in polyhedra. The new algorithms are based on irrational signed decomposition in the primal space and the construction of rational generating functions for cones with low index. We give computational results that show that the new algorithms are faster than the existing algorithms by a large factor.
Hankel Determinants for Some Common Lattice Paths
Published
• View Publication
• BIB
For a single value of $\ell$, let $f(n,\ell)$ denote the number of lattice paths that use the steps $(1,1)$, $(1,-1)$, and $(\ell,0)$, that run from $(0,0)$ to $(n,0)$, and that never run below the horizontal axis. Equivalently, $f(n,\ell)$ satisfies the quadratic functional equation $F(x) = \sum_{n\ge 0}f(n,\ell) x^n = 1+x^{\ell}F(x)+x^2F(x)^2.$
Let $H_n$ denote the $n$ by $n$ Hankel matrix, defined so that $[H_n]_{i,j} = f(i+j-2,\ell)$. Here we investigate the values of such determinants where $\ell = 0,1,2,3$. For $\ell = 0,1,2$ we are able to employ the Gessel-Viennot-Lindström method. For the case $\ell=3$, the sequence of determinants forms a sequence of period 14, namely, $$ (\det(H_n))_{n \ge 1} = (1,1,0,0,-1,-1,-1,-1,-1,0,0,1,1,1,1,1,0,0,-1,-1,-1,...)$$ For this case we are able to use the continued fractions method recently introduced by Gessel and Xin.
We also apply this technique to evaluate Hankel determinants for other generating functions satisfying a certain type of quadratic functional equation.
Lattice Grids and Prisms are Antimagic
Published
• View Publication
• BIB
An \emph{antimagic labeling} of a finite undirected simple graph with $m$ edges and $n$ vertices is a bijection from the set of edges to the integers $1,...,m$ such that all $n$ vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with the same vertex. A graph is called \emph{antimagic} if it has an antimagic labeling. In 1990, Hartsfield and Ringel conjectured that every connected graph, but $K_2$, is antimagic. In 2004, N. Alon et al showed that this conjecture is true for $n$-vertex graphs with minimum degree $Ω(\log n)$. They also proved that complete partite graphs (other than $K_2$) and $n$-vertex graphs with maximum degree at least $n-2$ are antimagic. Recently, Wang showed that the toroidal grids (the Cartesian products of two or more cycles) are antimagic. Two open problems left in Wang's paper are about the antimagicness of lattice grid graphs and prism graphs, which are the Cartesian products of two paths, and of a cycle and a path, respectively. In this article, we prove that these two classes of graphs are antimagic, by constructing such antimagic labelings.