{"id":"edd665e5-b49a-4de3-bb99-7e84dd7145eb","arxiv_id":"2608.10348","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":6,"one_line_summary":"Relative complexity in AdS/BCFT is claimed to equal boundary entropy log g divided by pi hbar, but the equality is built into the renormalization counterterm.","lead":"This paper connects the gluing rules of topological quantum field theories to the holographic description of boundary conformal field theories, claiming that a renormalized complexity difference measures the universal boundary entropy. The idea could make black hole complexity a probe of boundary degrees of freedom, but the key result relies on a subtraction scheme chosen to produce it.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central equality is manufactured by the finite counterterm in Eq. (3.77), which is defined to cancel the joint difference; no independent principle fixes it, so Eq. (3.79) is an artifact of the subtraction.","rationale":"The reader's weakest assumption—that Eq. (3.77) is chosen to cancel the joint term—is exactly where the central claim breaks. The paper's own text states the necessary condition as ΔI_ct^(Q)=-ΔI_joint^(Q) in §3.2, and then Eq. (3.77) implements this condition by definition, leaving no predictive content. Standard treatments of WDW actions (Lehner et al. [17]) fix counterterms by reparametrization invariance and locality; the paper does not check whether those principles select Eq. (3.77). Additionally, the identification of the remaining finite term with the Affleck–Ludwig entropy is not consistent across sections: the S_bdry of Eq. (3.53) differs from the log g of Eq. (3.19) for generic tension. These are not disagreements with an outside consensus; they are internal failures of the derivation. I therefore agree with the reader's REJECT verdict and see no reason to adjust it.","tokens_in":20331,"tokens_out":6829,"duration_ms":61934,"concrete_test":"Derive the finite counterterm that restores reparametrization invariance of the WDW action (3.34) with the brane included, following Lehner et al. [17], and compare it to Eq. (3.77). If the required counterterm is not of that form, recompute ΔC(T) with it; a residual metric-dependent term ΔI_joint^(Q)+ΔI_ct^(Q)≠0 would show that Eq. (3.79) is an artifact of the chosen subtraction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is Eqs. (3.75)-(3.79). The counterterm I_ct^(Q),fin(θ0) in Eq. (3.77) is chosen to contain exactly the combination (1+tanθ0)(log(t sinθ0/L)+c_j), so that its difference (3.78) is precisely -ΔI_joint^(Q) regardless of θ0, t, or the arbitrary constants c_j and I_scheme. This cancellation is therefore not the consequence of a local, reparametrization-invariant boundary action; it is imposed by hand. The paper offers no independent principle (locality, covariance, power counting, or the Lehner et al. null-boundary counterterm) that would force this form. A separate internal inconsistency compounds the problem: the surviving boundary contribution is identified with log g, but Eq. (3.53) gives S_bdry = L/(2G) tanθ0 while Eq. (3.19) gives log g = L/(4G) arctanh(T) (with c=3L/(2G)); these are not equal for general tension, so even after the cancellation the advertised equality ΔC = log g/(πℏ) is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript develops a dictionary between TQFT sewing/composition principles and AdS/BCFT, interpreting the end-of-the-world brane as an interface carrying boundary-state data. It computes the Affleck–Ludwig boundary entropy log g from the Euclidean action in Poincaré AdS3 with a constant-tension brane, and then applies the Complexity=Action proposal to the Wheeler–DeWitt patch. The central technical claim is that, after a 'relative renormalization' prescription, the complexity difference between two brane tensions equals exactly the universal boundary entropy divided by πℏ, ΔC(T)=S_bdry/(πℏ)=log g/(πℏ). This is extended to a planar BTZ black hole with an EOW brane, where the late-time complexity growth is claimed to be dC_A/dt=(1/πℏ)(2M+S_bdry).","tokens_in":20651,"tokens_out":4514,"duration_ms":38830,"significance":"If the central equality were established, it would be a novel and significant result: holographic complexity would directly probe the Affleck–Ludwig entropy and would sharpen the holographic meaning of EOW branes as boundary states. The paper also provides a useful organizational framing of AdS/BCFT in TQFT language, and it correctly identifies that WDW action decompositions require boundary, joint, and counterterm terms beyond the bulk contribution. However, the advertised result is not derived: the key equality is imposed by hand through a finite counterterm chosen to cancel the joint terms, and there are internal inconsistencies in the brane-tension conventions and in the identification of S_bdry with log g. Because the central claim is load-bearing and the derivation is not self-consistent, the manuscript does not currently support its conclusions.","major_comments":[{"comment":"The brane tension is defined inconsistently. Eq. (3.32) together with Eq. (3.33) gives T_brane = sinθ0/(8πGL), but Eq. (3.47) evaluates KQ − T_brane = sinθ0/L, which requires T_brane = sinθ0/L, missing the factor 8πG. This error propagates directly into I_Q in Eq. (3.50) and hence into S_bdry in Eq. (3.53), so the numerical content of the boundary-entropy extraction is not derived.","section":"§3.2, Eqs. (3.32)–(3.47)"},{"comment":"The claimed bulk difference does not follow from the preceding integral. Direct evaluation of Eq. (3.42) gives ΔI_bulk = L τ tanθ0/(4πG)(1/ε − 1/z_IR), including a 1/ε divergence and a factor tanθ0, whereas Eq. (3.43) states ΔI_bulk = τ Δx_R L/(8π z_IR G), which has neither the divergence nor the correct θ0 dependence. This discrepancy affects the subsequent renormalized-difference computations.","section":"§3.2, Eq. (3.43)"},{"comment":"The central equality ΔC(T)=log g/(πℏ) is manufactured by the renormalization prescription. Eq. (3.77) defines the finite boundary/joint counterterm I_ct^(Q),fin(θ0) to be exactly the negative of the joint term inside the brackets of Eq. (3.75); Eq. (3.78) then gives ΔI_ct = −ΔI_joint by construction. No independent principle—locality, covariance, power counting, or the Lehner et al. null-boundary counterterm—fixes this finite counterterm. Any other natural counterterm would leave metric-dependent pieces in ΔC, so the claimed universality is an artifact of the subtraction rather than a consequence of the CA prescription.","section":"§3.2, Eqs. (3.75)–(3.79)"},{"comment":"The paper identifies S_bdry in Eq. (3.53) with log g_B from Eq. (3.18), but the two expressions are not equal as functions of the tension. Eq. (3.18) gives log g = R/(4G_N) arctanh(RT), while Eq. (3.53) gives S_bdry = L/(2G) tanθ0 with T = sinθ0/(8πGL) (or sinθ0/L if Eq. (3.47) is used). Using the Brown–Henneaux relation c=3R/(2G_N), the prefactors differ by a factor of two and the functional forms differ (arctanh vs. tan), so even after the counterterm cancellation the advertised equality ΔC = log g/(πℏ) is unsupported.","section":"§3.1 vs. §3.2"},{"comment":"The decomposition into boundary and metric complexity is not well defined. Eq. (3.71) states ΔC_total = ΔC_bdry + ΔC_metric, while the sentence after Eq. (3.73) reads 'we define the boundary complexity as ΔC_bdry ≡ ΔC_bdry − ΔC_metric', which is circular. Moreover, Eq. (3.72) replaces the previously derived joint difference Eq. (3.68) with a new expression containing log g and a factor 1/(4πt) without derivation; the two expressions are not equivalent. These issues make the central computation internally inconsistent.","section":"§3.2, Eqs. (3.70)–(3.73)"}],"minor_comments":[{"comment":"The fourth bullet in the Introduction breaks off as '•a further extend this analysis to the thermal BTZ setting', which is grammatically incomplete and suggests an editing error.","section":"Introduction, bullet list"},{"comment":"Eq. (2.2) contains duplicated inner products, '⟨ψΣ,α|ψΣ,β|ψΣ,α|ψΣ,β⟩', which appears to be a typesetting artifact and should be corrected to ⟨ψΣ,α|ψΣ,β⟩=δαβ.","section":"§2, Eq. (2.2)"},{"comment":"The symbol T is used both for the brane tension (e.g., Eq. (3.32)) and for sinθ0 (Eq. (3.33) defines T≡sinθ0), causing ambiguity in later equations such as Eq. (3.74) and Section 4.","section":"§3.2, notation"},{"comment":"The approximate expression z*(t)=t/(tanθ0+1) is not derived and appears dimensionally inconsistent since t has length units while tanθ0 is dimensionless; the subsequent joint-angle formula in Eq. (3.60) should be justified more carefully.","section":"§3.2, Eqs. (3.59)–(3.60)"},{"comment":"In the BTZ section, the brane contribution to the complexity growth is stated as dI_Q/dt = L/(2G) sinh^{-1}[cotθ0] without a derivation connecting it to the profile X'(r) given earlier; the θ0 dependence also does not match the vacuum expression S_bdry ∝ tanθ0, so the relation to boundary entropy is unclear.","section":"§4.1, brane contribution"},{"comment":"The paper contains numerous typographical and rendering errors (e.g., 'Z=e −IE', 'gB =⟨0|BB⟩', misaligned subscripts, repeated words), which impede readability and should be corrected in a revision.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The manuscript's central quantitative claim is not supported by its own computation: the crucial counterterm is chosen to cancel the joint terms by construction, and the tension conventions conflict (factor 8πG in Eq. (3.33) vs. Eq. (3.47)). These are not presentation issues but flaws in the derivation of the main result, and they cannot be fixed by local edits without redoing the calculation. The paper may contain a useful organizational framework, but in its current form it is not suitable for publication in a research journal. I would also note that the manuscript has multiple self-citations and a large number of typos, which do not affect my recommendation but are worth the editor's attention."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the advertised result—relative CA complexity in AdS/BCFT equals log g/πħ—is imposed by the renormalization scheme, not derived. The reader's stress-test is right, and the problems are visible in the text without needing the cited literature. I would not send this out in its current form.\n\nWhat is actually useful: the paper is a competent survey of the standard AdS/BCFT machinery. The Euclidean disk action, the RT calculation for intervals ending on the brane, the list of WDW joint terms, and the BTZ late-time growth 2M/πħ are all collected carefully, with the right references. As a summary of known material, it is readable and honest.\n\nThe soft spots are load-bearing. First, the tension is inconsistent: Eq. (3.33) says T_brane = sinθ/(8πGL), but Eq. (3.47) uses T_brane = sinθ/L to get K−T = sinθ/L. You cannot have both. This feeds directly into I_Q and S_bdry. Second, Eq. (3.43) for the bulk difference does not follow from the preceding integral; the actual θ dependence produces a 1/ε UV term, not the claimed 1/z_IR with Δx_R. The way the UV divergence is dropped is not justified.\n\nThird, and most important, the central equality (3.79) is manufactured. The finite counterterm in Eq. (3.77) is explicitly defined to be minus the joint term, so the cancellation (3.78) is an identity by construction. No locality, covariance, or null-counterterm principle fixes that particular form; therefore ΔC = log g/πħ is a scheme choice, not a prediction. Fourth, even if you accept the counterterm, the advertised identification fails: Eq. (3.53) gives S_bdry = L/(2G) tanθ, whereas Eq. (3.19) gives log g = L/(4G) arctanh(T). These are not equal for generic θ, so ΔC = log g/πħ is unsupported on its own equations. The conclusion also contains a dimensionally wrong sentence, dI_WDW/dt = 2M/πħ = πħ T_H S_BH, which mixes 1/time with action.\n\nWho is this for? Someone who wants a compact review of AdS/BCFT complexity ingredients might skim it, but they should not rely on the new claim. The TQFT dictionary is presented as an analogy and never produces a new formula. There may be a salvageable shorter paper here if the author fixes the tension, recomputes the bulk difference, and motivates the counterterm with an independent principle. As is, I would desk reject rather than spend referee time; the central derivation fails on its own terms.","headline":"A competent survey of AdS/BCFT complexity that hides a circular core: the log g result is put in by hand via the counterterm, not derived.","tokens_in":21213,"tokens_out":9198,"would_cite":false,"duration_ms":86244,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Under a relative renormalization, holographic complexity difference equals the boundary entropy $\\log g$ divided by $\\pi\\hbar$.","keywords":["holographic complexity","AdS/BCFT","end-of-the-world brane","boundary entropy","Affleck-Ludwig entropy","Wheeler-DeWitt action","topological quantum field theory","BTZ black hole"],"falsifier":"Compute $\\Delta C(T)$ with a different local, covariant finite counterterm for the brane-joint intersection — for example one that omits the $c_j$ constant — and check whether the $\\log(t/L)$ and $\\log\\sin\\theta_0$ terms still cancel; any residual metric dependence would show that Eq. (3.79) is an artifact of the subtraction. A second check is to evaluate the BTZ late-time growth with explicit affine parametrizations of the $J_{Q,\\pm}$ joints and verify whether $\\frac{1}{\\pi\\hbar}(2M+S_{\\rm bdry})$ survives without the same counterterm choice.","tokens_in":20063,"feed_emoji":"🕳️","tokens_out":9061,"duration_ms":71469,"temperature":0.7,"pith_summary":"Within the AdS/BCFT correspondence, this paper tries to show that the Complexity=Action prescription, after a relative renormalization, turns the difference in holographic complexity between two boundary conditions into a direct measurement of the universal boundary entropy, $S_{\\rm bdry}=\\log g$. The same quantity emerges as the finite term in the Ryu-Takayanagi entropy of an interval ending on the end-of-the-world brane and in the Euclidean on-shell action, so the paper claims a single interface datum appears in three holographic observables. To organize the calculation, the paper reads the gluing rules of topological quantum field theory — state preparation, contraction, cobordism composition — as a dictionary for the metric-dependent action contributions in AdS/BCFT, with the end-of-the-world brane playing the role of an interface state. If the claim is right, holographic complexity becomes a probe of the Affleck-Ludwig entropy, and the late-time complexity growth of a BTZ black hole carries an explicit boundary-condition term alongside the thermal contribution.","feed_headline":"Holographic complexity equals boundary entropy over πℏ","feed_subtitle":"After a relative subtraction, the complexity difference reduces to the boundary entropy divided by πℏ.","key_machinery":"The load-bearing structure is the Wheeler-DeWitt (WDW) patch action of the Complexity=Action proposal, split into bulk, boundary, joint, null-counterterm, and end-of-the-world brane pieces. The joint term uses the angle formula $a=\\log|k\\cdot\\bar{k}/2|$ at the intersection of WDW null sheets with the brane, and the finite boundary/joint counterterm of Eq. (3.77) is chosen, with scheme constants $I_{\\rm scheme}$ and $c_j$, so that its tension-dependent part is exactly minus the joint difference of Eq. (3.78). That engineered cancellation removes all metric-dependent pieces and leaves the brane-tension sector, which the Euclidean calculation identifies with $\\log g$. The TQFT axioms (factorization, gluing as contraction over interface indices, boundary state as an overlap with the vacuum) provide the organizing language: the end-of-the-world brane is the bulk image of a boundary state $|B\\rangle$, and the complexity difference measures the vacuum overlap $g=\\langle 0|B\\rangle$.","core_discovery":"The paper's central discovery is the equality (3.79): after defining the finite boundary/joint counterterm (3.77) and subtracting a reference configuration, the total complexity difference equals $S_{\\rm bdry}/(\\pi\\hbar)=\\log g/(\\pi\\hbar)$. Equivalently, in the planar BTZ extension, the late-time growth rate becomes $\\frac{dC_A}{dt}=\\frac{1}{\\pi\\hbar}(2M+S_{\\rm bdry})$, where $2M=T_H S_{BH}$ is the standard thermal complexity growth and $S_{\\rm bdry}$ is the interface contribution controlled by the brane tension. The same $S_{\\rm bdry}$ appears in the Euclidean action and in the Ryu-Takayanagi entropy of an interval ending at the boundary, so the paper identifies a single universal boundary datum $\\log g$ living in three different observables. The TQFT reading is that the end-of-the-world brane is the bulk realization of a boundary state $|B\\rangle$, and its overlap with the vacuum, $g=\\langle 0|B\\rangle$, is what complexity measures after the chosen renormalization.","pith_inferences":["A natural testable extension: apply the same relative subtraction to rotating or higher-dimensional black holes with branes, where $\\log g$ can depend on temperature; the scheme dependence of the counterterm would be visible there as a temperature-dependent residue.","The paper leaves implicit that the equality (3.79) is scheme-relative; any claim that complexity measures boundary entropy should be accompanied by the renormalization convention, and different conventions may yield different 'universal' terms.","If the dictionary is sound, it suggests a reverse use: measurements of complexity growth in tensor-network models of holography could constrain the effective brane tension of the boundary condition.","A covariant counterterm built from the induced geometry of the brane alone would be the natural competitor to Eq. (3.77); checking whether $\\log g$ is the only scheme-independent residue would sharpen the proposal."],"forward_implications":["Relative holographic complexity in AdS$_3$/BCFT$_2$ becomes a direct observable for the Affleck-Ludwig boundary entropy $\\log g$.","The late-time complexity growth of a planar BTZ black hole with an end-of-the-world brane reads $\\frac{1}{\\pi\\hbar}(2M+S_{\\rm bdry})$, so complexity is sensitive to how the boundary theory is terminated.","The end-of-the-world brane is interpreted as the bulk realization of a boundary state $|B\\rangle$, making TQFT gluing a structural dictionary for AdS/BCFT sewing.","The same universal boundary entropy appears in the Euclidean action, the Ryu-Takayanagi entropy of intervals ending on the brane, and the renormalized CA complexity, unifying three holographic computations."],"supporting_citations":[{"why":"Supplies the AdS/BCFT setup with an end-of-the-world brane and the Neumann condition that fixes its position.","marker":"[3]"},{"why":"Extends the setup to brane action and Ryu-Takayanagi entropy for intervals ending on the brane.","marker":"[4]"},{"why":"Provides the TQFT axioms and the cobordism language used as the organizing dictionary.","marker":"[8]"},{"why":"Defines the Complexity=Action proposal that connects complexity to the Wheeler-DeWitt patch action.","marker":"[16]"},{"why":"Supplies the null-boundary counterterms and joint term prescription that make the WDW action well-defined.","marker":"[17]"},{"why":"Identifies the universal boundary entropy $\\log g$ as a CFT quantity that the paper aims to isolate.","marker":"[23]"},{"why":"Establishes the late-time $2M$ complexity growth for black holes used as the thermal benchmark.","marker":"[24]"},{"why":"Grounds the universality of the boundary state overlap $g$ that complexity is claimed to measure.","marker":"[25]"}],"fun_headline_variants":["Complexity difference equals boundary entropy over πℏ","Boundary entropy extracted from complexity via subtraction","Late-time complexity growth includes boundary entropy term","AdS/BCFT complexity unifies thermal and boundary data"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the finite boundary/joint counterterm (3.77), with its arbitrary scheme constants $I_{\\rm scheme}$ and $c_j$, is the correct renormalization subtraction; if another natural counterterm is used, the metric-dependent joint terms do not cancel and the complexity difference no longer equals $\\log g/(\\pi\\hbar)$.","fun_headline_variants_meta":{"raw":{"variants":["Complexity difference equals boundary entropy over πℏ","Boundary entropy extracted from complexity via subtraction","Late-time complexity growth includes boundary entropy term","AdS/BCFT complexity unifies thermal and boundary data"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000236,"raw_usage":{"total_tokens":1483,"prompt_tokens":905,"completion_tokens":578,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":517}},"tokens_in":521,"tokens_out":578,"duration_ms":5330,"temperature":1.0,"reasoning_tokens":517,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:22:42.919620+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\Delta C(T)$ with a different local, covariant finite counterterm for the brane-joint intersection — for example one that omits the $c_j$ constant — and check whether the $\\log(t/L)$ and $\\log\\sin\\theta_0$ terms still cancel; any residual metric dependence would show that Eq. (3.79) is an artifact of the subtraction. A second check is to evaluate the BTZ late-time growth with explicit affine parametrizations of the $J_{Q,\\pm}$ joints and verify whether $\\frac{1}{\\pi\\hbar}(2M+S_{\\rm bdry})$ survives without the same counterterm choice.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the TQFT axioms and the cobordism language used as the organizing dictionary."},{"cited_title":"Universal Boundary Entropies in Conformal Field Theory: A Quantum Monte Carlo Study","cited_arxiv_id":"1708.04022","evidence_quote":"Identifies the universal boundary entropy $\\log g$ as a CFT quantity that the paper aims to isolate."}],"review_version":1}