{"id":"W2039345231","doi":"10.1016/j.jfa.2009.09.023","title":"Intersections of Schubert varieties and eigenvalue inequalities in an arbitrary finite factor","year":2009,"lang":"en","type":"article","venue":"Journal of Functional Analysis","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Mathematics; Ultraproduct; Eigenvalues and eigenvectors; Embedding; Pure mathematics; Factor (programming language); Inequality; Algebra over a field; Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002505859,0.00007929373,0.000253192,0.0008513536,0.00004882109,0.00005999795,0.0001581673,0.00003360469,0.00003187062],"category_scores_gemma":[0.00005065873,0.00006526811,0.0001625307,0.0008432495,0.00003164704,0.0008178282,0.00002617631,0.0001400007,5.956836e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002943495,"about_ca_system_score_gemma":0.00007923737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005188692,"about_ca_topic_score_gemma":0.00004804149,"domain_scores_codex":[0.9989917,0.00008271779,0.0004656752,0.000115036,0.0002577109,0.00008716145],"domain_scores_gemma":[0.9992323,0.0001558652,0.0002687919,0.00009626822,0.0001791973,0.00006761398],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"observational","study_design_scores_codex":[0.0008941773,0.002414999,0.2558784,0.0000766833,0.004148837,0.0001016582,0.02133485,0.2889544,0.01846091,0.2423347,0.000471969,0.1649285],"study_design_scores_gemma":[0.0003531806,0.0005377164,0.8232499,0.00001651852,0.0001342438,0.00002793742,0.0002836419,0.1251838,0.0004314279,0.04960241,0.00005610409,0.0001231286],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6919886,0.0001159883,0.3071951,0.0004987884,0.0001152427,0.0000133107,0.000002834654,0.000006348525,0.00006375237],"genre_scores_gemma":[0.9959404,0.00002028573,0.003703859,0.0001857795,0.00009527965,3.581001e-7,0.000002811696,0.000001459079,0.00004975524],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5673715,"threshold_uncertainty_score":0.2661556,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02761572254709462,"score_gpt":0.2504690780764174,"score_spread":0.2228533555293228,"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."}}