{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006509609,0.001948171,0.002706736,0.001517193,0.001603739,0.005942689,0.005112181,0.002289036,0.008624101],"category_scores_gemma":[0.04504062,0.000886496,0.00344295,0.001476741,0.005550912,0.01477138,0.006723432,0.009088167,0.001482878],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006328634,"about_ca_system_score_gemma":0.00471503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002973121,"about_ca_topic_score_gemma":0.003176901,"domain_scores_codex":[0.9905323,0.002422974,0.0004267246,0.002218728,0.002854217,0.001544966],"domain_scores_gemma":[0.9384122,0.04889388,0.002213627,0.007523979,0.001791843,0.001164288],"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.0008765469,0.0003323136,0.003488346,0.0006819293,0.0002311537,0.0003093678,0.000961674,0.3157406,0.007957016,0.6254234,0.004158887,0.03983873],"study_design_scores_gemma":[0.00005093057,0.00006746206,0.0002884267,0.00004406521,0.00004244356,0.00005725459,0.0000568558,0.5859922,0.002799837,0.4096963,0.000872865,0.00003143819],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.137519,0.0009453511,0.8374633,0.003286927,0.0001449965,0.0002646138,0.0004382184,0.001669765,0.01826786],"genre_scores_gemma":[0.833118,0.0006099602,0.1576638,0.0007945861,0.0002878759,0.0005284154,0.0006826899,0.0006198706,0.00569488],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008624101,"threshold_uncertainty_score":0.04591763,"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."}}