{"id":"W2947949186","doi":"10.48550/arxiv.1905.11635","title":"Complexity lower bounds for computing the approximately-commuting operator value of non-local games to high precision","year":2019,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Soundness; Operator (biology); Upper and lower bounds; Completeness (order theory); Gas meter prover; Mathematics; Discrete mathematics; Value (mathematics); Complexity class; Class (philosophy); Combinatorics; Gap theorem; Time complexity; Computer science","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001075395,0.0004594537,0.0007254915,0.00027603,0.0005676277,0.0002922891,0.00459908,0.0002702034,0.00001238293],"category_scores_gemma":[0.0000865181,0.0004187022,0.000457423,0.0008348997,0.0004159715,0.000270435,0.006596891,0.0007142454,0.00002373574],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002023712,"about_ca_system_score_gemma":0.0002530167,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005954289,"about_ca_topic_score_gemma":0.00003723193,"domain_scores_codex":[0.9971211,0.0002363127,0.0004935368,0.001320442,0.0002382686,0.0005903562],"domain_scores_gemma":[0.9959701,0.0008174403,0.0004307818,0.002186217,0.0004235278,0.000171948],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001043528,0.0002382895,0.000568043,0.0002664546,0.0001388973,0.00001601967,0.0008735674,0.5906354,0.00006809681,0.3994867,0.0004058846,0.007198367],"study_design_scores_gemma":[0.0006071726,0.0002017582,0.002358105,0.0003412097,0.00004663519,0.000003583305,0.0002018015,0.9359284,0.0005412893,0.05877934,0.0005067018,0.000483975],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3267862,0.00002397556,0.6703538,0.0001718863,0.001238193,0.0009033796,0.00004838799,0.0001034014,0.0003708456],"genre_scores_gemma":[0.9348033,0.00001073229,0.06464461,0.0002294627,0.000120006,0.000002712216,0.00001822863,0.00002640821,0.0001445248],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6080171,"threshold_uncertainty_score":0.9998265,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07326202935955649,"score_gpt":0.2270293347774247,"score_spread":0.1537673054178683,"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."}}