Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Wishart cones and quantum geometry

T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read The paper claims that the Connes–Araki–Haagerup cones of Tomita–Takesaki theory are, in finite dimensions, the symmetric cones on which generalized Wishart probability laws live, linking modular theory to information geometry and quantum…

desk verdict The advertised CAH–Wishart connection is asserted but never constructed, and the one premise that would make it work is false for standard CAH cones. read the letter →

arxiv 2412.12289 v1 pith:NJPOSPXB submitted 2024-12-16 math.OA math.DG

Noemie C. Combe This is my paper · ORCID
classification math.OAmath.DG MSC 46L1062H0517C20
keywords WishartlawssymmetricconesConnes–Araki–HaagerupmodularautomorphismgroupTomita–TakesakitheoryJordanalgebrasinformationgeometrymonoidalcategories
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 claims that a distinguished class of cones from Tomita–Takesaki theory—the Connes–Araki–Haagerup (CAH) cones, invariant under the modular automorphism group of a von Neumann algebra—are, in finite dimensions, exactly the symmetric cones of the classical classification. Because generalized Wishart probability laws are known to live on symmetric cones, the CAH cones therefore carry Wishart distributions. This transplants a standard multivariate-statistics object into the operator-algebra setting, giving an explicit bridge between quantum geometry and information geometry. The paper also shows that these Wishart families decompose monoidally when the cone is a product of irreducible cones.

What carries the argument

The load-bearing machinery is the finite-dimensional classification: every symmetric cone is a unique product of five irreducible cones (positive matrices over R, C, H, the exceptional octonionic 3×3 cone, and the Lorentz/AdS cone), and each is in bijection with a formally real Jordan algebra. On this base, the generalized Wishart law is assembled from a multiplier on the automorphism group, a relatively invariant measure, and an exponential weight; the paper's monoidal category CAP then supplies the tensor-product splitting of Wishart laws. The CAH cone enters as the invariant cone of modular theory; in finite dimensions the paper treats it as one of these symmetric cones.

What would settle it

Build the CAH cone of a finite-dimensional von Neumann algebra explicitly (for example, a full matrix algebra), then inspect its automorphism group and compare the cone with the five types in the classification; a mismatch, or failure of the modular automorphism group to preserve the Wishart family, would settle the claim false.

Watch

Extended reading notes

Core claim

The central discovery is that the CAH cones of Tomita–Takesaki theory—self-dual cones invariant under the modular automorphism group—are, in finite dimensions, the symmetric cones of the classification, and the generalized Wishart laws defined on symmetric cones are therefore laws on CAH cones. With this identification, every finite-dimensional CAH cone carries a family of Wishart distributions obtained from a multiplier and a relatively invariant measure, and these families are exponential families with homogeneous quadratic variance function, invariant under the cone's automorphism group. The paper further claims that a Wishart law on a product of irreducible cones decomposes as a tensor product of Wishart laws on the factors.

Load-bearing premise

The whole link stands on identifying finite-dimensional CAH cones—the invariant cones of modular theory—with the five known symmetric cone types; if that identification is not correct, the Wishart laws do not live on those cones.

Editorial extensions

If this is right

  • Under the paper's identification, each finite-dimensional CAH cone carries a canonical family of Wishart laws, giving modular theory an explicit statistical model.
  • Wishart laws on reducible cones split as tensor products over the five irreducible types, so the classification of symmetric cones doubles as a classification of Wishart families.
  • The real, complex, quaternionic, octonionic, and Lorentz-cone Wishart laws all fit one Jordan-algebraic construction, so techniques from one case transfer to the others.
  • The invariance of CAH cones under modular automorphisms links the dynamics of von Neumann algebras to invariance properties of exponential families, the language of information geometry.

Reading between the lines

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

  • Beyond the paper: a concrete construction of a CAH cone from a finite-dimensional von Neumann algebra—checking that the modular automorphism group preserves the Wishart family—would turn the identification into an explicit theorem rather than a classification-level match.
  • Beyond the paper: the monoidal tensor-product decomposition of Wishart laws may correspond to statistical independence across tensor factors, suggesting a reading of the result as an information-theoretic counterpart of quantum subsystem factorisation.
  • Beyond the paper: the five-type list suggests that homogeneous quadratic-variance exponential families in finite dimensions are exhausted by Wishart families on these five cones; proving exhaustiveness would sharpen Proposition 2.
  • Beyond the paper: if the link to 2D quantum field theory is taken seriously, the CAH/Wishart correspondence hints that partition functions of such field theories inherit the tensor-product and invariance structure of Wishart laws.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. This paper claims to show that cones from the Connes–Araki–Haagerup (CAH) construction, which are invariant under the modular automorphism group of a von Neumann algebra, are related to Wishart laws and information geometry. The body of the paper consists mostly of standard material on symmetric cones and Jordan algebras, a recollection of generalized Wishart laws on symmetric cones, a short discussion of symmetric monoidal categories and a category CAP of probability distributions, a theorem asserting a monoidal decomposition of Wishart laws, and a proposition relating such laws to exponential families with quadratic homogeneous variance functions. The advertised CAH–Wishart bridge is never derived: no CAH cone is constructed from a von Neumann algebra, no modular automorphism invariance is checked, and the identification of CAH cones with the five irreducible symmetric cone types is asserted without proof.

Significance. If the central claim were correct, the paper would connect Tomita–Takesaki modular theory to Wishart statistics and information geometry, potentially offering new links between quantum geometry and statistical manifolds. The paper correctly recalls standard background from Faraut–Koranyi and cites relevant work by Casalis and Letac on Wishart laws on symmetric cones. However, the main advertised result is not established, and the asserted bijection between finite-dimensional CAH cones and formally real Jordan algebras is unsupported and, for the standard construction of natural cones, false. The monoidal-category perspective is an interesting organizing idea, but it is not developed to the point of proof. The paper therefore does not currently deliver its headline claim.

major comments (3)
  1. [§1 and §4.5] The paper's central claim depends on the sentence in §1 that finite-dimensional CAH cones are in bijection with formally real Jordan algebras, and hence with the five cone classes in Table 1. No derivation is given, and under the standard Tomita–Takesaki meaning of a CAH (natural) cone, this identification is not correct: for a finite-dimensional von Neumann algebra M = ⊕_i M_{n_i}(C), the natural cone is the direct sum of positive Hermitian cones P_{n_i}(C), which is only type 2 in Table 1. The other four types, in particular the exceptional H_3(O) cone, are not realizable by the standard construction because H_3(O) is not a JC-algebra. Since §4.5 and the abstract rely on this bijection to transfer Wishart laws from symmetric cones to CAH cones, the central bridge is missing. The paper must either construct the CAH cones explicitly from von Neumann algebras and prove that modular automorphism invariance survives, or replace the claim with a precise statement about the class of cones that actually arises.
  2. [§4.4, Theorem 1] Theorem 1 asserts that a Wishart distribution decomposes as a tensor product W_{σ,ξ} = ⊗_{i∈I} W_{σ_i,ξ_i} if and only if the underlying symmetric cone decomposes as a product of irreducible cones. The proof is a single sentence: 'This comes from the symmetric monoidal structure of CAP and from the construction of SCS cones.' This does not establish the theorem. One would need to define a tensor product of Wishart laws in CAP, show that the relevant transition measures preserve the Wishart density form, and verify that the multiplier ξ = ∏ ξ_i and parameter σ = (σ_i) factor exactly as stated. None of these steps appears, so the monoidal decomposition claim is not supported by the text.
  3. [§4.4, Proposition 2] Proposition 2 is presented as a new result, but its proof is essentially a citation of results by Casalis and Letac. The statement in part (i) is the Casalis characterization of exponential families with quadratic homogeneous variance functions as Wishart laws on symmetric cones; part (ii) is a restatement that each symmetric cone carries such families. The proof does not verify the hypotheses of the cited theorems, and it does not show that the resulting exponential families are invariant under the full automorphism group G(Ω) beyond what is already contained in the cited literature. The proposition therefore adds no new mathematical content and, in particular, does not connect the statement to CAH cones.
minor comments (5)
  1. [§3.3] The formula for the generalized Wishart distribution uses the expression exp{−σ−ξ(s)}, which is not defined; presumably a bilinear pairing ⟨σ, s⟩ and a multiplier ξ are intended, but the notation should be written explicitly.
  2. [§1 and §3.4] The degrees-of-freedom parameter is denoted n in the introductory Wishart density and m in Section 3.4, and the multivariate gamma function in §1 is written with an ambiguous product index; the notation should be unified and the gamma product range stated correctly.
  3. [References] The cones are attributed to Connes–Araki–Haagerup, but only Connes [13] is cited; references to the Araki and Haagerup contributions should be added.
  4. [§2.5, Remark 1] The remark that the spherical cone Λ_n corresponds to an n-dimensional Anti-de-Sitter space is not defined or used anywhere in the paper; it should either be justified or removed.
  5. [§4.4] The statement that any SCS cone is isomorphic to a unique product of irreducible SCS cones is a standard theorem from Faraut–Koranyi, not Proposition 1 of this paper; the citation should be corrected.

Circularity Check

2 steps flagged · score 4.0 of 10

The advertised CAH–Wishart relation is a relabeling of known symmetric-cone Wishart theory through an asserted bijection, and Theorem 1 is a definitional equivalence; the underlying symmetric-cone content is externally grounded.

  1. renaming known result [Abstract and §1; conclusion §4.5]
    "We show explicitly how an example of a class of cones discovered by Connes–Araki–Haagerup (CAH), invariant under the modular automorphism group, are related to Wishart laws and information geometry. ... In the finite dimensional case, the CAH cones are in bijection with the class of formally real Jordan algebras."

    The advertised relation is never derived from a modular automorphism group or from a von Neumann algebra. Section 3 defines Wishart laws on arbitrary strictly convex symmetric (SCS) cones, Section 4 uses only the classification of irreducible symmetric cones, and §4.5 declares the CAH–Wishart conclusion. Substituting the §1 bijection 'CAH cones = formally real Jordan algebra cones = symmetric cones' turns the abstract's claim into the known theorem that symmetric cones carry Wishart laws. The paper therefore presents a relabeling of a known result under the name 'CAH cone'. If the bijection is taken as the meaning of 'CAH cone', the claim is true by definition; if it is not, the paper supplies no modular-theoretic derivation.

  2. self definitional [Theorem 1, §4.4]
    "Theorem 1. Let Wσ,ξ be a Wishart distribution parametrized by a SCS cone Ω. Let ξ be its multiplier and σ its parameter. Let I be a finite set. Then, the Wishart distribution Wσ,ξ can be decomposed as Wσ,ξ = ⊗_{i∈I} Wσi,ξi, if and only if Ω decomposes into a linear combination of irreducible SCS cones ... Proof. This comes from the symmetric monoidal structure of CAP and from the construction of SCS cones."

    The 'if and only if' is a direct transcription of the product construction: for Ω = ∏ Ω_i, the automorphism group G(Ω) is ∏ G(Ω_i), the multiplier ξ is ∏ ξ_i, and the parameter σ is (σ_i), so the Wishart density on the product is the tensor product of the factor densities by the definition in §3.3. The conditions listed in the theorem are precisely the definition of the factorized Wishart law. The proof cites the monoidal structure of CAP and the construction of SCS cones, i.e., the framework in which the statement is encoded. No additional mechanism is supplied, so the theorem reports a definitional equivalence rather than a new derivation.

full rationale

The body of the paper is mostly a review of symmetric-cone theory and Wishart laws, with independent external support from Faraut–Koranyi, Casalis, and Vinberg. The two identified reduction issues are: (i) the headline CAH–Wishart relation is obtained by renaming symmetric cones as CAH cones through the asserted §1 bijection, and (ii) Theorem 1 is a definitional equivalence that follows from the construction of Wishart laws on product cones. Neither issue is a fitted-input prediction or a self-citation chain. The Wishart-on-symmetric-cones content itself is not circular. The concern that the standard finite-dimensional CAH cones may only be Hermitian positive cones, so that the §1 bijection is false, is a correctness objection to an unproved premise, not a circularity, and is therefore not scored here. Overall the advertised central claim reduces substantially to its own identification premise, but the surrounding symmetric-cone and Wishart material has independent content, giving a moderate score of 4.

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

No empirical fits are present: the Wishart shape parameter λ, the multiplier ξ, and the scale matrix are standard inputs, not fitted constants. The cost of the central claim is carried by the structural assumptions listed below, especially the unverified identification between CAH cones and symmetric cones.

assumptions (4)
  • domain assumption Finite-dimensional CAH invariant cones are in bijection with formally real Jordan algebras and hence with the symmetric cones in Table 1.
    Invoked in §1 and §4.5 to bridge Tomita-Takesaki cones to Wishart laws; no construction from the modular automorphism group is given.
  • standard math For every multiplier ξ on G, there exists a unique relatively invariant measure μξ on the cone, and the generalized Wishart distribution Wσ,ξ is well-defined.
    Stated in §3.2-3.3; this is a standard theorem from Faraut-Koranyi, but the paper does not verify convergence of the defining integral.
  • standard math Exponential families with quadratic homogeneous variance function on symmetric cones are exactly Wishart families, as in Casalis.
    Used in Proposition 2; the paper provides only a citation, not a proof.
  • domain assumption The symmetric monoidal category CAP of probability spaces extends to the irreducible symmetric cones and makes Wishart laws decompose as tensor products.
    Used in Theorem 1; the paper asserts this compatibility but does not prove functoriality for the cones in Table 1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Wishart cones and quantum geometry." pith.science (2026). https://pith.science/paper/NJPOSPXB

@misc{pith2026241212289,
  author       = {Pith},
  title        = {Pith review of: Wishart cones and quantum geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NJPOSPXB}},
  note         = {Machine review of arXiv:2412.12289}
}
read the original abstract

An important object appearing in the framework of the Tomita--Takesaki theory is an invariant cone under the modular automorphism group of von Neumann algebras. As a result of the connection between von Neumann algebras and quantum field theory, von Neumann algebras have become increasingly important for (higher) category theory and topology. We show explicitly how an example of a class of cones discovered by Connes--Araki--Haagerup (CAH), invariant under the modular automorphism group, are related to Wishart laws and information geometry. Given its relation to 2D quantum field theory this highlights new relations between (quantum) information geometry and quantum geometry.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Maximum Likelihood, permutohedra and Associativity Equations

    math.AG 2025-01 reject novelty 5.0 of 10

    The paper asserts that concentration cones and diagonal spectrahedra carry Frobenius and Monge-Ampere structures, with maximum likelihood degree indexed by Frobenius residuals.

Reference graph

Works this paper leans on

25 extracted references · 23 canonical work pages · cited by 1 Pith paper

  1. [1]

    A.Invariant normal models.Ann

    Andersson, S. A.Invariant normal models.Ann. Statist. 3, 132 (1975)

    work page 1975

  2. [2]

    Casalis, M.Les families exponentielles à variance quadratique homogène sont de lois de Wishart sur un cone symétrique. C.R. Acad. Sci. Paris Ser. I Math. 312, 537–540. (1991)

    work page 1991

  3. [3]

    Casalis, M., and Letac, G.The Lukacs-Olkin-Rubin characterization of the Wishart distribution on symmetric cones. Ann. Stat. 24, 763–786. (1996)

    work page 1996

  4. [4]

    N.,Geometry of the manifold of probability distributions, Dokl

    Chentsov, N. N.,Geometry of the manifold of probability distributions, Dokl. Akad. Nauk SSSR158:3 (1964) 543–546

    work page 1964

  5. [5]

    N.,Categories of mathematical statistics,Dokl

    Chentsov, N. N.,Categories of mathematical statistics,Dokl. Akad. Nauk SSSR164:3 (1965) 511–514

    work page 1965

  6. [6]

    Combe, N.,On Frobenius structures in symmetric conesarXiv:2309.04334

    arXiv

  7. [7]

    Combe, N., Landau-Ginzburg models, Monge-Ampere domains and (pre-)Frobenius manifolds arXiv:2409.00835

    arXiv

  8. [8]

    565–573, Editors: F

    Combe, N.,Combe, P., Nencka H.,Statistical manifolds and geometric invariants.Geometric Science of Infor- mation pp. 565–573, Editors: F. Nielsen, F. Barbaresco (2020)

    work page 2020

Show all 25 references
  1. [9]

    in Lecture Notes in Networks and Systems Springer series, pp.356-370 (2022)

    Combe, N.,Combe, P., Nencka H.,Algebraic properties of the information geometry’s fourth Frobenius mani- fold. in Lecture Notes in Networks and Systems Springer series, pp.356-370 (2022)

    2022

  2. [10]

    LMS, 5:2 (2020)

    Combe, N., Manin, Yu.,F–manifolds and geometry of information,Bull. LMS, 5:2 (2020)

    2020

  3. [11]

    I., Marcolli, M.Moufang patterns and geometry of information, Pure and Applied Maths Quaterly Volume 19, Number 1, 149–189, (2023)

    Combe, N., Manin, Yu. I., Marcolli, M.Moufang patterns and geometry of information, Pure and Applied Maths Quaterly Volume 19, Number 1, 149–189, (2023)

    2023

  4. [12]

    I., Marcolli, M.Geometry of Information: classical and quantum aspects, Journal of Theoretical Computer Sciences, 908 (2022)

    Combe, N., Manin, Yu. I., Marcolli, M.Geometry of Information: classical and quantum aspects, Journal of Theoretical Computer Sciences, 908 (2022)

    2022

  5. [13]

    Connes, A.Caractérisation des espaces vectoriels ordonnés sous-jacents aux algèbres de von NeumannAnnales de l’institut Fourier, tome 24, no 4 (1974), p. 121-155

    1974

  6. [14]

    Faraut, J., and Koranyi, A.Analysis on Symmetric Cones.Oxford University Press, New York.(1994)

    1994

  7. [15]

    Jacobson, N.Structure and Representations of Jordan Algebras.Amer. Math. Soc., Providence, R.I. (1968). 8 NOEMIE C. COMBE

    1968

  8. [16]

    Johnson, N. L. Kotz, S.Distributions in Statistics: Continuous Multivariate Distributions,Wiley, New York (1972)

    1972

  9. [17]

    31, Studies in Applied Probability, pp

    Letac, G., Les familles exponentielles statistiques invariantes par les groupes du Cône et du paraboloïde de révolution Journal of Applied Probability, Vol. 31, Studies in Applied Probability, pp. 71-95 (1994)

    1994

  10. [18]

    Quadratic and inverse regression for the Wishart distribution.Ann

    Letac, G., and Massam, H. Quadratic and inverse regression for the Wishart distribution.Ann. Stat. 26, 573–595, (1998)

    1998

  11. [19]

    Letac, G., and Massam, H.Representations of the Wishart distributions.Contemp. Math. 261, 121–142 (2000)

    2000

  12. [20]

    I.Frobenius Manifolds, Quantum Cohomology, and Moduli Spaces, AMS Colloquium Publications, Vol

    Manin, Yu. I.Frobenius Manifolds, Quantum Cohomology, and Moduli Spaces, AMS Colloquium Publications, Vol. 47, (1999)

    1999

  13. [21]

    Massam, H., and Neher, E.On transformations and determinants of Wishart variables on symmetric cones.J. Theoret. Prob. 10, 867–902. (1997)

    1997

  14. [22]

    B.The structure of the group of automorphisms of a homogeneous convex cone.Trudy Moskov

    Vinberg, E. B.The structure of the group of automorphisms of a homogeneous convex cone.Trudy Moskov. Mat. Obsc. 13, 56–83; Trans. Moskow Math. Soc. 13, 63–93 (1965)

    1965

  15. [23]

    The generalized product moment distribution in a sample from a normal multivariate population

    Wishart, J.. The generalized product moment distribution in a sample from a normal multivariate population. Biometrika 20A, 32–52 (1928)

    1928

  16. [24]

    D.Group symmetric covariance models, a discussion of Mark J

    Perlman, M. D.Group symmetric covariance models, a discussion of Mark J. Servish ’A review of multivariate analysis’. Statist. Sci. 2, 421 (1987)

    1987

  17. [25]

    n.combe@uw.edu.pl, Ulica Banacha 2, University of W arsa w

    Takesaki, M.Tomita’s theory of modular Hilbert algebras and its applications, Lecture notes in Math.128, Springer Verlag, Berlin (1970). n.combe@uw.edu.pl, Ulica Banacha 2, University of W arsa w

    1970

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.