lattice ↗ reference
4394 papers tagged with this keyword
Inversion and Cubic Vectors for Permutrees
We introduce two generalizations of bracket vectors from binary trees to permutrees. These new vectors help describe algebraic and geometric properties of the rotation lattice of permutrees defined by Pilaud and Pons. The first generalization serves the role of an inversion vector for permutrees allowing us to define an explicit meet operation and provide a new constructive proof of the lattice property for permutree rotation lattices. The second generalization, which we call cubic vectors, allows for the construction of a cubic realization of these lattices which is proven to form a cubical embedding of the corresponding permutreehedra. These results specialize to those known about permutahedra and associahedra.
Total positivity from a kind of lattice paths
Total positivity of matrices is deeply studied and plays an important role in various branches of mathematics. The main purpose of this paper is to study total positivity of a matrix $M=[M_{n,k}]_{n,k}$ generated by the weighted lattice paths in $\mathbb{N}^2$ from the origin $(0,0)$ to the point $(k,n)$ consisting of types of steps: $(0,1)$ and $(1,t+i)$ for $0\leq i\leq \ell$, where each step $(0,1)$ from height~$n-1$ gets the weight~$b_n(\textbf{y})$ and each step $(1,t+i)$ from height~$n-t-i$ gets the weight $a_n^{(i)}(\textbf{x})$.
Using an algebraic method, we prove that the $\textbf{x}$-total positivity of the weight matrix $[a_i^{(i-j)}(\textbf{x})]_{i,j}$ implies that of $M$. Furthermore, using the Lindström-Gessel-Viennot lemma, we obtain that both $M$ and the Toeplitz matrix of each row sequence of $M$ with $t\geq1$ are $\textbf{x}$-totally positive under the following three cases respectively: (1) $\ell=1$, (2) $\ell=2$ and restrictions for $a_n^{(i)}$, (3) general $\ell$ and both $a^{(i)}_n$ and $b_n$ are independent of $n$. In addition, for the case (3), we show that the matrix $M$ is a Riordan array, present its explicit formula and prove total positivity of the Toeplitz matrix of the each column of $M$. In particular, from the results for Toeplitz-total positivity, we also obtain the Pólya frequency and log-concavity of the corresponding sequence.
Finally, as applications, we in a unified manner establish total positivity and the Toeplitz-total positivity for many well-known combinatorial triangles, including the Pascal triangle, the Pascal square, the Delannoy triangle, the Delannoy square, the signless Stirling triangle of the first kind, the Legendre-Stirling triangle of the first kind, the Jacobi-Stirling triangle of the first kind, the Brenti's recursive matrix, and so on.
Bidiagonal matrix factorisations associated with symmetric multiple orthogonal polynomials and lattice paths
Published in Numer. Algor. (2025)
• View Publication
• BIB
The central object of study in this paper are infinite banded Hessenberg matrices admitting factorisations as products of bidiagonal matrices. In the two main novel results of this paper, we show that these Hessenberg matrices are associated with the decomposition of $(r+1)$-fold symmetric $r$-orthogonal polynomials and are the production matrices of the generating polynomials of $r$-Dyck paths.
We combine the aforementioned bidiagonal matrix factorisations and the recently found connection of multiple orthogonal polynomials with lattice paths and branched continued fractions to study $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set of the complex plane and their decomposition via multiple orthogonal polynomials on the positive real line. As an explicit example, we give formulas as terminating hypergeometric series for the Appell sequences of $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set and show that the densities of their orthogonality measures can be expressed via Meijer G-functions on the positive real line.
New constructions of NMDS self-dual codes
Published
• View Publication
• BIB
Near maximum distance separable (NMDS) codes are important in finite geometry and coding theory. Self-dual codes are closely related to combinatorics, lattice theory, and have important application in cryptography. In this paper, we construct a class of $q$-ary linear codes and prove that they are either MDS or NMDS which depends on certain zero-sum condition. In the NMDS case, we provide an effective approach to construct NMDS self-dual codes which largely extend known parameters of such codes. In particular, we proved that for square $q$, almost $q/8$ NMDS self-dual $q$-ary codes can be constructed.
Some Connections Between Restricted Dyck Paths, Polyominoes, and Non-Crossing Partitions
A \emph{Dyck path} is a lattice path in the first quadrant of the $xy$-plane that starts at the origin, ends on the $x$-axis, and consists of the same number of North-East steps $U$ and South-East steps $D$. A \emph{valley} is a subpath of the form $DU$. A Dyck path is called \emph{restricted $d$-Dyck} if the difference between any two consecutive valleys is at least $d$ (right-hand side minus left-hand side) or if it has at most one valley. In this paper we give some connections between restricted $d$-Dyck paths and both, the non-crossing partitions of $[n]$ and some subfamilies of polyominoes. We also give generating functions to count several aspects of these combinatorial objects.
Boolean dimension of a Boolean lattice
Published
• View Publication
• BIB
For every integer $n$ with $n \geq 6$, we prove that the Boolean dimension of a poset consisting of all the subsets of $\{1,\dots,n\}$ equipped with the inclusion relation is strictly less than $n$.
On maximal dihedral reflection subgroups and generalized noncrossing partitions
Published
• View Publication
• BIB
In this note, we give a new proof of a result of Matthew Dyer stating that in an arbitrary Coxeter group $W$, every pair $t,t'$ of distinct reflections lie in a unique maximal dihedral reflection subgroup of $W$. Our proof only relies on the combinatorics of words, in particular we do not use root systems at all. As an application, we deduce a new proof of a recent result of Delucchi-Paolini-Salvetti, stating that the poset $[1,c]_T$ of generalized noncrossing partitions in any Coxeter group of rank $3$ is a lattice. We achieve this by showing the more general statement that any interval of length $3$ in the absolute order on an arbitrary Coxeter group is a lattice. This implies that the interval group attached to any interval $[1,w]_T$ where $w$ is an element of an arbitrary Coxeter group with $\ell_T(w)=3$ is a quasi-Garside group.
Projecting lattice polytopes according to the Minimal Model Program
Published
• View Publication
• BIB
The Fine interior $F(P)$ of a $d$-dimensional lattice polytope $P \subset {\Bbb R}^d$ is the set of all points $y \in P$ having integral distance at least $1$ to any integral supporting hyperplane of $P$. We call a lattice polytope $F$-hollow if its Fine interior is empty. The main theorem claims that up to unimodular equivalence in each dimension $d$ there exist only finitely many $d$-dimensional $F$-hollow lattice polytopes $P$, so called {\em sporadic}, which do not admit a lattice projection onto a $k$-dimensional $F$-hollow lattice polytope $P'$ for some $1 \leq k \leq d-1$. The proof is purely combinatorial, but it is inspired by ${\Bbb Q}$-Fano fibrations in the Minimal Model Program, since we show that non-degenerate toric hypersurfaces $Z \subset ({\Bbb C}^*)^d$ defined by zeros of Laurent polynomials with a given Newton polytope $P$ have negative Kodaira dimension if and only if $P$ is $F$-hollow. The finiteness theorem for $d$-dimensional sporadic $F$-hollow Newton polytopes $P$ gives rise to finitely many families ${\mathcal F}(P)$ of $(d-1)$-dimensional ${\Bbb Q}$-Fano hypersurfaces with at worst canonical singularities.
Taylor is prime
Published
• View Publication
• BIB
We study the Taylor varieties and obtain new characterizations of them via compatible reflexive digraphs. Based on our findings, we prove that in the lattice of interpretability types of varieties, the filter of the types of all Taylor varieties is prime.
An Algebra of Elliptic Commuting Variables and an Elliptic Extension of the Multinomial Theorem
Published in SIGMA 21 (2025), 052, 15 pages
• View Publication
• BIB
We introduce an algebra of elliptic commuting variables involving a base $q$, nome $p$, and $2r$ noncommuting variables. This algebra, which for $r=1$ reduces to an algebra considered earlier by the author, is an elliptic extension of the well-known algebra of $r$ $q$-commuting variables. We present a multinomial theorem valid as an identity in this algebra, hereby extending the author's previously obtained elliptic binomial theorem to higher rank. Two essential ingredients are a consistency relation satisfied by the elliptic weights and the Weierstrass type $\mathsf A$ elliptic partial fraction decomposition. From the elliptic multinomial theorem we obtain, by convolution, an identity equivalent to Rosengren's type $\mathsf A$ extension of the Frenkel-Turaev ${}_{10}V_9$ summation. Interpreted in terms of a weighted counting of lattice paths in the integer lattice $\mathbb Z^r$, this derivation of Rosengren's $\mathsf A_r$ Frenkel-Turaev summation constitutes the first combinatorial proof of that fundamental identity.
On complemented, uniquely complemented and uniquely complemented nondistributive lattices (a historical and epistemological note about a mathematical mystery)
Complemented lattices and uniquely complemented lattices are very important, not only in mathematics, but also in physics, biology, and even in social sciences. They have been investigated for a long time, especially by Huntington, Birkhoff, Dilworth and others. And yet, on some of these structures - namely, uniquely complemented nondistributive lattices -, despite the many existing articles concerning them, we basically know very little. In this article, we situate these lattest structures in the context of complemented and uniquely complemented lattices, offering a general overview of the links between these lattices and others, close to them, such as the orthocomplemented lattices of physics as well as various other partially ordered sets. We finally show how uniquely complemented nondistributive lattices have been constructed with the technique of free lattices.
Characterisation of the Set of Ground States of Uniformly Chaotic Finite-Range Lattice Models
Published
• View Publication
• BIB
Chaotic dependence on temperature refers to the phenomenon of divergence of Gibbs measures as the temperature approaches a certain value. Models with chaotic behaviour near zero temperature have multiple ground states, none of which are stable. We study the class of uniformly chaotic models, that is, those in which, as the temperature goes to zero, every choice of Gibbs measures accumulates on the entire set of ground states. We characterise the possible sets of ground states of uniformly chaotic finite-range models up to computable homeomorphisms.
Namely, we show that the set of ground states of every model with finite-range and rational-valued interactions is topologically closed and connected, and belongs to the class $Π_2$ of the arithmetical hierarchy. Conversely, every $Π_2$-computable, topologically closed and connected set of probability measures can be encoded (via a computable homeomorphism) as the set of ground states of a uniformly chaotic two-dimensional model with finite-range rational-valued interactions.
Intertwining the Busemann process of the directed polymer model
Published in Electron. J. Probab. 30: 1-80 (2025)
• View Publication
• BIB
We study the Busemann process and competition interfaces of the planar directed polymer model with i.i.d.\ weights on the vertices of the planar square lattice, in both the general case and the solvable inverse-gamma case. We prove new regularity properties of the Busemann process without reliance on unproved assumptions on the shape function. For example, each nearest-neighbor Busemann function is strictly monotone and has the same random set of discontinuities in the direction variable. When all Busemann functions on a horizontal line are viewed together, the Busemann process intertwines with an evolution that obeys a version of the geometric Robinson-Schensted-Knuth correspondence. When specialized to the inverse-gamma case, this relationship enables an explicit distributional description: the Busemann function on a nearest-neighbor edge has independent increments in the direction variable, and its distribution comes from an inhomogeneous planar Poisson process. The distribution of the asymptotic competition interface direction of the inverse-gamma polymer is discrete and supported on the Busemann discontinuities which -- unlike in zero-temperature last-passage percolation -- are dense. Further implications follow for the eternal solutions and the failure of the one force -- one solution principle of the discrete stochastic heat equation solved by the polymer partition function.
The clique graphs of the hexagonal lattice -- an explicit construction and a short proof of divergence
Published
• View Publication
• BIB
We present a new, explicit and very geometric construction for the iterated clique graphs of the hexagonal lattice $\mathrm{Hex}$ which makes apparent its clique-divergence and sheds light on some previous observations, such as the boundedness of the degrees and clique sizes of $k^n \mathrm{Hex}$ as $n\to\infty$.
Generalized Pitman-Stanley polytope: vertices and faces
Published
• View Publication
• BIB
In 1999, Pitman and Stanley introduced the polytope bearing their name along with a study of its faces, lattice points, and volume. The Pitman-Stanley polytope is well-studied due to its connections to probability, parking functions, the generalized permutahedra, and flow polytopes. Its lattice points correspond to plane partitions of skew shape with entries 0 and 1. Pitman and Stanley remarked that their polytope can be generalized so that lattice points correspond to plane partitions of skew shape with entries $0,1, \ldots , m$. Since then, this generalization has been untouched. We study this generalization and show that it can also be realized as a flow polytope of a grid graph. We give multiple characterizations of its vertices in terms of plane partitions of skew shape and integer flows. For a fixed skew shape, we show that the number of vertices of this polytope is a polynomial in $m$ whose leading term, in certain cases, counts standard Young tableaux of a shifted shape. Moreover, we give formulas for the number of faces, as well as generating functions for the number of vertices.
On the algebraic area of cubic lattice walks
Published in Phys. Rev. E 108, 054104 (2023)
• View Publication
• BIB
We obtain an explicit formula to enumerate closed random walks on a cubic lattice with a specified length and 3D algebraic area. The 3D algebraic area is defined as the sum of algebraic areas obtained from the walk's projection onto the three Cartesian planes. This enumeration formula can be mapped onto the cluster coefficients of three types of particles that obey quantum exclusion statistics with statistical parameters $g=1$, $g=1$, and $g=2$, respectively, subject to the constraint that the numbers of $g=1$ (fermions) exclusion particles of two types are equal.
Moduli spaces of quantum toric stacks and their compactification
A toric variety is a normal complex variety which is completely described by combinatorial data, namely by a fan of strongly convex rational (with respect to a lattice) cones. Due to this rationality condition, toric varieties are (equivariantly) rigid since a deformation of the lattice can make it dense. A solution to this problem consists in considering quantum toric stacks. The latter is a stacky generalization of toric varieties where the "lattice" is replaced by a finitely generated subgroup of $\mathbb{R}^d$ (in the simplicial case as introduced by L. Katzarkov, E. Lupercio, L. Meersseman and A. Verjovsky). The goal of this paper is to explain the moduli spaces of quantum toric stacks and their compactification.
Ehrhart quasi-polynomials and parallel translations
Published
• View Publication
• BIB
Given a rational polytope $P \subset \mathbb R^d$, the numerical function counting lattice points in the integral dilations of $P$ is known to become a quasi-polynomial, called the Ehrhart quasi-polynomial $\mathrm{ehr}_P$ of $P$. In this paper we study the following problem: Given a rational $d$-polytope $P \subset \mathbb R^d$, is there a nice way to know Ehrhart quasi-polynomials of translated polytopes $P+ \mathbf v$ for all $\mathbf v \in \mathbb Q^d$? We provide a way to compute such Ehrhart quasi-polynomials using a certain toric arrangement and lattice point counting functions of translated cones of $P$. This method allows us to visualize how constituent polynomials of $\mathrm{ehr}_{P+\mathbf v}$ change in the torus $\mathbb R^d/\mathbb Z^d$. We also prove that information of $\mathrm{ehr}_{P+\mathbf v}$ for all $\mathbf v \in \mathbb Q^d$ determines the rational $d$-polytope $P \subset \mathbb R^d$ up to translations by integer vectors, and characterize all rational $d$-polytopes $P \subset \mathbb R^d$ such that $\mathrm{ehr}_{P+\mathbf v}$ is symmetric for all $\mathbf v \in \mathbb Q^d$.
Hochschild polytopes
Published in Math. Ann. 392(2):2395-2441, 2025
• View Publication
• BIB
The $(m,n)$-multiplihedron is a polytope whose faces correspond to $m$-painted $n$-trees, and whose oriented skeleton is the Hasse diagram of the rotation lattice on binary $m$-painted $n$-trees. Deleting certain inequalities from the facet description of the $(m,n)$-multiplihedron, we construct the $(m,n)$-Hochschild polytope whose faces correspond to $m$-lighted $n$-shades, and whose oriented skeleton is the Hasse diagram of the rotation lattice on unary $m$-lighted $n$-shades. Moreover, there is a natural shadow map from $m$-painted $n$-trees to $m$-lighted $n$-shades, which turns out to define a meet semilattice morphism of rotation lattices. In particular, when $m=1$, our Hochschild polytope is a deformed permutahedron whose oriented skeleton is the Hasse diagram of the Hochschild lattice.
Independent sets of non-geometric lattices and the maximal adjoint
Published
• View Publication
• BIB
We construct a family of independent sets for finite, atomic, and graded lattices, extending the well-known cryptomorphism between geometric lattices and matroids. This construction leads to an embedding theorem into geometric lattices that preserves the set of atoms. We then apply these results to adjoint matroids, providing new characterizations of adjoints and partially proving a conjecture on the combinatorial derived matroid. Finally, we use our characterization of adjoints to compute the adjoint lists of several simple examples.