{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003581118,0.0001688241,0.0003980468,0.000231099,0.0000971514,0.00004515622,0.0006787124,0.0001036027,0.000008091373],"category_scores_gemma":[0.0001093577,0.0001600007,0.0001395793,0.0005454036,0.0001046204,0.0001087582,0.0002732135,0.0001975164,0.00001247819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002715451,"about_ca_system_score_gemma":0.0001259561,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005823425,"about_ca_topic_score_gemma":0.000001463111,"domain_scores_codex":[0.9983166,0.0001251253,0.0005728021,0.0003834097,0.0003009287,0.0003010874],"domain_scores_gemma":[0.9985436,0.0004953193,0.0002542674,0.0005271981,0.0001109559,0.0000686703],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006439978,0.000805205,0.004082932,0.000710493,0.0002950854,0.00004074412,0.005393205,0.1367386,0.08486481,0.1188596,0.001880749,0.6462641],"study_design_scores_gemma":[0.0003666828,0.0001051541,0.009784218,0.0002033489,0.0000132139,0.000002863301,0.000009671317,0.9801303,0.005043939,0.003647771,0.0005446341,0.0001482694],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7164494,0.0001811918,0.2810761,0.000824175,0.0003761343,0.0001791384,0.00000602199,0.000129312,0.0007785597],"genre_scores_gemma":[0.9975988,0.000001685726,0.002107626,0.0001158894,0.00008433778,0.000002426621,0.000003019429,0.000009767119,0.00007647054],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8433916,"threshold_uncertainty_score":0.652464,"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."}}