A conjecture that the (n −1)2 independent moduli and (2n −1) unphysical phases completely specify all n-dimensional unitary matrices is shown to be true in two and three dimensions, but false in four or more. The implications for quantum theory are discussed.
The nature of measurements, and their place within quantum theory, has engaged physicists and philosophers for generations [Bra92; Sch03]. Much of that interest centered on variables such as position and momentum of free particles, whose values form a continuum. The present monograph deals with discrete quantum states; the measurements are those required to specify as completely as possible a particular discrete quantum state Ψ or, more generally, a density matrix ρ defined within a finite-dimensional Hilbert space. General remarks General system . At the outset we assume that the possible quantum states are a small number – the N essential states used in formulating the time-dependent Schrödinger equation or specifying the dimensions of the density matrix. To completely characterize a density matrix for such a system we require the N 2 elements. Of these the N diagonal elements are real valued, while the off-diagonal elements of the upper right side are complex conjugates of those on the lower left. Thus with allowance for the requirement of unit trace a total of N 2 – 1 real numbers suffice to completely specify the density matrix. These values must be consistent with the constraints discussed in Sec. 16.6.3. Pure state . If it is known that the system is in a pure state, we require the magnitude and phase of N probability amplitudes. These are constrained by normalization, and so only 2 N –1 real numbers are needed. Out of these 2 N – 1 parameters the overall phase of the statevector is usually not of interest (but see Chap. 20).
When a quantum operation is specified exactly, irrational amplitudes in its unitary description can disappear from its action on density matrices, leaving an operation with rational coefficients whose implementation still requires additional resources. I develop a Quantum Galois Machine that determines whether an algebraically specified quantum channel can be executed using rational matrices and a finite environment initially prepared in a computational basis state. For every unitary channel with rational coefficients, the minimum dimension of an environment that may be discarded is exactly the least number of rational squares needed to represent a positive rational parameter extracted from the channel. This gives a complete classification with possible dimensions one, two, three and four, each attained by an explicit example. The associated square class multiplies under parallel and sequential composition, so two identical operations admit a joint implementation without an environment even when one operation requires four dimensions. Returning the environment to its initial basis state or retaining a specified coherent control imposes different arithmetic obstructions. Although unrestricted approximation removes this exact environment requirement, a bound on rational denominators restores a quantitative obstruction: a nonsquare output probability with reduced denominator S forces diamond-norm error at least 2/(SB^2) when every entry denominator of an environment-free implementation is at most B. A constructive Householder approximation supplies a complementary upper bound, giving logarithmic denominator bit cost in inverse precision for each fixed channel with nonsquare parameter. These results provide finite certificates that account for the coefficient field, phase convention, auxiliary systems and numerical description size.
It is proposed that an unconstrained quantum system is completely specified by its configuration space C and its group of symmetries G. It is then shown that the theory of projective unitary representations of G on a certain Hilbert space determined by C and G leads to a definitive resolution of supposed ambiguities relating to superselection rules, choice of wave functions, topological properties of G and C, anomalies, etc.
The generalized defect D(U) of a unitary NxN matrix U with no zero entries is the dimension of the real space of directions, moving into which from U we do not disturb the moduli |U_ij| as well as the Gram matrix U'*U in the first order. Then the defect d(U) is equal to D(U) - (2N-1), that is the generalized defect diminished by the dimension of the manifold {Dr*U*Dc : Dr,Dc unitary diagonal}. Calculation of d(U) involves calculating the dimension of the space in R^(N^2) spanned by a certain set of vectors associated with U. We split this space into a direct sum, assuming that U is a Kronecker product of unitary matrices, thus making it easier to perform calculations numerically. Basing on this, we give a lower bound on D(U) (equivalently d(U)), supposing it is achieved for most unitaries with a fixed Kronecker product structure. Also supermultiplicativity of D(U) with respect to Kronecker subproducts of U is shown.
Braiding operators corresponding to the third Reidemeister move in the theory of knots and links are realized in terms of parametrized unitary matrices for all dimensions.Two distinct classes are considered.Their (nonlocal) unitary actions on separable pure product states of three identical subsystems (i.e., the spin projections of three particles) are explicitly evaluated for all dimensions.This, for our classes, is shown to generate entangled superposition of four terms in the base space.The 3-body and 2-body entanglements (in three 2-body subsystems), the 3 tangles, and 2 tangles are explicitly evaluated for each class.For our matrices, these are parametrized.Varying parameters they can be made to sweep over the domain (0, 1).Thus, braiding operators corresponding to over-and undercrossings of three braids and, on closing ends, to topologically entangled Borromean rings are shown, in another context, to generate quantum entanglements.For higher dimensions, starting with different initial triplets one can entangle by turns, each state with all the rest.A specific coupling of three angular momenta is briefly discussed to throw more light on three body entanglements.