{"id":"W4404346748","doi":"10.1145/3704873","title":"Linear and Non-linear Relational Analyses for Quantum Program Optimization","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Quantum circuit; Quantum; Computer science; Electronic circuit; Quantum algorithm; Affine transformation; Quantum gate; Compiler; Representation (politics); Optimizing compiler; Algebra over a field; Mathematics; Pure mathematics; Quantum error correction; Quantum mechanics; Physics","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.000318282,0.0001492625,0.0001813107,0.0001473354,0.0002398395,0.0001189968,0.001079886,0.00006818861,4.440079e-7],"category_scores_gemma":[0.0009723447,0.0001008352,0.0001011842,0.0005911869,0.00008235827,0.0001323749,0.0006078699,0.0001525391,2.807992e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001321129,"about_ca_system_score_gemma":0.00003328277,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009293933,"about_ca_topic_score_gemma":3.672868e-7,"domain_scores_codex":[0.9989902,0.000007317168,0.0002341514,0.0003430264,0.0002048073,0.000220527],"domain_scores_gemma":[0.999059,0.0001762441,0.0001913364,0.0003073172,0.0002304419,0.00003563945],"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.000111175,0.0006877402,0.007128832,0.0009816834,0.0002956479,0.000001410571,0.002537259,0.05935533,0.003429341,0.08382702,0.001498408,0.8401461],"study_design_scores_gemma":[0.0003757441,0.0002611415,0.001434253,0.0002431907,0.00003456674,0.000004097704,0.0001244827,0.9860126,0.006180353,0.003762833,0.001427172,0.0001395769],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.6150875,0.0007828641,0.3652014,0.01437587,0.000483693,0.002669695,0.000009889668,0.0008077231,0.0005813743],"genre_scores_gemma":[0.2831302,0.000005933858,0.716466,0.0001178164,0.00007152031,0.00006476825,0.000002727573,0.000009412271,0.0001315965],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9266573,"threshold_uncertainty_score":0.4111941,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02384835767695466,"score_gpt":0.330130432551213,"score_spread":0.3062820748742584,"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."}}