Standard-Model Extension and Lorentz-Violation Bounds
The Robertson–Mansouri–Sexl framework has three dials, and it turns all of matter with one hand. It cannot ask whether the electron feels a preferred frame while the photon does not — and that is precisely what a Planck-scale theory would do. So build the test theory out of fields instead. Take the Standard Model, and add every term you can write down that is gauge-invariant and built from the known fields contracted with constant background tensors. Each such tensor is a coefficient for Lorentz violation. Each one is measurable. Each one is zero, so far. That is the Standard-Model Extension. It turned "we have tested relativity" from a slogan into a table of numbers, republished every January.
- Signature : , timelike intervals positive.
- The photon sector has exactly two renormalizable Lorentz-violating terms: the CPT-odd , with dimensions of mass, and the CPT-even , dimensionless.
- has the symmetries of the Riemann tensor and a vanishing double trace ⟹ exactly independent components, which split and decompose as . Ten of the 19 are birefringent; nine are not. The astrophysics kills the ten; the laboratory owns the nine.
- ⚠ OWNED RESULT — the count lands on the experiment's own word. Nagel et al. (2015) report "comprehensive simultaneous bounds on nine boost and rotation anisotropies of the speed of light." Nine is not a coincidence: it is , and the missing ten were already bounded times harder by gamma-ray bursts.
- ⚠ OWNED RESULT — the CPT-odd bound is the Hubble energy. Re-deriving the Carroll–Field–Jackiw dispersion from scratch gives , hence a polarization rotation that is independent of frequency. Demanding across the observable universe gives . The published bound is — that is . The apparatus is the universe, and the bound is its inverse size.
- ⚠ THE HYPE CORRECTION. A bound is meaningless without naming its coefficient. The best cavity bound, , is a factor of 26 short of — it has not reached first-order Planck suppression. The gamma-ray birefringence bound, parts in , is within a factor of 17 of — second order.
- Greenberg's theorem (PRL 89, 231602): CPT violation implies Lorentz violation. The converse is false — his abstract says so explicitly. That is why one framework covers both.
- Key idea: RMS asked how far the universe is from Einstein. The SME asks in which direction, for which particle, and at what order in the Planck length — and every answer so far is zero.
Effective field theory is the technique of writing down everything your symmetries allow, ordered by how badly each term is suppressed at low energy, and letting experiment set the coefficients. The SME applies it to the one symmetry nobody had thought to relax: Lorentz invariance itself. It is not a model of Lorentz violation — it is the complete list of the ways Lorentz violation could show up in the fields we already know about, which is what makes a null result from it mean something.
Where this lives today
As the standard currency of the field. Every experiment that tests Lorentz symmetry — atomic clocks, cavities, torsion pendula, neutrino oscillations, cosmic rays, gravitational waves, antihydrogen — reports its result as a bound on named SME coefficients, because that is the only way results from different sectors can be compared at all. The Data Tables now run to hundreds of entries.
The open frontier is the nonminimal sector. The minimal SME keeps only renormalizable operators, but Planck-scale physics need not respect renormalizability at low energy, and operators of dimension five and higher produce effects that grow with energy — which is why ultra-high-energy cosmic rays and TeV gamma rays now give some of the sharpest constraints in the programme.
And the gravity sector is where it gets interesting — see the FAQ below: it is the one place we might still find something, and the one place we can least easily look.
The physical picture
A constant background tensor field is a permanent, unremovable arrow — or grid, or block of directions — frozen into the vacuum. You cannot boost it away: it is not a property of your motion but of empty space. Anything coupled to it acquires a direction. This is not an idle possibility. In string field theory the vacuum can spontaneously acquire a tensor expectation value the way the Higgs field acquires a scalar one (Kostelecký & Samuel, Phys. Rev. D 39, 683 (1989)). A scalar one breaks gauge symmetry and leaves spacetime alone; a tensor one breaks spacetime symmetry and leaves gauge symmetry alone. The SME's answer to "what would it look like?" is a bookkeeping one, and its power is that the bookkeeping is complete: for every field, write every Lorentz-scalar you can build by contracting its bilinears with constant tensors. For the photon there are exactly two renormalizable ones. Three features of this deserve attention before any number is quoted.
First, the coefficients have different dimensions, so their bounds are not comparable. carries dimensions of mass and is bounded in GeV; is dimensionless and bounded as a pure number. " beats " is a category error, and it is committed constantly.
Second, birefringence is far more sensitive than anything else, and only ten coefficients cause it. If two polarizations travel at different speeds the phase between them accumulates over the whole path — and for a gamma-ray burst at cosmological distance that path is m against a wavelength of m: a lever arm of . No laboratory can compete, and none needs to.
Third, that is why the laboratory owns nine. . The modern Michelson–Morley experiment is not a redundant re-check of an 1887 result: it is the only instrument that can reach the nine coefficients the sky is blind to.
The core equations
The photon sector of the minimal SME, in signature :
where: the first term is Maxwell; the second is CPT-even with a dimensionless coefficient; the third is CPT-odd (Carroll–Field–Jackiw), of mass dimension one. Physical reading: both extra terms are gauge invariant (the third up to a total derivative, which is enough), and both are constants of nature that must be measured, not predicted. Setting them to zero is not a derivation of special relativity — it is the assumption that special relativity is exactly true. The modified Maxwell equation from the CPT-odd term alone, with :
where: the second term is the only new one. Physical reading: it couples the field to its own dual — parity violation in electrodynamics — which is why the effect on light is a rotation rather than a delay. The dispersion relation that (2) forces, for a purely timelike and the two circular polarizations:
where: labels the two circular polarizations. Physical reading: the vacuum is birefringent. At fixed the two wavenumbers differ by exactly — at all orders, no approximation — so the plane of polarization rotates by
where: is the propagation distance. Physical reading: does not depend on frequency — the whole experimental signature. Faraday rotation goes as ; this goes as . Compare the polarization angle at two wavelengths and the astrophysics subtracts itself out. The counting of the CPT-even sector:
where: the ten birefringent combinations are and ; the nine others are , , . Physical reading: this arithmetic is why the modern Michelson–Morley experiment exists, and why its authors write the word "nine."
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| ; (1) | Maxwell. SR is the origin of the coefficient space, not an assumption of it | |
| , | vacuum birefringence. Two circular modes, two speeds | |
| exactly | is frequency-independent — the signature that separates it from Faraday rotation | |
| GeV | the bound is the Hubble energy. Published: GeV | |
| the 10 birefringent / the 9 not | parts in / | GRB polarimetry owns the ten; a rotating cavity is the only instrument that reaches the nine |
| alone | an isotropic shift in the speed of light | invisible to any rotation; only a boost can see it |
| all coefficients 0, matter universal | the RMS point | `aq-sr-robertson-mansouri-sexl-framework`'s three dials are the species-blind shadow of this |
Deriving it
The Carroll–Field–Jackiw term is the only renormalizable CPT-odd term in electrodynamics, and the only one with a dimensionful coefficient — so its bound is a mass, and we should be able to say which mass. We can. It is the Hubble energy.
Step 1 — the field equation. Vary (1), keeping only the CPT-odd term. With the Euler–Lagrange equation is (2): . The Bianchi identity is untouched. Why: only half of Maxwell's equations can be modified this way. The two that follow from are geometric identities, immune — which is why the theory keeps gauge invariance and keeps .
Step 2 — plane wave. Put in Lorenz gauge, , with and . The gauge lets us set , leaving the transverse pair , on which (2) acts as a matrix. Why: the new term mixes and antisymmetrically, because it is built from . An antisymmetric mixing of two linear polarizations is exactly what "circular eigenmodes" means.
Step 3 — the dispersion relation. The nontrivial-solution condition is the vanishing of that determinant, which factorises:
Why: <strong>two roots, so two speeds</strong> — equation (3), vacuum birefringence, the vacuum behaving like a slab of quartz. The shift in is <strong>linear</strong> in , not quadratic: the fingerprint of a dimension-one coefficient.
Step 4 — invert at fixed ; watch the frequency drop out. Solve for :
Why: the square root is <strong>the same in both</strong>, so it cancels exactly, and <strong>at all orders in </strong> — no expansion. The plane of a linearly polarized wave rotates by , <strong>with no frequency dependence whatever</strong> — which is what makes the observation possible, since every competing astrophysical rotation mechanism (Faraday above all) is strongly chromatic.
Step 5 — the bound, and what it is made of. Radio galaxies show polarization aligned with their own structure out to cosmological distances; a radian of rotation accumulated en route would destroy that alignment. Demand over one Hubble length :
Why: <strong>this is the whole bound, up to a factor of order one.</strong> Carroll, Field and Jackiw (Phys. Rev. D <strong>41</strong>, 1231 (1990)) did the real statistics — real sources, real redshifts — and got . Since , <strong>their bound is .</strong> The most stringent constraint on a mass scale anywhere in physics is, to within twenty per cent, the inverse size of the observable universe — because the apparatus <strong>is</strong> the observable universe. Without a longer lever, you cannot do better. *Verified in verify_aq-sr-standard-model-extension-lorentz-violation.py: the determinant, its factorisation, and are all derived symbolically with sympy from the Lagrangian (1); , the ratio and the Hubble length are recomputed at 50 digits.*
Go deeper · Derivation B · 2 minWhy there are exactly nineteen dimensionless photon coefficients and why nine of them belong to the laboratory
The number of independent components of is not a matter of taste. Getting it right tells you — with no further physics, and before a single measurement — exactly how the experimental programme must divide itself between the sky and the laboratory.
Step 1 — the symmetries. multiplies , so only the part with the symmetries of the Riemann tensor survives: antisymmetric in and in , symmetric under , and obeying the cyclic identity. In dimensions such a tensor has
Why: a pure counting fact about tensors, with nothing to do with electrodynamics. It is the same 20 that counts the Riemann tensor in four-dimensional general relativity.
Step 2 — remove the double trace. The totally traced part multiplies — a rescaling of the Maxwell term, absorbable into a redefinition of the field and the charge. It is unobservable, so it is imposed to vanish:
Why: a coefficient that can be removed by a field redefinition is not a coefficient. Leave it in and you will "measure" a quantity no experiment can distinguish from a change of units.
Step 3 — repackage into blocks. Following Kostelecký & Mewes (Phys. Rev. D 66, 056005 (2002)), define , , . Then , are symmetric with (the double-trace condition), and is traceless (the cyclic identity):
Why: the count survives the repackaging — the check that the repackaging is right. These four matrices put the modified Maxwell equations into the exact form of electrodynamics <strong>in an anisotropic medium</strong>: the vacuum acquires a permittivity and a permeability tensor, which is what makes the photon sector calculable with nineteenth-century crystal optics.
Step 4 — the irreducible decomposition, and the split that matters. Form the parity-even and parity-odd combinations:
, and are symmetric traceless (5 each); is antisymmetric (3); is a scalar (1):
Why: is antisymmetric, hence 3, while is symmetric traceless, hence 5. Two independent counts of 19 — the Riemann formula and this decomposition — prove nothing has been lost or double-counted.
Step 5 — birefringence selects ten, and hands the laboratory nine. Kostelecký and Mewes show the birefringence of the vacuum is controlled by and alone — . The remaining
produce no birefringence, so no amount of polarimetry will ever see them. Why: this is where the arithmetic becomes an experimental programme. The ten birefringent coefficients are bounded to parts in by gamma-ray-burst polarimetry (Kostelecký & Mewes, Phys. Rev. Lett. <strong>97</strong>, 140401 (2006)) — a bound no terrestrial apparatus can approach. The nine others are invisible to the sky and must be measured in a laboratory. So when Nagel et al. (2015) set "comprehensive simultaneous bounds on <strong>nine</strong> boost and rotation anisotropies of the speed of light", they are not choosing a round number. They are reporting . *Verified in verify_aq-sr-standard-model-extension-lorentz-violation.py: from ; the component counts , , and ; and the closure , asserted against the number nine as printed in the article and in the experiment's abstract.*
Go deeper · Derivation C · 2 minWhat a bound of ten-to-the-minus-eighteen is actually worth
Every review says Lorentz invariance is tested "to Planck-suppressed levels." The claim is checkable — and it is true of some coefficients and false of others. Here is the yardstick, and the honest score.
Step 1 — build the yardstick. If Lorentz violation originates at the Planck scale, a dimensionless coefficient in the low-energy effective theory is naturally of order , with the mass scale of the sector and the powers of suppression. With :
Why: these are the only numbers the phrase "Planck-suppressed" can possibly mean. First order in the proton sector is ; second order is . Everything else is rhetoric.
Step 2 — score the laboratory. Nagel et al. (Nat. Commun. 6, 8174 (2015)) bound orientation-dependent frequency changes at at 95% confidence — an interval of , comfortably containing zero, so a magnitude bound of about . Against the yardstick:
Why: <strong>the best Michelson–Morley experiment ever performed has not reached first-order Planck suppression.</strong> It is a factor of 26 away — the exact opposite of the impression "tested to " creates, and the strongest possible argument for building the next one.
Step 3 — score the sky. The birefringent coefficients are bounded to parts in . Against second-order Planck suppression in the proton sector:
Why: <strong>the sky has all but reached second order.</strong> Not first — second, a factor of 17 from . The single most stringent test of a symmetry anywhere in physics, done with a polarimeter and two gamma-ray bursts.
Step 4 — the moral, and the trap. These two bounds are not comparable, because they constrain different coefficients. Nineteen orders of magnitude separate them and neither subsumes the other: the sky cannot see the nine, the laboratory cannot reach the ten. Why: this is the whole reason the SME exists. RMS had three dials and therefore three numbers; you could ask it "how well?" and get a reply. The SME has hundreds, and the correct reply to "how well?" is <strong>"which one?"</strong> That is not a weakness of the framework — it is the discovery that the question was underdetermined all along. *Verified in verify_aq-sr-standard-model-extension-lorentz-violation.py: , , the square, and both ratios (26 and 17) are recomputed at 50 digits from PDG masses and grepped out of this article.*
Worked examples
1 · Reconstruct the Carroll–Field–Jackiw bound from nothing but the size of the universe
The published bound is . Get it without a telescope.
Step 1 — identify. From (4), , with no frequency dependence. Distant radio galaxies do not show their polarization scrambled relative to their own structure, so radian over the longest available path.
Step 2 — the longest path available. , with and :
Step 3 — convert to an energy. In natural units . With :
So gives .
Step 4 — the boundary number. The published bound is . Our estimate is high by a factor of — exactly what a real statistical analysis buys you over "one radian, one Hubble length." The tightest constraint on a mass parameter in all of physics is the Hubble energy, because the apparatus is the universe, and an apparatus cannot beat its own size.
Physics of the portrait
Origins · 2 minEffective field theory and how this was discovered
Why a method and not a person. Effective field theory says you do not need the true theory to make precise statements about it: write down every operator your symmetries permit, order them by dimension, and let the data set the coefficients — including, decisively, to zero. The SME's move was to notice that Lorentz invariance is a symmetry like any other. Kostelecký and Samuel, 1989. In Phys. Rev. D 39, 683 they showed, in covariant string field theory, that a string vacuum can spontaneously acquire a tensor expectation value. This is the seed of the subject: it made Lorentz violation a prediction of something rather than a hypothesis of nothing. Colladay and Kostelecký, 1997–1998. Phys. Rev. D 55, 6760 and 58, 116002 construct the extension itself — every Lorentz- and CPT-violating term that can be added to the Standard Model while preserving gauge invariance, energy–momentum conservation and (minimally) renormalizability. Its value is exactly its completeness: a null result in a complete framework is a theorem about the world; a null result in an incomplete one is an anecdote. Kostelecký and Russell, 2008–. The Data Tables for Lorentz and CPT Violation (arXiv:0801.0287; Rev. Mod. Phys. 83, 11 (2011)) are updated every January; the edition read for this article is v19, February 2026. They are the reason this is a science and not a genre: they make "relativity has been tested" auditable, coefficient by coefficient.
Going further
Primary sources. Kostelecký & Samuel, Phys. Rev. D 39, 683 (1989) · Carroll, Field & Jackiw, Phys. Rev. D 41, 1231 (1990) · Colladay & Kostelecký, Phys. Rev. D 55, 6760 (1997) and 58, 116002 (1998) · Greenberg, Phys. Rev. Lett. 89, 231602 (2002) · Kostelecký & Mewes, Phys. Rev. D 66, 056005 (2002) and Phys. Rev. Lett. 97, 140401 (2006) · Smiciklas et al., Phys. Rev. Lett. 107, 171604 (2011) · Nagel et al., Nat. Commun. 6, 8174 (2015). The tables: Kostelecký & Russell, Data Tables for Lorentz and CPT Violation, Rev. Mod. Phys. 83, 11 (2011); arXiv:0801.0287, edition read: v19, February 2026.
Provenance. Signature . Every equation here is re-derived from the Lagrangian (1) and every number recomputed in verify_aq-sr-standard-model-extension-lorentz-violation.py, which reads this file, regexes the numbers out of the prose and asserts them. Numbers whose primary source is an experiment — GeV, parts in , , , , — are quoted from the papers cited above and nowhere else. No bound here is taken from a secondary source.
Cross-corpus consistency. The three-dial kinematic framework this one supersedes is `aq-sr-robertson-mansouri-sexl-framework`; the isotropy experiments whose nine coefficients are counted here are the subject of `aq-sr-michelson-morley-isotropy-tests`; the photon's own mass — a different deformation of electrodynamics, and a different Lagrangian — is `aq-sr-photon-mass-light-speed-tests`.
Builds on. Lorentz Invariance · Robertson–Mansouri–Sexl · Michelson–Morley and Modern Isotropy Tests. Leads to. Tests of the Photon Mass · Tachyons and Superluminal Particles.
If special relativity is exactly right, why bother building a framework in which it might not be?
Because "special relativity is exactly right" is not a statement any experiment can make. Experiments produce bounds, and a bound needs a parameter. Without the SME, the honest summary of a century of null results is a shrug; with it, it is a table of several hundred numbers, each a coefficient consistent with zero and each with an error bar you can shrink. The framework converts "we looked and saw nothing" into a quantitative statement about how hard we looked — and into a map of where nobody has looked yet.
Why is the SME's photon sector so much better constrained than the electron's or the proton's?
Because of one accident of geometry: photons travel a very long way. Birefringence is a phase effect, and phase accumulates over the whole path — so a gamma-ray burst at cosmological distance delivers a lever arm of (path)/(wavelength) . Electrons and protons in a laboratory are not free to travel for ten billion years. This says nothing about the relative importance of the sectors, and emphatically does not mean the photon sector is "solved": the nine non-birefringent coefficients enjoy none of that leverage and are bounded a mere . The sky is astonishing at some things and blind to others, which is why the laboratory programme did not stop in 2006.
Isn't the SME just the RMS framework with more parameters?
No — the difference is structural. RMS is kinematic: it postulates a transformation between frames and assumes all matter and light respond to it identically. It cannot even formulate the question "does the electron feel a preferred direction that the photon does not?" The SME is dynamical — a field theory, so each field carries its own coefficients, and the answer is a set of numbers you can go and measure. The price is a large parameter space; the reward is that the SME can express what a realistic Planck-scale scenario actually predicts, species by species, and RMS cannot. RMS is the shadow the SME casts when you insist that every particle be treated the same and that space be isotropic.
What does "Planck-suppressed" actually mean, numerically?
It means a dimensionless coefficient of order , where is the mass scale of the sector and counts the powers of suppression. With GeV: first order in the proton sector is , and second order is . Now compare. The best cavity bound, , is a factor of 26 above first order — the laboratory has not yet reached the Planck scale. The gamma-ray birefringence bound, parts in , is within a factor of 17 of second order. Reviews that say "Lorentz invariance is tested at Planck-suppressed levels" are describing the second of these and being read as though they described the first.
Why can't Lorentz violation just be a small explicit term added to the Lagrangian, with no deeper origin?
In flat spacetime it can, and that is what the minimal SME writes down. The trouble arrives when gravity does. Explicit Lorentz violation — a fixed background tensor simply declared — is inconsistent in a dynamical spacetime: the Bianchi identities plus covariant conservation of the energy–momentum tensor force conditions a non-dynamical background generically cannot satisfy. The way out is spontaneous breaking, where the background tensor is the vacuum expectation value of a dynamical field, exactly as in Kostelecký and Samuel's string mechanism. This is why the SME's gravity sector is so much harder than its flat-space sector, and why its bounds are so much weaker. The place where Lorentz violation is most natural theoretically is the place where it is hardest to look for.
If every coefficient measured so far is zero, has the programme failed?
It has done the only thing a test of a symmetry can do: drawn the boundary of the possible, and drawn it where it eliminates real theories. Parts in is not "no news" — it is a fact any candidate theory of quantum gravity must now reproduce, and it has already killed models that would otherwise be viable. And the map has holes: the nine non-birefringent photon coefficients are bounded only at , a factor of 26 short of even first-order Planck suppression; the gravity sector is weaker still; the nonminimal, energy-growing operators are barely touched. A null result that names its own blind spots is not a failure. It is a research programme.