lattice
4310 papers tagged with this keyword
Potential Methods for Extending Galvin and Jónsson's Characterization of Distributive Sublattices of Free Lattices
In 1959, F.Galvin and B.Jonsson characterized distributive sublattices of free lattices in their paper. In this paper, I will create new proofs to a portion of Galvin and Jónsson's results. Based on these new proofs, I will explore possible generalizations of F.Galvin and B.Jónsson's work by defining \emph{spanning pairs} and proving partial results which may help with analysing finite width sublattices of free lattices; and by making some new observations on finitely generated lattices over semidistributive varieties.
The work done in this paper may assist in attacking the following long-standing open problem: Which countable lattices are isomorphic to a sublattice of a free lattice?
Fast Möbius inversion in semimodular lattices and U-labelable posets
Published in The Electronic Journal of Combinatorics 23 (2016) #P3.26
• View Publication
• BIB
We consider the problem of fast zeta and Möbius transforms in finite posets, particularly in lattices. It has previously been shown that for a certain family of lattices, zeta and Möbius transforms can be computed in $O(e)$ elementary arithmetic operations, where $e$ denotes the size of the covering relation. We show that this family is exactly that of geometric lattices. We also extend the algorithms so that they work in $e$ operations for all semimodular lattices, including chains and divisor lattices. Finally, for both transforms, we provide a more general algorithm that works in $e$ operations for all R-labelable posets and their non-graded generalization, which we call U-labelable.
A minimum-change version of the Chung-Feller theorem for Dyck paths
Published in European Journal of Combinatorics 69:260-275, 2018
• View Publication
• BIB
A Dyck path with $2k$ steps and $e$ flaws is a path in the integer lattice that starts at the origin and consists of $k$ many $\nearrow$-steps and $k$ many $\searrow$-steps that change the current coordinate by $(1,1)$ or $(1,-1)$, respectively, and that has exactly $e$ many $\searrow$-steps below the line $y=0$. Denoting by $D_{2k}^e$ the set of Dyck paths with $2k$ steps and $e$ flaws, the Chung-Feller theorem asserts that the sets $D_{2k}^0,D_{2k}^1,\ldots,D_{2k}^k$ all have the same cardinality $\frac{1}{k+1}\binom{2k}{k}=C_k$, the $k$-th Catalan number. The standard combinatorial proof of this classical result establishes a bijection $f'$ between $D_{2k}^e$ and $D_{2k}^{e+1}$ that swaps certain parts of the given Dyck path $x$, with the effect that $x$ and $f'(x)$ may differ in many positions. In this paper we strengthen the Chung-Feller theorem by presenting a simple bijection $f$ between $D_{2k}^e$ and $D_{2k}^{e+1}$ which has the additional feature that $x$ and $f(x)$ differ in only two positions (the least possible number). We also present an algorithm that allows to compute a sequence of applications of $f$ in constant time per generated Dyck path. As an application, we use our minimum-change bijection $f$ to construct cycle-factors in the odd graph $O_{2k+1}$ and the middle levels graph $M_{2k+1}$ --- two intensively studied families of vertex-transitive graphs --- that consist of $C_k$ many cycles of the same length.
Short note on the number of 1-ascents in dispersed dyck paths
Published
• View Publication
• BIB
A dispersed Dyck path (DDP) of length n is a lattice path on $N\times N$ from (0,0) to (n,0) in which the following steps are allowed: "up" (x, y) $\to$ (x+1, y+1); "down" (x, y) $\to$ (x+1, y-1); and "right" (x,0) $\to$ (x+1,0). An ascent in a DDP is an inclusion-wise maximal sequence of consecutive up steps. A 1-ascent is an ascent consisting of exactly 1 up step. We give a closed formula for the total number of 1-ascents in all dispersed Dyck paths of length n, A191386 in Sloane's OEIS. Previously, only implicit generating function relations and asymptotics were known.
Remarks on Frankl's conjecture
First a few reformulations of Frankl's conjecture are given, in terms of reduced families or matrices, or analogously in terms of lattices. These lead naturally to a stronger conjecture with a neat formulation which might be easier to attack than Frankl's. To this end we prove an inequality which might help in proving the stronger conjecture.
Continuous Analogues for the Binomial Coefficients and the Catalan Numbers
Published
• View Publication
• BIB
Using techniques from the theories of convex polytopes, lattice paths, and indirect influences on directed manifolds, we construct continuous analogues for the binomial coefficients and the Catalan numbers. Our approach for constructing these analogues can be applied to a wide variety of combinatorial sequences. As an application we develop a continuous analogue for the binomial distribution.
Algebraic Method in Tilings
In this paper we introduce a new algebraic method in tilings. Combining this method with Hilbert's Nullstellensatz we obtain a necessary condition for tiling $n$-space by translates of a cluster of cubes. Further, the polynomial method will enable us to show that if there exists a tiling of $n$-space by translates of a cluster $V$ of prime size then there is a lattice tiling by $V$ as well. Finally, we provide supporting evidence for a conjecture that each tiling by translates of a prime size cluster $V$ is lattice if $V$ generates $n$-space.
Fourier transforms of polytopes, solid angle sums, and discrete volume
Given a real closed polytope $P$, we first describe the Fourier transform of its indicator function by using iterations of Stokes' theorem. We then use the ensuing Fourier transform formulations, together with the Poisson summation formula, to give a new algorithm to count fractionally-weighted lattice points inside the one-parameter family of all real dilates of $P$. The combinatorics of the face poset of $P$ plays a central role in the description of the Fourier transform of $P$. We also obtain a closed form for the codimension-1 coefficient that appears in an expansion of this sum in powers of the real dilation parameter $t$. This closed form generalizes some known results about the Macdonald solid-angle polynomial, which is the analogous expression traditionally obtained by requiring that $t$ assumes only integer values. Although most of the present methodology applies to all real polytopes, a particularly nice application is to the study of all real dilates of integer (and rational) polytopes.
The Register Function and Reductions of Binary Trees and Lattice Paths
The register function (or Horton-Strahler number) of a binary tree is a well-known combinatorial parameter. We study a reduction procedure for binary trees which offers a new interpretation for the register function as the maximal number of reductions that can be applied to a given tree. In particular, the precise asymptotic behavior of the number of certain substructures ("branches") that occur when reducing a tree repeatedly is determined. In the same manner we introduce a reduction for simple two-dimensional lattice paths from which a complexity measure similar to the register function can be derived. We analyze this quantity, as well as the (cumulative) size of an (iteratively) reduced lattice path asymptotically.
Applications of graph containers in the Boolean lattice
Published
• View Publication
• BIB
We apply the graph container method to prove a number of counting results for the Boolean lattice $\mathcal P(n)$. In particular, we: (i) Give a partial answer to a question of Sapozhenko estimating the number of $t$ error correcting codes in $\mathcal P(n)$, and we also give an upper bound on the number of transportation codes; (ii) Provide an alternative proof of Kleitman's theorem on the number of antichains in $\mathcal P(n)$ and give a two-coloured analogue; (iii) Give an asymptotic formula for the number of $(p,q)$-tilted Sperner families in $\mathcal P(n)$; (iv) Prove a random version of Katona's $t$-intersection theorem.
In each case, to apply the container method, we first prove corresponding supersaturation results. We also give a construction which disproves two conjectures of Ilinca and Kahn on maximal independent sets and antichains in the Boolean lattice. A number of open questions are also given.
Aleksandrov projection problem for convex lattice sets
Published
• View Publication
• BIB
Let $K$ and $L$ be origin-symmetric convex integer polytopes in $\mathbb{R}^n$. We study a discrete analogue of the Aleksandrov projection problem. If for every $u\in \mathbb{Z}^n$, the sets $(K\cap \mathbb{Z}^n)|u^\perp$ and $(L\cap \mathbb{Z}^n)|u^\perp$ have the same number of points, is then $K=L$? We give a positive answer to this problem in $\mathbb{Z}^2$ under an additional hypothesis that $(2K\cap \mathbb{Z}^2)|u^\perp$ and $(2L\cap \mathbb{Z}^2)|u^\perp$ have the same number of points.
Tutte polynomials and random-cluster models in Bernoulli cell complexes
This paper studies Bernoulli cell complexes from the perspective of persistent homology, Tutte polynomials, and random-cluster models. Following the previous work [9], we first show the asymptotic order of the expected lifetime sum of the persistent homology for the Bernoulli cell complex process on the $\ell$-cubical lattice. Then, an explicit formula of the expected lifetime sum using the Tutte polynomial is derived. Furthermore, we study a higher dimensional generalization of the random-cluster model derived from the Edwards-Sokal type coupling, and show some basic results such as the positive association and the relation to the Tutte polynomial.
Intervals of Antichains and Their Decompositions
An antichain of subsets is a set of subsets such that no subset in the antichain is a proper subset of any other subset in the antichain. The Dedekind number counts the total number of antichains of subsets of an n-element set. This paper investigates the interval structure of the lattice of antichains. Several partitioning theorems and counting formulas for the size of intervals are derived.
Counting Zeros in Random Walks on the Integers and Analysis of Optimal Dual-Pivot Quicksort
We present an average case analysis of two variants of dual-pivot quicksort, one with a non-algorithmic comparison-optimal partitioning strategy, the other with a closely related algorithmic strategy. For both we calculate the expected number of comparisons exactly as well as asymptotically, in particular, we provide exact expressions for the linear, logarithmic, and constant terms. An essential step is the analysis of zeros of lattice paths in a certain probability model. Along the way a combinatorial identity is proven.
Renormalised conical zeta values
Published in Resurgence, Physics, and Numbers, 2017, 299-327, Springer
• View Publication
• BIB
Conical zeta values associated with rational convex polyhedral cones generalise multiple zeta values. We renormalise conical zeta values at poles by means of a generalisation of Connes and Kreimer's Algebraic Birkhoff Factorisation. This paper serves as a motivation for and an application of this generalised renormalisation scheme. The latter also yields an Euler-Maclaurin formula on rational convex polyhedral lattice cones which relates exponential sums to exponential integrals. When restricted to Chen cones, it reduces to Connes and Kreimer's Algebraic Birkhoff Decomposition for maps with values in the algebra of ordinary meromorphic functions in one variable.
The Abelian Sandpile Model on Fractal Graphs
We study the Abelian sandpile model (ASM), a process where grains of sand are placed on a graph's vertices. When the number of grains on a vertex is at least its degree, one grain is distributed to each neighboring vertex. This model has been shown to form fractal patterns on the integer lattice, and using these fractal patterns as motivation, we consider the model on graph approximations of post critically finite (p.c.f) fractals. We determine asymptotic behavior of the diameter of sites toppled and characterize graphs which exhibit a periodic number of grains with respect to the initial placement.
Enumeration of colored Dyck paths via partial Bell polynomials
Published in Lattice Path Combinatorics and Applications, G. E. Andrews, C. Krattenthaler, A. Krinik (Eds.), Springer, 2019, 155-165
• View Publication
• BIB
We consider a class of lattice paths with certain restrictions on their ascents and down steps and use them as building blocks to construct various families of Dyck paths. We let every building block $P_j$ take on $c_j$ colors and count all of the resulting colored Dyck paths of a given semilength. Our approach is to prove a recurrence relation of convolution type, which yields a representation in terms of partial Bell polynomials that simplifies the handling of different colorings. This allows us to recover multiple known formulas for Dyck paths and related lattice paths in an unified manner.
Mixing Times of Markov Chains on Degree Constrained Orientations of Planar Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Graph Theory (February 3, 2017) dmtcs:1376
• View Publication
• BIB
We study Markov chains for $α$-orientations of plane graphs, these are orientations where the outdegree of each vertex is prescribed by the value of a given function $α$. The set of $α$-orientations of a plane graph has a natural distributive lattice structure. The moves of the up-down Markov chain on this distributive lattice corresponds to reversals of directed facial cycles in the $α$-orientation. We have a positive and several negative results regarding the mixing time of such Markov chains.
A 2-orientation of a plane quadrangulation is an orientation where every inner vertex has outdegree 2. We show that there is a class of plane quadrangulations such that the up-down Markov chain on the 2-orientations of these quadrangulations is slowly mixing. On the other hand the chain is rapidly mixing on 2-orientations of quadrangulations with maximum degree at most 4.
Regarding examples for slow mixing we also revisit the case of 3-orientations of triangulations which has been studied before by Miracle et al.. Our examples for slow mixing are simpler and have a smaller maximum degree, Finally we present the first example of a function $α$ and a class of plane triangulations of constant maximum degree such that the up-down Markov chain on the $α$-orientations of these graphs is slowly mixing.
The facial weak order and its lattice quotients
Published in Trans. Amer. Math. Soc., 370:1469-1507, 2018
• View Publication
• BIB
We investigate a poset structure that extends the weak order on a finite Coxeter group $W$ to the set of all faces of the permutahedron of $W$. We call this order the facial weak order. We first provide two alternative characterizations of this poset: a first one, geometric, that generalizes the notion of inversion sets of roots, and a second one, combinatorial, that uses comparisons of the minimal and maximal length representatives of the cosets. These characterizations are then used to show that the facial weak order is in fact a lattice, generalizing a well-known result of A. Björner for the classical weak order. Finally, we show that any lattice congruence of the classical weak order induces a lattice congruence of the facial weak order, and we give a geometric interpretation of their classes. As application, we describe the facial boolean lattice on the faces of the cube and the facial Cambrian lattice on the faces of the corresponding generalized associahedron.
A convolution formula for Tutte polynomials of arithmetic matroids and other combinatorial structures
In this note we generalize the convolution formula for the Tutte polynomial of Kook-Reiner-Stanton and Etienne-Las Vergnas to a more general setting that includes both arithmetic matroids and delta-matroids. As corollaries, we obtain new proofs of two positivity results for pseudo-arithmetic matroids and a combinatorial interpretation of the arithmetic Tutte polynomial at infinitely many points in terms of arithmetic flows and colorings. We also exhibit connections with a decomposition of Dahmen-Micchelli spaces and lattice point counting in zonotopes.