lattice
4310 papers tagged with this keyword
The layer number of $α$-evenly distributed point sets
Published
• View Publication
• BIB
For a finite point set in $\mathbb{R}^d$, we consider a peeling process where the vertices of the convex hull are removed at each step. The layer number $L(X)$ of a given point set $X$ is defined as the number of steps of the peeling process in order to delete all points in $X$. It is known that if $X$ is a set of random points in $\mathbb{R}^d$, then the expectation of $L(X)$ is $Θ(|X|^{2/(d+1)})$, and recently it was shown that if $X$ is a point set of the square grid on the plane, then $L(X)=Θ(|X|^{2/3})$.
In this paper, we investigate the layer number of $α$-evenly distributed point sets for $α>1$; these point sets share the regularity aspect of random point sets but in a more general setting. The set of lattice points is also an $α$-evenly distributed point set for some $α>1$. We find an upper bound of $O(|X|^{3/4})$ for the layer number of an $α$-evenly distributed point set $X$ in a unit disk on the plane for some $α>1$, and provide an explicit construction that shows the growth rate of this upper bound cannot be improved. In addition, we give an upper bound of $O(|X|^{\frac{d+1}{2d}})$ for the layer number of an $α$-evenly distributed point set $X$ in a unit ball in $\mathbb{R}^d$ for some $α>1$ and $d\geq 3$.
The harmonic polytope
Published
• View Publication
• BIB
We study the harmonic polytope, which arose in Ardila, Denham, and Huh's work on the Lagrangian geometry of matroids. We describe its combinatorial structure, showing that it is a $(2n-2)$-dimensional polytope with $(n!)^2(1+\frac12+\cdots+\frac1n)$ vertices and $3^n-3$ facets. We also give a formula for its volume: it is a weighted sum of the degrees of the projective varieties of all the toric ideals of connected bipartite graphs with $n$ edges; or equivalently, a weighted sum of the lattice point counts of all the corresponding trimmed generalized permutahedra.
Multivariate volume, Ehrhart, and $h^*$-polynomials of polytropes
Published in Journal of Symbolic Computation, Volume 114, Pages 209-230, 2023
• View Publication
• BIB
The univariate Ehrhart and $h^*$-polynomials of lattice polytopes have been widely studied. We describe methods from toric geometry for computing multivariate versions of volume, Ehrhart and $h^*$-polynomials of lattice polytropes, which are both tropically and classically convex. These algorithms are applied to all polytropes of dimensions 2,3 and 4, yielding a large class of integer polynomials. We give a complete combinatorial description of the coefficients of volume polynomials of 3-dimensional polytropes in terms of regular central subdivisions of the fundamental polytope. Finally, we provide a partial characterization of the analogous coefficients in dimension 4.
On Tilings of Asymmetric Limited-Magnitude Balls
Published
• View Publication
• BIB
We study whether an asymmetric limited-magnitude ball may tile $\mathbb{Z}^n$. This ball generalizes previously studied shapes: crosses, semi-crosses, and quasi-crosses. Such tilings act as perfect error-correcting codes in a channel which changes a transmitted integer vector in a bounded number of entries by limited-magnitude errors.
A construction of lattice tilings based on perfect codes in the Hamming metric is given. Several non-existence results are proved, both for general tilings, and lattice tilings. A complete classification of lattice tilings for two certain cases is proved.
Removahedral congruences versus permutree congruences
Published in Electron. J. Combin., vol. 28(4), #P4.8, pp. 38, 2021
• View Publication
• BIB
The associahedron is classically constructed as a removahedron, i.e. by deleting inequalities in the facet description of the permutahedron. This removahedral construction extends to all permutreehedra (which interpolate between the permutahedron, the associahedron and the cube). Here, we investigate removahedra constructions for all quotientopes (which realize the lattice quotients of the weak order). On the one hand, we observe that the permutree fans are the only quotient fans realized by a removahedron. On the other hand, we show that any permutree fan can be realized by a removahedron constructed from any realization of the braid fan. Our results finally lead to a complete description of the type cone of the permutree fans.
On Lattice Packings and Coverings of Asymmetric Limited-Magnitude Balls
Published
• View Publication
• BIB
We construct integer error-correcting codes and covering codes for the limited-magnitude error channel with more than one error. The codes are lattices that pack or cover the space with the appropriate error ball. Some of the constructions attain an asymptotic packing/covering density that is constant. The results are obtained via various methods, including the use of codes in the Hamming metric, modular $B_t$-sequences, $2$-fold Sidon sets, and sets avoiding arithmetic progression.
Promotion of Kreweras words
Published in Selecta Mathematica (N.S.) 28(1), 2022
• View Publication
• BIB
Kreweras words are words consisting of n A's, n B's, and n C's in which every prefix has at least as many A's as B's and at least as many A's as C's. Equivalently, a Kreweras word is a linear extension of the poset ${\sf V}\times [n]$. Kreweras words were introduced in 1965 by Kreweras, who gave a remarkable product formula for their enumeration. Subsequently they became a fundamental example in the theory of lattice walks in the quarter plane. We study Schützenberger's promotion operator on the set of Kreweras words. In particular, we show that 3n applications of promotion on a Kreweras word merely swaps the B's and C's. Doing so, we provide the first answer to a question of Stanley from 2009, asking for posets with `good' behavior under promotion, other than the four families of shapes classified by Haiman in 1992. We also uncover a strikingly simple description of Kreweras words in terms of Kuperberg's $\mathfrak{sl}_3$-webs, and Postnikov's trip permutation associated with any plabic graph. In this description, Schützenberger's promotion corresponds to rotation of the web.
Statistics of finite degree covers of torus knot complements
Published
• View Publication
• BIB
In the first part of this paper, we determine the asymptotic subgroup growth of the fundamental group of a torus knot complement. In the second part, we use this to study random finite degree covers of torus knot complements. We determine their Benjamini-Schramm limit and the linear growth rate of the Betti numbers of these covers. All these results generalise to a larger class of lattices in $\mathrm{PSL}(2,\mathbb{R})\times \mathbb{R}$. As a by-product of our proofs, we obtain analogous limit theorems for high degree random covers of non-uniform Fuchsian lattices with torsion.
Infinite co-minimal pairs in the integers and integral lattices
Published in Combinatorial and Additive Number Theory IV. CANT 2020. Springer Proceedings in Mathematics & Statistics, vol 347
• View Publication
• BIB
Given two nonempty subsets $A, B$ of a group $G$, they are said to form a co-minimal pair if $A \cdot B = G$, and $A' \cdot B \subsetneq G$ for any $\emptyset \neq A' \subsetneq A$ and $A\cdot B' \subsetneq G$ for any $\emptyset \neq B' \subsetneq B$. In this article, we show several new results on co-minimal pairs in the integers and the integral lattices. We prove that for any $d\geq 1$, the group $\mathbb{Z}^{2d}$ admits infinitely many automorphisms such that for each such automorphism $σ$, there exists a subset $A$ of $\mathbb{Z}^{2d}$ such that $A$ and $σ(A)$ form a co-minimal pair. The existence and construction of co-minimal pairs in the integers with both the subsets $A$ and $B$ ($A\neq B$) of infinite cardinality was unknown. We show that such pairs exist and explicitly construct these pairs satisfying a number of algebraic properties.
A Frameless 2-Coloring of the Plane Lattice
Published
• View Publication
• BIB
A picture frame in two dimensions is a rectangular array of symbols, with at least two rows and columns, where the first and last rows are identical, and the first and last columns are identical. If a coloring of the plane lattice has no picture frames, we call it frameless. In this note we show how to create a simple 2-coloring of the plane lattice that is frameless.
Lattice polytopes from Schur and symmetric Grothendieck polynomials
Published
• View Publication
• BIB
Given a family of lattice polytopes, two common questions in Ehrhart Theory are determining when a polytope has the integer decomposition property and determining when a polytope is reflexive. While these properties are of independent interest, the confluence of these properties is a source of active investigation due to conjectures regarding the unimodality of the $h^\ast$-polynomial. In this paper, we consider the Newton polytopes arising from two families of polynomials in algebraic combinatorics: Schur polynomials and inflated symmetric Grothendieck polynomials. In both cases, we prove that these polytopes have the integer decomposition property by using the fact that both families of polynomials have saturated Newton polytope. Furthermore, in both cases, we provide a complete characterization of when these polytopes are reflexive. We conclude with some explicit formulas and unimodality implications of the $h^\ast$-vector in the case of Schur polynomials.
On algebraic properties of matroid polytopes
A toric variety is constructed from a lattice polytope. It is common in algebraic combinatorics to carry this way a notion of an algebraic property from the variety to the polytope. From the combinatorial point of view, one of the most interesting constructions of toric varieties comes from the base polytope of a matroid. Matroid base polytopes and independence polytopes are Cohen--Macaulay. We study two natural stronger algebraic properties -- Gorenstein and smooth. We provide a full classifications of matroids whose independence polytope or base polytope is smooth or Gorenstein. The latter answers to a question raised by Herzog and Hibi.
Adapted Sequences and Polyhedral Realizations of Crystal Bases for highest weight modules
Published in Journal of Algebra, Volume 574 (2021)
• View Publication
• BIB
The polyhedral realizations for crystal bases of the integrable highest weight modules of $U_q(\mathfrak{g})$ have been introduced in ([T.Nakashima, J. Algebra, vol.219, no. 2, (1999)]), which describe the crystal bases as sets of lattice points in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$ given by some system of linear inequalities, where $\mathfrak{g}$ is a symmetrizable Kac-Moody Lie algebra. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the simple roots. If the pair ($ι$,$λ$) ($λ$: a dominant integral weight) satisfies the `ample' condition then there are some procedure to calculate the sets of linear inequalities.
In this article, we show that if $ι$ is an adapted sequence (defined in our paper [Y.Kanakubo, T.Nakashima, arXiv:1904.10919]) then the pair ($ι$, $λ$) satisfies the ample condition for any dominant integral weight $λ$ in the case $\mathfrak{g}$ is a classical Lie algebra. Furthermore, we reveal the explicit forms of the polyhedral realizations of the crystal bases $B(λ)$ associated with arbitrary adapted sequences $ι$ in terms of column tableaux. As an application, we will give a combinatorial description of the function $\varepsilon_i^*$ on the crystal base $B(\infty)$.
Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson
Let G be a group of permutations of a denumerable set E. The profile of G is the function phi which counts, for each n, the number phi(n) of orbits of G acting on the n-subsets of E. Counting functions arising this way, and their associated generating series, form a rich yet apparently strongly constrained class. In particular, Cameron conjectured in the late seventies that, whenever the profile phi(n) is bounded by a polynomial -- we say that G is P-oligomorphic --, it is asymptotically equivalent to a polynomial. In 1985, Macpherson further asked whether the orbit algebra of G -- a graded commutative algebra invented by Cameron and whose Hilbert function is phi -- is finitely generated.
In this paper we establish a classification of (closed) P-oligomorphic permutation groups in terms of finite permutation groups with decorated blocks.
It follows from the classification that the orbit algebra of any P-oligomorphic group is isomorphic to (a straightforward quotient of) the invariant ring of some finite permutation group. This answers positively both Cameron's conjecture and Macpherson's question. The orbit algebra is in fact Cohen-Macaulay; therefore the generating series of phi is a rational fraction whose numerator has positive coefficients, while the denominator admits a combinatorial description.
In addition, the classification provides a finite data structure for encoding closed P-oligomorphic groups. This paves the way for computing with them and enumerating them as well as for proofs by structural induction. Finally, the relative simplicity of the classification gives hopes to extend the study to, e.g., the class of (closed) permutations groups with sub-exponential profile.
The proof exploits classical notions from group theory -- notably block systems and their lattice properties --, commutative algebra, and invariant theory.
On Increasing and Invariant Parking Sequences
The notion of parking sequences is a new generalization of parking functions introduced by Ehrenborg and Happ. In the parking process defining the classical parking functions, instead of each car only taking one parking space, we allow the cars to have different sizes and each takes up a number of adjacent parking spaces after a trailer $T$ parked on the first $z-1$ spots. A preference sequence in which all the cars are able to park is called a parking sequence. In this paper, we study increasing parking sequences and count them via bijections to lattice paths with right boundaries. Then we study two notions of invariance in parking sequences and present various characterizations and enumerative results.
Graphic Lattices and Matrix Lattices Of Topological Coding
Lattice-based Cryptography is considered to have the characteristics of classical computers and quantum attack resistance. We will design various graphic lattices and matrix lattices based on knowledge of graph theory and topological coding, since many problems of graph theory can be expressed or illustrated by (colored) star-graphic lattices. A new pair of the leaf-splitting operation and the leaf-coinciding operation will be introduced, and we combine graph colorings and graph labellings to design particular proper total colorings as tools to build up various graphic lattices, graph homomorphism lattice, graphic group lattices and Topcode-matrix lattices. Graphic group lattices and (directed) Topcode-matrix lattices enable us to build up connections between traditional lattices and graphic lattices. We present mathematical problems encountered in researching graphic lattices, some problems are: Tree topological authentication, Decompose graphs into Hanzi-graphs, Number String Decomposition Problem, $(p,s)$-gracefully total numbers.
Convex lattice polygons with all lattice points visible
Published
• View Publication
• BIB
Two lattice points are visible to one another if there exist no other lattice points on the line segment connecting them. In this paper we study convex lattice polygons that contain a lattice point such that all other lattice points in the polygon are visible from it. We completely classify such polygons, show that there are finitely many of lattice width greater than $2$, and computationally enumerate them. As an application of this classification, we prove new obstructions to graphs arising as skeleta of tropical plane curves.
The Gini Index of an Integer Partition
Published in J. Integer Seq. 23 (2020) 20.9.7
• Search Publication
The Gini index is a number that attempts to measure how equitably a resource is distributed throughout a population, and is commonly used in economics as a measurement of inequality of wealth or income. The Gini index is often defined as the area between the Lorenz curve of a distribution and the line of equality, normalized to be between zero and one. In this fashion, we define a Gini index on the set of integer partitions and show that it is closely related to the second elementary symmetric polynomial, and the dominance order on partitions. We conclude with a generating function for the Gini index, and discuss how it can be used to find lower bounds on the width of the dominance lattice.
A Marstrand type slicing theorem for subsets of $\mathbb{Z}^2 \subset \mathbb{R}^2$ with the mass dimension
Published
• View Publication
• BIB
We prove a Marstrand type slicing theorem for the subsets of the integer square lattice. This problem is the dual of the corresponding projection theorem, which was considered by Glasscock, and Lima and Moreira, with the mass and counting dimensions applied to subsets of $\mathbb{Z}^{d}$. In this paper, more generally we deal with a subset of the plane that is $1$ separated, and the result for subsets of the integer lattice follow as a special case. We show that the natural slicing question in this setting is true with the mass dimension.
Ice-Flower Systems And Star-graphic Lattices
Published
• View Publication
• BIB
Lattice theory has been believed to resist classical computers and quantum computers. Since there are connections between traditional lattices and graphic lattices, it is meaningful to research graphic lattices. We define the so-called ice-flower systems by our uncolored or colored leaf-splitting and leaf-coinciding operations. These ice-flower systems enable us to construct several star-graphic lattices. We use our star-graphic lattices to express some well-known results of graph theory and compute the number of elements of a particular star-graphic lattice. For more researching ice-flower systems and star-graphic lattices we propose Decomposition Number String Problem, finding strongly colored uniform ice-flower systems and connecting our star-graphic lattices with traditional lattices.