{"id":"W4416781455","doi":"10.48550/arxiv.2511.21656","title":"Simple proofs of discretised projection theorems","year":2025,"lang":"","type":"preprint","venue":"ArXiv.org","topic":"Mathematical Dynamics and Fractals","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Projection (relational algebra); Mathematical proof; Simple (philosophy); Lebesgue measure; Lebesgue integration; Measure (data warehouse); Polynomial; Set (abstract data type)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001978067,0.001403186,0.0007672756,0.001275062,0.00107045,0.002150289,0.001896853,0.001262041,0.01932957],"category_scores_gemma":[0.007070316,0.0005491888,0.001921368,0.001227731,0.003155341,0.005227927,0.00698462,0.006501346,0.003082909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001339006,"about_ca_system_score_gemma":0.0006052678,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002973276,"about_ca_topic_score_gemma":0.0003028608,"domain_scores_codex":[0.9981329,0.0003960667,0.00008156534,0.0003377234,0.0008634449,0.0001883057],"domain_scores_gemma":[0.9976131,0.001259017,0.0001260079,0.00041473,0.0004174979,0.0001696366],"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.0000229374,0.00001647663,0.00005683606,0.0001303537,0.0000138015,0.0001216511,0.0001249512,0.001979331,0.001798745,0.9854748,0.00298491,0.007275192],"study_design_scores_gemma":[0.00002062987,0.00002844913,0.0001117355,0.00004175627,0.000007922462,0.000190992,0.00003496854,0.008643564,0.00208916,0.9720836,0.0167257,0.00002153304],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01483451,0.001676421,0.899671,0.002134668,0.001189757,0.0001152229,0.0007069815,0.0007702977,0.07890105],"genre_scores_gemma":[0.5492168,0.005370204,0.376279,0.004169048,0.002509779,0.001248081,0.001791659,0.001376822,0.05803859],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01932957,"threshold_uncertainty_score":0.06466389,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.058383843586302,"score_gpt":0.3364930528759291,"score_spread":0.2781092092896271,"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."}}