lattice
4310 papers tagged with this keyword
Uniform Lipschitz functions on the triangular lattice have logarithmic variations
Published
• View Publication
• BIB
Uniform integer-valued Lipschitz functions on a domain of size $N$ of the triangular lattice are shown to have variations of order $\sqrt{\log N}$. The level lines of such functions form a loop $O(2)$ model on the edges of the hexagonal lattice with edge-weight one. An infinite-volume Gibbs measure for the loop O(2) model is constructed as a thermodynamic limit and is shown to be unique. It contains only finite loops and has properties indicative of scale-invariance: macroscopic loops appearing at every scale. The existence of the infinite-volume measure carries over to height functions pinned at the origin; the uniqueness of the Gibbs measure does not. The proof is based on a representation of the loop $O(2)$ model via a pair of spin configurations that are shown to satisfy the FKG inequality. We prove RSW-type estimates for a certain connectivity notion in the aforementioned spin model.
Relations in doubly laced crystal graphs via discrete Morse theory
Published
• View Publication
• BIB
We study the combinatorics of crystal graphs given by highest weight representations of types $A_{n}, B_{n}, C_{n}$, and $D_{n}$, uncovering new relations that exist among crystal operators. Much structure in these graphs has been revealed by local relations given by Stembridge and Sternberg. However, there exist relations among crystal operators that are not implied by Stembridge or Sternberg relations. Viewing crystal graphs as edge colored posets, we use poset topology to study them. Using the lexicographic discrete Morse functions of Babson and Hersh, we relate the Möbius function of a given interval in a crystal poset of simply laced or doubly laced type to the types of relations that can occur among crystal operators within this interval.
For a crystal of a highest weight representation of finite classical Cartan type, we show that whenever there exists an interval whose Möbius function is not equal to -1, 0, or 1, there must be a relation among crystal operators within this interval not implied by Stembridge or Sternberg relations. As an example of an application, this yields relations among crystal operators in type $C_{n}$ that were not previously known. Additionally, by studying the structure of Sternberg relations in the doubly laced case, we prove that crystals of highest weight representations of types $B_{2}$ and $C_{2}$ are not lattices.
Ramanujan complexes and Golden Gates in PU(3)
Published in Geometric and Functional Analysis 32:193-235 (2022)
• View Publication
• BIB
In a seminal series of papers from the 80's, Lubotzky, Phillips and Sarnak applied the Ramanujan-Petersson Conjecture for $GL_{2}$ (Deligne's theorem), to a special family of arithmetic lattices, which act simply-transitively on the Bruhat-Tits trees associated with $SL_{2}(\mathbb{Q}_{p})$. As a result, they obtained explicit Ramanujan Cayley graphs from $PSL_{2}\left(\mathbb{F}_{p}\right)$, as well as optimal topological generators ("Golden Gates") for the compact Lie group $PU(2)$. In higher dimension, the naive generalization of the Ramanujan Conjecture fails, due to the phenomenon of endoscopic lifts. In this paper we overcome this problem for $PU_{3}$ by constructing a family of arithmetic lattices which act simply-transitively on the Bruhat-Tits buildings associated with $SL_{3}(\mathbb{Q}_{p})$ and $SU_{3}(\mathbb{Q}_{p})$, while at the same time do not admit any representation which violates the Ramanujan Conjecture. This gives us Ramanujan complexes from $PSL_{3}(\mathbb{F}_{p})$ and $PSU_{3}(\mathbb{F}_{p})$, as well as golden gates for $PU(3)$.
The algebraic area of closed lattice random walks
Published
• View Publication
• BIB
We propose a formula for the enumeration of closed lattice random walks of length $n$ enclosing a given algebraic area. The information is contained in the Kreft coefficients which encode, in the commensurate case, the Hofstadter secular equation for a quantum particle hopping on a lattice coupled to a perpendicular magnetic field. The algebraic area enumeration is possible because it is split in $2^{n/2-1}$ pieces, each tractable in terms of explicit combinatorial expressions.
Bijections Between Łukasiewicz Walks and Generalized Tandem Walks
Published
• View Publication
• BIB
In this article, we study the enumeration by length of several walk models on the square lattice. We obtain bijections between walks in the upper half-plane returning to the $x$-axis and walks in the quarter plane. A recent work by Bostan, Chyzak, and Mahboubi has given a bijection for models using small north, west, and south-east steps. We adapt and generalize it to a bijection between half-plane walks using those three steps in two colours and a quarter-plane model over the symmetrized step set consisting of north, north-west, west, south, south-east, and east. We then generalize our bijections to certain models with large steps: for given $p\geq1$, a bijection is given between the half-plane and quarter-plane models obtained by keeping the small south-east step and replacing the two steps north and west of length 1 by the $p+1$ steps of length $p$ in directions between north and west. This model is close to, but distinct from, the model of generalized tandem walks studied by Bousquet-Mélou, Fusy, and Raschel.
Random polymers via orthogonal Whittaker and symplectic Schur functions
This thesis deals with some $(1+1)$-dimensional lattice path models from the KPZ universality class: the directed random polymer with inverse-gamma weights (known as log-gamma polymer) and its zero temperature degeneration, i.e. the last passage percolation model, with geometric or exponential waiting times. We consider three path geometries: point-to-line, point-to-half-line, and point-to-line with paths restricted to stay in a half-plane. Through exact formulas, we establish new connections between integrable probabilistic models and the ubiquitous Whittaker and Schur functions. More in detail, via the use of A. N. Kirillov's geometric Robinson-Schensted-Knuth (RSK) correspondence, we compute the Laplace transform of the polymer partition functions in the above geometries in terms of orthogonal Whittaker functions. In the case of the first two geometries we also provide multiple contour integral formulas. For the corresponding last passage percolation problems, we obtain new formulas in terms of symplectic Schur functions, both directly via RSK on polygonal arrays and via zero temperature limit from the log-gamma polymer formulas. As scaling limits of the point-to-line and point-to-half-line models with exponential waiting times, we derive Sasamoto's Fredholm determinant formula for the GOE Tracy-Widom distribution, as well as the one-point marginal distribution of the ${\rm Airy}_{2\to1}$ process.
Pattern groups and a poset based Hopf monoid
Published
• View Publication
• BIB
The supercharacter theory of algebra groups gave us a representation theoretic realization of the Hopf algebra of symmetric functions in noncommuting variables. The underlying representation theoretic framework comes equipped with two canonical bases, one of which was completely new in terms of symmetric functions. This paper simultaneously generalizes this Hopf structure by considering a larger class of groups while also restricting the representation theory to a more combinatorially tractable one. Using the normal lattice supercharacter theory of pattern groups, we not only gain a third canonical basis, but also are able to compute numerous structure constants in the corresponding Hopf monoid, including coproducts and antipodes for the new bases.
Lattice points in vector-dilated quadratic irrational polytopes
Published
• View Publication
• BIB
We study the Ehrhart theory of quadratic irrational polytopes that undergo vector dilations. That is, for a given polytope with vertices in $\mathbb{Q}(\sqrt{D})$, and a different dilation factor for each facet, we show that the leading term of the lattice-point count behaves similar to an Ehrhart polynomial, generalizing previous work of Borda on scalar dilations of quadratic irrational polytopes. As a result, a form of the Ehrhart-Macdonald reciprocity law is obtained for the leading term.
The largest projective cube-free subsets of $\mathbb{Z}_{2^n}$
Published
• View Publication
• BIB
In the Boolean lattice, Sperner's, Erdős's, Kleitman's and Samotij's theorems state that families that do not contain many chains must have a very specific layered structure. We show that if instead of $\mathbb{Z}_2^n$ we work in $\mathbb{Z}_{2^n}$, several analogous statements hold if one replaces the word $k$-chain by projective cube of dimension $2^{k-1}$.
We say that $B_d$ is a projective cube of dimension $d$ if there are numbers $a_1, a_2, \ldots, a_d$ such that $$B_d = \left\{\sum_{i\in I} a_i \bigg\rvert \emptyset \neq I\subseteq [d]\right\}.$$
As an analog of Sperner's and Erdős's theorems, we show that whenever $d=2^{\ell}$ is a power of two, the largest $d$-cube free set in $\mathbb{Z}_{2^n}$ is the union of the largest $\ell$ layers. As an analog of Kleitman's theorem, Samotij and Sudakov asked whether among subsets of $\mathbb{Z}_{2^n}$ of given size $M$, the sets that minimize the number of Schur triples (2-cubes) are those that are obtained by filling up the largest layers consecutively. We prove the first non-trivial case where $M=2^{n-1}+1$, and conjecture that the analog of Samotij's theorem also holds.
Several open questions and conjectures are also given.
The structure of normal lattice supercharacter theories
Published
• View Publication
• BIB
The character theory of finite groups has numerous basic questions that are often already quite involved: enumerating of irreducible characters, their character formulas, point-wise product decompositions, and restriction/induction between groups. A supercharacter theory is a framework for simplifying the character theory of a finite group, while ideally not losing all important information. This paper studies one such theory that straddles the gap between retaining valuable group information while reducing the above fundamental questions to more combinatorial lattice constructions.
Meet-Distributive Lattices have the Intersection Property
Published in Mathematica Bohemica 148 (2023), pages 95-104
• View Publication
• BIB
Meet-distributive lattices form an intriguing class of lattices, because they are precisely the lattices obtainable from a closure operator with the so-called anti-exchange property. Moreover, meet-distributive lattices are join semidistributive. Therefore, they admit two natural, secondary structures: the core label order is an alternative order on the lattice elements and the canonical join complex is the flag-simplicial complex on canonical join representations. In this article we present a characterization of finite meet-distributive lattices in terms of the core label order and the canonical join complex, and we show that the core label order of a finite meet-distributive lattice is always a meet-semilattice.
Elementary moves on lattice polytopes
Published in J. Comb. Theory A 172, 105200 (2020)
• View Publication
• BIB
We introduce a graph structure on Euclidean polytopes. The vertices of this graph are the $d$-dimensional polytopes contained in $\mathbb{R}^d$ and its edges connect any two polytopes that can be obtained from one another by either inserting or deleting a vertex, while keeping their vertex sets otherwise unaffected. We prove several results on the connectivity of this graph, and on a number of its subgraphs. We are especially interested in several families of subgraphs induced by lattice polytopes, such as the subgraphs induced by the lattice polytopes with $n$ or $n+1$ vertices, that turn out to exhibit intriguing properties.
A Note on Congruences of Infinite Bounded Involution Lattices
Published
• View Publication
• BIB
We prove that an infinite (bounded) involution lattice and even pseudo--Kleene algebra can have any number of congruences between $2$ and its number of elements or equalling its number of subsets, regardless of whether it has as many ideals as elements or as many ideals as subsets; consequently, the same holds for antiortholattices. Under the Generalized Continuum Hypothesis, this means that an infinite (bounded) involution lattice, pseudo--Kleene algebra or antiortholattice can have any number of congruences between $2$ and its number of subsets, regardless of its number of ideals.
Orthomodular lattices can be converted into left residuated l-groupoids
Published in Miskolc Mathematical Notes 18 (2017), No. 2, pp. 685-689
• View Publication
• BIB
We show that every orthomodular lattice can be considered as a left residuated l-groupoid satisfying divisibility, antitony, the double negation law and three more additional conditions expressed in the language of residuated structures. Also conversely, every left residuated l-groupoid satisfying the mentioned conditions can be organized into an orthomodular lattice.
Covering the Plane by a Sequence of Circular Disks with a Constraint
Published in Computational Geometry, Volume 91, December 2020, 101680
• View Publication
• BIB
We are interested in the following problem of covering the plane by a sequence of congruent circular disks with a constraint on the distance between consecutive disks. Let $(\mathcal{D}_n)_{n \in \mathbb N}$ be a sequence of closed unit circular disks such that $\cup_{n \in \mathbb{N}} \mathcal{D}_n = \mathbb {R}^2$ with the condition that for $n \ge 2$, the center of the disk $\mathcal{D}_n$ lies in $\mathcal{D}_{n-1}$. What is a "most economical" or an optimal way of placing $\mathcal{D}_n$ for all $n \in \mathbb{N}$? We answer this question in the case where no "sharp" turn is allowed, i.e. if $C_n$ is the center of the disk $\mathcal{D}_n$, then for all $n \ge 2$, % $\angle C_{n-1}C_nC_{n+1}$ is not very small.
We also consider a related problem. We wish to find out an optimal way to cover the plane with unit circular disks with the constraint that each disk contains the centers of at least two other disks. We find out the answer in the case when the centers of the disks form a two-dimensional lattice.
Combinatorial interpretations of Lucas analogues of binomial coefficients and Catalan numbers
Published in Ann. Comb. 24 (2020), no. 3, 503--530
• View Publication
• BIB
The Lucas sequence is a sequence of polynomials in s, and t defined recursively by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. On specialization of s and t one can recover the Fibonacci numbers, the nonnegative integers, and the q-integers [n]_q. Given a quantity which is expressed in terms of products and quotients of nonnegative integers, one obtains a Lucas analogue by replacing each factor of n in the expression with {n}. It is then natural to ask if the resulting rational function is actually a polynomial in s and t with nonnegative integer coefficients and, if so, what it counts. The first simple combinatorial interpretation for this polynomial analogue of the binomial coefficients was given by Sagan and Savage, although their model resisted being used to prove identities for these Lucasnomials or extending their ideas to other combinatorial sequences. The purpose of this paper is to give a new, even more natural model for these Lucasnomials using lattice paths which can be used to prove various equalities as well as extending to Catalan numbers and their relatives, such as those for finite Coxeter groups.
Rainbow Ramsey problems for the Boolean lattice
Published
• View Publication
• BIB
We address the following rainbow Ramsey problem: For posets $P,Q$ what is the smallest number $n$ such that any coloring of the elements of the Boolean lattice $B_n$ either admits a monochromatic copy of $P$ or a rainbow copy of $Q$. We consider both weak and strong (non-induced and induced) versions of this problem. We also investigate related problems on (partial) $k$-colorings of $B_n$ that do not admit rainbow antichains of size $k$.
The Voter Basis and the Admissibility of Tree Characters
Published
• View Publication
• BIB
When making simultaneous decisions, our preference for the outcomes on one subset can depend on the outcomes on a disjoint subset. In referendum elections, this gives rise to the separability problem, where a voter must predict the outcome of one proposal when casting their vote on another. A set $S \subset [n]$ is separable for preference order $\succeq$ when our ranking of outcomes on $S$ is independent of outcomes on its complement $[n]-S$. The admissibility problem asks which characters $\mathcal{C} \subset \mathcal{P}([n])$ can arise as the collection of separable subsets for some preference order. We introduce a linear algebraic technique to construct preference orders with desired characters. Each vector in our $2^n$-dimensional voter basis induces a simple preference ordering with nice separability properties. Given any collection $\mathcal{C} \subset \mathcal{P}([n])$ whose subset lattice has a tree structure, we use the voter basis to construct a preference order with character $\mathcal{C}$.
Chain lengths in the type $B$ Tamari lattice
We find the largest union of two chains in the type $B$ Tamari lattice by generalizing the techniques used for the classical (type $A$) Tamari lattice with a description of the type $B$ case due to Hugh Thomas.
Equiangular lines, Incoherent sets and Quasi-symmetric designs
The absolute upper bound on the number of equiangular lines that can be found in $\mathbf{R}^d$ is $d(d+1)/2$. Examples of sets of lines that saturate this bound are only known to exist in dimensions $d=2,3,7$ or $23$. By considering the additional property of incoherence, we prove that there exists a set of equiangular lines that saturates the absolute bound and the incoherence bound if and only if $d=2,3,7$ or $23$. This allows us classify all tight spherical $5$-designs $X$ in $\mathbf{S}^{d-1}$, the unit sphere, with the property that there exists a set of $d$ points in $X$ whose pairwise inner products are positive.
For a given angle $κ$, there exists a relative upper bound on the number of equiangular lines in $\mathbf{R}^d$ with common angle $κ$. We prove that classifying sets of lines that saturate this bound along with the incoherence bound is equivalent to classifying certain quasi-symmetric designs, which are combinatorial designs with two block intersection numbers. Given a further natural assumption, we classify the known sets of lines that saturate these two bounds. This family comprises of the lines mentioned above and the maximal set of $16$ equiangular lines found in $\mathbf{R}^6$. There are infinitely many known sets of lines that saturate the relative bound, so this result is surprising. To shed some light on this, we identify the $E_8$ lattice with the projection onto an $8$-dimensional subspace of a sublattice of the Leech lattice defined by $276$ equiangular lines in $\mathbf{R}^{23}$. This identification leads us to observe a correspondence between sets of equiangular lines in small dimensions and the exceptional curves of del Pezzo surfaces.