lattice ↗ reference
4394 papers tagged with this keyword
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.
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.