ticit 0.2.0

Fast simulation of near-Clifford quantum circuits.
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

# 85-qubit logical magic state distillation circuit ([17,1,5] color code).
# Z-basis measurement variant for performance benchmarking.
#
# Extracted from the tsim demo notebook:
#   https://github.com/QuEraComputing/tsim/blob/main/docs/demos/magic_state_distillation.ipynb
# Generated with tsim.utils.encoder.ColorEncoder5 (bloqade-tsim 0.1.1).
#
# Reference: Rodriguez et al., "Experimental demonstration of logical
# magic state distillation", Nature (2025).
# https://doi.org/10.1038/s41586-025-09367-3
R 7 24 41 58 75
R_X(-0.3040867239846964) 7 24 41 58 75
T_DAG 7 24 41 58 75
DEPOLARIZE1(0.05) 7 24 41 58 75
R 0 17 34 51 68 1 18 35 52 69 2 19 36 53 70 3 20 37 54 71 4 21 38 55 72 5 22 39 56 73 6 23 40 57 74 8 25 42 59 76 9 26 43 60 77 10 27 44 61 78 11 28 45 62 79 12 29 46 63 80 13 30 47 64 81 14 31 48 65 82 15 32 49 66 83 16 33 50 67 84
SQRT_Y 0 17 34 51 68 1 18 35 52 69 2 19 36 53 70 3 20 37 54 71 4 21 38 55 72 5 22 39 56 73 6 23 40 57 74 8 25 42 59 76 9 26 43 60 77 10 27 44 61 78 11 28 45 62 79 12 29 46 63 80 13 30 47 64 81 14 31 48 65 82 15 32 49 66 83 16 33 50 67 84
TICK
CZ 1 3 18 20 35 37 52 54 69 71 7 10 24 27 41 44 58 61 75 78 12 14 29 31 46 48 63 65 80 82 13 16 30 33 47 50 64 67 81 84
TICK
SQRT_Y_DAG 7 24 41 58 75 16 33 50 67 84
TICK
CZ 4 7 21 24 38 41 55 58 72 75 8 10 25 27 42 44 59 61 76 78 11 14 28 31 45 48 62 65 79 82 15 16 32 33 49 50 66 67 83 84
TICK
SQRT_Y_DAG 4 21 38 55 72 10 27 44 61 78 14 31 48 65 82 16 33 50 67 84
TICK
CZ 2 4 19 21 36 38 53 55 70 72 6 8 23 25 40 42 57 59 74 76 7 9 24 26 41 43 58 60 75 77 10 13 27 30 44 47 61 64 78 81 14 16 31 33 48 50 65 67 82 84
TICK
SQRT_Y 3 20 37 54 71 6 23 40 57 74 9 26 43 60 77 10 27 44 61 78 12 29 46 63 80 13 30 47 64 81
TICK
CZ 0 2 17 19 34 36 51 53 68 70 3 6 20 23 37 40 54 57 71 74 5 8 22 25 39 42 56 59 73 76 10 12 27 29 44 46 61 63 78 80 11 13 28 30 45 47 62 64 79 81
TICK
SQRT_Y 1 18 35 52 69 2 19 36 53 70 3 20 37 54 71 4 21 38 55 72 6 23 40 57 74 7 24 41 58 75 8 25 42 59 76 9 26 43 60 77 11 28 45 62 79 12 29 46 63 80 14 31 48 65 82
TICK
CZ 0 1 17 18 34 35 51 52 68 69 2 3 19 20 36 37 53 54 70 71 4 5 21 22 38 39 55 56 72 73 6 7 23 24 40 41 57 58 74 75 8 9 25 26 42 43 59 60 76 77 12 15 29 32 46 49 63 66 80 83
TICK
SQRT_Y_DAG 0 17 34 51 68 2 19 36 53 70 5 22 39 56 73 6 23 40 57 74 8 25 42 59 76 10 27 44 61 78 12 29 46 63 80
X 14 31 48 65 82 7 24 41 58 75 5 22 39 56 73 2 19 36 53 70 1 18 35 52 69 4 21 38 55 72
Z 11 28 45 62 79 6 23 40 57 74 4 21 38 55 72 2 19 36 53 70
SQRT_X 0 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 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84
DEPOLARIZE1(0.01) 0 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 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84
CZ 0 17 1 18 2 19 3 20 4 21 5 22 6 23 7 24 8 25 9 26 10 27 11 28 12 29 13 30 14 31 15 32 16 33 34 51 35 52 36 53 37 54 38 55 39 56 40 57 41 58 42 59 43 60 44 61 45 62 46 63 47 64 48 65 49 66 50 67
DEPOLARIZE2(0.01) 0 17 1 18 2 19 3 20 4 21 5 22 6 23 7 24 8 25 9 26 10 27 11 28 12 29 13 30 14 31 15 32 16 33 34 51 35 52 36 53 37 54 38 55 39 56 40 57 41 58 42 59 43 60 44 61 45 62 46 63 47 64 48 65 49 66 50 67
SQRT_Y 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67
DEPOLARIZE1(0.01) 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67
CZ 0 34 1 35 2 36 3 37 4 38 5 39 6 40 7 41 8 42 9 43 10 44 11 45 12 46 13 47 14 48 15 49 16 50 51 68 52 69 53 70 54 71 55 72 56 73 57 74 58 75 59 76 60 77 61 78 62 79 63 80 64 81 65 82 66 83 67 84
DEPOLARIZE2(0.01) 0 34 1 35 2 36 3 37 4 38 5 39 6 40 7 41 8 42 9 43 10 44 11 45 12 46 13 47 14 48 15 49 16 50 51 68 52 69 53 70 54 71 55 72 56 73 57 74 58 75 59 76 60 77 61 78 62 79 63 80 64 81 65 82 66 83 67 84
TICK
SQRT_X_DAG 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
DEPOLARIZE1(0.01) 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
CZ 0 68 1 69 2 70 3 71 4 72 5 73 6 74 7 75 8 76 9 77 10 78 11 79 12 80 13 81 14 82 15 83 16 84
DEPOLARIZE2(0.01) 0 68 1 69 2 70 3 71 4 72 5 73 6 74 7 75 8 76 9 77 10 78 11 79 12 80 13 81 14 82 15 83 16 84
TICK
CZ 17 51 18 52 19 53 20 54 21 55 22 56 23 57 24 58 25 59 26 60 27 61 28 62 29 63 30 64 31 65 32 66 33 67
DEPOLARIZE2(0.01) 17 51 18 52 19 53 20 54 21 55 22 56 23 57 24 58 25 59 26 60 27 61 28 62 29 63 30 64 31 65 32 66 33 67
TICK
SQRT_X_DAG 0 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
DEPOLARIZE1(0.01) 0 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
M 0 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
DETECTOR rec[-85] rec[-84] rec[-83] rec[-82]
DETECTOR rec[-85] rec[-83] rec[-81] rec[-80]
DETECTOR rec[-81] rec[-80] rec[-79] rec[-78]
DETECTOR rec[-79] rec[-78] rec[-77] rec[-76]
DETECTOR rec[-74] rec[-72] rec[-71] rec[-69]
DETECTOR rec[-75] rec[-74] rec[-73] rec[-71]
DETECTOR rec[-73] rec[-71] rec[-70] rec[-69]
DETECTOR rec[-83] rec[-82] rec[-80] rec[-79] rec[-77] rec[-75] rec[-74] rec[-72]
DETECTOR rec[-68] rec[-67] rec[-66] rec[-65]
DETECTOR rec[-68] rec[-66] rec[-64] rec[-63]
DETECTOR rec[-64] rec[-63] rec[-62] rec[-61]
DETECTOR rec[-62] rec[-61] rec[-60] rec[-59]
DETECTOR rec[-57] rec[-55] rec[-54] rec[-52]
DETECTOR rec[-58] rec[-57] rec[-56] rec[-54]
DETECTOR rec[-56] rec[-54] rec[-53] rec[-52]
DETECTOR rec[-66] rec[-65] rec[-63] rec[-62] rec[-60] rec[-58] rec[-57] rec[-55]
DETECTOR rec[-51] rec[-50] rec[-49] rec[-48]
DETECTOR rec[-51] rec[-49] rec[-47] rec[-46]
DETECTOR rec[-47] rec[-46] rec[-45] rec[-44]
DETECTOR rec[-45] rec[-44] rec[-43] rec[-42]
DETECTOR rec[-40] rec[-38] rec[-37] rec[-35]
DETECTOR rec[-41] rec[-40] rec[-39] rec[-37]
DETECTOR rec[-39] rec[-37] rec[-36] rec[-35]
DETECTOR rec[-49] rec[-48] rec[-46] rec[-45] rec[-43] rec[-41] rec[-40] rec[-38]
DETECTOR rec[-34] rec[-33] rec[-32] rec[-31]
DETECTOR rec[-34] rec[-32] rec[-30] rec[-29]
DETECTOR rec[-30] rec[-29] rec[-28] rec[-27]
DETECTOR rec[-28] rec[-27] rec[-26] rec[-25]
DETECTOR rec[-23] rec[-21] rec[-20] rec[-18]
DETECTOR rec[-24] rec[-23] rec[-22] rec[-20]
DETECTOR rec[-22] rec[-20] rec[-19] rec[-18]
DETECTOR rec[-32] rec[-31] rec[-29] rec[-28] rec[-26] rec[-24] rec[-23] rec[-21]
DETECTOR rec[-17] rec[-16] rec[-15] rec[-14]
DETECTOR rec[-17] rec[-15] rec[-13] rec[-12]
DETECTOR rec[-13] rec[-12] rec[-11] rec[-10]
DETECTOR rec[-11] rec[-10] rec[-9] rec[-8]
DETECTOR rec[-6] rec[-4] rec[-3] rec[-1]
DETECTOR rec[-7] rec[-6] rec[-5] rec[-3]
DETECTOR rec[-5] rec[-3] rec[-2] rec[-1]
DETECTOR rec[-15] rec[-14] rec[-12] rec[-11] rec[-9] rec[-7] rec[-6] rec[-4]
OBSERVABLE_INCLUDE(0) rec[-84] rec[-82] rec[-75] rec[-73] rec[-70]
OBSERVABLE_INCLUDE(1) rec[-67] rec[-65] rec[-58] rec[-56] rec[-53]
OBSERVABLE_INCLUDE(2) rec[-50] rec[-48] rec[-41] rec[-39] rec[-36]
OBSERVABLE_INCLUDE(3) rec[-33] rec[-31] rec[-24] rec[-22] rec[-19]
OBSERVABLE_INCLUDE(4) rec[-16] rec[-14] rec[-7] rec[-5] rec[-2]