{"id":"254dde07-d312-4ece-8341-7a8989678864","arxiv_id":"2607.20361","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A unified theory of selfless C*-correspondences is developed and applied to completely positive maps and conditional expectations, yielding new permanence, regularity, and absorption results.","lead":"The authors generalize selflessness from states to completely positive maps, conditional expectations, and C*-correspondences, producing a unified framework. The new machinery yields fresh examples of selfless C*-algebras and a conceptually new route to Kirchberg's O_infinity-absorption theorem.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The entire cp-map/operator-valued bridge rests on Lemma 3.7's C*-algebraic free-product isomorphism; if the restriction to semicircular subalgebras is not isometric, ℓ²-stability (Theorem 3.8) and all downstream permanence results fail.","rationale":"The reader's weakest_assumption identifies Lemma 3.7 as the technical keystone. My read agrees: the proof of the first isomorphism is explicit, but the second isomorphism is a black-box import from the Toeplitz-algebra literature, and the restriction to semicircular subalgebras is a genuinely C*-algebraic step that is not fully justified. Because Theorem 3.8 and Definition 4.1 propagate every later result about weak selflessness, cp maps, and operator-valued C*-probability spaces, this is the single most load-bearing point. I do not see a separate flaw that would demand rejection; the paper contains substantial independent material, including a proof of Lemma 2.2, and the cited [4] theorem is published rather than a preprint. The concern is therefore a condition on full verification of Lemma 3.7, not a demonstrated counterexample. Hence the reader's CONDITIONAL verdict correctly captures the situation, and my stress-test does not change it.","tokens_in":33109,"tokens_out":24451,"duration_ms":182185,"concrete_test":"Verify Lemma 3.7 in the minimal nontrivial case: take A unital, H1=H2=A with the identity correspondence, and K1=K2=A_sa. Compute S_A(A⊕A, A_sa⊕A_sa) and S_A(A,A_sa) ∗_A S_A(A,A_sa). Check that the canonical generator map s_{1⊕0}↦s_1, s_{0⊕1}↦s_2 extends to an isometric *-isomorphism and that the vacuum expectation on the left corresponds exactly to the amalgamated free-product expectation on the right. If this base case holds, repeat with H1=H2=A⊗_ϕ A for a non-invertible cp map ϕ (e.g., ϕ=ρ·1 for a faithful state ρ) to test whether the isomorphism survives outside the identity-correspondence setting. Any mismatch of expectations or failure of isometry breaks Theorem 3.8.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that correspondence selflessness specializes to cp maps and expectations and yields Kirchberg's O∞-absorption theorem—depends on the passage from a selfless pair (H,K) to its infinite direct sum ℓ²(H,K). This passage, Theorem 3.8, uses Lemma 3.7, which identifies S_{C1}(H̃2,K̃2) with S_A(H1⊕H2,K1⊕K2) and then with S_A(H1,K1) ∗_A S_A(H2,K2). The first isomorphism is proved in the text via an explicit Fock-space unitary, but the second is imported from [4, Theorem 2.4] (Brown–Dykema–Shlyakhtenko) and then restricted to subalgebras generated by semicircular elements. The restriction step requires that the image of S_A(H1⊕H2,K1⊕K2) under the Toeplitz isomorphism is exactly the reduced amalgamated free product of the two semicircular subalgebras, with the vacuum expectation corresponding to the free-product expectation. This is asserted, not proved, and in the general C*-algebraic (as opposed to von Neumann) setting it is exactly the kind of step that can fail if the canonical map is not isometric or the expectations do not match. Since Theorem 3.8 is used to define weak selflessness (Definition 4.1) and to prove weak-containment permanence (Theorem 4.5), and since the cp-map results in Section 5 all feed through this mechanism, a failure of Lemma 3.7 would invalidate the paper's main engine. The paper's own proof of Lemma 2.2 is a useful step, but it does not repair this imported, load-bearing identification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a theory of selflessness for C*-correspondences with real structures, specializing it to completely positive maps and conditional expectations. The main claims are: (1) a workable notion of selflessness for pairs (H,K) that is stable under direct sums and weak containment; (2) a corresponding notion of weak selflessness for cp maps, with consequences such as approximate selfadjoint-innerness and the absence of phantom traces on ultrapowers; (3) permanence results for tensor products, free products, and crossed products; and (4) applications including new examples of selfless C*-algebras, MF amalgamated free products, and a new proof of Kirchberg's O_∞-absorption theorem via relative nuclearity. The central formal engine is Lemma 3.7, which identifies iterated semicircular algebras with amalgamated free products, and Theorem 3.8, which passes selflessness to the infinite direct sum ℓ²(H,K).","tokens_in":33584,"tokens_out":34588,"duration_ms":263259,"significance":"If the results are correct, the paper substantially broadens Robert's selflessness from states to operator-valued settings, providing a unified framework with strong structural consequences: weak selflessness forces approximate selfadjoint-innerness and controls traces on ultrapowers, while weak Toeplitz selflessness, combined with relative nuclearity, yields Z- and O_∞-stability. The advertised new proof of Kirchberg's O_∞-stability theorem and the MF results for amalgamated free products are conceptually interesting and would be significant contributions. The paper also contains many detailed proofs of permanence properties and gives explicit credit to the prior work it builds on. Its main weakness is that several load-bearing steps are cited from unpublished preprints or asserted without full justification, which makes independent verification harder.","major_comments":[{"comment":"The identification S_{C1}(H̃2,K̃2) ≅ S_A(H1⊕H2,K1⊕K2) is proved via an explicit Fock-space unitary, but the second isomorphism S_A(H1⊕H2,K1⊕K2) ≅ S_A(H1,K1) ∗_A S_A(H2,K2) is imported from [4, Theorem 2.4] and the restriction to the semicircular subalgebras is asserted. Theorem 3.8, Definition 4.1, and all downstream weak-selflessness results depend on this step. The paper should explicitly justify, or give a precise reference for, the claim that the image of S_A(H1⊕H2,K1⊕K2) under the Toeplitz isomorphism is exactly the reduced amalgamated free product of the two semicircular subalgebras with the vacuum expectation. I believe the statement is true, but the proof as written is too terse for a step on which the paper's engine rests.","section":"Section 3, Lemma 3.7"},{"comment":"The proof of (i)⇒(ii) and (v)⇒(vi) relies on Pisier's strong convergence [26, Theorem 7.1] (or [11, Corollary 1.2]) and on Gould's dichotomy [12], both unpublished preprints. These are load-bearing: they are used to pass from an arbitrary free complement to C_r*(F∞) and to O∞, respectively. The paper should either state these results explicitly, prove the needed special cases, or clearly mark the equivalence as conditional on the preprints. As written, a referee cannot fully verify Theorem 7.3 without retrieving and trusting unpublished sources.","section":"Section 7, Theorem 7.3"},{"comment":"The proof of Theorem 8.7 uses 'by Blanchard-Dykema' to embed A∗_B A into A'∗_B A', and Theorem 7.8(ii) invokes a 'corners version of Blanchard-Dykema', but no reference is given for either statement. The embedding is essential for the MF Corollary 8.8. Please provide the exact reference or a proof. Also, Corollary 8.6 depends on a specific theorem of Ozawa [25, Theorem 3]; the paper should state precisely what is borrowed from [25], since the wording 'the proof of [25, Theorem 3]' is not self-contained.","section":"Section 8, Theorem 8.7 (and Section 7, Theorem 7.8(ii))"}],"minor_comments":[{"comment":"Reference [31] is listed as Schafhauser, but the text attributes a conjecture to Hayes. Please correct the citation or the reference list.","section":"References"},{"comment":"The proof begins 'See also [11]' but then gives a self-contained argument. Please clarify whether Lemma 2.2 is proved here or taken from [11].","section":"Section 2, Lemma 2.2"},{"comment":"The phrase 'with C ≠ C' is confusing; likely one side should be a different symbol or the sentence should be rephrased.","section":"Section 7, Definition 7.1"},{"comment":"The clause 'where C can be any of C_r*(F∞), (C([-2,2]))^{*∞}' is ambiguous. Please clarify that the existential embedding holds for each choice of C listed.","section":"Section 7, Theorem 7.3(ii)"},{"comment":"Minor typos: 'C∗-correspondence' sometimes lacks the space, and a few other spacing issues appear. A careful proofread would help.","section":"Section 2"}],"recommendation":"major_revision","confidential_remarks":"The paper is ambitious and the main framework appears coherent, but the refereeing process should insist on removing the dependence on terse citations for load-bearing steps. The Lemma 3.7 restriction issue, the use of unpublished strong-convergence/dichotomy results in Theorem 7.3, and the missing Blanchard-Dykema reference are all fixable within the manuscript's scope. I would not reject, but the paper is not ready in its current form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the take: this is a legitimate and substantial step forward, not a repackaging. The central new idea is to define selflessness for C*-correspondences with real structure and then specialize to cp maps and conditional expectations. That does real work: it gives new permanence results, new selfless algebras from crossed products and tensor products, a new route to Kirchberg's O_infinity-stability, and a special case of Hayes's MF conjecture. The paper is carefully written and most proofs are detailed. The chain from correspondences to cp maps to expectations is coherent, and the applications are genuinely derived from the framework.\n\nWhere are the soft spots? The paper leans on unpublished preprints at several load-bearing joints: Toeplitz exactness [11], Pisier's strong convergence [26], Gould's dichotomy [12], and Ozawa's selflessness [25]. Those are real dependencies; an editor should make sure they are either published or independently verifiable. There is also a missing Blanchard-Dykema reference in Theorem 7.8(ii), and the Hayes conjecture is cited to Schafhauser [31] rather than to Hayes—looks like a citation error. Theorem 9.2 is more of a sketch than a full proof, though the adaptation of Ozawa's PHP argument is plausible.\n\nI want to flag the stress-test concern about Lemma 3.7, because I think it does not land. The second isomorphism is imported from the published Brown-Dykema-Shlyakhtenko theorem [4, Theorem 2.4], and the restriction to semicircular subalgebras is routine: the free product isomorphism sends the semicircular generators to the semicircular generators. So the engine is not resting on a shaky unpublished identification. The authors should still spell out the restriction step explicitly, because it is central, but I do not see a genuine gap there.\n\nBottom line: this paper deserves a serious referee. It is not desk-reject material. My advice is to send it out with a request that the authors fix the citation issues and either prove or clearly defer the preprint dependencies. The core contribution is real, and a careful referee will be able to verify it.","headline":"A real extension of selflessness to correspondences and cp maps with strong applications; the core is sound, but it leans heavily on unpublished preprints and has a few citation slips.","tokens_in":34020,"tokens_out":3086,"would_cite":true,"duration_ms":26450,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L05","46L35","46L53","46L55"],"pacs":[],"model":"deepseek-v4-flash","headline":"Selflessness is extended from states to C*-correspondences and completely positive maps, yielding a new proof of the O_infinity-absorption theorem.","keywords":["selfless C*-algebras","C*-correspondences","completely positive maps","conditional expectations","semicircular systems","amalgamated free products","O_infinity-stability","ultrapower traces"],"falsifier":"Produce a specific C*-correspondence with real structure (H,K) over a non-injective C*-algebra for which the canonical map from S_A(H1⊕H2,K1⊕K2) onto S_A(H1,K1) *_A S_A(H2,K2) is not isometric (or not surjective); that would disprove Lemma 3.7 and break Theorem 3.8, so (H⊕H,K⊕K) could fail to be selfless even though (H,K) is selfless. A more targeted computation: check whether the vacuum expectation on S_A(H1⊕H2) separates points in the same way as the iterated expectation E_1◦Ě_2; any mismatch is a direct falsifier.","tokens_in":33074,"feed_emoji":"","tokens_out":6035,"duration_ms":50373,"temperature":0.7,"pith_summary":"This paper extends the notion of a 'selfless' C*-algebra—originally defined for a C*-algebra equipped with a state—to arbitrary C*-correspondences equipped with a real structure, and then to completely positive maps and conditional expectations. The authors establish that this relative selflessness behaves well under standard constructions such as tensor products, reduced free products, corners, and crossed products, and that it forces strong structural consequences on the underlying algebra. In particular, a separable unital C*-algebra carrying a weakly Toeplitz selfless relatively nuclear completely positive map must absorb the Cuntz algebra O_infinity, which recovers the classical O_infinity-absorption theorem as a special case. The same machinery produces new examples of selfless C*-algebras, new MF algebras from amalgamated free products of groups, and shows that ultrapowers of algebras admitting a weakly selfless unital cp map have no 'phantom' traces.","feed_headline":"Selfless C*-correspondences reprove O_infinity absorption","feed_subtitle":"Expanding selfless states to completely positive maps yields a relative theory with new examples and phantom-free ultrapowers.","key_machinery":"The central object is a C*-correspondence with real structure, (H,K), and its associated semicircular C*-algebra S(H,K): the C*-algebra generated by A and self-adjoint semicircular elements s_v = ℓ_v + ℓ_v^* for v in K, inside the Toeplitz-Pimsner algebra of H, together with the vacuum conditional expectation E onto A. Selflessness of (H,K) is defined by the positive existential embeddability of (A; coefficient maps) into (S(H,K); coefficient maps ∘ E). The engine of the paper is the isomorphism S_{C1}(Ȟ2,Ǩ2) ≅ S_A(H1⊕H2,K1⊕K2) ≅ S_A(H1,K1) *_A S_A(H2,K2), which identifies the iteration of semicircular algebras with an amalgamated free product; this identity is what carries selflessness fr","core_discovery":"On the paper's own terms, the central discovery is that 'selflessness' is not intrinsically about states: for a C*-correspondence H over A with a real structure K, the pair (H,K) is called selfless when the embedding of A (together with its coefficient maps) into the C*-algebra of A-valued semicircular elements generated by K is positively existential. Specializing to the KSGNS correspondence of a completely positive map φ reproduces selfless cp maps, and for a conditional expectation E:A→B, selflessness is exactly the statement that the first-factor embedding A → A *_B (B⊗C) into an amalgamated reduced free product is existential for some nontrivial C*-probability space C. The load-bearing","pith_inferences":["One can read the theory as evidence that relative selflessness is the correct noncommutative-probability analog of 'infinite dividedness': where a selfless state forces the Dixmier property and simpleness, a weakly selfless map forces weaker ideal/trace regularity. The authors state this interaction is future research; a natural test is whether weakly selfless maps characterize algebras with stric","The Toeplitz-selfless criterion for O_infinity-stability may be checkable on examples beyond the theorem's scope, e.g., on C*-algebras of groups acting on strongly self-absorbing algebras, since approximately inner actions are exactly the ones the PHP crossed-product argument can absorb.","The absence of phantom traces was proved for bounded traces; a plausible extension, not proved here, is that the same conclusion holds for all tracial functionals on A^U when A is exact and admits a weakly selfless unital cp map.","Since the main permanence theorem reduces selflessness of ℓ²(H) to selflessness of H, the theory suggests that 'eventual' properties (holding for a correspondence after taking infinite direct sums) might be the right stability notion in the non-separable or non-normal setting."],"forward_implications":["A separable unital C*-algebra admitting a weakly Toeplitz selfless relatively nuclear completely positive map is O_infinity-stable; in particular, every separable nuclear purely infinite simple algebra absorbs O_infinity.","A separable unital C*-algebra admitting a weakly selfless real relatively nuclear cp map is Z-stable.","If a group with the PHP property acts by approximately inner automorphisms on a unital C*-algebra, the crossed-product expectation is selfless; tensor products and reduced free products of selfless objects are again selfless.","If G is an MF group and H≤G is amenable, the doubled amalgamated free product G *_H G is MF.","If A admits a weakly selfless unital completely positive map, then every bounded trace on the ultrapower A^U is a limit trace: A^U has no phantom traces."],"fun_headline_variants":["Selflessness generalizes from states to cp maps","O_infinity absorption proven via selfless correspondences","New selfless C*-algebras from tensor and crossed products","Relative selflessness: no phantom traces on ultrapowers"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is Lemma 3.7's identification of the iterated semicircular algebra S_{C1}(Ȟ2,Ǩ2) with the amalgamated free product S_A(H1,K1) *_A S_A(H2,K2); the entire chain from selflessness of (H,K) to selflessness of ℓ²(H), and hence to the cp-map stability theorems, collapses if this isomorphism fails in the C*-algebraic (as opposed to von Neumann algebraic) setting.","fun_headline_variants_meta":{"raw":{"variants":["Selflessness generalizes from states to cp maps","O_infinity absorption proven via selfless correspondences","New selfless C*-algebras from tensor and crossed products","Relative selflessness: no phantom traces on ultrapowers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000915,"raw_usage":{"total_tokens":3715,"prompt_tokens":642,"completion_tokens":3073,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":386,"completion_tokens_details":{"reasoning_tokens":3007}},"tokens_in":386,"tokens_out":3073,"duration_ms":20283,"temperature":1.0,"reasoning_tokens":3007,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T10:02:02.819192+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Produce a specific C*-correspondence with real structure (H,K) over a non-injective C*-algebra for which the canonical map from S_A(H1⊕H2,K1⊕K2) onto S_A(H1,K1) *_A S_A(H2,K2) is not isometric (or not surjective); that would disprove Lemma 3.7 and break Theorem 3.8, so (H⊕H,K⊕K) could fail to be selfless even though (H,K) is selfless. A more targeted computation: check whether the vacuum expectation on S_A(H1⊕H2) separates points in the same way as the iterated expectation E_1◦Ě_2; any mismatch is a direct falsifier.","supporting_citations":[],"review_version":1}