pith. sign in

arxiv: 1907.02356 · v1 · pith:7OANT3RXnew · submitted 2019-07-04 · 🧮 math.FA

Multidimensional spectral order for selfadjoint operators

Artur P{\l}aneta (University of Agriculture in Krakow) This is my paper

Pith reviewed 2026-05-25 08:57 UTC · model grok-4.3

classification 🧮 math.FA
keywords spectral orderselfadjoint operatorscommuting operatorsmultidimensional orderjoint spectral measurespectral integralpositive operators
0
0 comments X

The pith

For positive commuting selfadjoint operator tuples the multidimensional spectral order holds exactly when all multi-power inequalities hold.

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

The paper extends the spectral order to finite families of pairwise commuting selfadjoint operators, bounded or unbounded. It defines a multidimensional order that stays invariant under spectral integrals of separately increasing Borel functions on R to the kappa. The construction shows this order is simply the restriction of the product of the individual one-dimensional spectral orders. For positive tuples the relation reduces to an equivalence: the tuples stand in the multidimensional order if and only if every componentwise power inequality is satisfied.

Core claim

The κ-dimensional spectral order ≼ is the restriction of the product of κ spectral orders. For positive κ-tuples A and B of pairwise commuting selfadjoint operators, A ≼ B holds if and only if A^α ≤ B^α for every multi-index α in the positive integer lattice ℤ₊^κ.

What carries the argument

The joint spectral measure of a commuting κ-tuple, used to define the multidimensional order via support comparison or spectral integrals of separately increasing functions.

If this is right

  • The order is preserved by spectral integrals of any separately increasing Borel function on R^κ.
  • The multidimensional relation reduces directly to the classical spectral order when κ equals one.
  • Comparison of positive operator tuples can be checked entirely through their joint powers.

Where Pith is reading between the lines

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

  • The equivalence supplies a practical test for order relations that avoids direct appeal to the joint measure.
  • The same construction may extend comparison methods already used for single observables to simultaneous families arising in multi-parameter problems.

Load-bearing premise

The operators inside each tuple must commute pairwise so that a joint spectral measure exists.

What would settle it

Two positive commuting tuples A and B for which A ≼ B yet A^α > B^α holds for some multi-index α.

read the original abstract

The aim of this paper is to extend the notion of the spectral order for finite families of pairwise commuting bounded and unbounded selfadjoint operators in Hilbert space. It is shown that the multidimensional spectral order $\preccurlyeq$ is preserved by transformations represented by spectral integrals of separately increasing Borel functions on $\mathbb{R}^\kappa$. In particular, the $\kappa$-dimensional spectral order is the restriction of product of $\kappa$ spectral orders for selfadjoint operators. If $\mathbf{A}$ and $\mathbf{B}$ are positive $\kappa$-tuples of pairwise commuting selfadjoint operators, then relation $\mathbf{A}\preccurlyeq\mathbf{B}$ holds if and only if $\mathbf{A}^\alpha\leqslant \mathbf{B}^\alpha$ for every $\alpha\in\mathbb{Z}_+^\kappa$.

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

0 major / 2 minor

Summary. The paper extends the spectral order to finite families of pairwise commuting bounded and unbounded selfadjoint operators on Hilbert space. It establishes that the resulting κ-dimensional order ≼ is preserved under spectral integrals of separately increasing Borel functions on ℝ^κ, coincides with the restriction of the product of the one-dimensional spectral orders, and (for positive tuples) is equivalent to the relation A^α ≤ B^α holding for all multi-indices α ∈ ℤ₊^κ.

Significance. If the stated results hold, the work supplies a coherent, direct generalization of the classical spectral order via the joint spectral theorem for commuting operators. The power-characterization for positive tuples mirrors the known one-dimensional case and may prove useful for applications involving joint spectra. The construction introduces no free parameters, ad-hoc axioms, or invented entities beyond the standard joint spectral measure.

minor comments (2)
  1. [Abstract] The abstract is compact; a single sentence recalling the definition of the one-dimensional spectral order would help readers unfamiliar with the base notion.
  2. Notation for the multidimensional order symbol and the tuples A, B should be introduced explicitly in the first paragraph of the introduction rather than deferred.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and the recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines the multidimensional spectral order via the joint spectral measure for pairwise commuting selfadjoint operators (standard spectral theorem) and proves that it coincides with the product order and satisfies the stated power equivalence for positive tuples. These are direct consequences of the joint functional calculus and the one-dimensional spectral order; no step reduces a claimed prediction or theorem to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The commuting hypothesis is explicitly stated as necessary for the joint measure and is not smuggled in. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the spectral theorem and joint spectral measures for commuting families; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Selfadjoint operators on Hilbert space admit a spectral decomposition via the spectral theorem.
    Used to define the base spectral order and its multidimensional extension.
  • domain assumption Pairwise commuting selfadjoint operators possess a joint spectral measure.
    Required for the definition of the κ-dimensional spectral order on tuples.

pith-pipeline@v0.9.0 · 5665 in / 1206 out tokens · 29875 ms · 2026-05-25T08:57:04.283079+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

31 extracted references · 31 canonical work pages

  1. [1]

    Minimal upper bounds of c ommuting operators

    Charles Akemann and Nik W eaver. Minimal upper bounds of c ommuting operators. Proceed- ings of the American Mathematical Society , 124(11):3469–3476, 1996

    work page 1996

  2. [2]

    Majorization, doubly stochastic matric es, and comparison of eigenvalues

    Tsuyoshi Ando. Majorization, doubly stochastic matric es, and comparison of eigenvalues. Linear Algebra and Its Applications , 118(C):163–248, 1989

    work page 1989

  3. [3]

    On groups of automorphisms of operator algebras

    William Arveson. On groups of automorphisms of operator algebras. Journal of Functional Analysis, 15(3):217–243, mar 1974

    work page 1974

  4. [4]

    R. B. Ash and C. Doleans-Dade. Probability and measure theory. Academic Press, Burlington, Massachusetts, second edition, 2000

    work page 2000

  5. [5]

    M. S. Birman and M. Z. Solomjak. Spectral theory of selfadjoint operators in Hilbert space . D. Reidel Publishing Co., Dordrecht, 1987

    work page 1987

  6. [6]

    Bogachev

    Vladimir I. Bogachev. Measure Theory. Springer Berlin Heidelberg, Berlin, Heidelberg, 2007

    work page 2007

  7. [7]

    Quantum Theory

    Peter Bongaarts. Quantum Theory . Springer International Publishing, Cham, 2015

    work page 2015

  8. [8]

    Complex Numbers, One-P arameter of Unitary Transforma- tions and Stone’s Theorem in Topos Quantum Theory

    Wilson Brenna and Cecilia Flori. Complex Numbers, One-P arameter of Unitary Transforma- tions and Stone’s Theorem in Topos Quantum Theory. 2012

    work page 2012

  9. [9]

    The Physical Interpretation of Dasein isation

    Andreas D¨ oring. The Physical Interpretation of Dasein isation. In Hans Halvorson, editor, Deep Beauty, pages 207–238. Cambridge University Press, Cambridge, 20 11

    work page

  10. [10]

    Self-adjoint Operat ors as Functions I

    Andreas D¨ oring and Barry Dewitt. Self-adjoint Operat ors as Functions I. Communications in Mathematical Physics , 328(2):499–525, jun 2014

    work page 2014

  11. [11]

    William G. Faris. Self-Adjoint Operators , volume 433 of Lecture Notes in Mathematics . Springer Berlin Heidelberg, Berlin, Heidelberg, 1975. 30 ARTUR P/suppress LANETA

    work page 1975

  12. [12]

    A First Course in Topos Quantum Theory , volume 868 of Lecture Notes in Physics

    Cecilia Flori. A First Course in Topos Quantum Theory , volume 868 of Lecture Notes in Physics. Springer Berlin Heidelberg, Berlin, Heidelberg, 2013

    work page 2013

  13. [13]

    A remark on the spec tral order of operators

    Masatoshi Fujii and Isamu Kasahara. A remark on the spec tral order of operators. Proceedings of the Japan Academy , 47(0):986–988, 1971

    work page 1971

  14. [14]

    Operator valued Dirichlet problem in the plane

    Nihat G¨ okhan G¨ oˇ g¨ u¸ s. Operator valued Dirichlet problem in the plane. Hacettepe Journal of Mathematics and Statistics , 42(3):269–280, 2013

    work page 2013

  15. [15]

    Paul R. Halmos. Measure Theory, volume 18 of Graduate Texts in Mathematics . Springer New York, New York, NY, 1950

    work page 1950

  16. [16]

    Spectral order of operators and range pr ojections

    Jan Hamhalter. Spectral order of operators and range pr ojections. Journal of Mathematical Analysis and Applications , 331(2):1122–1134, jul 2007

    work page 2007

  17. [17]

    Jan Hamhalter and E. A. Turilova. Spectral order on unbo unded operators and their sym- metries. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-M atematicheskie Nauki, , 160(2):293–299, 2018

    work page 2018

  18. [18]

    Richard V. Kadison. Order Properties of Bounded Self-A djoint Operators. Proceedings of the American Mathematical Society , 2(3):505, jun 1951

    work page 1951

  19. [19]

    Spectral order and a matrix limit theorem

    Tosio Kato. Spectral order and a matrix limit theorem. Linear and Multilinear Algebra , 8(1):15–19, oct 1979

    work page 1979

  20. [20]

    Elementary Functional Analysis , volume 253 of Graduate Texts in Math- ematics

    Barbara MacCluer. Elementary Functional Analysis , volume 253 of Graduate Texts in Math- ematics. Springer New York, New York, NY, 2009

    work page 2009

  21. [21]

    Spectral Order Automorphi sms on Hilbert Space Effects and Observables: The 2-Dimensional Case

    Lajos Moln´ ar and Gerg Nagy. Spectral Order Automorphi sms on Hilbert Space Effects and Observables: The 2-Dimensional Case. Letters in Mathematical Physics , 106(4):535–544, apr 2016

    work page 2016

  22. [22]

    Spectral Order Automorphisms of the Spaces of Hilber t Space Effects and Observables

    Lajos Moln´ ar and Peter ˇSemrl. Spectral Order Automorphisms of the Spaces of Hilber t Space Effects and Observables. Letters in Mathematical Physics , 80(3):239–255, jun 2007

    work page 2007

  23. [23]

    The Selfadjoint Operators of a Von Neumann Algebra Form a Condi- tionally Complete Lattice

    Milton Philip Olson. The Selfadjoint Operators of a Von Neumann Algebra Form a Condi- tionally Complete Lattice. Proceedings of the American Mathematical Society, 28(2):537–544, 1971

    work page 1971

  24. [24]

    Spectral order for unbounded operators

    Artur P/suppress laneta and Jan Stochel. Spectral order for unbounded operators. Journal of Mathe- matical Analysis and Applications , 389(2):1029–1045, 2012

    work page 2012

  25. [25]

    Real and Complex Analysis

    W alter Rudin. Real and Complex Analysis . McGraw-Hill, third edition, 1987

    work page 1987

  26. [26]

    Y. S. Samoilenko. Spectral Theory of Families of Self-Adjoint Operators , volume 57 of Math- ematics and Its Applications . Springer Netherlands, Dordrecht, 1991

    work page 1991

  27. [27]

    Springer Netherlands, Dordrecht, 2012

    Konrad Schm¨ udgen.Unbounded Self-adjoint Operators on Hilbert Space , volume 265 of Grad- uate Texts in Mathematics . Springer Netherlands, Dordrecht, 2012

    work page 2012

  28. [28]

    S. Sherman. Order in Operator Algebras. American Journal of Mathematics , 73(1):227, jan 1951

    work page 1951

  29. [29]

    Szafraniec

    Jan Stochel and F. Szafraniec. C∞-vectors and boundedness. Annales Polonici Mathematici , 66:223–238, 1997

    work page 1997

  30. [30]

    Turilova

    E. Turilova. Automorphisms of spectral lattices of unb ounded positive operators. Lobachevskii Journal of Mathematics , 35(3):259–263, jul 2014

    work page 2014

  31. [31]

    Topos models for physics and topos theo ry

    Sander W olters. Topos models for physics and topos theo ry. Journal of Mathematical Physics , 55(8):082110, aug 2014. Katedra Zastosow a´n Matematyki, Uniwersytet Rolniczy w Krakowie, ul. Balicka 253 c, PL-30198 Krak ´ow E-mail address : artur.planeta@urk.edu.pl

    work page 2014