In
relativistic physics
In physics, relativistic mechanics refers to mechanics compatible with special relativity (SR) and general relativity (GR). It provides a non-quantum mechanical description of a system of particles, or of a fluid, in cases where the velocities of ...
, Lorentz symmetry or Lorentz invariance, named after the Dutch physicist
Hendrik Lorentz
Hendrik Antoon Lorentz (; 18 July 1853 – 4 February 1928) was a Dutch physicist who shared the 1902 Nobel Prize in Physics with Pieter Zeeman for the discovery and theoretical explanation of the Zeeman effect. He also derived the Lorent ...
, is an equivalence of observation or observational symmetry due to
special relativity
In physics, the special theory of relativity, or special relativity for short, is a scientific theory regarding the relationship between space and time. In Albert Einstein's original treatment, the theory is based on two postulates:
# The law ...
implying that the laws of physics stay the same for all observers that are moving with respect to one another within an
inertial frame
In classical physics and special relativity, an inertial frame of reference (also called inertial reference frame, inertial frame, inertial space, or Galilean reference frame) is a frame of reference that is not undergoing any acceleration. ...
. It has also been described as "the feature of nature that says experimental results are independent of the orientation or the boost velocity of the laboratory through space".
Lorentz covariance, a related concept, is a property of the underlying
spacetime
In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why diffe ...
manifold. Lorentz covariance has two distinct, but closely related meanings:
# A
physical quantity
A physical quantity is a physical property of a material or system that can be quantified by measurement. A physical quantity can be expressed as a ''value'', which is the algebraic multiplication of a ' Numerical value ' and a ' Unit '. For examp ...
is said to be Lorentz covariant if it transforms under a given
representation of the
Lorentz group
In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch phy ...
. According to the
representation theory of the Lorentz group
The Lorentz group is a Lie group of symmetries of the spacetime of special relativity. This group can be realized as a collection of matrices, linear transformations, or unitary operators on some Hilbert space; it has a variety of representati ...
, these quantities are built out of
scalars,
four-vector
In special relativity, a four-vector (or 4-vector) is an object with four components, which transform in a specific way under Lorentz transformations. Specifically, a four-vector is an element of a four-dimensional vector space considered as ...
s,
four-tensors, and
spinor
In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sligh ...
s. In particular, a
Lorentz covariant scalar (e.g., the
space-time interval) remains the same under
Lorentz transformation
In physics, the Lorentz transformations are a six-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation i ...
s and is said to be a ''Lorentz invariant'' (i.e., they transform under the
trivial representation In the mathematical field of representation theory, a trivial representation is a representation of a group ''G'' on which all elements of ''G'' act as the identity mapping of ''V''. A trivial representation of an associative or Lie algebra is a ...
).
# An
equation is said to be Lorentz covariant if it can be written in terms of Lorentz covariant quantities (confusingly, some use the term ''invariant'' here). The key property of such equations is that if they hold in one inertial frame, then they hold in any inertial frame; this follows from the result that if all the components of a tensor vanish in one frame, they vanish in every frame. This condition is a requirement according to the
principle of relativity
In physics, the principle of relativity is the requirement that the equations describing the laws of physics have the same form in all admissible frames of reference.
For example, in the framework of special relativity the Maxwell equations h ...
; i.e., all non-
gravitational laws must make the same predictions for identical experiments taking place at the same spacetime event in two different
inertial frames of reference
In classical physics and special relativity, an inertial frame of reference (also called inertial reference frame, inertial frame, inertial space, or Galilean reference frame) is a frame of reference that is not undergoing any acceleratio ...
.
On
manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a ...
s, the words
''covariant'' and ''contravariant'' refer to how objects transform under general coordinate transformations. Both covariant and contravariant four-vectors can be Lorentz covariant quantities.
Local Lorentz covariance, which follows from
general relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. ...
, refers to Lorentz covariance applying only
''locally'' in an infinitesimal region of spacetime at every point. There is a generalization of this concept to cover
Poincaré covariance and Poincaré invariance.
Examples
In general, the (transformational) nature of a Lorentz tensor can be identified by its
tensor order
In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects related to a vector space. Tensors may map between different objects such as vectors, scalars, and even other tens ...
, which is the number of free indices it has. No indices implies it is a scalar, one implies that it is a vector, etc. Some tensors with a physical interpretation are listed below.
The
sign convention
In physics, a sign convention is a choice of the physical significance of signs (plus or minus) for a set of quantities, in a case where the choice of sign is arbitrary. "Arbitrary" here means that the same physical system can be correctly describ ...
of the
Minkowski metric
In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the inerti ...
is used throughout the article.
Scalars
;
Spacetime interval
In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differe ...
:
;
Proper time
In relativity, proper time (from Latin, meaning ''own time'') along a timelike world line is defined as the time as measured by a clock following that line. It is thus independent of coordinates, and is a Lorentz scalar. The proper time interval ...
(for
timelike intervals):
;
Proper distance (for
spacelike
In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differe ...
intervals):
;
Mass
Mass is an intrinsic property of a body. It was traditionally believed to be related to the quantity of matter in a physical body, until the discovery of the atom and particle physics. It was found that different atoms and different element ...
:
;Electromagnetism invariants:
;
D'Alembertian
In special relativity, electromagnetism and wave theory, the d'Alembert operator (denoted by a box: \Box), also called the d'Alembertian, wave operator, box operator or sometimes quabla operator (''cf''. nabla symbol) is the Laplace operator of M ...
/wave operator:
Four-vectors
;
4-displacement:
;
4-position:
;
4-gradient In differential geometry, the four-gradient (or 4-gradient) \boldsymbol is the four-vector analogue of the gradient \vec from vector calculus.
In special relativity and in quantum mechanics, the four-gradient is used to define the properties and r ...
: which is the 4D
partial derivative
In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary). Pa ...
:
;
4-velocity:
where
;
4-momentum
In special relativity, four-momentum (also called momentum-energy or momenergy ) is the generalization of the classical three-dimensional momentum to four-dimensional spacetime. Momentum is a vector in three dimensions; similarly four-momentum ...
:
where
and
is the
rest mass
The invariant mass, rest mass, intrinsic mass, proper mass, or in the case of bound systems simply mass, is the portion of the total mass of an object or system of objects that is independent of the overall motion of the system. More precisely, ...
.
;
4-current:
where
;
4-potential:
Four-tensors
;
Kronecker delta
In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise:
\delta_ = \begin
0 &\text i \neq j, \\
1 ...
:
;
Minkowski metric
In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the inerti ...
(the metric of flat space according to
general relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. ...
):
;
Electromagnetic field tensor
In electromagnetism, the electromagnetic tensor or electromagnetic field tensor (sometimes called the field strength tensor, Faraday tensor or Maxwell bivector) is a mathematical object that describes the electromagnetic field in spacetime. Th ...
(using a
metric signature
In mathematics, the signature of a metric tensor ''g'' (or equivalently, a real quadratic form thought of as a real symmetric bilinear form on a finite-dimensional vector space) is the number (counted with multiplicity) of positive, negative a ...
of + − − −):
;
Dual electromagnetic field tensor:
Lorentz violating models
In standard field theory, there are very strict and severe constraints on
marginal and relevant Lorentz violating operators within both
QED and the
Standard Model
The Standard Model of particle physics is the theory describing three of the four known fundamental forces ( electromagnetic, weak and strong interactions - excluding gravity) in the universe and classifying all known elementary particles. I ...
. Irrelevant Lorentz violating operators may be suppressed by a high
cutoff scale, but they typically induce marginal and relevant Lorentz violating operators via radiative corrections. So, we also have very strict and severe constraints on irrelevant Lorentz violating operators.
Since some approaches to
quantum gravity
Quantum gravity (QG) is a field of theoretical physics that seeks to describe gravity according to the principles of quantum mechanics; it deals with environments in which neither gravitational nor quantum effects can be ignored, such as in the v ...
lead to violations of Lorentz invariance,
these studies are part of
phenomenological quantum gravity
Phenomenological quantum gravity is the research field that deals with phenomenology of quantum gravity. The relevance of this research area derives from the fact that none of the candidate theories for quantum gravity has yielded experimentally te ...
. Lorentz violations are allowed in
string theory,
supersymmetry
In a supersymmetric theory the equations for force and the equations for matter are identical. In theoretical and mathematical physics, any theory with this property has the principle of supersymmetry (SUSY). Dozens of supersymmetric theories e ...
and
Hořava–Lifshitz gravity.
Lorentz violating models typically fall into four classes:
* The laws of physics are exactly
Lorentz covariant but this symmetry is
spontaneously broken. In
special relativistic theories, this leads to
phonon
In physics, a phonon is a collective excitation in a periodic, elastic arrangement of atoms or molecules in condensed matter, specifically in solids and some liquids. A type of quasiparticle, a phonon is an excited state in the quantum mechanical ...
s, which are the
Goldstone boson
In particle and condensed matter physics, Goldstone bosons or Nambu–Goldstone bosons (NGBs) are bosons that appear necessarily in models exhibiting spontaneous breakdown of continuous symmetries. They were discovered by Yoichiro Nambu in part ...
s. The phonons travel at ''less'' than the
speed of light
The speed of light in vacuum, commonly denoted , is a universal physical constant that is important in many areas of physics. The speed of light is exactly equal to ). According to the special theory of relativity, is the upper limit fo ...
.
* Similar to the approximate Lorentz symmetry of phonons in a lattice (where the speed of sound plays the role of the critical speed), the Lorentz symmetry of special relativity (with the speed of light as the critical speed in vacuum) is only a low-energy limit of the laws of physics, which involve new phenomena at some fundamental scale. Bare conventional "elementary" particles are not point-like field-theoretical objects at very small distance scales, and a nonzero fundamental length must be taken into account. Lorentz symmetry violation is governed by an energy-dependent parameter which tends to zero as momentum decreases.
Such patterns require the existence of a
privileged local inertial frame (the "vacuum rest frame"). They can be tested, at least partially, by ultra-high energy cosmic ray experiments like the
Pierre Auger Observatory
The Pierre Auger Observatory is an international cosmic ray observatory in Argentina designed to detect ultra-high-energy cosmic rays: sub-atomic particles traveling nearly at the speed of light and each with energies beyond 1018 eV. In Ear ...
.
* The laws of physics are symmetric under a
deformation of the Lorentz or more generally, the
Poincaré group
The Poincaré group, named after Henri Poincaré (1906), was first defined by Hermann Minkowski (1908) as the group of Minkowski spacetime isometries. It is a ten-dimensional non-abelian Lie group that is of importance as a model in our und ...
, and this deformed symmetry is exact and unbroken. This deformed symmetry is also typically a
quantum group
In mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups (which are quasitriangular Hopf algebra ...
symmetry, which is a generalization of a group symmetry.
Deformed special relativity is an example of this class of models. The deformation is scale dependent, meaning that at length scales much larger than the Planck scale, the symmetry looks pretty much like the Poincaré group. Ultra-high energy cosmic ray experiments cannot test such models.
*
Very special relativity Ignoring gravity, experimental bounds seem to suggest that special relativity with its Lorentz symmetry and Poincaré symmetry describes spacetime. Surprisingly, Bogoslovsky and independently Cohen and Glashow
have demonstrated that a small subgr ...
forms a class of its own; if
charge-parity (CP) is an exact symmetry, a subgroup of the Lorentz group is sufficient to give us all the standard predictions. This is, however, not the case.
Models belonging to the first two classes can be consistent with experiment if Lorentz breaking happens at Planck scale or beyond it, or even before it in suitable
preon
In particle physics, preons are point particles, conceived of as sub-components of quarks and leptons.
The word was coined by Jogesh Pati and Abdus Salam, in 1974. Interest in preon models peaked in the 1980s but has slowed, as the Standard Mode ...
ic models,
and if Lorentz symmetry violation is governed by a suitable energy-dependent parameter. One then has a class of models which deviate from Poincaré symmetry near the Planck scale but still flows towards an exact Poincaré group at very large length scales. This is also true for the third class, which is furthermore protected from radiative corrections as one still has an exact (quantum) symmetry.
Even though there is no evidence of the violation of Lorentz invariance, several experimental searches for such violations have been performed during recent years. A detailed summary of the results of these searches is given in the Data Tables for Lorentz and CPT Violation.
[
]
Lorentz invariance is also violated in QFT assuming non-zero temperature.
There is also growing evidence of Lorentz violation in
Weyl semimetals and
Dirac semimetals.
See also
*
4-vector
*
Antimatter tests of Lorentz violation
*
Fock–Lorentz symmetry
*
General covariance
In theoretical physics, general covariance, also known as diffeomorphism covariance or general invariance, consists of the invariance of the ''form'' of physical laws under arbitrary differentiable coordinate transformations. The essential idea i ...
*
Lorentz invariance in loop quantum gravity
*
Lorentz-violating electrodynamics Searches for Lorentz violation involving photons provide one possible test of relativity. Examples range from modern versions of the classic Michelson–Morley experiment that utilize highly stable electromagnetic resonant cavities to searches for ...
*
Lorentz-violating neutrino oscillations
Lorentz-violating neutrino oscillation refers to the quantum phenomenon of neutrino oscillations described in a framework that allows the breakdown of Lorentz invariance. Today, neutrino oscillation or change of one type of neutrino into another ...
*
Planck length
*
Symmetry in physics
In physics, a symmetry of a physical system is a physical or mathematical feature of the system (observed or intrinsic) that is preserved or remains unchanged under some transformation.
A family of particular transformations may be ''continuo ...
Notes
References
* Background information on Lorentz and CPT violation: http://www.physics.indiana.edu/~kostelec/faq.html
*
*
*
*
* {{cite journal, doi=10.1103/PhysRevD.67.124011, title=Threshold effects and Planck scale Lorentz violation: Combined constraints from high energy astrophysics, year=2003, last1=Jacobson, first1=T., last2=Liberati, first2=S., last3=Mattingly, first3=D., journal=Physical Review D, volume=67, issue=12, pages=124011, arxiv = hep-ph/0209264 , bibcode = 2003PhRvD..67l4011J , s2cid=119452240
Special relativity
Symmetry
Hendrik Lorentz