{"id":"12228ec4-9ae6-4511-ae9d-6e42d347dc52","arxiv_id":"2509.10262","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"The paper defines a category NCP and fields of covariances, and announces that classifying them subsumes Cencov's Fisher-Rao uniqueness and Petz's monotone quantum metrics.","lead":"This paper introduces a category, NCP, whose objects are classical or quantum probability systems described by operator algebras with a distinguished state, as a proposed common setting for all statistical models. It announces that classifying certain functors on this category would unify the two foundational uniqueness theorems of information geometry, but the proofs are left for later papers.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim that fields of covariances subsume Cencov and Petz is carried entirely by a pullback construction and classification proof that the paper explicitly defers to forthcoming work; as submitted, the claimed entailment is unsupported.","rationale":"The reader and I identify the same load-bearing point: the announced unification depends on a pullback construction and a classification theorem that do not appear in the manuscript. The definitions of NCP and fields of covariances are coherent, and the Gaussian example is a reasonable illustration of how a statistical model can be viewed as a subcategory. But the abstract's claim that the classification of fields of covariances entails Cencov's and Petz's results is not established by any argument in the text. The missing pullback is not a technical detail; it is the mechanism that converts a Hilbert-space-valued functor into a Riemannian metric on a statistical model, and without it the claimed reduction cannot be verified. The asserted uniqueness on fNCT is likewise a theorem stated without proof or proof sketch. This fully supports the reader's REJECT verdict on the central research claim as presented, so no verdict adjustment is needed.","tokens_in":7929,"tokens_out":7575,"duration_ms":72946,"concrete_test":"Construct explicitly the promised pullback of the GNS field of covariances in the two simplest cases already present in the paper: (i) the univariate Gaussian statistical subcategory of Section 3, and (ii) the faithful 2x2 density-matrix subcategory. In each case, define the map from tangent vectors into the relevant GNS Hilbert spaces and compute the induced metric; then check whether (i) gives the Fisher information metric of the normal model and (ii) gives the Bures-Helstrom metric. If either computation cannot be completed or yields a different metric, the claimed reduction fails. If both match, the remaining gap is the classification proof itself, which can then be tested separately on fNCT for M_2(C) by solving the finite-dimensional system of contraction inequalities.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's headline result is a bridge statement: fields of covariances on NCP should yield, by pullback, exactly the Cencov and Petz metrics. That bridge is not built. Section 2 states that the classification of fields of covariances entails Cencov's uniqueness and Petz's classification, and that on the subcategory fNCT the GNS functor is the only possible functor up to two positive constants, but both statements are explicitly deferred to forthcoming publications. Section 3 constructs statistical subcategories, including the Gaussian example, yet the pullback of a field of covariances to a Riemannian metric is introduced only as 'the next step' to be discussed in a forthcoming work. Condition (1) only identifies the underlying vector space of C_rho with the GNS Hilbert space H_rho and the morphism action with the GNS contraction; it does not identify the tangent spaces of classical or quantum statistical models with subspaces of H_rho in a way compatible with Petz's monotone metrics, which are inner products on self-adjoint traceless operators rather than on the full GNS Hilbert space. Footnote 8 also sets aside smoothness, so the differential-geometric link is only informal. The central claim is therefore not internally inconsistent, but it is entirely unsupported as submitted: the reduction could fail if the induced metrics are not Fisher-Rao or Bures-Helstrom for the GNS field, or if additional fields exist on fNCT.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces a category NCP whose objects are pairs (A, ρ) of a W*-algebra and a normal state, and whose morphisms are state-preserving unital completely positive maps. It defines 'fields of covariances' as contravariant functors C: NCP → Hilb satisfying the equality F∘C = F∘G with the GNS functor G (Eq. (1)), and claims that classifying such functors entails both Cencov's uniqueness of the Fisher-Rao metric and Petz's classification of monotone quantum metrics. It further claims that on the full subcategory fNCT of finite-dimensional tracial states the GNS functor is the only possible functor up to two positive constants. Section 3 constructs statistical subcategories of NCP, including an action groupoid for univariate normal distributions, and states that a field of covariances will induce Riemannian metrics on such subcategories, recovering Fisher-Rao and Bures-Helstrom metrics. All three main claims are explicitly deferred to forthcoming works, and no proofs are contained in the manuscript.","tokens_in":8174,"tokens_out":3843,"duration_ms":33822,"significance":"If the announced results were proved, the framework would offer a genuine unification: a single classification problem over W*-algebras and normal states would subsume the classical Cencov theorem and the quantum Petz classification, extend to infinite dimensions and non-faithful states, and make the geometry of statistical models functorial. The paper is clearly written and the definition of NCP together with the GNS functor provides a plausible categorical setup; the Gaussian action-groupoid example is a useful illustration. However, the manuscript as submitted is a research announcement, not a proof-bearing paper: the central statements about classification, uniqueness, and the pullback construction are unsupported. The significance of the framework therefore cannot be assessed from the present text.","major_comments":[{"comment":"The paper's central claim, that the classification of fields of covariances on NCP entails Cencov's uniqueness of the Fisher-Rao metric and Petz's classification of monotone quantum metrics, is asserted without proof. The text explicitly says the classification problem will be addressed in a series of forthcoming publications, and no statement of the conjectured classification theorem is given. Since this is the load-bearing result of the paper, the omission is not a presentation issue but an absence of the paper's main content.","section":"Section 2, after Eq. (1)"},{"comment":"The uniqueness result for finite-dimensional tracial states, 'the GNS functor G is the only possible functor (up to the choice of two positive constants),' is stated without proof, without a precise definition of the two constants, and without a formal statement of what 'only possible functor' means. As one of the headline results, this unsupported assertion cannot be evaluated by the reader.","section":"Section 2, paragraph on fNCT"},{"comment":"The pullback construction by which a field of covariances induces a Riemannian metric tensor on a statistical subcategory is deferred to a forthcoming work. This includes the promises that the GNS functor leads to the Fisher-Rao metric on commutative statistical subcategories and to the Bures-Helstrom metric on faithful finite-dimensional states. Without this construction, the bridge from Eq. (1) to the metric classification claims is missing.","section":"Section 3, final paragraph"},{"comment":"Condition (1) identifies the underlying vector space of C_ρ with the GNS Hilbert space H_ρ and the morphism action with the GNS contraction, but it does not identify the relevant tangent spaces of statistical models, such as the self-adjoint traceless operators in Petz's framework, as subspaces of H_ρ. The manuscript does not show that every monotone quantum metric can be represented by such a functor, nor that every functor satisfying (1) yields a Petz-type metric. The claimed reduction of Petz's classification is therefore unsupported.","section":"Section 2, condition (1)"},{"comment":"Smoothness is explicitly set aside in footnote 8. Since the intended application is to Riemannian metrics on smooth statistical models, and since the pullback construction is essential to connecting fields of covariances to Fisher-Rao and Bures-Helstrom metrics, the differential-geometric content of the paper remains informal and cannot ground the announced theorems.","section":"Footnote 8"}],"minor_comments":[{"comment":"Reference [26] misspells the first author's name as 'Voicolescu'; it should be 'Voiculescu'.","section":"References"},{"comment":"Reference [22] writes 'Sudar' without the diacritic; the correct spelling is 'Sudár'.","section":"References"},{"comment":"In the equation Φ*_ξ(p_ξ') = p_{ξ∘ξ'}, the composition symbol ∘ on the parameter space M = R × R_+ is not defined. The group law of the affine group should be spelled out explicitly so the reader can verify the action groupoid structure.","section":"Section 3, Gaussian example"},{"comment":"The transliteration 'Čencov' and 'Cencov' are used inconsistently; one standard spelling should be adopted throughout.","section":"Throughout"},{"comment":"The sentence stating that statistical covariance coincides with the GNS scalar product should specify that this identification holds for zero-mean random variables, to avoid ambiguity.","section":"Section 2, covariance explanation"}],"recommendation":"reject","confidential_remarks":"The manuscript is an honest research announcement, but its main theorems and constructions are explicitly deferred to forthcoming papers. In its current form it does not meet the standard of a full research paper in mathematical physics: there are no proofs of the classification claims, no statement of the uniqueness theorem, and no pullback construction linking fields of covariances to metric tensors. I would advise rejection, though the authors might be encouraged to resubmit once the actual proofs are available, or to publish the framework as a proceedings contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The paper is not a proof-carrying article; it is a well-written research announcement. Its genuine novelty is the category NCP (W*-algebras with normal states, state-preserving CPU maps) and the notion of a field of covariances: a contravariant functor to Hilb satisfying F∘C=F∘G, which encodes monotonicity functorially. The category is a natural common stage for classical and quantum information geometry, and the functorial framing of Čencov's and Petz's problems is a real reconfiguration, not a relabeling. The Gaussian example in Section 3 works and shows how symmetries of a model can be encoded as an action groupoid inside NCP. The references are standard and the closest prior work is cited fairly.\n\nWhat the paper does not do: it does not prove that classifying fields of covariances entails Čencov's and Petz's classifications. Both headline claims—that classification on NCP subsumes those theorems, and that on fNCT the GNS functor is unique up to two constants—are explicitly postponed to forthcoming publications. The pullback of a field of covariances to a Riemannian metric on a statistical subcategory is also deferred. Footnote 8 sets aside smoothness. So the central bridge is not built. The reader's weakest-assumption diagnosis is right: condition (1) fixes the underlying vector space of C_rho to be the GNS space and the morphism action to be the GNS contraction, but it does not identify the tangent space of a statistical model with the right subspace. Petz metrics are inner products on self-adjoint traceless operators, not on all of H_rho; whether the pullback lands exactly on those metrics is open. This is not an internal inconsistency, but the reduction could fail, and as submitted the claim is unsupported.\n\nThe paper is honest about this, and the framework may be viable, but as a journal article it is currently an extended abstract. I would not cite it for the classification theorems. I would send it to a referee rather than desk-reject, because the definitions are precise and the program is significant enough; the referee should ask either for proofs or for an explicit reframing as a position paper. If it crosses your desk, treat it as promising work in progress, not as a result.","headline":"A clear, honest research announcement whose two headline theorems are both explicitly deferred; worth reading for the framework, but not yet a proof-carrying paper.","tokens_in":8775,"tokens_out":3942,"would_cite":false,"duration_ms":35930,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53B12","46L30","46L10","18B99"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proposes a common categorical stage for classical and quantum statistical models and argues that classifying its covariance functors subsumes both Čencov's and Petz's uniqueness theorems.","keywords":["information geometry","W*-algebras","normal states","completely positive maps","GNS construction","fields of covariances","Cencov theorem","Petz classification"],"falsifier":"Take the two-by-two matrix algebra with a faithful state and check whether every Petz monotone metric can be written as the pullback of a field of covariances satisfying F∘C = F∘G; if any operator monotone function yields a metric that no such functor can produce, the announced subsumption of Petz's classification fails. Equivalently, on the tracial subcategory fNCT, finding a field of covariances that is not a positive constant times the GNS inner product would disprove the claimed uniqueness.","tokens_in":7674,"feed_emoji":"📐","tokens_out":10948,"duration_ms":74348,"temperature":0.7,"pith_summary":"The paper is a programmatic proposal: it builds a single category, NCP, whose objects are pairs (A, ρ) consisting of a W*-algebra and a normal state, and whose morphisms are state-preserving unital completely positive maps, so that classical probability spaces and quantum state spaces live in the same structure. Its central claim is that the right invariant-geometry problem in this setting is the classification of fields of covariances, defined as contravariant functors from NCP to Hilbert spaces that share the underlying vector space of the GNS Hilbert space at every object. The authors state that this classification entails both Čencov's uniqueness of the Fisher-Rao metric tensor and Petz's classification of monotone quantum metric tensors as particular cases, and that on tracial states over finite-dimensional algebras the GNS functor is the only such functor up to two positive constants. They also show how statistical models, including Lie-group transformation models and coherent states, embed as subcategories of NCP, so that a field of covariance can be pulled back to a Riemannian metric on a model, recovering Fisher-Rao, Fubini-Study, and Bures-Helstrom metrics in special cases. The proofs are deferred to forthcoming works; the present contribution is the categorical reformulation that makes the unification conceivable.","feed_headline":"One category subsumes Cencov and Petz uniqueness theorems","feed_subtitle":"The new NCP category lets a single classification of covariance functors replace two separate theorems.","key_machinery":"The load-bearing object is the category NCP together with the notion of a field of covariances: a contravariant functor C: NCP → Hilb whose underlying vector spaces coincide with those of the GNS functor G through the condition F∘C = F∘G. The GNS construction supplies the reference Hilbert space H_ρ, obtained by completing the algebra modulo the left ideal of elements with zero ρ-norm, with inner product ⟨x|y⟩_ρ = ρ(x*y), and the GNS functor sends each state to this space and each CPU map to the induced contraction. A field of covariances keeps the same underlying spaces and maps but may replace the inner product, and the inequality imposed by functoriality is precisely the monotonicity property used in Petz's classification. Statistical models enter as subcategories of NCP, built for instance from action groupoids for Lie-group models such as univariate normal distributions, and a field of covariance then pulls back to a Riemannian metric tensor on the model's manifold.","core_discovery":"On the paper's own terms, the discovery is that a single functorial object, a field of covariances, can carry the information-geometric content of both classical and quantum statistics. A field of covariances is a contravariant functor C: NCP → Hilb satisfying F∘C = F∘G, where G is the GNS functor; concretely, at each state ρ the functor chooses a new inner product C_ρ on the GNS Hilbert space H_ρ, and on every state-preserving CPU map it acts by the same contraction as G. Functoriality then enforces the monotonicity inequality that defines Petz's quantum metrics, while the GNS inner product reduces to classical statistical covariance on commutative algebras, whose inverse is the Fisher-Rao metric tensor. The paper asserts, with proofs reserved for later work, that classifying these functors recovers Čencov's and Petz's classifications, that on the tracial finite-dimensional subcategory the GNS functor is unique up to two positive constants, and that pullback of fields of covariances along statistical subcategories yields the Fisher-Rao, Bures-Helstrom, and Fubini-Study metrics in the appropriate limits.","pith_inferences":["A natural next test is to compute, for the two-by-two matrix algebra, whether every Petz monotone metric arises from a field of covariances or only a subfamily; the paper does not give the correspondence between operator monotone functions and specific functors.","The uniqueness statement on tracial states suggests a possible hierarchy in which the space of admissible fields of covariances grows as non-commutativity increases; this is an extrapolation, not a paper claim.","One could turn the pullback construction into an inverse problem: given a Riemannian metric on a statistical model, decide whether it is the pullback of some field of covariances, which would give a new admissibility criterion beyond monotonicity."],"forward_implications":["A classification of fields of covariances on NCP would simultaneously recover Čencov's uniqueness of the Fisher-Rao metric and Petz's list of monotone quantum metrics, showing that the two theorems are two faces of one functorial statement.","Because NCP is built from W*-algebras and normal states, the same formalism would cover infinite-dimensional algebras and non-faithful states, the two cases that Čencov's and Petz's original theorems leave out.","On tracial states over finite-dimensional algebras, the claimed uniqueness of the GNS functor up to two positive constants would give a non-commutative Čencov theorem for states that do not see non-commutativity.","Statistical models realized as subcategories of NCP would inherit their geometry from the ambient functor: pullback of the GNS field of covariances gives the Fisher-Rao metric on commutative models, the Bures-Helstrom metric on faithful finite-dimensional quantum states, and the Fubini-Study metric on pure states.","Monotonicity under quantum channels becomes functoriality, so the same categorical condition enforces both Čencov's congruent-embedding invariance and Petz's contraction requirement."],"supporting_citations":[{"why":"Čencov's monograph establishes the classical uniqueness theorem for the Fisher-Rao metric that the paper's functorial classification aims to subsume.","marker":"[25]"},{"why":"Petz's classification of monotone quantum metrics is the quantum result the paper claims to recover as a special case.","marker":"[21]"},{"why":"Morozova and Čencov's Markov-invariant geometry on state manifolds supplies the quantum version of the invariant-metric problem.","marker":"[18]"},{"why":"Morozova and Čencov's categorical treatment of Markov maps in noncommutative probability provides the categorical starting point.","marker":"[17]"},{"why":"The authors' earlier work unifies the Čencov and Petz problems on finite-dimensional W*-algebras, the setting this paper extends to NCP.","marker":"[6]"},{"why":"Petz and Sudar's limit construction for the Fubini-Study metric is the precedent for recovering pure-state geometry from faithful-state metrics.","marker":"[22]"},{"why":"Amari and Nagaoka's classical information-geometry text supports the univariate normal model example of a statistical subcategory.","marker":"[2]"}],"fun_headline_variants":["One functor unifies Cencov and Petz metric classifications","Single covariance functor covers both classical and quantum metrics","One categorical construction recovers Cencov and Petz","Covariance functors give a unified view of quantum and classical metrics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the stipulated condition that every admissible geometry is a field of covariances, a functor that reuses the GNS Hilbert space at every state and varies only its inner product; if some legitimate monotone metric escapes this representation or the condition admits non-geometric functors, the announced reduction of Čencov's and Petz's theorems to one classification problem collapses.","fun_headline_variants_meta":{"raw":{"variants":["One functor unifies Cencov and Petz metric classifications","Single covariance functor covers both classical and quantum metrics","One categorical construction recovers Cencov and Petz","Covariance functors give a unified view of quantum and classical metrics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000981,"raw_usage":{"total_tokens":4214,"prompt_tokens":1041,"completion_tokens":3173,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":657,"completion_tokens_details":{"reasoning_tokens":3102}},"tokens_in":657,"tokens_out":3173,"duration_ms":355226,"temperature":1.0,"reasoning_tokens":3102,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:56:24.851612+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the two-by-two matrix algebra with a faithful state and check whether every Petz monotone metric can be written as the pullback of a field of covariances satisfying F∘C = F∘G; if any operator monotone function yields a metric that no such functor can produce, the announced subsumption of Petz's classification fails. Equivalently, on the tracial subcategory fNCT, finding a field of covariances that is not a positive constant times the GNS inner product would disprove the claimed uniqueness.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Morozova and Čencov's categorical treatment of Markov maps in noncommutative probability provides the categorical starting point."},{"cited_title":"Petz and C","cited_arxiv_id":null,"evidence_quote":"Petz and Sudar's limit construction for the Fubini-Study metric is the precedent for recovering pure-state geometry from faithful-state metrics."}],"review_version":2}