SHELLS OF SELFDUAL LATTICES VIEWED AS SPHERICAL DESIGNS

CLAUDE PACHE

DOI: https://doi.org/10.1142/s0218196705002797

2005-10-01

International Journal of Algebra and Computation

Abstract:We find out for which t shells of selfdual lattices and of their shadows are spherical t-designs. The method uses theta series of lattices, which are modular forms. We analyze fully cubic and Witt lattices, as well as all selfdual lattices of rank at most 24.

What problem does this paper attempt to address?

Spherical designs and modular forms of the $D_4$ lattice

Masatake Hirao,Hiroshi Nozaki,Koji Tasaka

2023-09-28

Abstract: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.

Combinatorics,Number Theory
Euclidean designs and coherent configurations

Eiichi Bannai,Etsuko Bannai

DOI: https://doi.org/10.1090/conm/531/10457

2009-01-01

Abstract: The concept of spherical $t$-design, which is a finite subset of the unit sphere, was introduced by Delsarte-Goethals-Seidel (1977). The concept of Euclidean $t$-design, which is a two step generalization of spherical design in the sense that it is a finite weighted subset of Euclidean space, by Neumaier-Seidel (1988). We first review these two concepts, as well as the concept of tight $t$-design, i.e., the one whose cardinality reaches the natural lower bound. We are interested in $t$-designs (spherical or Euclidean) which are either tight or close to tight. As is well known by Delsarte-Goethals-Seidel (1977), in the study of spherical $t$-designs and in particular of those which are either tight or close to tight, association schemes play important roles. The main purpose of this paper is to show that in the study of Euclidean $t$-designs and in particular of those which are either tight or close to tight, coherent configurations play important roles. Here, coherent configuration is a purely combinatorial concept defined by D. G. Higman, and is obtained by axiomatizing the properties of general, not necessarily transitive, permutation groups, in the same way as association scheme was obtained by axiomatizing the properties of transitive permutation groups. The main purpose of this paper is to prove that Euclidean $t$-designs satisfying certain conditions give the structure of coherent configurations. Moreover we study the classification problems of Euclidean 4-designs on two concentric spheres with certain additional conditions.
Tight Relative $T$-Designs on Two Shells in Hypercubes, and Hahn and Hermite Polynomials

Eiichi Bannai,Etsuko Bannai,Hajime Tanaka,Yan Zhu

DOI: https://doi.org/10.26493/1855-3974.2352.eaf

2022-01-01

Ars Mathematica Contemporanea

Abstract:Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,\lambda)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells. We show under a mild condition that such a relative $t$-design induces the structure of a coherent configuration with two fibers. Moreover, from this structure we deduce that a polynomial from the family of the Hahn hypergeometric orthogonal polynomials must have only integral simple zeros. The Terwilliger algebra is the main tool to establish these results. By explicitly evaluating the behavior of the zeros of the Hahn polynomials when they degenerate to the Hermite polynomials under an appropriate limit process, we prove a theorem which gives a partial evidence that the non-trivial tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells are rare for large $t$.
Spherical Designs and Association Schemes Versus Euclidean Designs and Coherent Conflgurations

Eiichi Bannai

2009-01-01

Abstract:This talk is based on joint work with Etsuko Bannai. The concept of spherical t-design, which is a flnite subset of the unit sphere, was introduced by Delsarte-Goethals-Seidel (1977). The concept of Euclidean t-design, which is a two step generalization of spherical design in the sense that it is a flnite weighted subset of Euclidean space, by Neumaier-Seidel (1988). We flrst review these two concepts and examples, as well as the concept of tight t-design, i.e., the one whose cardinality reaches the natural lower bound. We are interested in t-designs (spherical or Euclidean) which are either tight or close to tight. As is well known by Delsarte-Goethals-Seidel (1977), in the study of spherical t- designs and in particular of those which are either tight or close to tight, association schemes play important roles. The main purpose of this talk is to show that in the study of Euclidean t-designs and in particular of those which are either tight or close to tight, coherent conflgurations play important roles. Here, coherent conflguration is a purely combinatorial concept deflned by D. G. Higman, and is obtained by axiomatizing the properties of general, not necessarily transitive, permutation groups, in the same way as association scheme was obtained by axiomatizing the properties of transitive permutation groups. As an application of this general theory, we discuss the current status of our research to try to classify Euclidean 4-designs (X;w) on two concentric spheres S = S1 ( S2 centered at the origin whose weight function is constant on each X \ Si(i = 1;2) and each X \ Si(i = 1;2) is at most 2-distance set. We will also give two new families of feasible parameters for coherent conflgurations, one family is obtained from Euclidean tight 4-designs on two concentric spheres and another family is obtained from non-tight Euclidean 4-designs.
A Survey on Spherical Designs and Algebraic Combinatorics on Spheres.

Eiichi Bannai,Etsuko Bannai

DOI: https://doi.org/10.1016/j.ejc.2008.11.007

IF: 0.89

2009-01-01

European Journal of Combinatorics

Abstract:This survey is mainly intended for non-specialists, though we try to include many recent developments that may interest the experts as well. We want to study "good" finite subsets of the unit sphere. To consider "what is good" is a part of our problem. We start with the definition of spherical t-designs on Sn-1 in R-n. After discussing some important examples, we focus on tight spherical t-designs on Sn-1. Tight t-designs have good combinatorial properties, but they rarely exist. So, we are interested in the finite subsets on Sn-1, which have properties similar to tight t-designs from the various viewpoints of algebraic combinatorics. For example, rigid t-designs, universally optimal t-codes (configurations), as well as finite sets which admit the structure of an association scheme, are among them. We will discuss various results on the existence and the non-existence of special spherical t-designs, as well as general spherical t-designs, and their constructions. We will discuss the relations between spherical t-designs and many other branches of mathematics. For example: by considering the spherical designs which are orbits of a finite group in the real orthogonal group O(n), we get many connections with group theory; by considering those which are shells of Euclidean lattices, we get many unexpected connections with number theory, such as modular forms and Lehmer's conjecture about the zeros of the Ramanujan tau function. Spherical t-designs and Euclidean t-designs are special cases of cubature formulas in approximation theory, and thus we get many connections with analysis and statistics, and in particular with orthogonal polynomials, and moment problems. Moreover, Delsarte's linear programming method and many recent generalizations, including the work of Musin and the subsequent progress in using semidefinite programming, have strong connections with geometry (in particular sphere packing problems) and the theory of optimizations. These various connections explain the reason of the charm of algebraic combinatorics on spheres. At the same time, these theories of spherical t-designs and related topics have strong roots in the developments of algebraic combinatorics in general, which was started as Delsarte theory of codes and designs in the framework of association schemes. (C) 2008 Elsevier Ltd. All rights reserved.
An Elementary Approach To Toy Models For D. H. Lehmer'S Conjecture

Eiichi Bannai,Tsuyoshi Miezaki,Vladimir A. Yudin

DOI: https://doi.org/10.1070/IM2011v075n06ABEH002565

2011-01-01

Izvestiya Mathematics

Abstract:We use the theory of algebraic fields to establish that none of the shells of the lattice Z(2) (resp. A(2)) is a 4-design (resp. 6-design). We discuss the connection between spherical designs and imaginary quadratic fields.
Half of an Antipodal Spherical Design

Eiichi Bannai,Da Zhao,Lin Zhu,Yan Zhu,Yinfeng Zhu

DOI: https://doi.org/10.1007/s00013-017-1141-1

2018-01-01

Archiv der Mathematik

Abstract:We investigate several antipodal spherical designs on which we can choose half of the points, one from each antipodal pair, such that they are balanced at the origin. In particular, root systems of type A, D and E, minimal points of the Leech lattice, and the unique tight 7-design on S^22 are studied. We also study a half of an antipodal spherical design from the viewpoint of association schemes and spherical designs of harmonic index T .
Spherical objects in dimensions two and three

Wahei Hara,Michael Wemyss

2024-09-12

Abstract:This paper classifies spherical objects in various geometric settings in dimensions two and three, including both minimal and partial crepant resolutions of Kleinian singularities, as well as arbitrary flopping 3-fold contractions with only Gorenstein terminal singularities. The main result is much more general: in each such setting, we prove that all objects in the associated null category with no negative Ext groups are the image, under the action of an appropriate braid or pure braid group, of some object in the heart of a bounded t-structure. The corollary is that all objects which admit no negative Exts, and for which the self-Hom space is one dimensional, are the images of the simples. A variation on this argument goes further, and classifies all bounded t-structures. There are multiple geometric, topological and algebraic consequences, primarily to autoequivalences and stability conditions. Our main new technique also extends into representation theory, and we establish that in the derived category of a finite dimensional algebra which is silting discrete, every object with no negative Ext groups lies in the heart of a bounded t-structure. As a consequence, every semibrick complex can be completed to a simple minded collection.

Algebraic Geometry,Representation Theory,Symplectic Geometry
Complex spherical designs from group orbits

Mozhgan Mohammadpour,Shayne Waldron

2024-04-02

Abstract:We consider the general question of when all orbits under the unitary action of a finite group give a complex spherical design. Those orbits which have large stabilisers are then good candidates for being optimal complex spherical designs. This is done by developing the general theory of complex designs and associated (harmonic) Molien series for group actions. As an application, we give explicit constructions of some putatively optimal real and complex spherical t-designs.

Combinatorics,Group Theory
Spherical Complexes Attached to Symplectic Lattices

Wilberd van der Kallen,Eduard Looijenga

DOI: https://doi.org/10.1007/s10711-010-9553-0

2010-01-01

Geometriae Dedicata

Abstract:To the integral symplectic group Sp(2g,Z) we associate two posets of which we prove that they have the Cohen-Macaulay property. As an application we show that the locus of marked decomposable principally polarized abelian varieties in the Siegel space of genus g has the homotopy type of a bouquet of (g-2)-spheres. This, in turn, implies that the rational homology of moduli space of (unmarked) principal polarized abelian varieties of genus g modulo the decomposable ones vanishes in degree g-2 or lower. Another application is an improved stability range for the homology of the symplectic groups over Euclidean rings. But the original motivation comes from envisaged applications to the homology of groups of Torelli type. The proof of our main result rests on a refined nerve theorem for posets that may have an interest in its own right.
Spherical Designs of Harmonic Index T.

Eiichi Bannai,Takayuki Okuda,Makoto Tagami

DOI: https://doi.org/10.1016/j.jat.2014.06.010

IF: 0.993

2015-01-01

Journal of Approximation Theory

Abstract:Spherical $t$-design is a finite subset on sphere such that, for any polynomial of degree at most $t$, the average value of the integral on sphere can be replaced by the average value at the finite subset. It is well-known that an equivalent condition of spherical design is given in terms of harmonic polynomials. In this paper, we define a spherical design of harmonic index $t$ from the viewpoint of this equivalent condition, and we give its construction and a Fisher type lower bound on the cardinality. Also we investigate whether there is a spherical design of harmonic index attaining the bound.
On tight spherical designs

Eiichi Bannai

DOI: https://doi.org/10.1016/0097-3165(79)90052-9

1979-01-01

Abstract:According to Delsarte, Goethals, and Seidel, a nonempty subset X of the set of unit vectors in the real vector space Rd of dimension d is called a tight spherical t-design if (i) Σα∈X W(α) = 0 for all homogeneous harmonic polynomials W(α) in Rd of degree 1,2,…,t, and (ii) |X|=(d+e−1d−1)+(d+e−2d−1), |X|=2(d+e−1d−1) for t = 2e and t = 2e + 1, respectively. In this paper, we show that if t = 2e, e ⩾ 3 or t = 2e + 1, e ⩾ 4, and if there exists a tight spherical t-design, then the dimension d is bounded by a certain function depending only on t.
On the Weight Distribution of Spherical T-Designs.

Eiichi Bannai

DOI: https://doi.org/10.1016/s0195-6698(80)80016-3

IF: 0.89

1980-01-01

European Journal of Combinatorics

Abstract:An analogue of Sidel'nikov-Delsarte's theorem is obtained for the cumulative weight distribution function of spherical t-designs.
Constructions of Spherical 3-Designs

Bela Bajnok

2024-04-24

Abstract:Spherical t-designs are Chebyshev-type averaging sets on the d-sphere S^d which are exact for polynomials of degree at most t. This concept was introduced in 1977 by Delsarte, Goethals, and Seidel, who also found the minimum possible size of such designs, in particular, that the number of points in a 3-design on S^d must be at least n>=2d+2. In this paper we give explicit constructions for spherical 3-designs on S^d consisting of n points for d=1 and n>=4; d=2 and n=6; 8; >= 10; d=3 and n=8; >=10; d = 4 and n = 10; 12; >= 14; d>=5 and n>=5(d+1)/2 odd or n>=2d+2 even. We also provide some evidence that 3-designs of other sizes do not exist.

Combinatorics
AN ACTION ON CHIRAL RINGS AND THE MIRROR MAP

shingtung yau,tristan hubsch

DOI: https://doi.org/10.1142/S0217732392002664

1992-01-01

Modern Physics Letters A

Abstract:Each transversal degree-d hypersurface M in a weighted projective space defines a Landau-Ginzburg orbifold, the superpotential of which equals the defining polynomial of M. For a generic such M with trivial canonical class, the degree-0 (mod d) subring of the Jacobian ring (that is, the (c, c)-ring of the Landau-Ginzburg orbifold) is shown to admit an SL(2,C) action and the corresponding Lefschetz-type decomposition. This leads to a general definition of a "large complex structure" limit, the mirror of the "large volume" limit, and the mirror images on +(q)H-3-q,q of the Hodge *-operator, duality and inner product on +(q)H(q,q).
Design Theory from the Viewpoint of Algebraic Combinatorics

Eiichi Bannai,Etsuko Bannai,Hajime Tanaka,Yan Zhu

DOI: https://doi.org/10.1007/s00373-016-1739-2

2016-01-01

Graphs and Combinatorics

Abstract:The similarity between spherical t-designs and combinatorial t-designs, as well as t-designs in Q-polynomial association schemes.
AN ${\rm SL}(2, {\mathbb C})$ ACTION ON CHIRAL RINGS AND THE MIRROR MAP

TRISTAN HÜBSCH,SHING-TUNG YAU

DOI: https://doi.org/10.1142/s0217732392002664

1992-01-01

Modern Physics Letters A

Abstract:Each transversal degree-d hypersurface ℳ in a weighted projective space defines a Landau-Ginzburg orbifold, the superpotential of which equals the defining polynomial of ℳ. For a generic such ℳ with trivial canonical class, the degree-0 (mod d) subring of the Jacobian ring (that is, the (c, c)-ring of the Landau-Ginzburg orbifold) is shown to admit an [Formula: see text] action and the corresponding Lefschetz-type decomposition. This leads to a general definition of a “large complex structure” limit, the mirror of the “large volume” limit, and the mirror images on ⊕qH3−q,q of the Hodge *-operator, duality and inner product on ⊕qHq,q.
A Siegel cusp form of degree 12 and weight 12

Richard E. Borcherds,E. Freitag,R. Weissauer

DOI: https://doi.org/10.48550/arXiv.math/9805132

1998-05-28

Abstract:The theta series of the two unimodular even positive definite lattices of rank 16 are known to be linearly dependent in degree at most 3 and linearly independent in degree 4. In this paper we consider the next case of the 24 Niemeier lattices of rank 24. The associated theta series are linearly dependent in degree at most 11 and linearly independent in degree 12. The resulting Siegel cusp form of degree 12 and weight 12 is a Hecke eigenform which seems to have interesting properties.

Algebraic Geometry,Number Theory
Higher cup products on hypercubic lattices: Application to lattice models of topological phases

Yu-An Chen,Sri Tata

DOI: https://doi.org/10.1063/5.0095189

IF: 1.469

2023-09-01

Journal of Mathematical Physics

Abstract:In this paper, we derive the explicit formula for higher cup products on hypercubic lattices based on the recently developed geometrical interpretation on the simplicial complexes. We illustrate how this formalism can elucidate lattice constructions on hypercubic lattices for various models and derive them from spacetime actions. In particular, we demonstrate explicitly that the (3 + 1)D SPT S=12∫w22+w14 (where w1 and w2 are the first and second Stiefel-Whitney classes) is dual to the 3-fermion Walker-Wang model constructed on the cubic lattice. Other examples include the double-semion model and also the “fermionic” toric code in arbitrary dimensions on hypercubic lattices. In addition, we extend previous constructions of exact boson-fermion dualities and the Gu-Wen Grassmann integral to arbitrary dimensions. Another result that may be of independent interest is a derivation of a cochain-level action for the generalized double-semion model, reproducing a recently derived action on the cohomology level.

physics, mathematical

SHELLS OF SELFDUAL LATTICES VIEWED AS SPHERICAL DESIGNS

Spherical designs and modular forms of the $D_4$ lattice

Euclidean designs and coherent configurations

Tight Relative $T$-Designs on Two Shells in Hypercubes, and Hahn and Hermite Polynomials

Spherical Designs and Association Schemes Versus Euclidean Designs and Coherent Conflgurations

A Survey on Spherical Designs and Algebraic Combinatorics on Spheres.

An Elementary Approach To Toy Models For D. H. Lehmer'S Conjecture

Half of an Antipodal Spherical Design

Spherical objects in dimensions two and three

Complex spherical designs from group orbits

Spherical Complexes Attached to Symplectic Lattices

Spherical Designs of Harmonic Index T.

On tight spherical designs

On the Weight Distribution of Spherical T-Designs.

Constructions of Spherical 3-Designs

AN ACTION ON CHIRAL RINGS AND THE MIRROR MAP

Design Theory from the Viewpoint of Algebraic Combinatorics

AN ${\rm SL}(2, {\mathbb C})$ ACTION ON CHIRAL RINGS AND THE MIRROR MAP

A Siegel cusp form of degree 12 and weight 12

Higher cup products on hypercubic lattices: Application to lattice models of topological phases