{"id":"W4386093908","doi":"10.4204/eptcs.384.8","title":"Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes","year":2023,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Amplitude; Mathematics; Theoretical physics; Physics; Quantum mechanics","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":[],"consensus_categories":[],"category_scores_codex":[0.002999149,0.0002773212,0.000261932,0.0002860489,0.0009405402,0.000830319,0.003252464,0.0000514228,0.000004775162],"category_scores_gemma":[0.000209231,0.0001700238,0.00007472556,0.003368594,0.001999138,0.0004690422,0.000823691,0.0004503154,0.00001089297],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001448705,"about_ca_system_score_gemma":0.0003804483,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003720457,"about_ca_topic_score_gemma":0.000003213456,"domain_scores_codex":[0.9963939,0.00002686693,0.0003111269,0.0009625016,0.0008884933,0.001417097],"domain_scores_gemma":[0.9978102,0.001285795,0.0001151664,0.0003913217,0.0002750953,0.0001223994],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002732309,0.00002504714,0.0001843646,0.00001352155,0.00001157273,0.000001944927,0.0007178862,0.001904763,0.0003560119,0.9793283,0.00003112691,0.01739818],"study_design_scores_gemma":[0.0002695339,0.0002748661,0.001679227,0.00003023261,0.000002985505,0.00001986289,0.00001310088,0.5278766,0.0002290103,0.4692264,0.0002214813,0.0001566266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0530608,0.00006800727,0.9416912,0.003754327,0.0002830947,0.0005103309,0.000004143787,0.0003924427,0.0002356449],"genre_scores_gemma":[0.9627135,0.00001266183,0.03643175,0.000504372,0.0002168259,0.00009325184,0.000002199708,0.00001627776,0.000009134142],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9096527,"threshold_uncertainty_score":0.8006785,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008348149584011729,"score_gpt":0.2482284254280993,"score_spread":0.2398802758440876,"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."}}