Log-optimal(𝑑+2)-𝑑-dimensions中的配置

P. Dragnev, O. Musin
{"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}
引用次数: 0

摘要

我们列举并分类了单位球面上d+2个d+2个点在d - d维上的所有平稳对数构型。特别地,我们证明了对数能量在由两个彼此正交的基数m m和n n的正则简单体组成的构型上达到其局部极小值。全局最小值出现在m=n时,如果d d是偶数m=n =n,否则m=n+1 m=n+1。这刻画了一类新的构型,它使所有d d上的d-1 \mathbb {S}^{d-1}的对数能量最小。文献中已知的另外两类,正则单纯形(d+1个d+1个点在S d−1 \mathbb {S}^{d-1}上)和交叉多面体(2d个2d点在S d−1 \mathbb {S}^{d-1}上),都是普遍最优构型。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Log-optimal (𝑑+2)-configurations in 𝑑–dimensions

We enumerate and classify all stationary logarithmic configurations of d + 2 d+2 points on the unit sphere in d d –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 m m and n n . The global minimum occurs when m = n m=n if d d is even and m = n + 1 m=n+1 otherwise. This characterizes a new class of configurations that minimize the logarithmic energy on S d 1 \mathbb {S}^{d-1} for all d d . The other two classes known in the literature, the regular simplex ( d + 1 d+1 points on S d 1 \mathbb {S}^{d-1} ) and the cross-polytope ( 2 d 2d points on S d 1 \mathbb {S}^{d-1} ), are both universally optimal configurations.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
1.70
自引率
0.00%
发文量
0
期刊最新文献
Duality theorems for curves over local fields Density of continuous functions in Sobolev spaces with applications to capacity 𝐶⁰-limits of Legendrian knots Multiple orthogonal polynomials, 𝑑-orthogonal polynomials, production matrices, and branched continued fractions Closed 𝑘-Schur Katalan functions as 𝐾-homology Schubert representatives of the affine Grassmannian
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1