Gaussiske korrelationsulighed

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,[1] og en mere generel formulering blev udgivet i 1972, ligeledes som en matematisk sætning.[2]

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.[3] En anden årsag var de adskillige mislykkede forsøg på at bevise den.[4]

Sætningen og dens løsning blev offentlig kendt i 2017, da mainstreammedier bragte nyheden om Royens bevis.[4][5][6]

SætningenRedigér

Lad   være det almindelige n-dimensionelle gaussiske mål . 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.[7]

ReferencerRedigér

  1. ^ 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.
  2. ^ 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.
  3. ^ [1408.1028] A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions
  4. ^ a b Wolchover, Natalie (28. marts 2017). A Long-Sought Proof, Found and Almost Lost. QUANTA magazine. 
  5. ^ Farand, Chloe (2017-04-03). "Retired man solves one of hardest maths problems in the world and no one notices" (på en-GB). The Independent. 
  6. ^ Dambeck, Holger (2017-04-04). Erfolg mit 67 Jahren: Der Wunderopa der Mathematik. 
  7. ^ Pensionist har løst et af verdens sværeste matematiske problemer. DR. Hentet 5/4-2017
  • Thomas Royen, "A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions", arXiv:1408.1028
  • Rafał Latała, Dariusz Matlak, "Royen's proof of the Gaussian correlation inequality", arXiv:1512.08776

Eksterne henvisningerRedigér