Estoy tratando de calcular la expectativa de valor de enredo de la entropía del sistema compuesto en un estado puro azar, pero me estoy quedando con algunos problemas.
El sistema que estamos considerando se compone de dos subsistemas $\mathcal{H} = \mathcal{H}_A \otimes \mathcal{H}_B$ con dimensiones de $N_A$$_B$. Digamos que el sistema a es el menor de los dos: $N_A \leq N_B$. Estamos considerando al azar estados puros $|\psi\rangle \in \mathcal{H}$ estos se generan de la siguiente manera:
Para la base $\{e_i\}$ $\mathcal{H}_A$ y $\{f_j\}$ de $\mathcal{H}_B$ nos van a escribir $$ |\psi\rangle = > \sum_{i=1}^{N_A}\sum_{j=1}^{N_a} \Psi_{ij} |e_i\rangle \otimes > |f_j\rangle. $$ $\Psi_{ij}$ se puede ver como las coordenadas de un punto en el ámbito de la unidad de $S^{N_AN_B-1}$$\mathbb{C}^{N_ANB}$. Así que para cada una de las $\psi$ hay un punto correspondiente en la unidad de la esfera. Es este punto, que es elegido de manera uniforme al azar.
Equivalentemente, podemos construir el azar estados como $U|\psi_\rangle$ donde U es un azar unitario de la matriz elegido con la medida de Haar.
La reducción de la matriz de densidad de Una es $\rho_A = \text{Tr}_B |\psi\rangle\langle\psi|$ correspondiente con el enredo de la entropía $S_A (\psi) = -\text{Tr} \rho_A \log \rho_A$.
Quiero calcular la expectativa de valor de $S_A$, dado por $$ \mathbb{E}(S_A) = \int_{S^{(N_AN_B-1)}} d\sigma(\psi) S_A(\psi), $$ donde $d\sigma(\psi)$ es el uniforme de la medida en el ámbito de la unidad de $S^{(N_AN_B-1)}$.
He probado dos cosas diferentes:
El uso de la descomposición Schmidt
Cada estado de la $\psi$ puede ser Schmidt descompuesto: existen ortonormales familias $\{e_1, e_2, ..., e_{N_A}\}\in \mathcal{H}_A$ $\{f_1, f_2, ..., f_{N_A}\} \in \mathcal{H}_B$ y los números reales $c_1, c_2, ..., c_{N_A} \geq 0$ $\sum_i c_i^2 = 1$ tal que $$ |\psi \rangle = \sum_{i=1}^{N_A} c_i |e_i\rangle \otimes |f_i\rangle. $$ El enredo de la entropía en este caso está dada por $ S_A (\psi) = \sum_i c_i ^2 \log c_i ^2 $.
Pensé que podría generar un estado aleatorio tomando al azar Schmidt descomposición, es decir, tomar todas las $c_i$ uniformemente con $\sum_i c_i^2 = 1$, tomar una muestra aleatoria ortonormales base de $\mathcal{H}_A$ (utilizando una muestra aleatoria unitario de la matriz con la medida de Haar a generar uno de algunos fija) y una al azar ortogonales de la familia en $\mathcal{H}_B$ (de nuevo utilizando una muestra aleatoria de matriz unitaria U con la medida de Haar para generar uno, pero ya que sólo se preocupan por el $N_A$ primer collums supongo que debe de adaptarse a la medida de alguna manera de compensar este).
Me temo sin embargo que esto no es correcto: no tengo la dependencia en la elección de ortonormales las familias para el cómputo de la expectativa de valor de las integrales sobre la central unitaria de matrices acaba de ser trivial. Así que mi primera pregunta es: ¿mi "random Schmidt descompuesto estados", coincidiendo con (normal) al azar de los estados? Y si no, ¿por qué?
Usnig un uniforme de medida en el ámbito de la unidad de
Mi segundo intento (que yo no se haya completado todavía) era sólo para usar el uniforme de la medida en la unidad de la esfera, como se describe anteriormente.
El uso de este me podrían dar una densidad de probabilidad de $\rho_A = \Psi\Psi^\dagger$ y entonces yo podría escribir $\rho_A = U\Lambda U^\dagger$ U algunos unitario de la matriz y $\Lambda = \text{diag}(p_1, p_2, ..., p_{N_A})$. Entonces yo podría dar una densidad de probabilidad para $ \Lambda$ $$P(p_1, p_2, ..., p_{N_A}) = \int d\sigma (U) P(U\Lambda U^\dagger) $$ donde $d\sigma (U)$ es la medida de Haar. Pero estoy atascado un poco con esto.
Una vez que se encuentra este podría conmute la expectativa de valor como $$ \mathbb{E}(S_A) = -\int dp_1dp_2, ... dp_{N_A} P(p_1, p_2, ..., p_{N_A}) \sum_i p_i \log p_i $$
Mi segunda pregunta es Esta es una forma correcta de hacerlo? Alguien me puede ayudar con el parametrisation de $\Psi$ en términos de los ángulos de la unidad de la esfera, o con otro método para obtener el $P(p_1,...,p_{N_A})$, y tal vez alguna de las siguientes integrales?
He encontrado algo en este artículo, pero la mayoría de los pasos son un poco vagos para mí.
Si este tipo de pregunta en lugar de ser publicado en la matemática de intercambio de la pila? He vuelto a publicar por acá desde su realidad, de una cuestión técnica, las matemáticas y no hay tanto física involucrada. Should I remove it aquí?