Isospectral majorization and isoperimetric inequalities for coherent states on the Bloch sphere

Resumo Técnico: Majorização Isoespectral e Desigualdades Isoperimétricas para Estados Coerentes na Esfera de Bloch

Enunciado do Problema
O artigo aborda a otimização da função de Husimi (ou símbolo inferior) para operadores de densidade no espaço de Hilbert $P_N$ de polinômios analíticos de grau no máximo $N$, que serve como o cenário natural para estados coerentes $SU(2)$ (Bloch). Embora o trabalho seminal de Lieb e Solovej tenha estabelecido que, entre todos os operadores de densidade, os estados puros coerentes de posto 1 maximizam a integral de funções convexas da função de Husimi, essa comparação não preserva o espectro do operador. Especificamente, um operador de densidade geral $\rho$ de posto arbitrário é comparado contra um estado puro, alterando efetivamente a distribuição de autovalores de um espectro misto para um espectro puro $(1, 0, \dots, 0)$.

O problema central abordado é identificar o estado "mais clássico" dentro de uma classe espectral fixa. Isto é, para um operador de densidade $\rho$ com um conjunto prescrito de autovalores, qual estado minimiza a integral de uma função convexa de sua função de Husimi? Isso é motivado pela necessidade de quantificar "déficits de Gaussianidade" em estados quânticos e entender as características quânticas de estados mistos com propriedades espectrais específicas, analogamente aos estados de posto 1 que minimizam a incerteza.

Metodologia
O autor desenvolve um arcabouço baseado em majorização isoespectral e nas propriedades do canal de amplificação de Lieb-Solovej. A metodologia procede através das seguintes etapas:

1. Rearranjo Passivo: O artigo introduz o conceito de um rearranjo passivo $SU(2)$, denotado por $\rho^\downarrow$. Para um operador de densidade $\rho$ com autovalores $p_0 \ge p_1 \ge \dots \ge p_{r-1}$, $\rho^\downarrow$ é construído posicionando esses autovalores nos vetores da base monomial $e_n(z) = \sqrt{\binom{N}{n}} z^n$ em ordem decrescente.
2. Canal de Amplificação Esférica: O autor utiliza um canal quântico $C_{N \to M}$ (uma versão iterada do canal de Lieb-Solovej) que mapeia operadores de $P_N$ para $P_M$ ($M \ge N$). Este canal é definido via operadores de Kraus e é mostrado ser $SU(2)$-equivariante.
3. Majorização de Espectro Fixo: Um resultado técnico fundamental é a prova de que a saída do canal preserva a ordem de majorização. Especificamente, se $\rho$ é um operador de densidade, a saída do canal aplicada a $\rho$ é majorizada pela saída aplicada ao seu rearranjo passivo $\rho^\downarrow$. Isso é estabelecido analisando a ação do canal sobre operadores diagonais e utilizando o princípio do máximo de Ky Fan.
4. Limite Clássico e Convergência: Ao ressinalar a saída do canal e tomar o limite conforme a dimensão $M \to \infty$, o autor demonstra que o traço de funções convexas dos operadores ressalados converge para a integral da função convexa da função de Husimi. Isso preenche a lacuna entre a majorização de matrizes de dimensão finita e as desigualdades integrais contínuas na esfera.
5. Aplicação Isoperimétrica: Os resultados são aplicados a operadores de Toeplitz $T_\Omega$ com símbolo $1_\Omega$ (a função indicadora de um subconjunto mensurável $\Omega$ da esfera). Usando o princípio do máximo de Ky Fan, os autovalores de $T_\Omega$ são relacionados à maximização da integral da função de Husimi sobre conjuntos de medida fixa.

Principais Contribuições e Resultados

• Teorema 1.2 (Desigualdade de Lieb-Solovej Isoespectral): O artigo prova que, para qualquer operador de densidade $\rho$ em $P_N$ e qualquer função convexa $\Phi: [0, 1] \to \mathbb{R}$:
  $$\int_{\mathbb{C}} \Phi(Q_\rho(z)) \, dm(z) \le \int_{\mathbb{C}} \Phi(Q_{\rho^\downarrow}(z)) \, dm(z)$$
  onde $\rho^\downarrow$ é o rearranjo passivo de $\rho$. Isso estabelece que, dentro de uma classe espectral fixa, o estado passivo minimiza a integral convexa da função de Husimi.
• Corolário 1.3 (Entropia de Wehrl de Espectro Fixo): Ao aplicar o resultado à função côncava $\Phi(t) = -t \log t$, o artigo mostra que o estado passivo $\rho^\downarrow$ minimiza a entropia de Wehrl de Bloch entre todos os operadores de densidade com o mesmo espectro de $\rho$.
• Teorema 1.4 (Majorização de Canal): É provado que, para o canal de Lieb-Solovej $C_{N \to M}$, o estado de saída satisfaz a relação de majorização $C_{N \to M}(\rho) \prec C_{N \to M}(\rho^\downarrow)$. Este é um teorema de majorização de traço fixo para a saída do canal.
• Teorema 1.5 (Desigualdade Isoperimétrica de Ky Fan): O artigo deriva uma desigualdade isoperimétrica aguda para as normas de Ky Fan de operadores de Toeplitz. Para qualquer subconjunto mensurável $\Omega$ da esfera com medida $\alpha$, e um cap esférico $D_\alpha$ de mesma medida:
  $$\sum_{j=1}^r \lambda_j(\Omega) \le \sum_{j=1}^r \lambda_j(D_\alpha)$$
  onde $\lambda_j$ são os autovalores em ordem decrescente. O lado direito é explicitamente calculado em termos de $\alpha$ e $N$.
• Corolário 1.6 (Normas de Schatten): A desigualdade de Ky Fan implica desigualdades isoperimétricas agudas para todas as normas de matriz unitariamente invariantes, incluindo todas as normas Schatten $p$ ($0 < p \le \infty$) de $T_\Omega$.

Significância e Alegações
O artigo afirma preencher uma lacuna significativa na teoria matemática dos estados coerentes $SU(2)$ ao estender os resultados de otimização de operadores de posto 1 para operadores de densidade de posto superior com espectros fixos.

• Refinamento de Lieb-Solovej: Diferente da desigualdade original de Lieb-Solovej, que compara estados arbitrários a estados puros, este trabalho fornece um "déficit mais fino" adaptado a problemas de espectro prescrito. Ele identifica o estado passivo como o minimizador dentro de sua classe espectral, oferecendo uma compreensão mais matizada da "classicidade" de estados mistos.
• Geometria Isoperimétrica: Os resultados demonstram que os caps esfécos são os conjuntos extremais para todas as somas de Ky Fan de operadores de Toeplitz com símbolos indicadores. Isso é alcançado sem invocar a desigualdade isoperimétrica esférica clássica; em vez disso, o controle geométrico surge diretamente da majorização de espectro fixo das saídas do canal.
• Conexão com Informação Quântica: O trabalho conecta a maximização de integrais da função de Husimi ao conceito de déficits de Gaussianidade, sugerindo que estados passivos representam a configuração "mais clássica" para uma dada restrição espectral, analogamente aos estados Gaussianos em espaço de Fock.

O autor observa que, embora os resultados caracterizem os maximizadores para as normas de Ky Fan, eles não caracterizam totalmente todos os casos de igualdade para a desigualdade integral convexa geral com o mesmo detalhe que os recentes resultados de estabilidade de posto 1 (ex: Frank ou Kulikov et al.), mas fornecem os limites agudos e a estrutura identificadora (caps esféricos) para as somas de autovalores.