lattice
4310 papers tagged with this keyword
Symmetrization for finitely dependent colouring
We prove the existence of a finitely dependent proper colouring of the integer lattice Z^d that is fully isometry-invariant in law, for all dimensions d. Previously this was known only for d=1, while only translation-invariant examples were known for higher d. Moreover we show that four colours suffice, and that the colouring can be expressed as an isometry-equivariant finitary factor of an i.i.d. process, with exponential tail decay on the coding radius. Our construction starts from known translation-invariant colourings and applies a symmetrization technique of possible broader utility.
Bijective enumeration of general stacks
Combinatorial enumeration of various RNA secondary structures and protein contact maps, is of great interest for both combinatorists and computational biologists. Enumeration of protein contact maps has considerable difficulties due to the significant higher vertex degree than that of RNA secondary structures. The state of art maximum vertex degree in previous works is two. This paper proposes a solution for counting stacks in protein contact maps with arbitrary vertex degree upper bound. By establishing bijection between such general stacks and $m$-regular $Λ$-avoiding $DLU$ paths, and counting the paths using theories of pattern avoiding lattice paths, we obtain a unified system of equations for generating functions of general stacks. We also show that previous enumeration results for RNA secondary structures and protein contact maps can be derived from the unified equation system as special cases.
Area bounds for planar convex bodies containing a fixed number of interior integral points
We prove area bounds for planar convex bodies in terms of their number of interior integral points and their lattice width data. As an application, we obtain sharp area bounds for rational polygons with a fixed number of interior integral points depending on their denominator. For lattice polygons, we also present an equation for the area based on Noether's formula.
Skew symplectic and orthogonal characters through lattice paths
Published in European Journal of Combinatorics 122 (2024), 104000
• View Publication
• BIB
The skew Schur functions admit many determinantal expressions. Chief among them are the (dual) Jacobi-Trudi formula and the Lascoux-Pragacz formula, which is a skew analogue of the Giambelli identity. Comparatively, the skew characters of the symplectic and orthogonal groups, also known as the skew symplectic and orthogonal Schur functions, have received less attention in this direction. We establish analogues of the dual Jacobi-Trudi and Lascoux-Pragacz formulae for these characters. Our approach is entirely combinatorial, being based on lattice path descriptions of the tableaux models of Koike and Terada. Ordinary Jacobi-Trudi formulae are then derived in an algebraic manner from their duals.
Free nilspaces, double-coset nilspaces, and Gowers norms
Compact finite-rank nilspaces have become central in the nilspace approach to higher-order Fourier analysis, notably through their role in a general form of the inverse theorem for the Gowers norms. This paper studies these nilspaces per se, and in connection with further refinements of this inverse theorem that have been conjectured recently. Our first main result states that every compact finite-rank nilspace is obtained by taking a free nilspace (a nilspace based on an abelian group of the form $\mathbb{Z}^{r}\times \mathbb{R}^s$) and quotienting this by a discrete group action of a specific type, describable in terms of polynomials. We call these group actions "higher-order lattice actions", as they generalize actions of lattices in $\mathbb{Z}^r\times \mathbb{R}^s$. The second main result (which relies on the first one) represents every compact finite-rank nilspace as a double-coset space $K\backslash G / Γ$ where $G$ is a nilpotent Lie group of a specific kind. Our third main result extends the aforementioned results to $k$-step compact nilspaces (not necessarily of finite rank), by representing any such nilspace as a quotient of infinite products of free nilspaces and also as double coset spaces $K\backslash G/Γ$ where $G$ is a degree-$k$ nilpotent pro-Lie group. These results open the study of compact nilspaces to areas more classical than nilspace theory, such as the theory of topological group actions. The results also require developing the theory of topological non-compact nilspaces, for which we provide groundwork in this paper. Applications include new inverse theorems for Gowers norms on any finite abelian group. These theorems are purely group theoretic in that the correlating harmonics are based on double-coset spaces. This yields progress towards the Jamneshan-Tao conjecture.
From Young's Lattice to Coinvariants
Inspired by Vershik and Okounkov's inductive and Lie-theoretic approach to the representation theory of the symmetric group, we extend their point of view to reducible $S_n$-modules. Using induced representations along Young's lattice, we define an orthonormal weight basis for the regular representation of $S_n$ and use its rigidity to exhibit dualities between the left and right actions of $S_n$ and between restriction and induction of representations. We also show our weight basis is equivalent to the basis of matrix units corresponding to Young's seminormal form. We then realize $\mathbb{C}[S_n]$ in a subspace of the polynomial ring $R[z_1, \ldots , z_n]$. The induced weight decomposition allows us to map this subspace of polynomials to the ring of coinvariants, similar to the work of Ariki, Terasoma, and Yamada on higher Specht polynomials but perhaps a bit more intrinsic as we work in terms of an orthonormal basis. Our construction makes explicit the connection between the charge statistic on standard tableaux (which corresponds to degree in the coinvariant ring) and the action of adjacent transpositions on weight vectors in the seminormal representation of $S_n$. It also exposes the inductive structure of $S_n$ hidden in the coinvariant ring. All our constructions are elementary, and we are curious about their geometric meaning.
Celebrating Loday's Associahedron
Published in Archiv der Mathematik 121, 559-601, 2023
• View Publication
• BIB
We survey Jean-Louis Loday's vertex description of the associahedron, and its far reaching influence in combinatorics, discrete geometry and algebra. We present in particular four topics were it plays a central role: lattice congruences of the weak order and their quotientopes, cluster algebras and their generalized associahedra, nested complexes and their nestohedra, and operads and the associahedron diagonal.
Recursive properties of the characteristic polynomial of weighted lattices
In this paper, we describe properties of the characteristic polynomial of a weighted lattice and show that it has a recursive description, which we use to obtain results on the critical exponent of $q$-polymatroids. We give a Critical Theorem for representable $q$-polymatroids and we provide a lower bound on the critical exponent. We show that $q$-polymatroids arising from certain families of rank-metric codes attain this lower bound.
A facial order for torsion classes
We generalize the "facial weak order" of a finite Coxeter group to a partial order on a set of intervals in a complete lattice. We apply our construction to the lattice of torsion classes of a finite-dimensional algebra and consider its restriction to intervals coming from stability conditions. We give two additional interpretations of the resulting "facial semistable order": one using cover relations, and one using Bongartz completions of 2-term presilting objects. For $τ$-tilting finite algebras, this allows us to prove that the facial semistable order is a semidistributive lattice. We then show that, in any abelian length category, our new partial order can be partitioned into a set of completely semidistributive lattices, one of which is the original lattice of torsion classes.
Sub-25-dimensional counterexamples to Borsuk's conjecture in the Leech lattice?
In 1933, Karol Borsuk asked whether each bounded set in the $n$-dimensional Euclidean space can be divided into $n$+1 parts of smaller diameter. Because it would not make sense otherwise, one usually assumes that he just forgot to require that the whole set contains at least two points. The hypothesis that the answer to that question is positive became famous under the name \emph{Borsuk's conjecture}. Counterexamples are known for any $n\ge 64$, since 2013.
Let $Λ$ be the (original, unscaled) Leech lattice, a now very well-known infinite discrete vector set in the 24-dimensional Euclidean space. The smallest norm of nonzero vectors in $Λ$ is $\sqrt{32}$. Let $M$ be the set of the 196560 vectors in $Λ$ having this norm.
For each $x \in M$, $-x$ is in $M$. Let $H$ be the set of all subsets of $M$ that for each $x$ in $M$ contain either $x$ or $-x$. Each element of $H$ has the same diameter $d = \sqrt{96}$. For dimensions $n<24$ one can analogously construct respective $M_n$ and $H_n$ from laminated $n$-dimensional sublattices $Λ_n$ of $Λ$. For uniformity, let $Λ_{24}=Λ$, $M_{24} = M$ and $H_{24} = H$.
If $M_n$ is divisible into at most $n+1$ parts of diameter below $d$ then this applies to all elements of $H_n$, too. I have checked that this is the case for all $n \le 21$. For $n$ from 22 to 24, the minimum number of parts of diameter below $d$ that I was able to divide $M_n$ into are 25, 29 and 34, resp. The source package of this article contains a data file encoding an element of $H_{24}=H$ that I can not divide into less than 29 parts of smaller diameter.
Maximal Arrangement of Dominos in the Diamond
"Dominos" are special entities consisting of a hard dimer-like kernel surrounded by a soft hull and governed by local interactions. "Soft hull" and "hard kernel" mean that the hulls can overlap while the kernel acts under a repulsive potential. Unlike the dimer problem in statistical physics, which lists the number of all possible configurations for a given n x n lattice, the more modest goal herein is to provide lower and upper bounds for the maximum allowed number of dominos in the diamond. In this NP problem, a deterministic construction rule is proposed and leads to a suboptimal solution ψ_n as a lower bound. A certain disorder is then injected and leads to an upper bound ψ_n_upper reachable or not. In some cases, the lower and upper bounds coincide, so ψ_n = ψ_n_upper becomes the exact number of dominos for a maximum configuration.
($\mathfrak{S}_p \times \mathfrak{S}_q$)-Invariant Graphical Parking Functions
Graphical parking functions, or $G$-parking functions, are a generalization of classical parking functions which depend on a connected multigraph $G$ having a distinguished root vertex. Gaydarov and Hopkins characterized the relationship between $G$-parking functions and another vector-dependent generalization of parking functions, the $\boldsymbol{u}$-parking functions. The crucial component of their result was their classification of all graphs $G$ whose $G$-parking functions are invariant under action by the symmetric group $\mathfrak{S}_n$, where $n+1$ is the order of $G$. In this work, we present a 2-dimensional analogue of Gaydarov and Hopkins' results by characterizing the overlap between $G$-parking functions and 2-dimensional $\boldsymbol{U}$-parking functions, i.e., pairs of integer sequences whose order statistics are bounded by certain weights along lattice paths in the plane. Our key result is a total classification of all $G$ whose set of $G$-parking functions is $(\mathfrak{S}_p \times \mathfrak{S}_q)$-invariant, where $p+q+1$ is the order of $G$.
On linear intervals in the alt $ν$-Tamari lattices
Published
• View Publication
• BIB
Given a lattice path $ν$, the $ν$-Tamari lattice and the $ν$-Dyck lattice are two natural examples of partial order structures on the set of lattice paths that lie weakly above $ν$. In this paper, we introduce a more general family of lattices, called alt $ν$-Tamari lattices, which contains these two examples as particular cases. Unexpectedly, we show that all these lattices have the same number of linear intervals.
Factoriality inside Boolean lattices
Given a join semilattice $S$ with a minimum $\hat{0}$, the quarks (also called atoms in order theory) are the elements that cover $\hat{0}$, and for each $x \in S \setminus \{\hat{0}\}$ a factorization (into quarks) of $x$ is a minimal set of quarks whose join is $x$. If every element $x \in S \setminus \{\hat{0}\}$ has a factorization, then $S$ is called factorizable. If for each $x \in S \setminus \{\hat{0}\}$, any two factorizations of $x$ have equal (resp., distinct) size, then we say that $S$ is half-factorial (resp., length-factorial). Let $B_\mathbb{N}$ be the Boolean lattice consisting of all finite subsets of $\mathbb{N}$ under intersections and unions. Here we study factorizations into quarks in join subsemilattices of $B_\mathbb{N}$, focused on the notions of half-factoriality and length-factoriality. We also consider the unique factorization property, which is the most special and relevant type of half-factoriality, and the elasticity, which is an arithmetic statistic that measures the deviation from half-factoriality.
Fast Evaluation of Generalized Todd Polynomials: Applications to MacMahon's Partition Analysis and Integer Programming
The Todd polynomials, denoted as $td_k(b_1,b_2,\ldots,b_m)$, are characterised by their generating functions: $$\sum_{k\ge 0} td_k s^k = \prod_{i=1}^m \frac{b_i s}{e^{b_i s}-1}.$$ These polynomials serve as fundamental components in the Todd class of toric varieties, a concept of significant relevance in the study of lattice polytopes and number theory. We identify that generalised Todd polynomials emerge naturally within the framework of MacMahon's partition analysis, particularly in the context of computing Ehrhart series. We introduce an efficient method for the evaluation of generalised Todd polynomials for numerical values of $b_i$. This is achieved through the development of expedited operations in the quotient ring $\mathbb{Z}_p[[s]]$ modulo $s^{d}$, where $p$ is a large prime. The practical implications of our work are demonstrated through two applications: firstly, we facilitate a recalculated resolution of the Ehrhart series for magic squares of order 6, a problem initially addressed by the first author, reducing computation time from 70 days to approximately 1 day; secondly, we present a polynomial-time algorithm for Integer Linear Programming when the dimension is fixed, exhibiting a notable enhancement in computational efficiency.
Sweet division problems: from chocolate bars to honeycomb strips and back
We consider two division problems on narrow strips of square and hexagonal lattices. In both cases we compute the bivariate enumerating sequences and the corresponding generating functions, which allowed us to determine the asymptotic behavior of the total number of such subdivisions and the expected number of parts. For the square lattice we extend results of two recent references by establishing polynomiality of enumerating sequences forming columns and diagonals of the triangular enumerating sequence. In the hexagonal case, we find a number of new combinatorial interpretations of the Fibonacci numbers and find combinatorial proofs of some Fibonacci related identities. We also show how both cases could be treated via the transfer matrix method and discuss some directions for future research.
Symmetric Toda, gradient flows, and tridiagonalization
Published in Phys. D 450 (2023), Paper No. 133766, 10 pages
• View Publication
• BIB
The Toda lattice (1967) is a Hamiltonian system given by $n$ points on a line governed by an exponential potential. Flaschka (1974) showed that the Toda lattice is integrable by interpreting it as a flow on the space of symmetric tridiagonal $n\times n$ matrices, while Moser (1975) showed that it is a gradient flow on a projective space. The symmetric Toda flow of Deift, Li, Nanda, and Tomei (1986) generalizes the Toda lattice flow from tridiagonal to all symmetric matrices. They showed the flow is integrable, in the classical sense of having $d$ integrals in involution on its $2d$-dimensional phase space. The system may be viewed as integrable in other ways as well. Firstly, Symes (1980, 1982) solved it explicitly via $QR$-factorization and conjugation. Secondly, Deift, Li, Nanda, and Tomei (1986) 'tridiagonalized' the system into a family of tridiagonal Toda lattices which are solvable and integrable. In this paper we derive their tridiagonalization procedure in a natural way using the fact that the symmetric Toda flow is diffeomorphic to a twisted gradient flow on a flag variety, which may then be decomposed into flows on a product of Grassmannians. These flows may in turn be embedded into projective spaces via Plücker embeddings, and mapped back to tridiagonal Toda lattice flows using Moser's construction. In addition, we study the tridiagonalized flows projected onto a product of permutohedra, using the twisted moment map of Bloch, Flaschka, and Ratiu (1990). These ideas are facilitated in a natural way by the theory of total positivity, building on our previous work (2023).
Local dimer dynamics in higher dimensions
We consider local dynamics of the dimer model (perfect matchings) on hypercubic boxes $[n]^d$. These consist of successively switching the dimers along alternating cycles of prescribed (small) lengths. We study the connectivity properties of the dimer configuration space equipped with these transitions. Answering a question of Freire, Klivans, Milet and Saldanha, we show that in three dimensions any configuration admits an alternating cycle of length at most 6. We further establish that any configuration on $[n]^d$ features order $n^{d-2}$ alternating cycles of length at most $4d-2$. We also prove that the dynamics of dimer configurations on the unit hypercube of dimension $d$ is ergodic when switching alternating cycles of length at most $4d-4$. Finally, in the planar but non-bipartite case, we show that parallelogram-shaped boxes in the triangular lattice are ergodic for switching alternating cycles of lengths 4 and 6 only, thus improving a result of Kenyon and Rémila, which also uses 8-cycles. None of our proofs make reference to height functions.
Algebraic Characterization of the Voronoi Cell Structure of the $A_n$ Lattice
We characterized the combinatorial structure of the Voronoi cell of the $A_n$ lattice in arbitrary dimensions. Based on the well-known fact that the Voronoi cell is the disjoint union of $(n+1)!$ congruent simplices, we show that it is the disjoint union of $(n+1)$ congruent hyper-rhombi, which are the generalized rhombi or trigonal trapezohedra. The explicit structure of the faces is investigated, including the fact that all the $k$-dimensional faces, $2\le k\le n-1$, are hyper-rhombi. We show it to be the vertex-first orthogonal projection of the $(n+1)$-dimensional unit cube. Hence the Voronoi cell is a zonotope. We prove that in low dimensions ($n\le 3$) the Voronoi cell can be understood as the section of that of the $D_{n+1}$ lattice with the hyperplane orthogonal to the diagonal direction. We provide all the explicit coordinates and transformation matrices associated with our analysis. Most of our analysis is algebraic and easily accessible to those less familiar with the Coxeter-Dynkin diagrams.
On an identity of Chaundy and Bullard. III. Basic and elliptic extensions
Published in AMS Contemp. Math. 819 (2025), 233-254
• Search Publication
The identity by Chaundy and Bullard expresses $1$ as a sum of two truncated binomial series in one variable where the truncations depend on two different non-negative integers. We present basic and elliptic extensions of the Chaundy--Bullard identity. The most general result, the elliptic extension, involves, in addition to the nome $p$ and the base $q$, four independent complex variables. Our proof uses a suitable weighted lattice path model. We also show how three of the basic extensions can be viewed as Bézout identities. Inspired by the lattice path model, we give a new elliptic extension of the binomial theorem, taking the form of an identity for elliptic commuting variables. We further present variants of the homogeneous form of the identity for $q$-commuting and for elliptic commuting variables.