Pith. Sign in

REVIEW

Boundary Liouville Field Theory I. Boundary State and Boundary Two-point Function

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
V. Fateev (Montpellier), A. Zamolodchikov (Rutgers), Al. Zamolodchikov (Montpellier)

High Energy Physics - Theory · Submitted 4 Jan 2000 · 31 references

Pith's verdict: The paper that opened boundary Liouville theory; both headline formulas have held up, with one normalization convention worth flagging.

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 →

· 2 major objections · 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0001012 (version 1)
Pith ID2BWVECBO, Pith's permanent record of this paper and its review
CitationAl. Zamolodchikov (Montpellier), A. Zamolodchikov (Rutgers), V. Fateev (Montpellier). "Boundary Liouville Field Theory I. Boundary State and Boundary Two-point Function." arXiv:hep-th/0001012 (2000). https://pith.science/paper/2BWVECBO
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

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Liouville field theory with a boundary is pinned down by two closed-form formulas: the expectation of a bulk operator inside a disk and the two-point function of operators living on its edge.

The reading

Liouville theory is the two-dimensional conformal field theory that governs the shape of a fluctuating surface, and it has long been solved on the sphere. This paper attacks the same theory on a disk, where the edge carries its own interaction strength — a boundary cosmological constant — and where observables depend on the dimensionless ratio of boundary to bulk coupling. The authors derive explicit closed-form expressions for the two objects that had been missing: the expectation value of a single bulk exponential operator placed inside the disk, and the two-point function of two exponential operators sitting on the boundary. With those in hand, a boundary state can be written down and, as a worked application, exact one-point functions of boundary operators in the boundary sine-Gordon model follow.

What carries the argument

The engine is the degenerate-operator shift equation. Inserting the degenerate field $V_{-b/2}$ (or, on the boundary, $B_{-b}$, since the level-two boundary degenerate does not always obey a null-vector equation) forces a truncated operator product expansion with only two or three terms, and the special structure constants in that expansion are computable as Coulomb-gas screening integrals. Equating the two ways of shrinking the resulting auxiliary three-point function gives a functional equation that shifts $α$ by $b/2$ (or $β$ by $b$), and a dual equation with $b → 1/b$ makes the solution unique up to a constant. The solutions are written in terms of the self-dual functions $Υ$, $S$, and $G$, whose shift relations and zero/pole structure encode the whole answer.

Extended reading notes

Core claim

The paper's central claim is that boundary Liouville theory on the disk admits explicit, exact answers for its two basic boundary data. The first is the bulk one-point function $U(α|μ_B) = 2b (πμγ(b^2))^{(Q-2α)/2b} Γ(2bα-b^2)Γ(2α/b - 1/b^2 - 1) cosh((2α-Q)πs)$, where the boundary cosmological constant enters only through $s$ via $cosh^2 πbs = μ_B^2 sin(πb^2)/μ$. The second is the boundary two-point function $d(β|s_1,s_2)$ of eq. (3.18), built out of the self-dual functions $G$ and $S$ and symmetric in the two boundary couplings. Both are obtained by imposing the shift relations generated by degenerate operator insertions, and both are claimed to be the unique self-dual solutions once an overall normalization is fixed. The authors check the bulk result against the minisuperspace (small-$b$) limit, where the boundary state wave function reduces to the exponential of the boundary action, and against the reflection relation $U(α) = U(Q-α)D(α)$ with the known bulk two-point function.

Load-bearing premise

The shift equations fix only the ratio of the unknown function at shifted arguments, so the overall multiplicative constant in each answer is an extra input: for the bulk one-point function it is fixed by demanding that residues match perturbative screening integrals and by the small-$b$ minisuperspace comparison, and for the boundary two-point function it is fixed by an asserted unitarity relation $d(β)d(Q-β)=1$ that is imposed rather than derived.

Editorial extensions

If this is right

  • Any disk correlation function mixing bulk and boundary Liouville operators can now be assembled from the bulk three-point function and the two new boundary data through conformal intermediate-state expansions.
  • The boundary state is fixed explicitly, $\langle B_s| = \int dP\, U(P)\langle P|/π$, so the disk partition function with an arbitrary boundary cosmological constant becomes a computable quantity.
  • The boundary two-point function serves as a reflection coefficient, giving exact one-point functions of exponential boundary operators in the boundary sine-Gordon model, as written in eq. (4.10).
  • The degenerate boundary fields $B_{-nb/2}$ are argued to have vanishing null vectors precisely when $s_1 \mp s_2 = \pm ibk$, giving boundary fusion rules analogous to the bulk ones.
  • Comparing these continuum results with random-lattice discretizations of two-dimensional gravity with a boundary becomes a concrete check rather than a qualitative hope.

Reading between the lines

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

  • The same shift-equation strategy should extend to the bulk-boundary structure constant $R(α,β)$, which the authors promise in a companion paper; if it closes, the disk bootstrap becomes fully solvable and the crossing matrix for symmetric conformal blocks can be extracted from the bulk two-point function.
  • Because the boundary answer depends only on the scale-invariant ratio $μ_B^2/μ$, the result predicts that any two boundary conditions with the same ratio are physically identical — a sharp statement that a lattice or numerical simulation could test directly.
  • The authors note that the one-loop prefactor in the heavy-$α$ semiclassical expansion of $Z_α(A,\ell)$ has not been computed; that calculation is the most immediate independent check of the normalization choice, since the classical action already matches.
  • The interpretation of $\int_{\partialΓ} e^{bφ}$ as the boundary length turns $U(α|μ_B)$ into a Laplace transform of a length distribution obeying a Wheeler-deWitt-type equation; the paper shows this equation is exact, not merely semiclassical, which suggests it should hold as an operator statement in the quantum theory.
Original abstract

Liouville conformal field theory is considered with conformal boundary. There is a family of conformal boundary conditions parameterized by the boundary cosmological constant, so that observables depend on the dimensional ratios of boundary and bulk cosmological constants. The disk geometry is considered. We present an explicit expression for the expectation value of a bulk operator inside the disk and for the two-point function of boundary operators. We comment also on the properties of the degenrate boundary operators. Possible applications and further developments are discussed. In particular, we present exact expectation values of the boundary operators in the boundary sin-Gordon model.

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, 5,343 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

Liouville conformal field theory is considered with conformal boundary. There is a family of conformal boundary conditions parameterized by the boundary cosmological constant, so that observables depend on the dimensional ratios of boundary and bulk cosmological constants. The disk geometry is considered. We present an explicit expression for the expectation value of a bulk operator inside the disk and for the two-point function of boundary operators. We comment also on the properties of the degenrate boundary operators. Possible applications and further developments are discussed. In particular, we present exact expectation values of the boundary operators in the boundary sin-Gordon model.

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 Liouville conformal field theory is considered with conformal boundary. background 0.90 0.20 0.03 asserted 0.99
s1 There is a family of conformal boundary conditions parameterized by the boundary cosmological constant, so that observables depend on the dimensional ratios of boundary and bulk cosmological constants. background 0.90 0.27 0.09 asserted 1.00
s2 The disk geometry is considered. method 0.71 0.48 0.03 asserted 0.98
s3 We present an explicit expression for the expectation value of a bulk operator inside the disk and for the two-point function of boundary operators. result 0.62 0.96 0.73 asserted 1.00
s4 We comment also on the properties of the degenrate boundary operators. contribution 0.72 0.71 0.04 unclear 0.49
s5 Possible applications and further developments are discussed. future work 0.99 0.58 0.03 asserted 0.51
s6 In particular, we present exact expectation values of the boundary operators in the boundary sin-Gordon model. result 0.87 0.93 0.20 asserted 0.98

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

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

Figures
Figure 1. 2. Second, one needs the boundary two-point function
Figure 2. Contours of integration Ci in (3.9) together with the corresponding values of the boundary cosmological constants µi . To construct a solution to the functional equation (3.7) with (3.10) we need more special functions. First one is what is sometimes called the q-gamma function. Here we denote it S(x). It is self dual with repect to b → 1/b and satisfies the following shift relations S(x + b) = 2 sin(πbx)S(x) (3.12) S(x + 1/b) = 2 sin(πx/b)S(x) It has zeroes at x = Q + nb + m/b and poles at x = −nb − m/b ( m and n are non-negative integer numbers). In the strip 0 < Re x < Q the foll

Figures reproduced from arXiv:hep-th/0001012 by the authors.

References
How later papers used it

138 later papers cite it

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

Pith read 24 of the 329 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

Builds on it 1 of 3 papers with this label
  • In addition, we refine the analysis of the moduli space of saddles in [ref] , with important consequences for the phase of the path integral once the measure on the moduli space is accounted for.

    Quantum Liouville Cosmology (2025) · Path integral for Liouville one-point functions · 0.98

Uses its method or tool 3 of 15 papers with this label
Compares with it 2 of 16 papers with this label
Cites it as support 1 of 3 papers with this label
How the literature uses it

139 arXiv papers cite this in 333 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 citing it · 200 sentences without a confident label

Builds on it 3 papers
  • In addition, we refine the analysis of the moduli space of saddles in [ref] , with important consequences for the phase of the path integral once the measure on the moduli space is accounted for.

    Quantum Liouville Cosmology · Path integral for Liouville one-point functions · 0.98

  • This result generalize $(1,2)$ fusion rules suggested in [ref] .

    Higher Equations of Motion in Boundary Liouville Field Theory · General three-point analysis · 0.94

  • The Liouville one-point function on the hyperbolic disk with boundary length $β$ is given by [ref] : [equation] Setting $2α= Q - θ/b$, for a heavy local Liouville operator, and using [equation] and taking a double-scaling limit where $t = E/κ →0$ and $b →0$, one finds agreement with the elliptic U(1)$_θ$ density of states [ref].[The exceptional elliptic case [ref] is found by considering the degenerate operator $V_α$, $2α= Q - n/b$, which requires a slightly more subtle discussion.] This is a direct extension of the computation of [ref] .

    Defects in Jackiw-Teitelboim Quantum Gravity · Some Conclusions · 0.88

Uses its method or tool 15 papers
  • One of the main ingredients in the computation of [ref] is the shift relation[See [ref] for the explanation how this shift relation arise.]

    A Worldsheet Description of Instant Folded Strings · Computation of two point amplitudes using shift relations · 1.00

  • As in the same way as $c_-^(v)$ we obtain [equation] As seen above, the coefficient $c_- (l)$ can be written in terms of integral, and fortunately the integrals can be performed explicitly as in [ref] .

    Branes in the OSP(1|2) WZNW model · First type of two point function · 0.95

  • Hence we evaluate the correlation function by contracting each operator with its mirror operator into the identity, using the boundary OPE derived in [ref] and like-wise contract the boundary operators into the identity with the result ⟨O_ℓ_1(σ_1, σ_2)O_ℓ_2(σ_3, σ_4) ⟩_r^TO/⟨O_ℓ_1(σ_1, σ_2) ⟩_r ⟨O_ℓ_2(σ_3, σ_4)⟩_r =J(z) (1-z)^2Δ_ℓ_1 ℱ_id [ ^Δ_ℓ_1_Δ_ℓ_1 ^Δ_ℓ_2_Δ_ℓ_2 ; 1-z] .

    Extended Eigenstate Thermalization and the role of FZZT branes in the Schwarzian theory · An alternative derivation · 0.97

Uses its data or values 2 papers
  • Formula for such an amplitude was computed in [ref] with the result (as a function of boundary length instead of $μ_B)$: ⟨_m,n ⟩_D ≃κ^ν_m,n K_ν_m,n (κl) and $κ^2 = μ/sin(πb^2)$.

    Open minimal strings and open Gelfand-Dickey hierarchies · Bulk correlators on a disk · 0.88

  • The resulting one-point function of the cosmological constant operator with these boundary conditions is given in Eq. (2.44) of [ref] as W_b(ℓ)= (const.) μ^1-b^2/2b^2K_1-b^2/b^2(κℓ), κ^2 = μ/sin(πb^2).

    JT gravity as a matrix integral · Connection to minimal string theory · 0.86

Compares with it 16 papers
  • More precisely, the Liouville momentum $P_k,l$ can be identified by comparing the cosmological constant dependence of the matrix model correlators in the continuum limit and the expression for the Liouville boundary two point function which has been derived in [ref] .

    Boundary operators in minimal Liouville gravity and matrix models · Introduction · 0.84

  • Our main results Theorem [ref] and Theorem [ref] state that these probabilistic definitions using GMC match the exact formulas predicted in physics in [ref] .

    Integrability of boundary Liouville conformal field theory · Introduction and main results · 0.98

  • Let us make the following comments on ([ref]). * Putting $N=1$ we surely recover FZZ branes[To compare with [ref] we changed here slightly normalization, and redefined parameter $s$ there as $2s$ here.] [ref] : U_P s^(1)(P)≡U_ s^(FZZ)(P)=2^-1/4[πμγ(b^2)]^-iP/bΓ(1+2ibP)Γ(1+2iPb)2iπP cos(4Pπs) * It is very interesting to note that ([ref]) has similar structure as corresponding solution ([ref]) in the case of rational CFT, in the sense that both have the form $S_aj(f(j))^N$, where $S_aj$ is the matrix of the modular transformation of the single copy, and $f(j)$ is the function which appears in the expression for single copy boundary states.

    Defects and Permutation branes in the Liouville field theory · Permutation branes in Liouville theory · 0.89

Cites it as support 2 papers
  • Our understanding of the contour is not as good for this case as for the sphere, but one piece of evidence for this formula is that exact Liouville formulas [ref] [ref] do contain a factor of $1/sin(π/b^2)$, which arises in this expression from the sum over saddles.

    Sphere and disk partition functions in Liouville and in matrix integrals · FZZT disk · 0.99

  • Indeed, in many ways the minisuperspace approximation becomes exact in the lower-dimensional theories we consider [ref] .

    Quantum Liouville Cosmology · Outlook · 0.97

Cites it as background 63 papers
  • Called FZZT branes [ref] , they are constructed as a tensor product of a Cardy brane $|k,l>$ with a Liouville boundary state $|s>$.

    Boundary operators in minimal Liouville gravity and matrix models · Introduction · 0.86

  • The full conformal bootstrap of Liouville theory on the disc was performed in [ref] [ref] , resulting in the identification of a consistent boundary condition for the Liouville theory; the FZZT brane.

    The Spectrum of FZZT Branes Beyond the Planar Limit · $(p,q)$ Minimal Strings and FZZT branes · 0.89

  • In the continuum formulation of Liouville theory coupled to a CFT, two forms of boundary states for the gravitational degrees of freedom have been identified; Fateev-Zamolodchikov-Zamolodchikov-Teschner (FZZT) [ref] and Zamolodchikov-Zamolodchikov (ZZ) [ref] which depend on a real parameter $σ$ and integer valued parameters $n$ and $m$ respectively.

    FZZT Brane Relations in the Presence of Boundary Magnetic Fields · Introduction · 0.98

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.