{"id":"W2801937927","doi":"10.22331/q-2020-01-10-219","title":"Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem","year":2020,"lang":"en","type":"article","venue":"Quantum","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Perimeter Institute","funders":"Institut Périmètre de physique théorique; Government of Canada","keywords":"Kochen–Specker theorem; Hypergraph; Mathematical proof; Witness; Automated theorem proving; Algebra over a field; Logical conjunction; Quantum","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.003325821,0.0008083893,0.0008672779,0.003799423,0.00206257,0.004995343,0.00235881,0.0021882,0.008091942],"category_scores_gemma":[0.01208923,0.0009304042,0.001844218,0.002287281,0.006262188,0.0101078,0.005876116,0.007121752,0.0009647415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003340863,"about_ca_system_score_gemma":0.001399252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002197074,"about_ca_topic_score_gemma":0.001745987,"domain_scores_codex":[0.9963392,0.001272095,0.0002176217,0.0007446478,0.001106294,0.0003202296],"domain_scores_gemma":[0.9921317,0.004820056,0.0006912274,0.001137405,0.0008341603,0.0003855223],"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.000007122312,0.000006210769,0.00004591632,0.00002348003,0.000005506363,0.00004927992,0.00007978213,0.0008186813,0.0002854926,0.9968328,0.000301955,0.00154372],"study_design_scores_gemma":[0.000006209028,0.000004801307,0.000065129,0.00001683262,0.000006526396,0.00002525558,0.00002396197,0.00640319,0.0002965841,0.9910998,0.002042896,0.000008737798],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03264614,0.001502068,0.9071795,0.002793783,0.0002223375,0.0001569922,0.0006971812,0.0004926426,0.05430939],"genre_scores_gemma":[0.6492173,0.002046332,0.3347808,0.001676927,0.000884483,0.0006866743,0.001403344,0.0004895536,0.008814571],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008091942,"threshold_uncertainty_score":0.02707028,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05860657432587582,"score_gpt":0.2936495815793967,"score_spread":0.2350430072535209,"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."}}