lattice ↗ reference
4394 papers tagged with this keyword
Characterizing positroid quotients of uniform matroids
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
Foundations of matroids -- Part 2: Further theory, examples, and computational methods
Published
• View Publication
• BIB
In this sequel to "Foundations of matroids - Part 1", we establish several presentations of the foundation of a matroid in terms of small building blocks. For example, we show that the foundation of a matroid M is the colimit of the foundations of all embedded minors of M isomorphic to one of the matroids $U^2_4$, $U^2_5$, $U^3_5$, $C_5$, $C_5^\ast$, $U^2_4\oplus U^1_2$, $F_7$, $F_7^\ast$, and we show that this list is minimal. We establish similar minimal lists of building blocks for the classes of 2-connected and 3-connected matroids. We also establish a presentation for the foundation of a matroid in terms of its lattice of flats. Each of these presentations provides a useful method to compute the foundation of certain matroids, as we illustrate with a number of concrete examples. Combining these techniques with other results in the literature, we are able to compute the foundations of several interesting classes of matroids, including whirls, rank-2 uniform matroids, and projective geometries. In an appendix, we catalogue various 'small' pastures which occur as foundations of matroids, most of which were found with the assistance of a computer, and we discuss some of their interesting properties.
The Simultaneous Lattice Packing-Covering Constant of Octahedra
Published in Advances in Geometry (2025)
• View Publication
• BIB
This paper proves that the simultaneous lattice packing-covering constant of an octahedron is $7/6$. In other words, $7/6$ is the smallest positive number $r$ such that for every octahedron $O$ centered at the origin there is a lattice $Λ$ such that $O+Λ$ is a packing in $\mathbb{E}^3$ and $rO+Λ$ is a covering of $\mathbb{E}^3$.
Wave fronts and caustics in the tropical plane
The paper studies intrinsic geometry in the tropical plane. Tropical structure in the real affine $n$-space is determined by the integer tangent vectors. Tropical isomorphisms are affine transformations preserving the integer lattice of the tangent space, they may be identified with the group $\operatorname{GL_n}(\mathbb{Z})$ extended by arbitrary real translations. This geometric structure allows one to define wave front propagation for boundaries of convex domains. Interestingly enough, an arbitrary compact convex domain in the tropical plane evolves to a finite polygon after an arbitrarily small time. The caustic of a wave front evolution is a tropical analytic curve. The paper studies geometry of the tropical wave fronts and caustics. In particular, we relate the caustic of a tropical angle to the continued fraction expression of its slope, and treat it as a tropical trigonometry notion.
On Two Orderings of Lattice Paths
The \emph{Markov numbers} are positive integers appearing as solutions to the Diophantine equation $x^2 + y^2 + z^2 = 3xyz$. These numbers are very well-studied and have many combinatorial properties, as well as being the source of the long-standing unicity conjecture. In 2018, Çanakçı and Schiffler showed that the Markov number $m_{\frac{a}{b}}$ is the number of perfect matchings of a certain snake graph corresponding to the Christoffel path from $(0,0)$ to $(a,b)$. Based on this correspondence, Schiffler in 2023 introduced two orderings on lattice paths. For any path $ω$, associate a snake graph $\mathcal{G}(ω)$ and a continued fraction $g(ω)$. The ordering $<_M$ is given by the number of perfect matchings on $\mathcal{G}(ω)$, and the ordering $<_L$ is given by the Lagrange number of $g(ω)$.
In this work, we settle two conjectures of Schiffler. First, we show that the path $ω(a,b) = RR\cdots R UU \cdots U$ is the unique maximum over all lattice paths from $(0,0)$ to $(a,b)$ with respect to both orderings $<_M$ and $<_L$. We then use this result to prove that $\sup L(ω)$ over all lattice paths is exactly $1+\sqrt5$.
Transfer systems for rank two elementary Abelian groups: characteristic functions and matchstick games
Published in Tunisian J. Math. 7 (2025) 167-191
• View Publication
• BIB
We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately producing a ``matchstick game'' that puts saturated transfer systems in bijection with certain structured subsets of covering relations. After an interlude developing a recursion for transfer systems on certain combinations of bounded posets, we apply these results to determine the full lattice of transfer systems for rank two elementary Abelian groups.
Combinatorics of the Permutahedra, Associahedra, and Friends
I present an overview of the research I have conducted for the past ten years in algebraic, bijective, enumerative, and geometric combinatorics. The two main objects I have studied are the permutahedron and the associahedron as well as the two partial orders they are related to: the weak order on permutations and the Tamari lattice. This document contains a general introduction (Chapters 1 and 2) on those objects which requires very little previous knowledge and should be accessible to non-specialist such as master students. Chapters 3 to 8 present the research I have conducted and its general context. You will find:
* a presentation of the current knowledge on Tamari interval and a precise description of the family of Tamari interval-posets which I have introduced along with the rise-contact involution to prove the symmetry of the rises and the contacts in Tamari intervals;
* my most recent results concerning q, t-enumeration of Catalan objects and Tamari intervals in relation with triangular partitions;
* the descriptions of the integer poset lattice and integer poset Hopf algebra and their relations to well known structures in algebraic combinatorics;
* the construction of the permutree lattice, the permutree Hopf algebra and permutreehedron;
* the construction of the s-weak order and s-permutahedron along with the s-Tamari lattice and s-associahedron.
Chapter 9 is dedicated to the experimental method in combinatorics research especially related to the SageMath software. Chapter 10 describes the outreach efforts I have participated in and some of my approach towards mathematical knowledge and inclusion.
On the topology of conormal complexes and posets of matroids
Published
• View Publication
• BIB
We introduce the poset of biflats of a matroid $M$, a Lagrangian analog of the lattice of flats of $M$, and study the topology of its order complex, which we call the biflats complex. This work continues the study of the Lagrangian combinatorics of matroids, which was recently initiated by work of Ardila, Denham and Huh. We show the biflats complex contains two distinguished subcomplexes: the conormal complex of $M$ and the simplicial join of the Bergman complexes of $M$ and $M^\perp$, the matroidal dual of $M$. Our main theorems give sequences of elementary collapses of the biflats complex onto the conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$. These collapses give a combinatorial proof that the biflats complex, conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$ are all simple homotopy equivalent. Although simple homotopy equivalent, these complexes have many different combinatorial properties. We collect and prove a list of such properties.
The Codegree, Weak Maximum Likelihood Threshold, and the Gorenstein Property of Hierarchical Models
Published in Alg. Stat. 16 (2025) 201-215
• View Publication
• BIB
The codegree of a lattice polytope is the smallest integer dilate that contains a lattice point in the relative interior. The weak maximum likelihood threshold of a statistical model is the smallest number of data points for which there is a non-zero probability that the maximum likelihood estimate exists. The codegree of a marginal polytope is a lower bound on the maximum likelihood threshold of the associated log-linear model, and they are equal when the marginal polytope is normal. We prove a lower bound on the codegree in the case of hierarchical log-linear models and provide a conjectural formula for the codegree in general. As an application, we study when the marginal polytopes of hierarchical models are Gorenstein, including a classification of Gorenstein decomposable models, and a conjectural classification of Gorenstein binary hierarchical models.
Ewald's Conjecture and integer points in algebraic and symplectic toric geometry
Published
• View Publication
• BIB
We solve several open problems concerning integer points of polytopes arising in symplectic and algebraic geometry. In this direction we give the first proof of a broad case of Ewald's Conjecture (1988) concerning symmetric integral points of monotone lattice polytopes in arbitrary dimension. We also include an asymptotic quantitative study of the set of points appearing in Ewald's Conjecture. Then we relate this work to the problem of displaceability of orbits in symplectic toric geometry. We conclude with a proof for the $2$-dimensional case, and for a number of cases in higher dimensions, of Nill's Conjecture (2009), which is a generalization of Ewald's conjecture to smooth lattice polytopes. Along the way the paper introduces two new classes of polytopes which arise naturally in the study of Ewald's Conjecture and symplectic displaceability: neat polytopes, which are related to Oda's Conjecture, and deeply monotone polytopes.
Efficient Representation of Lattice Path Matroids
Efficient deterministic algorithms to construct representations of lattice path matroids over finite fields are presented. They are built on known constructions of hierarchical secret sharing schemes, a recent characterization of hierarchical matroid ports, and the existence of isolating weight functions for lattice path matroids whose values are polynomial on the size of the ground set.
Generalized Schröder paths arising from a combinatorial interpretation of generalized Laurent bi-orthogonal polynomials
Published
• View Publication
• BIB
Lattice paths called $\ell$-Schröder paths are introduced. They are paths on the upper half-plane consisting of $\ell+2$ types of steps: $(i,\ell-i)$ for $i=0,\ldots,\ell$, and $(1,-1)$. Those paths generalize Schröder paths and some variants, such as $m$-Schröder paths by Yang and Jiang and Motzkin-Schröder paths by Kim and Stanton. We show that $\ell$-Schröder paths arise naturally from a combinatorial interpretation of the moments of generalized Laurent bi-orthogonal polynomials introduced by Wang, Chang, and Yue. We also show that some generating functions of non-intersecting $\ell$-Schröder paths can be factorized in closed forms.
Geometry of unimodular systems
A collection of vectors in a real vector space is called a unimodular system if any of its maximal linearly independent subsets generates the same free abelian group. This notion is closely connected with totally unimodular matrices: rows or columns of a totally unimodular matrix form a unimodular system and the matrix of coefficients of expansions of all vectors of a unimodular system with respect to its maximal linearly independent subset is totally unimodular.
In this paper we show that a unimodular system defines the following geometric data: a Euclidean space, an integral lattice in it, and a reflexive lattice zonotope. The discriminant of the lattice is equal to the number of maximal linearly independent subsystems, and we call this number the complexity of the unimodular system. For a unimodular system $Ω$ we also define the Gale dual unimodular system $Ω^{\bot}$ which has the same complexity. These notions may be illustrated by the well-known graphic and cographic unimodular systems of a graph. Both graphic and cographic unimodular systems have the same complexity which is equal to the complexity of the graph. For graphs without loops and bridges the graphic and the cographic unimodular systems are Gale dual to each other.
We describe this geometric data for certain examples: for the graphic and the cographic unimodular systems of a generalized theta-graph, consisting of two vertices connected by $N$ edges, for the cographic system of the complete graph $K_N$, and for the famous Bixby-Seymour unimodular system, which is neither graphic nor cographic.
The existence of ground state solutions for nonlinear p-Laplacian equations on lattice graphs
Published
• View Publication
• BIB
In this paper, we study the nonlinear $p$-Laplacian equation
$$-Δ_{p} u+V(x)|u|^{p-2}u=f(x,u) $$ with positive and periodic potential $V$ on the lattice graph $\mathbb{Z}^{N}$, where $Δ_{p}$ is the discrete $p$-Laplacian, $p \in (1,\infty)$. The nonlinearity $f$ is also periodic in $x$ and satisfies the growth condition $|f(x,u)| \leq a(1+|u|^{q-1})$ for some $ q>p$. We first prove the equivalence of three function spaces on $\mathbb{Z}^{N}$, which is quite different from the continuous case and allows us to remove the restriction $q>p^{*}$ in [SW10], where $p^{*}$ is the critical exponent for $ W^{1,p}(Ω) \hookrightarrow L^{q}(Ω)$ with $Ω\subset \mathbb{R}^{N}$ bounded. Then, using the method of Nehari [Neh60, Neh61], we prove the existence of ground state solutions to the above equation.