Estimativa da fase quântica e algoritmo HHL - conhecimento dos valores próprios necessários?

O algoritmo de estimativa de fase do quantum (QPE) calcula uma aproximação do valor próprio associado a um dado vector próprio de um portão quântico $U$ .

Formalmente, vamos $\left|\psi\right>$ ser um autovetor de $U$ , QPE nos permite encontrar $\vert\tilde\theta\rangle$ , o melhor $m$ bits de aproximação $\lfloor2^m\theta\rfloor$ tais que $\theta \in [0,1)$ e

$$U\vert\psi\rangle = e^{2\pi i \theta} \vert\psi\rangle.$$

O algoritmo HHL ( artigo original ) assume como entrada uma matriz $A$ que satisfaz

$$e^{iAt} \text{ is unitary }$$ e um estado quântico $\vert b \rangle$ e calcula $\vert x \rangle$ que codifica a solução do sistema linear $Ax = b$ .

Observação : Cada matriz transposta conjugada statisfy a condição em $A$ .

Para fazer isso, o algoritmo HHL usa o QPE na porta quântica representada por $U = e^{iAt}$ . Graças aos resultados de álgebra linear, sabemos que, se $\left\{\lambda_j\right\}_j$ são os valores próprios de $A$ , em seguida, $\left\{e^{i\lambda_j t}\right\}_j$ são os valores próprios de $U$ . Esse resultado também é afirmado nos algoritmos de sistemas lineares quânticos: um primer (Dervovic, Herbster, Mountney, Severini, Usher & Wossnig, 2018) (página 29, entre as equações 68 e 69).

Com a ajuda de QPE, o primeiro passo do algoritmo HLL vai tentar estimar , tal que e i 2 ¸ q = e i λ j t . Isso nos leva à equação 2 π θ = λ j t + 2 k π $\theta \in [0,1)$$e^{i2\pi \theta} = e^{i\lambda_j t}$ ie θ = λ j

$$2\pi \theta = \lambda_j t + 2k\pi, \qquad k\in \mathbb{Z}, \ \theta \in [0,1)$$ Analisando um pouco as implicações das condições k ∈ Z e θ ∈ [ 0 , 1 ) , concluí que se λ j $$\theta = \frac{\lambda_j t}{2\pi} + k, \qquad k\in \mathbb{Z}, \ \theta \in [0,1)$$ $k\in \mathbb{Z}$$\theta \in [0,1)$(ou seja,k≠0), o algoritmo de estimativa de fase falha em prever o valor próprio correto.$\frac{\lambda_j t}{2\pi} \notin [0,1)$$k \neq 0$

Porém, como pode ser qualquer matriz eremita, podemos escolher livremente seus autovalores e, particularmente, poderíamos escolher autovalores arbitrariamente grandes para A, de modo que o QPE falhe ( λ j$A$$A$).$\frac{\lambda_j t}{2\pi} \notin [0,1)$

No Projeto de Circuitos Quânticos para Resolução de Sistemas Lineares de Equações (Cao, Daskin, Frankel & Kais, 2012), eles resolvem esse problema simulando , sabendo que os autovalores deAsão{1,2,4,8}. Elesnormalizadosda matriz (e os seus valores próprios) para evitar o caso ondeλj$e^{\frac{iAt}{16}}$$A$$\left\{ 1, 2, 4, 8 \right\}$.$\frac{\lambda_j t}{2\pi} \notin [0,1)$

Por outro lado, parece que o parâmetro poderia ser usado para fazer essa normalização.$t$

$A$$\frac{\lambda_j t}{2\pi} \in [0,1)$

$A$$t$$\lambda t$$2\pi$$A$$N$$Q$

min i a i i - ∑ j ≠ i | a i j | ≥-NQ. a i j

$$\max_i a_{ii}+\sum_{j\neq i}|a_{ij}|\leq NQ,$$ $$\min_ia_{ii}-\sum_{j\neq i}|a_{ij}|\geq -NQ.$$ $a_{ij}$$A$

Dentro dos valores de , , se você estiver preocupado com uma matriz grande (por exemplo, qubits), enquanto a soma da linha pode ser fácil de calcular (porque não há muitas entradas), o máximo de todas as linhas pode demorar tempo (porque há linhas), haverá várias maneiras de obter boas aproximações (por exemplo, amostragem ou uso do conhecimento da estrutura do problema). Na pior das hipóteses, você provavelmente pode usar a pesquisa de Grover para acelerar um pouco.Q n 2 $N$$Q$$n$$2^n$