GAUGE in measurement :
- Gauge (instrument), any of a variety of measuring instruments
- For gauges on a car dashboard, see Dashboard > Dashboard items
- Gauge blocks, metal blocks of precisely known length, used in measuring
- American wire gauge, a measurement of diameter of a wire
- Gauge (bore diameter), the diameter of a shotgun barrel
- Stubs Iron Wire Gauge, which corresponds to the diameter of a hypodermic needle
- See also Category:Wire gauges
- Unit of thickness used for thin plastics; 1 gauge = 1/100 mil = 1/100,000 inch = 25.4/100000 millimetre = 0.254 micrometre
- Sheet metal gauge, thickness of metal in sheet form
- Sight glass or water gauge for measuring liquid level heights in storage tanks and pressure vessels
- Boost gauge, a gauge used in conjunction with turbo-super-chargers
- Pressure gauge or vacuum gauge (see pressure measurement)
- Stream gauge for measuring height and discharge of a river or stream
- The size of piercing jewelry thickness and a stretched piercing (see stretching (body piercing))
- Film gauge, a physical property of film stock which defines its size
- ANOVA Gauge R&R, a statistical tool to measure variation arising from the measurement device and its operators
- Air core gauge, a type of rotary actuator often used in automotive instruments
Gauge Theory :
The term gauge refers to redundant degrees of freedom in the Lagrangian. The transformations between possible gauges, called gauge transformations, form a Lie group which is referred to as the symmetry group or the gauge group of the theory. Associated with any Lie group is the Lie algebra of group generators. For each group generator there necessarily arises a corresponding vector field called the gauge field. Gauge fields are included in the Lagrangian to ensure its invariance under the local group transformations (called gauge invariance). When such a theory is quantized, the quanta of the gauge fields are called gauge bosons. If the symmetry group is non-commutative, the gauge theory is referred to as non-abelian, the usual example being the Yang–Mills theory.
Gauge theories are important as the successful field theories explaining the dynamics of elementary particles. Quantum electrodynamics is an abelian gauge theory with the symmetry group U(1) and has one gauge field, the electromagnetic field, with the photon being the gauge boson. The Standard Model is a non-abelian gauge theory with the symmetry group U(1)×SU(2)×SU(3) and has a total of twelve gauge bosons: the photon, three weak bosons and eight gluons.
Many powerful theories in physics are described by Lagrangians which are invariant under some symmetry transformation groups. When they are invariant under a transformation identically performed at every point in the space in which the physical processes occur, they are said to have a global symmetry. The requirement of local symmetry, the cornerstone of gauge theories, is a stricter constraint. In fact, a global symmetry is just a local symmetry whose group’s parameters are fixed in space-time. Gauge symmetries can be viewed as analogues of the equivalence principle of general relativity in which each point in spacetime is allowed a choice of local reference (coordinate) frame. Both symmetries reflect a redundancy in the description of a system.
Historically, these ideas were first stated in the context of classical electromagnetism and later in general relativity. However, the modern importance of gauge symmetries appeared first in the relativistic quantum mechanics of electrons — quantum electrodynamics, elaborated on below. Today, gauge theories are useful in condensed matter, nuclear and high energy physics among other subfields.
Historically, the first example of gauge symmetry to be discovered was classical electromagnetism. In static electricity, one can either discuss the electric field, E, or its corresponding electric potential, V. Knowledge of one makes it possible to find the other, except that potentials differing by a constant, , correspond to the same electric field. This is because the electric field relates to changes in the potential from one point in space to another, and the constant C would cancel out when subtracting to find the change in potential. In terms of vector calculus, the electric field is the gradient of the potential, . Generalizing from static electricity to electromagnetism, we have a second potential, the vector potential A, with
The general gauge transformations now become not just but
where f is any function that depends on position and time. The fields remain the same under the gauge transformation, and therefore Maxwell’s equations are still satisfied. That is, Maxwell’s equations have a gauge symmetry.
An example: Scalar O(n) gauge theory
- The remainder of this section requires some familiarity with classical or quantum field theory, and the use of Lagrangians.
The following illustrates how local gauge invariance can be “motivated” heuristically starting from global symmetry properties, and how it leads to an interaction between fields which were originally non-interacting.
The Lagrangian (density) can be compactly written as
by introducing a vector of fields
whenever G is a constant matrix belonging to the n-by-n orthogonal group O(n). This is seen to preserve the Lagrangian since the derivative of Φ will transform identically to Φ and both quantities appear inside dot products in the Lagrangian (orthogonal transformations preserve the dot product).
This characterizes the global symmetry of this particular Lagrangian, and the symmetry group is often called the gauge group; the mathematical term is structure group, especially in the theory of G-structures. Incidentally, Noether’s theorem implies that invariance under this group of transformations leads to the conservation of the current
where the Ta matrices are generators of the SO(n) group. There is one conserved current for every generator.
Unfortunately, the G matrices do not “pass through” the derivatives, when G = G(x),
The failure of the derivative to commute with “G” introduces an additional term (in keeping with the product rule) which spoils the invariance of the Lagrangian. In order to rectify this we define a new derivative operator such that the derivative of Φ will again transform identically with Φ
This new “derivative” is called a covariant derivative and takes the form
Where g is called the coupling constant – a quantity defining the strength of an interaction. After a simple calculation we can see that the gauge field A(x) must transform as follows
The gauge field is an element of the Lie algebra, and can therefore be expanded as
There are therefore as many gauge fields as there are generators of the Lie algebra.
Finally, we now have a locally gauge invariant Lagrangian
Pauli calls gauge transformation of the first type to the one applied to fields as Φ, while the compensating transformation in A is said to be a gauge transformation of the second type.
The difference between this Lagrangian and the original globally gauge-invariant Lagrangian is seen to be the interaction Lagrangian
This term introduces interactions between the n scalar fields just as a consequence of the demand for local gauge invariance. However, to make this interaction physical and not completely arbitrary, the mediator A(x) needs to propagate in space. That is dealt with in the next section by adding yet another term, , to the Lagrangian. In the quantized version of the obtained classical field theory, the quanta of the gauge field A(x) are called gauge bosons. The interpretation of the interaction Lagrangian in quantum field theory is of scalar bosons interacting by the exchange of these gauge bosons.
The Yang–Mills Lagrangian for the gauge field
The picture of a classical gauge theory developed in the previous section is almost complete, except for the fact that to define the covariant derivatives D, one needs to know the value of the gauge field A(x) at all space-time points. Instead of manually specifying the values of this field, it can be given as the solution to a field equation. Further requiring that the Lagrangian which generates this field equation is locally gauge invariant as well, one possible form for the gauge field Lagrangian is (conventionally) written as
and the trace being taken over the vector space of the fields. This is called the Yang–Mills action. Other gauge invariant actions also exist (e.g. nonlinear electrodynamics, Born–Infeld action, Chern–Simons model, theta term etc.).
Note that in this Lagrangian term there is no field whose transformation counterweighs the one of A. Invariance of this term under gauge transformations is a particular case of a priori classical (geometrical) symmetry. This symmetry must be restricted in order to perform quantization, the procedure being denominated gauge fixing, but even after restriction, gauge transformations may be possible.
The complete Lagrangian for the gauge theory is now
An example: Electrodynamics
As a simple application of the formalism developed in the previous sections, consider the case of electrodynamics, with only the electron field. The bare-bones action which generates the electron field’s Dirac equation is
The global symmetry for this system is
“Local”ising this symmetry implies the replacement of θ by θ(x).
An appropriate covariant derivative is then
Identifying the “charge” e with the usual electric charge (this is the origin of the usage of the term in gauge theories), and the gauge field A(x) with the four-vector potential of electromagnetic field results in an interaction Lagrangian
where Jμ(x) is the usual four vector electric current density. The gauge principle is therefore seen to naturally introduce the so-called minimal coupling of the electromagnetic field to the electron field.
Adding a Lagrangian for the gauge field Aμ(x) in terms of the field strength tensor exactly as in electrodynamics, one obtains the Lagrangian which is used as the starting point in quantum electrodynamics.