REVIEW 2 major objections 4 minor 1 cited by
Entropy numbers of classes defined by integral operators
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For $r>1$, worst-case entropy of integral-operator classes with mixed-smoothness kernels is $k^{-2r}$ up to logarithmic factors.
desk verdict A genuine extension of the Kolmogorov-width sup-over-kernels program to entropy numbers, with clean proofs and a few correctable blemishes; the main thing to check is the endpoint Littlewood-Paley citation. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the dyadic Littlewood-Paley decomposition of the kernel. With de la Vallée Poussin kernels one forms blocks $A_s(K)$, $s\in\mathbb{N}_0^{2d}$, and Theorem 2.1 converts $K\in H^{r,2d}_{1,\infty}$ into the block decay $\|A_s(K)\|_{1,\infty}\ll 2^{-r\|s\|_1}$. Lemma 3.1 then splits every $f\in W^K_1$ into two low-frequency pieces inside the hyperbolic-cross space $T(Q_u)$ (handled by finite-dimensional covering-number estimates) and a tail piece belonging to the weighted sequence class $\overline{W}^{a,b,b'}_{X,n_0}$ with $X=L_1(\mathbb{T}^d)$ and $X_n=T(Q_{n-u})$. A new abstract lemma, Theorem 2.3, converts the known entropy estimates for the subspaces $T(Q_n)$ in $L_\infty$ into the bound $k^{-2a}(\log k)^{2ac+b+\alpha}$ for such tails; substituting the $d=1$ and $d=2$ estimates for hyperbolic crosses yields (1.4) and (1.5).
What would settle it
The sharpest concrete check is the extremal kernel $K=F_{2r}(x-y)$, whose image class is the classical class $W^{2r}_1$: in $d=2$ the known entropy of $W^{2r}_1$ in $L_\infty$ has rate $k^{-2r}(\log k)^{2r+1}$, which stays below the theorem's bound, so a counterexample would have to be a different kernel in $H^{r,4}_{1,\infty}$. One can search for it by solving, for dyadic weights $c_s$ with $\|c_s\|_{1,\infty}\le 2^{-r\|s\|_1}$, whether the entropy of the resulting image class exceeds $k^{-2r}(\log 2k)^{4r+5/2}$; in $d=1$ the same search with exponent $2r$ would decide the conjecture that the logarithms are unnecessary.
Extended reading notes
Core claim
The central claim is that the worst-case entropy of the collection is governed by the kernel smoothness exponent $r$: the upper bounds (1.4) and (1.5) hold, and the paper proves Theorem 3.1 giving $k^{-2r}(\log 2k)^{4r+2}$ in $L_p$ for $p<\infty$ in $d=2$. On the lower side, Lemma 4.1 shows $F_{2r}(x-y)\in H^{r,2d}_{1,\infty}$, so the image class $W^{2r}_1$ is part of the collection and the known entropy of $W^{2r}_1$ yields $k^{-2r}$ in $d=1$ and $k^{-2r}(\log k)^{2r}$ in $d=2$; Section 5 refines these lower bounds using sharper known results. The paper's own reading is that the upper bounds are close to optimal and the remaining questions are logarithmic: it states as open problems whether the logarithms can be removed and whether the kernel class can be enlarged to $H^{r,2}_{1,1}$.
Load-bearing premise
The proof stands on the Littlewood-Paley equivalence claiming that a kernel lies in $H^{r,2d}_{1,\infty}$ exactly when its dyadic frequency blocks decay at rate $2^{-r\|s\|_1}$ in a mixed $L_1$-$L_\infty$ norm; if that equivalence fails at this endpoint, the kernel decomposition in Lemma 3.1 and both upper bounds collapse.
Editorial extensions
If this is right
- For $d=1$, the theorem plus the Bernoulli-kernel lower bound gives $k^{-2r}\ll \sup_{K\in H^{r,2}_{1,\infty}}\varepsilon_k(W^K_1,L_\infty)\ll k^{-2r}(\log 2k)^{2r}$, so the main rate is fixed by $r$ alone.
- For $d=2$, the corresponding two-sided bounds are $k^{-2r}(\log k)^{2r}$ and $k^{-2r}(\log 2k)^{4r+5/2}$; the remaining uncertainty is only the logarithmic exponent.
- For target spaces $L_p$ with $p<\infty$, Theorem 3.1 improves the $d=2$ upper bound to $k^{-2r}(\log 2k)^{4r+2}$.
- For $d=1$ and $2\le q,p\le\infty$, Theorem 5.3 yields the exact order $\sup_{K\in H^{r,2}_{1,w}}\varepsilon_k(W^K_q,L_p)\asymp k^{-2r}$ under $r>3/2$.
Reading between the lines
- Beyond the paper: the same three-part kernel split should apply to other asymptotic characteristics of the collection, such as optimal sampling recovery and numerical integration, whenever the underlying subspaces satisfy an entropy bound of the form (2.6).
- Beyond the paper: the extra logarithmic powers in $d=2$ appear to come from the $n^{1/2}$ factor in the hyperbolic-cross entropy estimate; improving that estimate for $T(Q_n)$ in $L_\infty$ would improve Theorem 1.2 without altering Lemma 3.1.
- Beyond the paper: adapting the argument to nonperiodic domains would give worst-case guarantees for solution operators of elliptic and parabolic problems whose Green's functions lie in an appropriate mixed-smoothness class, at the price of new technical work near the boundary.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a general approach to entropy numbers of classes defined by integral operators whose kernels lie in a given smoothness class, extending the earlier program for Kolmogorov widths. The main result, Theorem 1.2, gives upper bounds for sup_{K∈H^{r,2}_{1,∞}} ε_k(W^K_1,L∞) ≪ k^{-2r}(log 2k)^{2r} in dimension d=1 and sup_{K∈H^{r,4}_{1,∞}} ε_k(W^K_1,L∞) ≪ k^{-2r}(log 2k)^{4r+5/2} in dimension d=2 for r>1. The proof decomposes a kernel K into low-frequency parts handled by finite-dimensional entropy estimates and a high-frequency tail handled by an abstract entropy theorem for classes of the form \bar W^{a,b,b'}_{X,n0}. Lower bounds are obtained by taking the Bernoulli kernel K=F_{2r}(x-y), which lies in the relevant kernel class, and applying known entropy lower bounds for classical mixed-smoothness classes. Section 5 compares the results with Kolmogorov-width bounds via Carl's inequality and states several open problems.
Significance. If the result is correct, it provides the first entropy-number analogues of the earlier Kolmogorov-width results for collections of integral-operator classes, showing that the worst-case entropy decays like k^{-2r} up to logarithmic factors uniformly over the kernel class. The paper is careful to separate upper and lower bounds, and the lower bounds in (4.2)-(4.3) and (5.6)-(5.9) show that the main exponent is sharp in many parameter regimes. The abstract tool Theorem 2.3 is useful beyond the specific application, and the paper explicitly identifies the remaining logarithmic-factor gap as an open problem. The argument is coherent and the exponents in the main theorem check out; the main caveats are the reliance on an endpoint Littlewood-Paley statement cited from the author's own earlier work and a correctable gap in the kernel-decomposition lemma.
major comments (2)
- [Section 2, Theorem 2.1; Section 3, Eq. (3.2)] The block estimate (3.2) is applied to kernels K∈H^{r,2d}_{1,∞}, that is, with vector q=(1,∞). Theorem 2.1 cites [35] for the vector case but does not state the precise result or indicate whether the endpoint values q_j=1 and q_j=∞ are covered. This is load-bearing: the kernel decomposition in Lemma 3.1 and both upper bounds (1.4)-(1.5) rest on (3.2). Please provide a precise reference (theorem and page) that covers the endpoint, or reproduce the endpoint argument. If [35] treats only 1<q_j<∞, then the proof of (3.2) must be supplied; the L∞ component is non-separable and the L1 component lacks unconditional structure, so this is not a routine limiting case.
- [Section 3, Lemma 3.1] The three kernels K^1_u, K^2_u, K^3_u do not form a partition of K. The block {(s1,s2): ∥s1∥1≤u, ∥s2∥1≤u} is counted in both K^1_u and K^2_u, so K^1_u+K^2_u+K^3_u equals K+I, where I is the double-counted block. Consequently the claimed representation f=f^1_u+f^2_u+f^3_u does not follow from the stated definitions. This is repairable by defining K^2_u with the additional restriction ∥s1∥1>u, or by absorbing the overlap into f^1_u; the estimates (3.4)-(3.5) are unaffected. The proof of the lemma should be corrected before publication.
minor comments (4)
- [Section 3, Lemma 3.1] The statement of Lemma 3.1 says X_n:=T(Q_n), but the proof and the application in Theorem 1.2 use X_n:=T(Q_{n−u}); the latter is the correct indexing because f_{n,u}∈T(Q_{n−u}). Please align the statement with the proof.
- [Section 2, Theorem 2.3] In (2.9), the notation k:=D_{2u} makes k a specific sequence rather than a free index. The proof is consistent with this, but it would help the reader if the statement explicitly said that the estimate holds for the sequence k=D_{2u}, with constants independent of u.
- [Section 3, proof of Lemma 3.1] There is a typo 'inequailities' for 'inequalities'. Also, the subspace S_u is not explicitly defined; it is clear from context that it is the span of the coefficient functions of the y-frequencies in Q_u, but a one-sentence definition would improve readability.
- [Section 5, Eq. (5.9)] The condition 'even r∈N' appears to be inherited from (5.5), but when (5.5) is applied with smoothness parameter 2r, the parity condition is automatically satisfied for integer r. Please clarify the intended condition.
Circularity Check
No circularity: the upper bounds follow from an independent Littlewood-Paley characterization and standard entropy estimates; heavy self-citation is present but is not circular.
full rationale
I walked the derivation chain for Theorem 1.2. The kernel class H^{r,2d}_{1,infty} is defined by mixed differences, and Lemma 3.1 decomposes K via the block bounds ||A_s(K)||_{1,infty} << 2^{-r||s||_1} supplied by Theorem 2.1, cited from [35] and [36]. This is a genuine external characterization theorem: its assumptions and conclusion concern smoothness classes and block decompositions, not entropy numbers of W^K_1, and it is not fitted to the target rates. The rest of the proof applies general entropy machinery (Theorem 2.3) to known entropy bounds for hyperbolic-cross polynomial classes (Propositions 3.2 and 3.3, cited from [42]); those are parameter-free published results whose assumptions do not include the desired bound. No quantity is fitted to a subset of data and later called a prediction, and the lower bounds come from independent known entropy estimates combined with a direct embedding check in Lemma 4.1. The frequent self-citations are load-bearing as mathematical references, but they are not circular in the sense of this review: none of them is equivalent by construction to the claimed entropy bound. The possible fragility at the endpoint vector norm q=(1,infty) is a correctness or robustness concern, not a circularity concern.
Assumptions & free parameters
assumptions (6)
- domain assumption Theorem 2.1: membership in H^a_{q,l} is equivalent to Littlewood-Paley block bounds ∥A_s(f)∥_q ≪ 2^{-(a,s)}.
- standard math Nikol'skii inequality for trigonometric polynomials in mixed L_{1,∞} norms.
- domain assumption Entropy bounds for hyperbolic cross polynomial classes, Propositions 3.2, 3.3, and 3.4.
- domain assumption Known entropy lower bounds for W^r_q classes, Theorem 4.1 and relations (5.3)-(5.5).
- standard math Carl's inequality relating entropy numbers to Kolmogorov widths.
- standard math Finite-dimensional entropy bound ε_k(B_X,X)≤3·2^{-k/n} for an n-dimensional Banach space.
Cite this review
Pith. "Pith review of Entropy numbers of classes defined by integral operators." pith.science (2026). https://pith.science/paper/73CKRXHD
@misc{pith2026250508572,
author = {Pith},
title = {Pith review of: Entropy numbers of classes defined by integral operators},
year = {2026},
howpublished = {\url{https://pith.science/paper/73CKRXHD}},
note = {Machine review of arXiv:2505.08572}
}
read the original abstract
In this paper we develop the following general approach. We study asymptotic behavior of the entropy numbers not for an individual smoothness class, how it is usually done, but for the collection of classes, which are defined by integral operators with kernels coming from a given class of functions. Earlier, such approach was realized for the Kolmogorov widths.
Forward citations
Cited by 1 Pith paper
-
Nonlinear approximation with adaptive dictionaries
Sparse approximation of kernels with adaptive, kernel-dependent dictionaries controls sampling-recovery errors for families of integral-operator function classes.
Reference graph
Works this paper leans on
-
[35]
V.N. Temlyakov, Estimates of the best bilinear approximations of functions of two variables and some of their applications, Mat. Sb., 134 (1987), 93–107; English transl. in Math. USSR-Sb 62 (1989), 95–109
work page 1987
-
[1]
S.B. Babadzhanov and V.M. Tikhomirov, On widths of a certain class in theLp-spaces (p≥ 1), Izv. Akad Nauk UzSSR Ser. Fiz.-Mat. Nauk, 11 (1967), 24-30
work page 1967
-
[2]
K.I. Babenko, On the approximation of periodic functions of several variables by trigonometric polynomials, Dokl. Akad. Nauk SSSR, 132 (1960), 247–250; English transl. in Soviet Math. Dokl., 1 (1960)
work page 1960
-
[3]
E.S. Belinsky, Estimates of entropy numbers and Gaussian measures for classes of functions with bounded mixed derivative, J. Approx. Theory, 93 (1998), 114-127
work page 1998
-
[4]
M.S. Birman and M.Z. Solomyak, Piecewise polynomial approxima- tions of functions of the classes Wα p , Mat. Sb. 73 (1967), 331–355
work page 1967
-
[5]
Carl, Entropy numbers, s-numbers, and eigenvalue problems, J
B. Carl, Entropy numbers, s-numbers, and eigenvalue problems, J. Func. Analysis, 41 (1981), 290–306
work page 1981
-
[6]
Dissertation (1985), Moscow, MGU
Dinh Dung, Approximation of multivariate functions by means of har- monic analysis, Hab. Dissertation (1985), Moscow, MGU
work page 1985
-
[7]
Ding Dung, V.N. Temlyakov, and T. Ullrich, Hyperbolic Cross Ap- proximation, Advanced Courses in Mathematics CRM Barcelona, Birkh¨ auser, 2018; arXiv:1601.03978v2 [math.NA] 2 Dec 2016
arXiv 2018
Show all 44 references
-
[8]
Galeev, Approximation of classes of functions with several bounded derivatives by Fourier sums, Matem
E.M. Galeev, Approximation of classes of functions with several bounded derivatives by Fourier sums, Matem. Zametki, 23 (1978), 197–212; English transl. in Math. Notes, 23 (1978)
1978
-
[9]
Galeev, Kolmogorov widths of the classes W ¯α p and H ¯α p of peri- odic functions of several variables in the space Lq, Izv
E.M. Galeev, Kolmogorov widths of the classes W ¯α p and H ¯α p of peri- odic functions of several variables in the space Lq, Izv. Akad. Nauk SSSR, 49 (1985), 916–934; English transl. in Math. Izv. Acad. Sci- ences USSR27 (1986). 21
1985
-
[10]
Gluskin, On a problem concerning widths, Dokl
E.D. Gluskin, On a problem concerning widths, Dokl. Akad. Nauk SSSR, 219 (1974), 527–530; English transl. in Soviet Math. Dokl. 15 (1974)
1974
-
[11]
Ismagilov, Widths of sets in normed linear spaces and the ap- proximation of functions by trigonometric polynomials, Uspekhi Mat
R.S. Ismagilov, Widths of sets in normed linear spaces and the ap- proximation of functions by trigonometric polynomials, Uspekhi Mat. Nauk, 29 (1974), 161–178; English transl. in Russian Math. Surveys, 29 (1974)
1974
-
[12]
Kashin, Widths of certain finite-dimensional sets and classes of smooth functions, Izv
B.S. Kashin, Widths of certain finite-dimensional sets and classes of smooth functions, Izv. AN SSSR, 41 (1977), 334–351; English transl. in Math. Izv. 11 (1977)
1977
-
[13]
Kashin and V.N
B.S. Kashin and V.N. Temlyakov, Estimate of approximate charac- teristics for classes of functions with bounded mixed derivative, Math. Notes, 58 (1995), 1340–1342
1995
-
[14]
Kashin and V.N
B.S. Kashin and V.N. Temlyakov, The volume estimates and their applications, East J. Approx. , 9 (2003), 469–485
2003
-
[15]
Kolmogorov, Uber die beste Ann¨ aherung von Funktionen einer Funktionklasse, Ann
A.N. Kolmogorov, Uber die beste Ann¨ aherung von Funktionen einer Funktionklasse, Ann. Math., 37 (1936), 107–111
1936
-
[16]
Kolmogorov, On certain asymptotic characteristics of of some completely bounded metric spaces, Dokl
A.N. Kolmogorov, On certain asymptotic characteristics of of some completely bounded metric spaces, Dokl. USSR, 108 (1956), 385–388
1956
-
[17]
Kolmogorov and V.M
A.N. Kolmogorov and V.M. Tikhomirov, ε-entropy and ε-capacity of sets in function spaces, Uspekhi Matem. Nauk, 14 (1959), 3-86
1959
-
[18]
Kuelbs and W.V
J. Kuelbs and W.V. Li, Metric entropy and the small ball problem for Gaussian measures, J. Functional Analysis, 116 (1993), 133–157
1993
-
[19]
Lorentz, M.v
, G.G. Lorentz, M.v. Golitschek, and Y. Makovoz, Constructive Ap- proximation, Springer-Verlag, Berlin, 1996
1996
-
[20]
Yu. I. Makovoz, On a method of estimation from bellow of diameters of sets in Banach spaces, Mat. Sb. 87 (1972), 136–142; English transl. in, Mat. Sb. 16 (1972)
1972
-
[21]
Mityagin, Approximation of functions in the spaces Lp andC on the torus, Mat
B.S. Mityagin, Approximation of functions in the spaces Lp andC on the torus, Mat. Sb., 58(100) (1962), 397–414. 22
1962
-
[22]
Rudin, Some theorems on Fourier coefficients, Proc
W. Rudin, Some theorems on Fourier coefficients, Proc. Amer. Math. Soc., 10 (1959), 855–859
1959
-
[23]
Sch¨ utt, Entropy numbers of diagonal operators between symmetric Banach spaces, J
C. Sch¨ utt, Entropy numbers of diagonal operators between symmetric Banach spaces, J. Approx. Theory , 40 (1984), 121–128
1984
-
[24]
Smolyak, The ϵ-entropy of the classesEαk s (B) andWα s (B) in the metric L2, Dokl
S.A. Smolyak, The ϵ-entropy of the classesEαk s (B) andWα s (B) in the metric L2, Dokl. Akad. Nauk SSSR , 131 (1960), 30–33
1960
-
[25]
S. B. Stechkin, On the best approximation of given classes of functions by arbitrary polynomials, Uspekhi Mat. Nauk 9 (1954), 133-134 (in Russian)
1954
-
[26]
Talagrand, The small ball problem for the Brownian sheet, Ann
M. Talagrand, The small ball problem for the Brownian sheet, Ann. Probab., 22 (1994), 1331–1354
1994
-
[27]
Temlyakov, On the approximation of periodic functions of sev- eral variables with bounded mixed difference, Dokl
V.N. Temlyakov, On the approximation of periodic functions of sev- eral variables with bounded mixed difference, Dokl. Akad. Nauk SSSR, 253 (1980), 544-548; English transl. in Soviet Math. Dokl., 22 (1980)
1980
-
[28]
Temlyakov, Widths of some classes of functions of several vari- ables, Dokl
V.N. Temlyakov, Widths of some classes of functions of several vari- ables, Dokl. Akad. Nauk SSSR, 267 (1982), 314–317; English transl. in Soviet Math. Dokl., 26 (1982)
1982
-
[29]
Temlyakov, Approximation of functions with a bounded mixed difference by trigonometric polynomials and the widths of some classes of functions, Izv
V.N. Temlyakov, Approximation of functions with a bounded mixed difference by trigonometric polynomials and the widths of some classes of functions, Izv. Akad. Nauk SSSR, 46 (1982), 171–186; English transl. in Math. Izv. Acad. Sciences USSR, 20 (1983)
1982
-
[30]
Temlyakov, Approximation of periodic functions of several vari- ables by trigonometric polynomials, and widths of some classes of functions, Izv
V.N. Temlyakov, Approximation of periodic functions of several vari- ables by trigonometric polynomials, and widths of some classes of functions, Izv. Akad. Nauk SSSR,49 (1985), 986–1030; English transl. in Math. USSR Izv., 27 (1986)
1985
-
[31]
Temlyakov, On best bilinear approximations of periodic func- tions of several variables, Dokl
V.N. Temlyakov, On best bilinear approximations of periodic func- tions of several variables, Dokl. Akad. Nauk SSSR, 286 (1986), 301– 304; English transl. in Soviet Math. Dokl., 33 (1986), 96–99
1986
-
[32]
Temlyakov, On widths of function classes, Dokl
V.N. Temlyakov, On widths of function classes, Dokl. Akad. Nauk SSSR, 294 (1987), 1069–1072; English transl. in Soviet Math. Dokl., 35 (1987), 639–642. 23
1987
-
[33]
Temlyakov, On estimates of ϵ-entropy and widths of classes of functions with bounded mixed derivative or difference, Dokl
V.N. Temlyakov, On estimates of ϵ-entropy and widths of classes of functions with bounded mixed derivative or difference, Dokl. Akad. Nauk SSSR , 301 (1988), 288–291; English transl. in Soviet Math. Dokl., 38, 84–87
1988
-
[34]
Temlyakov, Estimates of the asymptotic characteristics of classes of functions with bounded mixed derivative or difference, Trudy Matem
V.N. Temlyakov, Estimates of the asymptotic characteristics of classes of functions with bounded mixed derivative or difference, Trudy Matem. Inst. Steklov, 189 (1989), 138–168; English transl. in Proceed- ings of the Steklov Institute of Mathematics , 1990, Issue 4, 161–197
1989
-
[36]
Temlyakov, Approximation of functions with bounded mixed derivative, Trudy MIAN, 178 (1986), 1–112
V.N. Temlyakov, Approximation of functions with bounded mixed derivative, Trudy MIAN, 178 (1986), 1–112. English transl. in Proc. Steklov Inst. Math., 1 (1989)
1986
-
[37]
Temlyakov, Bilinear approximation and related questions, Trudy MIAN im
V.N. Temlyakov, Bilinear approximation and related questions, Trudy MIAN im. Steklova, 194 (1992), 229–248; English transl. in Proceed- ings of the Steklov Inst. Math., 1993, Issue 4, 245–265
1992
-
[38]
Temlyakov, An inequality for trigonometric polynomials and its application for estimating the entropy numbers, J
V.N. Temlyakov, An inequality for trigonometric polynomials and its application for estimating the entropy numbers, J. Complexity, 11 (1995), 293–307
1995
-
[39]
Temlyakov, On two problems in the multivariate approximation, East J
V.N. Temlyakov, On two problems in the multivariate approximation, East J. Approx. , 4 (1998), 505–514
1998
-
[40]
Temlyakov, Greedy Approximation, Cambridge University Press, 2011
V.N. Temlyakov, Greedy Approximation, Cambridge University Press, 2011
2011
-
[41]
Temlyakov, On the entropy numbers of the mixed smoothness func- tion classes, Journal of Approximation Theory, 217 (2017), 26–56
V. Temlyakov, On the entropy numbers of the mixed smoothness func- tion classes, Journal of Approximation Theory, 217 (2017), 26–56
2017
-
[42]
Temlyakov, Multivariate Approximation , Cambridge University Press, 2018
V. Temlyakov, Multivariate Approximation , Cambridge University Press, 2018
2018
-
[43]
Temlyakov, Brief introduction in greedy approximation, arXiv:2502.13432v1 [math.NA] 19 Feb 2025
V. Temlyakov, Brief introduction in greedy approximation, arXiv:2502.13432v1 [math.NA] 19 Feb 2025. 24
2025 arXiv
-
[44]
Tikhomirov, Some questions of approximation theory, Moscow State University, 1976 (in Russian)
V.M. Tikhomirov, Some questions of approximation theory, Moscow State University, 1976 (in Russian). V.N. Temlyakov, University of South Carolina, USA, Steklov Mathematical Institute of Russian Academy of Sciences, Russia; Lomonosov Moscow State University, Russia; Moscow Cent...
1976
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.