A simple proof of Schmidt-Summerer's inequality

Oleg N. German,Nikolay G. Moshchevitin

DOI: https://doi.org/10.48550/arXiv.1203.0641

2012-03-03

Abstract:In this paper we give a simple proof of an inequality for intermediate Diophantine exponents obtained recently by W. M. Schmidt and L. Summerer.

Number Theory

What problem does this paper attempt to address?

How to split Dyson's transference inequality with the help of Wolfgang Schmidt's parametric geometry of numbers

Oleg N. German

DOI: https://doi.org/10.48550/arXiv.1105.1554

2011-05-08

Number Theory

Abstract:In this paper we develop some of the ideas belonging to W.Schmidt and L.Summerer to define intermediate Diophantine exponents and split Dyson's transference inequality into a chain of inequalities for intermediate exponents. This splitting generalizes the analogous result of M.Laurent and Y.Bugeaud for Khintchine's transference inequalities.
Transference inequalities for multiplicative Diophantine exponents

Oleg N. German

DOI: https://doi.org/10.48550/arXiv.1012.2071

2010-12-10

Abstract:In this paper we prove inequalities for multiplicative analogues of Diophantine exponents, similar to the ones known in the classical case. Particularly, we show that a matrix is badly approximable if and only if its transpose is badly approximable and establish some inequalities connecting multiplicative exponents with ordinary ones.

Number Theory
A simple proof of Werner Schulte's conjecture

Djamel Himane

2024-02-22

Abstract:Lately, Werner Schulte has conjectured that for all positive $n>1$, $n$ divides $\frac{(n-2)! (n-1)!}{2^{n-3}} + 4$ if and only if $n$ is prime. In this paper, We use elementary methods, to give a simple proof of this conjecture.

General Mathematics
The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Binyong Sun

DOI: https://doi.org/10.3969/j.issn.1673-8128.2018.01.024

2018-01-01

Abstract:We prove the nonvanishing hypothesis at infinity for Rankin-Selberg convolutions for GL(n)× GL(n-1).
Inhomogeneous Diophantine Approximation on $M_0$-sets

Volodymyr Pavlenkov,Evgeniy Zorin

2024-01-17

Abstract:We prove new quantitative Schmidt-type theorem for Diophantine approximations with restraint denominators on fractals (more precisely, on $M_0$-sets). Our theorems introduce a sharp balance condition between the growth rate of the sequence of denominators and the decay rate of the Fourier transform of a Rajchman measure. Among the other things, this allows applications to sequences of denominators of polynomial growth. In particular, we infer new inhomogeneous Khintchine-Järnik type theorems with restraint denominators for a broad family of denominator sequences. Furthermore, our results provide non-trivial lower bounds for Hausdorff dimensions of intersections of two sets of inhomogeneously well-approximable numbers with restraint denominators.

Number Theory,Dynamical Systems
Harder's denominator problem for $\mathrm{SL}_2(\mathbb{Z})$ and its applications

Hohto Bekki,Ryotaro Sakamoto

2024-03-09

Abstract:The aim of this paper is to give a full detail of the proof given by Harder of a theorem on the denominator of the Eisenstein class for $\mathrm{SL}_2(\mathbb{Z})$ and to show that the theorem has some interesting applications including the proof of a recent conjecture by Duke on the integrality of the higher Rademacher symbols. We also present a sharp universal upper bound for the denominators of the values of partial zeta functions associated with narrow ideal classes of real quadratic fields in terms of the denominator of the values of the Riemann zeta function.

Number Theory
Elementary proof of congruences involving sum of binomial coefficients

Moa Apagodu

DOI: https://doi.org/10.48550/arXiv.1709.04039

2017-09-21

Abstract:We provide elementary proof of several congruences involving single sum and multisums of binomial coefficients.

Combinatorics,Number Theory
A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

Jean-Louis Verger-Gaugry

DOI: https://doi.org/10.48550/arXiv.1709.03771

2017-09-12

Abstract:The conjecture of Lehmer is proved to be true. The proof mainly relies upon: (i) the properties of the Parry Upper functions $f_{house(\alpha)}(z)$ associated with the dynamical zeta functions $\zeta_{house(\alpha)}(z)$ of the Rényi--Parry arithmetical dynamical systems, for $\alpha$ an algebraic integer $\alpha$ of house "$house(\alpha)$" greater than 1, (ii) the discovery of lenticuli of poles of $\zeta_{house(\alpha)}(z)$ which uniformly equidistribute at the limit on a limit "lenticular" arc of the unit circle, when $house(\alpha)$ tends to $1^+$, giving rise to a continuous lenticular minorant ${\rm M}_{r}(house(\alpha))$ of the Mahler measure ${\rm M}(\alpha)$, (iii) the Poincaré asymptotic expansions of these poles and of this minorant ${\rm M}_{r}(house(\alpha))$ as a function of the dynamical degree. With the same arguments the conjecture of Schinzel-Zassenhaus is proved to be true. An inequality improving those of Dobrowolski and Voutier ones is obtained. The set of Salem numbers is shown to be bounded from below by the Perron number $\theta_{31}^{-1} = 1.08545\ldots$, dominant root of the trinomial $-1 - z^{30} + z^{31}$. Whether Lehmer's number is the smallest Salem number remains open. A lower bound for the Weil height of nonzero totally real algebraic numbers, $\neq \pm 1$, is obtained (Bogomolov property). For sequences of algebraic integers of Mahler measure smaller than the smallest Pisot number, whose houses have a dynamical degree tending to infinity, the Galois orbit measures of conjugates are proved to converge towards the Haar measure on $|z|=1$ (limit equidistribution).

Number Theory
A Simple Number Theoretic Result

Manjil P. Saikia,Jure Vogrinc

DOI: https://doi.org/10.48550/arXiv.1207.6707

2012-07-28

Abstract:We derive an interesting congruence relation motivated by an Indian Olympiad problem. We give three different proofs of the theorem and mention a few interesting related results.

Number Theory
On a Conjecture of Schmidt for the Parametric Geometry of Numbers

Aminata Dite Tanti Keita

DOI: https://doi.org/10.48550/arXiv.1512.02939

2015-12-10

Abstract:With the help of the recently introduced parametric geometry of numbers by W. M. Schmidt and L. Summerer, we prove a strong version of a conjecture of Schmidt concerning the successive minima of a lattice.

Number Theory
A simple proof of the Abel-Ruffini theorem

A. Skopenkov

DOI: https://doi.org/10.48550/arXiv.1102.2100

2011-02-10

History and Overview

Abstract:This paper is purely expositional. The statement of the Abel-Ruffini theorem on unsolvability of equations using radicals is simple and well-known. We sketch an elementary proof of this theorem. We do not use the terms 'field extension', 'Galois group' and even 'group'. However, our presentation is a good way to learn (or recall) starting idea of the Galois theory. Our exposition follows `Mathematical Omnibus' of S. Tabachnikov and D.B. Fuchs (in English, http://www.math.psu.edu/tabachni/Books/taba.pdf). The main difference is that we show how the proof could have been invented. The paper is accessible for students familiar with complex numbers, and could be an interesting easy reading for mature mathematicians. The material is presented as a sequence of problems, which is peculiar not only to Zen monasteries but also to advanced mathematical education; most problems are presented with hints or solutions.
Elementary Proofs of Arithmetic Properties for Schur-Type Overpartitions Modulo Small Powers of 2

Shane Chern,Robson da Silva,James A. Sellers

2023-08-12

Abstract:In 2022, Broudy and Lovejoy extensively studied the function $S(n)$ which counts the number of overpartitions of \emph{Schur-type}. In particular, they proved a number of congruences satisfied by $S(n)$ modulo $2$, $4$, and $5$. In this work, we extend their list of arithmetic properties satisfied by $S(n)$ by focusing on moduli which are small powers of 2. In particular, we prove the following infinite family of Ramanujan-like congruences: For all $\alpha\geq 0$ and $n\geq 0$, $$ S\left(2^{5+2\alpha}n+\left(2^{5+2\alpha}-\frac{2^{2+2\alpha}-1}{3}\right)\right)\equiv 0 \pmod{16}. $$ All of the proof techniques used herein are elementary, relying on classical $q$-series identities and generating function manipulations as well as the parameterization work popularized by Alaca, Alaca, and Williams.

Number Theory
On some congruences and exponential sums

Moubariz Z. Garaev,Igor E. Shparlinski

2023-04-18

Abstract:Let $\varepsilon>0$ be a fixed small constant, ${\mathbb F}_p$ be the finite field of $p$ elements for prime $p$. We consider additive and multiplicative problems in ${\mathbb F}_p$ that involve intervals and arbitrary sets. Representative examples of our results are as follows. Let ${\mathcal M}$ be an arbitrary subset of ${\mathbb F}_p$. If $\#{\mathcal M} >p^{1/3+\varepsilon}$ and $H\ge p^{2/3}$ or if $\#{\mathcal M} >p^{3/5+\varepsilon}$ and $H\ge p^{3/5+\varepsilon}$ then all, but $O(p^{1-\delta})$ elements of ${\mathbb F}_p$ can be represented in the form $hm$ with $h\in [1, H]$ and $m\in {\mathcal M}$, where $\delta> 0$ depends only on $\varepsilon$. Furthermore, let $ {\mathcal X}$ be an arbitrary interval of length $H$ and $s$ be a fixed positive integer. If $$ H> p^{17/35+\varepsilon}, \quad \#{\mathcal M} > p^{17/35+\varepsilon}. $$ then the number $T_6(\lambda)$ of solutions of the congruence $$ \frac{m_1}{x_1^s}+ \frac{m_2}{x_2^s}+ \frac{m_3}{x_3^s}+\frac{m_4}{x_4^s}+ \frac{m_5}{x_5^s}+\frac{m_6}{x_6^s} \equiv \lambda\mod p, \qquad m_i\in {\mathcal M}, \quad \ x_i \in {\mathcal X}, \quad i =1, \ldots, 6, $$ satisfies $$ T_6(\lambda)=\frac{H^6(\#{\mathcal M})^6}{p}\left(1+O(p^{-\delta})\right), $$ where $\delta> 0$ depends only on $s$ and $\varepsilon$.

Number Theory
Independence of the Diophantine exponents associated with linear subspaces

Gaétan Guillot

2024-06-11

Abstract:We elaborate on a problem raised by Schmidt in 1967 which generalizes the theory of classical Diophantine approximation to subspaces of $\R^n$. We consider Diophantine exponents for linear subspaces of $\R^n$ which generalize the irrationality measure for real numbers. We prove here that we have no smooth relations among some functions associated to these exponents. To establish this result, we construct subspaces for which we are able to compute the exponents.

Number Theory
Construction of subspaces with known Diophantine exponents for the last angle

Gaétan Guillot

2024-06-27

Abstract:Schmidt generalized in 1967 the theory of classical Diophantine approximation to subspaces of $\R^n$. We consider Diophantine exponents for linear subspaces of $\R^n$ which generalize the irrationality measure for real numbers. Using geometry of numbers, we construct subspaces of $\R^n$ for which we are able to compute the associated exponents for the last angle.

Number Theory
Proofs of power sum and binomial coefficient congruences via Pascal's identity

Kieren MacMillan,Jonathan Sondow

DOI: https://doi.org/10.48550/arXiv.1011.0076

2010-10-30

Abstract:A frequently cited theorem says that for n > 0 and prime p, the sum of the first p n-th powers is congruent to -1 modulo p if p-1 divides n, and to 0 otherwise. We survey the main ingredients in several known proofs. Then we give an elementary proof, using an identity for power sums proven by Pascal in 1654. An application is a simple proof of a congruence for certain sums of binomial coefficients, due to Hermite and Bachmann.

Number Theory,History and Overview
Remarks on the Bottcher-Wenzel Inequality

Zhiqin Lu

DOI: https://doi.org/10.48550/arXiv.1106.1827

2011-06-09

Rings and Algebras

Abstract:In 2005, B\"ottcher and Wenzel raised the conjecture that if $X,Y$ are real square matrices, then $||XY-YX||^2\leq 2||X||^2||Y||^2$, where $||\cdot||$ is the Frobenius norm. Various proofs of this conjecture were found in the last few years by several authors. We here give another proof. This proof is highly conceptual and requires minimal computation. We also briefly discuss related inequalities, in particular, the classical Chern-do Camo-Kobayashi inequality.
The square sieve and the large sieve with square moduli

Stephan Baier

DOI: https://doi.org/10.48550/arXiv.1506.06148

2016-06-07

Abstract:We give a short alternative proof using Heath-Brown's square sieve of a bound of the author for the large sieve with square moduli.

Number Theory
On proving an Inequality of Ramanujan using Explicit Order Estimates for the Mertens Function

Subham De

2024-08-13

Abstract:This research article provides an unconditional proof of an inequality proposed by Srinivasa Ramanujan involving the Prime Counting Function $\pi(x)$, \begin{align*} (\pi(x))^{2}<\frac{ex}{\log x}\pi\left(\frac{x}{e}\right) \end{align*} for every real $x\geq \exp(547)$, using specific order estimates for the Mertens Function, $M(x)$. The proof primarily hinges upon investigating the underlying relation between $M(x)$ and the Second Chebyshev Function, $\psi(x)$, in addition to applying the meromorphic properties of the Riemann Zeta Function, $\zeta(s)$ with an intention of deriving an improved approximation for $\pi(x)$.

General Mathematics
An elementary proof of a result Ma and Chen

Qing Han,Pingzhi Yuan

DOI: https://doi.org/10.48550/arXiv.1903.00121

2019-03-01

Abstract:In 1956, Je$\acute{s}$manowicz conjectured that, for positive integers $m$ and $n$ with $m>n, \, \gcd(m,\, n)=1$ and $m\not\equiv n\pmod{2}$, the exponential Diophantine equation $(m^2-n^2)^x+(2mn)^y=(m^2+n^2)^z$ has only the positive integer solution $(x,\,y,\, z)=(2,\,2,\,2)$. Recently, Ma and Chen \cite{MC17} proved the conjecture if $4\not|mn$ and $y\ge2$. In this paper, we present an elementary proof of the result of Ma and Chen \cite{MC17}.

Number Theory

A simple proof of Schmidt-Summerer's inequality

How to split Dyson's transference inequality with the help of Wolfgang Schmidt's parametric geometry of numbers

Transference inequalities for multiplicative Diophantine exponents

A simple proof of Werner Schulte's conjecture

The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Inhomogeneous Diophantine Approximation on $M_0$-sets

Harder's denominator problem for $\mathrm{SL}_2(\mathbb{Z})$ and its applications

Elementary proof of congruences involving sum of binomial coefficients

A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

A Simple Number Theoretic Result

On a Conjecture of Schmidt for the Parametric Geometry of Numbers

A simple proof of the Abel-Ruffini theorem

Elementary Proofs of Arithmetic Properties for Schur-Type Overpartitions Modulo Small Powers of 2

On some congruences and exponential sums

Independence of the Diophantine exponents associated with linear subspaces

Construction of subspaces with known Diophantine exponents for the last angle

Proofs of power sum and binomial coefficient congruences via Pascal's identity

Remarks on the Bottcher-Wenzel Inequality

The square sieve and the large sieve with square moduli

On proving an Inequality of Ramanujan using Explicit Order Estimates for the Mertens Function

An elementary proof of a result Ma and Chen