lattice
4310 papers tagged with this keyword
The general position number of integer lattices
The general position number ${\rm gp}(G)$ of a connected graph $G$ is the cardinality of a largest set $S$ of vertices such that no three pairwise distinct vertices from $S$ lie on a common geodesic. The $n$-dimensional grid graph $\pn$ is the Cartesian product of $n$ copies of the two-way infinite path $P_\infty$. It is proved that if $n\in {\mathbb N}$, then ${\rm gp}({P_\infty^n}) = 2^{2^{n-1}}$. The result was earlier known only for $n\in \{1,2\}$ and partially for $n=3$.
Two enriched poset polytopes
Published in Annals of Combinatorics, 28 (2024), 257--282
• View Publication
• BIB
Stanley introduced and studied two lattice polytopes, the order polytope and chain polytope, associated to a finite poset. Recently Ohsugi and Tsuchiya introduce an enriched version of them, called the enriched order polytope and enriched chain polytope. In this paper, we give a piecewise-linear bijection between these enriched poset polytopes, which is an enriched analogue of Stanley's transfer map and bijectively proves that they have the same Ehrhart polynomials. Also we construct explicitly unimodular triangulations of two enriched poset polytopes.
Coweight lattice $A^*_n$ and lattice simplices
There exist as many index-$k$ sublattices of the hexagonal lattice up to isometry as there exist lattice triangles with normalized volume $k$ up to unimodular equivalence, which can be explained using orbifolds. In dimension 3, it was noted that the number of sublattices of the fcc and the bcc lattices and the number of lattice tetrahedra all seem to be the same. We provide a bijection between the sublattices of the coweight lattice $A^*_n$ and the $n$-dimensional lattice simplices. It explains, proves, and generalizes the observed coincidences to arbitrary dimension.
Largest family without a pair of posets on consecutive levels of the Boolean lattice
Published
• View Publication
• BIB
Suppose $k \ge 2$ is an integer. Let $Y_k$ be the poset with elements $x_1, x_2, y_1, y_2, \ldots, y_{k-1}$ such that $y_1 < y_2 < \cdots < y_{k-1} < x_1, x_2$ and let $Y_k'$ be the same poset but all relations reversed. We say that a family of subsets of $[n]$ contains a copy of $Y_k$ on consecutive levels if it contains $k+1$ subsets $F_1, F_2, G_1, G_2, \ldots, G_{k-1}$ such that $G_1\subset G_2 \subset \cdots \subset G_{k-1} \subset F_1, F_2$ and $|F_1| = |F_2| = |G_{k-1}|+1 =|G_{k-2}|+ 2= \cdots = |G_{1}|+k-1$. If both $Y_k$ and $Y'_k$ on consecutive levels are forbidden, the size of the largest such family is denoted by $\mathrm{La}_{\mathrm{c}}(n, Y_k, Y'_k)$. In this paper, we will determine the exact value of $\mathrm{La}_{\mathrm{c}}(n, Y_k, Y'_k)$.
Simplicial and Conical Decomposition of Positively Spanning Sets
We investigate the decomposition of a set $X$, which positively spans the Euclidean space $\mathbb{R}^{d}$ into a set of minimal positive bases, we call simplices, and into maximal sets positively spanning pointed cones, i.e. cones with exactly one apex. For any set $X$, let $\mathcal{S}(X)$ denote the set of simplex subsets of $X$, and let $\ell(X)$ denote the linear hull of $X$. The set $X$ is said to fulfill the factorisation condition if and only if for each subset $Y\subset X$ and each simplex $S\in\mathcal{S}(X)$, $\ell(Y)\cap\ell(S) = \ell(Y\cap S)$. We demonstrate that $X$ is a positive basis if and only if it is the union of most d simplices, and $X$ satisfies the factorization condition. In this case, $X$ contains a linear basis $B$ such that each simplex in $\mathcal{S}(X)$ has with $B$, all but one exactly one element in common. We show that for sets positively spanning $\mathbb{R}^{d}$, the set of subbases of $X$ forms a boolean lattice, which can be embedded into the set $2^{\mathcal{S}(X)}$, with isomorphy for positive bases. Our second main result depending on the former is as follows. A finite set $X\subset\mathbb{R}^{d}\setminus\{0\}$ can be written as the union of at most $2^{d}$ maximal sets spanning pointed cones, which, if $X$ is a positive basis, are tantamount to frames of the cones. The inequality holds sharply if and only if $X$ is a cross, that is, a union of 1-simplices derived from a linear basis of $\mathbb{R}^{d}$. We also show that there can be at the most $2^{d}$ maximal subsets of $X$ spanning pointed cones, when intersections of two of them do not span a set of full dimension.
Universal singular exponents in catalytic variable equations
Published
• View Publication
• BIB
Catalytic equations appear in several combinatorial applications, most notably in the numeration of lattice path and in the enumeration of planar maps. The main purpose of this paper is to show that the asymptotic estimate for the coefficients of the solutions of (so-called) positive catalytic equations has a universal asymptotic behavior. In particular, this provides a rationale why the number of maps of size $n$ in various planar map classes grows asymptotically like $c\cdot n^{-5/2} γ^n$, for suitable positive constants $c$ and $γ$. Essentially we have to distinguish between linear catalytic equations (where the subexponential growth is $n^{-3/2}$) and non-linear catalytic equations (where we have $n^{-5/2}$ as in planar maps). Furthermore we provide a quite general central limit theorem for parameters that can be encoded by catalytic functional equations, even when they are not positive.
Expectations of Tutte-related functions of random ranked sets with multiplicities
Published
• View Publication
• BIB
Employing two models, we show that various counting functions of a random variable defined by restriction or contraction of a ranked set with multiplicity (e.g., classical and arithmetic matroids) have expectations given by the corresponding multivariate Tutte polynomial. The first model is based on a generalization of a convolution formula of Kung (2010), extending from matroids to ranked sets with multiplicities. This model enables us to compute the expectations of many familiar polynomials, such as the chromatic, flow and Ehrhart polynomials, generalizing the classical results of Welsh (1996) on random graphs. The second model is designed to compute the expectations of invariants that are generally not evaluations of the polynomials mentioned above, such as the number of connected components of an intersection of hypersurfaces in an abelian Lie group arrangement, and the number of lattice points in a half-open zonotope. In particular, both models yield new probabilistic interpretations of the arithmetic Tutte polynomial and $G$-Tutte polynomial. A simple, but seems to be new convolution-like formula for the Ehrhart polynomials of lattice zonotopes will also be given.
Expected mean width of the randomized integer convex hull
Published
• View Publication
• BIB
Let $K \in \R^d$ be a convex body, and assume that $L$ is a randomly rotated and shifted integer lattice. Let $K_L$ be the convex hull of the (random) points $K \cap L$. The mean width $W(K_L)$ of $K_L$ is investigated. The asymptotic order of the mean width difference $W(łK)-W((łK)_L)$ is maximized by the order obtained by polytopes and minimized by the order for smooth convex sets as $ł\to \infty$.
Finite-dimensional modules of the universal Askey--Wilson algebra and DAHA of type $(C_1^\vee,C_1)$
Published
• View Publication
• BIB
Assume that $\mathbb F$ is an algebraically closed field and let $q$ denote a nonzero scalar in $\mathbb F$ that is not a root of unity. The universal Askey--Wilson algebra $\triangle_q$ is a unital associative $\mathbb F$-algebra defined by generators and relations. The generators are $A,B, C$ and the relations state that each of $$ A+\frac{q BC-q^{-1} CB}{q^2-q^{-2}}, \qquad B+\frac{q CA-q^{-1} AC}{q^2-q^{-2}}, \qquad C+\frac{q AB-q^{-1} BA}{q^2-q^{-2}} $$ is central in $\triangle_q$. The universal DAHA (double affine Hecke algebra) $\mathfrak H_q$ of type $(C_1^\vee,C_1)$ is a unital associative $\mathbb F$-algebra generated by $\{t_i^{\pm 1}\}_{i=0}^3$ and the relations state that \begin{gather*} t_it_i^{-1}=t_i^{-1} t_i=1 \quad \hbox{for all $i=0,1,2,3$}; \\ \hbox{$t_i+t_i^{-1}$ is central} \quad \hbox{for all $i=0,1,2,3$}; \\ t_0t_1t_2t_3=q^{-1}. \end{gather*} Each $\mathfrak H_q$-module is a $\triangle_q$-module by pulling back via the injection $\triangle_q\to \mathfrak H_q$ given by \begin{eqnarray*} A &\mapsto & t_1 t_0+(t_1 t_0)^{-1}, \\ B &\mapsto & t_3 t_0+(t_3 t_0)^{-1}, \\ C &\mapsto & t_2 t_0+(t_2 t_0)^{-1}. \end{eqnarray*} We classify the lattices of $\triangle_q$-submodules of finite-dimensional irreducible $\mathfrak H_q$-modules. As a consequence, for any finite-dimensional irreducible $\mathfrak H_q$-module $V$, the $\triangle_q$-module $V$ is completely reducible if and only if $t_0$ is diagonalizable on $V$.
Concrete polytopes may not tile the space
Published in Mathematika, 66:4 (2020), 920-926
• View Publication
• BIB
Brandolini et al. conjectured that all concrete lattice polytopes can multitile the space. We disprove this conjecture in a strong form, by constructing an infinite family of counterexamples in $\mathbb{R}^3$.
Flip-sort and combinatorial aspects of pop-stack sorting
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (April 30, 2021) dmtcs:6196
• View Publication
• BIB
Flip-sort is a natural sorting procedure which raises fascinating combinatorial questions. It finds its roots in the seminal work of Knuth on stack-based sorting algorithms and leads to many links with permutation patterns. We present several structural, enumerative, and algorithmic results on permutations that need few (resp. many) iterations of this procedure to be sorted. In particular, we give the shape of the permutations after one iteration, and characterize several families of permutations related to the best and worst cases of flip-sort. En passant, we also give some links between pop-stack sorting, automata, and lattice paths, and introduce several tactics of bijective proofs which have their own interest.
Flagged Schur polynomial duality via a lattice path bijection
Published in Electronic Journal of Combinatorics 30(1) (2023) P1.5
• View Publication
• BIB
This paper proves an identity between flagged Schur polynomials, giving a duality between row flags and column flags. This identity generalises both the binomial determinant duality theorem due to Gessel and Viennot and the symmetric function duality theorem due to Aitken. As corollaries we obtain the lifts of the binomial determinant duality theorem to $q$-binomial coefficients and to symmetric polynomials. Our method is a path counting argument on a novel lattice generalising that used by Gessel and Viennot.
Algebraic polytopes in Normaliz
Published
• View Publication
• BIB
We describe the implementation of algebraic polyhedra in Normaliz. In addition to convex hull computation/vertex enumeration, it is possible to compute triangulations, volumes, lattice points, face lattices and automorphism groups. The arithmetic is based on the package e-antic by V.~Delecroix.
The open and clopen Ramsey theorems in the Weihrauch lattice
Published in J. symb. log. 86 (2021) 316-351
• View Publication
• BIB
We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihrauch lattice. While they are known to be equivalent to $\mathrm{ATR_0}$ from the point of view of reverse mathematics, there is not a canonical way to phrase them as multivalued functions. We identify 8 different multivalued functions (5 corresponding to the open Ramsey theorem and 3 corresponding to the clopen Ramsey theorem) and study their degree from the point of view of Weihrauch, strong Weihrauch and arithmetic Weihrauch reducibility. In particular one of our functions turns out to be strictly stronger than any previously studied multivalued functions arising from statements around $\mathrm{ATR}_0$.
On the geometry of nearly orthogonal lattices
Published
• View Publication
• BIB
Nearly orthogonal lattices were formally defined in [4], where their applications to image compression were also discussed. The idea of ``near orthogonality" in $2$-dimensions goes back to the work of Gauss. In this paper, we focus on well-rounded nearly orthogonal lattices in~$\mathbb R^n$ and investigate their geometric and optimization properties. Specifically, we prove that the sphere packing density function on the space of well-rounded lattices in dimension $n\geq 3$ does not have any local maxima on the nearly orthogonal set and has only one local minimum there: at the integer lattice~$\mathbb Z^n$. Further, we show that the nearly orthogonal set cannot contain any perfect lattices for~$n \geq 3$, although it contains multiple eutactic (and even strongly eutactic) lattices in every dimension. This implies that eutactic lattices, while always critical points of the packing density function, are not necessarily local maxima or minima even among the well-rounded lattices. We also prove that a (weakly) nearly orthogonal lattice in~$\mathbb R^n$ contains no more than~$4n-2$ minimal vectors (with any smaller even number possible) and establish some bounds on coherence of these lattices.
A quadratic identity in the shuffle algebra and an alternative proof for de Bruijn's formula
Published in European Journal of Combinatorics, Volume 99, January 2022, 103406
• View Publication
• BIB
Motivated by a polynomial identity of certain iterated integrals, first observed in [CGM20] in the setting of lattice paths, we prove an intriguing combinatorial identity in the shuffle algebra. It has a close connection to de Bruijn's formula when interpreted in the framework of signatures of paths.
Maximal fluctuations around the Wulff shape for edge-isoperimetric sets in ${\mathbb Z^d}$: a sharp scaling law
Published
• View Publication
• BIB
We derive a sharp scaling law for deviations of edge-isoperimetric sets in the lattice $\mathbb Z^d$ from the limiting Wulff shape in arbitrary dimensions. As the number $n$ of elements diverges, we prove that the symmetric difference to the corresponding Wulff set consists of at most $O(n^{(d-1+2^{1-d})/d})$ lattice points and that the exponent $(d-1+2^{1-d})/d$ is optimal. This extends the previously found `$n^{3/4}$ laws' for $d=2,3$ to general dimensions. As a consequence we obtain optimal estimates on the rate of convergence to the limiting Wulff shape as $n$ diverges.
Counting lattice walks by winding angle
We address the problem of counting walks by winding angle on the Kreweras lattice, an oriented version of the triangular lattice. Our method uses a new decomposition of the lattice, which allows us to write functional equations characterising a generating function of walks counted by length, endpoint and winding angle. We then solve these functional equations in terms of Jacobi theta functions. By using this result in conjunction with the reflection principle, we count walks confined to a cone of opening angle any multiple of $\fracπ{3}$, allowing us to extract asymptotic and algebraic information for these walks. Our method and results extend analogously to three other lattices, including the square lattice and triangular lattice. On the square lattice, most of our results were derived by Timothy Budd in 2017, so the current work can be seen as an extension of Budd's results to the three other lattices that we consider. Budd's method of deducing these results was very different, as it was based on an explicit eigenvalue decomposition of certain matrices counting paths in the lattice.
The degree of symmetry of lattice paths
Published
• View Publication
• BIB
The degree of symmetry of a combinatorial object, such as a lattice path, is a measure of how symmetric the object is. It typically ranges from zero, if the object is completely asymmetric, to its size, if it is completely symmetric. We study the behavior of this statistic on Dyck paths and grand Dyck paths, with symmetry described by reflection along a vertical line through their midpoint; partitions, with symmetry given by conjugation; and certain compositions interpreted as bargraphs. We find expressions for the generating functions for these objects with respect to their degree of symmetry, and their semilength or semiperimeter, deducing in most cases that, asymptotically, the degree of symmetry has a Rayleigh or half-normal limiting distribution. The resulting generating functions are often algebraic, with the notable exception of Dyck paths, for which we conjecture that it is D-finite (but not algebraic), based on a functional equation that we obtain using bijections to walks in the plane.
Design-theoretic analogies between codes, lattices, and vertex operator algebras
Published
• View Publication
• BIB
There are many analogies between codes, lattices, and vertex operator algebras. For example, extremal objects are good examples of combinatorial, spherical, and conformal designs. In this study, we investigated these objects from the aspect of design theory.