Desigualdades que Caracterizam Coletivamente a Relação de Majorante Catalítico

Para vetores de probabilidade x e y, a relação de majorante catalítico x precT y é definida como verdadeira quando existe um vetor de probabilidade z tal que x otimes z é majorado por y otimes z. Neste artigo, uma família infinita de funções é apresentada de modo que, sujeita a algumas restrições triviais, x precT y se e somente se fᵣ (x) < fᵣ (y) para todas as funções fᵣ na família. Um esboço de prova desse resultado é fornecido. Sabe-se que a relação de majorante catalítico fornece uma determinação de quais transformações de estados quânticos puros mantidos em conjunto são possíveis usando operações locais e comunicação clássica quando um estado adicional mantido em conjunto pode ser especificado para facilitar a transformação sem ser consumido.