A Maxwell principle for generalized Orlicz balls

In [A dozen de {F}inetti-style results in search of a theory, Ann. Inst. H. Poincar'{e} Probab. Statist. 23(2)(1987), 397–423], Diaconis and Freedman studied low-dimensional projections of random vectors from the Euclidean unit sphere and the simplex in high dimensions, noting that the individual coordinates of these random vectors look like Gaussian and exponential random variables respectively. In subsequent works, Rachev and R"uschendorf and Naor and Romik unified these results by establishing a connection between ${\mathrm{\ell }}_p^N$ balls and a $p$-generalized Gaussian distribution. In this paper, we study similar questions in a significantly generalized and unifying setting, looking at low-dimensional projections of random vectors uniformly distributed on sets of the form $$B_{\varphi ,t}^N:=\{(s_1,\dots ,s_N)\in {\mathbb{R}}^N:\sum _{i=1}^N\varphi (s_i)\le tN\},$$ where $\varphi :\mathbb{R}\to [0,\mathrm{\infty }]$ is a potential (including the case of Orlicz functions). Our method is different from both Rachev-R"uschendorf and Naor-Romik, based on a large deviation perspective in the form of quantitative versions of Cram'er’s theorem and the Gibbs conditioning principle, providing a natural framework beyond the $p$-generalized Gaussian distribution while simultaneously unraveling the role this distribution plays in relation to the geometry of ${\mathrm{\ell }}_p^N$ balls. We find that there is a critical parameter $t_{\mathrm{c}\mathrm{r}\mathrm{i}\mathrm{t}}$ at which there is a phase transition in the behaviour of the projections: for $t > t_{$\mathrm{c}\mathrm{r}\mathrm{i}\mathrm{t}$}$thecoordinatesofrandompointssampledfrom$B_{\phi,t}^N$behavelikeuniformrandomvariables,butfor$t \leq t_{$\mathrm{c}\mathrm{r}\mathrm{i}\mathrm{t}$}$ the Gibbs conditioning principle comes into play, and here there is a parameter ${\beta }_t>0$ (the inverse temperature) such that the coordinates are approximately distributed according to a density proportional to $e^{ -\beta_t\phi(s)}$.