Pub Date : 2026-02-02DOI: 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}
Pub Date : 2025-12-03DOI: 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$$H1 -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}
Pub Date : 2025-12-01DOI: 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}
Pub Date : 2025-08-13DOI: 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.
{"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}
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.
{"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}