Related papers: A simple proof of Tong's theorem

We establish new versions of the Wiener-Ikehara theorem where only boundary assumptions on the real part of the Laplace transform are imposed. Our results generalize and improve a recent theorem of T. Koga [J. Fourier Anal. Appl. 27 (2021),…

In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability…

In this paper, a simple proof for the existence iterative scheme by using two Hilbert spaces due to Kazmi et al. [K. R. Kazmi, R. Ali, M. Furkan, Hybrid iterative method for split monotone \ldots, Numer Algor, 2017] is provided.

In this paper, we give a refinement of a theorem by Franks, which answers two questions raised by Kang.

Here we give a short survey of our new results. References to the complete proofs can be found in the text of this article and in the litterature.

Is is shown here that the "simple test of quantumness for a single system" of arXiv:0704.1962 (for a recent experimental realization see arXiv:0804.1646) has exactly the same relation to the discussion of to the problem of describing the…

The purpose of this note is to rephrase Speyer's elegant topological proof for Kasteleyn's Theorem in a simple graph theoretical manner.

We give an undergraduate short and simple proof for Zariski's lemma.

Doob's theorem provides guarantees of consistent estimation and posterior consistency under very general conditions. Despite the limitation that it only guarantees consistency on a set with prior probability 1, for many models arising in…

The objective of this article is to prove the necessity statement in Crawley-Boevey's conjectural solution to the (tame) Deligne-Simpson problem. We use the nonabelian Hodge correspondence, variation of parabolic weights and results of…

In this article we give an exposition of Toom's proof of Bulgarian Solitaire that appeared in \emph{Kvant}. We provide more details. We also show how an application of the Chinese Remainder Theorem allows us to generalize the proof.

Translated from the Latin original "Novae demonstrationes circa resolutionem numerorum in quadrata" (1774). E445 in the Enestrom index. See Chapter III, section XI of Weil's "Number theory: an approach through history". Also, a very clear…

This article presents a clear proof of the Riemann Mapping Theorem via Riemann's method, uncompromised by any appeals to topological intuition.

We present a short new proof of the canonical polynomial van der Waerden theorem, recently established by Girao [arXiv:2004.07766].

Final version to appear in Archiv der Mathematik.

We give a simple proof of the Fourier Inversion Theorem, using the methods of nonstandard analysis.

We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003).

We give a new, elementary proof of the celebrated Herzog-Hibi-Zheng theorem on powers of quadratic monomial ideals.

Taylor's theorem (and its variants) is widely used in several areas of mathematical analysis, including numerical analysis, functional analysis, and partial differential equations. This article explains how Taylor's theorem in its most…

Assume the mapping $$A:\left\{ \begin{array}{ll} x_{1}=x+\omega+y+f(x,y), y_{1}=y+g(x,y), \end{array} \right. (x, y)\in \mathbb{T}^{d}\times B(r_{0}) $$ is reversible with respect to $G: (x, y)\mapsto (-x, y),$ and $| f |…