quantrs2_sim/

quantum_supremacy.rs

//! Quantum supremacy verification algorithms and benchmarks.
//!
//! This module implements various algorithms and statistical tests for verifying
//! quantum supremacy claims, including cross-entropy benchmarking, Porter-Thomas
//! distribution analysis, and linear cross-entropy benchmarking (Linear XEB).

use scirs2_core::ndarray::{Array1, Array2, ArrayView1};
use scirs2_core::parallel_ops::{IndexedParallelIterator, ParallelIterator};
use scirs2_core::random::prelude::*;
use scirs2_core::random::ChaCha8Rng;
use scirs2_core::random::{Rng, SeedableRng};
use scirs2_core::Complex64;
use serde::{Deserialize, Serialize};
use std::collections::HashMap;
use std::f64::consts::PI;

use crate::error::{Result, SimulatorError};
use crate::scirs2_integration::SciRS2Backend;
use crate::shot_sampling::{QuantumSampler, SamplingConfig};
use crate::statevector::StateVectorSimulator;

/// Cross-entropy benchmarking result
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct CrossEntropyResult {
    /// Linear cross-entropy benchmarking (XEB) fidelity
    pub linear_xeb_fidelity: f64,
    /// Cross-entropy difference
    pub cross_entropy_difference: f64,
    /// Number of samples used
    pub num_samples: usize,
    /// Statistical confidence (p-value)
    pub confidence: f64,
    /// Porter-Thomas test results
    pub porter_thomas: PorterThomasResult,
    /// Heavy output generation (HOG) score
    pub hog_score: f64,
    /// Computational cost comparison
    pub cost_comparison: CostComparison,
}

/// Porter-Thomas distribution analysis
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct PorterThomasResult {
    /// Chi-squared statistic
    pub chi_squared: f64,
    /// Degrees of freedom
    pub degrees_freedom: usize,
    /// P-value of the test
    pub p_value: f64,
    /// Whether distribution matches Porter-Thomas
    pub is_porter_thomas: bool,
    /// Kolmogorov-Smirnov test statistic
    pub ks_statistic: f64,
    /// Mean of the distribution
    pub mean: f64,
    /// Variance of the distribution
    pub variance: f64,
}

/// Heavy Output Generation analysis
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct HOGAnalysis {
    /// Fraction of heavy outputs
    pub heavy_fraction: f64,
    /// Expected heavy fraction for random circuit
    pub expected_heavy_fraction: f64,
    /// Threshold for heavy outputs
    pub threshold: f64,
    /// Total outputs analyzed
    pub total_outputs: usize,
    /// Heavy outputs count
    pub heavy_count: usize,
}

/// Computational cost comparison
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct CostComparison {
    /// Classical simulation time (seconds)
    pub classical_time: f64,
    /// Quantum execution time estimate (seconds)
    pub quantum_time: f64,
    /// Memory usage for classical simulation (bytes)
    pub classical_memory: usize,
    /// Speedup factor
    pub speedup_factor: f64,
    /// Number of operations
    pub operation_count: usize,
}

/// Quantum supremacy verifier
pub struct QuantumSupremacyVerifier {
    /// Number of qubits
    num_qubits: usize,
    /// Random number generator
    rng: ChaCha8Rng,
    /// `SciRS2` backend for optimization
    backend: Option<SciRS2Backend>,
    /// Verification parameters
    params: VerificationParams,
}

/// Parameters for quantum supremacy verification
#[derive(Debug, Clone)]
pub struct VerificationParams {
    /// Number of random circuits to test
    pub num_circuits: usize,
    /// Number of samples per circuit
    pub samples_per_circuit: usize,
    /// Circuit depth
    pub circuit_depth: usize,
    /// Gate set to use
    pub gate_set: GateSet,
    /// Significance level for statistical tests
    pub significance_level: f64,
    /// Porter-Thomas test bins
    pub pt_bins: usize,
    /// Heavy output threshold percentile
    pub heavy_threshold_percentile: f64,
}

/// Gate set for random circuit generation
#[derive(Debug, Clone)]
pub enum GateSet {
    /// Sycamore-like gate set (√X, √Y, √W, CZ)
    Sycamore,
    /// Google's quantum supremacy gate set
    GoogleSupremacy,
    /// Universal gate set (H, T, CNOT)
    Universal,
    /// IBM-like gate set (RZ, SX, CNOT)
    IBM,
    /// Custom gate set
    Custom(Vec<String>),
}

impl Default for VerificationParams {
    fn default() -> Self {
        Self {
            num_circuits: 100,
            samples_per_circuit: 1000,
            circuit_depth: 20,
            gate_set: GateSet::Sycamore,
            significance_level: 0.05,
            pt_bins: 100,
            heavy_threshold_percentile: 50.0,
        }
    }
}

impl QuantumSupremacyVerifier {
    /// Create new quantum supremacy verifier
    pub fn new(num_qubits: usize, params: VerificationParams) -> Result<Self> {
        Ok(Self {
            num_qubits,
            rng: ChaCha8Rng::from_rng(&mut thread_rng()),
            backend: None,
            params,
        })
    }

    /// Initialize with `SciRS2` backend
    pub fn with_scirs2_backend(mut self) -> Result<Self> {
        self.backend = Some(SciRS2Backend::new());
        Ok(self)
    }

    /// Set random seed for reproducibility
    #[must_use]
    pub fn with_seed(mut self, seed: u64) -> Self {
        self.rng = ChaCha8Rng::seed_from_u64(seed);
        self
    }

    /// Perform comprehensive quantum supremacy verification
    pub fn verify_quantum_supremacy(&mut self) -> Result<CrossEntropyResult> {
        let start_time = std::time::Instant::now();

        // Generate random quantum circuits
        let circuits = self.generate_random_circuits()?;

        // Compute ideal amplitudes (classical simulation)
        let ideal_amplitudes = self.compute_ideal_amplitudes(&circuits)?;

        // Simulate quantum sampling
        let quantum_samples = self.simulate_quantum_sampling(&circuits)?;

        // Perform cross-entropy benchmarking
        let linear_xeb = self.compute_linear_xeb(&ideal_amplitudes, &quantum_samples)?;

        // Analyze Porter-Thomas distribution
        let porter_thomas = self.analyze_porter_thomas(&ideal_amplitudes)?;

        // Compute Heavy Output Generation score
        let hog_score = self.compute_hog_score(&ideal_amplitudes, &quantum_samples)?;

        // Cross-entropy difference
        let cross_entropy_diff =
            self.compute_cross_entropy_difference(&ideal_amplitudes, &quantum_samples)?;

        // Statistical confidence
        let confidence =
            self.compute_statistical_confidence(&ideal_amplitudes, &quantum_samples)?;

        let classical_time = start_time.elapsed().as_secs_f64();

        // Cost comparison
        let cost_comparison = CostComparison {
            classical_time,
            quantum_time: self.estimate_quantum_time()?,
            classical_memory: self.estimate_classical_memory(),
            speedup_factor: classical_time / self.estimate_quantum_time()?,
            operation_count: circuits.len() * self.params.circuit_depth,
        };

        Ok(CrossEntropyResult {
            linear_xeb_fidelity: linear_xeb,
            cross_entropy_difference: cross_entropy_diff,
            num_samples: self.params.samples_per_circuit,
            confidence,
            porter_thomas,
            hog_score,
            cost_comparison,
        })
    }

    /// Generate random quantum circuits
    fn generate_random_circuits(&mut self) -> Result<Vec<RandomCircuit>> {
        let mut circuits = Vec::with_capacity(self.params.num_circuits);

        for _ in 0..self.params.num_circuits {
            let circuit = self.generate_single_random_circuit()?;
            circuits.push(circuit);
        }

        Ok(circuits)
    }

    /// Generate a single random circuit
    fn generate_single_random_circuit(&mut self) -> Result<RandomCircuit> {
        let mut layers = Vec::with_capacity(self.params.circuit_depth);

        for layer_idx in 0..self.params.circuit_depth {
            let layer = match &self.params.gate_set {
                GateSet::Sycamore => self.generate_sycamore_layer(layer_idx)?,
                GateSet::GoogleSupremacy => self.generate_google_supremacy_layer(layer_idx)?,
                GateSet::Universal => self.generate_universal_layer(layer_idx)?,
                GateSet::IBM => self.generate_ibm_layer(layer_idx)?,
                GateSet::Custom(gates) => {
                    let gates_clone = gates.clone();
                    self.generate_custom_layer(layer_idx, &gates_clone)?
                }
            };
            layers.push(layer);
        }

        Ok(RandomCircuit {
            num_qubits: self.num_qubits,
            layers,
            measurement_pattern: self.generate_measurement_pattern(),
        })
    }

    /// Generate Sycamore-style layer
    fn generate_sycamore_layer(&mut self, layer_idx: usize) -> Result<CircuitLayer> {
        let mut gates = Vec::new();

        // Single-qubit gates
        for qubit in 0..self.num_qubits {
            let gate_type = match self.rng.gen_range(0..3) {
                0 => "SqrtX",
                1 => "SqrtY",
                _ => "SqrtW",
            };

            gates.push(QuantumGate {
                gate_type: gate_type.to_string(),
                qubits: vec![qubit],
                parameters: vec![],
            });
        }

        // Two-qubit gates (CZ gates with connectivity pattern)
        let offset = layer_idx % 2;
        for row in 0..((self.num_qubits as f64).sqrt() as usize) {
            for col in (offset..((self.num_qubits as f64).sqrt() as usize)).step_by(2) {
                let qubit1 = row * ((self.num_qubits as f64).sqrt() as usize) + col;
                let qubit2 = qubit1 + 1;

                if qubit2 < self.num_qubits {
                    gates.push(QuantumGate {
                        gate_type: "CZ".to_string(),
                        qubits: vec![qubit1, qubit2],
                        parameters: vec![],
                    });
                }
            }
        }

        Ok(CircuitLayer { gates })
    }

    /// Generate Google quantum supremacy layer
    fn generate_google_supremacy_layer(&mut self, layer_idx: usize) -> Result<CircuitLayer> {
        // Similar to Sycamore but with specific gate rotations
        self.generate_sycamore_layer(layer_idx)
    }

    /// Generate universal gate set layer
    fn generate_universal_layer(&mut self, _layer_idx: usize) -> Result<CircuitLayer> {
        let mut gates = Vec::new();

        // Random single-qubit gates
        for qubit in 0..self.num_qubits {
            let gate_type = match self.rng.gen_range(0..3) {
                0 => "H",
                1 => "T",
                _ => "S",
            };

            gates.push(QuantumGate {
                gate_type: gate_type.to_string(),
                qubits: vec![qubit],
                parameters: vec![],
            });
        }

        // Random CNOT gates
        let num_cnots = self.rng.gen_range(1..=self.num_qubits / 2);
        for _ in 0..num_cnots {
            let control = self.rng.gen_range(0..self.num_qubits);
            let target = self.rng.gen_range(0..self.num_qubits);

            if control != target {
                gates.push(QuantumGate {
                    gate_type: "CNOT".to_string(),
                    qubits: vec![control, target],
                    parameters: vec![],
                });
            }
        }

        Ok(CircuitLayer { gates })
    }

    /// Generate IBM gate set layer
    fn generate_ibm_layer(&mut self, _layer_idx: usize) -> Result<CircuitLayer> {
        let mut gates = Vec::new();

        // RZ and SX gates
        for qubit in 0..self.num_qubits {
            // Random RZ rotation
            let angle = self.rng.gen::<f64>() * 2.0 * PI;
            gates.push(QuantumGate {
                gate_type: "RZ".to_string(),
                qubits: vec![qubit],
                parameters: vec![angle],
            });

            // SX gate with probability 0.5
            if self.rng.gen::<bool>() {
                gates.push(QuantumGate {
                    gate_type: "SX".to_string(),
                    qubits: vec![qubit],
                    parameters: vec![],
                });
            }
        }

        Ok(CircuitLayer { gates })
    }

    /// Generate custom gate set layer
    const fn generate_custom_layer(
        &self,
        _layer_idx: usize,
        _gates: &[String],
    ) -> Result<CircuitLayer> {
        // Implement custom gate generation
        Ok(CircuitLayer { gates: Vec::new() })
    }

    /// Generate measurement pattern
    fn generate_measurement_pattern(&self) -> Vec<usize> {
        // For now, measure all qubits in computational basis
        (0..self.num_qubits).collect()
    }

    /// Compute ideal amplitudes using classical simulation
    fn compute_ideal_amplitudes(
        &self,
        circuits: &[RandomCircuit],
    ) -> Result<Vec<Array1<Complex64>>> {
        let mut amplitudes = Vec::with_capacity(circuits.len());

        for circuit in circuits {
            let mut simulator = StateVectorSimulator::new();

            // Apply circuit layers
            for layer in &circuit.layers {
                for gate in &layer.gates {
                    self.apply_gate_to_simulator(&mut simulator, gate)?;
                }
            }

            // Get final state (placeholder - would need proper simulator integration)
            let dim = 1 << self.num_qubits;
            let state = Array1::zeros(dim);
            amplitudes.push(state);
        }

        Ok(amplitudes)
    }

    /// Apply gate to simulator
    const fn apply_gate_to_simulator(
        &self,
        _simulator: &mut StateVectorSimulator,
        _gate: &QuantumGate,
    ) -> Result<()> {
        // This would need proper integration with the state vector simulator
        // For now, placeholder implementation
        Ok(())
    }

    /// Simulate quantum sampling
    fn simulate_quantum_sampling(
        &mut self,
        circuits: &[RandomCircuit],
    ) -> Result<Vec<Vec<Vec<u8>>>> {
        let mut all_samples = Vec::with_capacity(circuits.len());

        for circuit in circuits {
            let samples = self.sample_from_circuit(circuit)?;
            all_samples.push(samples);
        }

        Ok(all_samples)
    }

    /// Sample from a single circuit
    fn sample_from_circuit(&mut self, _circuit: &RandomCircuit) -> Result<Vec<Vec<u8>>> {
        // For now, generate random samples (should use actual quantum sampling)
        let mut samples = Vec::with_capacity(self.params.samples_per_circuit);

        for _ in 0..self.params.samples_per_circuit {
            let mut sample = Vec::with_capacity(self.num_qubits);
            for _ in 0..self.num_qubits {
                sample.push(u8::from(self.rng.gen::<bool>()));
            }
            samples.push(sample);
        }

        Ok(samples)
    }

    /// Compute Linear Cross-Entropy Benchmarking (XEB) fidelity
    fn compute_linear_xeb(
        &self,
        ideal_amplitudes: &[Array1<Complex64>],
        quantum_samples: &[Vec<Vec<u8>>],
    ) -> Result<f64> {
        let mut total_fidelity = 0.0;

        for (amplitudes, samples) in ideal_amplitudes.iter().zip(quantum_samples.iter()) {
            let circuit_fidelity = self.compute_circuit_linear_xeb(amplitudes, samples)?;
            total_fidelity += circuit_fidelity;
        }

        Ok(total_fidelity / ideal_amplitudes.len() as f64)
    }

    /// Compute linear XEB for a single circuit
    fn compute_circuit_linear_xeb(
        &self,
        amplitudes: &Array1<Complex64>,
        samples: &[Vec<u8>],
    ) -> Result<f64> {
        let dim = amplitudes.len();
        let uniform_prob = 1.0 / dim as f64;

        let mut sum_probs = 0.0;

        for sample in samples {
            let bitstring_index = self.bitstring_to_index(sample);
            if bitstring_index < dim {
                let prob = amplitudes[bitstring_index].norm_sqr();
                sum_probs += prob;
            }
        }

        let mean_prob = sum_probs / samples.len() as f64;
        let linear_xeb = (mean_prob - uniform_prob) / uniform_prob;

        Ok(linear_xeb)
    }

    /// Convert bit string to state index
    fn bitstring_to_index(&self, bitstring: &[u8]) -> usize {
        let mut index = 0;
        for (i, &bit) in bitstring.iter().enumerate() {
            if bit == 1 {
                index |= 1 << (self.num_qubits - 1 - i);
            }
        }
        index
    }

    /// Analyze Porter-Thomas distribution
    fn analyze_porter_thomas(
        &self,
        ideal_amplitudes: &[Array1<Complex64>],
    ) -> Result<PorterThomasResult> {
        // Collect all probability amplitudes
        let mut all_probs = Vec::new();

        for amplitudes in ideal_amplitudes {
            for amplitude in amplitudes {
                all_probs.push(amplitude.norm_sqr());
            }
        }

        // Compute statistics
        let mean = all_probs.iter().sum::<f64>() / all_probs.len() as f64;
        let variance =
            all_probs.iter().map(|p| (p - mean).powi(2)).sum::<f64>() / all_probs.len() as f64;

        // Expected values for Porter-Thomas distribution
        let expected_mean = 1.0 / f64::from(1 << self.num_qubits);
        let expected_variance = expected_mean.powi(2);

        // Chi-squared test
        let bins = self.params.pt_bins;
        let mut observed = vec![0; bins];
        let mut expected = vec![0.0; bins];

        // Create histogram
        let max_prob = all_probs.iter().copied().fold(0.0f64, f64::max);
        for &prob in &all_probs {
            let bin = ((prob / max_prob) * (bins - 1) as f64) as usize;
            observed[bin.min(bins - 1)] += 1;
        }

        // Expected counts for Porter-Thomas
        let total_samples = all_probs.len() as f64;
        for i in 0..bins {
            let x = (i as f64 + 0.5) / bins as f64 * max_prob;
            // Porter-Thomas: p(P) = N * exp(-N*P) where N = 2^n
            let n = 1 << self.num_qubits;
            expected[i] = total_samples * f64::from(n) * (f64::from(-n) * x).exp() / bins as f64;
        }

        // Chi-squared statistic
        let mut chi_squared = 0.0;
        let mut degrees_freedom: usize = 0;

        for i in 0..bins {
            if expected[i] > 5.0 {
                // Only use bins with sufficient expected count
                chi_squared += (f64::from(observed[i]) - expected[i]).powi(2) / expected[i];
                degrees_freedom += 1;
            }
        }

        degrees_freedom = degrees_freedom.saturating_sub(1);

        // Approximate p-value (simplified)
        let p_value = self.chi_squared_p_value(chi_squared, degrees_freedom);

        // Kolmogorov-Smirnov test (simplified)
        let ks_statistic = self.kolmogorov_smirnov_test(&all_probs, expected_mean);

        Ok(PorterThomasResult {
            chi_squared,
            degrees_freedom,
            p_value,
            is_porter_thomas: p_value > self.params.significance_level,
            ks_statistic,
            mean,
            variance,
        })
    }

    /// Compute HOG (Heavy Output Generation) score
    fn compute_hog_score(
        &self,
        ideal_amplitudes: &[Array1<Complex64>],
        quantum_samples: &[Vec<Vec<u8>>],
    ) -> Result<f64> {
        let mut total_heavy_fraction = 0.0;

        for (amplitudes, samples) in ideal_amplitudes.iter().zip(quantum_samples.iter()) {
            let heavy_fraction = self.compute_circuit_hog_score(amplitudes, samples)?;
            total_heavy_fraction += heavy_fraction;
        }

        Ok(total_heavy_fraction / ideal_amplitudes.len() as f64)
    }

    /// Compute HOG score for single circuit
    fn compute_circuit_hog_score(
        &self,
        amplitudes: &Array1<Complex64>,
        samples: &[Vec<u8>],
    ) -> Result<f64> {
        // Find median probability
        let mut probs: Vec<f64> = amplitudes
            .iter()
            .map(scirs2_core::Complex::norm_sqr)
            .collect();
        probs.sort_by(|a, b| a.partial_cmp(b).unwrap_or(std::cmp::Ordering::Equal));
        let median_prob = probs[probs.len() / 2];

        // Count heavy outputs (above median)
        let mut heavy_count = 0;

        for sample in samples {
            let index = self.bitstring_to_index(sample);
            if index < amplitudes.len() {
                let prob = amplitudes[index].norm_sqr();
                if prob > median_prob {
                    heavy_count += 1;
                }
            }
        }

        Ok(f64::from(heavy_count) / samples.len() as f64)
    }

    /// Compute cross-entropy difference
    fn compute_cross_entropy_difference(
        &self,
        ideal_amplitudes: &[Array1<Complex64>],
        quantum_samples: &[Vec<Vec<u8>>],
    ) -> Result<f64> {
        let mut total_difference = 0.0;

        for (amplitudes, samples) in ideal_amplitudes.iter().zip(quantum_samples.iter()) {
            let difference = self.compute_circuit_cross_entropy(amplitudes, samples)?;
            total_difference += difference;
        }

        Ok(total_difference / ideal_amplitudes.len() as f64)
    }

    /// Compute cross-entropy for single circuit
    fn compute_circuit_cross_entropy(
        &self,
        amplitudes: &Array1<Complex64>,
        samples: &[Vec<u8>],
    ) -> Result<f64> {
        let dim = amplitudes.len();
        let uniform_entropy = (dim as f64).ln();

        let mut quantum_entropy = 0.0;
        let mut sample_counts = HashMap::new();

        // Count sample frequencies
        for sample in samples {
            *sample_counts.entry(sample.clone()).or_insert(0) += 1;
        }

        // Compute empirical entropy
        for count in sample_counts.values() {
            let prob = f64::from(*count) / samples.len() as f64;
            if prob > 0.0 {
                quantum_entropy -= prob * prob.ln();
            }
        }

        Ok(uniform_entropy - quantum_entropy)
    }

    /// Compute statistical confidence
    const fn compute_statistical_confidence(
        &self,
        _ideal_amplitudes: &[Array1<Complex64>],
        _quantum_samples: &[Vec<Vec<u8>>],
    ) -> Result<f64> {
        // Placeholder implementation
        Ok(0.95)
    }

    /// Estimate quantum execution time
    fn estimate_quantum_time(&self) -> Result<f64> {
        // Estimate based on gate count and typical gate times
        let gates_per_circuit = self.params.circuit_depth * self.num_qubits;
        let total_gates = gates_per_circuit * self.params.num_circuits;
        let gate_time = 100e-9; // 100 ns per gate
        let readout_time = 1e-6; // 1 μs readout

        Ok((total_gates as f64).mul_add(gate_time, self.params.num_circuits as f64 * readout_time))
    }

    /// Estimate classical memory usage
    const fn estimate_classical_memory(&self) -> usize {
        let state_size = (1 << self.num_qubits) * std::mem::size_of::<Complex64>();
        state_size * self.params.num_circuits
    }

    /// Simplified chi-squared p-value computation
    fn chi_squared_p_value(&self, chi_squared: f64, degrees_freedom: usize) -> f64 {
        // Very simplified approximation
        if degrees_freedom == 0 {
            return 1.0;
        }

        let expected = degrees_freedom as f64;
        if chi_squared < expected {
            0.95 // High p-value
        } else if chi_squared < 2.0 * expected {
            0.5 // Medium p-value
        } else {
            0.01 // Low p-value
        }
    }

    /// Kolmogorov-Smirnov test statistic
    fn kolmogorov_smirnov_test(&self, data: &[f64], expected_mean: f64) -> f64 {
        // Simplified implementation
        let n = data.len() as f64;
        let mut sorted_data = data.to_vec();
        sorted_data.sort_by(|a, b| a.partial_cmp(b).unwrap_or(std::cmp::Ordering::Equal));

        let mut max_diff: f64 = 0.0;

        for (i, &value) in sorted_data.iter().enumerate() {
            let empirical_cdf = (i + 1) as f64 / n;
            let theoretical_cdf = 1.0 - (-value / expected_mean).exp(); // Exponential CDF
            let diff = (empirical_cdf - theoretical_cdf).abs();
            max_diff = max_diff.max(diff);
        }

        max_diff
    }
}

/// Random quantum circuit representation
#[derive(Debug, Clone)]
pub struct RandomCircuit {
    pub num_qubits: usize,
    pub layers: Vec<CircuitLayer>,
    pub measurement_pattern: Vec<usize>,
}

/// Layer of gates in a circuit
#[derive(Debug, Clone)]
pub struct CircuitLayer {
    pub gates: Vec<QuantumGate>,
}

/// Quantum gate representation
#[derive(Debug, Clone)]
pub struct QuantumGate {
    pub gate_type: String,
    pub qubits: Vec<usize>,
    pub parameters: Vec<f64>,
}

/// Benchmark quantum supremacy verification
pub fn benchmark_quantum_supremacy(num_qubits: usize) -> Result<CrossEntropyResult> {
    let params = VerificationParams {
        num_circuits: 10,
        samples_per_circuit: 100,
        circuit_depth: 10,
        ..Default::default()
    };

    let mut verifier = QuantumSupremacyVerifier::new(num_qubits, params)?;
    verifier.verify_quantum_supremacy()
}

/// Verify specific quantum supremacy claim
pub fn verify_supremacy_claim(
    num_qubits: usize,
    circuit_depth: usize,
    experimental_data: &[Vec<u8>],
) -> Result<CrossEntropyResult> {
    let params = VerificationParams {
        num_circuits: 1,
        samples_per_circuit: experimental_data.len(),
        circuit_depth,
        ..Default::default()
    };

    let mut verifier = QuantumSupremacyVerifier::new(num_qubits, params)?;

    // This would require the actual circuit that produced the experimental data
    // For now, return a placeholder result
    Ok(CrossEntropyResult {
        linear_xeb_fidelity: 0.0,
        cross_entropy_difference: 0.0,
        num_samples: experimental_data.len(),
        confidence: 0.0,
        porter_thomas: PorterThomasResult {
            chi_squared: 0.0,
            degrees_freedom: 0,
            p_value: 0.0,
            is_porter_thomas: false,
            ks_statistic: 0.0,
            mean: 0.0,
            variance: 0.0,
        },
        hog_score: 0.0,
        cost_comparison: CostComparison {
            classical_time: 0.0,
            quantum_time: 0.0,
            classical_memory: 0,
            speedup_factor: 0.0,
            operation_count: 0,
        },
    })
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_verifier_creation() {
        let params = VerificationParams::default();
        let verifier = QuantumSupremacyVerifier::new(10, params);
        assert!(verifier.is_ok());
    }

    #[test]
    fn test_linear_xeb_calculation() {
        let mut verifier = QuantumSupremacyVerifier::new(3, VerificationParams::default())
            .expect("Failed to create verifier");

        // Create dummy data
        let amplitudes = Array1::from_vec(vec![
            Complex64::new(0.5, 0.0),
            Complex64::new(0.5, 0.0),
            Complex64::new(0.5, 0.0),
            Complex64::new(0.5, 0.0),
            Complex64::new(0.0, 0.0),
            Complex64::new(0.0, 0.0),
            Complex64::new(0.0, 0.0),
            Complex64::new(0.0, 0.0),
        ]);

        let samples = vec![vec![0, 0, 0], vec![0, 0, 1], vec![0, 1, 0], vec![0, 1, 1]];

        let xeb = verifier
            .compute_circuit_linear_xeb(&amplitudes, &samples)
            .expect("Failed to compute linear XEB");
        assert!(xeb >= 0.0);
    }

    #[test]
    fn test_bitstring_conversion() {
        let verifier = QuantumSupremacyVerifier::new(3, VerificationParams::default())
            .expect("Failed to create verifier");

        assert_eq!(verifier.bitstring_to_index(&[0, 0, 0]), 0);
        assert_eq!(verifier.bitstring_to_index(&[0, 0, 1]), 1);
        assert_eq!(verifier.bitstring_to_index(&[1, 1, 1]), 7);
    }

    #[test]
    fn test_porter_thomas_analysis() {
        let verifier = QuantumSupremacyVerifier::new(2, VerificationParams::default())
            .expect("Failed to create verifier");

        // Create uniform random amplitudes
        let amplitudes = vec![Array1::from_vec(vec![
            Complex64::new(0.5, 0.0),
            Complex64::new(0.5, 0.0),
            Complex64::new(0.5, 0.0),
            Complex64::new(0.5, 0.0),
        ])];

        let result = verifier
            .analyze_porter_thomas(&amplitudes)
            .expect("Failed to analyze Porter-Thomas distribution");
        assert!(result.chi_squared >= 0.0);
        assert!(result.p_value >= 0.0 && result.p_value <= 1.0);
    }
}