Perspectivas Teóricas e Experimentais da Verificação Quântica

Nesta perspectiva, discutimos a verificação de dispositivos quânticos no contexto de exemplos específicos formulados como experimentos propostos. Nosso primeiro exemplo é a verificação de simuladores quânticos analógicos como aprendizado Hamiltoniano, onde o Hamiltoniano de entrada, como objetivo de design, é comparado com o Hamiltoniano pai para os estados quânticos preparados no dispositivo. O segundo exemplo discute a verificação entre dispositivos no nível quântico (ou seja, comparando estados quânticos preparados em diferentes dispositivos quânticos). Focamos particularmente em protocolos que utilizam medições aleatórias e propomos o estabelecimento de um repositório central de dados, onde dispositivos e plataformas experimentais existentes podem ser comparados. Em nosso exemplo final, abordamos a verificação da saída de um dispositivo quântico a partir de uma perspectiva de ciência da computação, tratando da questão de como um usuário de um processador quântico pode ter certeza da correção de sua saída, e propomos demonstrações mínimas em dispositivos atuais.