267:=2, one can think of darts being thrown at a board, with their landing spots in the plane distributed according to a 2-variable normal distribution centered at the origin. (This is a reasonable assumption for any given darts player, with different players being described by different normal distributions.) If we now consider a circle and a rectangle in the plane, both centered at the origin, then the proportion of the darts landing in the intersection of both shapes is no less than the product of the proportions of the darts landing in each shape. This can also be formulated in terms of
17:
20:
The gaussian correlation inequality states that probability of hitting both circle and rectangle with a dart is greater than or equal to the product of the individual probabilities of hitting the circle or the
484:
258:
451:
439:. Proceedings of the Sixth Berkeley Symposium on Mathematical Statistics and Probability. Vol. II: Probability theory. Berkeley, California: Univ. California Press. pp. 241β265.
305:
The conjecture, and its solution, came to public attention in 2017, when other mathematicians described Royen's proof in a mainstream publication and popular media reported on the story.
183:
635:
115:
321:
Dunnett, C. W.; Sobel, M. (1955). "Approximations to the probability integral and certain percentage points of a multivariate analogue of
Student's t -distribution".
302:. Another reason was a history of false proofs (by others) and many failed attempts to prove the conjecture, causing skepticism among mathematicians in the field.
135:
82:
660:
271:: if you're informed that your last dart hit the rectangle, then this information will increase your estimate of the probability that the dart hit the circle.
294:, a retired German statistician, proved it using relatively elementary tools. In fact, Royen generalized the conjecture and proved it for multivariate
298:. The proof did not gain attention when it was published in 2014, due to Royen's relative anonymity and the fact that the proof was published in a
610:
713:
138:
708:
364:
195:
703:
687:
147:
16:
287:=2 was proved in 1977 and certain special cases of higher dimension have also been proven in subsequent years.
268:
46:
91:
42:
527:"A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions"
437:
Inequalities on the probability content of convex regions for elliptically contoured distributions
616:
588:
538:
507:
417:
295:
606:
409:
338:
299:
598:
499:
463:
399:
330:
279:
A special case of the inequality was conjectured in 1955; further development was given by
283:
in 1958. The general case was stated in 1972, also as a conjecture. The case of dimension
280:
120:
67:
50:
583:
LataΕa, R.; Matlak, D. (2017). "Royen's Proof of the
Gaussian Correlation Inequality".
435:
Das Gupta, S.; Eaton, M. L.; Olkin, I.; Perlman, M.; Savage, L. J.; Sobel, M. (1972).
697:
511:
421:
186:
620:
291:
636:"Retired man solves one of hardest maths problems in the world and no one notices"
602:
334:
142:
503:
468:
413:
404:
387:
342:
558:
526:
485:"A Particular Case of Correlation Inequality for the Gaussian Measure"
593:
587:. Lecture Notes in Mathematics. Vol. 2169. pp. 265β275.
543:
290:
The general case of the inequality remained open until 2014, when
15:
452:"A Gaussian Correlation Inequality for Symmetric Convex Sets"
386:
Schechtman, G.; Schlumprecht, Th.; Zinn, J. (January 1998).
253:{\displaystyle \mu (E\cap F)\geq \mu (E)\cdot \mu (F).}
198:
150:
123:
94:
70:
661:"Erfolg mit 67 Jahren: Der Wunderopa der Mathematik"
252:
177:
129:
109:
76:
388:"On the Gaussian measure of the intersection"
88:-dimensional Gaussian probability measure on
8:
365:"A Long-Sought Proof, Found and Almost Lost"
61:The Gaussian correlation inequality states:
358:
356:
354:
352:
178:{\displaystyle E,F\subset \mathbb {R} ^{n}}
531:Far East Journal of Theoretical Statistics
592:
542:
467:
403:
197:
169:
165:
164:
149:
122:
101:
97:
96:
93:
69:
585:Geometric Aspects of Functional Analysis
313:
141:, centered at the origin. Then for all
363:Wolchover, Natalie (March 28, 2017).
7:
688:The Gaussian Correlation Conjecture
14:
139:multivariate normal distribution
110:{\displaystyle \mathbb {R} ^{n}}
525:Royen, Thomas (November 2014).
35:Gaussian correlation conjecture
27:Gaussian correlation inequality
659:Dambeck, Holger (2017-04-04).
244:
238:
229:
223:
214:
202:
1:
634:Farand, Chloe (2017-04-03).
603:10.1007/978-3-319-45282-1_17
730:
714:Probabilistic inequalities
187:symmetric about the origin
559:"Pushpa Publishing House"
492:The Annals of Probability
456:The Annals of Probability
392:The Annals of Probability
335:10.1093/biomet/42.1-2.258
269:conditional probabilities
33:), formerly known as the
263:As a simple example for
450:Pitt, Loren D. (1977).
47:mathematical statistics
709:Geometric inequalities
504:10.1214/aop/1022874822
483:Harge, Gilles (1999).
469:10.1214/aop/1176995808
405:10.1214/aop/1022855422
254:
179:
131:
111:
78:
22:
255:
180:
132:
112:
79:
19:
196:
148:
130:{\displaystyle \mu }
121:
92:
77:{\displaystyle \mu }
68:
43:mathematical theorem
296:gamma distributions
250:
175:
127:
107:
74:
23:
704:Gaussian function
612:978-3-319-45281-4
367:. QUANTA magazine
300:predatory journal
45:in the fields of
721:
686:George Lowther,
675:
674:
672:
671:
656:
650:
649:
647:
646:
631:
625:
624:
596:
580:
574:
573:
571:
569:
555:
549:
548:
546:
522:
516:
515:
498:(4): 1939β1951.
489:
480:
474:
473:
471:
447:
441:
440:
432:
426:
425:
407:
383:
377:
376:
374:
372:
360:
347:
346:
329:(1β2): 258β267.
318:
259:
257:
256:
251:
184:
182:
181:
176:
174:
173:
168:
136:
134:
133:
128:
116:
114:
113:
108:
106:
105:
100:
83:
81:
80:
75:
729:
728:
724:
723:
722:
720:
719:
718:
694:
693:
690:, "Almost Sure"
683:
678:
669:
667:
658:
657:
653:
644:
642:
640:The Independent
633:
632:
628:
613:
582:
581:
577:
567:
565:
557:
556:
552:
524:
523:
519:
487:
482:
481:
477:
449:
448:
444:
434:
433:
429:
385:
384:
380:
370:
368:
362:
361:
350:
320:
319:
315:
311:
281:Olive Jean Dunn
277:
194:
193:
163:
146:
145:
119:
118:
95:
90:
89:
66:
65:
59:
51:convex geometry
12:
11:
5:
727:
725:
717:
716:
711:
706:
696:
695:
692:
691:
682:
681:External links
679:
677:
676:
665:SPIEGEL ONLINE
651:
626:
611:
575:
550:
537:(2): 139β145.
517:
475:
462:(3): 470β474.
442:
427:
398:(1): 346β357.
378:
348:
312:
310:
307:
276:
273:
261:
260:
249:
246:
243:
240:
237:
234:
231:
228:
225:
222:
219:
216:
213:
210:
207:
204:
201:
172:
167:
162:
159:
156:
153:
126:
104:
99:
73:
58:
55:
13:
10:
9:
6:
4:
3:
2:
726:
715:
712:
710:
707:
705:
702:
701:
699:
689:
685:
684:
680:
666:
662:
655:
652:
641:
637:
630:
627:
622:
618:
614:
608:
604:
600:
595:
590:
586:
579:
576:
564:
563:www.pphmj.com
560:
554:
551:
545:
540:
536:
532:
528:
521:
518:
513:
509:
505:
501:
497:
493:
486:
479:
476:
470:
465:
461:
457:
453:
446:
443:
438:
431:
428:
423:
419:
415:
411:
406:
401:
397:
393:
389:
382:
379:
366:
359:
357:
355:
353:
349:
344:
340:
336:
332:
328:
324:
317:
314:
308:
306:
303:
301:
297:
293:
288:
286:
282:
274:
272:
270:
266:
247:
241:
235:
232:
226:
220:
217:
211:
208:
205:
199:
192:
191:
190:
188:
170:
160:
157:
154:
151:
144:
140:
124:
102:
87:
71:
62:
57:The statement
56:
54:
52:
48:
44:
40:
36:
32:
28:
18:
668:. Retrieved
664:
654:
643:. Retrieved
639:
629:
584:
578:
566:. Retrieved
562:
553:
534:
530:
520:
495:
491:
478:
459:
455:
445:
436:
430:
395:
391:
381:
369:. Retrieved
326:
322:
316:
304:
292:Thomas Royen
289:
284:
278:
264:
262:
85:
63:
60:
38:
34:
30:
26:
24:
143:convex sets
698:Categories
670:2017-04-04
645:2017-04-04
594:1512.08776
323:Biometrika
309:References
21:rectangle.
544:1408.1028
512:118789169
422:119824731
414:0091-1798
343:0006-3444
236:μ
233:⋅
221:μ
218:≥
209:∩
200:μ
185:that are
161:⊂
125:μ
72:μ
41:), is a
621:36992343
371:April 4,
275:History
117:, i.e.
619:
609:
568:4 July
510:
420:
412:
341:
84:be an
617:S2CID
589:arXiv
539:arXiv
508:S2CID
488:(PDF)
418:S2CID
607:ISBN
570:2017
410:ISSN
373:2017
339:ISSN
64:Let
49:and
25:The
599:doi
500:doi
464:doi
400:doi
331:doi
53:.
39:GCC
31:GCI
700::
663:.
638:.
615:.
605:.
597:.
561:.
535:48
533:.
529:.
506:.
496:27
494:.
490:.
458:.
454:.
416:.
408:.
396:26
394:.
390:.
351:^
337:.
327:42
325:.
189:,
137:a
673:.
648:.
623:.
601::
591::
572:.
547:.
541::
514:.
502::
472:.
466::
460:5
424:.
402::
375:.
345:.
333::
285:n
265:n
248:.
245:)
242:F
239:(
230:)
227:E
224:(
215:)
212:F
206:E
203:(
171:n
166:R
158:F
155:,
152:E
103:n
98:R
86:n
37:(
29:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.