{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003362157,0.0003924675,0.0005398655,0.00007125858,0.000873675,0.00008354458,0.00150905,0.0002635067,0.00007575064],"category_scores_gemma":[0.00002597801,0.0003889033,0.0007601898,0.0002085789,0.000165772,0.0001428093,0.0007847131,0.0003863569,0.00008084886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001496775,"about_ca_system_score_gemma":0.000334174,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005731186,"about_ca_topic_score_gemma":0.00008551524,"domain_scores_codex":[0.9981715,0.0001130519,0.0004286444,0.0007644152,0.0001071096,0.0004152765],"domain_scores_gemma":[0.9963053,0.00016912,0.001309284,0.001732212,0.0003488328,0.0001352269],"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.00003788774,0.000218181,0.0002088717,0.0001326478,0.0002308006,8.836559e-7,0.0001114371,0.009742192,0.001159006,0.9869306,0.0002658493,0.000961651],"study_design_scores_gemma":[0.0004892246,0.00004107557,0.0002114044,0.0001381132,0.0002805894,3.924059e-7,0.0001575924,0.484506,0.0002394157,0.501714,0.01199515,0.0002270033],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1321466,0.00004068456,0.8626295,0.0006778582,0.0009952289,0.001451201,0.001646375,0.00002348064,0.0003890928],"genre_scores_gemma":[0.9978757,0.00006143944,0.0002303382,0.00002716294,0.0002217501,0.00001924932,0.0002363825,0.00004396285,0.00128403],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8657291,"threshold_uncertainty_score":0.9998563,"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."}}