{"id":"W4416916293","doi":"10.22331/q-2025-12-02-1926","title":"Polynomial-Time Classical Simulation of Hidden Shift Circuits via Confluent Rewriting of Symbolic Sums","year":2025,"lang":"en","type":"article","venue":"Quantum","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Rewriting; Class (philosophy); Benchmark (surveying); Polynomial; Path (computing); Electronic circuit; Conjecture","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.0007696343,0.0003503961,0.000440121,0.000279179,0.0005260113,0.0011207,0.000963732,0.0005499759,0.00272534],"category_scores_gemma":[0.00419049,0.0002453936,0.0005813573,0.0003306655,0.001918638,0.001478401,0.001223417,0.001045063,0.000403702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001098431,"about_ca_system_score_gemma":0.0009473473,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001416534,"about_ca_topic_score_gemma":0.001567246,"domain_scores_codex":[0.9991812,0.000279229,0.00003669603,0.0001273631,0.0002532649,0.0001222673],"domain_scores_gemma":[0.9984044,0.00102681,0.0000982871,0.0002771362,0.0001293211,0.00006398012],"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.000242221,0.0001385558,0.001159122,0.0001232758,0.00006757117,0.0004728436,0.000619903,0.3147424,0.0420369,0.6117707,0.0007585637,0.02786787],"study_design_scores_gemma":[0.00004872118,0.00007754094,0.000148298,0.00001145785,0.00002745095,0.00006324152,0.00006690231,0.806676,0.04215046,0.1493254,0.001387745,0.00001667384],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.416548,0.0001357531,0.5638729,0.0003722977,0.00005638959,0.0000921469,0.0000768927,0.00121502,0.0176305],"genre_scores_gemma":[0.965674,0.0000756166,0.03198433,0.00005032941,0.00001348097,0.00004333002,0.00004702482,0.00009286421,0.002018997],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00272534,"threshold_uncertainty_score":0.009117126,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009425946399312145,"score_gpt":0.25623664369092,"score_spread":0.2468106972916078,"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."}}