{"id":"93e4630b-7f29-4d42-a89b-11c489ee0145","arxiv_id":"2411.09742","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Closed-form action and frequency formulas for spinning particles in Kerr spacetime are matched to the 1.5 post-Newtonian Hamiltonian of spinning binaries, yielding a gauge-invariant action dictionary.","lead":"This paper derives closed-form math formulas for how a small spinning object moves around a spinning black hole, then connects two different approximations used for colliding black holes. The connection, a gauge-invariant 'dictionary' between the two descriptions, could improve the template models used to detect gravitational waves from spinning binaries.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The dictionary rests on an ad hoc regularization of L·S1 (Eq. 78) whose validity the authors themselves question; if it fails, the matching conditions (90) and dictionary (93)-(96) are not established.","rationale":"The reader's weakest_assumption identifies exactly the load-bearing point: the dictionary (93)-(96) is obtained by matching Hamiltonians, and the test-particle limit of the 1.5PN PN Hamiltonian requires replacing L·S1 with the ad hoc expression (78). The authors are transparent that this replacement is a formal 2PN regularization and that its validity at 2PN is questionable; however, the concern is already relevant at 1.5PN because the matching conditions (90) are derived from the regularized Hamiltonian. The paper's technical results for the spinning-particle actions and frequencies are carefully derived, closed-form, and independently verified numerically (Fig. 2), so the conditional acceptance of those results is warranted. The dictionary, in contrast, is a well-motivated conjecture: it depends on an unproven robustness of the regularization (other options 'seem' equivalent) and on a conjectural value for nΔJ. The proposed concrete test directly checks whether Eq. (78) indeed reproduces L·S1 in the relevant limit at the order needed; if it does, the concern is resolved; if not, the dictionary is not established. No change to the reader's CONDITIONAL verdict is needed.","tokens_in":35134,"tokens_out":20966,"duration_ms":187167,"concrete_test":"Take the definitions of the PN actions (Eqs. 70-71) and expand Eq. (78) in the limit S1 ≫ L ≫ S2, keeping terms through the order used in the 1.5PN matching (i.e., through ε^3 in the Hamiltonian). Verify that the expression equals L·S1 to that order and that the difference is higher order. If the difference contributes at 1.5PN, the regularized Hamiltonian (79) misrepresents the physical spin-orbit coupling and the matching conditions (90) are unreliable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section V.B introduces Eq. (78) as a 'regularized' replacement for L·S1, claimed to be valid in both the L≫S1 and S1≫L≫S2 limits. This expression is not derived from the action-angle definitions; it is constructed by adding subleading terms formally of 2PN order, and the authors state in Section VI that going to 2PN may show the regularization is not allowed. The matching conditions (90) and the dictionary (93)-(96) follow from comparing the Hamiltonian HPN→stp (85), which uses this regularization. If (78) does not reproduce the physical L·S1 at the order needed for the 1.5PN matching, then the coefficients nr,nL,ns in (90) would be wrong and the dictionary relations (93),(94),(96) would fail. The paper's assertion that other regularizations 'seem to yield the same results' is not a proof, leaving the dictionary potentially dependent on an arbitrary choice. The integer nΔJ in (88) is also unconstrained by the matching and set to zero by conjecture, further indicating the dictionary is not uniquely determined by the derivation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a gauge-invariant dictionary between the action-angle descriptions of a spinning test particle in Kerr spacetime and of a spinning compact binary at 1.5 post-Newtonian order. The authors first derive closed-form expressions, in terms of Legendre elliptic integrals, for the actions of a spinning test particle in Kerr to linear order in the particle spin, together with an action-based method for the fundamental frequencies. These formulas are verified numerically against independent Fourier-based results. The paper then expands the spinning-particle Hamiltonian in actions up to 3PN and compares it with the 1.5PN action-angle Hamiltonian of Tanay et al., correcting a previous expression for the fifth action. In the overlapping test-particle/PN regime, the authors propose an integer lattice transformation (Eqs. 93--96) relating the two sets of actions and derive the corresponding frequency relations (101)--(104), with the goal of providing an interpolation dictionary for spinning binaries across mass ratios and PN orders.","tokens_in":35343,"tokens_out":11482,"duration_ms":116878,"significance":"If the dictionary is correct, this is a substantial step toward a geometric, gauge-invariant connection between post-Newtonian and self-force descriptions of spinning binaries, with clear potential utility for effective-one-body modeling of precessing systems. The action and frequency results for spinning test particles in Kerr are a significant technical achievement in themselves: they provide the first closed-form Legendre expressions for the geodesic actions, extend them linearly in spin, and benchmark them against independent numerical computations (Fig. 2, Appendix B.3). The paper also delivers the first closed-form 1.5PN action-angle Hamiltonian for eccentric, precessing spinning binaries, and it openly corrects an earlier formula for the fifth action. These parts are careful and well-documented. The main risk is concentrated in the matching section, where the central dictionary rests on a regularized expression for L·S1 that is asserted rather than derived, and on fixing lattice coefficients that are not fully determined by the matching equations.","major_comments":[{"comment":"The central dictionary hinges on the regularized replacement (JL+S1)[(JJ-JL)κs-J5]-S1² for L·S1. This expression is introduced by assertion and is only checked in the two limits L≫S1 and S1≫L≫S2; it is not derived from the action-angle definitions. The regularization adds terms that are formally 2PN, and Section VI explicitly concedes that going to 2PN may show the regularization is not allowed at that order. Since HPN→stp (85) and hence the matching conditions (90) and the dictionary (93)-(96) depend on this replacement, the central claim is conditional on an unproven ansatz. The statement that other regularization options 'seem to yield the same results' is not a derivation. The authors should either derive Eq. (78) systematically from the action-angle geometry or prove that all regularizations consistent with the two required limits produce identical matching coefficients at 1.5PN.","section":"Section V.B, Eq. (78)"},{"comment":"The matching conditions do not uniquely determine the proposed integer lattice transformation. The coefficient nΔJ does not appear in Eq. (90) and is set to zero by conjecture, and the determinant condition yields only |ns|=1, with the choice ns=1 made by identifying I5 with s∥. While the physical arguments for these choices are plausible, they are not consequences of the Hamiltonian matching. As a result, the dictionary (93)-(96) is not uniquely established by the derivation presented. A 2PN computation, or an independent geometric derivation of the lattice coefficients, would be needed to fix these integers; absent that, the claims should be framed as a conjectural dictionary rather than a derived one.","section":"Section V.C, Eqs. (86)-(91)"},{"comment":"The derivation uses the leading-order fifth action J5, which is piecewise continuous with a branch switch at |L×S1|=|L×S2|. In taking the S1≫L≫S2 limit the authors state that the branch |L×S2|>|L×S1| is ignored. This branch choice affects the identification of I5 and the subsequent matching conditions. The paper should justify quantitatively that the discarded branch is measure-zero or otherwise cannot change the lattice dictionary; as written, this is an unquantified assumption in a load-bearing step.","section":"Section V.B, Eqs. (68)-(69) and the text after Eq. (85)"}],"minor_comments":[{"comment":"The regularization correction shown in Eq. (79) contains S1σ1κs(JJ-JL)-S1², while Eq. (78) also involves J5. Please state explicitly how the J5-dependent term drops out or is absorbed in the regularization correction.","section":"Section V.B, Eq. (79)"},{"comment":"The notation s∥ is used both for the spin-vector projection appearing in the Kerr action-angle formalism and for the quantity defined as s∥ = sµlµ/√(lνlν). Please clarify whether these are the same object and avoid possible confusion with the spin magnitude s.","section":"Section V.C, text after Eq. (90)"},{"comment":"The correction δλ̇ to the Carter-Mino time is described as found 'empirically'. In an otherwise analytic derivation, it would be preferable to mark this as a conjecture or provide a derivation, since the Mino-time frequency formulas (B19)-(B23) rely on it.","section":"Appendix B.4, Eq. (B25)"},{"comment":"The statement that Eqs. (93)-(96) 'should apply to dynamics at finite mass ratios and higher PN orders' is stronger than the 1.5PN matching derivation supports, particularly in view of the caveat in Section VI about the regularization. I recommend reformulating this as a conjecture to be tested at 2PN or by numerical-relativity comparisons.","section":"Section V.D, paragraph after Eq. (96)"}],"recommendation":"major_revision","confidential_remarks":"The action and frequency results are strong and appear carefully verified, and the discussion of the independent work by Gonzo and Shi is fair. The main risk is the matching section: the dictionary is the paper's central novelty, but it rests on the unproven regularization of L·S1 and on lattice coefficients fixed partly by conjecture. This is fixable either by additional derivation or by explicitly reframing the dictionary as a conjecture valid at 1.5PN in the relevant limits. I would support publication after such a revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: the closed-form Legendre actions for Kerr geodesics and spinning particles, and the frequencies derived from them, are real contributions and they check out. The dictionary matching those actions to the 1.5PN binary actions is the weaker half: it works at the level of a motivated conjecture, not a derivation.\n\nThe first half of the paper is strong. The reduction of J_r, J_z to complete elliptic integrals (Eqs. 34, 35, 40, 41) is new—even the geodesic limits were apparently not in the literature in closed Legendre form. The frequency formulas are checked against the Drummond–Hughes Fourier code, and the convergence plot (Fig. 2) is convincing. The corrected closed-form 1.5PN action Hamiltonian (Eq. 76) is a useful service, and fixing the J5 formula from Tanay et al. matters. Citation practice is fair; the overlap with Gonzo–Shi is acknowledged and discussed. This part deserves publication on its own.\n\nThe soft spot is exactly what the stress-test flags. The matching in Section V.C rests on the regularized replacement for L·S1 in Eq. (78). That replacement is not derived from the action-angle definitions; it is built by hand to interpolate two limits, and it adds formally 2PN terms. The authors openly say going to 2PN may show it is not allowed (Sec. VI). If that regularization fails, the matching conditions (90) and the dictionary (93)–(96) are not established. The integer nΔJ is likewise set to zero by conjecture because it cancels out of the matching conditions. The final statement that the dictionary holds at finite mass ratios and higher PN orders is an overreach—it is a natural conjecture if the 1.5PN matching survives, but the derivation does not support it. To their credit the authors are transparent about all of this; the limitations are in the text, not hidden.\n\nSo my take is close to the reader's: CONDITIONAL. Accept the action/frequency machinery; treat the dictionary as a well-motivated conjecture needing independent verification, for example via numerical-relativity frequency comparisons or a systematic double expansion to 2PN. The paper is honest, the formal work is careful, and the claimed new results are genuinely new. I would send it to a serious referee. The referee should be asked to focus on the validity of Eq. (78) and on how the dictionary claims are framed. I would cite the action formulas in my own work if I did EMRI or spinning-particle GW calculations.","headline":"Closed-form Kerr actions and frequencies are a solid, publishable contribution; the PN/self-force dictionary is a well-motivated conjecture that leans on an ad hoc regularization.","tokens_in":35897,"tokens_out":3738,"would_cite":true,"duration_ms":34232,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C10","83C57","70H06","70H15"],"pacs":["04.25.-g","04.30.-w","04.70.-s"],"model":"deepseek-v4-flash","headline":"The paper proves that action variables of spinning binaries and spinning test particles in Kerr coincide up to an integer lattice transformation, providing a gauge-invariant dictionary between the post-Newtonian and self-force…","keywords":["action-angle variables","spinning binaries","post-Newtonian","Kerr spacetime","spinning test particles","gravitational self-force","elliptic integrals","gravitational waves"],"falsifier":"Compute the 2PN action-angle Hamiltonian for spinning finite-mass-ratio binaries and compare it with the 2PN expansion of the spinning-particle actions from this paper: if the dictionary (93)–(96) does not reproduce the 2PN Hamiltonian order by order, the claimed all-order correspondence is false. The authors themselves flag that going to 2PN may show the regularization of Eq. (78) is not allowed at that order.","tokens_in":34829,"feed_emoji":"🕳️","tokens_out":8742,"duration_ms":75461,"temperature":0.7,"pith_summary":"This paper tries to establish a gauge-invariant bridge between the two main analytical descriptions of spinning compact binaries: post-Newtonian dynamics at finite mass ratio, and a spinning test particle in Kerr space-time, the basis of self-force and extreme-mass-ratio calculations. The bridge is a discrete relation between the action variables of the two systems: $I_r=J_r$, $I_L=J_z+|J_\\phi|-(J_\\psi+s)$, $I_{\\Delta J}=J_\\phi$, and $I_5=J_\\psi+s$, together with the corresponding frequency relations. To reach it, the authors derive the first closed-form expressions, in Legendre elliptic integrals, for the actions and fundamental frequencies of a spinning test particle in Kerr at linear order in the secondary spin, and the first closed-form 1.5PN action-angle Hamiltonian for eccentric, precessing binaries. If the dictionary holds at higher orders, a single integrable description could interpolate between comparable-mass binaries and extreme-mass-ratio inspirals with generic spin precession.","feed_headline":"Action dictionary links spinning binaries to Kerr test particles","feed_subtitle":"Gauge-invariant actions and frequencies connect post-Newtonian and self-force descriptions of precessing inspirals.","key_machinery":"The load-bearing objects are the five action variables of each system, defined as loop integrals of the Poincaré–Cartan form over the homotopy classes of the invariant torus. On the Kerr side, the actions are computed from the Hamilton–Jacobi solution for a spinning particle built on the Marck tetrad congruence (a tetrad adapted to parallel transport along reference geodesics) and reduced to Legendre elliptic integrals ($K$, $E$, $\\Pi$); on the binary side, they come from the integrable 1.5PN Hamiltonian with its five actions $J_r,J_L,J_J,J_z,J_5$. The identity carrying the argument is the integer-lattice transform (93)–(96), and the technical device enabling the match is the regularized replacement for $\\vec{L}\\cdot\\vec{S}_1$ in Eq. (78), which is required to reproduce the aligned-spin coupling in both the $L\\gg S_1$ and $S_1\\gg L\\gg S_2$ limits.","core_discovery":"The paper's central claim is that the invariant actions of a spinning particle in Kerr and those of a spinning binary at 1.5 post-Newtonian order are one and the same set of tori, related by a unimodular integer matrix (Eqs. 93–96), and that this correspondence, including the induced frequency relations (Eqs. 101–104), holds for any integrable dynamics smoothly connecting the two limits at finite mass ratio and higher PN order. The dictionary is obtained by expanding the new closed-form spinning-particle actions in the PN limit and, independently, by reducing the 1.5PN finite-mass-ratio action-angle Hamiltonian to the spinning test particle limit, then requiring the two Hamiltonians to agree order by order. Because alternative action variables on an invariant torus can differ only by discrete lattice transformations, the integer coefficients found at leading order cannot vary continuously, so the match is argued to be exact wherever the two regimes overlap.","pith_inferences":["If the dictionary resummizes beyond 1.5PN, it points toward an effective-one-body model built on a deformed Kerr metric whose actions are exactly those of the binary, which would cover fully precessing inspirals rather than aligned ones.","The frequency identity $\\tilde{\\Omega}_L=\\Omega_z$ could be tested directly by Fourier-analyzing a numerical-relativity simulation of a precessing intermediate-mass-ratio binary.","The non-commutation of the PN and test-particle limits, and the need for a hand-made regularization, suggest that a fully systematic 2PN dictionary will require first-order-in-mass-ratio corrections to the test-particle symplectic structure, since part of the primary-spin dynamics is screened out by the test-particle limit."],"forward_implications":["The dictionary (93)–(96) gives a gauge-invariant, coordinate-independent connection between post-Newtonian spinning-binary dynamics and Kerr test-particle dynamics for generic precessing configurations, going beyond aligned-spin matchings.","The frequency relations (101)–(104) follow from the action matching and allow direct comparison of Fourier-extracted fundamental frequencies from numerical relativity, self-force, and PN computations.","The closed-form expressions for the geodesic and spin-corrected actions (Eqs. 34, 35, 40, 41) make the fundamental frequencies of spinning particles in Kerr directly computable, useful for frequency-domain gravitational-wave flux calculations.","The corrected 1.5PN action-angle Hamiltonian (Eq. 76) is the first closed-form such Hamiltonian for eccentric, precessing spinning binaries at finite mass ratio.","Because actions between overlapping integrable regimes can change only by discrete integer transforms, the match is claimed to persist at finite mass ratios and at higher PN orders."],"supporting_citations":[{"why":"supplies the Hamilton–Jacobi solution for spinning particles in Kerr that the action integrals are built from","marker":"[35]"},{"why":"provides the implicit-function method for converting action derivatives into fundamental frequencies","marker":"[38]"},{"why":"supplies the first four action variables of eccentric spinning binaries at 2PN that enter the PN side of the dictionary","marker":"[13]"},{"why":"supplies the fifth action J5 and the 1.5PN action-angle Hamiltonian that is matched and corrected here","marker":"[34]"},{"why":"provides the Hadamard partie-finie contour-integral technique used to expand the loop actions in the perturbative parameter","marker":"[12]"},{"why":"provides the canonical Hamiltonian formalism and tetrad-dependent coordinates for the spinning particle that the Hamilton–Jacobi solution uses","marker":"[21]"},{"why":"the original effective-one-body action matching for non-spinning binaries that this work generalizes to spin precession","marker":"[40]"},{"why":"supplies the numerical Fourier-method frequencies against which the closed-form frequencies are verified","marker":"[59]"}],"fun_headline_variants":["Exact action bridge: binaries to Kerr test particles","Spinning binary actions tied to Kerr test particles","Gauge-invariant actions connect binary and Kerr spins","Integer matrix links spinning binaries to Kerr","New action dictionary for spinning compact binaries"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Nothing in the matching works without the ad hoc replacement for the scalar product of the orbital and primary spin angular momenta, Eq. (78), which is only checked in the two extreme limits and adds terms of formally 2PN order; if that replacement proves incompatible with 2PN dynamics, the dictionary is not established.","fun_headline_variants_meta":{"raw":{"variants":["Exact action bridge: binaries to Kerr test particles","Spinning binary actions tied to Kerr test particles","Gauge-invariant actions connect binary and Kerr spins","Integer matrix links spinning binaries to Kerr","New action dictionary for spinning compact binaries"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000172,"raw_usage":{"total_tokens":1249,"prompt_tokens":891,"completion_tokens":358,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":289}},"tokens_in":507,"tokens_out":358,"duration_ms":4455,"temperature":1.0,"reasoning_tokens":289,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T20:21:35.135225+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the 2PN action-angle Hamiltonian for spinning finite-mass-ratio binaries and compare it with the 2PN expansion of the spinning-particle actions from this paper: if the dictionary (93)–(96) does not reproduce the 2PN Hamiltonian order by order, the claimed all-order correspondence is false. The authors themselves flag that going to 2PN may show the regularization of Eq. (78) is not allowed at that order.","supporting_citations":[{"cited_title":"Damour, The problem of motion in Newtonian and Ein- steinian gravity., in Three Hundred Years of Gravitation, edited by S","cited_arxiv_id":null,"evidence_quote":"provides the canonical Hamiltonian formalism and tetrad-dependent coordinates for the spinning particle that the Hamilton–Jacobi solution uses"}],"review_version":1}