Additive number theory and the ring of quantum integers

For every positive integer $n$, the quantum integer $[n]_q$ is the polynomial $[n]_q = 1 + q + q^2 + ... + q^{n-1}.$ A quadratic addition rule for quantum integers consists of sequences of polynomials $\mathcal{R}' = \{r'_n(q)\}_{n=1}^{\infty}$, $\mathcal{S}' = \{s'_n(q)\}_{n=1}^{\infty}$, and $\mathcal{T}' = \{t'_{m,n}(q)\}_{m,n=1}^{\infty}$ such that $[m+n]_q = r'_n(q)[m]_q + s'_m(q)[n]_q + t'_{m,n}(q)[m]_q[n]_q$ for all $m$ and $n.$ This paper gives a complete classificati...

For the quantum integer [n]_q = 1+q+q^2+... + q^{n-1} there is a natural polynomial multiplication such that [mn]_q = [m]_q \otimes_q [n]_q. This multiplication is given by the functional equation f_{mn}(q) = f_m(q) f_n(q^m), defined on a sequence {f_n(q)} of polynomials such that f_n(0)=1 for all n. It is proved that if {f_n(q)} is a solution of this functional equation, then the sequence {f_n(q)} converges to a formal power series F(q). Quantum mulitplication also leads t...

For the quantum integer $[n]_q = 1+q+...+q^{n-1}$ there is a natural polynomial multiplication $*_q$ such that $[m]_q *_q [n]_q = [mn]_q$. This multiplication leads to the functional equation $f_{mn}(q) = f_m(q)f_n(q^m),$ defined on a given sequence $\mathcal(F)=\{f_n(q)\}_{n=1}^{\infty}$ of polynomials. This paper contains various results concerning the classification and construction of polynomial sequences that satisfy the functional equation, as well as a list of open pro...

The quantum integer $[n]_q$ is the polynomial $1 + q + q^2 + ... + q^{n-1}.$ Two sequences of polynomials $\mathcal{U} = \{u_n(q)\}_{n=1}^{\infty}$ and $\mathcal{V} = \{v_n(q)\}_{n=1}^{\infty}$ define a {\em linear addition rule} $\oplus$ on a sequence $\mathcal{F} = \{f_n(q)\}_{n=1}^{\infty}$ by $f_m(q)\oplus f_n(q) = u_n(q)f_m(q) + v_m(q)f_n(q).$ This is called a {\em quantum addition rule} if $[m]_q \oplus [n]_q = [m+n]_q$ for all positive integers $m$ and $n$. In this pap...

The quantum integer [n]_q is the polynomial 1 + q + q^2 + ... + q^{n-1}, and the sequence of polynomials { [n]_q }_{n=1}^{\infty} is a solution of the functional equation f_{mn}(q) = f_m(q)f_n(q^m). In this paper, semidirect products of semigroups are used to produce families of functional equations that generalize the functional equation for quantum multiplication.

The $q$-integer is the polynomial $[n]_q = 1 + q + q^2 + \dots + q^{n-1}$. For every sequences of polynomials $\mathcal S = \{s_m(q)\}_{m=1}^\infty$, $\mathcal T = \{t_m(q)\}_{m=1}^\infty$, $\mathcal U = \{u_m(q)\}_{m=1}^\infty$ and $\mathcal V = \{v_m(q)\}_{m=1}^\infty$, define an addition rule for three $q$-integers by $$\oplus_{\mathcal S,\mathcal T,\mathcal U,\mathcal V} ([m]_q, [n]_q, [k]_q) = s_m (q) [m]_q + t_m (q) [n]_q + u_m(q) [k]_q + v_m (q) [n]_q [k]_q .$$ This is...

We introduce the notions of quantum characteristic and quantum flatness for arbitrary rings. More generally, we develop the theory of quantum integers in a ring and show that the hypothesis of quantum flatness together with positive quantum characteristic generalizes the usual notion of prime positive characteristic. We also explain how one can define quantum rational numbers in a ring and introduce the notion of twisted powers. These results play an important role in many di...

This is a survey of some of Erd\H os's work on bases in additive number theory.

We define the finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ where $m,n$ are positive integers and $r$ in an integer akin to the definition of the Gaussian integer ${\Bbb Z}[i]$. This idea is also introduced briefly in [7]. By definition, this finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ is naturally isomorphic to the ring ${\Bbb Z}_n[x]/{\langle x^m-r \rangle}$. From an educational standpoint, this description offers a straightforward and elementary presentation of this fini...

A sequence of functions {f_n(q)}_{n=1}^{\infty} satisfies the functional equation for multiplication of quantum integers if f_{mn}(q) = f_m(q)f_n(q^m) for all positive integers m and n. This paper describes the structure of all sequences of rational functions with rational coefficients that satisfy this functional equation.