Operación IncByLEUsingAddLE

Nombre completo: Std.Arithmetic.IncByLEUsingAddLE

operation IncByLEUsingAddLE(forwardAdder : ((Qubit[], Qubit[], Qubit[]) => Unit is Adj), backwardAdder : ((Qubit[], Qubit[], Qubit[]) => Unit is Adj), xs : Qubit[], ys : Qubit[]) : Unit is Adj + Ctl

Resumen

Operación genérica para convertir dos complementos out-place en un complemento local

Descripción

Esta implementación permite especificar dos agregadores distintos para la dirección hacia delante y hacia atrás. El agregador hacia delante siempre se aplica en su variante de cuerpo, mientras que el agregador hacia atrás siempre se aplica en su variante adyacente. Por lo tanto, es posible, por ejemplo, usar el complemento ondulado en dirección hacia atrás para no requerir puertas T.

La variante controlada también está optimizada de forma que todo, pero los agregadores se controlan,

Referencia

• arXiv:2012.01624 "Agregadores de lookahead de bloque cuántico y la espera de estados mágicos", Craig Gidney.