Pith. Sign in

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

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9310070 (version 1)
Pith IDUXFN5CP3, Pith's permanent record of this paper and its review
CitationL. D. Faddeev, R. M. Kashaev. "Quantum Dilogarithm." arXiv:hep-th/9310070 (1993). https://pith.science/paper/UXFN5CP3
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

Rogers' five-term, or pentagon, identity is the deepest classical property of the dilogarithm: it says that a particular combination of five dilogarithm values cancels exactly. Faddeev and Kashaev ask what that identity becomes when the dilogarithm is replaced by its quantum deformation, the infinite product $Psi(x)=prod_{n>=1}(1-x theta^n)$ with $|theta|<1$, which behaves like an exponentiated Euler dilogarithm as $theta -> 1$. Their answer is an operator identity, $Psi(hat V)Psi(hat U)=Psi(hat U)Psi(-hat U hat V)Psi(hat V)$, for two operators obeying the Weil commutation relation $hat U hat V = theta hat V hat U$; read multiplicatively, this is the pentagon relation with the quantum dilogarithm in place of the classical one. They then argue that sending the deformation parameter to zero recovers Rogers' identity, and treat separately the case where $theta$ is a root of unity, where the quantum dilogarithm becomes a function on a Fermat curve and the identity turns into a known lattice integrability condition. The interest is that the same five-term structure survives quantization, which is what makes the quantum dilogarithm usable as a building block in lattice models and in low-dimensional field theory.

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,926 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.05 · states limitation 0.19 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.82 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.99.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

78 later papers cite it

Evidence: substantial. 76 of the citing papers share no author with it, and 14 of those carry a confident label from Pith's citation classifier.

Pith read 26 of the 115 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 10 of 11 papers with this label · 1 by the same authors

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
How the literature uses it

70 arXiv papers cite this in 107 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers whose main result relates to this one's

Found among the papers closest to this one by title and main claim. Pith's classifier compared each pair's main results and a second model family confirmed the relation; checked against two further families, shown conflicts agreed 118 times in 120 and shown same results 218 times in 239. The quoted sentence is the other paper's main claim.

States the same result 1 paper

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

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.