{"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":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.003426448,0.0002765135,0.0002670516,0.0004396707,0.0004414493,0.001418794,0.001656737,0.0000752923,0.000007349892],"category_scores_gemma":[0.0002345785,0.0002323819,0.00008382995,0.001499834,0.001308597,0.0006872721,0.0007517694,0.0005068003,0.000008713895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001927667,"about_ca_system_score_gemma":0.0003585317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.329722e-7,"about_ca_topic_score_gemma":5.894516e-7,"domain_scores_codex":[0.9965809,0.00003385847,0.0003450223,0.001248631,0.0006102446,0.001181345],"domain_scores_gemma":[0.9983769,0.0009773324,0.00005432946,0.0002304581,0.0001670408,0.0001939161],"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.000007143889,0.00002352611,0.00001465034,0.00004738794,0.00000840704,0.000004127932,0.0007659346,0.0001169471,0.0004715005,0.8982448,0.0000202907,0.1002753],"study_design_scores_gemma":[0.0001415152,0.0002034502,0.0001025268,0.00005595206,0.000003301393,0.00009083636,0.000004028333,0.4991145,0.0001748166,0.4996146,0.0003292157,0.0001651856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04774049,0.0006699568,0.9478384,0.001884003,0.0004561884,0.0004010397,0.000003151259,0.0003165515,0.0006901841],"genre_scores_gemma":[0.9568849,0.00001056774,0.04227624,0.0004716623,0.0002950505,0.0000323823,9.307208e-7,0.00001761827,0.00001067733],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9091444,"threshold_uncertainty_score":0.9996178,"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."}}