lift-quantum 0.4.4

LIFT compiler quantum dialect: qubits (linear types), quantum gates, noise attributes, layout mapping
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

use serde::{Deserialize, Serialize};

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub enum QuantumType {
    Qubit,
    PhysicalQubit {
        id: usize,
        t1_us: f64,
        t2_us: f64,
        freq_ghz: f64,
        fidelity: f64,
    },
    ClassicalBit,
    QuantumState {
        dimension: usize,
        representation: StateRepr,
    },
    Hamiltonian {
        num_qubits: usize,
    },
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
pub enum StateRepr {
    StateVector,
    DensityMatrix,
    MPS,
    Stabiliser,
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct PauliTerm {
    pub coeff: f64,
    pub ops: Vec<PauliOp>,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
pub enum PauliOp {
    I,
    X,
    Y,
    Z,
}

impl QuantumType {
    pub fn is_linear(&self) -> bool {
        matches!(self, QuantumType::Qubit | QuantumType::PhysicalQubit { .. })
    }
}