Refraction That ClicksEpisode 2 / There Are Two Light Cones

"Slower" and "farther" are the same statement — and changing distances means changing the metric

There Are Two Light Cones Inside a medium the light cone narrows to \(x=ct/n\).
That is an effective metric: Fermat's principle becomes the geodesic equation and Snell's law falls out of geometry.
But — the true causal cone has not moved at all.

Tools needed: Episode 1's phase lag, light cones (Relativity That Clicks), least action Core of this episode: ds² = −c²dt²/n² + dx²

Episode 1 ended on this: "slowing down" and "lengthening the optical path" are the same thing said twice. Optics calls travelling a distance \(d\) through index \(n\) an optical path length \(nd\), treating it exactly like \(nd\) of vacuum. The distance grew, in other words. And when the way you measure distance changes — the metric has changed. This episode pushes that reading all the way. Inside a medium the light cone narrows, light rays become geodesics of that metric, and Snell's law is a consequence of geometry. The same duality as "is gravity a force or is it curvature?" from the sister series Relativity That Clicks appears verbatim. With one non-negotiable point — what narrowed is the optical cone, and the causal cone has not shifted by a millimetre. The effective metric is a second cone built inside the real light cone.

01"Slow" and "far" are the same thing

Optical path length

The phase accumulated over distance \(d\) in index \(n\) is \(k_0nd\) (\(k_0\) is the vacuum wavenumber). Over distance \(L\) of vacuum it is \(k_0L\). These agree when

$$L=nd\qquad\text{— the }\textbf{optical path length}$$

So "1 cm through \(n=1.5\) glass" is, as far as phase goes, indistinguishable from "1.5 cm of vacuum."
Saying the speed became \(1/n\) and saying the distance grew by \(n\) are the same statement.

02Which is why the cone narrows

Draw a spacetime diagram. In vacuum light follows \(x=\pm ct\) — lines at 45°. Inside a medium it follows \(x=\pm ct/n\) — steeper lines. The cone narrows.

Core of this episode — the effective metric

Write "narrow cone" as a formula and it is a metric:

$$ds^2_{\rm opt}=-\frac{c^2}{n^2}\,dt^2+dx^2+dy^2+dz^2$$

The curves with \(ds^2_{\rm opt}=0\) are exactly those with \(|dx/dt|=c/n\). Light rays are null geodesics of this effective metric.

This is Gordon's optical metric, introduced in 1923, and it is now the foundation of "analogue gravity" and of transformation optics (metamaterial invisibility cloaks).
The intuition "if you look at it in a \(c\cdot t=\)const frame, isn't this equivalent to light slowing down?" acquires its exact form here — what is equivalent is not a frame but a metric, and the replacement is \(c\cdot t \to c\cdot t/n\).

03Fermat's principle was the geodesic equation

Optics has had Fermat's principle since 1662: light takes the path that minimises (strictly, extremises) the optical path length \(\int n\,dl\).

Reread it in modern language and it is literally the definition of a geodesic. Measure spatial distance as \(dl_{\rm F}=n\,dl\), and \(\int n\,dl\) is length in that metric. The curve of least length is the geodesic.

Snell's law drops out

When the index depends only on \(y\), Fermat's principle yields exactly one conserved quantity:

$$n(y)\sin\theta=\text{const}\qquad(\theta\ \text{measured from the layer normal})$$

At a boundary where \(n\) jumps from \(n_1\) to \(n_2\) this reads \(n_1\sin\theta_1=n_2\sin\theta_2\) — Snell's law.
The "law of refraction" was nothing but a conserved quantity of the effective metric's geodesics.

Exactly the duality from "Relativity That Clicks" Gravity can be written as a force, or as curvature of spacetime. The same orbit, two descriptions.
Refraction is identical: you can write it as direction changing at a boundary, or as a geodesic of the effective metric. Both give the same curve.
And the relationship between the two is the same as well — the force picture is local and easy to compute with, the geometric picture is global and clearer. When the index varies continuously, as in a mirage or an optical fibre, the geometry is overwhelmingly easier.

04Play with it — rays bend because the cone changes

On the left is a spacetime diagram. The dashed 45° lines are the true causal cone; the solid lines are the medium's light cone. Raise \(n\) and they fold inward.

On the right is a medium whose index varies with height (a mirage, or an optical fibre). The ray is traced numerically from Fermat's principle, and along it we draw the local light conethe ray bends because the cone opens differently at different places. That is the whole mechanism.

Figure: left — spacetime diagram. Dashed 45° is the true causal cone; solid is the medium's cone (x = ±ct/n). Right — a ray through a medium whose index varies with height (Fermat's principle integrated numerically). The small cones drawn along the ray open differently at different heights, and that is why the ray bends
true causal cone (45°) medium's light cone light ray

05The non-negotiable point — the causal cone has not moved

The "\(c\cdot t=\)const view" now has an exact form. And there is one thing that must not be dropped.

How the two cones relate
Causal coneMedium's light cone
Opening\(x=\pm ct\) (45°)\(x=\pm ct/n\) (narrower)
Can you change it?NoYes — pick a material
What it constrainsevery causal relationonly how this wave propagates
Where the effective metric sitsinside the causal cone (for \(n>1\))

The effective metric does not rewrite real spacetime. It draws a second, thinner cone inside the real one. Therefore —

• Invariance of \(c\) (the causal \(c\)) is completely untouched.
• And yet, for this wave, the effective metric is every bit as operative as the real one.
And it is precisely the structure "a narrow cone inside" that makes the next section's analogue gravity possible.

06A cone inside means you can build a horizon

Here is the interesting part. Suppose the medium is flowing. Waves travel at \(c/n\) relative to the medium, which moves at speed \(v\). If \(v>c/n\), then waves can no longer make headway upstream.

An effective horizon

The surface where the flow exceeds \(c/n\) is a boundary the wave cannot cross — exactly the horizon structure of the sister series Temperature That Clicks, Bonus 1.

Unruh pointed this out for sound in 1981 (the sonic black hole), and "analogue horizons" have since been made in flowing water, Bose–Einstein condensates, optical fibres and superconducting circuits. Phenomena corresponding to Hawking radiation have been reported.

The real causal cone stays untouched while a horizon is built in the inner cone alone — that is the whole idea of analogue gravity, and why it fits in a laboratory.

But these are simulations

Analogue systems are different systems obeying the same equations, not tests of spacetime itself. "Hawking radiation was seen in a sonic black hole" does not mean "Hawking radiation was confirmed." The same distinction appears in the sister series Tunneling That Clicks, Bonus 1.

◇ ◇ ◇
The honest line — what is exact and what is a rereading

Established: optical path length \(nd\), and the fact that "slower" and "farther" are indistinguishable in phase; Gordon's optical metric for a static isotropic medium (1923), \(ds^2_{\rm opt}=-(c^2/n^2)dt^2+d\vec x^2\), and light rays as its null geodesics; the equivalence of Fermat's principle \(\delta\int n\,dl=0\) with the geodesic equation of the spatial metric \(n^2\delta_{ij}\); the conserved quantity \(n\sin\theta\) in a stratified medium and Snell's law; the fact that in a moving medium the surface where the flow exceeds \(c/n\) acts as a horizon for the wave (analogue gravity, Unruh 1981 onward); the basis of transformation optics. All standard results.

Caveats: (1) The effective metric is not the real spacetime metric. The causal cone (\(x=\pm ct\)) does not change at all; the effective metric is a cone "for the wave" built inside it. Invariance of \(c\) is untouched. (2) The Gordon metric takes this simple form for isotropic, non-dispersive, non-absorbing media. With dispersion, \(n\) depends on frequency, so there is no single metric — there is a different one per frequency (Episodes 3 and 5). With anisotropy (birefringence) a scalar \(n\) does not exist at all. (3) Fermat's principle is the geometrical-optics approximation (wavelength much smaller than structures) and fails where diffraction matters. (4) The ray tracing in the figure integrates \(y''=n n'/C^2\) (derived from Fermat's principle); it does not reproduce a real atmosphere or fibre profile. (5) Analogue gravity is a different system obeying the same equations, not a test in spacetime. (6) Strictly, "looking at it in a \(c\cdot t\) frame" is not a coordinate change but the introduction of a different metric. A coordinate change alone changes no physics.

Exercises
  1. Why can one say "light slows down" and "distances grow" interchangeably?
    Show answer
    Because phase accumulates as \(k_0nd\). Travelling 1 cm through \(n=1.5\) glass is indistinguishable in phase from 1.5 cm of vacuum. That \(nd\) is the optical path length — and changing how distance is measured is changing the metric.
  2. Write the light cone inside a medium as a metric.
    Show answer
    \(ds^2_{\rm opt}=-(c^2/n^2)dt^2+d\vec x^2\). Its null curves have \(|d\vec x/dt|=c/n\) — the medium's light cone. This is Gordon's optical metric (1923), and light rays are its null geodesics.
  3. What does Snell's law mean in this view?
    Show answer
    A conserved quantity of geodesics in a stratified medium \(n(y)\): \(n(y)\sin\theta=\)const, which at a jump in \(n\) reads \(n_1\sin\theta_1=n_2\sin\theta_2\). The "law of refraction" is just a consequence of geometry — the same duality as writing gravity as force or as curvature.
  4. Why does introducing an effective metric not break the invariance of \(c\)?
    Show answer
    Because the effective metric is a cone inside the causal cone, meant for this wave only. The causal cone \(x=\pm ct\) has not moved a millimetre. And that same structure — a narrow cone inside — is exactly why analogue horizons can be built in a laboratory.

Episode 2 summaryThere is a second, narrower cone

In phase, "slower" and "farther" are indistinguishable (optical path length \(nd\)). Changing how distance is measured means changing the metric, and indeed one can write \(ds^2_{\rm opt}=-(c^2/n^2)dt^2+d\vec x^2\) (Gordon's optical metric, 1923). Light rays are its null geodesics.

Then Fermat's 1662 principle \(\delta\int n\,dl=0\) becomes literally the definition of a geodesic, and Snell's law becomes the geodesic's conserved quantity \(n\sin\theta=\)const. The "force or curvature" duality of gravity has an exact counterpart in refraction.

And the intuition "in a \(c\cdot t=\)const frame this is equivalent to light slowing down" now has its exact form — what is equivalent is not a frame but a metric, with \(c\cdot t\) replaced by \(c\cdot t/n\). But the causal cone has not moved. The effective metric is a cone inside the real one, meant for this wave alone — and that very structure is why analogue horizons can be built in a laboratory.

This document is Episode 2 of the "Refraction That Clicks" series, a reading for physics-loving high-schoolers and undergraduates. Optical path length, Gordon's optical metric for a static isotropic medium (1923) and light rays as its null geodesics, the equivalence of Fermat's principle with geodesics of the spatial metric \(n^2\delta_{ij}\), the conserved quantity \(n\sin\theta\) and Snell's law, effective horizons in moving media and analogue gravity (Unruh 1981 onward), and the basis of transformation optics are all standard results. That the effective metric is not the real spacetime metric and that the causal cone is unchanged, that the Gordon metric is limited to isotropic non-dispersive non-absorbing media, that Fermat's principle is a geometrical-optics approximation, that the ray tracing is a numerical integration of the Fermat equation rather than a real atmospheric or fibre profile, that analogue gravity is a different system rather than a test in spacetime, and that "a \(c\cdot t\) frame" strictly means introducing a different metric rather than a coordinate change, are all stated in "The honest line" above. — To print, use your browser's Print and "Save as PDF" (sliders freeze and answers are hidden in the print version). Neighbours: Episode 1, Light Does Not Slow Down / Episode 3, When the Refractive Index Is Less Than One / Contents / sister series Relativity That Clicks · Temperature That Clicks, Bonus 1.

Print / PDF: ⌘+P (Ctrl+P on Windows). On screen, raise n on the left and watch the light cone fold inward; on the right, change the gradient and launch angle and watch the ray bend. Check that the small cones drawn along the ray open differently at different heights. "Show answer" reveals the solutions.