{"id":"W2561213546","doi":"10.1016/j.tcs.2019.10.021","title":"Kochen-Specker sets and Hadamard matrices","year":2019,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Mathematical proof; Hadamard transform; Kochen–Specker theorem; Parity (physics); Class (philosophy); Simple (philosophy); Discrete mathematics; Combinatorics; Pure mathematics; Computer science; Physics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002645182,0.00007631499,0.00008957293,0.00003521191,0.0001392651,0.0001390606,0.0002932774,0.0000122884,0.0004323285],"category_scores_gemma":[8.519608e-7,0.00006014012,0.0000227104,0.0002258602,0.0004061495,0.0001087389,0.0002284864,0.00007604546,0.0002333053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005522652,"about_ca_system_score_gemma":0.00002473668,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003721841,"about_ca_topic_score_gemma":3.474195e-8,"domain_scores_codex":[0.9992296,0.00001156549,0.00009183401,0.0002845605,0.0001732126,0.0002091976],"domain_scores_gemma":[0.9995304,0.00005124854,0.00002636686,0.0002427005,0.00004173358,0.0001075057],"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.000001136226,0.00001766382,0.0006559946,0.000001657187,0.000002255344,1.145241e-7,0.00004663203,0.000002138527,0.0004922083,0.990078,0.0000330041,0.008669238],"study_design_scores_gemma":[0.0001161411,0.00003900263,0.001553571,0.00000864433,0.000004673386,0.000001358928,0.00001603727,0.1251519,0.001239559,0.871183,0.0005742374,0.0001117836],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7339089,0.00001199528,0.2582544,0.0003860123,0.0001179679,0.0001150517,0.000004184326,0.00002279827,0.007178756],"genre_scores_gemma":[0.9935362,0.000001180249,0.006257096,0.000106904,0.00007480342,0.000004287596,0.000001302641,0.000004472315,0.00001379255],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2596273,"threshold_uncertainty_score":0.4733694,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005715462573881126,"score_gpt":0.2398306509127949,"score_spread":0.2341151883389138,"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."}}