{"id":"W4317612200","doi":"10.1016/j.aim.2023.108859","title":"D-finiteness, rationality, and height II: Lower bounds over a set of positive density","year":2023,"lang":"en","type":"article","venue":"Advances in Mathematics","topic":"Mathematical Dynamics and Fractals","field":"Mathematics","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Logarithm; Combinatorics; Series (stratigraphy); Field (mathematics); Function (biology); Set (abstract data type); Rationality; Mathematical analysis; Pure mathematics","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.0007984735,0.0002183411,0.0005536719,0.0001527086,0.0001063612,0.00002973912,0.0001796019,0.0001120709,0.0001150878],"category_scores_gemma":[0.0009640227,0.0001862235,0.00008494889,0.0004762607,0.0002055788,0.0003031582,0.0002598159,0.0001527995,0.00001472095],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003312961,"about_ca_system_score_gemma":0.00003008705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004278254,"about_ca_topic_score_gemma":0.00004987753,"domain_scores_codex":[0.9983075,0.00004878606,0.0006946921,0.0002538894,0.0004156012,0.00027954],"domain_scores_gemma":[0.9973199,0.001830204,0.00029786,0.0003663442,0.0001181253,0.00006753227],"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.00001674655,0.0003039827,0.001056386,0.00118201,0.0000343259,0.00002327832,0.002002956,0.00001702559,0.000226503,0.9943447,0.0001706978,0.0006213991],"study_design_scores_gemma":[0.0003567912,0.0000587099,0.001493727,0.0003463932,0.0000315331,0.00001286171,0.0002620873,0.01755862,0.0002207319,0.9791166,0.0003336347,0.0002082806],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.974284,0.0002448376,0.01516057,0.0002710423,0.0001504999,0.0005075676,0.0001170047,0.00009866498,0.009165841],"genre_scores_gemma":[0.9564697,0.0005588795,0.04178226,0.00006647125,0.00005478115,0.00004133779,0.00003357473,0.00004853484,0.0009445107],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0266217,"threshold_uncertainty_score":0.7593975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02858035666298914,"score_gpt":0.3442782580831911,"score_spread":0.3156979014202019,"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."}}