Quantenlogarithmus

Der Quantenlogarithmus ist eine Funktion der mathematischen Physik. Er ist eine Quantenversion des klassischen Logarithmus und kommt bei der Verallgemeinerung vom klassischen Dilogarithmus zum Quantendilogarithmus vor. Quantendilogarithmen werden bei der Untersuchung integrabler Quantenfeldtheorien auf Gittern verwendet.

Definition

Es sei $\hslash >0$. Der Quantenlogarithmus

${\varphi }^{\hslash }:ℂ\to ℂ$

ist definiert durch

${\varphi }^{\hslash }(z):=-2\pi \hslash \underset{C}{\int }\frac{e^{-ixz}}{(e^{\pi x}-e^{-\pi x})(e^{\pi \hslash x}-e^{-\pi \hslash x})}dx$,

wobei $C\subset ℂ$ eine entlang der reellen Achse von $-\mathrm{\infty }$ nach $\mathrm{\infty }$ verlaufende und den Nullpunkt von oben umlaufende Kurve ist, zum Beispiel $C=[-\mathrm{\infty },-1]\cup \{e^{it}:\pi \ge t\ge 0\}\cup [1,\mathrm{\infty }]$.

(Für jede Kurve mit diesen Eigenschaften ergibt Integration dieses Integranden über die Kurve denselben Wert.)

Eigenschaften

Im semiklassischen Limit $\hslash \to 0$ hat man für den Quantenlogarithmus den Grenzwert

$\underset{\hslash \to 0}{\lim }{\varphi }^{\hslash }(z)=\log (e^z+1)$.

Für $\hslash =1$ erhält man

${\varphi }^1(z)=\frac{z}{1-e^{-z}}$.

Der Quantenlogarithmus hat eine Reihe von Symmetrieeigenschaften:

${\varphi }^{\hslash }(z)-{\varphi }^{\hslash }(-z)=z$

$\overline{{\varphi }^{\hslash }(z)}={\varphi }^{\hslash }(\bar{z})$

$\frac{1}{\hslash }{\varphi }^{\hslash }(z)={\varphi }^{\frac{1}{\hslash }}(\frac{z}{\hslash })$.

Weiter gelten die Beziehungen

${\varphi }^{\hslash }(z+i\pi \hslash )-{\varphi }^{\hslash }(z-i\pi \hslash )=\frac{2\pi i\hslash }{e^{-z}+1}$

${\varphi }^{\hslash }(z+i\pi )-{\varphi }^{\hslash }(z-i\pi )=\frac{2\pi i}{e^{-\frac{z}{\hslash }}+1}$

${\varphi }^{\hslash }(z)={\varphi }^{\hslash +1}(z+\pi i)+{\varphi }^{\frac{\hslash }{\hslash +1}}(z-\pi \hslash i)={\varphi }^{\hslash +1}(z-\pi i)+{\varphi }^{\frac{\hslash }{\hslash +1}}(z+\pi \hslash i)$

und man hat die Summenformel

$\sum _{l=-r}^r\sum _{m=-s}^s{\varphi }^{\hslash }(z+\frac{2\pi i}{2r+1}l+\frac{2\pi i\hslash }{2s+1}m)={\varphi }^{\frac{2r+1}{2s+1}\hslash }((2r+1)z)$.

Die 1-Form ${\varphi }^{\hslash }(z)dz$ ist meromorph, sie hat einfache Polstellen mit Residuum $\pm 2\pi i\hslash$ in den Punkten $(2n-1)\hslash \pi i\pm (2m-1)\pi i$ mit $n,m\in \mathbb{N}$.

Literatur

• V. V. Fock, A. B. Goncharov: The quantum dilogarithm and representations of quantum cluster varieties. Invent. Math. 175 (2009), no. 2, 223–286. (Kapitel 4.1)