{"id":"92aea351-275d-4e60-9560-68b807a9fc01","arxiv_id":"2412.15697","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"The paper derives first and second laws for composite black holes coupled through the boundary, with heat and work defined from boundary sources and bath energy flow.","lead":"This paper gives a way to split black hole thermodynamics into heat and work, using the idea that a boundary quantum field theory behaves like a thermal system coupled to baths. It then translates that split into a rule for how the total horizon area of the black holes changes with time.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Bulk one-point function equals the CFT expectation value only after the source is off; for 1 < Delta < 2 the bulk second law is therefore not a consequence of relative entropy, and the paper's own Appendix C concedes this.","rationale":"The reader's weakest assumption is exactly the one I would identify: the bulk one-point function Pi(t) must equal the CFT expectation value <O(t)> at all times entering the entropy production, including coincident times where the source is active. The paper's own Section 4.1 shows that with the standard holographic renormalization of [68], the bulk expression violates the second law for 1 < Delta < 2, and Appendix C proves the equality Pi(t) = <O(t)> only after the source is turned off. Because Eq. (B.35) and the entropy production inevitably sample the one-point function while w(t) is nonzero, the bulk inequality (3.34) is not a translation of the boundary relative-entropy inequality in that regime. This is an internal consistency gap, not a disagreement with external consensus, and it is explicitly acknowledged in the manuscript, which is why a CONDITIONAL verdict is appropriate. I do not see a separate, more load-bearing flaw: the boundary derivation in Section 2 is standard and the perturbative matching for 0 < Delta < 1 supports the dictionary where the Green's function is nonsingular. The concrete test I propose would determine whether the violation can be removed by a renormalization scheme with a finite regulator, which is the resolution the authors themselves suggest. If such a scheme works, the central claim survives; if not, the bulk second law is not yet derived for the full parameter range claimed.","tokens_in":34575,"tokens_out":1543,"duration_ms":16727,"concrete_test":"Recompute the bulk entropy production (4.20) for 1 < Delta < 2 using an alternative holographic renormalization that keeps a finite regulator corresponding to the CFT's Euclidean-time smearing of Eq. (B.31), e.g. by imposing the asymptotic boundary condition at finite z = epsilon with the counterterms of [68] and then taking epsilon to zero after computing the energy, rather than using the analytically continued Pi(t) of Eq. (4.11). If the resulting production is non-negative for all t and agrees with the CFT-regulated delta-E(t) of Appendix B, the violation is confirmed to be an artifact of the scheme. If it still becomes negative, the boundary-to-bulk dictionary itself is the source of the failure.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central bulk claim is Eq. (3.34): the coarse-grained second law S(t) >= S(0) on the boundary, which follows rigorously from relative entropy, translates into an area inequality for the composite black hole system. The translation requires that the bulk renormalized one-point function Pi(t) of Eq. (4.5) equals the CFT expectation value <O(t)> that enters the boundary entropy production. Section 4.1 and Appendix C show this equality fails precisely in the regime 1 < Delta < 2: the CFT retarded Green's function is a distribution that is finite only for test functions vanishing at coincident points, so <O(t)> is guaranteed to agree with Pi(t) only after the source w(t) has been switched off. But the entropy production (4.20) is obtained by integrating w(t') times dPi/dt' over all t', including times when w is active. Thus, for 1 < Delta < 2, the bulk quantity whose positivity is claimed is not the boundary entropy production; the apparent violation of the second law in Fig. 3 is not a counterexample to relative entropy but evidence that the chosen holographic renormalization does not implement the boundary dictionary at coincident times. Since the advertised result is a bulk second law 'without energy conditions', this dictionary gap is load-bearing: until a renormalization scheme is found that reproduces the regulated CFT one-point function during the source, the bulk inequality (3.34) is not established in this regime. The manuscript itself flags this limitation (Section 5 and Appendix C), which supports a CONDITIONAL rather than REJECT verdict, but the gap remains unresolved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a thermodynamic framework for composite black hole systems using holography. On the boundary, a target CFT and bath CFTs are coupled by double-trace deformations; the authors define a coarse-grained state at each time by maximizing entropy subject to expectation values of the Hamiltonians and selected operators. They derive a second law S(t) ≥ S(0) from unitary evolution and non-negativity of relative entropy, and a first law E-dot = δW + δQ-tilde with work δW from the protocol w(t). They then translate the construction to the bulk using path-integral manipulations, obtaining a composite system of asymptotically AdS spacetimes with interacting boundary conditions, and identify the coarse-grained entropy with horizon areas of auxiliary Euclidean black holes, yielding the area inequality (3.34) and the work formula (3.38). As a test, they compute perturbative entropy production for a scalar source on a BTZ black hole: the bulk result satisfies the second law for 0<Δ<1 but violates it for 1<Δ<2. They argue the violation is a renormalization-scheme artifact: the standard holographic renormalization [68] corresponds to dimensional regularization, and Appendix C shows the bulk one-point function equals the CFT expectation value only after the source is switched off. The paper concludes that the second law can serve as a UV-completeness criterion and that a new renormalization scheme is needed.","tokens_in":34887,"tokens_out":10877,"duration_ms":101570,"significance":"If the central translation were fully justified, the framework would be a significant conceptual advance: it provides a microscopic (boundary) derivation of the second law for composite black holes with heat and work, without invoking energy conditions, and it gives a concrete falsifiable diagnostic (positivity of entropy production) for gravitational models. The boundary maximum-entropy argument is concise, and the path-integral derivation of the double-trace gluing is explicit. The manuscript is also unusually candid: Appendix C and Section 5 openly state the coincident-time dictionary gap and the ambiguity in Eq. (3.20). However, because that gap is load-bearing for the advertised bulk second law in a range of conformal dimensions, the significance is at present conditional. The relative-entropy step is not circular: it uses an external theorem, and the bulk inequality is then a consequence of the dictionary. No parameters are fitted to make the example pass; the boundary computation is an independent check.","major_comments":[{"comment":"The central translation from the boundary second law to the bulk area inequality (3.34) uses (3.16), i.e. Π(t) = ⟨O⟩_t, at all times appearing in the entropy production. Appendix C proves this equality only after the source w(t) has been switched off: the retarded Green's function is a distribution whose admissible test functions vanish at the coincident point, and the entropy production (4.20) integrates w(t′) times dΠ/dt′ over the whole source-active interval. Consequently, for 1<Δ<2 the quantity shown in Fig. 3 is not the CFT entropy production, and the apparent violation cannot be read as a failure of relative entropy; it is evidence that the holographic renormalization scheme [68] does not implement the boundary dictionary at coincident times. Since this step is load-bearing, the bulk second law (3.34) is not established in that regime, and the two-system inequality (4.32) inherits the same gap. The authors acknowledge this in Section 5, but the abstract and introduction state the result without this restriction.","section":"Sec. 4.1, Appendix C"},{"comment":"The paper defines two heat notions, δQ in the second law and δQ-tilde in the first law, and identifies them only when [H^(s)+H^(b)_*, V] is negligible, referred to as a resonant interaction. No argument is given that the holographic double-trace interaction V = ∫√σ v O^(s)O^(b) satisfies this condition. In the bulk translation, δQ-tilde is then identified with the bath mass change M^(b)(t)-M^(b)(0) after Eq. (3.38). If the resonant condition is not met, the heat appearing in the first law differs from the energy lost by the bath, so the proposed notion of heat is not uniquely defined outside that regime. This should be either promoted to an explicit assumption on the allowed bulk couplings or separated into two named quantities.","section":"Sec. 2.3, Sec. 3.2, Eq. (2.20)"},{"comment":"The paper itself flags an unresolved ambiguity in the dictionary (3.20) for U(1) currents and charged static black holes, concerning whether the source term should appear in ⟨T^(s)⟩. Equation (3.20) underlies the Hamiltonian definitions (3.22), the masses M(t), and the bulk work formula (3.38); therefore the advertised generality of the bulk thermodynamic framework for generic composite black holes is conditional. The scalar examples do not test this ambiguity, so the issue must be resolved or the claims restricted to neutral cases.","section":"Sec. 5, Eq. (3.20)"}],"minor_comments":[{"comment":"The displayed source is constant, λ e^4, on 0<t<1 because -1/(t-1) = 1/(1-t); presumably the intended bump function is exp(-1/t - 1/(1-t) + 4). This typo makes Fig. 3 non-reproducible as written.","section":"Eq. (4.21)"},{"comment":"The caption says the vertical axis is only specified 'up to a positive overall factor'; this is acceptable for a sign check, but the source amplitude λ and the scalar normalization C used in the numerical evaluation are not stated, so the plots cannot be reproduced quantitatively.","section":"Fig. 3 caption"},{"comment":"The branch of the complex powers and the precise iϵ prescription in the retarded Green's function should be specified; for non-integer Δ the expression is otherwise ambiguous.","section":"Eq. (B.30)"},{"comment":"Footnote 10 acknowledges that matter entropy contributions can be needed; the main text should state explicitly that Eq. (3.34) is the classical Einstein-gravity special case rather than the general statement of the proposed framework.","section":"Sec. 3.2, Eq. (3.33)"}],"recommendation":"major_revision","confidential_remarks":"Major revision is appropriate rather than rejection because the boundary-side derivation and the explicit examples are sound and the gap is sharply localized in the holographic renormalization dictionary. The paper's current framing overstates the established result; a revised version that either supplies a second-law-compatible renormalization scheme for 1<Δ<2 or explicitly restricts the central claim to the regime 0<Δ<1 and to neutral cases would be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The boundary part of this paper is solid and genuinely useful. Extending Takeda's coarse-graining to a target CFT plus baths, and deriving a heat/work split via max entropy and relative entropy, is a real step forward. The first law decomposition with δW = ∫√σ ẇΠ and the identification of the area sum (3.34) as the bulk translation are clearly presented. The path-integral derivation of the double-trace dictionary for coupled CFTs is careful and explicit. I also give the authors credit for showing their work: the numerical check in Fig. 3 reports a second-law violation for 1 < Δ < 2 instead of hiding it, and Appendix C concedes exactly where the dictionary fails. That transparency is good science.\n\nThe soft spot is load-bearing for the central claim. The advertised result is a bulk second law without energy conditions. But for 1 < Δ < 2, the bulk one-point function Π(t) equals the CFT expectation value <O>_t only after the source is off. The entropy production (4.20) integrates w(t') dΠ/dt' over times when the source is active, so in this regime the bulk quantity whose positivity is claimed is not the boundary entropy production. The violation in Fig. 3 is not a counterexample to relative entropy; it is evidence that the standard holographic renormalization scheme [68] does not implement the boundary dictionary at coincident times. The authors say a better scheme is needed but do not supply one. There is also the unresolved stress-tensor dictionary caveat (3.20) from the erratum of [32], which the paper mentions but does not fix. These are not fatal to the boundary derivation—that part is likely correct—but they mean the bulk inequality (3.34) is established only for 0 < Δ < 1, not for the full range.\n\nThe two-point-function check on the boundary is universal and reproducible, and the paper's honesty about its own limitations raises my confidence in the parts that are claimed. As a reader, I would take the boundary thermodynamics as a clean organizing framework and treat the bulk area law as a conditional conjecture pending a renormalization scheme that respects relative entropy. This deserves a serious referee: the ideas are important, the presentation is clear, and the failure mode is informative. I would recommend acceptance only after the authors either find such a scheme or explicitly state that the bulk second law in the 1 < Δ < 2 regime is conjectural. My advice: send it to review, but expect a revision.","headline":"A genuinely new heat/work split for composite black holes with a clean boundary second law, but the advertised bulk area law is not yet proven in part of the parameter range because of a renormalization-scheme gap the authors themselves identify.","tokens_in":35502,"tokens_out":1965,"would_cite":true,"duration_ms":19750,"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":"Holography gives black hole thermodynamics a general notion of heat and work, with a horizon-area second law that needs no energy conditions.","keywords":["black hole thermodynamics","heat and work","AdS/CFT correspondence","maximum entropy coarse graining","second law","double-trace deformation","holographic renormalization","relative entropy"],"falsifier":"A concrete check is to compute the entropy production density $-\\int_0^t dt'\\,w(t')\\dot\\Pi(t')$ for the source (4.21) at $\\Delta=1.5$ using the bulk expression (4.11) and, separately, using the CFT retarded Green's function (B.30) with the finite regulator (B.31). The paper predicts the bulk quantity is negative at early times while the regulated CFT quantity stays nonnegative; if both became negative for the same $t$, the violation would not be a renormalization artifact and the claimed second law would fail. Conversely, finding a renormalization scheme where the bulk one-point function equals the CFT expectation value even while the source is on would confirm the paper's central claim in the problematic window.","tokens_in":34281,"feed_emoji":"🕳️","tokens_out":10981,"duration_ms":89861,"temperature":0.7,"pith_summary":"This paper tries to complete black hole thermodynamics by giving it two things it has mostly lacked: a general distinction between heat and work, and a second law for dynamical black holes. The strategy is to define thermodynamics first in the dual field theory: a target holographic CFT coupled to bath holographic CFTs by double-trace deformations is coarse-grained through the maximum-entropy principle, keeping only the expectation values of the Hamiltonians and one chosen operator. Because the true state and the coarse-grained state are separated by a nonnegative relative entropy, the coarse-grained total entropy never decreases, and the AdS/CFT dictionary turns this into a bulk statement: the sum of the areas (divided by $4G$) of the auxiliary Euclidean black holes that coarse-grain the system at time $t$ is at least its value at $t=0$. This gives a first law $\\dot E = \\delta W + \\delta \\tilde Q$ in which work is produced by external sources, and it does so without assuming energy conditions. If correct, the framework turns the black hole second law into a test that a gravitational model must pass to be UV-complete; the paper also shows that the standard holographic renormalization scheme can fail this test for boundary operators with $1<\\Delta<2$.","feed_headline":"Holography gives black holes heat and work","feed_subtitle":"Max-entropy coarse graining makes the summed horizon areas nondecreasing without assuming energy conditions.","key_machinery":"The load-bearing object is the maximum-entropy coarse-grained state, together with the relative-entropy inequality that controls its thermodynamic arrow. For a target system and a bath, the coarse-grained state is $\\bar\\rho(t)=Z^{(s)}(t)^{-1}e^{-\\beta(t)(H_*^{(s)}-\\mu(t)O)}\\otimes Z^{(b)}(t)^{-1}e^{-B(t)H_*^{(b)}}$, with the Lagrange multipliers $\\beta(t),\\mu(t),B(t)$ fixed by matching the observed expectation values. The second law $S(t)\\ge S(0)$ follows from $0\\le S(\\rho(t)\\|\\bar\\rho(t))$ together with the initial condition $\\rho(0)=\\bar\\rho(0)$. The translation to gravity uses the path-integral form of the double-trace deformation: the coupling $v\\,O^{(s)}O^{(b)}$ and the source $w\\,O^{(s)}$ become mixed boundary conditions $\\hat\\Phi^{(s)}+w+v\\Pi^{(b)}=0$ and $\\hat\\Phi^{(b)}+v\\Pi^{(s)}=0$ on two asymptotically AdS spacetimes glued along the boundary, with $\\Pi$ the renormalized one-point function. Each coarse-grained partition function is a stationary Euclidean black hole, so its horizon area computes the coarse-grained entropy, and the nonnegativity of relative entropy becomes the bulk area inequality. The examples use the retarded Green's function of a two-dimensional CFT and its bulk counterpart to compute the second-order entropy production.","core_discovery":"The central claim is that a composite system of AdS black holes, a target black hole plus bath black holes interacting only through their common conformal boundary, has a well-defined thermodynamics whose second law is inherited from quantum mechanics. On the boundary, the state is replaced at each time $t$ by a maximum-entropy state $\\bar\\rho(t)$ that reproduces $\\langle H_*^{(s)}\\rangle_t$, $\\langle O\\rangle_t$, and $\\langle H_*^{(b)}\\rangle_t$; the coarse-grained entropy is $S(t)=S^{(s)}(t)+S^{(b)}(t)$. Since relative entropy is nonnegative and the initial state is assumed to already be of the coarse-grained form, $S(t)\\ge S(0)$ for any unitary evolution. The AdS/CFT dictionary identifies the partition function of $\\bar\\rho(t)$ with a stationary Euclidean black hole; for Einstein gravity the coarse-grained entropy is the horizon area over $4G$, so the boundary second law becomes $\\frac{A^{(s)}(t)}{4G^{(s)}}+\\frac{A^{(b)}(t)}{4G^{(b)}}\\ge\\frac{A^{(s)}(0)}{4G^{(s)}}+\\frac{A^{(b)}(0)}{4G^{(b)}}$. The first law is $\\dot E=\\delta W+\\delta\\tilde Q$ with $\\delta W=\\int d^{d-1}x\\sqrt{\\sigma}\\,\\dot w\\,\\Pi^{(s)}$, so work is the energy change driven by the external source and heat is the remainder. The paper verifies the second law perturbatively in a three-dimensional Einstein-scalar model around BTZ: it holds for $0<\\Delta<1$, while for $1<\\Delta<2$ the conventional counterterm renormalization of [68] makes the bulk entropy production negative, although the CFT with a finite regulator satisfies the second law; the paper concludes that the standard scheme, which acts like dimensional regularization, is incompatible with the non-negativity of relative entropy, and formulates the bulk area inequality as a necessary criterion for UV completeness. Section 5 also records a caveat: the dictionary (3.20) for a $U(1)$ current appears to require dropping the source term in the stress tensor for charged static black holes.","pith_inferences":["If a renormalization scheme that respects relative entropy is found, the same area inequality could be used as a practical scan over effective gravitational theories: any model whose Euclidean coarse-graining entropy decreases under a unitary boundary quench would be discarded as not UV-complete.","The framework leaves open the more striking regime in which the target black hole's own entropy decreases while the bath absorbs heat; a time-dependent coupling $v(t)$ or a non-perturbative quench could realize such a black hole engine, which the paper lists as a future direction.","The $1<\\Delta<2$ breakdown is likely a symptom of a general operator-smearing problem in real-time holography: bulk computations automatically implement dimensional or analytic continuation, while the CFT needs a finite regulator at lightlike coincidences; tests in higher-dimensional CFTs or with non-uniform sources could show whether this scheme-dependence is universal."],"forward_implications":["Target and bath black holes exchanging energy through the glued asymptotic boundaries obey a second law on the summed horizon areas of their coarse-graining Euclidean black holes, Eq. (3.34), with no energy condition assumed.","Work and heat acquire operational meanings in black hole thermodynamics: work is $\\delta W=\\int d^{d-1}x\\sqrt{\\sigma}\\,\\dot w(t,\\vec x)\\Pi^{(s)}(t,\\vec x)$ from the external source, and the first law $\\dot E=\\delta W+\\delta\\tilde Q$ holds for the composite system.","The bulk area inequality becomes a necessary criterion for a gravitational model to be UV-complete: a holographic model whose renormalized boundary one-point function violates the second law is incompatible with unitarity.","In the Einstein-scalar example the entropy production is nonnegative for $0<\\Delta<1$, while the standard holographic renormalization of [68] fails for $1<\\Delta<2$; the paper therefore calls for a renormalization scheme that respects relative entropy.","The framework extends to multiple interacting CFTs and to respecting additional conserved charges such as angular momentum, giving generalized Gibbs states dual to more general black holes."],"supporting_citations":[{"why":"Supplies the maximum-entropy coarse-graining method, the boundary second law from relative entropy, and the Euclidean-black-hole identification of coarse-grained entropy that this paper extends to composite systems.","marker":"[32]"},{"why":"Established the AdS/CFT dictionary for multi-trace (double-trace) deformations, which the paper uses to turn the coupling $v O^{(s)}O^{(b)}$ into modified boundary conditions.","marker":"[48]"},{"why":"Gave the boundary-condition prescription for multitrace operators, the basis for the mixed boundary conditions in Sec. 3.1.","marker":"[49]"},{"why":"Suggested that two CFTs interacting through double-trace couplings are dual to two AdS theories glued at the boundary; the paper validates this by path-integral equivalence.","marker":"[56]"},{"why":"Provides the holographic renormalization counterterms used in the Einstein-scalar example; its scheme is the one that violates the second law for $1<\\Delta<2$.","marker":"[68]"},{"why":"Supplies the Schwinger-Keldysh and real-time gauge/gravity duality prescription that fixes the bulk initial-value problem dual to the CFT time evolution.","marker":"[69, 70]"},{"why":"Defines the Brown-York boundary stress tensor used to compute masses, one-point functions, and the work term in the first law.","marker":"[66, 67]"},{"why":"Connects conformal perturbation theory and dimensional regularization to AdS/CFT, the interpretation the paper uses for the failure of the standard scheme.","marker":"[61]"}],"fun_headline_variants":["Holographic max-entropy gives black holes heat and work","Thermodynamics with work for black holes via AdS/CFT","Black hole second law from quantum relative entropy, no energy conditions","Heat and work for composite black holes from holography"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument presumes that the bulk value computed for the field dual to $O$ agrees with the quantum expectation value of $O$ at every time entering the entropy production, including the instants when the external source is active. The paper itself finds that for $1<\\Delta<2$ this equality is guaranteed only after the source is switched off, so if the equality fails at coincident times the bulk area inequality is not the relative-entropy second law in that regime.","fun_headline_variants_meta":{"raw":{"variants":["Holographic max-entropy gives black holes heat and work","Thermodynamics with work for black holes via AdS/CFT","Black hole second law from quantum relative entropy, no energy conditions","Heat and work for composite black holes from holography"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000643,"raw_usage":{"total_tokens":3053,"prompt_tokens":1134,"completion_tokens":1919,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":750,"completion_tokens_details":{"reasoning_tokens":1847}},"tokens_in":750,"tokens_out":1919,"duration_ms":12328,"temperature":1.0,"reasoning_tokens":1847,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:10:35.400312+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check is to compute the entropy production density $-\\int_0^t dt'\\,w(t')\\dot\\Pi(t')$ for the source (4.21) at $\\Delta=1.5$ using the bulk expression (4.11) and, separately, using the CFT retarded Green's function (B.30) with the finite regulator (B.31). The paper predicts the bulk quantity is negative at early times while the regulated CFT quantity stays nonnegative; if both became negative for the same $t$, the violation would not be a renormalization artifact and the claimed second law would fail. Conversely, finding a renormalization scheme where the bulk one-point function equals the CFT expectation value even while the source is on would confirm the paper's central claim in the problematic window.","supporting_citations":[{"cited_title":"Multiple-Trace Operators and Non-Local String Theories","cited_arxiv_id":"hep-th/0105309","evidence_quote":"Established the AdS/CFT dictionary for multi-trace (double-trace) deformations, which the paper uses to turn the coupling $v O^{(s)}O^{(b)}$ into modified boundary conditions."},{"cited_title":"Conformal perturbation theory, dimensional regularization and AdS/CFT","cited_arxiv_id":"1406.4142","evidence_quote":"Connects conformal perturbation theory and dimensional regularization to AdS/CFT, the interpretation the paper uses for the failure of the standard scheme."}],"review_version":1}