lattice
4310 papers tagged with this keyword
Weakly modular graphs and nonpositive curvature
Published
• View Publication
• BIB
This article investigates structural, geometrical, and topological characterizations and properties of weakly modular graphs and of cell complexes derived from them. The unifying themes of our investigation are various `nonpositive curvature' and `local-to-global' properties and characterizations of weakly modular graphs and their subclasses. Weakly modular graphs have been introduced as a far-reaching common generalization of median graphs (and more generally, of modular and orientable modular graphs), Helly graphs, bridged graphs, and dual polar graphs occurring under different disguises in several seemingly-unrelated fields of mathematics: Metric graph theory, Geometric group theory, Incidence geometries and buildings, Theoretical computer science and combinatorial optimization. We give a local-to-global characterization of weakly modular graphs and their subclasses in terms of simple connectedness of associated triangle-square complexes and specific local combinatorial conditions. In particular, we revisit characterizations of dual polar graphs by Cameron and by Brouwer-Cohen. We also show that (disk-)Helly graphs are precisely the clique-Helly graphs with simply connected clique complexes. With $l_1$-embeddable weakly modular and sweakly modular graphs we associate high-dimensional cell complexes, having several strong topological and geometrical properties (contractibility and the CAT(0) property). Their cells have a specific structure: they are basis polyhedra of even $\triangle$-matroids in the first case and orthoscheme complexes of gated dual polar subgraphs in the second case. We resolve some open problems concerning subclasses of weakly modular graphs: we prove a Brady-McCammond conjecture about CAT(0) metric on the orthoscheme complexes of modular lattices; we answer Chastand's question about prime graphs for pre-median graphs.
On 3-dimensional lattice walks confined to the positive octant
Published in Annals of Comb. 20(4), 661-704 (2016)
• View Publication
• BIB
Many recent papers deal with the enumeration of 2-dimensional walks with prescribed steps confined to the positive quadrant. The classification is now complete for walks with steps in $\{0, \pm 1\}^2$: the generating function is D-finite if and only if a certain group associated with the step set is finite.
We explore in this paper the analogous problem for 3-dimensional walks confined to the positive octant. The first difficulty is their number: there are 11074225 non-trivial and non-equivalent step sets in $\{0, \pm 1\}^3$ (instead of 79 in the quadrant case). We focus on the 35548 that have at most six steps.
We apply to them a combined approach, first experimental and then rigorous. On the experimental side, we try to guess differential equations. We also try to determine if the associated group is finite. The largest finite groups that we find have order 48 -- the larger ones have order at least 200 and we believe them to be infinite. No differential equation has been detected in those cases.
On the rigorous side, we apply three main techniques to prove D-finiteness. The algebraic kernel method, applied earlier to quadrant walks, works in many cases. Certain, more challenging, cases turn out to have a special Hadamard structure, which allows us to solve them via a reduction to problems of smaller dimension. Finally, for two special cases, we had to resort to computer algebra proofs. We prove with these techniques all the guessed differential equations.
This leaves us with exactly 19 very intriguing step sets for which the group is finite, but the nature of the generating function still unclear.
An affine deformation of the quantum cohomology ring of flag manifolds and periodic Toda lattice
Published
• View Publication
• BIB
Consider the generalized flag manifold $G/B$ and the corresponding affine flag manifold $\mathcal{Fl}_G$. In this paper we use curve neighborhoods for Schubert varieties in $\mathcal{Fl}_G$ to construct certain affine Gromov-Witten invariants of $\mathcal{Fl}_G$, and to obtain a family of "affine quantum Chevalley" operators $Λ_0, \ldots, Λ_n$ indexed by the simple roots in the affine root system of $G$. These operators act on the cohomology ring $\mathrm{H}^*(\mathcal{Fl}_G)$ with coefficients in $\mathbb{Z}[q_0, \ldots,q_n]$. By analyzing commutativity and invariance properties of these operators we deduce the existence of two quantum cohomology rings, which satisfy properties conjectured earlier by Guest and Otofuji for $G= \mathrm{SL}_n(\mathbb{C})$. The first quantum ring is a deformation of the subalgebra of $\mathrm{H}^*(\mathcal{Fl}_G)$ generated by divisors. The second ring, denoted $\mathrm{QH}^*_{\mathrm{af}}(G/B)$, deforms the ordinary quantum cohomology ring $\mathrm{QH}^*(G/B)$ by adding an affine quantum parameter $q_0$. We prove that $\mathrm{QH}^*_{\mathrm{af}}(G/B)$ is a Frobenius algebra, and that the new quantum product determines a flat Dubrovin connection. Further, we develop an analogue of Givental and Kim formalism for this ring and we deduce a presentation of $\mathrm{QH}^*_{\mathrm{af}}(G/B)$ by generators and relations. The ideal of relations is generated by the integrals of motion for the periodic Toda lattice associated to the dual of the extended Dynkin diagram of $G$.
Signed polyomino tilings by n-in-line polyominoes and Groebner bases
Published
• View Publication
• BIB
Conway and Lagarias observed that a triangular region T(m) in a hexagonal lattice admits signed tiling by three-in-line polyominoes (tribones) if and only if m=9d-1 or m=9d for some integer d. We apply the theory of Groebner bases over integers to show that T(m) admits a signed tiling by n-in-line polyominoes (n-bones) if and only if m=dn^2-1 or m=dn^2 for some integer d. Explicit description of the Groebner basis allows us to calculate the "Groebner discrete volume" of a lattice region by applying the division algorithm to its `Newton polynomial'. Among immediate consequences is a description of the tile homology group of the $n$-in-line polyomino.
Hyperbolic triangular buildings without periodic planes of genus two
Published
• View Publication
• BIB
We study surface subgroups of groups acting simply transitively on vertex sets of certain hyperbolic triangular buildings. The study is motivated by Gromov's famous surface subgroup question: Does every one-ended hyperbolic group contain a subgroup which is isomorphic to the fundamental group of a closed surface of genus at least 2? Here we consider surface subgroups of the 23 torsion free groups acting simply transitively on the vertices of hyperbolic triangular buildings of the smallest non-trivial thickness. These groups gave the first examples of cocompact lattices acting simply transitively on vertices of hyperbolic triangular Kac-Moody buildings that are not right-angled. With the help of computer searches we show, that in most of the cases there are no periodic apartments invariant under the action of a genus two surface. The existence of such an action would imply the existence of a surface subgroup, but it is not known, whether the existence of a surface subgroup implies the existence of a periodic apartment. These groups are the first candidates for groups that have no surface subgroups arising from periodic apartments.
Quasisymmetric functions for nestohedra
For a generalized permutohedron $Q$ the enumerator $F(Q)$ of positive lattice points in interiors of maximal cones of the normal fan $Σ_Q$ is a quasisymmetric function. We describe this function for the class of nestohedra as a Hopf algebra morphism from a combinatorial Hopf algebra of building sets. For the class of graph-associahedra the corresponding quasisymmetric function is a new isomorphism invariant of graphs. The obtained invariant is quite natural as it is the generating function of ordered colorings of graphs and satisfies the recurrence relation with respect to deletions of vertices.
Permutation invariant lattices
Published in Discrete Mathematics, vol. 338 no. 8 (2015), pg. 1536--1541
• View Publication
• BIB
We say that a Euclidean lattice in $\mathbb R^n$ is permutation invariant if its automorphism group has non-trivial intersection with the symmetric group $S_n$, i.e., if the lattice is closed under the action of some non-identity elements of $S_n$. Given a fixed element $τ\in S_n$, we study properties of the set of all lattices closed under the action of $τ$: we call such lattices $τ$-invariant. These lattices naturally generalize cyclic lattices introduced by Micciancio, which we studied in a recent paper. Continuing our investigation, we discuss some basic properties of permutation invariant lattices, in particular proving that the subset of well-rounded lattices in the set of all $τ$-invariant lattices in $\mathbb R^n$ has positive co-dimension (and hence comprises zero proportion) for all $τ$ different from an $n$-cycle.
PBW-degenerated Demazure modules and Schubert varieties for triangular elements
Published
• View Publication
• BIB
We study certain faces of the normal polytope introduced by Feigin, Littelmann and the author whose lattice points parametrize a monomial basis of the PBW-degenerated of simple modules for $\mathfrak{sl}_{n+1}$. We show that lattice points in these faces parametrize monomial bases of PBW-degenerated Demazure modules associated to Weyl group elements satisfying a certain closure property, for example Kempf elements. These faces are again normal polytopes and their Minkowski sum is compatible with tensor products, which implies that we obtain flat degenerations of the corresponding Schubert varieties to PBW degenerated and toric varieties.
Adsorption of self-avoiding walks at a defect
We consider the model of self-avoiding walks on the $d$-dimensional hypercubic lattice interacting with a $d^*$-dimensional defect, where $1\leq d^*<d$. Such an interaction can be attractive or repulsive, and is controlled by a Boltzmann weight $a$ associated with visits to the defect. When $d=3$ and $d^*=1$ or $2$, this can be seen as a model of long linear polymers in a good solvent, interacting with a linear filament or the interface of two liquids of different density. For all combinations of dimensions, there is a critical value $a_{\rm c}$ which separates the desorbed and adsorbed phases of the model. We prove that in all cases $a_{\rm c}=1$, confirming conjectures by a number of authors.
A note on statistical averages for oscillating tableaux
Published in Electronic Journal of Combinatorics, 22(2), 2015
• View Publication
• BIB
We define a statistic called the weight of oscillating tableaux. Oscillating tableaux, a generalization of standard Young tableaux, are certain walks in Young's lattice of partitions. The weight of an oscillating tableau is the sum of the sizes of all the partitions that it visits. We show that the average weight of all oscillating tableaux of shape lambda and length 2n plus the size of lambda has a surprisingly simple formula: it is a quadratic polynomial in the size of lambda and n. Our proof via the theory of differential posets is largely computational. We suggest how the homomesy paradigm of Propp and Roby may lead to a more conceptual proof of this result and reveal a hidden symmetry in the set of perfect matchings.
Plethysm and lattice point counting
Published
• View Publication
• BIB
We apply lattice point counting methods to compute the multiplicities in the plethysm of $GL(n)$. Our approach gives insight into the asymptotic growth of the plethysm and makes the problem amenable to computer algebra. We prove an old conjecture of Howe on the leading term of plethysm. For any partition $μ$ of 3,4, or 5 we obtain an explicit formula in $λ$ and $k$ for the multiplicity of $S^λ$ in $S^μ(S^k)$.
The range of a rotor walk
Published
• View Publication
• BIB
In a \emph{rotor walk} the exits from each vertex follow a prescribed periodic sequence. On an infinite Eulerian graph embedded periodically in $\R^d$, we show that any simple rotor walk, regardless of rotor mechanism or initial rotor configuration, visits at least on the order of $t^{d/(d+1)}$ distinct sites in $t$ steps. We prove a shape theorem for the rotor walk on the comb graph with i.i.d.\ uniform initial rotors, showing that the range is of order $t^{2/3}$ and the asymptotic shape of the range is a diamond. Using a connection to the mirror model and critical percolation, we show that rotor walk with i.i.d.\ uniform initial rotors is recurrent on two different directed graphs obtained by orienting the edges of the square grid, the Manhattan lattice and the $F$-lattice. We end with a short discussion of the time it takes for rotor walk to cover a finite Eulerian graph.
A unifying poset perspective on alternating sign matrices, plane partitions, Catalan objects, tournaments, and tableaux
Published in Adv Appl Math 46 (2011), no. 4, 583-609
• Search Publication
Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We present a unifying perspective on ASMs and other combinatorial objects by studying a certain tetrahedral poset and its subposets. We prove the order ideals of these subposets are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self-complementary plane partitions (TSSCPPs), staircase shaped semistandard Young tableaux, Catalan objects, tournaments, and totally symmetric plane partitions. We prove product formulas counting these order ideals and give the rank generating function of some of the corresponding lattices of order ideals. We also prove an expansion of the tournament generating function as a sum over TSSCPPs. This result is analogous to a result of Robbins and Rumsey expanding the tournament generating function as a sum over alternating sign matrices.
Computing convex hulls and counting integer points with polymake
Published
• View Publication
• BIB
The main purpose of this paper is to report on the state of the art of computing integer hulls and their facets as well as counting lattice points in convex polytopes. Using the polymake system we explore various algorithms and implementations. Our experience in this area is summarized in ten "rules of thumb".
Splines, lattice points, and arithmetic matroids
Published in Journal of Algebraic Combinatorics, March 2016, Volume 43, Issue 2, pp 277-324
• View Publication
• BIB
Let $X$ be a $(d\times N)$-matrix. We consider the variable polytope $Π_X(u) = \{w \ge 0 : X w = u \}$. It is known that the function $T_X$ that assigns to a parameter $u \in \mathbb{R}^d$ the volume of the polytope $Π_X(u)$ is piecewise polynomial. The Brion-Vergne formula implies that the number of lattice points in $Π_X(u)$ can be obtained by applying a certain differential operator to the function $T_X$.
In this article we slightly improve the Brion-Vergne formula and we study two spaces of differential operators that arise in this context: the space of relevant differential operators (i.e. operators that do not annihilate $T_X$) and the space of nice differential operators (i.e. operators that leave $T_X$ continuous). These two spaces are finite-dimensional homogeneous vector spaces and their Hilbert series are evaluations of the Tutte polynomial of the arithmetic matroid defined by the matrix $X$. They are closely related to the $\mathcal{P}$-spaces studied by Ardila-Postnikov and Holtz-Ron in the context of zonotopal algebra and power ideals.
The "Game about Squares" is NP-hard
In the "Game about Squares" the task is to push unit squares on an integer lattice onto corresponding dots. A square can only be moved into one given direction. When a square is pushed onto a lattice point with an arrow the direction of the square adopts the direction of the arrow. Moreover, squares can push other squares. In this paper we study the decision problem, whether all squares can be moved onto their corresponding dots by a finite number of pushes. We prove that this problem is NP-hard.
Determinants of incidence and Hessian matrices arising from the vector space lattice
Published
• View Publication
• BIB
Let $\mathcal{V}=\bigsqcup_{i=0}^n\mathcal{V}_i$ be the lattice of subspaces of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$ and let $\mathcal{A}$ be the graded Gorenstein algebra defined over $\mathbb{Q}$ which has $\mathcal{V}$ as a $\mathbb{Q}$ basis. Let $F$ be the Macaulay dual generator for $\mathcal{A}$. We compute explicitly the Hessian determinant $|\frac{\partial ^2F}{\partial X_i \partial X_j}|$ evaluated at the point $X_1 = X_2 = \cdots = X_N=1$ and relate it to the determinant of the incidence matrix between $\mathcal{V}_1$ and $\mathcal{V}_{n-1}$. Our exploration is motivated by the fact that both of these matrices arise naturally in the study of the Sperner property of the lattice and the Lefschetz property for the graded Artinian Gorenstein algebra associated to it.
Induced and non-induced forbidden subposet problems
Published in Electronic Journal of Combinatorics, 22 (1) P1.30, 2015
• Search Publication
The problem of determining the maximum size $La(n,P)$ that a $P$-free subposet of the Boolean lattice $B_n$ can have, attracted the attention of many researchers, but little is known about the induced version of these problems. In this paper we determine the asymptotic behavior of $La^*(n,P)$, the maximum size that an induced $P$-free subposet of the Boolean lattice $B_n$ can have for the case when $P$ is the complete two-level poset $K_{r,t}$ or the complete multi-level poset $K_{r,s_1,\dots,s_j,t}$ when all $s_i$'s either equal 4 or are large enough and satisfy an extra condition. We also show lower and upper bounds for the non-induced problem in the case when $P$ is the complete three-level poset $K_{r,s,t}$. These bounds determine the asymptotics of $La(n,K_{r,s,t})$ for some values of $s$ independently of the values of $r$ and $t$.
Set families with forbidden subposets
Published
• View Publication
• BIB
Let $F$ be a family of subsets of $\{1,\ldots,n\}$. We say that $F$ is $P$-free if the inclusion order on $F$ does not contain $P$ as an induced subposet. The \emph{Turán function} of $P$, denoted $π^*(n,P)$, is the maximum size of a $P$-free family of subsets of $\{1,\ldots,n\}$. We show that $π^*(n,P) \le (4r + O(\sqrt{r}))\binom{n}{n/2}$ if $P$ is an $r$-element poset of height at most $2$. We also show that $π^*(n,S_r) = (r+O(\sqrt{r}))\binom{n}{n/2}$ where $S_r$ is the standard example on $2r$ elements, and that $π^*(n,B_2) \le (2.583+o(1))\binom{n}{n/2}$, where $B_2$ is the $2$-dimensional Boolean lattice.
Enumerating neighborly polytopes and oriented matroids
Published
• View Publication
• BIB
Neighborly polytopes are those that maximize the number of faces in each dimension among all polytopes with the same number of vertices. Despite their extremal properties they form a surprisingly rich class of polytopes, which has been widely studied and is the subject of many open problems and conjectures.
In this paper, we study the enumeration of neighborly polytopes beyond the cases that have been computed so far. To this end, we enumerate neighborly oriented matroids --- a combinatorial abstraction of neighborly polytopes --- of small rank and corank. In particular, if we denote by OM($r,n$) the set of all oriented matroids of rank $r$ and $n$ elements, we determine all uniform neighborly oriented matroids in OM($5,\leq 12$), OM($6,\leq 9$), OM($7,\leq 11$) and OM($9,\leq 12$) and all possible face lattices of neighborly oriented matroids in OM($6,10$) and OM($8,11$). Moreover, we classify all possible face lattices of uniform $2$-neighborly oriented matroids in OM($7,10$) and OM($8,11$). Based on the enumeration, we construct many interesting examples and test open conjectures.