lattice ↗ reference
4394 papers tagged with this keyword
Hessenberg-Toeplitz Matrix Determinants with Schroder and Fine Number Entries
Published
• View Publication
• BIB
In this paper, we find determinant formulas of several Hessenberg-Toeplitz matrices whose nonzero entries are derived from the small and large Schroder and Fine number sequences. Algebraic proofs of these results can be given which make use of Trudi's formula and the generating function of the associated sequence of determinants. We also provide direct arguments of our results that utilize various counting techniques, among them sign-changing involutions, on combinatorial structures related to classes of lattice paths enumerated by the Schroder and Fine numbers. As a consequence of our results, we obtain some new formulas for the Schroder and Catalan numbers as well as for some additional sequences from the OEIS in terms of determinants of certain Hessenberg-Toeplitz matrices.
Spherical designs and modular forms of the $D_4$ lattice
Published
• View Publication
• BIB
In this paper, we study shells of the $D_4$ lattice with a {slight generalization} of spherical $t$-designs due to Delsarte-Goethals-Seidel, namely, the spherical design of harmonic index $T$ (spherical $T$-design for short) introduced by Delsarte-Seidel. We first observe that{, for any positive integer $m$,} the $2m$-shell of $D_4$ is an antipodal spherical $\{10,4,2\}$-design on the three dimensional sphere. We then prove that the $2$-shell, which is the $D_4$ root system, is a tight $\{10,4,2\}$-design, using the linear programming method. The uniqueness of the $D_4$ root system as an antipodal spherical $\{10,4,2\}$-design with 24 points is shown. We give two applications of the uniqueness: a decomposition of the shells of the $D_4$ lattice in terms of orthogonal transformations of the $D_4$ root system, and the uniqueness of the $D_4$ lattice as an even integral lattice of level 2 in the four dimensional Euclidean space. We also reveal a connection between the harmonic strength of the shells of the $D_4$ lattice and non-vanishing of the Fourier coefficients of a certain newform of level 2. Motivated by this, congruence relations for the Fourier coefficients are discussed.
Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs
Published
• View Publication
• BIB
Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev polynomials. The new objective function is defined on a compact basic semi-algebraic set, so that we can benefit from the rich theory of polynomial optimization.We present an algorithm to compute the minimum: Based on the Hol-Scherer Positivstellensatz, we impose matrix-sums of squares conditions on the objective function in the Chebyshev basis.The degree of the sums of squares is weighted, defined by the root system. Increasing the degree yields a converging Lasserre-type hierarchy of lower bounds.This builds a bridge between trigonometric and polynomial optimization, allowing us to compare with existing techniques.The chromatic number of a set avoiding graph in the Euclidean space is defined through an optimal coloring.It can be computed via a spectral bound by minimizing a trigonometric polynomial. If the to be avoided set has crystallographic symmetry, our method has a natural application.Specifically, we compute spectral bounds for the first time for boundaries of symmetric polytopes.For several cases, the problem has such a simplified form that we can give analytical proofs for sharp spectral bounds.In other cases, we certify the sharpness numerically.
Weighted Ehrhart Theory: Extending Stanley's nonnegativity theorem
Published in Adv. in Math.. {\bf 444} (2024), 109627
• View Publication
• BIB
We generalize R. P. Stanley's celebrated theorem that the $h^\ast$-polynomial of the Ehrhart series of a rational polytope has nonnegative coefficients and is monotone under containment of polytopes. We show that these results continue to hold for weighted Ehrhart series where lattice points are counted with polynomial weights, as long as the weights are homogeneous polynomials decomposable as sums of products of linear forms that are nonnegative on the polytope. We also show nonnegativity of the $h^\ast$-polynomial as a real-valued function for a larger family of weights.
We then target the case when the weight function is the square of a single (arbitrary) linear form. We show stronger results for two-dimensional convex lattice polygons and give concrete examples showing tightness of the hypotheses. As an application, we construct a counterexample to a conjecture by Berg, Jochemko, and Silverstein on Ehrhart tensor polynomials.
Transformation, Identification, and Inversion of Goldberg-Coxeter Fullerenes
It is difficult to identify a G-C fullerene directly from its dimensions as its lattice is not proportional to that of its archetype in general, although they have the same three-dimensional shape. In this paper, the area scale factor of a G-C fullerene is proved to be an integer, which can be calculated from its dimensions. All the G-C transformations are k-inflations that can be easily identified and inversed, primary transformations whose area scale factors are prime numbers, or composite transformations whose area scale factors are the product of those of its sub-transformations. As the result, a method to identify any G-C fullerenes according to the area scale factor was presented.
New bounds in the discrete analogue of Minkowski's second theorem
Published in Discrete Analysis, 2024:7, 6 pp
• Search Publication
We adapt an argument of Tao and Vu to show that if $λ_1\le\cdots\leλ_d$ are the successive minima of an origin-symmetric convex body $K$ with respect to some lattice $Λ<\mathbb{R}^d$, and if we set $k=\max\{j:λ_j\le1\}$, then $K$ contains at most $2^k(1+\frac{λ_k}2)^k/λ_1\cdotsλ_k$ lattice points. This provides improved bounds in a conjecture of Betke, Henk and Wills (1993), and verifies that conjecture asymptotically as $λ_k\to0$. We also obtain a similar result without the symmetry assumption.
Multiple 3-Coloring, an Approach to 4-Coloring of Planar Graphs
A planar graph can be embedded in a piecewise linear manifold, and the lattice on each linear piece can be colored with 3-coloring. If a planar graph can be colored with multiple 3-coloring, i.e. coloring the graph in pieces with different 3-color subsets of 4 colors, then the graph is 4-colorable. In this paper, multiple 3-coloring was introduced, and then the combination and partition of planar graphs for multiple 3-coloring was studied. The study reveals that planar graphs can generally be decomposed into independent subgraphs, and each subgraph can be triangulated into a symmetric structure for multiple 3-coloring.
Poset Ramsey number $R(P,Q_n)$. III. Chain Compositions and Antichains
Published
• View Publication
• BIB
An induced subposet $(P_2,\le_2)$ of a poset $(P_1,\le_1)$ is a subset of $P_1$ such that for every two $X,Y\in P_2$, $X\le_2 Y$ if and only if $X\le_1 Y$. The Boolean lattice $Q_n$ of dimension $n$ is the poset consisting of all subsets of $\{1,\dots,n\}$ ordered by inclusion. Given two posets $P_1$ and $P_2$ the poset Ramsey number $R(P_1,P_2)$ is the smallest integer $N$ such that in any blue/red coloring of the elements of $Q_N$ there is either a monochromatically blue induced subposet isomorphic to $P_1$ or a monochromatically red induced subposet isomorphic to $P_2$.
We provide upper bounds on $R(P,Q_n)$ for two classes of $P$: parallel compositions of chains, i.e.\ posets consisting of disjoint chains which are pairwise element-wise incomparable, as well as subdivided $Q_2$, which are posets obtained from two parallel chains by adding a common minimal and a common maximal element. This completes the determination of $R(P,Q_n)$ for posets $P$ with at most $4$ elements. If $P$ is an antichain $A_t$ on $t$ elements, we show that $R(A_t,Q_n)=n+3$ for $3\le t\le \log \log n$. Additionally, we briefly survey proof techniques in the poset Ramsey setting $P$ versus $Q_n$.
An extension of Birkhoff's representation theorem to infinite distributive lattices
Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice. This theorem can be extended as follows: A non-finite distributive lattice that is locally finite and has a $\hat{0}$ is isomorphic to the lattice of finite order ideals of the partial order of the join-irreducible elements of the lattice. In addition, certain ``well ordering'' properties are shown to be equivalent to the premises of the extended theorem.
Efficient Domination in Lattice graphs
Given a graph $G$, a subset $S$ of vertices of $G$ is an efficient dominating set ($EDS$) if $|N[v] \cap S|=1,$ for all $v\in V(G)$. A graph $G$ is efficiently dominatable if it possesses an $EDS$. The efficient domination number of G is denoted by F(G) and is defined to be $\max \left\{\sum_{v \in S}(1 + \operatorname{deg} v):\right.$ $\left.S \subseteq V(G)\right.$ and $\left.|N[x] \cap S| \leq 1, \forall~ x \in V(G)\right\}$. In general, not every graph is efficiently dominatable. Further, the class of efficiently dominatable graphs has not been completely characterized and the problem of determining whether or not a graph is efficiently dominatable is NP-Complete. Hence, interest is shown to study the efficient domination property for graphs under restricted conditions or special classes of graphs. In this paper, we study the notion of efficient domination in some Lattice graphs, namely, rectangular grid graphs ($P_m \Box P_n$), triangular grid graphs, and hexagonal grid graphs.
Off-diagonally symmetric domino tilings of the Aztec diamond
Published in Electron. J. Combin.30(2023), no.4, Paper No. 4.20, 30 pp
• View Publication
• BIB
We introduce a new symmetry class of domino tilings of the Aztec diamond, called the off-diagonal symmetry class, which is motivated by the off-diagonally symmetric alternating sign matrices introduced by Kuperberg in 2002. We use the method of non-intersecting lattice paths and a modification of Stembridge's Pfaffian formula for families of non-intersecting lattice paths to enumerate our new symmetry class. The number of off-diagonally symmetric domino tilings of the Aztec diamond can be expressed as a Pfaffian of a matrix whose entries satisfy a nice and simple recurrence relation.
On the Erdős--Ginzburg--Ziv Problem in large dimension
The Erdős--Ginzburg--Ziv Problem is a classical extremal problem in discrete geometry. Given $m$ and $n$, the problem asks about the smallest number $s$ such that among any $s$ points in the integer lattice $\mathbb{Z}^n$ one can find $m$ points whose centroid is again a lattice point. Despite of a lot of attention over the last 50 years, this problem is far from well-understood. For fixed dimension $n$, Alon and Dubiner proved that the answer grows linearly with $m$. In this paper, we focus on the opposite case, where the number $m$ is fixed and the dimension $n$ is large. We drastically improve the previous upper bounds in this regime, showing that for every $\varepsilon>0$ the answer is at most $D_{\varepsilon,m}\cdot (C_{\varepsilon}m^{\varepsilon})^n$ for all $m$ and $n$. Our proof combines (a consequence of) the slice rank polynomial method with a higher-uniformity version of the Balog--Szemerédi--Gowers Theorem due to Borenstein and Croot.
Supersolvability of built lattices and Koszulness of generalized Chow rings
Published in Compositio Math. 161 (2025) 1284-1312
• View Publication
• BIB
We give an explicit quadratic Grobner basis for generalized Chow rings of supersolvable built lattices, with the help of the operadic structure on geometric lattices introduced in a previous article. This shows that the generalized Chow rings associated to minimal building sets of supersolvable lattices are Koszul. As another consequence, we get that the cohomology algebras of the components of the extended modular operad in genus 0 are Koszul.
Lower Bounds on the Depth of Integral ReLU Neural Networks via Lattice Polytopes
We prove that the set of functions representable by ReLU neural networks with integer weights strictly increases with the network depth while allowing arbitrary width. More precisely, we show that $\lceil\log_2(n)\rceil$ hidden layers are indeed necessary to compute the maximum of $n$ numbers, matching known upper bounds. Our results are based on the known duality between neural networks and Newton polytopes via tropical geometry. The integrality assumption implies that these Newton polytopes are lattice polytopes. Then, our depth lower bounds follow from a parity argument on the normalized volume of faces of such polytopes.
Analytic combinatorics of coordination numbers of cubic lattices
Published in Adv in Appl. Math. 147 (2023) 102518
• View Publication
• BIB
We investigate coordination numbers of the cubic lattices with emphases on their analytic behaviors, including the total positivity of the coordination matrices, the distribution of zeros of the coordination polynomials, the asymptotic normality of the coefficients of the coordination polynomials, the log-concavity and the log-convexity of the coordination numbers.
Logarithms of Catalan generating functions: A combinatorial approach
Published in Electron. J. Combin., 31(1): P1.46, 2024
• View Publication
• BIB
We analyze the combinatorics behind the operation of taking the logarithm of the generating function $G_k$ for $k^\text{th}$ generalized Catalan numbers. We provide combinatorial interpretations in terms of lattice paths and in terms of tree graphs. Using explicit bijections, we are able to recover known closed expressions for the coefficients of $\log G_k$ by purely combinatorial means of enumeration. The non-algebraic proof easily generalizes to higher powers $\log^a G_k$, $a\geq 2$.
Complexity Function of Jammed Configurations of Rydberg Atoms
In this article, we determine the complexity function (configurational entropy) of jammed configurations of Rydberg atoms on a one-dimensional lattice. Our method consists of providing asymptotics for the number of jammed configurations determined by direct combinatorial reasoning. In this way we reduce the computation of complexity to solving a constrained optimization problem for the Shannon's entropy function. We show that the complexity can be expressed explicitly in terms of the root of a certain polynomial of degree $b$, where $b$ is the so-called blockade range of a Rydberg atom. Our results are put in a relation with the model of irreversible deposition of $k$-mers on a one-dimensional lattice.
Sizes of flat maximal antichains of subsets
Published
• View Publication
• BIB
This is the second of two papers investigating for which positive integers $m$ there exists a maximal antichain of size $m$ in the Boolean lattice $B_n$ (the power set of $[n]:=\{1,2,\dots,n\}$, ordered by inclusion). In the first part, the sizes of maximal antichains have been characterized. Here we provide an alternative construction with the benefit of showing that almost all sizes of maximal antichains can be obtained using antichains containing only $l$-sets and $(l+1)$-sets for some $l$.
The Ungar Games
Published
• View Publication
• BIB
Let $L$ be a finite lattice. An Ungar move sends an element $x\in L$ to the meet of $\{x\}\cup T$, where $T$ is a subset of the set of elements covered by $x$. We introduce the following Ungar game. Starting at the top element of $L$, two players -- Atniss and Eeta -- take turns making nontrivial Ungar moves; the first player who cannot do so loses the game. Atniss plays first. We say $L$ is an Atniss win (respectively, Eeta win) if Atniss (respectively, Eeta) has a winning strategy in the Ungar game on $L$. We first prove that the number of principal order ideals in the weak order on $S_n$ that are Eeta wins is $O(0.95586^nn!)$. We then consider a broad class of intervals in Young's lattice that includes all principal order ideals, and we characterize the Eeta wins in this class; we deduce precise enumerative results concerning order ideals in rectangles and type-$A$ root posets. We also characterize and enumerate principal order ideals in Tamari lattices that are Eeta wins. Finally, we conclude with some open problems and a short discussion of the computational complexity of Ungar games.
Fine Polyhedral Adjunction Theory
Originally introduced by Fine and Reid in the study of plurigenera of toric hypersurfaces, the Fine interior of a lattice polytope got recently into the focus of research. It is has been used for constructing canonical models in the sense of Mori Theory [arXiv:2008.05814]. Based on the Fine interior, we propose here a modification of the original adjoint polytopes as defined in [arXiv:1105.2415], by defining the Fine adjoint polytope $P^{F(s)}$ of $P$ as consisting of the points in $P$ that have lattice distance at least $s$ to all valid inequalities for $P$. We obtain a Fine Polyhedral Adjunction Theory that is, in many respects, better behaved than its original analogue. Many existing results in Polyhedral Adjunction Theory carry over, some with stronger conclusions, as decomposing polytopes into Cayley sums, and most with simpler, more natural proofs as in the case of the finiteness of the Fine spectrum.