{"id":"76087ed0-5bb0-4776-b0bb-10ed16e080bf","arxiv_id":"2411.11948","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A QFT construction based on defect operators in the causal complement predicts a universal, index-dependent bound on robust Cauchy horizon singularities, explaining the observed mildness.","lead":"This paper proposes a mechanism in quantum field theory that explains why stress-energy singularities on black hole Cauchy horizons are weaker than symmetry arguments predict: they arise from operator insertions in the causal complement of the spacetime. The mechanism yields a universal bound on robust divergences, matching numerical results and giving testable predictions for all black hole Cauchy horizons.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The derivation's pivotal step, Eq. (4.29), assumes the OPE extends to asymptotic defect operators Γ(W±∞); if this fails, the mildness ansatz does not follow even for defect-constructible states.","rationale":"The reader's verdict is CONDITIONAL, and I concur. The single most load-bearing concern is not the existence of the construction (3.16) but the step from robustness to factorization (4.29). Equations (4.33)-(4.34), and the black-hole prediction (1.14), are consequences of (4.29); without it, smooth extendibility (4.30) has no basis. The paper's own Appendix C shows that for a bilocal defect, robustness fails, so non-factorized couplings are dangerous; but that is a consistency check, not a proof that every robust singularity factors. The free-field examples are genuine evidence for the construction, not for the extended OPE. The separate assumption that black-hole HH/Unruh states are defect-constructible is also unproven and is flagged by the author; however, it only matters for the application, whereas (4.29) is needed for the core theorem about defect-constructible states. A focused computation of the light-ray/defect OPE in a solvable theory would settle whether the factorization is true or needs replacement by a weaker criterion. Hence no change to the reader's CONDITIONAL verdict.","tokens_in":31492,"tokens_out":5659,"duration_ms":60265,"concrete_test":"Test Eq. (4.29) explicitly in the free massless scalar theory used in §3.3. Define Γ(W±λ) as the smeared operators whose λ→∞ limits produce the state (3.46), and consider a one-parameter family of bilocal defects D(Wλ)=:exp[λ²φ(p+λ)φ(p−λ)+αλ²(:φ²(p+λ):+:φ²(p−λ):)]:. For each α, compute ⟨ϕ²(x)⟩ as V→0− and test robustness by acting with a smeared ϕ(f) exactly as in Appendix C. If any α yields a leading singularity that is state-independent (robust) but does not factor according to (4.29) — in particular, is not smooth in U at fixed V — then the assumption fails. If all such robust leading terms obey (4.30), the assumption survives this check.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing step is the factorization (4.29), introduced immediately after Eq. (4.28): robustness of the V→0− singularity is claimed to imply ⟨Γ(W−∞)Γ(W+∞)Φ(x)⟩ → ⟨Γ(W−∞)⟩⟨Γ(W+∞)Φ(x)⟩, so that the leading term is smooth in U (Eq. 4.30). The paper explicitly says 'we will simply assume the analogous statement' because the required object — an OPE, or light-ray OPE, for the non-local asymptotic defect operators Γ(W±∞) — is not part of the axiomatic framework [28] used in §3.1. This is not a minor technicality: the entire bound (4.33)-(4.34), and the black-hole prediction (1.14), are consequences of (4.29) plus kμ-symmetry. If leading robust singularities receive comparable contributions from coupled m1,m2 terms that do not factor, the smooth-extension property (4.30) can fail and the ansatz is false. The free-field tests in §3.3 and Appendix C check individual states, but they do not establish the general factorization; in fact, the bilocal defect example (3.45)-(3.47) shows that non-factorized couplings produce singularities that must be excluded by hand via robustness. The separate assumption that black-hole HH/Unruh states are defect-constructible is also unproven and is admitted by the author, but it only affects the application; Eq. (4.29) is needed for the core theorem about defect-constructible states.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript addresses the 'mildness puzzle' of quantum Cauchy horizon singularities: in d>2 the known divergences of ⟨T_μν⟩ at black hole Cauchy horizons are much weaker than symmetry and dimensional analysis would allow. After reviewing the d=2 Birrell-Davies result and contrasting with outer-horizon 'wrong-temperature' singularities, the paper proposes a general QFT construction of wedge states: new n-point functions in a wedge W are obtained from correlation functions in a larger spacetime W0 with a defect operator D(W^c) inserted in the causal complement; for W_P, the past Rindler wedge, a limiting version with a family of wedges W_λ is used. The paper then restricts to 'defect constructible' states and, assuming an extension of the OPE to asymptotic defect operators Γ(W^±_∞) (Eq. (4.29)), derives the smooth-extension property (4.30). Combined with k_μ-symmetry, this yields the mild singularity ansatz (4.33)-(4.34): robust singularities of rank-r operators are O(1/V^k) for k>0 and o(1/V^ε) for k≤0, where k is the number of V indices minus the number of U indices. The ansatz is checked against explicit free-field examples and is applied to black hole Cauchy horizons, ruling out robust singularities of the form (1.14). The author is transparent that the defect construction is a proposal, that the asymptotic OPE statement is assumed, and that defect constructibility of Hartle-Hawking and Unruh states is not proven.","tokens_in":31824,"tokens_out":11471,"duration_ms":116978,"significance":"If the mildness ansatz is correct, it provides a universal, state-independent bound on quantum Cauchy horizon singularities, matches existing numerical results in RN, Kerr, and de-Sitter black holes, and gives falsifiable predictions for spacetimes and QFTs that have not been analyzed numerically. The paper's strengths are the clean derivation of (4.33)-(4.34) from (4.29) plus k_μ-symmetry, the explicit and internally consistent free-field examples in Sec. 3.3, the consistency check in Appendix C showing that the counterexample (3.45) is non-robust, and the generally honest presentation of assumptions. The construction is very broad, and the CFT state-operator argument in Sec. 4.1 provides a nontrivial class of defect-constructible states. However, the central factorization (4.29) is currently an assumption rather than a theorem, and the black-hole application requires an additional unproven identification; the paper therefore establishes a conditional result and a research programme rather than a fully general proof.","major_comments":[{"comment":"The derivation's pivotal step is Eq. (4.29), where robustness is claimed to imply the factorization ⟨Γ^{(m1)}(W^+_∞)Γ^{(m2)}(W^-_∞)Φ(x)⟩ → ⟨Γ^{(m2)}(W^-_∞)⟩⟨Γ^{(m1)}(W^+_∞)Φ(x)⟩. This is introduced with the statement that the analogous result is 'simply assumed' after Eq. (4.28), because the relevant light-ray or defect OPE for the non-local asymptotic operators Γ(W^±_∞) is not part of the axiomatic framework [28] used in Sec. 3.1. This is load-bearing: the smooth-extension property (4.30), the ansatz (4.33)-(4.34), and the black-hole prediction (1.14) all follow from (4.29) plus k_μ-symmetry. If leading robust singularities receive comparable non-factorized m1,m2 contributions, the derivation collapses even for defect-constructible states. The free-field examples in Sec. 3.3 and Appendix C test individual states and do not establish the general factorization; in fact, the bilocal example (3.45)-(3.47) shows that non-factorized couplings produce k_μ-symmetric singularities that must be excluded by hand through the robustness criterion. The paper should either prove (4.29) in a well-defined framework for asymptotic defect operators, or state the main theorem explicitly as conditional on this assumption and provide independent evidence that (4.29) holds in the relevant sectors.","section":"Sec. 4.2, Eq. (4.29)"},{"comment":"The main theorem is stated for 'defect constructible' states, but the paper does not prove that generic W_P states, and in particular the near-horizon limits of black hole Hartle-Hawking and Unruh states, belong to this class. The text explicitly leaves this open ('we do not wish to make this claim without further investigation'). The CFT argument in Sec. 4.1 covers only CFT states that extend to the Weyl cylinder C, not arbitrary QFTs, and itself assumes a bilocal defect representation of the Euclidean state. Because the abstract and introduction state the black-hole prediction (1.14) without prominently displaying this condition, the scope of the result is currently overstated. I recommend either proving that the relevant states are defect constructible in a well-defined class of theories, or restating the predictions as conditional and moving the identification to the status of a conjecture.","section":"Sec. 4.2, Definition 1 and Sec. 5"},{"comment":"Equation (1.14) is derived via the strict ℓ→∞ W_P limit, but Eq. (5.4) shows that this limit erases any singularity suppressed by powers of ℓ. Therefore (1.14) applies only to robust singularities that survive the strict near-Cauchy-horizon limit; the paper does not provide a criterion guaranteeing that the leading Hartle-Hawking or Unruh singularities satisfy this survival condition in arbitrary dimension. The domain of validity of the central prediction should be stated precisely in the abstract and introduction.","section":"Sec. 5, Eqs. (5.3)-(5.5)"}],"minor_comments":[{"comment":"There are typos: 'mildnesss puzzle' in Sec. 2 and 'the two points the the λ→∞ limit' in Sec. 4.1 should be corrected.","section":"Sec. 2 and Sec. 4.1"},{"comment":"The definition of the asymptotic expansion (4.18) should specify an ordering of the terms by decreasing degree of divergence and the sense in which the leading coefficient (P^{(i)}_ω)^{(0)} is unique; otherwise the robustness condition (4.20) is ambiguous.","section":"Sec. 4.2, Eqs. (4.18)-(4.20)"},{"comment":"The notation Γ^{(m)}(W^±_∞) denotes a λ→∞ limit of operator-valued distributions, but no convergence topology or statement about the resulting object as a W0 correlation function is given; a short clarifying paragraph would improve rigor.","section":"Sec. 4.2, Eq. (4.23)"},{"comment":"The notation O(((UV/ℓ²)^p, (y^A/ℓ)^q)) conflates two different small parameters; please split the two remainder estimates.","section":"Sec. 5, Eq. (5.3)"}],"recommendation":"major_revision","confidential_remarks":"The paper is transparent and well-written; the main issue is whether the asymptotic OPE/factorization (4.29) can be made rigorous. I would be comfortable with a revised version that either proves (4.29) in a suitable axiomatic setting or explicitly labels the central result as a conditional theorem and provides a concrete nontrivial check of the factorization, for example in an interacting model where the defect OPE is under control. The strong black-hole claim in the abstract and introduction should be tempered to reflect the admitted defect-constructibility and W_P-limit assumptions. The scope of the paper is appropriate for JHEP."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear X,\n\nThe paper is a serious, well-organized attempt to explain why Cauchy horizon singularities are milder than dimensional analysis suggests. Its main new ingredients are a defect-operator construction of wedge states (Eqs. 3.11 and 3.16), a CFT argument that a large class of states descends from a bilocal defect, and a concrete \"mild singularity ansatz\" (4.33)-(4.34) that reproduces the numerical 1/V^2 stress-tensor behavior and predicts constraints on all robust singularities in d>2 black hole Cauchy horizons.\n\nThe paper does several things well. The derivations are transparent, the free-field examples in Sec. 3.3 are explicit and internally consistent, and the author consistently labels assumptions instead of hiding them. The single self-citation is used as motivation, not as a prop. The k-index ansatz is a sharp, falsifiable statement, and the paper checks that its own counterexample (3.46) is non-robust in Appendix C, which is the right kind of self-discipline.\n\nThe soft spot is the one the author flags after Eq. (4.28): the factorization (4.29), which extends the OPE to asymptotic defect operators Γ(W±∞), is simply assumed. That factorization is the engine of the paper. If it fails, the smooth-extension property (4.30) and the mildness bound do not follow. The free-field examples test individual states, not the general principle; they are consistency checks, not a proof. The bilocal defect (3.45)-(3.47) is actually a warning: non-factorized couplings produce exactly the kind of singularity the ansatz forbids, and they are excluded only by declaring them non-robust. So the core derivation is conditional on an unproven technical assumption. A second limitation is that the ansatz only constrains robust singularities, and the paper offers no general criterion for robustness; numerical results are cited for specific cases, but the gap is real. Finally, the claim that all black hole HH/Unruh states in the strict near-horizon limit are defect-constructible is plausible but unproven; the CFT argument in Sec. 4.1 covers a restricted class of states.\n\nNone of this is a reason to reject. The paper is honest about what it assumes, and the framework is productive: it organizes known numerics, makes new predictions, and gives later work a clear target. I'd bring it to the reading group.\n\nSend it to peer review. A referee should focus on whether (4.29) can be justified or weakened, and on whether defect-constructibility can be argued for black hole states. The paper deserves to be in the literature.","headline":"A well-written proposal that derives a mildness bound for Cauchy horizon singularities from a defect-operator construction, with the key factorization step explicitly assumed rather than proven.","tokens_in":32357,"tokens_out":3193,"would_cite":true,"duration_ms":30252,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.62.+v","04.70.Dy"],"model":"deepseek-v4-flash","headline":"The paper establishes that robust quantum singularities on any Killing Cauchy horizon obey a universal mildness bound set by the operator's tensor structure, rather than by the spacetime dimension.","keywords":["Cauchy horizon","quantum field theory on curved spacetime","stress-energy tensor divergence","past Rindler wedge","defect operators","microlocal spectrum condition","robust singularity","semiclassical gravity"],"falsifier":"A direct numerical computation of $\\langle T_{VV}\\rangle$ in the Hartle-Hawking state of a free scalar on a four-dimensional Reissner-Nordström spacetime would settle the prediction: if the leading divergence at the Cauchy horizon has the dimensional-analysis form $1/(U V^3)$ rather than the mild $1/V^2$, the ansatz (4.33) is false. A second, more internal test is to perturb the defect state (3.46) by arbitrary smeared fields and check whether its $\\langle\\phi^2\\rangle\\sim 1/(UV)$ leading singularity is unstable; if it were stable, the robustness criterion would fail to exclude the forbidden power law.","tokens_in":31221,"feed_emoji":"🕳️","tokens_out":11638,"duration_ms":105435,"temperature":0.7,"pith_summary":"Quantum field theory on a smooth black hole background can develop divergences on Cauchy horizons—for example $\\langle T_{\\mu\\nu}\\rangle$ blows up—and the paper's question is which divergences are allowed. It claims that robust singularities, whose leading divergent behavior is the same for every state in the quantum sector, obey a universal mildness bound: they can be no stronger than $1/V^k$ when the operator has $k$ more $V$-indices than $U$-indices, and no power law at all when $k\\le 0$. The argument is made in the past Rindler wedge $W_P$, the universal near-horizon geometry of every black hole Cauchy horizon, using a construction in which all horizon singularities are generated by operator insertions in the causal complement of the wedge. This reproduces the known mild $\\langle T_{VV}\\rangle\\sim V^{-2}$ and $\\langle T_{VA}\\rangle\\sim V^{-1}$ behaviors and forbids the stronger singularities that symmetry and dimensional analysis alone would permit. If correct, the paper turns the numerical \"mildness puzzle\" into a prediction for all Hartle-Hawking and Unruh sector Cauchy horizons.","feed_headline":"One bound fixes how badly fields can blow up at Cauchy horizons","feed_subtitle":"Why stress-energy divergences at black-hole inner horizons are far milder than dimensional analysis predicts.","key_machinery":"The load-bearing object is the class of \"defect constructible\" states defined by Eq. (4.16): states of the past Rindler wedge obtained by taking a smooth state of Minkowski space, inserting an operator-valued distribution $D(W^c_\\lambda)$ supported in the causal complement of a growing family of wedges $W_\\lambda$, and sending $\\lambda\\to\\infty$. The microlocal spectrum condition forces the defect into the causal complement so that its singularities cannot leak into the wedge improperly. The decisive step is the factorization assumption (4.29): robustness of a singularity implies that its leading term is controlled by $\\langle \\Gamma(W^-_\\infty)\\rangle\\,\\langle \\Gamma(W^+_\\infty)\\Phi(x)\\rangle$, with the defect on the $W^+$ branch alone; because that branch is spacelike separated from $V<0$, the leading term extends smoothly to $U=0$, and the mildness ansatz follows once $k_\\mu$-symmetry is imposed.","core_discovery":"The central claim is that the mildness of Cauchy horizon singularities is not an accident of free-field numerics but a structural consequence of where the singularity lives in the spacetime. The author proposes that every horizon singularity of a wedge state is produced by defect operators inserted in the causal complement, and that in the past Rindler wedge these defects collapse onto two asymptotic generators $W^\\pm_\\infty$ of past null infinity. Under the assumption that a robust singularity—one whose leading divergence is the same for every state in the GNS sector—forces the factorized structure (4.29), the leading term has a smooth extension to the $U=0$ portion of the horizon. Combining that smooth-extension property with $k_\\mu = V\\partial_V - U\\partial_U$ symmetry yields the ansatz (4.33)-(4.34): an operator with $k$ more $V$-indices than $U$-indices can diverge at most as $V^{-k}$ for $k>0$, and must be milder than any power law for $k\\le 0$. The stress-tensor consequence is that the dimensional-analysis blow-up $\\langle T_{\\mu\\nu}\\rangle \\sim (U^{(d-k)/2}V^{(d+k)/2})^{-1}$ is forbidden for robust singularities.","pith_inferences":["Beyond the paper: if, as the author conjectures, every state of $W_P$ is defect constructible, then the mildness bound would hold for all $k_\\mu$-symmetric QFT states in the past Rindler wedge, not only for robust singularities; the paper only proves it for the defect-constructible class.","Beyond the paper: the same defect-operator logic may constrain subleading terms and higher-point functions, since the factorization (4.29) applies to any operator satisfying the smooth-extension condition even when the singularity is not robust; computing these subleading terms could yield testable predictions for the rate at which semiclassical gravity breaks down.","Beyond the paper: the bound allows logarithmic divergences (any $o(1/V^\\epsilon)$ behavior) for operators with $k\\le 0$; identifying which defect operators produce logarithms and whether black hole states select them would sharpen the mildness puzzle.","Beyond the paper: the construction could be carried out directly for Kerr-Newman interiors by choosing the smooth extension of the metric below $r=r_-$, as sketched in Sec. 5; a numerical implementation would test the ansatz beyond the strict $W_P$ limit."],"forward_implications":["Any robust Cauchy horizon singularity that survives the strict near-horizon limit in the Hartle-Hawking or Unruh sector must satisfy the ansatz (4.33)-(4.34), including the prohibition of the dimensional-analysis stress-tensor form (1.14).","The known numerical results—$\\langle T_{VV}\\rangle\\sim V^{-2}$, $\\langle T_{VA}\\rangle\\sim V^{-1}$, and finite $\\langle \\phi^2\\rangle$ in $d=4$—become special cases of a single bound rather than separate coincidences.","Outer-horizon singularities in wrong-temperature states (such as the Boulware state) are also reproduced by the defect construction, but they are not mild; the construction therefore explains the physical difference between outer and Cauchy horizons.","Robustness is a property of the quantum sector, not of a particular state: a singularity can evade the bound only if its leading term changes when the state is perturbed within the sector.","The same construction can be applied directly to a black hole interior by extending the metric smoothly below the inner horizon, which would extend the mildness analysis beyond the strict $W_P$ limit."],"supporting_citations":[{"why":"supplies the original d=2 derivation that $\\langle T_{VV}\\rangle\\sim 1/V^2$ in the Hartle-Hawking state, the datum the mildness puzzle starts from.","marker":"[15]"},{"why":"provides the numerical $\\langle T_{VV}\\rangle$ and $\\langle T_{VA}\\rangle$ results at the inner horizon of a spherical charged black hole that the ansatz reproduces.","marker":"[18]"},{"why":"derives quantum instability of the Reissner-Nordström-de Sitter Cauchy horizon, one of the robust-singularity examples the paper relies on.","marker":"[22]"},{"why":"computes the quantum stress tensor at the RNdS Cauchy horizon and supplies evidence for robustness of $\\langle T_{VV}\\rangle$.","marker":"[23]"},{"why":"establishes universality of the quantum energy flux at the inner horizon of asymptotically de Sitter black holes, another robustness input.","marker":"[29]"},{"why":"provides the axiomatic QFT framework, including the microlocal spectrum condition and OPE assumptions, on which the defect construction is built.","marker":"[28]"},{"why":"gives the method-of-images/twist-defect construction used for wrong-temperature outer-horizon states, a key comparison class.","marker":"[30]"},{"why":"supplies the defect-operator formalism in CFT that the paper draws on for defect OPEs and the factorization step.","marker":"[41]"}],"fun_headline_variants":["Cauchy horizon blow-ups tamer than symmetry predicts","Why black hole inner horizons have mild quantum singularities","Quantum singularity mildness from causal complement defects","Structural reason behind mild Cauchy horizon blow-ups","New QFT framework tames inner horizon stress-energy divergence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole bound rests on assuming that a robust singularity is controlled by just one of the two asymptotic operator insertions, so that its leading term factorizes into a product of a one-point and a two-point function; this extends the operator product expansion, proven for local operators, to operators sitting at infinity, and the paper assumes it rather than proves it.","fun_headline_variants_meta":{"raw":{"variants":["Cauchy horizon blow-ups tamer than symmetry predicts","Why black hole inner horizons have mild quantum singularities","Quantum singularity mildness from causal complement defects","Structural reason behind mild Cauchy horizon blow-ups","New QFT framework tames inner horizon stress-energy divergence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000187,"raw_usage":{"total_tokens":1399,"prompt_tokens":1087,"completion_tokens":312,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":703,"completion_tokens_details":{"reasoning_tokens":239}},"tokens_in":703,"tokens_out":312,"duration_ms":3822,"temperature":1.0,"reasoning_tokens":239,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T18:04:51.887855+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct numerical computation of $\\langle T_{VV}\\rangle$ in the Hartle-Hawking state of a free scalar on a four-dimensional Reissner-Nordström spacetime would settle the prediction: if the leading divergence at the Cauchy horizon has the dimensional-analysis form $1/(U V^3)$ rather than the mild $1/V^2$, the ansatz (4.33) is false. A second, more internal test is to perturb the defect state (3.46) by arbitrary smeared fields and check whether its $\\langle\\phi^2\\rangle\\sim 1/(UV)$ leading singularity is unstable; if it were stable, the robustness criterion would fail to exclude the forbidden power law.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the original d=2 derivation that $\\langle T_{VV}\\rangle\\sim 1/V^2$ in the Hartle-Hawking state, the datum the mildness puzzle starts from."},{"cited_title":"Universality of the quantum energy flux at the inner horizon of asymptotically de Sitter black holes","cited_arxiv_id":"2310.19655","evidence_quote":"establishes universality of the quantum energy flux at the inner horizon of asymptotically de Sitter black holes, another robustness input."}],"review_version":1}