rustiq-core 0.0.11

Quantum circuit synthesis library in rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185

use crate::structures::CliffordGate;

pub type Chunk = [Option<CliffordGate>; 3];
pub const ALL_CHUNKS: [Chunk; 18] = [
    [None, None, Some(CliffordGate::CNOT(0, 1))],
    [None, None, Some(CliffordGate::CNOT(1, 0))],
    [
        None,
        Some(CliffordGate::H(1)),
        Some(CliffordGate::CNOT(0, 1)),
    ],
    [
        None,
        Some(CliffordGate::H(0)),
        Some(CliffordGate::CNOT(1, 0)),
    ],
    [
        None,
        Some(CliffordGate::S(1)),
        Some(CliffordGate::CNOT(0, 1)),
    ],
    [
        None,
        Some(CliffordGate::S(0)),
        Some(CliffordGate::CNOT(1, 0)),
    ],
    [
        Some(CliffordGate::H(0)),
        None,
        Some(CliffordGate::CNOT(0, 1)),
    ],
    [
        Some(CliffordGate::H(1)),
        None,
        Some(CliffordGate::CNOT(1, 0)),
    ],
    [
        Some(CliffordGate::H(0)),
        Some(CliffordGate::H(1)),
        Some(CliffordGate::CNOT(0, 1)),
    ],
    [
        Some(CliffordGate::H(1)),
        Some(CliffordGate::H(0)),
        Some(CliffordGate::CNOT(1, 0)),
    ],
    [
        Some(CliffordGate::H(0)),
        Some(CliffordGate::S(1)),
        Some(CliffordGate::CNOT(0, 1)),
    ],
    [
        Some(CliffordGate::H(1)),
        Some(CliffordGate::S(0)),
        Some(CliffordGate::CNOT(1, 0)),
    ],
    [
        Some(CliffordGate::SqrtX(0)),
        None,
        Some(CliffordGate::CNOT(0, 1)),
    ],
    [
        Some(CliffordGate::SqrtX(1)),
        None,
        Some(CliffordGate::CNOT(1, 0)),
    ],
    [
        Some(CliffordGate::SqrtX(0)),
        Some(CliffordGate::H(1)),
        Some(CliffordGate::CNOT(0, 1)),
    ],
    [
        Some(CliffordGate::SqrtX(1)),
        Some(CliffordGate::H(0)),
        Some(CliffordGate::CNOT(1, 0)),
    ],
    [
        Some(CliffordGate::SqrtX(0)),
        Some(CliffordGate::S(1)),
        Some(CliffordGate::CNOT(0, 1)),
    ],
    [
        Some(CliffordGate::SqrtX(1)),
        Some(CliffordGate::S(0)),
        Some(CliffordGate::CNOT(1, 0)),
    ],
];

/// For each chunk (indexed by `c = 0..18`), each qubit (indexed by `q = 0..1`),
/// and each Pauli pair (indexed by `p = 0..16`), `CHUNK_CONJUGATION_SCORE[c][q][p]`
/// is 1 iff conjugating `p` by `c` is `I` on qubit `q`.
///
/// ->: II, IX, IY, IZ, XI, XX, XY, XZ, YI, YX, YY, YZ, ZI, ZX, ZY, ZZ,
///  0: II, IX, ZY, ZZ, XX, XI, YZ, YY, YX, YI, XZ, XY, ZI, ZX, IY, IZ,
///  1: II, XX, XY, IZ, XI, IX, IY, XZ, YZ, ZY, ZX, YI, ZZ, YY, YX, ZI,
///  2: II, ZZ, ZY, IX, XX, YY, YZ, XI, YX, XY, XZ, YI, ZI, IZ, IY, ZX,
///  3: II, XX, XY, IZ, ZZ, YY, YX, ZI, YZ, ZY, ZX, YI, XI, IX, IY, XZ,
///  4: II, ZY, IX, ZZ, XX, YZ, XI, YY, YX, XZ, YI, XY, ZI, IY, ZX, IZ,
///  5: II, XX, XY, IZ, YZ, ZY, ZX, YI, XI, IX, IY, XZ, ZZ, YY, YX, ZI,
///  6: II, IX, ZY, ZZ, ZI, ZX, IY, IZ, YX, YI, XZ, XY, XX, XI, YZ, YY,
///  7: II, IZ, XY, XX, XI, XZ, IY, IX, YZ, YI, ZX, ZY, ZZ, ZI, YX, YY,
///  8: II, ZZ, ZY, IX, ZI, IZ, IY, ZX, YX, XY, XZ, YI, XX, YY, YZ, XI,
///  9: II, IZ, XY, XX, ZZ, ZI, YX, YY, YZ, YI, ZX, ZY, XI, XZ, IY, IX,
/// 10: II, ZY, IX, ZZ, ZI, IY, ZX, IZ, YX, XZ, YI, XY, XX, YZ, XI, YY,
/// 11: II, IZ, XY, XX, YZ, YI, ZX, ZY, XI, XZ, IY, IX, ZZ, ZI, YX, YY,
/// 12: II, IX, ZY, ZZ, XX, XI, YZ, YY, ZI, ZX, IY, IZ, YX, YI, XZ, XY,
/// 13: II, XX, IZ, XY, XI, IX, XZ, IY, YZ, ZY, YI, ZX, ZZ, YY, ZI, YX,
/// 14: II, ZZ, ZY, IX, XX, YY, YZ, XI, ZI, IZ, IY, ZX, YX, XY, XZ, YI,
/// 15: II, XX, IZ, XY, ZZ, YY, ZI, YX, YZ, ZY, YI, ZX, XI, IX, XZ, IY,
/// 16: II, ZY, IX, ZZ, XX, YZ, XI, YY, ZI, IY, ZX, IZ, YX, XZ, YI, XY,
/// 17: II, XX, IZ, XY, YZ, ZY, YI, ZX, XI, IX, XZ, IY, ZZ, YY, ZI, YX,
pub static CHUNK_CONJUGATION_SCORE: [[[usize; 16]; 2]; 18] = [
    [
        [1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0],
        [1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0],
    ],
    [
        [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0],
        [1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0],
    ],
    [
        [1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0],
        [1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0],
    ],
    [
        [1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0],
        [1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0],
    ],
    [
        [1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0],
        [1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1],
    ],
    [
        [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1],
        [1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0],
    ],
    [
        [1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0],
        [1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0],
    ],
    [
        [1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0],
        [1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0],
    ],
    [
        [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0],
        [1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0],
    ],
    [
        [1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0],
        [1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0],
    ],
    [
        [1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0],
        [1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1],
    ],
    [
        [1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1],
        [1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0],
    ],
    [
        [1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1],
        [1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0],
    ],
    [
        [1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0],
        [1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1],
    ],
    [
        [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1],
        [1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0],
    ],
    [
        [1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0],
        [1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1],
    ],
    [
        [1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0],
        [1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0],
    ],
    [
        [1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0],
        [1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0],
    ],
];