{"id":"9c147ed5-1268-4015-ac97-e11a93e637a5","arxiv_id":"2608.11358","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For finite-dimensional 3-Hilbert spaces, orthonormal bases exist uniquely up to contractible choice, and the Yoneda embedding into the presheaf 3-Hilbert space is an isometric equivalence.","lead":"This pure-mathematics paper develops tools for finite-dimensional 3-Hilbert spaces, including orthonormal bases, generalized scalar multiplication, and unitary adjoints. It proves that every such space is isometrically equivalent to its presheaf category of unitary 2-functors into 2-Hilbert spaces, a higher-categorical Riesz representation theorem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5.2 Step 1 leaves ONB-independence of ΨHom resting on an unproved dimension identity; if that identity fails for Definition 3.6 spherical weights, the self-enrichment and Theorem D are not well-defined.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing concern: the unproved dimension identity in Lemma 5.2 Step 1 and the companion ONB-independence assertion. I agree with that assessment. The self-enrichment weight (14) is the heart of the 3-Hilbert space structure on Hom(X→Y), and Theorem D, Theorem E, and Proposition 5.7 all depend on it being well-defined and isometric. The available evidence suggests the claim is true: for a unitary fusion category the categorical dimension of a simple object equals its Frobenius-Perron dimension, and the sphericality condition relates the normalized traces on objects in the same component. The paper has many strong features that support a conditional reading rather than rejection: the explicit constructions of generalized scalar multiplication, the detailed proof of the internal unitary Yoneda lemma in Lemma 3.32, and the explicit formulas for the self-enrichment. The gaps flagged by the reader and confirmed here are presentational and proof-completeness gaps, not demonstrated contradictions. I therefore recommend no change to the reader's CONDITIONAL verdict, with the concrete verification above as the natural condition for final acceptance.","tokens_in":31247,"tokens_out":21372,"duration_ms":199392,"concrete_test":"Extract the two identities in Lemma 5.2 Step 1 and prove them from the axioms of Definition 3.6 together with [CFH+26, Cor. 4.52], which identifies every connected 3-Hilbert space with Mod†(C) for an H*-fusion category C. Concretely, take C to be a nontrivial H*-fusion category such as the Fibonacci category, with the spherical trace from Example 3.27 rescaled by an arbitrary positive factor λ, set X = Mod†(C), choose the unique ONB {C}, and verify d_b^{-1}D_{Ω_b} = FPdim(Ω_b)d_b directly from the explicit formulas. Then take two simple objects b and c in one component connected by a nonzero 1-morphism and verify (i) by computing both normalized traces. If the derivation requires a normalization of the spherical weight that is not present in Definition 3.6, the definition of a 3-Hilbert space must be amended before (14) can be trusted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing weak point is Lemma 5.2 Step 1, the proof that the weight (14) defining the self-enrichment is independent of the choice of ONB. The argument assumes two facts without proof: (i) for b and c in the same component, d_b^{-1}ΨY_{F(b)}(μ_b) = d_c^{-1}ΨY_{F(c)}(μ_c); and (ii) for each simple b, d_b^{-1}D_{Ω_b} = FPdim(Ω_b)d_b. Fact (ii) is disposed of by citing [CFH+26, p16, before (8)] and adding 'since Ω_b is fusion', but no derivation is supplied, and Definition 3.6 does not normalize the spherical weights, so d_b is not forced to equal 1. Fact (i) is asserted in a single sentence. These facts are needed before the sum in (14) is well-defined, and they feed directly into the proof that the Yoneda embedding is isometric (D2), the isometric equivalence with bimodules (D3), and the isometric hom-tensor adjunction (Prop. 5.7). If either fact fails for a weight allowed by Definition 3.6, then ΨHom depends on the chosen ONB and Theorem D collapses. I do not see a counterexample: for a unitary fusion category the identity is consistent with D_{Ω_b} = d_b^2 FPdim(Ω_b), and (i) should follow from sphericality applied to a nonzero 1-morphism witnessing b∼c. The concern is therefore that a load-bearing step is asserted rather than proved, not that it is known to be false.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops higher linear algebra tools for finite-dimensional 3-Hilbert spaces: generalized scalar multiplication, orthonormal bases, unitary 2-adjoints, and a unitary Deligne product. Its main structural results are that the functor 2-category Hom(X→Y) is itself a 3-Hilbert space (self-enrichment, Theorem D/Proposition 5.4), that the Yoneda embedding is an isometric equivalence (Theorem D), that the space of ONBs is contractible (Theorem C), and that an isometric folding trick holds (Theorem E). The paper relies heavily on the companion article [CFH+26] and presents many constructions in a graphical calculus.","tokens_in":31588,"tokens_out":7062,"duration_ms":64236,"significance":"If the proofs are completed, these results give the expected categorified Riesz representation theorem and self-enrichment for finite-dimensional 3-Hilbert spaces, with concrete formulas for generalized scalar multiplication, unitary adjoints, and orthonormal bases. The paper is clearly written for specialists and provides a useful dictionary in Table 1. The explicit constructions—particularly the formula for unitary adjoints via ONBs and the Deligne product—are valuable even before the missing verifications are supplied.","major_comments":[{"comment":"The proof that Ψ^Hom in Eq. (14) is independent of the choice of ONB rests on two assertions for which no derivation is given: (i) for b∼c one has d_b^{-1}Ψ^Y_{F(b)}(μ_b)=d_c^{-1}Ψ^Y_{F(c)}(μ_c), and (ii) d_b^{-1}D_{Ω_b}=FPdim(Ω_b)d_b, cited to [CFH+26, p16] with the comment 'since Ω_b is fusion'. Fact (ii) is nontrivial because Definition 3.6 does not normalize spherical weights and d_b is not forced to equal 1; it connects the global dimension of Ω_b with its Frobenius–Perron dimension under the chosen spherical trace. These identities are needed before the sum in (14) is known to be well-defined, and they feed directly into the proof of (D2), the calculation in (D3), and Proposition 5.7. Please supply a proof or an exact lemma number in [CFH+26] for both identities; if the cited page only gives the formula in a normalization where the identity object has dimension 1, explain the rescaling explicitly.","section":"§5.1, Lemma 5.2 Step 1"},{"comment":"The proof that Hom(X→Y) is H*-monad complete is the most delicate part of establishing the self-enrichment. After defining G(X) as the splitting of an idempotent for each 1-morphism X, the verification that G is a well-defined †,∨-preserving 2-functor—functoriality, the unit G^0_a, the tensorator G^2_{X,W}, and the construction of the transformation β and modification γ—is compressed into 'one checks' and a few displayed diagram equalities. This step is load-bearing because completeness is part of the definition of a 3-Hilbert space and is used in Theorem D. Please provide the missing verification in full, or reduce the construction explicitly to Lemma 3.23 and the universal property of H*-monad splitting.","section":"§5.1, Proposition 5.4"},{"comment":"The proof of contractibility of the space of splittings of an H*-monad contains two asserted steps: the existence of the 1-morphism bW_c = bX^∨⊗_A Y_c is described as 'an immediate consequence' of [CFH+26, Rem. 4.12, 4.40], and the unitarity of ω and u is summarized as 'one verifies'. Since this lemma is used for the pointwise-isometric property of the universal H*-monad completion and in the proof of Theorem 4.23 (contractibility of ONBs), the omitted checks should be written out or replaced by a precise reference to a complete proof.","section":"§3.3, Lemma 3.23"}],"minor_comments":[{"comment":"The text reads 'Recall form [Bae97]' but should be 'Recall from [Bae97]'.","section":"§1, second paragraph"},{"comment":"There is a typo 'unitary adoint'; it should be 'unitary adjoint'.","section":"§4.3, proof of Proposition 4.20"},{"comment":"The notation d_b is introduced as d_b := d_{1_b} = Ψ(id_{1_b}), but later in (D2) the symbol d_X is used for simple objects X of Ω_b in a way that conflates the dimension of a 1-morphism and the dimension of an identity 2-morphism. Please clarify the two roles of d and how they are related under the spherical weight.","section":"§5.1, Definition 5.1 and Eq. (14)"}],"recommendation":"major_revision","confidential_remarks":"The main gap is Lemma 5.2 Step 1: the ONB-independence of the self-enrichment weight is a load-bearing, unproved identity. This looks fixable—the identity is consistent with standard spherical fusion category facts—but it must be proved or precisely cited, not asserted. Proposition 5.4 also needs a more complete verification of the H*-monad splitting. I see no evidence of a false central claim, and no need to reject on novelty or scope grounds."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the Ferrer-Hungar-Penneys-Wesley paper. The punchline: it delivers what it promises — the expected toolkit for finite-dimensional 3-Hilbert spaces — and the isometric Yoneda lemma and folding trick are genuinely new. The reader's conditional verdict is about right. The weaknesses are real but localized; no fatal flaws.\n\nWhat's new and what works: the paper generalizes scalar multiplication via Mod†(Ω_c), defines ONBs for 3-Hilbert spaces, proves contractibility of the space of ONBs (Theorem C), then uses these to self-enrich 3Hilb. The Unitary Yoneda Lemma (Theorem D) and isometric folding trick (Theorem E) are nontrivial unitary analogues of Decoppet and Douglas-Reutter. The proofs are mostly explicit, with diagrams; the desiderata D1–D6 in §5.2 are the right checks, and D3's dimension computation is a strong point.\n\nSoft spots: the reader's main concern lands. In Lemma 5.2 Step 1, ONB-independence of Ψ^Hom rests on the identity d_b^{-1} D_{Ω_b} = FPdim(Ω_b) d_b, which is cited to [CFH+26] without a derivation. Since Definition 3.6 doesn't normalize spherical weights, this needs a proof. The stress-tester is right that it's plausible and likely follows from sphericality plus the fusion condition, but it is load-bearing: it feeds directly into the isometric Yoneda (D2) and hom-tensor adjunction (Prop 5.7). Similarly, Prop 5.4's H*-monad splitting and Lemma 3.23's contractibility of splittings contain several \"one checks\" and \"one verifies.\" These aren't red flags by themselves, but in the current form the paper asks the reader to trust that the diagrams work out. A referee should ask to see the missing steps.\n\nThe circularity concern is minor. The weight in (14) is deliberately engineered to make the Yoneda embedding isometric; that's a design choice, not a flaw. What matters is that the construction is well-defined, and that's exactly where the unproved identity sits.\n\nWho this is for: people working on unitary fully extended TQFTs, higher topological phases, and higher categories. It will be a standard reference if the gaps are patched.\n\nRecommendation: send to a serious referee. The claims are important and likely true; they need to be checked, not rejected. I'd accept peer review and ask the authors to fill in Lemma 5.2 and the diagram proofs.","headline":"Solid toolkit for 3-Hilbert spaces; the isometric Yoneda and folding theorems are real, but a couple of load-bearing diagram arguments and an unproved dimension identity need to be filled in before the paper is final.","tokens_in":32141,"tokens_out":2258,"would_cite":true,"duration_ms":27040,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N10","18N25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every unitary presheaf on a finite-dimensional 3-Hilbert space is isometrically representable, so the Yoneda embedding is an isometric equivalence.","keywords":["3-Hilbert spaces","unitary Yoneda lemma","orthonormal bases","generalized scalar multiplication","unitary 2-adjunction","self-enrichment","folding trick","H*-multifusion categories"],"falsifier":"Compute the self-enrichment weight $\\Psi^{\\mathrm{Hom}}$ from equation (14) for a small explicit 3-Hilbert space, such as $\\mathrm{Mod}^\\dagger(\\mathcal{C})$ for the fusion category of a nontrivial finite group, using two different orthonormal bases. If the two computations disagree, the identity $d_b^{-1}D_{\\Omega_b}=\\operatorname{FPdim}(\\Omega_b)d_b$ fails and the Yoneda embedding is not isometric; if they agree, the load-bearing identity is supported.","tokens_in":31045,"feed_emoji":"🧮","tokens_out":13882,"duration_ms":117931,"temperature":0.7,"pith_summary":"The paper establishes that finite-dimensional 3-Hilbert spaces, the next level up from 2-Hilbert spaces, behave like honest Hilbert spaces in a precise categorical sense. It builds a toolbox—generalized scalar multiplication, orthonormal bases with one simple object per component, and unitary adjoints for operators—and uses it to prove a Unitary Yoneda Lemma / Riesz Representation Theorem: the embedding $x\\mapsto X(-,x)$ is an isometric equivalence between a 3-Hilbert space and the 3-Hilbert space of unitary presheaves on it. It also proves that the space of orthonormal bases is contractible and that the functor category $\\mathrm{Hom}(X\\to Y)$ carries a 3-Hilbert space structure satisfying an isometric folding trick. This matters because these are exactly the structures needed to make higher-dimensional unitary topological field theories and lattice models rigorous.","feed_headline":"The unitary Yoneda lemma holds for 3-Hilbert spaces","feed_subtitle":"In higher Hilbert spaces, every 'linear functional' is represented by an object, uniquely up to isometry.","key_machinery":"The load-bearing machinery is generalized scalar multiplication $M\\boxtimes_{\\Omega_b}b$: for an object $b\\in X$ and a module category $M$ over its endomorphism category $\\Omega_b=\\mathrm{End}_X(b)$, the operation produces an object of $X$ that represents $M$. Choosing one simple object in each connected component of $X$ gives an orthonormal basis, and the resolution $c\\cong\\boxplus_{b\\in\\pi_0 X}X(b\\to c)\\boxtimes_{\\Omega_b}b$ expresses every object as a sum of scalar multiples of basis objects, exactly as in linear algebra. This coordinate form supplies the explicit representing object for a presheaf and makes the self-enrichment weight $\\Psi^{\\mathrm{Hom}}$ in equation (14) independent of the basis; the contractibility of the space of bases then makes all these structures canonical. The central identity used to prove basis-independence is $d_b^{-1}D_{\\Omega_b}=\\operatorname{FPdim}(\\Omega_b)d_b$, cited from earlier work.","core_discovery":"The central claim is Theorem D: for a finite-dimensional 3-Hilbert space $X$, the Yoneda embedding $x\\mapsto X(-,x)$ is an isometric equivalence $X\\cong\\mathrm{Hom}(X^{1\\mathrm{op}},2\\mathrm{Hilb})$. Concretely, every unitary presheaf $F:X^{1\\mathrm{op}}\\to 2\\mathrm{Hilb}$ is isometrically representable by the object $\\boxplus_{b\\in\\pi_0 X}F(b)\\boxtimes_{\\Omega_b}b$, and the representing object is unique up to unique isometric equivalence. Here a unitary presheaf is the categorified analogue of a linear functional: a dagger- and duality-preserving 2-functor into the 3-Hilbert space $2\\mathrm{Hilb}$. The theorem is therefore a Riesz representation theorem for 3-Hilbert spaces: every such functional arises from taking categorical inner products with a fixed object. The same machinery yields the isometric folding trick $\\mathrm{Hom}(X\\to Y)\\cong Y\\,\\times\\!\\lozenge\\,X^{1\\mathrm{op}}$, which is the categorical hom-tensor adjunction.","pith_inferences":["Editorial inference: the Unitary Yoneda Lemma opens the way to a categorified functional analysis in which operators between 3-Hilbert spaces have adjoints, spectral decompositions, and coordinate expansions analogous to ordinary Hilbert-space theory; this is not proved in the paper but is the natural next step.","Editorial inference: the contractibility of the space of orthonormal bases suggests that any invariant of a 3-Hilbert space defined through a chosen basis is actually canonical, which would make constructions in higher-dimensional lattice models independent of basis-like choices.","Editorial inference: combining the isometric folding trick with Morita equivalence for fusion categories should yield a classification of dualizable objects in $3\\mathrm{Hilb}$ analogous to the one-category-down classification of planar algebras; this is a testable extension of the paper's Deligne product formalism."],"forward_implications":["Every unitary presheaf on a finite-dimensional 3-Hilbert space is isometrically representable, so the presheaf 3-Hilbert space and the original space coincide up to a canonical isometry.","Unitary adjoints exist and are unique for every 1-morphism between 3-Hilbert spaces, with the explicit coordinate formula $F^*(d)=\\boxplus_{b\\in\\pi_0 X}Y(F(b)\\to d)\\boxtimes_{\\Omega_b}b$.","Because the 3-groupoid of orthonormal bases is contractible, any construction using a choice of one simple object per component of a 3-Hilbert space is independent of that choice up to unique isometry.","The isometric folding trick $\\mathrm{Hom}(X\\to Y)\\cong Y\\,\\times\\!\\lozenge\\,X^{1\\mathrm{op}}$ gives a hom-tensor adjunction for the unitary Deligne product, so the 3-category of 3-Hilbert spaces is closed monoidal."],"supporting_citations":[{"why":"Introduces 2-Hilbert spaces, the structures whose categorification this paper develops.","marker":"[Bae97]"},{"why":"Defines 3-Hilbert spaces and supplies the completion, unitary adjoint functor, and spherical weight results on which all new constructions rest.","marker":"[CFH+26]"},{"why":"Provides the generalized scalar multiplication construction for W*-categories that Definition 4.1 lifts to 3-Hilbert spaces.","marker":"[HNP24]"},{"why":"Proves the unitary Yoneda lemma for 2-Hilbert spaces, the lower-level result that Theorem D categorifies.","marker":"[HPT24]"},{"why":"Supplies the overlay graphical calculus and the C*/W* 2-category structure on functor categories used to define the self-enrichment.","marker":"[CP22]"},{"why":"Gives the module category traces used to equip $\\mathrm{Mod}^\\dagger(\\mathcal{C})$ with its spherical weight in Example 3.27.","marker":"[Sch13]"}],"fun_headline_variants":["Every presheaf on a 3-Hilbert space is representable","Higher Hilbert spaces satisfy Yoneda isometrically","Categorified Riesz theorem for 3-Hilbert spaces","Yoneda embedding is isometric for 3-Hilbert spaces","3-Hilbert spaces obey the unitary Yoneda lemma"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests, without proof, on a numerical identity from earlier work relating the length scale assigned to each endomorphism category to its total size; if that identity fails, the weight used for self-enrichment depends on the basis and the isometric Yoneda equivalence collapses.","fun_headline_variants_meta":{"raw":{"variants":["Every presheaf on a 3-Hilbert space is representable","Higher Hilbert spaces satisfy Yoneda isometrically","Categorified Riesz theorem for 3-Hilbert spaces","Yoneda embedding is isometric for 3-Hilbert spaces","3-Hilbert spaces obey the unitary Yoneda lemma"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000762,"raw_usage":{"total_tokens":3379,"prompt_tokens":940,"completion_tokens":2439,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":556,"completion_tokens_details":{"reasoning_tokens":2349}},"tokens_in":556,"tokens_out":2439,"duration_ms":15507,"temperature":1.0,"reasoning_tokens":2349,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:13:03.478706+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the self-enrichment weight $\\Psi^{\\mathrm{Hom}}$ from equation (14) for a small explicit 3-Hilbert space, such as $\\mathrm{Mod}^\\dagger(\\mathcal{C})$ for the fusion category of a nontrivial finite group, using two different orthonormal bases. If the two computations disagree, the identity $d_b^{-1}D_{\\Omega_b}=\\operatorname{FPdim}(\\Omega_b)d_b$ fails and the Yoneda embedding is not isometric; if they agree, the load-bearing identity is supported.","supporting_citations":[],"review_version":1}