{"id":"W2115164346","doi":"10.1109/icqnm.2009.21","title":"All Languages in NP Have Very Short Quantum Proofs","year":2009,"lang":"en","type":"article","venue":"","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Mathematical proof; Soundness; Quantum entanglement; Completeness (order theory); Complexity class; Class (philosophy); Quantum; Quantum complexity theory; Computer science; Discrete mathematics; Logarithm; Theoretical computer science; Mathematics; Quantum information; Time complexity; Quantum mechanics; Programming language; Physics; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"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.002705887,0.0006938805,0.001020452,0.000759982,0.002862824,0.00453731,0.002508796,0.00217222,0.01459504],"category_scores_gemma":[0.02528878,0.0009918932,0.001718751,0.001280336,0.004988831,0.02265691,0.004125815,0.005260059,0.001843212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001884352,"about_ca_system_score_gemma":0.002890242,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001002241,"about_ca_topic_score_gemma":0.001277701,"domain_scores_codex":[0.9960444,0.0008086819,0.0002942871,0.0007003092,0.001468118,0.0006842764],"domain_scores_gemma":[0.9447622,0.04171192,0.003274279,0.006210057,0.002928384,0.001113154],"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.000559699,0.000166956,0.002284614,0.0007374923,0.00007588965,0.0003873472,0.0008214095,0.01094762,0.005280055,0.9320586,0.007314011,0.03936619],"study_design_scores_gemma":[0.00007552296,0.00006579728,0.0006239615,0.00005432302,0.00004771098,0.000413201,0.0002027124,0.01666959,0.007300058,0.9595038,0.01500797,0.00003541166],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2077799,0.002132077,0.6983215,0.01805385,0.0004872654,0.000542323,0.002584072,0.003515629,0.06658345],"genre_scores_gemma":[0.8098986,0.001065329,0.1693446,0.002195557,0.0003986802,0.0006791321,0.001791323,0.0009445362,0.01368231],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01459504,"threshold_uncertainty_score":0.04882526,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01258614789040967,"score_gpt":0.2687880434198737,"score_spread":0.256201895529464,"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."}}