{"id":"W4392131297","doi":"10.1112/blms.13010","title":"Axioms for the category of Hilbert spaces and linear contractions","year":2024,"lang":"en","type":"article","venue":"Bulletin of the London Mathematical Society","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"Air Force Office of Scientific Research","keywords":"Mathematics; Axiom; Hilbert space; Pure mathematics; Geometry","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.004045758,0.0003864316,0.0006890039,0.002345773,0.002469076,0.00447673,0.001324309,0.001861759,0.008696339],"category_scores_gemma":[0.006170439,0.0005152377,0.001039606,0.001526514,0.009609775,0.008536441,0.004985663,0.003699652,0.00107497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001788562,"about_ca_system_score_gemma":0.001538308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001613187,"about_ca_topic_score_gemma":0.00114203,"domain_scores_codex":[0.9959527,0.001236507,0.0003825453,0.0005532246,0.001425943,0.0004490606],"domain_scores_gemma":[0.9911923,0.004341429,0.0003790398,0.000852882,0.002355864,0.0008784445],"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.000002847726,0.000003891356,0.00007167104,0.00001238456,0.000001546412,0.0000303827,0.0001506561,0.00006810944,0.0001576359,0.9979869,0.0006110751,0.0009028754],"study_design_scores_gemma":[0.00001011028,0.00001249491,0.0002790729,0.0000114901,0.000002360652,0.000129375,0.0002086399,0.0007134009,0.0002058991,0.9876568,0.01075998,0.00001038446],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1997223,0.002824942,0.4908483,0.01310611,0.001537041,0.0002428895,0.002981491,0.001081478,0.2876553],"genre_scores_gemma":[0.9256696,0.0006792228,0.05252083,0.001523978,0.0005894918,0.0003044865,0.001085799,0.000131578,0.01749509],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008696339,"threshold_uncertainty_score":0.02909219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03153155079583707,"score_gpt":0.3137390953995924,"score_spread":0.2822075446037553,"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."}}