Related papers: Hall's marriage theorem
In 1866 Gregor Mendel published a seminal paper containing the foundations of modern genetics. In 1936 Ronald Fisher published a statistical analysis of Mendel's data concluding that "the data of most, if not all, of the experiments have…
The law of likelihood underlies a general framework, known as the likelihood paradigm, for representing and interpreting statistical evidence. As stated, the law applies only to simple hypotheses, and there have been reservations about…
We give a proof of a conjecture of A. Lacasse in his doctoral thesis which has applications in machine learning algorithms. The proof relies on some interesting binomial sums identities introduced by Abel (1839), and on their generalization…
D'Alembert made the first serious attempt to prove the Fundamental Theorem of Algebra (FTA) in 1746. An elementary proof of (FTA) based on the same idea is given in Proofs from THE BOOK. We give a shorter and more transperant version of…
The first effective versions of Faltings product theorem are given by J.H. Evertse and R. Ferretti. Their results are improved quantitatively by P. Philippon, thanks to Samuel's multiplicity instead of the length in his zeros estimate. This…
A popular scientific contribution should not contradict any established facts and ought to be understandable. I complied with both these requirements and am offering a sufficiently full introduction to probability theory. Furthermore, I…
We will prove the Brannan conjecture for particular values of the parameter. The basic tool of the study is an integral representation published in a recent work [3].
In this work we show that based on a conjecture for the pair correlation of integers representable as sums of two squares, which was first suggested by Connors and Keating and reformulated here, the second moment of the distribution of the…
Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…
The material of the article is devoted to the most complicated and interesting problem -- a problem of P = NP?. This research was presented to mathematical community in Hyderabad during International Congress of Mathematicians. But there it…
In the paper, it is proved that if a finite group $G$ possesses a $\pi$-Hall subgroup for a set $\pi$ of primes, then every normal subgroup $A$ of $G$ possesses a $\pi$-Hall subgroup $H$ such that ${G=AN_G(H)}$.
Miller's 1937 splitting theorem was proved for pairs of cardinals $(\n,\rho)$ in which $n$ is finite and $\rho$ is infinite. An extension of Miller's theorem is proved here in ZFC for pairs of cardinals $(\nu,\rho)$ in which $\nu$ is…
The import of Bell's Theorem is elucidated. The theorem's proof is illustrated both heuristically and in mathematical detail in a pedagogical fashion. In the same fashion, it is shown that the proof is correct mathematically, but it doesn't…
A theory of matchings for finite subsets of an abelian group, introduced in connection with a conjecture of Wakeford on canonical forms for homogeneous polynomials, has since been extended to the setting of field extensions and to that of…
We use the comultiplication to prove that Hall polynomials exist for all finite and affine quivers. In the finite and cyclic cases, this approach provides a new and simple proof of the existence of Hall polynomials. In general, these…
Carath\'eodorys Theorem of convex hulls plays an important role in convex geometry. In 1982, B\'ar\'any formulated and proved a more general version, called the Colorful Carath\'eodory. This colorful version was even more generalized by…
Wall published a paper in 1960 on the Fibonacci sequence where he derived many results concerning the period and prime power divisibility modulo m. His periodicity results have been generalized to second order linear recurrences. Here we…
Many facts possess symmetrical counterparts that often require a separate formal proof, depending on the nature of the involved symmetry. We introduce a method in Isabelle/HOL which produces such a symmetrical fact for the list datatype and…
Mathematicians had little idea whether the easy-to-state union-closed conjecture was true or false even after $40$ years. However, last winter saw a surge of interest in the conjecture and its variants, initiated by the contribution of a…
The integral and fractional quantum Hall effects are among the most important discoveries in condensed matter physics in 1980s. The main results can be summarized in the conductance matrix. When the filling factor is an integer or some…