{"id":"W4409188309","doi":"10.1007/s00220-024-05229-7","title":"The Membership Problem for Constant-Sized Quantum Correlations is Undecidable","year":2025,"lang":"en","type":"article","venue":"Communications in Mathematical Physics","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo; Concordia University","funders":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada; Alfred P. Sloan Foundation","keywords":"Undecidable problem; Constant (computer programming); Complex system; Quantum; Mathematics; Statistical physics; Computer science; Pure mathematics; Discrete mathematics; Physics; Quantum mechanics; Artificial intelligence; Decidability","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.006038672,0.001582884,0.003201118,0.00133295,0.005468901,0.00918867,0.007473313,0.006853836,0.01230635],"category_scores_gemma":[0.05465206,0.001916401,0.002778571,0.002357674,0.007484406,0.02953461,0.006898796,0.0131639,0.001574462],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004700096,"about_ca_system_score_gemma":0.005511309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00367767,"about_ca_topic_score_gemma":0.00339792,"domain_scores_codex":[0.9919614,0.00188931,0.0004837601,0.002309968,0.001911267,0.001444235],"domain_scores_gemma":[0.8910372,0.08967531,0.004163045,0.007134506,0.004526226,0.003463666],"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.001358788,0.0009338898,0.003092557,0.000780401,0.0002182606,0.0005741727,0.001068014,0.03571552,0.003172994,0.9021587,0.02321911,0.02770762],"study_design_scores_gemma":[0.0001678451,0.00003751432,0.0002356529,0.00002413976,0.00003497547,0.0001116323,0.0001399347,0.04539218,0.001141142,0.9516245,0.001056737,0.00003368887],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.541039,0.001511504,0.3557498,0.03929321,0.00107759,0.0005596998,0.00487558,0.003844619,0.05204885],"genre_scores_gemma":[0.944929,0.0005308107,0.03526826,0.002700284,0.0008603601,0.0003847077,0.002262845,0.0005377061,0.01252609],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01230635,"threshold_uncertainty_score":0.04116887,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0513201232949979,"score_gpt":0.3404984105042279,"score_spread":0.2891782872092299,"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."}}