{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T08:15:23Z","timestamp":1772266523087,"version":"3.50.1"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T00:00:00Z","timestamp":1618963200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T00:00:00Z","timestamp":1618963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"NWO","award":["680-50-1528"],"award-info":[{"award-number":["680-50-1528"]}]},{"DOI":"10.13039\/501100001807","name":"FAPESP","doi-asserted-by":"crossref","award":["2017\/25237-4"],"award-info":[{"award-number":["2017\/25237-4"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100002322","name":"CAPES","doi-asserted-by":"crossref","award":["001"],"award-info":[{"award-number":["001"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"crossref"}]},{"name":"DFG","award":["SFB\/TRR 191"],"award-info":[{"award-number":["SFB\/TRR 191"]}]},{"name":"European Union Horizon 2020","award":["764759"],"award-info":[{"award-number":["764759"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Program."],"published-print":{"date-parts":[[2022,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We propose a hierarchy of <jats:italic>k<\/jats:italic>-point bounds extending the Delsarte\u2013Goethals\u2013Seidel linear programming 2-point bound and the Bachoc\u2013Vallentin semidefinite programming 3-point bound for spherical codes. An optimized implementation of this hierarchy allows us to compute\u00a04, 5, and 6-point bounds for the maximum number of equiangular lines in Euclidean space with a fixed common angle.\n<\/jats:p>","DOI":"10.1007\/s10107-021-01638-x","type":"journal-article","created":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T09:19:19Z","timestamp":1618996759000},"page":"533-567","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["k-Point semidefinite programming bounds for equiangular lines"],"prefix":"10.1007","volume":"194","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5178-1906","authenticated-orcid":false,"given":"David","family":"de Laat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabr\u00edcio Caluza","family":"Machado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando M\u00e1rio de Oliveira","family":"Filho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Vallentin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,4,21]]},"reference":[{"issue":"3","key":"1638_CR1","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/s00039-009-0013-7","volume":"19","author":"C Bachoc","year":"2009","unstructured":"Bachoc, C., Nebe, G., de Oliveira Filho, F.M., Vallentin, F.: Lower bounds for measurable chromatic numbers. Geom. Funct. Anal. 19(3), 645\u2013661 (2009)","journal-title":"Geom. Funct. Anal."},{"issue":"3","key":"1638_CR2","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1090\/S0894-0347-07-00589-9","volume":"21","author":"C Bachoc","year":"2008","unstructured":"Bachoc, C., Vallentin, F.: New upper bounds for kissing numbers from semidefinite programming. J. Am. Math. Soc. 21(3), 909\u2013924 (2008)","journal-title":"J. Am. Math. Soc."},{"issue":"4","key":"1638_CR3","first-page":"1","volume":"16","author":"E Bannai","year":"2004","unstructured":"Bannai, E., Munemasa, A., Venkov, B.: The nonexistence of certain tight spherical designs. Algebra Anal. 16(4), 1\u201323 (2004)","journal-title":"Algebra Anal."},{"issue":"2","key":"1638_CR4","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1080\/10586458.2013.767725","volume":"22","author":"A Barg","year":"2013","unstructured":"Barg, A., Wei-Hsuan, Y.: New bounds for spherical two-distance sets. Exp. Math. 22(2), 187\u2013194 (2013)","journal-title":"Exp. Math."},{"key":"1638_CR5","doi-asserted-by":"crossref","unstructured":"Barg, A., Yu, W.-H.: New bounds for equiangular lines. In: Discrete Geometry and Algebraic Combinatorics, Volume 625 of Contemporary Mathematics, pp. 111\u2013121. Amer. Math. Soc., Providence, RI (2014)","DOI":"10.1090\/conm\/625\/12494"},{"key":"1638_CR6","series-title":"Graduate Studies in Mathematics","doi-asserted-by":"crossref","DOI":"10.1090\/gsm\/054","volume-title":"A Course in Convexity","author":"A Barvinok","year":"2002","unstructured":"Barvinok, A.: A Course in Convexity. Graduate Studies in Mathematics, vol. 54. American Mathematical Society, Providence (2002)"},{"issue":"1","key":"1638_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/141000671","volume":"59","author":"J Bezanson","year":"2017","unstructured":"Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65\u201398 (2017)","journal-title":"SIAM Rev."},{"issue":"1","key":"1638_CR8","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1137\/15M1036920","volume":"30","author":"B Bukh","year":"2016","unstructured":"Bukh, B.: Bounds on equiangular lines and on related spherical codes. SIAM J. Discrete Math. 30(1), 549\u2013554 (2016)","journal-title":"SIAM J. Discrete Math."},{"issue":"1","key":"1638_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1090\/S0894-0347-06-00546-7","volume":"20","author":"H Cohn","year":"2007","unstructured":"Cohn, H., Kumar, A.: Universally optimal distribution of points on spheres. J. Am. Math. Soc. 20(1), 99\u2013148 (2007)","journal-title":"J. Am. Math. Soc."},{"key":"1638_CR10","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1090\/tran\/7976","volume":"373","author":"D de Laat","year":"2020","unstructured":"de Laat, D.: Moment methods in energy minimization: new bounds for Riesz minimal energy problems. Trans. Am. Math. Soc. 373, 1407\u20131453 (2020)","journal-title":"Trans. Am. Math. Soc."},{"issue":"2, Ser. B","key":"1638_CR11","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10107-014-0843-4","volume":"151","author":"D de Laat","year":"2015","unstructured":"de Laat, D., Vallentin, F.: A semidefinite programming hierarchy for packing problems in discrete geometry. Math. Program. 151(2, Ser. B), 529\u2013553 (2015)","journal-title":"Math. Program."},{"key":"1638_CR12","first-page":"vi+97","volume":"10","author":"P Delsarte","year":"1973","unstructured":"Delsarte, P.: An algebraic approach to the association schemes of coding theory. Philips Res. Rep. Suppl. 10, vi+97 (1973)","journal-title":"Philips Res. Rep. Suppl."},{"issue":"3","key":"1638_CR13","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/BF03187604","volume":"6","author":"P Delsarte","year":"1977","unstructured":"Delsarte, P., Goethals, J.-M., Seidel, J.J.: Spherical codes and designs. Geom. Dedic. 6(3), 363\u2013388 (1977)","journal-title":"Geom. Dedic."},{"issue":"2","key":"1638_CR14","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/s00454-017-9882-y","volume":"58","author":"M Dostert","year":"2017","unstructured":"Dostert, M., Guzm\u00e1n, C., de Oliveira Filho, F.M., Vallentin, F.: New upper bounds for the density of translative packings of three-dimensional convex bodies with tetrahedral symmetry. Discrete Comput. Geom. 58(2), 449\u2013481 (2017)","journal-title":"Discrete Comput. Geom."},{"key":"1638_CR15","doi-asserted-by":"crossref","unstructured":"Fieker, C., Hart, W., Hofmann, T., Johansson, F.: Nemo\/Hecke: computer algebra and number theory packages for the Julia programming language. In: ISSAC\u201917\u2014Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation, pp. 157\u2013164. ACM, New York (2017)","DOI":"10.1145\/3087604.3087611"},{"key":"1638_CR16","series-title":"Applied and Numerical Harmonic Analysis","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4948-7","volume-title":"A Mathematical Introduction to Compressive Sensing","author":"S Foucart","year":"2013","unstructured":"Foucart, S., Rauhut, H.: A Mathematical Introduction to Compressive Sensing. Applied and Numerical Harmonic Analysis. Birkh\u00e4user\/Springer, New York (2013)"},{"issue":"5","key":"1638_CR17","doi-asserted-by":"publisher","first-page":"2697","DOI":"10.1109\/TIT.2012.2184845","volume":"58","author":"DC Gijswijt","year":"2012","unstructured":"Gijswijt, D.C., Mittelmann, H.D., Schrijver, A.: Semidefinite code bounds based on quadruple distances. IEEE Trans. Inform. Theory 58(5), 2697\u20132705 (2012)","journal-title":"IEEE Trans. Inform. Theory"},{"key":"1638_CR18","doi-asserted-by":"publisher","first-page":"810","DOI":"10.1016\/j.aim.2018.03.024","volume":"330","author":"A Glazyrin","year":"2018","unstructured":"Glazyrin, A., Wei-Hsuan, Y.: Upper bounds for $$s$$-distance sets and equiangular lines. Adv. Math. 330, 810\u2013833 (2018)","journal-title":"Adv. Math."},{"key":"1638_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.laa.2017.09.008","volume":"536","author":"GRW Greaves","year":"2018","unstructured":"Greaves, G.R.W.: Equiangular line systems and switching classes containing regular graphs. Linear Algebra Appl. 536, 31\u201351 (2018)","journal-title":"Linear Algebra Appl."},{"key":"1638_CR20","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1016\/j.jcta.2015.09.008","volume":"138","author":"GRW Greaves","year":"2016","unstructured":"Greaves, G.R.W., Koolen, J.H., Munemasa, A., Sz\u00f6ll\u0151si, F.: Equiangular lines in Euclidean spaces. J. Comb. Theory Ser. A 138, 208\u2013235 (2016)","journal-title":"J. Comb. Theory Ser. A"},{"key":"1638_CR21","doi-asserted-by":"crossref","unstructured":"Greaves, G.R.W., Syatriadi, J., Yatsyna, P.: Equiangular lines in low dimensional euclidean spaces (2020). arXiv preprint arXiv:2002.08085","DOI":"10.1007\/s00493-020-4523-0"},{"issue":"320","key":"1638_CR22","doi-asserted-by":"publisher","first-page":"3041","DOI":"10.1090\/mcom\/3433","volume":"88","author":"GRW Greaves","year":"2019","unstructured":"Greaves, G.R.W., Yatsyna, P.: On equiangular lines in 17 dimensions and the characteristic polynomial of a Seidel matrix. Math. Comput. 88(320), 3041\u20133061 (2019)","journal-title":"Math. Comput."},{"issue":"1","key":"1638_CR23","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.orl.2008.10.003","volume":"37","author":"N Gvozdenovi\u0107","year":"2009","unstructured":"Gvozdenovi\u0107, N., Laurent, M., Vallentin, F.: Block-diagonal semidefinite programming hierarchies for 0\/1 programming. Oper. Res. Lett. 37(1), 27\u201331 (2009)","journal-title":"Oper. Res. Lett."},{"issue":"22","key":"1638_CR24","first-page":"355","volume":"2","author":"J Haantjes","year":"1948","unstructured":"Haantjes, J.: Equilateral point-sets in elliptic two- and three-dimensional spaces. Nieuw Arch. Wiskunde 2(22), 355\u2013362 (1948)","journal-title":"Nieuw Arch. Wiskunde"},{"key":"1638_CR25","unstructured":"Jiang, Z., Tidor, J., Yao, Y., Zhang, S., Zhao, Y.: Equiangular lines with a fixed angle (2019). arXiv preprint arXiv:1907.12466"},{"key":"1638_CR26","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1109\/TC.2017.2690633","volume":"66","author":"F Johansson","year":"2017","unstructured":"Johansson, F.: Arb: efficient arbitrary-precision midpoint-radius interval arithmetic. IEEE Trans. Comput. 66, 1281\u20131292 (2017)","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"1638_CR27","doi-asserted-by":"publisher","first-page":"2479","DOI":"10.1137\/19M1248881","volume":"33","author":"EJ King","year":"2019","unstructured":"King, E.J., Tang, X.: New upper bounds for equiangular lines by pillar decomposition. SIAM J. Discrete Math. 33(4), 2479\u20132508 (2019)","journal-title":"SIAM J. Discrete Math."},{"issue":"3","key":"1638_CR28","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1112\/blms\/9.3.261","volume":"9","author":"DG Larman","year":"1977","unstructured":"Larman, D.G., Ambrose Rogers, C., Seidel, J.J.: On two-distance sets in Euclidean space. Bull. Lond. Math. Soc 9(3), 261\u2013267 (1977)","journal-title":"Bull. Lond. Math. Soc"},{"issue":"3","key":"1638_CR29","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1137\/S1052623400380079","volume":"12","author":"JB Lasserre","year":"2002","unstructured":"Lasserre, J.B.: An explicit equivalent positive semidefinite program for nonlinear 0\u20131 programs. SIAM J. Optim. 12(3), 756\u2013769 (2002)","journal-title":"SIAM J. Optim."},{"issue":"3","key":"1638_CR30","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1287\/moor.28.3.470.16391","volume":"28","author":"M Laurent","year":"2003","unstructured":"Laurent, M.: A comparison of the Sherali\u2013Adams, Lov\u00e1sz\u2013Schrijver, and Lasserre relaxations for 0\u20131 programming. Math. Oper. Res. 28(3), 470\u2013496 (2003)","journal-title":"Math. Oper. Res."},{"key":"1638_CR31","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1016\/0021-8693(73)90123-3","volume":"24","author":"PWH Lemmens","year":"1973","unstructured":"Lemmens, P.W.H., Seidel, J.J.: Equiangular lines. J. Algebra 24, 494\u2013512 (1973)","journal-title":"J. Algebra"},{"key":"1638_CR32","unstructured":"Lin, Y.R.: Saturated configuration and new large construction of equiangular lines (2018). arXiv preprint arXiv:1801.04502"},{"key":"1638_CR33","doi-asserted-by":"publisher","first-page":"111667","DOI":"10.1016\/j.disc.2019.111667","volume":"343","author":"YR Lin","year":"2019","unstructured":"Lin, Y.R., Yu, W.-H.: Equiangular lines and the Lemmens\u2013Seidel conjecture. Discrete Math. 343, 111667 (2019)","journal-title":"Discrete Math."},{"issue":"1\u20132","key":"1638_CR34","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10623-016-0216-5","volume":"84","author":"B Litjens","year":"2017","unstructured":"Litjens, B., Polak, S., Schrijver, A.: Semidefinite bounds for nonbinary codes based on quadruples. Des. Codes Cryptogr. 84(1\u20132), 87\u2013100 (2017)","journal-title":"Des. Codes Cryptogr."},{"key":"1638_CR35","doi-asserted-by":"crossref","unstructured":"Matou\u0161ek, J.: Mathematical and algorithmic applications of linear algebra. In: Thirty-Three Miniatures, Volume\u00a053 of Student Mathematical Library. American Mathematical Society, Providence, RI (2010)","DOI":"10.1090\/stml\/053"},{"issue":"1","key":"1638_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4007\/annals.2008.168.1","volume":"168","author":"OR Musin","year":"2008","unstructured":"Musin, O.R.: The kissing number in four dimensions. Ann. Math. (2) 168(1), 1\u201332 (2008)","journal-title":"Ann. Math. (2)"},{"key":"1638_CR37","doi-asserted-by":"crossref","unstructured":"Musin, O.R.: Multivariate positive definite functions on spheres. In: Discrete Geometry and Algebraic Combinatorics, Volume 625 of Contemporary Mathematics, pp. 177\u2013190. Amer. Math. Soc., Providence, RI (2014)","DOI":"10.1090\/conm\/625\/12498"},{"key":"1638_CR38","doi-asserted-by":"crossref","unstructured":"Nakata, M.: A numerical evaluation of highly accurate multiple-precision arithmetic version of semidefinite programming solver: SDPA-GMP,-QD and-DD. In: 2010 IEEE International Symposium on Computer-Aided Control System Design (CACSD), pp. 29\u201334. IEEE (2010)","DOI":"10.1109\/CACSD.2010.5612693"},{"issue":"3","key":"1638_CR39","first-page":"163","volume":"24","author":"G Nebe","year":"2012","unstructured":"Nebe, G.: Venkov, Boris: On tight spherical designs. Algebra i Analiz 24(3), 163\u2013171 (2012)","journal-title":"Algebra i Analiz"},{"issue":"115","key":"1638_CR40","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0024-3795(89)90456-4","volume":"114","author":"A Neumaier","year":"1989","unstructured":"Neumaier, A.: Graph representations, two-distance sets, and equiangular lines. Linear Algebra Appl. 114(115), 141\u2013156 (1989)","journal-title":"Linear Algebra Appl."},{"key":"1638_CR41","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.ejc.2015.11.003","volume":"53","author":"T Okuda","year":"2016","unstructured":"Okuda, T., Yu, W.-H.: A new relative bound for equiangular lines and nonexistence of tight spherical designs of harmonic index 4. Eur. J. Comb. 53, 96\u2013103 (2016)","journal-title":"Eur. J. Comb."},{"key":"1638_CR42","unstructured":"Olga, V.K., Juan, C.: Generalizations of Schoenberg\u2019s theorem on positive definite kernels (2019). arXiv preprint arXiv:1904.02538"},{"key":"1638_CR43","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1215\/S0012-7094-42-00908-6","volume":"9","author":"IJ Schoenberg","year":"1942","unstructured":"Schoenberg, I.J.: Positive definite functions on spheres. Duke Math. J. 9, 96\u2013108 (1942)","journal-title":"Duke Math. J."},{"issue":"8","key":"1638_CR44","doi-asserted-by":"publisher","first-page":"2859","DOI":"10.1109\/TIT.2005.851748","volume":"51","author":"A Schrijver","year":"2005","unstructured":"Schrijver, A.: New code upper bounds from the Terwilliger algebra and semidefinite programming. IEEE Trans. Inform. Theory 51(8), 2859\u20132866 (2005)","journal-title":"IEEE Trans. Inform. Theory"},{"key":"1638_CR45","unstructured":"Sloane, N.J.A. (ed.): The On-Line Encyclopedia of Integer Sequences. Published electronically at https:\/\/oeis.org (2018)"},{"key":"1638_CR46","unstructured":"Taylor, D.E.: Some topics in the theory of finite groups. PhD thesis, University of Oxford (1971)"},{"key":"1638_CR47","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/S1385-7258(66)50038-5","volume":"28","author":"JH van Lint","year":"1966","unstructured":"van Lint, J.H., Seidel, J.J.: Equilateral point sets in elliptic geometry. Indag. Math. 28, 335\u2013348 (1966)","journal-title":"Indag. Math."},{"issue":"2","key":"1638_CR48","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1137\/16M109377X","volume":"31","author":"W-H Yu","year":"2017","unstructured":"Yu, W.-H.: New bounds for equiangular lines and spherical two-distance sets. SIAM J. Discrete Math. 31(2), 908\u2013917 (2017)","journal-title":"SIAM J. Discrete Math."}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-021-01638-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10107-021-01638-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-021-01638-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T19:10:15Z","timestamp":1656357015000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10107-021-01638-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,21]]},"references-count":48,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2022,7]]}},"alternative-id":["1638"],"URL":"https:\/\/doi.org\/10.1007\/s10107-021-01638-x","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,4,21]]},"assertion":[{"value":"18 November 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 March 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 April 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}