lattice ↗ reference
4394 papers tagged with this keyword
Families of Equiangular Lines and Lattices
We construct Euclidean lattices whose sets of minimal vectors support some large equiangular families of lines, using notably reduction modulo~$2$ of lattices. %as considered in \cite{Ma1} and \cite{Ma2}. We also consider some related problems, and answer a question raised by Greaves ([G], Subsection~1.3.2).
Arrow Relations in Lattices of Integer Partitions
Published in International Journal of Approximate Reasoning 172 (September 2024) 109244:1-24
• View Publication
• BIB
We give a complete characterisation of the single and double arrow relations of the standard context $K(L_n)$ of the lattice $L_n$ of partitions of any positive integer $n$ under the dominance order, thereby addressing an open question of Ganter, 2022.
Progressive and Rushed Dyck Paths
Published in EPTCS 403, 2024, pp. 29-34
• View Publication
• BIB
We call progressive paths and rushed paths two families of Dyck paths studied by Asinowski and Jelinek, which have the same enumerating sequence (OEIS entry A287709). We present a bijection proving this fact. Rushed paths turn out to be in bijection with one-sided trees, introduced by Durhuus and Unel, which have an asymptotic enumeration involving a stretched exponential. We conclude by presenting several other classes of related lattice paths and directed animals that may have similar asymptotic properties.
Lattice Points and Rational $q$-Catalan Numbers
Published
• View Publication
• BIB
For each pair of coprime integers $a$ and $b$ we have a rational $q$-Catalan number $\operatorname{Cat}(a,b)_q=\binom{a+b}{a}_q/[a+b]_q$. It is known that this is a polynomial in $q$ with nonnegative integer coefficients, but the nature of these coefficients is still mysterious. Our current understanding is based on the rational shuffle conjecture that was conjectured by Bergeron, Garsia, Leven and Xin in 2014 and proved by Mellit in 2016, based on earlier work with Carlsson. This theorem realizes $\operatorname{Cat}(a,b)_q$ as the generating function for the statistic "area $-\ \mathrm{dinv}+\frac{(a-1)(b-1)}{2}$" defined on rational Dyck paths. However, this statistic is difficult to work with and leaves some phenomena unexplained. For example, it does not prove the conjecture that the difference $\operatorname{Cat}(a,c)_q-\operatorname{Cat}(a,b)_q$ has nonnegative coefficients whenever $\gcd(a,b)=\gcd(a,c)=1$ and $b<c$. The current paper proposes to look at lattice points instead of Dyck paths. Our idea is to fix $a$ and express everything in terms of the weight lattice $\mathrm{L}$ and root lattice $\mathrm{R}$ of type $A_{a-1}$. Based on ideas of Paul Johnson, we conjecture the existence of certain "Johnson statistics" $J:\mathrm{R}\to\mathbb{Z}$ and we prove this conjecture for $a\le 20$. We show that these statistics satisfy many remarkable properties including a $q$-analogue of Brion's theorem for simplices.
$\mathcal{L}$-intersecting or Configuration Forbidden Families on Set Systems and Vector Spaces over Finite Fields
In this paper, we derive a tight upper bound for the size of an intersecting $k$-Sperner family of subspaces of the $n$-dimensional vector space $\mathbb{F}_{q}^{n}$ over finite field $\mathbb{F}_{q}$ which gives a $q$-analogue of the Erdős' $k$-Sperner Theorem, and we then establish a general relationship between upper bounds for the sizes of families of subsets of $[n] = \{1, 2, \dots, n\}$ with property $P$ and upper bounds for the sizes of families of subspaces of $\mathbb{F}_{q}^{n}$ with property $P$, where $P$ is either $\mathcal{L}$-intersecting or forbidding certain configuration. Applying this relationship, we derive generalizations of the well known results about the famous Erdős matching conjecture and Erdős-Chvátal simplex conjecture to linear lattices. As a consequence, we disprove a related conjecture on families of subspaces of $\mathbb{F}_{q}^{n}$ by Ihringer [Europ. J. Combin., 94 (2021), 103306].
Spherical codes with prescribed signed permutation automorphisms inside shells of low-dimensional integer lattices
Published
• View Publication
• BIB
Let $\textrm{S}(n,t,k)$ be the maximum size of a code containing only vectors of the $k$th shell of the integer lattice $\mathbb{Z}^n$ such that the inner product between distinct vectors does not exceed $t$. In this paper we compute lower bounds for $\textrm{S}(n,t,k)$ for small values of $n$, $t$ and $k$ by carrying out computer searches for codes with prescribed automorphisms. We prescribe groups of signed permutation automorphisms acting transitively on the pairs of coordinates and coordinate values as well as other closely related groups of automorphisms. Several of the constructed codes lead to improved lower bounds for spherical codes.
A Relationship for LYM Inequalities between Boolean Lattices and Linear Lattices with Applications
Published
• View Publication
• BIB
Sperner theory is one of the most important branches in extremal set theory. It has many applications in the field of operation research, computer science, hypergraph theory and so on. The LYM property has become an important tool for studying Sperner property. In this paper, we provide a general relationship for LYM inequalities between Boolean lattices and linear lattices. As applications, we use this relationship to derive generalizations of some well-known theorems on maximum sizes of families containing no copy of certain poset or certain configuration from Boolean lattices to linear lattices, including generalizations of the well-known Kleitman theorem on families containing no $s$ pairwise disjoint members (a non-uniform variant of the famous Erdős matching conjecture) and Johnston-Lu-Milans theorem and Polymath theorem on families containing no $d$-dimensional Boolean algebras.
A class of polynomial recurrences resulting in $(n/\log n, n/\log^2n)$-asymptotic normality
Published
• View Publication
• BIB
We consider sequences of polynomials that satisfy differential-difference recurrences. Polynomials satisfying such recurrences frequently appear as generating polynomials of integer valued random variables that are of interest in discrete mathematics. It is, therefore, of interest to understand the properties of such polynomials and their probabilistic consequences. We identify a class of polynomial recurrences that lead to a normal law with the expected value and the variance proportional to $n/\log n$ and $n/\log^2n$, respectively. Examples include Stirling number of the second kind and other polynomials concerning set partitions as well as polynomials related to Whitney numbers of Dowling lattices.
Counting lattice points that appear as algebraic invariants of Cameron-Walker graphs
In 2021, Hibi et. al. studied lattice points in $\mathbb{N}^2$ that appear as $(\depth R/I,\dim R/I)$ when $I$ is the edge ideal of a graph on $n$ vertices, and showed these points lie between two convex polytopes. When restricting to the class of Cameron--Walker graphs, they showed that these pairs do not form a convex lattice polytope. In this paper, for the edge ideal $I$ of a Cameron--Walker graph on $n$ vertices, we find how many points in $\mathbb{N}^2$ appear as $(\depth(R/I),\dim(R/I))$, and how many points in $\mathbb{N}^4$ appear as $(\depth(R/I),\reg(R/I),\dim(R/I),\degh(R/I)).$
Turtles, Hats and Spectres: Aperiodic structures on a Rhombic tiling
These notes derive aperiodic monotiles (arXiv:2303.10798) from a set of rhombuses with matching rules. This dual construction is used to simplify the proof of aperiodicity by considering the tiling as a colouring game on a Rhombille tiling. A simple recursive substitution system is then introduced to show the existence of a non-periodic tiling without the need for computer-aided verification.
A new cut-and-project style construction linking the Turtle tiling with 1-dimensional Fibonacci words provides a second proof of non-periodicity, and an alternative demonstration that the Turtle can tile the plane.
Deforming the Turtle into the Hat tile then provides a third proof for non-periodicity by considering the effect on the lattice underlying the Rhombille tiling.
Finally, attention turns to the Spectre tile. In collaboration with Erhard Künzel and Yoshiaki Araki, we present two new substitution rules for generating Spectre tilings. This pair of conjugate rules show that the aperiodic monotile tilings can be considered as a 2-dimensional analog to Sturmian words.
On nu Faces of Partial Alternating Sign Matrix Polytopes
Published
• View Publication
• BIB
We define and study the $(ν/ λ)$-partial alternating sign matrix polytope, motivated by connections to the Chan-Robbins-Yuen polytope and the $ν$-Tamari lattice. We determine the inequality description and show this polytope is a face of the partial alternating sign matrix polytope of [Heuer, Striker 2022]. We show that the $(ν/ λ)$-partial ASM polytope is an order polytope and a flow polytope.
Hankel Determinants of convoluted Catalan numbers and nonintersecting lattice paths: A bijective proof of Cigler's Conjecture
Published
• View Publication
• BIB
In recent preprints, Cigler considered certain Hankel determinants of convoluted Catalan numbers and conjectured identities for these determinants. In this note, we shall give a bijective proof of Cigler's Conjecture by interpreting determinants as generating functions of nonintersecting lattice paths: this proof employs the reflection principle, the Lindström-Gessel-Viennot-method and a certain construction involving reflections and overlays of nonintersecting lattice paths. Shortly after this bijective proof was presented here, Cigler provided a shorter proof based on earlier results.
The Role of Sequence Information in Minimal Models of Molecular Assembly
Published
• View Publication
• BIB
Sequence-directed assembly processes - such as protein folding - allow the assembly of a large number of structures with high accuracy from only a small handful of fundamental building blocks. We aim to explore how efficiently sequence information can be used to direct assembly by studying variants of the temperature-1 abstract tile assembly model (aTAM). We ask whether, for each variant, their exists a finite set of tile types that can deterministically assemble any shape producible by a given assembly model; we call such tile type sets "universal assembly kits". Our first model, which we call the "backboned aTAM", generates backbone-assisted assembly by forcing tiles to be added to lattice positions neighbouring the immediately preceding tile, using a predetermined sequence of tile types. We demonstrate the existence of universal assembly kit for the backboned aTAM, and show that the existence of this set is maintained even under stringent restrictions to the rules of assembly. We compare these results to a less constrained model that we call sequenced aTAM, which also uses a predetermined sequence of tiles, but does not constrain a tile to neighbour the immediately preceding tiles. We prove that this model has no universal assembly kit in the stringent case. The lack of such a kit is surprising, given that the number of tile sequences of length N scales faster than both the number and worst-case Kolmogorov complexity of producible shapes of size N for a sufficiently large - but finite - set of tiles. Our results demonstrate the importance of physical mechanisms, and specifically geometric constraints, in facilitating efficient use of the information in molecular programs for structure assembly.
A Szemerédi type theorem for sets of positive density in approximate lattices
Published in Ergod. Th. Dynam. Sys. 45 (2025) 2023-2053
• View Publication
• BIB
An extension of Szemerédi's Theorem is proved for sets of positive density in approximate lattices in general locally compact and second countable abelian groups. As a consequence, we establish a recent conjecture of Klick, Strungaru and Tcaciuc. Via a novel version of Furstenberg's Correspondence principle, which should be of independent interest, we show that our Szemerédi Theorems can be deduced from a general \emph{transverse} multiple recurrence theorem, which we establish using recent works of Austin.
The Maker-Breaker percolation game on a random board
The $(m,b)$ Maker-Breaker percolation game on $(\mathbb{Z}^2)_p$, introduced by Day and Falgas-Ravry, is played in the following way. Before the game starts, each edge of $\mathbb{Z}^2$ is removed independently with probability $1-p$. After that, Maker chooses a vertex $v_0$ to protect. Then, in each round Maker and Breaker claim respectively $m$ and $b$ unclaimed edges of $G$. Breaker wins if after the removal of the edges claimed by him the component of $v_0$ becomes finite, and Maker wins if she can indefinitely prevent Breaker from winning.
We show that for any $p < 1$, Breaker almost surely has a wining strategy for the $(1,1)$ game on $(\mathbb{Z}^2)_p$. This fully answers a question of Day and Falgas-Ravry, who showed that for $p = 1$ Maker has a winning strategy for the $(1,1)$ game. Further, we show that in the $(2,1)$ game on $(\mathbb{Z}^2)_p$ Maker almost surely has a winning strategy whenever $p > 0.9402$, while Breaker almost surely has a winning strategy whenever $p < 0.5278$. This shows that the threshold value of $p$ above which Maker has a winning strategy for the $(2,1)$ game on $\mathbb{Z}^2$ is non-trivial. In fact, we prove similar results in various settings, including other lattices and biases $(m,b)$.
These results extend also to the most general case, which we introduce, where each edge is given to Maker with probability $α$ and to Breaker with probability $β$ before the game starts.
Bijections and congruences involving lattice paths and integer compositions
Published
• View Publication
• BIB
We prove new bijections between different variants of Dyck paths and integer compositions, which give combinatorial explanations of their simple counting formula $4^{n-1}$. These give relations between different statistics, such as the number of crossings of the $x$-axis in classes of Dyck bridges or the distribution of peaks in classes of Dyck paths, and furthermore relate them with $k$- and $g$-compositions. These allow us to find and prove congruence results for Dyck paths and parity results for compositions. Our investigation uncovers unexpected connections to mock theta functions, Hardinian arrays, little Schröder paths, Fibonacci numbers, and irreducible pairs of compositions, offering new insights into the structures of paths, partitions and compositions.
Efficient Evaluations of Weighted Sums over the Boolean Lattice inspired by conjectures of Berti, Corsi, Maspero, and Ventura
In their study of water waves, Massimiliano Berti, Livia Corsi, Alberto Maspero, and Paulo Ventura, came up with two intriguing conjectured identities involving certain weighted sums over the Boolean lattice. They were able to prove the first one, while the second is still open. In this methodological note, we will describe how to generate many terms of these types of weighted sums, and if in luck, evaluate them in closed-form. We were able to use this approach to give a new proof of their first conjecture, and while we failed to prove the second conjecture, we give overwhelming evidence for its veracity. In this second version, we are happy to announce that Mark van Hoeij was able to complete the proof of the second conjecture, by explicitly solving the second-order recurrence mentioned at the end.
Ehrhart polynomials, Hecke series, and affine buildings
Given a lattice polytope $P$ and a prime $p$, we define a function from the set of primitive symplectic $p$-adic lattices to the rationals that extracts the $\ell$th coefficient of the Ehrhart polynomial of $P$ relative to the given lattice. Inspired by work of Gunnells and Rodriguez-Villegas in type $\mathsf{A}$, we show that these functions are eigenfunctions of a suitably defined action of the spherical symplectic Hecke algebra. Although they depend significantly on the polytope $P$, their eigenvalues are independent of $P$ and expressed as polynomials in $p$. We define local zeta functions that enumerate the values of these Hecke eigenfunctions on the vertices of the affine Bruhat--Tits buildings associated with $p$-adic symplectic groups. We compute these zeta functions by enumerating $p$-adic lattices by their elementary divisors and, simultaneously, one Hermite parameter. We report on a general functional equation satisfied by these local zeta functions, confirming a conjecture of Vankov.
Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem
This paper presents two shortcuts to a classical proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem, which can be found in B. Davey and H. Priestley [2] and S. Burris and H. Sankappanavar [1]. To be precise, the shortcuts pertain a particular step of the proof that requires showing an algebraic equality. In addition, we briefly discuss how to compare the lengths of the three proofs (the original and our two proposed shortcuts). To do so, we introduce two methods to compare the lengths of proofs based on algebraic lattice expressions. We call them the proof count method and the proof poset method. Both methods indicate that our proofs are shorter but the difference is more pronounced in the former.
Keywords: lattices, posets
Folding polyominoes into cubes
Which polyominoes can be folded into a cube, using only creases along edges of the square lattice underlying the polyomino, with fold angles of $\pm 90^\circ$ and $\pm 180^\circ$, and allowing faces of the cube to be covered multiple times? Prior results studied tree-shaped polyominoes and polyominoes with holes and gave partial classifications for these cases.
We show that there is an algorithm deciding whether a given polyomino can be folded into a cube. This algorithm essentially amounts to trying all possible ways of mapping faces of the polyomino to faces of the cube, but (perhaps surprisingly) checking whether such a mapping corresponds to a valid folding is equivalent to the unlink recognition problem from topology.
We also give further results on classes of polyominoes which can or cannot be folded into cubes. Our results include (1) a full characterisation of all tree-shaped polyominoes that can be folded into the cube (2) that any rectangular polyomino which contains only one simple hole (out of five different types) does not fold into a cube, (3) a complete characterisation when a rectangular polyomino with two or more unit square holes (but no other holes) can be folded into a cube, and (4) a sufficient condition when a simply-connected polyomino can be folded to a cube.
These results answer several open problems of previous work and close the cases of tree-shaped polyominoes and rectangular polyominoes with just one simple hole.