{"id":"853980b8-561e-45f1-85b4-df41e520b00f","arxiv_id":"2507.08063","paper_version":4,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"BTZ black holes in a finite cavity obey an exact nonlinear thermodynamic equation of state that matches a TTbar-deformed field theory, with a universal phase transition temperature set by the cavity radius.","lead":"This paper treats a BTZ black hole inside a finite spherical box as a real thermodynamic system, using the box wall as the measuring screen. It derives exact equations for the wall's energy, pressure, and phase changes, connecting them to a known quantum field theory deformation called TTbar.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central trace identity (2.11) is scheme-dependent: only the counterterm coefficient α=1 gives the claimed TTbar relation, and the paper does not prove that α is forced by the dictionary.","rationale":"The reader's weakest assumption identifies exactly this issue: the counterterm normalization is fixed to −1/(8πGℓ) without a proof of uniqueness, and the trace identity, free energies, and critical temperature all depend on it. I verified the algebra behind the reader's point: with a general α, the flat-wall trace relation becomes p − ε = (1 − α²)/(8πGαℓ) + (8πGℓ/α)(εp − j²), so the clean TTbar form with μ=8πGℓ is special to α=1. This is more load-bearing than the Section 10 one-loop determinant concern, because it attacks the exactness of the central equation (2.11) itself rather than a O(G^0) correction. I do not regard this as fatal: the standard asymptotic AdS3 counterterm is indeed α=1, and that value is natural for matching the UV CFT. But the paper asserts uniqueness rather than demonstrating it, and the central claim is strong enough that the scheme must be pinned down. Therefore the reader's CONDITIONAL verdict remains appropriate; no verdict change is needed.","tokens_in":38864,"tokens_out":27479,"duration_ms":345442,"concrete_test":"Re-derive Eq. (2.11) with a general finite counterterm coefficient α and impose the three conditions the paper needs: (i) finite on-shell action as R→∞ for BTZ and thermal AdS3, (ii) a TTbar trace relation with no additive constant on a flat wall, and (iii) a deformation parameter independent of the wall position. Solve for α; if α=1 is the unique solution, the scheme concern is resolved and the central claim stands. If a family of α values survives, compute the shifted free energies and T_c to quantify how much of the claimed TTbar dictionary is convention.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that Eq. (2.11) is the exact finite-radius Hamilton-Jacobi equation and that the renormalized Brown-York tensor is the TTbar-deformed dual stress tensor with μ_grav = 8πGℓ. That derivation is tied to the counterterm coefficient −1/(8πGℓ) in Eq. (2.1). Replacing the counterterm by −α/(8πGℓ) shifts the Brown-York tensor by a term proportional to h_ij, and the same Gauss-constraint reduction gives, on a flat wall, p − ε = (1 − α²)/(8πGαℓ) + (8πGℓ/α)(εp − j²). Thus both the absence of a vacuum term and the numerical value μ_grav = 8πGℓ are consequences of the particular subtraction α=1, not of the bulk constraints alone. The paper states that the choice is 'not a matter of convenience alone' but never proves that the TTbar dictionary, the radial-flow structure, or the asymptotic UV limit uniquely select α=1. Since all wall observables, the trace relation, the free energies, and the critical temperature T_c = 1/(2πR) shift under a change of α, this unproven scheme-fixing is the most load-bearing assumption in the paper. If α≠1 is compatible with the same UV CFT after a finite counterterm renormalization, the claimed exactness of Eq. (2.12) and the identification μ_grav = 8πGℓ fail, even though the classical quasilocal thermodynamics of the cavity would survive.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a finite-cutoff formulation of BTZ black-hole thermodynamics in which a circular cavity at radius R is treated as both a Brown-York quasilocal wall and a holographic RG screen. The authors derive the wall stress tensor, the quasilocal first law, radial flow equations, and an exact nonlinear trace relation that they identify with a T\\bar{T} deformation of the dual CFT, with gravitational deformation parameter μ_grav = 8πGℓ. They also compute Euclidean on-shell actions for static and rotating BTZ and thermal AdS3, construct off-shell free-energy landscapes with positive Hessians, identify a finite-size Hawking-Page transition at T_c = 1/(2πR), and derive a deformed Cardy formula and one-loop corrections to the microcanonical density of states. The central novelty is the claim that the cavity radius simultaneously plays the role of thermodynamic size and RG scale, with the Brown-York tensor serving as the stress tensor of the finite-cutoff dual.","tokens_in":39148,"tokens_out":13864,"duration_ms":149905,"significance":"If the main claims hold, the paper provides a complete and explicit finite-radius holographic dictionary for the BTZ black hole, unifying quasilocal thermodynamics, holographic renormalization, and T\\bar{T} deformations in an exactly solvable setting. The derivations are largely explicit and internally consistent: the first law dE = T_R dS + Ω_R dJ − P dL, the on-shell actions Eqs. (3.18)-(3.22), the Hessian determinant Eq. (6.28), and the spectral map Eq. (9.13) are all checked algebraically and reproduce the correct UV CFT limits. The paper also ships a detailed off-shell stability analysis and a clean geometric interpretation of the finite-size Hawking-Page transition. However, the central trace relation and the identification μ_grav = 8πGℓ are tied to a particular choice of boundary counterterm, and the manuscript does not establish that this choice is forced by the T\\bar{T} dictionary or by any other physical principle. This scheme-dependence is a substantive correctness risk for the paper's strongest claims, even though the quasilocal thermodynamics of the cavity remains valid within the chosen scheme.","major_comments":[{"comment":"The trace identity is presented as a consequence of the bulk Hamiltonian constraint, but it depends on the counterterm coefficient. Replacing the counterterm in Eq. (2.1) by −α/(8πGℓ) gives T^i_i = ℓ R[h]/(16πG α) + (1−α²)/(8πG α ℓ) + (4πGℓ/α)(T_ij T^ij − (T^i_i)^2), which on the flat wall reduces to p−ε = (1−α²)/(8πG α ℓ) + (8πGℓ/α)(εp−j²). Thus the absence of a vacuum term and the numerical value μ_grav = 8πGℓ are properties of the α = 1 subtraction, not of the bulk constraints alone. The paper should either prove that α = 1 is uniquely selected by the stated dictionary or explicitly present Eqs. (2.12), (9.11), and (9.21) as scheme-dependent statements.","section":"Section 2, Eq. (2.11); Section 9, Eqs. (9.10)-(9.21)"},{"comment":"The manuscript repeatedly states that the counterterm choice is 'not a matter of convenience alone,' but no argument is given for uniqueness. The requirement that massless BTZ has zero quasilocal energy is a normalization condition and does not by itself select α = 1, since the same condition can be imposed by shifting the reference subtraction. Because the later claims—the exact Hamilton-Jacobi equation, the T\\bar{T} dictionary, the deformed spectrum Eq. (9.13), and the Hawking-Page temperature Eq. (7.14)—all inherit this scheme, the paper needs either a proof of uniqueness from stated physical axioms or a qualified reformulation of these results.","section":"Sections 2, 4, 5, and 7 (repeated assertion near Eqs. (2.1), (4.1), (5.1), (7.1))"},{"comment":"The finite-size Hawking-Page transition temperature T_c = 1/(2πR) is derived from the free-energy difference ΔF = F_BH − F_AdS, with both free energies evaluated in the α = 1 scheme. Under a change of counterterm coefficient α, each free energy acquires a term proportional to the wall area, and the crossing condition changes unless the wall areas of the two saddles coincide at the crossing, which is not generally the case. Therefore the claimed universality of T_c = 1/(2πR) and its interpretation as a modular crossover of the wall torus are also scheme-dependent and need to be revisited or qualified.","section":"Section 7, Eqs. (7.10)-(7.14)"}],"minor_comments":[{"comment":"The one-loop determinant ∏_{n=2} |1−q_R^n|^{-2} is quoted rather than derived from the ghost and tensor operators in Eq. (10.3). If the quantum correction is presented as a result of this paper, a derivation or a precise citation to the Dirichlet boundary spectrum should be supplied.","section":"Section 10, Eq. (10.4)"},{"comment":"The arbitrary reference length ℓ_ref and the state-independent constant κ_stat are redundant in the expression log(R/ℓ_ref) + κ_stat; a redefinition of ℓ_ref is absorbed into κ_stat. The text should clarify what physical information, if any, is carried by this split.","section":"Section 10, Eq. (10.12); Section 11, Eq. (11.9)"},{"comment":"There is a typographical inconsistency: 'I_BH(R, betaR)' should read 'I_BH(R, β_R)', and 'Zbulk' in Eq. (11.6) should be 'Z_{bulk}^{1-loop}' or similar.","section":"Section 11, Eq. (11.1)"},{"comment":"The counterterm and the Brown-York tensor definitions are repeated nearly verbatim in Sections 2, 4, 5, 7, 8, 9, and 10; consolidating these definitions would improve readability without changing the content.","section":"Sections 8-10"},{"comment":"The discussion of the T\\bar{T} dictionary should engage explicitly with the scheme-dependence debate in the cited literature, in particular Refs. [49, 50], since the uniqueness of the cutoff definition is precisely the point at issue in the major comments.","section":"Section 9 and References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is technically solid within the α = 1 scheme, and most of the algebra checks out. The main risk is overclaiming scheme independence for the trace relation, the T\\bar{T} coupling, and the phase transition. I recommend asking the authors to either prove that the counterterm coefficient is fixed by the dictionary or reframe the central claims as scheme-dependent. This is fixable within the scope of the manuscript, so I do not recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a serious, mostly self-contained derivation of BTZ thermodynamics on a finite wall, and the classical part holds up. I checked the first law (including the P dL term), the on-shell actions, and the Hessian positivity; the algebra is correct and the rotating grand-canonical treatment is a genuine extension of the prior static cavity work. The radial flow equations and the finite-size Hawking-Page temperature Tc = 1/(2πR) are cleanly derived. The paper deserves credit for being explicit and for not hiding the scheme-dependence of the counterterm, even if it does not fully resolve it.\n\nThe main soft spot is exactly what the stress-test note says: the trace identity (2.11) and the value μ_grav = 8πGℓ are tied to choosing the counterterm coefficient α = 1 in the subtraction −α/(8πGℓ) ∫√−h. The paper states this choice is 'not a matter of convenience alone' (Section 2, Eq. (2.1)) but never proves that the TTbar dictionary or the UV limit uniquely forces α = 1. Under a different α, the flat-wall trace relation acquires a linear term and the identification of the Brown-York tensor with the TTbar stress tensor fails, even though the quasilocal thermodynamics would survive as a valid renormalization scheme. This is a real gap, but it is a gap in the holographic interpretation, not in the thermodynamic formalism. The one-loop determinant (10.4) is also quoted rather than derived for the Dirichlet wall, which is a minor but honest limitation.\n\nWho gets value from this: anyone working on quasilocal black-hole thermodynamics, cavity ensembles, or finite-cutoff AdS3/CFT2 will find the classical sections useful and mostly reliable. The rotating cavity analysis and the off-shell stability landscape are the genuinely new pieces. The interpretation as an exact TTbar dual should be treated as a conjecture until the scheme-fixing is proved, not as a theorem.\n\nRecommendation: send it to a serious referee. The classical thermodynamics is correct and worth publishing; the referee should push the authors to either prove the uniqueness of α = 1 or explicitly state that the dictionary holds only in a particular scheme. That is a revision, not a rejection.","headline":"Careful, mostly self-contained derivation of finite-cutoff BTZ thermodynamics with a TTbar dictionary; the classical thermodynamics is solid, but the claimed exactness of the trace identity depends on an unproven counterterm choice.","tokens_in":39719,"tokens_out":594,"would_cite":true,"duration_ms":9200,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A finite cavity turns BTZ black-hole thermodynamics into an exact TTbar-deformed system, with the cavity radius serving simultaneously as the physical size of the thermodynamic system and the RG scale of the dual theory.","keywords":["BTZ black hole","cavity thermodynamics","quasilocal stress tensor","Brown-York tensor","TTbar deformation","finite-cutoff holography","Hawking-Page transition","AdS3/CFT2"],"falsifier":"A direct check is to recompute the wall stress tensor for the same BTZ geometry using a different allowed counterterm, e.g. adding a finite term proportional to $\\sqrt{-h}$, and verify that the trace relation (2.12) changes by a linear term in $\\epsilon$ and $p$ while the Brown-York energy shifts by a constant; if the quadratic trace relation and the critical temperature $T_c=1/(2\\pi R)$ remain exactly unchanged, the scheme-independence claim would be supported.","tokens_in":38608,"feed_emoji":"🕳️","tokens_out":3126,"duration_ms":34543,"temperature":0.7,"pith_summary":"The paper develops a finite-cutoff formulation of BTZ black-hole thermodynamics in which a circular cavity at radius $R$ is a genuine holographic screen. It shows that the renormalized Brown-York stress tensor on the wall is simultaneously the quasilocal stress tensor of the cavity and the stress tensor of a cutoff dual theory. The central result is an exact finite-radius Hamilton-Jacobi equation that, on the flat wall cylinder, reduces to the nonlinear equation of state $p-\\epsilon = 8\\pi G\\ell(\\epsilon p - j^2)$, the characteristic trace relation of a $T\\bar{T}$-deformed two-dimensional theory. If correct, the cavity radius is at once the physical size of the quasilocal thermodynamic system and the renormalization-group scale of the finite-radius dual, unifying quasilocal thermodynamics, holographic RG flow, and solvable finite-cutoff AdS/CFT.","feed_headline":"BTZ black hole in a cavity yields exact TTbar equation of state","feed_subtitle":"Cavity radius becomes both system size and RG scale; Hawking-Page temperature is 1/(2πR).","key_machinery":"The central object is the renormalized Brown-York tensor $T_{ij} = \\frac{1}{8\\pi G}(K h_{ij} - K_{ij} - \\ell^{-1} h_{ij})$ on the cutoff surface $r=R$, together with the exact Hamilton-Jacobi identity (2.11) that follows from the Gauss relation and the gravitational constraint. On the flat wall cylinder $R[h]=0$, the identity collapses to the quadratic trace relation $p-\\epsilon = 8\\pi G\\ell(\\epsilon p - j^2)$, which the paper interprets as the trace flow equation of a $T\\bar{T}$-deformed theory. This object carries the argument: it converts radial bulk evolution into an exact local equation of state on the wall, making the cavity radius into both a thermodynamic control parameter and an RG scale.","core_discovery":"The paper claims that the renormalized Brown-York tensor (2.2) on a circular cavity wall enclosing a static or rotating BTZ black hole obeys the exact identity $T^i_{\\ i} = \\frac{\\ell}{16\\pi G} R[h] + 4\\pi G\\ell\\, (T_{ij}T^{ij} - (T^i_{\\ i})^2)$, which on the flat wall cylinder becomes $p-\\epsilon = 8\\pi G\\ell(\\epsilon p - j^2)$. This is the exact finite-radius Hamilton-Jacobi equation, derived directly from the gravitational Hamiltonian constraint, and it holds for both static and rotating BTZ solutions. The paper further claims that this wall stress tensor is simultaneously the quasilocal stress tensor of the cavity and the stress tensor of a $T\\bar{T}$-deformed cutoff dual theory, with deformation parameter $\\mu_{\\mathrm{grav}} = 8\\pi G\\ell$ fixed entirely by bulk couplings. On this basis it derives exact quasilocal thermodynamics, including the first law $dE = T_R\\,dS + \\Omega_R\\,dJ - P\\,dL$, radial flow equations, a finite-size Hawking-Page transition at $T_c = 1/(2\\pi R)$, a square-root energy spectrum, and a deformed Cardy density of states.","pith_inferences":["One can test the scheme-dependence of the central relation directly: a different local counterterm coefficient would add a linear term to the trace identity and shift quasilocal energies, so the claim that $\\mu_{\\mathrm{grav}} = 8\\pi G\\ell$ is the natural deformation parameter depends on the choice that sets the massless BTZ energy to zero.","The rotating grand-canonical analysis suggests that a global rotating phase diagram at fixed $(R, T_R, \\Omega_R)$ would exhibit additional first-order transitions and possibly reentrant behavior, which the paper leaves implicit but its off-shell formalism is set up to compute.","The one-loop determinant analysis indicates that the finite-cutoff partition function may satisfy an exact modular property on the twisted torus, a structure that could be made explicit and connected to deformed torus amplitudes in solvable two-dimensional theories.","The framework extends naturally to charged or hairy black holes in a cavity, where additional chemical potentials would modify the quadratic flow equation and could produce novel phase structures; this is a direct corollary of the variational machinery developed here."],"forward_implications":["The static BTZ branch is locally stable everywhere inside the cavity: the heat capacity at fixed wall circumference is positive for all $0