{"id":"f802f501-3e76-4050-8221-8714e0eebb50","arxiv_id":"2606.02269","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A functor infinity-topos from finite-dimensional C*-algebras to the smooth cohesive infinity-topos is equipped with a centre-induced quantum comonad satisfying cohesion compatibility and yielding a synthetic no-cloning theorem.","lead":"The paper constructs a cohesive infinity-topos H_Q from finite-dimensional C*-algebras equipped with a quantum modality comonad that models decoherence and is compatible with cohesion. This supplies the first concrete model for cohesive linear homotopy type theory.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the properties that must be verified, but those properties are standard consequences of the idempotent functor Z together with the known compatibility Z(A ⊗ B) ≅ Z(A) ⊗ Z(B) for finite-dimensional C*-algebras. The manuscript states that the required natural isomorphisms and Beck-Chevalley diagrams are established; absent a concrete counter-calculation or missing coherence diagram, the construction does not exhibit a load-bearing gap.","tokens_in":1885,"tokens_out":444,"duration_ms":26010,"concrete_test":"Pick three small objects A = ℂ, B = M_2(ℂ), C = ℂ⊕ℂ in C*Alg_fd. Compute the Day convolution (F ⊗_Day G) ∘ Z and (F ∘ Z) ⊗_Day (G ∘ Z) explicitly at these objects for generic F, G : C*Alg_fd → H_sm (taking H_sm = sSet for concreteness) and check whether the canonical comparison map is an equivalence; repeat after replacing Z by the identity to isolate the effect of centre projection.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction defines H_Q as Fun(C*Alg_fd, H_sm) with Q^♦ given by precomposition with the centre functor Z on the category of finite-dimensional C*-algebras equipped with centre-preserving *-homomorphisms. Z is idempotent by construction (Z(Z(A)) = Z(A)), so precomposition yields an idempotent endofunctor. Product preservation is immediate from pointwise products in the functor category. The Day convolution monoidal structure is induced by the C*-tensor product; the claimed strong monoidality of Q^♦ and Beck-Chevalley compatibility with the pointwise-lifted cohesive modalities (Π, ♭, ♯) are asserted as proven. The equivalence of Q^♦-coalgebras with Fun(FinSet^op, H_sm) via Gelfand duality follows directly from the fixed points of Z. No internal inconsistency appears in the setup or claimed properties.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript constructs the cohesive ∞-topos H_Q as the functor ∞-topos Fun(C*Alg_fd, H_sm), where H_sm is the smooth cohesive ∞-topos. It defines the quantum modality Q^♦ as the comonad given by precomposition with the centre functor Z on the category of finite-dimensional C*-algebras equipped with centre-preserving *-homomorphisms. The paper claims to prove that Q^♦ is an idempotent product-preserving comonad that is strong monoidal with respect to the Day convolution monoidal structure induced by the C*-tensor product, satisfies Beck-Chevalley compatibility conditions with the pointwise-lifted cohesive modalities (Π, ♭, ♯), and that the category of Q^♦-coalgebras is equivalent via Gelfand duality to Fun(FinSet^op, H_sm). It further claims a synthetic no-cloning theorem, interprets Q^♦ as decoherence, and positions the model as the first rigorous instance of the cohesive linear framework in which cartesian linear-logic structure degenerates while Day convolution supplies a non-degenerate affine model of multiplicative intuitionistic linear logic.","tokens_in":2079,"tokens_out":579,"duration_ms":24244,"significance":"If the central claims hold, this supplies the first concrete model for cohesive linear homotopy type theory and settles the open problem of exhibiting such a model. The construction is a direct and natural application of the functor topos and the idempotence of the centre functor; the equivalence of coalgebras with classical discrete field theories via Gelfand duality is clean. The synthetic no-cloning theorem and the explicit treatment of the monoidal structure (Day convolution versus cartesian) are genuine strengths that allow the work to connect cohesive ∞-topos theory with quantum information in a synthetic setting.","major_comments":[],"minor_comments":[{"comment":"The introduction asserts that 'multiple proofs' are supplied (cohesion lifting, comonad properties, coalgebra equivalence, no-cloning) but does not include a roadmap that maps each claim to its section or subsection; this would improve readability.","section":"Introduction"},{"comment":"The definition of the Day convolution monoidal structure is introduced in the section on the quantum comonad without an explicit reference to the standard definition in the literature on enriched functor categories; a one-sentence recall would aid readers.","section":"Quantum comonad and Day convolution"},{"comment":"The statement of the synthetic no-cloning theorem appears only after its proof sketch; an explicit formulation of the theorem (including the precise type-theoretic statement) before the argument would make the claim easier to locate and verify.","section":"Synthetic no-cloning theorem"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive and insightful report, which correctly summarizes the main results and highlights the significance of providing the first concrete model of a cohesive linear ∞-topos. The recommendation for minor revision is noted; however, the report contains no specific major comments requiring point-by-point response or manuscript changes.","responses":[],"tokens_in":1552,"tokens_out":81,"duration_ms":8476,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing here is a direct construction of H_Q as Fun(C*Alg_fd, H_sm) with the quantum comonad Q^♦ given by precomposition with the centre functor Z. Cohesion lifts pointwise, the Day convolution monoidal structure comes from the C*-tensor product, and the coalgebra category recovers Fun(FinSet^op, H_sm) via Gelfand duality. The paper also states a synthetic no-cloning result and notes limits on representing channels.\n\nWhat stands out is that the setup is explicit and uses standard pieces: functor categories, pointwise modalities, and the idempotence of Z. The equivalence of coalgebras follows immediately from the fixed points of Z, and the interpretation of Q^♦ as decoherence is a natural reading of the construction.\n\nThe soft spots are in the verification steps that are asserted rather than shown in the abstract. Beck-Chevalley compatibility with the lifted (Π, ♭, ♯) and strong monoidality of Q^♦ under Day convolution are claimed as proven, but without the derivations visible it is hard to check the details of the comonad properties or the precise sense in which the linear logic degenerates. The no-cloning theorem is synthetic and therefore only as strong as the ambient linear structure.\n\nThis is aimed at people already working on cohesive homotopy type theory or synthetic approaches to quantum information. The construction addresses a stated open problem with a specific model, so it deserves a serious referee even if the proofs need tightening.","headline":"This paper builds a concrete functor topos model for cohesive linear homotopy type theory by lifting cohesion pointwise from the smooth topos and precomposing with the centre functor on finite-dimensional C*-algebras.","tokens_in":2545,"tokens_out":395,"would_cite":false,"duration_ms":10132,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Finite-dimensional C*-algebras yield a cohesive infinity-topos equipped with a quantum modality that models decoherence via the center functor.","keywords":["cohesive infinity-topos","quantum modality","C*-algebras","decoherence","Gelfand duality","Day convolution","linear homotopy type theory","no-cloning theorem"],"falsifier":"An explicit computation on a pair of finite-dimensional C*-algebras showing that the induced endofunctor fails to be idempotent or that the Beck-Chevalley square for the lifted modalities does not commute would refute the construction.","tokens_in":2781,"feed_emoji":"","tokens_out":735,"duration_ms":17697,"temperature":0.7,"pith_summary":"The paper constructs the infinity-topos as the functor category from finite-dimensional C*-algebras into the smooth cohesive infinity-topos, lifting cohesion pointwise and inducing a Day convolution monoidal structure from the tensor product of algebras. It defines the quantum modality as the comonad given by precomposition with the center functor, proves this comonad is idempotent and product-preserving with a right adjoint, and verifies Beck-Chevalley compatibility with the cohesive modalities. The coalgebras for this comonad recover the topos of discrete classical field theories through Gelfand duality, and the construction supplies a concrete setting for cohesive linear homotopy type theory that includes a synthetic no-cloning theorem while interpreting the modality as decoherence.","feed_headline":"C*-algebra centers define quantum modality in cohesive infinity-topos","feed_subtitle":"The centre functor yields a comonad whose coalgebras are classical field theories and enables a synthetic no-cloning theorem.","key_machinery":"The quantum modality Q^♦, the idempotent comonad induced by precomposition with the centre functor on finite-dimensional C*-algebras, which supplies the decoherence interpretation and ensures compatibility with cohesion and Day convolution.","core_discovery":"The topos Fun(C*Alg_fd, H_sm) carries a quantum modality Q^♦ obtained by precomposition with the centre functor; this yields an idempotent product-preserving strong monoidal comonad whose coalgebras are equivalent to Fun(FinSet^op, H_sm) and which satisfies the required compatibility with the lifted cohesive structure, thereby furnishing the first concrete model of cohesive linear homotopy type theory.","pith_inferences":["Varying the base category of algebras could produce modalities that capture additional quantum channels beyond pure decoherence.","The degeneration of cartesian structure versus the non-degenerate Day convolution suggests comparisons with other topos-theoretic models of quantum logic.","The restriction to finite-dimensional algebras leaves open whether an analogous construction exists for infinite-dimensional C*-algebras while preserving the comonad properties."],"forward_implications":["The coalgebras for the quantum modality recover the topos of discrete classical field theories via Gelfand duality.","A synthetic no-cloning theorem holds inside the resulting linear infinity-topos.","The cartesian linear-logic structure degenerates while the Day convolution structure supplies a non-degenerate affine model of multiplicative intuitionistic linear logic.","The construction supplies a concrete model of cohesive linear homotopy type theory."],"fun_headline_variants":["Finite C* algebras induce quantum modality in cohesive topos","Center functor defines quantum comonad for cohesive infinity-topos","Cohesive topos with quantum modality from finite-dimensional C* algebras","Quantum comonad from C* centers in smooth cohesive topos"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The centre functor induces a comonad on the functor topos that is idempotent, product-preserving, strong monoidal with respect to Day convolution, and satisfies Beck-Chevalley conditions with the pointwise-lifted cohesive modalities.","fun_headline_variants_meta":{"raw":{"variants":["Finite C* algebras induce quantum modality in cohesive topos","Center functor defines quantum comonad for cohesive infinity-topos","Cohesive topos with quantum modality from finite-dimensional C* algebras","Quantum comonad from C* centers in smooth cohesive topos"]},"model":"grok-4.3","cost_usd":0.002973,"raw_usage":{"total_tokens":1626,"prompt_tokens":820,"num_sources_used":0,"completion_tokens":68,"cost_in_usd_ticks":29728000,"prompt_tokens_details":{"text_tokens":820,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":738,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":820,"tokens_out":68,"duration_ms":7359,"temperature":1.0,"reasoning_tokens":738,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T11:49:26.912629+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit computation on a pair of finite-dimensional C*-algebras showing that the induced endofunctor fails to be idempotent or that the Beck-Chevalley square for the lifted modalities does not commute would refute the construction.","supporting_citations":[],"review_version":1}