相关论文: The transcendence of $\mathrm{e}$ via formal power…

In this paper, we develop a novel analytic method to prove the prime number theorem in de la Vall\'ee Poussin's form: $$ \pi(x)=\operatorname{li}(x)+\mathcal O(xe^{-c\sqrt{\log x}}) $$ Instead of performing asymptotic expansion on Chebyshev…

We prove theorems of interest about the recently given $\Lambda^{r}$-strong convergence. We extend the results of F. M\'oricz [On $\Lambda$-strong convergence of numerical sequences and Fourier series, Acta Math.~Hungar., 54 (1989),…

Within the gossamer numbers which extend the real numbers to include infinitesimals and infinities we prove the Fundamental Theorem of Calculus (FTC). Riemann sums are also considered in the gossamer number system, and their non-uniqueness…

A new class of bivariate poly-analytic Hermite polynomials is considered. We show that they are realizable as the Fourier-Wigner transform of the univariate complex Hermite functions and form a nontrivial orthogonal basis of the classical…

Explicit classical states achieving maximal $f$-divergence are given, allowing for a simple proof of Matsumoto's Theorem, and the systematic extension of any inequality between classical $f$-divergences to quantum $f$-divergences. Our…

Factorial series played a major role in Stirling's classic book "Methodus Differentialis" (1730), but now only a few specialists still use them. This article wants to show that this neglect is unjustified, and that factorial series are…

The main objective of this paper is to introduce an algorithm for solving fractional and classical differential equations based on a new generalized fractional power series. The algorithm relies on expanding the solution of an FDE or an ODE…

We provide a complete and self-contained proof of the Gevrey character, in an analytic function $P$, of formal power series solutions of some families of first order holomorphic PDEs. Our approach is based on a majorant series technique by…

Through an application of a remarkable result due to Mishev in 2018 concerning the inverses for a class of transformations of sequences of complex numbers, we obtain a very simple proof for a famous series for $\frac{1}{\pi}$ due to…

Let $(a_n)_{n \geq 0}$ be a sequence of complex numbers such that its generating series satisfies $\sum_{n \geq 0} a_nt^n = \frac{h(t)}{(1-t)^d}$ for some polynomial $h(t)$. For any $r \geq 1$ we study the transformation of the coefficient…

This note deals with some effective results in Mahler's method. In a recent work, we used a theorem of Philippon to show that given a Mahler function $f(z)$ in ${\bf k}\{z\}$, where ${\bf k}$ denotes a number field, and an algebraic number…

The integer point transform $\sigma_{\mathcal P}$ is an important invariant of a rational polytope $\mathcal P$, and here we show that it is a complete invariant. We prove that it is only necessary to evaluate $\sigma_{\mathcal P}$ at one…

We give an efficient algorithm to evaluate a certain class of exponential sums, namely the periodic, quadratic, multivariate half Gauss sums. We show that these exponential sums become $\#\mathsf{P}$-hard to compute when we omit either the…

Standard quantum mechanics employs complex Hilbert spaces, but whether complex numbers are fundamental or merely convenient has long been debated. For decades, real-valued equivalents were considered mathematically possible but cumbersome.…

We give an affine proof of Feuerbach's theorem, by constructing an explicit affine map which takes the nine-point circle of any given Euclidean triangle to the incircle and fixes the Feuerbach point. The proof is shown to be valid in any…

We propose a sufficient condition of the convergence of a complex power type formal series of the form $\varphi=\sum_{k=1}^{\infty}\alpha_k(x^{{\rm i}\gamma})\,x^k$, where $\alpha_k$ are functions meromorphic at the origin and…

Projections of finite dimensional sets and their measures are investigated in infinite-dimensional power measure spaces. The starting point is the known algebraic formula, expressing \ the $y$-projection of a finite-dimensional set $a$ as a…

Let $j(z)$ be the modular $j$-invariant function. Let $\tau$ be an algebraic number in the complex upper half plane $\mathbb{H}$. It was proved by Schneider and Siegel that if $\tau$ is not a CM point, i.e.,…

The representation of mathematical objects in terms of (more) basic ones is part and parcel of (the foundations of) mathematics. In the usual foundations of mathematics, i.e. $\textsf{ZFC}$ set theory, all mathematical objects are…

In our previous work [1] we described quantized computation using Horn clauses and based the semantics, dubbed as entanglement semantics as a generalization of denotational and distribution semantics, and founded it on quantum probability…