Related papers: A Proof of Kamp's theorem
A very short and direct proof along the lines of the Kamae-Katznelson-Weiss approach.
We give a streamlined short proof of Newman's theorem in communication complexity by applying the classical and the approximate Carath\'eodory's theorems.
We give a new proof of a lemma by L. Shepp, that was used in connection to random coverings of a circle.
This expository note presents a constructive proof of Wigner's theorem using only a few basic facts about Hilbert spaces, such as the existence of orthonormal bases and the Fourier decomposition of a vector. Our proof is based on a proof by…
We present a short new proof of the canonical polynomial van der Waerden theorem, recently established by Girao [arXiv:2004.07766].
We produce a new, shorter construction of a minor-universal planar graph.
In this expository article we provide an elegant proof of the one-sided Ingham-Karamata Tauberian theorem. As an application, we present a short deduction of the prime number theorem.
Cook's theorem is commonly expressed such as any polynomial time-verifiable problem can be reduced to the SAT problem. The proof of Cook's theorem consists in constructing a propositional formula A(w) to simulate a computation of TM, and…
A generalization of the law of total covariance is presented and proved.
In this article we propose a revisitation of the well-known argument principle that may lead to the solution of the Riemann hypothesis. We are looking for collaborators.
In this note, we provide a short proof of Feige's conjecture for identically distributed random variables.
This short note present a "proof" of $P\neq NP$. The "proof" with double quotation marks is to indicate that we do not know whether the proof is correct or not (We're confused because we do know in which we make the mistakes).
We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.
We give a q-analogue of Gauss' divisibility theorem
In this note we give a particularly short and simple proof of the following theorem of Karrass and Solitar. Let $H$ be a finitely generated subgroup of a free group $F$ with infinite index $[F:H]$. Then there is a nontrivial normal subgroup…
We give a generalization of Fujisawa's theorem in [F]. Our proof of the generalized theorem is purely algebraic and it is simpler than his proof.
We prove several extensions of the Erdos-Fuchs theorem.
We present a streamlined and simplified proof of the Kakeya set conjecture in $\mathbb{R}^3$.
How was this proof overlooked for 181 years? We give a simple proof of Descartes's circle theorem using Cayley-Menger determinants.
A simple expression is derived for the terms in the Baker-Campbell-Hausdorff series. One formulation of the result involves a finite number of operations with matrices of rational numbers. Generalizations are discussed.