首页 > 最新文献

Foundations of Computational Mathematics最新文献

英文 中文
The radius of statistical efficiency 统计效率的半径
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-02-06 DOI: 10.1007/s10208-026-09743-z
Joshua Cutler, Mateo Díaz, Dmitriy Drusvyatskiy
{"title":"The radius of statistical efficiency","authors":"Joshua Cutler, Mateo Díaz, Dmitriy Drusvyatskiy","doi":"10.1007/s10208-026-09743-z","DOIUrl":"https://doi.org/10.1007/s10208-026-09743-z","url":null,"abstract":"","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"108 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2026-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146138869","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Ulam Meets Turing: Constructing Quadratic Maps with Non-Computable Physical Measures 乌兰与图灵:构造具有不可计算物理测度的二次映射
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-02-02 DOI: 10.1007/s10208-026-09744-y
Cristóbal Rojas, Michael Yampolsky
{"title":"Ulam Meets Turing: Constructing Quadratic Maps with Non-Computable Physical Measures","authors":"Cristóbal Rojas, Michael Yampolsky","doi":"10.1007/s10208-026-09744-y","DOIUrl":"https://doi.org/10.1007/s10208-026-09744-y","url":null,"abstract":"","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"253 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2026-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146101775","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Spectrally Accurate Fully Discrete Schemes for Some Nonlocal and Nonlinear Integrable PDEs via Explicit Formulas 用显式公式求解非局部非线性可积偏微分方程的频谱精确全离散格式
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2026-02-02 DOI: 10.1007/s10208-026-09740-2
Yvonne Alama Bronsard, Xi Chen, Matthieu Dolbeault
{"title":"Spectrally Accurate Fully Discrete Schemes for Some Nonlocal and Nonlinear Integrable PDEs via Explicit Formulas","authors":"Yvonne Alama Bronsard, Xi Chen, Matthieu Dolbeault","doi":"10.1007/s10208-026-09740-2","DOIUrl":"https://doi.org/10.1007/s10208-026-09740-2","url":null,"abstract":"","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"1 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2026-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146101774","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Discrete Trace Theory for Non-Conforming Polytopal Hybrid Discretisation Methods 非协调多边形混合离散化方法的离散轨迹理论
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2025-12-03 DOI: 10.1007/s10208-025-09734-6
Santiago Badia, Jerome Droniou, Jai Tushar
In this work we develop a discrete trace theory that covers non-conforming hybrid discretization methods and holds on polytopal meshes. A notion of discrete trace seminorm is defined, and trace and lifting results with respect to a discrete $$H^1$$ H 1 -seminorm on the hybrid fully discrete space are proven. Finally, we conduct a numerical test in which we compute the proposed discrete operators and investigate their spectrum to verify the theoretical analysis. The development of this theory is motivated by the design and analysis of preconditioners for hybrid methods, e.g., of substructuring domain decomposition type.
在这项工作中,我们发展了一个离散轨迹理论,涵盖了非一致性混合离散化方法,并适用于多边形网格。定义了离散迹半模的概念,证明了在混合完全离散空间上对离散$$H^1$$ H -半模的迹和提升结果。最后,我们进行了一个数值测试,我们计算了所提出的离散算子并研究了它们的频谱以验证理论分析。该理论的发展是由对混合方法(如子结构域分解型)的预调节器的设计和分析所推动的。
{"title":"A Discrete Trace Theory for Non-Conforming Polytopal Hybrid Discretisation Methods","authors":"Santiago Badia, Jerome Droniou, Jai Tushar","doi":"10.1007/s10208-025-09734-6","DOIUrl":"https://doi.org/10.1007/s10208-025-09734-6","url":null,"abstract":"In this work we develop a discrete trace theory that covers non-conforming hybrid discretization methods and holds on polytopal meshes. A notion of discrete trace seminorm is defined, and <jats:italic>trace</jats:italic> and <jats:italic>lifting</jats:italic> results with respect to a discrete <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$H^1$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msup> <mml:mi>H</mml:mi> <mml:mn>1</mml:mn> </mml:msup> </mml:math> </jats:alternatives> </jats:inline-formula> -seminorm on the hybrid fully discrete space are proven. Finally, we conduct a numerical test in which we compute the proposed discrete operators and investigate their spectrum to verify the theoretical analysis. The development of this theory is motivated by the design and analysis of preconditioners for hybrid methods, e.g., of substructuring domain decomposition type.","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"132 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2025-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145680181","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Nullstellensatz and Positivstellensatz for Sparse Tropical Polynomial Systems 热带稀疏多项式系统的零拟合性与正拟合性
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2025-12-01 DOI: 10.1007/s10208-025-09708-8
Marianne Akian, Antoine Béreau, Stéphane Gaubert
{"title":"The Nullstellensatz and Positivstellensatz for Sparse Tropical Polynomial Systems","authors":"Marianne Akian, Antoine Béreau, Stéphane Gaubert","doi":"10.1007/s10208-025-09708-8","DOIUrl":"https://doi.org/10.1007/s10208-025-09708-8","url":null,"abstract":"","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"9 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145657532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Optimal sampling for least-squares approximation 最小二乘近似的最优抽样
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2025-12-01 DOI: 10.1007/s10208-025-09738-2
Ben Adcock
{"title":"Optimal sampling for least-squares approximation","authors":"Ben Adcock","doi":"10.1007/s10208-025-09738-2","DOIUrl":"https://doi.org/10.1007/s10208-025-09738-2","url":null,"abstract":"","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"29 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145657534","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Simple matrix expressions for the curvatures of Grassmannian 格拉斯曼曲率的简单矩阵表达式
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2025-08-27 DOI: 10.1007/s10208-025-09723-9
Zehua Lai, Lek-Heng Lim, Ke Ye
<p>We show that modeling a Grassmannian as symmetric orthogonal matrices <span><span style=""></span><span data-mathml='<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mspace width="thinmathspace" /><mrow><mi mathvariant="normal">G</mi><mi mathvariant="normal">r</mi></mrow><mspace width="thinmathspace" /></mrow></mrow><mo stretchy="false">(</mo><mi>k</mi><mo>,</mo><msup><mrow><mi mathvariant="double-struck">R</mi></mrow><mi>n</mi></msup><mo stretchy="false">)</mo><mo>&#x2245;</mo><mo fence="false" stretchy="false">{</mo><mi>Q</mi><mo>&#x2208;</mo><msup><mrow><mi mathvariant="double-struck">R</mi></mrow><mrow><mi>n</mi><mo>&#x00D7;</mo><mi>n</mi></mrow></msup><mo>:</mo><msup><mi>Q</mi><mrow><mstyle displaystyle="false" scriptlevel="2"><mrow><mi mathvariant="sans-serif">T</mi></mrow></mstyle></mrow></msup><mi>Q</mi><mo>=</mo><mi>I</mi><mo>,</mo><mspace width="thickmathspace" /><msup><mi>Q</mi><mrow><mstyle displaystyle="false" scriptlevel="2"><mrow><mi mathvariant="sans-serif">T</mi></mrow></mstyle></mrow></msup><mo>=</mo><mi>Q</mi><mo>,</mo><mspace width="thickmathspace" /><mrow><mrow><mspace width="thinmathspace" /><mrow><mi mathvariant="normal">t</mi><mi mathvariant="normal">r</mi></mrow><mspace width="thinmathspace" /></mrow></mrow><mo stretchy="false">(</mo><mi>Q</mi><mo stretchy="false">)</mo><mo>=</mo><mn>2</mn><mi>k</mi><mo>&#x2212;</mo><mi>n</mi><mo fence="false" stretchy="false">}</mo></math>' role="presentation" style="font-size: 100%; display: inline-block; position: relative;" tabindex="0"><svg aria-hidden="true" focusable="false" height="2.614ex" role="img" style="vertical-align: -0.706ex;" viewbox="0 -821.4 27441.3 1125.3" width="63.735ex" xmlns:xlink="http://www.w3.org/1999/xlink"><g fill="currentColor" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"><g transform="translate(166,0)"><use x="0" xlink:href="#MJMAIN-47" y="0"></use><use x="785" xlink:href="#MJMAIN-72" y="0"></use></g><use x="1511" xlink:href="#MJMAIN-28" y="0"></use><use x="1900" xlink:href="#MJMATHI-6B" y="0"></use><use x="2422" xlink:href="#MJMAIN-2C" y="0"></use><g transform="translate(2867,0)"><use x="0" xlink:href="#MJAMS-52" y="0"></use><use transform="scale(0.707)" x="1021" xlink:
我们证明了将Grassmannian建模为对称正交矩阵Gr(k,Rn) = {Q∈Rn×n:QTQ=I,QT=Q,tr(Q)=2k−n}{{,textrm{Gr},}}(k,mathbb {R}^n) cong {Q in mathbb {R}^{n times n}:Q ^{scriptscriptstyle textsf{T}}Q =I, ;Q^{scriptscriptstyle textsf{T}}= Q,;{{,textrm{tr},}}(Q)=2k - n}为各种曲率和曲率相关量(包括固有的和外在的)提供了非常简单的矩阵公式。这些包括黎曼曲率、里奇曲率、雅可比曲率、截面曲率、标量曲率、平均曲率、主曲率和高斯曲率;Schouten, Weyl, Cotton, Bach, Plebański,共曲率,非度量性和扭转张量;第一,第二,第三种基本形式;高斯和温加滕地图;上下不变量。我们将根据标准矩阵运算得出上述数量的显式,简单的表达式,这些矩阵运算可以用数值线性代数稳定地计算。前面提到的许多量以前从未为格拉斯曼提出过。
{"title":"Simple matrix expressions for the curvatures of Grassmannian","authors":"Zehua Lai, Lek-Heng Lim, Ke Ye","doi":"10.1007/s10208-025-09723-9","DOIUrl":"https://doi.org/10.1007/s10208-025-09723-9","url":null,"abstract":"&lt;p&gt;We show that modeling a Grassmannian as symmetric orthogonal matrices &lt;span&gt;&lt;span style=\"\"&gt;&lt;/span&gt;&lt;span data-mathml='&lt;math xmlns=\"http://www.w3.org/1998/Math/MathML\"&gt;&lt;mrow&gt;&lt;mrow&gt;&lt;mspace width=\"thinmathspace\" /&gt;&lt;mrow&gt;&lt;mi mathvariant=\"normal\"&gt;G&lt;/mi&gt;&lt;mi mathvariant=\"normal\"&gt;r&lt;/mi&gt;&lt;/mrow&gt;&lt;mspace width=\"thinmathspace\" /&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;mo stretchy=\"false\"&gt;(&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi mathvariant=\"double-struck\"&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/msup&gt;&lt;mo stretchy=\"false\"&gt;)&lt;/mo&gt;&lt;mo&gt;&amp;#x2245;&lt;/mo&gt;&lt;mo fence=\"false\" stretchy=\"false\"&gt;{&lt;/mo&gt;&lt;mi&gt;Q&lt;/mi&gt;&lt;mo&gt;&amp;#x2208;&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi mathvariant=\"double-struck\"&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;&amp;#x00D7;&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;:&lt;/mo&gt;&lt;msup&gt;&lt;mi&gt;Q&lt;/mi&gt;&lt;mrow&gt;&lt;mstyle displaystyle=\"false\" scriptlevel=\"2\"&gt;&lt;mrow&gt;&lt;mi mathvariant=\"sans-serif\"&gt;T&lt;/mi&gt;&lt;/mrow&gt;&lt;/mstyle&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mi&gt;Q&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;I&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mspace width=\"thickmathspace\" /&gt;&lt;msup&gt;&lt;mi&gt;Q&lt;/mi&gt;&lt;mrow&gt;&lt;mstyle displaystyle=\"false\" scriptlevel=\"2\"&gt;&lt;mrow&gt;&lt;mi mathvariant=\"sans-serif\"&gt;T&lt;/mi&gt;&lt;/mrow&gt;&lt;/mstyle&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;Q&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mspace width=\"thickmathspace\" /&gt;&lt;mrow&gt;&lt;mrow&gt;&lt;mspace width=\"thinmathspace\" /&gt;&lt;mrow&gt;&lt;mi mathvariant=\"normal\"&gt;t&lt;/mi&gt;&lt;mi mathvariant=\"normal\"&gt;r&lt;/mi&gt;&lt;/mrow&gt;&lt;mspace width=\"thinmathspace\" /&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;mo stretchy=\"false\"&gt;(&lt;/mo&gt;&lt;mi&gt;Q&lt;/mi&gt;&lt;mo stretchy=\"false\"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;&amp;#x2212;&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo fence=\"false\" stretchy=\"false\"&gt;}&lt;/mo&gt;&lt;/math&gt;' role=\"presentation\" style=\"font-size: 100%; display: inline-block; position: relative;\" tabindex=\"0\"&gt;&lt;svg aria-hidden=\"true\" focusable=\"false\" height=\"2.614ex\" role=\"img\" style=\"vertical-align: -0.706ex;\" viewbox=\"0 -821.4 27441.3 1125.3\" width=\"63.735ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"&gt;&lt;g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"&gt;&lt;g transform=\"translate(166,0)\"&gt;&lt;use x=\"0\" xlink:href=\"#MJMAIN-47\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"785\" xlink:href=\"#MJMAIN-72\" y=\"0\"&gt;&lt;/use&gt;&lt;/g&gt;&lt;use x=\"1511\" xlink:href=\"#MJMAIN-28\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"1900\" xlink:href=\"#MJMATHI-6B\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"2422\" xlink:href=\"#MJMAIN-2C\" y=\"0\"&gt;&lt;/use&gt;&lt;g transform=\"translate(2867,0)\"&gt;&lt;use x=\"0\" xlink:href=\"#MJAMS-52\" y=\"0\"&gt;&lt;/use&gt;&lt;use transform=\"scale(0.707)\" x=\"1021\" xlink:","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"23 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2025-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144924521","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Improved global performance guarantees of second-order methods in convex minimization 改进的二阶凸最小化方法的全局性能保证
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2025-08-13 DOI: 10.1007/s10208-025-09726-6
Pavel Dvurechensky, Yurii Nesterov

In this paper, we attempt to compare two distinct branches of research on second-order optimization methods. The first one studies self-concordant functions and barriers, the main assumption being that the third derivative of the objective is bounded by the second derivative. The second branch studies cubic regularized Newton methods (CRNMs) with the main assumption that the second derivative is Lipschitz continuous. We develop a new theoretical analysis for a path-following scheme (PFS) for general self-concordant functions, as opposed to the classical path-following scheme developed for self-concordant barriers. We show that the complexity bound for this scheme is better than that of the Damped Newton Method (DNM) and show that our method has global superlinear convergence. We propose also a new predictor-corrector path-following scheme (PCPFS) that leads to further improvement of constant factors in the complexity guarantees for minimizing general self-concordant functions. We also apply path-following schemes to different classes of constrained optimization problems and obtain the resulting complexity bounds. Finally, we analyze an important subclass of general self-concordant functions, namely a class of strongly convex functions with Lipschitz continuous second derivative, and show that for this subclass CRNMs give even better complexity bounds.

在本文中,我们试图比较二阶优化方法的两个不同的研究分支。第一类研究自协调函数和障碍,主要假设目标的三阶导数有二阶导数的界。第二个分支研究三次正则牛顿方法(CRNMs),主要假设二阶导数为Lipschitz连续。本文提出了一种新的理论分析方法,用于一般自协调函数的路径跟踪格式(PFS),而不是针对自协调障碍开发的经典路径跟踪格式。证明了该方案的复杂度界优于阻尼牛顿法(DNM),并证明了该方案具有全局超线性收敛性。我们还提出了一种新的预测校正路径跟踪方案(PCPFS),该方案进一步改进了最小化一般自调和函数的复杂性保证中的常数因子。我们还将路径跟踪方案应用于不同类型的约束优化问题,并得到了结果的复杂度界。最后,我们分析了一般自洽函数的一个重要子类,即一类具有Lipschitz连续二阶导数的强凸函数,并证明了对于该类,crnm给出了更好的复杂度界。
{"title":"Improved global performance guarantees of second-order methods in convex minimization","authors":"Pavel Dvurechensky, Yurii Nesterov","doi":"10.1007/s10208-025-09726-6","DOIUrl":"https://doi.org/10.1007/s10208-025-09726-6","url":null,"abstract":"<p>In this paper, we attempt to compare two distinct branches of research on second-order optimization methods. The first one studies self-concordant functions and barriers, the main assumption being that the third derivative of the objective is bounded by the second derivative. The second branch studies cubic regularized Newton methods (CRNMs) with the main assumption that the second derivative is Lipschitz continuous. We develop a new theoretical analysis for a path-following scheme (PFS) for general self-concordant functions, as opposed to the classical path-following scheme developed for self-concordant barriers. We show that the complexity bound for this scheme is better than that of the Damped Newton Method (DNM) and show that our method has global superlinear convergence. We propose also a new predictor-corrector path-following scheme (PCPFS) that leads to further improvement of constant factors in the complexity guarantees for minimizing general self-concordant functions. We also apply path-following schemes to different classes of constrained optimization problems and obtain the resulting complexity bounds. Finally, we analyze an important subclass of general self-concordant functions, namely a class of strongly convex functions with Lipschitz continuous second derivative, and show that for this subclass CRNMs give even better complexity bounds.</p>","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"14 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2025-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144924525","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Doubly Regularized Entropic Wasserstein Barycenter 双重正则化熵Wasserstein质心
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2025-08-12 DOI: 10.1007/s10208-025-09724-8
Lénaïc Chizat
<p>We study a general formulation of regularized Wasserstein barycenters that enjoy favorable regularity, approximation, stability and (grid-free) optimization properties. This barycenter is defined as the unique probability measure that minimizes the sum of entropic optimal transport (EOT) costs with respect to a family of given probability measures, plus an entropy term. We denote it the <span><span style=""></span><span style="font-size: 100%; display: inline-block;" tabindex="0"><svg focusable="false" height="2.614ex" role="img" style="vertical-align: -0.706ex;" viewbox="0 -821.4 2325.2 1125.3" width="5.4ex" xmlns:xlink="http://www.w3.org/1999/xlink"><g fill="currentColor" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"><use x="0" xlink:href="#MJMAIN-28" y="0"></use><use x="389" xlink:href="#MJMATHI-3BB" y="0"></use><use x="973" xlink:href="#MJMAIN-2C" y="0"></use><use x="1418" xlink:href="#MJMATHI-3C4" y="0"></use><use x="1935" xlink:href="#MJMAIN-29" y="0"></use></g></svg></span><script type="math/tex">(lambda ,tau )</script></span>-barycenter, where <span><span style=""></span><span style="font-size: 100%; display: inline-block;" tabindex="0"><svg focusable="false" height="2.013ex" role="img" style="vertical-align: -0.205ex;" viewbox="0 -778.3 583.5 866.5" width="1.355ex" xmlns:xlink="http://www.w3.org/1999/xlink"><g fill="currentColor" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"><use x="0" xlink:href="#MJMATHI-3BB" y="0"></use></g></svg></span><script type="math/tex">lambda </script></span> is the inner regularization strength and <span><span style=""></span><span style="font-size: 100%; display: inline-block;" tabindex="0"><svg focusable="false" height="1.409ex" role="img" style="vertical-align: -0.205ex;" viewbox="0 -518.7 517.5 606.8" width="1.202ex" xmlns:xlink="http://www.w3.org/1999/xlink"><g fill="currentColor" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"><use x="0" xlink:href="#MJMATHI-3C4" y="0"></use></g></svg></span><script type="math/tex">tau </script></span> the outer one. This formulation recovers several previously proposed EOT barycenters for various choices of <span><span style=""></span><span style="font-size: 100%; display: inline-block;" tabindex="0"><svg focusable="false" height="2.413ex" role="img" style="vertical-align: -0.606ex;" viewbox="0 -778.3 3380.7 1039.1" width="7.852ex" xmlns:xlink="http://www.w3.org/1999/xlink"><g fill="currentColor" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"><use x="0" xlink:href="#MJMATHI-3BB" y="0"></use><use x="583" xlink:href="#MJMAIN-2C" y="0"></use><use x="1028" xlink:href="#MJMATHI-3C4" y="0"></use><use x="1823" xlink:href="#MJMAIN-2265" y="0"></use><use x="2880" xlink:href="#MJMAIN-30" y="0"></use></g></svg></span><script type="math/tex">lambda ,tau ge 0</script></span> and generalizes them. First, we show that, as <span><span style=""></span><span style="font-size: 100%; di
我们研究了正则化Wasserstein质心的一般公式,它具有良好的正则性、近似性、稳定性和(无网格)优化性质。这个重心被定义为唯一的概率度量,它使相对于一系列给定的概率度量的熵最优运输(EOT)成本的总和最小化,加上熵项。我们将其表示为(lambda, tau)-barycenter,其中lambda是内部正则化强度,tau是外部正则化强度。该公式恢复了先前提出的几种不同选择lambda, tauge 0的EOT重心,并对其进行了推广。首先,我们证明了lambda, taurightarrow 0,与单次正则化相比,二次正则化可以降低近似误差。更具体地说,我们表明,对于光滑密度和二次代价,(非正则化)Wasserstein重心目标的次优性的第一阶项在tausimfrac{lambda }{2}时抵消。我们还讨论了各向同性高斯分布中所有(lambda, tau)质心都具有封闭形式的这种现象。其次,我们证明了对于lambda, tau >0,该质心具有光滑的密度,并且在边缘扰动下具有很强的稳定性。特别是,它可以有效地估计:给定每个概率测量的n个样本,它以相对熵收敛于总体重心,速率为n^{-1/2}。最后,该公式适用于无网格优化算法:我们提出了一种简单的噪声粒子梯度下降方法,该方法在平均场极限下以指数速率全局收敛到(lambda, tau)-质心。
{"title":"Doubly Regularized Entropic Wasserstein Barycenter","authors":"Lénaïc Chizat","doi":"10.1007/s10208-025-09724-8","DOIUrl":"https://doi.org/10.1007/s10208-025-09724-8","url":null,"abstract":"&lt;p&gt;We study a general formulation of regularized Wasserstein barycenters that enjoy favorable regularity, approximation, stability and (grid-free) optimization properties. This barycenter is defined as the unique probability measure that minimizes the sum of entropic optimal transport (EOT) costs with respect to a family of given probability measures, plus an entropy term. We denote it the &lt;span&gt;&lt;span style=\"\"&gt;&lt;/span&gt;&lt;span style=\"font-size: 100%; display: inline-block;\" tabindex=\"0\"&gt;&lt;svg focusable=\"false\" height=\"2.614ex\" role=\"img\" style=\"vertical-align: -0.706ex;\" viewbox=\"0 -821.4 2325.2 1125.3\" width=\"5.4ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"&gt;&lt;g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"&gt;&lt;use x=\"0\" xlink:href=\"#MJMAIN-28\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"389\" xlink:href=\"#MJMATHI-3BB\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"973\" xlink:href=\"#MJMAIN-2C\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"1418\" xlink:href=\"#MJMATHI-3C4\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"1935\" xlink:href=\"#MJMAIN-29\" y=\"0\"&gt;&lt;/use&gt;&lt;/g&gt;&lt;/svg&gt;&lt;/span&gt;&lt;script type=\"math/tex\"&gt;(lambda ,tau )&lt;/script&gt;&lt;/span&gt;-barycenter, where &lt;span&gt;&lt;span style=\"\"&gt;&lt;/span&gt;&lt;span style=\"font-size: 100%; display: inline-block;\" tabindex=\"0\"&gt;&lt;svg focusable=\"false\" height=\"2.013ex\" role=\"img\" style=\"vertical-align: -0.205ex;\" viewbox=\"0 -778.3 583.5 866.5\" width=\"1.355ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"&gt;&lt;g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"&gt;&lt;use x=\"0\" xlink:href=\"#MJMATHI-3BB\" y=\"0\"&gt;&lt;/use&gt;&lt;/g&gt;&lt;/svg&gt;&lt;/span&gt;&lt;script type=\"math/tex\"&gt;lambda &lt;/script&gt;&lt;/span&gt; is the inner regularization strength and &lt;span&gt;&lt;span style=\"\"&gt;&lt;/span&gt;&lt;span style=\"font-size: 100%; display: inline-block;\" tabindex=\"0\"&gt;&lt;svg focusable=\"false\" height=\"1.409ex\" role=\"img\" style=\"vertical-align: -0.205ex;\" viewbox=\"0 -518.7 517.5 606.8\" width=\"1.202ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"&gt;&lt;g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"&gt;&lt;use x=\"0\" xlink:href=\"#MJMATHI-3C4\" y=\"0\"&gt;&lt;/use&gt;&lt;/g&gt;&lt;/svg&gt;&lt;/span&gt;&lt;script type=\"math/tex\"&gt;tau &lt;/script&gt;&lt;/span&gt; the outer one. This formulation recovers several previously proposed EOT barycenters for various choices of &lt;span&gt;&lt;span style=\"\"&gt;&lt;/span&gt;&lt;span style=\"font-size: 100%; display: inline-block;\" tabindex=\"0\"&gt;&lt;svg focusable=\"false\" height=\"2.413ex\" role=\"img\" style=\"vertical-align: -0.606ex;\" viewbox=\"0 -778.3 3380.7 1039.1\" width=\"7.852ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"&gt;&lt;g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"&gt;&lt;use x=\"0\" xlink:href=\"#MJMATHI-3BB\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"583\" xlink:href=\"#MJMAIN-2C\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"1028\" xlink:href=\"#MJMATHI-3C4\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"1823\" xlink:href=\"#MJMAIN-2265\" y=\"0\"&gt;&lt;/use&gt;&lt;use x=\"2880\" xlink:href=\"#MJMAIN-30\" y=\"0\"&gt;&lt;/use&gt;&lt;/g&gt;&lt;/svg&gt;&lt;/span&gt;&lt;script type=\"math/tex\"&gt;lambda ,tau ge 0&lt;/script&gt;&lt;/span&gt; and generalizes them. First, we show that, as &lt;span&gt;&lt;span style=\"\"&gt;&lt;/span&gt;&lt;span style=\"font-size: 100%; di","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"52 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2025-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144924523","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Algorithms for Mean-Field Variational Inference Via Polyhedral Optimization in the Wasserstein Space 基于Wasserstein空间多面体优化的平均场变分推理算法
IF 3 1区 数学 Q2 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 2025-08-12 DOI: 10.1007/s10208-025-09721-x
Yiheng Jiang, Sinho Chewi, Aram-Alexandre Pooladian

We develop a theory of finite-dimensional polyhedral subsets over the Wasserstein space and optimization of functionals over them via first-order methods. Our main application is to the problem of mean-field variational inference (MFVI), which seeks to approximate a distribution pi over mathbb {R}^d by a product measure pi ^star . When pi is strongly log-concave and log-smooth, we provide (1) approximation rates certifying that pi ^star is close to the minimizer pi ^star _diamond of the KL divergence over a polyhedral set mathcal {P}_diamond , and (2) an algorithm for minimizing mathop {textrm{KL}}limits (cdot !;Vert ; !pi ) over mathcal {P}_diamond based on accelerated gradient descent over mathbb {R}^d. As a byproduct of our analysis, we obtain the first end-to-end analysis for gradient-based algorithms for MFVI.

我们发展了Wasserstein空间上有限维多面体子集的理论,并通过一阶方法对其上的泛函进行了优化。我们的主要应用是平均场变分推理(MFVI)的问题,它寻求通过产品度量pi ^ starpi ^ {}star来近似分布{}pipi / mathbb R^d mathbb R^d。当pipi为强对数凹和对数平滑时,我们提供了(1)近似速率,证明pi ^ starpi ^ star接近于多面体集mathcal P_ diamondmathcal P_diamond的KL散度的最小值pi ^ stardiamond{}pi ^ star{}diamond;(2)最小化mathop{textrm{KL}}limits (cdot !; Vert ; !pi) mathop{textrm{KL}}limits (cdot !; Vert ; !pi) over mathcal P_{}diamondmathcal P_{}diamond基于加速梯度下降over mathbb R{^d }mathbb R{^d。作为我们分析的副产品,我们获得了第一个基于梯度的MFVI算法的端到端分析。}
{"title":"Algorithms for Mean-Field Variational Inference Via Polyhedral Optimization in the Wasserstein Space","authors":"Yiheng Jiang, Sinho Chewi, Aram-Alexandre Pooladian","doi":"10.1007/s10208-025-09721-x","DOIUrl":"https://doi.org/10.1007/s10208-025-09721-x","url":null,"abstract":"<p>We develop a theory of finite-dimensional polyhedral subsets over the Wasserstein space and optimization of functionals over them via first-order methods. Our main application is to the problem of mean-field variational inference (MFVI), which seeks to approximate a distribution <span><span>pi </span><script type=\"math/tex\">pi </script></span> over <span><span>mathbb {R}^d</span><script type=\"math/tex\">mathbb {R}^d</script></span> by a product measure <span><span>pi ^star </span><script type=\"math/tex\">pi ^star </script></span>. When <span><span>pi </span><script type=\"math/tex\">pi </script></span> is strongly log-concave and log-smooth, we provide (1) approximation rates certifying that <span><span>pi ^star </span><script type=\"math/tex\">pi ^star </script></span> is close to the minimizer <span><span>pi ^star _diamond </span><script type=\"math/tex\">pi ^star _diamond </script></span> of the KL divergence over a <i>polyhedral</i> set <span><span>mathcal {P}_diamond </span><script type=\"math/tex\">mathcal {P}_diamond </script></span>, and (2) an algorithm for minimizing <span><span>mathop {textrm{KL}}limits (cdot !;Vert ; !pi )</span><script type=\"math/tex\">mathop {textrm{KL}}limits (cdot !;Vert ; !pi )</script></span> over <span><span>mathcal {P}_diamond </span><script type=\"math/tex\">mathcal {P}_diamond </script></span> based on accelerated gradient descent over <span><span>mathbb {R}^d</span><script type=\"math/tex\">mathbb {R}^d</script></span>. As a byproduct of our analysis, we obtain the first end-to-end analysis for gradient-based algorithms for MFVI.</p>","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"13 1","pages":""},"PeriodicalIF":3.0,"publicationDate":"2025-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144924678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Foundations of Computational Mathematics
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1