Tidal Forces and the Limits of the Equivalence Principle
The Sun pulls on the Earth 178 times harder than the Moon does. The Moon raises a tide twice as big. That is not a paradox, a rounding error, or a fact about oceans. It is the reason general relativity exists. A tide is not a pull. It is a difference of pulls — and differences of pulls do not obey the inverse-square law. They obey an inverse-cube law, because a difference is a derivative, and differentiating gives .
`aq-sr-equivalence-principle` proved that free fall removes the pull — exactly, at a point, with no residue. It removes the . What it cannot remove is the , because a coordinate change can subtract a constant from an acceleration field but cannot subtract a gradient from it. That leftover gradient is a tensor, and a tensor that is non-zero in one frame is non-zero in every frame, forever. So the boundary of special relativity is not acceleration, and it is not gravity. It is the second derivative of the potential — and the ocean has been demonstrating this twice a day since before there was anyone to watch.
- Signature : , timelike positive.
- Scope, up front. The tidal tensor , its eigenvalues , its tracelessness, and the expiry inequality ("a 1 m lab is inertial for 0.81 s") are owned by `aq-sr-equivalence-principle` — recalled by name here, never re-derived. This article goes past them.
- Owned — THE INVERSION. Tides go as , not . So the Sun outpulls the Moon by and loses the tide contest to . Lunar tide m/s²; solar tide m/s². The ocean answers to the nearer body, not the stronger one.
- Owned — geodesic deviation, derived. Two neighbouring free-fallers, a separation vector , and the commutator of covariant derivatives give . The covariant statement of a tide — and what makes curvature an observable rather than a definition.
- Owned — spaghettification, and it runs backwards. At a horizon the tidal acceleration across a body of length is . A bigger hole has a GENTLER horizon. A hole tears a person apart at ; at Sgr A* () the horizon tide over a human body is — you cross it without noticing. Crossover: .
- Owned — a uniform field has EXACTLY ZERO tide. , identically. That is why no rocket can fake gravity, and why the Rindler chart is flat. The tide is the one thing acceleration cannot counterfeit — which is precisely why it, and not acceleration, is the border.
- ⚠ The sign trap. The eigenvalues of and the relative accelerations they produce are negatives of each other (). Print the tensor's eigenvalues, call them accelerations, and you have swapped stretch for squeeze. The base of `aq-sr-failure-global-inertial-frames` does exactly this.
- Key idea: free fall subtracts a constant from the gravitational field. It cannot subtract a gradient. All of general relativity is the study of what is left.
Gravity is the only force that can be switched off by falling — but only its value, and only at one point. Move an inch and the field has changed slightly, and that change is still there, and nothing you do to your frame will touch it. So the honest description of gravity is not the field but the field's derivative, and the honest question is never "how strong is gravity here?" but "how differently strong is it an inch away?" The Moon beats the Sun on that question by two while losing the first by a hundred and seventy-eight. The ocean, which cannot read, gets the right answer twice a day.
Where this lives today
Every gravitational-wave detector is a tidal instrument. A passing wave carries no force: it carries a travelling ripple in , and LIGO's mirrors are free-falling test masses whose separation it modulates. The measurement is the one this article describes — two freely-falling bodies and the drift between them that no change of frame removes — at m over km.
And the tide shapes the solar system. The same law that lets the Moon outvote the Sun tears comets apart at the Roche limit, keeps Saturn's rings from coalescing, heats Io until it is the most volcanically active body in the solar system, and has locked the Moon's rotation to its orbit. Tidal dissipation pushes the Moon away at cm a year and lengthens our day — all of it , doing the one thing gravity does that free fall cannot undo.
Gravity gradiometry maps what an accelerometer cannot see. An accelerometer in free fall reads zero — that is the equivalence principle. A gradiometer, measuring the difference between two accelerometers, reads , which is not removable. That is why the GOCE satellite mapped Earth's geoid from orbit while in free fall the whole time, and why gradiometry finds ore bodies. The instrument exists because the tide is the part of gravity you cannot fall away from.
The physical picture
Drop a laboratory and everything inside floats — `aq-sr-equivalence-principle`'s subject, exactly true at a point. Now make the laboratory bigger and watch what leaks in. Release two balls side by side. Both fall toward the centre of the Earth, so their paths converge and in the falling frame they drift together. Release two balls one above the other. The lower is in a stronger field, so it falls faster, and they drift apart. Nothing you do to the box — no boost, no rotation, no coordinate change in existence — removes those drifts. They are the fingerprint of a real mass, and what an accelerating rocket cannot fake.
Why can it not fake them? Because a uniform field has no tide at all, and the calculation is one line. For ,
A uniform field is exactly a coordinate choice. Its tidal tensor vanishes, its Riemann tensor vanishes (`aq-sr-rindler-metric` computes both and gets zero), and a rocket burning at in deep space reproduces every gravitational effect there is except this one. The tide is the sole survivor — and that is the entire reason it, and not acceleration, marks the border.
Now the ocean. The Earth is in free fall around the Moon: the whole planet accelerates toward it at , and by the equivalence principle that acceleration is invisible — it is the part that cancels. What does not cancel is that the near side is closer and the far side further. The near ocean is pulled harder than the Earth's centre is; the far ocean is pulled less hard, so relative to the falling Earth it is left behind — flung outward. Two bulges. Two high tides a day. The far bulge is not the Moon pushing; it is the Moon failing to pull hard enough.
The core equations
where: is the perturbing body's mass, its distance, the size of the body being tidally stressed. Physical reading: the two laws that produce the inversion. The pull carries ; the tide carries , because it is a difference of pulls across a span , and a difference is a derivative. The extra factor is what rewards proximity so brutally. The tidal tensor whose radial eigenvalue this is — , spectrum — is owned by `aq-sr-equivalence-principle`.
where: is the separation between two freely-falling particles. Physical reading: the sign trap, and it is worth a warning of its own. The eigenvalues of are ; the relative accelerations they produce are the negatives of those, — stretch radially, squeeze transversely. The minus sign in separates the tensor from the motion, and printing one while naming the other swaps stretch for squeeze.
where: is the four-velocity of the reference geodesic, the Riemann tensor. Physical reading: geodesic deviation — the covariant statement of a tide, and the reason curvature is measurable rather than merely definable. Derived below. In the Newtonian limit it collapses to the line above, fixing (`aq-sr-equivalence-principle`'s card).
where: is the Schwarzschild radius and the length of the infalling body. Physical reading: spaghettification, upside-down. The horizon tide falls as , so the more monstrous the hole, the gentler its horizon. Note the : the quantity is an acceleration, and dropping it — as this article's base does mid-derivation — leaves units of .
Where the tide comes from
The Newtonian tidal tensor is a fine object but it is defeasible: a Newtonian could insist that is a statement about a force field, and force fields are frame-dependent things one might hope to argue away. The goal of this card is to redo the calculation with no force field at all — nothing but two freely-falling worldlines and the geometry between them — and to show that the tide survives, now wearing a tensor. That is the step that makes curvature an observable, and `aq-sr-equivalence-principle` states the result without deriving it. Everything below follows from two facts, and no forces.
Step 1. Set up a family of geodesics. Let be a smooth one-parameter family of freely-falling worldlines: runs along each, labels which one. Define
Why: is the honest, coordinate-free version of "the gap between two neighbouring free-fallers", and is what a tide is. No forces have been mentioned and none will be.
Step 2. Note the one structural fact we need. Because and are coordinate vector fields of the same map, they commute:
Why: this is promoted to covariant derivatives — legitimate because the connection is torsion-free. <strong>It is the only input beyond "the worldlines are geodesics".</strong>
Step 3. Differentiate twice along the flow and swap. The relative acceleration is ; using Step 2 once,
Why: we have deliberately manufactured a <strong>commutator of covariant derivatives</strong> — which is, by definition, the Riemann tensor. The curvature was not inserted; it was <strong>produced</strong>.
Step 4. Kill the first term and name the second. The worldlines are geodesics, so identically and the first term vanishes. The second is the definition of Riemann acting on the vector :
Why: <strong>read what has happened.</strong> Two particles in free fall, both feeling nothing — each a perfectly good local inertial frame, neither with any right to accelerate. Yet they accelerate relative to each other, and the coefficient is the Riemann tensor. <strong>Curvature is not a definition; it is a measurement</strong>, and the instrument is two falling stones and a ruler.
Step 5. Sanity-check against Newton. For a slow observer only survives, and . Matching the Newtonian fixes — `aq-sr-equivalence-principle`'s boxed card, recovered from a purely geometric argument. Why: and now the theorem bites. In flat spacetime , so : <strong>special relativity is incapable of producing a tide, in any chart, ever.</strong> Not "it is difficult". A tensor that vanishes in one frame vanishes in all of them. Measure a tide and you have left special relativity for good. *Verified in verify_aq-sr-tidal-forces-equivalence-limits.py: sympy builds the Riemann tensor from a general metric, confirms from the definition, and verifies that the Rindler chart — non-trivial metric, non-zero Christoffels — has every Riemann component identically zero, so its geodesic deviation vanishes.*
Go deeper · Derivation B · 2 minThe inversion — why the Moon beats the Sun by two while losing by a hundred and seventy-eight
Every schoolchild is told the Moon causes the tides, and most of them notice at some point that the Sun is vastly more massive and wonder why it does not win. The goal of this card is to show that the question contains its own answer, and that the resolution is not a detail of oceanography but the exact reason free fall cannot remove gravity over a finite region — which is to say, the exact reason general relativity exists.
Step 1. Write the two quantities and notice they differ. The pull on the Earth's centre from a body of mass at distance is . The tide is the difference between the pull at the near surface and at the centre, across a span :
Why: <strong>the first is what the equivalence principle removes.</strong> The whole Earth falls toward the Moon at , and free fall makes that term invisible — it is exactly the "uniform part" a change of frame subtracts. What survives is the difference.
Step 2. Expand for , using :
Why: <strong>there is the cube, and it came from a derivative.</strong> The tide is of the pull, times — and differentiating produces . The extra is not a correction. It is the whole story.
Step 3. Take the two ratios. With and :
Why: <strong>the winner swaps, and the reason is one power of .</strong> is not enough to overcome the Sun's ; is. The Moon buys its victory entirely with proximity, cubed.
Step 4. Put numbers on the accelerations themselves.
Against the pulls: (Sun) and (Moon) m/s². Why: note the scale. These are – m/s² — a <strong>ten-millionth of </strong> — and they move the entire Pacific twice a day. A tide is not strong. It is <strong>inescapable</strong>, which is a different property, and the one that matters.
Step 5. Draw the conclusion. Free fall cancels the — exactly, at every instant, because it is a constant over the falling body. It cannot cancel the , because that is a gradient, and a coordinate change transforms a gradient, never deletes it.
Why: <strong>that sentence is the boundary of special relativity</strong>, and every other statement in this chapter paraphrases it. `aq-sr-equivalence-principle` prices the failure ( — a metre lab is inertial for s); this card explains why there is a failure to price. *Verified in verify_aq-sr-tidal-forces-equivalence-limits.py: the expansion is checked symbolically; both ratios are recomputed at fifty digits from IAU/CODATA values, giving 2.176 and 178.8; and an artefact guard perturbs and and confirms the tide moves as and as .*
Go deeper · Derivation C · 2 minSpaghettification, and why a bigger black hole is a safer one
The one thing everybody knows about black holes is that they tear you apart. True, and it is a tidal effect — but the scaling is the reverse of what everybody assumes, and the reversal follows directly from the law derived above. The goal here is to compute the tide at the horizon and find that it falls with the mass of the hole, so fast that a large enough black hole has a horizon you could cross without feeling anything at all. This is also where this article's base breaks, and the break is instructive.
Step 1. Locate the horizon: , which is for and for Sgr A (). Why: the horizon radius grows linearly with — and the tide falls as . against is going to be a rout.*
Step 2. Evaluate the radial tide at the horizon, across a body of length :
Why: the tidal tensor's radial eigenvalue , at , across . (The exact Schwarzschild result differs by an factor that does not touch the scaling, which is what this card is about.)
Step 3. Substitute and watch the mass collapse:
Why: <strong> from the tide's numerator, from the horizon's cube — net .</strong> And note the : it must be there, because the left side is an acceleration. <strong>This article's base drops it mid-derivation</strong>, writing , whose left-hand side evaluates to — units of — while the right-hand side, correctly, keeps the . The two sides of the base's own equality are not equal. <strong>The final formula is right; the step that produces it is broken.</strong>
Step 4. Put a person ( m) at three horizons and read the numbers.
| black hole | mass | horizon tide over 1.8 m | in |
|---|---|---|---|
| stellar | m/s² | ||
| crossover | m/s² | ||
| Sgr A* | m/s² | ||
| M87* | m/s² |
Why: <strong>you would cross Sgr A's horizon and feel a ten-thousandth of a — less than standing up quickly. Nothing local would tell you it had happened. The horizon is not a wall; it is a causal boundary, and there is nothing there to feel.*
Step 5. The general lesson. At a supermassive horizon the tide — the only coordinate-invariant local gravitational effect — is negligible, so spacetime there is locally indistinguishable from flat, and the equivalence principle holds beautifully at the most dramatic surface in physics. Why: curvature scale and "strength of gravity" are different quantities, and the horizon proves it. What is extreme about a black hole is its <strong>causal structure</strong>, not its curvature. `aq-sr-rindler-horizon` owns the causal side; the interior belongs to the <strong>general-relativity track</strong>. *Verified in verify_aq-sr-tidal-forces-equivalence-limits.py: is shown symbolically to equal ; the base's step, , is shown NOT to equal it and to carry units of ; all four table rows and the crossover are computed at fifty digits; and the scaling is asserted by perturbing .*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| uniform field | identically | why acceleration is not the boundary. A rocket has no tide, so it cannot fake gravity |
| , | tide | equivalence becomes exact. `aq-sr-equivalence-principle` prices it: |
| at fixed | tide | a distant, strong source is a uniform field. This is why the Sun loses |
| at the horizon | as | a supermassive horizon is tidally gentle. Cross it feeling nothing |
| flat spacetime | a theorem, not a limitation. SR cannot produce a tide in any chart |
Worked examples
1 · How high is the tide, actually?
Step 1 — identify. The lunar tide-raising acceleration at Earth's surface: .
Step 2 — apply. With , m, m,
Step 3 — the Sun, for comparison. — less than half, despite pulling times harder.
Step 4 — the bulge. The tidal potential lifts water until its weight balances: , giving m for the Moon and m for the Sun. Spring tides (aligned) add, neap tides (perpendicular) subtract — and the spring-to-neap ratio, about , directly measures the number 2.18. Coastal tides are far larger because basins resonate, but the forcing is these two numbers alone.
Step 5 — the boundary number. is one ten-millionth of , and it moves the Pacific. A tide is not strong; it is irremovable — a different property, and the only one that matters here.
2 · Would you survive crossing Sgr A*?
Step 1 — identify. Tidal stretch head-to-toe at the horizon: with m, .
Step 2 — apply.
Step 3 — compare. A tenth of a milli- across your body; standing up from a chair subjects you to more. You would cross the event horizon of the Milky Way's central black hole and notice nothing whatever.
Step 4 — contrast. At a hole the same calculation gives — you are drawn into a thread far outside the horizon and never reach it. The difference is the mass, squared, in the denominator.
Step 5 — the boundary number. Set and solve: . Above forty thousand solar masses a horizon is a place you can walk through — the sharpest statement of the chapter's thesis: what is extreme about a black hole is its causal structure, not its curvature, and only curvature is what SR cannot handle.
Origins · 2 minTidal forces and how this was discovered
The explanation. Tides were the first thing gravity ever explained that nobody had asked it to. Newton, in Book III of the Principia, showed that the Moon's differential attraction across the Earth produces two bulges — near side pulled toward, far side left behind — with a second, weaker pair following the Sun. The sea, twice a day, obeying an inverse-square law invented for planets. Laplace, a century later, made it a real theory of a real ocean on a rotating globe. The reinterpretation. For two hundred years the tide was an application. Then Einstein noticed it is the only part of gravity that is real. The field's value can be transformed away — stand in a falling lift and gravity is gone, exactly. The difference in the field across the lift cannot be transformed away by anything, and that difference is the tide. Gravity's observable content is not ; it is , whose relativistic name is the Riemann tensor. The quantity that shows up in the sea is the quantity that curves spacetime: general relativity's field equations are, at bottom, a statement about tides. What survives. Every gravitational-wave detector is a tide meter. A passing wave is a travelling ripple of , and LIGO measures it exactly as Newton would have understood — two free masses drifting apart and back. The instrument that confirmed the last prediction of general relativity runs on the physics of the first thing gravity ever explained.
Going further
Texts. Misner, Thorne & Wheeler, Gravitation, ch. 1 and §11.2 · Wald, General Relativity, §3.3 · Hartle, Gravity, ch. 21 · Rindler, Relativity, 2nd ed., §§1.16, 9.3 · Newton, Principia, Book III, Props. 24–37 · Cartwright, Tides: A Scientific History (1999).
Provenance. Signature . Every number is recomputed in verify_aq-sr-tidal-forces-equivalence-limits.py, which reads this file, regexes the printed values out, asserts them at fifty digits, and carries artefact guards on , , and . Base defect repaired: the spaghettification card's middle step, , carries a stray and does not equal its own right-hand side; the correct chain is . Cross-base contradiction logged: `aq-sr-failure-global-inertial-frames`'s base prints the tidal-tensor eigenvalues while calling them relative accelerations — both signs backwards, contradicting this article's base, which has them right.
Scope. The tidal tensor, its eigenvalues, its tracelessness and the expiry inequality are `aq-sr-equivalence-principle`'s; the flatness of the Rindler chart is `aq-sr-rindler-metric`'s; the horizon's causal structure is `aq-sr-rindler-horizon`'s; the Schwarzschild metric and the black-hole interior belong to the general-relativity track. What is used here is the Newtonian at , exact in scaling and in coefficient.
Builds on. The Equivalence Principle · Proper Acceleration and the Comoving Frame · Rindler Coordinates · Gravitational Time Dilation. Leads to. The Failure of Global Inertial Frames · The Unruh Effect · From Special to General Relativity.
Why are there two tidal bulges rather than one?
Because the tidal tensor's radial eigenvalue is a stretch, and a stretch is symmetric: it pulls outward on both ends of a diameter. Work in the frame falling with the Earth's centre. The near ocean is closer to the Moon and pulled harder than the centre, so relative to the centre it moves toward the Moon. The far ocean is further and pulled less hard, so relative to the centre it lags away from the Moon. Two outward displacements, on opposite sides — and the Earth rotates under both, giving two high tides a day. The far bulge is often called "centrifugal", which is a needless and frame-dependent complication: in the freely-falling frame there is no centrifugal force, and the far bulge is the Moon failing to pull hard enough on water further away than the centre is.
If free fall removes gravity, in what sense do tides remain?
Free fall removes the field's value at a point — exactly, with no residue. What it cannot remove is the field's gradient, and the reason is algebra rather than physics: a coordinate transformation adds a constant to the acceleration field, and adding a constant to a function does not change its derivative. So can be set to zero at a point by choosing to fall, while sits there unaffected. The relativistic version is sharper: is a tensor, and a tensor non-zero in one frame is non-zero in every frame, because tensors transform linearly and a linear map cannot send a non-zero object to zero. Your only knob is the size of the region, and `aq-sr-equivalence-principle` prices that: .
Is spaghettification really gentler at a bigger black hole? That seems backwards.
It is, and it stops being backwards once you see where the two powers of come from. The tidal acceleration at radius goes as — that part does grow with mass. But the horizon moves outward as , so you are evaluating the tide at a radius that grows linearly. Together: . Three powers of mass in the denominator beat one in the numerator, and the horizon tide falls as the square of the mass. At it is and you are torn apart far outside the horizon; at Sgr A* it is and you drift across without noticing. The crossover — horizon tide across a human body exactly — is about .
Does the far-side tidal bulge require centrifugal force?
No, and invoking it obscures the physics. The clean frame is the one freely falling with the Earth's centre: no centrifugal force, no rotation of the Earth–Moon system to worry about, and the tide is exactly the residue of the lunar field after its value at the centre is subtracted. That residue points outward at both ends of the Earth–Moon line, because the tidal tensor's radial eigenvalue is a stretch. The centrifugal story arises only if you insist on the rotating Earth–Moon frame, where you must then add a centrifugal term — same answer, more machinery, and an inertial force that a change of frame could remove. The tide cannot be removed by a change of frame; the centrifugal force can. That alone tells you which is the real one.
Why does the geodesic-deviation derivation never mention a force?
Because there is no force, and that is the point. Both particles are in free fall: each at rest in its own local inertial frame, each with a zero accelerometer reading, neither with the slightest right to accelerate. The derivation uses two ingredients only — both worldlines are geodesics (), and the separation vector commutes with the tangent (, the equality of mixed partials). Everything else is the commutator of covariant derivatives, which is the Riemann tensor by definition. The relative acceleration emerges from geometry alone. That is the precise sense in which general relativity replaces the gravitational force: not by explaining it, but by showing that the only observable it ever had — the tide — is a property of the manifold.
Could a very cleverly designed accelerating frame mimic a tidal field?
No, and it is a theorem rather than a challenge. Any accelerated frame in flat spacetime is a coordinate system on Minkowski space, and Minkowski space has identically. Geodesic deviation then gives for every pair of free-fallers, in every chart, however exotic. You may build a frame with position-dependent clock rates (Rindler), with a horizon (Rindler), with non-zero Christoffel symbols (any curvilinear chart) — but never with a non-zero tide, because the tide is a tensor and the tensor is zero. Conversely, measure a tide and you have measured curvature, and no chart will hide it. That is the whole boundary between the two theories, and it is why this chapter's thesis is that the border is curvature, not acceleration.