Construction of spherical cubature formulas using lattices

de la Harpe, P.; Pache, C.; Venkov, B.

doi:10.1090/S1061-0022-07-00946-6

Construction of spherical cubature formulas using lattices

Authors: P. de la Harpe, C. Pache and B. Venkov
Original publication: Algebra i Analiz, tom 18 (2006), nomer 1.
Journal: St. Petersburg Math. J. 18 (2007), 119-139
MSC (2000): Primary 65D32, 05B30; Secondary 11F11, 11H06
DOI: https://doi.org/10.1090/S1061-0022-07-00946-6
Published electronically: January 19, 2007
MathSciNet review: 2225217
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We construct cubature formulas on spheres supported by homothetic images of shells in some Euclidean lattices. Our analysis of these cubature formulas uses results from the theory of modular forms. Examples are worked out on $\mathbb{S}^{n-1}$ for , , , , , , , and , and the sizes of the cubature formulas we obtain are compared with the lower bounds given by Linear Programming.

[Andr00] N. N. Andreev, A minimal design of order 11 on the three-dimensional sphere, Mat. Zametki 67 (2000), no. 4, 489–497 (Russian, with Russian summary); English transl., Math. Notes 67 (2000), no. 3-4, 417–424. MR 1769895, https://doi.org/10.1007/BF02676396
[BacVen01] Christine Bachoc and Boris Venkov, Modular forms, lattices and spherical designs, Réseaux euclidiens, designs sphériques et formes modulaires, Monogr. Enseign. Math., vol. 37, Enseignement Math., Geneva, 2001, pp. 87–111. MR 1878746
[BanDam79] E. Bannai and R. M. Damerell, Tight spherical designs. I, J. Math. Soc. Japan 31 (1979), no. 1, 199–207. MR 519045, https://doi.org/10.2969/jmsj/03110199
[BanDam80] E. Bannai and R. M. Damerell, Tight spherical designs. II, J. London Math. Soc. (2) 21 (1980), no. 1, 13–30. MR 576179, https://doi.org/10.1112/jlms/s2-21.1.13
[BaMuVe02] E. Bannai, A. Munemasa, and B. Venkov, The nonexistence of certain tight spherical designs, Algebra i Analiz 16 (2004), no. 4, 1–23; English transl., St. Petersburg Math. J. 16 (2005), no. 4, 609–625. MR 2090848, https://doi.org/10.1090/S1061-0022-05-00868-X
[Bajn91] Bela Bajnok, Chebyshev-type quadrature formulas on the sphere, Proceedings of the Twenty-second Southeastern Conference on Combinatorics, Graph Theory, and Computing (Baton Rouge, LA, 1991), 1991, pp. 214–218. MR 1152134
[ConSlo99] J. H. Conway and N. J. A. Sloane, Sphere packings, lattices and groups, 3rd ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 290, Springer-Verlag, New York, 1999. With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. MR 1662447
[DeGoSe77] P. Delsarte, J. M. Goethals, and J. J. Seidel, Spherical codes and designs, Geometriae Dedicata 6 (1977), no. 3, 363–388. MR 0485471
[Dick19] Leonard Eugene Dickson, History of the theory of numbers. Vol. I: Divisibility and primality., Chelsea Publishing Co., New York, 1966. MR 0245499
Leonard Eugene Dickson, History of the theory of numbers. Vol. II: Diophantine analysis, Chelsea Publishing Co., New York, 1966. MR 0245500
Leonard Eugene Dickson, History of the theory of numbers. Vol. III: Quadratic and higher forms., With a chapter on the class number by G. H. Cresse, Chelsea Publishing Co., New York, 1966. MR 0245501
[Ebel94] Wolfgang Ebeling, Lattices and codes, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 1994. A course partially based on lectures by F. Hirzebruch. MR 1280458
Wolfgang Ebeling, Lattices and codes, Second revised edition, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 2002. A course partially based on lectures by F. Hirzebruch. MR 1938666
[GoeSei79] J.-M. Goethals and J. J. Seidel, Spherical designs, Relations between combinatorics and other parts of mathematics (Proc. Sympos. Pure Math., Ohio State Univ., Columbus, Ohio, 1978) Proc. Sympos. Pure Math., XXXIV, Amer. Math. Soc., Providence, R.I., 1979, pp. 255–272. MR 525330
[GoeSei81] J.-M. Goethals and J. J. Seidel, Cubature formulae, polytopes, and spherical designs, The geometric vein, Springer, New York-Berlin, 1981, pp. 203–218. MR 661779
[HadSlo94] R. H. Hardin and N. J. A. Sloane, Expressing (𝑎²+𝑏²+𝑐²+𝑑²)³ as a sum of 23 sixth powers, J. Combin. Theory Ser. A 68 (1994), no. 2, 481–485. MR 1297185, https://doi.org/10.1016/0097-3165(94)90118-X
[HadSlo96] R. H. Hardin and N. J. A. Sloane, McLaren’s improved snub cube and other new spherical designs in three dimensions, Discrete Comput. Geom. 15 (1996), no. 4, 429–441. MR 1384885, https://doi.org/10.1007/BF02711518
[HarPac04] Pierre de la Harpe and Claude Pache, Spherical designs and finite group representations (some results of E. Bannai), European J. Combin. 25 (2004), no. 2, 213–227. MR 2070542, https://doi.org/10.1016/S0195-6698(03)00101-X
[HarPac05] Pierre de la Harpe and Claude Pache, Cubature formulas, geometrical designs, reproducing kernels, and Markov operators, Infinite groups: geometric, combinatorial and dynamical aspects, Progr. Math., vol. 248, Birkhäuser, Basel, 2005, pp. 219–267. MR 2195455, https://doi.org/10.1007/3-7643-7447-0_6
[Kupe06a] G. Kuperberg, Numerical cubature using error-correcting codes, SIAM J. Numer. Anal. 44 (2006), no. 3, 897-907 (electronic).
[Kupe06b] -, Numerical cubature from Archimedes' hat-box theorem, SIAM J. Numer. Anal. 44 (2006), no. 3, 908-935 (electronic).
[Lehm47] D. H. Lehmer, The vanishing of Ramanujan’s function 𝜏(𝑛), Duke Math. J. 14 (1947), 429–433. MR 0021027
[MartV01] Jacques Martinet (ed.), Réseaux euclidiens, designs sphériques et formes modulaires, Monographies de L’Enseignement Mathématique [Monographs of L’Enseignement Mathématique], vol. 37, L’Enseignement Mathématique, Geneva, 2001 (French). Autour des travaux de Boris Venkov. [On the works of Boris Venkov]. MR 1881618
[NikNik02] Svetla Nikova and Ventzislav Nikov, Improvement of the Delsarte bound for 𝜏-designs when it is not the best bound possible, Des. Codes Cryptogr. 28 (2003), no. 2, 201–222. MR 1962806, https://doi.org/10.1023/A:1022544725332
[Pach05] Claude Pache, Shells of selfdual lattices viewed as spherical designs, Internat. J. Algebra Comput. 15 (2005), no. 5-6, 1085–1127. MR 2197823, https://doi.org/10.1142/S0218196705002797
[Queb95] H.-G. Quebbemann, Modular lattices in Euclidean spaces, J. Number Theory 54 (1995), no. 2, 190–202. MR 1354045, https://doi.org/10.1006/jnth.1995.1111
[Rank77] Robert A. Rankin, Modular forms and functions, Cambridge University Press, Cambridge-New York-Melbourne, 1977. MR 0498390
[Sali75] G. N. Salihov, Cubature formulae for a hypersphere that are invariant with respect to the group of the regular 600-gon, Dokl. Akad. Nauk SSSR 223 (1975), no. 5, 1075–1078 (Russian). MR 0408213
[Serr85] Jean-Pierre Serre, Sur la lacunarité des puissances de 𝜂, Glasgow Math. J. 27 (1985), 203–221 (French). MR 819840, https://doi.org/10.1017/S0017089500006194
Jean-Pierre Serre, Œuvres. Collected papers. IV, Springer-Verlag, Berlin, 2000 (French). 1985–1998. MR 1730973
[SeyZas84] P. D. Seymour and Thomas Zaslavsky, Averaging sets: a generalization of mean values and spherical designs, Adv. in Math. 52 (1984), no. 3, 213–240. MR 744857, https://doi.org/10.1016/0001-8708(84)90022-7
[Smit95] Larry Smith, Polynomial invariants of finite groups, Research Notes in Mathematics, vol. 6, A K Peters, Ltd., Wellesley, MA, 1995. MR 1328644
[Sobo62] S. L. Sobolev, Cubature formulas on the sphere which are invariant under transformations of finite rotation groups, Dokl. Akad. Nauk SSSR 146 (1962), 310–313 (Russian). MR 0141225
[Sobo96] S. L. Sobolev and V. L. Vaskevich, \cyr Kurbaturnye formuly, Izdatel′stvo Rossiĭskoĭ Akademii Nauk, Sibirskoe Otdelenie, Institut Matematiki im. S. L. Soboleva, Novosibirsk, 1996 (Russian). Edited and with a contribution by M. D. Ramazanov. MR 1463155
S. L. Sobolev and V. L. Vaskevich, The theory of cubature formulas, Mathematics and its Applications, vol. 415, Kluwer Academic Publishers Group, Dordrecht, 1997. Translated from the 1996 Russian original and with a foreword by S. S. Kutateladze; Revised by Vaskevich. MR 1462617
S. L. Sobolev and V. L. Vaskevich, \cyr Kurbaturnye formuly, Izdatel′stvo Rossiĭskoĭ Akademii Nauk, Sibirskoe Otdelenie, Institut Matematiki im. S. L. Soboleva, Novosibirsk, 1996 (Russian). Edited and with a contribution by M. D. Ramazanov. MR 1463155
S. L. Sobolev and V. L. Vaskevich, The theory of cubature formulas, Mathematics and its Applications, vol. 415, Kluwer Academic Publishers Group, Dordrecht, 1997. Translated from the 1996 Russian original and with a foreword by S. S. Kutateladze; Revised by Vaskevich. MR 1462617
[Venk84] B. B. Venkov, Even unimodular extremal lattices, Trudy Mat. Inst. Steklov. 165 (1984), 43–48 (Russian). Algebraic geometry and its applications. MR 752931
[VenMar01] Boris Venkov, Réseaux et designs sphériques, Réseaux euclidiens, designs sphériques et formes modulaires, Monogr. Enseign. Math., vol. 37, Enseignement Math., Geneva, 2001, pp. 10–86 (French, with English and French summaries). MR 1878745
[Vile68] N. Ja. Vilenkin, \cyr Spetsial′nye funktsii i teoriya predstavleniĭ grupp, Izdat. “Nauka”, Moscow, 1965 (Russian). MR 0209523
N. Ja. Vilenkin, Special functions and the theory of group representations, Translated from the Russian by V. N. Singh. Translations of Mathematical Monographs, Vol. 22, American Mathematical Society, Providence, R. I., 1968. MR 0229863
[Yudi97] V. A. Yudin, Lower bounds for spherical designs, Izv. Ross. Akad. Nauk Ser. Mat. 61 (1997), no. 3, 213–223 (Russian, with Russian summary); English transl., Izv. Math. 61 (1997), no. 3, 673–683. MR 1478566, https://doi.org/10.1070/im1997v061n03ABEH000132