In quantum physics, in order to quantize a gauge theory, like for example Yang-Mills theory, Chern-Simons or BF model, one method is to perform a gauge fixing. This is done in the BRST and Batalin-Vilkovisky formulation. Another is to factor out the symmetry by dispensing with vector potentials altogether (they're not physically observable anyway) and work directly with Wilson loops, Wilson lines contracted with other charged fields at its endpoints and spin networks.
Older approaches to quantization for Abelian models use the Gupta-Bleuler formalism with a "semi-Hilbert space" with an indefinite sesquilinear form. However, it is much more elegant to just work with the quotient space of vector field configurations by gauge transformations.
An alternative approach using lattice approximations is covered in (Wick rotated) lattice gauge theory.
To establish the existence of the Yang-Mills theory and a mass gap is one of the seven Millennium Prize Problems of the Clay Mathematics Institute.
Famous quotes containing the words quantum and/or theory:
“But how is one to make a scientist understand that there is something unalterably deranged about differential calculus, quantum theory, or the obscene and so inanely liturgical ordeals of the precession of the equinoxes.”
—Antonin Artaud (1896–1948)
“If my theory of relativity is proven correct, Germany will claim me as a German and France will declare that I am a citizen of the world. Should my theory prove untrue, France will say that I am a German and Germany will declare that I am a Jew.”
—Albert Einstein (1879–1955)