|
Operator Product Expansion
In quantum field theory, the operator product expansion (OPE) is used as an axiom to define the product of fields as a sum over the same fields. As an axiom, it offers a non-perturbative approach to quantum field theory. One example is the vertex operator algebra, which has been used to construct two-dimensional conformal field theories. Whether this result can be extended to QFT in general, thus resolving many of the difficulties of a perturbative approach, remains an open research question. In practical calculations, such as those needed for scattering amplitudes in various collider experiments, the operator product expansion is used in QCD sum rules to combine results from both perturbative and non-perturbative (condensate) calculations. 2D Euclidean quantum field theory In 2D Euclidean field theory, the operator product expansion is a Laurent series expansion associated to two operators. A Laurent series is a generalization of the Taylor series in that finitely many powers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantum Field Theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and 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. QFT treats particles as excited states (also called Quantum, quanta) of their underlying quantum field (physics), fields, which are more fundamental than the particles. The equation of motion of the particle is determined by minimization of the Lagrangian, a functional of fields associated with the particle. Interactions between particles are described by interaction terms in the Lagrangian (field theory), Lagrangian involving their corresponding quantum fields. Each interaction can be visually represented by Feynman diagrams according to perturbation theory (quantum mechanics), perturbation theory in quantum mechanics. History Quantum field theory emerged from the wo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associative Algebra
In mathematics, an associative algebra ''A'' is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field ''K''. The addition and multiplication operations together give ''A'' the structure of a ring; the addition and scalar multiplication operations together give ''A'' the structure of a vector space over ''K''. In this article we will also use the term ''K''-algebra to mean an associative algebra over the field ''K''. A standard first example of a ''K''-algebra is a ring of square matrices over a field ''K'', with the usual matrix multiplication. A commutative algebra is an associative algebra that has a commutative multiplication, or, equivalently, an associative algebra that is also a commutative ring. In this article associative algebras are assumed to have a multiplicative identity, denoted 1; they are sometimes called unital associative algebras for clarification. I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vertex Operator Algebra
In mathematics, a vertex operator algebra (VOA) is an algebraic structure that plays an important role in two-dimensional conformal field theory and string theory. In addition to physical applications, vertex operator algebras have proven useful in purely mathematical contexts such as monstrous moonshine and the geometric Langlands correspondence. The related notion of vertex algebra was introduced by Richard Borcherds in 1986, motivated by a construction of an infinite-dimensional Lie algebra due to Igor Frenkel. In the course of this construction, one employs a Fock space that admits an action of vertex operators attached to lattice vectors. Borcherds formulated the notion of vertex algebra by axiomatizing the relations between the lattice vertex operators, producing an algebraic structure that allows one to construct new Lie algebras by following Frenkel's method. The notion of vertex operator algebra was introduced as a modification of the notion of vertex algebra, by Frenke ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivalence Relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation. Each equivalence relation provides a partition of the underlying set into disjoint equivalence classes. Two elements of the given set are equivalent to each other if and only if they belong to the same equivalence class. Notation Various notations are used in the literature to denote that two elements a and b of a set are equivalent with respect to an equivalence relation R; the most common are "a \sim b" and "", which are used when R is implicit, and variations of "a \sim_R b", "", or "" to specify R explicitly. Non-equivalence may be written "" or "a \not\equiv b". Definition A binary relation \,\sim\, on a set X is said to be an equivalence relation, if and only if it is reflexive, symmetric and transitive. That is, for all a, b, and c in X: * a \sim a ( ref ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Operator Topology
In the mathematical field of functional analysis there are several standard topologies which are given to the algebra of bounded linear operators on a Banach space . Introduction Let (T_n)_ be a sequence of linear operators on the Banach space . Consider the statement that (T_n)_ converges to some operator on . This could have several different meanings: * If \, T_n - T\, \to 0, that is, the operator norm of T_n - T (the supremum of \, T_n x - T x \, _X, where ranges over the unit ball in ) converges to 0, we say that T_n \to T in the uniform operator topology. * If T_n x \to Tx for all x \in X, then we say T_n \to T in the strong operator topology. * Finally, suppose that for all we have T_n x \to Tx in the weak topology of . This means that F(T_n x) \to F(T x) for all linear functionals on . In this case we say that T_n \to T in the weak operator topology. List of topologies on B(''H'') There are many topologies that can be defined on besides the ones used above; ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Function
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions. A function is analytic if and only if its Taylor series about ''x''0 converges to the function in some neighborhood for every ''x''0 in its domain. Definitions Formally, a function f is ''real analytic'' on an open set D in the real line if for any x_0\in D one can write : f(x) = \sum_^\infty a_ \left( x-x_0 \right)^ = a_0 + a_1 (x-x_0) + a_2 (x-x_0)^2 + a_3 (x-x_0)^3 + \cdots in which the coefficients a_0, a_1, \dots are real numbers and the series is convergent to f(x) for x in a neighborhood of x_0. Alternatively, a real analytic function is an infinitely differentiable function such that the Taylor series at any point x_0 in its domain ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Open Neighborhood
In topology and related areas of mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a topological space. It is closely related to the concepts of open set and interior. Intuitively speaking, a neighbourhood of a point is a set of points containing that point where one can move some amount in any direction away from that point without leaving the set. Definitions Neighbourhood of a point If X is a topological space and p is a point in X, then a of p is a subset V of X that includes an open set U containing p, p \in U \subseteq V \subseteq X. This is also equivalent to the point p \in X belonging to the topological interior of V in X. The neighbourhood V need be an open subset X, but when V is open in X then it is called an . Some authors have been known to require neighbourhoods to be open, so it is important to note conventions. A set that is a neighbourhood of each of its points is open since it can be expressed as the union of open sets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (physics)
In physics, a field is a physical quantity, represented by a scalar (mathematics), scalar, vector (mathematics and physics), vector, or tensor, that has a value for each Point (geometry), point in Spacetime, space and time. For example, on a weather map, the surface temperature is described by assigning a real number, number to each point on the map; the temperature can be considered at a certain point in time or over some interval of time, to study the dynamics of temperature change. A surface wind map, assigning an vector (mathematics and physics), arrow to each point on a map that describes the wind velocity, speed and direction at that point, is an example of a vector field, i.e. a 1-dimensional (rank-1) tensor field. Field theories, mathematical descriptions of how field values change in space and time, are ubiquitous in physics. For instance, the electric field is another rank-1 tensor field, while electrodynamics can be formulated in terms of Mathematical descriptions of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conformal Bootstrap
The conformal bootstrap is a non-perturbative mathematical method to constrain and solve conformal field theories, i.e. models of particle physics or statistical physics that exhibit similar properties at different levels of resolution. Overview Unlike more traditional techniques of quantum field theory, conformal bootstrap does not use the Lagrangian of the theory. Instead, it operates with the general axiomatic parameters, such as the scaling dimensions of the local operators and their operator product expansion coefficients. A key axiom is that the product of local operators must be expressible as a sum over local operators (thus turning the product into an algebra); the sum must have a non-zero radius of convergence. This leads to decompositions of correlation functions into structure constants and conformal blocks. The main ideas of the conformal bootstrap were formulated in the 1970s by the Soviet physicist Alexander Polyakov and the Italian physicists Sergio Ferrara, R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conformal Field Theory
A conformal field theory (CFT) is a quantum field theory that is invariant under conformal transformations. In two dimensions, there is an infinite-dimensional algebra of local conformal transformations, and conformal field theories can sometimes be exactly solved or classified. Conformal field theory has important applications to condensed matter physics, statistical mechanics, quantum statistical mechanics, and string theory. Statistical and condensed matter systems are indeed often conformally invariant at their thermodynamic or quantum critical points. Scale invariance vs conformal invariance In quantum field theory, scale invariance is a common and natural symmetry, because any fixed point of the renormalization group is by definition scale invariant. Conformal symmetry is stronger than scale invariance, and one needs additional assumptions to argue that it should appear in nature. The basic idea behind its plausibility is that ''local'' scale invariant theories have their ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Of Polynomial Functions
In mathematics, the ring of polynomial functions on a vector space ''V'' over a field ''k'' gives a coordinate-free analog of a polynomial ring. It is denoted by ''k'' 'V'' If ''V'' is finite dimensional and is viewed as an algebraic variety, then ''k'' 'V''is precisely the coordinate ring of ''V''. The explicit definition of the ring can be given as follows. If k _1, \dots, t_n/math> is a polynomial ring, then we can view t_i as coordinate functions on k^n; i.e., t_i(x) = x_i when x = (x_1, \dots, x_n). This suggests the following: given a vector space ''V'', let ''k'' 'V''be the commutative ''k''-algebra generated by the dual space V^*, which is a subring of the ring of all functions V \to k. If we fix a basis for ''V'' and write t_i for its dual basis, then ''k'' 'V''consists of polynomials in t_i. If ''k'' is infinite, then ''k'' 'V''is the symmetric algebra of the dual space V^*. In applications, one also defines ''k'' 'V''when ''V'' is defined over some subfield of ''k'' ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
