lattice
4310 papers tagged with this keyword
Mixing Time of Markov chain of the Knapsack Problem
To find the number of assignments of zeros and ones satisfying a specific Knapsack Problem is $\#P$ hard, so only approximations are envisageable. A Markov chain allowing uniform sampling of all possible solutions is given by Luby, Randall and Sinclair. In 2005, Morris and Sinclair, by using a flow argument, have shown that the mixing time of this Markov chain is $\mathcal{O}(n^{9/2+ε})$, for any $ε> 0$. By using a canonical path argument on the distributive lattice structure of the set of solutions, we obtain an improved bound, the mixing time is given as $τ_{_{x}}(ε) \leq n^{3} \ln (16 ε^{-1})$.
Infinite Reduced Words, Lattice Property And Braid Graph of Affine Weyl Groups
Published
• View Publication
• BIB
In this paper, we establish a bijection between the infinite reduced words of an affine Weyl group and certain biclosed sets of its positive system and determine all finitely generated biclosed sets in the positive system of an affine Weyl group. Using these results, we show first that the biclosed sets in the standard positive system of rank 3 affine Weyl groups when ordered by inclusion form a complete algebraic ortholattice and secondly that the (generalized) braid graphs of those Coxeter groups are connected, which can be thought of as an infinite version of Tit's solution to the word problem.
The Whitney Duals of a Graded Poset
We introduce the notion of a \emph{Whitney dual} of a graded poset. Two posets are Whitney duals to each other if (the absolute value of) their Whitney numbers of the first and second kind are interchanged between the two posets. We define new types of edge and chain-edge labelings which we call \emph{Whitney labelings}. We prove that every graded poset with a Whitney labeling has a Whitney dual. Moreover, we show how to explicitly construct a Whitney dual using a technique involving quotient posets.
As applications of our main theorem, we show that geometric lattices, the lattice of noncrossing partitions, the poset of weighted partitions studied by González D'León-Wachs, and most of the R$^*$S-labelable posets studied by Simion-Stanley all have Whitney duals. Our technique gives a combinatorial description of a Whitney dual of the noncrossing partition lattice in terms of a family of noncrossing Dyck paths. Our method also provides an explanation of the Whitney duality between the poset of weighted partitions and a poset of rooted forests studied by Reiner and Sagan. An integral part of this explanation is a new chain-edge labeling for the poset of weighted partitions which we show is a Whitney labeling.
Finally, we show that a graded poset with a Whitney labeling admits a local action of the $0$-Hecke algebra of type $A$ on its set of maximal chains. The characteristic of the associated representation is Ehrenborg's flag quasisymmetric function. The existence of this action implies, using a result of McNamara, that when the maximal intervals of the constructed Whitney duals are bowtie-free, they are also snellable. In the case where these maximal intervals are lattices, they are supersolvable.
Good Distance Lattices from High Dimensional Expanders
We show a new framework for constructing good distance lattices from high dimensional expanders. For error-correcting codes, which have a similar flavor as lattices, there is a known framework that yields good codes from expanders. However, prior to our work, there has been no framework that yields good distance lattices directly from expanders. Interestingly, we need the notion of high dimensional expansion (and not only one dimensional expansion) for obtaining large distance lattices which are dense.
Our construction is obtained by proving the existence of bounded degree high dimensional cosystolic expanders over any ring, and in particular over $\mathbb{Z}$. Previous bounded degree cosystolic expanders were known only over $\mathbb{F}_2$. The proof of the cosystolic expansion over any ring is composed of two main steps, each of an independent interest: We show that coboundary expansion over any ring of the links of a bounded degree complex implies that the complex is a cosystolic expander over any ring. We then prove that all the links of Ramanujan complexes (which are called spherical buildings) are coboundary expanders over any ring.
We follow the strategy of [LMM16] for proving that the spherical building is a coboundary expander over any ring. Besides of generalizing their proof from $\mathbb{F}_2$ to any ring, we present it in a detailed way, which might serve readers with less background who wish to get into the field.
Equality case in van der Corput's inequality and collisions in multiple lattice tilings
Published
• View Publication
• BIB
Van der Corput's provides the sharp bound vol(C) \le m 2^d on the volume of a d-dimensional origin-symmetric convex body C that has 2m-1 points of the integer lattice in its interior. For m=1, a characterization of the equality case vol(C)= m 2^d is equivalent to the well-known problem of characterizing tilings by translations of a convex body. It is rather surprising that so far, for m \ge 2, no characterization of the equality case has been available, though a hint to the respective characterization problem can be found in the 1987 monograph of Gruber and Lekkerkerker. We give an explicit characterization of the equality case for all m \ge 2. Our result reveals that, the equality case for m \ge 2 is more restrictive than for $m=1$. We also present consequences of our characterization in the context of multiple lattice tilings.
An easy proof of Polya's theorem on random walks
We present an easy proof of Polya's theorem on random walks: with the probability one a random walk on the two-dimensional lattice returns to the starting point.
The Tutte polynomial via lattice point counting
Published
• View Publication
• BIB
We recover the Tutte polynomial of a matroid, up to change of coordinates, from an Ehrhart-style polynomial counting lattice points in the Minkowski sum of its base polytope and scalings of simplices. Our polynomial has coefficients of alternating sign with a combinatorial interpretation closely tied to the Dawson partition. Our definition extends in a straightforward way to polymatroids, and in this setting our polynomial has Kálmán's internal and external activity polynomials as its univariate specialisations.
Pappus's Theorem in Grassmannian Gr(3,C^n)
Published
• View Publication
• BIB
In this paper we study intersections of quadrics, components of the hypersurface in Grassmannian $Gr(3, \CC^n)$ introduced in \cite{SoSuSi}. This lead to an alternative statement and proof of Pappus's Theorem retrieving Pappus's and Hesse configurations of lines as special points in complex projective Grassmannian. This new connection is obtained through a third purely combinatorial object, the intersection lattice of Discriminantal arrangement.
Uniform semimodular lattices and valuated matroids
Published
• View Publication
• BIB
In this paper, we present a lattice-theoretic characterization for valuated matroids, which is an extension of the well-known cryptomorphic equivalence between matroids and geometric lattices ($=$ atomistic semimodular lattices). We introduce a class of semimodular lattices, called uniform semimodular lattices, and establish a cryptomorphic equivalence between integer-valued valuated matroids and uniform semimodular lattices. Our result includes a coordinate-free lattice-theoretic characterization of integer points in tropical linear spaces, incorporates the Dress-Terhalle completion process of valuated matroids, and establishes a smooth connection with Euclidean buildings of type A.
Cambrian acyclic domains: counting $c$-singletons
We study the size of certain acyclic domains that arise from geometric and combinatorial constructions. These acyclic domains consist of all permutations visited by commuting equivalence classes of maximal reduced decompositions if we consider the symmetric group and, more generally, of all c-singletons of a Cambrian lattice associated to the weak order of a finite Coxeter group. For this reason, we call these sets Cambrian acyclic domains. Extending a closed formula of Galambos--Reiner for a particular acyclic domain called Fishburn's alternating scheme, we provide explicit formulae for the size of any Cambrian acyclic domain and characterize the Cambrian acyclic domains of minimum or maximum size.
The Rise-Contact involution on Tamari intervals
Published in The Electronic Journal of Combinatorics, Volume 26, Issue 2, P2.32, 2019
• View Publication
• BIB
We describe an involution on Tamari intervals and m-Tamari intervals. This involution switches two sets of statistics known as the "rises" and the "contacts" and so proves an open conjecture from Préville-Ratelle on intervals of the m-Tamari lattice.
The Lattice of subracks is atomic
Published
• View Publication
• BIB
A rack is a set together with a self-distributive bijective binary operation. In this paper, we give a positive answer to a question due to Heckenberger, Shareshian and Welker. Indeed, we prove that the lattice of subracks of a rack is atomic. Further, by using the atoms, we associate certain quandles to racks. We also show that the lattice of subracks of a rack is isomorphic to the lattice of subracks of a quandle. Moreover, we show that the lattice of subracks of a rack is distributive if and only if its corresponding quandle is trivial. Finally, applying our corresponding quandles, we provide a coloring of certain knot diagrams.
Equivelar toroids with few flag-orbits
Published
• View Publication
• BIB
An $(n+1)$-toroid is a quotient of a tessellation of the $n$-dimensional Euclidean space with a lattice group. Toroids are generalizations of maps in the torus on higher dimensions and also provide examples of abstract polytopes. Equivelar toroids are those that are induced by regular tessellations. In this paper we present a classification of equivelar $(n+1)$-toroids with at most $n$ flag-orbits; in particular, we discuss a classification of $2$-orbit toroids of arbitrary dimension.
Circles and crossing planar compact convex sets
Let $K_0$ be a compact convex subset of the plane $\mathbb R^2$, and assume that whenever $K_1\subseteq \mathbb R^2$ is congruent to $K_0$, then $K_0$ and $K_1$ are not crossing in a natural sense due to L. Fejes-Tóth. A theorem of L. Fejes-Tóth from 1967 states that the assumption above holds for $K_0$ if and only if $K_0$ is a disk. In a paper appeared in 2017, the present author introduced a new concept of crossing, and proved that L. Fejes-Tóth's theorem remains true if the old concept is replaced by the new one. Our purpose is to describe the hierarchy among several variants of the new concepts and the old concept of crossing. In particular, we prove that each variant of the new concept of crossing is more restrictive then the old one. Therefore, L. Fejes-Tóth's theorem from 1967 becomes an immediate consequence of the 2017 characterization of circles but not conversely. Finally, a mini-survey shows that this purely geometric paper has precursor in combinatorics and, mainly, in lattice theory.
Exponential lower bounds of lattice counts by vertical sum and 2-sum
Published
• View Publication
• BIB
We consider the problem of finding lower bounds on the number of unlabeled $n$-element lattices in some lattice family. We show that if the family is closed under vertical sum, exponential lower bounds can be obtained from vertical sums of small lattices whose numbers are known. We demonstrate this approach by establishing that the number of modular lattices is at least $2.2726^n$ for $n$ large enough.
We also present an analogous method for finding lower bounds on the number of vertically indecomposable lattices in some family. For this purpose we define a new kind of sum, the vertical 2-sum, which combines lattices at two common elements. As an application we prove that the numbers of vertically indecomposable modular and semimodular lattices are at least $2.1562^n$ and $2.6797^n$ for $n$ large enough.
The existence of designs II
We generalise the existence of combinatorial designs to the setting of subset sums in lattices with coordinates indexed by labelled faces of simplicial complexes. This general framework includes the problem of decomposing hypergraphs with extra edge data, such as colours and orders, and so incorporates a wide range of variations on the basic design problem, notably Baranyai-type generalisations, such as resolvable hypergraph designs, large sets of hypergraph designs and decompositions of designs by designs. Our method also gives approximate counting results, which is new for many structures whose existence was previously known, such as high dimensional permutations or Sudoku squares.
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.