{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.008605105,0.0005119652,0.001515617,0.0002685765,0.0001879458,0.0003064171,0.002035314,0.0005726601,0.0002562357],"category_scores_gemma":[0.007712417,0.0003483641,0.0005934804,0.001250991,0.0006628825,0.00009378171,0.003986972,0.001156051,0.00001081118],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001558131,"about_ca_system_score_gemma":0.0002223066,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006448103,"about_ca_topic_score_gemma":0.000002106687,"domain_scores_codex":[0.9945251,0.0008732362,0.001173759,0.001713102,0.0008258114,0.0008889658],"domain_scores_gemma":[0.9907311,0.00690387,0.0003085289,0.001237731,0.0004526916,0.0003660461],"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.00001145291,0.0004878342,0.00000211579,0.0003949305,0.00002603202,0.00004034386,0.0001575606,0.0004854563,0.0002063874,0.9826673,0.00002945981,0.01549116],"study_design_scores_gemma":[0.00009752048,0.0000704718,0.000002992647,0.00007443406,0.00004515851,0.000009899232,0.00001395613,0.4669925,0.0004029767,0.5320015,0.00002956023,0.0002590349],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001339685,0.00009628714,0.9950035,0.0009349582,0.001469272,0.0006227226,0.000006806968,0.0001369064,0.0003898811],"genre_scores_gemma":[0.02393368,0.00002270679,0.9748563,0.0005385621,0.0004441919,0.0001447324,0.00000638347,0.00002602836,0.0000273938],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.466507,"threshold_uncertainty_score":0.9998968,"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."}}