{"id":"W4401460213","doi":"10.4204/eptcs.406.1","title":"A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits","year":2024,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University; Simon Fraser University","funders":"","keywords":"Toffoli gate; Hadamard transform; Arithmetic; Qubit; Computer science; Mathematics; Physics; Quantum gate; Quantum; Quantum mechanics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002976875,0.001041116,0.0013312,0.001959995,0.001923359,0.003787287,0.002244496,0.002170039,0.005630765],"category_scores_gemma":[0.004359514,0.001131154,0.004070588,0.001210629,0.004635961,0.006501475,0.002972006,0.005961934,0.001931997],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002992735,"about_ca_system_score_gemma":0.002356499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002132258,"about_ca_topic_score_gemma":0.00239249,"domain_scores_codex":[0.9969531,0.000527891,0.0003272186,0.0003781555,0.001341549,0.0004720475],"domain_scores_gemma":[0.9972122,0.001270734,0.0001388649,0.0004457565,0.0008374323,0.0000949122],"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.000007726609,0.00001446947,0.00005487722,0.00004214072,0.00000729555,0.00004799151,0.0001662716,0.005658755,0.000721411,0.9882471,0.0009617424,0.004070259],"study_design_scores_gemma":[0.0000184286,0.00001786103,0.00003814203,0.00002815863,0.00001272649,0.00004738173,0.00002994853,0.03513379,0.001739115,0.9568537,0.006052292,0.0000285082],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01360846,0.0003877193,0.9663893,0.001020196,0.0002615938,0.0001239138,0.0005223402,0.000252587,0.01743394],"genre_scores_gemma":[0.3442477,0.001282101,0.6277926,0.001977153,0.0006126289,0.000883874,0.00135764,0.0004918503,0.02135434],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005630765,"threshold_uncertainty_score":0.02171391,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00939213605732696,"score_gpt":0.2490098491788436,"score_spread":0.2396177131215166,"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."}}