Generator

Two predictions, a factor of two apart

One function in the gravity library, called 24 times across 4 essays. Below: what it draws at its defaults, what it draws at every branch an essay asks for, whether the site's own gate puts a claim to it, and everywhere it is called.

At its defaults it draws two predictions, a factor of two apart. The deflection of light passing a mass, against impact parameter, on logarithmic axes. The lower line is what a Newtonian photon does — it falls while it crosses, and comes out bent by 2GM/bc². The upper line is what a geodesic does in curved spacetime, which is exactly twice that. At the surface of a body of 1.99·10³⁰ kg the two are 0.88″ and 1.75″. Both are straight lines of slope minus one, so the ratio is two everywhere and the measurement is a choice between two theories rather than a fit.

light-bending is one function in lib/figures/gravity.js — geometry, horizons, and the waves in it. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page. A figure here is the figure a reader meets in an essay, and if the generator changes, this page changes with it.

At its defaults

Drawn even though every essay passes options, because a default nothing exercises is a trap for the next essay to call this with none — which has happened here twice.

Two predictions, a factor of two apart. The deflection of light passing a mass, against impact parameter, on logarithmic axes. The lower line is what a Newtonian photon does — it falls while it crosses, and comes out bent by 2GM/bc². The upper line is what a geodesic does in curved spacetime, which is exactly twice that. At the surface of a body of 1.99·10³⁰ kg the two are 0.88″ and 1.75″. Both are straight lines of slope minus one, so the ratio is two everywhere and the measurement is a choice between two theories rather than a fit.

The deflection of light passing a mass, against impact parameter, on logarithmic axes. The lower line is what a Newtonian photon does — it falls while it crosses, and comes out bent by 2GM/bc². The upper line is what a geodesic does in curved spacetime, which is exactly twice that. At the surface of a body of 1.99·10³⁰ kg the two are 0.88″ and 1.75″. Both are straight lines of slope minus one, so the ratio is two everywhere and the measurement is a choice between two theories rather than a fit.

Two predictions, a factor of two apart

The options are the ones The bend Newton got half right passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

Two predictions, a factor of two apart. The deflection of light passing a mass, against impact parameter, on logarithmic axes. The lower line is what a Newtonian photon does — it falls while it crosses, and comes out bent by 2GM/bc². The upper line is what a geodesic does in curved spacetime, which is exactly twice that. At the surface of a body of 1.99·10³⁰ kg the two are 0.88″ and 1.75″. Both are straight lines of slope minus one, so the ratio is two everywhere and the measurement is a choice between two theories rather than a fit.

The deflection of light passing a mass, against impact parameter, on logarithmic axes. The lower line is what a Newtonian photon does — it falls while it crosses, and comes out bent by 2GM/bc². The upper line is what a geodesic does in curved spacetime, which is exactly twice that. At the surface of a body of 1.99·10³⁰ kg the two are 0.88″ and 1.75″. Both are straight lines of slope minus one, so the ratio is two everywhere and the measurement is a choice between two theories rather than a fit.

Rays passing a mass

The options are the ones The bend Newton got half right passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

Rays passing a mass. Light passing a body of 1.99·10³⁰ kg and radius 696,000 km at four impact parameters, deflected by 4GM/bc². At the surface that is 1.75 arcseconds and it falls off as 1/b, so the ray passing at five radii bends by 0.35. The angles are drawn 2.6·10⁴ times their true size; at the true size every ray on this canvas would be straight to within a hundredth of a pixel.

Light passing a body of 1.99·10³⁰ kg and radius 696,000 km at four impact parameters, deflected by 4GM/bc². At the surface that is 1.75 arcseconds and it falls off as 1/b, so the ray passing at five radii bends by 0.35. The angles are drawn 2.6·10⁴ times their true size; at the true size every ray on this canvas would be straight to within a hundredth of a pixel.

A lens with no focal length

The options are the ones The bend Newton got half right passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

A lens with no focal length. Where a ray crosses the axis, against how far off the axis it passed the deflecting body, for 1 solar mass of radius 1 solar radius. A glass lens deflects a ray by an angle proportional to its distance off axis, which is precisely the condition for every ray to arrive at one point — the flat dashed line. Gravity deflects by 4GM/c²b, which grows smaller further out, so the crossing distance goes as b² and each ray has its own focus. The grazing ray crosses at 548 astronomical units and a ray passing at 12 radii crosses at 78857; the square law is verified on the drawn curve to 1.5e-16. So there is no image plane at all, only a half-line of foci beginning at the first of those and running outward for ever. Anything placed on that line sees not an image but a ring, and moving along it does not refocus anything — it selects which rays are being seen.

Where a ray crosses the axis, against how far off the axis it passed the deflecting body, for 1 solar mass of radius 1 solar radius. A glass lens deflects a ray by an angle proportional to its distance off axis, which is precisely the condition for every ray to arrive at one point — the flat dashed line. Gravity deflects by 4GM/c²b, which grows *smaller* further out, so the crossing distance goes as b² and each ray has its own focus. The grazing ray crosses at 548 astronomical units and a ray passing at 12 radii crosses at 78857; the square law is verified on the drawn curve to 1.5e-16. So there is no image plane at all, only a half-line of foci beginning at the first of those and running outward for ever. Anything placed on that line sees not an image but a ring, and moving along it does not refocus anything — it selects which rays are being seen.

Two predictions, a factor of two apart

The options are the ones The bend Newton got half right passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

Two predictions, a factor of two apart. The deflection of light passing a mass, against impact parameter, on logarithmic axes. The lower line is what a Newtonian photon does — it falls while it crosses, and comes out bent by 2GM/bc². The upper line is what a geodesic does in curved spacetime, which is exactly twice that. At the surface of a body of 1.99·10³⁰ kg the two are 0.88″ and 1.75″. Both are straight lines of slope minus one, so the ratio is two everywhere and the measurement is a choice between two theories rather than a fit.

The deflection of light passing a mass, against impact parameter, on logarithmic axes. The lower line is what a Newtonian photon does — it falls while it crosses, and comes out bent by 2GM/bc². The upper line is what a geodesic does in curved spacetime, which is exactly twice that. At the surface of a body of 1.99·10³⁰ kg the two are 0.88″ and 1.75″. Both are straight lines of slope minus one, so the ratio is two everywhere and the measurement is a choice between two theories rather than a fit.

Five rays, and the one that decides which side everything falls on

The options are the ones The circle light cannot leave passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

Five rays, and the one that decides which side everything falls on. Light traced past a non-rotating mass at five impact parameters, by integrating the exact null geodesic rather than the weak-field formula. The shaded disc is the horizon and the dashed circle is the photon sphere at three masses. Rays passing closer than 5.196 masses are captured — 2 of the five here — and rays passing further escape, however far they are bent on the way. The two nearest the critical value behave in the most striking way: one wraps 1.06 times round before leaving and the other wraps round before falling in, and between them lies a ray that would circle for ever on the unstable orbit. Far away the same integration reproduces the familiar weak-field deflection: at sixty masses it gives 0.07021 radians against 4M/b = 0.06667, so the strong field and the weak one are one calculation.

Light traced past a non-rotating mass at five impact parameters, by integrating the exact null geodesic rather than the weak-field formula. The shaded disc is the horizon and the dashed circle is the photon sphere at three masses. Rays passing closer than 5.196 masses are captured — 2 of the five here — and rays passing further escape, however far they are bent on the way. The two nearest the critical value behave in the most striking way: one wraps 1.06 times round before leaving and the other wraps round before falling in, and between them lies a ray that would circle for ever on the unstable orbit. Far away the same integration reproduces the familiar weak-field deflection: at sixty masses it gives 0.07021 radians against 4M/b = 0.06667, so the strong field and the weak one are one calculation.

What checks it

physicscheck asserts something about light-bending that could fail — it draws it and measures the result against a value reached some other way.

Across the library: 100 interrogated, 2 exercised only, 1 untouched, of 103. Read out of the gate's source by the gate's own two patterns — and the gate's last claim fails the build if that read disagrees with what it was handed while running.

Where it is called

Changing this generator changes every figure on this list. That is what makes the list worth publishing rather than keeping in a check script.

The whole library · All essays