{"id":"8ae974bc-7a97-419a-aada-ecd67c15050c","arxiv_id":"2607.16155","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":3,"one_line_summary":"Shape and mass-density deformations of thin-shell AdS3 black holes and wormholes have stiffness kernels equal to two-point functions of defect-local displacement and mass-density operators, computed from linearized Liouville theory.","lead":"This paper computes how thin-shell black holes and wormholes in three-dimensional anti-de Sitter space respond when their matter shell is wiggled or made lumpy. It encodes that response in 'stiffness kernels' derived from Liouville CFT, giving operator spectra, relaxation times, and entropy corrections.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central claim inherits the undeformed Liouville/CFT correspondence of [3]; deformed defect response is not independently checked.","rationale":"The paper is internally coherent: the linearized Liouville solutions satisfy the stated junction conditions, the quadratic actions in Appendix A reduce to shell-local terms, and the spectral decompositions are consistent (for example, the sphere-wormhole ρ_D reproduces the expected 1/x² OPE singularity with the stated coefficient). I found no algebraic red flag that invalidates the computation within its declared symmetric sector. The single place where the central claim could fail is the step from the Liouville line defect back to the compact CFT line defect for deformed geometries. Eq. (1.14) is a known equivalence for symmetric saddles, but the deformed equivalence is assumed, not proved. Since the paper's purpose is to compute new CFT observables, this is a correctness risk rather than an internal inconsistency. The reader's ACCEPT with MODERATE confidence already accounts for this inherited risk; the monodromy check would materially strengthen or refute the correspondence, but without the check the verdict need not change. I therefore leave the verdict unchanged.","tokens_in":60639,"tokens_out":32283,"duration_ms":260473,"concrete_test":"Independently compute, using Zamolodchikov's monodromy method, the large-c Virasoro identity block for the two-defect correlator with one of the two line-defect contours deformed by ϵξ(x), expand to O(ϵ²), and compare the coefficient of ξ_n ξ_{−n} with exp(−S2[ξ]) from Eq. (2.24)/(A.28). A match confirms the Liouville kernel is the CFT kernel; a mismatch pinpoints the missing term.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The computation requires that the deformed Liouville line defect exactly computes the quadratic response of the deformed line defect in the compact holographic CFT. The dictionary (1.14), ⟨D†Σ DΣ⟩_CFT = |⟨LΣ⟩_ZZ|^2, is imported from [3] for the undeformed, highly symmetric saddles. When the shell is displaced by y = ϵξ(x) or its mass density is changed to m0 + ϵµ(x), the paper assumes the same saddle-point equivalence holds order by order, including the quadratic on-shell action. If a deformation of the CFT line defect produces additional large-c contributions not captured by the Liouville source term (1.9)—for example, corrections from the conformal welding map or from subleading defect operators—then every stiffness kernel, spectral density, and relaxation time would shift. This is not an internal inconsistency; it is an unverified correctness assumption inherited from [3]. It is the least secure condition on which the central claim rests.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies elastic deformations of thin-shell AdS3 black holes and wormholes sourced by non-conformal line defects. Using the Liouville line defect description, the authors compute the quadratic response of the partition function to transverse shape deformations and to inhomogeneous mass-density deformations, defining stiffness kernels. They obtain universal expressions in terms of Dirichlet-to-Neumann eigenvalues (e.g., K_mass = 1/(λ_+ + λ_-)), compute the spectra of the associated displacement and mass-density operators (continuous or discrete depending on the compactness of the transverse cycle), and extract Lorentzian retarded correlators and relaxation times. They also compute corrections to apparent-horizon and PETS entanglement entropies. The derivations are explicit and internally consistent, with spot-checks of the Schwarzian limit and the pole structure passing.","tokens_in":60954,"tokens_out":15657,"duration_ms":125276,"significance":"If the central Liouville/CFT correspondence holds, the stiffness kernels constitute genuinely new observables for backreacting non-conformal line defects, connecting elastic response, conformal welding, and Schwarzian dynamics. The paper is careful and technical: it provides closed-form kernels, spectral densities, and Green's functions, and it gives quantitative predictions (e.g., t_rel = 2/m0 and 4/m0 for the sphere wormhole, and sign-definite entropy corrections). The explicit, checkable computations and the clear framing of conjectures are strengths. The main caveat is the inherited dictionary from [3]; the results are conditional on that dictionary extending to deformed loci.","major_comments":[{"comment":"The dictionary ⟨D†_Σ D_Σ⟩_CFT = |⟨L_Σ⟩_ZZ|² is imported from [3] for undeformed, symmetric saddles. The paper then uses this correspondence operationally for deformed loci y=εξ(x) and m=m0+εμ(x). No argument is given that the Liouville saddle continues to capture the full large-c response of the CFT defect under deformation; additional contributions from subleading defect operators or from the conformal welding map could shift the kernels. The Schwarzian limit (2.35) is a necessary consistency check but does not exclude such contributions. I ask the authors to either (i) provide an argument or a concrete check that the deformed Liouville two-point functions equal the CFT ones at quadratic order, or (ii) explicitly state this as an assumption and temper the claim that the kernels are CFT two-point functions.","section":"Sec. 1.2, Eq. (1.14)"}],"minor_comments":[{"comment":"The symbols ωp and ωt used in the plots are not defined in the captions. Please define them (e.g., as local maxima/minima of the spectral density).","section":"Figures 2 and 3"},{"comment":"The conjectural statements (2.42) and (3.27) are introduced in the main text. It would be clearer to mark them explicitly as conjectures that are not needed for the rest of the paper.","section":"Sec. 2.2 and 3.2"},{"comment":"The statement that the relaxation time is identical for shape and mass deformations is based on numerical extraction from Eq. (4.34). Please clarify whether this is an exact result or a numerical observation.","section":"Sec. 4.1.1"},{"comment":"The normalization of the spectral densities ρ_D and ρ_M differs by factors of c/3 between sections (e.g., Eq. (1.26) vs Eq. (2.50)). A single stated convention would improve readability.","section":"Notation"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: this paper really does compute something new. It defines elastic stiffness kernels for thin-shell AdS3 black holes and wormholes, shows they are two-point functions of displacement and mass-density operators on the shell defect, and derives explicit spectra, relaxation times, and entropy corrections across four distinct backgrounds. The universal mass kernel K_mass,n = 1/(lambda_+,n + lambda_-,n) and the shape kernel with its local/non-local split are clean organizing results. I spot-checked key formulas—the kernel rearrangement in (2.36), the Schwarzian limit m0 -> infinity, the pole locations in (2.86)—and the algebra is consistent. The conformal-welding interpretation and the heavy-shell reduction to a Schwarzian response are elegant and likely to be reused. Credit is also earned for the appendices: the quadratic effective actions are derived explicitly, and the second-order Liouville Green's functions for the entropy corrections are worked out in detail. The paper is honest about what is conjectural; the non-linear Schwarzian forms in (2.42) and (3.27) are flagged as such.\n\nThe soft spots are proportionate. The main one is the one the stress-test highlights: the whole framework depends on the Liouville line-defect correspondence of [3], and the paper assumes that correspondence holds order-by-order for deformed defects without an independent check. The dictionary (1.14) is imported for the undeformed saddles; using it to compute quadratic response is a natural extrapolation, but if a deformed CFT line defect generates extra large-c contributions beyond the Liouville source term, every kernel and relaxation time would shift. This is not an internal contradiction; it is an unverified assumption. I would have liked an explicit statement that this is an assumption, and ideally a consistency check in a limit where a direct CFT computation is possible.\n\nA second, explicitly acknowledged limitation is the restriction to symmetric deformations. The foliation ansatz (2.1) only covers equal deformations on the two boundaries; asymmetric (almost-Fuchsian) configurations are left to future work. That is fine for a first paper, but it means the stiffness kernels are not fully general. The relaxation times for the one-sided black hole are also only computed in the planar limit, and some plots rely on numerics; those claims are more provisional than the spectral densities themselves.\n\nThis paper is for hep-th readers working on AdS3/CFT2, line defects, wormhole saddles, and ETH microstate statistics. It deserves a serious referee. The length (92 pages) is heavy, but the structure is transparent and the technical core is reproducible from the appendices. My recommendation: send it to peer review, and ask the referee to focus on whether the Liouville dictionary for deformed defects can be sharpened or at least explicitly stated as an assumption. With that caveat addressed in the introduction, this will be a solid contribution.","headline":"A genuinely new class of observables—stiffness kernels for thin-shell AdS3 geometries—derived cleanly from Liouville, with the main caveat that the deformed-defect dictionary is inherited from [3] and not independently verified.","tokens_in":61371,"tokens_out":2301,"would_cite":true,"duration_ms":20403,"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":"Thin-shell black holes and wormholes have computable elastic stiffness: the quadratic response of the partition function to shape and mass wiggles of the shell equals two-point functions of Liouville defect operators, with explicit spectra,","keywords":["thin-shell black holes","Liouville line defects","stiffness kernels","elastic deformations","wormholes","holographic CFT","displacement operator","conformal welding"],"falsifier":"Take the sphere one-point wormhole, perturb the equatorial shell by a single Fourier mode (say n=2), and solve the full 3D thin-shell Einstein equations to second order in the perturbation; the quadratic shift in the on-shell action must equal the stiffness kernel of Eq. (2.24). Any deviation—or a measurement of ⟨D_perp D_perp⟩ in a compact CFT with a heavy line defect that does not show the predicted density ρ_D = (c m0^2/6π)ω(ω^2+R^{-2})/(ω^2+m0^2/4)—would falsify the Liouville reduction.","tokens_in":60543,"feed_emoji":"🕳️","tokens_out":7438,"duration_ms":68839,"temperature":0.7,"pith_summary":"The paper argues that thin-shell black holes and wormholes in 3D anti-de Sitter gravity behave like elastic bodies: their partition function responds quadratically to wiggles of the shell's shape and to inhomogeneities in its mass density, and these responses can be computed exactly in the semiclassical limit. Working through the Liouville description of line defects, the authors obtain stiffness kernels that are two-point functions of two defect-local operators—the displacement operator D_perp and the mass-density operator M—with the mass kernel universally equal to the inverse sum of two Dirichlet-to-Neumann eigenvalues. The kernels' spectra are worked out in four geometries; they are continuous when the cycle transverse to the shell is non-compact and discrete when it is compact, which decides whether a Lorentzian perturbation relaxes or oscillates forever. For the sphere wormhole the relaxation times are t_rel = 2/m_0 (shape) and 4/m_0 (mass). The paper closes by showing that shape deformations increase, while fixed-mass density redistributions decrease, the apparent-horizon and PETS entanglement entropies—a concrete imprint on black hole microstate statistics.","feed_headline":"Black-hole shell wiggles obey a universal stiffness law","feed_subtitle":"New two-point functions predict when deformations relax, when they ring forever, and how entropy changes.","key_machinery":"The load-bearing object is the Dirichlet-to-Neumann eigenvalue pair λ±,n of the linearized Liouville equation. A Liouville line defect is a worldline insertion exp((m0/2πb)∫dℓ φ) that plays the role of the thin shell; across it the Liouville field is continuous but its normal derivative jumps by −2m0. For each Fourier mode n, the linearized field is normalized to one on the shell and solved in the two regions adjacent to it, and λ±,n are the (minus) normal derivatives at the shell. All stiffness kernels are assembled from these eigenvalues—the mass kernel is their inverse sum, the shape kernel is a combination of their product over sum plus local geometric terms—and their spectral densities","core_discovery":"The central discovery is a solvable deformation theory for backreacting non-conformal line defects. For a shell with undeformed mass m0 on a circle, a transverse wiggle ξ(x) or a fixed-total-mass density fluctuation µ(x) changes the on-shell action by a quadratic form whose Fourier coefficients are explicit functions of m0, temperature, and two Dirichlet-to-Neumann eigenvalues λ±,n obtained from the linearized Liouville equation with shell junction conditions: K_mass,n = 1/(λ+,n + λ−,n), and K_shape,n = m0(r0^2 + n^2 log r0) − m0^2 λ+,n λ−,n/(λ+,n + λ−,n) in the black-hole geometries, with frame-dependent local terms elsewhere. The same kernels are two-point functions of D_perp and M, with p","pith_inferences":["If the same dictionary holds beyond the symmetric sector, the antisymmetric stiffness kernel of the almost-Fuchsian metric proposed in the discussion should yield cross-boundary displacement correlators; positivity of that matrix would be a natural consistency test of the wormhole Hilbert-space interpretation.","The continuous-versus-discrete spectral dichotomy probably generalizes beyond these examples: in any defect CFT with a compact transverse cycle, shape deformations should oscillate rather than relax—a prediction one could test in lattice or numerical CFT studies.","The opposite signs of the shape and mass entropy corrections suggest a statistical interpretation: shape fluctuations open up new microscopic configurations while fixed-mass redistribution closes them off; counting microstates directly would test whether this sign pattern is universal.","A next-order (1/c) calculation of the sphere-wormhole relaxation pole would show whether t_rel = 2/m0 is an artifact of the Liouville saddle or a genuine gravitational timescale."],"forward_implications":["The mass-deformation kernel is universal: for every thin-shell black hole or wormhole studied, the quadratic response to a fixed-total-mass density mode is 1/(λ+,n + λ−,n), so it can be read off from the background Liouville solution alone.","The spectrum of the displacement operator is continuous or discrete according to the compactness of the slice transverse to the shell, which determines whether a transient deformation relaxes (continuous) or produces persistent finite-volume oscillations (discrete).","The sphere wormhole's shape and mass channels relax on times 2/m0 and 4/m0, respectively, with the shape channel behaving like an overdamped and the mass channel like an underdamped oscillator.","Shape deformations increase the apparent-horizon and PETS entanglement entropies at fixed total mass, while mass-density deformations decrease them.","In the heavy-shell limit the shape-stiffness response reduces to the universal Schwarzian/conformal-welding response, connecting shell elasticity to Virasoro coadjoint orbits."],"fun_headline_variants":["Universal stiffness law governs black hole shell wiggles","Black hole shells: stiffness from Liouville line defects","Deformation response of black holes: universal stiffness kernels","Shape and density fluctuations obey stiffness law in black holes","Stiffness of black hole shells from defect two-point functions"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that line defects in the compact holographic CFT, Liouville line defects, and thin-shell AdS3 saddles are semiclassically the same object—plus the restriction to identical deformations on the two boundaries, which leaves the asymmetric sector untested.","fun_headline_variants_meta":{"raw":{"variants":["Universal stiffness law governs black hole shell wiggles","Black hole shells: stiffness from Liouville line defects","Deformation response of black holes: universal stiffness kernels","Shape and density fluctuations obey stiffness law in black holes","Stiffness of black hole shells from defect two-point functions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00118,"raw_usage":{"total_tokens":4740,"prompt_tokens":804,"completion_tokens":3936,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":548,"completion_tokens_details":{"reasoning_tokens":3859}},"tokens_in":548,"tokens_out":3936,"duration_ms":22793,"temperature":1.0,"reasoning_tokens":3859,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T21:11:26.816265+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the sphere one-point wormhole, perturb the equatorial shell by a single Fourier mode (say n=2), and solve the full 3D thin-shell Einstein equations to second order in the perturbation; the quadratic shift in the on-shell action must equal the stiffness kernel of Eq. (2.24). Any deviation—or a measurement of ⟨D_perp D_perp⟩ in a compact CFT with a heavy line defect that does not show the predicted density ρ_D = (c m0^2/6π)ω(ω^2+R^{-2})/(ω^2+m0^2/4)—would falsify the Liouville reduction.","supporting_citations":[],"review_version":1}