Lawrence B. Crowell
- 190
- 2
This is a second part to the post on the Fubini-Study metric and the Hawking effect. The Fubini-Study metric defines the set of projective rays in the complex space C^{n+1}, or CP^n~\subset~C^{n+1}. The Fubini-Study metric is then for n = 1 the Bloch sphere and further defines quantum entanglements and Berry phases.
A Hermitian function or differential form in C^{n+1} defines a unitary subgroup U(n+1)~\subset~ GL(n+1,C). The Fubini-Study metric is invariant under scaling under group actions of such a U(n+1). Hence the space, a Kahler manifold, is homogeneous. Hence any two Fubini-Study metrics are isometric under a projective automorphism of CP^n.
The definition of a projective space is the set of elements z_i~=~Z_i/Z_0, where the magnitude of Z_0 is artitrary, or more formally
<br /> CP^n~=~\big{\{z_i,~i=1\dots n}:~z_i~=~Z_i/(Z_0~\ne~0)\big}<br />
A point or in CP^n is a line or ray in C^{n+1}. An arbitrary vector in the projective space may then be represented in the "bra-ket" notation of quantum mechanics as
<br /> |\psi\rangle~=~\sum_{i=1}^\infty z_i|e_i\rangle~=~[z_1:~z_2:~\dots~z_n]<br />
where the square braket notation is commonly used for projective spaces. The basis vectors |e_i\rangle are the basis vectors for the Hilbert space {\cal H}~=~C^{n+1}. There there are two such vectors |\psi\rangle,~|\phi\rangle, then the quanatum mechanical overlap defines the distance between the two points in CP^n, which in the Hilbert space is a plane. The modulus square of the quantum overlap appropriately normalized
<br /> \frac{\langle\phi|\psi\rangle\langle\psi|\phi\rangle}{\langle\psi|\psi\rangle\langle\phi|\phi\rangle}~=~cos(\theta(\psi,~\phi))<br />
defines the distance between the two as \theta(\psi,~\phi). For n = 1 this is the angle on the Bloch sphere, and defines a general quantum angle.
The overlap between a vector |\psi\rangleand its infinitesimal displacement |\psi~+~\delta\psi\rangledefines the Fubini-Study metric on C^n with the proper normalization
<br /> ds^2~=~\frac{\langle\delta\psi|\delta\psi\rangle}{\langle\psi|\psi\rangle}~=~\frac{\langle\delta\psi|\psi\rangle\langle\psi|\delta\psi\rangle}{|\langle\psi|\psi\rangle|^2}<br />
With the coordinate notation for projective spaces the Fubini Sudy metric is
<br /> ds^2~=~\frac{1}{2}\frac{[z_i,~dz_j][{\bar z}^i,~d{\bar z}^j]}{(z_k{\bar z}^k)}<br />
where [z_i,~w_j] is a commutator. We might think of the basis elements of the Hilbert space as a Fock basis and the components z_i as due to the application of raising and lowering operators or a field amplitude of the form A_i~=~a^\dagger_ie^{i\theta}~+~ia_ie^{-i\theta}. The projective space is a form of algebraic variety, and these commutators are defined as Grassmannian varieties. The form of this metric indicates that the space is a Kahler manifold where the Ricci curvature is given by a potential \Phi
<br /> R_{ij}~=~\frac{\partial^2\Phi}{\partial z_i\partial{\bar z}_j}<br />
which is proportional to the metric.
For any two dimensional subspace of CP^1~\subset~CP^n, the space is the block sphere of two real dimensional where the Fubini-Study metric reduces to
<br /> ds^2~=~\frac{dzd{\bar z}}{(1~+~z^2)(1~+~{\bar z}^2)}~=~d\theta^2~+~sin^2\theta d\phi^2<br />
with the state |\psi\rangle~=~cos(\theta)|0\rangle~+~e^{i\phi}\sin(\theta)|1\rangle, which is the single qubit state. This may then be generalized to higher dimensional kahler manifolds for hexacode and higher quantum codes and algebras.
Lawrence B. Crowell
A Hermitian function or differential form in C^{n+1} defines a unitary subgroup U(n+1)~\subset~ GL(n+1,C). The Fubini-Study metric is invariant under scaling under group actions of such a U(n+1). Hence the space, a Kahler manifold, is homogeneous. Hence any two Fubini-Study metrics are isometric under a projective automorphism of CP^n.
The definition of a projective space is the set of elements z_i~=~Z_i/Z_0, where the magnitude of Z_0 is artitrary, or more formally
<br /> CP^n~=~\big{\{z_i,~i=1\dots n}:~z_i~=~Z_i/(Z_0~\ne~0)\big}<br />
A point or in CP^n is a line or ray in C^{n+1}. An arbitrary vector in the projective space may then be represented in the "bra-ket" notation of quantum mechanics as
<br /> |\psi\rangle~=~\sum_{i=1}^\infty z_i|e_i\rangle~=~[z_1:~z_2:~\dots~z_n]<br />
where the square braket notation is commonly used for projective spaces. The basis vectors |e_i\rangle are the basis vectors for the Hilbert space {\cal H}~=~C^{n+1}. There there are two such vectors |\psi\rangle,~|\phi\rangle, then the quanatum mechanical overlap defines the distance between the two points in CP^n, which in the Hilbert space is a plane. The modulus square of the quantum overlap appropriately normalized
<br /> \frac{\langle\phi|\psi\rangle\langle\psi|\phi\rangle}{\langle\psi|\psi\rangle\langle\phi|\phi\rangle}~=~cos(\theta(\psi,~\phi))<br />
defines the distance between the two as \theta(\psi,~\phi). For n = 1 this is the angle on the Bloch sphere, and defines a general quantum angle.
The overlap between a vector |\psi\rangleand its infinitesimal displacement |\psi~+~\delta\psi\rangledefines the Fubini-Study metric on C^n with the proper normalization
<br /> ds^2~=~\frac{\langle\delta\psi|\delta\psi\rangle}{\langle\psi|\psi\rangle}~=~\frac{\langle\delta\psi|\psi\rangle\langle\psi|\delta\psi\rangle}{|\langle\psi|\psi\rangle|^2}<br />
With the coordinate notation for projective spaces the Fubini Sudy metric is
<br /> ds^2~=~\frac{1}{2}\frac{[z_i,~dz_j][{\bar z}^i,~d{\bar z}^j]}{(z_k{\bar z}^k)}<br />
where [z_i,~w_j] is a commutator. We might think of the basis elements of the Hilbert space as a Fock basis and the components z_i as due to the application of raising and lowering operators or a field amplitude of the form A_i~=~a^\dagger_ie^{i\theta}~+~ia_ie^{-i\theta}. The projective space is a form of algebraic variety, and these commutators are defined as Grassmannian varieties. The form of this metric indicates that the space is a Kahler manifold where the Ricci curvature is given by a potential \Phi
<br /> R_{ij}~=~\frac{\partial^2\Phi}{\partial z_i\partial{\bar z}_j}<br />
which is proportional to the metric.
For any two dimensional subspace of CP^1~\subset~CP^n, the space is the block sphere of two real dimensional where the Fubini-Study metric reduces to
<br /> ds^2~=~\frac{dzd{\bar z}}{(1~+~z^2)(1~+~{\bar z}^2)}~=~d\theta^2~+~sin^2\theta d\phi^2<br />
with the state |\psi\rangle~=~cos(\theta)|0\rangle~+~e^{i\phi}\sin(\theta)|1\rangle, which is the single qubit state. This may then be generalized to higher dimensional kahler manifolds for hexacode and higher quantum codes and algebras.
Lawrence B. Crowell