{"id":"a349108c-06a4-4514-9576-75345eed3162","arxiv_id":"2608.12810","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Gravitational hair from extended geometric deformation lowers the Hawking temperature and the Landauer one-bit erasure cost, raises the Bekenstein-Hawking entropy, and adds a small positive Reeb-Wolf finite-size correction.","lead":"This paper applies Landauer's information-erasure principle to two families of 'hairy' black holes built by gravitational decoupling, finding that the hair lowers the Hawking temperature and the minimum one-bit erasure cost while increasing the horizon entropy. The value for a generalist: it connects black-hole geometry to quantum information processing, though it makes no experimentally testable prediction.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"DEC discrete plots imply negative relative entropy under the paper's own Eq. (159)/(171); R_n>1 contradicts D_n>=0.","rationale":"The reader's CONDITIONAL verdict is appropriate. The paper's core thermodynamic results—gravitational hair lowers T_H and E_min and raises S_BH—follow from the horizon radii and are internally consistent. The most serious flaw I find is not the heuristic d_eff (the Reeb–Wolf correction would remain subdominant for any reasonable reservoir dimension), but the DEC discrete sector's negative 'relative entropy' under the paper's own definitions. Equations (159) and (171) require ΔE_n ≥ k_B T_n γ/4; the plotted DEC ratios R_n > 1 in Figs. 20–21 violate this for γ = 4 ln2. The authors flag the issue but do not restrict the plots or retract the D split. This is a genuine internal inconsistency in the quantum-information part, so the paper cannot be accepted as is, but it does not invalidate the main geometric thermodynamics, and the authors are transparent about the limitation. Hence CONDITIONAL should stand, with a request to enforce Eq. (172) or clearly demarcate the domain of validity of the D formula.","tokens_in":29485,"tokens_out":20846,"duration_ms":193631,"concrete_test":"Take the parameters of Fig. 20 (χ = 0.3, q = 0.2, γ = 4 ln2) at n = 20: compute r_n from Eq. (80), solve the DEC horizon equation (101) for M_n, compute E_{L,n} and ΔE_n from Eqs. (89) and (112), then evaluate D_n^DEC from Eq. (159). If the plotted R_n > 1, D_n^DEC will be negative, violating Eq. (171). A minimal fix would be to restrict all DEC discrete plots to parameter sets satisfying ΔE_n ≥ k_B T_{H,n} ln2 (Eq. 173), or to state explicitly that the D_n^DEC formula does not define a relative entropy when R_n > 1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Reeb–Wolf decomposition for the DEC branch is internally inconsistent in the plotted discrete regime. In Sec. II.G, Eq. (159) defines the relative entropy as D_n^X = ΔE_n^X/(k_B T_{H,n}^X) − γ/4, and Eq. (171) asserts D_n^X ≥ 0. For γ = 4 ln2, non-negativity is equivalent to ΔE_n ≥ k_B T_{H,n} ln2, i.e., R_n = E_{L,n}/ΔE_n ≤ 1. Yet Figs. 20 and 21 display DEC ratios R_n > 1 over the entire plotted range (e.g., q = 0.2–0.8 with χ = 0.3). For those points E_{L,n} = k_B T_{H,n} ln2, so Eq. (159) gives D_n^DEC = ln2(1/R_n − 1) < 0, directly contradicting Eq. (171). The authors acknowledge in Sec. III.C that R_n > 1 should be read as a 'diagnostic' rather than a saturation condition, but the formulas in Sec. II.G are still presented as a genuine relative-entropy split, and Eq. (172) states that parameter ranges must be chosen to preserve non-negativity. The plotted DEC data do not satisfy that requirement, so the central claim that the Reeb–Wolf correction separates into non-negative mutual-information and relative-entropy contributions is not supported for the DEC branch's discrete sector. This is a concrete mathematical inconsistency, not merely an unproven microphysical assumption.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript applies Landauer's principle to two families of hairy black holes obtained from the Schwarzschild seed via gravitational decoupling with extended geometric deformation (EGD). For the SEC branch and the DEC (Reissner–Nordström-like) branch it derives horizon radii, Hawking temperatures, Bekenstein–Hawking entropies, and continuous Landauer costs as functions of the decoupling parameter χ, the hair scale ℓ, and the effective charge Q. It then imposes Bekenstein area quantization, computes discrete Landauer spectra and weak-hair expansions for the asymptotic masses, and uses the Reeb–Wolf finite-size bound with an effective horizon-reservoir dimension d_eff=exp(S_BH/k_B). The final part splits the Reeb–Wolf correction into mutual-information and relative-entropy contributions. The central claims are that gravitational hair lowers the Hawking temperature and the Landauer erasure cost while increasing horizon area and entropy; that the finite-size correction is positive but subdominant; that the discrete cost decreases with the area level n; and that the two contributions to the Reeb–Wolf correction have distinct physical origins.","tokens_in":29884,"tokens_out":14332,"duration_ms":129568,"significance":"The core derivations are explicit and checkable: the temperatures in Eqs. (64)/(66), the horizon equations (46)/(57), the entropies (77)/(78), and the weak-hair mass expansions (99)/(107) are internally consistent, and the χ→0 limits behave correctly for both branches. This gives the paper a solid base and yields concrete, falsifiable predictions connecting hair parameters to information-erasure costs. The paper is also honest about the heuristic character of d_eff=exp(S_BH/k_B). The significance is nevertheless moderated by an internal inconsistency in the DEC discrete sector and by parameter ranges that violate the paper's own DEC validity condition, both of which need to be fixed before the central claims can be accepted as stated.","major_comments":[{"comment":"For γ=4 ln2, Eq. (159) gives D_n^X=ΔE_n^X/(k_B T_{H,n}^X)−ln2, so Eq. (171) is equivalent to ΔE_n^X≥k_B T_{H,n}^X ln2, i.e., R_n^X=E_{L,n}^X/ΔE_n^X≤1. The DEC ratios plotted in Figs. 20 and 21 are above unity over the entire displayed range (q=0.2–0.8 with χ=0.3, and χ=0.0–0.3 with q=0.8). For those points D_n^DEC<0, directly contradicting Eq. (171). The statement in Sec. III.C that R_n>1 should be read as a 'diagnostic' does not resolve the contradiction, because Eq. (172) explicitly requires parameter ranges to be chosen so that non-negativity holds, and the plotted ranges do not satisfy this requirement. The claimed separation into non-negative mutual-information and relative-entropy contributions is therefore unsupported for the DEC discrete sector and must be either restricted to admissible parameters or reformulated.","section":"Sec. II.G, Eqs. (159)-(173); Sec. III.C, Figs. 20-21"},{"comment":"The DEC branch is subject to the parameter restriction Q^2≥4χ(M/e)^2 (Eq. (58)), which for M=1 and χ=0.3 means q≥(4·0.3/e^2)^{1/2}≈0.403. Nevertheless Figs. 17 and 20 plot q=0.2 and q=0.4 with χ=0.3, and Fig. 2 plots q=0.4 and q=0.6 for values of χ beyond the thresholds where Eq. (58) is violated (χ≳0.30 for q=0.4 and χ≳0.67 for q=0.6). Those curves lie outside the DEC-consistent domain, so the corresponding statements about the DEC branch are not supported. Please enforce Eq. (58) in all plots or clearly mark exploratory regions outside the admissible parameter space.","section":"Sec. II.C, Eq. (58); Figs. 2, 17, 20"},{"comment":"The mutual-information result I_n=γ/4−ln2 is not derived from the Reeb–Wolf dynamics; it follows immediately from the identification ΔS_R=γ/4 in Eq. (152). In particular, the statement that mutual information is 'governed by the area-spacing parameter' is a restatement of that effective-reservoir assumption rather than a dynamical consequence. The relative-entropy contribution in Eq. (159) does depend on the actual energy gap and is the substantive part of the split. The abstract and conclusions should be rephrased accordingly, presenting Eq. (155) as a consequence of the identification, not as an independently derived result.","section":"Sec. II.G, Eqs. (152)-(155)"}],"minor_comments":[{"comment":"The axis labels of Figs. 13–15 indicate percentages, while Eq. (190) defines δ_fs as a dimensionless fraction; please specify whether the plotted quantity is 100δ_fs.","section":"Figs. 13-15; Eq. (190)"},{"comment":"The phrase 'we first taken≥20' should read 'we first take n≥20'.","section":"Sec. III.C"},{"comment":"Please state explicitly that the discrete Landauer cost E_L,n=T_{H,n}ΔS_n uses thermodynamic entropy units (ΔS_n=k_B ln2), since Sec. II.G uses dimensionless entropies; this would avoid a units mismatch between the two sections.","section":"Eq. (94)"},{"comment":"The caption notes that the Schwarzschild dashed line is the finite-size corrected value; consider adding this information in the legend as well, since the corresponding classical curves in Figs. 4–6 use the uncorrected reference.","section":"Fig. 11 caption"},{"comment":"Reference [63] is a preprint; consider citing a peer-reviewed version or explicitly marking it as a preprint in the reference list.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The central algebra of this paper is sound, and the topic is appropriate for the journal. In my view the paper is salvageable by a revision that enforces the DEC parameter domain, resolves the D_n^DEC<0 contradiction in the discrete sector, and rephrases the mutual-information separation as an effective identification. I do not think rejection is warranted, but the current manuscript should not be accepted without these changes."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the take: this is a workmanlike application of Landauer's principle and the Reeb-Wolf correction to two hairy black hole families from gravitational decoupling. I checked the central algebra — Hawking temperatures, horizon equations, entropies, mass expansions — and the chi=0 limits are right. The main content is new: nobody has computed Landauer costs or the Reeb-Wolf finite-size correction for these particular EGD branches. The qualitative result that hair cools the horizon and lowers the erasure cost while increasing entropy is coherent for parameter ranges that satisfy the energy conditions.\n\nBut there is a real internal inconsistency in the DEC discrete sector. The authors define relative entropy D_n = ΔE_n/(k_B T_n) − γ/4 and assert D_n ≥ 0. For γ=4 ln2, that requires R_n = E_{L,n}/ΔE_n ≤ 1. Their own plots, Figs. 20 and 21, show R_n > 1 across the plotted range, so D_n is negative there. The Sec. III.C comment that R_n > 1 is a 'diagnostic' doesn't rescue the math; Eq. (172) explicitly says parameter ranges must be chosen to preserve non-negativity, and the plotted DEC data don't satisfy that. This is a concrete flaw, not just an unproven microphysical assumption.\n\nSecond, some DEC plots violate the authors' own dominant-energy constraint. For chi=0.3, the constraint Q^2 ≥ 4χ(M/e)^2 gives q ≳ 0.40, yet Figs. 5, 8, 14, 17, and 20 show q=0.2 and 0.4. Those points are outside the claimed validity region, so those curves should be removed or flagged.\n\nMinor: the mutual-information/relative-entropy split is definitional — setting ΔS_R = γ/4 in Eq. (152) makes I_n = γ/4 − ln2 by construction. The authors admit this is a rough estimate, so I don't weight it heavily. The lack of code/data is a small negative but not disqualifying.\n\nWho's this for? People working on black hole information and gravitational decoupling. It's a useful reference calculation, not a conceptual breakthrough. It deserves a serious referee: the main results are likely correct after revision, but the DEC discrete-sector inconsistency and the invalid parameter ranges need to be fixed before publication.","headline":"A competent Landauer/Reeb-Wolf application to two hairy black hole families whose central algebra checks out, but the DEC discrete sector has a real internal inconsistency that the authors wave away.","tokens_in":30422,"tokens_out":3597,"would_cite":false,"duration_ms":35160,"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":"This paper claims that gravitational hair on black holes lowers the minimum energy required to erase one bit of information, by cooling the horizon while enlarging it.","keywords":["Landauer principle","hairy black holes","gravitational decoupling","Hawking temperature","Bekenstein–Hawking entropy","Reeb–Wolf correction","area quantization","information erasure"],"falsifier":"A microscopic model of horizon microstates that assigns the reservoir an effective dimension polynomial in the area rather than exponential — for example $d_{\\rm eff} \\sim (A/\\ell_P^2)^\\alpha$ — would make the Reeb–Wolf correction comparable to $k_B T_H \\ln 2$ instead of subdominant. More sharply, the prediction $I(S':R')=0$ for $\\gamma = 4\\ln 2$ could be checked by constructing an explicit unitary erasure model and computing the final mutual information: any positive value at exactly that spacing would contradict the minimal-correlation identification.","tokens_in":29297,"feed_emoji":"🕳️","tokens_out":6798,"duration_ms":62735,"temperature":0.7,"pith_summary":"This paper asks whether extra gravitational structure on a black hole — hair generated by gravitational decoupling — changes the thermodynamic price of deleting information. Using Landauer's principle, it derives the minimum erasure energy at the event horizon for two hairy geometries (a strong-energy-condition branch and a dominant-energy-condition branch) and finds that, across the parameter ranges examined, the hair lowers the Hawking temperature and therefore the erasure cost, while increasing the horizon area and the Bekenstein–Hawking entropy. It then adds the Reeb–Wolf quantum correction for a finite thermal reservoir and shows the correction is positive but small because the reservoir is exponentially large in the entropy. After quantizing the horizon area, the paper obtains a discrete Landauer spectrum that decreases with the level number, with branch-dependent behavior. The net claim is that geometric hair is a controllable handle on the information-thermodynamic properties of a horizon.","feed_headline":"Black hole hair cuts the cost of erasing a bit","feed_subtitle":"Gravitational hair cools a black hole's horizon, lowering the minimum energy to erase one bit while boosting its entropy.","key_machinery":"The machinery has four linked pieces. First, gravitational decoupling by extended geometric deformation deforms a Schwarzschild seed with parameter $\\chi$ into hairy metrics; the SEC branch has hair scale $\\ell$ with $f(r)=1-(2M+\\chi\\ell)/r+\\chi e^{-r/M}$, and the DEC branch adds an effective charge $Q$ with a Reissner–Nordström-like term. Second, the Hawking temperature of the deformed horizon supplies the reservoir temperature in Landauer's bound. Third, the Reeb–Wolf equality $\\beta\\Delta Q = \\Delta S + I(S':R') + D(\\rho'_R\\|\\rho_R)$ turns the erasure cost into a sum of entropy decrease, correlations, and reservoir relative entropy, and its finite-size form gives the correction using $d_{\\rm eff} \\simeq \\exp(S_{BH}/k_B)$. Fourth, Bekenstein area quantization $A_n = \\gamma \\ell_P^2 n$, with $\\gamma = 4\\ln 2$ and $S_n = \\gamma k_B n/4$, converts one-bit entropy spacing into a discrete Landauer spectrum $E_{L,n} = k_B T_{H,n}\\ln 2$.","core_discovery":"The paper's central finding is that gravitational hair modifies the horizon's thermodynamic response to information erasure in a systematic way. For both hairy branches, the horizon radius $r_H$ enters the Hawking temperature $T_H = \\hbar c / (4\\pi k_B r_H)$ times a hair-dependent correction; because hair enlarges $r_H$ for the parameter ranges studied, $T_H$ and the Landauer cost $E_{\\min} = k_B T_H \\ln 2$ fall below their Schwarzschild values, whereas the area and entropy $S_{BH} = \\pi k_B c^3 r_H^2 / (G\\hbar)$ rise. The Reeb–Wolf finite-size correction adds a strictly positive amount $2(\\ln 2)^2/[\\ln^2(d_{\\rm eff}-1)+4]$ per bit, with $d_{\\rm eff} \\simeq e^{S_{BH}/k_B}$, so it is subdominant for macroscopic horizons. Under Bekenstein area quantization, the one-bit spacing $\\gamma = 4\\ln 2$ makes the mutual-information term vanish while the relative-entropy term, fixed by the actual energy gap between neighboring levels, remains positive; the discrete Landauer cost $E_{L,n}$ decreases with $n$ in both branches, though the DEC branch shows charge-dependent behavior at low $n$.","pith_inferences":["If hair lowers erasure cost while raising entropy, the cost per unit of added horizon entropy $E_{\\min}/\\Delta S_{BH}$ decreases; one could rank geometries by information-thermodynamic efficiency, a comparison the paper does not make.","The split of the Reeb–Wolf correction into a $\\gamma$-controlled mutual-information piece and an energy-gap-controlled relative-entropy piece suggests that measuring the temperature dependence of erasure corrections could constrain the area-spacing parameter $\\gamma$ independently of the hair parameters.","The heuristic identification $d_{\\rm eff} = \\exp(S_{BH}/k_B)$ is the soft spot; an open-quantum-system calculation with greybody factors, which the paper itself flags for future work, would replace it with a computed reservoir dimension and could make the corrections testable by scattering data.","The DEC branch's requirement that $\\Delta E_n \\ge k_B T_{H,n}\\ln 2$ imposes an inequality on $(\\chi, \\ell, Q, n)$ that could be used to exclude parameter combinations before any microscopic model is built."],"forward_implications":["In the SEC branch, switching off the decoupling parameter $\\chi$ returns the Schwarzschild temperature and Landauer cost; in the DEC branch this requires simultaneously $\\chi\\to 0$ and $Q\\to 0$, so charge alone leaves a Reissner–Nordström-like baseline below Schwarzschild.","Because hair increases the horizon entropy, it pushes $d_{\\rm eff} = \\exp(S_{BH}/k_B)$ upward, driving the finite-reservoir correction down and making the ideal Landauer bound a better approximation for hairy horizons than for the seed.","With the one-bit area spacing $\\gamma = 4\\ln 2$, the mutual-information contribution vanishes but the relative-entropy contribution remains positive, so erasure at a hairy horizon does not saturate the ideal Landauer limit even at minimal correlation.","The quantized Landauer cost $E_{L,n}$ decreases with level number $n$ in both branches, so higher excited horizon states erase bits more cheaply; in the DEC branch the effective charge mainly affects low and intermediate levels.","The same Reeb–Wolf machinery applies to any black hole whose Hawking temperature, entropy, and level spacing are known, so the framework extends beyond these two hair families."],"supporting_citations":[{"why":"Supplies the original Landauer erasure bound $k_B T \\ln 2$ that the paper uses as the baseline.","marker":"[1]"},{"why":"Establishes that gravitational fields modify the relevant temperature for Landauer erasure, motivating geometry-dependent erasure costs.","marker":"[5]"},{"why":"Provides the extended geometric deformation scheme used to generate the hairy metrics from a Schwarzschild seed.","marker":"[38]"},{"why":"Constructs the two hairy black hole families (SEC and DEC branches) that the paper analyzes.","marker":"[40]"},{"why":"Supplies the prior near-horizon thermodynamics of these hairy black holes, which the paper extends to information erasure.","marker":"[61]"},{"why":"Gives the quantum Landauer equality and the finite-size correction that form the improved erasure bound.","marker":"[62]"},{"why":"Provides the relation between surface gravity and Hawking temperature used to set the horizon reservoir temperature.","marker":"[70]"},{"why":"Connects Landauer's principle to black hole area quantization, giving the one-bit area spacing and discrete Landauer spectrum.","marker":"[74]"}],"fun_headline_variants":["Hairy black holes erase bits cheaper","Gravitational hair reduces black hole bit-erasure cost","Hair on black holes lowers the Landauer price","Black hole hair boosts entropy, cuts erasure energy","Hairy horizons: lower erasure cost, higher entropy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The quantitative corrections assume the horizon behaves like a heat bath whose number of internal states is given by the exponential of the Bekenstein–Hawking entropy; if the horizon's actual state space is different, the claimed finite-size corrections and their split into correlations and irreversible entropy would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Hairy black holes erase bits cheaper","Gravitational hair reduces black hole bit-erasure cost","Hair on black holes lowers the Landauer price","Black hole hair boosts entropy, cuts erasure energy","Hairy horizons: lower erasure cost, higher entropy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000313,"raw_usage":{"total_tokens":1872,"prompt_tokens":1135,"completion_tokens":737,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":751,"completion_tokens_details":{"reasoning_tokens":662}},"tokens_in":751,"tokens_out":737,"duration_ms":7642,"temperature":1.0,"reasoning_tokens":662,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T22:50:52.606537+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A microscopic model of horizon microstates that assigns the reservoir an effective dimension polynomial in the area rather than exponential — for example $d_{\\rm eff} \\sim (A/\\ell_P^2)^\\alpha$ — would make the Reeb–Wolf correction comparable to $k_B T_H \\ln 2$ instead of subdominant. More sharply, the prediction $I(S':R')=0$ for $\\gamma = 4\\ln 2$ could be checked by constructing an explicit unitary erasure model and computing the final mutual information: any positive value at exactly that spacing would contradict the minimal-correlation identification.","supporting_citations":[{"cited_title":"Landauer, Irreversibility and heat generation in the computing process","cited_arxiv_id":null,"evidence_quote":"Supplies the original Landauer erasure bound $k_B T \\ln 2$ that the paper uses as the baseline."},{"cited_title":"Herrera, Landauer principle and general relativity","cited_arxiv_id":null,"evidence_quote":"Establishes that gravitational fields modify the relevant temperature for Landauer erasure, motivating geometry-dependent erasure costs."},{"cited_title":"Ovalle, Decoupling gravitational sources in general rel- ativity: the extended case","cited_arxiv_id":null,"evidence_quote":"Provides the extended geometric deformation scheme used to generate the hairy metrics from a Schwarzschild seed."},{"cited_title":"Ovalle, R","cited_arxiv_id":null,"evidence_quote":"Constructs the two hairy black hole families (SEC and DEC branches) that the paper analyzes."},{"cited_title":"Cavalcanti, K","cited_arxiv_id":null,"evidence_quote":"Supplies the prior near-horizon thermodynamics of these hairy black holes, which the paper extends to information erasure."},{"cited_title":"Reeb, M.M","cited_arxiv_id":null,"evidence_quote":"Gives the quantum Landauer equality and the finite-size correction that form the improved erasure bound."},{"cited_title":"Hawking, Particle creation by black holes","cited_arxiv_id":null,"evidence_quote":"Provides the relation between surface gravity and Hawking temperature used to set the horizon reservoir temperature."},{"cited_title":"Bagchi, A","cited_arxiv_id":null,"evidence_quote":"Connects Landauer's principle to black hole area quantization, giving the one-bit area spacing and discrete Landauer spectrum."}],"review_version":1}