ComputationA computation is any type of arithmetic or non-arithmetic calculation that is well-defined. Common examples of computations are mathematical equations and computer algorithms. Mechanical or electronic devices (or, historically, people) that perform computations are known as computers. The study of computation is the field of computability, itself a sub-field of computer science. The notion that mathematical statements should be ‘well-defined’ had been argued by mathematicians since at least the 1600s, but agreement on a suitable definition proved elusive.
Path integral formulationThe path integral formulation is a description in quantum mechanics that generalizes the action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or functional integral, over an infinity of quantum-mechanically possible trajectories to compute a quantum amplitude. This formulation has proven crucial to the subsequent development of theoretical physics, because manifest Lorentz covariance (time and space components of quantities enter equations in the same way) is easier to achieve than in the operator formalism of canonical quantization.
Lattice QCDLattice QCD is a well-established non-perturbative approach to solving the quantum chromodynamics (QCD) theory of quarks and gluons. It is a lattice gauge theory formulated on a grid or lattice of points in space and time. When the size of the lattice is taken infinitely large and its sites infinitesimally close to each other, the continuum QCD is recovered. Analytic or perturbative solutions in low-energy QCD are hard or impossible to obtain due to the highly nonlinear nature of the strong force and the large coupling constant at low energies.
Topological quantum field theoryIn gauge theory and mathematical physics, a topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants. Although TQFTs were invented by physicists, they are also of mathematical interest, being related to, among other things, knot theory and the theory of four-manifolds in algebraic topology, and to the theory of moduli spaces in algebraic geometry. Donaldson, Jones, Witten, and Kontsevich have all won Fields Medals for mathematical work related to topological field theory.
Large extra dimensionsIn particle physics and string theory (M-theory), the ADD model, also known as the model with large extra dimensions (LED), is a model framework that attempts to solve the hierarchy problem. (Why is the force of gravity so weak compared to the electromagnetic force and the other fundamental forces?) The model tries to explain this problem by postulating that our universe, with its four dimensions (three spatial ones plus time), exists on a membrane in a higher dimensional space.
SphaleronA sphaleron (σφαλερός "slippery") is a static (time-independent) solution to the electroweak field equations of the Standard Model of particle physics, and is involved in certain hypothetical processes that violate baryon and lepton numbers. Such processes cannot be represented by perturbative methods such as Feynman diagrams, and are therefore called non-perturbative. Geometrically, a sphaleron is a saddle point of the electroweak potential (in infinite-dimensional field space).
Theory of computationIn theoretical computer science and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree (e.g., approximate solutions versus precise ones). The field is divided into three major branches: automata theory and formal languages, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?".
Bouguer anomalyIn geodesy and geophysics, the Bouguer anomaly (named after Pierre Bouguer) is a gravity anomaly, corrected for the height at which it is measured and the attraction of terrain. The height correction alone gives a free-air gravity anomaly. The Bouguer anomaly defined as: Here, is the free-air gravity anomaly.
Chirality (physics)A chiral phenomenon is one that is not identical to its (see the article on mathematical chirality). The spin of a particle may be used to define a handedness, or helicity, for that particle, which, in the case of a massless particle, is the same as chirality. A symmetry transformation between the two is called parity transformation. Invariance under parity transformation by a Dirac fermion is called chiral symmetry. Helicity (particle physics) The helicity of a particle is positive (“right-handed”) if the direction of its spin is the same as the direction of its motion.
Chiral symmetry breakingIn particle physics, chiral symmetry breaking is the spontaneous symmetry breaking of a chiral symmetry – usually by a gauge theory such as quantum chromodynamics, the quantum field theory of the strong interaction. Yoichiro Nambu was awarded the 2008 Nobel prize in physics for describing this phenomenon ("for the discovery of the mechanism of spontaneous broken symmetry in subatomic physics").
