Index

_

_build_fourier_sparse_hypothesis() (ql.verifier.MoSVerifier method) _build_parity_hypothesis() (ql.verifier.MoSVerifier method) _build_spectrum_approximation() (ql.prover.MoSProver method) _circuit_oracle_f() (mos.MoSState method) _estimate_coefficients() (ql.prover.MoSProver method) _estimate_coefficients_independently() (ql.verifier.MoSVerifier method) _extract_heavy_list() (ql.prover.MoSProver method) _guess_experiment() (in module experiments.decode)

_MODES (mos.sampler.QuantumFourierSampler attribute) _postselect() (mos.sampler.QuantumFourierSampler method) _rng (mos.sampler.QuantumFourierSampler attribute) (ql.prover.MoSProver attribute) (ql.verifier.MoSVerifier attribute) _sample_circuit() (mos.sampler.QuantumFourierSampler method) _sample_statevector() (mos.sampler.QuantumFourierSampler method) _to_proto() (experiments.harness.ExperimentResult method) _verify_core() (ql.verifier.MoSVerifier method)

A

a_sq (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute) ACCEPT (ql.verifier.VerificationOutcome attribute) acceptance_threshold (experiments.harness.TrialResult attribute) (ql.verifier.VerificationResult attribute), [1]

accepted (experiments.harness.TrialResult attribute) (ql.verifier.VerificationResult property) accumulated_weight (experiments.harness.TrialResult attribute) (ql.verifier.VerificationResult attribute), [1]

B

b_sq (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute)

C

circuit_prepare_f() (mos.MoSState method) circuit_prepare_f_initialize() (mos.MoSState method)

classical_samples_prover (experiments.harness.TrialSpec attribute) classical_samples_verifier (experiments.harness.TrialSpec attribute) coefficients (ql.verifier.FourierSparseHypothesis attribute), [1]

D

decode() (in module experiments.decode) delta (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute)

density_matrix() (mos.MoSState method) dishonest_strategy (experiments.harness.TrialSpec attribute)

E

empirical_distribution() (mos.sampler.QFSResult method) entries (ql.prover.SpectrumApproximation attribute), [1] epsilon (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute) (ql.prover.ProverMessage attribute), [1] (ql.verifier.VerificationResult attribute), [1] estimated_coefficient (ql.verifier.ParityHypothesis attribute), [1] estimates (ql.prover.ProverMessage attribute), [1] evaluate() (ql.verifier.FourierSparseHypothesis method) (ql.verifier.ParityHypothesis method)

evaluate_batch() (ql.verifier.FourierSparseHypothesis method) (ql.verifier.ParityHypothesis method) exact_heavy_coefficients() (ql.prover.MoSProver method) experiment_name (experiments.harness.ExperimentResult attribute) ExperimentResult (class in experiments.harness) experiments.decode module experiments.harness module

F

fourier_coefficient() (mos.MoSState method) (mos.sampler.QuantumFourierSampler method)

FOURIER_SPARSE (ql.verifier.HypothesisType attribute) fourier_spectrum() (mos.MoSState method) FourierSparseHypothesis (class in ql.verifier)

G

g() (ql.verifier.FourierSparseHypothesis method)

gate_noise_rate (experiments.harness.TrialSpec attribute)

H

hypothesis (ql.verifier.VerificationResult attribute), [1] hypothesis_coefficients (experiments.harness.TrialResult attribute) hypothesis_correct (experiments.harness.TrialResult attribute)

hypothesis_s (experiments.harness.TrialResult attribute) hypothesis_type (ql.verifier.VerificationResult attribute), [1] HypothesisType (class in ql.verifier)

K

k (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute)

L

L (ql.prover.ProverMessage attribute), [1] list_received (ql.verifier.VerificationResult attribute), [1]

list_size (experiments.harness.TrialResult attribute) (ql.prover.ProverMessage property) list_size_bound (ql.verifier.VerificationResult attribute), [1]

M

main() (in module experiments.decode) make_bent_function() (in module experiments.harness) make_k_sparse() (in module experiments.harness) make_random_boolean() (in module experiments.harness) make_random_parity() (in module experiments.harness) make_single_parity() (in module experiments.harness) make_sparse_plus_noise() (in module experiments.harness) max_workers (experiments.harness.ExperimentResult attribute) merge_shard_files() (in module experiments.harness) misclassification_rate (experiments.harness.TrialResult attribute) misclassification_samples (experiments.harness.TrialSpec attribute) mode (mos.sampler.QFSResult attribute), [1] module experiments.decode experiments.harness mos mos.sampler ql.prover ql.verifier

mos module mos.sampler module MoSProver (class in ql.prover) MoSState (class in mos) MoSVerifier (class in ql.verifier)

N

n (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute) (mos.sampler.QFSResult attribute), [1] (ql.prover.ProverMessage attribute), [1] (ql.prover.SpectrumApproximation attribute), [1] (ql.verifier.FourierSparseHypothesis attribute), [1] (ql.verifier.ParityHypothesis attribute), [1] (ql.verifier.VerificationResult attribute), [1]

noise_rate (experiments.harness.TrialSpec attribute) num_classical_samples (ql.prover.ProverMessage attribute), [1] (ql.verifier.VerificationResult attribute), [1] num_qfs_samples (ql.prover.SpectrumApproximation attribute), [1]

O

outcome (experiments.harness.TrialResult attribute) (ql.verifier.VerificationResult attribute), [1]

P

parameters (experiments.harness.ExperimentResult attribute) PARITY (ql.verifier.HypothesisType attribute) ParityHypothesis (class in ql.verifier) parseval_check() (mos.MoSState method) phi (experiments.harness.TrialSpec attribute) (mos.MoSState property) phi_description (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute)

phi_effective (mos.MoSState property) postselected_counts (mos.sampler.QFSResult attribute), [1] postselected_shots (mos.sampler.QFSResult attribute), [1] postselection_rate (experiments.harness.TrialResult attribute) (mos.sampler.QFSResult property) prover_found_target (experiments.harness.TrialResult attribute) prover_time_s (experiments.harness.TrialResult attribute) ProverMessage (class in ql.prover)

Q

qfs_distribution() (mos.MoSState method) qfs_mode (experiments.harness.TrialSpec attribute) qfs_postselected (experiments.harness.TrialResult attribute) qfs_probability() (mos.MoSState method) qfs_result (ql.prover.ProverMessage attribute), [1] qfs_shots (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute)

QFSResult (class in mos.sampler) ql.prover module ql.verifier module QuantumFourierSampler (class in mos.sampler)

R

raw_counts (mos.sampler.QFSResult attribute), [1] REJECT_INSUFFICIENT_WEIGHT (ql.verifier.VerificationOutcome attribute) REJECT_LIST_TOO_LARGE (ql.verifier.VerificationOutcome attribute) run_ab_regime_experiment() (in module experiments.harness) run_average_case_experiment() (in module experiments.harness) run_bent_experiment() (in module experiments.harness) run_full_protocol() (ql.verifier.MoSVerifier method) run_gate_noise_experiment() (in module experiments.harness)

run_k_sparse_experiment() (in module experiments.harness) run_noise_sweep_experiment() (in module experiments.harness) run_protocol() (ql.prover.MoSProver method) run_scaling_experiment() (in module experiments.harness) run_soundness_experiment() (in module experiments.harness) run_soundness_multi_experiment() (in module experiments.harness) run_theta_sensitivity_experiment() (in module experiments.harness) run_trials_parallel() (in module experiments.harness) run_truncation_experiment() (in module experiments.harness)

S

s (ql.verifier.ParityHypothesis attribute), [1] sample() (mos.sampler.QuantumFourierSampler method) sample_classical() (mos.MoSState method) sample_classical_batch() (mos.MoSState method) sample_f() (mos.MoSState method) save() (experiments.harness.ExperimentResult method) seed (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute)

shard_specs() (in module experiments.harness) spectrum_approx (ql.prover.ProverMessage attribute), [1] SpectrumApproximation (class in ql.prover) statevector_f() (mos.MoSState method) summary() (mos.MoSState method) (ql.prover.ProverMessage method) (ql.verifier.VerificationResult method) summary_table() (experiments.harness.ExperimentResult method)

T

target_s (experiments.harness.TrialSpec attribute) theoretical_distribution() (mos.sampler.QuantumFourierSampler method) theta (experiments.harness.TrialResult attribute) (experiments.harness.TrialSpec attribute) (ql.prover.ProverMessage attribute), [1] threshold (ql.prover.SpectrumApproximation attribute), [1] tilde_phi (mos.MoSState property) tilde_phi_effective (mos.MoSState property)

timestamp (experiments.harness.ExperimentResult attribute) total_copies (experiments.harness.TrialResult attribute) total_copies_used (ql.prover.ProverMessage property) total_qfs_shots (ql.prover.SpectrumApproximation attribute), [1] total_shots (mos.sampler.QFSResult attribute), [1] total_time_s (experiments.harness.TrialResult attribute) TrialResult (class in experiments.harness) trials (experiments.harness.ExperimentResult attribute) TrialSpec (class in experiments.harness)

V

VerificationOutcome (class in ql.verifier) VerificationResult (class in ql.verifier) verifier_estimates (ql.verifier.VerificationResult attribute), [1]

verifier_samples (experiments.harness.TrialResult attribute) verifier_time_s (experiments.harness.TrialResult attribute) verify_fourier_sparse() (ql.verifier.MoSVerifier method) verify_parity() (ql.verifier.MoSVerifier method)

W

wall_clock_s (experiments.harness.ExperimentResult attribute)