{"title":"Log-optimal(𝑑+2)-𝑑-dimensions中的配置","authors":"P. Dragnev, O. Musin","doi":"10.1090/btran/118","DOIUrl":null,"url":null,"abstract":"<p>We enumerate and classify all stationary logarithmic configurations of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d plus 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>d</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">d+2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> points on the unit sphere in <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d\">\n <mml:semantics>\n <mml:mi>d</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">d</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>–dimensions. In particular, we show that the logarithmic energy attains its local minima at configurations that consist of two orthogonal to each other regular simplexes of cardinality <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"m\">\n <mml:semantics>\n <mml:mi>m</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">m</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n\">\n <mml:semantics>\n <mml:mi>n</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. The global minimum occurs when <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"m equals n\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>m</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">m=n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> if <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d\">\n <mml:semantics>\n <mml:mi>d</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">d</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is even and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"m equals n plus 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>m</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">m=n+1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> otherwise. This characterizes a new class of configurations that minimize the logarithmic energy on <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper S Superscript d minus 1\">\n <mml:semantics>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">S</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>d</mml:mi>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {S}^{d-1}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> for all <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d\">\n <mml:semantics>\n <mml:mi>d</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">d</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. The other two classes known in the literature, the regular simplex (<inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d plus 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>d</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">d+1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> points on <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper S Superscript d minus 1\">\n <mml:semantics>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">S</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>d</mml:mi>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {S}^{d-1}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>) and the cross-polytope (<inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2 d\">\n <mml:semantics>\n <mml:mrow>\n <mml:mn>2</mml:mn>\n <mml:mi>d</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">2d</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> points on <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper S Superscript d minus 1\">\n <mml:semantics>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">S</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>d</mml:mi>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {S}^{d-1}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>), are both universally optimal configurations.</p>","PeriodicalId":377306,"journal":{"name":"Transactions of the American Mathematical Society, Series B","volume":"167 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Log-optimal (𝑑+2)-configurations in 𝑑–dimensions\",\"authors\":\"P. Dragnev, O. Musin\",\"doi\":\"10.1090/btran/118\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We enumerate and classify all stationary logarithmic configurations of <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"d plus 2\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>d</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>2</mml:mn>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">d+2</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> points on the unit sphere in <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"d\\\">\\n <mml:semantics>\\n <mml:mi>d</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">d</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>–dimensions. In particular, we show that the logarithmic energy attains its local minima at configurations that consist of two orthogonal to each other regular simplexes of cardinality <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"m\\\">\\n <mml:semantics>\\n <mml:mi>m</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">m</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> and <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n\\\">\\n <mml:semantics>\\n <mml:mi>n</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. The global minimum occurs when <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"m equals n\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>m</mml:mi>\\n <mml:mo>=</mml:mo>\\n <mml:mi>n</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">m=n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> if <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"d\\\">\\n <mml:semantics>\\n <mml:mi>d</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">d</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> is even and <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"m equals n plus 1\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>m</mml:mi>\\n <mml:mo>=</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">m=n+1</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> otherwise. This characterizes a new class of configurations that minimize the logarithmic energy on <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper S Superscript d minus 1\\\">\\n <mml:semantics>\\n <mml:msup>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"double-struck\\\">S</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>d</mml:mi>\\n <mml:mo>−<!-- − --></mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n </mml:msup>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {S}^{d-1}</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> for all <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"d\\\">\\n <mml:semantics>\\n <mml:mi>d</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">d</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. The other two classes known in the literature, the regular simplex (<inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"d plus 1\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>d</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">d+1</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> points on <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper S Superscript d minus 1\\\">\\n <mml:semantics>\\n <mml:msup>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"double-struck\\\">S</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>d</mml:mi>\\n <mml:mo>−<!-- − --></mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n </mml:msup>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {S}^{d-1}</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>) and the cross-polytope (<inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"2 d\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mn>2</mml:mn>\\n <mml:mi>d</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">2d</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> points on <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper S Superscript d minus 1\\\">\\n <mml:semantics>\\n <mml:msup>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"double-struck\\\">S</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>d</mml:mi>\\n <mml:mo>−<!-- − --></mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n </mml:msup>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {S}^{d-1}</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>), are both universally optimal configurations.</p>\",\"PeriodicalId\":377306,\"journal\":{\"name\":\"Transactions of the American Mathematical Society, Series B\",\"volume\":\"167 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-02-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Transactions of the American Mathematical Society, Series B\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1090/btran/118\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/btran/118","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We enumerate and classify all stationary logarithmic configurations of d+2d+2 points on the unit sphere in dd–dimensions. In particular, we show that the logarithmic energy attains its local minima at configurations that consist of two orthogonal to each other regular simplexes of cardinality mm and nn. The global minimum occurs when m=nm=n if dd is even and m=n+1m=n+1 otherwise. This characterizes a new class of configurations that minimize the logarithmic energy on Sd−1\mathbb {S}^{d-1} for all dd. The other two classes known in the literature, the regular simplex (d+1d+1 points on Sd−1\mathbb {S}^{d-1}) and the cross-polytope (2d2d points on Sd−1\mathbb {S}^{d-1}), are both universally optimal configurations.