lattice ↗ reference
4394 papers tagged with this keyword
Brillouin Zones of Integer Lattices and Their Perturbations
Published in SIAM Journal on Discrete Mathematics 38.2 (2024): 1784-1807
• View Publication
• BIB
For a locally finite set, $A \subseteq \mathbb{R}^d$, the $k$-th Brillouin zone of $a \in A$ is the region of points $x \in \mathbb{R}^d$ for which $\|x-a\|$ is the $k$-th smallest among the Euclidean distances between $x$ and the points in $A$. If $A$ is a lattice, the $k$-th Brillouin zones of the points in $A$ are translates of each other, which tile space. Depending on the value of $k$, they express medium- or long-range order in the set. We study fundamental geometric and combinatorial properties of Brillouin zones, focusing on the integer lattice and its perturbations. Our results include the stability of a Brillouin zone under perturbations, a linear upper bound on the number of chambers in a zone for lattices in $\mathbb{R}^2$, and the convergence of the maximum volume of a chamber to zero for the integer lattice.
$h^*$-vectors of graph polytopes using activities of dissecting spanning trees
Published in Algebraic Combinatorics, Volume 6 (2023) no. 6, pp. 1637-1651
• View Publication
• BIB
Symmetric edge polytopes of graphs and root polytopes of semi-balanced digraphs are two classes of lattice polytopes whose $h^*$-polynomials have interesting properties and generalize important graph polynomials. For both classes of polytopes there are large, natural classes of dissections into unimodular simplices. These are such that the simplices correspond to certain spanning trees.
We show that for any ``spanning tree dissection'' of the symmetric edge polytope of a graph, or the root polytope of a semi-balanced digraph, the $h^*$-polynomial of the polytope can be computed as a generating function of certain activities of the corresponding spanning trees. Apart from giving simple and flexible algorithms for computing these polynomials, our results also reveal that all dissections in question are surprisingly similar to each other: It turns out that the distributions of many statistics of spanning tree dissections are in fact independent of the actual dissection.
Combinatorics of Triangular Partitions
Published
• View Publication
• BIB
The aim of this paper is to develop the combinatorics of constructions associated to what we call \emph{triangular partitions}. As introduced in arXiv:2102.07931, these are the partitions whose cells are those lying below the line joining points $(r,0)$ and $(0,s)$, for any given positive reals $r$ and $s$. Classical notions such as Dyck paths and parking functions are naturally generalized by considering the set of partitions included in a given triangular partition. One of our striking results is that the restriction of the Young lattice to triangular partition has a planar Hasse diagram, with many nice properties. It follows that we may generalize the "first-return" recurrence, for the enumeration of classical Dyck paths, to the enumeration of all partitions contained in a fixed triangular one.
Closed $k$-Schur Katalan functions as $K$-homology Schubert representatives of the affine Grassmannian
Published in Trans. Amer. Math. Soc. Ser. B 11 (2024), 667-702
• View Publication
• BIB
Recently, Blasiak-Morse-Seelinger introduced symmetric functions called Katalan functions, and proved that the $K$-theoretic $k$-Schur functions due to Lam-Schilling-Shimozono form a subfamily of the Katalan functions. They conjectured that another subfamily of Katalan functions called the closed $k$-Schur Katalan functions are identified with the Schubert structure sheaves in the $K$-homology of the affine Grassmannian. The main result is a proof of the conjecture.
We also study a $K$-theoretic Peterson isomorphism that Ikeda, Iwao, and Maeno constructed, in a non-geometric manner, based on the unipotent solution of the relativistic Toda lattice of Ruijsenaars. We prove that the map sends a Schubert class of the quantum $K$-theory ring of the flag variety to a closed $K$-$k$-Schur Katalan function up to an explicit factor related to a translation element with respect to an anti-dominant coroot. In fact, we prove the above map coincides with a map whose existence was conjectured by Lam, Li, Mihalcea, Shimozono, and proved by Kato, and more recently by Chow and Leung.
Faces of Directed Edge Polytopes
Given a finite quiver (directed graph) without loops and multiedges, the convex hull of the column vector of the incidence matrix is called the directed edge polytope and is an interesting example of lattice polytopes. In this paper, we give a complete characterization of facets of the directed edge polytope of an arbitrary finite quiver without loops and multiedges in terms of the connectivity and the existence of a rank function. Our result can be regarded as an extension of the result of Higashitani et al. on facets of symmetric edge polytopes to directed edge polytopes. When the quiver in question has a rank function, we obtain a characterization of faces of arbitrary dimensions.
Matroid schemes and geometric posets
The intersection data of a hyperplane arrangement is described by a geometric lattice, or equivalently a simple matroid. There is a rich interplay between this combinatorial structure and the topology of the arrangement complement. In this paper, we characterize the combinatorial structure underlying an abelian arrangement (such as a toric or elliptic arrangement) by defining a class of geometric posets and a generalization of matroids called matroid schemes. The intersection data of an abelian arrangement is encoded in a geometric poset, and we prove that a geometric poset is equivalent to a simple matroid scheme. We lay foundations for the theory of matroid schemes, discussing rank, flats, and independence. We also extend the definition of the Tutte polynomial to this setting and prove that it satisfies a deletion-contraction recurrence.
Cluster-permutohedra and submanifolds of flag varieties with torus actions
Published in Int. Math. Res. Notices, rnad076, 2023
• View Publication
• BIB
In this paper we describe a relation between the notion of graphicahedron, introduced by Araujo-Pardo, Del Río-Francos, López-Dudet, Oliveros, and Schulte in 2010, and toric topology of manifolds of sparse isospectral Hermitian matrices. More precisely, we recall the notion of a cluster-permutohedron, a certain finite poset defined for a simple graph $Γ$. This poset is build as a combination of cosets of the symmetric group, and the geometric lattice of the graphical matroid of $Γ$. This poset is similar to the graphicahedron of $Γ$, in particular, 1-skeleta of both posets are isomorphic to Cayley graphs of the symmetric group. We describe the relation between cluster-permutohedron and graphicahedron using Galois connection and the notion of a core of a finite topology. We further prove that the face poset of the natural torus action on the manifold of isospectral $Γ$-shaped Hermitian matrices is isomorphic to the cluster-permutohedron. Using recent results in toric topology, we show that homotopy properties of graphicahedra may serve an obstruction to equivariant formality of isospectral matrix manifolds. We introduce a generalization of a cluster-permutohedron and describe the combinatorial structure of a large family of manifolds with torus actions, including Grassmann manifolds and partial flag manifolds.
The critical length for growing a droplet
Published
• View Publication
• BIB
In many interacting particle systems, relaxation to equilibrium is thought to occur via the growth of 'droplets', and it is a question of fundamental importance to determine the critical length at which such droplets appear. In this paper we construct a mechanism for the growth of droplets in an arbitrary finite-range monotone cellular automaton on a $d$-dimensional lattice. Our main application is an upper bound on the critical probability for percolation that is sharp up to a constant factor in the exponent. Our method also provides several crucial tools that we expect to have applications to other interacting particle systems, such as kinetically constrained spin models on $\mathbb{Z}^d$.
This is one of three papers that together confirm the Universality Conjecture of Bollobás, Duminil-Copin, Morris and Smith.
A Note on the Gessel Numbers
The Gessel number $P(n,r)$ represents the number of lattice paths in a plane with unit horizontal and vertical steps from $(0,0)$ to $(n+r,n+r-1)$ that never touch any of the points from the set $\{(x,x)\in \mathbb{Z}^2: x \geq r\}$. In this paper, we use combinatorial arguments to derive a recurrence relation between $P(n,r)$ and $P(n-1,r+1)$. Also, we give a new proof for a well-known closed formula for $P(n,r)$. Moreover, a new combinatorial interpretation for the Gessel numbers is presented.
Computing Galois groups of Ehrhart polynomials in OSCAR
We report on an implementation of Galois groups in the new computer algebra system OSCAR. As an application we compute Galois groups of Ehrhart polynomials of lattice polytope
Delta and Theta Operator Expansions
Published
• View Publication
• BIB
We give an elementary symmetric function expansion for $MΔ_{m_γe_1}Πe_λ^{\ast}$ and $MΔ_{m_γe_1}Πs_λ^{\ast}$ when $t=1$ in terms of what we call $γ$-parking functions and lattice $γ$-parking functions. Here, $Δ_F$ and $Π$ are certain eigenoperators of the modified Macdonald basis and $M=(1-q)(1-t)$. Our main results in turn give an elementary basis expansion at $t=1$ for symmetric functions of the form $M Δ_{Fe_1} Θ_{G} J$ whenever $F$ is expanded in terms of monomials, $G$ is expanded in terms of the elementary basis, and $J$ is expanded in terms of the modified elementary basis $\{Πe_λ^\ast\}_λ$. Even the most special cases of this general Delta and Theta operator expression are significant; we highlight a few of these special cases. We end by giving an $e$-positivity conjecture for when $t$ is not specialized, proposing that our objects can also give the elementary basis expansion in the unspecialized symmetric function.
Covering rectangles by few monotonous polyominoes
Published
• View Publication
• BIB
A monotonous polyomino is formed by all lattice unit squares met by the graph of some fixed monotonous continuous function $f:[a,b] \to \mathbb{R}$ with $f(k) \notin \mathbb{Z}$ whenever $k \in \mathbb{Z}$. Our main result says that the least cardinality of a covering of a lattice $(m \times n)$-rectangle by monotonous polyominoes is $\left\lceil \frac{2}{3}\left(m+n-\sqrt{m^2+n^2-mn}\right)\right\rceil$. The paper is motivated by a problem on arrangements of straight lines on chessboards.
Arctic curves of the $6$V model with partial DWBC and double Aztec rectangles
Published in J. Phys. A: Math. Theor. 55 (2022) 305004
• View Publication
• BIB
Previous numerical studies have shown that in the disordered and anti-ferroelectric phases the six-vertex ($6$V) model with partial domain wall boundary conditions (DWBC) exhibits an arctic curve whose exact shape is unknown. The model is defined on a $s\times n$ square lattice ($s\leq n$). In this paper, we derive the analytic expression of the arctic curve, for $a=b=1$ and $c=\sqrt{2}$ ($Δ=0$), while keeping the ratio $s/n \,\in [0,1]$ as a free parameter. The computation relies on the tangent method. We also consider domino tilings of double Aztec rectangles and show via the tangent method that, for particular parameters, the arctic curve is identical to that of the $6$V model with partial DWBC. Our results are confirmed by extensive numerical simulations.
On Delannoy paths without peaks and valleys
Published
• View Publication
• BIB
A lattice path is called \emph{Delannoy} if its every step belongs to $\left\{N, E, D\right\}$, where $N=(0,1)$, $E=(1,0)$, and $D=(1,1)$ steps. \emph{Peak}, \emph{valley}, and \emph{deep valley} mean $NE$, $EN$, and $EENN$ on the lattice path, respectively.
In this paper, we find a bijection between $\mathcal{P}_{n,m}(NE, EN)$ and a specific subset of ${\mathcal{P}_{n,m}}(D, EENN)$, where $\mathcal{P}_{n,m}(NE, EN)$ is the set of Delannoy paths from the origin to the points $(n,m)$ without peaks and valleys and ${\mathcal{P}_{n,m}}(D, EENN)$ is the set of Delannoy lattice paths from the origin to the points $(n,m)$ without diagonal steps and deep valleys. We also enumerate the number of Delannoy paths without peaks and valleys on the restricted region $\left\{ (x,y) \in \mathbb{Z}^2 : y \ge k x \right\}$ for a positive integer $k$.
Matroids in toric topology
In this paper we study general torus actions on manifolds with isolated fixed points from combinatorial point of view. The main object of study is the poset of face submanifolds of such actions. We introduce the notion of a locally geometric poset -- the graded poset locally modelled by geometric lattices, and prove that for any torus action, the poset of its faces is locally geometric. Next we discuss the relations between posets of faces and GKM-theory. In particular, we define the face poset of an abstract GKM-graph and show how to reconstruct the face poset of a manifold from its GKM-graph.
Proof of a conjecture of Batyrev and Juny on Gorenstein polytopes
Published
• View Publication
• BIB
A $d$-dimensional lattice polytope $P$ is Gorenstein if it has a multiple $r P$ that is a reflexive polytope up to translation by a lattice vector. The difference $d+1-r$ is called the degree of $P$. We show that a Gorenstein polytope is a lattice pyramid if its dimension is at least three times its degree. This was previously conjectured by Batyrev and Juny. We also present a refined conjecture and prove it for IDP Gorenstein polytopes.
Laplace and Dirac Operators on Graphs
Published
• View Publication
• BIB
Discrete versions of the Laplace and Dirac operators haven been studied in the context of combinatorial models of statistical mechanics and quantum field theory. In this paper we introduce several variations of the Laplace and Dirac operators on graphs, and we investigate graph-theoretic versions of the Schrödinger and Dirac equation. We provide a combinatorial interpretation for solutions of the equations and we prove gluing identities for the Dirac operator on lattice graphs, as well as for graph Clifford algebras.
A combinatorial model for lane merging
A two lane road approaches a stoplight. The left lane merges into the right just past the intersection. Vehicles approach the intersection one at a time, with some drivers always choosing the right lane, while others always choose the shorter lane, giving preference to the right lane to break ties. An arrival sequence of vehicles can be represented as a binary string, where the zeros represent drivers always choosing the right lane, and the ones represent drivers choosing the shorter lane. From each arrival sequence we construct a merging path, which is a lattice path determined by the lane chosen by each car. We give closed formulas for the number of merging paths reaching the point $(n,m)$ with exactly $k$ zeros in the arrival sequence, and the expected length of the right lane for all arrival sequences with exactly $k$ zeros. Proofs involve an adaptation of Andre's Reflection Principle. Other interesting connections also emerge, including to: Ballot numbers, the expected maximum number of heads or tails appearing in a sequence of $n$ coin flips, the largest domino snake that can be made using pieces up to $[n:n]$, and the longest trail on the complete graph $K_n$ with loops.
Lattice paths, vector continued fractions, and resolvents of banded Hessenberg operators
We give a combinatorial interpretation of vector continued fractions obtained by applying the Jacobi-Perron algorithm to a vector of $p\geq 1$ resolvent functions of a banded Hessenberg operator of order $p+1$. The interpretation consists in the identification of the coefficients in the power series expansion of the resolvent functions as weight polynomials associated with Lukasiewicz lattice paths in the upper half-plane. In the scalar case $p=1$ this reduces to the relation established by P. Flajolet and G. Viennot between Jacobi-Stieltjes continued fractions, their power series expansion, and Motzkin paths. We consider three classes of lattice paths, namely the Lukasiewicz paths in the upper half-plane, their symmetric images in the lower half-plane, and a third class of unrestricted lattice paths which are allowed to cross the $x$-axis. We establish a relation between the three families of paths by means of a relation between the associated generating power series. We also discuss the subcollection of Lukasiewicz paths formed by the partial $p$-Dyck paths, whose weight polynomials are known in the literature as genetic sums or generalized Stieltjes-Rogers polynomials, and express certain moments of bi-diagonal Hessenberg operators.
A Lattice-Theoretic Perspective on the Persistence Map
We provide a naturally isomorphic description of the persistence map from merge trees to barcodes in terms of a monotone map from the partition lattice to the subset lattice. Our description is local, which offers the potential to speed up inverse computations, and brings classical tools in combinatorics to bear on an active area of research in topological data analysis (TDA).