lattice
4310 papers tagged with this keyword
Expansion Posets for Polygon Cluster Algebras
Define an expansion poset to be the poset of monomials of a cluster variable attached to an arc in a polygon, where each monomial is represented by the corresponding combinatorial object from some fixed combinatorial cluster expansion formula. We introduce an involution on several of the interrelated combinatorial objects and constructions associated to type $A$ surface cluster algebras, including certain classes of arcs, triangulations, and distributive lattices. We use these involutions to formulate a dual version of skein relations for arcs, and dual versions of three existing expansion posets. In particular, this leads to two new cluster expansion formulas, and recovers the lattice path expansion of Propp et al. We provide an explicit, structure-preserving poset isomorphism between an expansion poset and its dual version from the dual arc. We also show that an expansion poset and its dual version constructed from the same arc are dual in the sense of distributive lattices.
We show that any expansion poset is isomorphic to a closed interval in one of the lattices $L(m,n)$ of Young diagrams contained in an $m \times n$ grid, and that any $L(m,n)$ has a covering by such intervals. We give two formulas for the rank function of any lattice path expansion poset, and prove that this rank function is unimodal whenever the underlying snake graph is built from at most four maximal straight segments. We show that the support of any type $A$ cluster variable is the orbit of a groupoid. Finally, in work joint with Nicholas Ovenhouse, we partially generalize $T$-paths to configurations of affine flags, and prove that a $T$-path expansion analogous to the type $A$ case holds when the initial seed is from a fan triangulation.
Packing minima and lattice points in convex bodies
Published in Moscow J. Comb. Number Th. 10 (2021) 25-48
• View Publication
• BIB
Motivated by long-standing conjectures on the discretization of classical inequalities in the Geometry of Numbers, we investigate a new set of parameters, which we call \emph{packing minima}, associated to a convex body $K$ and a lattice $Λ$. These numbers interpolate between the successive minima of $K$ and the inverse of the successive minima of the polar body of $K$, and can be understood as packing counterparts to the covering minima of Kannan & Lovász (1988). As our main results, we prove sharp inequalities that relate the volume and the number of lattice points in $K$ to the sequence of packing minima. Moreover, we extend classical transference bounds and discuss a natural class of examples in detail.
Graph Homomorphisms Based On Particular Total Colorings of Graphs and Graphic Lattices
Published
• View Publication
• BIB
Lattice-based cryptography is not only for thwarting future quantum computers, and is also the basis of Fully Homomorphic Encryption. Motivated from the advantage of graph homomorphisms we combine graph homomorphisms with graph total colorings together for designing new types of graph homomorphisms: totally-colored graph homomorphisms, graphic-lattice homomorphisms from sets to sets, every-zero graphic group homomorphisms from sets to sets. Our graph-homomorphism lattices are made up by graph homomorphisms. These new homomorphisms induce some problems of graph theory, for example, Number String Decomposition and Graph Homomorphism Problem.
Walks with Small Steps in the 4D-Orthant
Published
• View Publication
• BIB
We provide some first experimental data about generating functions of restricted lattice walks with small steps in NN^4.
Four-generated direct powers of partition lattices and authentication
Published
• View Publication
• BIB
For an integer $n\geq 5$, H. Strietz (1975) and L. Zádori (1986) proved that the lattice Part$(n)$ of all partitions of $\{1,2,\dots,n\}$ is four-generated. Developing L. Zádori's particularly elegant construction further, we prove that even the $k$-th direct power Part$(n)^k$ of Part$(n)$ is four-generated for many but only finitely many exponents $k$. E.g., Part$(n)^k$ is four-generated for every $k\leq 3\cdot 10^{89}$, and it has a four element generating set that is not an antichain for every $k\leq 1.4\cdot 10^{34}$. In connection with these results, we outline a protocol how to use these lattices in authentication and secret key cryptography.
Trimming the permutahedron to extend the parking space
Published
• View Publication
• BIB
Berget and Rhoades asked whether the permutation representation obtained by the action of $S_{n-1}$ on parking functions of length $n-1$ can be extended to a permutation action of $S_{n}$. We answer this question in the affirmative. We realize our module in two different ways. The first description involves binary Lyndon words and the second involves the action of the symmetric group on the lattice points of the trimmed standard permutahedron.
Duality of graded graphs through operads
Published in Annals of Combinatorics, 2021
• View Publication
• BIB
Pairs of graded graphs, together with the Fomin property of graded graph duality, are rich combinatorial structures providing among other a framework for enumeration. The prototypical example is the one of the Young graded graph of integer partitions, allowing us to connect number of standard Young tableaux and numbers of permutations. Here, we use operads, that algebraic devices abstracting the notion of composition of combinatorial objects, to build pairs of graded graphs. For this, we first construct a pair of graded graphs where vertices are syntax trees, the elements of free nonsymmetric operads. This pair of graphs is dual for a new notion of duality called $φ$-diagonal duality, similar to the ones introduced by Fomin. We also provide a general way to build pairs of graded graphs from operads, wherein underlying posets are analogous to the Young lattice. Some examples of operads leading to new pairs of graded graphs involving integer compositions, Motzkin paths, and $m$-trees are considered.
A "Challenging Question" of Björner from 1976: Every Infinite Geometric Lattice of Finite Rank Has a Matching
It is proven that every geometric lattice of finite rank greater than 1 has a matching between the points and hyperplanes. This answers a question of Pólya Prize-winner Anders Björner from the 1981 Banff Conference on Ordered Sets, which he raised as a "challenging question" in 1976.
Polyhedra, lattice structures, and extensions of semigroups
Published
• View Publication
• BIB
For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the corresponding algebras. Our main result is phrased in this dual setup: the category of free extensions always contains an initial object, which we describe explicitly. These objects seem to be related to unique liftings in log geometry. Further motivation comes from the deformation theory of the associated toric singularity.
Continuously many bounded displacement non-equivalences in substitution tiling spaces
Published
• View Publication
• BIB
We consider substitution tilings in R^d that give rise to point sets that are not bounded displacement (BD) equivalent to a lattice and study the cardinality of BD(X), the set of distinct BD class representatives in the corresponding tiling space X. We prove a sufficient condition under which the tiling space contains continuously many distinct BD classes and present such an example in the plane. In particular, we show here for the first time that this cardinality can be greater than one.
Pentagon contact representations
Published in Electronic Journal of Combinatorics 25.3 (2018), P.3.39
• Search Publication
Representations of planar triangulations as contact graphs of a set of internally disjoint homothetic triangles or of a set of internally disjoint homothetic squares have received quite some attention in recent years. In this paper we investigate representations of planar triangulations as contact graphs of a set of internally disjoint homothetic pentagons. Surprisingly such a representation exists for every triangulation whose outer face is a 5-gon. We relate these representations to five color forests. These combinatorial structures resemble Schnyder woods and transversal structures, respectively. In particular there is a bijection to certain alpha-orientations and consequently a lattice structure on the set of five color forests of a given graph. This lattice structure plays a role in an algorithm that is supposed to compute a contact representation with pentagons for a given graph. Based on a five color forest the algorithm builds a system of linear equations and solves it, if the solution is non-negative, it encodes distances between corners of a pentagon representation. In this case the representation is constructed and the algorithm terminates. Otherwise negative variables guide a change of the five color forest and the procedure is restarted with the new five color forest. Similar algorithms have been proposed for contact representations with homothetic triangles and with squares.
The order complex of $PGL_2(p^{2^n})$ is contractible when $p$ is odd
Given a group $G$, its lattice of subgroups $\mathcal{L}(G)$ can be viewed as a simplicial complex in a natural way. The inclusion of $1_G, G \in \mathcal{L}(G)$ implies that $\mathcal{L}(G)$ is contractible, and so we study the topology of the order complex $\widehat{\mathcal{L}(G)} := \mathcal{L}(G) \setminus \{1_G,G\}$. In this short note we consider the homotopy type of $\widehat{\mathcal{L}(G)}$ where $G \cong PGL_2(p^{2^n})$, $p \geq 3$, $n \geq 1$ and show that $\widehat{\mathcal{L}(G)}$ is contractible. This is consistent with a conjecture of Shareshian on the homotopy type of order complexes of finite groups.
Symmetric decompositions and the Veronese construction
Published
• View Publication
• BIB
We study rational generating functions of sequences $\{a_n\}_{n\geq 0}$ that agree with a polynomial and investigate symmetric decompositions of the numerator polynomial for subsequences $\{a_{rn}\}_{n\geq 0}$. We prove that if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is of degree $s$ and its coefficients satisfy a set of natural linear inequalities then the symmetric decomposition of the numerator for $\{a_{rn}\}_{n\geq 0}$ is real-rooted whenever $r\geq \max \{s,d+1-s\}$. Moreover, if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is symmetric then we show that the symmetric decomposition for $\{a_{rn}\}_{n\geq 0}$ is interlacing. We apply our results to Ehrhart series of lattice polytopes. In particular, we obtain that the $h^\ast$-polynomial of every dilation of a $d$-dimensional lattice polytope of degree $s$ has a real-rooted symmetric decomposition whenever the dilation factor $r$ satisfies $r\geq \max \{s,d+1-s\}$. Moreover, if the polytope is Gorenstein then this decomposition is interlacing.
Combinatorics of quasi-hereditary structures
Published in Journal of Combinatorial Theory, Series A. Volume 187, April 2022
• View Publication
• BIB
A quasi-hereditary algebra is an Artin algebra together with a partial order on its set of isomorphism classes of simple modules which satisfies certain conditions. In this article we investigate all the possible choices that yield to quasi-hereditary structures on a given algebra, in particular we introduce and study what we call the poset of quasi-hereditary structures. Our techniques involve certain quiver decompositions and idempotent reductions. For a path algebra of Dynkin type $\mathbb{A}$, we provide a full classification of its quasi-hereditary structures. For types $\mathbb{D}$ and $\mathbb{E}$, we give a counting method for the number of quasi-hereditary structures. In the case of a hereditary incidence algebra, we present a necessary and sufficient condition for its poset of quasi-hereditary structures to be a lattice.
Generating functions for a lattice path model introduced by Deutsch
Published
• View Publication
• BIB
The lattice path model suggested by E. Deutsch is derived from ordinary Dyck paths, but with additional down-steps of size -3,-5,-7,... . For such paths, we find the generating functions of them, according to length, ending at level $i$, both, when considering them from left to right and from right to left. The generating functions are intrinsically cubic, and thus (for $i=0$) in bijection to various objects, like even trees, ternary trees, etc.
Independent sets in the middle two layers of Boolean lattice
Published
• View Publication
• BIB
For an odd integer $n=2d-1$, let $\mathcal{B}(n, d)$ be the subgraph of the hypercube $Q_n$ induced by the two largest layers. In this paper, we describe the typical structure of independent sets in $\mathcal{B}(n, d)$ and give precise asymptotics on the number of them. The proofs use Sapozhenko's graph container method and a recently developed method of Jenssen and Perkins, which combines Sapozhenko's graph container lemma with the cluster expansion for polymer models from statistical physics.
The Arithmetic of Coxeter Permutahedra
Published in Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales 44, no. 173 (2020), 1152-1166
• View Publication
• BIB
Ehrhart theory measures a polytope P discretely by counting the lattice points inside its dilates P, 2P, 3P, .... We compute the Ehrhart quasipolynomials of the standard Coxeter permutahedra for the classical Coxeter groups, expressing them in terms of the Lambert W function. A central tool is a description of the Ehrhart theory of a rational translate of an integer zonotope.
Maximizing the expected number of components in an online search of a graph
Published
• View Publication
• BIB
The following optimal stopping problem is considered. The vertices of a graph $G$ are revealed one by one, in a random order, to a selector. He aims to stop this process at a time $t$ that maximizes the expected number of connected components in the graph $\tilde{G}_t$, induced by the currently revealed vertices. The selector knows $G$ in advance, but different versions of the game are considered depending on the information that he gets about $\tilde{G}_t$. We show that when $G$ has $N$ vertices and maximum degree of order $o(\sqrt{N})$, then the number of components of $\tilde{G}_t$ is concentrated around its mean, which implies that playing the optimal strategy the selector does not benefit much by receiving more information about $\tilde{G}_t$. Results of similar nature were previously obtained by M. Lasoń for the case where $G$ is a $k$-tree (for constant $k$). We also consider the particular cases where $G$ is a square, triangular or hexagonal lattice, showing that an optimal selector gains $cN$ components and we compute $c$ with an error less than $0.005$ in each case.
Combinatorics on lattice paths in strips
Published
• View Publication
• BIB
For lattice paths in strips which begin at $(0,0)$ and have only up steps $U: (i,j) \rightarrow (i+1,j+1)$ and down steps $D: (i,j)\rightarrow (i+1,j-1)$, let $A_{n,k}$ denote the set of paths of length $n$ which start at $(0,0)$, end on heights $0$ or $-1$, and are contained in the strip $-\lfloor\frac{k+1}{2}\rfloor \leq y \leq \lfloor\frac{k}{2}\rfloor$ of width $k$, and let $B_{n,k}$ denote the set of paths of length $n$ which start at $(0,0)$ and are contained in the strip $0 \leq y \leq k$. We establish a bijection between $A_{n,k}$ and $B_{n,k}$.
The generating functions for the subsets of these two sets are discussed as well. Furthermore, we provide another bijection between $A_{n,3}$ and $B_{n,3}$ by translating the paths to two types of trees.
Periodic stationary solutions of the Nagumo lattice differential equation: existence regions and their number
The Nagumo lattice differential equation admits stationary solutions with arbitrary spatial period for sufficiently small diffusion rate. The continuation from the stationary solutions of the decoupled system (a system of isolated nodes) is used to determine their types; the solutions are labelled by words from a three-letter alphabet. Each stationary solution type can be assigned a parameter region in which the solution can be uniquely identified. Numerous symmetries present in the equation cause some of the regions to have identical or similar shape. With the help of combinatorial enumeration, we derive formulas determining the number of qualitatively different existence regions. We also discuss possible extensions to other systems with more general nonlinear terms and/or spatial structure.