Let $V$ be a projective limit, with respect to the renormalized norm mappings, of the groups of principal units corresponding to a strictly increasing sequence of finite separable totally and tamely ramified Galois extensions of a local field. We study the structure of the dual group $V'$, introduce and investigate a fractional differentiation operator on $V$, and the corresponding Lévy process. Part I: Potential Anal., 10 (1999), 305-325.
We consider the classes of quasimultiplicative, semimultiplicative and Selberg multiplicative functions as extensions of the class of multiplicative functions. We apply these concepts to Ramanujan's sum and its analogue with respect to regular integers (mod r).
In an earlier paper, we determined the finite fields with indecomposable multiplicative groups and conjectured that there is no infinite field whose multiplicative group is indecomposable. In this paper, we prove this conjecture for several popular classes of fields, including finitely generated fields, discrete valued fields, fields of Hahn series, local fields, global fields, and function fields.
We prove that if $A$ is an infinite multiplicative Sidon set, then $\liminf\limits_{n\to \infty}\frac{|A(n)|-π(n)}{\frac{n^{3/4}}{(\log n)^3}}<\infty$ and construct an infinite multiplicative Sidon set satisfying $\liminf\limits_{n\to \infty}\frac{|A(n)|-π(n)}{\frac{n^{3/4}}{(\log n)^3}}>0$.
We study the Dyson rank function $N(r,3;n)$, the number of partitions of $n$ with rank $\equiv r \pmod 3$. We investigate the convexity of these functions. We extend $N(r,3;n)$ multiplicatively to the set of partitions, and we determine the maximum value when taken over all partitions of size $n$.
Let $ζ_k$ be a $k$-th primitive root of unity, $m\geqϕ(k)+1$ an integer and $Φ_k(X)\in\mathbb Z [X]$ the $k$-th cyclotomic polynomial. In this paper we show that the pair $(-m+ζ_k,\mathcal N)$ is a canonical number system, with $\mathcal N=\{0,1,\dots,|Φ_k(m)|\}$. Moreover we also discuss whether the two bases $-m+ζ_k$ and $-n+ζ_k$ are multiplicatively independent for positive integers $m$ and $n$ and $k$ fixed.
Let $N_{1,B}(n)$ denote the number of ones in the $B$-ary expansion of an integer $n$. Woods introduced the infinite product $P :=\prod_{n \geq 0} (\frac{2n+1}{2n+2})^{(-1)^{N_{1,2}(n)}}$ and Robbins proved that $P = 1/\sqrt{2}$. Related products were studied by several authors. We show that a trick for proving that $P^2 = 1/2$ (knowing that $P$ converges) can be extended to evaluating new products with (generalized) strongly $B$-multiplicative exponents. A simple example is $$ \prod_{n \geq 0} (\frac{Bn+1}{Bn+2})^{(-1)^{N_{1,B}(n)}} = \frac{1}{\sqrt B}. $$
The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as a corollary to Catalan's Conjecture. Turning to infinite fields, we prove that any infinite field whose characteristic is not equal to 2 must have a decomposable multiplicative group. We conjecture that this is also true for infinite fields of characteristic 2 and we narrow the class of possible counter-examples. Finally, using the classification of finite c…
Let $b$ be a numeration base. A $b$-additive Ramanujan-Hardy number $N$ is an integer for which there exists at least an integer $M$, called additive multiplier, such that the product of $M$ and the sum of base $b$ digits of $N$, added to the reversal of the product, gives $N$. We show that for any $b$ there exists an infinity of $b$-additive Ramanujan-Hardy numbers and an infinity of additive multipliers. A $b$-multiplicative Ramanujan-Hardy number $N$ is an integer for which there exists at least an integer $M$, called multiplicative multiplier, such that the product of $M$ and the sum of ba…
Our results concern analytic functions on the open unit $p$-adic poly-disc in $\mathbb{C}^n_p$ centered at the multiplicative unit and we prove that such functions only vanish at finitely many $n$-tuples of roots of unity $(ζ_1-1,\ldots,ζ_n-1)$ unless they vanish along a translate of the formal multiplicative group. For polynomial functions, this follows from the multiplicative Manin-Mumford conjecture. However we allow for a much wider class of analytic functions; in particular we establish a rigidity result for formal tori. Moreover, our methods apply to Lubin-Tate formal groups beyond just …
The purpose of this paper is to study fields whose multiplicative groups admit the structure of linear spaces. We prove that the multiplicative group of a finite field is a linear space if and only if the order of the multiplicative group is 1, 2, or a Mersenne prime. We give necessary conditions for the multiplicative group of an infinite field to be a linear space over another field. We also construct an example of an infinite field whose multiplicative group is a linear space over $\mathbb{Q}$.
Let $K/\mathbb{Q}$ be an algebraic extension of fields, and let $α\not= 0$ be contained in an algebraic closure of $K$. If $α$ can be approximated by roots of numbers in $K^{\times}$ with respect to the Weil height, we prove that some nonzero integer power of $α$ must belong to $K^{\times}$. More generally, let $K_1, K_2, \dots , K_N$, be algebraic extensions of $\mathb{Q}$ such that each pair of extensions includes one which is a (possibly infinite) Galois extension of a common subfield. If $α\not= 0$ can be approximated by a product of roots of numbers from each $K_n$ with respect to the Wei…
Let $G$ and $N$ be two finite groups of the same order. It is well-known that the existences of the following are equivalent: (a) a Hopf-Galois structure of type $N$ on any Galois $G$-extension; (b) a skew brace with additive group $N$ and multiplicative group $G$; (c) a regular subgroup isomorphic to $G$ in the holomorph of $N$. We shall say that $(G,N)$ is realizable when any of the above exists. Fixing $N$ to be a cyclic group, W. Rump (2019) has determined the groups $G$ for which $(G,N)$ is realizable. In this paper, fixing $G$ to be a cyclic group instead, we shall give a complete charac…
We show that if there exists an integer subject to some congruence conditions that cannot be written as the sum of the norm of an ideal in $\mathbb{Z}[\exp(2πi/2^k)]$ and at most $k$ powers of $2$, $k\geq 3$, then there are infinitely many such integers. Also, if there exists an integer that cannot be written as the sum of an integer which is the norm of an ideal in in $\mathbb{Z}[\exp(2πi/p)]$ and at most $p-2$ powers of $p$, where $p\geq 3$ is a prime, then there are infinitely many such integers. Finally it is shown that there are infinitely many integers not the sum of the norm of an ideal…
Let $r \ge 2$ and $s \ge 2$ be multiplicatively dependent integers. We establish a lower bound for the sum of the block complexities of the $r$-ary expansion and of the $s$-ary expansion of an irrational real number, viewed as infinite words on $\{0, 1, \ldots , r-1\}$ and $\{0, 1, \ldots , s-1\}$, and we show that this bound is best possible.
Mahler series with multiplicative coefficient sequences
University of Waterloo（滑铁卢大学）；Faculty of Mathematics and Physics (FMF) University of Ljubljana（卢布尔雅那大学数学与物理学院）；Institute of Mathematics, Physics and Mechanics (IMFM)（数学、物理与力学研究所）
It is observed that the infinite matrix with entries $(\sqrt{mn}\log (mn))^{-1}$ for $m, n\ge 2$ appears as the matrix of the integral operator $\mathbf{H}f(s):=\int_{1/2}^{+\infty}f(w)(ζ(w+s)-1)dw$ with respect to the basis $(n^{-s})_{n\ge 2}$; here $ζ(s)$ is the Riemann zeta function and $H$ is defined on the Hilbert space ${\mathcal H}^2_0$ of Dirichlet series vanishing at $+\infty$ and with square-summable coefficients. This infinite matrix defines a multiplicative Hankel operator according to Helson's terminology or, alternatively, it can be viewed as a bona fide (small) Hankel operator o…
Let $f$ be a positive multiplicative function and let $k\geq 2$ be an integer. We prove that if the prime values $f(p)$ converge to $1$ sufficiently slowly as $p\rightarrow +\infty$, in the sense that $\sum_{p}|f(p)-1|=\infty$, there exists a real number $c>0$ such that the $k$-tuples $(f(p+1),\ldots,f(p+k))$ are dense in the hypercube $[0,c]^k$ or in $[c,+\infty)^k$. In particular, the values $f(p+1),\ldots,f(p+k)$ can be put in any increasing order infinitely often. Our work generalises previous results of De Koninck and Luca.
The goal of this paper is to obtain lower bounds on the height of an algebraic number in a relative setting, extending previous work of Amoroso and Masser. Specifically, in our first theorem we obtain an effective bound for the height of an algebraic number $α$ when the base field $\mathbb{K}$ is a number field and $\mathbb{K}(α)/\mathbb{K}$ is Galois. Our second result establishes an explicit height bound for any non-zero element $α$ which is not a root of unity in a Galois extension $\mathbb{F}/\mathbb{K}$, depending on the degree of $\mathbb{K}/\mathbb{Q}$ and the number of conjugates of $α…
We show that an arithmetic function which satisfies some weak multiplicativity properties and in addition has a non-decreasing or $\log$-uniformly continuous normal order is close to a function of the form $n\mapsto n^c$. As an application we show that a finitely generated, residually finite, infinite group, whose normal growth has a non-decreasing or a $\log$-uniformly continuous normal order is isomorphic to $(\mathbb{Z}, +)$.
Let $\mathcal{C}$ be a non-degenerate planar curve. We show that the curve is of Khintchine-type for convergence in the case of simultaneous approximation with two independent approximation functions; that is if a certain sum converges then the set of all points $(x,y)$ on the curve which satisfy simultaneously the inequalities $\| q x \| < ψ_1(q)$ and $\| qy \| < ψ_2(q)$ infinitely often has induced measure 0. This completes the metric theory for the Lebesgue case. Further, for the cae of multiplicative approximation $\| qx \| \| q y \| < ψ(q)$, we establish a Hausdorff measure convergence re…
This paper continues the study of the structure of finite intersections of general multiplicative translates $\mathcal{C}(M_1,\ldots,M_n)=\frac{1}{M_1}Σ_{3,\bar{2}}\cap\cdots\cap\frac{1}{M_n}Σ_{3,\bar{2}}$ for integers $1\leq M_1<\cdots<M_n$, where $Σ_{3,\bar{2}}$ denotes the $3$-adic Cantor set. This study was motivated by questions concerning the discrete dynamical system on the $3$-adic integers $\mathbb{Z}_3$ given by multiplication by $2$. The exceptional set $\mathcal{E}(\mathbb{Z}_3)$ is defined to be the set of all elements of $\mathbb{Z}_3$ whose forward orbits under this action inter…
