A Free Analog of Bobkov's Gaussian Isoperimetry Inequality
Abstract
We prove a one-variable functional inequality which is the free probability analog of Bobkov's isoperimetry inequality. The inequality involves the L1 norm of the difference quotient of a function f and can be viewed as a non-local isoperimetric inequality. We also prove related inequalities for subsets of an interval as well as for subsets of roots of Hermite polynomials. This paper is also an experiment in AI-based exploration of free analogs of classical probability statements.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.