{"id":"palomar/PALOMAR-2026-11-03-000020","url":"https://github.com/anastasiosfragkosmath/Pointwise-Ergodic-Theorems-Along-floor-p-c-Palomar-Submission/tree/87f3fd829cde98edbc5eaa3deee462c598b920b0","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-11-03-000020-v1.json","repo":"https://github.com/anastasiosfragkosmath/Pointwise-Ergodic-Theorems-Along-floor-p-c-Palomar-Submission","tags":["math.DS","math.NT","msc:37A30","msc:37A44"],"score":0,"title":"Pointwise Ergodic Theorems Along $\\lfloor p^c\\rfloor$ for Every $c>1$","trust":"high","domain":"math.DS","source":"palomar","authors":["Anastasios Fragkos"],"reviews":0,"subject":"math.DS","summary":"Lean 4 formalization of the variational estimate, common pointwise limit for von Mangoldt and prime averages, and logarithmic Mobius cancellation in Pointwise Ergodic Theorems Along $\\lfloor p^c\\rfloor$ for Every $c>1$. The author selected the a.e. conclusion for the submitted prime-convergence statement. All results are stated for sigma-finite measure-preserving systems.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-11-03","reactions":{},"formalized":true,"formalizes":[{"title":"Pointwise Ergodic Theorems Along $\\lfloor p^c\\rfloor$ for Every $c>1$","identifier":"","relationship":"formalizes"}]}