lattice
4310 papers tagged with this keyword
k-Divisible random variables in free probability
Published
• View Publication
• BIB
We introduce and study the notion of k-divisible elements in a non-commutative probability space. A k-divisible element is a (non-commutative) random variable whose n-th moment vanishes whenever n is not a multiple of k. First, we consider the combinatorial convolution \ast in the lattices NC of non-crossing partitions and NC^k of k-divisible non-crossing partitions and show that convolving k times with the zeta-function in NC is equivalent to convolving once with the zeta-function in NC^k. Furthermore, when x is k-divisible, we derive a formula for the free cumulants of x^k in terms of the free cumulants of x, involving k-divisible non-crossing partitions. Second, we prove that if a and s are free and s is k-divisible then sps and a are free, whenever p is any polynomial (on a and s) of degree k - 2 on s. Moreover, we define a notion of R-diagonal k-tuples and prove similar results. Next, we show that free multiplicative convolution between a measure concentrated in the positive real line and a probability measure with k-symmetry is well defined. Analytic tools to calculate this convolution are developed. Finally, we concentrate on free additive powers of k-symmetric distributions and prove that μt is a well defined probability measure, for all t > 1. We derive central limit theorems and Poisson type ones. More generally, we consider freely infinitely divisible measures and prove that free infinite divisibility is maintained under the mapping μ\rightarrow μ^k . We conclude by focusing on (k-symmetric) free stable distributions, for which we prove a reproducing property generalizing the ones known for one sided and real symmetric free stable laws.
Weyl modules and q-Whittaker functions
Published in Math. Ann. 359 (2014), no.1-2, 45--59
• View Publication
• BIB
Let G be a semi-simple simply connected group over complex numbers. In this paper we give a geometric definition of the (dual) Weyl modules over the group G[t] and show that their characters form an eigen-function of the lattice version of the q-Toda integrable integrable system (defined by means of the quantum group version of Kostant-Whittaker reduction due to Etingof and Sevostyanov). All the proofs are algebro-geometric and rely on our previous work which interprets the universal eigen-function of the q-Toda system in terms of rings of functions on the spaces of based quasi-maps from P^1 to the flag variety of G.
We discuss in detail the relation between the current work and the works of Cherednik, Ion, Sanderson and Gerasimov-Lebedev-Oblezin.
Algebro-geometric characterization of Cayley polytopes
Published
• View Publication
• BIB
In this paper, we give an algebro-geometric characterization of Cayley polytopes. As a special case, we also characterize lattice polytopes with lattice width one by using Seshadri constants.
Combinatorics of r-Dyck paths, r-Parking functions, and the r-Tamari lattices
This paper's aim is to present recent combinatorial considerations on r-Dyck paths, r-Parking functions, and the r-Tamari lattices. Giving a better understanding of the combinatorics of these objects has become important in view of their (conjectural) role in the description of the graded character of the Sn-modules of bivariate and trivariate diagonal coinvariant spaces for the symmetric group.
The representation of the symmetric group on m-Tamari intervals
Published in Advances in Mathematics 247 (2013) 309-342
• View Publication
• BIB
An m-ballot path of size n is a path on the square grid consisting of north and east unit steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my}. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice and denoted by T_n^{m}, which generalizes the usual Tamari lattice T_n obtained when m=1. This lattice was introduced by F. Bergeron in connection with the study of diagonal coinvariant spaces in three sets of n variables. The representation of the symmetric group S_n on these spaces is conjectured to be closely related to the natural representation of S_n on (labelled) intervals of the m-Tamari lattice, which we study in this paper. An interval [P,Q] of T_n^{m} is labelled if the north steps of Q are labelled from 1 to n in such a way the labels increase along any sequence of consecutive north steps. The symmetric group S_n acts on labelled intervals of T_n^{m} by permutation of the labels. We prove an explicit formula, conjectured by F. Bergeron and the third author, for the character of the associated representation of S_n. In particular, the dimension of the representation, that is, the number of labelled m-Tamari intervals of size n, is found to be (m+1)^n(mn+1)^{n-2}. These results are new, even when m=1. The form of these numbers suggests a connection with parking functions, but our proof is not bijective. The starting point is a recursive description of m-Tamari intervals. It yields an equation for an associated generating function, which is a refined version of the Frobenius series of the representation. This equation involves two additional variables x and y, a derivative with respect to y and iterated divided differences with respect to x. The hardest part of the proof consists in solving it, and we develop original techniques to do so, partly inspired by previous work on polynomial equations with "catalytic" variables.
Lattice-point enumerators of ellipsoids
Published in Combinatorica 33 (6), 733-744, 2013
• View Publication
• BIB
Minkowski's second theorem on successive minima asserts that the volume of a 0-symmetric convex body K over the covolume of a lattice Λcan be bounded above by a quantity involving all the successive minima of K with respect to Λ. We will prove here that the number of lattice points inside K can also accept an upper bound of roughly the same size, in the special case where K is an ellipsoid. Whether this is also true for all K unconditionally is an open problem, but there is reasonable hope that the inductive approach used for ellipsoids could be extended to all cases.
Asymptotics of Random Lozenge Tilings via Gelfand-Tsetlin Schemes
Published
• View Publication
• BIB
A Gelfand-Tsetlin scheme of depth N is a triangular array with m integers at level m, m=1,...,N, subject to certain interlacing constraints. We study the ensemble of uniformly random Gelfand-Tsetlin schemes with arbitrary fixed N-th row. We obtain an explicit double contour integral expression for the determinantal correlation kernel of this ensemble (and also of its q-deformation).
This provides new tools for asymptotic analysis of uniformly random lozenge tilings of polygons on the triangular lattice; or, equivalently, of random stepped surfaces. We work with a class of polygons which allows arbitrarily large number of sides. We show that the local limit behavior of random tilings (as all dimensions of the polygon grow) is directed by ergodic translation invariant Gibbs measures. The slopes of these measures coincide with the ones of tangent planes to the corresponding limit shapes described by Kenyon and Okounkov in arXiv:math-ph/0507007. We also prove that at the edge of the limit shape, the asymptotic behavior of random tilings is given by the Airy process.
In particular, our results cover the most investigated case of random boxed plane partitions (when the polygon is a hexagon).
Probability calculations under the IAC hypothesis
Published in Mathematical Social Sciences 54(2007), Pages 244-256
• View Publication
• BIB
We show how powerful algorithms recently developed for counting lattice points and computing volumes of convex polyhedra can be used to compute probabilities of a wide variety of events of interest in social choice theory. Several illustrative examples are given.
Record-dependent measures on the symmetric groups
Published
• View Publication
• BIB
A probability measure $P_n$ on the symmetric group ${\mathfrak S}_n$ is said to be record-dependent if $P_n(σ)$ depends only on the set of records of a permutation $σ\in{\mathfrak S}_n$. A sequence $P=(P_n)_{n\in{\mathbb N}}$ of consistent record-dependent measures determines a random order on $\mathbb N$. In this paper we describe the extreme elements of the convex set of such $P$. This problem turns out to be related to the study of asymptotic behavior of permutation-valued growth processes, to random extensions of partial orders, and to the measures on the Young-Fibonacci lattice.
Ehrhart f*-coefficients of polytopal complexes are non-negative integers
Published
• View Publication
• BIB
The Ehrhart polynomial $L_P$ of an integral polytope $P$ counts the number of integer points in integral dilates of $P$. Ehrhart polynomials of polytopes are often described in terms of their Ehrhart $h^*$-vector (aka Ehrhart $δ$-vector), which is the vector of coefficients of $L_P$ with respect to a certain binomial basis and which coincides with the $h$-vector of a regular unimodular triangulation of $P$ (if one exists). One important result by Stanley about $h^*$-vectors of polytopes is that their entries are always non-negative. However, recent combinatorial applications of Ehrhart theory give rise to polytopal complexes with $h^*$-vectors that have negative entries.
In this article we introduce the Ehrhart $f^*$-vector of polytopes or, more generally, of polytopal complexes $K$. These are again coefficient vectors of $L_K$ with respect to a certain binomial basis of the space of polynomials and they have the property that the $f^*$-vector of a unimodular simplicial complex coincides with its $f$-vector. The main result of this article is a counting interpretation for the $f^*$-coefficients which implies that $f^*$-coefficients of integral polytopal complexes are always non-negative integers. This holds even if the polytopal complex does not have a unimodular triangulation and if its $h^*$-vector does have negative entries. Our main technical tool is a new partition of the set of lattice points in a simplicial cone into discrete cones. Further results include a complete characterization of Ehrhart polynomials of integral partial polytopal complexes and a non-negativity theorem for the $f^*$-vectors of rational polytopal complexes.
A combinatorial decomposition of higher level Fock spaces
We give a simple characterization of the highest weight vertices in the crystal graph of the level l Fock spaces. This characterization is based on the notion of totally periodic symbols viewed as affine analogues of reverse lattice words classically used in the decomposition of tensor products of fundamental $\mathfrak{sl}_{n}$-modules. This yields a combinatorial decomposition of the Fock spaces in their irreducible components and the branching law for the restriction of the irreducible highest weight $\mathfrak{sl}_{\infty}$-modules to $\hat{\mathfrak{sl}_{e}}$.
Alternating paths of fully packed loops and inversion number
We consider the set of alternating paths on a fixed fully packed loop of size n. This set is in bijection with the set of fully packed loops of size n. Furthermore, for a special choice of fully packed loop, we demonstrate that the set of alternating paths are nested osculating loops, which we call Dyck islands. Dyck islands can be constructed as a union of lattice Dyck paths, and we use this structure to give a simple graphical formula for the calculation of the inversion number of an alternating sign matrix.
Hankel determinants of sums of consecutive weighted Schröder numbers
Published
• View Publication
• BIB
For a real number $t$, let $r_\ell(t)$ be the total weight of all $t$-large Schröder paths of length $\ell$, and $s_\ell(t)$ be the total weight of all $t$-small Schröder paths of length $\ell$. For constants $α, β$, in this article we derive recurrence formulae for the determinats of the Hankel matrices $\det_{1\le i,j\le n} (αr_{i+j-2}(t) +βr_{i+j-1}(t))$,
$\det_{1\le i,j\le n} (αr_{i+j-1}(t) +βr_{i+j}(t))$,
$\det_{1\le i,j\le n} (αs_{i+j-2}(t) +βs_{i+j-1}(t))$, and $\det_{1\le i,j\le n} (αs_{i+j-1}(t) +βs_{i+j}(t))$ combinatorially via suitable lattice path models.
Stochastic Block Models and Reconstruction
The planted partition model (also known as the stochastic blockmodel) is a classical cluster-exhibiting random graph model that has been extensively studied in statistics, physics, and computer science. In its simplest form, the planted partition model is a model for random graphs on $n$ nodes with two equal-sized clusters, with an between-class edge probability of $q$ and a within-class edge probability of $p$. Although most of the literature on this model has focused on the case of increasing degrees (ie.\ $pn, qn \to \infty$ as $n \to \infty$), the sparse case $p, q = O(1/n)$ is interesting both from a mathematical and an applied point of view.
A striking conjecture of Decelle, Krzkala, Moore and Zdeborová based on deep, non-rigorous ideas from statistical physics gave a precise prediction for the algorithmic threshold of clustering in the sparse planted partition model. In particular, if $p = a/n$ and $q = b/n$, then Decelle et al.\ conjectured that it is possible to cluster in a way correlated with the true partition if $(a - b)^2 > 2(a + b)$, and impossible if $(a - b)^2 < 2(a + b)$. By comparison, the best-known rigorous result is that of Coja-Oghlan, who showed that clustering is possible if $(a - b)^2 > C (a + b)$ for some sufficiently large $C$.
We prove half of their prediction, showing that it is indeed impossible to cluster if $(a - b)^2 < 2(a + b)$. Furthermore we show that it is impossible even to estimate the model parameters from the graph when $(a - b)^2 < 2(a + b)$; on the other hand, we provide a simple and efficient algorithm for estimating $a$ and $b$ when $(a - b)^2 > 2(a + b)$. Following Decelle et al, our work establishes a rigorous connection between the clustering problem, spin-glass models on the Bethe lattice and the so called reconstruction problem. This connection points to fascinating applications and open problems.
A doubly-refined enumeration of alternating sign matrices and descending plane partitions
Published in J. Combin. Theory Ser. A 120 (2013) 409-432
• View Publication
• BIB
It was shown recently by the authors that, for any n, there is equality between the distributions of certain triplets of statistics on nxn alternating sign matrices (ASMs) and descending plane partitions (DPPs) with each part at most n. The statistics for an ASM A are the number of generalized inversions in A, the number of -1's in A and the number of 0's to the left of the 1 in the first row of A, and the respective statistics for a DPP D are the number of nonspecial parts in D, the number of special parts in D and the number of n's in D. Here, the result is generalized to include a fourth statistic for each type of object, where this is the number of 0's to the right of the 1 in the last row of an ASM, and the number of (n-1)'s plus the number of rows of length n-1 in a DPP. This generalization is proved using the known equality of the three-statistic generating functions, together with relations which express each four-statistic generating function in terms of its three-statistic counterpart. These relations are obtained by applying the Desnanot-Jacobi identity to determinantal expressions for the generating functions, where the determinants arise from standard methods involving the six-vertex model with domain-wall boundary conditions for ASMs, and nonintersecting lattice paths for DPPs.
The interaction of collinear gaps of arbitrary charge in a two dimensional dimer system
Published
• View Publication
• BIB
The correlation of gaps in dimer systems was introduced in 1963 by Fisher and Stephenson, who looked at the interaction of two monomers generated by the rigid exclusion of dimers on the closely packed square lattice. In previous work we considered the analogous problem on the hexagonal lattice, and we extended the set-up to include the correlation of any finite number of monomer clusters. For fairly general classes of monomer clusters we proved that the asymptotics of their correlation is given, for large separations between the clusters, by a multiplicative version of Coulomb's law for 2D electrostatics. However, our previous results required that the monomer clusters consist (with possibly one exception) of an even number of monomers. In this paper we determine the asymptotics of general defect clusters along a lattice diagonal in the square lattice (involving an arbitrary, even or odd number of monomers), and find that it is given by the same Coulomb law. We also obtain a conceptual interpretation for the multiplicative constant as the product of the correlations of the individual clusters.
Minkowski length of 3D lattice polytopes
Published
• View Publication
• BIB
We study the Minkowski length L(P) of a lattice polytope P, which is defined to be the largest number of non-trivial primitive segments whose Minkowski sum lies in P. The Minkowski length represents the largest possible number of factors in a factorization of polynomials with exponent vectors in P, and shows up in lower bounds for the minimum distance of toric codes. In this paper we give a polytime algorithm for computing L(P) where P is a 3D lattice polytope. We next study 3D lattice polytopes of Minkowski length 1. In particular, we show that if Q, a subpolytope of P, is the Minkowski sum of L = L(P) lattice polytopes Qi, each of Minkowski length 1, then the total number of interior lattice points of the polytopes Q1,..., QL is at most 4. Both results extend previously known results for lattice polygons. Our methods differ substantially from those used in the two-dimensional case.
Polynomial Triangles Revisited
A polynomial triangle is an array whose inputs are the coefficients in integral powers of a polynomial. Although polynomial coefficients have appeared in several works, there is no systematic treatise on this topic. In this paper we plan to fill this gap. We describe some aspects of these arrays, which generalize similar properties of the binomial coefficients. Some combinatorial models enumerated by polynomial coefficients, including lattice paths model, spin chain model and scores in a drawing game, are introduced. Several known binomial identities are then extended. In addition, we calculate recursively generating functions of column sequences. Interesting corollaries follow from these recurrence relations such as new formulae for the Fibonacci numbers and Hermite polynomials in terms of trinomial coefficients. Finally, properties of the entropy density function that characterizes polynomial coefficients in the thermodynamical limit are studied in details.
Nonconvexity of the set of hypergraph degree sequences
Published
• View Publication
• BIB
It is well known that the set of possible degree sequences for a graph on $n$ vertices is the intersection of a lattice and a convex polytope. We show that the set of possible degree sequences for a $k$-uniform hypergraph on $n$ vertices is not the intersection of a lattice and a convex polytope for $k \geq 3$ and $n \geq k+13$. We also show an analogous nonconvexity result for the set of degree sequences of $k$-partite $k$-uniform hypergraphs and the generalized notion of $λ$-balanced $k$-uniform hypergraphs.
An Efficient Construction of Self-Dual Codes
Published
• View Publication
• BIB
We complete the building-up construction for self-dual codes by resolving the open cases over $GF(q)$ with $q \equiv 3 \pmod 4$, and over $\Z_{p^m}$ and Galois rings $\GR(p^m,r)$ with an odd prime $p$ satisfying $p \equiv 3 \pmod 4$ with $r$ odd. We also extend the building-up construction for self-dual codes to finite chain rings. Our building-up construction produces many new interesting self-dual codes. In particular, we construct 945 new extremal self-dual ternary $[32,16,9]$ codes, each of which has a trivial automorphism group. We also obtain many new self-dual codes over $\mathbb Z_9$ of lengths $12, 16, 20$ all with minimum Hamming weight 6, which is the best possible minimum Hamming weight that free self-dual codes over $\Z_9$ of these lengths can attain. From the constructed codes over $\mathbb Z_9$, we reconstruct optimal Type I lattices of dimensions $12, 16, 20,$ and 24 using Construction $A$; this shows that our building-up construction can make a good contribution for finding optimal Type I lattices as well as self-dual codes. We also find new optimal self-dual $[16,8,7]$ codes over GF(7) and new self-dual codes over GF(7) with the best known parameters $[24,12,9]$.