Related papers: Proving Parikh's theorem using Chomsky-Schutzenber…

In 1961, P. Erd\H{o}s, A. Ginzburg, and A. Ziv proved a remarkable theorem stating that each set of $2n-1$ integers contains a subset of size $n$, the sum of whose elements is divisible by $n$. We will prove a similar result for pairs of…

In 2017, E. Panzer proved the parity theorem for multiple polylogarithms. While his proof is simple and constructive, it does not yield a general explicit formula. Inspired by M. Hirose's recent work on the parity theorem for multiple zeta…

We present here a simple and direct proof of the classic geometric version of Hahn-Banach Theorem from its analitic version, in the real case. The reciprocal implication, and the direct proofs of both versions, are already well kown, but…

In a recent work [3], the authors established new results about general linear Mahler systems in several variables from the perspective of transcendental number theory, such as a multivariate extension of Nishioka's theorem. Working with…

We show that, in characteristic zero, the obvious integral version of the Grothendieck-Riemann-Roch formula obtained by clearing the denominators of the Todd and Chern characters is true (without having to divide the Chow groups by their…

The aim of this paper is to review how some approximation results in commutative algebra are being used to construct equisingular deformations of singularities. The first example of such an approximation result appeared for the first time…

In 1973, J.-R. Chen showed that every large even integer is a sum of a prime and a product of at most two primes. In this paper, the author indicates and fixes the issues in a simplified proof of this result given by Pan et al.

We present an elementary proof of Fermat's Last Theorem. No ancillary results are used, not even the most basic ones. The proof directly leads to a contradiction of the Fermat equation in the set of integers.

We give a simple direct proof of Fermat's two squares theorem. Our argument uses no intricate notions or ideas; one might say that it is a proof by careful bookkeeping. As such, the proof may be particularly easy to comprehend by students…

Kohnert proposed the first monomial positive formula for Schubert polynomials as the generating polynomial for certain unit cell diagrams obtained from the Rothe diagram of a permutation. Billey, Jockusch and Stanley gave the first proven…

We give a parametrization with perfect sets of the abstract Ellentuck theorem. The main tool for achieving this goal is a sort of parametrization of an abstract version of the Nash-Williams theorem. As corollaries, we obtain some known…

The theorem of Mukhin, Tarasov, and Varchenko (formerly the Shapiro conjecture for Grassmannians) asserts that all (a priori complex) solutions to certain geometric problems in the Schubert calculus are actually real. Their proof is quite…

The notion of a p-adic de Rham representation of the absolute Galois group of a p-adic field was introduced about twenty years ago (see e.g. [Fo93]). Three important results for this theory have been obtained recently: The structure theorem…

In this note, we present a simple directed graph proof of Sharkovsky's theorem.

The purpose of this paper is to present a generalization of Forelli's theorem. In particular, we prove an all dimensional version of the two-dimensional theorem of Chirka of 2005.

In his paper on the Mordell-Lang conjecture, Hrushovski employed techniques from model theory to prove the function field version of the conjecture. In doing so he was able to answer a related question of Voloch, which we refer to…

We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In…

We give a new proof of Fitzgerald's criterion for primitive polynomials over a finite field. Existing proofs essentially use the theory of linear recurrences over finite fields. Here, we give a much shorter and self-contained proof which…

Student's theorem is an important result in statistics which states that for normal population, the sample variance is independent from the sample mean and has a chi-square distribution. The existing proofs of this theorem either overly…

Bunyakovsky's integral inequality (1859) is one of the familiar tools of modern Analysis. We try and understand what Bunyakovsky did, why he did it, why others did not follow the same path, and explore some of the mathematical…