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

//! Typed errors for the stabilizer-frame engine.

/// Errors returned by [`TableauSimulator`](crate::tableau_simulator::TableauSimulator) operations.
///
/// Every variant models a condition the caller can provoke and reasonably
/// handle; internal invariants (a decomposed net phase that is not real, a
/// partner label missing from the amplitude map) are enforced with
/// `debug_assert!` rather than surfaced here.
#[derive(Debug, Clone, PartialEq, thiserror::Error)]
#[non_exhaustive]
pub enum SimError {
    /// A probability was NaN or outside the inclusive unit interval.
    #[error("probability {0} must be between 0 and 1")]
    InvalidProbability(f64),

    /// A categorical channel had mismatched alternatives or total mass above one.
    #[error("invalid Pauli channel probability distribution")]
    InvalidProbabilityDistribution,

    /// A Pauli rotation angle was not finite.
    #[error("Pauli rotation angle {0} must be finite")]
    InvalidRotationAngle(f64),

    /// Pruning removed every amplitude and would produce a zero state.
    #[error("prune epsilon {epsilon} removed every amplitude")]
    EmptyStateAfterPruning {
        /// The pruning threshold that erased the state.
        epsilon: f64,
    },

    /// A Pauli rotation or measurement pushed the live-label count past the cap.
    ///
    /// Stabilizer rank grows by at most a factor of two per `T`, so this bounds
    /// the exponential blow-up of magic-heavy circuits.
    #[error("stabilizer rank {rank} exceeds cap {cap}")]
    RankOverflow {
        /// Live-label count that triggered the overflow.
        rank: usize,
        /// The live-label ceiling in force.
        cap: usize,
    },

    /// A forced measurement outcome has (numerically) zero probability, so the
    /// requested post-selection is unreachable from the current state.
    #[error("cannot post-select outcome {outcome} with probability {probability:e}")]
    PostselectImpossible {
        /// The requested (impossible) outcome.
        outcome: bool,
        /// Probability the engine computed for it.
        probability: f64,
    },

    /// A multi-qubit gate or Clifford support received one qubit more than once.
    #[error("gate received repeated qubit index {0}")]
    RepeatedQubit(usize),

    /// A controlled-Pauli operation requires commuting control and target axes.
    #[error("controlled-Pauli control and target must commute")]
    NonCommutingControlledPaulis,

    /// A controlled Pauli carries a sign or phase this API does not represent:
    /// conditioning on `−P` is a different operation, not a global phase.
    #[error("controlled-Pauli axes must be positive Hermitian Paulis")]
    InvalidControlledPauli,

    /// A measurement or rotation axis has an imaginary coefficient, so it is not
    /// an observable.
    #[error("measurement and rotation axes must be Hermitian Paulis")]
    NonHermitianPauli,

    /// A batched conditional Pauli named a measurement its own batch has not
    /// produced. Records are indexed from the start of the batch, so this is a
    /// malformed instruction stream rather than a state the run reached.
    #[error("conditional Pauli reads batch record {index}, which the batch has not produced")]
    MissingBatchRecord {
        /// The out-of-range record index.
        index: usize,
    },

    /// A read-only observable names a qubit outside the live register.
    #[error("observable qubit index {index} is outside a {num_qubits}-qubit register")]
    QubitIndexOutOfRange {
        /// Largest out-of-range support index.
        index: usize,
        /// Live simulator width.
        num_qubits: usize,
    },
}