Science workflow

Quantum Computing

Quantum state modeling via Linear Types

Back to Science Hub Inspect proof discipline

Quantum Chemistry: VQE Optimization

Adjust shot noise to see how Sounio tracks execution variance and aborts expensive quantum loops when NISQ hardware noise corrupts the optimizer landscape.

Increase measurement error to simulate noisy intermediate-scale quantum (NISQ) hardware.

Measured Optimization Path
Ideal Ground State Trajectory
Divergence Halt Trigger
Target Ground State
Sounio WASM Runtime

Quantum Computing with Sounio

Sounio enforces the no-cloning theorem of quantum mechanics at compile time via linear types: a Qubit is a linear resource that must be consumed exactly once. Attempting to copy it produces a compile error.

Linear Types for Quantum States

// A Qubit cannot be cloned.
// standard quantum gates (H, X, Y, Z, CNOT) consume and return Qubits.

fn apply_hadamard(q: Qubit) -> Qubit {
    // apply H gate ...
}

struct QubitPair { fst: Qubit, snd: Qubit }

fn apply_cnot_pair(control: Qubit, target: Qubit) -> QubitPair {
    // apply CNOT gate ...
}

fn bell_state() -> QubitPair {
    let q1 = allocate_qubit()
    let q2 = allocate_qubit()

    let h1 = apply_hadamard(q1)
    let pair = apply_cnot_pair(h1, q2)

    pair
}