RECOGNITION
PHYSICS INSTITUTE
Gravity / An introduction

Recognition Science / An introduction to gravity

Why does
matter fall?

Matter changes the rates of physical processes around it. Uneven rates change a matter wave’s phase from place to place. That phase change gives it momentum: it falls.

This is the mechanism in RS’s weak-field gravity construction. Follow why the field forms, why it attracts, and how a difference in timing becomes motion.

Start with a pattern ↓
Pattern, relationships, continuationA repeating pattern is connected to its surroundings. Changing clock and distance relationships changes how that pattern can continue. The connections form a loop: matter and geometry affect each other.PATTERNCLOCKS & DISTANCESrelationships around the patternOne connected physical system.The question is how it continues.
The loop connects a persistent matter pattern with the clocks and distances around it. This is a schematic of the RS account, not measured microscopic space.

The idea before the equations

Why a field forms.
How it makes matter fall.

01 / The source

Matter changes the energy balance.

In the chosen clock coupling, a slower local rate means lower matter energy relative to a distant clock. Differences between neighbouring rates carry a positive field cost. Balancing the two produces a field.

02 / The attraction

The combined energy goes down.

The matter energy falls by more than the field costs. Two positive sources have a negative interaction energy that becomes more negative as they approach. Its slope gives an inward force.

03 / The motion

Uneven phase becomes momentum.

A matter wave accumulates phase at a rate set by its energy. Uneven clock rates create an extra phase gradient. A phase gradient is momentum, so the wave’s motion changes.

These are calculable consequences of RS’s weak-field construction with matter coupled to the local clock rate. The universal coupling of physical clocks and distances is a specified input whose microscopic derivation is still being completed. What is derived, and what is supplied?

Main lesson · about 25 minutes. Try the controls as you go. Equations and the full wave example are optional.

01 / What is staying the same?

A whirlpool stays.
The water keeps moving.

Water flows through a whirlpool while its shape persists. The lasting thing is a pattern of motion.

RS asks how matter persists through its own internal activity. In its light-pattern account, a material object persists through recurring physical changes and relationships. The dynamics must explain how those changes preserve the object.

Here, recognition means a physical distinction and comparison: a later state can carry information about an earlier one. It does not require a mind watching. And “light pattern” is a proposed microscopic account, not a claim that an atom is a tiny whirlpool of ordinary visible light.

Try it / Change the state, keep the patternExact eight-slot model
SAME ORGANIZATIONStep 0 of 8The values move. Their total squared size stays.

Eight values move one place each step. After eight steps, the whole state returns. The changing state belongs to a repeating pattern.

Conserved quantitySum of squares = 12

Changing position in the cycle does not erase the pattern’s size.

A cyclic-shift example from the RS formal model. The values are signed amplitudes, not eight little particles. This proves persistence for this update rule; it is not a simulation of a complete atom.

Keep this

In this account, matter is organized physical activity that keeps going. Gravity must explain how that activity continues in its surroundings.

02 / How do you compare two patterns?

A clock counts changes.
A ruler compares separations.

A pendulum swings. An atom oscillates. A clock uses a repeatable change to count duration. To compare two clocks, ask: how many cycles does one complete while the other completes a fixed number?

Distance is also a physical comparison. For example, send a light pulse to a mirror and back. Half the round-trip time, multiplied by the local speed of light, gives the distance in that observer’s measurement.

RS seeks to build these clock and distance relationships from its physical events and their connections. The resulting network of times, lengths and angles is what physicists call geometry. That account must supply physical measurements: knowing which events are connected does not yet say how many metres or seconds separate them.

Try it / Make the comparison explicitIllustrative clock ratio
Reference: 100 cyclesCompared clock: 80 cyclesBar length counts completed cycles.
80 for every 100

The comparison says how fast one clock runs relative to the other. Each clock still counts its own ticks normally.

Assume equal calibrated ticks and steady rates during the comparison. The slider supplies the ratio; it does not derive a gravitational clock rate. Differences are greatly exaggerated.

We are comparing the rates of physical processes. The gravity question is why should the clock and distance relationships around a persistent pattern take one shape rather than another? RS approaches it through the rule for comparing neighbouring states.

03 / Why the surroundings respond

Every local comparison
has to fit its neighbours.

Suppose two neighbouring states have a positive ratio x. Perfect agreement is x = 1. RS’s canonical comparison rule assigns a number to their mismatch. It gives the same number whether you compare A with B or B with A.

Same1 : 1Mismatch = 0
Twice as much2 : 1Mismatch = ¼
Same comparison, reversed1 : 2Mismatch = ¼
The comparison rule, in one line

J(x) = ½(x + 1/x) − 1

Put in 2 or ½: both give ¼. Put in 1: the result is zero. The rule is selected under RS’s specified composition, regularity and normalization conditions. Reciprocity by itself would not select this one formula. “Cost” here means a mathematical measure of mismatch; it is not automatically an amount of energy.

Now connect many comparisons. Changing one location changes the comparisons on its links. Those links connect to other locations. A locally imposed source can therefore require a field extending beyond the source. A field is simply a value at every location.

Here is a small, exact version of that idea. The two ends are held fixed. A source at the centre favours a lower central value; the comparison rule resists abrupt differences. The balanced shape fits these requirements together.

Try it / A source changes the connected fieldExact J-cost chain · chosen source coupling
FIELD VALUEOnly the centre has a source.Its surroundings still change.

Only the centre contains a source. The two ends are fixed. Field values from left to right:

0.00 · −0.39 · −0.78 · −1.17 · −0.78 · −0.39 · 0.00

Extra total cost above the balanced shape0.0000

No unbalanced change remains at the centre. The neighbouring links carry the response out to the fixed ends.

Height on the graph is a dimensionless field value, not physical height or a bent sheet. The source and boundary conditions are inputs. This is an exact static model, not an animation of how a disturbance travels.

What makes matter a source?

The source term represents how matter energy responds to the field. In this RS construction, a persistent pattern has energy. Multiplying its physical clock generator by a rate N makes its evolution run at that rate: its energy, measured against the reference clock, becomes N times the original energy.

Lowering N lowers that matter energy. But making neighbouring rates different costs field energy. The reciprocal comparison rule supplies the stiffness that resists those differences, once a positive conversion from comparison cost to energy is specified. A static field balances the two effects.

The chain’s linear source term is a simplified version of this balance: the local clock rate changes the energy of the same matter that sources the field.

Why does the balance bind things together?

Binding depends on the combined energy of matter and field. The field costs energy to establish, while the matter energy falls. In the weak-field balance, the matter energy falls by twice the field’s positive cost. The combined change is therefore negative.

Try making too little or too much field around a fixed source. At first, the reduction in matter energy wins. Eventually the extra field cost wins. The minimum is the balanced field.

Try it / Account for both energiesQuadratic weak-field model · fixed source

Left of zero = reduction · Right = cost

Field energy+1.00
Matter energy change−2.00
Combined change−1.00

−40+4

+1 − 2 = −1

At balance, the matter energy reduction is twice the field cost. The combined energy is lower than the no-field reference.

All three bars use the same energy scale. The slider scales a fixed balanced field shape; it does not animate formation. These are energy changes, not negative total matter energy. The weak-field approximation is assumed throughout.

Now place two positive sources near each other. Each responds to the other’s field through the same clock coupling. After subtracting their separate self-energies, the three-dimensional weak-field interaction is negative and proportional to 1/separation. Halve the separation and this interaction energy becomes twice as negative. Its derivative gives attraction.

The energy minimum specifies the static balance and force. How the field forms requires time-dependent equations and boundary conditions. The next chapter shows the motion of a test object once the field is present.

The energy calculation, including the attraction sign

Let N = e−w be the local clock rate relative to a fixed distant reference. For small w, matter with rest-energy density ε contributes a change −∫εw. The leading field energy is (K/2)∫|∇w|², with positive stiffness K. The balanced equation is −K∇²w = ε.

At balance, ∫εw = K∫|∇w|², so the positive field energy is half the magnitude of the negative matter change. Scale that balanced field by b and choose units in which its field energy is 1. The bars show b², −2b and b² − 2b = (b − 1)² − 1. Their minimum occurs at b = 1.

In three spatial dimensions with the field fixed at infinity, two separated, compact sources have leading interaction energy −E₁E₂/(4πKr). Here E₁ and E₂ are their positive rest energies and r is their separation. The cross-term in field energy is positive; the two matter-response terms together are twice as negative. This explains the attraction sign. Reversing the field coordinate consistently changes neither result.

Positive field stiffness and the same universal source-and-probe coupling are physical premises. The earlier chain uses a negative potential-like coordinate u; w here uses the opposite sign. Both describe slower rates near a source. See the source notes for normalization, boundaries and the connection to the exact-J proofs.

A connected field must satisfy comparisons at every location, including locations with no matter source of their own.

For gravity, the next physical identification is to connect this field to clock and distance measurements. In the weak-field construction, it becomes the gravitational potential: a quantity whose spatial differences determine free-fall acceleration. The comparison rule plus a specified source gives a response law; choosing what physically supplies that source and how the field is measured is also part of the model.

Read the same field as clocks and motion.

To read the example physically, rescale the balanced field and identify it with gravitational potential in the weak-field limit. Lower potential means a slower clock rate relative to the clocks at the ends. This clock reading is an input connecting the comparison model to physical measurements.

Look at the same three central locations. The centre has the lowest value and counts the fewest cycles. On the left, the potential falls as you move right; on the right, it falls as you move left. Free-fall acceleration points toward lower potential, so it points toward the source from both sides. The slope, or change per unit distance, sets the acceleration. A constant clock-rate offset everywhere would produce no slope and no such acceleration.

The same balanced field, read as clocksAdopted weak-field identification

Approximate cycles counted while a clock at either fixed end counts 100:

Left neighbour99.22→
Centre source98.83
Right neighbour99.22←

The balanced potential slopes toward the source on both sides. The arrows show free-fall acceleration in that direction.

Try removing the source: predict what happens to the clock differences and arrows. These readings use the balanced shape before any nudge. The clocks are held at their locations for comparison; the arrows show the acceleration a released test object would have. This is the same static, one-dimensional teaching model, with exaggerated differences.

Now zoom in on either side of the source. Over a small region, the potential has an almost constant slope. We have shown the inward acceleration arrows; next we explain them through the motion of a matter wave. A held clock is a way to measure the rate field, not a separate device pulling on an object.

The clock numbers and fall directions

Write the field value as u and the gravitational potential as Φ. For this illustration choose Φ/c² = u/100, where c is the speed of light. The first-order weak-field clock ratio is 1 + Φ/c². A clock therefore counts approximately 100 + u cycles while either endpoint clock counts 100. The scale 1/100 is chosen for the display; it is not a derived constant.

At source strength 0.8, the centre has u ≈ −1.17 and its neighbours u ≈ −0.78. Their clock counts are about 98.83 and 99.22. With equal positive spacing, the potential slope is negative to the left and positive to the right. Acceleration is minus that slope, giving the two inward arrows. The next experiment supplies a locally uniform slope and studies the matter response; it does not solve a new source problem.

What the calculation does and how it reaches familiar gravity

Call each field value u. A link compares the ratio eu₁−u₂, so its exact cost is cosh(u₁−u₂) − 1. The chain minimizes the sum of these link costs plus q u at the centre. Its three equal drops on either side are asinh(q/2); the endpoints stay at zero.

For small neighbouring differences, each link cost is approximately half the squared difference. On an appropriately weighted three-dimensional mesh, with the stated matter coupling and continuum limit, this leads to the Newton–Poisson field equation. The chain shows the spatial-response mechanism; it is not the three-dimensional inverse-square law. The physical coupling sets the strength in ordinary units.

Keep this

Matter’s energy response and the positive cost of field differences balance. With the shared clock coupling, the resulting weak-field interaction is attractive.

04 / How timing becomes motion

A difference in timing
changes momentum.

Phase is position within a wave’s repeating cycle. Think of an angle on a clock face. A matter wave’s phase changes at a rate set by its energy. A slower physical clock rate therefore changes how much phase it accumulates compared with the same matter at a higher rate.

Near Earth, the clock rate increases upward. Over the same reference time, different heights acquire different extra phases. This makes a spatial phase gradient: a tilt in phase across the wave.

In quantum mechanics, a spatial phase gradient carries momentum. This connects timing to motion. With the clock-energy coupling used here, the extra phase gradient gives momentum downward. As time passes, that downward momentum grows: the object accelerates toward lower clock rate.

Clocks are not pulling on the object. The same physical rate enters its matter-wave equation, and that equation changes its motion. A constant rate offset everywhere would shift the phase uniformly, producing no such force.

Try it / Watch timing become momentumUniform weak field · two test masses

Extra phase relative to free evolution

Lower heightHigher height →

Solid: mass 1Dashed: mass 3

Up on the graph means more positive phase. The lines show the extra phase tilt across equal height intervals, not an object’s path. A common phase is removed. At zero field or zero elapsed time the extra tilt vanishes.

First mass · 1

Momentum −0.50

Acceleration −0.50

Second mass · 3

Momentum −1.50

Acceleration −0.50

Both fall 0.25 units

The heavier mass acquires more momentum. Its inertia is larger by exactly the same factor, so both accelerate together.

Both start at rest at the same height. Negative momentum and acceleration mean downward. Values use scaled units in H = p²/(2m) + mgz, with ℏ = 1; g represents c² times the clock-rate slope. This is the nonrelativistic, uniform-field approximation, with the same physical coupling for both masses.

Why do different masses fall together?

A mass three times larger acquires three times the phase tilt and three times the momentum change. But it also takes three times the momentum change to give it the same change in velocity. The same mass appears in both places and cancels. That is why the two acceleration readings agree.

This cancellation uses a substantive physical condition: the energy coupled to the rate field and the mass governing inertia belong to the same matter dynamics. It would not follow merely from calling an arbitrary source coefficient “mass.”

From phase to acceleration, in three equations

For a slowly moving test object, use H = p²/(2m) + mc²(N − 1), where N is the local clock rate relative to the reference. Around a small region, N has an almost constant slope. With height z increasing upward, write g = c²∂N/∂z.

Extra phase slope = −mgt/ℏ
Momentum change = ℏ × phase slope = −mgt
Acceleration = (momentum change/time)/m = −g

The minus sign comes from the quantum phase factor e−iEt/ℏ. These are exact mean-momentum and centre-acceleration results for the displayed linear-potential Hamiltonian. A full wave packet can also spread; the plot isolates its extra phase tilt relative to the freely evolving packet translated by the fall displacement. It is not a plot of its full wavefunction.

In vector form, acceleration is −c²∇N in this weak, slow-motion limit. The step from clock rate to motion therefore uses the matter-wave Hamiltonian and its inertial term. The eight-slot illustration alone does not establish those continuum dynamics.

What changes when you fall with it?

Picture a small room falling with the object. In that room’s frame, the local first-order timing difference disappears. This is another description of the same acceleration. The RS coherent-continuation result identifies this cancellation for a supplied potential.

A floor prevents that freely falling motion by pushing upward on you. That supporting push is what you feel as weight. Try finding the falling frame below, then add a tidal difference that cannot be removed across the whole room.

Try it / Find the freely falling frameLocal weak-field timing model
TOPCENTREBOTTOMRight = timing ahead · Left = timing behindLocal timing offsets, exaggerated for visibility

The three rows are top, centre and bottom. Right means timing ahead; left means behind. Offsets are exaggerated.

Held still

The top is ahead and the bottom is behind in this local timing comparison. Try accelerating the frame downward.

The gravitational field is supplied. The calculation finds the frame that cancels its local linear variation. It does not derive microscopic motion from the eight-slot example.

At free fall, all three marks line up if the field is uniform over this small region. Add a tidal difference: the centre can still be in free fall, but one common acceleration cannot erase the remaining variation across the whole object.

This is the difference between free fall here and curvature across a region. Two neighbouring free objects can change their separation even while neither feels a supporting push.

The short equation behind the experiment

Let height be z, let g be the upward slope of the gravitational potential, and choose a frame accelerating downward at a. Its effective local potential has the linear term (g − a)z. Setting a = g removes that term. A quadratic term, ½κz², remains if there are tides.

The RS coherence theorem proves the unique cancellation of the linear term for a supplied potential. This is a precise local kinematic result. Explaining the underlying pattern’s full dynamics and deriving the field are additional steps, not consequences of this cancellation alone.

Keep this

Uneven physical rates create an extra phase gradient, which changes momentum. The shared mass factor gives equal acceleration. Tides measure differences between neighbouring free falls.

05 / Matter and geometry must agree

The pattern shapes its setting.
The setting shapes the pattern.

We have connected energy balance, clock rates and motion in a weak static field. Full gravity also includes distances, directions, pressure and propagating disturbances. These must belong to the same coupled description.

RS’s comparison approach asks both questions using one mathematical rule. You have already used a simple example: the chain’s total cost. Test a small change in its shape, and the change in cost tells you whether it is balanced.

For moving systems, the rule assigns a number to a whole possible history. That number is called the action. Its equations come from testing tiny changes to the history and finding where the score has zero initial slope for each allowed change. This is called stationarity.

Now ask two questions of that same action. Change the matter while keeping geometry fixed: this gives the matter equation. Change the geometry while keeping matter fixed: this gives the matter’s gravitational source.

Why change geometry? Because the same physical pattern is compared differently if you change lengths, angles or clock rates. The change in its action tells you how strongly it responds. This includes directional flow and pressure, not only “how much stuff is here.”

Stretch the setting. Keep the pattern difference.

Imagine a field whose value changes from one side of a small region to the other. Keep that difference fixed. Stretch the region horizontally: the same change now happens over a longer distance, so the horizontal gradient becomes smaller. The region also becomes larger. Both effects enter the matter action.

For this particular action, doubling the horizontal length halves the score when the field varies horizontally. When the field varies vertically, the horizontal stretch leaves that gradient unchanged and doubles the score through the larger volume. The response remembers direction. That is why a gravitational source carries more information than a single amount of mass.

Try it / Stretch the distances used by the same patternExact slice of the specified matter action
Horizontal length: 1.00Horizontal field gradient: 1.00

Horizontal length: 1.00. Horizontal field gradient: 1.00.

Colour shows the field value, not matter density. Vertical length, other dimensions and the endpoint field difference stay fixed.

The field changes along
Matter action / value at length 11.00

Stretch horizontally: the gradient falls enough to outweigh the larger volume. The action decreases.

Response to a fractional horizontal stretch: −1.00

This tests a chosen geometry; it does not evolve spacetime. It is an exact positive-metric slice of the same inverse-metric-and-volume matter action used in the RS source calculation.

How this visible response becomes a source

For this one-direction example, the matter action is proportional to volume × gradient². Write the horizontal length as L. A horizontal field difference of 1 gives gradient 1/L and volume proportional to L. Their product is L × (1/L)² = 1/L. For a vertical field difference of 1, the gradient stays 1 and the product is L.

The readout called “response” is the change in action per small fractional stretch: −1/L horizontally, +L vertically. Its sign is the direction of this action response, not by itself the direction of gravitational attraction.

The full calculation varies every metric component, including clock, length and angle relations. The resulting matter response is the stress-energy tensor. When the geometry is also allowed to vary in the total action, its response must balance this source. That supplies the second half of the coupled equations; it requires a specified gravitational action too.

The source notes give the exact reduction used here, from the matter action and its proved full metric derivative. This example explains how geometry enters the source; it does not derive the physical metric from microscopic events.

Clocks, distances and angles belong to one geometry. The same field that affects timing must also give consistent spatial measurements. Matter and geometry are then solved together; changing the matter changes the problem the geometry must satisfy.

Go deeper: a complete coupled wave example

Clocks alone are not the whole geometry. Distances and angles must respond consistently too. Otherwise different directions of light travel can give the wrong curvature. Calling a microscopic network “space” does not automatically supply this missing physical relationship.

Consider two coupled phase fields. Phase means position within a repeating cycle, like where a clock hand is in its turn. Follow two wave patterns along the same wave coordinate. One phase advances; the other retreats at the same rate. Call that rate of change p. A larger p means more phase change over the same interval.

In this model, the electrical-current contributions have opposite signs: p and −p cancel. The gravitational-source contributions depend on the squares: p² and (−p)² add. Reversing a pattern’s phase direction therefore cancels its partner’s current without cancelling their shared gravitational effect.

For example, let p = 1. The signed contributions give 1 + (−1) = 0, while the squared contributions give 1 + 1 = 2. With a specified common geometry and an Einstein gravitational action, the calculation constructs a curved spacetime in which these patterns and the geometry satisfy their coupled equations.

The experiment below shows that solution’s sideways tidal effect. Its source contribution is shared equally between the two sideways directions: p² in each, using the chosen units. The dots are nearby freely falling test objects; the arrows show how their separations begin to change.

The second slider adds an independent gravitational wave: it strengthens the squeeze in one direction and weakens it in the other, eventually turning that other direction into a stretch. This extra wave is supplied, not calculated as radiation from the two patterns.

Try it / Opposite phases, a shared gravitational effectCalculated continuum wave example
PHASE +pPHASE −pCurrents cancel. Energy adds.A ring of freely falling neighbours

Signed current1.00 + (−1.00) = 0

Squared source contributions1.00² + (−1.00)² = 2.00

Across: convergence 1.00. Up–down: convergence 1.00.

Source contribution to sideways convergencep² = 1.00

Both sideways directions converge equally. The opposite phases still gravitate.

The source contribution scales as p² in chosen units. The extra wave component is independent boundary data; it is not radiation calculated from these patterns. Arrows show instantaneous relative acceleration, with scale compressed for readability.

What this result establishes and what is still being connected

The calculation uses two opposite phase fields, a common spacetime metric, and a specified Einstein gravitational action and coupling. It derives the matter stress by changing that same metric, then constructs a plane-wave geometry satisfying the matter and gravity equations. The nonzero curvature produces the tidal effect shown above. In the displayed units, the transverse tidal matrix is diag(p² − P, p² + P); the other polarization is set to zero.

Exact proofs check the metric, its changes, the resulting curvature and the matter source at each point. A separate symbolic calculation checks that the smoothly varying wave satisfies the full matter and gravity equations. The source notes explain exactly which results each check establishes.

This construction solves the coupled continuum equations for the specified metric, action, and coupling. Deriving why microscopic recognition events select those ingredients, and how their dynamics yield this wave solution, remains part of the RS gravity research.

The example establishes a consistent matter-and-geometry solution. A complete microscopic derivation must also account for the ingredients that it uses.

Keep this

The RS aim is one physical account of both sides: how persistent patterns shape clock-and-distance relationships, and how those relationships guide the patterns’ continuation.

06 / Now recognize the familiar world

The apple and the Moon
belong in the same picture.

Once a gravitational field is established, Newton’s law describes its slow-motion, weak-field effects. For an isolated spherical source in that limit, the field spreads through three-dimensional space. Double the distance from its centre and the same total flux is spread over four times the area: the acceleration is one quarter as large.

An apple falls almost straight down because it has little sideways speed. The Moon is continually falling too, but its sideways motion carries it around Earth. A space station and its occupants fall together, so the occupants do not press on a supporting floor.

Einstein’s geometric description makes the larger connection: freely moving matter follows the locally straight paths of spacetime, while relative free fall reveals curvature. RS asks how the patterns and comparisons beneath that description can produce it. The sourced-field construction and the coupled example above are concrete parts of that work.

An apple

Free continuation

Released from support, it follows the local falling motion.

The Moon

Falling sideways

Enough sideways motion makes a path around Earth.

A small falling room

No supporting push

You float with the room. Tides can still change separations.

07 / From the lesson to a quantum theory

Sum over the geometries.
Then pass four tests.

Everything so far has been classical: a field settles into balance, and matter moves through it. A quantum theory of gravity asks for more. It does not pick one geometry. It adds up every geometry the lattice can carry, each with a phase, and the classical field has to come out of that sum when waves are long.

In RS, events are records kept on a ledger. Four counters advance one step at a time, and each step is called a posting. The records form a four-dimensional lattice, and the candidate quantum theory is a sum over the geometries of that lattice in real time, weighted by Regge’s action, the form general relativity takes on a lattice. Quantum Gravity from the Recognition Ledger asks whether that sum is a quantum theory of gravity. A yes needs four things.

DerivedNot yet earned

The lattice, its one number κ, the action and the measure must follow from the ledger. κ = 1 is an identification, the measure rests on two more, and the action a massless graviton needs has not been found.

Sections 2, 5, 6
FiniteEarned for real parts, in the one-loop model

In the paper’s stated model of the one-loop diagrams, a measure weight that charges for curvature, the ledger’s cost under two named identifications, gives the real parts of the graviton’s one-loop responses finite limits, probe by probe and diagram by diagram, the one that diverged included. The imaginary part of the one that diverged too, awaiting verification. The full sum is open.

Section 7
A massless gravitonOpen target

The extra lattice waves are gapped. In the one-loop model a remainder at zero momentum, which acts as a mass term, is nonzero for every candidate computed to convergence, and without the weight the graviton is provably not massless. An action derived from the ledger that leaves no remainder is the precise target.

Sections 3, 6
Einstein at long wavelengthsEarned at first and second order

Linearized Einstein gravity and Newton’s law with G = 1/(8πs), and, under named identifications, second order with matter that conserves postings, at the identified κ = 1; every long-wave vertex of the action is Einstein’s, as field equations on sampled jets. What is missing is lattice solutions at finite strength.

Section 4

Earned, at the scope stated Not yet earned

The shortest wave and the number κ

The flat lattice has one adjustable number, κ. It sets the length of every edge, and a posting, one counter’s single step, has squared length 1 − κ. RS identifies κ = 1. It is the only value at which the lattice’s interval reads the order of the postings over some stretch of time, and there each posting is null: it moves exactly at the speed of the light cone. In one tick a posting moves its position by √3/2, and the cone’s speed is √(κ − ¼), so κ = 1 says that the two speeds agree.

The paper finds that the same value does something else. On a lattice the shortest wave along an axis flips sign at every step. Usually the lattice pushes back on it, so exciting it costs energy. The push is κ − 1 times a fixed amount, and at κ = 1 it vanishes. The lattice then carries four extra massless waves, one for each axis, at the edge of its range of wavelengths. They are called doublers, and lattice models of quarks and electrons have them too.

Try it / Move κ and watch four readings agreeExact formulas · Sections 2.2 and 2.3
SPEED PER TICK OF RECORD TIMEPosting speed √3/2 = 0.866Light-cone speed √(κ − ¼) = 0.866PUSH ON THE SHORTEST WAVEκ − 1 = 0: no push, a massless waveκ below 1κ above 1The push is κ − 1 times a fixed vector.
  • Every posting is null: its squared length 1 − κ is zeroyes
  • The interval reads the order of the postings over some stretch of timeyes
  • The shortest waves are massless: four doublersyes
  • κ is the least value that makes the order of postings causalyes

The order of postings is causal: yes, as for every κ from 1 up.

κ = 1: the light cone moves at the posting speed. Every posting is null, the interval reads the order of the postings, and the four doublers are massless.

Exact closed forms: the posting speed √3/2 and the cone speed √(κ − ¼) (Section 2.2), the push on the corner mode, (κ − 1) times a fixed vector, and four statements that each hold exactly at κ = 1 (Sections 2.1 and 2.3, Theorems 2.1 and 2.2). The slider runs from κ = 0.55 to 2, inside the paper’s family κ above ½. Taking κ = 1 as the physical value is an identification.

Across every κ above ½, massless corner waves occur only at κ = 1 (Theorem 2.1). So deriving κ = 1 and deriving the doublers are the same problem. The foundation as stated does not decide κ: a world at κ = 1 and a world at κ = 3/2 satisfy the same premises (Theorem 2.3). Try the second one above. Its order of postings is still causal, but its interval no longer reads it, and its corner waves have a restoring push.

A cost of curvature gives the doublers a gap

The doublers spoil the first quantum correction. A calculation like this needs a regulator to stay finite, and the regulator must be removed at the end. As it is removed, one response of the graviton at zero momentum grows like the logarithm of one over the regulator, without limit, in the stated model of the one-loop diagrams. That was the result of the earlier paper on this lattice. The growth is plain in that paper’s model of the four corners: once the regulator is small, each further factor of ten by which it shrinks adds the same amount. Give the corner waves a gap, and the growth stops.

Try it / Shrink the regulatorComputed · the earlier paper’s corner model
The doubler term as the regulator shrinksThe regulator shrinks from 1 to ten to the minus 12 across the chart. Without a gap the doubler term, once the regulator is small, climbs by the same amount for every factor of ten, without limit. With a constant gap of ten to the minus 3, minus 6 or minus 9 it follows the same curve until the regulator passes the gap, then levels off.00.0050.010.015110⁻³10⁻⁶10⁻⁹10⁻¹²regulator ε, shrinking →doubler term Dgap 10⁻³gap 10⁻⁶gap 10⁻⁹no gap
  • No gap0.00813
  • Gap 10⁻³0.00379
  • Gap 10⁻⁶0.00792
  • Gap 10⁻⁹0.00813

Once the regulator is small, each further factor of ten adds the same amount without a gap, 0.00145, so the term grows without limit. With a gap it stops growing once ε is well below the gap.

The doubler term D(ε) of the earlier paper’s corner model, the four corners together: from the imaginary part of the integral of its Proposition 6.5, exactly 5/(44√335 π²) times ∫0∞ e−ετ τ²(1 + τ²)−3/2 dτ, in 30-digit quadrature. The dashed curves give each corner line a constant mass; its Proposition 6.13 proves that this model term has a finite limit for every nonzero constant dressing, the same at all four corners: massive, tachyonic or complex, a width included. With the curvature weight, the real part of the full weighted anisotropy, in the same diagram model, has a finite limit (Theorem 7.4 of the new paper), and its imaginary part too, awaiting verification (Proposition 7.5). Program: doubler_log.py, which also runs in your browser on the Gravity page.

A doubler differs from the harmless lattice motions in one checkable way: it bends the lattice. To first order its deficit angles, the lattice’s measure of curvature, do not all vanish, while those of every flat change do (Theorem 5.3). So a weight that charges for curvature can see the doublers without touching flat space. Under two identifications that the paper names, the ledger supplies one: its recognition cost J applied to the curvature around each hinge, with no coefficient left to choose once a count of channels at each hinge is fixed (Theorem 5.4).

The weight is zero on flat changes, falls off with the fourth power of the wave number on long waves, so it leaves Einstein’s limit alone, and is positive on all four doublers (Theorem 5.5). With it, the real parts of the graviton’s one-loop responses in the same model have finite limits, the one that diverged included (Theorem 7.4). Lattice models of quarks handle their doublers with a term of the same structure, found by Kenneth Wilson; the likeness is one of structure only, since the fields here are bosonic and the sum runs in real time. Here the term comes from the ledger’s cost, under named identifications, rather than being chosen.

Try it / Walk out to the cornerComputed · Sections 5.2 and 5.3
What the action pushes back with, and what the curvature weight chargesAlong one axis of the lattice’s waves, from the longest waves on the left to the shortest wave at the corner on the right, evenly spaced in wave number, with the values on a logarithmic scale. On long waves the action’s push grows with the square of the wave number and the weight’s charge with its fourth power, so on the longest waves the weight is far smaller. Toward the corner the action’s push falls to zero: that wave is a doubler. The weight’s charge rises to 0.12255 there, so the doubler is damped.10⁻⁸10⁻⁶10⁻⁴10⁻²1long wavesthe cornerwavelength along an axis, shrinking →charge on the doubler, 0.12255push: zerothe action’s pushthe weight’s charge
  • The action’s push on the softest wave8.45 × 10−7
  • The weight’s charge on the same wave3.51 × 10−8

Here the action pushes back 24 times harder than the weight charges. On long waves the weight grows with the fourth power of the wave number and the action with the second, so the classical long-wave limit, Einstein’s, is left to the action.

Along one axis of the lattice’s waves, from long waves to the corner, the wave the action pushes back on least, among those that are not mere moves of the vertices: how hard the action pushes back (the size of the action’s second derivative along that wave, times the phase scale ln 2/(2π), the earlier paper’s phase premise at unit action scale, which the paper uses in Section 6.3; a model), and what the curvature weight of Theorem 5.4 charges on the same wave. Near the centre the push grows with the square of the wave number, like the action’s own long-wave form, and the charge with the fourth power, within the bound of Theorem 5.5. At the corner the push is zero, the doubler, and the charge is (10 + 3√3)/124 ≈ 0.12255, by exact computation; Theorem 5.5(iii) proves it positive. Per lattice site at κ = 1, with the dual-cycle count of channels (a definition), the paper’s two identifications and the scaling its phase already uses. Another phase scale would slide the action’s curve up or down without changing either shape, and move the crossing and every ratio in the story with it. Numerical evaluation of exact formulas by curvature_weight.py, which also runs in your browser on the Gravity page.

Does the sum evolve in time?

A quantum theory also has to evolve, and its evolution has to be unitary: it must keep the total probability fixed. On the lattice the clock is record time, the count of postings, and the test is whether some positive measure of a wave’s size, a norm, stays the same from tick to tick. The sum without the weight fails it at κ = 1. Its linearized equation has a solution, not a mere move of the vertices, that grows by a factor √2 at every tick, so no such norm exists (Theorem 8.1).

The weight enters the evolution as a damping, so at Gaussian order the weighted sum is not stable on the lattice either. The long waves are another matter. Hold the weight’s strength, its size relative to the action, fixed. Then, as the lattice spacing shrinks relative to the wavelength, every family of physical modes that approaches a steady oscillation grows by an amount per unit of physical time that goes to zero, and no family of lattice-scale modes, the doublers included, approaches a steady oscillation away from zero wave number. Among the modes that approach a steady oscillation, the limit sees only the graviton’s branch. In that sense the record-time roots of the weighted sum, at its Gaussian order, are stable in the continuum limit, given the weight’s two identifications and an inference that the lattice-scale modes, which may grow from tick to tick, do not affect the continuum theory (Section 8.1). That is a statement about the roots of the equation, not an evolution that keeps a norm: the paper does not construct one, and it remains open. If the spacing itself shrinks, the strength changes with it, and that case is not proved.

The open question: is the graviton massless?

Gapping the doublers does not settle the graviton itself. At zero momentum the one-loop correction, in the stated diagram model, leaves a remainder that is not a function of the volume, and whenever it is nonzero it acts as a mass term. The paper proves an exact test. The remainder vanishes if the one-loop determinant does not change under volume-preserving linear moves of the lattice’s vertices, and in general it equals i/2 times the difference of two such defects (Theorems 6.2 and 6.4).

Where the computed remainders sitNumerical · Section 6.3
Where the computed one-loop remainders sitReal part across, imaginary part up. The native path sum sits near 0.45 to 0.75 plus 7i, its real part falling as the regulator shrinks. With the curvature weight the remainder is 0.113 plus 24.7i; real normalizations move it to 0.113 plus 12.2i or 0.113 minus 0.36i without changing the real part. Curvature-squared terms of one sign make it purely imaginary to four digits, between 20.6 and 25.0, for the seven hinge shapes the side-12 grid resolves. A massless graviton needs the remainder at zero.00.20.40.60.80i10i20ireal partimaginary partneeded: 0curvature-squared terms, one signwith the curvature weightnormalized by the Born weightnormalized by the amplitude’s size0.10.050.025no weight; regulator ε above each dot
  • No weight: 0.75 + 6.71i, 0.62 + 6.93i and 0.45 + 7.03i at regulator ε = 0.1, 0.05 and 0.025. The real part carries a small logarithm, so it has no limit as the regulator is removed (Theorem 3.3).
  • With the curvature weight: 0.1130 + 24.656i.
  • The same divided by a real normalization, one number per background: 0.113 + 12.15i (the Born weight) or 0.113 − 0.358i (the amplitude’s size). Only the imaginary part moves.
  • Curvature-squared terms of one sign, as they dominate: for the seven hinge shapes that leave no wave of the side-12 grid near-singular, the remainder is purely imaginary to four digits, between 20.6 and 25.0; the other shapes are not resolved.
  • A massless graviton needs 0, on every probe.

Computed per lattice site at κ = 1 for the model determinant, the one-loop model with a unit-weight gauge term and no ghost line, on the sum of one transverse-traceless probe in each of the lattice’s two symmetry types, on grids of the lattice’s wave numbers; they are evidence, not theorems. The weighted values use the dual-cycle count of channels (a definition) and the phase scale of the paper’s phase premise (a model). A real normalization moves only the imaginary part (Theorem 6.5). The weighted value is computed from the determinant of the weighted operator on the eleven non-posting channels, not from a full gauge, ghost and density amplitude, and whether it has an ordered limit is still open.

Every candidate computed to convergence leaves the remainder nonzero (numerical). No real weight or density can supply the missing symmetry, and adding terms of third or higher order in the deficit angles to the action leaves the remainder as it was, at the same slope and weight (Theorems 6.6, 6.7 and 6.10). Zero has been reached only by choosing lattice-scale numbers by hand (numerical), which is a fit, not a derivation. Without the weight, the model’s graviton is not massless at one loop (Theorem 3.3); with it, the computed remainder is still nonzero. Read through named identifications, the computed remainders amount to a one-loop mass scale of the model near 10²⁸ eV, about fifty-one orders of magnitude above the measured bound (numerical): a diagnostic of the path sum as it stands, not a prediction. An action derived from the ledger whose remainder vanishes is the paper’s precise open target. Neither of the two routes that are not local supplies it at κ = 1 (awaiting verification): a phase built from the holonomy of postings is the Regge phase itself, and the action that the ledger’s refinement map induces has no fixed point with Einstein’s long-wave form.

How far from the measured boundNumerical · read through two identifications · Section 8.3
The one-loop mass scale against the measured boundA logarithmic energy axis from ten to the minus 25 to ten to the 30 electronvolts. The measured bound on the graviton mass is 2.42 times ten to the minus 23 electronvolts over c squared, at 90 percent credibility. Read through two identifications, the path sum as it stands gives a one-loop mass scale of the model of about 3 times ten to the 28 electronvolts without the weight and 5 times ten to the 28 with it, about fifty-one orders of magnitude higher: a conditional diagnostic, not a prediction.10⁻²⁰10⁻¹⁰1 eV10¹⁰10²⁰10³⁰measured bound, 2.42 × 10⁻²³ eV/c²the path sum, about 10²⁸ eVabout fifty-one orders of magnitude

The bound is the published one of the GWTC-3 tests of general relativity (Phys. Rev. D 112, 084080 (2025)): 2.42 × 10⁻²³ eV/c² at 90% credibility. The two identifications are the lattice spacing, (2/√3) λrec ≈ 1.92 Planck lengths, and the map from the remainder to a mass term; the scale also rests on the computed values, on the action being the unrepaired one, and on the one-loop model. About 3 × 10²⁸ eV without the weight and 5 × 10²⁸ eV with it, most of it from the imaginary part. Whether this scale is a mass or a width depends on the evolution in record time, which is open.

What has been ruled out, and what remains
  • A weight or density. No real one makes a flow of the lattice’s vertex moves a symmetry of the path sum (Theorem 6.6).
  • Higher powers of curvature. Adding terms of third or higher order in the deficit angles gives no exact vertex symmetry, and at the same slope and weight it leaves the remainder exactly as it was (Theorems 6.7 and 6.10).
  • Refinement. A sum unchanged by refining the lattice would have no remainder, but the identified lattice is not such a sum, and at κ = 1 refinement carries the doublers to zero momentum instead of removing them (Theorem 6.9). Reading the interval as a count of recognitions selects κ = 1, and refinement excludes that value.
  • Charges that add over a hinge’s pieces. Without the weight, their remainder is that of a family with one free number, and no value computed over the range scanned gives zero (numerical).
  • Even parts built from the area. An even part that grows in proportion when a hinge’s area and its reference area are rescaled together, by any positive factor, fails the condition at the corners of the zone that a massless graviton needs (that the condition is exact awaits verification); one that sees the area only through its ratio to the flat area fails on one symmetry type (numerical).
  • The readings of a charge the ledger supplies. Within them the even part of a charge is zero or proportional to the area, and neither gives a massless graviton in the model (awaiting verification): zero leaves the remainder of the sum without the weight, which is not massless (Theorem 3.3), and proportional to the area leaves it nonzero at every value computed (numerical). The classical requirements leave the even part free, so a local charge that removes the remainder would be a choice of lattice-scale numbers, found so far numerically at one point, on the sum without the weight, whose doublers are still massless.
  • The sum without the weight. At κ = 1 its graviton in the one-loop model is not massless (Theorem 3.3).

Two routes that are not local have been carried through at one loop, and neither supplies the repair at κ = 1 (awaiting verification). A phase built from the holonomy of postings around hinge cycles, read through two identifications, is the Regge phase itself (awaiting verification). The action that the ledger’s own refinement map induces on the coarser lattice, reading the ledger’s records as counts on edges (an identification), has no fixed point with Einstein’s long-wave form: with the damping held fixed on the fine lattice, at any κ above ½ (proved), though in that order ordinary block averages have none either; and with it held fixed on the coarse lattice, the order that decides the route, where block averages stay bounded (awaiting verification). That last proof uses the doublers, so it is specific to κ = 1; other values of κ, and the statement wave by wave rather than averaged over the zone, are open. What remains is a phase outside these classes: one whose even part lies outside the ledger’s present readings, or whose slope map or even kernel is not that of a local charge; at one loop a phase acts only through these two (awaiting verification). Any candidate is tested as the local charges were: its classical limit first, then its remainder on both symmetry types, with every coefficient derived (Section 6.7).

Einstein’s equations at long wavelengths

The classical side is where the lattice is strongest. With a resting body and a model medium, exact lattice solutions have linearized Einstein gravity as their long-wave limit, and a compact body gets Newton’s potential with G = 1/(8πs), where s is the scale of the action. With matter that conserves postings in place of the medium, the agreement extends to second order in the field for a static body at small strength, under named identifications and two model assumptions. Read as a statement about continuum fields it holds at first order and at every nonzero wave of the second order; the uniform part is balanced by a constant that is left free rather than checked. Every long-wave vertex of the action is Einstein’s: on a smooth metric sampled at the edges, the metric part of the lattice field equations is the full Einstein density, nonlinear terms included, for every κ above ½ (Theorem 4.2). That is a statement about the field equations, not about their solutions: what is missing is lattice solutions at finite strength. One obstacle is known for vacuum: the lattice’s vertex moves stop being a symmetry at second order in the field, one order in the derivatives past Einstein’s equations (Theorem 4.3), so exact static vacuum solutions of all the lattice equations meet an obstruction there (Section 4).

Keep this

At long wavelengths the lattice gives Einstein’s equations at first order and, with matter that conserves postings and under named identifications, at second order, and every long-wave vertex of its action is Einstein’s, as field equations on sampled jets. As a quantum theory, in the stated one-loop model, the graviton’s responses get finite real parts once a weight that charges for curvature gaps the doublers, and the ledger supplies that weight under two named identifications. A derived action with a massless graviton is the open target.

Read the papers

Ten papers on the lattice, 30 October to 4 November 2026.

The story to take with you

Matter changes the rates.
The rate gradient changes motion.

In the RS construction, matter persists as physical activity with energy. Its coupling to the local rate makes it a source: lowering that rate reduces matter energy, while differences between neighbouring rates cost field energy. Their balance produces an attractive weak field. That field creates an extra phase gradient in a matter wave, changing its momentum. The same mass factor controls the response and the inertia, so different test masses fall together.

Full gravity joins this timing response to distances and directions in one coupled geometry. The models here show concrete parts of that construction. Deriving the universal physical coupling and shared geometry from microscopic recognition remains the step being completed.

The same lattice of records is also being tested as a quantum theory of gravity (chapter 07). It gives Einstein’s equations at long wavelengths to second order, with matter that conserves postings and under named identifications; in the stated one-loop model the graviton’s responses get finite real parts once a weight that charges for curvature gaps four extra lattice waves; and a massless graviton is the precise open target.

If the pattern keeps changing, why call it the same thing?

Because an organized relationship can persist through change. In the cyclic example the state moves around its cycle while its squared size is conserved. Calling that a physical model of matter requires more than the algebra, but the example makes persistence through activity tangible.

Why can there be gravity where there is no matter?

The field fits comparisons across connected locations. A source changes that connected solution, including locations outside the source. Local matter density and local field value are different things.

Does a slower clock pull things toward it?

A held clock measures the local rate. That rate also enters a matter wave’s energy and phase evolution. A spatial rate difference creates an extra phase gradient, which changes momentum. A uniform offset changes no momentum. The clock is a probe of the field, not a separate pulling device.

What is distinctively RS about this explanation?

The starting point is persistent recognition activity, native clock energy and the canonical reciprocal comparison rule. Exact-J models connect those ingredients to a field balance and negative binding energy with the chosen coupling. The phase–momentum relation and weak-field quantum dynamics are shared with ordinary physics; they explain the motion once that coupling is supplied. Deriving the universal physical geometry is the remaining microscopic connection.

What would complete the picture?

Derive the physically shared clock-and-distance geometry and the complete matter–gravity dynamics from the microscopic events, with the right coupling and observational consequences. The selected continuum example demonstrates a consistent connection; it does not by itself select all of those ingredients.

Keep exploring

Inspect the calculation.

The complete research lab is below: lattice waves, downloadable source, and three exact Python checks you can run in your browser.

Optional / Software & research lab

Reproduce the
lattice calculation.

Change a wave’s direction and wavelength to see how the lattice affects its motion. Run the exact Python checks here, or download the source and data to reproduce the full calculation.

Software & paper

Source & reference outputs

The source, data,
and exact checks.

Download the numerical program, its three geometry dependencies, exact symbolic checks, rational coupling data, and reference outputs. The package includes the full spectrum calculation and instructions for reproducing it.

Paper
Lattice Graviton Dispersion on the Kuhn Triangulation

Jonathan Washburn & Philip Beltracchi · September 2026

Numerical companion to the lattice graviton dispersion study.

Ask about the paper ↗
Calculation methods & reproducibility

The reproduction instructions cover the geometry audit and platform setup, including Windows commands that work without shell activation.

Spectrum calculation. Use VerifyQuartic.py and its reference result for the full off-shell eigenvalue spectrum. The numerical program also contains diagonal Rayleigh evaluations; these are distinct from the spectrum. The explorer displays the on-shell equal-polarization dispersion.

Entropy anchor. VerifyPhilipDraft.py supplies the √(4 ln 2) anchor. The optional anchor in the numerical program uses √π and requires this substitution. The download contains the full geometry and finite-difference calculation; this page runs the compact exact checks.

Native reference checks used Python 3.10, SymPy 1.12, mpmath 1.2.1 and NumPy 1.21.5. Browser execution uses pinned Pyodide 0.28.3 with its bundled packages; each receipt records the actual runtime and source hashes. Reference outputs are labeled; each browser run produces its own result.

These are reproducible calculations of the stated lattice model. The free branch alone does not establish a physical matter-coupling law. The paper states the assumptions used in its cosmic-ray bound.

File manifest

Lattice wave explorer

Starting Python…

Free, weak-field lattice modes. The calculation uses the paper’s axis-time continuation. Here, c is the model’s long-wavelength speed; comparison with photons requires a specified photon law.

Lattice mode · edge strain
Loading the Python calculation
Direction [1, 0, 0]t c/a = 0.0
Wave-vector direction

White k arrow: normal to phase fronts. Blue vg arrow: group velocity, with length proportional to speed / c.

Long wavelengthDisplayed upper limit

Dimensionless |k|a. Each component stays within the first Brillouin zone.

Lattice polarization

Two modes satisfying the lattice constraint. The labels approach ordinary plus and cross polarizations at long wavelengths.

−1 · contraction0+1 · extension

Normalized edge strain

Colors show relative changes in edge length for a specified lattice gauge. The reference geometry stays fixed and the amplitude is arbitrary. The display illustrates a weak-field mode; nonlinear spacetime evolution is outside this calculation.

Phase speed / c…ω / |k|
Group speed / c…|∇kω|
Frequency ωa / c…From the exact branch
Leading coefficient κ…(1 + Σ nj⁴) / 24

Where the lattice departs from the continuum

LatticeContinuum

The graph will appear when Python has calculated the branch.

The equation and what is being shown

ωa/c = 2 asinh √[Σj=1…3 sin²(|k|a nj/2)]

This is the free graviton branch of the linearized Regge action on the four-dimensional Kuhn triangulation, with the fourth momentum component continued to imaginary frequency. It is exact in lattice momentum and weak-field in amplitude. The speed c is the long-wavelength limit.

The spatial view includes all seven spatial edge classes of the Kuhn triangulation. Python constructs the two finite-momentum modes using lattice differences and the paper’s exact edge map, then checks the full 15-edge equations. Each mode is normalized by its largest spatial edge-strain amplitude. Color and line width show the signed strain; vertex positions stay fixed.

The displayed gauge sets the time components and spatial trace of the transformed tensor to zero. The two modes are independent modulo vertex displacements. Individual edge colors depend on this gauge and are not gauge-invariant curvature measurements. At zero momentum the view is a static uniform-strain limit, not a propagating wave.

Mode equations will be checked when Python loads.

Changing direction changes dispersion. The group-velocity vector need not be parallel to the wave vector; the readout reports its magnitude. At zero momentum the speed readouts use the limit c. A directly constructed Lorentzian Regge action, interactions with matter and quantum fluctuations are outside this free-mode calculation.

The explorer runs explorer.py and lattice_modes.py. Read the mode construction and gauge derivation, the independent mode audit, or its reference result. The three checks below execute the supplied paper programs unchanged.

Run the actual Python

SymPy · exact arithmetic

Reproduce the result.

Run the paper’s programs against its 302-entry rational coupling table. Your browser carries out the calculation and returns a result you can inspect and save.

01
The Einstein operator

Verify the quadratic identity and the zero-momentum characteristic polynomial. Every matrix entry is checked exactly.

View Python source
02
The finite-momentum factorization

Check all 100 entries of the transformed action, the constraint identity and the gauge map as rational-function identities.

View Python source
03
The full quartic spectrum

Diagonalize the full five-dimensional off-shell transverse-traceless operator along an axis and a face diagonal, including off-diagonal terms.

View Python source
Ready when you are
Choose a check to run. Python and SymPy load on first use; calculations may take a minute or more.
Full output & calculation receipt
No calculation has run yet.

The exact checks run in a separate worker, so the wave explorer remains responsive. Stopping a check discards its unfinished calculation. No code or results are sent to a server.

Follow an idea to its source.

  1. RS gravity: teaching models, equations and source map. Exact definitions behind the controls; mathematical results and supplied physical identifications, with the source of each statement. Chapters 01 to 06 as of 17 September 2026, chapter 07 from the papers of 30 October 2026 in their versions 1.2.
  2. Uniqueness of the Canonical Reciprocal Cost. Conditions selecting the comparison rule.
  3. Simons, Allahyarov & Washburn: A Discrete Informational Framework for Classical Gravity. Entropy 28, 477 (2026). The weak-field, quasi-static source–potential construction and its refinement assumptions.
  4. Washburn & Beltracchi: Lattice Graviton Dispersion on the Kuhn Triangulation. Manuscript, exact programs and calculation methods.
  5. Washburn: Quantum Gravity from the Recognition Ledger. Preprint, 30 October 2026. The four tests of a quantum theory on the lattice, with the status of each result (chapter 07).
  6. Einstein Online: From weightlessness to curvature. Local free fall and tidal geometry.
  7. NASA: What is microgravity? The free fall of an orbiting spacecraft and its occupants.

The lesson distinguishes mathematical demonstrations, physical interpretations and specified continuum constructions. Its illustrations are not measurements of microscopic space. No calculus is needed to follow the main narrative; model equations are available in the expandable notes.