Separable stateIn quantum mechanics, separable states are quantum states belonging to a composite space that can be factored into individual states belonging to separate subspaces. A state is said to be entangled if it is not separable. In general, determining if a state is separable is not straightforward and the problem is classed as NP-hard. Consider first composite states with two degrees of freedom, referred to as bipartite states. By a postulate of quantum mechanics these can be described as vectors in the tensor product space .
Bloch sphereIn quantum mechanics and computing, the Bloch sphere is a geometrical representation of the pure state space of a two-level quantum mechanical system (qubit), named after the physicist Felix Bloch. Quantum mechanics is mathematically formulated in Hilbert space or projective Hilbert space. The pure states of a quantum system correspond to the one-dimensional subspaces of the corresponding Hilbert space (and the "points" of the projective Hilbert space).
Abstract rewriting systemIn mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ; this definition can be further refined if we index (label) subsets of the binary relation.
Immirzi parameterThe Immirzi parameter (also known as the Barbero–Immirzi parameter) is a numerical coefficient appearing in loop quantum gravity (LQG), a nonperturbative theory of quantum gravity. The Immirzi parameter measures the size of the quantum of area in Planck units. As a result, its value is currently fixed by matching the semiclassical black hole entropy, as calculated by Stephen Hawking, and the counting of microstates in loop quantum gravity.
Eugene WignerEugene Paul "E. P." Wigner (Wigner Jenő Pál, ˈviɡnɛr ˈjɛnøː ˈpaːl; November 17, 1902 – January 1, 1995) was a Hungarian-American theoretical physicist who also contributed to mathematical physics. He received the Nobel Prize in Physics in 1963 "for his contributions to the theory of the atomic nucleus and the elementary particles, particularly through the discovery and application of fundamental symmetry principles".
Projective Hilbert spaceIn mathematics and the foundations of quantum mechanics, the projective Hilbert space of a complex Hilbert space is the set of equivalence classes of non-zero vectors in , for the relation on given by if and only if for some non-zero complex number . The equivalence classes of for the relation are also called rays or projective rays. This is the usual construction of projectivization, applied to a complex Hilbert space. The physical significance of the projective Hilbert space is that in quantum theory, the wave functions and represent the same physical state, for any .
David HilbertDavid Hilbert (ˈhɪlbərt; ˈdaːvɪt ˈhɪlbɐt; 23 January 1862 – 14 February 1943) was a German mathematician and one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics (particularly proof theory).
Confluence (abstract rewriting)In computer science, confluence is a property of rewriting systems, describing which terms in such a system can be rewritten in more than one way, to yield the same result. This article describes the properties in the most abstract setting of an abstract rewriting system. The usual rules of elementary arithmetic form an abstract rewriting system. For example, the expression (11 + 9) × (2 + 4) can be evaluated starting either at the left or at the right parentheses; however, in both cases the same result is eventually obtained.
Space rendezvousA space rendezvous (ˈrɒndeɪvuː) is a set of orbital maneuvers during which two spacecraft, one of which is often a space station, arrive at the same orbit and approach to a very close distance (e.g. within visual contact). Rendezvous requires a precise match of the orbital velocities and position vectors of the two spacecraft, allowing them to remain at a constant distance through orbital station-keeping. Rendezvous may or may not be followed by docking or berthing, procedures which bring the spacecraft into physical contact and create a link between them.
