{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005472177,0.0001298755,0.0002766167,0.0002739998,0.000202693,0.0001490682,0.0004077567,0.00007844484,0.000001709656],"category_scores_gemma":[0.00008955846,0.00009748834,0.0001383002,0.0002712031,0.00006681136,0.0002132126,0.00007562097,0.0002306232,9.603646e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002381009,"about_ca_system_score_gemma":0.0001084187,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005369934,"about_ca_topic_score_gemma":7.811578e-7,"domain_scores_codex":[0.9989353,0.00005779873,0.0004002835,0.0002127086,0.0001695519,0.0002243152],"domain_scores_gemma":[0.9992321,0.000123293,0.000249863,0.0001704351,0.0001486408,0.00007568525],"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.0001525657,0.0003246246,0.0004035445,0.0001892497,0.0002486318,0.00005129768,0.005086619,0.00272403,0.0163072,0.6134876,0.006495296,0.3545293],"study_design_scores_gemma":[0.002564291,0.000927728,0.01158399,0.0003235804,0.00008795359,0.001233991,0.0006130066,0.2696133,0.002989752,0.7050729,0.004518393,0.0004710949],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5501309,0.0006939459,0.4430475,0.004243073,0.001650459,0.0001084947,7.142084e-7,0.00003173464,0.00009314495],"genre_scores_gemma":[0.9815904,0.00006240876,0.01760109,0.0002698555,0.0003921303,0.000002454653,3.401353e-7,0.00000568649,0.00007557835],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4314595,"threshold_uncertainty_score":0.3975459,"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."}}