N3LO gravitational spin-orbit coupling at order G4

In this paper we derive for the first time the N3LO gravitational spin-orbit coupling at order G4 in the post-Newtonian (PN) approximation within the effective field theory (EFT) of gravitating spinning objects. This represents the first computation in a spinning sector involving three-loop integration. We provide a comprehensive account of the topologies in the worldline picture for the computation at order G4. Our computation makes use of the publicly-available EFTofPNG code, which is extended using loop-integration techniques from particle amplitudes. We provide the results for each of the Feynman diagrams in this sector. The three-loop graphs in the worldline picture give rise to new features in the spinning sector, including divergent terms and logarithms from dimensional regularization, as well as transcendental numbers, all of which survive in the final result of the topologies at this order. This result enters at the 4.5PN order for maximally-rotating compact objects, and together with previous work in this line, paves the way for the completion of this PN accuracy.

N3LO gravitational quadratic-in-spin interactions at G4

We compute the N3LO gravitational quadratic-in-spin interactions at G4 in the post-Newtonian (PN) expansion via the effective field theory (EFT) of gravitating spinning objects for the first time. This result contributes at the 5PN order for maximally-spinning compact objects, adding the spinning case to the static sector at this PN accuracy. This sector requires extending the EFT of a spinning particle beyond linear order in the curvature to include higher-order operators quadratic in the curvature that are relevant at this PN order. We make use of a diagrammatic expansion in the worldline picture, and rely on our recent upgrade of the EFTofPNG code, which we further extend to handle this sector. Similar to the spin-orbit sector, we find that the contributing three-loop graphs give rise to divergences, logarithms, and transcendental numbers. However, in this sector all of these features conspire to cancel out from the final result, which contains only finite rational terms.

Algebraic values of sines and cosines and their arguments

The article introduces the reader to some amazing properties of trigonometric functions. It turns out that if the values of the arguments of the functions sin x, cos x, tg x and ctg x, expressed in radians, are algebraic numbers, then the values of these functions are transcendental numbers. Hence, it follows that the values of all angles of the pseudo-Heronian triangle, including the values of all angles of the Pythagoras or Heron triangle, expressed in radians, are transcendental numbers. If the arguments of functions sin x and cos x, expressed in radians, are equal to x = r 2 \pi, where r are rational numbers, then the values of the functions are algebraic numbers. It should be noted that in this case the argument x = r 2\pi is transcendental and, if expressed in degrees, becomes a rational.

On reconstructing subvarieties from their periods

We give a new practical method for computing subvarieties of projective hypersurfaces. By computing the periods of a given hypersurface X, we find algebraic cohomology cycles on X. On well picked algebraic cycles, we can then recover the equations of subvarieties of X that realize these cycles. In practice, a bulk of the computations involve transcendental numbers and have to be carried out with floating point numbers. However, if X is defined over algebraic numbers then the coefficients of the equations of subvarieties can be reconstructed as algebraic numbers. A symbolic computation then verifies the results. As an illustration of the method, we compute generators of the Picard groups of some quartic surfaces. A highlight of the method is that the Picard group computations are proved to be correct despite the fact that the Picard numbers of our examples are not extremal.