A majorization relation for a sum of two tensor products of positive semidefinite operators

Resumo Técnico: Uma Relação de Majorização para uma Soma de Dois Produtos Tensoriais de Operadores Semidefinidos Positivos

Enunciado do Problema
O artigo aborda o problema de estabelecer relações de majoração para somas de produtos tensoriais de operadores semidefinidos positivos (PSD). Especificamente, investiga-se se o vetor de autovalores de uma soma de dois produtos tensoriais, $\bigotimes_{i=1}^n A_i + \bigotimes_{i=1}^n B_i$, é majorado pelo produto tensorial das somas de seus vetores de autovalores individuais, $\bigotimes_{i=1}^n \lambda(A_i) + \bigotimes_{i=1}^n \lambda(B_i)$.

Embora o caso para $n=1$ seja uma reiteração conhecida da relação de majoração de Ky Fan, e o caso para $n=2$ tenha sido abordado anteriormente usando programação linear (Ref. [2]), a extensão para um $n$ geral permaneceu não resolvida. Os autores observam que a técnica de prova utilizada para $n=2$ na Ref. [2] falha ao se generalizar para $n > 2$, especificamente em relação à prova da Proposição 4.2 naquela referência. Além disso, o artigo questiona se tal relação se mantém para somas de três ou mais produtos tensoriais ou para produtos tensoriais envolvendo três ou mais fatores em uma soma de três ou mais termos.

Metodologia
Os autores empregam uma abordagem de programação linear combinada com argumentos combinatórios sobre conjuntos parcialmente ordenados. A metodologia procede em três estágios principais:

1. Redução a Projetores: Os autores reduzem a desigualdade geral de autovalores (Teorema 1.1) a um problema envolvendo somas de projetores ortogonais. Ao utilizar a linearidade do traço e as propriedades das normas de Ky Fan ($\sigma_k$), eles mostram que provar a relação de majoração é equivalente a provar que o valor ótimo de um programa linear específico para a soma de produtos tensoriais é limitado pelo valor ótimo para uma versão "diagonalizada". Isso reduz o problema à comparação de termos de alinhamento envolvendo projetores sobre subespaços gerados por autovetores correspondentes aos maiores autovalores.

2. Análise Combinatória de Conjuntos Descendentes: O cerne da prova reside na estrutura das bases de produto tensorial. Os autores definem conjuntos de índices $\Omega(A)$ e $\Omega(B)$ correspondentes aos espaços próprios dos maiores autovalores. Devido à ordem do produto dos autovalores em produtos tensoriais de operadores PSD, esses conjuntos de índices são "descendentes" (downward-closed) no produto cartesiano dos conjuntos de índices $\prod_{i=1}^n [d_i]$.

3. Limites de Interseção via Álgebra Linear e Permutações: Para estabelecer a majoração, os autores provam um lema geométrico fundamental (Teorema 1.2) referente à interseção de subespaços gerados por duas bases de produto tensorial restritas a conjuntos descendentes.

   • Eles utilizam um resultado referente a bandeiras completas (Lema 3.1) para alinhar duas bases de produto tensorial arbitrárias com uma base de referência comum via permutações.
   • Eles provam uma proposição combinatória (Proposição 3.2) afirmando que o tamanho da interseção de um conjunto descendente e um conjunto ascendente localmente permutado é limitado inferiormente pela interseção dos conjuntos originais.
   • Combinando estes, eles derivam um limite inferior para a dimensão da interseção do suporte de um projetor e do núcleo de outro (Proposição 3.3).
   • Finalmente, aplicam um lema (Lema 3.4) que relaciona dimensões de interseção de subespaços com a distribuição de autovalores da soma de dois projetores, mostrando que os autovalores da soma dos projetores arbitrários são majorados pelos autovalores da soma dos projetores "padrão" (que correspondem ao lado direito da desigualdade).

Principais Contribuições e Resultados

• Teorema 1.1: O resultado primário é a prova de que, para quaisquer inteiros positivos $d_1, \dots, d_n$ e operadores PSD $A_i, B_i$ atuando em $\mathbb{C}^{d_i}$, a seguinte majoração ocorre:
  $$\lambda\left( \bigotimes_{i=1}^n A_i + \bigotimes_{i=1}^n B_i \right) \preceq \bigotimes_{i=1}^n \lambda(A_i) + \bigotimes_{i=1}^n \lambda(B_i)$$
  Isso implica desigualdades correspondentes para funções côncavas invariantes por unidade, como a entropia quântica, para misturas convexas de operadores de densidade sujeitas a restrições de produto tensorial.

• Teorema 1.2: Um resultado técnico mais geral é estabelecido em relação à majoração de somas de projetores definidos em conjuntos descendentes em espaços de produto tensorial. Este teorema serve como o motor para o resultado principal e generaliza os limites de programação linear usados no caso $n=2$.

• Contraexemplo para Generalização: O artigo demonstra que a relação não se generaliza para somas de três ou mais produtos tensoriais quando $n \ge 3$. O Exemplo 4.1 fornece um contraexemplo específico em $\mathbb{C}^2$ envolvendo três somandos, mostrando que a soma dos 3 maiores autovalores do operador soma excede a soma dos 3 maiores coeficientes do respectivo somatório de autovalores por pelo menos 0.03.

Significância e Alegações
Os autores enquadram a descoberta como uma adição significativa à classe relativamente rara de relações de majoração, que são ferramentas poderosas para provar desigualdades na teoria da informação quântica. O trabalho resolve especificamente a lacuna deixada pela literatura anterior em relação ao caso $n > 2$ para somas de dois produtos tensoriais.

O artigo afirma que este resultado implica desigualdades de entropia quântica para misturas convexas de operadores de densidade sob restrições de produto tensorial. No entanto, os autores mantêm-se modestos quanto ao escopo do resultado, declarando explicitamente que a relação falha para somas de três ou mais termos e observando que o caso de $n=2$ com $m \ge 3$ somandos permanece como uma questão em aberto. O trabalho não propõe novos arranjos experimentais ou aplicações além das implicações teóricas para desigualdades de entropia e a estrutura matemática da majoração de operadores.