, , ,

Let

N

denote the set of positive integers. Let

K [q]

denote the ring of polynomials with coefficients in a field

K

. For every positive integer

n

, the quantum integer

[n]_{q}

is the polynomial

[n]_{q} = 1 + q + q^{2} + \dots + q^{n - 1} \in K [q] .

We define

[0]_{q} = 0 .

Equivalently,

[n]_{q} = \frac{1 - q^{n}}{1 - q} .

With ordinary addition of polynomials,

[m]_{q} + [n]_{q} \neq [m + n]_{q} .

Our goal is to describe a class of binary operations

\oplus

of “quantum addition” on the sequence

{[n]_{q}}_{n = 1}^{\infty}

of quantum integers such that

[m]_{q} \oplus [n]_{q} = [m + n]_{q} .

A general setting for these binary operations is as follows. Suppose that for every pair

(m, n)

of positive integers there is a function

Φ_{m, n} : K [q] \times K [q] \to K [q] .

We use the sequence

{Φ_{m, n}}_{m, n = 1}^{\infty}

to construct a binary operation

\oplus

on the elements of an arbitrary sequence

ℱ = {f n (q)} \infty n = 1

of polynomials in

K [q]

. For every pair

(m, n)

of positive integers we define

f_{m} (q) \oplus f_{n} (q) = Φ_{m, n} (f_{m} (q), f_{n} (q)) .

The binary operation defined by

{Φ_{m, n}}_{m, n = 1}^{\infty}

is called a polynomial addition rule.

A polynomial addition rule is consistent on the sequence

ℱ = {f n (q)} \infty n = 1

f_{m} (q) \oplus f_{n} (q) = f_{r} (q) \oplus f_{s} (n)

for all positive integers

m, n, r,

and

s

such that

m + n = r + s .

\oplus

is consistent on the sequence

ℱ = {f n (q)} \infty n = 1

then

\oplus

is commutative in the sense that

f_{m} (q) \oplus f_{n} (q) = f_{n} (q) \oplus f_{m} (n)

for all positive integers

m

and

n

A quantum addition rule is a polynomial addition rule that is consistent on the sequence of quantum integers and satisfies the functional equation

\begin{matrix} [m]_{q} \oplus [n]_{q} = [m + n]_{q} \end{matrix}

(1)

for all positive integers

m

and

n

. For example, let

\begin{matrix} Φ_{m, n} (a (q), b (q)) = a (q) + q^{m} b (q) \end{matrix}

(2)

for all polynomials

a (q), b (q) \in K [q] .

This defines a quantum addition rule, since

\begin{matrix} Φ_{m, n} ([m]_{q}, [n]_{q}) & = [m]_{q} + q^{m} [n]_{q} & (1 + q + \dots + q^{m - 1}) + q^{m} (1 + q + \dots + q^{n - 1}) & = 1 + q + \dots + q^{m - 1} + q^{m} + \dots + q^{m + n - 1} & = [m + n]_{q} . \end{matrix}

There is also a functional equation associated to every quantum addition rule:

Find all sequences

ℱ = {f n (q)} \infty n = 1

of polynomials such that

\oplus

is consistent on

ℱ

, and

ℱ

satisfies

\begin{matrix} f_{m + n} (q) = f_{m} (q) \oplus f_{n} (q) = Φ_{m, n} (f_{m} (q), f_{n} (q)) \end{matrix}

(3)

for all positive integers

m

and

n

. For the quantum addition rule ( 2 ), the sequence of polynomials

ℱ = {f n (q)} \infty n = 1

satisfies the associated functional equation

f_{m + n} (q) = f_{m} (q) + q^{m} f_{n} (q)

if and only if there exists a polynomial

h (q)

such that

f_{n} (q) = [n]_{q} h (q)

for all

n

(Nathanson [4] ). The analogous functional equation associated to multiplication of quantum integers has been studied by Nathanson [2, 3] and Borisov, Nathanson, and Wang [1] .

A quantum addition rule is linear if there exist sequences of polynomials

ℛ^{'} = {r^{'} n (q)} \infty n = 1

and

S^{'} = {s^{'} n (q)} \infty n = 1

such that

Φ_{m, n} (a (q), b (q)) = r_{n}^{'} (q) a (q) + s_{m}^{'} (q) b (q)

and so

[m + n]_{q} = r_{n}^{'} (q) [m]_{q} + r_{m}^{'} (q) [n]_{q}

for all

m, n \in N .

The quantum addition rule ( 2 ) is linear. Linear quantum addition rules are considered in Nathanson [4, 5] .

A quantum addition rule is quadratic if there exist sequences of polynomials

ℛ^{'} = {r^{'} n (q)} \infty n = 1

S^{'} = {s^{'} n (q)} \infty n = 1

, and

T^{'} = {t^{'} m, n (q)} \infty m, n = 1

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, n \in N .

Examples of quadratic quantum addition rules are

\begin{matrix} [m + n]_{q} = [m]_{q} + [n]_{q} - (1 - q) [m]_{q} [n]_{q} \end{matrix}

(4)

and

\begin{matrix} [m + n]_{q} = q^{n} [m]_{q} + q^{m} [n]_{q} + (1 - q) [m]_{q} [n]_{q} . \end{matrix}

(5)

The associated functional equations are

f_{m} (q) \oplus f_{n} (q) = f_{m} (q) + f_{n} (q) - (1 - q) f_{m} (q) f_{n} (q)

and

f_{m} (q) \oplus f_{n} (q) = q^{n} f_{m} (q) + q^{m} f_{n} (q) + (1 - q) f_{m} (q) f_{n} (q) .

In this paper we shall give a complete classification of quadratic addition rules for quantum integers, and discuss their associated functional equations.

2 Quadratic zero identities

We begin with zero identities. A quadratic zero identity consists of three sequences of polynomials

U^{'} = {u^{'} n (q)} \infty n = 1

V^{'} = {v^{'} m (q)} \infty m = 1

, and

W^{'} = {w^{'} m, n (q)} \infty m, n = 1

such that

u_{n}^{'} (q) [m]_{q} + v_{m}^{'} (q) [n]_{q} + w_{m, n}^{'} (q) [m]_{q} [n]_{q} = 0

for all positive integers

m

and

n

. The following theorem classifies all quadratic zero identities.

Theorem 1. The sequences of polynomials

U^{'} = {u^{'} n (q)} \infty n = 1

V^{'} = {v^{'} m (q)} \infty m = 1

, and

W^{'} = {w^{'} m, n (q)} \infty m, n = 1

satisfy the quadratic zero identity

\begin{matrix} u_{n}^{'} (q) [m]_{q} + v_{m}^{'} (q) [n]_{q} + w_{m, n}^{'} (q) [m]_{q} [n]_{q} = 0 \end{matrix}

(6)

for all positive integers

m

and

n

if and only if there exist sequences

U = {u n (q)} \infty n = 1

and

V = {v m (q)} \infty m = 1

such that

\begin{matrix} u_{n}^{'} (q) = u_{n} (q) [n]_{q}, \end{matrix}

(7)

\begin{matrix} v_{m}^{'} (q) = v_{m} (q) [m]_{q}, \end{matrix}

(8)

and

\begin{matrix} w_{m, n}^{'} (q) = - (u_{n} (q) + v_{m} (q)) \end{matrix}

(9)

for all positive integers

m

and

n

Proof. Suppose that the sequences $U$ ', $V$ ', and $W$ ' satisfy ( 6 ). For all positive integers $m$ and $n$ we define $u_{n} (q) = - (v_{1}^{'} (q) + w_{1, n}^{'} (q))$ and $v_{m} (q) = - (u_{1}^{'} (q) + w_{m, 1}^{'} (q)) .$ Letting $m = 1$ in equation ( 6 ), we obtain $u_{n}^{'} (q) + v_{1}^{'} (q) [n]_{q} + w_{1, n}^{'} (q) [n]_{q} = 0,$ and so $u_{n}^{'} (q) = - (v_{1}^{'} (q) + w_{1, n}^{'} (q)) [n]_{q} = u_{n} (q) [n]_{q} .$ Letting $n = 1$ in equation ( 6 ), we obtain $u_{1}^{'} (q) [m]_{q} + v_{m}^{'} (q) + w_{m, 1}^{'} (q) [m]_{q} = 0,$ and so $v_{m}^{'} (q) = - (u_{1}^{'} (q) + w_{m, 1}^{'} (q)) [m]_{q} = v_{m} (q) [m]_{q} .$ Inserting these expressions for $u_{n}^{'} (q)$ and $v_{m}^{'} (q)$ into ( 6 ) and dividing by $[m]_{q} [n]_{q}$ , we obtain $w_{m, n}^{'} (q) = - (u_{n} (q) + v_{m} (q) .$ This proves that every zero identity is obtained from a pair of sequences $U$ and $V$ by the construction ( 7 ), ( 8 ), and ( 9 ).
It is an immediate verification that we obtain a quadratic zero identity by applying ( 7 ), ( 8 ), and ( 9 ) to any two sequences $U$ and $V$ . □

A linear zero identity consists of two sequences of polynomials

U^{'} = {u^{'} n (q)} \infty n = 1

and

V^{'} = {v^{'} m (q)} \infty m = 1

such that

u_{n}^{'} (q) [m]_{q} + v_{m}^{'} (q) [n]_{q} = 0

for all positive integers

m

and

n

Theorem 2. The sequences of polynomials

U^{'} = {u^{'} n (q)} \infty n = 1

and

V^{'} = {v^{'} m (q)} \infty m = 1

satisfy the linear zero identity

\begin{matrix} u_{n}^{'} (q) [m]_{q} + v_{m}^{'} (q) [n]_{q} = 0 \end{matrix}

(10)

for all positive integers

m

and

n

if and only if there is a polynomial

z (q)

such that

\begin{matrix} u_{n}^{'} (q) = z (q) [n]_{q} \end{matrix}

(11)

and

\begin{matrix} v_{m}^{'} (q) = - z (q) [m]_{q} \end{matrix}

(12)

for all positive integers

m

and

n

Proof. The linear zero identity ( 10 ) is a quadratic zero identity with $w_{m, n}^{'} (q) = 0$ for all $m$ and $n$ . It follows from Theorem 1 that there exist polynomials $u_{n} (q)$ and $v_{m} (q)$ such that $w_{m, n}^{'} (q) = - (u_{n} (q) + v_{m} (q)) = 0,$ and so there exists a polynomial $z (q)$ such that $u_{n} (q) = - v_{m} (q) = z (q),$ $u_{n}^{'} (q) = z (q) [n]_{q}$ and $v_{m}^{'} (q) = - z (q) [m]_{q}$ for all $m$ and $n$ . Conversely, if there exists a polynomial $z (q)$ such that the sequences $U^{'} = {u^{'} n (q)} \infty n = 1$ and $V^{'} = {v^{'} m (q)} \infty m = 1$ satisfy ( 11 ) and ( 12 ), then we obtain the zero identity ( 10 ). □

The following result follows immediately from Theorem 1 .

Theorem 3. Let

U^{'} = {u^{'} n (q)} \infty n = 1

V^{'} = {v^{'} m (q)} \infty m = 1

, and

W^{'} = {w^{'} m, n (q)} \infty m, n = 1

be sequences of polynomials that satisfy the zero identity

u_{n}^{'} (q) [m]_{q} + v_{m}^{'} (q) [n]_{q} + w_{m, n}^{'} (q) [m]_{q} [n]_{q} = 0

for all positive integers

m

and

n

. If

deg (u_{n}^{'} (q)) < n - 1,

then

u_{n}^{'} (q) = 0 .

deg (v_{m}^{'} (q)) < m - 1,

then

v_{m}^{'} (q) = 0 .

3 Quadratic addition rules

A quadratic addition rule for the quantum integers consists of three sequences of polynomials

ℛ^{'} = {r^{'} n (q)} \infty n = 1

S^{'} = {s^{'} n (q)} \infty n = 1

, and

T^{'} = {t^{'} m, n (q)} \infty m, n = 1

such that

\begin{matrix} [m + n]_{q} = r_{n}^{'} (q) [m]_{q} + s_{m}^{'} (q) [n]_{q} + t_{m, n}^{'} (q) [m]_{q} [n]_{q} \end{matrix}

(13)

for all positive integers

m

and

n

. Our goal is to classify all quadratic addition rules, that is, to find all sequences of polynomials

ℛ^{'},

S^{'},

and

T^{'}

that satisfy ( 13 ) for all quantum integers

[m]_{q}

and

[n]_{q} .

Suppose that the sequences

ℛ^{'}

S^{'}

, and

T^{'}

determine a quadratic addition rule, and that the sequences

ℛ^{''}

S^{''}

, and

T^{''}

also determine a quadratic addition rule.

Then

(r_{n}^{'} (q) - r_{n}^{''} (q)) [m]_{q} + (s_{m}^{'} (q) - s_{m}^{''} (q)) [n]_{q} + (t_{m, n}^{'} (q) - t_{m, n}^{''} (q)) = 0,

and so the sequences

U^{'}

ℛ^{'}

ℛ^{''}

V^{'}

S^{'}

S^{''}

, and

W^{'}

T^{'}

T^{''}

determine a quadratic zero identity. Similarly, if the sequences

U^{'}

V^{'}

, and

W^{'}

determine a quadratic zero identity, then for every scalar

λ

the sequences

ℛ^{'} + λ U^{'}

S^{'} + λ V^{'}

, and

T^{'} + λ W^{'}

also determine a quadratic addition rule. Thus, every quadratic addition rule for the quantum integers can be expressed as the sum of a fixed rule and a zero identity.

We can use polynomial division to find a standard form for a quadratic addition rule. Let

ℛ^{'}

S^{'}

, and

T^{'}

be sequences of polynomials that satisfy ( 13 ). By the division algorithm for polynomials, for every

n \geq 1

there exist polynomials

u_{n} (q)

and

r_{n} (q)

such that

r_{n}^{'} (q) = u_{n} (q) [n]_{q} + r_{n} (q)

and

deg (r_{n} (q)) \leq deg ([n]_{q}) - 1 = n - 2 .

Similarly, for every

m \geq 1

there exist polynomials

v_{m} (q)

and

s_{m} (q)

such that

s_{m}^{'} (q) = v_{m} (q) [m]_{q} + s_{m} (q)

and

deg (s_{m} (q)) \leq deg ([m]_{q}) - 1 = m - 2 .

We define the polynomials

u_{n}^{'} (q) = u_{n} (q) [n]_{q},

v_{m}^{'} (q) = v_{m} (q) [m]_{q},

and

w_{m, n}^{'} (q) = - (u_{n} (q) + v_{m} (q)),

and obtain the quadratic zero identity

\begin{matrix} 0 = u_{n}^{'} (q) [m]_{q} + v_{m}^{'} (q) [n]_{q} + w_{m, n}^{'} (q) [m]_{q} [n]_{q} . \end{matrix}

(14)

Let

t_{m, n} (q) = t_{m, n}^{'} (q) - w_{m, n}^{'} (q) = t_{m, n}^{'} (q) + u_{n} (q) + v_{m} (q) .

Subtracting the quadratic zero identity ( 14 ) from the quadratic addition rule ( 13 ), we obtain a new quadratic addition rule

\begin{matrix} [m + n]_{q} & = (r_{n}^{'} (q) - u_{n}^{'} (q)) [m]_{q} + (s_{m}^{'} (q) - v_{m}^{'} (q)) [n]_{q} + (t_{m, n}^{'} (q) - w_{m, n}^{'} (q)) [m]_{q} [n]_{q} & = r_{n} (q) [m]_{q} + s_{m} (q) [n]_{q} + t_{m, n} (q) [m]_{q} [n]_{q} . \end{matrix}

The degrees of the polynomials in this identity satisfy

deg ([m + n]_{q} = m + n - 1,

deg (r_{n} (q) [m]_{q}) \leq m + n - 3,

deg (s_{m} (q) [n]_{q}) \leq m + n - 3,

and

deg (t_{m, n} (q) [m]_{q} [n]_{q}) \geq m + n - 2 .

This implies that

deg (t_{m, n} (q)) = 1

Moreover,

t_{m, n} (q)

is a monic polynomial since the quantum integers

[m]_{q}, [n]_{q},

and

[m + n]_{q}

are monic.

For example, if we apply this procedure to the quadratic addition rules

[m + n]_{q} = [m]_{q} + [n]_{q} + (q - 1) [m]_{q} [n]_{q}

[m + n]_{q} = q^{n} [m]_{q} + q^{m} [n]_{q} - (q - 1) [m]_{q} [n]_{q},

we obtain the rule

[m + n]_{q} = r_{n} (q) [m]_{q} + s_{m} (q) [n]_{q} + t_{m, n} (q) [m]_{q} [n]_{q},

where

r_{n} (q) = 1 - δ_{n},

s_{m} (q) = 1 - δ_{m},

t_{m, n} (q) = q - 1 + δ_{m} + δ_{n},

and

δ_{n} = {\begin{matrix} 1 & if n = 1, \\ 0 & if n \geq 2 . \end{matrix}

This is called the fundamental quadratic addition rule.

Combining this with Theorem 1 , we obtain the following complete classification of quadratic addition rules for quantum integers.

Theorem 4. Let

ℛ^{'} = {r^{'} n (q)} \infty n = 1

S^{'} = {s^{'} n (q)} \infty n = 1

, and

T^{'} = {t^{'} m, n (q)} \infty m, n = 1

be sequences of polynomials. Then

[m + n]_{q} = r_{n}^{'} (q) [m]_{q} + s_{m}^{'} (q) [n]_{q} + t_{m, n}^{'} (q) [m]_{q} [n]_{q}

for all positive integers

m

and

n

if and only if there exist sequences of polynomials

U = {u n (q)} \infty n = 1

and

V = {v m (q)} \infty m = 1

such that

r_{n}^{'} (q) = u_{n} (q) [n]_{q} + 1 - δ_{n},

s_{m}^{'} (q) = v_{m} (q) [m]_{q} + 1 - δ_{m},

and

t_{m, n}^{'} (q) = q - 1 - u_{n} (q) - v_{m} (q) + δ_{m} + δ_{n} .

4 Functional equations associated to quadratic addition rules

Let

ℛ

S

', and

T

' define a quadratic rule for quantum addition, that is,

ℛ^{'} = {r^{'} n (q)} \infty n = 1

S^{'} = {s^{'} n (q)} \infty n = 1

, and

T^{'} = {t^{'} m, n (q)} \infty m, n = 1

are sequences of polynomials in

K [q]

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 positive integers

m

and

n

. Let

ℱ = {f n (q)} \infty n = 1

be a sequence of polynomials.

We define an addition operation

\oplus : ℱ \times ℱ \to K [q]

f_{m} (q) \oplus f_{n} (q) = r_{n}^{'} (q) f_{m} (q) + s_{m}^{'} (q) f_{n} (q) + t_{m, n}^{'} (q) f_{m} (q) f_{n} (q) .

We want to find all sequences

ℱ

of polynomials such that, for all positive integers

m

and

n

, we have

f_{m + n} (q) = f_{m} (q) \oplus f_{n} (q)

or, equivalently,

\begin{matrix} f_{m + n} (q) = r_{n}^{'} (q) f_{m} (q) + s_{m}^{'} (q) f_{n} (q) + t_{m, n}^{'} (q) f_{m} (q) f_{n} (q) . \end{matrix}

(15)

This functional equation always has the solution

f_{n} (q) = [n]_{q}

for all

n \in N,

and also the zero solution

f_{n} (q) = 0

for all

n \in N .

We would like to find every solution of this nonlinear equation.

Note that if the sequence of polynomials

ℱ = {f n (q)} \infty n = 1

is a solution of the functional equation ( 15 ), then

ℱ = {f n (q)} \infty n = 1

is determined inductively by the polynomial

f_{1} (q) = h (q)

, since

\begin{matrix} \begin{matrix} f_{n} (q) & = f_{1 + (n - 1)} (q) & = h (q) \oplus f_{n - 1} (q) & = r_{n - 1}^{'} (q) h (q) + s_{1}^{'} (q) f_{n - 1} (q) + t_{1, n - 1}^{'} (q) h (q) f_{n - 1} (q) \end{matrix} \end{matrix}

(16)

for all

n \geq 2 .

Equivalently, we can ask for what polynomials

h (q)

is the sequence

ℱ = {f n (q)} \infty n = 1

constructed from ( 16 ) a solution of the functional equation ( 15 ).

We know that the polynomials

h (q) = 0

and

h (q) = 1

always produce solutions.

We can compute explicit solutions for the three quadratic addition rules discussed in this paper. For each of these rules there is a solution of the functional equation with

f_{1} (q) = h (q)

for every

h (q) \in K [q] .

Associated to the fundamental quadratic addition rule

\begin{matrix} [m + n]_{q} = (1 - δ_{n}) [m]_{q} + (1 - δ_{m}) [n]_{q} + (q - 1 + δ_{m} + δ_{n}) [m]_{q} [n]_{q} \end{matrix}

(17)

is the functional equation

f_{m + n} (q) = (1 - δ_{n}) f_{m} (q) + (1 - δ_{m}) f_{n} (q) + (q - 1 + δ_{m} + δ_{n}) f_{m} (q) f_{n} (q) .

ℱ = {f n (q)} \infty n = 1

is a solution of this equation with

f_{1} (q) = h (q)

, then

f_{2} (q) = (q + 1) h (q)^{2}

and

\begin{matrix} f_{n} (q) & = h (q) + q h (q) f_{n - 1} (q) & = h (q) + q h (q)^{2} + q^{2} h (q)^{3} + \dots + q^{n - 3} h (q)^{n - 2} + (q^{n - 2} + q^{n - 1}) h (q)^{n} & = \frac{h (q) (1 - (q h (q))^{n})}{1 - q h (q)} + q^{n - 2} h (q)^{n - 1} (h (q) - 1) \end{matrix}

for all

n \geq 3 .

For the quadratic addition rule ( 4 )

[m + n]_{q} = [m]_{q} + [n]_{q} - (1 - q) [m]_{q} [n]_{q},

the general solution of the functional equation

f_{m + n} (q) = f_{m} (q) + f_{n} (q) - (1 - q) f_{m} (q) f_{n} (q)

f_{n} (q) = \frac{1 - (1 - (1 - q) h (q))^{n}}{1 - q} .

For the quadratic addition rule ( 5 )

[m + n]_{q} = q^{n} [m]_{q} + q^{m} [n]_{q} + (1 - q) [m]_{q} [n]_{q},

the general solution of the functional equation

f_{m + n} (q) = q^{n} f_{m} (q) + q^{m} f_{n} (q) + (1 - q) f_{m} (q) f_{n} (q)

f_{n} (q) = \frac{(q + (1 - q) h (q))^{n} - q^{n}}{1 - q} .

By Theorem 4 , the general functional equation associated to a quadratic quantum addition rule is

\begin{matrix} \begin{matrix} f_{m + n} (q) = & (u_{n} (q) [n]_{q} + 1 - δ_{n}) f_{m} (q) + (v_{m} (q) [m]_{q} + 1 - δ_{m}) f_{n} (q) & + (q - 1 - u_{n} (q) - v_{m} (q) + δ_{m} + δ_{n}) f_{m} (q) f_{n} (q), \end{matrix} \end{matrix}

(18)

for all positive integers

m

and

n

, where

U = {u n (q)} \infty n = 1

and

V = {v m (q)} \infty m = 1

are arbitrary sequences of polynomials in

K [q] .

Let

ℱ = {f n (q)} \infty n = 1

be a solution of ( 18 ). This sequence is generated by the polynomial

f_{1} (q) = h (q) .

Setting

m = n = 1

, we obtain

\begin{matrix} f_{2} (q) = (u_{1} (q) + v_{1} (q)) h (q) + (q + 1 - u_{1} (q) - v_{1} (q)) h (q)^{2} . \end{matrix}

(19)

Setting

m = 1

and

n = 2

, we obtain

\begin{matrix} f_{3} (q) & = f_{1 + 2} (q) & = (u_{2} (q) (q + 1) + 1) h (q) + v_{1} (q) f_{2} (q) + (q - u_{2} (q) - v_{1} (q)) h (q) f_{2} (q) . \end{matrix}

Similarly, with

m = 2

and

n = 1

, we obtain

\begin{matrix} f_{3} (q) & = f_{2 + 1} (q) & = u_{1} (q) f_{2} (q) + (v_{2} (q) (q + 1) + 1) h (q) + (q - u_{1} (q) - v_{2} (q)) f_{2} (q) h (q), \end{matrix}

Subtracting these equations gives

\begin{matrix} 0 = & ((u_{1} (q) - v_{1} (q)) - (u_{2} (q) - v_{2} (q))) f_{2} (q) h (q) + & + (u_{2} (q) - v_{2} (q)) (q + 1) h (q) + (v_{1} (q) - u_{1} (q)) f_{2} (q) . \end{matrix}

Replacing

f_{2} (q)

by ( 19 ), we see that the polynomial

h (q)

must satisfy the identity

\begin{matrix} 0 = & (u_{2} - v_{2} - u_{1} + v_{1}) (q + 1 - u_{1} - v_{1}) h (q)^{3} & + ((u_{2} - v_{2}) (u_{1} + v_{1}) + (q + 1) (u_{1} - v_{1}) - 2 (u_{1}^{2} - v_{1}^{2})) h (q)^{2} & + (u_{1}^{2} - v_{1}^{2} - (u_{2} - v_{2}) (q + 1)) h (q) . \end{matrix}

Equivalently,

h (q)

is a root of the cubic polynomial

\begin{matrix} 0 = & (u_{2} - v_{2} - u_{1} + v_{1}) (q + 1 - u_{1} - v_{1}) x^{3} & + ((u_{2} - v_{2}) (u_{1} + v_{1}) + (q + 1) (u_{1} - v_{1}) - 2 (u_{1}^{2} - v_{1}^{2})) x^{2} & + (u_{1}^{2} - v_{1}^{2} - (u_{2} - v_{2}) (q + 1)) x . \end{matrix}

We know that

x = 0

and

x = 1

are solutions of this equation. Dividing by

x (x - 1),

we obtain

\begin{matrix} (u_{2} - v_{2} - u_{1} + v_{1}) (q + 1 - u_{1} - v_{1}) x - (u_{1}^{2} - v_{1}^{2} - (u_{2} - v_{2}) (q + 1)) = 0 . \end{matrix}

For the quadratic addition rules ( 17 ), ( 4 ), and ( 5 ), the coefficients in this equation are both 0, and every polynomial

h (q)

is a solution. In general, however, if the coefficient of

x

is nonzero, then this equation has at most one solution

h (q) \in K [q] .

It is an open problem to determine all solutions of the functional equations associated to quadratic zero rules and quadratic zero identities. It is also of interest to find solutions of these functional equations in the ring of formal power series

K [[q]] .

References

A. Borisov, M. B. Nathanson, and Y. Wang, Quantum integers and cyclotomy, J. Number Theory (2004), to appear.
, A functional equation arising from multiplication of quantum integers, J. Number Theory 103 (2003), 214–233.
, Formal power series arising from multiplication of quantum integers, Unusual Applications of Number Theory, Amer. Math. Soc., 2004, pp. 145–167.
M. B. Nathanson, Additive number theory and the ring of quantum integers, arXiv: math.NT/0204006.
, Linear quantum addition rules, in preparation.

Department of Mathematics, Columbia University, New York, New York 10027 E-mail address : alexk@math.columbia.edu Department of Mathematics, Lehman College (CUNY), Bronx, New York 10468 E-mail address : melvyn.nathanson@lehman.cuny.edu

Alex V. Kontorovich

Melvyn B. Nathanson