{"id":"W2964268018","doi":"10.48550/arxiv.1705.11151","title":"A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics","year":2017,"lang":"fr","type":"preprint","venue":"arXiv (Cornell University)","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":114,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth","funders":"Agence Nationale pour le Développement de la Recherche en Santé","keywords":"Categorical quantum mechanics; Diagrammatic reasoning; Fragment (logic); Completeness (order theory); Mathematics; Calculus (dental); Axiom; Algebra over a field; Pure mathematics; Quantum; Quantum mechanics; Computer science; Geometry; Quantum process; Physics; Mathematical analysis; Quantum dynamics; Algorithm","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.003040991,0.0005723286,0.00076777,0.001244887,0.002650781,0.003988551,0.001461171,0.001249631,0.004727402],"category_scores_gemma":[0.002701844,0.0004289178,0.001436392,0.001002208,0.005688652,0.007633189,0.003932403,0.003823717,0.001004585],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001607043,"about_ca_system_score_gemma":0.002394029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002227323,"about_ca_topic_score_gemma":0.00142284,"domain_scores_codex":[0.9983404,0.0003782338,0.0001704911,0.0003549699,0.0005579526,0.0001979154],"domain_scores_gemma":[0.9988229,0.0004297991,0.00007022798,0.0002318979,0.0003503806,0.00009477175],"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.000003339744,0.000003090329,0.00003077871,0.00001043828,0.000001358632,0.00001733475,0.0001329873,0.0001547938,0.0002870023,0.9973933,0.0004042026,0.001561459],"study_design_scores_gemma":[0.00001482466,0.0000147687,0.0001063389,0.00001671815,0.0000064905,0.00007421384,0.0001002679,0.002713729,0.001111193,0.9764331,0.01939136,0.00001693357],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09548164,0.001670545,0.8187973,0.003879545,0.001044621,0.0001577584,0.0007962599,0.0008081315,0.07736424],"genre_scores_gemma":[0.7245139,0.001581487,0.2466287,0.00137016,0.00065205,0.0003749504,0.0007728029,0.0003500444,0.02375581],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004727402,"threshold_uncertainty_score":0.01608247,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09452661709568769,"score_gpt":0.215730707546134,"score_spread":0.1212040904504463,"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."}}