{"id":"palomar/PALOMAR-2026-09-19-000002","url":"https://github.com/CoolRmal/centered-maximal-constant/tree/72c022ba09032b522c878cca2f9b6c68217d77ea","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-09-19-000002-v3.json","repo":"https://github.com/CoolRmal/centered-maximal-constant","tags":["math.CA","math.FA","msc:42B25","msc:26D15","msc:35R11","harmonic-analysis","maximal-functions","lean"],"score":0,"title":"Centred maximal constants for cubes and Euclidean balls","trust":"high","domain":"math.CA","source":"palomar","authors":["Yongxi Lin"],"reviews":0,"subject":"math.CA","summary":"Lean proofs of Yongxi Lin's original weak type (1,1) bounds: c_2 >= 1.6855 and c_2 = 3. Also proves the classical cube bound c_d <= 2^d.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-01","reactions":{},"formalized":true,"formalizes":[{"title":"The centred maximal constant for discs is at most e","identifier":"https://claude.ai/artifact/H4Kdhs9dPAcGmEtzwkJ65a","relationship":"formalizes"},{"title":"Kernel comparison for the centred maximal operator: an unpublished manuscript proving c_2 < 3.615749","identifier":"","relationship":"adapts"}]}