Pith. Sign in

REVIEW

Soft-photon theorem near static spherical horizons in generic dimensions

High Energy Physics - Theory · Submitted 5 Oct 2026 · 73 references

Pith's verdict: A careful, honest derivation of a generic-D horizon Maxwell soft-photon relation with a genuine spherical-basis comparison to flat space; the D=4 check passes, and the acknowledged S-matrix Ward-identity assumption plus an unverified B-regularity condition are the load-bearing caveats a referee must probe.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 7, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2610.07498 (version 1)
Pith ID6LCIZMUI, Pith's permanent record of this paper and its review
CitationKai-Yu Zhang. "Soft-photon theorem near static spherical horizons in generic dimensions." arXiv:2610.07498 (2026). https://pith.science/paper/6LCIZMUI
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

This paper derives a soft-photon relation at any nonextremal static spherical horizon in D>3 dimensions and shows it matches the flat-space theorem only in D=4.

The reading

This paper sets out to show that Maxwell theory near any nonextremal static spherical horizon — a Schwarzschild–Tangherlini or Reissner–Nordström black hole, their asymptotically AdS counterparts, or a de Sitter cosmological horizon — in dimension $D>3$ obeys a soft-photon theorem of the same large-gauge-symmetry type as flat space, and to compare the two relations in a common basis. It first establishes that regular near-horizon boundary conditions in Eddington–Finkelstein coordinates keep both radiative and Coulombic data, so a smooth horizon supports Maxwell radiation with an ordinary integer-power radial expansion in every dimension, in contrast to null infinity where odd $D$ forces half-integer powers. It then quantizes the horizon modes with normalization fixed by the horizon symplectic form and derives the soft relation from the diagonal large-$U(1)$ Ward identity. The result is that in $D=4$ the horizon and flat-space soft relations have the same soft-frequency dependence and the same angular dependence of the hard-charge terms, while for $D>4$ the flat-space relation carries an extra frequency weight and an $\ell$-dependent angular factor that the horizon relation lacks.

What carries the argument

The load-bearing object is the diagonal large-$U(1)$ charge built from the near-horizon covariant phase space: the horizon symplectic form fixes the commutators of Killing-frequency spherical-harmonic modes, and the charge separates into a soft part (an integrated gradient of the Maxwell news) and a hard part (charged matter on the horizon). The soft-photon relation is exactly the Ward identity of this charge, obtained by assuming the horizon $S$-matrix preserves the diagonal charge with no flux through other boundaries. A second piece of machinery is the regular Eddington–Finkelstein near-horizon expansion in integer powers of $\rho = r-r_H$, which turns the Maxwell equations into a characteristic hierarchy and shows that a smooth horizon supports radiative data, with nonzero news and finite flux density, in every dimension $D>3$ with no even–odd distinction.

Extended reading notes

Core claim

The central claim is Eqs. (4.34)–(4.36): for each scalar harmonic $\ell\ge 1$, $\lim_{\omega\to 0^+}\omega\,\langle\mathrm{out}|\,bA^{S,\mathrm{out}}_{\omega\ell m}S + S\,bA^{S,\mathrm{in}\,\dagger}_{\omega\ell m}\,|\mathrm{in}\rangle = \frac{i g_D^2}{\pi r_H^{(D-4)/2}}\left[\sum_{j\in\mathrm{out}}q_j Y_{\ell m}(x_j) - \sum_{k\in\mathrm{in}}q_k Y_{\ell m}(x_k)\right]\mathcal{M}$, whose position-space form localizes the soft insertion on the horizon sphere at the angular positions of the hard charged particles. If correct, every nonextremal static spherical horizon in $D>3$ carries a soft-photon relation derived purely from the diagonal large-$U(1)$ Ward identity. The paper's central comparison then shows that in $D=4$ this horizon relation has the same soft-frequency dependence and the same angular dependence of the hard-charge terms as the flat-space leading soft-photon theorem written in the same spherical-harmonic basis and commutator normalization, while for $D>4$ the flat-space relation carries an extra frequency weight $\omega^{(6-D)/2}$ and an angular factor $\Gamma(\ell+1)/\Gamma(\ell+D-3)$ that are absent from the horizon relation.

Load-bearing premise

The derivation rests on two unproven premises: that the positive-Killing-frequency vacuum and modes used in the quantization are regular at the bifurcation sphere, and that the horizon S-matrix preserves the diagonal large-U(1) charge with no charge flux through other boundaries.

Editorial extensions

If this is right

  • If the central claim holds, any nonextremal static spherical horizon in $D>3$ — black hole, AdS, or de Sitter — emits soft photons according to one and the same relation, depending on the horizon radius $r_H$ and on the angular positions and charges of the hard particles alone.
  • In $D=4$, the horizon soft relation and the flat-space leading soft-photon theorem coincide in their soft-frequency and angular content, so the leading soft behaviour of the two scattering problems agrees in that dimension.
  • For $D>4$ the two differ explicitly, by the frequency weight $\omega^{(6-D)/2}$ and the angular factor $\Gamma(\ell+1)/\Gamma(\ell+D-3)$, and these differences cannot be absorbed into an overall normalization, making the dimensional split observable in principle.
  • The integer-power radial expansion of radiative data at a smooth horizon in every dimension, versus half-integer powers at odd-$D$ null infinity, shows the half-integer structure at null infinity is an asymptotic artifact rather than a generic requirement for radiation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A testable extension of the paper's logic: the explicit $D>4$ discrepancy between the horizon and flat-space soft relations could serve as a diagnostic for whether a soft photon in a higher-dimensional spacetime was emitted from a horizon or from a bulk scattering process, since the two carry different soft-frequency weights.
  • If the gravitational analogue, which the paper flags as natural next work, reproduces the same dimensional dichotomy, the $D=4$ versus $D>4$ split would become a robust organizing fact about soft behaviour at horizons rather than a peculiarity of Maxwell theory.
  • The bifurcation-sphere regularity gap in the argument suggests the honest way to complete it is a concrete construction of the horizon vacuum that is manifestly regular in $V=e^{\kappa v}$, which would also settle whether the positive-Killing-frequency sector is the physically correct one.
  • The paper's D=4 agreement, read together with its own disclaimer that the two scattering problems are not identified, hints that the leading soft structure itself, not the dynamics, is what is shared between horizon and flat-space cases in four dimensions.
Original abstract

We study Maxwell theory near a nonextremal bifurcate Killing horizon in a general static, spherically symmetric spacetime of dimension $D>3$. We impose near-horizon boundary conditions in a regular Eddington--Finkelstein chart that retain both radiative and Coulombic data, and construct the associated horizon phase space and large-$U(1)$ charge. At null infinity, the radiative falloff depends on the spacetime dimension and involves half-integer powers in odd $D$, whereas a nonextremal horizon at finite radius supports radiative data with an ordinary integer-power expansion. Expanding the horizon fields in Killing frequency and spherical harmonics, we derive the associated soft-photon relation from the large-$U(1)$ Ward identity. For comparison, we express the flat-space leading soft-photon theorem using the same spherical harmonics and commutator normalization as the horizon modes. In $D=4$, the two relations have the same soft-frequency dependence and the same angular dependence of the hard-charge terms, whereas for $D>4$ the flat-space relation contains additional dimension-dependent frequency and angular factors.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-07: 1 request, 5,098 input tokens.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.21 · human participants 0.01 · controlled comparison 0.23 · randomized assignment 0.01 · states quantitative result 0.19 · compares with prior results 0.95 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

We study Maxwell theory near a nonextremal bifurcate Killing horizon in a general static, spherically symmetric spacetime of dimension $D>3$. We impose near-horizon boundary conditions in a regular Eddington--Finkelstein chart that retain both radiative and Coulombic data, and construct the associated horizon phase space and large-$U(1)$ charge. At null infinity, the radiative falloff depends on the spacetime dimension and involves half-integer powers in odd $D$, whereas a nonextremal horizon at finite radius supports radiative data with an ordinary integer-power expansion. Expanding the horizon fields in Killing frequency and spherical harmonics, we derive the associated soft-photon relation from the large-$U(1)$ Ward identity. For comparison, we express the flat-space leading soft-photon theorem using the same spherical harmonics and commutator normalization as the horizon modes. In $D=4$, the two relations have the same soft-frequency dependence and the same angular dependence of the hard-charge terms, whereas for $D>4$ the flat-space relation contains additional dimension-dependent frequency and angular factors.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We study Maxwell theory near a nonextremal bifurcate Killing horizon in a general static, spherically symmetric spacetime of dimension $D>3$. contribution 0.80 0.88 0.04 asserted 0.93
s1 We impose near-horizon boundary conditions in a regular Eddington--Finkelstein chart that retain both radiative and Coulombic data, and construct the associated horizon phase space and large-$U(1)$ charge. method 0.85 0.95 0.07 asserted 1.00
s2 At null infinity, the radiative falloff depends on the spacetime dimension and involves half-integer powers in odd $D$, whereas a nonextremal horizon at finite radius supports radiative data with an ordinary integer-power expansion. result 1.00 0.68 0.11 asserted 1.00
s3 Expanding the horizon fields in Killing frequency and spherical harmonics, we derive the associated soft-photon relation from the large-$U(1)$ Ward identity. method 0.49 0.96 0.43 asserted 1.00
s4 For comparison, we express the flat-space leading soft-photon theorem using the same spherical harmonics and commutator normalization as the horizon modes. method 0.59 0.88 0.05 asserted 0.95
s5 In $D=4$, the two relations have the same soft-frequency dependence and the same angular dependence of the hard-charge terms, whereas for $D>4$ the flat-space relation contains additional dimension-dependent frequency and angular factors. result 0.98 0.83 0.55 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Local causal structure of the two nonextremal horizon orientations. The shaded region is static, lying at r > rH on the left and r < rH on the right. The diagrams show only the local horizon structure and do not specify the asymptotic boundary. The nonzero Christoffel symbols are Γ v vv = F ′ 2H , Γ v AB = − r H qAB, Γ r vv = F F′ 2H2 , Γ r vr = − F ′ 2H , Γ r rr = H′ H , Γ r AB = − rF H2 qAB, Γ A rB = 1 r δ A B, Γ A BC = ΓA BC[q]. (2.3) Here a prime denotes differentiation with respect to r. The horizon is located at r = rH > 0, where regular

Figures reproduced from arXiv:2610.07498 by the authors.

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.