{"id":"W2891275543","doi":"10.46298/lmcs-17(4:8)2021","title":"Dagger linear logic for categorical quantum mechanics","year":2021,"lang":"en","type":"preprint","venue":"Logical Methods in Computer Science","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Categorical quantum mechanics; Categorical variable; Mathematics; Hilbert space; Linear logic; Cartesian closed category; Pure mathematics; Algebra over a field; Quantum process; Quantum; Discrete mathematics; Quantum mechanics; Physics; Quantum dynamics","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.001867034,0.0005127303,0.0004333811,0.001686283,0.001539374,0.003026547,0.001223536,0.0009950512,0.0052774],"category_scores_gemma":[0.00215016,0.0003249603,0.00102087,0.001664472,0.004086385,0.005892001,0.002652816,0.003409122,0.0009051973],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003888469,"about_ca_system_score_gemma":0.001248813,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002516039,"about_ca_topic_score_gemma":0.002028659,"domain_scores_codex":[0.998391,0.0006192494,0.00009609748,0.0002225317,0.0004939106,0.0001773036],"domain_scores_gemma":[0.9988115,0.000613523,0.0000755095,0.0001609053,0.0002180939,0.0001204395],"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.000002660164,0.000003879532,0.00002826637,0.00001019786,0.000001352844,0.00001068928,0.00007914047,0.0002372088,0.0001730799,0.9969674,0.0003667851,0.002119352],"study_design_scores_gemma":[0.000003374832,0.000006219218,0.00005042568,0.000006397866,0.000002376197,0.00002089826,0.00003791335,0.002835326,0.0001851913,0.98959,0.007255566,0.000006307488],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0400156,0.002715978,0.8639563,0.005485084,0.000403077,0.00007959129,0.0006180844,0.0009630989,0.08576331],"genre_scores_gemma":[0.7914791,0.001444311,0.1774435,0.00182646,0.000596686,0.0002919027,0.0006465027,0.0001965711,0.026075],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0052774,"threshold_uncertainty_score":0.02821296,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.22944892524853,"score_gpt":0.4759483359231271,"score_spread":0.246499410674597,"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."}}