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 [itex]C^{n+1}[/itex], or [itex]CP^n~\subset~C^{n+1}[/itex]. 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 [itex]C^{n+1}[/itex] defines a unitary subgroup [itex]U(n+1)~\subset~ GL(n+1,C)[/itex]. The Fubini-Study metric is invariant under scaling under group actions of such a [itex]U(n+1)[/itex]. Hence the space, a Kahler manifold, is homogeneous. Hence any two Fubini-Study metrics are isometric under a projective automorphism of [itex]CP^n[/itex].
The definition of a projective space is the set of elements [itex]z_i~=~Z_i/Z_0[/itex], where the magnitude of [itex]Z_0[/itex] is artitrary, or more formally
[tex] CP^n~=~\big{\{z_i,~i=1\dots n}:~z_i~=~Z_i/(Z_0~\ne~0)\big}[/tex]
A point or in [itex]CP^n[/itex] is a line or ray in [itex]C^{n+1}[/itex]. An arbitrary vector in the projective space may then be represented in the "bra-ket" notation of quantum mechanics as
[tex] |\psi\rangle~=~\sum_{i=1}^\infty z_i|e_i\rangle~=~[z_1:~z_2:~\dots~z_n][/tex]
where the square braket notation is commonly used for projective spaces. The basis vectors [itex]|e_i\rangle[/itex] are the basis vectors for the Hilbert space [itex]{\cal H}~=~C^{n+1}[/itex]. There there are two such vectors [itex]|\psi\rangle,~|\phi\rangle[/itex], then the quanatum mechanical overlap defines the distance between the two points in [itex]CP^n[/itex], which in the Hilbert space is a plane. The modulus square of the quantum overlap appropriately normalized
[tex] \frac{\langle\phi|\psi\rangle\langle\psi|\phi\rangle}{\langle\psi|\psi\rangle\langle\phi|\phi\rangle}~=~cos(\theta(\psi,~\phi))[/tex]
defines the distance between the two as [itex]\theta(\psi,~\phi)[/itex]. For n = 1 this is the angle on the Bloch sphere, and defines a general quantum angle.
The overlap between a vector [itex]|\psi\rangle[/itex]and its infinitesimal displacement [itex]|\psi~+~\delta\psi\rangle[/itex]defines the Fubini-Study metric on [itex]C^n[/itex] with the proper normalization
[tex] 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}[/tex]
With the coordinate notation for projective spaces the Fubini Sudy metric is
[tex] ds^2~=~\frac{1}{2}\frac{[z_i,~dz_j][{\bar z}^i,~d{\bar z}^j]}{(z_k{\bar z}^k)}[/tex]
where [itex][z_i,~w_j][/itex] is a commutator. We might think of the basis elements of the Hilbert space as a Fock basis and the components [itex]z_i[/itex] as due to the application of raising and lowering operators or a field amplitude of the form [itex]A_i~=~a^\dagger_ie^{i\theta}~+~ia_ie^{-i\theta}[/itex]. 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 [itex]\Phi[/itex]
[tex] R_{ij}~=~\frac{\partial^2\Phi}{\partial z_i\partial{\bar z}_j}[/tex]
which is proportional to the metric.
For any two dimensional subspace of [itex]CP^1~\subset~CP^n[/itex], the space is the block sphere of two real dimensional where the Fubini-Study metric reduces to
[itex] ds^2~=~\frac{dzd{\bar z}}{(1~+~z^2)(1~+~{\bar z}^2)}~=~d\theta^2~+~sin^2\theta d\phi^2[/itex]
with the state [itex]|\psi\rangle~=~cos(\theta)|0\rangle~+~e^{i\phi}\sin(\theta)|1\rangle[/itex], 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 [itex]C^{n+1}[/itex] defines a unitary subgroup [itex]U(n+1)~\subset~ GL(n+1,C)[/itex]. The Fubini-Study metric is invariant under scaling under group actions of such a [itex]U(n+1)[/itex]. Hence the space, a Kahler manifold, is homogeneous. Hence any two Fubini-Study metrics are isometric under a projective automorphism of [itex]CP^n[/itex].
The definition of a projective space is the set of elements [itex]z_i~=~Z_i/Z_0[/itex], where the magnitude of [itex]Z_0[/itex] is artitrary, or more formally
[tex] CP^n~=~\big{\{z_i,~i=1\dots n}:~z_i~=~Z_i/(Z_0~\ne~0)\big}[/tex]
A point or in [itex]CP^n[/itex] is a line or ray in [itex]C^{n+1}[/itex]. An arbitrary vector in the projective space may then be represented in the "bra-ket" notation of quantum mechanics as
[tex] |\psi\rangle~=~\sum_{i=1}^\infty z_i|e_i\rangle~=~[z_1:~z_2:~\dots~z_n][/tex]
where the square braket notation is commonly used for projective spaces. The basis vectors [itex]|e_i\rangle[/itex] are the basis vectors for the Hilbert space [itex]{\cal H}~=~C^{n+1}[/itex]. There there are two such vectors [itex]|\psi\rangle,~|\phi\rangle[/itex], then the quanatum mechanical overlap defines the distance between the two points in [itex]CP^n[/itex], which in the Hilbert space is a plane. The modulus square of the quantum overlap appropriately normalized
[tex] \frac{\langle\phi|\psi\rangle\langle\psi|\phi\rangle}{\langle\psi|\psi\rangle\langle\phi|\phi\rangle}~=~cos(\theta(\psi,~\phi))[/tex]
defines the distance between the two as [itex]\theta(\psi,~\phi)[/itex]. For n = 1 this is the angle on the Bloch sphere, and defines a general quantum angle.
The overlap between a vector [itex]|\psi\rangle[/itex]and its infinitesimal displacement [itex]|\psi~+~\delta\psi\rangle[/itex]defines the Fubini-Study metric on [itex]C^n[/itex] with the proper normalization
[tex] 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}[/tex]
With the coordinate notation for projective spaces the Fubini Sudy metric is
[tex] ds^2~=~\frac{1}{2}\frac{[z_i,~dz_j][{\bar z}^i,~d{\bar z}^j]}{(z_k{\bar z}^k)}[/tex]
where [itex][z_i,~w_j][/itex] is a commutator. We might think of the basis elements of the Hilbert space as a Fock basis and the components [itex]z_i[/itex] as due to the application of raising and lowering operators or a field amplitude of the form [itex]A_i~=~a^\dagger_ie^{i\theta}~+~ia_ie^{-i\theta}[/itex]. 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 [itex]\Phi[/itex]
[tex] R_{ij}~=~\frac{\partial^2\Phi}{\partial z_i\partial{\bar z}_j}[/tex]
which is proportional to the metric.
For any two dimensional subspace of [itex]CP^1~\subset~CP^n[/itex], the space is the block sphere of two real dimensional where the Fubini-Study metric reduces to
[itex] ds^2~=~\frac{dzd{\bar z}}{(1~+~z^2)(1~+~{\bar z}^2)}~=~d\theta^2~+~sin^2\theta d\phi^2[/itex]
with the state [itex]|\psi\rangle~=~cos(\theta)|0\rangle~+~e^{i\phi}\sin(\theta)|1\rangle[/itex], 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