Codenominator function

Template:Multiple issues The codenominator is a function that extends the Fibonacci sequence to the index set of positive rational numbers, ${𝐐}^{+}$. Many known Fibonacci identities carry over to the codenominator. One can express Dyer's outer automorphism $\alpha$ of the extended modular group Template:Math in terms of the codenominator. This automorphism can be viewed as an automorphism group of the trivalent tree. The real $\alpha$-covariant modular function Jimm on the real line $𝐑$ is defined via the codenominator. Jimm relates the Stern-Brocot tree to the Bird tree. Jimm induces an involution of the moduli space of rank-2 pseudolattices and is related to the arithmetic of real quadratic irrationals.

Definition of the codenominator

The codenominator function $F:{𝐐}^{+}\to {𝐙}^{+}$ is defined by the following system of functional equations:

$$F(1+\frac{1}{x})=F(x),F\left(\frac{1}{1+x}\right)=F(x)+F\left(\frac{1}{x}\right)(x\in {𝐐}^{+})$$

with the initial condition $F(1)=1$. The function $F(1/x)\equiv F(1+x)$ is called the conumerator. (The name `codenominator' comes from the fact that the usual denominator function $D:{𝐐}^{+}\to {𝐙}^{+}$ can be defined by the functional equations

$$D(1+x)=D(x),D(1/(1+x))=D(x)+D(1/x),$$

and the initial condition $D(1)=1$.)

The codenominator takes every positive integral value infinitely often.

Connection with the Fibonacci sequence

For integer arguments, the codenominator agrees with the standard Fibonacci sequence, satisfying the recurrence:

$$F_{n+1}=F_n+F_{n-1},F_1=F_2=1.$$

The codenominator extends this sequence to positive rational arguments. Moreover, for every rational $x\in {𝐐}^{+}$, the sequence $G_n:=F(x+n)$ is the so-called Gibonacci sequence (also called the generalized Fibonacci sequence) defined by $G_0:=F(x)$, $G_1:=F(1+x)$ and the recursion $G_{n+2}=G_n+G_{n-1}$.

	Examples ($n$ is a positive integer)
1	$F(n)=F_n$
2	$F(1/2)=2$, more generally $F(1/n)=F(n+1)=F_{n+1}$.
3	$F(n+1/2)=L_n=F_{n+1}+F_{n-1}$ is the Lucas sequence Template:OEIS2C.
4	$F(n+1/3)=2F_{n+1}+F_{n-1}$ is the sequence Template:OEIS2C.
5	$F(n+1/4)=3F_{n+1}+F_{n-1}$ is the sequence Template:OEIS2C.
6	$F(n+1/5)=5F_{n+1}+F_{n-1}$ is the sequence Template:OEIS2C.
7	$F(n+1/n)=2F_n^2+(-1{)}^n$ is the sequence Template:OEIS2C.
8	$F(23/31)=107$, $F(31/23)=47$.
9	$F(19/41)=2^4\times 7$, $F(41/19)=3^4$.
10	$F(\frac{F_n}{F_{n+1}})=n,F(\frac{F_{n+1}}{F_n})=1$.

Properties of the codenominator

The codenominator has the following properties:

1. Fibonacci recursion: The codenominator function satisfies the Fibonacci recurrence for rational arguments:

$$F(x+n)=F_{n}F(x+1)+F_{n-1}F(x),(n>1,x\in {𝐐}^{+})$$

2. Fibonacci invariance: For any integer $n>1$ and $x\in {𝐐}^{+}$

$$F\left(\frac{F_n+F_{n+1}x}{F_{n-1}+F_{n}x}\right)=F(x).$$

3. Symmetry: If $x\in (0,1)\cap 𝐐$, then

$$F(1-x)=F(x).$$

4. Continued fractions: For a rational number $x$ expressed as a simple continued fraction $[n_0,n_1,...,n_k]$, the value of $F(x)$ can be computed recursively using Fibonacci numbers as:

$$F[n_0,n_1,\dots ,n_k]=F_{n_0}F[n_1,\dots ,n_k]+F_{n_0-1}F[n_1+1,\dots ,n_k].$$

5. Involutivity: The numerator function $\text{num}:{𝐐}^{+}\to {\mathbb{Z}}^{+}$ can be expressed in terms of the codenominator as $\text{num}(x)=F\left(\frac{F(x)}{F(1/x)}\right)$, which implies

$$\frac{F\left(\frac{F(x)}{F(1/x)}\right)}{F\left(\frac{F(1/x)}{F(x)}\right)}=x(x\in {𝐐}^{+})$$

6. Reversion:

$$F[0,n_1,\dots ,n_k]=F[0,n_k,\dots ,n_1]$$

7. Splitting: Let $0\le l\le r$ be integers. Then:

$$F[m_0,\dots ,m_r]=F[m_0,\dots ,m_l]F[m_{l+1},\dots ,m_r]+F[m_0,\dots ,m_s-1]F[m_{l+1}+1,\dots ,m_r],$$

where $s$ is the least index such that $m_s=\cdots =m_l=1$ (if $m_0=\cdots =m_l=1,$ then set $F[m_0,\dots ,m_s-1]=0$).

8. Periodicity: For any positive integer $m$, the codenominator $F[n_0,n_1,\dots ,n_k]$ is periodic in each partial quotient $n_k$ modulo $m$ with period divisible with $\pi (m)$ , where $\pi (m)$ is the Pisano period.

9. Fibonacci identities: Many known Fibonacci identities admit a codenominator version. For example, if at least two among $x,y,z\in {𝐐}^{+}$ are integral, then

$$F(x+y)F(x+z)-F(x)F(x+y+z)=\mathrm{c}\mathrm{d}\mathrm{s}(x)F(y)F(z),$$

where $\mathrm{c}\mathrm{d}\mathrm{s}(x):=F(1/x{)}^2-F(1/x)F(x)-F(x{)}^2$ is the codiscriminant (also called the 'characteristic number'). This reduces to Tagiuri's identity when $x,y,z\in \mathbb{Z}$; which in turn is a generalization of the famous Catalan identity. Any Gibonacci identity can be interpreted as a codenominator identity. There is also a combinatorial interpretation of the codenominator.

The codiscriminant is a 2-periodic function.

Involution Jimm

The Jimm (ج) function is defined on positive rational arguments via

$$J(x):=\frac{F(1/x)}{F(x)}(x\in {𝐐}^{+})$$ This function is involutive and admits a natural extension to non-zero rationals via $J(-x):=-1/J(x)$ which is also involutive.

Let $x=[n_0,n_1,\dots ,n_k]>1$ be the simple continued fraction expansion of $x\in {𝐐}^{+}$. Denote by $1_k$ the sequence $1,1,\dots ,1$ of length $k$. Then:

$J(x)=[1_{n_0-1},2,1_{n_1-2},2,1_{n_2-2},2,\dots ,2,1_{n_{k-1}-2},2,1_{n_k-1}]$

with the rules:

$[\dots ,n,1_0,m,\dots ]:=[\dots ,n,m,\dots ]$

and

$[\dots ,n,1_{-1},m,\dots ]:=[\dots ,n+m-1,\dots ]$.

The function $J$ admits an extension to the set of non-zero real numbers by taking limits (for positive real numbers one can use the same rules as above to compute it). This extension (denoted again $J$) is 2-1 valued on golden -or noble- numbers (i.e. the numbers in the Template:Math-orbit of the golden ratio $\phi =\frac{1+\sqrt{5}}{2}$).

The extended function $J$

• sends rationals to rationals,
• sends golden numbers to rationals,
• is involutive except on the set of golden numbers,
• respects ends of continued fractions; i.e. if the continued fractions of $x,y$ has the same end then so does $J(x),J(y)$,
• sends real quadratic irrationals (except golden numbers) to real quadratic irrationals (see below),
• commutes with the Galois conjugation on real quadratic irrationals (see below),
• is continuous at irrationals,
• has jumps at rationals,
• is differentiable a.e.,
• has vanishing derivative a.e.,
• sends a set of full measure to a set of null measure and vice versa

and moreover satisfies the functional equations

Involutivity

$J(J(x))=x$ (except on the set of golden irrationals),

Covariance with $1-x$

$J(1-x)=1-J(x)$ (provided $x\ne 1$),

Covariance with $1/x$

$J(1/x)=1/J(x)$,

`Twisted' covariance with $-x$

$J(-x)=-1/J(x)$.

These four functional equations in fact characterize Jimm. Additionally, Jimm satisfies

Reversion invariance

$J([n_0,n_1,\dots ,n_k])=[m_0,m_1,\dots ,m_l]⟹J([n_k,\dots ,n_1,n_0])=[m_l,\dots ,m_1,m_0]$

Jumps

Let $\delta :=J(x^{+})-J(x^{-})$ be the jump of $J$ at $x$. Then $\delta ([1^m,n_1,\dots ,n_k])=\frac{(-1{)}^{m+n_1+\cdots +n_k}\sqrt{5}}{\mathrm{c}\mathrm{d}\mathrm{s}([0,n_k,n_{k-1},\dots ,n_1,n_1-1])}.$

Dyer's outer automorphism and Jimm

The extended modular group Template:Math admits the presentation

$⟨U,V,K|U^2=V^2=K^2=(UV{)}^2=(KU{)}^3=1⟩$

where (viewing Template:Math as a group of Möbius transformations) $U:=x\to 1/x$, $V:x\to -x$ and $K:x\to 1-x$.

The map $\alpha$ of generators

$\alpha :U\to U,V\to UV,K\to K$

defines an involutive automorphism Template:Math $\to$ Template:Math, called Dyer's outer automorphism. It is known that Out(Template:Math)$\simeq 𝐙/2𝐙$ is generated by $\alpha$. The modular group Template:Math $=⟨VU,KU⟩<$ Template:Math is not invariant under $\alpha$. However, the subgroup $\mathrm{\Gamma }=⟨KU,UVKV⟩<$Template:Math is $\alpha$-invariant. Conjugacy classes of subgroups of $\mathrm{\Gamma }$ is in 1-1 correspondence with bipartite trivalent graphs, and $\alpha$ thus defines a duality of such graphs. This duality transforms zig-zag paths on a graph $𝒢$ to straight paths on its $\alpha$-dual graph and vice versa.

Dyer's outer automorphism can be expressed in terms of the codenumerator, as follows: Suppose $p,q,r,s\in {𝐙}^{+}$ and $M=\left[\begin{array}{cc}p& q\\ r& s\end{array}\right]\in {\mathrm{P}\mathrm{G}\mathrm{L}}_2(𝐙)$. Then

$\alpha (M)=\left[\begin{array}{cc}\mathrm{F}\left(\frac{2r+s}{2p+q}\right)-\mathrm{F}\left(\frac{r+s}{p+q}\right)& 2\mathrm{F}\left(\frac{r+s}{p+q}\right)-\mathrm{F}\left(\frac{2r+s}{2p+q}\right)\\ \mathrm{F}\left(\frac{2p+q}{2r+s}\right)-\mathrm{F}\left(\frac{p+q}{r+s}\right)& 2\mathrm{F}\left(\frac{p+q}{r+s}\right)-\mathrm{F}\left(\frac{2p+q}{2r+s}\right)\end{array}\right].$

The covariance equations above implies that $J$ is a representation of $\alpha$ as a map Template:Math $\to$ Template:Math, i.e. $J(Mx)=\alpha (M)J(x)$ whenever $x\in 𝐑$ and $M\in$Template:Math. Another way of saying this is that $J$ is a $\alpha$-covariant map.

In particular, $J$ sends Template:Math-orbits to Template:Math-orbits, thereby inducing an involution of the moduli space of rank-2 pseudo lattices, Template:Math, where Template:Math is the projective line over the real numbers.

Given $x,y\in$Template:Math, the involution $J$ sends the geodesic on the hyperbolic upper half plane $\mathscr{H}$ through $x,y$ to the geodesic through $J(x),J(y)$, thereby inducing an involution of geodesics on the modular curve Template:Math\$\mathscr{H}$. It preserves the set of closed geodesics because $J$ sends real quadratic irrationals to real quadratic irrationals (with the exception of golden numbers, see below) respecting the Galois conjugation on them.

Jimm as a tree automorphism

Djokovic and Miller constructed $\text{Aut}({\text{PGL}}_2(𝐙))$ as a group of automorphisms of the infinite trivalent tree. In this context, $\alpha$ appears as an automorphism of the infinite trivalent tree. $\text{Aut}({\text{PGL}}_2(𝐙))$ is one of the 7 groups acting with finite vertex stabilizers on the infinite trivalent tree.

Jimm and the Stern-Brocot tree

Applying Jimm to each node of the Stern-Brocot tree permutes all rationals in a row and otherwise preserves each row, yielding a new tree of rationals called Bird's tree, which was first described by Bird. Reading the denominators of rationals on Bird's tree from top to bottom and following each row from left to right gives Hinze's sequence:

$2,3,3,5,4,4,5,8,7,5,7,7,5,...$Template:OEIS

The sequence of conumerators is:

$1,2,1,3,3,1,2,5,4,4,5,2,1,3,3,8,7,5,7,7,...$Template:OEIS

Properties of the plot of Jimm and the golden ratio

By involutivity, the plot of $J$ is symmetric with respect to the diagonal $x=y$, and by covariance with $1-x$, the plot is symmetric with respect to the diagonal $x+y=1$. The fact that the derivative of $J$ is 0 a.e. can be observed from the plot.

The plot of Jimm hides many copies of the golden ratio $\phi$ in it. For example

1	$\underset{x\to +\mathrm{\infty }}{\lim }J(x)=\phi$,	$J(\phi )=+\mathrm{\infty }$
2	$\underset{x\to -\mathrm{\infty }}{\lim }J(x)=\overline{\phi }$,	$J(\overline{\phi })=-\mathrm{\infty }$
3	$\underset{x\to 0^{+}}{\lim }J(x)={\phi }^{-1}$,	$J({\phi }^{-1})=0$
4	$\underset{x\to 0^{-}}{\lim }J(x)={\overline{\phi }}^{-1}$,	$J({\overline{\phi }}^{-1})=0$
5	$\underset{x\to 1^{+}}{\lim }J(x)=1+\phi$,	$J(1+\phi )=1$
6	$\underset{x\to 1^{-}}{\lim }J(x)=1+\overline{\phi },$	$J(1+\overline{\phi })=1$

More generally, for any rational $q$, the limit $\underset{x\to q+}{\lim }J(x)$ is of the form $y:=\frac{a\phi +b}{c\phi +d}$ with $a,b,c,d\in 𝐙$ and $ad-bc=\pm 1$. The limit $\underset{x\to q-}{\lim }J(x)$ is its Galois conjugate $\overline{y}:=\frac{a\overline{\phi }+b}{c\overline{\phi }+d}$. Conversely, one has $J(y)=J(\overline{y})=q$.

Jimm on real quadratic irrational numbers

Jimm sends real quadratic irrationals to real quadratic irrationals, except the golden irrationals, which it sends to rationals in a 2–1 manner. It commutes with the Galois conjugation on the set of non-golden quadratic irrationals, i.e. if $J(a+\sqrt{b})=A+\sqrt{B}$, then $J(a-\sqrt{b})=A-\sqrt{B}$, with $a,b,A,B\in 𝐐$ and $b,B$ positive non-squares.

For example:

$J\left(\frac{3+5\sqrt{2}}{7}\right)=\frac{-3+2\sqrt{95}}{7},J(\sqrt{11})=\frac{15+\sqrt{901}}{26}.$

2-variable form of functional equations

The functional equations can be written in the two-variable form as:

Involutivitiy

$J(x)=y⟺J(y)=x$

Covariance with $1-x$

$x+y=1⟺J(x)+J(y)=1$

Covariance with $1/x$

$xy=1⟺J(x)J(y)=1$

Covariance with $-x$

$x+y=0⟺J(x)J(y)=-1$

As a consequence of these, one has: $\frac{1}{x}+\frac{1}{y}=1⟺\frac{1}{J(x)}+\frac{1}{J(y)}=1.$ Therefore $J$ sends the pair $({ℬ}_x,{ℬ}_y)$ of complementary Beatty sequences to the pair $({ℬ}_{J(x)},{ℬ}_{J(y)})$ of complementary Beatty sequences; where $x,y$ are non-golden irrationals with $1/x+1/y=1$.

If $x=a+\sqrt{b}(a,b\in 𝐐)$ is a real quadratic irrational, which is not a golden number, then as a consequence of the two-variable version of functional equations of $J$ one has

1. $N(x)=1⟺N(J(x))=1$

2. $Tr(x)=0⟺N(J(x))=-1$

3. $Tr(x)=1⟺Tr(J(x))=1$

4. $Tr(1/x)=1⟺Tr(1/J(x))=1$

where $N(x):=a^2-b$ denotes the norm and $Tr(x):=2a$ denotes the trace of $x$.

On the other hand, $J$ may send two members of one real quadratic number field to members of two different real quadratic number fields; i.e. it does not respect individual class groups.

Jimm on Markov irrationals

Jimm sends the Markov irrationals to 'simpler' quadratic irrationals, see table below.

Markov number	Markov irrational $x$	$J(x)$
1	$(1+\sqrt{5})/2$	$\mathrm{\infty }$
2	$1+\sqrt{2}$	$\sqrt{2}$
5	$(9+\sqrt{221})/10$	$\sqrt{6}-1$
13	$(23+\sqrt{1517})/26$	$\sqrt{12}-2$
29	$(53+\sqrt{7565})/58$	$\sqrt{35/6}-1$
34	$(15+5\sqrt{26})/17$	$\sqrt{20}-3$
89	$(157+\sqrt{71285})/178$	$\sqrt{30}-4$
169	$(309+\sqrt{257045})/338$	$\sqrt{204/35}-1$
194	$(86+\sqrt{21170})/97$	$\sqrt{119/10}-2$
233	$(411+\sqrt{488597})/466$	$\sqrt{42}-5$
433	$(791+\sqrt{1687397})/866$	$(12\sqrt{143}-60)/59$
610	$(269+\sqrt{209306})/305$	$\sqrt{56}-6$
985	$(1801+\sqrt{8732021})/1970$	$\sqrt{1189/204}-1$
1325	$(2339+\sqrt{15800621})/2650$	$(3\sqrt{434}-42)/14$
1597	$(2817+\sqrt{22953677})/3194$	$\sqrt{72}-7$
2897	$(5137+\sqrt{75533477})/5794$	$\sqrt{12958}/33-2$
4181	$(7375+\sqrt{157326845})/8362$	$\sqrt{90}-8$
5741	$(10497+5\sqrt{11865269})/11482$	$3\sqrt{915530}/1189-1$
6466	$(2953+5\sqrt{940706})/3233$	$(7\sqrt{10295}-297)/292$
7561	$(13407+\sqrt{514518485})/15122$	$(4\sqrt{14430}-279)/139$
9077	$(16013+\sqrt{741527357})/18154$	$7\sqrt{22}/6-4$
10946	$(19308+4\sqrt{67395890})/21892$	$\sqrt{110}-9$
14701	$(26879+\sqrt{1945074605})/29402$	$(70\sqrt{4899}-2030)/2029$
28657	$(50549+\sqrt{7391012837})/57314$	$\sqrt{132}-10$
33461	$(61181+\sqrt{10076746685})/66922$	$(13\sqrt{184030}/2310-1)$
37666	$(17202+5\sqrt{31921370})/18833$	$(8\sqrt{1081730}-3479)/3421$
43261	$(76711+\sqrt{16843627085})/86522$	$13\sqrt{345}/70-2$

Jimm and dynamics

Jimm conjugates the Gauss map $G$ (see Gauss–Kuzmin–Wirsing operator) to the so-called Fibonacci map $\mathrm{\Phi }$ , i.e. $\mathrm{\Phi }=J\circ G\circ J$.

The expression of Jimm in terms of continued fractions shows that, if a real number $x$ obeys the Gauss-Kuzmin distribution, then the asymptotic density of 1's among the partial quotients of $J(x)$ is one, i.e. $J(x)$ does not obey the Gauss-Kuzmin statistics. For example

2^1/3=$[1,3,1,5,1,1,4,1,1,8,1,14,1,10,2,1,4,12,2,3,2,...]$

$J$(2^1/3)=$[2,1,3,1,1,1,4,1,1,4,1,1,1,1,1,1,3,1,1,1,1,1,1,1,1,1,1,1,1,3,1,1,1,1,1,1,1,1,2,3,1,1,2,1,1,1,1,1...]$

This argument also shows that $J$ sends the set of real numbers obeying the Gauss-Kuzmin statistics, which is of full measure, to a set of null measure.

Jimm on higher algebraic numbers

It is widely believed that if $x$ is an algebraic number of degree $>2$, then it obeys the Gauss-Kuzmin statistics.Template:Efn By the above remark, this implies that $J(x)$ violates the Gauss-Kuzmin statistics. Hence, according to the same belief, $J(x)$ must be transcendental. This is the basis of the conjecture that Jimm sends algebraic numbers of degree $>2$ to transcendental numbers. A stronger version of the conjecture states that any two algebraically related $J(x)$, $J(y)$ are in the same Template:Math-orbit, if $x,y$ are both algebraic of degree $>2$.

Functional equations and equivariant modular forms

Given a representation $\rho :{\mathrm{P}\mathrm{S}\mathrm{L}}_2(𝐙)\to {\mathrm{P}\mathrm{G}\mathrm{L}}_2(𝐙)$, a meromorphic function $h$ on $\mathscr{H}$ is called a $\rho$-covariant function if

$h(\gamma \cdot z)=\rho (\gamma )\cdot h(z)\text{for all }z\in 𝐇,\gamma \in \mathrm{\Gamma }.$

(sometimes $h$ is also called a $\rho$-equivariant function). It is known that there exists meromorphic covariant functions $h$ on the upper half plane $\mathscr{H}$, i.e. functions satisfying $h(Mz)=Mh(z)$. The existence of meromorphic functions satisfying a version of the functional equations for $J$ is also known.

Some codenumerator values

Below is a table of some codenominator values $41/k$, where 41 is an arbitrarily chosen number.

$k$	$F(41/k)$	$k$	$F(41/k)$	$k$	$F(41/k)$	$k$	$F(41/k)$
1	$59369\times 2789$	11	$17$	21	$3\times 5\times 11\times 41$	31	$199$
2	$7\times 2161$	12	$2^3\times 3$	22	$31$	32	$17$
3	$5\times 7\times 19$	13	$5\times 13$	23	$2\times 3$	33	$131$
4	$5\times 67$	14	$3\times 281$	24	$2^2\times 3$	34	$2\times 3\times 11$
5	$11\times 19$	15	$23$	25	$2^2$	35	$2^6$
6	$3\times 5\times 7$	16	$19$	26	$7$	36	$3\times 43$
7	$103$	17	$29$	27	$233$	37	$3^2\times 23$
8	$3^2\times 23$	18	$17$	28	$47$	38	$3\times 137$
9	$31$	19	$3^4$	29	$17$	39	$9349$
10	$7^3$	20	$89\times 199$	30	$13$	40	$3\times 5\times 7\times 11\times 41\times 2161$

See also

• Farey sequence