Related papers: A proof of Kummer's theorem

The Taylor expansion is a widely used and powerful tool in all branches of Mathematics, both pure and applied. In Probability and Mathematical Statistics, however, a stronger version of Taylor's classical theorem is often needed, but only…

We use the arithmetic of the Kummer surface associated to the Jacobian of a hyperelliptic curve to study the primality of integers of the form $4m^2 5^n-1$. We provide an algorithm capable of proving the primality or compositeness of most…

The main theorem here is the K-theoretic analogue of the cohomological `stable double component formula' for quiver functions in [Knutson, Miller, and Shimozono, math.AG/0308142]. This K-theoretic version is still in terms of lacing…

The Collatz hypothesis is a theorem of the algorithmic theory of natural numbers. We prove the (algorithmic) formula that expresses the halting property of Collatz algorithm. The observation that Collatz's theorem cannot be proved in any…

We prove a conjecture of Sturmfels, Timme and Zwiernik on the ML-degrees of linear covariance models in algebraic statistics. As in our previous works on linear concentration models, the proof ultimately relies on the computation of certain…

A proof is given to the Dixmier's 5'th problem for the Weyl algebra.

Ezra Getzler notes in the proof of the main theorem of "The semi-classical approximation for modular operads" that "A proof of the theorem could no doubt be given using [a combinatorial interpretation in terms of a sum over necklaces];…

We give a short Wiener measure proof of the Riemann hypothesis based on a surprising, unexpected and deep relation between the Riemann zeta $\zeta(s)$ and the trivial zeta $\zeta_{t}(s):=Im(s)(2Re(s)-1)$.

The purpose of the paper is to study the foundations of the main axioms of Quantum Mechanics. From a general study of the mathematical properties of the models used in Physics to represent systems, we prove that the states of a system can…

We give a sharpened form of Siegel Lemma's w. r. t. the maximum norm. This implies a new lower bound on the greatest element of a sum-distinct set of positive integers (Erd\"os-Moser problem). The main tools are Minkowski's theorem on…

A new method for continuing the usual Dirichlet series that defines the Riemann zeta function ${\zeta}(s)$ is presented. Numerical experiments demonstrating the computational efficacy of the resulting continuation are discussed.

We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstruction to Fermat's Last Theorem for regular primes. Rather…

We prove a general factorization theorem for Lipschitz summing operators in the context of metric spaces which recovers several linear and nonlinear factorization theorems that have been proved recently in different environments. New…

Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a quantum computational type logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness…

Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q-shifted factorials can be incorporated into the implementation of the q-Zeilberger algorithm in the approach of Chen, Hou and Mu to prove…

We use semi--classical and perturbation methods to establish the quantum theory of the Neumann model, and explain the features observed in previous numerical computations.

Dirichlet's theorem on arithmetic progressions called as Dirichlet prime number theorem is a classical result in number theory. Atle Selberg\cite{Selberg} gave an elementary proof of this theorem. In this article we give an alternative…

Using a quantum like algebraic formulation we give proof of Kochen-Specker theorem. We introduce new criteria in order to account for the contextual nature of measurements in quantum mechanics.

We describe an algorithm for obtaining explicit expressions for lower terms for the conjectured full asymptotics of the moments of the Riemann zeta function, and give two distinct methods for obtaining numerical values of these…

Zilber's Theorem states that a finite lattice $L$ is planar if{}f it has a complementary order relation. We provide a new proof for this crucial result and discuss some applications, including a canonical form for finite planar lattices and…