Die Exponentialfunktion über algebraische Zahlen

Wie geschrieben, benötigt das Problem Zeit , wobei die Länge der Eingabe ist (die Sie leider verwendet haben $2^{\Omega(m)}$ $m$ für etwas anderes verwendet). In der Tatistdie Größe der Ausgabe exponentiell in der Größe der Eingabe, wenn z. B. eine positive ganze Zahl ist (gegeben durch ihr minimales Polynom ) und ist. Diese Grenze ist natürlich optimal, da es eine Reihe von Möglichkeiten gibt, das Ergebnis in der Zeit zu berechnen. $n$ $\alpha$ $x-\alpha$ $n=0$ $2^{O(m)}$

Lassen Sie mich versuchen, die Frage so umzuformulieren, dass sie etwas sinnvoller ist. Die Hauptfrage ist, wie die Darstellung der Eingabe und Ausgabe sowie der Begriff der Approximation so gewählt werden, dass die Potenzierung eine kämpfende Chance hat, in der Polynomzeit berechenbar zu sein.

Ein Weg wurde von Kaveh in den Kommentaren erwähnt: Beschränken Sie die Domäne auf ein festes endliches Intervall. Dies funktioniert zwar, ist jedoch unnötig einschränkend. Insbesondere gibt es keine gute Möglichkeit, eine algebraische Zahl in eine begrenzte Zahl umzuwandeln, damit ihre Exponentiale etwas miteinander zu tun haben.

Ein flexiblerer Ansatz besteht darin, die Eingabe als Festkommazahl und die Ausgabe als Gleitkommazahl darzustellen . Um genau zu sein, ist eine Festpunktdarstellung eine Zeichenfolge bezeichnet

\pm a_{r} a_{r - 1} \dots a_{0} . a_{- 1} \dots a_{- s}

$\pm a_ra_{r-1}\dots a_0.a_{-1}\dots a_{-s}$

, wobei

und eine Gleitkommadarstellung

\pm \sum_{j} a_{j} 2^{j}

$\pm\sum_ja_j2^j$

a_{j} \in {0, 1}

$a_j\in\{0,1\}$

mit einer ähnlichen Interpretation, wobei

eine binäre ganze Zahl ist und

. (Ausnahmsweise erlauben wir auch, dass

sich selbst darstellt.) Eine Annäherung eines reellen

Bits mitabsoluterGenauigkeit ist ein reelles

so dass

und eine Annäherung an

BitsrelativerGenauigkeit ist

\pm 2^{e} \times a_{0} . a_{- 1} \dots a_{- s}

$\pm2^e\times a_0.a_{-1}\dots a_{-s}$

e

$e$

a_{0} = 1

$a_0=1$

0

$0$

x

$x$

m

$m$

x^{'}

$x'$

| x - x^{'} | < 2^{- m}

$|x-x'|<2^{-m}$

m

$m$

so dass

x^{'}

$x'$

. Wir werden die absolute Genauigkeit für Festkomma-Näherungen und die relative Genauigkeit für Gleitkomma-Näherungen verwenden. Daraus folgt, dass wir in beiden Fällen genauso gut

annehmen können(bis zum Verlust eines Genauigkeitsbits).

| 1 - x^{'} / x | < 2^{- m}

$|1-x'/x|<2^{-m}$

s \leq m

$s\le m$

Festpunkt- und Gleitkomma-Darstellungen von dyadischen Gaußschen Rationalen und Approximationen komplexer Zahlen werden auf ähnliche Weise unter Verwendung eines Paares von Real definiert. Überall unten bezeichnet die Gesamtgröße der Eingabe. $n$

Die (reale oder komplexe) Exponentiation sei nun das folgende Problem: Die Eingabe ist eine Festpunktdarstellung einer Zahl und einer unären natürlichen Zahl , und die Ausgabe ist eine Gleitkommanäherung von an $x$ $m$ $e^x$ Bits relativer Genauigkeit. DerLogarithmusnimmtzweifacheine Gleitkommazahl und ein unäres als Eingabe, und die Ausgabe ist eine Festkomma-Annäherung von (z. B. der Hauptzweig im komplexen Fall) an Bits mit absoluter Genauigkeit. $m$ $x$ $m$ $\log x$ $m$

Solange wir uns an Laufzeitgrenzen halten, die einige milde Regelmäßigkeitsbedingungen erfüllen, und konstante multiplikative Faktoren ignorieren, haben wir:

Die Komplexität der Exponentiation, des Logarithmus oder einer ähnlichen analytischen Funktion ist zumindest die Komplexität der ganzzahligen Multiplikation: z. B. können wir von ablesen $a^2$ für ausreichend großes , linear in der Länge von . $\exp(a2^{-t})=a2^{-t}+a^22^{-2t-1}+O(a^32^{-3t})$ $t$ $a$
Potenzierung und Logarithmus sind gleich komplex. Der Grund ist, dass wir die Umkehrung einer schönen Funktion durch Newton-Iteration (oder komplexere Methoden wie in Brent ) unter Verwendung der Auswertung der Funktion selbst berechnen können . Die Iteration beinhaltet typischerweise Multiplikationen oder Divisionen, aber wir können uns diese durch den vorherigen Punkt leisten.

Die algebraischen Zahlen können durch ihr minimales Polynom (geschrieben als Folge von ganzzahligen Koeffizienten in Binärform) zusammen mit einigen Mitteln zur Unterscheidung zwischen den Wurzeln desselben Polynoms dargestellt werden. Ein natürlicher Weg, dies zu tun, besteht darin, ein Isolationsintervall oder eine Isolationsscheibe zu benötigen: ein Paar von Festpunktnummern so dass $\alpha$ $f$ $c,\rho$ . Wir müssen zumindest verlangen, dass eine eindeutige Wurzel von mit dieser Eigenschaft ist, aber etwas Stärkeres kann geeigneter sein. Dazu später mehr. $|c-\alpha|<\rho$ $\alpha$ $f$

Die algebraische Zahlennäherung sei das folgende Problem: Berechnen Sie bei gegebener algebraischer Zahl in der obigen Darstellung und in unär eine (komplexe) Festpunktnäherung von an Bits mit absoluter Genauigkeit. $\alpha$ $m$ $\alpha$ $m$

$\DeclareMathOperator\re{Re}$ Die ursprüngliche Frage bezog sich auf , aber lassen Sie mich dies zunächst ignorieren und die Potenzierung der algebraischen Zahl als das folgende Problem definieren: Berechnen Sie bei und wie oben eine (komplexe) Gleitkommanäherung von an relative Bits Richtigkeit. $\re e^\alpha$ $\alpha$ $m$ $e^\alpha$ $m$

Fakt: Bis auf lineare Faktoren entspricht die Komplexität der algebraischen Zahlenexponentiation der Komplexität der algebraischen Zahlennäherung plus der Komplexität der komplexen Exponentiation.

Beweisskizze: Einerseits können wir zuerst die Fixpunktnäherung von berechnen und dann potenzieren. Es ist zu beachten, dass Bits mit absoluter Genauigkeit für bis Bits mit relativer Genauigkeit bestimmen und umgekehrt. $\alpha$ $m+O(1)$ $\alpha$ $e^\alpha$ $m$

Wenn wir andererseits eine algebraische Zahlenexponentiation durchführen können, können wir auch eine einfache Exponentiation durchführen, da wir eine Festpunktzahl (die als genau angesehen wird) leicht in ihre Darstellung als algebraische Zahl umwandeln können. Durch die obigen Kommentare bedeutet dies, dass wir auch Logarithmen in derselben Zeitgrenze berechnen können. Wir können also eine algebraische Zahl approximieren , indem wir zuerst approximieren und dann einen Logarithmus nehmen. QED $e^\alpha$

Dies teilt die Frage in zwei völlig unabhängige Probleme auf. Die bekannteste Obergrenze für die Potenzierung ist

Satz ( Brent ): Wenn wir Bit-Ganzzahlen in der Zeit multiplizieren können $n$ $M(n)$ , können wir die komplexe Exponentiation (und den Logarithmus) in der Zeit berechnen . $O(M(n)\log n)$

Die bekannteste Untergrenze ist $\Omega(M(n))$ oben erwähnte . Die bekannteste Obergrenze für ist $M(n)$ nach Fürers Algorithmus. $n\log n\,2^{O(\log^*n)}$

Es ist schwieriger, den Stand der Technik für die algebraische Näherung von Zahlen (dh das Finden von Wurzeln) herauszufinden, da es sich immer noch um ein Gebiet aktiver Forschung handelt und die Formulierungen von Grenzen in der Literatur oft nicht so klar sind, wie man es gerne hätte. Lassen bezeichnen . $\tilde O(f(n))$ $O(f(n)\mathrm{polylog}(f(n)))$

Für reale Wurzel Annäherung, Pan und Tsigaridas geben:

Satz: Die Näherung der reellen algebraischen Zahl kann in der Zeit , wobei $\tilde O(d^2\tau+dm)$ ist und das Maximum der Bitlängen der Koeffizienten von . $d=\deg(f)$ $\tau$ $f$

In derselben Arbeit erwähnen sie als die bekannteste Grenze für die komplexe Wurzelnäherung. In einem etwas neueren Artikel ( http://arxiv.org/abs/1404.4775 ) scheinen sie für den komplexen Fall die gleichen Grenzen zu beanspruchen wie für den realen Fall, unter der Annahme, dass die angegebene Isolationsplatte ein Isolationsverhältnis aufweist (the Abstand der Plattenmitte zur nächsten anderen Wurzel von geteilt durch den Radius der Platte) mindestens $\tilde O(d^3+d^2m)$ $f$ oder so, aber es ist ziemlich chaotisch geschrieben und ich kann es falsch interpretieren. $1+1/\log d$

Nun die letzte Komplikation. Ich habe das Problem als Annäherung an , während die Frage nach fragt . Dies macht das Problem tatsächlich schwieriger: Wenn , dann hat eine Annäherung von an Bits relativer Genauigkeit den Fehler , der durchaus größer als selbst sein kann, und in Es ist nicht garantiert, dass der Fall durch . $e^\alpha$ $\re e^\alpha$ $\re e^\alpha\ll\operatorname{Im}e^\alpha$ $x+iy$ $e^\alpha$ $m$ $y2^{-m}$ $x$ $x2^{-m}$

Zur Potenzierung exakter Rationalitäten können wir das Problem umgehen:

Satz: Wenn und unäres , wobei binäre Rationalen (oder exakte Festpunktzahlen) sind, können wir eine Gleitkommanäherung von an Bits relativer Genauigkeit innerhalb derselben Zeitgrenze berechnen als komplexe Exponentiation wie oben definiert, bis zum linearen Faktor. (Dh, $\alpha=x+iy$ $m$ $x,y$ $\re e^\alpha$ $m$ Verwendung des Brent-Algorithmus.) $O(M(n)\log n)$

Beweisskizze: Wir haben . Wir können approximieren und Gleitkommazahlen lassen sich leicht multiplizieren. Das Problem besteht darin, mit dem relativen Fehler zu approximieren . Wir können die ganze Zahl berechnen am nächsten zu , von wo ist oder , wobei $\re e^\alpha=e^x\cos y$ $e^x$ $\cos y$ $2^{-m}$ $k$ $2y/\pi$ $\cos y$ $\pm\cos y'$ $\pm\sin y'$ erfüllt. Das Problem tritt auf, wenn wirberechnen müssenundsehr klein ist, dawirbenötigen, umzuBits relativer Genauigkeitzu haben Bits von absoluter Genauigkeit. Angenommen,ist klein, so haben wir eine gute rationale Näherung von: $y'=y-k\frac\pi2$ $|y'|\le\pi/4$ $\sin y'$ $y'$ $\sin y'$ $m$ $m+\log|{y'}^{-1}|$ $y=u/v$ , wobei ganze Zahlen sind, die als Eingabe angegeben werden. Wenn $u,v$ $y'$ $\pi$ Nunist bekannteinen finite Unvernünftigkeit Maß haben(die Stromgrenze istvonSalikhov). Dies impliziert

| π - \frac{2 u}{k v} | \leq \frac{2 | y^{'} |}{k} .

$\left|\pi-\frac{2u}{kv}\right|\le\frac{2|y'|}k.$

π

$\pi$

ν

$\nu$

7.6063

$7{.}6063$

was eine lineare Obergrenze für

ergibt

in Bezug auf die Länge der Eingabe. Wir können also

mit der gewünschten Genauigkeitberechnen; Die Bewertung von

ist dann kein Problem (wenn

ausreichend klein ist, können wir einfach

). QED

| y^{'} | \geq \frac{1}{2 k^{ν - 1} v^{ν}},

$|y'|\ge\frac1{2k^{\nu-1}v^\nu},$

\log | {y^{'}}^{- 1} |

$\log|{y'}^{-1}|$

y^{'}

$y'$

\sin y^{'}

$\sin y'$

y^{'}

$y'$

\sin y^{'} \approx y^{'}

$\sin y'\approx y'$

Ich weiß nicht, ob das auch für algebraisches . Im obigen Argument kann man eine Bindung an Nach dem Satz von Baker ist jedoch keine seiner Versionen, die ich gesehen habe, gut genug, um die erforderliche Genauigkeit in der Größe der Eingabe linear zu machen: Insbesondere beinhalten die Grenzen ein (ziemlich unangenehmes) Polynom in $\alpha$ $\log|y'|$ . Dies macht den resultierenden Algorithmus polynomisch in der Größe der Eingabe, aber mit einem lächerlichen Exponenten. $\deg(f)$

Emil Jeřábek
quelle

Ich denke, das Hauptproblem ist, dass die Potenzierung über ganze Zahlen nicht mehrzeitberechnbar ist. Eine Möglichkeit, mit der Potenzierung über reelle Zahlen umzugehen, besteht darin, dieses Problem vom Rest zu trennen: 1. Finden Sie eine ganze Zahl

so dass

, 2. Berechnen Sie

, 3. return

als Antwort.

k

$k$

0 \leq b / k < 1

$0 \leq b/k < 1$

r = (b / k)^{e}

$r = (b/k)^e$

(r, k, e)

$(r,k,e)$

Kaveh

k, b, e

$k,b,e$

(r, k, e)

$(r,k,e)$

2^{a}

$2^a$

a

$a$

e^{a}

$e^a$

⌊ a / \log 2 ⌋

$\lfloor a/\log 2\rfloor$

\exp (a - ⌊ a / \log 2 ⌋ \log 2)

$\exp(a-\lfloor a/\log 2\rfloor\log 2)$

b^{e}

$b^e$

r

$r$

e

$e$

n

$n$

b / k \approx 1 / 2

$b/k\approx1/2$

r \approx 2^{- 2^{n}}

$r\approx 2^{-2^n}$

k^{e} r

$k^er$

k

$k$

k

$k$ kann variieren, was es schwierig macht, Berechnungen für solche Darstellungen durchzuführen. Was sind die Vorteile?

Emil Jeřábek

Die Exponentialfunktion über algebraische Zahlen

Antworten: