|
| 1 | +// Toffoli gate simulation |
| 2 | +// Source: ./examples/toffoli.cpp |
| 3 | + |
| 4 | +#include <iostream> |
| 5 | + |
| 6 | +#include "qpp/qpp.h" |
| 7 | + |
| 8 | +int main() { |
| 9 | + using namespace qpp; |
| 10 | + |
| 11 | + std::cout << ">> Toffoli gate simulation\n\n"; |
| 12 | + |
| 13 | + ket psi_in = randket(8); |
| 14 | + std::cout << ">> Input state:\n"; |
| 15 | + std::cout << disp(dirac(psi_in)) << "\n\n"; |
| 16 | + |
| 17 | + /** |
| 18 | + * Toffoli gate (control control not) |
| 19 | + * |
| 20 | + * ---+--- |
| 21 | + * | |
| 22 | + * ---+--- |
| 23 | + * | |
| 24 | + * ---X--- |
| 25 | + */ |
| 26 | + ket result = apply(psi_in, gt.TOF, {0, 1, 2}); |
| 27 | + std::cout << ">> Toffoli gate output state:\n"; |
| 28 | + std::cout << disp(dirac(result)) << "\n\n"; |
| 29 | + |
| 30 | + /** |
| 31 | + * Toffoli with T and CNOT |
| 32 | + * |
| 33 | + * -------------+-------------+-----+---T---+-- |
| 34 | + * | | | | |
| 35 | + * -----+-------------+----------T--X--T_d--X-- |
| 36 | + * | | | | |
| 37 | + * --H--X--T_d--X--T--X--T_d--X--T--H---------- |
| 38 | + */ |
| 39 | + result = apply(psi_in, gt.H, {2}); |
| 40 | + result = applyCTRL(result, gt.X, {1}, {2}); |
| 41 | + result = apply(result, adjoint(gt.T), {2}); |
| 42 | + result = applyCTRL(result, gt.X, {0}, {2}); |
| 43 | + result = apply(result, gt.T, {2}); |
| 44 | + result = applyCTRL(result, gt.X, {1}, {2}); |
| 45 | + result = apply(result, adjoint(gt.T), {2}); |
| 46 | + result = applyCTRL(result, gt.X, {0}, {2}); |
| 47 | + result = apply(result, gt.T, {1}); |
| 48 | + result = apply(result, gt.T, {2}); |
| 49 | + result = applyCTRL(result, gt.X, {0}, {1}); |
| 50 | + result = apply(result, gt.T, {0}); |
| 51 | + result = apply(result, adjoint(gt.T), {1}); |
| 52 | + result = apply(result, gt.H, {2}); |
| 53 | + result = applyCTRL(result, gt.X, {0}, {1}); |
| 54 | + std::cout << ">> Toffoli with T and CNOT output state:\n"; |
| 55 | + std::cout << disp(dirac(result)) << "\n\n"; |
| 56 | + |
| 57 | + /** |
| 58 | + * Sleator Weinfurter construction |
| 59 | + * V * V = X |
| 60 | + * |
| 61 | + * -----+-------+---+--- |
| 62 | + * | | | |
| 63 | + * --+--X---+---X------- |
| 64 | + * | | | |
| 65 | + * --V-----V_d------V--- |
| 66 | + */ |
| 67 | + cmat sqrtx{cmat::Zero(2, 2)}; |
| 68 | + sqrtx << 0.5 + 0.5 * 1_i, 0.5 - 0.5 * 1_i, 0.5 - 0.5 * 1_i, 0.5 + 0.5 * 1_i; |
| 69 | + result = applyCTRL(psi_in, sqrtx, {1}, {2}); |
| 70 | + result = applyCTRL(result, gt.X, {0}, {1}); |
| 71 | + result = applyCTRL(result, adjoint(sqrtx), {1}, {2}); |
| 72 | + result = applyCTRL(result, gt.X, {0}, {1}); |
| 73 | + result = applyCTRL(result, sqrtx, {0}, {2}); |
| 74 | + std::cout |
| 75 | + << ">> Barenco et. al. [quant-ph/9503016] construction output state:\n"; |
| 76 | + std::cout << disp(dirac(result)) << "\n\n"; |
| 77 | +} |
0 commit comments