Source abstract
For N≥2 and β>0, consider the canonical 2D Coulomb gas ensemble \begin{equation} \mathrm{d}\mathbb{P}_{N,β}(Z) =\mathsf{Z}_{N,β}^{-1}e^{-β|Z|^2/2} \prod_{i 0,thisGibbsmeasuresatisfiesalogarithmicSobolevinequality(LSI)ontheclosedDirichlet−formdomaingeneratedbycollision−freecompactlysupportedsmoothfunctions,withapositiveconstantindependentofN.TheLSIconstantmaybechosenuniformlywhenβrangesoveracompactsubsetof(0,\infty).AsecondmainresultestablishesPoincareˊandlogarithmicSobolevinequalitiesforplanarGaussianmeasuresweightedbyfiniteproductsofpositivepowersofdistancestopoints,withconstantsdependingonlyonthetotalvarianceoftheunderlyingGaussianmeasureandthetotalexponent,notonthenumberorlocationsofthepoints.ToprovethefulllabeledPoincareˊinequality,wedecomposevarianceintopermutation−invariantandlabel−dependentparts,controlledrespectivelybyaweighted\bar\partialestimateandbyrelative−coordinateconditioningwithrandomtranspositions;separately,one−sitelogarithmicSobolevinequalities,aconditionalentropyinequality,andarepulsivepartitionestimategiveadefectivelogarithmicSobolevinequality.RothaustighteningcombinestheresultingfulllabeledPoincareˊinequalitywiththedefectivelogarithmicSobolevinequality.Nouniformityasβ\to0orβ\to\infty$ is asserted.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.