Den Gaussiske korrelationsulighed, tidligere kendt som den Gaussiske korrelationsformodning er en matematisk sætning inden for matematisk statistik og konveks geometri. Et specialtilfælde af uligheden blev udgivet som en sætning i en videnskabelig artikel fra 1955,Dunnett, C. W.; Sobel, M. Approximations to the probability integral and certain percentage points of a multivariate analogue of Student's t-distribution. Biometrika 42, (1955). 258–260. og en mere generel formulering blev udgivet i 1972, ligeledes som en matematisk sætning.Das Gupta, S.; Eaton, M. L.; Olkin, I.; Perlman, M.; Savage, L. J.; Sobel, M. Inequalitites on the probability content of convex regions for elliptically contoured distributions. Proceedings of the Sixth Berkeley Symposium on Mathematical Statistics and Probability (Univ. California, Berkeley, Calif., 1970/1971), Vol. II: Probability theory, pp. 241–265. Univ. California Press, Berkeley, Calif., 1972.
Sætningen blev ikke bevist før 2014, hvor den tyske statistiker Thomas Royen beviste den med temmelig simple værktøjer. Beviset blev dog ikke almindeligt kendt, da Royen var en relativt ukendt videnskabsmand, der havde valgt at udgive beviset i et mindre matematik-tidsskrift, efter at større og mere kendte tidsskrifter havde afvist at udgive hans artikel.[1408.1028] A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions En anden årsag var de adskillige mislykkede forsøg på at bevise den.
Sætningen og dens løsning blev offentlig kendt i 2017, da mainstreammedier bragte nyheden om Royens bevis.
Sætningen
Lad være det almindelige n-dimensionelle gaussiske mål på . Da vil for alle konvekse mængder som er symmetriske omkring origo,
Royens bevis for sætningen generaliserede den, og demonstrerede det samme udsagn for gammafordelingen.
Som et simpelt eksempel kan man tænke på normalfordelte dartpile i ét plan. Hvis man betragter en ellipse og et rektangel, der begge er centreret i midten, da vil andelen af dartpile, der rammer det område, hvor de to figurer overlapper, ikke være mindre end produktet af andelene af dartpile, som lander i hver figur.Pensionist har løst et af verdens sværeste matematiske problemer. DR. Hentet 5/4-2017
Referencer
Thomas Royen, "A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions", Rafał Latała, Dariusz Matlak, "Royen's proof of the Gaussian correlation inequality",
Eksterne henvisninger George Lowther, The Gaussian Correlation Conjecture, "Almost Sure"
Kategori:Sandsynlighedsregning Kategori:Matematiske sætninger