lattice ↗ reference
4394 papers tagged with this keyword
Tilings and matroids on regular subdivisions of a triangle
In this paper we investigate a family of matroids introduced by Ardila and Billey to study one-dimensional intersections of complete flag arrangements of $\mathbb{C}^n$. The set of lattice points $P_n$ inside the equilateral triangle $S_n$ obtained by intersecting the nonnegative cone of $\mathbb{R}^3$ with the affine hyperplane $x_1 + x_2 + x_3 = n-1$ is the ground set of a matroid $\mathcal{T}_n$ whose independent sets are the subsets $S$ of $P_n$ satisfying that $|S \cap P| \le k$ for each translation $P$ of the set $P_k$. Here we study the structure of the matroids $\mathcal{T}_n$ in connection with tilings of $S_n$ into unit triangles, rhombi, and trapezoids. First, we characterize the independent sets of $\mathcal{T}_n$, extending a characterization of the bases of $\mathcal{T}_n$ already given by Ardila and Billey. Then we explore the connection between the rank function of $\mathcal{T}_n$ and the tilings of $S_n$ into unit triangles and rhombi. Then we provide a tiling characterization of the circuits of $\mathcal{T}_n$. We conclude with a geometric characterization of the flats of $\mathcal{T}_n$.
Donaldson-Thomas invariants, torus knots, and lattice paths
Published in Phys. Rev. D 98, 026022 (2018)
• View Publication
• BIB
In this paper we find and explore the correspondence between quivers, torus knots, and combinatorics of counting paths. Our first result pertains to quiver representation theory -- we find explicit formulae for classical generating functions and Donaldson-Thomas invariants of an arbitrary symmetric quiver. We then focus on quivers corresponding to $(r,s)$ torus knots and show that their classical generating functions, in the extremal limit and framing $rs$, are generating functions of lattice paths under the line of the slope $r/s$. Generating functions of such paths satisfy extremal A-polynomial equations, which immediately follows after representing them in terms of the Duchon grammar. Moreover, these extremal A-polynomial equations encode Donaldson-Thomas invariants, which provides an interesting example of algebraicity of generating functions of these invariants. We also find a quantum generalization of these statements, i.e. a relation between motivic quiver generating functions, quantum extremal knot invariants, and $q$-weighted path counting. Finally, in the case of the unknot, we generalize this correspondence to the full HOMFLY-PT invariants and counting of Schröder paths.
Steinberg's theorem for crystallographic complex reflection groups
Published in Journal of Algebra, Volume 522, 2019, pages 332--350
• View Publication
• BIB
Popov classified crystallographic complex reflection groups by determining lattices they stabilize. These analogs of affine Weyl groups have infinite order and are generated by reflections about affine hyperplanes; most arise as the semi-direct product of a finite complex reflection group and a full rank lattice. Steinberg's fixed point theorem asserts that the regular orbits under the action of a reflection group are exactly the orbits lying off of reflecting hyperplanes. This theorem holds for finite reflection groups (real or complex) and also affine Weyl groups but fails for some crystallographic complex reflection groups. We determine when Steinberg's theorem holds for the infinite family of crystallographic complex reflection groups. We include crystallographic groups built on finite Coxeter groups.
Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology
Published
• View Publication
• BIB
Given any polytope $P$ and any generic linear functional ${\bf c} $, one obtains a directed graph $G(P,{\bf c})$ from the 1-skeleton of $P$ by orienting each edge $e(u,v)$ from $u$ to $v$ for ${\bf c} (u) < {\bf c} ( v)$. For $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice $L$, the join of any collection $S$ of elements which all cover a common element $u$ in $L$ is proven to equal the sink of the smallest face of $P$ containing $u$ and all of the elements of $S$. The author conjectures for such $G(P,{\bf c})$ that no directed path in $G(P,{\bf c})$ ever revisits any facet of $P$. This would imply for such $P$ and ${\bf c}$ that the simplex method for linear programming is efficient under all possible pivot rules. This conjecture is proven for 3-polytopes and for spindles.
For simple polytopes in which $G(P,{\bf c})$ is the Hasse diagram of a lattice $L$, the order complex of each open interval in $L$ is proven homotopy equivalent to a ball or a sphere. Applications are given to the weak Bruhat order, the Tamari lattice, and the Cambrian lattices.
This paper concludes with an appendix by Dominik Preußproving the monotone Hirsch conjecture for $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice. This confirms one of the main consequences that the author's conjecture would have.
Quantitative aspects of acyclicity
Published
• View Publication
• BIB
We study several aspects of the $k$-th Cheeger constant of a complex X, a parameter that quantifies the distance of $X$ from a complex $Y$ with nontrivial $k$-th cohomology over $\mathbb{Z}_2$. Our results include general methods for bounding the cosystolic norm of a cochain and for bounding the Cheeger constant of a complex, a discussion of expansion of pseudomanifolds and geometric lattices, probabilistic upper bounds on Cheeger constants, and application of non-Abelian expansion to random complexes.
On a transformation of Riordan moment sequences
We define a transformation that associates certain exponential moment sequences with ordinary moment sequences in a natural way. The ingredients of this transformation are series reversion, the Sumudu transform (a variant of the Laplace transform), and the inverting of generating functions. This transformation also has a simple interpretation in terms of continued fractions. It associates lattice path objects with permutation objects, and in particular it associates the Narayana triangle with the Eulerian triangle.
Lattices with exponentially large kissing numbers
Published in Moscow J. Comb. Number Th. 8 (2019) 163-177
• View Publication
• BIB
We construct a sequence of lattices $\{L_{n_i}\subset \mathbb R^{n_i}\}$ for $n_i\longrightarrow\infty$, with exponentially large kissing numbers, namely, $\log_2τ(L_{n_i})> 0.0338\cdot n_i -o(n_i)$. We also show that the maximum lattice kissing number $ τ^l_{n}$ in $n$ dimensions verifies $\log_2τ^l_{n}> 0.0219\cdot n -o(n)$.
The Ramsey and the ordering property for classes of lattices and semilattices
The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokić have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property.
In this paper we prove that the variety of distributive lattices is not an exception, but an instance of a more general phenomenon. We show that for almost all nontrivial locally finite varieties of lattices no "reasonable" expansion of the finite members of the variety by linear orders gives rise to a Ramsey class. The responsibility for this lies not with the lattices as structures, but with the lack of algebraic morphisms: if we consider lattices as partially ordered sets (and thus switch from algebraic embeddings to embeddings of relational structures) we show that every variety of lattices gives rise to a class of linearly ordered posets having both the Ramsey property and the ordering property. It now comes as no surprise that the same is true for varieties of semilattices.
Smooth centrally symmetric polytopes in dimension 3 are IDP
Published in Ann. Comb. 23 (2019), no. 2, 255-262
• View Publication
• BIB
In 1997 Oda conjectured that every smooth lattice polytope has the integer decomposition property. We prove Oda's conjecture for centrally symmetric $3$-dimensional polytopes, by showing they are covered by lattice parallelepipeds and unimodular simplices.
Stirling Numbers in Braid Matroid Kazhdan-Lusztig Polynomials
Published
• View Publication
• BIB
Restricted Whitney numbers of the first kind appear in the combinatorial recursion for the matroid Kazhdan-Lusztig polynomials. In the special case of braid matroids (the matroid associated to the partition lattice, the complete graph, the type A Coxeter arrangement and the symmetric group) these restricted Whitney numbers are Stirling numbers of the first kind. We use this observation to obtain a formula for the coefficients of the Kazhdan-Lusztig polynomials for braid matroids in terms of sums of products of Stirling numbers of the first kind. This results in new identities between Stirling numbers of the first kind and Stirling numbers of the second kind, as well as a non-recursive formula for the braid matroid Kazhdan-Lusztig polynomials.
Surjectivity of near square random matrices
Published
• View Publication
• BIB
We show that a nearly square iid random integral matrix is surjective over the integral lattice with very high probability. This answers a question by Koplewitz. Our result extends to sparse matrices as well as to matrices of dependent entries.
Zonotopes whose cellular strings are all coherent
Published
• View Publication
• BIB
A cellular string of a polytope is a sequence of faces stacked on top of each other in a given direction. The poset of cellular strings, ordered by refinement, is known to be homotopy equivalent to a sphere. The subposet of coherent cellular strings is the face lattice of the fiber polytope, hence is homeomorphic to a sphere. In some special cases, every cellular string is coherent. Such polytopes are said to be all-coherent. We give a complete classification of zonotopes with the all-coherence property in terms of their oriented matroid structure. Although the face lattice of the fiber polytope in this case is not an oriented matroid invariant, we prove that the all-coherence property is invariant.
Counting Borel Orbits in Symmetric Varieties of Types $BI$ and $CII$
Published
• View Publication
• BIB
This is a continuation of our combinatorial program on the enumeration of Borel orbits in symmetric varieties of classical types. Here, we determine the generating series the numbers of Borel orbits in $\mathbf{SO}_{2n+1}/\mathbf{S(O}_{2p}\times \mathbf{O}_{2q+1}\mathbf{)}$ (type $BI$) and in $\mathbf{Sp}_n/\mathbf{Sp}_p\times \mathbf{Sp}_q$ (type $CII$). In addition, we explore relations to lattice path enumeration.
Mixing Time on the Kagome Lattice
We consider tilings of a closed region of the Kagome lattice (partition of the plane into regular hexagons and equilateral triangles such that each edge is shared by one triangle and one hexagon). We are interested in the rate of convergence to the stationarity of a natural Markov chain defined on the set of Kagome tilings. The rate of convergence can be represented by the mixing time which mesures the amount of time it takes the chain to be close to its stationary distribution. We obtain a $\mathcal{O}(N^4)$ upper bound on the mixing time of a weighted version of the natural Markov chain. We also consider Kagome tilings restrained to two prototiles, prove flip-connectivity and draw a $\mathcal{O}(N^4)$ upper bound as well on the mixing time of the natural Markov chain in a general (non weighted) case. Finally, we present simulations that suggest existence of a long range phenomenon.
A partial order on Motzkin paths
Published
• View Publication
• BIB
The Tamari lattice, defined on Catalan objects such as binary trees and Dyck paths, is a well-studied poset in combinatorics. It is thus natural to try to extend it to other families of lattice paths. In this article, we fathom such a possibility by defining and studying an analogy of the Tamari lattice on Motzkin paths. While our generalization is not a lattice, each of its connected components is isomorphic to an interval in the classical Tamari lattice. With this structural result, we proceed to the enumeration of components and intervals in the poset of Motzkin paths we defined. We also extend the structural and enumerative results to Schröder paths. We conclude by a discussion on the relation between our work and that of Baril and Pallo (2014).
Exceptional and modern intervals of the Tamari lattice
In this article we use the theory of interval-posets recently introduced by Ch{â}tel and Pons in order to describe some interesting families of intervals in the Tamari lattices. These families are defined as interval-posets avoiding specific configurations. At first, we consider what we call exceptional interval-posets and show that they correspond to the intervals which are obtained as images of noncrossing trees in the Dendriform operad. We also show that the exceptional intervals are exactly the intervals of the Tamari lattice induced by intervals in the poset of noncrossing partitions. In the second part we introduce the notion of modern and infinitely modern interval-posets. We show that the modern intervals are in bijection with the new intervals of the Tamari lattice in the sense of Chapoton. We deduce an intrinsic characterization of the new intervals in the Tamari lattice. Finally, we consider the family of what we call infinitely modern intervals and we we prove that there are as many infinitely modern interval-posets of size n as there are ternary trees with n inner vertices.
Hopf algebras on decorated noncrossing arc diagrams
Published in J. Combin. Theory Ser. A, 161:486-507, 2019
• View Publication
• BIB
Noncrossing arc diagrams are combinatorial models for the equivalence classes of the lattice congruences of the weak order on permutations. In this paper, we provide a general method to endow these objects with Hopf algebra structures. Specific instances of this method produce relevant Hopf algebras that appeared earlier in the literature.
Paths to Understanding Birational Rowmotion on Products of Two Chains
Published
• View Publication
• BIB
Birational rowmotion is an action on the space of assignments of rational functions to the elements of a finite partially-ordered set (poset). It is lifted from the well-studied rowmotion map on order ideals (equivariantly on antichains) of a poset $P$, which when iterated on special posets, has unexpectedly nice properties in terms of periodicity, cyclic sieving, and homomesy (statistics whose averages over each orbit are constant) [AST11, BW74, CF95, Pan09, PR13, RuSh12,RuWa15+,SW12, ThWi17, Yil17. In this context, rowmotion appears to be related to Auslander-Reiten translation on certain quivers, and birational rowmotion to $Y$-systems of type $A_m \times A_n$ described in Zamolodchikov periodicity.
We give a formula in terms of families of non-intersecting lattice paths for iterated actions of the birational rowmotion map on a product of two chains. This allows us to give a much simpler direct proof of the key fact that the period of this map on a product of chains of lengths $r$ and $s$ is $r+s+2$ (first proved by D.~Grinberg and the second author), as well as the first proof of the birational analogue of homomesy along files for such posets.
Ascents in Non-Negative Lattice Paths
Published in 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Leibniz International Proceedings in Informatics (LIPIcs), vol 110
• View Publication
• BIB
Non-negative Łukasiewicz paths are special two-dimensional lattice paths never passing below their starting altitude which have only one single special type of down step. They are well-known and -studied combinatorial objects, in particular due to their bijective relation to trees with given node degrees.
We study the asymptotic behavior of the number of ascents (i.e., the number of maximal sequences of consecutive up steps) of given length for classical subfamilies of general non-negative Łukasiewicz paths: those with arbitrary ending altitude, those ending on their starting altitude, and a variation thereof. Our results include precise asymptotic expansions for the expected number of such ascents as well as for the corresponding variance.
Schurity and separability of quasiregular coherent configurations
Published
• View Publication
• BIB
A permutation group is said to be quasiregular if every its transitive constituent is regular, and a quasiregular coherent configuration can be thought as a combinatorial analog of such a group: the transitive constituents are replaced by the homogeneous components. In this paper, we are interested in the question when the configuration is schurian, i.e., formed by the orbitals of a permutation group, or/and separable, i.e., uniquely determined by the intersection numbers. In these terms, an old result of Hanna Neumann is, in a sense, dual to the statement that the quasiregular coherent configurations with cyclic homogeneous components are schurian. In the present paper, we (a) establish the duality in a precise form and (b) generalize the latter result by proving that a quasiregular coherent configuration is schurian and separable if the groups associated with homogeneous components have distributive lattices of normal subgroups.