Action-angle variables of a binary black hole with arbitrary eccentricity, spins, and masses at 1.5 post-Newtonian order
Pith reviewed 2026-05-24 12:36 UTC · model grok-4.3
The pith
The fifth action for 1.5PN binary black holes is obtained by extending phase space with unmeasurable coordinates.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors show that extending the phase space by adding unmeasurable coordinates allows construction of the missing fifth action variable. Together with the previously computed four actions, this produces the complete action-angle coordinates for the integrable 1.5PN binary black hole system. The frequencies follow directly, and the transformation from action-angle variables to the usual canonical variables can be written explicitly, thereby solving the conservative dynamics analytically at this order.
What carries the argument
Phase-space extension by unmeasurable coordinates, used to isolate the fifth action variable of the 1.5PN Hamiltonian.
If this is right
- All five actions and their conjugate frequencies are now available at 1.5PN for arbitrary parameters.
- The conservative motion can be integrated analytically by quadrature in action-angle coordinates.
- Canonical perturbation theory can be applied to reach higher post-Newtonian orders using these variables as the starting point.
Where Pith is reading between the lines
- The same extension technique might be tested on the 2PN Hamiltonian if integrability is only approximate.
- Waveform models could incorporate these actions to generate eccentric, precessing signals without averaging approximations.
- Comparison of the derived frequencies against numerical relativity at low velocities would provide a direct check on the 1.5PN truncation.
Load-bearing premise
The 1.5 post-Newtonian binary black hole system must be integrable.
What would settle it
Numerical integration of the 1.5PN equations of motion over many orbits that shows the proposed fifth action is not constant would falsify the result.
Figures
read the original abstract
Accurate and efficient modeling of the dynamics of binary black holes (BBHs) is crucial to their detection through gravitational waves (GWs), with LIGO/Virgo/KAGRA, and LISA in the future. Solving the dynamics of a BBH system with arbitrary parameters without simplifications (like orbit- or precession-averaging) in closed form is one of the most challenging problems for the GW community. One potential approach is using canonical perturbation theory which constructs perturbed action-angle variables from the unperturbed ones of an integrable Hamiltonian system. Having action-angle variables of the integrable 1.5 post-Newtonian (PN) BBH system is therefore imperative. In this paper, we continue the work initiated by two of us in arXiv:2012.06586, where we presented four out of five actions of a BBH system with arbitrary eccentricity, masses, and spins, at 1.5PN order. Here we compute the remaining fifth action using a novel method of extending the phase space by introducing unmeasurable phase space coordinates. We detail how to compute all the frequencies, and sketch how to explicitly transform from the action-angle variables to the usual positions and momenta. This analytically solves the dynamics at 1.5PN. This lays the groundwork to analytically solve the conservative dynamics of the BBH system with arbitrary masses, spins, and eccentricity, at higher PN order, by using canonical perturbation theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to compute the fifth action variable for the 1.5 post-Newtonian binary black hole system with arbitrary eccentricity, masses, and spins by extending the phase space with unmeasurable coordinates. This completes the set of five actions begun in a prior work, enabling construction of action-angle variables for the asserted integrable 1.5PN Hamiltonian and an analytic solution of the conservative dynamics via canonical perturbation theory. The paper details frequency computations and sketches the inverse transformation to physical coordinates.
Significance. If the integrability assumption holds and the phase-space extension is rigorously justified, the result would provide a complete analytic framework for 1.5PN BBH dynamics without orbit or precession averaging. This is a meaningful step toward higher-order analytic templates for gravitational-wave detection. The novel extension technique is a clear methodological contribution that, if validated, supports extensions to higher PN orders.
major comments (2)
- [Abstract] Abstract and opening paragraphs: the 1.5PN BBH system is repeatedly described as integrable, yet no explicit demonstration or citation is given that five independent, Poisson-commuting integrals exist for generic eccentricity and spin configurations. This is load-bearing, as the entire action-angle construction and the applicability of canonical perturbation theory rest on it.
- [Method] Method section describing the phase-space extension: the new action is obtained by introducing unmeasurable coordinates, but the manuscript does not verify that the extended Hamiltonian preserves the required involution relations with the four previously computed actions or that the fifth integral remains independent for arbitrary parameters.
minor comments (1)
- The sketch of the transformation from action-angle to physical variables would benefit from an explicit example or additional intermediate equations to allow independent reproduction.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the constructive comments. We address each major comment below, indicating planned revisions where appropriate. The work builds directly on our prior paper (arXiv:2012.06586) that computed the first four actions.
read point-by-point responses
-
Referee: [Abstract] Abstract and opening paragraphs: the 1.5PN BBH system is repeatedly described as integrable, yet no explicit demonstration or citation is given that five independent, Poisson-commuting integrals exist for generic eccentricity and spin configurations. This is load-bearing, as the entire action-angle construction and the applicability of canonical perturbation theory rest on it.
Authors: We agree that the integrability assumption is central and that the manuscript does not contain an explicit proof or direct citation establishing five independent, Poisson-commuting integrals for generic eccentricity and spins at 1.5PN. The construction in the present work and in arXiv:2012.06586 proceeds by explicitly building the actions so that they are conserved and independent by design, relying on the structure of the 1.5PN Hamiltonian. We will revise the introduction and abstract to state clearly that integrability is assumed on the basis of this construction and to cite relevant literature on the integrability properties of post-Newtonian Hamiltonians. A complete, independent verification of the full set of involution relations for arbitrary parameters lies beyond the scope of the present paper. revision: partial
-
Referee: [Method] Method section describing the phase-space extension: the new action is obtained by introducing unmeasurable coordinates, but the manuscript does not verify that the extended Hamiltonian preserves the required involution relations with the four previously computed actions or that the fifth integral remains independent for arbitrary parameters.
Authors: The phase-space extension is chosen so that the new coordinate is ignorable in the extended Hamiltonian, ensuring by construction that the Poisson brackets with the four previously obtained actions vanish. We will expand the method section to include an explicit argument (based on the canonical nature of the extension and the functional form of the 1.5PN terms) that the involution relations are preserved and that the fifth action remains functionally independent for generic masses, spins, and eccentricity. This will be supported by the explicit expressions already derived in the paper. revision: yes
- Explicit, parameter-independent proof that all five actions are in mutual involution for completely generic eccentricity, spins, and masses at 1.5PN order.
Circularity Check
No significant circularity in derivation chain
full rationale
The paper continues prior self-cited work (arXiv:2012.06586) for four actions but introduces a novel phase-space extension method for the fifth action. The integrability assumption is explicitly stated as a premise for applying canonical perturbation theory, but the construction of the new action does not reduce by definition or construction to the inputs, fitted parameters, or the self-citation. No self-definitional, fitted-input, or load-bearing self-citation steps are present that would make the claimed analytic solution tautological. The derivation remains self-contained as an application of standard Hamiltonian methods with an independent extension technique.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The 1.5PN BBH Hamiltonian is integrable
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the integrable 1.5 post-Newtonian (PN) BBH system... five independent, Poisson-commuting integrals of motion... extending the phase space by introducing unmeasurable phase space coordinates
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
action variables... Jk = 1/2π ∮ Ck Θ... loop-flow definition
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Non-adiabatic dynamics of eccentric black-hole binaries in post-Newtonian theory
New non-orbit-averaged 2.5PN equations for eccentric non-spinning black-hole binaries derived via energy-momentum mappings, showing Peters 1964 orbit-averaged equations break at first pericenter.
Reference graph
Works this paper leans on
-
[1]
For example,J2−L2 =O(ϵ1), though both J2 andL2 areO(ϵ0)
Writing various quantities of interest in terms of⃗L,⃗S1, and ⃗S2 is imperative since it serves to expose the PN powers explicitly. For example,J2−L2 =O(ϵ1), though both J2 andL2 areO(ϵ0). This becomes manifestly clear when J2−L2 is written in the above way. Step 2: Instead of trying to series expandJ5 directly in terms ofϵin one go, we first series expan...
-
[2]
Constructing angle variables We now lay out a roadmap on how to implicitly con- struct the rest of the angle variables on the invariant tori of constant⃗J (or constant⃗C). To be more precise, we show how to obtain the standard phase-space coordi- nates (⃗P, ⃗Q) as explicit functions of action-angle variables (⃗J,⃗θ). This is in fact the more useful transf...
-
[3]
Solutions to flow under the commuting constants The solution for flow under H has been given in Ref. [22]; it has been termed as the “standard solution” there. It is found by filling in the gaps in the solution provided in Ref. [15].7 The solution for the flow under Seff·L is constructed in Appendix A, with minor caveats. Eqs. A39, A66, and A76 in Appendi...
-
[4]
Evaluating ∆λSeff·L The evaluation of∆λSeff·L can happen only when we can compute the mutual angles between⃗L,⃗S1 and ⃗S2 as a function of the flow parameter under the flow ofSeff·L. Therefore, most of Appendix A1 deals with how to do this calculation and only towards the end we arrive at the expression of ∆λSeff·L. Under the flow ofSeff·L, a generic quan...
-
[5]
(A23d) It is important here to note the sign ofa3, sgn(a3) = +1, m 1 >m 2, 0, m 1 =m2, −1, m 1 <m 2. (A24) The fact that the cubic becomes undefined whenm1 =m2 is the reason we treated the equal-mass case separately towards the end of Sec. IV. Now we rewrite the cubic in terms of its roots, P (f) =A(f−f1)(f−f2)(f−f3), (A25) where A = a3 is the lea...
-
[6]
A necessary condition for the phase-space loop to close is that the mutual angles between⃗L,⃗S1, and ⃗S2 recur at the end of the flow. Since the flows underJ2,L 2,S 2 1, and S2 2 do not change these mutual angles, we choose to flow under Seff·L by exactly the precession period, ∆λSeff·L = Λ. (A42) This flow underSeff·L is pictorially represented by the re...
-
[7]
Evaluating ∆λJ2 After flowing underSeff·L by parameter ∆λSeff·L, the mutual angles between⃗L,⃗S1, and⃗S2 have recurred, but ⃗L, ⃗S1, and⃗S2 have not. We now plan to flow underJ2 by ∆λJ2 so that⃗L is restored; this restoration is a necessary condition for closing the phase space loop. To find the required amount of flow underJ2 so that⃗L is restored, we ne...
-
[8]
We will now restore⃗R and ⃗P by flowing underL2 by ∆λL2, to be determined in this section
Evaluating ∆λL2 After flowing underSeff·L andJ2, all the three angular momenta ⃗L,⃗S1, and ⃗S2 have recurred, but the orbital vectors (⃗R,⃗P) and fictitious vectors have not. We will now restore⃗R and ⃗P by flowing underL2 by ∆λL2, to be determined in this section. Now, ⃗R has to be in thei′j′plane because ⃗R⊥⃗L. Denote byϕthe angle made by⃗R with thei′ax...
-
[9]
Evaluating ∆λS2 1 and ∆λS2 2 Once we have made sure that⃗R,⃗P, ⃗S1,⃗S2 (and hence also ⃗L) have been restored by successively flowing under Seff·L,J 2, andL2 by ∆λSeff·L, ∆λJ2, and ∆λL2 respec- tively, now is the time to restore the fictitious vectors⃗R1/2 and ⃗P1/2. The strategy and calculations are analogous to the ones for⃗R and ⃗P, so we won’t explica...
-
[10]
(A101) 23 This final fifth flow underS2 2 is pictorially represented by the orangeTP curve in Fig
is given by the following set of equations ∆λS2 2 =−∆ϕ2 2S2 , (A95) ∆ϕ2 = −4√ A (f3−f1) [ B1S2Π ( α2 1S2,k ) D1S2 +f1σ2 −B2S2Π ( α2 2S2,k ) D2S2 +f1σ2 ] +S2(σ1−σ2)Λ, (A96) B1S2 = 1 2 [ S2σ2(L2−JS2 +S2 2−∆ 1σ2)−(J−S2)2S2σ1−(J−2S2)∆ 2σ1σ2 + (J−S2)∆ 2σ2 1 ] , (A97) B2S2 = 1 2 [ S2σ2(−L2−JS2−S2 2 + ∆ 1σ2) + (J +S2)2S2σ1−(J + 2S2)∆ 2σ1σ2 + (J +S2)∆ 2σ2 1 ] , (...
-
[11]
+δσ−2(S2 1σ1 +S2 2σ2)Seff·L ] , (C8) ∂P ∂Seff·L = 2 [ −(σ1 +σ2)f2 + [ δσ(σ1 +σ2)G−δσ−1(2Seff·L +S2 1σ1 +S2 2σ2) ] f +G(S2 1σ1 +S2 2σ2)−δσ−2(S2 1 +S2 2)Seff·L ] , (C9) where we have used the shorthands δσ=σ1−σ2, (C10) G = J2−L2−S2 1−S2 2 2δσ2 . (C11) The last piece are the derivatives of the complete elliptic integrals of the first and third kinds with res...
-
[12]
B. Abbottet al.(LIGO Scientific, Virgo), GWTC-1: A Gravitational-Wave Transient Catalog of Compact Binary Mergers Observed by LIGO and Virgo during the First and Second Observing Runs, Phys. Rev. X9, 031040 (2019), arXiv:1811.12907 [astro-ph.HE]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[13]
R. Abbott et al. (LIGO Scientific, Virgo), GWTC-2: Compact Binary Coalescences Observed by LIGO and Virgo During the First Half of the Third Observing Run, arXiv:2010.14527 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[14]
B. P. Abbottet al.(LIGO Scientific, Virgo), GW170817: Observation of Gravitational Waves from a Binary Neu- tron Star Inspiral, Phys. Rev. Lett.119, 161101 (2017), arXiv:1710.05832 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[15]
Cutler, Angular resolution of the LISA gravitational wave detector, Phys
C. Cutler, Angular resolution of the LISA gravitational wave detector, Phys. Rev. D57, 7089 (1998), arXiv:gr- qc/9703068
-
[16]
Laser Interferometer Space Antenna
P. Amaro-Seoane et al. (LISA), Laser Interferometer Space Antenna, arXiv:1702.00786 [astro-ph.IM]
work page internal anchor Pith review Pith/arXiv arXiv
-
[17]
S. Tiwari, A. Gopakumar, M. Haney, and P. Heman- takumar, Ready-to-use Fourier domain templates for com- pact binaries inspiraling along moderately eccentric orbits, Phys. Rev. D99, 124008 (2019), arXiv:1905.07956 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[18]
Effective potentials and morphological transitions for binary black-hole spin precession
M. Kesden, D. Gerosa, R. O’Shaughnessy, E. Berti, and U. Sperhake, Effective Potentials and Morphological Tran- sitions for Binary Black Hole Spin Precession, Phys. Rev. Lett. 114, 081103 (2015), arXiv:1411.0674 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[19]
Multi-timescale analysis of phase transitions in precessing black-hole binaries
D. Gerosa, M. Kesden, U. Sperhake, E. Berti, and R. O’Shaughnessy, Multi-timescale analysis of phase tran- sitions in precessing black-hole binaries, Phys. Rev. D92, 064016 (2015), arXiv:1506.03492 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[20]
I.Hinder, L.E.Kidder,andH.P.Pfeiffer,Eccentricbinary black hole inspiral-merger-ringdown gravitational wave- form model from numerical relativity and post-Newtonian theory, Phys. Rev. D98, 044015 (2018), arXiv:1709.02007 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[21]
Constructing Gravitational Waves from Generic Spin-Precessing Compact Binary Inspirals
K. Chatziioannou, A. Klein, N. Yunes, and N. Cor- nish, Constructing gravitational waves from generic spin- precessing compact binary inspirals, Phys. Rev. D95, 104004 (2017), arXiv:1703.03967 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[22]
Spin effects in the phasing of gravitational waves from binaries on eccentric orbits
A. Klein and P. Jetzer, Spin effects in the phasing of gravitational waves from binaries on eccentric orbits, Phys. Rev. D81, 124001 (2010), arXiv:1005.2046 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[23]
Fourier domain gravitational waveforms for precessing eccentric binaries
A. Klein, Y. Boetzel, A. Gopakumar, P. Jetzer, and L. de Vittori, Fourier domain gravitational waveforms for pre- cessing eccentric binaries, Phys. Rev. D98, 104043 (2018), arXiv:1801.08542 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[24]
C. Konigsdorffer and A. Gopakumar, Phasing of gravi- tational waves from inspiralling eccentric binaries at the third-and-a-half post-Newtonian order, Phys. Rev. D73, 124012 (2006), arXiv:gr-qc/0603056
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[25]
C. Konigsdorffer and A. Gopakumar, Post-Newtonian accurate parametric solution to the dynamics of spinning compact binaries in eccentric orbits: The Leading order spin-orbit interaction, Phys. Rev. D71, 024039 (2005), arXiv:gr-qc/0501011
work page internal anchor Pith review Pith/arXiv arXiv 2005
- [27]
-
[28]
H. Goldstein, C. Poole, and J. Safko,Classical Mechanics (Pearson, 2013)
work page 2013
-
[29]
J. José and E. Saletan,Classical Dynamics: A Contem- porary Approach(Cambridge University Press, 1998)
work page 1998
-
[30]
T. Damour and N. Deruelle, General relativistic celes- tial mechanics of binary systems. I. The post-Newtonian motion., Ann. Inst. Henri Poincaré Phys. Théor43, 107 (1985)
work page 1985
-
[31]
T. Damour and G. Schafer, Higher-order relativistic peri- astron advances and binary pulsars., Nuovo Cimento B Serie 101B, 127 (1988). 26
work page 1988
-
[32]
Coalescence of Two Spinning Black Holes: An Effective One-Body Approach
T. Damour, Coalescence of two spinning black holes: An effective one-body approach, Phys. Rev. D64, 124013 (2001), arXiv:gr-qc/0103018 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[33]
Closed-form solutions of spinning, eccentric binary black holes at 1.5 post-Newtonian order
R. Samanta, S. Tanay, and L. C. Stein, Closed-form so- lutions of spinning, eccentric binary black holes at 1.5 post-Newtonian order, arXiv:2210.01605 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv
-
[34]
S. Tanay, Integrability and action-angle-based solution of the post-Newtonian BBH system (lecture notes) (2022) arXiv:2206.05799 [gr-qc]
- [35]
- [36]
-
[37]
R. Abraham and J. Marsden,Foundations of Mechanics, AMS Chelsea publishing (AMS Chelsea Pub./American Mathematical Society, 2008)
work page 2008
-
[38]
da Silva,Lectures on Symplectic Geometry, Lecture Notes in Mathematics No
A. da Silva,Lectures on Symplectic Geometry, Lecture Notes in Mathematics No. no. 1764 (Springer, 2001)
work page 2001
-
[39]
J. E. Marsden and T. S. Ratiu,Introduction to mechanics and symmetry, 2nd ed., Texts in Applied Mathematics, Vol. 17 (Springer-Verlag, New York, 1999) pp. xviii+582, a basic exposition of classical mechanical systems
work page 1999
-
[40]
On the equal-mass limit of precessing black-hole binaries
D. Gerosa, U. Sperhake, and J. Vošmera, On the equal- mass limit of precessing black-hole binaries, Class. Quant. Grav. 34, 064004 (2017), arXiv:1612.05263 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2017
- [41]
-
[42]
Celestial mechanics in Kerr spacetime
W. Schmidt, Celestial mechanics in Kerr space-time, Class. Quant. Grav.19, 2743 (2002), arXiv:gr-qc/0202090
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[43]
A. Gopakumar and G. Schafer, Gravitational wave phas- ing for spinning compact binaries in inspiraling eccentric orbits, Phys. Rev.D84, 124007 (2011)
work page 2011
- [44]
- [45]
-
[46]
Effective one-body approach to general relativistic two-body dynamics
A. Buonanno and T. Damour, Effective one-body ap- proach to general relativistic two-body dynamics, Phys. Rev. D59, 084006 (1999), arXiv:gr-qc/9811091 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[47]
Witzany, Hamilton-Jacobi equation for spinning parti- cles near black holes, Phys
V. Witzany, Hamilton-Jacobi equation for spinning parti- cles near black holes, Phys. Rev. D100, 104030 (2019), arXiv:1903.03651 [gr-qc]
- [48]
- [49]
-
[50]
DLMF, NIST Digital Library of Mathematical Functions, http://dlmf.nist.gov/, Release 1.1.3 of 2021-09-15, f. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds
work page 2021
-
[51]
P. Byrd and M. Friedman,Handbook of Elliptic Integrals for Engineers and Scientists, Grundlehren der mathe- matischen Wissenschaften (Springer Berlin Heidelberg, 2012)
work page 2012
-
[52]
E. Whittaker and G. Watson,A Course of Modern Analy- sis, A Course of Modern Analysis: An Introduction to the General Theory of Infinite Processes and of Analytic Func- tions, with an Account of the Principal Transcendental Functions (Cambridge University Press, 1996)
work page 1996
-
[53]
Lawden,Elliptic Functions and Applications, Applied Mathematical Sciences (Springer New York, 2013)
D. Lawden,Elliptic Functions and Applications, Applied Mathematical Sciences (Springer New York, 2013)
work page 2013
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.