{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001750906,0.0009504446,0.001477326,0.003985174,0.002861883,0.00567096,0.001668719,0.002569537,0.009267408],"category_scores_gemma":[0.006812298,0.0007514686,0.001232074,0.003433771,0.005657609,0.007628178,0.003443922,0.004290281,0.001531405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001595641,"about_ca_system_score_gemma":0.0009248265,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007318953,"about_ca_topic_score_gemma":0.0004988753,"domain_scores_codex":[0.9982083,0.0005399897,0.00010421,0.0002908285,0.0005506579,0.0003059934],"domain_scores_gemma":[0.9970459,0.00157039,0.000355162,0.0004133164,0.0003396092,0.0002756652],"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.00001347761,0.000006747266,0.00002907205,0.000009391875,0.000002803306,0.00001953001,0.0000669404,0.0003734017,0.0001377459,0.9979678,0.0002808918,0.001092192],"study_design_scores_gemma":[0.000004808389,0.000003371902,0.00003555936,0.000003660165,0.000001495682,0.0000300229,0.00002010189,0.001704591,0.0001422634,0.9975687,0.0004785514,0.000006929253],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4751853,0.005235709,0.3279006,0.008010164,0.001243256,0.0001329548,0.0008199016,0.0004661597,0.181006],"genre_scores_gemma":[0.9363132,0.001326586,0.03137098,0.000685328,0.0007872814,0.0001124233,0.0003290643,0.0001179711,0.02895719],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009267408,"threshold_uncertainty_score":0.03100258,"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."}}