{"id":"22377fc0-a105-4285-a60d-349d2515a2c4","arxiv_id":"2608.12157","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The entropic order parameter for anyon condensation is log D, the logarithm of the overlap between boundary and condensate sectors, and is bounded by the quantum dimension of the condensate.","lead":"This paper builds a dictionary between two mathematical frameworks for anyon condensation, the process that changes the type of topological order in a quantum material. It gives a short proof of a known bound on an information-theoretic order parameter and computes the parameter for several example topological orders.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Eq. (2.8) rests on an unproved assumption that the lifted state ω∘E is maximally mixed on the D-dimensional local operator space, and on an unspecified extension of ω from M to A; without this, S=log D does not follow.","rationale":"The reader identified the maximally mixed form of the lifted state as the weakest assumption; I agree. My reading sharpens the point: the paper's wording 'E maps any genuinely local operator in A to the identity operator in M' is not the precise condition that would justify ρ_{ω∘E}=D^{-1}I. What is needed is that the chosen local operators form a Pimsner–Popa orthonormal basis for the inclusion M⊂A, so that E(O_i^†O_j)=δ_{ij}1_M. The paper neither states nor proves this, and it also leaves open how the state ω on M is extended to a state on A for the relative entropy computation. These are genuine gaps in the derivation of Eq. (2.8), though not necessarily fatal: the author explicitly frames the paper as heuristic, the example tables are internally consistent, and the bound itself is already known from related work. The concrete test on the S3 example would decide whether the maximally mixed identification is correct in the non-Abelian, multiplicity-bearing case; if it passes, the central claim is well supported; if it fails, the proof of the bound needs revision. This does not change the reader's CONDITIONAL verdict, so I recommend UNCHANGED.","tokens_in":14705,"tokens_out":14367,"duration_ms":139272,"concrete_test":"For the Z(Rep(S3)) condensation with A4=1⊕([e],1−)⊕2([e],2) and Lω=A4 (so D=6), construct the finite-dimensional algebras M_l=End_{C_L}(M^{⊗l}) and A_l from the fusion spin chain for l=2,3, choose the natural basis {O_i} of intertwiners labelled by a∈{1,([e],1−),([e],2)} with its multiplicity 2, compute the conditional expectation E:A_l→M_l from the Q-system, and evaluate the matrix M_{ij}=E(O_i^†O_j). If M is not a multiple of the identity matrix, the equality S=log D in Eq. (2.7) is false and the proof of the bound (2.8) needs a different route. This directly tests the required Pimsner–Popa orthogonality in a case where the bound is claimed to be saturated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the assertion in §2.3 that the lifted state ω∘E is maximally mixed on the D-dimensional space of genuinely local operators, giving S=log D and hence the bound (2.8). This is not a consequence of the bimodule property (1.1) or of the Watatani index. Taken literally, the sentence 'E maps any genuinely local operator in A to the identity operator in M' is not the right condition: E is the identity on M, so for O∈M one has E(O)=O, not 1_M. The property actually needed is the Pimsner–Popa orthogonality E(O_i^†O_j)=δ_{ij}1_M for some basis {O_i} of local operators; such a basis exists for many finite-index inclusions, but the paper neither proves that the natural basis of junction operators labelled by simple lines a satisfies it, nor specifies how ω, a state on M, is extended to a density matrix on A. Without these, ρ_{ω∘E} could be non-uniform, and the equality S=log D becomes an additional input rather than a derivation. Footnote 10 flags a second unproved descent assumption needed for DHR(A)≅C_loc^A, but the maximally mixed/extension issue is the one that directly carries the entropic bound.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes a dictionary between the tensor-categorical formulation of anyon condensation and an operator-algebraic formulation built on DHR bimodules over quasi-local C*-algebras. A condensable algebra A in an MTC C is represented by an irreducible inclusion M⊂A with a conditional expectation E, and the post-condensation theory is argued to be DHR(A)≅C_loc^A. For a topological state ω (labelled by a Lagrangian algebra Lω), the entropic order parameter is defined as the relative entropy S(ω||ω∘E), and the paper claims that for pure states this equals log D with D=Σ_a n_ω(a)n_A(a), yielding the bound S(ω||ω∘E)≤log d_A. The final section works out the value log D for several examples: toric code, Z(Rep(Z4)), Z(Rep(S3)), Fib⊠Fib and Ising⊠Ising.","tokens_in":14969,"tokens_out":5986,"duration_ms":54902,"significance":"The paper is a conceptual exposition aimed at making the connection between tensor-categorical and operator-algebraic descriptions of anyon condensation manifest. If the central derivation were sound, the result would be a useful and transparent proof of the entropic bound, and the worked examples would illustrate the formalism concretely. The paper explicitly disclaims rigorous proofs, so its value lies in the diagrammatic dictionary and the simplicity of the bound's derivation. However, the key step in deriving S=log D and hence the bound (2.8) relies on an assertion about the conditional expectation that is false as stated, and on an unspecified extension of ω to the larger algebra. Because this step directly carries the main quantitative claim, the present version does not support the advertised simple proof.","major_comments":[{"comment":"The proof of S(ω||ω∘E)=log D rests on the claim that 'E maps any genuinely local operator in A to the identity operator in M'. This is not correct: E is a conditional expectation onto M, so E(O)=O for O∈M rather than 1_M. The property actually needed for ρ_{ω∘E}=D^{-1}diag(1,...,1) is an orthogonality condition of the form E(O_i^† O_j)=δ_{ij}1_M for the D-dimensional basis of local operators. The paper neither proves this condition for the diagrammatic junction basis nor specifies how the state ω on M is extended to a state on A, which is necessary for the trace formula (2.5) to be defined on a common algebra. Without these ingredients, ρ_{ω∘E} need not be maximally mixed over the D-dimensional space, and the equality S=log D is an extra assumption rather than a derivation. Since Eq. (2.8) is the central quantitative claim, this gap is load-bearing.","section":"Sec. 2.3, Eq. (2.8)"},{"comment":"The identification DHR(A)≅C_loc^A, presented as part of the dictionary and used to justify the post-condensation description, depends on the unproved assumption that a strongly tensor generating object in C_L ⊠_C C_A descends from M in C_L. The footnote states this is 'believed' to be the case. The claim should either be proved or explicitly demoted to a conjecture; as written, the isomorphism D=C_loc^A in the displayed punchline after Eq. (2.1) is not established.","section":"Sec. 2.2, footnote 10"}],"minor_comments":[{"comment":"The relative entropy S(ω||ω∘E) is written as Tr[ρ_ω(log ρ_ω - log ρ_{ω∘E})], but as stated ω and ω∘E are states on different algebras (M and A, respectively). The manuscript should specify the embedding of M into A and the chosen extension of ω when interpreting this trace formula.","section":"Sec. 2.3, Eq. (2.5)"},{"comment":"The entries in the D-tables are presented without computation details. For at least one non-Abelian example, a short explanation of how n_ω(a) and n_A(a) are obtained from the decompositions would help readers verify the arithmetic and understand the saturation condition mentioned at the end of Sec. 3.3.","section":"Sec. 3"},{"comment":"The notation 'eimj' for the simple objects of Z(Rep(Z4)) is difficult to parse; a more standard notation such as (η^j, χ_i) would improve readability. The same applies to the table headers that use abbreviations like 'toric code' without defining the post-condensation MTCs.","section":"Sec. 3.2, Eq. (3.4)"},{"comment":"Reference [47] contains a duplicated 'arXiv:' prefix ('arXiv:arXiv:2509.16311'); this should be corrected.","section":"References"},{"comment":"In the derivation of the bound, the manuscript attributes n_ω(a)≤ d_a to (A.9c), but (A.9c) actually states the sharper bound n_a≤⌊d_a⌋-1 for non-integral d_a. The weaker inequality used in (2.8) is nevertheless true, so the conclusion is unaffected, but the attribution should be made precise.","section":"Sec. 2.3, Eq. (2.8)"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the journal's scope and has genuine expository value, but the main technical step—the derivation of S=log D—is unsupported. The author should either prove the Pimsner–Popa orthogonality for the junction basis, or replace the unconditional claim by a conditional statement under an explicit hypothesis. The descent assumption in footnote 10 also needs to be addressed. If these can be fixed, the manuscript could be acceptable; otherwise the central bound is not established."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Take this as a physicist's dictionary, not a proof paper—the author says so on page 3. The genuinely new pieces are the DHR-bimodule diagrammatics, the explicit dimension formula D = Σ_a n_ω(a) n_A(a), and the worked examples. Those tables are arithmetically correct, the Fib⊓1Fib and Ising⊓1Ising computations check out, and the diagrammatic language makes the connection intuitive. The bound S ≤ log d_A itself is not new: it appeared in [33] with the same author, and the Q-system/condensable-algebra correspondence is standard subfactor lore. What this paper adds is a different route to the bound and a concrete way to compute D, not new mathematics.\n\nThe soft spots are where the author is honest about being heuristic. The load-bearing step in §2.3 is the claim that the lifted state ω∘E has density matrix D^{-1}diag(1,…,1). That requires a Pimsner–Popa orthogonality statement for a basis of junction operators and a specification of how ω is extended to A. What the paper actually says—“E maps any genuinely local operator in A to the identity operator in M”—is literally wrong for O ∈ M, since E is the identity on M. The intended meaning is presumably about the off-M basis elements, and the needed orthogonality may well be true for these finite-index inclusions, but it is asserted, not proven. Without it, S = log D does not follow, and the bound is not derived. Footnote 10 flags a second unproved descent assumption used for DHR(A) ≅ C_loc^A; again, the author asks the reader to take it on faith. These are real gaps, though they are consistent with the paper's stated level of rigor.\n\nFor whom? Physicists working on topological order and quantum information who want an entry point into DHR bimodules and entropic order parameters. The tables and the dictionary make it a useful reference. It is not for mathematicians; there are no rigorous theorems here.\n\nRecommendation: send it to a serious referee. The referee should ask the author to either justify the maximally-mixed claim or label it explicitly as a conjecture, and to state more precisely what this paper adds over [33]. With those revisions, this would be a solid review/perspective contribution. As is, cite it for the dictionary and examples, not for the proof.","headline":"A readable, explicitly heuristic dictionary connecting anyon condensation in MTCs and DHR bimodules, with correct examples and a restatement of a known bound, whose main proof step remains an unproved assumption.","tokens_in":15506,"tokens_out":3924,"would_cite":true,"duration_ms":33351,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"An anyon condensation's entropic order parameter is the logarithm of a dimension count fixed by the condensable algebra, and the count never exceeds that algebra's quantum dimension.","keywords":["anyon condensation","topological order","modular tensor category","DHR bimodules","quasi-local C*-algebra","conditional expectation","relative entropy","entropic order parameter"],"falsifier":"Take a finite fusion spin chain realizing the condensation $A_1=1\\oplus e^2$ in $\\mathrm{Z}(\\mathrm{Rep}(\\mathbb{Z}_4))$, prepare the pure topological state labelled by the Lagrangian algebra $A_4$, construct the conditional expectation of the algebra extension, and compute the relative entropy between the two states numerically; the paper's formula requires $S=\\log 2$ exactly, so any deviation from the tabulated $D$-values would show that the conditional expectation does not act as the maximally mixing map assumed in the proof.","tokens_in":14460,"feed_emoji":"⚛️","tokens_out":11245,"duration_ms":98381,"temperature":0.7,"pith_summary":"The paper tries to establish that anyon condensation—the transition in which bosonic anyons are absorbed into the vacuum and topological orders change—admits one common description in tensor categories and in operator algebras, and that the operator-algebraic side makes the information-theoretic cost of the condensation exact. Its central claim is that for a topological state $\\omega$ on the boundary algebra $M$, the entropic order parameter is the relative entropy $S(\\omega\\parallel\\omega\\circ E)$ between $\\omega$ and its lift by the conditional expectation $E$ of the algebra extension, and that this relative entropy equals $\\log D$ where $D=\\sum_a n_\\omega(a)n_A(a)$ counts the ways bulk anyons can end on both the state's boundary and the condensate. Because the count $n_\\omega(a)$ of junction operators for anyon type $a$ never exceeds the quantum dimension $d_a$, one gets $S(\\omega\\parallel\\omega\\circ E)\\le \\log d_A$, with $d_A$ the quantum dimension of the condensable algebra. A sympathetic reader would care because the proof is a short dimension count rather than a technical index theorem, and it turns the entropic order parameter into computable data of the modular tensor category.","feed_headline":"Anyon condensation's entropy measure is the log of a dimension count","feed_subtitle":"A dimension-count proof ties the order parameter to the condensable algebra's quantum dimension.","key_machinery":"The load-bearing object is the conditional expectation $E\\colon \\mathcal{A}\\to M$ associated with an irreducible local inclusion $M\\subset \\mathcal{A}$; diagrammatically it is the operation of collapsing the topological layer and pushing a junction operator onto the boundary, and its bimodule property $E(O_1\\tilde O O_2)=O_1E(\\tilde O)O_2$ makes the lifted state $\\omega\\circ E$ well defined. The proof then reduces to a dimension count: genuine local operators in $\\mathcal{A}$ are graded by bulk simple lines $a$ that can end on both the boundary $L_\\omega$ and the interface $A$, with multiplicities $n_\\omega(a)$ and $n_A(a)$, so their linear space has dimension $D=\\sum_a n_\\omega(a)n_A(a)$. Since $E$ sends each such operator to a multiple of the identity in $M$, the density matrix of $\\omega\\circ E$ is $D^{-1}$ times the identity, yielding $S(\\omega\\parallel\\omega\\circ E)=\\log D$; the categorical constraint $n_\\omega(a)\\le d_a$ then gives $S\\le \\log d_A$.","core_discovery":"The paper's core discovery, stated on its own terms, is that the tensor-categorical data of a condensation are read off from an inclusion $M\\subset \\mathcal{A}$ of quasi-local $\\mathrm{C}^*$-algebras: a condensable algebra $A$ defines the extended algebra $\\mathcal{A}$, and the post-condensation modular tensor category is $\\mathcal{C}^{\\mathrm{loc}}_A\\simeq \\mathrm{DHR}(\\mathcal{A})$, the category of localisable DHR bimodules over the extended algebra. For a pure topological state $\\omega$ labelled by a Lagrangian algebra $L_\\omega$, the conditional expectation $E\\colon \\mathcal{A}\\to M$ lifts $\\omega$ to $\\omega\\circ E$, and the lifted state is maximally mixed on the space of genuinely local operators in $\\mathcal{A}$. Counting junction operators for bulk lines that can end on both $L_\\omega$ and the condensate gives $D=\\sum_a n_\\omega(a)n_A(a)$, so $S(\\omega\\parallel\\omega\\circ E)=\\log D$; since $n_\\omega(a)\\le d_a$, the bound $S(\\omega\\parallel\\omega\\circ E)\\le \\log d_A$ follows. The examples in the paper compute these $D$ values for toric code, $\\mathrm{Z}(\\mathrm{Rep}(\\mathbb{Z}_4))$, $\\mathrm{Z}(\\mathrm{Rep}(S_3))$, double Fibonacci, and double Ising theories.","pith_inferences":["One could test the equality $S=\\log D$ directly in a tensor-network or exact-diagonalization realization of a fusion spin chain, since the conditional expectation is encoded in the algebra extension; a numerical relative entropy that deviates from the tabulated $D$-values would pinpoint where the maximally-mixed assumption fails.","The construction is restricted to topological orders of trivial Witt class because it starts from a gapped boundary; if the $\\mathrm{DHR}(\\mathcal{A})$ identification extends to chiral orders through non-topological boundaries, the same dimension count would give a bound for chiral anyon condensations.","The saturation condition suggests using the gap between $S$ and $\\log d_A$ as a diagnostic of how far a condensate is from being Lagrangian, with non-integral quantum dimensions making exact saturation impossible on categorical grounds."],"forward_implications":["For any pure topological state, the entropic order parameter takes the exact form $\\log D$ with $D=\\sum_a n_\\omega(a)n_A(a)$, so the full list of its possible values is determined by the modular tensor category and the choice of condensable algebra.","The bound $S(\\omega\\parallel\\omega\\circ E)\\le \\log d_A$ follows from the coefficient inequality $n_\\omega(a)\\le d_a$; saturation requires a state whose Lagrangian algebra contains every simple object of $A$ with multiplicity $d_a$, forcing those quantum dimensions to be integers.","The post-condensation topological order is the DHR bimodule category of the extended algebra, $\\mathcal{C}^{\\mathrm{loc}}_A\\simeq \\mathrm{DHR}(\\mathcal{A})$, so the same algebra extension carries both the categorical and operator-algebraic descriptions.","In fully confining (Lagrangian) condensations the entropic order parameter need not saturate the bound: for the double Fibonacci theory the paper finds $S=\\log 2$ while $\\log d_L=\\log(1+d_\\tau^2)$."],"supporting_citations":[{"why":"Supplies the DHR bimodule formalism over quasi-local C*-algebras that underlies the operator-algebraic description of the topological order.","marker":"[1]"},{"why":"Supplies the tensor-categorical formulation: condensable algebras, the module category C_A, and the post-condensation MTC C_loc^A.","marker":"[10]"},{"why":"Introduced the entropic order parameter as relative entropy in generalized symmetry breaking and identified d_A with the Watatani index.","marker":"[33]"},{"why":"Gives the relation dim(C)/dim(C_loc^A)=d_A^2 used for Lagrangian algebras and fully confining condensations.","marker":"[4]"},{"why":"Defines the fusion spin chain algebras used as the boundary algebra M in the paper.","marker":"[50]"},{"why":"Defines the Watatani index for C*-subalgebras, the quantity to which the condensable algebra's quantum dimension is compared.","marker":"[67]"},{"why":"Provides the coefficient constraint n_a <= d_a in (A.9c) that is the key inequality in the proof of the bound.","marker":"[74]"}],"fun_headline_variants":["Condensation order parameter is log of a dimension count","Entropy of anyon condensation equals log of junction count","Dimension-count proof gives tight condensation entropy bound","Operator algebras reveal anyon condensation entropy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that the conditional expectation sends every genuinely local operator in the extended algebra to a multiple of the identity in $M$, making the lifted state exactly maximally mixed on a $D$-dimensional space; if any local operator survives the expectation nontrivially, the equality $S(\\omega\\parallel\\omega\\circ E)=\\log D$ and the bound as stated do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Condensation order parameter is log of a dimension count","Entropy of anyon condensation equals log of junction count","Dimension-count proof gives tight condensation entropy bound","Operator algebras reveal anyon condensation entropy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000223,"raw_usage":{"total_tokens":1460,"prompt_tokens":948,"completion_tokens":512,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":564,"completion_tokens_details":{"reasoning_tokens":453}},"tokens_in":564,"tokens_out":512,"duration_ms":5353,"temperature":1.0,"reasoning_tokens":453,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:14:57.798503+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a finite fusion spin chain realizing the condensation $A_1=1\\oplus e^2$ in $\\mathrm{Z}(\\mathrm{Rep}(\\mathbb{Z}_4))$, prepare the pure topological state labelled by the Lagrangian algebra $A_4$, construct the conditional expectation of the algebra extension, and compute the relative entropy between the two states numerically; the paper's formula requires $S=\\log 2$ exactly, so any deviation from the tabulated $D$-values would show that the conditional expectation does not act as the maximally mixing map assumed in the proof.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the DHR bimodule formalism over quasi-local C*-algebras that underlies the operator-algebraic description of the topological order."},{"cited_title":"Kong.Anyon condensation and tensor categories","cited_arxiv_id":null,"evidence_quote":"Supplies the tensor-categorical formulation: condensable algebras, the module category C_A, and the post-condensation MTC C_loc^A."},{"cited_title":"Information Loss in Generalized Symmetry Breaking","cited_arxiv_id":"2509.24625","evidence_quote":"Introduced the entropic order parameter as relative entropy in generalized symmetry breaking and identified d_A with the Watatani index."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the relation dim(C)/dim(C_loc^A)=d_A^2 used for Lagrangian algebras and fully confining condensations."},{"cited_title":"Watatani","cited_arxiv_id":null,"evidence_quote":"Defines the Watatani index for C*-subalgebras, the quantity to which the condensable algebra's quantum dimension is compared."},{"cited_title":"Chatterjee and X.-G","cited_arxiv_id":null,"evidence_quote":"Provides the coefficient constraint n_a <= d_a in (A.9c) that is the key inequality in the proof of the bound."}],"review_version":1}