Qual é a complexidade computacional da otimização de várias funções sobre o grupo unitário ?
Uma tarefa típica, surgindo muitas vezes em teoria da informação quântica, seria maximizar a quantidade do tipo (ou polinômios de ordem superior em ) sobre todo unitário matrizes . Esse tipo de otimização é eficiente (talvez aproximadamente) computável ou é difícil para o NP? (talvez isso seja bem conhecido, mas não consegui encontrar nenhuma referência geral)
cc.complexity-theory
reference-request
optimization
quantum-information
Marcin Kotowski
fonte
fonte
Respostas:
Desculpe estou atrasado! Na teoria da computação quântica, existem muitos exemplos de problemas de otimização no grupo unitário que, surpreendentemente (pelo menos para mim), são solucionáveis no tempo polinomial (clássico) por redução à programação semidefinida.
Aqui estava um exemplo inicial: resolver um problema meu de 2000, em 2003 , Barnum, Saks e Szegedy mostrou que Q (f), a complexidade quântica de consultas de uma função booleana f: {0,1} n → {0,1 }, pode ser calculado no polinômio do tempo em 2 n (ou seja, o tamanho da tabela verdade de f). Eu tinha pensado nisso, mas não conseguia ver como fazê-lo, pois é preciso otimizar a probabilidade de sucesso em todos os algoritmos de consulta quântica possíveis, cada um com seu próprio conjunto de matrizes unitárias (possivelmente com 2 n ). Barnum et al. reduzido a SDP explorando uma "dualidade" entre matrizes unitárias e matrizes semidefinidas positivas, o chamado isomorfismo de Choi-Jamiolkowski. Para um SDP mais recente e mais simples que caracteriza Q (f), consulte o artigo de Reichardt de 2010, mostrando que o método adversário de peso negativo é ideal.
Outro caso importante em que esse truque foi explorado está nos sistemas quânticos de prova interativa. Embora não seja intuitivamente óbvio, em 2000, Kitaev e Watrous provaram o QIP ⊆ EXP. reduzindo o problema de otimizar as matrizes unitárias de tamanho exponencial que surgem em um sistema de prova interativa quântica de três rodadas, para resolver um SDP de tamanho único exponencial (novamente, eu acho, usando o isomorfismo de Choi-Jamiolkowski entre estados mistos e matrizes unitárias). A recente inovação de QIP = PSPACE veio de mostrar que esse SDP em particular poderia ser resolvido aproximadamente melhor ainda, em NC (ou seja, por circuitos de profundidade de registro).
Portanto, qualquer que seja o seu problema específico de otimização que envolva o grupo unitário, meu palpite é que ele pode ser resolvido mais rapidamente do que você pensa - se não de uma maneira ainda mais simples, por redução ao SDP!
fonte
Determinar se duas matrizes Hadamard são equivalentes é um problema completo de Isomorfismo de Gráfico (IG). Brendon McKay tem um artigo sobre este tópico. Ver BD McKay, equivalência de Hadamard via isomorfismo gráfico, Discrete Mathematics, 27 (1979) 213-216.
fonte