{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002294724,0.0001407546,0.0001557479,0.0001303823,0.00004360854,0.0001179179,0.0006434403,0.00005437871,0.000007443833],"category_scores_gemma":[0.00001905787,0.0001105355,0.00005407889,0.0002167953,0.00001692214,0.0001502922,0.0001248429,0.0002069933,0.00002185981],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001968811,"about_ca_system_score_gemma":0.00002949876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006721925,"about_ca_topic_score_gemma":0.00003444165,"domain_scores_codex":[0.998844,0.0000430964,0.0001845379,0.0003681356,0.00020674,0.0003534445],"domain_scores_gemma":[0.9994244,0.0000493608,0.00002226912,0.0004083642,0.00001985968,0.00007573222],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001273321,0.000438022,0.005401442,0.00001830152,0.00002127457,0.0006576,0.003604989,0.006676334,0.001859323,0.09524225,0.007526684,0.8785411],"study_design_scores_gemma":[0.0002287993,0.0002000619,0.03559468,0.00003078359,0.000002007418,0.0000711692,0.00004407598,0.9486049,0.001391304,0.008831052,0.004680077,0.0003210427],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6975487,0.0004912641,0.2667856,0.01453083,0.0004020089,0.0003556246,0.000001532032,0.0009088301,0.01897564],"genre_scores_gemma":[0.9656265,0.000004936175,0.03155114,0.002433462,0.0001001219,0.00000236264,0.000001649335,0.000005442721,0.000274336],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9419286,"threshold_uncertainty_score":0.4507506,"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."}}