Pith. sign in

REVIEW 3 major objections 4 minor 20 references

A sharp dimension-free link inequality transfers Schatten bounds through Gaussian chaos contractions, yielding exact convergence thresholds for singular Wick multipliers on groups and tori.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 20:07 UTC pith:USQZYCC4

load-bearing objection Sharp weak-Schatten link endpoint and complete Wick-muller phase diagrams, but all sufficiency sides hinge on unproved estimates from the author's companion paper; still worth a real referee. the 3 major comments →

arxiv 2607.16724 v2 pith:USQZYCC4 submitted 2026-07-18 math.PR

Algebraic Transfer for Operator-Valued Gaussian Chaoses:Oriented Schatten Profiles and Singular Wick Multipliers

Guangqian Zhao This is my paper
classification math.PR MSC 47B1060B2046E3046L0746L67
keywords operator-valued Gaussian chaosoriented Schatten profilesweak Schatten idealsLorentz–Zygmund idealsWick multipliersSchatten convergence thresholdssingular random Fourier seriespolynomial-growth groups
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper develops a deterministic calculus for tracking the oriented Schatten profiles of kernels that underlie operator-valued Gaussian chaoses. The central result is a dimension-free weak-type link inequality: contracting two weak Schatten operators along a common Hilbert space loses only a logarithmic factor, and that loss is optimal. The calculus propagates profile bounds through contractions, tensor products, coefficient maps, and spectral blocks, yielding sharp necessary-and-sufficient Schatten convergence thresholds for singular Wick multipliers on groups of polynomial growth and, via Fourier transfer, on tori. If correct, the paper completely determines the phase diagrams for convergence, compactness, and trace-class behavior in these settings.

Core claim

The paper establishes a sharp weak endpoint for the Schatten link operation: for every 1<r<∞, the bilinear map Link: S_{r,∞} × S_{r,∞} → S_{r,∞}(log S)^{-1/r} holds with a dimension-free constant uniformly over all contracted Hilbert spaces, and the exponent 1/r cannot be decreased within the q=∞ Lorentz–Zygmund scale. The proof decomposes inputs into dyadic singular blocks, uses orthogonality on antidiagonals, and balances Ky Fan head–tail estimates; sharpness is forced by a divisor-counting tensor example. Combined with the deterministic profile calculus and companion Gaussian estimates, this yields exact convergence thresholds: for second-order singular Wick multipliers on every infinite

What carries the argument

The central object is the oriented Schatten profile P_{m,r}(K), the maximum over all 2^m cuts of the Schatten norms of the oriented flattenings of a kernel. The link inequality (Theorem 3.1 strong, Theorem 3.6 weak) is the one-edge contraction rule that makes the calculus propagate: flattenings of ordered contractions are realized as Schatten links of input flattenings, and the weak version supplies the optimal logarithmic divisor loss. Complemented by finite-effective-rank bridges (Corollary 2.7) and spectrum-block convolution bounds (Theorem 4.3), the calculus transfers profile bounds into Gaussian chaos bounds and then into sharp Schatten convergence theorems.

Load-bearing premise

The sufficiency of every claimed threshold depends on the two Gaussian transfer estimates imported from the companion paper, which state that oriented-flattening and same-field Wick chaos bounds hold for arbitrary Hilbert spaces with constants depending only on the chaos order; if those constants carry any hidden dependence on dimension, on r, or on profile uniformity, the sufficiency halves of the main theorems collapse.

What would settle it

Find a Hilbert-space instance, or a family of instances, where the companion Gaussian estimates fail to be dimension-free: for example, construct a kernel sequence K^{(N)} with uniformly bounded oriented profile P_{m,r}(K^{(N)}) but with Gaussian chaos norm growing like (dim H)^{ε} for some ε>0. If such a sequence exists, the whole argument chain from Theorem 2.5 through Theorems 5.11, 5.15, and 5.16 would fail; conversely, a direct numerical check of the divisor-bound example in Proposition 3.4 confirms the endpoint optimality of the weak link theorem.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • For every infinite finitely generated group of polynomial growth, the second-order singular Wick multiplier converges in L^2(Ω; S_r) exactly when σ>D/4 and the three smoothing inequalities a>D−2σ, b>D−2σ, a+b>D−2σ+D/r hold; every boundary case diverges.
  • On Z^D, the full singular phase diagram at every order is determined: convergence holds exactly in the displayed region, and below the local threshold (m−1)D/(2m) no choice of smoothing produces convergence.
  • On the torus, Fourier transfer yields sharp Sobolev, Schatten-class, compactness, and trace-class thresholds for sandwiched Wick multiplication operators, with exact two-sided Fourier–Galerkin rates and approximation-number decay.
  • The analytic contraction product on factorially weighted kernel sequences forms an associative filtered algebra with an explicit exponential norm factor, giving a continuous noncommutative product on completed Wick chaoses.
  • The finite-complexity operator-norm bridge gives optimal logarithmic effective-rank bounds for Gaussian chaos evaluation, with the p^{m/2} and cut-rank logarithms both sharp.

Where Pith is reading between the lines

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

  • If the central link exponent 1/r is truly optimal, one might expect a matching sharp failure for the weak Wick-chaos product algebra at the endpoint r=∞, suggesting that no closed weak Wick algebra can exist on the Lorentz–Zygmund scale—this is only hinted at in the paper's remark on two endpoint mechanisms.
  • The deterministic divisor loss of the weak link theorem appears to be a purely algebraic phenomenon independent of Gaussianity; it may be transferable to random matrix or free probability settings where contractions play a similar role, though such connections are not explored here.
  • The sharp thresholds for Z^D suggest that the same phase diagrams should extend to nilpotent groups at higher orders, provided one can control mixed cuts beyond the second-order case; the paper explicitly leaves this as an open obstruction.
  • A testable extension would be to compute the exact critical exponent for the trace-class threshold when the deterministic coefficients are taken from ℓ^p with p≠2; the current methods rely on ℓ^2 coefficients, and the phase boundary may shift.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper develops a deterministic transfer calculus for oriented Schatten profiles of kernels underlying operator-valued Gaussian chaoses. Its central contribution is a dimension-free link inequality: for 1<r<∞, the contraction map Link: S_{r,∞} × S_{r,∞} → S_{r,∞}(log S)^{-1/r} has a dimension-free constant, and the exponent 1/r is optimal within the displayed q=∞ Lorentz–Zygmund scale (Theorem 3.6 and Corollary 3.8). The calculus is then used to prove profile-completion continuity for Wick products, an associative algebra of analytic Wick series, Peter–Weyl fusion-tree transfer, and sharp necessary-and-sufficient Schatten convergence thresholds for singular Wick multipliers on polynomial-growth group duals (Theorem 5.12 for order two, Theorem 5.15 on Z^D), with Fourier transfer to sharp torus multiplier results (Theorem 5.16, Corollaries 5.17 and 5.18). The sufficiency halves of the application theorems rely on two Gaussian estimates imported from the companion preprint [20].

Significance. If the results are correct, the paper is significant: it provides a general, dimension-free algebraic framework for propagating Schatten-profile bounds through contractions, tensor products, and multiplicative operations, and it yields sharp phase diagrams for singular Wick multipliers that are likely of independent interest. The paper is also commendable for the explicitness of its deterministic plumbing: the link theorem has an elementary proof at the trace-class and operator endpoints, the sharpness of the weak endpoint is certified by a concrete divisor-counting example (Proposition 3.4), the necessity arguments in the phase diagrams use independent coefficientwise L2 convergence and Breuillard's volume asymptotic rather than the same profile machinery as sufficiency, and the quantitative cutoff rates are stated with explicit exponents. However, the central sufficiency results are conditional on two estimates borrowed from [20] that are not proved or reproduced in the manuscript; those estimates are load-bearing for Theorems 5.11, 5.15, and 5.16. I therefore cannot regard the central necessary-and-sufficient claims as unconditionally established in the present text.

major comments (3)
  1. [Section 2.1, Theorems 2.5–2.6] The oriented-flattening estimate (2.11) and the same-field Wick estimate (2.12) are quoted from the companion preprint [20] with dimension-free constants C_m and A_m depending only on m. The proofs supplied here only reduce to constants C_m^{(0)} supplied by [20, Thm 2.7 / Cor 2.9] and [20, Prop 3.16 / 4.14]; they do not prove the crucial uniformity over all Hilbert spaces, support dimensions, or Schatten exponents. Every sufficiency bound in the applications flows through these two estimates via Corollaries 2.15 and 3.10 and Theorem 5.5 into the profile bounds (5.20), (5.43), and (5.67). If the constants in [20] carry hidden dependence on dimension, on r beyond the factor (p+r)^{m/2}, or on the oriented-profile normalization, the sufficiency halves of Theorems 5.11, 5.12, 5.15, and 5.16 collapse. The necessity arguments are independent and appear robust, but the main 'if and only if' cl
  2. [Theorems 5.12, 5.15, 5.16] The unqualified statements 'converges if and only if (5.47)–(5.48)' (Theorem 5.12) and the analogous claims for Z^D and T^D should be conditional on the two imported estimates, or the theorems should be rephrased so that the dependence is explicit. I am not requesting a weakening of the mathematical claims, only that the statements distinguish the parts proved in this manuscript from the parts inherited from [20]. At present a reader who opens the paper at Theorem 5.12 or 5.16 will not see that the sufficiency direction depends on an external, yet-unverified preprint.
  3. [Section 3.2, Theorem 3.6] The weak-link theorem is the strongest and most interesting deterministic result, and I verified the main steps: dyadic blocking, antidiagonal orthogonality via Lemma 3.5, and the Ky Fan head–tail balance leading to (3.21)–(3.23) are coherent. The sharpness argument via Proposition 3.4 is appropriate, and the statement that the exponent is optimal within the q=∞ Lorentz–Zygmund scale is supported. No issue here, but the proof relies on the validity of the two endpoint estimates in Theorem 3.1 for the full weak ideals; that part is elementary and self-contained.
minor comments (4)
  1. [Abstract and Introduction] The manuscript would be easier to evaluate if the abstract or introduction noted that the two Gaussian transfer estimates used in the applications are imported from a companion preprint and are not proved in this text. Currently the reader only discovers this at Section 2.1.
  2. [Theorem 2.5 proof] In the proof of Theorem 2.5, the reduction for 1≤p<2 via L^p monotonicity is correct, but the displayed inequality C_m = (4/3)^{m/2} C_m^{(0)} is used without spelling out that the comparison (p+2)^{m/2} ≤ (4/3)^{m/2}(p+r)^{m/2} is uniform in p because r≥2. It may help to state this explicitly for clarity.
  3. [Section 5.1, Theorem 5.5 proof] The line 'the harmless comparison (p+2)^{m/2} ≲_m (p+r)^{m/2} is absorbed in the constant' is slightly misleading because the proportionality constant actually depends on r when r<2. The text later says constants may depend on r, so the meaning is clear, but the displayed proportionality alone is not literally true.
  4. [Notation] The paper is long and has many notations; a table of the principal profile norms (P_{m,r}, Pw_{m,r}, W_{m,r}, A_r(B)) would help the reader navigate Sections 3–5.

Circularity Check

1 steps flagged

The sharp weak-link theorem and all necessity arguments are self-contained, but every sufficiency half in the applications flows through the author's companion preprint [20] via Theorems 2.5–2.6, making the central phase diagrams partially load-bearing on a self-citation.

specific steps
  1. self citation load bearing [Section 1, 'Relation to the companion paper'; Section 2.1, Theorems 2.5–2.6, eqs. (2.11)–(2.12); used in Corollary 2.15, Theorem 5.5, and (5.20), (5.43), (5.67)]
    "We use the following two estimates from [20]. ... Theorem 2.5 ... Proof. For p≥2, let C_m^{(0)} be the constant supplied by Theorem 2.7 and its finite-support formulation, Corollary 2.9, of [20]. ... Theorem 2.6 ... Proof. Proposition 3.16 together with the completed same-field Wick map, Proposition 4.14, of [20] gives the result ..."

    The sufficiency halves of the sharp application theorems are not derived from the deterministic calculus alone: they pass through the same-field oriented-profile Gaussian estimate (2.12), whose proof in this paper consists of a direct delegation to the author's own companion preprint [20]. The same delegation is used for (2.11), and both estimates enter the application chain via Corollary 2.15, Theorem 5.5, and the block profile bounds (5.20), (5.43), (5.67). Thus the necessary-and-sufficient thresholds in Theorems 5.11, 5.12, 5.15, and 5.16 are conditional on an unproved-in-this-paper, same-author citation; if the companion's dimension-free constants fail in any hidden parameter, the sufficiency conclusions collapse. The necessity arguments and the weak-link theorem itself are independent

full rationale

The paper's main original deterministic result, the sharp weak-Schatten link theorem (Theorem 3.6), is proved self-containedly: the upper bound uses dyadic singular-value decomposition, antidiagonal orthogonality (Lemma 3.5), and a Ky Fan head-tail split; the lower bound is the independent divisor-counting example D_N⊗D_N (Proposition 3.4). The sharp exponent α_link(r)=1/r is therefore not obtained by fitting or by renaming an input. The necessity arguments in the phase diagrams are also independent of the transfer machinery: they use coefficientwise L^2 convergence, the Wiener–Itô isometry identity E|Z_w|^2=m!H_m(w), explicit divergent lattice sums, and Breuillard's exact volume asymptotic (5.46). What keeps the paper from being fully self-contained is the sufficiency direction. Every convergence threshold is obtained by applying the imported Gaussian estimates (2.11) and (2.12) to deterministic profile bounds. The proofs of Theorems 2.5 and 2.6 do not reproduce those estimates; they cite specific theorems of the same-author preprint [20]. Consequently the central 'if and only if' theorems are only as secure as that companion. This is a real load-bearing self-citation, but it is not a case where an output is equivalent to an input by construction: the deterministic calculus and the lower bounds give independent content. Score 4 reflects that partial, non-constructional circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

This is a pure mathematics paper with no fitted constants and no invented physical entities. The thresholds (1/r, β_m, a, b, σ) are statement variables, each proven sharp by independent lower bounds; they are not tuned to make theorems true. The axioms listed are the external mathematical inputs the central claims rest on, most importantly the same-author companion preprint [20].

axioms (6)
  • domain assumption The companion Gaussian estimates of [20] hold: the oriented-flattening estimate (2.11) and same-field Wick estimate (2.12) for arbitrary stochastic/deterministic Hilbert spaces, with constants C_m, A_m depending only on m.
    Invoked as Theorems 2.5 and 2.6 in Section 2 and used in every application upper bound, e.g., (5.20), (5.43), (5.67). Same-author preprint, not machine-checked, load-bearing.
  • domain assumption Breuillard's exact volume asymptotic (5.46): word balls of any infinite finitely generated group of polynomial growth satisfy #B(e,R) = v R^D + o(R^D).
    Used in the necessity arguments of Theorem 5.12 to obtain exact annular counts and lower bounds (5.54)–(5.55). External, published result [6].
  • standard math Standard complex interpolation and Schatten ideal properties, in particular [S1,S∞]_θ = S_r and Hölder-type inequalities for Schatten classes.
    Used in the proof of Theorem 3.1 and throughout the ideal calculus; references [5], [18].
  • standard math Wiener–Itô isometry for multiple stochastic integrals, including the exact coefficient identity (5.77).
    Used in all necessity proofs, e.g., (5.49), (5.51), (5.77); standard references [10], [13], [14].
  • domain assumption Compact quantum group structure and Peter–Weyl orthogonality with modular weights as in (4.18)–(4.25).
    The Section 4 transfer framework relies on this; standard references [12], [19].
  • domain assumption Gaussian decoupling and noncommutative Khintchine mechanisms underpinning the constants C_m in [20].
    The paper does not reproduce these proofs; the constants C_m, A_m are taken on faith from the companion preprint [20].

pith-pipeline@v1.3.0-alltime-deepseek · 55702 in / 17238 out tokens · 153171 ms · 2026-08-01T20:07:27.416887+00:00 · methodology

0 comments
read the original abstract

We develop an algebraic transfer calculus for the oriented Schatten profiles of kernels underlying operator-valued Gaussian chaoses. A dimension-free link inequality propagates profile bounds through cut factorizations, tensor products, coefficient maps, and ordered contractions. Besides the constant-one strong Schatten theorem, we prove the sharp weak endpoint \[ \mathfrak{S}_{r,\infty}\times\mathfrak{S}_{r,\infty} \longrightarrow \mathfrak{S}_{r,\infty}(\log\mathfrak{S})^{-1/r}, \qquad 1<r<\infty. \] The estimate holds uniformly over all contracted Hilbert spaces, and the exponent $1/r$ cannot be decreased within the displayed $q=\infty$ Lorentz--Zygmund scale. A separate finite-complexity argument gives sharp effective-rank and finite-cut-rank logarithmic bridges from all-cut operator profiles to Gaussian operator norms. Combined with oriented-flattening Gaussian estimates, the calculus yields continuous multiplication on completed Wick chaoses with noncommuting coefficients, an associative algebra of factorially weighted analytic Wick series, and a local-to-global theorem for loop-free Peter--Weyl fusion trees. We then apply the method to singular Wick multipliers on groups of polynomial growth. For second-order multipliers we obtain sharp necessary and sufficient Schatten convergence thresholds; on $\mathbb{Z}^{D}$ we determine the full singular phase diagram at every order. Fourier transfer gives exact Sobolev, Schatten-class, compactness, and trace-class thresholds for sandwiched Wick multiplication operators on $\mathbb{T}^{D}$, together with sharp Fourier--Galerkin rates and approximation-number decay.

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

20 extracted references · 7 canonical work pages · 1 internal anchor

  1. [1]

    S. V. Astashkin, Tensor product in symmetric function spaces,Collect. Math.48(1997), no. 4–6, 375–391, arXiv:math/9812155

    Pith/arXiv arXiv 1997

  2. [2]

    Banica and R

    T. Banica and R. Vergnioux, Growth estimates for discrete quantum groups,Infin. Dimens. Anal. Quantum Probab. Relat. Top.12(2009), no. 2, 321–340,doi:10.1142/S0219025709003677

    work page doi:10.1142/s0219025709003677 2009

  3. [3]

    Bass, The degree of polynomial growth of finitely generated nilpotent groups,Proc

    H. Bass, The degree of polynomial growth of finitely generated nilpotent groups,Proc. London Math. Soc. (3)25(1972), 603–614,doi:10.1112/plms/s3-25.4.603

    doi:10.1112/plms/s3-25.4.603 1972

  4. [4]

    A. S. Bandeira, K. Lucca, P. Nizić-Nikolac, and R. van Handel, Matrix chaos inequalities and chaos of combinatorial type,Proc. 57th ACM Symp. Theory Comput. (STOC 2025), 795–805,doi:10.1145/3717823. 3718238; full versionarXiv:2412.18468v2

    Pith/arXiv arXiv 2025

  5. [5]

    Bergh and J

    J. Bergh and J. Löfström,Interpolation Spaces: An Introduction, Grundlehren der mathematischen Wissenschaften, vol. 223, Springer, Berlin, 1976,doi:10.1007/978-3-642-66451-9

    doi:10.1007/978-3-642-66451-9 1976

  6. [6]

    Breuillard, Geometry of locally compact groups of polynomial growth and shape of large balls,Groups Geom

    E. Breuillard, Geometry of locally compact groups of polynomial growth and shape of large balls,Groups Geom. Dyn.8(2014), no. 3, 669–732,doi:10.4171/GGD/244

    work page doi:10.4171/ggd/244 2014

  7. [7]

    Christensen and A

    E. Christensen and A. M. Sinclair, Representations of completely bounded multilinear operators,J. Funct. Anal.72(1987), no. 1, 151–181,doi:10.1016/0022-1236(87)90084-X

    work page doi:10.1016/0022-1236(87)90084-x 1987

  8. [8]

    Y. Deng, A. R. Nahmod, and H. Yue, Random tensors, propagation of randomness, and nonlinear dispersive equations,Invent. Math.228(2022), 539–686,doi:10.1007/s00222-021-01084-8

    doi:10.1007/s00222-021-01084-8 2022

  9. [9]

    E. G. Effros and Z.-J. Ruan,Operator Spaces, London Mathematical Society Monographs, New Series, vol. 23, Oxford University Press, Oxford, 2000

    2000

  10. [10]

    Janson,Gaussian Hilbert Spaces, Cambridge Tracts in Mathematics, vol

    S. Janson,Gaussian Hilbert Spaces, Cambridge Tracts in Mathematics, vol. 129, Cambridge University Press, Cambridge, 1997,doi:10.1017/CBO9780511526169

    doi:10.1017/cbo9780511526169 1997

  11. [11]

    Kaneshiro, A new proof of the abstract random tensor estimate by Deng, Nahmod, and Yue,arXiv: 2512.02250v2, 2025

    C. Kaneshiro, A new proof of the abstract random tensor estimate by Deng, Nahmod, and Yue,arXiv: 2512.02250v2, 2025

    arXiv 2025

  12. [12]

    Neshveyev and L

    S. Neshveyev and L. Tuset,Compact Quantum Groups and Their Representation Categories, Cours Spécialisés, vol. 20, Société Mathématique de France, Paris, 2013

    2013

  13. [13]

    Nualart,The Malliavin Calculus and Related Topics, 2nd ed., Probability and its Applications, Springer, Berlin, 2006,doi:10.1007/3-540-28329-3

    D. Nualart,The Malliavin Calculus and Related Topics, 2nd ed., Probability and its Applications, Springer, Berlin, 2006,doi:10.1007/3-540-28329-3

    doi:10.1007/3-540-28329-3 2006

  14. [14]

    Peccati and M

    G. Peccati and M. S. Taqqu,Wiener Chaos: Moments, Cumulants and Diagrams: A Survey with Computer Implementation, Bocconi & Springer Series, vol. 1, Springer, Milan, 2011,doi:10.1007/978-88-470-1679-8

    doi:10.1007/978-88-470-1679-8 2011

  15. [15]

    Pansu, Croissance des boules et des géodésiques fermées dans les nilvariétés,Ergodic Theory Dynam

    P. Pansu, Croissance des boules et des géodésiques fermées dans les nilvariétés,Ergodic Theory Dynam. Systems3(1983), no. 3, 415–445,doi:10.1017/S0143385700002054

    work page doi:10.1017/s0143385700002054 1983

  16. [16]

    Pisier,Non-commutative Vector Valued𝐿𝑝-Spaces and Completely𝑝-Summing Maps, Astérisque, vol

    G. Pisier,Non-commutative Vector Valued𝐿𝑝-Spaces and Completely𝑝-Summing Maps, Astérisque, vol. 247, Société Mathématique de France, Paris, 1998,doi:10.24033/ast.402

    work page doi:10.24033/ast.402 1998

  17. [17]

    Pisier,Introduction to Operator Space Theory, London Mathematical Society Lecture Note Series, vol

    G. Pisier,Introduction to Operator Space Theory, London Mathematical Society Lecture Note Series, vol. 294, Cambridge University Press, Cambridge, 2003,doi:10.1017/CBO9781107360235

    doi:10.1017/cbo9781107360235 2003

  18. [18]

    Simon,Trace Ideals and Their Applications, 2nd ed., Mathematical Surveys and Monographs, vol

    B. Simon,Trace Ideals and Their Applications, 2nd ed., Mathematical Surveys and Monographs, vol. 120, American Mathematical Society, Providence, RI, 2005,doi:10.1090/surv/120

    doi:10.1090/surv/120 2005

  19. [19]

    S. L. Woronowicz, Compact matrix pseudogroups,Comm. Math. Phys.111(1987), no. 4, 613–665,doi: 10.1007/BF01219077

    work page doi:10.1007/bf01219077 1987

  20. [20]

    G. Zhao, Schatten-class Wick multipliers for Gaussian fields on closed Riemannian manifolds: oriented tensor estimates and covariance-profile transfer,arXiv:2606.29292, 2026,doi:10.48550/arXiv.2606.29292. School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui 230026, China Email address:zhaoguangqian@mail.ustc.edu.cn 54

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.29292 2026