Pith. sign in

REVIEW 3 major objections 3 minor 10 references

Tensor-Lifted Multivariate Functional Calculus Beyond Commutativity and Boundedness

T0 review · 3 major / 3 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read Tensor lifting embeds non-commuting operators into a commuting system so that a multivariate functional calculus can include explicit nilpotent terms and apply to unbounded non-self-adjoint cases.

desk verdict The paper sketches a tensor-lifted calculus that adds explicit nilpotent terms for non-commuting unbounded operators, but the whole construction sits on an unexamined companion result about projector-nilpotent decompositions. read the letter →

arxiv 2605.12886 v1 pith:QKCKQTJ4 submitted 2026-05-13 math.FA

Shih-Yu Chang This is my paper · ORCID
classification math.FA
keywords functionalcalculusnon-commutativeoperatorsnilpotentstructuretensorliftingunboundedspectraltheoryconvergenceofJordan
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 constructs a multivariate functional calculus that works for arbitrary operators by first embedding non-commuting operators into a larger tensor-product space where the lifted versions commute, then expanding the functional expression with nilpotent derivative terms drawn from a projector-nilpotent decomposition. This expansion captures both spectral data and algebraic Jordan structure that classical resolvent methods miss. A two-level convergence theory is proved: strong resolvent convergence yields strong operator topology convergence, while norm resolvent convergence supplies explicit operator-norm error bounds. The same machinery recovers the classical spectral theorem for unbounded self-adjoint operators and supplies a compactifying perturbation for operators lacking compact resolvent. A reader cares because the construction supplies a single set of formulas and guarantees that previously required separate treatments for commuting versus non-commuting, bounded versus unbounded, and normal versus non-normal operators.

What carries the argument

Tensor lifting of non-commuting operators to a commuting system on a tensor-product space, together with nilpotent derivative terms added to the functional expansion.

What would settle it

A concrete pair of non-commuting unbounded operators with non-compact resolvent for which the tensor-lifted expansion either diverges or fails to reproduce the correct action on a generalized eigenvector when the two-level convergence hypotheses are met.

Watch

Extended reading notes

Core claim

By lifting arbitrary operators to a commuting family on a tensor-product space and inserting nilpotent derivative corrections into the functional expansion, the calculus simultaneously treats non-commutativity, non-self-adjointness, and unboundedness while preserving nilpotent structure and furnishing two-level convergence: strong resolvent convergence implies strong operator topology convergence, and norm resolvent convergence implies norm convergence with explicit bounds. The framework applies to bounded operators, unbounded self-adjoint operators, unbounded non-self-adjoint operators with compact resolvent, and, via positive compact-resolvent perturbation, to operators without compact res

Load-bearing premise

The projector-nilpotent characterization from the companion work applies to arbitrary operators and survives tensor lifting without loss of the algebraic information needed for the expansion.

Editorial extensions

If this is right

  • The calculus produces explicit expansions that distinguish discrete, continuous, and hybrid spectra inside a single formula.
  • Unbounded non-self-adjoint operators without compact resolvent become accessible through a compactifying regularization by a positive self-adjoint perturbation.
  • Existing functional calculi are recovered exactly when the additional assumptions of commutativity or boundedness are restored.
  • Level-2 norm convergence supplies explicit a-priori error bounds once norm resolvent convergence of the approximants is verified.

Reading between the lines

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

  • The same lifting technique might be tested on concrete pairs such as position and momentum operators to check whether the nilpotent corrections improve numerical stability in finite-section approximations.
  • If the convergence theory extends to semigroups generated by the lifted operators, the framework could supply error estimates for Trotter-type product formulas that currently ignore Jordan structure.
  • One could ask whether the tensor-product construction preserves the C*-algebra relations of the original operators, which would link the calculus directly to non-commutative geometry constructions.
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, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The manuscript introduces a multivariate functional calculus for arbitrary (including unbounded and non-self-adjoint) operators. It builds on a projector-nilpotent decomposition from a companion paper, uses tensor lifting to embed non-commuting operators into a commuting system on a tensor-product space, incorporates explicit nilpotent derivative terms in the functional expansion, and establishes a two-level convergence theory (strong resolvent convergence implying strong operator topology convergence at Level 1; norm resolvent convergence implying operator-norm convergence with error bounds at Level 2). The framework is claimed to recover classical results for bounded and self-adjoint cases, to handle compact-resolvent non-self-adjoint operators directly, and to extend to general cases via compactifying regularization by a positive self-adjoint perturbation.

Significance. If the tensor-lifting step preserves the algebraic relations required for the nilpotent-inclusive expansion and the two-level convergence statements are rigorously established, the work would supply a unified extension of functional calculus that simultaneously treats non-commutativity, unboundedness, and non-self-adjointness while retaining Jordan structure. The explicit nilpotent terms and the provision of error bounds under norm resolvent convergence are potentially valuable features not present in standard spectral approaches.

major comments (3)
  1. [Introduction and the section describing the tensor-lifting construction] The entire construction begins from the projector-nilpotent characterization of the companion paper and lifts it via tensor products; however, the manuscript supplies no explicit verification that the tensor embedding preserves the algebraic relations (commutativity of the lifted projectors and nilpotents, compatibility with the functional expansion) needed for the multivariate calculus and the two-level convergence theory to hold for arbitrary unbounded non-self-adjoint operators. This preservation is load-bearing for every subsequent claim.
  2. [Sections on recovery of classical results and compact-resolvent operators] The claim that the lifted calculus recovers the classical spectral theorem for unbounded self-adjoint operators and handles compact-resolvent cases rests on the unverified transfer of the companion decomposition; without an independent check or counter-example analysis, the recovery statements cannot be assessed.
  3. [Section establishing the two-level convergence theory] The two-level convergence theory is asserted to provide explicit error bounds under norm resolvent convergence, yet the manuscript contains no derivation showing how the tensor-lifted nilpotent terms affect the norm-convergence estimates; this omission directly impacts the stability claim.
minor comments (3)
  1. [Abstract] The abstract states that the framework is 'compatible with existing functional calculi'; a concrete statement of which existing calculi are recovered under which hypotheses would strengthen the introduction.
  2. [Notation and preliminaries] Notation for the lifted operators and the nilpotent derivative terms should be introduced with explicit reference to the companion paper's symbols to avoid ambiguity.
  3. [Section on compactifying regularization] The regularization method based on perturbation by a positive self-adjoint operator with compact resolvent is mentioned but not accompanied by a statement of the precise conditions under which the regularized operators converge back to the original in the appropriate topology.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful and constructive report. We address each major comment below and will incorporate the requested verifications and derivations into the revised manuscript.

read point-by-point responses

  1. Referee: [Introduction and the section describing the tensor-lifting construction] The entire construction begins from the projector-nilpotent characterization of the companion paper and lifts it via tensor products; however, the manuscript supplies no explicit verification that the tensor embedding preserves the algebraic relations (commutativity of the lifted projectors and nilpotents, compatibility with the functional expansion) needed for the multivariate calculus and the two-level convergence theory to hold for arbitrary unbounded non-self-adjoint operators. This preservation is load-bearing for every subsequent claim.

    Authors: We agree that an explicit verification of algebraic preservation under tensor lifting is essential and was not provided in sufficient detail. In the revised manuscript we will insert a dedicated subsection proving that the lifted projectors and nilpotents commute and that the nilpotent-inclusive functional expansion remains compatible for arbitrary unbounded non-self-adjoint operators, with explicit algebraic calculations. revision: yes

  2. Referee: [Sections on recovery of classical results and compact-resolvent operators] The claim that the lifted calculus recovers the classical spectral theorem for unbounded self-adjoint operators and handles compact-resolvent cases rests on the unverified transfer of the companion decomposition; without an independent check or counter-example analysis, the recovery statements cannot be assessed.

    Authors: The recovery statements rely on transfer of the companion decomposition. The revised version will add an independent verification subsection that explicitly checks the transfer for the unbounded self-adjoint case recovering the spectral theorem and supplies supporting analysis (including any relevant counter-example considerations) for compact-resolvent operators. revision: yes

  3. Referee: [Section establishing the two-level convergence theory] The two-level convergence theory is asserted to provide explicit error bounds under norm resolvent convergence, yet the manuscript contains no derivation showing how the tensor-lifted nilpotent terms affect the norm-convergence estimates; this omission directly impacts the stability claim.

    Authors: We acknowledge that the derivation of the effect of the tensor-lifted nilpotent terms on the norm-convergence estimates is missing. The revised manuscript will expand the two-level convergence section with a complete step-by-step derivation that incorporates these terms into the error bounds under norm resolvent convergence. revision: yes

Circularity Check

1 steps flagged · score 6.0 of 10

Framework depends on unexamined projector-nilpotent characterization from companion work being preserved under tensor lifting

  1. self citation load bearing [Abstract]
    "Building on the projector-nilpotent characterization developed in our companion work, we introduce a multivariate functional calculus for arbitrary operators that incorporates both spectral and algebraic information. ... The framework has three main components. First, nilpotent derivative terms are explicitly included in the functional expansion... Second, tensor lifting treats non-commuting operators by embedding them into a commuting system on a tensor-product space."

    The central premise (existence of the decomposition for arbitrary operators and its liftability via tensor products without losing algebraic information for the expansion and convergence theory) is justified solely by citation to the authors' own companion work. The paper supplies no independent derivation or verification that the decomposition exists or is preserved under the tensor embedding; all subsequent claims about nilpotent terms, non-commutativity, and two-level convergence reduce to this self-cited assumption.

full rationale

The paper's central construction begins from the projector-nilpotent decomposition in the companion paper and lifts it via tensor products to obtain a commuting system on which the multivariate expansion is defined. This matches self_citation_load_bearing because the new calculus claims to handle arbitrary operators, non-commutativity, and nilpotent structure only by assuming the companion characterization holds and transfers without loss; no derivation or explicit verification of preservation appears in the supplied text. The two-level convergence theory and recovery of classical results therefore rest on this untested transfer from prior self-work. The result is not fully self-contained against external benchmarks.

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

The central construction rests on the projector-nilpotent characterization from the companion paper (treated as an unverified domain assumption) and on the claim that tensor lifting preserves the necessary algebraic structure for arbitrary operators.

assumptions (1)
  • domain assumption Projector-nilpotent characterization from companion work applies to arbitrary operators
    Explicitly invoked in the first sentence of the abstract as the foundation for including nilpotent derivative terms.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tensor-Lifted Multivariate Functional Calculus Beyond Commutativity and Boundedness." pith.science (2026). https://pith.science/paper/QKCKQTJ4

@misc{pith2026260512886,
  author       = {Pith},
  title        = {Pith review of: Tensor-Lifted Multivariate Functional Calculus Beyond Commutativity and Boundedness},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QKCKQTJ4}},
  note         = {Machine review of arXiv:2605.12886}
}
read the original abstract

Classical functional calculus is primarily spectral, capturing eigenvalue information through resolvent methods while largely ignoring nilpotent structure. Building on the projector-nilpotent characterization developed in our companion work, we introduce a multivariate functional calculus for arbitrary operators that incorporates both spectral and algebraic information. The framework has three main components. First, nilpotent derivative terms are explicitly included in the functional expansion, allowing the calculus to capture generalized eigenspaces and Jordan structures beyond classical resolvent methods. Second, tensor lifting treats non-commuting operators by embedding them into a commuting system on a tensor-product space. Third, a two-level convergence theory is established: Level 1 proves existence through strong resolvent convergence implying strong operator topology convergence, while Level 2 provides stability through norm resolvent convergence implying operator norm convergence with explicit error bounds. The framework simultaneously handles discrete, continuous, and hybrid spectra. Results are developed for bounded operators, unbounded self-adjoint operators recovering the classical spectral theorem, and unbounded non-self-adjoint operators with compact resolvent. For operators without compact resolvent, we introduce a compactifying regularization method based on perturbation by a positive self-adjoint operator with compact resolvent. The proposed framework is compatible with existing functional calculi and recovers their behavior under corresponding assumptions. To our knowledge, this is the first unified framework simultaneously addressing non-commutativity, non-self-adjointness, and unboundedness while explicitly preserving nilpotent structure and providing convergence guarantees.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

  1. [1]

    Non-Hermitian physics,

    Y . Ashida, Z. Gong, and M. Ueda, “Non-Hermitian physics,”Advances in Physics, vol. 69, no. 3, pp. 249–435, 2020. 79

    work page 2020

  2. [2]

    Operator characterization via projectors and nilpotents,

    S.-Y . Chang, “Operator characterization via projectors and nilpotents,”arXiv preprint arXiv:2411.11883, 2024

    work page arXiv 2024

  3. [3]

    Taylor, J. L. (1970). A joint spectrum for several commuting operators.Journal of Functional Analysis, 6(2), 172-191

    work page 1970

  4. [4]

    A survey of the theory of spectral operators,

    N. Dunford, “A survey of the theory of spectral operators,”Bulletin of the American Mathematical Society, vol. 64, no. 5, pp. 217–274, 1958

    work page 1958

  5. [5]

    A Jordan decomposition for operators in Banach space,

    S. Kantorovitz, “A Jordan decomposition for operators in Banach space,”Transactions of the American Mathematical Society, vol. 120, no. 3, pp. 526–550, 1965

    work page 1965

  6. [6]

    Tensor products of operator systems,

    A. S. Kavruk, V . I. Paulsen, I. G. Todorov, and M. Tomforde, “Tensor products of operator systems,” Journal of Functional Analysis, vol. 261, no. 2, pp. 267–299, 2011

    work page 2011

  7. [7]

    Colombo, F., Sabadini, I., Struppa, D. C. (2011).Noncommutative Functional Calculus. Springer

    work page 2011

  8. [8]

    Weyl, H. (1927). Quantenmechanik und Gruppentheorie.Zeitschrift f ¨ur Physik, 46(1), 1-46

    work page 1927

Show all 10 references
  1. [9]

    (1995).Perturbation Theory for Linear Operators

    Kato, T. (1995).Perturbation Theory for Linear Operators. Springer

    1995

  2. [10]

    Davies, E. B. (2007).Linear Operators and their Spectra. Cambridge University Press. 80

    2007

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.