{"id":"W4412014509","doi":"10.1017/jsl.2025.10100","title":"QUANTUM EXPANDERS AND QUANTIFIER REDUCTION FOR TRACIAL VONNEUMANN ALGEBRAS","year":2025,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Fields Institute for Research in Mathematical Sciences","funders":"","keywords":"Mathematics; Quantifier (linguistics); Reduction (mathematics); Von Neumann architecture; Pure mathematics; Quantifier elimination; Discrete mathematics; Mathematical economics; Philosophy; Epistemology","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.00139101,0.0004420343,0.0006858106,0.001576366,0.001819958,0.002666771,0.0008454653,0.0006875755,0.009212308],"category_scores_gemma":[0.002947218,0.0003904389,0.001353145,0.0008745873,0.003390125,0.005959154,0.002090015,0.002490156,0.0008287865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001851445,"about_ca_system_score_gemma":0.001397775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002019906,"about_ca_topic_score_gemma":0.001647055,"domain_scores_codex":[0.9982236,0.0003433411,0.00008149686,0.0002260505,0.0007632007,0.0003622499],"domain_scores_gemma":[0.9985591,0.0005646654,0.0001593563,0.0002649428,0.0002938053,0.0001582194],"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.000008230258,0.00001241016,0.00006128911,0.0000129735,0.000004049683,0.00004122726,0.0001391088,0.0003940128,0.0005982421,0.9971431,0.0003813088,0.001204014],"study_design_scores_gemma":[0.000007683931,0.00001105451,0.0001199863,0.0000086958,0.00000726564,0.00005860501,0.00007009353,0.005202373,0.000908135,0.9905233,0.00307002,0.00001274948],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4874996,0.002553013,0.2968239,0.003866877,0.0004253805,0.0001282043,0.0008165595,0.001094242,0.2067922],"genre_scores_gemma":[0.9681965,0.0003845539,0.0151835,0.0003679026,0.0002092086,0.00006996652,0.0002353445,0.0001130082,0.01523998],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009212308,"threshold_uncertainty_score":0.03081828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01530997384952611,"score_gpt":0.2738600935505323,"score_spread":0.2585501197010062,"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."}}