lattice
4310 papers tagged with this keyword
Equivariant Ehrhart theory, commutative algebra and invariant triangulations of polytopes
Ehrhart theory is the study of the enumeration of lattice points in lattice polytopes. Equivariant Ehrhart theory is a generalization of Ehrhart theory that takes into account the action of a finite group acting via affine transformations on the underlying lattice and preserving the polytope. We further develop equivariant Ehrhart theory in part by establishing connections with commutative algebra as well as the question of when there exists an invariant lattice triangulation of a lattice polytope.
An Unexpected Class of 5+gon-free Line Patterns
Let $S$ be a finite subset of ${\mathbb R}^2 \setminus (0,0)$. Generally, one would expect the pattern of lines $Ax + By = 1$, where $(A, B) \in S$ to contain polygons of all shapes and sizes. We show, however, that when $S$ is a rectangular subset of the integer lattice or a closely related set, no polygons with more than 4 sides occur. In the process, we develop a general theorem that explains how to find the next side as one travels around the boundary of a cell.
Lattice Path Delta Matroids
We initiate the study of a type $C_n$ generalization of the lattice path matroids defined by Bonin, de Mier, and Noy. These are delta matroids whose feasible sets are in bijection with lattice paths which are symmetric along the main diagonal. We describe deletion, contraction, enveloping matroids, and the homogeneous components of these delta matroids in terms of the combinatorics of symmetric lattice paths.
In the second half, we study the convex geometry of the feasible polytopes of lattice path delta matroids. We show that these polytopes decompose into the feasible polytope of special lattice paths corresponding to intervals in the type $C_n$ Gale order whose related Richardson variety is a toric variety. Further, these special polytopes inherit a unimodular triangulation from Stanley's Eulerian triangulation of the hypercube. As a consequence, the volume of these polytopes is the proportion of permutations with specific ascent sets.
Lattice paths and the Rogers--Ramanujan--Gordon type theorems with parity considerations
Andrews imposed parity restrictions on the Rogers-Ramanujan-Gordon type partitions, yielding fruitful results. These results were later, advanced by Kurşungöz, Kim, and Yee. In this paper, we construct a bijection between lattice paths with three kinds of unitary steps and the Rogers--Ramanujan--Gordon type partitions. We give some results involving parity considerations on lattice paths by this bijection which are Andrews' partition results counterpart. We also give some new results on lattice paths.
A New Invariant of Lattice polytopes
The maximal degree of monomials belonging to the unique minimal system of monomial generators of the canonical module $ω(K[{\mathcal P}])$ of the toric ring $K[{\mathcal P}]$ defined by a lattice polytope ${\mathcal P}$ will be studied. It is shown that if ${\mathcal P}$ possesses an interior lattice point, then the maximal degree is at most ${\rm dim} {\mathcal P} - 1$, and that this bound is the best possible in general.
Lattices properties of acyclic alternating pipe dreams
This paper proves some conjectures raised by N. Bergeron, N. Cartier, C. Ceballos, and V. Pilaud about acyclic facets of subword complexes of type A Coxeter groups. We use a representation of subword complex facets extending the pipe dreams defined N. Bergeron and S. Billey and prove that the strongly acyclic facets realize a lattice quotient of a weak order interval. We also give a sufficient condition so that all acyclic facets are strongly acyclic.
Polynomial realizations of natural Hopf algebras of nonsymmetric operads
The natural Hopf algebra $\mathcal{N} \mathcal{O}$ of an operad $\mathcal{O}$ is a Hopf algebra whose bases are indexed by some words on $\mathcal{O}$. We introduce new bases of these Hopf algebras deriving from free operads via new lattice structures on their basis elements. We construct polynomial realizations of $\mathcal{N} \mathcal{O}$ by using alphabets of variables endowed with unary and binary relations. By specializing our polynomial realizations, we discover links between $\mathcal{N} \mathcal{O}$ and the Hopf algebra of word quasi-symmetric functions of Hivert, the decorated versions of the Connes-Kreimer Hopf algebra of Foissy, the Faà di Bruno Hopf algebra and its deformations, and the noncommutative multi-symmetric functions Hopf algebras of Novelli and Thibon.
Discovering product and coproduct Rules for Bases of ${\textsf {QSym}}_F$ through Supercharacters
In this paper, we establish product and coproduct rules for three bases of the Hopf algebra $\textsf{QSym}_F$ of quasisymmetric functions over $F$, with $F$ being either $\mathbb{C}(q,t)$ or $\mathbb{C}(q)$. These results are derived through the categorizations of $\textsf{QSym}_{\mathbb{C}}$ obtained by utilizing the normal lattice supercharacter theories. Firstly, we deal with a basis $\{\mathcal{D}_α(q,t) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q,t)}$, where $\textsf{Comp}$ denotes the set of all compositions. This basis is obtained from the direct sum of specific supercharacter function spaces and consists of superclass identifier functions. Upon appropriate specializations of $q$ and $t$, it yields notable bases of $\textsf{QSym}_{\mathbb{C}}$ and $\textsf{QSym}_{\mathbb{C}(q)}$, including enriched $q$-monomial quasisymmetric functions introduced by Grinberg and Vassilieva. Secondly, we deal with the basis $\{G_α(q) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q)}$, where $G_α(q)$ represents the quasisymmetric Hall-Littlewood function introduced by Hivert. Our product rule is new, whereas our coproduct rule turns out to be equivalent to the existing coproduct rule of Hivert. Finally, we consider a basis $\{M_α(q) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q)}$, where $M_α(q)$ is a $q$-analogue of the monomial quasisymmetric function.
Tight lower bound on $|A+λA|$ for algebraic integer $λ$
We prove an asymptotically tight lower bound on $|A+λA|$ for $A\subset \mathbb{C}$ and algebraic integer $λ$. The proof combines strong version of Freiman's theorem, structural theorem on dense subsets of a hypercubic lattice and a generalisation of the continuous result on tight bound for the measure of $K+τK$ for a compact subset $K\subset \mathbb{R}^d$ of unit Lebesgue measure and a fixed linear operator $τ\colon\mathbb{R}^d\to \mathbb{R}^d$, obtained in our previous work.
The structure and normalized volume of Monge polytopes
A matrix $C$ has the Monge property if $c_{ij} + c_{IJ} \leq c_{Ij} + c_{iJ}$ for all $i < I$ and $j < J$. Monge matrices play an important role in combinatorial optimization; for example, when the transportation problem (resp., the traveling salesman problem) has a cost matrix which is Monge, then the problem can be solved in linear (resp., quadratic) time. For given matrix dimensions, we define the Monge polytope to be the set of nonnegative Monge matrices normalized with respect to the sum of the entries. In this paper, we give an explicit description and enumeration of the vertices, edges, and facets of the Monge polytope; these results are sufficient to construct the face lattice. In the special case of two-row Monge matrices, we also prove a polytope volume formula. For symmetric Monge matrices, we show that the Monge polytope is a simplex and we prove a general formula for its volume.
Grassmannian Persistence Diagrams
We introduce Orthogonal Möbius Inversion $\mathsf{OI}$, a concept analogous to Möbius inversion on finite posets, which is applicable to order-preservings functions from a finite poset to the Grassmannian $\mathsf{Gr}(V)$ of an inner product space $V$. This notion critically relies on the inner product structure on $V$ enabling it to capture much finer information than standard integer-valued persistence diagrams.
Orthogonal Inversion is a special case of the broader concept of Orthomodular Inversion, where the target space is any orthomodular lattice, which we also identify.
We apply Orthogonal Inversion in order to construct a "non-negative" persistence diagram for any given multiparameter filtration $\mathsf{F}$ of a finite simplicial complex $K$, indexed over an arbitrary finite poset $P$. This is done by applying it to the birth-death spaces of $\mathsf{F}$. Analogously to $1$-parameter classical persistence diagrams, these multiparameter Grassmannian persistence diagrams offer straightforward interpretability. Specifically, to a segment $(b, d) \in \mathsf{Seg}(P)$, (1) the Grassmannian persistence diagram canonically assigns a vector subspace of $C_ρ^K$ consisting of cycles that are born at $b$ and become boundaries at $d$ and (2) this assignment is exhaustive at the homology level.
Finally, we relate our Grassmannian persistence diagrams to the recently introduced notion of Möbius homology, thus enhancing its interpretability through the lens of our framework.
Posets for $F$-polynomials in cluster algebras from surfaces
We prove a simple formula for arbitrary cluster variables in the marked surfaces model. As part of the formula, we associate a labeled poset to each tagged arc, such that the associated $F$-polynomial is a weighted sum of order ideals. Each element of the poset has a weight, and the weight of an ideal is the product of the weights of the elements of the ideal. In the unpunctured case, the weight on each element is a single $\hat{y}_i$, in the usual sense of principal coefficients. In the presence of punctures, some elements may have weights of the form $\hat{y}_i/\hat{y}_j$. Our search for such a formula was inspired by the Fundamental Theorem of Finite Distributive Lattices combined with work of Gregg Musiker, Ralf Schiffler, and Lauren Williams that, in some cases, organized the terms of the $F$-polynomial into a distributive lattice. The proof consists of a simple and poset-theoretically natural argument in a special case, followed by a hyperbolic geometry argument using a cover of the surface to prove the general case.
Absolute retracts of reflexive oriented graphs: the role of the MacNeille completion
We characterize the absolute retracts in the category of reflexive oriented graphs, that is, antisymmetric reflexive graphs, where morphisms between objects preserve arcs (which may be sent to loops). Here we show, by correcting a much earlier attempt at a proof, that a reflexive oriented graph is an absolute retract if and only if it is indeed a retract of some (direct) product of reflexive oriented zigzags (which are concatenations of reflexive oriented paths). Absolute retracts are therefore necessarily acyclic. In contrast to other categories of graphs and ordered sets, not every acyclic oriented graph can be embedded isometrically into some absolute retract. Embedding involves isometry with respect to the zig-zag distances forming a particular "dual quantale", which is a complete lattice of certain sets of words over the alphabet $\{+, -\}$, endowed with an additional monoid operation (viz., compound concatenation of sets of words) and an involution (interchanging $+$ and $- $ and then mirroring words). As reflexive oriented zigzags have MacNeille-closed distances, so do their products and retracts. So, the category of reflexive oriented graphs and its full subcategory of reflexive acyclic graphs do not have enough injectives, as the injective objects coincide with the absolute retracts.
Characterizing positroid quotients of uniform matroids
We study two-step flag positroids $(P_1, P_2)$, where $P_1$ is a quotient of $P_{2}$. We provide a complete characterization of all two-step flag positroids that contain a uniform matroid, extending and completing a partial result by Benedetti, Chávez, and Jiménez. To contrast general positroids with the special case of lattice path matroids, we show that the containment relations of Grassmann necklaces and conecklaces fully characterize flag lattice path matroids, but are insufficient for general flag positroids. Additionally, we prove that the decorated permutations of any elementary quotient pair are related by a cyclic shift, resolving a conjecture of Benedetti, Chávez and Jiménez.
Affine extended weak order is a lattice
Coxeter groups are equipped with a partial order known as the weak order, such that $u \leq v$ if the inversions of $u$ are a subset of the inversions of $v$. In finite Coxeter groups, weak order is a complete lattice, but in infinite Coxeter groups it is only a meet semi-lattice. Motivated by questions in Kazhdan-Lusztig theory, Matthew Dyer introduced a larger poset, now known as extended weak order, which contains the weak order as an order ideal and coincides with it for finite Coxeter groups. The extended weak order is the containment order on certain sets of positive roots: those which satisfy a geometric condition making them "biclosed". The finite biclosed sets are precisely the inversion sets of Coxeter group elements. Generalizing the result for finite Coxeter groups, Dyer conjectured that the extended weak order is always a complete lattice, even for infinite Coxeter groups.
In this paper, we prove Dyer's conjecture for Coxeter groups of affine type. To do so, we introduce the notion of a clean arrangement, which is a hyperplane arrangement where the regions are in bijection with biclosed sets. We show that root poset order ideals in a finite or rank 3 untwisted affine root system are clean. We set up a general framework for reducing Dyer's conjecture to checking cleanliness of certain subarrangements. We conjecture this framework can be used to prove Dyer's conjecture for all Coxeter groups.
Full Grid Lattice Polygons with Maximal Sum of Squares of Edge-Lengths
Consider a subset [1,2,...,n]x[1,2,...,n] of the plane integer lattice. Take any non self-intersecting n^2-gon built on it (straight angles are allowed). The square of a side length is a positive integer. It is thus natural to ask how large the sum of square lengths of such an n^2-gon can be. This maximal value is a new integer sequence, labeled by A358212 in OEIS. In this note we give the lower bound and conjecture that this in fact is the correct answer. We further investigate proper n^2-gons (straight angles are not allowed) and present analogous results. Both sequences (conjecturally) have a different growth size.
Combinatorics of nondeterministic walks
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. The main difference to classical walks is that its nondeterministic steps consist of sets of steps from a predefined set such that all possible extensions are explored in parallel. We discuss in detail the most natural nondeterministic step sets (Dyck and Motzkin step sets), and show that several nondeterministic classes of lattice paths, such as nondeterministic bridges, excursions, and meanders are algebraic. The key concept is the generalization of the ending point of a walk to its reachable points, i.e., a set of ending points. We extend our results to general step sets: We show that nondeterministic bridges and several subclasses of nondeterministic meanders are always algebraic. We conjecture the same is true for nondeterministic excursions, and we present python and Maple packages to support our conjecture. This research is motivated by the study of networks involving encapsulation and decapsulation of protocols. Our results are obtained using generating functions, analytic combinatorics, and additive combinatorics.
Keywords. Random walks, analytic combinatorics, generating functions, limit laws, networking, encapsulation.
Simple proofs for lattice coverings and sparse tensors
We provide simple proofs of analogues for coverings numbers of lattices of several recently studied basic statements on the ranks of tensors. We highlight the differences and analogies between the proofs in both settings.
Interface fluctuations associated with split Fermi seas
Published in J. Phys. A: Math. Theor. 57 085201 (2024)
• View Publication
• BIB
We consider the asymptotic behaviour of a family of unidimensional lattice fermion models, which are in exact correspondence with certain probability laws on partitions and on unitary matrices. These models exhibit limit shapes, and in the case where the bulk of these shapes are described by analytic functions, the fluctuations around their interfaces have been shown to follow a universal Tracy-Widom distribution or its higher-order analogue. Non-differentiable bulk limit shape functions arise when a gap appears in some quantum numbers of the model, in other words when the Fermi sea is split. We show that split Fermi seas give rise to new interface fluctuations, governed by integer powers of universal distributions. This breakdown in universality is analogous to the behaviour of a random Hermitian matrix when the support of its limiting eigenvalue distribution has multiple cuts, with oscillations appearing in the limit of the two-point correlation function. We show that when the Fermi sea is split in the lattice fermion model, there are multiple cuts in the eigenvalue support of the corresponding unitary matrix model.
Combinatorics of Permutreehedra and Geometry of $s$-Permutahedra
This thesis finds its place in the interplay between algebraic and geometric combinatorics. We focus on studying two different families of lattices in relation to the weak order: the permutree lattices and the $s$-weak order. The first part involves the permutree quotients of the weak order. We define inversion and cubic vectors on permutrees which respectively give a constructive meet operation between permutrees and a cubical realization of permutreehedra. We characterize minimal elements of permutree congruence classes using automata that capture ${ijk}/{kij}$-pattern avoidances and generalize stack sorting and Coxeter sorting. The second part centers on flow polytopes. More specifically, we give a positive answer to a conjecture of Ceballos and Pons on the $s$-permutahedron when $s$ is a composition. We define the $s$-oruga graph whose flow polytope recovers the $s$-weak order with explicit coordinates. Finally, we introduce the bicho graphs whose flow polytopes describe permutree lattices.