Pith. sign in

REVIEW 2 major objections 3 minor 43 references

The optimal range of the Calder\`{o}n operator and its applications

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read The paper identifies the optimal (smallest) symmetric quasi-Banach range space for the Calderón operator, the Hilbert transform, and the triangular truncation operator, for every symmetric quasi-Banach domain inside the Lorentz space…

desk verdict Genuinely new framework for optimal range of the Hilbert transform and triangular truncation in symmetric quasi-Banach spaces, but the discrete lower-bound proof has a concrete parity error in Lemma 23 that needs repair before Theorem 34 is proved as written. read the letter →

arxiv 1908.09548 v1 pith:UEEJTJTW submitted 2019-08-26 math.FA

classification math.FA MSC 46E3047B1046L5146L5244A1547L2047C15
keywords symmetricquasi-BanachspacesCalderónoperatorHilberttransformtriangulartruncationoptimalrangeLipschitzfunctionscommutatorestimatesLorentz
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper settles a long-standing question: given a symmetric quasi-Banach space $E$ of functions or sequences inside the Lorentz space $\Lambda_{\log}$, what is the smallest symmetric quasi-Banach space that receives the Calderón operator $S$, the Hilbert transform, and the triangular truncation operator? The answer is the same space $F$ in all three cases, defined by the condition that the rearrangement of the output is dominated by $S$ applied to the rearrangement of some element of $E$. This extends the classical reduction in [7] from the Banach-space setting to the full quasi-Banach setting, and it sharpens the classical weak-$L^1$ result: for $E = L^1$ the optimal range of the Hilbert transform is the closure of bounded functions in $L^{1,\infty}$.

What carries the argument

The Calderón operator $S$, defined by $(Sx)(t) = \frac{1}{t}\int_0^t x(s)\,ds + \int_t^\infty \frac{x(s)}{s}\,ds$, is the carrying mechanism. Theorem 14 converts quantitative $L^p$ bounds of an operator $T$ into a universal domination $\mu(T(A)) \preceq c_{abs} S\mu(A)$; this is what makes $S$ the universal upper bound. Lemma 23 supplies the matching lower bound via the discrete operator $H_d$ and a rearrangement-preserving construction of a sequence $c$ from $a$, proving that triangular truncation is strong enough to force $F$ to be the smallest possible range.

What would settle it

Take $a$ with $\mu(k,a)=1/(k+1)$ and let $c$ be as in (5.12). For every even $n$, $(H_d c)(n)=0$ because the parity condition only allows odd $k$, where $c$ vanishes; the claimed formula replacing the sum by $\sum_{k\ge0}\mu(k,a)/(n+2k)$ is inconsistent with (5.12)–(5.13). Computing $S_d\mu(a)(n)\sim \log n/n$ and comparing it with the decreasing rearrangement of the odd-index values of $H_d c$ would settle whether any absolute constant can make the domination hold.

Watch

Extended reading notes

Core claim

The central discovery is that for every symmetric quasi-Banach space $E \subset \Lambda_{\log}$, the space $F = \{x : \mu(x) \le S\mu(y) \text{ for some } y \in E\}$, equipped with the natural infimum norm, is itself a symmetric quasi-Banach space and is the optimal symmetric quasi-Banach range for the Calderón operator $S$. The same $F$ serves as the optimal range for the non-commutative Hilbert transform $1\otimes H$ acting on $E(M \bar{\otimes} L^\infty(\mathbb{R}))$ when $M$ is atomless and semifinite, and for the triangular truncation operator $T$ acting on the ideal $E(H)$. The upper bound is proved through an abstract domination theorem: any self-adjoint contraction on $L^2(M)$ whose norm on $L^p(M)$ grows at most like $1/(p-1)$ satisfies $\mu(T(A)) \preceq c_{abs} S\mu(A)$ in the submajorization sense. The lower bound, proving that no smaller symmetric quasi-Banach space can work, is built from a discrete Fourier construction showing that triangular truncation can already reproduce the Calderón operator on rearrangements.

Load-bearing premise

The proof that $F$ is the smallest possible range depends on Lemma 23, whose construction of the sequence $c$ assigns nonzero values only to even indices, while the parity condition $k \equiv n+1 \pmod{2}$ in the definition of $H_d$ excludes those indices when $n$ is even; as written, the displayed lower estimate for $(H_d c)(n)$ does not follow from the stated definitions.

Editorial extensions

If this is right

  • For $E=L^1$, the optimal range of the Hilbert transform is $(L^{1,\infty})_0$, the closure of bounded functions in $L^{1,\infty}$, refining the classical weak-$L^1$ theorem.
  • For $E=L^1(H)$, the optimal range of the triangular truncation operator is the weak trace ideal $L^{1,\infty}(H)$, confirming the classical prediction for triangular truncation on the trace class.
  • For every Lipschitz function $f$ and self-adjoint operators $A,B$, the double operator integral maps $E(H)$ into $F(H)$ and satisfies $\|[f(A),B]\|_{F(H)} \le c\,\|f'\|_\infty \|[A,B]\|_{E(H)}$; the same holds for $f(X)-f(Y)$ with $\|X-Y\|_{E(H)}$.
  • A noncommutative logarithmic integrability theorem follows: if $\|\mu(A)\log^+(\mu(A))\|_{L^1}<\infty$, then $T(A)\in L^1(M)$ with the corresponding norm bound, covering both the Hilbert transform and triangular truncation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the same formula for $F$ may describe optimal range spaces for any operator dominated by $S$ in rearrangement, including Riesz projections and the absolute value map, giving a uniform template for rearrangement-invariant optimal range problems.
  • Editorial inference: replacing the triangular truncation lower bound with a direct construction for the Hilbert transform would isolate whether the parity issue in Lemma 23 is essential or an artifact; such a construction would make the proof robust and testable.
  • Editorial inference: should the Lemma 23 lower bound fail for some $E$, the minimality claim would still hold for symmetric spaces with Fatou norm via the classical argument; the quasi-Banach extension would then require a different lower-bound mechanism.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper studies the optimal symmetric quasi-Banach range spaces for the Calderón operator S on (0,∞), for the noncommutative Hilbert transform 1⊗H on spaces over M⊗L∞(R), and for the triangular truncation T on ideals of compact operators. The central construction is F = {x : μ(x) ≤ Sμ(y) for some y ∈ E}, equipped with a quasi-norm defined by an infimum of ‖y‖E. The authors prove an abstract domination theorem (Theorem 14) showing that a self-adjoint contraction with suitable L^p and weak-L^1 bounds is dominated by S on Λlog(M), and they use this to establish the upper-bound halves of the optimal-range theorems. The lower-bound halves are proved via the classical Bennett–Sharpley result for the Hilbert transform and via a new noncommutative analogue (Theorem 21) for T. Section 8 applies these results to double operator integrals and commutator/Lipschitz estimates. The stated goal is to resolve Problems 1 and 2 in full generality, removing the Fatou-norm assumption used in earlier Boyd-type results.

Significance. If correct, the paper would solve two longstanding problems in the optimal-range theory of symmetric quasi-Banach spaces and would provide a unified noncommutative framework for the Hilbert transform and the triangular truncation. The construction of F is explicit, parameter-free, and defined directly from the operator S, with no fitted constants; the upper-bound arguments in Lemmas 18 and 19 and Theorem 14 are careful and mostly complete. The optimality claim for the triangular truncation, however, rests on Lemma 23, which contains a genuine parity mismatch that invalidates the proof as written. This defect is localized and appears repairable, but it blocks the minimality half of Theorem 34 and the applications that depend on it. The lower bound for the Hilbert transform in Theorem 33 is not affected, since it uses the external classical result [3, Proposition III.4.10].

major comments (2)
  1. [§5, Lemma 23 (Eqs. (5.12)–(5.13))] The sequence c defined in (5.12) is nonzero only at nonpositive even integers and is zero at all positive integers and at all odd integers. For n ≥ 0 even, the parity condition in (5.13) (k ≡ n+1 mod 2) selects only odd k, for which c(k)=0 by (5.12). Hence (Hdc)(n)=0 for every even n ≥ 0, so the displayed lower bound |(Hdc)(n)| ≥ (1/2π) Sdμ(n,a) cannot hold for these n. Since the subsequent rearrangement step relies on this estimate, the proof of Lemma 23 and therefore of Theorem 21 is not valid as written.
  2. [§7, Theorem 34 and §8, Theorem 37] The optimality (minimality) direction of Theorem 34 is proved by invoking Theorem 21, whose proof depends on Lemma 23. With Lemma 23 uncorrected, the conclusion F(H) ⊂ G(H) for an arbitrary symmetric quasi-Banach ideal G with T(E(H)) ⊂ G(H) is not established. The applications in Theorem 37 that cite Theorem 34 are consequently unsupported as written. This defect does not affect the lower bound in Theorem 33, which cites [3, Proposition III.4.10] rather than Lemma 23; however, Theorem 34 is one of the headline results.
minor comments (3)
  1. [§5, Eq. (5.4) vs. Eq. (5.11)] There is a sign inconsistency: (5.4) defines (Hda)(n) with denominator (k−n), whereas (5.11) and Lemma 22 use denominator (n−k) with the same parity condition. Because all later estimates are taken in absolute value, this does not alter the inequalities, but the two definitions should be reconciled.
  2. [§3, after Theorem 14] The sentence 'A ≈ B means A ≲ B and A /greaterorsimilarB' contains an unrendered symbol; it should read 'A ≳ B'.
  3. [§6, Proof of Theorem 26] In the optimality part of the proof, after showing Sμ(x) ∈ G(0,∞) for x ∈ E(0,∞), the text says 'Hence, F(0,∞) ⊂ G(0,∞)' without explicitly invoking the definition of F. The inference is correct but should be spelled out for clarity.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the range space F is constructed from the Calder\'on operator and optimality rests on external lower bounds; self-citations are used only as published lemmas.

full rationale

The paper's central construction is not fitted: F is defined in Definition 25 (and its discrete analogue Definition 29) as the class of x with µ(x) ≤ Sµ(y) for some y ∈ E, and the optimal-range theorems are then proven by (a) showing S maps E into F by definition, (b) proving F is a quasi-Banach symmetric space, and (c) using lower-bound results to show any symmetric range G must contain Sµ(E). For the Hilbert transform (Theorem 33), the lower bound is the classical Bennett–Sharpley result [3, Proposition III.4.10]; for triangular truncation (Theorem 34), the lower bound is Theorem 21, proved in the paper via Lemma 22 and Lemma 23. No parameter is fitted to a subset of data and then renamed a prediction. Citations to the authors' own prior work ([16], [25], [41], etc.) are used as published, parameter-free ingredients (e.g., symmetric-space completeness and dilation bounds) rather than as the target result; none of these citations is invoked to forbid alternatives or to supply the optimality conclusion itself. The possible parity defect in Lemma 23 identified by the reader is a correctness gap in the proof of the lower estimate, not a circular step: it concerns whether the displayed inequality follows from the stated definitions, not whether the conclusion is assumed as an input. Accordingly the paper merits a low circularity score, with the proof defect noted separately as a correctness risk.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are introduced. The proof relies on standard published theorems in noncommutative integration, interpolation, and rearrangement-invariant spaces. The main external dependencies are the unpublished manuscript [18] and the classical lower bound [3, Proposition III.4.10].

assumptions (6)
  • standard math Kalton-Sukochev theorem: for a symmetric quasi-Banach function space E, the set E(M) = {A : µ(A) ∈ E} is a complete symmetric operator space.
    Invoked in Section 2.2 and used throughout to transfer commutative results to noncommutative operator spaces.
  • standard math Kothe duality identifications, including (M1,∞ + (L1 ∩ L2))× = Λ log ∩ (L2 + L∞) and noncommutative analogues.
    Used in Lemma 17 and in Step 2 of Lemma 18 for duality of (L2 + L∞) with (L1 ∩ L2).
  • standard math Interpolation result [13, Theorem 4.8] giving Lp bounds with constant 1/(p-1) from weak L1 and L2 boundedness.
    Used in the proof of Theorem 14(ii) to invoke part (i) for bounded inputs.
  • domain assumption Equivalence sup_{1<p≤2} (p-1)||a||_{ℓp} ≈ ||a||_{M1,∞} from [9, Theorem 4.5].
    Used in Lemma 16; published but partially authored by members of the same group.
  • standard math Bennett-Sharpley [3, Proposition III.4.10]: for x in the domain of H there exists y with µ(y) = µ(x) and Sµ(x) ≤ c µ(Hy).
    Load-bearing for the lower bound in Theorems 33 and 34.
  • domain assumption Double operator integral estimates for Lipschitz symbols, [11, Theorem 1.2], supply the weak-type and L2 assumptions required by Theorem 14.
    Used in Theorem 37 to transfer the optimal range result to double operator integrals and commutator estimates.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The optimal range of the Calder\`{o}n operator and its applications." pith.science (2026). https://pith.science/paper/UEEJTJTW

@misc{pith2026190809548,
  author       = {Pith},
  title        = {Pith review of: The optimal range of the Calder\`on operator and its applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UEEJTJTW}},
  note         = {Machine review of arXiv:1908.09548}
}
read the original abstract

We identify the optimal range of the Calder\`{o}n operator and that of the classical Hilbert transform in the class of symmetric quasi-Banach spaces. Further consequences of our approach concern the optimal range of the triangular truncation operator, operator Lipschitz functions and commutator estimates in ideals of compact operators.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 38 canonical work pages

  1. [1]

    Arazy, Some remarks on interpolation theorems and the boundedness of the triangular projection in unitary matrix spaces , Integr

    J. Arazy, Some remarks on interpolation theorems and the boundedness of the triangular projection in unitary matrix spaces , Integr. Equ. Oper. theory, 1:4 (1978), 453–495

  2. [2]

    Astashkin and F.A

    S.V. Astashkin and F.A. Sukochev, Series of independent random variables in rearrangement invariant spaces: An operator approach , Israel J. Math. 145 (2005), 125–156

  3. [3]

    Bennett and R

    C. Bennett and R. Sharpley, Interpolation of Operators , Pure and Applied Mathematics,

  4. [4]

    Berkson, T.A

    E. Berkson, T.A. Gillespie, and P.S. Muhly, Abstract spectral decomposition guaranteed by the Hilbert transform , Proc. London Math. Soc. 53 (1986), 489–517

  5. [5]

    Birman, M

    M. Birman, M. Solomyak, Spectral theory of selfadjoint operators in Hilbert space , Mathe- matics and its Applications (Soviet Series). D. Reidel Publ ishing Co., Dordrecht, 1987

  6. [6]

    Bourgain, Some remarks on Banach spaces in which martingale difference sequences are unconditional, Ark

    J. Bourgain, Some remarks on Banach spaces in which martingale difference sequences are unconditional, Ark. Mat., 21 (1983), 163–168

  7. [7]

    Boyd, The Hilbert transform on rearrangement-invariant spaces, Can

    D. Boyd, The Hilbert transform on rearrangement-invariant spaces, Can. J. Math., 19 (1967), 599–616

  8. [8]

    Burholder, A geometrical characterization of Banach spaces in which ma rtingale dif- ference sequences are unconditional , Ann

    D.L. Burholder, A geometrical characterization of Banach spaces in which ma rtingale dif- ference sequences are unconditional , Ann. Prob., 9 (1981), 997–1011

Show all 43 references
  1. [9]

    Carey, A

    A.L. Carey, A. Rennie, A. Sedaev, F. Sukochev, The Dixmier trace and asymptotics of zeta functions, J. Funct. Anal., 249 (2007), 253–283

  2. [10]

    Caspers, D

    M. Caspers, D. Potapov, F. Sukochev, and D. Zanin, Weak type estimates for the absolute value mapping , J. Operator Theory, 73 (2015), 361–384

  3. [11]

    Caspers, D

    M. Caspers, D. Potapov, F. Sukochev, D. Zanin, Weak type commutator and Lipschitz esti- mates: resolution of the Nazarov-Peller conjecture , Amer. J. Math. 144 (2019), 593–610

  4. [12]

    Davies, Lipschitz continuity of functions of operators in the Schat ten classes , J

    E.B. Davies, Lipschitz continuity of functions of operators in the Schat ten classes , J. London Math. Soc. 37 (1988), 148–157

  5. [13]

    Dirksen, Noncommuatative Boyd interpolation theorem , Trans

    S. Dirksen, Noncommuatative Boyd interpolation theorem , Trans. Amer. Math. Soc., 367 (2015), 4079–4110

  6. [14]

    Dodds, B

    P.G. Dodds, B. de Pagter, Normed K¨ othe spaces: A non-commutative viewpoint , Indag. Math. 25 (2014), 206–249

  7. [15]

    Dodds, T.K

    P.G. Dodds, T.K. Dodds, B. de Pagter, and F.A. Sukochev, Lipschitz Continuity of the Absolute Value and Riesz Projections in Symmetric Operator Spaces, J. Funct. Anal. 148 (1997), 28–69

  8. [16]

    Dodds, T.K

    P.G. Dodds, T.K. Dodds, B. de Pagter, and F.A. Sukochev, Lipschitz continuity of the abso- lute value in preduals of semifinite factors , Integral Equations Operator Theory 34 (1999), 28–44

  9. [17]

    Dodds, T.K

    P.G. Dodds, T.K. Dodds, B. de Pagter, Noncommutative K¨ othe duality, Trans. Amer. Math. Soc., 339 (1993), 717–750

  10. [18]

    Dodds, B

    P.G. Dodds, B. de Pagter, and F.A. Sukochev, Theory of Noncommutative integration , Un- published manuscript

  11. [19]

    T. Fack, H. Kosaki, Generalized s-numbers of τ-measurable operators , Pacific J. Math., 123(2) (1986), 269–300

  12. [20]

    Gohberg and M.G

    I.C. Gohberg and M.G. Kre ˇin, Introduction to the theory of linear non-selfadjoint opera tors, Transl. Math. Monogr., 18, Amer. Math. Soc., Providence, R.I., 1969

  13. [21]

    Gohberg and M.G

    I.C. Gohberg and M.G. Kre ˇin, Theory and Applications of Volterra operators on Hilbert spaces, Transl. Math. Monogr., 24, Amer. Math. Soc., Providence, R.I., 1970

  14. [22]

    Ying Hu, Noncommutative extrapolation theorems and applications , Illinois Journal of Math- ematics, 53:2 (2009), 463–482

  15. [23]

    Huang, F

    J. Huang, F. Sukochev, Interpolation between L0(M, τ ) and L∞ (M, τ ), Math. Z., 293 (2019), 1–16. (preprint)

  16. [24]

    Kalton, N

    N. Kalton, N. Peck, J. Rogers, An F-space Sampler , London Math. Soc. Lecture Note Ser., 89, Cambridge University Press, Cambridge, 1985

  17. [25]

    Kalton, F

    N. Kalton, F. Sukochev, Symmetric norms and spaces of operators , J. Reine Angew. Math. 621 (2008), 81–121

  18. [26]

    Katznelson, An introduction to Harmonic analysis , Third Corrected Edition, Cambridge University Press, (2012)

    Y. Katznelson, An introduction to Harmonic analysis , Third Corrected Edition, Cambridge University Press, (2012)

  19. [27]

    Kolmogorov, Sur les fonctions harmoniques conjuguees et les series de Fo urier, Fun- damenta Math

    A.N. Kolmogorov, Sur les fonctions harmoniques conjuguees et les series de Fo urier, Fun- damenta Math. 7 (1925), 23–28. 36 F. SUKOCHEV, K. TULENOV, AND D. ZANIN

  20. [28]

    Kosaki, Unitarily invariant norms under which the map A → | A| is continuous , Publ

    H. Kosaki, Unitarily invariant norms under which the map A → | A| is continuous , Publ. Rest. Inst. Math. Sci. 28 (1992), 299–313

  21. [29]

    Krein, Y

    S. Krein, Y. Petunin, and E. Semenov, Interpolation of linear operators , Amer. Math. Soc., Providence, R.I., (1982)

  22. [30]

    Lindenstrauss, L

    J. Lindenstrauss, L. Tzafiri, Classical Banach spaces . Springer-Verlag, I, II, (1979)

  23. [31]

    Lozanovski ˇi, Mappings of Banach lattices of measurable functions , Izv

    G.A. Lozanovski ˇi, Mappings of Banach lattices of measurable functions , Izv. Vyssh. Uchevn. Zaved. Mat. 5 (192) (1978), 84–86. (in Russian)

  24. [32]

    S. Lord, F. Sukochev, D. Zanin, Singular traces. Theory and applications , De Gruyter Studies in Mathematics, 46. De Gruyter, Berlin, 2013

  25. [33]

    Meyer-Nieberg, Banach Lattices, Springer-Verlag, (1991)

    P. Meyer-Nieberg, Banach Lattices, Springer-Verlag, (1991)

  26. [34]

    Macaev, Volterra operators obtained from self-adjoint operators b y perturbation , Dokl

    V.I. Macaev, Volterra operators obtained from self-adjoint operators b y perturbation , Dokl. Akad. Nauk SSSR, 139 (1961), 810–813 (in Russian)

  27. [35]

    Nazarov, V

    F. Nazarov, V. Peller, Lipschitz functions of perturbed operators , C. R. Math. Acad. Sci. Paris 347 (2009), 857–862

  28. [36]

    de Pagter, H

    B. de Pagter, H. Witvliet, F. Sukochev, Double operator integrals, J. Funct. Anal. 192 (2002), 52–111

  29. [37]

    Potapov, F

    D. Potapov, F. Sukochev, Operator-Lipschitz functions in Schatten-von Neumann cla sses, Acta Math. 207 (2011), 375–389

  30. [38]

    Randrianantoanina, Hilbert transform associated with finite maximal subdiagon al algebras, J

    N. Randrianantoanina, Hilbert transform associated with finite maximal subdiagon al algebras, J. Austral. Math. Soc. (Series A) 65 (1998), 388–404

  31. [39]

    Randrianantoanina, Spectral subspaces and non-commutative Hilbert transform s, Colloq

    N. Randrianantoanina, Spectral subspaces and non-commutative Hilbert transform s, Colloq. Math. 91 (2002), 9–27

  32. [40]

    Reed and B

    M. Reed and B. Simon, Methods of modern mathematical physics I , Second ed., Academic Press Inc., New York, 1980

  33. [41]

    Sukochev, Completeness of quasi-normed symmetric operator spaces , Indag

    F. Sukochev, Completeness of quasi-normed symmetric operator spaces , Indag. Math. (N.S.) 25:2 (2014), 376–388

  34. [42]

    Zsid´ o, On spectral subspaces associated to locally compact abelia n groups of operators , Adv

    L. Zsid´ o, On spectral subspaces associated to locally compact abelia n groups of operators , Adv. Math. 36 (1980), 213–276. School of Mathematics and Statistics, University of New South W ales, Kensington, NSW, 2052, Australia E-mail address : f.sukochev@unsw.edu.au Al-F ara...

  35. [129]

    Academic Press, 1988

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.