lattice
4310 papers tagged with this keyword
The Catalan combinatorics of the hereditary artin algebras
Published
• View Publication
• BIB
This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler.
Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories and there is a wealth of bijections, the Ingalls-Thomas bijections, between sets of modules and subcategories.
If H is representation-finite, one may look at the corresponding numbers of modules or subcategories. Such Dynkin functions (they attach to a Dynkin diagram an integer) are displayed in chapter 1. In a mysterious way, many Dynkin functions can be described using the exponents of the Weyl group. According to Shapiro and Kostant, the exponents are given by the height partition of the root poset. A recent result of Abe-Barakat-Cuntz-Hoge-Terao allows to determine them inductively, going up in a chain of ideals in the root poset, looking at the corresponding hyperplane arrangements.
Chapter 4 deals with the case of the linearly oriented quiver of Dynkin type A. Here P is identified with the lattice NC of non-crossing partitions as introduced by Kreweras (now an important tool in several parts of mathematics, for example in free probability theory). We review some classical problems which are related to the maximal chains in NC: to count labeled trees as well as parking functions. The combinatorics of the Dynkin case A is just the combinatorics of the Catalan numbers; in an appendix, we discuss the nature of classical Catalan combinatorics.
Lattices from Hermitian function fields
Published in J. Algebra 447 (2016) 560-579
• Search Publication
We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming from elliptic curves and finite Abelian groups. The lattices we are faced with here are more subtle than those considered previously, and the proofs of the main results require the replacement of the existing linear algebra approaches by deep results of Gerhard Hiss on the factorization of functions with particular divisor support into lines and their inverses.
Tropical curves in sandpile models
Published
• View Publication
• BIB
A sandpile is a cellular automaton on a graph that evolves by the following toppling rule: if the number of grains at a vertex is at least its valency, then this vertex sends one grain to each of its neighbors.
In the study of pattern formation in sandpiles on large subgraphs of the standard square lattice, S. Caracciolo, G. Paoletti, and A. Sportiello experimentally observed that the result of the relaxation of a small perturbation of the maximal stable state contains a clear visible thin balanced graph formed by its deviation (less than maximum) set. Such graphs are known as tropical curves.
During the early stage of our research, we have noticed that these tropical curves are approximately scale-invariant, that is the deviation set mimics an extremal tropical curve depending on the domain on the plane and the positions of the perturbation points, but not on the mesh of the lattice.
In this paper, we rigorously formulate these two facts in the form of a scaling limit theorem and prove it. We rely on the theory of tropical analytic series, which is used to describe the global features of the sandpile dynamic, and on the theory of smoothings of discrete superharmonic functions, which handles local questions.
CoEulerian graphs
Published
• View Publication
• BIB
We suggest a measure of "Eulerianness" of a finite directed graph and define a class of "coEulerian" graphs. These are the graphs whose Laplacian lattice is as large as possible. As an application, we address a question in chip-firing posed by Bjorner, Lovasz, and Shor in 1991, who asked for "a characterization of those digraphs and initial chip configurations that guarantee finite termination." Bjorner and Lovasz gave an exponential time algorithm in 1992. We show that this can be improved to linear time if the graph is coEulerian, and that the problem is NP-complete for general directed multigraphs.
The Method(!) of "Guess and Check"
The problems of enumerating lattice walks, with an arbitrary finite set of allowed steps, both in one and two dimensions, where one must always stay in the non-negative half-line and quarter-plane respectively, are used, as case studies, to illustrate the `naive' methodology of guess-and-check, where rigorous proofs are possible, but not worth the trouble. We argue that this is a metaphor for future math.
The splitting process in free probability theory
Published in Int Math Res Notices (2016) 2016 (9): 2647-2676
• View Publication
• BIB
Free cumulants were introduced by Speicher as a proper analog of classical cumulants in Voiculescu's theory of free probability. The relation between free moments and free cumulants is usually described in terms of Moebius calculus over the lattice of non-crossing partitions. In this work we explore another approach to free cumulants and to their combinatorial study using a combinatorial Hopf algebra structure on the linear span of non-crossing partitions. The generating series of free moments is seen as a character on this Hopf algebra. It is characterized by solving a linear fixed point equation that relates it to the generating series of free cumulants. These phenomena are explained through a process similar to (though different from) the arborification process familiar in the theory of dynamical systems, and originating in Cayley's work.
A $q$-enumeration of lozenge tilings of a hexagon with four adjacent triangles removed from the boundary
MacMahon proved a simple product formula for the generating function of plane partitions fitting in a given box. The theorem implies a $q$-enumeration of lozenge tilings of a semi-regular hexagon on the triangular lattice. In this paper we generalize MacMahon's classical theorem by $q$-enumerating lozenge tilings of a new family of hexagons with four adjacent triangles removed from their boundary.
The Smith Normal Form of a Matrix Associated with Young's Lattice
Published
• View Publication
• BIB
We prove a conjecture of Miller and Reiner on the Smith normal form of the operator $DU$ associated with a differential poset for the special case of Young's lattice. Equivalently, this operator can be described as $\frac{\partial}{\partial p_1}p_1$ acting on homogeneous symmetric functions of degree $n$.
Multi-Catalan Tableaux and the Two-Species TASEP
Published
• View Publication
• BIB
The goal of this paper is to provide a combinatorial expression for the steady state probabilities of the two-species PASEP. In this model, there are two species of particles, one "heavy" and one "light", on a one-dimensional finite lattice with open boundaries. Both particles can swap places with adjacent holes to the right and left at rates 1 and $q$. Moreover, when the heavy and light particles are adjacent to each other, they can swap places as if the light particle were a hole. Additionally, the heavy particle can hop in and out at the boundary of the lattice. Our main result is a combinatorial interpretation for the stationary distribution at $q=0$ in terms of certain multi-Catalan tableaux. We provide an explicit determinantal formula for the steady state probabilities, as well as some general enumerative results for this case. We also describe a Markov process on these tableaux that projects to the two-species PASEP, and thus directly explains the connection between the two. Finally, we give a conjecture that extends our formula for the stationary distribution to the $q=1$ case, using certain two-species alternative tableau.
Supersolvability and Freeness for $ψ$-graphical Arrangements
Published
• View Publication
• BIB
Let $G$ be a simple graph on the vertex set $\{v_1,\dots,v_n\}$ with edge set $E$. Let $K$ be a field. The graphical arrangement $\mathcal{A}_G$ in $K^n$ is the arrangement $x_i-x_j=0, v_iv_j \in E$. An arrangement $\mathcal{A}$ is supersolvable if the intersection lattice $L(c(\mathcal{A}))$ of the cone $c(\mathcal{A})$ contains a maximal chain of modular elements. The second author has shown that a graphical arrangement $\mathcal{A}_G$ is supersolvable if and only if $G$ is a chordal graph. He later considered a generalization of graphical arrangements which are called $ψ$-graphical arrangements. He conjectured a characterization of the supersolvability and freeness (in the sense of Terao) of a $ψ$-graphical arrangement. We provide a proof of the first conjecture and state some conditions on free $ψ$-graphical arrangements.
Zigzag diagrams and Martin boundary
Published in Ann. Probab., Volume 46, Number 5 (2018), 2562-2620
• View Publication
• BIB
We investigate the asymptotic behavior of random paths on a graded graph which describes the subword order for words in two letters. This graph, denoted by $\mathcal{Z}$, has been introduced by Viennot, who also discovered a remarkable bijection between paths on $\mathcal{Z}$ and sequences of permutations. Later on, Gnedin and Olshanski used this bijection to describe the set of Gibbs measures on this graph. Both authors also conjectured that the Martin boundary of $\mathcal{Z}$ should coincide with its minimal boundary. We give here a proof of this conjecture by describing the distribution of a large random path conditioned on having a prescribed endpoint. We also relate paths on the graph Z with paths on the Young lattice, and we finally give a central limit theorem for the Plancherel measure on the set of paths in $\mathcal{Z}$.
Local asymptotic Euler-Maclaurin expansion for Riemann sums over a semi-rational polyhedron
Published
• View Publication
• BIB
Consider the Riemann sum of a smooth compactly supported function h(x) on a polyhedron in R^d, sampled at the points of the lattice Z^d/t. We give an asymptotic expansion when t goes to infinity, writing each coefficient of this expansion as a sum indexed by the faces f of the polyhedron, where the f-term is the integral over f of a differential operator applied to the function h(x). In particular, if a Euclidean scalar product is chosen, we prove that the differential operator for the face f can be chosen (in a unique way) to involve only normal derivatives to f. Our formulas are valid for a semi-rational polyhedron and a real sampling parameter t, if we allow for step-polynomial coefficients, instead of just constant ones.
Three interactions of holes in two dimensional dimer systems
Published
• View Publication
• BIB
Consider the unit triangular lattice in the plane with origin $O$, drawn so that one of the sets of lattice lines is vertical. Let $l$ and $l'$ denote respectively the vertical and horizontal lines that intersect $O$. Suppose the plane contains a pair of triangular holes of side length two, distributed symmetrically with respect to $l$ and $l'$, and oriented so that both holes point toward $O$. Unit rhombus tilings of three different regions of the plane are considered, namely: tilings of the entire plane; tilings of the half plane that lies to the left of $l$ (where $l$ is considered a free boundary, so unit rhombi are allowed to protrude half-way across it); and tilings of the half plane that lies just below the fixed boundary $l'$. Asymptotic expressions for the interactions of the triangular holes in these three different regions are obtained, providing further evidence for Ciucu's ongoing program that seeks to draw parallels between gaps in dimer systems on the hexagonal lattice and electrostatic phenomena.
On the structure of Schnyder woods on orientable surfaces
We propose a simple generalization of Schnyder woods from the plane to maps on orientable surfaces of higher genus. This is done in the language of angle labelings. Generalizing results of De Fraysseix and Ossona de Mendez, and Felsner, we establish a correspondence between these labelings and orientations and characterize the set of orientations of a map that correspond to such a Schnyder labeling. Furthermore, we study the set of these orientations of a given map and provide a natural partition into distributive lattices depending on the surface homology. This generalizes earlier results of Felsner and Ossona de Mendez. In the toroidal case, a new proof for the existence of Schnyder woods is derived from this approach.
Some remarks and conjectures related to lattice paths in strips along the x-axis
In the first part of this paper I give an elementary overview about some number sequences which count various sorts of lattice paths in strips along the x-axis and compute their generating functions in terms of Fibonacci and Lucas polynomials. In the second part I generalize these results by introducing suitable weights and study some special cases in more detail. In the course of this work I have been led to curious number triangles and various conjectures
A lattice on decreasing trees : the metasylvester lattice
Published
• View Publication
• BIB
We introduce a new combinatorial structure: the metasylvester lattice on decreasing trees. It appears in the context of the $m$-Tamari lattices and other related $m$-generalizations. The metasylvester congruence has been recently introduced by Novelli and Thibon. We show that it defines a sublattice of the $m$-permutations where elements can be represented by decreasing labelled trees: the metasylvester lattice. We study the combinatorial properties of this new structure. In particular, we give different realizations of the lattice. The $m$-Tamari lattice is by definition a sublattice of our newly defined metasylvester lattice. It leads us to a new realization of the $m$-Tamari lattice, using certain chains of the classical Tamari lattice.
Worpitzky partitions for root systems and characteristic quasi-polynomials
Published in Tohoku Mathematical Journal, 70 (2018) 39-63
• View Publication
• BIB
We introduce a partition of (coweight) lattice points inside the dilated fundamental parallelepiped into those of partially closed simplices. This partition can be considered as a generalization and a lattice points interpretation of the classical formula of Worpitzky.
This partition, and the generalized Eulerian polynomial, recently introduced by Lam and Postnikov, can be used to describe the characteristic (quasi)polynomials of Shi and Linial arrangements. As an application, we prove that the characteristic quasi-polynomial of the Shi arrangement turns out to be a polynomial. We also present several results on the location of zeros of characteristic polynomials, related to a conjecture of Postnikov and Stanley. In particular, we verify the "functional equation" of the characteristic polynomial of the Linial arrangement for any root system, and give partial affirmative results on "Riemann hypothesis" for the root systems of type $E_6, E_7, E_8$, and $F_4$.
A class of infinite convex geometries
Published in Electronic Journal of Combinatorics, v.23(1), paper #1.56 (2016)
• View Publication
• BIB
Various characterizations of finite convex geometries are well known. This note provides similar characterizations for possibly infinite convex geometries whose lattice of closed sets is strongly coatomic and lower continuous. Some classes of examples of such convex geometries are given.
Tokuyama's Identity for Factorial Schur Functions
Published
• View Publication
• BIB
A recent paper of Bump, McNamara and Nakasuji introduced a factorial version of Tokuyama's identity, expressing the partition function of a six vertex model as the product of a t-deformed Vandermonde and a Schur function. Here we provide an extension of their result by exploiting the language of primed shifted tableaux, with its proof based on the use of non-intersecting lattice paths.
Non-Abelian Analogs of Lattice Rounding
Published
• View Publication
• BIB
Lattice rounding in Euclidean space can be viewed as finding the nearest point in the orbit of an action by a discrete group, relative to the norm inherited from the ambient space. Using this point of view, we initiate the study of non-abelian analogs of lattice rounding involving matrix groups. In one direction, we give an algorithm for solving a normed word problem when the inputs are random products over a basis set, and give theoretical justification for its success. In another direction, we prove a general inapproximability result which essentially rules out strong approximation algorithms (i.e., whose approximation factors depend only on dimension) analogous to LLL in the general case.