On the image of Euler's totient function

Rodney Coleman

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

2009-10-13

Abstract:In this article we study certain properties of the image of Euler's totient function; we also consider the structure of the preimage of certain elements of the image of this function.

Number Theory

What problem does this paper attempt to address?

On Euler's totient function of polynomials over finite fields

Xiumei Li,Min Sha

2024-01-31

Abstract:In this paper, we study some typical arithmetic properties of Euler's totient function of polynomials over finite fields. Especially, we study polynomial analogues of some classical conjectures about Euler's totient function, such as Carmichael's conjecture, Sierpiński's conjecture, and Erdös' conjecture.

Number Theory
A generalization of the Euler's totient function

Marius Tarnauceanu

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

2013-12-05

Group Theory

Abstract:The main goal of this paper is to provide a group theoretical generalization of the well-known Euler's totient function. This determines an interesting class of finite groups.
A Congruence Involving the Quotients of Euler and Its Applications (II)

T. X. Cai,X. D. Fu,X. Zhou

DOI: https://doi.org/10.4064/aa103-4-1

2002-01-01

Acta Arithmetica

Abstract:In this paper, we will present several new congruences involving binomial coefficients under integer moduli, which are the continuation of the previous two work by Cai \textit{et al.} (2002, 2007).
The investigation of Euler's totient function preimages

Ruslan Skuratovskii

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

2018-11-30

Number Theory

Abstract:We propose a lower estimation for computing quantity of the inverses of Euler's function. We answer the question about the multiplicity of $m$ in the equation $\varphi(x) = m$ \cite{Ford}. An analytic expression for exact multiplicity of $m = {{2}^{{{2}^{n}}+a}}$, where $a\in N$, $a<{{2}^{n}}$, $\varphi(t)={{2}^{{{2}^{n}}+a}}$ was obtained. A lower bound of inverses number for arbitrary $m$ was found. New numerical metric was proposed.
The number of preimages of iterates of $ϕ$ and $σ$

Agbolade Patrick Akande

2024-01-09

Abstract:Paul Erdos and Carl Pomerance have proofs on an asymptotic upper bound on the number of preimages of Euler's totient function $\phi$ and the sum-of-divisors functions $\sigma$. In this paper, we will extend the upper bound to the number of preimages of iterates of $\phi$ and $\sigma$. Using these new asymptotic upper bounds, a conjecuture in Konick and Katai's paper, "On the uniform distribution of certain sequences involving the Euler totient function and the sum of divisors function" is now proven and many corollaries follow from their proven conjecture.

Number Theory
The variance of the Euler totient function

Tom van Overbeeke

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

2017-06-13

Number Theory

Abstract:In this paper we study the variance of the Euler totient function (normalized to $\varphi(n)/n$) in the integers $\mathbb{Z}$ and in the polynomial ring $\mathbb{F}_q[T]$ over a finite field $\mathbb{F}_q$. It turns out that in $\mathbb{Z}$, under some assumptions, the variance of the normalized Euler function becomes constant. This is supported by several numerical simulations. Surprisingly, in $\mathbb{F}_q[T]$, $q\rightarrow \infty$, the analogue does not hold: due to a high amount of cancellation, the variance becomes inversely proportional to the size of the interval.
Monotone non-decreasing sequences of the Euler totient function

Terence Tao

2024-04-06

Abstract:Let $M(x)$ denote the largest cardinality of a subset of $\{n \in \mathbf{N}: n \leq x\}$ on which the Euler totient function $\varphi(n)$ is non-decreasing. We show that $M(x) = (1+O(\frac{(\log\log x)^5}{\log x})) \pi(x)$ for all $x \geq 10$, answering questions of Erdős and Pollack--Pomerance--Treviño. A similar result is also obtained for the sum of divisors function $\sigma(n)$.

Number Theory
Distribution of values of general Euler totient function

Debika Banerjee,Bittu Chahal,Sneha Chaubey,Khyati Khurana

2023-04-06

Abstract:Let $\Phi_k(n)=|\{ (x_1, x_2, \cdots, x_k)\in \left(\mathbb{Z}/n\mathbb{Z}\right)^k; \ \gcd(x_1^2+x_2^2+ \cdots+ x_k^2, n)=1\}|$ be a general totient function introduced first by Caldéron et. al. Motivated by the classical works of Schoenberg, Erdős, Bateman and Diamond on the distribution of $\Phi_1(n)$, we prove results on the joint distribution of $\Phi_k(n)$ for any $k\ge 1$. Additionally, we also exhibit the extremal order of $\Phi_k(n)$.

Number Theory
On the Total Graph of a Finite Commutative Ring

M. H. Shekarriz,M. H. Shirdareh Haghighi,H. Sharif

DOI: https://doi.org/10.1080/00927872.2011.585680

2012-08-01

Communications in Algebra

Abstract:Let R be a finite commutative ring with 1 ≠ 0. In this article, we study the total graph of R, denoted by τ(R), determine some of its basic graph-theoretical properties, determine when it is Eulerian, and find some conditions under which this graph is isomorphic to Cay(R, Z(R) \ {0}). We shall also compute the domination number of τ(R).

mathematics
Fermat's Little Theorem and Euler's Theorem in a class of rings

Fernanda D. de Melo Hernandez,César A. Hernández Melo,Horacio Tapia-Recillas

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

2020-12-13

Number Theory

Abstract:Considering $\mathbb{Z}_n$ the ring of integers modulo $n$, the classical Fermat-Euler theorem establishes the existence of a specific natural number $\varphi(n)$ satisfying the following property: $ x^{\varphi(n)}=1%\hspace{1.0cm}\text{for all}\hspace{0.2cm}x\in \mathbb{Z}_n^*, $ for all $x$ belonging to the group of units of $\mathbb{Z}_n$. In this manuscript, this result is extended to a class of rings that satisfies some mild conditions.
Sums related to Euler's totient function

Artyom Radomskii

2024-11-30

Abstract:We obtain an upper bound for the sum $\sum_{n\leq N} (a_{n}/\varphi (a_{n}))^{s}$, where $\varphi$ is Euler's totient function, $s\in \mathbb{N}$, and $a_{1},\ldots, a_{N}$ are positive integers (not necessarily distinct) with some restrictions. As applications, for any $t>0$, we obtain an upper bound for the number of $n\in [1,N]$ such that $a_{n}/ \varphi (a_{n})> t$.

Number Theory
A congruence involving the quotients of Euler and its applications (III)

Hao Zhong,Shane Chern,Tianxin Cai

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

2016-04-02

Abstract:In this paper, we will present several new congruences involving binomial coefficients under integer moduli, which are the continuation of the previous two work by Cai \textit{et al.} (2002, 2007).

Number Theory
The spanning method and the Lehmer totient problem

Theophilus Agama

2024-04-29

Abstract:In this paper we introduce and develop the notion of spanning of integers along functions $f:\mathbb{N}\longrightarrow \mathbb{R}$. We apply this method to a class of problems requiring to determine if the equations of the form $tf(n)=n-k$ has a solution $n\in \mathbb{N}$ for a fixed $k\in \mathbb{N}$ and some $t\in \mathbb{N}$. In particular, we show that \begin{align} \# \{n\leq s~|~t\varphi(n)+1=n,~\mathbf{for~some}~t\in \mathbb{N}\}\geq \frac{s}{2\log s}\prod \limits_{p | \lfloor s\rfloor }(1-\frac{1}{p})^{-1}-\frac{3}{2}e^{\gamma}\nonumber \end{align}for $s\geq s_o$, where $\varphi$ is the Euler totient function and $\gamma=0.5772\cdots$ is the Euler-Macheroni constant.

General Mathematics
A note on images of Galois representations (with an application to a result of Litt)

Anna Cadoret,Ben Moonen

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

2018-09-19

Algebraic Geometry

Abstract:Let $X$ be a variety (possibly non-complete or singular) over a finitely generated field $k$ of characteristic $0$. For a prime number $\ell$, let $\rho_\ell$ be the Galois representation on the first $\ell$-adic cohomology of $X$. We show that if $\ell$ varies the image of $\rho_\ell$ is of bounded index in the group of $\mathbb{Z}_\ell$-points of its Zariski closure. We use this to improve a recent result of Litt about arithmetic representations of geometric fundamental groups. Litt's result says that there exist constants $N = N(X,\ell)$ such that every arithmetic representation $\pi_1(X_{\bar{k}}) \to \mathrm{GL}_n(\mathbb{Z}_\ell)$ that is trivial modulo $\ell^N$ is unipotent. We show that these constants can in fact be chosen independently of $\ell$.
Riesz means of the Euler totient function

Shota Inoue,Isao Kiuchi

DOI: https://doi.org/10.7169/facm/1650

2019-03-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let $\phi$ denote the Euler totient function, defined by $id*\mu$ where $\mu$ is the M\"{o}bius function. We shall consider the $k$-th Riesz mean of the arithmetical function $n/\phi(n)$ for any positive integer $k \geq 2$ on the assumption of the Riemann Hypothesis. Our result is a refinement of Theorem 2 in A. Sankaranarayanan and S.K. Singh [6]. We also improve it upon the assumption of the Gonek-Hejhal Hypothesis.
Euler characteristics, Fubini's theorem, and the Riemann-Hurwitz formula

Matthew Morrow

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

2009-03-19

Abstract:We relate Fubini's theorem for Euler characteristics to Riemann-Hurwtiz formulae, and reprove a classical result of Iversen. The techniques used include algebraic geometry, complex geometry, and model theory. Possible applications to the study of wild ramification in finite characteristic are discussed.

Algebraic Geometry
Global Field Totients

Santiago Arango-Piñeros,Juan Diego Rojas

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

2020-05-09

Number Theory

Abstract:Using a remainder theorem for valuations of a field, we give a new perspective on the norm function of a global field. We define the Euler totient function of a global field and recover the essential analytical properties of the classical arithmetical function, namely the product formula. In addition, we prove the holomorphicity of the associated zeta function. As an application, we recover the analog of the mean value theorem of Erd\H{o}s, Dressler, and Bateman via the Weiner-Ikehara theorem.
On Power Sums and the Kummer Congruences

Samuel Goodman

2023-05-09

Abstract:In this paper, we investigate the stabilizers of certain multisets $\mod p^k$ with respect to their natural multiplicative action, completely describing them for a certain family of polynomials whenever $p$ is an odd prime. This elucidates an underlying structure on the level of elements that yields a new proof of the classical Kummer Congruences. Hence the Kummer Congruences can be viewed as a consequence of putting together this local information, the interactions between which are understood. This gives a new perspective in that all known approaches are based directly on global considerations, namely either through global sum identities or $p$-adic integrals.

Number Theory
On Rankin-Selberg integral structures and Euler systems for $\mathrm{GL}_2\times \mathrm{GL}_2$

Alexandros Groutides

2024-08-09

Abstract:We study how Rankin-Selberg periods interact with integral structures in spherical Whittaker type representations. Using this representation-theoretic framework, we show that the local Euler factors appearing in the construction of the motivic Rankin-Selberg Euler system for a product of modular forms are integrally optimal; i.e. any construction of this type with any choice of integral input data would give local factors appearing in tame norm relations at $p$ which are integrally divisible by the Euler factor $\mathcal{P}_p^{'}(\mathrm{Frob}_p^{-1})$ modulo $p-1$.

Number Theory,Representation Theory

On the image of Euler's totient function

On Euler's totient function of polynomials over finite fields

A generalization of the Euler's totient function

A Congruence Involving the Quotients of Euler and Its Applications (II)

The investigation of Euler's totient function preimages

The number of preimages of iterates of $ϕ$ and $σ$

The variance of the Euler totient function

Monotone non-decreasing sequences of the Euler totient function

Distribution of values of general Euler totient function

On the Total Graph of a Finite Commutative Ring

Fermat's Little Theorem and Euler's Theorem in a class of rings

Sums related to Euler's totient function

A congruence involving the quotients of Euler and its applications (III)

The spanning method and the Lehmer totient problem

A note on images of Galois representations (with an application to a result of Litt)

Riesz means of the Euler totient function

Euler characteristics, Fubini's theorem, and the Riemann-Hurwitz formula

Global Field Totients

On Power Sums and the Kummer Congruences

On Rankin-Selberg integral structures and Euler systems for $\mathrm{GL}_2\times \mathrm{GL}_2$