{"id":"W2950810033","doi":"10.48550/arxiv.1012.4427","title":"Quantum interactive proofs with weak error bounds","year":2010,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Japan Society for the Promotion of Science; Natural Sciences and Engineering Research Council of Canada; Mitacs; Canadian Institute for Advanced Research","keywords":"PSPACE; Soundness; Mathematical proof; Completeness (order theory); Complexity class; Proof complexity; Mathematics; Discrete mathematics; Class (philosophy); Computer-assisted proof; Quantum; Bounded function; Turing machine; Computer science; Computational complexity theory; Time complexity; Algorithm; Quantum mechanics; Physics; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008718589,0.001500654,0.00162206,0.002246398,0.002495878,0.00573456,0.005318089,0.002486062,0.008133371],"category_scores_gemma":[0.06167203,0.001133025,0.002522855,0.00175685,0.009353098,0.0175085,0.01126227,0.0109997,0.001367233],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004349862,"about_ca_system_score_gemma":0.002623611,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001442574,"about_ca_topic_score_gemma":0.0007847598,"domain_scores_codex":[0.9799728,0.004441616,0.001019385,0.003121614,0.009053365,0.002391333],"domain_scores_gemma":[0.8727576,0.09889154,0.003604895,0.01797368,0.005022822,0.001749531],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001869595,0.00005900933,0.000627159,0.0002257497,0.00004951326,0.0001155886,0.0004497796,0.03066182,0.002143896,0.9531854,0.001031222,0.01126398],"study_design_scores_gemma":[0.00004416721,0.00004220135,0.0002255441,0.00004440414,0.00003472925,0.00007642042,0.00004083194,0.1056927,0.004472388,0.8858722,0.003416684,0.00003749091],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08817192,0.001225586,0.8645511,0.004487617,0.0002047711,0.0001809356,0.0003050085,0.001576956,0.03929616],"genre_scores_gemma":[0.8806099,0.0007229836,0.107078,0.001114791,0.0004845243,0.0003432478,0.0002771126,0.0004905504,0.008878843],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008718589,"threshold_uncertainty_score":0.0461089,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0312747094444193,"score_gpt":0.1932767970677666,"score_spread":0.1620020876233473,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}