{"id":"d2332275-e06c-437e-b73f-3b056beefe5e","arxiv_id":"2412.12289","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper asserts, without a full derivation, that finite-dimensional Connes Araki Haagerup cones carry Wishart laws, linking modular theory to information geometry.","lead":"This paper claims that cones from operator algebra theory, the Connes Araki Haagerup invariant cones, are related to Wishart probability laws and information geometry. The appeal is that this would connect Tomita Takesaki modular theory, quantum field theory, and statistical geometry, though the current text does not actually construct the connection.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The advertised CAH-Wishart link rests on an unproved and, for standard CAH cones, false identification: finite-dimensional natural cones of von Neumann algebras are positive Hermitian cones P_n(C), not all five symmetric cone types.","rationale":"I read the paper as an expository note: the background on symmetric cones, Jordan algebras, and Wishart laws is standard and internally consistent, and the individual definitions in §§2-3 are not problematic. However, the advertised central claim connecting CAH cones to Wishart laws is not derived anywhere. Theorem 1 and Proposition 2 concern arbitrary symmetric cones and exponential families; they do not mention modular automorphisms, modular conjugations, or von Neumann algebras. The only bridge from Tomita-Takesaki theory to Wishart laws is the asserted bijection between finite-dimensional CAH cones and formally real Jordan algebras. That bridge is not merely insufficiently checked; for the standard construction it fails. A finite-dimensional von Neumann algebra is a direct sum of matrix algebras over C, so its natural cone is a product of positive Hermitian cones of type P_n(C). The paper nevertheless uses all five irreducible symmetric cone types, including the exceptional octonionic cone and the Lorentz cone, which are not natural cones of finite-dimensional von Neumann algebras in the standard sense. Thus the central claim fails under the standard reading. If the author intends a nonstandard definition of CAH cone, then the connection to Tomita-Takesaki theory must be re-established from scratch, which the paper does not do. This confirms the reader's REJECT verdict and strengthens the reason: it is not just that a promised derivation is missing; the identification needed for the advertised result is contradicted by the simplest finite-dimensional example. No adjustment to the reader's verdict is needed.","tokens_in":7290,"tokens_out":10736,"duration_ms":106555,"concrete_test":"Take M = M_2(C) with a faithful state, form L^2(M) = HS(C^2), and compute the natural cone P^# explicitly, e.g. as the closure of {x J x J Ω}. Identify P^# as the cone of positive semidefinite 2 x 2 Hermitian matrices, whose automorphism group is GL(2,C), not GL(2,R), not SO(1,2), and not the automorphism group of P_3(O). This single example shows that finite-dimensional CAH cones do not exhaust Table 1, so the §1 bijection on which §4.5 relies cannot support the advertised CAH-Wishart relation. If the author wishes to maintain the bijection, the check to run is to exhibit a von Neumann algebra whose natural cone is P_3(O) or Λ_n.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that CAH cones are related to Wishart laws is made in the abstract and §1 and reasserted in §4.5, but §4.5 is a conclusion, not a derivation. The load-bearing premise is the §1 sentence: 'In the finite dimensional case, the CAH cones are in bijection with the class of formally real Jordan algebras.' Under the standard Tomita-Takesaki meaning, a CAH (natural) cone P^# of a von Neumann algebra M is a cone in L^2(M) obtained from the modular conjugation J and the positive cone of M. For finite-dimensional M = ⊕_i M_{n_i}(C), P^# is the direct sum of the cones of positive Hermitian n_i x n_i matrices, i.e. Table 1 type 2 cones P_{n_i}(C). The other four types -- P_n(R), P_n(H), P_3(O), and Λ_n -- are not obtained this way in the standard construction; in particular, H_3(O) is an exceptional JB-algebra that is not a JC-algebra. Therefore the claimed bijection with the full class of formally real Jordan algebras is at best unproved and, for the standard construction, false. Since the paper uses all five types to define Wishart laws, the passage from CAH cones to Wishart laws has no valid bridge. If 'CAH cone' is instead being used as a synonym for arbitrary symmetric cone, then the advertised link to modular automorphism groups and von Neumann algebras is vacuous and would need a separate derivation from an actual algebra M.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":7614,"tokens_out":4495,"duration_ms":42691,"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":[{"comment":"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.","section":"§1 and §4.5"},{"comment":"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.","section":"§4.4, Theorem 1"},{"comment":"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.","section":"§4.4, Proposition 2"}],"minor_comments":[{"comment":"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.","section":"§3.3"},{"comment":"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.","section":"§1 and §3.4"},{"comment":"The cones are attributed to Connes–Araki–Haagerup, but only Connes [13] is cited; references to the Araki and Haagerup contributions should be added.","section":"References"},{"comment":"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.","section":"§2.5, Remark 1"},{"comment":"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.","section":"§4.4"}],"recommendation":"reject","confidential_remarks":"The manuscript is largely expository, and the central claim is not supported by the arguments in the text. The asserted identification of CAH cones with all formally real Jordan algebras is, for the standard Tomita–Takesaki natural cone construction, false rather than merely unproved, so I do not see a path to repair it within the scope of a revision. The paper also contains very little von Neumann algebra content, which makes its placement in math.OA questionable; a venue for information geometry or Jordan algebras may be more appropriate if the mathematical content is substantially reworked."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is an extended abstract that announces a connection between Tomita–Takesaki cones and Wishart laws but never delivers it. The one identification that would make the story work – that finite-dimensional CAH cones are all five symmetric cone types – is not what standard Tomita–Takesaki theory gives you.\n\nWhat is actually here: a clean, if textbook, review of symmetric cones, Jordan algebras, and generalized Wishart laws, and a convenient monoidal packaging of the product decomposition of Wishart distributions (Theorem 1). None of this is new: Theorem 1 restates the standard product theorem for symmetric cones, and Proposition 2 is Casalis' characterization. The CAP category apparatus is a gloss, not a proof.\n\nThe soft spot is load-bearing. The abstract promises an explicit relation between CAH cones and Wishart laws, but no such construction appears. The introduction asserts that finite-dimensional CAH cones are in bijection with formally real Jordan algebras, and everything later leans on that. In the standard construction, the natural cone of a finite-dimensional von Neumann algebra is the direct sum of positive Hermitian cones P_{n_i}(C). The other four table entries – P_n(R), P_n(H), P_3(O), and the Lorentz cone – do not arise that way. So the claimed bijection is at best unproved and in the standard reading false. If 'CAH cone' is instead being used as a synonym for arbitrary symmetric cone, then the advertised connection to modular automorphism groups is vacuous and still not derived. Either way, the bridge from §1 to §4.5 is missing.\n\nI would not send this to peer review in its present form. The survey parts are fine, but the central claim needs a real construction or a sharply restricted statement (e.g., only P_n(C) cones), and the Introduction overstates what is shown.","headline":"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.","tokens_in":8124,"tokens_out":6612,"would_cite":false,"duration_ms":62559,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L10","62H05","17C20"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["Wishart laws","symmetric cones","Connes–Araki–Haagerup cones","modular automorphism group","Tomita–Takesaki theory","Jordan algebras","information geometry","monoidal categories"],"falsifier":"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.","tokens_in":7092,"feed_emoji":"📐","tokens_out":8474,"duration_ms":71878,"temperature":0.7,"pith_summary":"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.","feed_headline":"Wishart laws live on modular automorphism cones","feed_subtitle":"Cones from von Neumann algebras match symmetric cones, tying Wishart statistics to quantum geometry.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Introduces the CAH cones, the invariant cones under the modular automorphism group that the paper identifies with symmetric cones.","marker":"[13]"},{"why":"Supplies the classification of irreducible symmetric cones, the multiplier construction, and the generalized Wishart laws on symmetric cones.","marker":"[14]"},{"why":"Gives Tomita–Takesaki modular theory, the source of the modular automorphism group and its invariant cones.","marker":"[25]"},{"why":"Establishes the exponential families invariant under the cone group and their relation to Wishart laws.","marker":"[17]"},{"why":"Provides the converse used in Proposition 2: exponential families with homogeneous quadratic variance are Wishart on a symmetric cone.","marker":"[2]"},{"why":"The category CAP, used to formulate the monoidal decomposition of Wishart laws, is introduced there.","marker":"[5]"},{"why":"Earlier results on information geometry and F-manifolds that the paper says its CAH/Wishart link reinforces.","marker":"[10, 11]"}],"fun_headline_variants":["Quantum geometry meets Wishart statistics on modular cones","CAH cones are symmetric: Wishart laws live there","Wishart distributions inhabit Tomita-Takesaki cones","Modular cones carry Wishart exponential families","Self-dual cones from von Neumann algebras host Wishart laws"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Quantum geometry meets Wishart statistics on modular cones","CAH cones are symmetric: Wishart laws live there","Wishart distributions inhabit Tomita-Takesaki cones","Modular cones carry Wishart exponential families","Self-dual cones from von Neumann algebras host Wishart laws"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000586,"raw_usage":{"total_tokens":2666,"prompt_tokens":770,"completion_tokens":1896,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":386,"completion_tokens_details":{"reasoning_tokens":1819}},"tokens_in":386,"tokens_out":1896,"duration_ms":13162,"temperature":1.0,"reasoning_tokens":1819,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T14:14:09.928972+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the CAH cones, the invariant cones under the modular automorphism group that the paper identifies with symmetric cones."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the classification of irreducible symmetric cones, the multiplier construction, and the generalized Wishart laws on symmetric cones."},{"cited_title":"n.combe@uw.edu.pl, Ulica Banacha 2, University of W arsa w","cited_arxiv_id":null,"evidence_quote":"Gives Tomita–Takesaki modular theory, the source of the modular automorphism group and its invariant cones."},{"cited_title":"31, Studies in Applied Probability, pp","cited_arxiv_id":null,"evidence_quote":"Establishes the exponential families invariant under the cone group and their relation to Wishart laws."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the converse used in Proposition 2: exponential families with homogeneous quadratic variance are Wishart on a symmetric cone."},{"cited_title":"N.,Categories of mathematical statistics,Dokl","cited_arxiv_id":null,"evidence_quote":"The category CAP, used to formulate the monoidal decomposition of Wishart laws, is introduced there."}],"review_version":1}