Fubini-Study metric

In mathematics, the Fubini-Study metric is a Kähler metric on projective Hilbert space, that is, complex projective space CP^"n" endowed with a Hermitian form. In the context of quantum mechanics, for "n=1" this space is called the Bloch sphere; the Fubini-Study metric is the natural metric for the geometrization of quantum mechanics. Much of the peculiar behaviour of quantum mechanics, including quantum entanglement and the Berry phase effect, can be attributed to the peculiarities of the Fubini-Study metric.

A Hermitian form in (the vector space) C^"n"+1 defines a unitary subgroup U("n"+1) in GL("n"+1,C). A Fubini-Study metric is determined up to homothety (overall scaling) by invariance under such a U("n"+1) action; thus it is homogeneous. By elementary linear algebra, any two Fubini-Study metrics are isometric under a projective automorphism of CP^"n", so it is common to speak of "the" Fubini-Study metric.

Articulation

The metric may be defined either using the bra-ket notation commonly used in quantum mechanics, or the notation of projective varieties of algebraic geometry. To explicitly equate these two languages, let

:$vert\; psi\; angle\; =\; sum\_\{k=0\}^n\; Z\_k\; vert\; e\_k\; angle\; =\; [Z\_0:Z\_1:ldots:Z\_n]$

where $\{vert\; e\_k\; angle\}$ is a set of orthonormal basis vectors for Hilbert space, the $Z\_k$ are complex numbers, and $Z\_alpha\; =\; [Z\_0:Z\_1:ldots:Z\_n]$ is the standard notation for a point in the projective space $mathbb\{C\}P^n$ in homogeneous coordinates (note that despite the name, these are not coordinates but are instead elements of the dual space). Then, given two points $vert\; psi\; angle\; =\; Z\_alpha$ and $vert\; phi\; angle\; =\; W\_alpha$ in the space, the distance between them is

:$gamma\; (psi,\; phi)\; =\; arccos\; sqrt\; frac\; \{langle\; psi\; vert\; phi\; angle\; ;\; langle\; phi\; vert\; psi\; angle\; \}\{langle\; psi\; vert\; psi\; angle\; ;langle\; phi\; vert\; phi\; angle\}$or, equivalently, in projective variety notation,

:

Here, $overline\{Z\}^alpha$ is the complex conjugate of $Z\_alpha$. The appearance of $langle\; psi\; vert\; psi\; angle$ in the denominator is a reminder that $vert\; psi\; angle$ and likewise $vert\; phi\; angle$ were not normalized to unit length; thus the normalization is made explicit here. In Hilbert space, the metric can be rather trivially interpreted as the angle between two vectors; thus it is occasionally called the quantum angle. The angle is real-valued, and runs from zero to $pi/2$.

The infinitesimal form of this metric may be quickly obtained by taking $vert\; phi\; angle\; =\; vert\; psi+deltapsi\; angle$, or equivalently, $W\_alpha\; =\; Z\_alpha\; +\; dZ\_alpha$ to obtain

:$ds^2\; =\; frac\{langle\; delta\; psi\; vert\; delta\; psi\; angle\}\{langle\; psi\; vert\; psi\; angle\}\; -\; frac\; \{langle\; delta\; psi\; vert\; psi\; angle\; ;\; langle\; psi\; vert\; delta\; psi\; angle\}$langle psi vert psi angle}^2} or, equivalently,:

Here, index commutator notation is used, so that

:

The last form is particularly suggestive, as it emphasizes that is a Grassmannian variety, specifically, the projective plane connecting the two projective points $Z\_\{alpha\}$ and . In the language of quantum mechanics, it is the superposition of two states.

=Case of "n" = 1 =

In the case of "n" = 1, this metric reduces to the ordinary metric on $mathbb\{C\}P^1=mathbb\{C\}cupinfty\; =\; S^2$,

:$ds^2=\; frac\{dz\; ;\; doverline\{z$ {left(1+zoverline z ight)^2}= frac{dx^2+dy^2}{ left(1+r^2 ight)^2 }= d heta^2 + sin^2 heta ,dvarphi^2

where $z=Z\_1/Z\_2\; =\; x+iy$, and $r^2=z\; overline\{z\}\; =\; x^2+y^2$, while $heta,\; varphi$ are the usual spherical coordinates, given by projecting the sphere down to the complex plane, with $r,\; an(\; heta/2)=1$ and $an\; varphi\; =\; y/x$. That is, a single qubit is written notationally as :$|psi\; angle\; =\; cos\; heta\; ,\; |0\; angle\; +\; e^\{i\; varphi\}\; sin\; heta\; ,|1\; angle\; .$

Product metric

The common notions of separability apply for the Fubini-Study metric. More precisely, the metric is separable on the natural product of projective spaces, the Segre embedding. That is, if $vertpsi\; angle$ is a separable state, so that it can be written as $vertpsi\; angle=vertpsi\_A\; angleotimesvertpsi\_B\; angle$, then the metric is the sum of the metric on the subspaces:

:$ds^2\; =\; \{ds\_A\}^2+\{ds\_B\}^2$

where $\{ds\_A\}^2$ and $\{ds\_B\}^2$ are the metrics, respectively, on the subspaces "A" and "B".

ee also

* Non-linear sigma model
* Kaluza-Klein theory

References

*
*

External links