Strong equivalences of approximation numbers and tractability of weighted anisotropic Sobolev embeddings
Pith reviewed 2026-05-25 12:03 UTC · model grok-4.3
The pith
Approximation numbers of weighted anisotropic Sobolev embeddings are strongly equivalent to explicit expressions in the weight sequences a and b.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We obtain strong equivalences of the approximation numbers, and necessary and sufficient conditions on a, b to achieve various notions of tractability of the weighted anisotropic Sobolev embeddings.
What carries the argument
The weighted anisotropic Sobolev space defined via the positive sequences a and b, whose unit-ball embeddings into L2 or L-infinity have approximation numbers analyzed for equivalence and tractability.
Load-bearing premise
The weighted anisotropic Sobolev spaces are defined in the standard way via the given positive sequences a and b, with the approximation numbers taken with respect to the usual L2 or L-infinity norms on the unit ball.
What would settle it
Numerical computation of approximation numbers for concrete sequences a and b that either matches or deviates from the claimed strong equivalence relation.
read the original abstract
In this paper, we study multivariate approximation defined over weighted anisotropic Sobolev spaces which depend on two sequences ${\bf a}=\{a_j\}_{j\geq1}$ and ${\bf b}=\{b_j\}_{j\geq1}$ of positive numbers. We obtain strong equivalences of the approximation numbers, and necessary and sufficient conditions on ${\bf a}$, ${\bf b}$ to achieve various notions of tractability of the weighted anisotropic Sobolev embeddings.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies multivariate approximation over weighted anisotropic Sobolev spaces defined via two sequences a = {a_j} and b = {b_j} of positive numbers. It establishes strong equivalences for the approximation numbers of the associated embeddings (with respect to standard L2 or L^∞ norms) and derives necessary and sufficient conditions on a and b that characterize various notions of tractability.
Significance. If the equivalences and characterizations hold, the results supply precise, necessary-and-sufficient criteria for tractability in a standard class of weighted anisotropic Sobolev spaces. This strengthens the literature on information-based complexity by moving beyond sufficient conditions alone and by working with the usual definitions of the spaces and approximation numbers; the explicit dependence on the weight sequences a and b makes the criteria directly applicable to concrete high-dimensional problems.
minor comments (2)
- The notation for the approximation numbers (e.g., whether a_n or a_n(·,·) is used) should be introduced once in a dedicated preliminary section and then used consistently; occasional re-definition in later sections would improve readability.
- A short remark clarifying that the positivity of a_j and b_j is the only standing assumption (with any summability requirements stated explicitly when they appear) would prevent readers from wondering whether additional decay conditions are tacitly imposed.
Simulated Author's Rebuttal
We thank the referee for the positive report, the assessment of the paper's significance, and the recommendation to accept the manuscript.
Circularity Check
No significant circularity; derivation self-contained from standard definitions
full rationale
The paper derives strong equivalences for approximation numbers of weighted anisotropic Sobolev embeddings and necessary/sufficient conditions on the positive sequences a and b for tractability. These results follow from the standard definitions of the weighted Sobolev norms (with a_j, b_j scaling partial derivatives) and approximation numbers with respect to L2 or L^∞ on the unit ball. No equations reduce the claimed equivalences or tractability criteria back to fitted parameters, self-citations, or ansatzes imported from prior author work. The central claims are mathematical statements proven from the given function-space definitions without load-bearing self-referential steps. This is the expected outcome for a paper whose core contribution is equivalence theorems in approximation theory.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
J. Chen, H. W ang, Preasymptotics and asymptotics of appr oximation numbers of anisotropic Sobolev embeddings, J. Complexity, 39 (2017) 94-110
work page 2017
-
[2]
J. Chen, H. W ang, Approximation numbers of Sobolev and Ge vrey type embeddings on the sphere and on the ball – Preasymptotics, asymptotics, and tr actability, J. Complexity 50 (2019) 1-24
work page 2019
- [3]
-
[4]
J. Dick, P. Kritzer, F. Pillichshammer, H. W o´ zniakowski, Approximation of analytic functions in Korobov spaces, J. Complexity 30 (2014) 2-28
work page 2014
-
[5]
J. Dick, G. Larcher, F. Pillichshammer, H. W o´ zniakowsk i, Exponential convergence and tractability of multivariate integration for Korobov spac es, Math. Comp. 80 (2011) 905-930
work page 2011
-
[6]
C. Irrgeher, P. Kritzer, F. Pillichshammer, H. W o´ zniak owski, Tractability of multivariate approximation defined over Hilbert spaces with exponential weights, J. Approx. Theory 207 (2016) 301-338
work page 2016
-
[7]
P. Kritzer, F. Pillichshammer, H. W o´ zniakowski, Multi variate integration of infinitely many times differentiable functions in weighted Korobov spaces, Math. Comp. 83 (2014) 1189-1206
work page 2014
-
[8]
P. Kritzer, F. Pillichshammer, H. W o´ zniakowski, Tract ability of multivariate analytic prob- lems, in: P. Kritzer, H. Niederreiter, F. Pillichshammer, A . Winterhof (Eds.), Uniform Dis- tribution and Quasi-Monte Carlo Methods. Discrepancy, Int egration and Applications, De Gruyter, Berlin, 2014, pp. 147-170
work page 2014
-
[9]
K¨ uhn, A lower estimate for entropy numbers, J
T. K¨ uhn, A lower estimate for entropy numbers, J. Approx . Theory, 110 (2001) 120-124
work page 2001
- [10]
- [11]
- [12]
-
[13]
Y. Liu, G. Xu, A note on tractability of multivariate ana lytic problems, J. Comlexity, 34 (2016) 42-49
work page 2016
- [14]
- [15]
- [16]
-
[17]
A. Papageorgiou, I. Petras, A new criterion for tractab ility of multivariate problems, J. Complexity 30 (2014) 604-619
work page 2014
-
[18]
Pietsch, Operator Ideals, North-Holland, Amsterda m, 1980
A. Pietsch, Operator Ideals, North-Holland, Amsterda m, 1980
work page 1980
-
[19]
Pietsch, Eigenvalues and s-Numbers, Cambridge Univ ersity Press, Cambridge, 1987
A. Pietsch, Eigenvalues and s-Numbers, Cambridge Univ ersity Press, Cambridge, 1987
work page 1987
-
[20]
Pinkus, n-Widths in Approximation Theory, Ergeb
A. Pinkus, n-Widths in Approximation Theory, Ergeb. Ma th. Grenzgeb., vol. 3.7, Springer, Berlin, 1985
work page 1985
-
[21]
Xu, Exponential convergence-tractability of gener al linear problems in the average case setting, J
G. Xu, Exponential convergence-tractability of gener al linear problems in the average case setting, J. Complexity 31 (2015) 617-636. 20
work page 2015
-
[22]
H. W ang, A note about EC-( s, t)-weak tractability of multivariate approximation with an a- lytic Korobov kernels, to appear in J. Complexity. Also see h ttp://arxiv.org/abs/1808.01470
work page internal anchor Pith review Pith/arXiv arXiv
-
[23]
W ang, Volumes of generalized unit balls, Math.Mag
X. W ang, Volumes of generalized unit balls, Math.Mag. 7 8 (5) (2005) 390-395
work page 2005
-
[24]
A. W erschulz, H. W o´ zniakowski, Tractability of multi variate approximation over weighted standard Sobolev spaces, J. Complexity, in press (2018). School of Mathematical Sciences, BCMIIS, Capital Normal Univ ersity, Beijing 100048, China. E-mail address : 1047695025@qq.com(D. Hao). wanghp@cnu.edu.cn(H. Wang)
work page 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.