List of probabilistic proofs of non-probabilistic theorems

Analysis

• Normal numbers exist. Moreover, computable normal numbers exist. These non-probabilistic existence theorems follow from probabilistic results: a number chosen at random is normal almost surely ; some probabilistic inequalities behind the strong law. The existence of a normal number follows from immediately. The proof of the existence of computable normal numbers, based on, involves additional arguments. All known proofs use probabilistic arguments.
• Dvoretzky's theorem which states that high-dimensional convex bodies have ball-like slices is proved probabilistically. No deterministic construction is known, even for many specific bodies.
• The diameter of the Banach–Mazur compactum was calculated using a probabilistic construction. No deterministic construction is known.
• The original proof that the Hausdorff–Young inequality cannot be extended to is probabilistic. The proof of the de Leeuw–Kahane–Katznelson theorem is partially probabilistic.
• The first construction of a Salem set was probabilistic. Only in 1981 did Kaufman give a deterministic construction.
• Every continuous function on a compact interval can be uniformly approximated by polynomials, which is the Weierstrass approximation theorem. A probabilistic proof uses the weak law of large numbers. Non-probabilistic proofs were available earlier.
• Existence of a nowhere differentiable continuous function follows easily from properties of Wiener process. A non-probabilistic proof was available earlier.
• Stirling's formula was first discovered by Abraham de Moivre in his `The Doctrine of Chances' in order to be used in probability theory. Several probabilistic proofs of Stirling's formula were found in the 20th century.
• The only bounded harmonic functions defined on the whole plane are constant functions by Liouville's theorem. A probabilistic proof via two-dimensional Brownian motion is well known. Non-probabilistic proofs were available earlier.
• Non-tangential boundary values of an analytic or harmonic function exist at almost all boundary points of non-tangential boundedness. This result, and several results of this kind, are deduced from martingale convergence. Non-probabilistic proofs were available earlier.
• The boundary Harnack principle is proved using Brownian motion. Non-probabilistic proofs were available earlier.
• Euler's Basel sum, can be demonstrated by considering the expected exit time of planar Brownian motion from an infinite strip. A number of other less well-known identities can be deduced in a similar manner.
• The Picard theorem can be proved using the winding properties of planar Brownian motion.
• The fact that every Lipschitz function on the real line is differentiable almost everywhere can be proved using martingale convergence.
• Multidimensional Fourier inversion formula can be established by the weak law of large numbers and some elementary results from complex analysis.

  Combinatorics

• A number of theorems stating existence of graphs with desired properties are proved by the probabilistic method. Non-probabilistic proofs are available for a few of them.
• The maximum-minimums identity admits a probabilistic proof.
• Crossing number inequality which is a lower bound on the number of crossing for any drawing of a graph as a function of the number of vertices, edges the graph has.

  Algebra

• The fundamental theorem of algebra can be proved using two-dimensional Brownian motion. Non-probabilistic proofs were available earlier.
• The index theorem for elliptic complexes is proved using probabilistic methods. A non-probabilistic proof was available earlier.

  Topology and geometry

• A smooth boundary is evidently two-sided, but a non-smooth boundary can be quite complicated. It was conjectured to be two-sided in the sense that the natural projection of the Martin boundary to the topological boundary is at most 2 to 1 almost everywhere. This conjecture is proved using Brownian motion, local time, stochastic integration, coupling, hypercontractivity etc.. A non-probabilistic proof is found 18 years later.
• The Loewner's torus inequality relates the area of a compact surface to its systole. It can be proved most easily by using the probabilistic notion of variance. A non-probabilistic proof was available earlier.
• The weak halfspace theorem for minimal surfaces states that any complete minimal surface of bounded curvature which is not a plane is not contained in any halfspace. This theorem is proved using a coupling between Brownian motions on minimal surfaces. A non-probabilistic proof was available earlier.

  Number theory

• The normal number theorem, due to Émile Borel, could be one of the first examples of the probabilistic method, providing the first proof of existence of normal numbers, with the help of the first version of the strong law of large numbers.
• The Rogers–Ramanujan identities are proved using Markov chains. A non-probabilistic proof was available earlier.

  Quantum theory

• Non-commutative dynamics is formulated in terms of Von Neumann algebras and continuous tensor products of Hilbert spaces. Several results are obtained by probabilistic means. One part of this theory is translated into the analytic language and is developing analytically; the other part exists still in the probabilistic language only.
• Tripartite quantum states can lead to arbitrary large violations of Bell inequalities. The proof uses random unitary matrices. No other proof is available.

  Information theory

• The proof of Shannon's channel coding theorem uses random coding to show the existence of a code that achieves channel capacity.