pith. sign in

arxiv: 2601.11934 · v2 · pith:L32P4KAHnew · submitted 2026-01-17 · 🧮 math.FA · math.AP

The nonlinear estimates on quantum Besov spaces

Pith reviewed 2026-05-16 13:28 UTC · model grok-4.3

classification 🧮 math.FA math.AP
keywords quantum Besov spacessuperposition operatorsnon-smooth symbolsnonlinear estimatesquantum chain rulenoncommutative PDEs
0
0 comments X

The pith

Superposition operators with non-smooth symbols are bounded on quantum Besov spaces.

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

This paper shows that superposition operators defined by symbols with limited smoothness are still bounded maps on quantum Besov spaces. The result extends previous work that required infinitely smooth symbols. It uses a new quantum version of the chain rule together with nonlinear interpolation to prove the estimates. A byproduct is the proof that two common definitions of quantum Besov spaces coincide. These estimates are needed to establish well-posedness for nonlinear equations in noncommutative settings.

Core claim

The boundedness of superposition operators with non-smooth symbols holds on quantum Besov spaces via a novel quantum chain rule and nonlinear interpolation, and the two descriptions of quantum Besov spaces are equivalent.

What carries the argument

A novel quantum chain rule for non-smooth functions that controls the action of superposition operators in the quantum setting.

If this is right

  • Nonlinear noncommutative PDEs become well-posed for a wider range of nonlinearities with reduced smoothness.
  • The theory of quantum Besov spaces applies to more general symbols without losing the boundedness property.
  • Equivalence of descriptions allows flexible use of either definition in future proofs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the estimates hold, they may carry over to related spaces like quantum Sobolev spaces with similar techniques.
  • Applications could include stability results for quantum evolution equations with rough potentials.
  • Testing on specific noncommutative algebras like matrix algebras could verify the bounds numerically.

Load-bearing premise

The symbols possess just enough regularity for the quantum chain rule and nonlinear interpolation to apply directly.

What would settle it

Finding a specific non-smooth symbol where the superposition operator fails to map a quantum Besov space into itself with finite norm would disprove the boundedness claim.

read the original abstract

The superposition operators have been widely studied in nonlinear analysis, which are essential for the well-posedness theory of nonlinear equations. In this paper, we investigate the boundedness estimates of superposition operators with non-smooth symbols on quantum Besov spaces, which significantly generalize McDonald's results \cite{McNLE} for infinitely differentiable symbols and have rich applications in the well-posedness theory of noncommutative PDEs. The ingredients in the proof involve a novel quantum chain rule and nonlinear interpolation. As a byproduct, we prove the equivalence of the two descriptions of quantum Besov spaces, resolving the conjecture proposed in \cite[Remark 3.16]{McNLE}.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper establishes boundedness estimates for superposition operators with non-smooth symbols acting on quantum Besov spaces. The proofs rely on a novel quantum chain rule combined with nonlinear interpolation; this extends McDonald's C^∞-symbol results and yields, as a byproduct, the equivalence of the two standard descriptions of quantum Besov spaces, thereby resolving the conjecture stated in Remark 3.16 of McNLE.

Significance. If the central estimates and the equivalence are rigorously established, the work would constitute a meaningful advance in noncommutative nonlinear analysis. The extension to non-smooth symbols broadens applicability to well-posedness questions for noncommutative PDEs, while the resolution of the Besov-space equivalence removes an open technical obstruction left by prior work.

major comments (1)
  1. [Section containing the quantum chain rule (likely §3 or §4)] The quantum chain rule is the load-bearing ingredient for extending the boundedness estimates beyond C^∞ symbols. The manuscript must explicitly verify that the chain rule holds under precisely the regularity assumed for the symbols (continuous, Hölder, etc.) and must not invoke hidden commutator estimates or derivative requirements that fail below C^1. Without this verification the claimed generality collapses and both the main estimates and the byproduct equivalence are affected.
minor comments (1)
  1. [Abstract] The abstract refers to 'non-smooth symbols' without stating the precise function class (e.g., C^0, C^α, Lip). Adding a short sentence with the exact regularity assumption would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The comment on the quantum chain rule is well-taken, and we will revise the paper to address it explicitly while preserving the core results.

read point-by-point responses
  1. Referee: [Section containing the quantum chain rule (likely §3 or §4)] The quantum chain rule is the load-bearing ingredient for extending the boundedness estimates beyond C^∞ symbols. The manuscript must explicitly verify that the chain rule holds under precisely the regularity assumed for the symbols (continuous, Hölder, etc.) and must not invoke hidden commutator estimates or derivative requirements that fail below C^1. Without this verification the claimed generality collapses and both the main estimates and the byproduct equivalence are affected.

    Authors: We agree that an explicit verification strengthens the presentation. The quantum chain rule in Section 3 is derived from quantum commutator bounds that depend only on the Hölder or continuous modulus of continuity of the symbol (no C^1 differentiability is used). To make this fully transparent, we will add a new lemma (Lemma 3.4) in the revised manuscript that isolates the chain rule, states the precise regularity hypothesis, and walks through the estimates without hidden assumptions. This addition confirms the claimed generality for non-smooth symbols and leaves the main boundedness theorems and the Besov-space equivalence unchanged. revision: yes

Circularity Check

0 steps flagged

No circularity: novel chain rule and interpolation provide independent content

full rationale

The derivation introduces a novel quantum chain rule and nonlinear interpolation to extend boundedness estimates from C^∞ symbols (McNLE) to non-smooth symbols on quantum Besov spaces. The byproduct equivalence of the two space descriptions follows from these estimates and resolves an external conjecture without reducing to self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. No quoted equations or steps in the provided abstract and context exhibit reduction of outputs to inputs by construction; the central claims rest on new technical ingredients whose validity is independent of the target results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only view supplies no explicit free parameters, axioms, or invented entities; the quantum chain rule is presented as novel but its foundational assumptions are not detailed.

pith-pipeline@v0.9.0 · 5399 in / 1023 out tokens · 76455 ms · 2026-05-16T13:28:49.450834+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

78 extracted references · 78 canonical work pages

  1. [1]

    Arendt, C

    W. Arendt, C. Batty, M. Hieber and F. Neubrander. Vector-Valued Laplace Transforms and Cauchy Problems. Second edition, Monogr. Math., V ol. 96, Birkh¨auser/Springer, Basel AG, Basel, 2011, MR2798103. 16

  2. [2]

    Appell and P

    J. Appell and P. P. Zabrejko. Nonlinear superposition operators. V ol. 95 ofCambridge Tracts in Mathematics, Cambridge University Press, Cambridge, 1990. 3

  3. [3]

    N. A. Azamov, A. L. Carey, P. G. Dodds, and F. A. Sukochev. Operator Integrals, Spectral Shift, and Spectral Flow.Canad. J. Math.,61(2009), no.2, 241–263. 6, 20, 21, 23, 25, 27

  4. [4]

    S. Bartels. Numerical Methods for Nonlinear Partial Differential Equations. Deutschland: Springer International Publishing, (2015). 3

  5. [5]

    Bamba, M

    K. Bamba, M. Saitou and A. Sugamoto. Hydrodynamics on non commutative space: A step toward hydrodynam- ics of granular materials.Prog. Theor. Exp. Phys.,10(2014), 103B03. 2 THE NONLINEAR ESTIMATES ON QUANTUM BESOV SPACE 41

  6. [6]

    Bhatia and K

    B. Bhatia and K. B. Sinha. Derivations, derivatives and chain rules.Linear Algebra Appl.,302(303)(1999), 231–244 27

  7. [7]

    M. Sh. Birman and M. Z. Solomyak. Double Stieltjes operator integrals. InProbl. Math. Phys., No. I, Spectral Theory and Wave Processes (Russian)(1966), pages 33-67. Izdat. Leningrad. Univ., Leningrad. 4

  8. [8]

    M. Sh. Birman and M. Z. Solomyak. Double Stieltjes operator integrals. II. InProblems of Mathematical Physics, No. 2, Spectral Theory, Diffraction Problems (Russian)(1967), pages 26-60. Izdat. Leningrad. Univ., Leningrad,

  9. [9]

    M. Sh. Birman and M. Z. Solomyak. Double Stieltjes operator integrals. III.Probl. Math. Phys., no. 6, Leningrad. Univ., Leningrad, (1973), pp. 27–53. 4, 25

  10. [10]

    Bourdaud

    G. Bourdaud. Le calcul fonctionnel dans le espace de Sobolev.Invent. Math.,104(1991), 435-446. 3

  11. [11]

    Bourdaud

    G. Bourdaud. Le calcul fonctionnel dans l ´espace de Besov critique, (French) [Functional calculus in the critical Besov space].Proc. Amer. Math. Soc.,116(1992), 983–986. 4

  12. [12]

    Bourdaud

    G. Bourdaud. Fonctions qui op `erent sur les espaces de Besov et de Triebel.Ann. Inst. Henri Poincar´ e, Anal. Non Lin´ eaire.,10(4)(1993), 413–422. 4, 5

  13. [13]

    Bourdaud and D.Kateb

    G. Bourdaud and D.Kateb. Fonctions qui op `erent sur les espaces de Besov.Math. Ann.,303(1995), 653–675. 4

  14. [14]

    Bourdaud and Y

    G. Bourdaud and Y . Meyer. Fonctions qui op `erent sur les espaces de Sobolev.J. Functional Anal.,97(1991), 351-360. 4

  15. [15]

    Bourdaud, M.Moussai and W.Sickel

    G. Bourdaud, M.Moussai and W.Sickel. Towards sharp superposition theorems in Besov and Lizorkin–Triebel spaces.Nonlinear Anal.,68(2008), 2889–2912. 3

  16. [16]

    Bratteli and D

    O. Bratteli and D. W. Robinson. Operator algebras and quantum statistical mechanics. 1. Texts and Monographs in Physics. Springer-Verlag, New York, second edition, 1987.C ∗- andW ∗- algebras, symmetry groups, decom- position of states. 28

  17. [17]

    Caspers and E

    M. Caspers and E. Huisman. Higher order perturbation estimates in quasi-Banach Schatten spaces through wavelets. arXiv:2509.06558. 7

  18. [18]

    D. Chen, G. Hong, L. Wang and W. Wang. Navier-Stokes equations on quantum Euclidean spaces. arXiv:2511.04318. 2, 12, 13, 14, 20

  19. [19]

    Coine, C

    C. Coine, C. Le Merdy. F. Sukochev. When do triple operator integrals take value in the trace class?Ann. Inst. Fourier (Grenoble)71 (4)(2021), 1393–1448. 6

  20. [20]

    Coine, C

    C. Coine, C. Le Merdy, A. Skripka and F. Sukochev. Higher orderS 2-differentiability and application to Ko- plienko trace formula.J. Funct. Anal.,276(10)(2019), 3170–3204. 26

  21. [21]

    Yu. L. Dalecki ˘ı and S. G. Kre˘ın. Integration and differentiation of functions of Hermitian operators and applica- tions to the theory of perturbations.Voroneˇ z. Gos. Univ. Trudy Sem. Funkcional. Anal.,1956(1)(1956), 81-105. 4

  22. [22]

    Das and S

    P. Das and S. Ghosh. Noncommutative geometry and fluid dynamics.Eur. Phys. J. C,76(2016), 627. 2

  23. [23]

    Dixmier.C ∗-algebras

    J. Dixmier.C ∗-algebras. V ol. 15. North-Holland Publishing Co., Amsterdam-New York-Oxford (1977). 28, 29

  24. [24]

    Douglas and N

    M. Douglas and N. Nekrasov. Noncommutative field theory.Rev. Modern Phys.,73(4)(2001), 977-1029. 2

  25. [25]

    D. Drihem. Composition operators on Herz-type Triebel–Lizorkin spaces with application to semilinear parabolic equations,Banach J. Math. Anal.,16(2022) Paper No. 29, 46 pp. 3

  26. [26]

    Dunford and J

    N. Dunford and J. T. Schwartz. Linear Operators. Part I: General theory. John Wiley and Sons, Inc., New York,

  27. [27]

    Z. Fan, G. Hong, and L. Wang, Sharp endpointL p estimates of quantum Schr ¨odinger groups.Commun. Math. Phys.,406(2025), Paper No. 13. 2

  28. [28]

    L. Gao, M. Junge, and E. McDonald. Quantum Euclidean spaces with noncommutative derivatives.J. Noncom- mut. Geom.,16(2022), 153–213. 2

  29. [29]

    A. M. Gonz ´alez-P´erez, M. Junge, and J. Parcet. Singular integrals in quantum Euclidean spaces.Mem. Amer. Math. Soc.,272(2021), no. 1334, xiii+90 pp. 2, 9

  30. [30]

    Groenewold

    H. Groenewold. On the principles of elementary quantum mechanics.Physica.,12(1946), 405–460. 2

  31. [31]

    Guralnik, R

    Z. Guralnik, R. Jackiw, S.Y . Pi and A.P. Polychronakos.Phys. Lett. B,517(2001), 450. 2

  32. [32]

    Hamanaka

    M. Hamanaka. Noncommutative Ward’s conjecture and integrable systems.Nucl. Phys. B,741(2006), 368. 2

  33. [33]

    Hamanaka and K

    M. Hamanaka and K. Toda. Towards noncommutative integrable systems.J. Phys. A,316(2003), 77. 2

  34. [34]

    Hamanaka and K

    M. Hamanaka and K. Toda, Noncommutative Burgers equation,J. Phys. A,36(2003), 11981-11998. 2

  35. [35]

    G. Hong. The theory of function spaces on quantum Euclidean spaces. In progress. 2, 8, 13, 15

  36. [36]

    G. Hong, X. Lai and L. Wang. Fourier restriction estimates on quantum Euclidean spaces.Adv.math.,430(2023), 109232. 2, 8, 12 42 DEYU CHEN AND GUIXIANG HONG

  37. [37]

    G. Hong, X. Lai and L. Wang. Noncommutative Bourgain’s circular maximal theorem and a local smoothing estimate on the generalized Moyal planes. arXiv:2501.08832v2. 2

  38. [38]

    Hyt ¨onen, J

    T. Hyt ¨onen, J. van Neerven, M. Veraar and L. Weis, Analysis in Banach spaces. II, Probabilistic Methods and Operator Theory, Springer, 2018 20

  39. [39]

    Jackiw, S

    R. Jackiw, S. Y . Pi and A. P. Polychronakos. Noncommuting gauge fields as a Lagrange fluid.Annals Phys.,301, (2002), 157-173 2

  40. [40]

    Kato, Continuity of the mapS7→ |S|for linear operators,Proc

    T. Kato, Continuity of the mapS7→ |S|for linear operators,Proc. Japan Acad., 49 (1973), 157–160. 4

  41. [41]

    Kato, StrongL p-solutions of the Navier-Stokes equation inR m, with applications to weak solutions,Math

    T. Kato, StrongL p-solutions of the Navier-Stokes equation inR m, with applications to weak solutions,Math. Z., 187(1984), 471-480. 3

  42. [42]

    Ladyzhenskaya

    O. Ladyzhenskaya. The Mathematical Theory of Viscous Incompressible Flow, Second English edition, Math- ematics and its Applications, V ol. 2, Gordon and Breach, Science Publishers, New York-London-Paris, (1969). 3

  43. [43]

    Lafleche

    L. Lafleche. On Quantum Sobolev Inequalities.J. Funct. Anal.,286(10)(2024), 110400. 18

  44. [44]

    Le Merdy and A

    C. Le Merdy and A. Skripka. Higher order differentiability of operator functions in Schatten norms,J. Inst. Math. Jussieu.,19(2020), no.6, 1993–2016. 25

  45. [45]

    Levitina, F

    G. Levitina, F. Sukochev, and D. Zanin. Cwikel estimates revisited.Proceedings of the London Mathematical Society.,120(2)(2020), 265-304. 2, 8, 10, 11

  46. [46]

    S. Lord, E. McDonald, F. Sukochev and D. Zanin. Singular traces. V ol. 2. Trace formulas. Second edition.De Gruyter Studies in Mathematics, 46/2. De Gruyter, Berlin, 2023. xl+471 pp. 2, 8, 10, 11

  47. [47]

    A. Lunardi. Analytic semigroups and optimal regularity in parabolic problems, volume 16 ofProgress in Nonlin- ear Differential Equations and their Applications., Birkh¨auser Verlag, Basel, 1995. 3, 39

  48. [48]

    K. Ma. Noncommutative effects on the fluid dynamics and modifications of the Friedmann equation.Adv. High Energy Phys.,1(2018), 6578204. 2

  49. [49]

    McDonald

    E. McDonald. Nonlinear partial differential equations on noncommutative Euclidean spaces.J. Evol. Equ.,24 (2024), 58 pp. 1, 2, 3, 4, 5, 6, 10, 13, 14, 18, 34, 35

  50. [50]

    McDonald and F

    E. McDonald and F. Sukochev. Lipschitz estimates in quasi-Banach Schatten ideals.Math. Ann.,383(2022), no. 1–2, 571–619. 6

  51. [51]

    McDonald, F

    E. McDonald, F. Sukochev and X. Xiong. Quantum differentiability on noncommutative Euclidean spaces.Com- mun. Math. Phys.,379(2020), 491-542. 2, 8, 9, 10, 11, 12

  52. [52]

    Y . Meyer. Remarques sur un theoreme de J.M.Bony.Suppl. Rend. Circ. Mat. Palermo., Serie II,1(1981), 1-20. 3, 4

  53. [53]

    Miao and B

    C. Miao and B. Zhang. The Cauchy problem for semilinear parabolic equations in Besov spaces.Houston J. Math.,30(2004), 829–878. 3, 7

  54. [54]

    Maligranda

    L. Maligranda. On interpolation of nonlinear operators.Comment. Math. Prace Mat.,28(2)(1989), 253–275. 6, 32

  55. [55]

    J. E. Moyal. Quantum mechanics as a statistical theory.Proc. Cambridge Philos. Soc.,45(1949) 99–124. 2

  56. [56]

    Nekrasov and A

    N. Nekrasov and A. Schwarz. Instantons on noncommutativeR 4, and (2,0) superconformal six-dimensional theory.Comm. Math. Phys.,198(3)(1998), 689-703. 2

  57. [57]

    de Pagter and F

    B. de Pagter and F. Sukochev. Differentiation of operator functions in noncommutativeLp spaces.J. Funct. Anal., 212(1)(2004), 28-75. 21

  58. [58]

    J. Peetre. Interpolation of Lipschitz operators and metric spaces.Mathematica (Cluj)12(35)(1970), 1-20. 3

  59. [59]

    V . V . Peller. Hankel operators in the theory of perturbations of unitary and selfadjoint operators.Funktsional. Anal. i Prilozhen.,19(2)(1985), 37-51, 96. 4, 25

  60. [60]

    V . V . Peller. Multiple operator integrals and higher operator derivatives.J. Funct. Anal., 233 (2006), no.2, 515–544. 6, 20, 21, 25

  61. [61]

    Potapov and F

    D. Potapov and F. Sukochev. Operator-Lipschitz functions in Schatten-von Neumann classes.Acta Math.,207(2) (2011), 375–389. 4

  62. [62]

    Potapov and F

    D. Potapov and F. Sukochev. Fr´echet differentiability ofSp norms.Adv. Math.,262(2014), 436-475. 22

  63. [63]

    Potapov, A

    D. Potapov, A. Skripka and F. Sukochev. Spectral shift function of higher order.Invent. Math.,193(2013), 501–538. 6, 20, 22

  64. [64]

    Potapov, F

    D. Potapov, F. Sukochev, A. Tomskova and D. Zanin. Fr´echet differentiability of the norm of Lp-spaces associated with arbitrary von Neumann algebras.Trans. Amer. Math. Soc.,371(2019), no.11, 7493–7532. 25, 26

  65. [65]

    Reed and B

    M. Reed and B. Simon. Methods of modern mathematical physics: I, Functional analysis. Academic Press, New York, 1972. 25

  66. [66]

    ´E. Ricard. Fractional powers on noncommutativeL p forp<1.Adv. Math.,333, (2018) 194–211. 6 THE NONLINEAR ESTIMATES ON QUANTUM BESOV SPACE 43

  67. [67]

    G. C. Rota. A cyclic derivative in noncommutative algebra.J. Algebra.,64(1980), 54–75. 27

  68. [68]

    T. Runst. Paradifferential operators in spaces of Triebel-Lizorkin and Besov type.Z. Anal. Anwend.,4(1985), 557–573. 3, 4, 6

  69. [69]

    T. Runst. Mapping properties of non-linear operators in spaces of Triebel–Lizorkin and Besov type.Anal. Math., 12(4)(1986), 313–346. 4, 5, 6

  70. [70]

    Runst and W

    T. Runst and W. Sickel. Sobolev spaces of fractional order, Nemytskij operators, and nonlinear partial differential equations, volume 3 ofDe Gruyter Series in Nonlinear Analysis and Applications. Walter de Gruyter & Co., Berlin, 1996. 3, 4

  71. [71]

    W. Sickel. On boundedness of superposition operators in spaces of Triebel-Lizorkin type.Czechoslovak. Math. J.,39 (114)(1989), 323-347. 4

  72. [72]

    W. Sickel. Composition operators acting on Sobolev spaces of fractional order—a survey on sufficient and nec- essary conditions,Function Spaces. Differential Operators and Nonlinear Analysis., (Paseky nad Jizerou, 1995), Prometheus, Prague, (1996), 159–182. 5

  73. [73]

    W. Sickel. Necessary conditions on composition operators acting on Sobolev spaces of fractional order. The critical case 1<s<n/p.Forum Math.,9(1997), 267–302. 4

  74. [74]

    Seiberg and E

    N. Seiberg and E. Witten. String theory and noncommutative geometry.J. High Energy Phys., (1999), no. 9, Paper 32, 93 pp. 2

  75. [75]

    Skripka and A

    A. Skripka and A. Tomskova. Multilinear Operator Integrals: Theory and Applications.Lecture Notes in Math., vol. 2250, Springer International Publishing, 2019. 23

  76. [76]

    H. Triebel. Theory of Function Spaces. Birkh ¨auser, Basel, 1983. 15, 18

  77. [77]

    B. X. Wang, Z. Huo, C. Hao and Z. Guo. Harmonic Analysis Method for Nonlinear Evolution Equations. I, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2011. 15, 17

  78. [78]

    Xiong, Q

    X. Xiong, Q. Xu, and Z. Yin. Sobolev, Besov and Triebel-Lizorkin spaces on quantum tori.Mem. Amer. Math. Soc.,252(1203)(2018). 15 DeyuChen, Institute forAdv ancedStudy inMathematics, HarbinInstitute ofTechnology, Harbin150001, China Email address:1201200317@stu.hit.edu.cn GuixiangHong, Institute forAdv ancedStudy inMathematics, HarbinInstitute ofTechnolog...