lattice ↗ reference
4394 papers tagged with this keyword
Lattice Path Matroids: Negative Correlation and Fast Mixing
Catalan numbers arise in many enumerative contexts as the counting sequence of combinatorial structures. In this work, we consider natural Markov chains on some of the realizations of the Catalan sequence. While our main result is in deriving an $O(n^2 \log n)$ bound on the mixing time in $L_2$ (and hence total variation) distance for the random transposition chain on Dyck paths, we raise several open questions, including the optimality of the above bound. The novelty in our proof is in establishing a certain negative correlation property among random bases of lattice path matroids, including the so-called Catalan matroid which can be defined using Dyck paths.
Dynamics of Lattice Triangulations on Thin Rectangles
Published
• View Publication
• BIB
We consider random lattice triangulations of $n\times k$ rectangular regions with weight $λ^{|σ|}$ where $λ>0$ is a parameter and $|σ|$ denotes the total edge length of the triangulation. When $λ\in(0,1)$ and $k$ is fixed, we prove a tight upper bound of order $n^2$ for the mixing time of the edge-flip Glauber dynamics. Combined with the previously known lower bound of order $\exp(Ω(n^2))$ for $λ>1$ [3], this establishes the existence of a dynamical phase transition for thin rectangles with critical point at $λ=1$.
Discrete complex analysis on planar quad-graphs
Published in Advances in Discrete Differential Geometry, A.I. Bobenko (ed.), Springer (2016), pp. 57-132
• View Publication
• BIB
We develop a linear theory of discrete complex analysis on general quad-graphs, continuing and extending previous work of Duffin, Mercat, Kenyon, Chelkak and Smirnov on discrete complex analysis on rhombic quad-graphs. Our approach based on the medial graph yields more instructive proofs of discrete analogs of several classical theorems and even new results. We provide discrete counterparts of fundamental concepts in complex analysis such as holomorphic functions, derivatives, the Laplacian, and exterior calculus. Also, we discuss discrete versions of important basic theorems such as Green's identities and Cauchy's integral formulae. For the first time, we discretize Green's first identity and Cauchy's integral formula for the derivative of a holomorphic function. In this paper, we focus on planar quad-graphs, but we would like to mention that many notions and theorems can be adapted to discrete Riemann surfaces in a straightforward way.
In the case of planar parallelogram-graphs with bounded interior angles and bounded ratio of side lengths, we construct a discrete Green's function and discrete Cauchy's kernels with asymptotics comparable to the smooth case. Further restricting to the integer lattice of a two-dimensional skew coordinate system yields appropriate discrete Cauchy's integral formulae for higher order derivatives.
Representation stability for cohomology of configuration spaces in $\mathbf{R}^d$
Published
• View Publication
• BIB
This paper studies representation stability in the sense of Church and Farb for representations of the symmetric group $S_n$ on the cohomology of the configuration space of $n$ ordered points in $\mathbf{R}^d$. This cohomology is known to vanish outside of dimensions divisible by $d-1$; it is shown here that the $S_n$-representation on the $i(d-1)^{st}$ cohomology stabilizes sharply at $n=3i$ (resp. $n=3i+1$) when $d$ is odd (resp. even).
The result comes from analyzing $S_n$-representations known to control the cohomology: the Whitney homology of set partition lattices for $d$ even, and the higher Lie representations for $d$ odd. A similar analysis shows that the homology of any rank-selected subposet in the partition lattice stabilizes by $n\geq 4i$, where $i$ is the maximum rank selected.
Further properties of the Whitney homology and more refined stability statements for $S_n$-isotypic components are also proven, including conjectures of J. Wiltshire-Gordon.
Rapid mixing and Markov bases
Published
• View Publication
• BIB
The mixing behaviour of random walks on lattice points of polytopes using Markov bases is examined. It is shown that under a dilation of the underlying polytope, these random walks do not mix rapidly when a fixed Markov basis is used. We also show that this phenomenon does not disappear after adding more moves to the Markov basis. Avoiding rejections by sampling applicable moves does also not lead to an asymptotic improvement. As a way out, a method of how to adapt Markov bases in order to achieve the fastest mixing behaviour is introduced.
On scattered convex geometries
Published
• View Publication
• BIB
A convex geometry is a closure space satisfying the anti-exchange axiom. For several types of algebraic convex geometries we describe when the collection of closed sets is order scattered, in terms of obstructions to the semilattice of compact elements. In particular, a semilattice $Ω(η)$, that does not appear among minimal obstructions to order-scattered algebraic modular lattices, plays a prominent role in convex geometries case. The connection to topological scatteredness is established in convex geometries of relatively convex sets.
Polynomials defined by tableaux and linear recurrences
Published in Electronic Journal of Combinatorics, 23, No.1 2016
• View Publication
• BIB
We show that several families of polynomials defined via fillings of diagrams satisfy linear recurrences under a natural operation on the shape of the diagram. We focus on key polynomials, (also known as Demazure characters), and Demazure atoms. The same technique can be applied to Hall-Littlewood polynomials and dual Grothendieck polynomials.
The motivation behind this is that such recurrences are strongly connected with other nice properties, such as interpretations in terms of lattice points in polytopes and divided difference operators.
Observability of Lattice Graphs
Published
• View Publication
• BIB
We consider a graph observability problem: how many edge colors are needed for an unlabeled graph so that an agent, walking from node to node, can uniquely determine its location from just the observed color sequence of the walk?
Specifically, let G(n,d) be an edge-colored subgraph of d-dimensional (directed or undirected) lattice of size n^d = n * n * ... * n. We say that G(n,d) is t-observable if an agent can uniquely determine its current position in the graph from the color sequence of any t-dimensional walk, where the dimension is the number of different directions spanned by the edges of the walk. A walk in an undirected lattice G(n,d) has dimension between 1 and d, but a directed walk can have dimension between 1 and 2d because of two different orientations for each axis.
We derive bounds on the number of colors needed for t-observability. Our main result is that Theta(n^(d/t)) colors are both necessary and sufficient for t-observability of G(n,d), where d is considered a constant.
This shows an interesting dependence of graph observability on the ratio between the dimension of the lattice and that of the walk. In particular, the number of colors for full-dimensional walks is Theta(n^(1/2)) in the directed case, and Theta(n) in the undirected case, independent of the lattice dimension.
All of our results extend easily to non-square lattices: given a lattice graph of size N = n_1 * n_2 * ... * n_d, the number of colors for t-observability is Theta (N^(1/t)).
An efficient search algorithm for inverting the sweep map on rational Dyck paths
Given a coprime pair $(m,n)$ of positive integers, rational $(m,n)$-Dyck paths are lattice paths in the $m\times n$ rectangle that never go below the diagonal. The sweep map of a rational $(m,n)$-Dyck paths $D$ is the rational Dyck path $Φ(D)$ obtained by sorting the steps of $D$ according to the ranks of their starting points, where the rank of $(a,b)$ is $bm-an$. It is conjectured to be a bijection, but to this date, $Φ$ is only known to be bijective for the Fuss case ($m=kn\pm 1$). In this paper we give an efficient search algorithm for inverting the $Φ$ map. Roughly speaking, given $σ\in \cal D_{m,n}$, by searching through a $d$-array tree of certain depth, we can output all $D$ such that $Φ(D)=σ$, where $d$ is the remainder of $m$ when divided by $n$. In particular, we show that $Φ$ is invertible for the Fuss case by giving a simple recursive construction for $Φ^{-1} (σ)$.
Macdonald-Koornwinder moments and the two-species exclusion process
Published in Selecta Mathematica 24 (2018), no. 3, 2275-2317
• View Publication
• BIB
Introduced in the late 1960's, the asymmetric exclusion process (ASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice with open boundaries. It has been known for awhile that there is a tight connection between the partition function of the ASEP and moments of Askey-Wilson polynomials, a family of orthogonal polynomials which are at the top of the hierarchy of classical orthogonal polynomials in one variable. On the other hand, Askey-Wilson polynomials can be viewed as a specialization of the multivariate Macdonald-Koornwinder polynomials (also known as Koornwinder polynomials), which in turn give rise to the Macdonald polynomials associated to any classical root system via a limit or specialization. In light of the fact that Koornwinder polynomials generalize the Askey-Wilson polynomials, it is natural to ask whether one can find a particle model whose partition function is related to Koornwinder polynomials. In this article we answer this question affirmatively, by showing that the "homogeneous" Koornwinder moments at q=t recover the partition function for the two-species exclusion process. We also provide a "hook length" formula for Koornwinder moments when q=t=1.
A polyhedral model of partitions with bounded differences and a bijective proof of a theorem of Andrews, Beck, and Robbins
Published
• View Publication
• BIB
The main result of this paper is a bijective proof showing that the generating function for partitions with bounded differences between largest and smallest part is a rational function. This result is similar to the closely related case of partitions with fixed differences between largest and smallest parts which has recently been studied through analytic methods by Andrews, Beck, and Robbins. Our approach is geometric: We model partitions with bounded differences as lattice points in an infinite union of polyhedral cones. Surprisingly, this infinite union tiles a single simplicial cone. This construction then leads to a bijection that can be interpreted on a purely combinatorial level.
Matrix product formula for Macdonald polynomials
Published in J. Phys. A: Math. Theor. 48 (2015) 384001
• View Publication
• BIB
We derive a matrix product formula for symmetric Macdonald polynomials. Our results are obtained by constructing polynomial solutions of deformed Knizhnik--Zamolodchikov equations, which arise by considering representations of the Zamolodchikov--Faddeev and Yang--Baxter algebras in terms of $t$-deformed bosonic operators. These solutions form a basis of the ring of polynomials in $n$ variables, whose elements are indexed by compositions. For weakly increasing compositions (anti-dominant weights), these basis elements coincide with non-symmetric Macdonald polynomials. Our formulas imply a natural combinatorial interpretation in terms of solvable lattice models. They also imply that normalisations of stationary states of multi-species exclusion processes are obtained as Macdonald polynomials at $q=1$.
A Lyapunov function for Glauber dynamics on lattice triangulations
Published
• View Publication
• BIB
We study random triangulations of the integer points $[0,n]^2 \cap\mathbb{Z}^2$, where each triangulation $σ$ has probability measure $λ^{|σ|}$ with $|σ|$ denoting the sum of the length of the edges in $σ$. Such triangulations are called \emph{lattice triangulations}. We construct a height function on lattice triangulations and prove that, in the whole subcritical regime $λ<1$, the function behaves as a \emph{Lyapunov function} with respect to Glauber dynamics; that is, the function is a supermartingale. We show the applicability of the above result by establishing several features of lattice triangulations, such as tightness of local measures, exponential tail of edge lengths, crossings of small triangles, and decay of correlations in thin rectangles. These are the first results on lattice triangulations that are valid in the whole subcritical regime $λ<1$. In a very recent work with Caputo, Martinelli and Sinclair, we apply this Lyapunov function to establish tight bounds on the mixing time of Glauber dynamics in thin rectangles that hold for all $λ<1$. The Lyapunov function result here holds in great generality; it holds for triangulations of general lattice polygons (instead of the $[0,n]^2$ square) and also in the presence of arbitrary constraint edges.
From Anderson to Zeta
Published
• View Publication
• BIB
For an irreducible crystallographic root system $Φ$ and a positive integer $p$ relatively prime to the Coxeter number $h$ of $Φ$, we give a natural bijection $\mathcal{A}$ from the set $\widetilde{W}^p$ of affine Weyl group elements with no inversions of height $p$ to the finite torus $\check{Q}/p\check{Q}$. Here $\check{Q}$ is the coroot lattice of $Φ$. This bijection is defined uniformly for all irreducible crystallographic root systems $Φ$ and is equivalent to the Anderson map $\mathcal{A}_{GMV}$ defined by Gorsky, Mazin and Vazirani when $Φ$ is of type $A_{n-1}$. Specialising to $p=mh+1$, we use $\mathcal{A}$ to define a uniform $W$-set isomorphism $ζ$ from the finite torus $\check{Q}/(mh+1)\check{Q}$ to the set of $m$-nonnesting parking functions $\mathsf{Park}_Φ^{(m)}$ of $Φ$. The map $ζ$ is equivalent to the zeta map $ζ_{HL}$ of Haglund and Loehr when $m=1$ and $Φ$ is of type $A_{n-1}$.
Combinatorics of the zeta map on rational Dyck paths
Published
• View Publication
• BIB
An $(a,b)$-Dyck path $P$ is a lattice path from $(0,0)$ to $(b,a)$ that stays above the line $y=\frac{a}{b}x$. The zeta map is a curious rule that maps the set of $(a,b)$-Dyck paths into itself; it is conjecturally bijective, and we provide progress towards proof of bijectivity in this paper, by showing that knowing zeta of $P$ and zeta of $¶$ conjugate is enough to recover $P$.
Our method begets an area-preserving involution $χ$ on the set of $(a,b)$-Dyck paths when $ζ$ is a bijection, as well as a new method for calculating $ζ^{-1}$ on classical Dyck paths. For certain nice $(a,b)$-Dyck paths we give an explicit formula for $ζ^{-1}$ and $χ$ and for additional $(a,b)$-Dyck paths we discuss how to compute $ζ^{-1}$ and $χ$ inductively.
We also explore Armstrong's skew length statistic and present two new combinatorial methods for calculating the zeta map involving lasers and interval intersections. We provide a combinatorial statistic $δ$ that can be used to recursively compute $ζ^{-1}$ and show that $δ$ is computable from $ζ(P)$ in the Fuss-Catalan case.
The PBW filtration and convex polytopes in type $\tt B$
Published in J. Pure Appl. Algebra 223 (2019), no. 1, 245-276
• View Publication
• BIB
We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations for $\tt B_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of favourable modules and graded combinatorial character formulas.
On self-avoiding polygons and walks: counting, joining and closing
For d at least two and integer n, let c_n = c_n(d) denote the number of length n self-avoiding walks beginning at the origin in the integer lattice Z^d, and, for even n, let p_n = p_n(d) denote the number of length n self-avoiding polygons in Z^d up to translation. Then the probability under the uniform law W_n on self-avoiding walks Gamma of any given odd length n beginning at the origin that Gamma closes -- i.e., that Gamma's endpoint is a neighbour of the origin -- is given by W_n ( Gamma closes ) = 2(n+1) p_{n+1}/c_n. The polygon and walk cardinalities share a common exponential growth: lim_n c_n^{1/n} = lim_{n even} p_n^{1/n} = mu (where the common value mu is called the connective constant). Madras [26] has shown that p_n is at most C n^{-1/2} mu^n in dimension d=2, while the closing probability was recently shown in [12] to satisfy W_n ( Gamma closes ) is at most n^{-1/4 + o(1)} in any dimension d at least two.
Here we establish that (1) W_n ( Gamma closes ) is at most n^{-1/2 + o(1)} for any d at least two; (2) W_n ( Gamma closes ) is at most n^{-4/7 + o(1)} for a subsequence of odd n, if d = 2; and (3) p_n is at most n^{-3/2 + o(1)} mu^n for a set of even n of full density when d=2.
We also argue that the closing probability is bounded above by n^{-(1 - 1/d) + o(1)} on a full density set when d is at least three for a certain variant of self-avoiding walk.
Lattice structure of Grid-Tamari orders
Published in J. Combin. Theory Ser. A 148 (2017), 27-56
• View Publication
• BIB
The Tamari order is a central object in algebraic combinatorics and many other areas. Defined as the transitive closure of an associativity law, the Tamari order possesses a surprisingly rich structure: it is a congruence-uniform lattice. We consider a larger class of posets, the Grid-Tamari orders, which arise as an ordering on the facets of the non-kissing complex introduced by Pylyavskyy, Petersen, and Speyer. In addition to Tamari orders, some interesting examples of Grid-Tamari orders include the Type A Cambrian lattices and Grassmann-Tamari orders. We prove that the Grid-Tamari orders are congruence-uniform lattices, which resolves a conjecture of Santos, Stump, and Welker. Towards this goal, we define a closure operator on sets of paths in a square grid, and prove that the biclosed sets of paths, ordered by inclusion, form a congruence-uniform lattice. We then prove that the Grid-Tamari order is a quotient lattice of the corresponding lattice of biclosed sets.
Edgewise Cohen-Macaulay connectivity of partially ordered sets
Published
• View Publication
• BIB
The proper parts of face lattices of convex polytopes are shown to satisfy a strong form of the Cohen--Macaulay property, namely that removing from their Hasse diagram all edges in any closed interval results in a Cohen--Macaulay poset of the same rank. A corresponding notion of edgewise Cohen--Macaulay connectivity for partially ordered sets is investigated. Examples and open questions are discussed.
Toric networks, geometric $R$-matrices and generalized discrete Toda lattices
Published
• View Publication
• BIB
We use the combinatorics of toric networks and the double affine geometric $R$-matrix to define a three-parameter family of generalizations of the discrete Toda lattice. We construct the integrals of motion and a spectral map for this system. The family of commuting time evolutions arising from the action of the $R$-matrix is explicitly linearized on the Jacobian of the spectral curve. The solution to the initial value problem is constructed using Riemann theta functions.