Local Bernstein theory, and lower bounds for Lebesgue constants
Summary
Terence Tao announces a arXiv preprint on Local Bernstein theory and lower bounds for Lebesgue constants, outlining localized Bernstein-type inequalities for holomorphic functions and polynomials, and presenting both pointwise and integral bounds relevant to Lebesgue constants. The post also narrates the role of AI tools in deriving the bound for the integral term, including AlphaEvolve and ChatGPT, as part of the research workflow, alongside classical analytic techniques like contour integration and residue calculus.