{"id":"W4412737639","doi":"10.1016/j.jfa.2025.111153","title":"An extension property for noncommutative convex sets and duality for operator systems","year":2025,"lang":"en","type":"article","venue":"Journal of Functional Analysis","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; Mount Royal University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Noncommutative geometry; Extension (predicate logic); Property (philosophy); Duality (order theory); Operator (biology); Pure mathematics; Regular polygon; Algebra over a field; Geometry; Computer science","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.001754708,0.0001400586,0.0006197616,0.0004174374,0.0002752805,0.000102277,0.0001345259,0.0000756815,0.00002540116],"category_scores_gemma":[0.001183134,0.00008360889,0.000281549,0.0005507768,0.0000685388,0.0003491593,0.00003288689,0.0001711355,5.450735e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001388081,"about_ca_system_score_gemma":0.0002313917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008740282,"about_ca_topic_score_gemma":0.00001734551,"domain_scores_codex":[0.9984018,0.0001884834,0.0006401549,0.0002172114,0.0003779931,0.0001743503],"domain_scores_gemma":[0.9956157,0.001232043,0.0002945127,0.0002054256,0.002525161,0.0001271323],"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.03022037,0.008771334,0.07179734,0.007779865,0.08766513,0.0001235789,0.004975602,0.1233287,0.1867863,0.3269029,0.1173267,0.03432212],"study_design_scores_gemma":[0.0132152,0.004338246,0.02392271,0.0005076928,0.01384724,0.0001686279,0.01089715,0.7363858,0.01055939,0.1699239,0.01507267,0.001161327],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3439895,0.0003966294,0.6535025,0.001078901,0.0002305542,0.0006233816,0.0001133634,0.00001324321,0.0000519113],"genre_scores_gemma":[0.9706988,0.00002364518,0.02732171,0.0001722513,0.0001743264,0.00008816162,0.0000288118,0.00001760856,0.00147473],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6267093,"threshold_uncertainty_score":0.3409472,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09273865333497774,"score_gpt":0.4323051151319789,"score_spread":0.3395664617970012,"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."}}