Thomas Royen

Last updated
Thomas Royen
Born
Thomas Royen

(1947-07-06) 6 July 1947 (age 72)
Residence Schwalbach am Taunus, Germany
Citizenship Germany
Alma mater Goethe University Frankfurt
University of Freiburg
Technical University Dortmund (PhD)
Known forProof of Gaussian correlation inequality
Scientific career
Fields Mathematics, Statistics
Thesis On Convergence Against Stable Laws (1975)

Thomas Royen (born July 6, 1947 in Frankfurt am Main) is a retired German professor of statistics who has been affiliated with the University of Applied Sciences Bingen. Royen came to prominence in the spring of 2017 for a relatively simple proof for the Gaussian Correlation Inequality (GCI), a conjecture that originated in the 1950s, which he had published three years earlier without much recognition. [1] A proof of this conjecture, which lies at the intersection of geometry, probability theory and statistics, had eluded top experts for decades. [2]

Contents

Life

Youth, studies and private life

Royen was born in 1947 to Paul Royen, a professor with the institute for inorganic chemistry at the Goethe University Frankfurt and Elisabeth Royen, also a chemist. From 1966 to 1971, he studied mathematics and physics at his father's university and the University of Freiburg. After graduating, he worked as a tutor at the University of Freiburg, before transferring to the Technical University of Dortmund for his doctoral thesis. After attaining his PhD in 1975 with a thesis called Über die Konvergenz gegen stabile Gesetze (On Convergence Against Stable Laws), he worked as a wissenschaftlicher Assistent at Dortmund University's institute for statistics. Married with children, Royen lives in Schwalbach am Taunus.

Career

In 1977, Royen started working as a statistician for the pharmaceutical company Hoechst AG. From 1979 to 1985, he worked at the company's own educational facility teaching mathematics and statistics. Starting in 1985 until becoming an emeritus in 2010, he taught statistics and mathematics at the University of Applied Sciences Bingen in Rhineland-Palatinate. [3]

Royen worked mainly on probability distributions, in particular multivariate chi-squares and gamma distributions, to improve some frequently used statistical test procedures. Nearly half of his circa 30 publications were written when he was aged over sixty. Because he was annoyed over some contradictory reviews and in a few cases also over the incompetence of a referee, he decided in his later years, when his actions had no influence anymore on his further career, to publish his papers on the online platform arXiv.org and sometimes in a less renowned Indian journal to fulfill, at least formally, the condition of a peer review. [4]

Proof of the Gaussian correlation inequality

On July 17, 2014, a few years after his retirement, when brushing his teeth, Royen had a flash of insight: how to use the Laplace transform of the multivariate gamma distribution to achieve a relatively simple proof for the Gaussian correlation inequality, a conjecture on the intersection of geometry, probability theory and statistics, formulated after work by Dunnett and Sobel (1955) and the American statistician Olive Jean Dunn (1958), [5] that had remained unsolved since then. He sent a copy of his proof to Donald Richards, an acquainted American mathematician, who worked on a proof of the GCI for 30 years. Richards immediately saw the validity of Royen's proof and subsequently helped him to transform the mathematical formulas into LaTeX. When Royen contacted other reputed mathematicians, though, they didn't bother to investigate his proof, because Royen was relatively unknown, and these mathematicians therefore estimated the chance that Royen's proof would be false as very high. [2]

Royen published this proof in an article with the title A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions on arXiv [6] and subsequently in the Far East Journal of Theoretical Statistics, [7] a relatively unknown periodical based in Allahabad, India, for which Royen was at the time voluntarily working as a referee himself. Due to this, his proof went at first largely unnoticed by the scientific community, [8] until in late 2015 two Polish mathematicians, Rafał Latała and Dariusz Matlak, wrote a paper in which they reorganized Royen's proof in a way that was intended to be easier to follow. [1] In July 2015, Royen supplemented his proof with a further paper in arXiv Some probability inequalities for multivariate gamma and normal distributions. [9]

On March 28, 2017 Natalie Wolchover of Quanta Magazine published a story about Royen's proof, after which he gained more academic and public recognition for his achievement, which is not only remarkable because of its mathematical significance but also of Royen's (from a mathematical perspective) advanced age (67) when he found the proof of the GCI. In addition to this, it's also noteworthy that the world of mathematics and statistics has apparently become so vast that experts in a field can be unaware two years after publication of a proof, that an important conjecture in their own field has been proved.

Related Research Articles

The Kepler conjecture, named after the 17th-century mathematician and astronomer Johannes Kepler, is a mathematical theorem about sphere packing in three-dimensional Euclidean space. It states that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing and hexagonal close packing arrangements. The density of these arrangements is around 74.05%.

Probability is a measure of the likeliness that an event will occur. Probability is used to quantify an attitude of mind towards some proposition of whose truth we are not certain. The proposition of interest is usually of the form "A specific event will occur." The attitude of mind is of the form "How certain are we that the event will occur?" The certainty we adopt can be described in terms of a numerical measure and this number, between 0 and 1, we call probability. Probability theory is used extensively in statistics, mathematics, science and philosophy to draw conclusions about the likelihood of potential events and the underlying mechanics of complex systems.

In probability theory, the central limit theorem states that, under certain circumstances, the probability distribution of the scaled mean of a random sample converges to a normal distribution as the sample size increases to infinity. Under stronger assumptions, the Berry–Esseen theorem, or Berry–Esseen inequality, gives a more quantitative result, because it also specifies the rate at which this convergence takes place by giving a bound on the maximal error of approximation between the normal distribution and the true distribution of the scaled sample mean. The approximation is measured by the Kolmogorov–Smirnov distance. In the case of independent samples, the convergence rate is n−1/2, where n is the sample size, and the constant is estimated in terms of the third absolute normalized moments.

In convex analysis, a non-negative function f : RnR+ is logarithmically concave if its domain is a convex set, and if it satisfies the inequality

Boris Tsirelson Russian mathematician

Boris Semyonovich Tsirelson is a Russian–Israeli mathematician and Professor of Mathematics at Tel Aviv University in Israel.

Thomas Callister Hales American mathematician

Thomas Callister Hales is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification. In representation theory he is known for his work on the Langlands program and the proof of the fundamental lemma over the group Sp(4). In discrete geometry, he settled the Kepler conjecture on the density of sphere packings and the honeycomb conjecture. In 2014, he announced the completion of the Flyspeck Project, which formally verified the correctness of his proof of the Kepler conjecture.

In statistics, the multivariate t-distribution is a multivariate probability distribution. It is a generalization to random vectors of the Student's t-distribution, which is a distribution applicable to univariate random variables. While the case of a random matrix could be treated within this structure, the matrix t-distribution is distinct and makes particular use of the matrix structure.

In mathematics, the Gaussian isoperimetric inequality, proved by Boris Tsirelson and Vladimir Sudakov, and later independently by Christer Borell, states that among all sets of given Gaussian measure in the n-dimensional Euclidean space, half-spaces have the minimal Gaussian boundary measure.

Inequalities are very important in the study of information theory. There are a number of different contexts in which these inequalities appear.

In mathematics, the Fortuin–Kasteleyn–Ginibre (FKG) inequality is a correlation inequality, a fundamental tool in statistical mechanics and probabilistic combinatorics, due to Cees M. Fortuin, Pieter W. Kasteleyn, and Jean Ginibre (1971). Informally, it says that in many random systems, increasing events are positively correlated, while an increasing and a decreasing event are negatively correlated. It was obtained by studying the random cluster model.

Tracy–Widom distribution

The Tracy–Widom distribution, introduced by Craig Tracy and Harold Widom, is the probability distribution of the normalized largest eigenvalue of a random Hermitian matrix.

Energy distance is a statistical distance between probability distributions. If X and Y are independent random vectors in Rd with cumulative distribution functions (cdf) F and G respectively, then the energy distance between the distributions F and G is defined to be the square root of

Inter-universal Teichmüller theory is the name given by mathematician Shinichi Mochizuki to a theory he developed in the 2000s, following his earlier work in arithmetic geometry. According to Mochizuki, it is "an arithmetic version of Teichmüller theory for number fields equipped with an elliptic curve". The theory was made public in a series of four preprints posted in 2012 to his website. The most striking claimed application of the theory is to provide a proof for various outstanding conjectures in number theory, in particular the abc conjecture. Mochizuki and a few other mathematicians claim that the theory indeed yields such a proof but this has so far not been accepted by the mathematical community.

Boson sampling constitutes a restricted model of non-universal quantum computation introduced by S. Aaronson and A. Arkhipov. It consists of sampling from the probability distribution of identical bosons scattered by a linear interferometer. Although the problem is well defined for any bosonic particles, its photonic version is currently considered as the most promising platform for a scalable implementation of a boson sampling device, which makes it a non-universal approach to linear optical quantum computing. Moreover, while not universal, the boson sampling scheme is strongly believed to implement a classically hard task using far fewer physical resources than a full linear-optical quantum computing setup. This makes it an outstanding candidate for demonstrating the power of quantum computation in the near term.

Olive Jean Dunn

Olive Jean Dunn was an American mathematician and statistician, and professor of biostatistics at the University of California Los Angeles (UCLA). She described methods for computing confidence intervals and also codified the Bonferroni correction's application to confidence intervals. She authored the textbook, Basic Statistics: A Primer for the Biomedical Sciences in 1977.

Gaussian correlation inequality mathematical theorem

The Gaussian correlation inequality (GCI), formerly known as the Gaussian correlation conjecture (GCC), is a mathematical theorem in the fields of mathematical statistics and convex geometry. A special case of the inequality was published as a conjecture in a paper from 1955; further development was given by Olive Jean Dunn in 1958. The general case was stated in 1972, also as a conjecture.

References

  1. 1 2 Rafal Latala and Dariusz Matlak, Royen's proof of the Gaussian correlation inequality, arXiv:1512.08776
  2. 1 2 "A Long-Sought Proof, Found and Almost Lost". Quanta Magazine . Natalie Wolchover. March 28, 2017. Retrieved May 1, 2017.
  3. "Curriculum Vitae Thomas Royen". Forschungsplattform des Landes Rheinland-Pfalz. Landesregierung Rheinland-Pfalz.
  4. "Der Beweis" (in German). Sibylle Anderl. April 7, 2017.
  5. Dunn, Olive Jean (March 1959). "Estimation of the medians for dependent variables". The Annals of Mathematical Statistics. 30 (1): 192–197. doi:10.1214/aoms/1177706374. JSTOR   2237135.
  6. Royen, T. (2014). "A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions". arXiv: 1408.1028 . Supplemented by Royen, Thomas (2015). "Some probability inequalities for multivariate gamma and normal distributions". arXiv: 1507.00528 .
  7. Thomas Royen: A simple proof of the Gaussian correlation conjecture extended to some multivariate gamma distributions, in: Far East Journal of Theoretical Statistics, Part 48 Nr. 2, Pushpa Publishing House, Allahabad 2014, p.139–145
  8. In the Quanta magazine article for instance Tilmann Gneiting, a statistician at the Heidelberg Institute for Theoretical Studies, just 65 miles from Bingen, said he was shocked to learn in July 2016, two years after the fact, that the GCI had been proved.
  9. Royen, Thomas (2015-07-02). "Some probability inequalities for multivariate gamma and normal distributions". arXiv: 1507.00528 [math.PR].