lattice
4305 papers tagged with this keyword
A Note on Optimal Unimodular Lattices
Published in J. Number Theory, 72 (1998), 357-362
• Search Publication
The highest possible minimal norm of a unimodular lattice is determined in dimensions n <= 33. There are precisely five odd 32-dimensional lattices with the highest possible minimal norm (compared with more than 8*10^20 in dimension 33). Unimodular lattices with no roots exist if and only if n >= 23, n not = 25.
The Shadow Theory of Modular and Unimodular Lattices
Published in J. Number Theory, 73 (1998), 359-389
• Search Publication
It is shown that an n-dimensional unimodular lattice has minimal norm at most 2[n/24] +2, unless n = 23 when the bound must be increased by 1. This result was previously known only for even unimodular lattices. Quebbemann had extended the bound for even unimodular lattices to strongly N-modular even lattices for N in {1,2,3,5,6,7,11,14,15,23} ... (*), and analogous bounds are established here for odd lattices satisfying certain technical conditions (which are trivial for N = 1 and 2). For N > 1 in (*), lattices meeting the new bound are constructed that are analogous to the ``shorter'' and ``odd'' Leech lattices. These include an odd associate of the 16-dimensional Barnes-Wall lattice and shorter and odd associates of the Coxeter-Todd lattice. A uniform construction is given for the (even) analogues of the Leech lattice, inspired by the fact that (*) is also the set of square-free orders of elements of the Mathieu group M_{23}.
Multiple Description Vector Quantization with Lattice Codebooks: Design and Analysis
Published in IEEE Trans. Information Theory 47 (2001), 1718-1734
• View Publication
• BIB
The problem of designing a multiple description vector quantizer with lattice codebook Lambda is considered. A general solution is given to a labeling problem which plays a crucial role in the design of such quantizers. Numerical performance results are obtained for quantizers based on the lattices A_2 and Z^i, i=1,2,4,8, that make use of this labeling algorithm. The high-rate squared-error distortions for this family of L-dimensional vector quantizers are then analyzed for a memoryless source with probability density function p and differential entropy h(p) < infty. For any a in (0,1) and rate pair (R,R), it is shown that the two-channel distortion d_0 and the channel 1 (or channel 2) distortions d_s satisfy lim_{R -> infty} d_0 2^(2R(1+a)) = (1/4) G(Lambda) 2^{2h(p)} and lim_{R -> infty} d_s 2^(2R(1-a)) = G(S_L) 2^2h(p), where G(Lambda) is the normalized second moment of a Voronoi cell of the lattice Lambda and G(S_L) is the normalized second moment of a sphere in L dimensions.
A Simple Construction for the Barnes-Wall Lattices
Published in Codes, Graphs, and Systems: A Celebraton of the Life and Career of G. David Forney Jr., ed. R. E. Blahut and R. Koetter, Kluwer, 2002, pp. 333-342
• View Publication
• BIB
A certain family of orthogonal groups (called "Clifford groups" by G. E. Wall) has arisen in a variety of different contexts in recent years. These groups have a simple definition as the automorphism groups of certain generalized Barnes-Wall lattices. This leads to an especially simple construction for the usual Barnes-Wall lattices. This is based on the third author's talk at the Forney-Fest, M.I.T., March 2000, which in turn is based on our paper "The Invariants of the Clifford Groups", Designs, Codes, Crypt., 24 (2001), 99--121, to which the reader is referred for further details and proofs.
Asymmetric Multiple Description Lattice Vector Quantizers
Published in IEEE Transactions Information Theory, 48 (2002), 174-191
• View Publication
• BIB
We consider the design of asymmetric multiple description lattice quantizers that cover the entire spectrum of the distortion profile, ranging from symmetric or balanced to successively refinable. We present a solution to a labeling problem, which is an important part of the construction, along with a general design procedure. This procedure is illustrated using the Z^2 lattice. The asymptotic performance of the quantizer is analyzed in the high-rate case. We also evaluate its rate-distortion performance and compare it to known information theoretic bounds.
On the Existence of Similar Sublattices
Published in Canadian J. Math., 51 (1999), 1300-1306
• Search Publication
Partial answers are given to two questions. When does a lattice Lambda contain a sublattice Lambda' of index N that is geometrically similar to Lambda? When is the sublattice "clean", in the sense that the boundary of the Voronoi cells for Lambda ' do not intersect Lambda?
A Zador-Like Formula for Quantizers Based on Periodic Tilings
Published in IEEE Trans. Information Theory 48 (2002), 3138-3140
• View Publication
• BIB
We consider Zador's asymptotic formula for the distortion-rate function for a variable-rate vector quantizer in the high-rate case. This formula involves the differential entropy of the source, the rate of the quantizer in bits per sample, and a coefficient G which depends on the geometry of the quantizer but is independent of the source. We give an explicit formula for G in the case when the quantizing regions form a periodic tiling of n-dimensional space, in terms of the volumes and second moments of the Voronoi cells. As an application we show, extending earlier work of Kashyap and Neuhoff, that even a variable-rate three-dimensional quantizer based on the ``A15'' structure is still inferior to a quantizer based on the body-centered cubic lattice. We also determine the smallest covering radius of such a structure.
Quantizing Using Lattice Intersections
Published in Discrete and Computational Geometry 25 (2003), 799-824
• View Publication
• BIB
The usual quantizer based on an n-dimensional lattice L maps a point x in R^n to a closest lattice point. Suppose L is the intersection of lattices L_1, ..., L_r. Then one may instead combine the information obtained by simultaneously quantizing x with respect to each of the L_i. This corresponds to decomposing R^n into a honeycomb of cells which are the intersections of the Voronoi cells for the L_i, and identifying the cell to which x belongs. This paper shows how to write several standard lattices (the face-centered and body-centered cubic lattices, the root lattices D_4, E_6*, E_8, the Coxeter-Todd, Barnes-Wall and Leech lattices, etc.) in a canonical way as intersections of a small number of simpler, decomposable, lattices. The cells of the honeycombs are given explicitly and the mean squared quantizing error calculated in the cases when the intersection lattice is the face-centered or body-centered cubic lattice or the lattice D_4.
Non-crossing cumulants of type B
Published
• View Publication
• BIB
We establish connections between the lattices of non-crossing partitions of type B introduced by V. Reiner, and the framework of the free probability theory of D. Voiculescu.
Lattices of non-crossing partitions (of type A, up to now) have played an important role in the combinatorics of free probability, primarily via the non-crossing cumulants of R. Speicher. Here we introduce the concept of {\em non-crossing cumulant of type B;} the inspiration for its definition is found by looking at an operation of ``restricted convolution of multiplicative functions'', studied in parallel for functions on symmetric groups (in type A) and on hyperoctahedral groups (in type B).
The non-crossing cumulants of type B live in an appropriate framework of ``non-commutative probability space of type B'', and are closely related to a type B analogue for the R-transform of Voiculescu (which is the free probabilistic counterpart of the Fourier transform). By starting from a condition of ``vanishing of mixed cumulants of type B'', we obtain an analogue of type B for the concept of free independence for random variables in a non-commutative probability space.
The Lattice of N-Run Orthogonal Arrays
Published in J. Statistical Planning and Inference, Vol. 102 (2002), pp. 477-500
• View Publication
• BIB
If the number of runs in a (mixed-level) orthogonal array of strength 2 is specified, what numbers of levels and factors are possible? The collection of possible sets of parameters for orthogonal arrays with N runs has a natural lattice structure, induced by the ``expansive replacement'' construction method. In particular the dual atoms in this lattice are the most important parameter sets, since any other parameter set for an N-run orthogonal array can be constructed from them. To get a sense for the number of dual atoms, and to begin to understand the lattice as a function of N, we investigate the height and the size of the lattice. It is shown that the height is at most [c(N-1)], where c= 1.4039... and that there is an infinite sequence of values of N for which this bound is attained. On the other hand, the number of nodes in the lattice is bounded above by a superpolynomial function of N (and superpolynomial growth does occur for certain sequences of values of N). Using a new construction based on ``mixed spreads'', all parameter sets with 64 runs are determined. Four of these 64-run orthogonal arrays appear to be new.
Random Planar Lattices and Integrated SuperBrownian Excursion
Published
• View Publication
• BIB
In this paper, a surprising connection is described between a specific brand of random lattices, namely planar quadrangulations, and Aldous' Integrated SuperBrownian Excursion (ISE). As a consequence, the radius r_n of a random quadrangulation with n faces is shown to converge, up to scaling, to the width r=R-L of the support of the one-dimensional ISE. More generally the distribution of distances to a random vertex in a random quadrangulation is described in its scaled limit by the random measure ISE shifted to set the minimum of its support in zero.
The first combinatorial ingredient is an encoding of quadrangulations by trees embedded in the positive half-line, reminiscent of Cori and Vauquelin's well labelled trees. The second step relates these trees to embedded (discrete) trees in the sense of Aldous, via the conjugation of tree principle, an analogue for trees of Vervaat's construction of the Brownian excursion from the bridge.
From probability theory, we need a new result of independent interest: the weak convergence of the encoding of a random embedded plane tree by two contour walks to the Brownian snake description of ISE.
Our results suggest the existence of a Continuum Random Map describing in term of ISE the scaled limit of the dynamical triangulations considered in two-dimensional pure quantum gravity.
Balanced Configurations of Lattice Vectors and GKZ-rational Toric Fourfolds in P^6
Published
• View Publication
• BIB
We introduce a notion of balanced configurations of vectors. This is motivated by the study of rational A-hypergeometric functions in the sense of Gelfand, Kapranov and Zelevinsky.
We classify balanced configurations of seven plane vectors up to GL(2,R) equivalence and deduce that the only gkz-rational toric four-folds in complex projective space P^6 are those varieties associated with an essential Cayley configuration. In this case, we study a suitable hyperplane arrangement and show that all rational A-hypergeometric functions may be described in terms of toric residues.
A challenge in enumerative combinatorics: The graph of contribution
We will try to sketch Professor F. Y. Wu's contributions in lattice statistical mechanics, solid state physics, graph theory, enumerative combinatorics and so many other domains of physics and mathematics. We will recall F. Y. Wu's most important and well-known classic results and we will also sketch his most recent researches dedicated to the connections of lattice statistical mechanical models with deep problems in pure mathematics. Since it is hard to provide an exhaustive list of all his contributions, to give some representation of F. Y. Wu's "mental connectivity" we will concentrate on the interrelations between the various results he has obtained in so many different domains of physics and mathematics. Along the way we will also try to understand Wu's motivations and his favorite concepts, tools and ideas.
A new way to deal with Izergin-Korepin determinant at root of unity
Published
• View Publication
• BIB
I consider the partition function of the inhomogeneous 6-vertex model defined on the $n$ by $n$ square lattice. This function depends on 2n spectral parameters $x_i$ and $y_i$ attached to the horizontal and vertical lines respectively. In the case of domain wall boundary conditions it is given by Izergin-Korepin determinant. For $q$ being a root of unity the partition function satisfies to a special linear functional equation. This equation is particularly good when the crossing parameter $η=2π/3$. In this case it can be used for solving some of the problems related to the enumeration of alternating sign matrices. In particular, it is possible to reproduce the refined ASM distribution discovered by Mills, Robbins and Rumsey and proved by Zeilberger. Further, it is well known that the partition function is symmetric in the $\{x\}$ and as well in the $\{y\}$ variables. I have found that in the case of $η=2π/3$, the partition function is symmetric in the union $\{x\} \cup \{y\}$! This nice symmetry is used to find some relations between the numbers of such alternating sign matrices of order $n$ whose two '1' are located in fixed positions on the boundary of the matrices. Finally I derive the equation giving `top-bottom double refined' ASM distribution.
Polynomial growth of sumsets in abelian semigroups
Published in J. Theor. Nombres Bordeaux 14 (2002), 553--560
• View Publication
• BIB
Let S be an abelian semigroup, and A a finite subset of S. The sumset hA consists of all sums of h elements of A, with repetitions allowed. Let |hA| denote the cardinality of hA. Elementary lattice point arguments are used to prove that an arbitrary abelian semigroup has polynomial growth, that is, there exists a polynomial p(t) such that |hA| = p(h) for all sufficiently large h. Lattice point counting is also used to prove that sumsets of the form h_1A_1 + >... + h_rA_r have multivariate polynomial growth.
The Frobenius problem, rational polytopes, and Fourier-Dedekind Sums
Published in Journal of Number Theory 96 (2002), 1--21
• View Publication
• BIB
We study the number of lattice points in integer dilates of the rational polytope $P = (x_1,...,x_n) \in \R_{\geq 0}^n : \sum_{k=1}^n x_k a_k \leq 1$, where $a_1,...,a_n$ are positive integers. This polytope is closely related to the linear Diophantine problem of Frobenius: given relatively prime positive integers $a_1,...,a_n$, find the largest value of t (the Frobenius number) such that $m_1 a_1 + ... + m_n a_n = t$ has no solution in positive integers $m_1,...,m_n$. This is equivalent to the problem of finding the largest dilate tP such that the facet $\sum_{k=1}^n x_k a_k = t$ contains no lattice point. We present two methods for computing the Ehrhart quasipolynomials of P which count the integer points in the dilated polytope and its interior. Within the computations a Dedekind-like finite Fourier sum appears. We obtain a reciprocity law for these sums, generalizing a theorem of Gessel. As a corollary of our formulas, we rederive the reciprocity law for Zagier's higher-dimensional Dedekind sums. Finally, we find bounds for the Fourier-Dedekind sums and use them to give new bounds for the Frobenius number.
Counting peaks at height k in a Dyck path
Published in Journal of Integer Sequences 5, (2002), Article 02..1.1
• Search Publication
A Dyck path is a lattice path in the plane integer lattice $\mathbb{Z}\times\mathbb{Z}$ consisting of steps (1,1) and (1,-1), which never passes below the x-axis. A peak at height k on a Dyck path is a point on the path with coordinate y=k that is immediately preceded by a (1,1) step and immediately followed by a (1,-1) step. In this paper we find an explicit expression to the generating function for the number of Dyck paths starting at (0,0) and ending at (2n,0) with exactly r peaks at height k. This allows us to express this function via Chebyshev polynomials of the second kind and generating function for the Catalan numbers.
A path-transformation for random walks and the Robinson-Schensted correspondence
Published in Trans. Amer. Math. Soc. 355 (2003) 3669--3697.
• View Publication
• BIB
In [O'Connell and Yor (2002)] a path-transformation G was introduced with the property that, for X belonging to a certain class of random walks on the integer lattice, the transformed walk G(X) has the same law as that of the original walk conditioned never to exit a type-A Weyl chamber. In this paper, we show that G is closely related to the Robinson-Schensted algorithm, and use this connection to give a new proof of the above representation theorem. The new proof is valid for a larger class of random walks and yields additional information about the joint law of X and G(X). The corresponding results for the Brownian model are recovered by Donsker's theorem. These are connected with Hermitian Brownian motion and the Gaussian Unitary Ensemble of random matrix theory. The connection we make between the path-transformation G and the RS algorithm also provides a new formula and interpretation for the latter. This can be used to study properties of the RS algorithm and, moreover, extends easily to a continuous setting.
Boundary correlation functions of the six-vertex model
Published in J. Phys. A: Math. Gen. 35, 5525-5541 (2002)
• View Publication
• BIB
We consider the six-vertex model on an $N \times N$ square lattice with the domain wall boundary conditions. Boundary one-point correlation functions of the model are expressed as determinants of $N\times N$ matrices, generalizing the known result for the partition function. In the free fermion case the explicit answers are obtained. The introduced correlation functions are closely related to the problem of enumeration of alternating sign matrices and domino tilings.
Once more about Voronoi's conjecture and space tiling zonotopes
Published
• View Publication
• BIB
Voronoi conjectured that any parallelotope is affinely equivalent to a Voronoi polytope. A parallelotope is defined by a set of $m$ facet vectors $p_i$ and defines a set of $m$ lattice vectors $t_i$, $1\le i\le m$. We show that Voronoi's conjecture is true for an $n$-dimensional parallelotope $P$ if and only if there exist scalars $γ_i$ and a positive definite $n\times n$ matrix $Q$ such that $γ_i p_i=Qt_i$ for all $i$. In this case the quadratic form $f(x)=x^TQx$ is the metric form of $P$.
As an example, we consider in detail the case of a zonotopal parallelotope. We show that $Q=(Z_βZ^T_β)^{-1}$ for a zonotopal parallelotope $P(Z)$ which is the Minkowski sum of column vectors $z_j$ of the $n\times r$ matrix $Z$. Columns of the matrix $Z_β$ are the vectors $\sqrt{2β_j}z_j$, where the scalars $β_j$, $1\le j\le r$, are such that the system of vectors $\{β_jz_j:1\le j\le r\}$ is unimodular. $P(Z)$ defines a dicing lattice which is the set of intersection points of the dicing family of hyperplanes $H(j,k)=\{x:x^T(β_jQz_j)=k\}$, where $k$ takes all integer values and $1\le j\le r$.