{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001681765,0.0007487854,0.000430584,0.001200319,0.0009483312,0.002370571,0.001368283,0.0006323993,0.006878013],"category_scores_gemma":[0.007943013,0.000500045,0.001705562,0.001446808,0.002605623,0.005503895,0.001843654,0.002913383,0.001247352],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002061435,"about_ca_system_score_gemma":0.00174443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00302262,"about_ca_topic_score_gemma":0.004224322,"domain_scores_codex":[0.9971987,0.0008332871,0.0002057536,0.000484486,0.001063047,0.000214674],"domain_scores_gemma":[0.9958605,0.00235366,0.0003004474,0.0009906094,0.0004410016,0.00005367654],"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.0001219198,0.00008104184,0.0009364281,0.0003294585,0.00005448613,0.0001017734,0.0005719976,0.07534192,0.01406302,0.7860166,0.003365011,0.1190164],"study_design_scores_gemma":[0.00002319963,0.00007053918,0.0003357512,0.00006224943,0.00007671647,0.00007398819,0.0001563402,0.3902232,0.02872917,0.5609616,0.01924432,0.000043034],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007757799,0.0001860966,0.9865899,0.0002806748,0.00003012523,0.00004622029,0.0001295492,0.001632176,0.003347373],"genre_scores_gemma":[0.2698502,0.0005168689,0.7232212,0.0003875591,0.0001292241,0.0001929358,0.0005233428,0.001433223,0.003745467],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006878013,"threshold_uncertainty_score":0.02300924,"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."}}