Recognition: unknown
Spectral versus interpolation norms in tracial nonassociative L^p-spaces
Pith reviewed 2026-05-08 07:02 UTC · model grok-4.3
The pith
The interpolation norm and spectral norm on tracial nonassociative L^p-spaces are equivalent but not isometric for p not equal to 2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that the interpolation norm arising from the complex method and the spectral norm defined with the trace are equivalent but generally not isometric for p ≠ 2, even in the associative case of nonabelian von Neumann algebras when viewed through the Jordan product, thereby answering an open question raised by the first author in a previous paper. We further analyze the geometry of these spaces in concrete examples as complex spin factors or the complexified Albert algebra and discuss the relevance of these results to generalized probabilistic theories where Jordan structures arise naturally.
What carries the argument
The direct comparison of the complex interpolation norm (between a tracial JW*-algebra and its predual) with the trace-defined spectral norm on the associated nonassociative L^p-space.
If this is right
- The two norms coincide isometrically if and only if p equals 2.
- Non-isometry holds for the Jordan algebra obtained from any nonabelian von Neumann algebra.
- Explicit ratios between the norms can be computed in finite-dimensional examples such as complex spin factors and the Albert algebra.
- The choice of norm affects the geometry of the space when Jordan structures are used to model generalized probabilistic theories.
Where Pith is reading between the lines
- The non-isometry may produce different distance or probability measures depending on which norm is adopted in Jordan-based physical models.
- The same norm distinction could appear in other nonassociative L^p constructions outside the tracial JW* setting.
- Specifying the norm becomes necessary when Jordan preduals are employed as state spaces in generalized probabilistic theories.
Load-bearing premise
That the complex interpolation norm and the trace-based spectral norm are the two canonical definitions whose relationship must be settled in the tracial JW*-algebra setting.
What would settle it
An explicit element x in a concrete nonabelian von Neumann algebra equipped with the Jordan product, together with a value p ≠ 2, such that the interpolation norm of x exactly equals its spectral norm.
Figures
read the original abstract
We investigate the metric structure of nonassociative $\mathrm{L}^p$-spaces associated with tracial $\mathrm{JW}^*$-algebras. While noncommutative $\mathrm{L}^p$-spaces arising from von Neumann algebras enjoy a unique natural norm, the situation in the Jordan setting is more subtle. We compare two canonical definitions: the interpolation norm, arising from the complex method between the algebra and its predual, and the spectral norm, defined with the trace. We show that these two norms are equivalent but generally not isometric for $p \neq 2$, even in the associative case of nonabelian von Neumann algebras when viewed through the Jordan product, thereby answering an open question raised by the first author in a previous paper. We further analyze the geometry of these spaces in concrete examples as complex spin factors or the complexified Albert algebra. Finally, we discuss the relevance of these results to generalized probabilistic theories (GPTs), where Jordan structures arise naturally, and explain why $\mathrm{JBW}$-algebras and their preduals provide a natural framework for such models.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript compares the complex interpolation norm (from the pair (A, A_*)) and the trace-induced spectral norm in tracial nonassociative L^p-spaces over JW*-algebras. It proves these norms are equivalent (induce the same topology) for 1 < p < ∞ but not isometric when p ≠ 2, including when a nonabelian von Neumann algebra is equipped only with its Jordan product; this resolves an open question from prior work by the first author. Concrete counterexamples are given in complex spin factors and the complexified Albert algebra, the geometry of the resulting spaces is analyzed, and implications for generalized probabilistic theories are discussed.
Significance. If the claims hold, the work is significant for clarifying the canonical norm on nonassociative L^p-spaces and for extending interpolation techniques to the Jordan setting without associativity assumptions. Strengths include the explicit, parameter-free counterexamples (complex spin factors, complexified Albert algebra) that demonstrate a p-dependent norm ratio, the adaptation of standard complex-method estimates that survive the Jordan identity, and the direct link to applications in GPTs where Jordan structures appear naturally.
minor comments (3)
- [§2] §2: the statement that the Jordan product is bounded with respect to the operator norm should be accompanied by an explicit reference to the relevant estimate in the cited literature on JBW-algebras.
- [§4.2] §4.2, Example 4.3 (complex spin factor): the explicit computation of the ratio between the two norms is given for specific p; a short remark on the behavior as p → 1^+ or p → ∞ would strengthen the geometric discussion.
- [§6] §6: the relevance to GPTs is sketched; adding one or two concrete references to standard texts on generalized probabilistic theories would improve accessibility for readers outside operator algebras.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the positive recommendation for minor revision. The provided summary accurately captures the main results: the equivalence of the interpolation and spectral norms on tracial nonassociative L^p-spaces for 1 < p < ∞, their failure to be isometric when p ≠ 2 (including in the associative case viewed through the Jordan product), the explicit counterexamples in complex spin factors and the complexified Albert algebra, and the discussion of implications for generalized probabilistic theories.
Circularity Check
No significant circularity; derivation self-contained via independent proofs and examples
full rationale
The paper recalls the two canonical norms (complex interpolation between A and A_* versus trace-induced spectral norm) from standard prior literature on JW*-algebras, proves their equivalence using complex-method estimates that extend to the Jordan product without new assumptions, and establishes non-isometry by direct computation on explicit finite-dimensional examples (complex spin factors, complexified Albert algebra). The mention of an open question from the first author's earlier paper is purely contextual and does not supply any load-bearing step, uniqueness theorem, or fitted input; all central claims rest on explicit constructions, estimates, and counterexamples that are verifiable independently of the self-citation. No step reduces by construction to its own inputs or to a self-referential chain.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math The complex interpolation method between a Banach space and its predual produces a family of norms.
- domain assumption Tracial JW*-algebras admit a spectral norm defined via the trace.
Reference graph
Works this paper leans on
-
[1]
A. A. Albert. On a certain algebra of quantum mechanics. Ann. of Math. (2) 35 (1934), no. 1, 65--73
1934
-
[2]
E. M. Alfsen. Compact Convex Sets and Boundary Integrals. Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, vol. 57. Springer-Verlag, Berlin Heidelberg, 1971
1971
-
[3]
E. M. Alfsen and F. W. Shultz. State Spaces of Operator Algebras: Basic Theory, Orientations, and C^* -products. Mathematics: Theory & Applications. Birkh\"auser Boston, MA, 2001
2001
-
[4]
E. M. Alfsen and F. W. Shultz. Geometry of state spaces of operator algebras. Mathematics: Theory & Applications. Birkhauser Boston, Inc., Boston, MA, 2003
2003
-
[5]
E. M. Alfsen, F. W. Shultz, E. St rmer. A Gelfand-Neumark theorem for Jordan algebras. Advances in Math. 28 (1978), no. 1, 11--56
1978
-
[6]
C. D. Aliprantis and R. Tourky. Cones and Duality. Graduate Studies in Mathematics, vol. 84. American Mathematical Society, Providence, RI, 2007
2007
-
[7]
Arazy and Y
J. Arazy and Y. Friedman. Contractive projections in C_p . Mem. Amer. Math. Soc. 459 (1992), 1--109
1992
-
[8]
Arhancet
C. Arhancet. Dilations of semigroups on von Neumann algebras and noncommutative ^p -spaces. J. Funct. Anal. 276 (2019), no. 7, 2279--2314
2019
-
[9]
Arhancet
C. Arhancet. Nonassociative ^p -spaces and embeddings in noncommutative ^p -spaces. J. Math. Anal. Appl. 537 (2024), no. 1, Paper No. 128307, 24 pp
2024
-
[10]
Arhancet
C. Arhancet. Contractively decomposable projections on noncommutative ^p -spaces. J. Math. Anal. Appl. 533 (2024), no. 2, Paper No. 128017, 36 pp
2024
-
[11]
Arhancet and Y
C. Arhancet and Y. Raynaud. 2-positive contractive projections on noncommutative L^p -spaces. J. Funct. Anal. 286 (2024), no. 11, Paper No. 110424, 34 pp
2024
-
[12]
Arhancet
C. Arhancet. Entanglement-assisted classical capacities of some channels acting as radial multipliers on fermion algebras. J. Funct. Anal. 288 (2025), no. 5, Paper No. 110790, 47 pp
2025
- [13]
-
[14]
Arhancet
C. Arhancet. Positive contractive projections on noncommutative ^p -spaces and nonassociative ^p -spaces. Preprint
-
[15]
S. A. Ayupov and R. Z. Abdullaev. The Radon-Nikodym theorem for weights on semifinite JBW-algebras. Math. Z. 188 (1985), no. 4, 475--484
1985
-
[16]
S. A. Ayupov. Extension of traces and type criterions for Jordan algebras of selfadjoint operators. Math. Z. 181 (1982), no. 2, 253--268
1982
-
[17]
S. A. Ayupov. Jordan operator algebras. Journal of Soviet Mathematics, vol. 37 (1987), 1422--1448
1987
-
[18]
S. A. Ayupov. Center-valued traces on real operator algebras. Funktsional. Anal. i Prilozhen. 26 (1992), no. 2, 1--9, 96; translation in Funct. Anal. Appl. 26 (1992), no. 2, 77--83
1992
-
[19]
S. A. Ayupov, A. Rakhimov and S. Usmanov. Jordan, real and Lie structures in operator algebras. Mathematics and its Applications, 418. Kluwer Academic Publishers Group, Dordrecht, 1997
1997
-
[20]
J. Baez. The octonions. Bull. Amer. Math. Soc 39 (2002), 145--205
2002
-
[21]
J. Barrett. Information processing in generalized probabilistic theories. Phys. Rev. A 75 (2007), 032304
2007
-
[22]
Barnum, M
H. Barnum, M. A. Graydon and A. Wilce. Some Nearly Quantum Theories. Proceedings QPL 2015
2015
-
[23]
Barnum, M
H. Barnum, M. A. Graydon and A. Wilce. Composites and Categories of Euclidean Jordan Algebras. Quantum 4, 359 (2020)
2020
- [24]
-
[25]
Barnum and A
H. Barnum and A. Wilce Information Processing in Convex Operational Theories. Electronic Notes in Theoretical Computer Science 270 (2011), no. 1, 3--15
2011
-
[26]
Barnum and A
H. Barnum and A. Wilce. Local Tomography and the Jordan Structure of Quantum Theory. Found Phys 44, 192--212 (2014)
2014
-
[27]
Bergh and J
J. Bergh and J. L\"ofstr\"om. Interpolation spaces. An Introduction. Springer-Verlag, Berlin, Heidelberg, New York, 1976
1976
-
[28]
R. Bhatia. Matrix analysis. Grad. Texts in Math., 169. Springer-Verlag, New York, 1997
1997
- [29]
-
[30]
Bourbaki
N. Bourbaki. Elements of mathematics. Topological vector spaces. Chapters 1–5. Transl. from the French by H. G. Eggleston and S. Madan. Berlin. Springer, softcover printing of the 1st. English edition of 1987 edition, 2003
1987
-
[31]
Braun, W
R. Braun, W. Kaup and H. Upmeier. A holomorphic characterization of Jordan C^* -algebras. Math. Z. 161 (1978), no. 3, 277--290
1978
-
[32]
Cabrera Garcia and A
M. Cabrera Garcia and A. Rodriguez Palacios. Non-associative normed algebras. Vol. 1. The Vidav-Palmer and Gelfand-Naimark theorems. Encyclopedia of Mathematics and its Applications, 154. Cambridge University Press, Cambridge, 2014
2014
-
[33]
Cabrera Garcia and A
M. Cabrera Garcia and A. Rodriguez Palacios. Non-associative normed algebras. Vol. 2. Representation theory and the Zel'manov approach. Encyclopedia of Mathematics and its Applications, 167. Cambridge University Press, Cambridge, 2018
2018
-
[34]
C. M. Caves, C. A. Fuchs and P. Rungta. Entanglement of Formation of an Arbitrary State of Two Rebits. Found Phys Lett 14, 199--212 (2001)
2001
-
[35]
Chiribella, G
G. Chiribella, G. M. D'Ariano, and P. Perinotti. Informational derivation of quantum theory. Phys. Rev. A 84 (2011), 012311
2011
-
[36]
K. Cho. Effectuses in Categorical Quantum Foundations. PhD thesis, Radboud University, 2019
2019
-
[37]
C.-H. Chu. Jordan structures in geometry and analysis. Cambridge Tracts in Mathematics, 190. Cambridge University Press, Cambridge, 2012
2012
-
[38]
J. H. Conway and D. Smith. On quaternions and octonions. A K Peters, Ltd, 2003
2003
-
[39]
de Pagter
B. de Pagter. Non-commutative Banach function spaces. Positivity, 197--227. Trends Math. Birkh\"auser Verlag, Basel, 2007
2007
-
[40]
E. B. Davies and J. T. Lewis. An operational approach to quantum probability. Comm. Math. Phys. 17 (1970), 239--260
1970
-
[41]
J. Dixmier. Formes lin\'eaires sur un anneau d'op\'erateurs. (French). Bull. Soc. Math. France 81 (1953), 9--39
1953
-
[42]
P. G. Dodds, B. de Pagter and F. A. Sukochev. Noncommutative Integration and Operator Theory. Birkh\"auser Cham, Progress in Mathematics, 2024
2024
-
[43]
P. G. Dodds and F. A. Sukochev. Submajorisation inequalities for convex and concave functions of sums of measurable operators. Positivity 13 (2009), no. 1, 107--124
2009
-
[44]
G. M. Escolanoa, A. M. Peralta and A. R. Villenaa. Preservers of operator commutativity. J. Math. Anal. Appl. 55 (2025), no. 2, 129796, 64pp
2025
-
[45]
C. M. Edwards. On Jordan W^* -algebras. Bull. Sci. Math. (2) 104 (1980), no. 4, 393--403
1980
-
[46]
Effros and M
E. Effros and M. Popa, Feynman diagrams and Wick products associated with q -Fock space. Proc. Natl. Acad. Sci. USA 100 (2003), no. 15, 8629--8633
2003
- [47]
-
[48]
D. E. Evans and Y. Kawahigashi. Quantum Symmetries on Operator Algebras. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1998
1998
-
[49]
Faraut and A
J. Faraut and A. Kor\'anyi. Analysis on symmetric cones. Oxford Math. Monogr. Oxford Sci. Publ. The Clarendon Press, Oxford University Press, New York, 1994
1994
-
[50]
F. J. Fernández-Polo. The minimax principle and related topics in the Jordan setting. Linear Algebra Appl. 604 (2020), 293--323
2020
-
[51]
Friedman
Y. Friedman. Physical applications of homogeneous balls. With the assistance of Tzvi Scarr. Prog. Math. Phys., 40. Birkh\"auser Boston, Inc., Boston, MA, 2005
2005
-
[52]
Friedman and A
Y. Friedman and A. M. Peralta. Representation of symmetry transformations on the sets of tripotents of spin and Cartan factors. Anal. Math. Phys. 12 (2022), no. 1, Paper No. 37, 52 pp
2022
-
[53]
Friedman and B
Y. Friedman and B. Russo. Structure of the predual of a JBW ^* -triple. J. Reine Angew. Math. 356 (1985), 67--89
1985
-
[54]
R. Furber. Categorical Duality in Probability and Quantum Foundations. PhD thesis, Radboud University, 2016
2016
-
[55]
van Gaans, A
O. van Gaans, A. Kalauch and M. Roelands. Order theoretical structures in atomic JBW-algebras: disjointness, bands, and centres. Positivity 28 (2024), no. 1, Paper No. 10, 54 pp
2024
-
[56]
Hamhalter, O
J. Hamhalter, O. Kalenda and A. M. Peralta. Determinants in Jordan matrix algebras. Linear Multilinear Algebra 71 (2020), no. 6, 961--1002
2020
-
[57]
Hamhalter, O
J. Hamhalter, O. F. K. Kalenda, A. M. Peralta and H. Pfitzner. Measures of weak non-compactness in preduals of von Neumann algebras and ^* -triples. J. Funct. Anal. 278 (2020), no. 1, 108300, 69 pp
2020
-
[58]
Hanche-Olsen and E
H. Hanche-Olsen and E. St rmer. Jordan operator algebras. Monographs and Studies in Mathematics, 21. Pitman (Advanced Publishing Program), Boston, MA, 1984
1984
-
[59]
Hardy and W
L. Hardy and W. K. Wootters. Limited Holism and Real-Vector-Space Quantum Theory. Found Phys 42 (2012), 454--473
2012
- [60]
-
[61]
L. A. Harris Bounded symmetric homogeneous domains in infinite dimensional spaces. Proceedings on Infinite Dimensional Holomorphy. Lecture Notes in Mathematics, vol 364. Springer, Berlin, Heidelberg, 1974
1974
-
[62]
L. A. Harris. A generalization of C^* -algebras. Proc. London Math. Soc. (3) 42 (1981), no. 2, 331--361
1981
-
[63]
F. J. Herves and J.M. Isidro. Isometries and automorphisms of the spaces of spinors. Rev. Mat. Univ. Complutense Madrid 5 (1992), no. 2-3, 193--200
1992
-
[64]
B. Iochum. Nonassociative L^p -spaces. Pacific J. Math. 122 (1986), no. 2, 417--433
1986
-
[65]
J. M. Isidro. Jordan triple systems in complex and functional analysis. Mathematical Surveys and Monographs, 243. American Mathematical Society, Providence, RI, 2019
2019
-
[66]
Janotta and H
P. Janotta and H. Hinrichsen. Generalized probability theories: what determines the structure of quantum theory?. J. Phys. A: Math. Theor. 47 (2014), no. 32, 323001
2014
-
[67]
Uber die Multiplikation quantenmechanischer Gr\
P. Jordan. \"Uber die Multiplikation quantenmechanischer Gr\"o ßen. Z. Physik 80 (1933), 285--291
1933
-
[68]
Jordan, J
P. Jordan, J. von Neumann and E. Wigner. On an algebraic generalization of the quantum mechanical formalism. Ann. of Math. (2) 35 (1934), no. 1, 29--64
1934
-
[69]
R. V. Kadison and J. R. Ringrose. Fundamentals of the theory of operator algebras. Vol. I. Elementary theory. Reprint of the 1983 original. Graduate Studies in Mathematics, 15. American Mathematical Society, Providence, RI, 1997
1983
-
[70]
R. V. Kadison and J. R. Ringrose. Fundamentals of the theory of operator algebras. Vol. II. Advanced theory. Corrected reprint of the 1986 original. Graduate Studies in Mathematics, 16. American Mathematical Society, Providence, RI, 1997
1986
-
[71]
W. Kaup. On spectral and singular values in JB*-triples. Proc. Roy. Irish Acad. Sect. A 96 (1996), no. 1, 95--103
1996
- [72]
-
[73]
N. Kalton. Quasi-Banach spaces. Handbook of the geometry of Banach spaces, vol. 2, 1099--1130. North-Holland, Amsterdam, 2003
2003
-
[74]
W. P. C. King. Semifinite traces on -algebras. Math. Proc. Cambridge Philos. Soc. 93 (1983), no. 3, 503--509
1983
-
[75]
S. G. Krein, Y. I. Petunn and E. M. Semenov. Interpolation of linear operators. Translated from the Russian by J. Szucs. Translations of Mathematical Monographs, 54. American Mathematical Society, Providence, R.I., 1982
1982
-
[76]
H. Kosaki. Applications of the complex interpolation method to a von Neumann algebra: noncommutative L^p -spaces. J. Funct. Anal. 56 (1984), no. 1, 29--78
1984
-
[77]
L. Lami. Non-classical correlations in quantum mechanics and beyond. PhD thesis, Universitat Aut\` o noma de Barcelona, 2017
2017
-
[78]
L. Lami, C. Palazuelos, and A. Winter. Ultimate data hiding in quantum mechanics and beyond. Comm. Math. Phys. 361 (2018), 661--708
2018
-
[79]
L. Lami, B. Regula, R. Takagi, and G. Ferrari. Framework for resource quantification in infinite-dimensional general probabilistic theories. Phys. Rev. A 103 (2021), Paper No. 032424
2021
-
[80]
Le Merdy and S
C. Le Merdy and S. Zadeh. On factorization of separating maps on noncommutative L^p -spaces. Indiana Univ. Math. J. 71 (2022), no. 5, 1967--2000
2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.