Related papers: A Simple Proof of Sharkovsky's Theorem Revisited
In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.
In this note, we give an alternate proof of the multinomial theorem using a probabilistic approach. Although the multinomial theorem is basically a combinatorial result, our proof may be simpler for a student familiar with only basic…
We give a simple proof of the Fourier Inversion Theorem, using the methods of nonstandard analysis.
A criterion is established for the transitivity of connectedness in a transfinite graph. Its proof is much shorter than a prior argument published previously for that criterion.
We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy…
We go back to a graph used extensively in previous papers with Michela Procesi and Bich Van Nguyen to studi the non linear Scroginger equation. We fix several mistakes of that treatment and try to expand some proofs which were confused or…
We present a simpler proof of Naji's characterization of circle graphs.
An orientation of a graph is semi-transitive if it contains no directed cycles and has no shortcuts. An undirected graph is semi-transitive if it can be oriented in a semi-transitive manner. The class of semi-transitive graphs includes…
Kolmogorov's invariant torus theorem is proved using a simple fixed point theorem.
In [FJJK] the Sharkovski\u{i} Theorem was extended to periodic orbits of strips of quasiperiodic skew products in the cylinder. In this paper we deal with the following natural question that arises in this setting: Does Sharkovski\u{i}…
By using the properties of the uniformly distributed sequences of real numbers on $(0,1)$, a short proof of a certain version of Kolmogorov strong law of large numbers is presented which essentially differs from Kolmogorov's original proof.
A proof of Sendov's conjecture is given.
I present a simple, elementary proof of Morley's theorem, highlighting the naturalness of this theorem.
Proofs of Tychonoff's theorem often seem to require a bit of magic. Machinery such as ultrafilters, nets or maximal families with the finite intersection property are employed to give proofs that can be very neat, but not the kind of thing…
We present a short proof of Szemer\'edi's Theorem using a dynamical system enriched by ideas from model theory. The resulting proof contains features reminiscent of proofs based on both ergodic theory and on hypergraph regularity.
Simple and shorter proofs of two Dirac-type theorems involving connectivity are presented.
The paper contains an alternative proof of M. Kontsevich Formality Theorem.
This is a companion note to our paper 'Some advances on Sidorenko's conjecture', elaborating on a remark in that paper that the approach which proves Sidorenko's conjecture for strongly tree-decomposable graphs may be extended to a broader…
These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone…
Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.