REVIEW
Quantum Dilogarithm
High Energy Physics - Theory · Submitted 13 Oct 1993 · 9 references
Pith's verdict: Short, correct, and the source of the quantum pentagon identity; the derivations are sketched but the results hold up, and the stress-test's saddle-point objection is wrong.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A quantum version of Rogers' five-term dilogarithm identity is proposed, and it reduces to the classical one as the deformation parameter is switched off.
The reading
What carries the argument
The quantum dilogarithm $Psi(x)=prod_{n>=1}(1-x theta^n)$ and its two operator identities, together with the Weil algebra $hat U hat V = theta hat V hat U$. The mechanism is that the two operator identities compose into a three-factor relation, and that the deformation parameter $theta$ plays the role of $hbar$: as $theta -> 1$ the product develops an essential singularity whose exponential rate is Euler's dilogarithm, so the multiplicative operator relation degenerates into the additive five-term identity. In the root-of-unity case the same role is played by the Fermat-curve function $w(a,b,c|n)$, whose functional equation $Psi(omega^{-1}hat A)Psi(hat A)^{-1}=(c-omega^{1/2}a hat A)/b$ fixes it up to a constant, and whose five-term relation is claimed to coincide with a known integrability condition for three-dimensional lattice models.
Extended reading notes
Core claim
The paper's central claim is that the pentagon identity has an exact quantum analogue. Using two relations proved elsewhere for the quantum dilogarithm with operator arguments, $Psi(hat U)Psi(hat V)=Psi(hat U+hat V)$ and $Psi(hat V)Psi(hat U)=Psi(hat U-hat U hat V+hat V)$, the authors rewrite the second as $Psi(hat V)Psi(hat U)=Psi(hat U)Psi(-hat U hat V)Psi(hat V)$ and identify this as the quantized pentagon identity. They then check the classical limit: representing $hat U = x e^{alpha hat q}$, $hat V = y e^{beta hat p}$ with $[hat q,hat p]=i hbar$ and $theta = e^{i alpha beta hbar}$, they convert the operator identity into a double integral over the symbols of the operators, and assert that stationary phase evaluation at leading order in $hbar$ yields exactly the exponentiated form of Rogers' identity (1.3b), with the shifted arguments $(x-xy)/(1-xy)$ and $(y-xy)/(1-xy)$. The second half of the paper treats $theta$ a primitive $N$-th root of unity: the quantum dilogarithm is then defined through a function $w(a,b,c|n)$ on the Fermat curve $a^N+b^N=c^N$, and the pentagon identity becomes a five-term relation among such functions, which the authors identify with the restricted star-triangle relation of Bazhanov and Baxter.
Load-bearing premise
The passage from the operator identity to Rogers' identity rests on evaluating a double integral by stationary phase, and the paper asserts the outcome without computing the saddle points or the fluctuation determinant.
Editorial extensions
If this is right
- The quantum dilogarithm satisfies the same five-term relation as the classical dilogarithm, so it can be manipulated algebraically the way Rogers' $L$-function is.
- The deformation parameter $theta$ acts as a bookkeeping device for $hbar$: the classical pentagon identity is recovered as a saddle-point limit of an integral identity between operator symbols.
- At $theta$ a root of unity the identity becomes a finite-dimensional matrix relation, giving a concrete $N$-state realization of the pentagon relation.
- That finite-dimensional relation is the restricted star-triangle relation of Bazhanov and Baxter, so the quantum dilogarithm supplies a compact algebraic encoding of a lattice integrability condition.
- Because the root-of-unity case has a classical limit as $N -> infinity$, the same identity controls both the finite and the continuum regimes.
Reading between the lines
- If the operator identity holds exactly, one could use it to derive the Yang-Baxter equation for the associated lattice model directly from an algebraic relation among dilogarithm factors, rather than from a case-by-case Boltzmann-weight check.
- The root-of-unity construction suggests a finite-dimensional approximation scheme: truncating at level $N$ gives a controlled deformation of the classical identity whose error is governed by the $N -> infinity$ asymptotics of the Fermat-curve function.
- A natural test of the whole scheme is whether the five-term relation closes consistently when the same operator appears in more than one factor, which would probe the associativity constraints the paper does not spell out.
Original abstract
A quantum generalization of Rogers' five term, or ``pentagon'' dilogarithm identity is suggested. It is shown that the classical limit gives usual Rogers' identity. The case where the quantum identity is realized in finite dimensional space is also considered and the quantum dilogarithm is constructed as a function on Fermat curve, while the identity itself is equivalent to the restricted star-triangle relation introduced by Bazhanov and Baxter.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
A quantum generalization of Rogers' five term, or ``pentagon'' dilogarithm identity is suggested. It is shown that the classical limit gives usual Rogers' identity. The case where the quantum identity is realized in finite dimensional space is also considered and the quantum dilogarithm is constructed as a function on Fermat curve, while the identity itself is equivalent to the restricted star-triangle relation introduced by Bazhanov and Baxter.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | A quantum generalization of Rogers' five term, or ``pentagon'' dilogarithm identity is suggested. | contribution 0.99 | 0.74 | 0.39 | hedged possibility 0.99 |
| s1 | It is shown that the classical limit gives usual Rogers' identity. | result 0.98 | 0.85 | 0.17 | asserted 1.00 |
| s2 | The case where the quantum identity is realized in finite dimensional space is also considered and the quantum dilogarithm is constructed as a function on Fermat curve, while the identity itself is equivalent to the restricted star-triangle relation introduced by Bazhanov and Baxter. | contribution 0.52 | 0.78 | 0.39 | asserted 0.99 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
78 later papers cite it
10 later papers by other authors are listed below: 9 used its method or tool and 1 compared its own results with it. 1 more paper by the same authors is listed: 1 used its method or tool.
Uses its method or tool 10 of 11 papers with this label · 1 by the same authors
-
Used this paper's Faddeev-Kashaev version of the quantum dilogarithm in place of the non-compact quantum dilogarithm.
Gauge/Liouville Triality (2013) · 0.88 · paraphrased: the licence does not allow quoting
-
Used this paper's Faddeev quantum dilogarithm in its expression.
New results in $\mathcal{N}=2$ theories from non-perturbative string (2017) · 0.86 · paraphrased: the licence does not allow quoting
-
Proceeded as in this paper to realize the generators of the quantum torus as unitary operators.
Wall-crossing, Rogers dilogarithm, and the QK/HK correspondence (2011) · 1.00 · paraphrased: the licence does not allow quoting
-
Implemented the transformation by conjugation with this paper's quantum dilogarithm of Faddeev and Kashaev.
Framed BPS States (2010) · 0.97 · paraphrased: the licence does not allow quoting
-
Used the multiplication property of this paper's q-exponential to write the products in F+ in terms of a q-exponential again.
Jordan-Schwinger Representations and Factorised Yang-Baxter Operators (2009) · 0.95 · paraphrased: the licence does not allow quoting
-
Used Faddeev's quantum dilogarithm function as defined in this paper.
Quantum Periods and TBA-like Equations for a Class of Calabi-Yau Geometries (2020) · 0.89 · paraphrased: the licence does not allow quoting
-
Followed this paper by starting with the q-binomial theorem and replacing (X)_n by (X)_infinity/(Xq^n)_infinity.
E-series of character varieties of non-orientable surfaces (2020) · 0.99 · paraphrased: the licence does not allow quoting
-
Constructed these linear operators based on this paper's Faddeev non-compact quantum dilogarithm.
Renormalization Group flow in Schur quantization (2025) · 0.81 · paraphrased: the licence does not allow quoting
-
Used this paper's asymptotic expansion of the quantum dilogarithm function.
A non-unitary bulk-boundary correspondence: Non-unitary Haagerup RCFTs from S-fold SCFTs (2023) · 0.94 · paraphrased: the licence does not allow quoting
By the same authors
-
Applied the saddle point method, also known as the stationary phase method, in the manner of this paper.
Classical and Quantum Dilogarithm Identities (2011) (same authors) · 1.00 · paraphrased: the licence does not allow quoting
Compares with it 1 of 6 papers with this label
-
Found that its resulting wave function has the same asymptotic behavior as this paper's quantum dilogarithm.
Quantum Curve for strip geometries, Topological Recursion and open GW/DT invariants (2025) · 0.81 · paraphrased: the licence does not allow quoting
How the literature uses it
70 arXiv papers cite this in 107 sentences
Papers whose main result relates to this one's
States the same result 1 paper
-
This is to present a previously overlooked q-analog of the five-term dilogarithm relation.
Papers citing it · 60 sentences without a confident label
Builds on it 1 paper
-
Generalizing the techniques of Kashaev and Nakanishi [ref] , building on earlier work by Faddeev and Kashaev [ref] , we show in [ref] that the classical limit of the motivic KS wall crossing formula implies a set of functional identities for the Rogers dilogarithm which ensure the consistency of the construction.
Wall-crossing, Rogers dilogarithm, and the QK/HK correspondence · D-instantons, wall-crossing and contact geometry · 0.82
Uses its method or tool 11 papers
-
To do it, we apply the saddle point method (see, e.g., [ref] ), also known as the stationary phase method, à la [ref] .
Classical and Quantum Dilogarithm Identities · Classical and quantum dilogarithm identities from cluster algebras · 1.00
-
This replaces the non-compact quantum dilogarithm $s_b$ by its Faddeev-Kashaev version [ref] $φ(x)$ we use here.] over $x$.
Gauge/Liouville Triality · The 3d Gauge Theory $G_3d$ · 0.88
-
In the case of local $^1 ×^1$ one has to rescale $𝗑, 𝗉$ as 𝗑=𝗏 12+𝗎 ħ2 π+14 logξ, 𝗉=𝗏12-𝗎 ħ2 π+14 logξ, [𝗎 , 𝗏 ]= 2 π.By using unitary transformations, one can write [ref] as [ref] ξ^1/4 | g(b𝗎2 π) | 2cosh(𝗏/2) | g(b𝗎2 π)|,where g (𝗌): =^-πb 𝗌/2 (𝗌+logξ/(4 πb)- b/4)(𝗌-logξ/(4 πb)+ b/4) , b^2=ħπ, and $$ denotes the Faddeev's quantum dilogarithm [ref] .
New results in $\mathcal{N}=2$ theories from non-perturbative string · The dual four dimensional limit · 0.86
Compares with it 6 papers
-
[ref] we prove that in the so-called vector representation the pentagon identity reduces to the famous Faddeev-Kashaev-Volkov pentagon identity [ref] for quantum dilogarithm functions.
On pentagon identity in Ding-Iohara-Miki algebra · Introduction · 0.83
-
The relation [ref] should be compared with the quantum pentagon relation at $N$th roots of unity [ref] , where $N$th powers of the operators are central and they enter the relation as parameters.
Classical and Quantum Dilogarithm Identities · Example of type $A_2$ · 1.00
-
The following looks like what was established in [ref] [ref] , but a little different because the settting and definition for the cyclic quantum dilogarithm are modified in the present paper (see [ref]).
Finite dimensional quantum Teichm\"uller space from the quantum torus at root of unity · Quantum pentagon identity of cyclic quantum dilogarithm · 0.93
Cites it as background 22 papers
-
The quantum dilogarithm [ref] (see also [ref] and references therein for further information) is a special function which plays an important role in quantum Teichmüller theory and complex Chern-Simons theory.
$x-y$ duality in Topological Recursion for exponential variables via Quantum Dilogarithm · Faddeev's Quantum Dilogarithm and $x-y$ duality · 1.00
-
We review the notion of cyclic quantum dilogarithm of Faddeev and Kashaev [ref] .
Finite dimensional quantum Teichm\"uller space from the quantum torus at root of unity · Cyclic quantum dilogarithm · 0.92
-
The pentagon relations are interesting from different aspects, see, for instance, [ref] .
Integral pentagon relations for 3d superconformal indices · Introduction · 0.91
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.