{"id":"0b084826-f3da-4413-bf48-12a1ae9107b3","arxiv_id":"2411.08540","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Flat-space S-matrix elements and Liénard-Wiechert antipodal matching are shown to arise from AdS geodesics that hit the AdS conformal boundary at specific global times.","lead":"This paper uses paths in anti-de Sitter space to explain how flat-space particle scattering and a subtle matching condition for electric fields can emerge from the AdS/CFT correspondence. It derives a travel time for massless and massive particles to the AdS boundary, then moves to flat space by taking the AdS radius to infinity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central S-matrix construction (Eq. 4.1) is assumed, not derived, and is verified only against the free-field 2-point function; no interacting amplitude is computed.","rationale":"The reader's weakest assumption identifies exactly the gap that I find most load-bearing: Eq. (4.1) is not derived from the bulk path integral or from HKLL reconstruction, and the only support is the free-field 2-point function, which is a normalization statement rather than a test of scattering. The geodesic travel-time computation itself (Sections 3–4) is straightforward and correct for single-particle kinematics, and the Liénard-Wiechert part (Section 7) appears sound as classical electrodynamics in AdS; these are genuine pieces of progress. But the advertised central claim—constructing flat-space scattering amplitudes from boundary operator insertions—requires the formula to work for interacting amplitudes, e.g., 4-point connected correlators, and the paper provides no such computation. The saddle-point justification is also loose: with a phase linear in τ, the dominance of the geodesic time must come from the correlator, and the only correlator studied is the free two-point function. For massive particles, the complex shift of the insertion time adds an analytic-continuation assumption that is not examined. These are not internal contradictions, but they are unproven steps, and the paper itself flags them by saying the detailed bulk reconstruction is avoided. Thus the appropriate verdict is conditional acceptance after a derivation or a nontrivial amplitude check, which is exactly the reader's verdict; my stress-test does not move it.","tokens_in":21788,"tokens_out":11932,"duration_ms":100837,"concrete_test":"Compute a nontrivial flat-space amplitude from the prescription. Take a bulk scalar with a λφ^4 interaction in AdS_4, compute the connected 4-point CFT correlator to first order in λ, apply Eq. (4.1) to each of the four external legs (with massless and/or massive geodesic travel times), take the L→∞ limit, and compare with the known flat-space tree-level 4-point amplitude. If the result does not match after standard normalization, the construction fails; if it matches, the concern is settled. A cheaper analytical check is to derive Eq. (4.1) from the HKLL bulk reconstruction of a free bulk operator and the standard flat-space mode decomposition, showing that the geodesic travel time emerges as the saddle point rather than being inserted by hand.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that flat-space scattering amplitudes follow from Eq. (4.1), a formula that places boundary operator insertions at AdS geodesic travel times. Section 4.1 explicitly states that the authors 'avoid the detailed steps of bulk operator reconstruction' and 'directly write down the formulas using a saddle-point approximation.' The only check, in Section 6, is the 2-point function, which is fixed by conformal symmetry and yields the free-field normalization 2ωδ^3(p−p'); it carries no information about interactions. No 4-point or higher connected correlator is shown to produce a flat-space amplitude in the L→∞ limit. Moreover, the 'saddle-point' argument is not a standard stationary-phase calculation: the phase in Eq. (4.1) is linear in τ, so dominance by τ = geodesic travel time must come from the spectral phase of the CFT correlator, a property verified only for the free-field two-point function. For massive particles, the insertion points are shifted into the complex τ plane, which requires an analytic continuation of CFT correlators and a contour deformation that is asserted but not justified. Thus the central claim—that the flat-space S-matrix can be constructed this way—is currently a postulate supported only by the trivial free-field two-point function.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"Using global AdS_4 and its embedding in R^{3,2}, the paper computes the global-time travel of radial null and timelike geodesics from the origin to the conformal boundary, obtaining Δτ=π/2 for massless and Δτ=π/2+(i/2)log((ω_p+m)/(ω_p-m)) for massive particles. It then proposes, in Eq. (4.1), that flat-space creation and annihilation operators can be obtained from boundary operator integrals with phases iω_p L(τ∓geodesic travel time), and attempts to verify this by a spectral-decomposition computation of the two-point function in Section 6. In the second half, the paper constructs the Liénard-Wiechert field of a boosted charge in AdS by applying SO(3,2) boosts to the static solution and shows that, along null geodesics to the boundary in the L→∞ limit, the field obeys the antipodal matching expected at flat-space spatial infinity.","tokens_in":21946,"tokens_out":20958,"duration_ms":185423,"significance":"The proposed geodesic-time insertion rule would be an appealing short-cut to flat-space S-matrix elements from CFT data, and the SO(3,2)-boost derivation of antipodal matching connects the flat-holography literature to classical electrodynamics in AdS. The geodesic travel-time formulas and the flat-space Liénard-Wiechert limits are presented transparently. However, the main S-matrix statement is an ansatz rather than a derivation, and its only quantitative check—the free two-point function—contains algebraic, normalization, and sign errors. The paper does not provide an interacting amplitude or a derivation of the saddle-point dominance from HKLL reconstruction; the antipodal-matching computation is also affected by an error in the seed static field. These issues are fixable, but they currently leave the advertised central claims unsupported.","major_comments":[{"comment":"The central construction is assumed, not derived. The text states that the authors 'avoid the detailed steps of bulk operator reconstruction' and 'directly write down the formulas using a saddle-point approximation.' But Eq. (4.1) has a phase that is linear in τ, so a standard saddle point in the τ integral does not exist; the selection of τ=geodesic travel time must come from the spectral phase of the CFT correlator. No derivation from the bulk path integral or HKLL reconstruction is given, and the only check in Section 6 is the free-field two-point function, which is fixed by conformal symmetry and carries no information about interactions. The paper should either derive Eq. (4.1) or explicitly present it as a conjecture and test it on a connected four-point function; otherwise the claim that flat-space amplitudes can be constructed this way is not established.","section":"§4.1, Eq. (4.1)"},{"comment":"The massless two-point calculation contains large-L counting and normalization errors. After the substitutions τ-π/2=t/L and τ'+π/2=t'/L, the measure is dτ dτ'=L^{-2}dt dt'; Eqs. (6.7) and (6.9) instead contain a factor L^2, changing the L-scaling by four powers. In addition, substituting the normalization constant from Eq. (6.11) into Eq. (6.10) gives G=2π δ^{(3)}(p_1-p_2), not the claimed G=2ω_{p1} δ^{(3)}(p_1-p_2) in Eq. (6.12); the factor 2ω is missing. The step from Eq. (6.9) to Eq. (6.10) also omits the density of states and the scaling of the spectral coefficients C_{n,l} needed to convert the sum over n,l,m into a three-dimensional delta function. Since this is the only check of the massless construction, the calculation must be redone.","section":"§6.1, Eqs. (6.7)-(6.12)"},{"comment":"The massive phases are inconsistent with the stated geodesic travel times. For an outgoing insertion at τ=π/2+(i/2)log((ω_2+m)/(ω_2-m)), Eq. (4.1) requires a phase exp[iω_2 L(τ-π/2-(i/2)log(...))]. Eq. (6.13) instead contains exp[-iω_2 L(π/2-(i/2)log(...)-τ)] = exp[iω_2 L(τ-π/2+(i/2)log(...))], which is stationary at π/2-(i/2)log(...), the opposite sign. Eq. (6.14) is stationary at -π/2+(i/2)log(...), while Eq. (6.15) assigns incoming insertions the shift -i/2 log(...). Consequently, the statement that the extra exponential drops when both insertions have Im τ=+1/2 log is not obtained from the written integrals. The contour signs and the saddle points need to be corrected before the massive two-point check can be assessed.","section":"§6.2, Eqs. (6.13)-(6.19)"},{"comment":"The static seed solution used for the AdS Liénard-Wiechert derivation is not computed correctly. If A_τ=Q cotρ is a covariant component, then ∂_ρ A_τ=-Q csc^2ρ and the connection term -tanρ A_τ=-Q gives F_{ρτ}=-Q(csc^2ρ+1); if A^τ=Q cotρ is an upper component, the covariant component is A_τ=-L^2 sec^2ρ Q cotρ and the field strength is different again. The expression in Eq. (7.25), -Q(cosρ+sin^2ρ)/sin^2ρ, matches neither. Since the boosted field in Eq. (7.40) is built from this seed, the derivation of the AdS Liénard-Wiechert field is not self-consistent as written; the limiting antipodal-matching results in Section 7.4 should be re-derived from the correct seed.","section":"§7.3, Eq. (7.25)"}],"minor_comments":[{"comment":"In going from Eq. (6.6) to Eq. (6.7), the arguments of the two operators are changed from (τ, p̂2) and (τ', -p̂1) to (t/L+π/2, p̂1) and (t'/L-π/2, -p̂2). The momentum labels should be tracked consistently.","section":"§6.1, Eqs. (6.6)-(6.7)"},{"comment":"The text refers to 'incoming modes with negative ω_p'; for incoming particles the energy should be positive. Please clarify the intended sign convention.","section":"§6.2, text below Eq. (6.15)"},{"comment":"Reference [25] has a corrupted author name ('Soko/suppress lowski'); it should presumably read L. M. Sokołowski.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is on a timely topic and the geodesic/LW part could become a useful contribution, but the S-matrix part as written is an unsupported ansatz and the two-point check has sign and normalization errors. I would be willing to reconsider after a faithful revision: either derive Eq. (4.1) from a known bulk reconstruction procedure or state its conjectural status, and redo Section 6 with correct measure, phases, and normalization. The antipodal matching section should also be checked against the correct static AdS field."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two very different papers live inside this one. The Liénard-Wiechert half (Section 7) is solid and new. Boosting a static charge in AdS with SO(3,2) isometries and taking the boundary limits at τ→±π/2 to recover the flat-space antipodal matching is a genuine computation, and the result — matching at Δτ=π becoming flat-space antipodal matching near i0 — checks out. The explicit field-strength expression is a mess, but the limits reproduce the flat-space formulas with the right γ and β factors. This part is publishable as it stands, though the flat-limit conversion in Section 7.4 is quick: the coordinate change τ=t/L, tanρ=r/L is stated more than demonstrated.\n\nThe other half is the problem. The claim that flat-space S-matrix elements come from boundary operator insertions at geodesic travel times, Eq. (4.1), is a postulate, not a derivation. Section 4.1 says the authors are 'directly writing down the formulas using a saddle-point approximation,' but the phase in (4.1) is linear in τ. There is no stationary point. What actually produces the delta functions in Section 6 is the spectral phase of the free-field two-point function — a Fourier-transform argument that happens to work for the free field, not a saddle-point argument that generalizes.\n\nThe stress-test note is right on the central point: the only check is the 2-point function, which is fixed by conformal symmetry and carries no information about interactions. No 4-point function is attempted. To its credit the paper is honest — the conclusions say 'as a simple check, we reproduced the 2-point function' — but the abstract sells it as 'we show that flat space scattering amplitudes can be constructed.' A referee should hold the abstract to the evidence.\n\nWhere I'd soften the reader's take: circularity burden 8.0 is too harsh. The geodesic travel times are computed independently from the geometry; the agreement with the known insertion positions from [12-15] is either a coincidence or a sign that the geometric picture has content. Under-supported, not reverse-engineered. The complex-τ insertion for massive particles is a genuinely nice observation, though the contour deformation needed to justify it is asserted, not proven.\n\nWho this is for: the flat-space holography and infrared-structure crowd — celestial and Carrollian holographers, asymptotic-symmetry people. The LW computation is a real reference point; the geodesic picture is a useful organizing idea even where the derivation lags.\n\nSend it to peer review. The LW half alone justifies referee time, and the S-matrix half could survive if reframed as a conjecture with the free-field check as evidence, plus a 4-point test. Conditional-accept-with-major-revision, not a desk reject.","headline":"A solid AdS Liénard-Wiechert computation carries a paper whose S-matrix construction is a stated postulate, not a derivation; worth refereeing, with heavy revision expected.","tokens_in":22550,"tokens_out":8052,"would_cite":true,"duration_ms":64091,"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 shows that flat-space scattering amplitudes can be constructed from CFT boundary operators inserted at the points where AdS geodesics hit the boundary, and that the same geodesic times produce the antipodal matching of…","keywords":["AdS/CFT correspondence","flat space limit","AdS geodesics","scattering amplitudes","Liénard-Wiechert fields","antipodal matching","null infinity","SO(3,2) isometries"],"falsifier":"Compute a boundary three-point correlation function in a weakly coupled scalar theory with a cubic interaction, apply the geodesic insertion prescription of equation (4.1) to each external leg, and take the $L\\to\\infty$ limit; if the result does not match the flat-space three-particle S-matrix element obtained by the standard reduction of correlation functions to scattering amplitudes, the saddle-point construction does not extend beyond free fields.","tokens_in":21522,"feed_emoji":"⏱️","tokens_out":20012,"duration_ms":153979,"temperature":0.7,"pith_summary":"This paper tries to establish that the flat-space limit of AdS/CFT can be understood directly through geodesics in Anti-de Sitter space, without relying on the usual step of bulk operator reconstruction. Its central claim is that flat-space creation and annihilation operators can be written as integrals over boundary CFT operators whose insertion times are the travel times of particle geodesics to the AdS boundary: $\\pi/2$ for massless particles and $\\pi/2 + (i/2)\\log((\\omega_p+m)/(\\omega_p-m))$ for massive ones. As the AdS radius grows, the phase in the integral oscillates rapidly except at those times, so a saddle-point argument picks out a narrow window of operator insertions. The paper verifies this prescription by reproducing the free-field 2-point scattering amplitude for massless and massive scalars, then applies the same geodesic logic to electromagnetism: a boosted charge in AdS, obtained by an isometry from a static charge, produces field strengths that are antipodally matched between boundary regions separated by a global time difference of $\\pi$, which becomes the flat-space antipodal matching near spatial infinity in the large-radius limit. A sympathetic reader would care because this offers a concrete, geometric way to extract flat-space observables from the boundary CFT.","feed_headline":"CFT operators at geodesic times produce flat-space amplitudes","feed_subtitle":"The same times that set operator insertions also explain flat-space antipodal matching.","key_machinery":"The key object is the geodesic travel time from the origin of global AdS to its conformal boundary: $\\Delta\\tau = \\pi/2$ for null geodesics and $\\Delta\\tau = \\pi/2 + (i/2)\\log((\\omega_p+m)/(\\omega_p-m))$ for timelike geodesics of a particle with energy $\\omega_p$ and mass $m$. This single number appears in the phase of the boundary integral representation of flat-space creation and annihilation operators, $a_{\\text{out/in}} \\sim \\int d\\tau \\, e^{i \\omega_p L (\\tau \\mp \\Delta\\tau)} O(\\tau, \\pm\\hat{p})$. The argument relies on a large-$L$ saddle-point approximation: the rapidly oscillating phase selects a narrow $O(1/L)$ window of global time around the geodesic arrival time, turning the boundary operator integral into a wavepacket extractor. For the electromagnetic part, the machinery is the isometry group $\\mathrm{SO}(3,2)$ of AdS: starting from the static Coulomb solution, a boost along the particle's momentum produces the Liénard-Wiechert field of a moving charge, and the field strength is then compared at boundary points related by the antipodal map, which keeps $\\rho$ invariant and sends $\\tau$ to $\\tau+\\pi$ and $\\hat{x}$ to $-\\hat{x}$.","core_discovery":"The paper's central claim is that the flat-space S-matrix can be read off from boundary CFT correlators by evaluating operators at the arrival times of geodesics in global AdS. For a massless scalar of momentum $p$, the outgoing creation operator is written as $a^\\dagger_{\\text{out},p} \\sim \\int d\\tau \\, e^{i \\omega_p L (\\pi/2 - \\tau)} O(\\tau, \\hat{p})$, with the incoming operator sitting at $\\tau = -\\pi/2$; for a massive particle of mass $m$ and energy $\\omega_p$, the arrival time is complex, $\\tau = \\pi/2 + (i/2)\\log((\\omega_p+m)/(\\omega_p-m))$, reflecting the fact that timelike geodesics in AdS never reach the boundary at real times. The exponential phase is engineered so that, as $L\\to\\infty$, only a window of width $O(1/L)$ around these times contributes, which is the geodesic-dominance (saddle-point) mechanism. The paper then constructs the Liénard-Wiechert field of a uniformly moving charge in AdS by applying an $\\mathrm{SO}(3,2)$ boost to the static Coulomb solution, and shows that the leading field strengths on the boundary regions at $\\tau = \\pi/2$ and $\\tau = -\\pi/2$ are antipodally matched: the field at direction $\\hat{x}$ on the 'future' region equals the field at $-\\hat{x}$ on the 'past' region. In the flat limit this becomes exactly the antipodal matching condition at spatial infinity, $\\lim_{r\\to\\infty} r^2 F_{ru}(\\hat{x})|_{I_-^+} = \\lim_{r\\to\\infty} r^2 F_{rv}(-\\hat{x})|_{I_+^-}$, the matching condition conjectured in the study of the infrared structure of gauge theories.","pith_inferences":["If the saddle-point dominance holds in interacting theories, the same geodesic dictionary should produce flat-space three- and higher-point amplitudes from CFT correlators; a natural test is to compute the flat limit of a boundary three-point function and compare it with the known flat-space cubic amplitude.","The complex arrival time for massive particles suggests a dictionary between massive flat-space particles and CFT operators at imaginary global times, which may connect to analytic continuations used in celestial-holography approaches and to recent constructions of massive Carrollian fields at timelike infinity.","The antipodal matching obtained from a single boost suggests that any free field with a known static solution in AdS can be carried by isometries to a moving solution with the same $\\Delta\\tau=\\pi$ matching; generalizing to arbitrary trajectories or to gravitational perturbations would be a strong test of the proposal.","The geodesic perspective may offer a way to derive infrared effects such as soft theorems and memory from AdS/CFT, since these effects are tied to the same spatial-infinity matching that the paper reproduces."],"forward_implications":["The free-field 2-point scattering amplitude is reproduced from CFT correlators for both massless and massive scalars after fixing a normalization constant, so the geodesic insertion prescription is consistent with the standard flat-space result.","Massive particles are naturally incorporated by allowing complex insertion times; the imaginary shift $\\frac{1}{2}\\log\\frac{\\omega_p+m}{\\omega_p-m}$ encodes the boost factor and shows that timelike infinity in flat space is reached by analytic continuation in the CFT global time.","The antipodal matching of flat-space Liénard-Wiechert fields is derived rather than assumed: it follows from the $\\Delta\\tau = \\pi$ antipodal identification of AdS boundary regions, which becomes the spatial-infinity matching in the flat limit.","The construction provides a shortcut to flat-space amplitudes that bypasses explicit bulk reconstruction: once the geodesic travel time is known, the dictionary equation gives the S-matrix elements directly from boundary operators.","The mapping of CFT boundary strips around $\\tau = \\pm \\pi/2$ to future and past null infinity $I^\\pm$, and the intervening region to spatial infinity, is a direct geometric consequence of the geodesic travel times."],"supporting_citations":[{"why":"Supplies the flat-space creation and annihilation operator formulas from CFT boundary operators that this paper reinterprets via geodesics.","marker":"[12]"},{"why":"Provides the boundary operator insertions and the mapping of boundary strips to future and past null infinity used in the massless construction.","marker":"[13]"},{"why":"Extends the operator dictionary to massive scalars, giving the complex-time insertion structure that the paper derives from geodesic travel times.","marker":"[14]"},{"why":"Gives a lower-dimensional example of the flat-limit scattering construction that motivates the geodesic-based approach in this paper.","marker":"[15]"},{"why":"Established the antipodal identification of AdS boundary points (time shift by $\\pi$ and direction reversal) that underlies the matching condition.","marker":"[26]"},{"why":"States the flat-space antipodal matching condition for Liénard-Wiechert fields that the paper reproduces from AdS geodesics in the flat limit.","marker":"[31]"}],"fun_headline_variants":["Flat-space amplitudes from AdS geodesic times","Antipodal matching via AdS Liénard-Wiechert fields","Boundary geodesics connect CFT to flat scattering","AdS boosts yield flat-space antipodal matching","Geodesic times in AdS reproduce flat-space S-matrix"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The dictionary rests on the assumption that in the large-radius limit, the oscillatory phase in the boundary integral localizes to a narrow window around the geodesic travel time; if this saddle-point dominance fails in interacting theories, the central claim collapses.","fun_headline_variants_meta":{"raw":{"variants":["Flat-space amplitudes from AdS geodesic times","Antipodal matching via AdS Liénard-Wiechert fields","Boundary geodesics connect CFT to flat scattering","AdS boosts yield flat-space antipodal matching","Geodesic times in AdS reproduce flat-space S-matrix"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001152,"raw_usage":{"total_tokens":4840,"prompt_tokens":1075,"completion_tokens":3765,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":691,"completion_tokens_details":{"reasoning_tokens":3683}},"tokens_in":691,"tokens_out":3765,"duration_ms":25648,"temperature":1.0,"reasoning_tokens":3683,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T21:30:25.001400+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute a boundary three-point correlation function in a weakly coupled scalar theory with a cubic interaction, apply the geodesic insertion prescription of equation (4.1) to each external leg, and take the $L\\to\\infty$ limit; if the result does not match the flat-space three-particle S-matrix element obtained by the standard reduction of correlation functions to scattering amplitudes, the saddle-point construction does not extend beyond free fields.","supporting_citations":[],"review_version":1}