|
Schwinger Functions
In quantum field theory, the Wightman distributions can be analytically continued to analytic functions in Euclidean space with the domain restricted to ordered ''n''-tuples in \mathbb R^d that are pairwise distinct. These functions are called the Schwinger functions (named after Julian Schwinger) and they are real-analytic, symmetric under the permutation of arguments (antisymmetric for fermionic fields), Euclidean covariant and satisfy a property known as reflection positivity. Properties of Schwinger functions are known as Osterwalder–Schrader axioms (named after Konrad Osterwalder and Robert Schrader).Osterwalder, K., and Schrader, R.: "Axioms for Euclidean Green’s functions," ''Comm. Math. Phys.'' 31 (1973), 83–112; 42 (1975), 281–305. Schwinger functions are also referred to as Euclidean correlation functions. Osterwalder–Schrader axioms Here we describe Osterwalder–Schrader (OS) axioms for a Euclidean quantum field theory of a Hermitian scalar field \phi(x), ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantum Field Theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and in condensed matter physics to construct models of quasiparticles. The current standard model of particle physics is based on QFT. History Quantum field theory emerged from the work of generations of theoretical physicists spanning much of the 20th century. Its development began in the 1920s with the description of interactions between light and electrons, culminating in the first quantum field theory—quantum electrodynamics. A major theoretical obstacle soon followed with the appearance and persistence of various infinities in perturbative calculations, a problem only resolved in the 1950s with the invention of the renormalization procedure. A second major barrier came with QFT's apparent inabili ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Test Function
In mathematical analysis, a bump function (also called a test function) is a function f : \Reals^n \to \Reals on a Euclidean space \Reals^n which is both smooth (in the sense of having continuous derivatives of all orders) and compactly supported. The set of all bump functions with domain \Reals^n forms a vector space, denoted \mathrm^\infty_0(\Reals^n) or \mathrm^\infty_\mathrm(\Reals^n). The dual space of this space endowed with a suitable topology is the space of distributions. Examples The function \Psi : \mathbb \to \mathbb given by \Psi(x) = \begin \exp\left( \frac\right), & \text , x, . In fact, by definition of support, we have that \operatorname(\Psi):=\overline =\overline, where the closure is taken with respect the Euclidean topology of the real line. The proof of smoothness follows along the same lines as for the related function discussed in the Non-analytic smooth function article. This function can be interpreted as the Gaussian function \exp\left(-y ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wick Rotation
In physics, Wick rotation, named after Italian physicist Gian Carlo Wick, is a method of finding a solution to a mathematical problem in Minkowski space from a solution to a related problem in Euclidean space by means of a transformation that substitutes an imaginary-number variable for a real-number variable. Wick rotations are useful because of an analogy between two important but seemingly distinct fields of physics: statistical mechanics and quantum mechanics. In this analogy, inverse temperature plays a role in statistical mechanics formally akin to imaginary time in quantum mechanics: that is, , where is time and is the imaginary unit (). More precisely, in statistical mechanics, the Gibbs measure describes the relative probability of the system to be in any given state at temperature , where is a function describing the energy of each state and is the Boltzmann constant. In quantum mechanics, the transformation describes time evolution, where is an operator descri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sobolev Space
In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of ''Lp''-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense to make the space complete, i.e. a Banach space. Intuitively, a Sobolev space is a space of functions possessing sufficiently many derivatives for some application domain, such as partial differential equations, and equipped with a norm that measures both the size and regularity of a function. Sobolev spaces are named after the Russian mathematician Sergei Sobolev. Their importance comes from the fact that weak solutions of some important partial differential equations exist in appropriate Sobolev spaces, even when there are no strong solutions in spaces of continuous functions with the derivatives understood in the classical sense. Motivation In this section and throughout the article \Omega is an open subset of \R^n. There are man ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edward Nelson
Edward Nelson (May 4, 1932 – September 10, 2014) was an American mathematician. He was professor in the Mathematics Department at Princeton University. He was known for his work on mathematical physics and mathematical logic. In mathematical logic, he was noted especially for his internal set theory, and views on ultrafinitism and the consistency of Peano arithmetic, arithmetic. In philosophy of mathematics he advocated the view of Formalism (mathematics), formalism rather than Platonism (mathematics), platonism or intuitionism. He also wrote on the relationship between religion and mathematics. Biography Edward Nelson was born in Decatur, Georgia, in 1932. He spent his early childhood in Rome where his father worked for the Italian YMCA. At the advent of World War II, Nelson moved with his mother to New York City, where he attended high school at the Bronx High School of Science. His father, who spoke fluent Russian language, Russian, stayed in St. Petersburg in connection wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wightman Functions
In mathematical physics, the Wightman axioms (also called Gårding–Wightman axioms), named after Arthur Wightman, are an attempt at a mathematically rigorous formulation of quantum field theory. Arthur Wightman formulated the axioms in the early 1950s, but they were first published only in 1964 after Haag–Ruelle scattering theory affirmed their significance. The axioms exist in the context of constructive quantum field theory and are meant to provide a basis for rigorous treatment of quantum fields and strict foundation for the perturbative methods used. One of the Millennium Problems is to realize the Wightman axioms in the case of Yang–Mills fields. Rationale One basic idea of the Wightman axioms is that there is a Hilbert space, upon which the Poincaré group acts unitarily. In this way, the concepts of energy, momentum, angular momentum and center of mass (corresponding to boosts) are implemented. There is also a stability assumption, which restricts the spectrum ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vladimir Glaser
Vladimir Jurko Glaser (21 April 1924 – 22 January 1984) was a Croatian theoretical physicist working on quantum field theory and the canonization of the analytic S-matrix. Biography Glaser was born in Gorizia, Italy. His father, Vladimir Glaser, was a prominent Slovene lawyer and minority rights activist. His mother, Ana née Besednjak, was the sister of the politician Engelbert Besednjak. His paternal aunt Eleonora (Lola) was married to the famous neurologist Constantin von Economo. The family fled to Yugoslavia in 1929, first to Maribor, then to Belgrade, Odžaci and finally to Zagreb in 1941. He graduated physics from the University of Zagreb in 1949 and later was attending seminar of Werner Heisenberg (1951-52) at Göttingen. Based on work carried out in Göttingen under Heisenberg he received a doctorate degree from the University of Zagreb. Being a part of Heisenberg's group at Göttingen he later worked with many famous physicists such as Harry Lehmann, Wolfhart Zimmer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wightman Axioms
In mathematical physics, the Wightman axioms (also called Gårding–Wightman axioms), named after Arthur Wightman, are an attempt at a mathematically rigorous formulation of quantum field theory. Arthur Wightman formulated the axioms in the early 1950s, but they were first published only in 1964 after Haag–Ruelle scattering theory affirmed their significance. The axioms exist in the context of constructive quantum field theory and are meant to provide a basis for rigorous treatment of quantum fields and strict foundation for the perturbative methods used. One of the Millennium Problems is to realize the Wightman axioms in the case of Yang–Mills fields. Rationale One basic idea of the Wightman axioms is that there is a Hilbert space, upon which the Poincaré group acts unitarily. In this way, the concepts of energy, momentum, angular momentum and center of mass (corresponding to boosts) are implemented. There is also a stability assumption, which restricts the spectru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Path Integral Formulation
The path integral formulation is a description in quantum mechanics that generalizes the stationary 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. Unlike previous methods, the path integral allows one to easily change coordinates between very different canonical descriptions of the same quantum system. Another advantage is that it is in practice easier to guess the correct form of the Lagrangian of a theory, which naturally enters the path integrals (for interactions of a certain type, these ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Conjugation
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, if a and b are real numbers, then the complex conjugate of a + bi is a - bi. The complex conjugate of z is often denoted as \overline or z^*. In polar form, if r and \varphi are real numbers then the conjugate of r e^ is r e^. This can be shown using Euler's formula. The product of a complex number and its conjugate is a real number: a^2 + b^2 (or r^2 in polar coordinates). If a root of a univariate polynomial with real coefficients is complex, then its complex conjugate is also a root. Notation The complex conjugate of a complex number z is written as \overline z or z^*. The first notation, a vinculum, avoids confusion with the notation for the conjugate transpose of a matrix, which can be thought of as a generalization of the complex conjugate. The second is preferred in physics, where ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperplane
In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is one less than that of the ambient space. Two lower-dimensional examples of hyperplanes are one-dimensional lines in a plane and zero-dimensional points on a line. Most commonly, the ambient space is -dimensional Euclidean space, in which case the hyperplanes are the -dimensional "flats", each of which separates the space into two half spaces. A reflection across a hyperplane is a kind of motion ( geometric transformation preserving distance between points), and the group of all motions is generated by the reflections. A convex polytope is the intersection of half-spaces. In non-Euclidean geometry, the ambient space might be the -dimensional sphere or hyperbolic space, or more generally a pseudo-Riemannian space form, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Support (mathematics)
In mathematics, the support of a real-valued function f is the subset of the function domain of elements that are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used widely in mathematical analysis. Formulation Suppose that f : X \to \R is a real-valued function whose domain is an arbitrary set X. The of f, written \operatorname(f), is the set of points in X where f is non-zero: \operatorname(f) = \. The support of f is the smallest subset of X with the property that f is zero on the subset's complement. If f(x) = 0 for all but a finite number of points x \in X, then f is said to have . If the set X has an additional structure (for example, a topology), then the support of f is defined in an analogous way as the smallest subset of X of an appropriate type such that f vanishes in an appropriate sense on its complement. The notion of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
