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

use crate::structures::CliffordCircuit;
use crate::structures::IsometryTableau;
use crate::structures::Metric;

use super::count::isometry_count_synthesis;
use super::depth::isometry_depth_synthesis;

use super::common::fix_phases;

pub fn isometry_synthesis(
    isometry: &IsometryTableau,
    metric: &Metric,
    niter: usize,
) -> CliffordCircuit {
    let mut result = match metric {
        Metric::COUNT => isometry_count_synthesis(isometry, niter),
        Metric::DEPTH => isometry_depth_synthesis(isometry),
    };
    fix_phases(isometry, &mut result);
    result
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::structures::{PauliLike, Tableau};

    #[test]
    fn test_phases_clifford_count() {
        for _ in 0..10 {
            let n = 10;
            let tableau = Tableau::random(n).to_isometry();
            let circuit = isometry_synthesis(&tableau, &Metric::COUNT, 1);
            let mut simulated = IsometryTableau::new(n, 0);
            simulated.conjugate_with_circuit(&circuit);
            assert_eq!(simulated, tableau);
        }
    }

    #[test]
    fn test_phases_clifford_depth() {
        for _ in 0..10 {
            let n = 10;
            let tableau = Tableau::random(n).to_isometry();
            let circuit = isometry_synthesis(&tableau, &Metric::DEPTH, 1);
            let mut simulated = IsometryTableau::new(n, 0);
            simulated.conjugate_with_circuit(&circuit);
            assert_eq!(simulated, tableau);
        }
    }
}