Klein polyhedron explained

In the geometry of numbers, the Klein polyhedron, named after Felix Klein, is used to generalize the concept of continued fractions to higher dimensions.

Definition

Let

styleC

be a closed simplicial cone in Euclidean space

styleRn

. The Klein polyhedron of

styleC

is the convex hull of the non-zero points of

styleC\capZn

.

Relation to continued fractions

Suppose

style\alpha>0

is an irrational number. In

styleR2

, the cones generated by

style\{(1,\alpha),(1,0)\}

and by

style\{(1,\alpha),(0,1)\}

give rise to two Klein polyhedra, each of which is bounded by a sequence of adjoining line segments. Define the integer length of a line segment to be one less than the size of its intersection with

styleZ2.

Then the integer lengths of the edges of these two Klein polyhedra encode the continued-fraction expansion of

style\alpha

, one matching the even terms and the other matching the odd terms.

Graphs associated with the Klein polyhedron

Suppose

styleC

is generated by a basis

style(ai)

of

styleRn

(so that

styleC=\{\sumiλiai:(\foralli)λi\geq0\}

), and let

style(wi)

be the dual basis (so that

styleC=\{x:(\foralli)\langlewi,x\rangle\geq0\}

). Write

styleD(x)

for the line generated by the vector

stylex

, and

styleH(x)

for the hyperplane orthogonal to

stylex

.

Call the vector

stylex\inRn

irrational if

styleH(x)\capQn=\{0\}

; and call the cone

styleC

irrational if all the vectors

styleai

and

stylewi

are irrational.

The boundary

styleV

of a Klein polyhedron is called a sail. Associated with the sail

styleV

of an irrational cone are two graphs:

style\Gammae(V)

whose vertices are vertices of

styleV

, two vertices being joined if they are endpoints of a (one-dimensional) edge of

styleV

;

style\Gammaf(V)

whose vertices are

style(n-1)

-dimensional faces (chambers) of

styleV

, two chambers being joined if they share an

style(n-2)

-dimensional face.

Both of these graphs are structurally related to the directed graph

style\Upsilonn

whose set of vertices is

styleGLn(Q)

, where vertex

styleA

is joined to vertex

styleB

if and only if

styleA-1B

is of the form

styleUW

where

U=\left(\begin{array}{cccc}1&&0&c1\\vdots&\ddots&\vdots&\vdots\ 0&&1&cn-1\ 0&&0&cn\end{array}\right)

(with

styleci\inQ

,

stylecn0

) and

styleW

is a permutation matrix. Assuming that

styleV

has been triangulated, the vertices of each of the graphs

style\Gammae(V)

and

style\Gammaf(V)

can be described in terms of the graph

style\Upsilonn

:

style(x0,x1,\ldots)

in

style\Gammae(V)

, one can find a path

style(A0,A1,\ldots)

in

style\Upsilonn

such that

stylexk=Ak(e)

, where

stylee

is the vector

style(1,\ldots,1)\inRn

.

style(\sigma0,\sigma1,\ldots)

in

style\Gammaf(V)

, one can find a path

style(A0,A1,\ldots)

in

style\Upsilonn

such that

style\sigmak=Ak(\Delta)

, where

style\Delta

is the

style(n-1)

-dimensional standard simplex in

styleRn

.

Generalization of Lagrange's theorem

Lagrange proved that for an irrational real number

style\alpha

, the continued-fraction expansion of

style\alpha

is periodic if and only if

style\alpha

is a quadratic irrational. Klein polyhedra allow us to generalize this result.

Let

styleK\subseteqR

be a totally real algebraic number field of degree

stylen

, and let

style\alphai:K\toR

be the

stylen

real embeddings of

styleK

. The simplicial cone

styleC

is said to be split over

styleK

if

styleC=\{x\inRn:(\foralli)\alphai(\omega1)x1+\ldots+\alphai(\omegan)xn\geq0\}

where

style\omega1,\ldots,\omegan

is a basis for

styleK

over

styleQ

.

Given a path

style(A0,A1,\ldots)

in

style\Upsilonn

, let

styleRk=Ak+1

-1
A
k
. The path is called periodic, with period

stylem

, if

styleRk+qm=Rk

for all

stylek,q\geq0

. The period matrix of such a path is defined to be

styleAm

-1
A
0
. A path in

style\Gammae(V)

or

style\Gammaf(V)

associated with such a path is also said to be periodic, with the same period matrix.

The generalized Lagrange theorem states that for an irrational simplicial cone

styleC\subseteqRn

, with generators

style(ai)

and

style(wi)

as above and with sail

styleV

, the following three conditions are equivalent:

styleC

is split over some totally real algebraic number field of degree

stylen

.

styleai

there is periodic path of vertices

stylex0,x1,\ldots

in

style\Gammae(V)

such that the

stylexk

asymptotically approach the line

styleD(ai)

; and the period matrices of these paths all commute.

stylewi

there is periodic path of chambers

style\sigma0,\sigma1,\ldots

in

style\Gammaf(V)

such that the

style\sigmak

asymptotically approach the hyperplane

styleH(wi)

; and the period matrices of these paths all commute.

Example

Take

stylen=2

and

styleK=Q(\sqrt{2})

. Then the simplicial cone

style\{(x,y):x\geq0,\verty\vert\leqx/\sqrt{2}\}

is split over

styleK

. The vertices of the sail are the points

style(pk,\pmqk)

corresponding to the even convergents

stylepk/qk

of the continued fraction for

style\sqrt{2}

. The path of vertices

style(xk)

in the positive quadrant starting at

style(1,0)

and proceeding in a positive direction is

style((1,0),(3,2),(17,12),(99,70),\ldots)

. Let

style\sigmak

be the line segment joining

stylexk

to

stylexk+1

. Write

style\bar{x}k

and

style\bar{\sigma}k

for the reflections of

stylexk

and

style\sigmak

in the

stylex

-axis. Let

styleT=\left(\begin{array}{cc}3&4\ 2&3\end{array}\right)

, so that

stylexk+1=Txk

, and let

styleR=\left(\begin{array}{cc}6&1\ -1&0\end{array}\right)=\left(\begin{array}{cc}1&6\ 0&-1\end{array}\right)\left(\begin{array}{cc}0&1\ 1&0\end{array}\right)

.

Let

styleMe=\left(\begin{array}{cc}

12
&
12-
\14
&
14
\end{array}

\right)

,

style\bar{M}e=\left(\begin{array}{cc}

12
&
12
\ -14
&
14
\end{array}

\right)

,

styleMf=\left(\begin{array}{cc}3&1\ 2&0\end{array}\right)

, and

style\bar{M}f=\left(\begin{array}{cc}3&1\ -2&0\end{array}\right)

.

style(MeRk)

and

style(\bar{M}eRk)

are periodic (with period one) in

style\Upsilon2

, with period matrices

styleMeR

-1
M
e

=T

and

style\bar{M}eR

-1
\bar{M}
e

=T-1

. We have

stylexk=MeRk(e)

and

style\bar{x}k=\bar{M}eRk(e)

.

style(MfRk)

and

style(\bar{M}fRk)

are periodic (with period one) in

style\Upsilon2

, with period matrices

styleMfR

-1
M
f

=T

and

style\bar{M}fR

-1
\bar{M}
f

=T-1

. We have

style\sigmak=MfRk(\Delta)

and

style\bar{\sigma}k=\bar{M}fRk(\Delta)

.

Generalization of approximability

A real number

style\alpha>0

is called badly approximable if

style\{q(p\alpha-q):p,q\inZ,q>0\}

is bounded away from zero. An irrational number is badly approximable if and only if the partial quotients of its continued fraction are bounded.[1] This fact admits of a generalization in terms of Klein polyhedra.

Given a simplicial cone

styleC=\{x:(\foralli)\langlewi,x\rangle\geq0\}

in

styleRn

, where

style\langlewi,wi\rangle=1

, define the norm minimum of

styleC

as

styleN(C)=inf\{\prodi\langlewi,x\rangle:x\inZn\capC\setminus\{0\}\}

.

Given vectors

stylev1,\ldots,vm\inZn

, let

style[v1,\ldots,vm]=

\sum
i1<<in

\vert

\det(v
i1

v
in

)\vert

. This is the Euclidean volume of

style\{\sumiλivi:(\foralli)0\leqλi\leq1\}

.

Let

styleV

be the sail of an irrational simplicial cone

styleC

.

stylex

of

style\Gammae(V)

, define

style[x]=[v1,\ldots,vm]

where

stylev1,\ldots,vm

are primitive vectors in

styleZn

generating the edges emanating from

stylex

.

style\sigma

of

style\Gammaf(V)

, define

style[\sigma]=[v1,\ldots,vm]

where

stylev1,\ldots,vm

are the extreme points of

style\sigma

.

Then

styleN(C)>0

if and only if

style\{[x]:x\in\Gammae(V)\}

and

style\{[\sigma]:\sigma\in\Gammaf(V)\}

are both bounded.

The quantities

style[x]

and

style[\sigma]

are called determinants. In two dimensions, with the cone generated by

style\{(1,\alpha),(1,0)\}

, they are just the partial quotients of the continued fraction of

style\alpha

.

See also

References

Notes and References

  1. Book: Bugeaud, Yann . Distribution modulo one and Diophantine approximation . Cambridge Tracts in Mathematics . 193 . Cambridge . . 2012 . 978-0-521-11169-0 . 1260.11001 . 245 .