{"id":12008,"date":"2019-12-15T14:09:57","date_gmt":"2019-12-15T13:09:57","guid":{"rendered":"http:\/\/djalil.chafai.net\/blog\/?p=12008"},"modified":"2021-12-17T22:37:59","modified_gmt":"2021-12-17T21:37:59","slug":"an-unexpected-distribution","status":"publish","type":"post","link":"https:\/\/djalil.chafai.net\/blog\/2019\/12\/15\/an-unexpected-distribution\/","title":{"rendered":"An unexpected distribution"},"content":{"rendered":"<p style=\"text-align: center;\"><a style=\"text-decoration: none;\"><span style=\"color: #333399; font-size: 1000%; font-weight: normal;\" title=\"\">\u03a3<\/span><\/a><\/p>\n<p style=\"text-align: justify;\">Let $X=(X_1,\\ldots,X_n)$ be a random vector of $(\\mathbb{R}^d)^n$ with density proportional to $$(x_1,\\ldots,x_n)\\in(\\mathbb{R}^d)^n\\mapsto\\mathrm{e}^{-\\beta\\sum_{i=1}^nV(x_i)}\\prod_{i&lt;j}W(x_i-x_j),$$ where $V,W:\\mathbb{R}^d\\to\\mathbb{R}$ are homogeneous functions, with $W\\geq0$. This means that there exist $a,b\\geq0$ such that for all $\\lambda\\geq0$ and $x\\in\\mathbb{R}^d$, $V(\\lambda x)=\\lambda^a V(x)$ and $W(\\lambda x)=\\lambda^bW(x)$. Now, for all $\\theta&gt;0$, by the change of variable $x_i=\\sqrt[a]{\\beta\/(\\theta+\\beta)}y_i$,<br \/>\n\\begin{multline*}<br \/>\n\\int_{(\\mathbb{R}^d)^n}\\mathrm{e}^{-(\\theta+\\beta)\\sum_iV(x_i)}\\prod_{i&lt;j}W(x_i-x_j)\\mathrm{d}x\\\\<br \/>\n=\\Bigr(\\frac{\\beta}{\\theta+\\beta}\\Bigr)^{\\frac{nd}{a}+\\frac{n(n-1)a}{2b}}<br \/>\n\\int_{(\\mathbb{R}^d)^n}\\mathrm{e}^{-\\beta\\sum_iV(y_i)}\\prod_{i&lt;j}W(y_i-y_j)\\mathrm{d}y.<br \/>\n\\end{multline*}<br \/>\nWe recognize the Laplace transform of a Gamma distribution, since<br \/>\n\\[<br \/>\n\\int_0^\\infty\\mathrm{e}^{-\\theta u}u^{\\alpha-1}\\mathrm{e}^{-\\beta u}\\mathrm{d}u<br \/>\n=\\int_0^\\infty u^{\\alpha-1}\\mathrm{e}^{-(\\theta+\\beta)u}\\mathrm{d}u<br \/>\n=\\Bigr(\\frac{\\beta}{\\theta+\\beta}\\Bigr)^\\alpha\\frac{\\Gamma(\\alpha)}{\\beta^\\alpha},<br \/>\n\\]and we obtain<br \/>\n\\[<br \/>\n\\sum_iV(X_i)\\sim\\mathrm{Gamma}\\Bigr(\\frac{nd}{a}+\\frac{n(n-1)b}{2a},\\beta\\Bigr).<br \/>\n\\]<br \/>\nA remarkable general fact! The case $V=\\frac{1}{2}\\left|\\cdot\\right|^2$ and $W=\\left|\\cdot\\right|^\\beta$ corresponds to the beta Ginibre gas of random matrix theory. The case $V=\\frac{n+1}{2}\\log(1+\\left|\\cdot\\right|^2)$ and $W=\\left|\\cdot\\right|^2$ corresponds to the Forrester--Krishnapur spherical gas of random matrix theory.<\/p>\n<p style=\"text-align: justify;\">We could generalize even more,\u00a0 and replace $(x_1,\\ldots,x_n)\\mapsto\\sum_iV(x_i)$ by a homogenenous $(x_1,\\ldots,x_n)\\mapsto V(x_1,\\ldots,x_n)$ and $(x_1,\\ldots,x_n)\\mapsto\\prod_{i&lt;j}W(x_i-x_j)$ by a homogeneous $(x_1,\\ldots,x_n)\\mapsto W(x_1,\\ldots,x_n)$, in the sense that for some $a,b\\geq0$ and all $\\lambda\\geq0$, $x\\in(\\mathbb{R}^d)^n$, $V(\\lambda x)=\\lambda^aV(x)$ and $W(\\lambda x)=\\lambda^bW(x)$. In this case $X=(X_1,\\ldots,X_n)$ has density proportional to $x\\in(\\mathbb{R}^d)^n\\mapsto\\mathrm{e}^{-\\beta V(x)}W(x)$. This would hide the structure of exchangeable gas with pair-interaction that we had in mind for the examples. But this would give $$V(X)=V(X_1,\\ldots,X_n)\\sim\\mathrm{Gamma}\\Bigr((n+b)\\frac{d}{a},\\beta\\Bigr).$$<\/p>\n<p style=\"text-align: justify;\"><strong>Epilogue.<\/strong> My first successful attempt to compute the law of $\\sum_i V(x_i)$ for Coulomb gases was by using a Langevin dynamics in the beta Ginibre case, in relation with a Cox-Ingersoll-Ross process, an observation that goes back to <a href=\"https:\/\/arxiv.org\/abs\/1706.08776\">my work in collaboration<\/a> with <a href=\"\/scripts\/search.php?q=Fran\u00e7ois+Bolley+mathematics\">Fran\u00e7ois Bolley<\/a> and <a href=\"\/scripts\/search.php?q=Joaquin+Fontbona+mathematics\">Joaqu\u00edn Fontbona<\/a>. I included this computation in a talk at <a href=\"https:\/\/en.wikipedia.org\/wiki\/Mathematical_Research_Institute_of_Oberwolfach\">Oberwolfach<\/a>, and mentioned that I do not have any other proof. After my talk, during the break, <a href=\"https:\/\/en.wikipedia.org\/wiki\/B%C3%A1lint_Vir%C3%A1g\">B\u00e1lint Vir\u00e1g<\/a> looked at me and said <em>Are you sure that there is no other proof<\/em>? This remark excited my mind and I realized after few hours of intense thinking that there is a direct proof without dynamics and that it is a fairly general fact for gases, far beyond Coulomb gases. The key point is a normalizing constant trick for probability distributions, learnt twenty years ago from <a href=\"https:\/\/www.genealogy.math.ndsu.nodak.edu\/id.php?id=90396\">G\u00e9rard Letac<\/a>. This is a typical story in the life of a mathematician.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>&Sigma; Let $X=(X_1,\\ldots,X_n)$ be a random vector of $(\\mathbb{R}^d)^n$ with density proportional to $$(x_1,\\ldots,x_n)\\in(\\mathbb{R}^d)^n\\mapsto\\mathrm{e}^{-\\beta\\sum_{i=1}^nV(x_i)}\\prod_{i&lt;j}W(x_i-x_j),$$ where $V,W:\\mathbb{R}^d\\to\\mathbb{R}$ are homogeneous functions, with $W\\geq0$. This means that there&#8230;<\/p>\n<div class=\"more-link-wrapper\"><a class=\"more-link\" href=\"https:\/\/djalil.chafai.net\/blog\/2019\/12\/15\/an-unexpected-distribution\/\">Continue reading<span class=\"screen-reader-text\">An unexpected distribution<\/span><\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":132},"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts\/12008"}],"collection":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/comments?post=12008"}],"version-history":[{"count":48,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts\/12008\/revisions"}],"predecessor-version":[{"id":15631,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts\/12008\/revisions\/15631"}],"wp:attachment":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/media?parent=12008"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/categories?post=12008"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/tags?post=12008"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}