lattice
4310 papers tagged with this keyword
The Steinberg torus of a Weyl group as a module over the Coxeter complex
Published
• View Publication
• BIB
Associated to each irreducible crystallographic root system $Φ$, there is a certain cell complex structure on the torus obtained as the quotient of the ambient space by the coroot lattice of $Φ$. This is the Steinberg torus. A main goal of this paper is to exhibit a module structure on (the set of faces of) this complex over the (set of faces of the) Coxeter complex of $Φ$. The latter is a monoid under the Tits product of faces. The module structure is obtained from geometric considerations involving affine hyperplane arrangements. As a consequence, a module structure is obtained on the space spanned by affine descent classes of a Weyl group, over the space spanned by ordinary descent classes. The latter constitute a subalgebra of the group algebra, the classical descent algebra of Solomon. We provide combinatorial models for the module of faces when $Φ$ is of type $A$ or $C$.
On the geometry of cyclic lattices
Published in Discrete and Computational Geometry, vol. 52 no. 2 (2014), pg. 240--259
• View Publication
• BIB
Cyclic lattices are sublattices of $\mathbb Z^N$ that are preserved under the rotational shift operator. Cyclic lattices were introduced by D.~Micciancio and their properties were studied in the recent years by several authors due to their importance in cryptography. In particular, Peikert and Rosen showed that on cyclic lattices in prime dimensions, the shortest independent vectors problem SIVP reduces to the shortest vector problem SVP with a particularly small loss in approximation factor, as compared to general lattices. In this paper, we further investigate geometric properties of cyclic lattices. Our main result is a counting estimate for the number of well-rounded cyclic lattices, indicating that well-rounded lattices are more common among cyclic lattices than generically. We also show that SVP is equivalent to SIVP on a positive proportion of Minkowskian well-rounded cyclic lattices in every dimension. As an example, we demonstrate an explicit construction of a family of such lattices on which this equivalence holds. To conclude, we introduce a class of sublattices of $\mathbb Z^N$ closed under the action of subgroups of the permutation group $S_N$, which are a natural generalization of cyclic lattices, and show that our results extend to all such lattices closed under the action of any $N$-cycle.
An extension of Tamari lattices
Published
• View Publication
• BIB
For any finite path $v$ on the square grid consisting of north and east unit steps, starting at (0,0), we construct a poset Tam$(v)$ that consists of all the paths weakly above $v$ with the same number of north and east steps as $v$. For particular choices of $v$, we recover the traditional Tamari lattice and the $m$-Tamari lattice.
Let $\overleftarrow{v}$ be the path obtained from $v$ by reading the unit steps of $v$ in reverse order, replacing the east steps by north steps and vice versa. We show that the poset Tam$(v)$ is isomorphic to the dual of the poset Tam$(\overleftarrow{v})$. We do so by showing bijectively that the poset Tam$(v)$ is isomorphic to the poset based on rotation of full binary trees with the fixed canopy $v$, from which the duality follows easily. This also shows that Tam$(v)$ is a lattice for any path $v$. We also obtain as a corollary of this bijection that the usual Tamari lattice, based on Dyck paths of height $n$, is a partition of the (smaller) lattices Tam$(v)$, where the $v$ are all the paths on the square grid that consist of $n-1$ unit steps.
We explain possible connections between the poset Tam$(v)$ and (the combinatorics of) the generalized diagonal coinvariant spaces of the symmetric group.
An analogue of the Rademacher function for generalized Dedekind sums in higher dimension
We consider generalized Dedekind sums in dimension $n$, for fixed $n$-tuple of natural numbers, defined as sum of products of values of periodic Bernoulli functions. This includes the higher dimensional Dedekind sums of Zagier and Apostol-Carlitz' generalized Dedekind sums as well as the original Dedekind sums. These are realized as coefficients of Todd series of lattice cones and satisfy reciprocity law from the cocycle property of Todd series. Using iterated residue formula, we compute the coefficient of the decomposition of of the Todd series corresponding to a nonsingular decomposition of the lattice cone defining the Dedekind sums. We associate a Laurent polynomial which is added to generalized Dedekind sums of fixed index to make their denominators bounded. We give explicitly the denominator in terms of Bernoulli numbers. This generalizes the role played by the rational function given by the difference of the Rademacher function and the classical Dedekind sums. We associate an exponential sum to the generalized Dedekind sums using the integrality of the generalized Rademacher function. We show that this exponential sum has a nontrivial bound that is sufficient to fulfill Weyl's equidistribution criterion and thus the fractional part of the generalized Dedekind sums are equidistributed. As an example, for a 3 dimensional case and Zagier's higher dimensional generalization of Dedekind sums, we compute the Laurent polynomials associated.
Multi-cores, posets, and lattice paths
Published
• View Publication
• BIB
Hooks are prominent in representation theory (of symmetric groups) and they play a role in number theory (via cranks associated to Ramanujan's congruences). A partition of a positive integer $n$ has a Young diagram representation. To each cell in the diagram there is an associated statistic called hook length, and if a number $t$ is absent from the diagram then the partition is called a $t$-core. A partition is an $(s,t)$-core if it is both an $s$- and a $t$-core. Since the work of Anderson on $(s,t)$-cores, the topic has received a growing attention. This paper expands the discussion to multiple-cores. More precisely, we explore $(s,s+1,\dots,s+k)$-core partitions much in the spirit of a recent paper by Stanley and Zanello. In fact, our results exploit connections between three combinatorial objects: multi-cores, posets and lattice paths (with a novel generalization of Dyck paths). Additional results and conjectures are scattered throughout the paper. For example, one of these statements implies a curious symmetry for twin-prime $(s,s+2)$-core partitions.
Bijections for pairs of non-crossing lattice paths and walks in the plane
Published
• View Publication
• BIB
It is a classical result in combinatorics that among lattice paths with 2m steps U=(1,1) and D=(1,-1) starting at the origin, the number of those that do not go below the x-axis equals the number of those that end on the x-axis. A much more unfamiliar fact is that the analogous equality obtained by replacing single paths with k-tuples of non-crossing paths holds for every k. This result has appeared in the literature in different contexts involving plane partitions (where it was proved by Proctor), partially ordered sets, Young tableaux, and lattice walks, but no bijective proof for k>1 seems to be known.
In this paper we give a bijective proof of the equality for k=2, showing that for pairs of non-crossing lattice paths with 2m steps U and D, the number of those that do not go below the x-axis equals the number of those that end on the x-axis. Translated in terms of walks in the plane starting at the origin with 2m unit steps in the four coordinate directions, our work provides correspondences among those constrained to the first octant, those constrained to the first quadrant that end on the x-axis, and those in the upper half-plane that end at the origin.
Our bijections, which are defined in more generality, also prove new results where different endpoints are allowed, and they give a bijective proof of the formula for the number of walks in the first octant that end on the diagonal, partially answering a question of Bousquet-Mélou and Mishna.
Sweep maps: A continuous family of sorting algorithms
Published
• View Publication
• BIB
We define a family of maps on lattice paths, called sweep maps, that assign levels to each step in the path and sort steps according to their level. Surprisingly, although sweep maps act by sorting, they appear to be bijective in general. The sweep maps give concise combinatorial formulas for the q,t-Catalan numbers, the higher q,t-Catalan numbers, the q,t-square numbers, and many more general polynomials connected to the nabla operator and rational Catalan combinatorics. We prove that many algorithms that have appeared in the literature (including maps studied by Andrews, Egge, Gorsky, Haglund, Hanusa, Jones, Killpatrick, Krattenthaler, Kremer, Orsina, Mazin, Papi, Vaille, and the present authors) are all special cases of the sweep maps or their inverses. The sweep maps provide a very simple unifying framework for understanding all of these algorithms. We explain how inversion of the sweep map (which is an open problem in general) can be solved in known special cases by finding a "bounce path" for the lattice paths under consideration. We also define a generalized sweep map acting on words over arbitrary alphabets with arbitrary weights, which is also conjectured to be bijective.
A rigidity property of ribbon L-shaped n-ominoes and generalizations
Let n integer greater or equal to 4 and even and let T_n be the set of ribbon L-shaped n-ominoes. We study tiling problems for regions in a square lattice by T_n. Our main result shows a remarkable rigidity property: a tiling of the first quadrant by T_n is possible if and only if it reduces to a tiling by 2 x n and n x 2 rectangles. An application is the classification of all rectangles that can be tiled by T_n: a rectangle can be tiled by T_n if and only if both of its sides are even and at least one side is divisible by n. Another application is the existence of the local move property for an infinite family of sets of tiles: T_n has the local move property for the class of rectangular regions with respect to the local moves that interchange a tiling of an n x n square by n/2 vertical rectangles, with a tiling by n/2 horizontal rectangles, each vertical/horizontal rectangle being covered by two ribbon L-shaped n-ominoes. We show that these results are not valid for any n odd. The rectangular pattern of a tiling persists if we add an extra 2 x 2 square to T_n. A rectangle can be tiled by the larger set of tiles if and only if it has both sides even. In contrast, the addition of an extra even x odd or odd x odd rectangle to one of the above sets of tiles allows for a tiling of the first quadrant that does not respect the rectangular pattern.
Divisors and specializations of Lucas polynomials
Published
• View Publication
• BIB
Three-term recurrences have infused stupendous amount of research in a broad spectrum of the sciences, such as orthogonal polynomials (in special functions) and lattice paths (in enumerative combinatorics). Among these are the Lucas polynomials, which have seen a recent true revival. In this paper one of the themes of investigation is the specialization to the Pell and Delannoy numbers. The underpinning motivation comprises primarily of divisibility and symmetry. One of the most remarkable findings is a structural decomposition of the Lucas polynomials into what we term as flat and sharp analogs.
On the Galois Lattice of Bipartite Distance Hereditary Graphs
Published
• View Publication
• BIB
We give a complete characterization of bipartite graphs having tree-like Galois lattices. We prove that the poset obtained by deleting bottom and top elements from the Galois lattice of a bipartite graph is tree-like if and only if the graph is a Bipartite Distance Hereditary graph. By relying on the interplay between bipartite distance hereditary graphs and series-parallel graphs, we show that the lattice can be realized as the containment relation among directed paths in an arborescence. Moreover, a compact encoding of Bipartite Distance Hereditary graphs is proposed, that allows optimal time computation of neighborhood intersections and maximal bicliques.
Confining multiple polymers between sticky walls: a directed walk model of two polymers
Published
• View Publication
• BIB
We study a model of two polymers confined to a slit with sticky walls. More precisely, we find and analyse the exact solution of two directed friendly walks in such a geometry on the square lattice. We compare the infinite slit limit, in which the length of the polymer (thermodynamic limit) is taken to infinity before the width of the slit is considered to become large, to the opposite situation where the order of the limits are swapped, known as the half-plane limit when one polymer is modelled. In contrast with the single polymer system we find that the half-plane and infinite slit limits coincide. We understand this result in part due to the tethering of polymers on both walls of the slit.
We also analyse the entropic force exerted by the polymers on the walls of the slit. Again the results differ significantly from single polymer models. In a single polymer system both attractive and repulsive regimes were seen, whereas in our two walk model only repulsive forces are observed. We do, however, see that the range of the repulsive force is dependent on the parameter values. This variation can be explained by the adsorption of the walks on opposite walls of the slit.
Noncrossing arc diagrams and canonical join representations
Published
• View Publication
• BIB
We consider two problems that appear at first sight to be unrelated. The first problem is to count certain diagrams consisting of noncrossing arcs in the plane. The second problem concerns the weak order on the symmetric group. Each permutation $x$ has a canonical join representation: a unique lowest set of permutations joining to $x$. The second problem is to determine which sets of permutations appear as canonical join representations. The two problems turn out to be closely related because the noncrossing arc diagrams provide a combinatorial model for canonical join representations. The same considerations apply to more generally to lattice quotients of the weak order. Considering quotients produces, for example, a new combinatorial object counted by the Baxter numbers and an analogous new object in bijection with generic rectangulations.
Quasi-periodic tiling with multiplicity: a lattice enumeration approach
Published in Discrete & Computational Geometry 54 (2015), pp. 647-662
• View Publication
• BIB
The $k$-tiling problem for a convex polytope $P$ is the problem of covering $\mathbb R^d$ with translates of $P$ using a discrete multiset $Λ$ of translation vectors, such that every point in $\mathbb R^d$ is covered exactly $k$ times, except possibly for the boundary of $P$ and its translates. A classical result in the study of tiling problems is a theorem of McMullen that a convex polytope $P$ that 1-tiles $\mathbb R^d$ with a discrete multiset $Λ$ can, in fact, 1-tile $\mathbb R^d$ with a lattice $\mathcal L$. A generalization of McMullen's theorem for $k$-tiling was conjectured by Gravin, Robins, and Shiryaev, which states that if $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$, then $P$ $m$-tiles $\mathbb R^d$ with a lattice $\mathcal L$ for some $m$. In this paper, we consider the case when $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$ such that every element of $Λ$ is contained in a quasi-periodic set $\mathcal Q$ (i.e. a finite union of translated lattices). This is motivated by the result of Gravin, Kolountzakis, Robins, and Shiryaev, showing that for $d \in \{2,3\}$, if a polytope $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$, then $P$ $m$-tiles $\mathbb R^d$ with a quasi-periodic set $\mathcal Q$ for some $m$. Here we show for all values of $d$ that if a polytope $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$ that is contained in a quasi-periodic set $\mathcal Q$ that satisfies a mild hypothesis, then $P$ $m$-tiles $\mathbb R^d$ with a lattice $\mathcal L$ for some $m$. This strengthens the results of Gravin, Kolountzakis, Robins, and Shiryaev, and is a step in the direction of proving the conjecture of Gravin et al.
Pseudo-Gorenstein and level Hibi rings
Published
• View Publication
• BIB
We introduce pseudo-Gorenstein rings and characterize those Hibi rings attached to a finite distributive lattice L which are pseudo-Gorenstein. The characterization is given in terms of the poset of join-irreducible elements of L. We also present a necessary condition for Hibi rings to be level. Special attention is given to planar and hyper-planar lattices. Finally the pseudo-Goresntein and level property of Hibi rings and generalized Hibi rings is compared with each other.
Matching measure, Benjamini-Schramm convergence and the monomer-dimer free energy
Published
• View Publication
• BIB
We define the matching measure of a lattice L as the spectral measure of the tree of self-avoiding walks in L. We connect this invariant to the monomer-dimer partition function of a sequence of finite graphs converging to L.
This allows us to express the monomer-dimer free energy of L in terms of the measure. Exploiting an analytic advantage of the matching measure over the Mayer series then leads to new, rigorous bounds on the monomer-dimer free energies of various Euclidean lattices. While our estimates use only the computational data given in previous papers, they improve the known bounds significantly.
Two lower bounds for the Stanley depth of monomial ideals
Let $J\varsubsetneq I$ be two monomial ideals of the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n]$. In this paper, we provide two lower bounds for the Stanley depth of $I/J$. On the one hand, we introduce the notion of lcm number of $I/J$, denoted by $l(I/J)$, and prove that the inequality ${\rm sdepth}(I/J)\geq n-l(I/J)+1$ hold. On the other hand, we show that ${\sdepth}(I/J)\geq n-\dim L_{I/J}$, where $\dim L_{I/J}$ denotes the order dimension of the lcm lattice of $I/J$. We show that $I$ and $S/I$ satisfy Stanley's conjecture, if either the lcm number of $I$ or the order dimension of the lcm lattice of $I$ is small enough. Among other results, we also prove that the Stanley--Reisner ideal of a vertex decomposable simplicial complex satisfies Stanley's conjecture.
A triangular gap of size two in a sea of dimers on a $60^\circ$ angle
Published in J. Phys. A: Math. Theor. 45 (2012), 494011
• Search Publication
We consider a triangular gap of side two in a $60^\circ$ angle on the triangular lattice whose sides are zig-zag lines. We study the interaction of the gap with the corner as the rest of the angle is completely filled with lozenges. We show that the resulting correlation is governed by the product of the distances between the gap and its five images in the sides of the angle. This provides a new aspect of the parallel between the correlation of gaps in dimer packings and electrostatics developed by the first author in previous work.
On Reflection Orders Compatible with a Coxeter Element
In this article we give a simple, almost uniform proof that the lattice of noncrossing partitions associated with a well-generated complex reflection group is lexicographically shellable. So far a uniform proof is available only for Coxeter groups. In particular we show that, for any complex reflection group $W$ and any element $x\in W$, every $x$-compatible reflection order is a recursive atom order of the corresponding interval in absolute order. Since any Coxeter element $γ$ in any well-generated complex reflection group admits a $γ$-compatible reflection order, the lexicographic shellability follows from a well-known result due to Björner and Wachs.
Average Size of a Self-conjugate (s, t)-Core Partition
Published
• View Publication
• BIB
Armstrong, Hanusa and Jones conjectured that if $s,t$ are coprime integers, then the average size of an $(s,t)$-core partition and the average size of a self-conjugate $(s,t)$-core partition are both equal to $\frac{(s+t+1)(s-1)(t-1)}{24}$. Stanley and Zanello showed that the average size of an $(s,s+1)$-core partition equals $\binom{s+1}{3}/2$. Based on a bijection of Ford, Mai and Sze between self-conjugate $(s,t)$-core partitions and lattice paths in $\lfloor \frac{s}{2} \rfloor\times \lfloor \frac{t}{2}\rfloor$ rectangle, we obtain the average size of a self-conjugate $(s,t)$-core partition as conjectured by Armstrong, Hanusa and Jones.
Existence of unimodular triangulations - positive results
Published in Mem. Amer. Math. Soc. Volume 270, Number 1321, American Math. Society, 2021. ISBNs: 978-1-4704-4716-8 (print); 978-1-4704-6530-8 (online)
• View Publication
• BIB
Unimodular triangulations of lattice polytopes arise in algebraic geometry, commutative algebra, integer programming and, of course, combinatorics.
In this article, we review several classes of polytopes that do have unimodular triangulations and constructions that preserve their existence.
We include, in particular, the first effective proof of the classical result by Knudsen-Mumford-Waterman stating that every lattice polytope has a dilation that admits a unimodular triangulation. Our proof yields an explicit (although doubly exponential) bound for the dilation factor.