首页 > 最新文献

Journal of Complexity最新文献

英文 中文
Intractability results for integration in tensor product spaces 张量乘空间积分的难解性结果
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-10-16 DOI: 10.1016/j.jco.2024.101901
Erich Novak , Friedrich Pillichshammer
We prove lower bounds on the worst-case error of numerical integration in tensor product spaces. The information complexity is the minimal number N of function evaluations that is necessary such that the N-th minimal error is less than a factor ε times the initial error, i.e., the error for N=0, where ε belongs to (0,1). We are interested to which extent the information complexity depends on the number d of variables of the integrands. If the information complexity grows exponentially fast in d, then the integration problem is said to suffer from the curse of dimensionality.
Under the assumption of the existence of a worst-case function for the uni-variate problem, we present two methods for providing lower bounds on the information complexity. The first method is based on a suitable decomposition of the worst-case function and can be seen as a generalization of the method of decomposable reproducing kernels. The second method, although only applicable for positive quadrature rules, does not require a suitable decomposition of the worst-case function. Rather, it is based on a spline approximation of the worst-case function and can be used for analytic functions. Several applications of both methods are presented.
我们证明了张量乘空间中数值积分最坏情况误差的下限。信息复杂度是函数求值的最小次数 N,即 N 次最小误差小于初始误差的系数 ε 倍,即 N=0 时的误差,其中 ε 属于 (0,1)。我们感兴趣的是,信息复杂度在多大程度上取决于积分变量的数量 d。如果信息复杂度在 d 的范围内呈指数增长,那么积分问题就会受到维度诅咒的影响。在单变量问题存在最坏情况函数的假设下,我们提出了两种提供信息复杂度下限的方法。第一种方法基于对最坏情况函数的适当分解,可视为可分解再现核方法的一般化。第二种方法虽然只适用于正二次函数规则,但不需要对最坏情况函数进行适当分解。相反,它以最坏情况函数的样条近似为基础,可用于解析函数。本文介绍了这两种方法的几种应用。
{"title":"Intractability results for integration in tensor product spaces","authors":"Erich Novak ,&nbsp;Friedrich Pillichshammer","doi":"10.1016/j.jco.2024.101901","DOIUrl":"10.1016/j.jco.2024.101901","url":null,"abstract":"<div><div>We prove lower bounds on the worst-case error of numerical integration in tensor product spaces. The information complexity is the minimal number <em>N</em> of function evaluations that is necessary such that the <em>N</em>-th minimal error is less than a factor <em>ε</em> times the initial error, i.e., the error for <span><math><mi>N</mi><mo>=</mo><mn>0</mn></math></span>, where <em>ε</em> belongs to <span><math><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>. We are interested to which extent the information complexity depends on the number <em>d</em> of variables of the integrands. If the information complexity grows exponentially fast in <em>d</em>, then the integration problem is said to suffer from the curse of dimensionality.</div><div>Under the assumption of the existence of a worst-case function for the uni-variate problem, we present two methods for providing lower bounds on the information complexity. The first method is based on a suitable decomposition of the worst-case function and can be seen as a generalization of the method of decomposable reproducing kernels. The second method, although only applicable for positive quadrature rules, does not require a suitable decomposition of the worst-case function. Rather, it is based on a spline approximation of the worst-case function and can be used for analytic functions. Several applications of both methods are presented.</div></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"86 ","pages":"Article 101901"},"PeriodicalIF":1.8,"publicationDate":"2024-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142445798","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Kernel multigrid on manifolds 流形上的核多网格
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-10-09 DOI: 10.1016/j.jco.2024.101900
Thomas Hangelbroek , Christian Rieger
Kernel methods for solving partial differential equations work coordinate-free on the surface and yield high approximation rates for smooth solutions. Localized Lagrange bases have proven to alleviate the computational complexity of usual kernel methods for data fitting problems, but the efficient numerical solution of the ill-conditioned linear systems of equations arising from kernel-based Galerkin solutions to PDEs is a challenging problem which has not been addressed in the literature so far. In this article we apply the framework of the geometric multigrid method with a τ2-cycle to scattered, quasi-uniform point clouds on the surface. We show that the resulting solver can be accelerated by using the Lagrange function decay and obtain satisfying convergence rates by a rigorous analysis. In particular, we show that the computational cost of the linear solver scales log-linear in the degrees of freedom.
求解偏微分方程的核方法在曲面上是无坐标工作的,对平滑解具有很高的逼近率。事实证明,局部拉格朗日基减轻了通常核方法在数据拟合问题上的计算复杂性,但如何高效地数值求解基于核的 Galerkin 求解偏微分方程所产生的无条件线性方程组,是一个极具挑战性的问题,迄今为止尚未有文献解决这个问题。在本文中,我们将带有 τ≥2 周期的几何多网格方法框架应用于表面上的散乱准均匀点云。我们通过严格的分析表明,利用拉格朗日函数衰减可以加速由此产生的求解器,并获得令人满意的收敛率。我们特别指出,线性求解器的计算成本与自由度成对数线性关系。
{"title":"Kernel multigrid on manifolds","authors":"Thomas Hangelbroek ,&nbsp;Christian Rieger","doi":"10.1016/j.jco.2024.101900","DOIUrl":"10.1016/j.jco.2024.101900","url":null,"abstract":"<div><div>Kernel methods for solving partial differential equations work coordinate-free on the surface and yield high approximation rates for smooth solutions. Localized Lagrange bases have proven to alleviate the computational complexity of usual kernel methods for data fitting problems, but the efficient numerical solution of the ill-conditioned linear systems of equations arising from kernel-based Galerkin solutions to PDEs is a challenging problem which has not been addressed in the literature so far. In this article we apply the framework of the geometric multigrid method with a <span><math><mi>τ</mi><mo>≥</mo><mn>2</mn></math></span>-cycle to scattered, quasi-uniform point clouds on the surface. We show that the resulting solver can be accelerated by using the Lagrange function decay and obtain satisfying convergence rates by a rigorous analysis. In particular, we show that the computational cost of the linear solver scales log-linear in the degrees of freedom.</div></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"86 ","pages":"Article 101900"},"PeriodicalIF":1.8,"publicationDate":"2024-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142527392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Space-filling designs on Riemannian manifolds 黎曼流形上的空间填充设计
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-24 DOI: 10.1016/j.jco.2024.101899
Mingyao Ai , Yunfan Yang , Xiangshun Kong
This paper proposes a new approach to generating space-filling designs over Riemannian manifolds by using a Hilbert curve. Different from ordinary Euclidean spaces, a novel transformation is constructed to link the uniform distribution over a Riemannian manifold and that over its parameter space. Using this transformation, the uniformity of the design points in the sense of Riemannian volume measure can be guaranteed by the intrinsic measure preserving property of the Hilbert curve. It is proved that these generated designs are not only asymptotically optimal under minimax and maximin distance criteria, but also perform well in minimizing the Wasserstein distance from the target distribution and controlling the estimation error in numerical integration. Furthermore, an efficient algorithm is developed for numerical generation of these space-filling designs. The advantages of the new approach are verified through numerical simulations.
本文提出了一种利用希尔伯特曲线在黎曼流形上生成空间填充设计的新方法。与普通欧几里得空间不同,本文构建了一种新的变换,将黎曼流形上的均匀分布与其参数空间上的均匀分布联系起来。利用这种变换,可以通过希尔伯特曲线的内在度量保持特性,保证设计点在黎曼体积度量意义上的均匀性。研究证明,这些生成的设计不仅在最小距离和最大距离准则下是渐近最优的,而且在最小化与目标分布的 Wasserstein 距离和控制数值积分中的估计误差方面也表现出色。此外,还为这些空间填充设计的数值生成开发了一种高效算法。通过数值模拟验证了新方法的优势。
{"title":"Space-filling designs on Riemannian manifolds","authors":"Mingyao Ai ,&nbsp;Yunfan Yang ,&nbsp;Xiangshun Kong","doi":"10.1016/j.jco.2024.101899","DOIUrl":"10.1016/j.jco.2024.101899","url":null,"abstract":"<div><div>This paper proposes a new approach to generating space-filling designs over Riemannian manifolds by using a Hilbert curve. Different from ordinary Euclidean spaces, a novel transformation is constructed to link the uniform distribution over a Riemannian manifold and that over its parameter space. Using this transformation, the uniformity of the design points in the sense of Riemannian volume measure can be guaranteed by the intrinsic measure preserving property of the Hilbert curve. It is proved that these generated designs are not only asymptotically optimal under minimax and maximin distance criteria, but also perform well in minimizing the Wasserstein distance from the target distribution and controlling the estimation error in numerical integration. Furthermore, an efficient algorithm is developed for numerical generation of these space-filling designs. The advantages of the new approach are verified through numerical simulations.</div></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"86 ","pages":"Article 101899"},"PeriodicalIF":1.8,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142319731","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the number of solutions to a random instance of the permuted kernel problem 关于包络核问题随机实例的解数
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-24 DOI: 10.1016/j.jco.2024.101898
Carlo Sanna
The Permuted Kernel Problem (PKP) is a problem in linear algebra that was first introduced by Shamir in 1989. Roughly speaking, given an ×m matrix A and an m×1 vector b over a finite field of q elements Fq, the PKP asks to find an m×m permutation matrix π such that πb belongs to the kernel of A. In recent years, several post-quantum digital signature schemes whose security can be provably reduced to the hardness of solving random instances of the PKP have been proposed. In this regard, it is important to know the expected number of solutions to a random instance of the PKP in terms of the parameters q,,m. Previous works have heuristically estimated the expected number of solutions to be m!/q.
We provide, and rigorously prove, exact formulas for the expected number of solutions to a random instance of the PKP and the related Inhomogeneous Permuted Kernel Problem (IPKP), considering two natural ways of generating random instances.
置换内核问题(PKP)是线性代数中的一个问题,由沙米尔于 1989 年首次提出。粗略地说,给定一个 ℓ×m 矩阵 A 和一个包含 q 个元素的有限域 Fq 上的 m×1 向量 b,PKP 要求找到一个 m×m 的置换矩阵 π,使得 πb 属于 A 的核。近年来,有人提出了几种后量子数字签名方案,这些方案的安全性可以证明简化为 PKP 随机实例的求解难度。在这方面,了解根据参数 q,ℓ,m 求解 PKP 随机实例的预期解数非常重要。考虑到随机实例的两种自然生成方式,我们提供并严格证明了 PKP 随机实例和相关的非均质珀尔帖内核问题(IPKP)的预期解数的精确公式。
{"title":"On the number of solutions to a random instance of the permuted kernel problem","authors":"Carlo Sanna","doi":"10.1016/j.jco.2024.101898","DOIUrl":"10.1016/j.jco.2024.101898","url":null,"abstract":"<div><div>The <em>Permuted Kernel Problem</em> (PKP) is a problem in linear algebra that was first introduced by Shamir in 1989. Roughly speaking, given an <span><math><mi>ℓ</mi><mo>×</mo><mi>m</mi></math></span> matrix <strong><em>A</em></strong> and an <span><math><mi>m</mi><mo>×</mo><mn>1</mn></math></span> vector <strong><em>b</em></strong> over a finite field of <em>q</em> elements <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>, the PKP asks to find an <span><math><mi>m</mi><mo>×</mo><mi>m</mi></math></span> permutation matrix <strong><em>π</em></strong> such that <span><math><mi>π</mi><mi>b</mi></math></span> belongs to the kernel of <strong><em>A</em></strong>. In recent years, several post-quantum digital signature schemes whose security can be provably reduced to the hardness of solving random instances of the PKP have been proposed. In this regard, it is important to know the expected number of solutions to a random instance of the PKP in terms of the parameters <span><math><mi>q</mi><mo>,</mo><mi>ℓ</mi><mo>,</mo><mi>m</mi></math></span>. Previous works have heuristically estimated the expected number of solutions to be <span><math><mi>m</mi><mo>!</mo><mo>/</mo><msup><mrow><mi>q</mi></mrow><mrow><mi>ℓ</mi></mrow></msup></math></span>.</div><div>We provide, and rigorously prove, exact formulas for the expected number of solutions to a random instance of the PKP and the related <em>Inhomogeneous Permuted Kernel Problem</em> (IPKP), considering two natural ways of generating random instances.</div></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"86 ","pages":"Article 101898"},"PeriodicalIF":1.8,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0885064X2400075X/pdfft?md5=939873f4b51043507214927d47f2bb37&pid=1-s2.0-S0885064X2400075X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142314359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Convergence analysis of iteratively regularized Landweber iteration with uniformly convex constraints in Banach spaces 巴拿赫空间中具有均匀凸约束条件的迭代正则化 Landweber 迭代的收敛性分析
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-13 DOI: 10.1016/j.jco.2024.101897
Gaurav Mittal , Harshit Bajpai , Ankik Kumar Giri

In Banach spaces, the convergence analysis of iteratively regularized Landweber iteration (IRLI) is recently studied via conditional stability estimates. But the formulation of IRLI does not include general non-smooth convex penalty functionals, which is essential to capture special characteristics of the sought solution. In this paper, we formulate a generalized form of IRLI so that its formulation includes general non-smooth uniformly convex penalty functionals. We study the convergence analysis and derive the convergence rates of the generalized method solely via conditional stability estimates in Banach spaces for both the perturbed and unperturbed data. We also discuss few examples of inverse problems on which our method is applicable.

在巴拿赫空间中,最近通过条件稳定性估计研究了迭代正则化兰德韦伯迭代(IRLI)的收敛分析。但是,IRLI 的表述并不包括一般的非光滑凸惩罚函数,而这对于捕捉所求解的特殊性至关重要。在本文中,我们提出了 IRLI 的广义形式,使其表述包含一般非光滑均匀凸惩罚函数。我们研究了收敛分析,并通过巴拿赫空间中的条件稳定性估计,得出了广义方法对扰动和非扰动数据的收敛率。我们还讨论了我们的方法适用于逆问题的几个例子。
{"title":"Convergence analysis of iteratively regularized Landweber iteration with uniformly convex constraints in Banach spaces","authors":"Gaurav Mittal ,&nbsp;Harshit Bajpai ,&nbsp;Ankik Kumar Giri","doi":"10.1016/j.jco.2024.101897","DOIUrl":"10.1016/j.jco.2024.101897","url":null,"abstract":"<div><p>In Banach spaces, the convergence analysis of iteratively regularized Landweber iteration (IRLI) is recently studied via conditional stability estimates. But the formulation of IRLI does not include general non-smooth convex penalty functionals, which is essential to capture special characteristics of the sought solution. In this paper, we formulate a generalized form of IRLI so that its formulation includes general non-smooth uniformly convex penalty functionals. We study the convergence analysis and derive the convergence rates of the generalized method solely via conditional stability estimates in Banach spaces for both the perturbed and unperturbed data. We also discuss few examples of inverse problems on which our method is applicable.</p></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"86 ","pages":"Article 101897"},"PeriodicalIF":1.8,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0885064X24000748/pdfft?md5=5ae8eeac0a143f493ee150c18db69cf1&pid=1-s2.0-S0885064X24000748-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142240454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
High-efficiency parametric iterative schemes for solving nonlinear equations with and without memory 求解有内存和无内存非线性方程的高效参数迭代方案
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-11 DOI: 10.1016/j.jco.2024.101896
Raziyeh Erfanifar, Masoud Hajarian

Many practical problems, such as the Malthusian population growth model, eigenvalue computations for matrices, and solving the Van der Waals' ideal gas equation, inherently involve nonlinearities. This paper initially introduces a two-parameter iterative scheme with a convergence order of two. Building on this, a three-parameter scheme with a convergence order of four is proposed. Then we extend these schemes into higher-order schemes with memory using Newton's interpolation, achieving an upper bound for the efficiency index of 7.88748131.99057. Finally, we validate the new schemes by solving various numerical and practical examples, demonstrating their superior efficiency in terms of computational cost, CPU time, and accuracy compared to existing methods.

许多实际问题,如马尔萨斯人口增长模型、矩阵的特征值计算以及范德瓦耳斯理想气体方程的求解,本质上都涉及非线性问题。本文首先介绍了收敛阶数为 2 的双参数迭代方案。在此基础上,提出了收敛阶数为四的三参数方案。然后,我们利用牛顿插值法将这些方案扩展为具有内存的高阶方案,实现了 7.8874813≈1.99057 的效率指数上限。最后,我们通过求解各种数值和实际例子验证了新方案,证明与现有方法相比,它们在计算成本、CPU 时间和精度方面都具有更高的效率。
{"title":"High-efficiency parametric iterative schemes for solving nonlinear equations with and without memory","authors":"Raziyeh Erfanifar,&nbsp;Masoud Hajarian","doi":"10.1016/j.jco.2024.101896","DOIUrl":"10.1016/j.jco.2024.101896","url":null,"abstract":"<div><p>Many practical problems, such as the Malthusian population growth model, eigenvalue computations for matrices, and solving the Van der Waals' ideal gas equation, inherently involve nonlinearities. This paper initially introduces a two-parameter iterative scheme with a convergence order of two. Building on this, a three-parameter scheme with a convergence order of four is proposed. Then we extend these schemes into higher-order schemes with memory using Newton's interpolation, achieving an upper bound for the efficiency index of <span><math><msup><mrow><mn>7.88748</mn></mrow><mrow><mfrac><mrow><mn>1</mn></mrow><mrow><mn>3</mn></mrow></mfrac></mrow></msup><mo>≈</mo><mn>1.99057</mn></math></span>. Finally, we validate the new schemes by solving various numerical and practical examples, demonstrating their superior efficiency in terms of computational cost, CPU time, and accuracy compared to existing methods.</p></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"86 ","pages":"Article 101896"},"PeriodicalIF":1.8,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0885064X24000736/pdfft?md5=6dc221bf6c1e2ffc085c2b830768b4e4&pid=1-s2.0-S0885064X24000736-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142240453","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the approximation of vector-valued functions by volume sampling 关于用体积采样法逼近矢量值函数
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-07-31 DOI: 10.1016/j.jco.2024.101887
Daniel Kressner , Tingting Ni , André Uschmajew

Given a Hilbert space H and a finite measure space Ω, the approximation of a vector-valued function f:ΩH by a k-dimensional subspace UH plays an important role in dimension reduction techniques, such as reduced basis methods for solving parameter-dependent partial differential equations. For functions in the Lebesgue–Bochner space L2(Ω;H), the best possible subspace approximation error dk(2) is characterized by the singular values of f. However, for practical reasons, U is often restricted to be spanned by point samples of f. We show that this restriction only has a mild impact on the attainable error; there always exist k samples such that the resulting error is not larger than k+1dk(2). Our work extends existing results by Binev et al. (2011) [3] on approximation in supremum norm and by Deshpande et al. (2006) [8] on column subset selection for matrices.

给定一个希尔伯特空间和一个有限度量空间 Ω,用一个 - 维子空间来逼近一个矢量值函数,在降维技术中扮演着重要角色,例如用于求解参数相关偏微分方程的降维基方法。对于 Lebesgue-Bochner 空间中的函数,最佳子空间近似误差的特征是.的奇异值。 然而,由于实际原因,.的奇异值通常被限制为.的点样本所跨。 我们的研究表明,这一限制对可达到的误差只有轻微的影响;总是存在这样的样本,即所产生的误差不大于.。 我们的研究扩展了 Binev 等人(2011 年)关于上规范近似和 Deshpande 等人(2006 年)关于矩阵列子集选择的现有结果。
{"title":"On the approximation of vector-valued functions by volume sampling","authors":"Daniel Kressner ,&nbsp;Tingting Ni ,&nbsp;André Uschmajew","doi":"10.1016/j.jco.2024.101887","DOIUrl":"10.1016/j.jco.2024.101887","url":null,"abstract":"<div><p>Given a Hilbert space <span><math><mi>H</mi></math></span> and a finite measure space Ω, the approximation of a vector-valued function <span><math><mi>f</mi><mo>:</mo><mi>Ω</mi><mo>→</mo><mi>H</mi></math></span> by a <em>k</em>-dimensional subspace <span><math><mi>U</mi><mo>⊂</mo><mi>H</mi></math></span> plays an important role in dimension reduction techniques, such as reduced basis methods for solving parameter-dependent partial differential equations. For functions in the Lebesgue–Bochner space <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>Ω</mi><mo>;</mo><mi>H</mi><mo>)</mo></math></span>, the best possible subspace approximation error <span><math><msubsup><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow><mrow><mo>(</mo><mn>2</mn><mo>)</mo></mrow></msubsup></math></span> is characterized by the singular values of <em>f</em>. However, for practical reasons, <span><math><mi>U</mi></math></span> is often restricted to be spanned by point samples of <em>f</em>. We show that this restriction only has a mild impact on the attainable error; there always exist <em>k</em> samples such that the resulting error is not larger than <span><math><msqrt><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msqrt><mo>⋅</mo><msubsup><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow><mrow><mo>(</mo><mn>2</mn><mo>)</mo></mrow></msubsup></math></span>. Our work extends existing results by Binev et al. (2011) <span><span>[3]</span></span> on approximation in supremum norm and by Deshpande et al. (2006) <span><span>[8]</span></span> on column subset selection for matrices.</p></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"86 ","pages":"Article 101887"},"PeriodicalIF":1.8,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0885064X24000645/pdfft?md5=810287a810b23405b1bc8161d82ba70e&pid=1-s2.0-S0885064X24000645-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141935983","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
High probability bounds on AdaGrad for constrained weakly convex optimization 受约束弱凸优化的 AdaGrad 高概率边界
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-07-31 DOI: 10.1016/j.jco.2024.101889
Yusu Hong , Junhong Lin

In this paper, we study the high probability convergence of AdaGrad-Norm for constrained, non-smooth, weakly convex optimization with bounded noise and sub-Gaussian noise cases. We also investigate a more general accelerated gradient descent (AGD) template (Ghadimi and Lan, 2016) encompassing the AdaGrad-Norm, the Nesterov's accelerated gradient descent, and the RSAG (Ghadimi and Lan, 2016) with different parameter choices. We provide a high probability convergence rate O˜(1/T) without knowing the information of the weak convexity parameter and the gradient bound to tune the step-sizes.

在本文中,我们研究了 AdaGrad-Norm 对于有约束噪声和亚高斯噪声情况下的约束、非光滑、弱凸优化的高概率收敛性。我们还研究了一种更通用的加速梯度下降(AGD)模板(Ghadimi 和 Lan,2016 年),其中包含 AdaGrad-Norm、Nesterov 加速梯度下降和 RSAG(Ghadimi 和 Lan,2016 年),并有不同的参数选择。我们在不知道弱凸性参数和梯度约束信息的情况下提供了高概率收敛率,以调整步长。
{"title":"High probability bounds on AdaGrad for constrained weakly convex optimization","authors":"Yusu Hong ,&nbsp;Junhong Lin","doi":"10.1016/j.jco.2024.101889","DOIUrl":"10.1016/j.jco.2024.101889","url":null,"abstract":"<div><p>In this paper, we study the high probability convergence of AdaGrad-Norm for constrained, non-smooth, weakly convex optimization with bounded noise and sub-Gaussian noise cases. We also investigate a more general accelerated gradient descent (AGD) template (Ghadimi and Lan, 2016) encompassing the AdaGrad-Norm, the Nesterov's accelerated gradient descent, and the RSAG (Ghadimi and Lan, 2016) with different parameter choices. We provide a high probability convergence rate <span><math><mover><mrow><mi>O</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><mn>1</mn><mo>/</mo><msqrt><mrow><mi>T</mi></mrow></msqrt><mo>)</mo></math></span> without knowing the information of the weak convexity parameter and the gradient bound to tune the step-sizes.</p></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"86 ","pages":"Article 101889"},"PeriodicalIF":1.8,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0885064X24000669/pdfft?md5=7c5c4999e38fd8c865761fe3213f35cf&pid=1-s2.0-S0885064X24000669-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141935984","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
No existence of a linear algorithm for the one-dimensional Fourier phase retrieval 不存在一维傅立叶相位检索的线性算法
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-07-04 DOI: 10.1016/j.jco.2024.101886
Meng Huang , Zhiqiang Xu

Fourier phase retrieval, which aims to reconstruct a signal from its Fourier magnitude, is of fundamental importance in fields of engineering and science. In this paper, we provide a theoretical understanding of algorithms for the one-dimensional Fourier phase retrieval problem. Specifically, we demonstrate that if an algorithm exists which can reconstruct an arbitrary signal xCN in Poly(N)log(1/ϵ) time to reach ϵ-precision from its magnitude of discrete Fourier transform and its initial value x(0), then P=NP. This partially elucidates the phenomenon that, despite the fact that almost all signals are uniquely determined by their Fourier magnitude and the absolute value of their initial value |x(0)|, no algorithm with theoretical guarantees has been proposed in the last few decades. Our proofs employ the result in computational complexity theory that the Product Partition problem is NP-complete in the strong sense.

傅立叶相位检索旨在从傅立叶幅度重建信号,在工程和科学领域具有重要的基础性意义。在本文中,我们从理论上理解了一维傅立叶相位检索问题的算法。具体地说,我们证明了如果存在一种算法,能在 Poly(N)log(1/ϵ) 时间内从离散傅里叶变换的幅度及其初始值 x(0) 重构任意信号 x∈CN,达到ϵ精度,那么 P=NP。这部分解释了一个现象,即尽管几乎所有信号都是由其傅里叶幅值及其初始值 |x(0)| 的绝对值唯一决定的,但在过去几十年中,还没有人提出理论上可以保证的算法。我们的证明采用了计算复杂性理论的结果,即乘积分割问题在强意义上是 NP-完全的。
{"title":"No existence of a linear algorithm for the one-dimensional Fourier phase retrieval","authors":"Meng Huang ,&nbsp;Zhiqiang Xu","doi":"10.1016/j.jco.2024.101886","DOIUrl":"10.1016/j.jco.2024.101886","url":null,"abstract":"<div><p>Fourier phase retrieval, which aims to reconstruct a signal from its Fourier magnitude, is of fundamental importance in fields of engineering and science. In this paper, we provide a theoretical understanding of algorithms for the one-dimensional Fourier phase retrieval problem. Specifically, we demonstrate that if an algorithm exists which can reconstruct an arbitrary signal <span><math><mi>x</mi><mo>∈</mo><msup><mrow><mi>C</mi></mrow><mrow><mi>N</mi></mrow></msup></math></span> in <span><math><mtext>Poly</mtext><mo>(</mo><mi>N</mi><mo>)</mo><mi>log</mi><mo>⁡</mo><mo>(</mo><mn>1</mn><mo>/</mo><mi>ϵ</mi><mo>)</mo></math></span> time to reach <em>ϵ</em>-precision from its magnitude of discrete Fourier transform and its initial value <span><math><mi>x</mi><mo>(</mo><mn>0</mn><mo>)</mo></math></span>, then <span><math><mi>P</mi><mo>=</mo><mrow><mi>NP</mi></mrow></math></span>. This partially elucidates the phenomenon that, despite the fact that almost all signals are uniquely determined by their Fourier magnitude and the absolute value of their initial value <span><math><mo>|</mo><mi>x</mi><mo>(</mo><mn>0</mn><mo>)</mo><mo>|</mo></math></span>, no algorithm with theoretical guarantees has been proposed in the last few decades. Our proofs employ the result in computational complexity theory that the Product Partition problem is NP-complete in the strong sense.</p></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"86 ","pages":"Article 101886"},"PeriodicalIF":1.8,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0885064X24000633/pdfft?md5=306cc05c455de6efb9f908455c6f3128&pid=1-s2.0-S0885064X24000633-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141637397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Interpolation by decomposable univariate polynomials 可分解单变量多项式插值法
IF 1.8 2区 数学 Q1 MATHEMATICS Pub Date : 2024-06-26 DOI: 10.1016/j.jco.2024.101885
Joachim von zur Gathen , Guillermo Matera

The usual univariate interpolation problem of finding a monic polynomial f of degree n that interpolates n given values is well understood. This paper studies a variant where f is required to be composite, say, a composition of two polynomials of degrees d and e, respectively, with de=n, and with d+e1 given values. Some special cases are easy to solve, and for the general case, we construct a homotopy between it and a special case. We compute a geometric solution of the algebraic curve presenting this homotopy, and this also provides an answer to the interpolation task. The computing time is polynomial in the geometric data, like the degree, of this curve. A consequence is that for almost all inputs, a decomposable interpolation polynomial exists.

通常的单变量插值问题是寻找一个能插值给定值的度数单项式。本文研究的是一个变式,它要求是复合的,比如说,是两个度分别为 和 的多项式的组成,其中 , 和 为给定值。一些特殊情况很容易求解,对于一般情况,我们在它和特殊情况之间构建了一个同调。我们计算出呈现该同调的代数曲线的 a,这也为插值任务提供了答案。计算时间与该曲线的几何数据(如阶数)成多项式关系。因此,对于几乎所有输入,都存在可分解的插值多项式。
{"title":"Interpolation by decomposable univariate polynomials","authors":"Joachim von zur Gathen ,&nbsp;Guillermo Matera","doi":"10.1016/j.jco.2024.101885","DOIUrl":"10.1016/j.jco.2024.101885","url":null,"abstract":"<div><p>The usual univariate interpolation problem of finding a monic polynomial <em>f</em> of degree <em>n</em> that interpolates <em>n</em> given values is well understood. This paper studies a variant where <em>f</em> is required to be composite, say, a composition of two polynomials of degrees <em>d</em> and <em>e</em>, respectively, with <span><math><mi>d</mi><mi>e</mi><mo>=</mo><mi>n</mi></math></span>, and with <span><math><mi>d</mi><mo>+</mo><mi>e</mi><mo>−</mo><mn>1</mn></math></span> given values. Some special cases are easy to solve, and for the general case, we construct a homotopy between it and a special case. We compute a <em>geometric solution</em> of the algebraic curve presenting this homotopy, and this also provides an answer to the interpolation task. The computing time is polynomial in the geometric data, like the degree, of this curve. A consequence is that for almost all inputs, a decomposable interpolation polynomial exists.</p></div>","PeriodicalId":50227,"journal":{"name":"Journal of Complexity","volume":"85 ","pages":"Article 101885"},"PeriodicalIF":1.8,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501488","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Journal of Complexity
全部 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