REVIEW
String Theory in Two Dimensions
High Energy Physics - Theory · Submitted 26 Aug 1991 · 53 references
Pith's verdict: A clean, honest review of the c=1 matrix model; the only real soft spot is the §9 vortex identification, which the author himself flags as an argument rather than a derivation.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A one-dimensional sum over random surfaces is solved exactly by free fermions, and the solution carries a duality that lattice vortices break.
The reading
What carries the argument
The load-bearing device is the reduction of the singlet-sector matrix quantum mechanics to free fermions: because the hamiltonian acts on the antisymmetric wavefunction $ ( ) = ( )_{sym}( )$ as a sum of single-particle operators, the entire interacting matrix problem collapses to $N$ non-interacting fermions in a potential $U( )$. In the double-scaling limit only the quadratic maximum of $U$ survives, so the single-particle density of states is obtained from the resolvent of the harmonic oscillator with imaginary frequency, and its large-$ $ expansion generates the whole genus series. Everything else in the paper, including the correlators, the bosonized hamiltonian, and the finite-radius results, is a consequence of this one identity.
Extended reading notes
Core claim
The paper's central result is that the double-scaling limit of matrix quantum mechanics with a cubic (or any potential with a quadratic maximum) is governed entirely by the inverted harmonic oscillator, so that the sum over continuous surfaces of genus $h$ embedded in one dimension is computable in closed form. The chain runs from the Feynman graph expansion of the matrix path integral, which reproduces the sum over triangulated surfaces weighted by the one-dimensional propagator, through the change of variables to eigenvalues, where the Vandermonde determinant turns the singlet-sector problem into $N$ free fermions, to the WKB density of states near the top of the barrier. The resulting free energy, $-2E = (2 u_0)^2 n u_0/8 + ...$ with $u_0$ the renormalized cosmological constant, gives every genus at once and shows that the coefficient of $g_{st}^{2h-2}$ grows like $(2h)!$, the behaviour characteristic of closed strings rather than the $h!$ of field theory. The paper then extends this to correlation functions of puncture and tachyon operators, compares them with a Liouville computation, identifies the poles at integer momenta with an infinite family of special states generating a chiral $W_{1+ }$ algebra, derives the bosonized string field theory, and treats the compactified case, where the singlet free energy is manifestly invariant under $R 1/R$ while the non-singlet sectors, argued to be the Kosterlitz-Thouless vortices, break it below $R_{KT} = 2$.
Load-bearing premise
The load-bearing premise is that the non-singlet representations of the matrix quantum mechanics are the same thing as Kosterlitz-Thouless vortices, so that discarding them gives the vortex-free continuum limit at every radius.
Editorial extensions
If this is right
- Every correlation function of the model, at any genus, follows from free-fermion Wick contractions, so the theory is exactly soluble rather than merely solvable order by order.
- The genus expansion diverges as $(2h)!$, which means the perturbative series is asymptotic and the theory as constructed has no unambiguous non-perturbative definition.
- The compactified model's singlet free energy is invariant under $R 1/R$ with $g_{st} g_{st}R$, so target-space duality survives the coupling to gravity once vortices are excluded.
- Vortices, realised as non-singlet $SU(N)$ representations, condense below $R_{KT} = 2$, driving the theory to a massive phase whose critical behaviour is that of pure gravity.
- A target-space lattice with spacing below $ _c = 2$ is invisible to the string, which is exactly equivalent to a continuum embedding with renormalized parameters.
Reading between the lines
- If the non-singlet/vortex identification is right, it should be checkable independently: the leading non-singlet correction in eq. (9.17) has the same scaling as a single vortex-antivortex pair in the Liouville description, so a direct continuum computation of that two-point function would confirm or refute the correspondence without going through the matrix model.
- The finite-radius rule in eq. (10.7), which inserts the operator $ ( )/(2 R )$ acting on the chemical potential, says that compactification is a differential operation on the non-compact answer; that structure looks like a heat-kernel or finite-temperature trace and might generalise to any double-scaled model whose only dependence on the cosmological constant enters through $e^{i }$.
- Because the non-perturbative terms of order $e^{- }$ are explicitly stated to depend on the potential away from the quadratic maximum, any proposed non-perturbative completion of the $c=1$ string has to supply that data; the perturbative genus series alone cannot single one out.
- The author notes that the bosonized field $X$ mixes the tachyon with the discrete special states and cannot yet be identified with the tachyon alone, which suggests the string field theory's spatial coordinate $ $ is a transformed Liouville variable rather than a physical one; resolving that would be a prerequisite for reading the finite-temperature amplitudes as scattering in a background.
Original abstract
I review some of the recent progress in two-dimensional string theory, which is formulated as a sum over surfaces embedded in one dimension.
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
I review some of the recent progress in two-dimensional string theory, which is formulated as a sum over surfaces embedded in one dimension.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | I review some of the recent progress in two-dimensional string theory, which is formulated as a sum over surfaces embedded in one dimension. | contribution 0.64 | 0.15 | 0.14 | asserted 0.97 |
What was examined, and what was not
- arXiv listing abstract v2
- 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
Figures
Figures reproduced from arXiv:hep-th/9108019 by the authors.
References
How later papers used it
86 later papers cite it
3 later papers by other authors are listed below: 1 used its method or tool and 2 compared their own results with it.
Uses its method or tool 1 of 2 papers with this label
-
Following the standard method reviewed in [ref] , the anti-hermitian matrix $L$ can be decomposed over the generators of $su(N)$, [equation] We denoted the Cartan generators $H_a=i(e_a,a-e_a+1,a+1)$, and the anti-hermitian matrices $T_a,b=i(e_a,b+e_b,a)/√(2)$ and $T̃_a,b=(e_a,b-e_b,a)/√(2)$ (here $e_a,b$ denotes the elements of the canonical basis of GL$(N)$).
A Calogero model for the non-Abelian quantum Hall effect (2024) · Diagonalization of the DTT matrix model · 0.95
Compares with it 2 of 4 papers with this label
-
Found that its own formula, after including an extra factor of 2 for the symmetry of the potential, reproduces this paper's formula.
Multi-instantons in large N Matrix Quantum Mechanics (2009) · 0.93 · paraphrased: the licence does not allow quoting
-
As a sanity check, we include in this paper certain genus 0 and genus 1 computations, which match the $c=1$ string theory predictions made over thirty years ago in [ref] .
Strings from Feynman Diagrams (2024) · The Target Space Perspective · 0.90
How the literature uses it
85 arXiv papers cite this in 123 sentences
Papers citing it · 43 sentences without a confident label
Contests it 1 paper
-
For completeness, we also provide an integral representation for the free energy in the linear dilaton background, which extends a similar integral representation from [ref] to the non-perturbative level and corrects such an extension given in [ref] : (μ)=-1/4 ∫_Λ^-1^∞ds/s e^-iμs/sinhs/2sinhs/2R , where $Λ$ is a cut-off affecting only non-universal terms.
Multi-instantons in 2d string theory · Subtleties of MQM at non-perturbative level · contest 0.84
Uses its method or tool 2 papers
-
This can be done by looking at the kinetic term of the matrix model (we follow [ref] ).
Three-dimensional N=6 SCFT's and their membrane dynamics · Eigenvalue gases · 1.00
-
Following the standard method reviewed in [ref] , the anti-hermitian matrix $L$ can be decomposed over the generators of $su(N)$, [equation] We denoted the Cartan generators $H_a=i(e_a,a-e_a+1,a+1)$, and the anti-hermitian matrices $T_a,b=i(e_a,b+e_b,a)/√(2)$ and $T̃_a,b=(e_a,b-e_b,a)/√(2)$ (here $e_a,b$ denotes the elements of the canonical basis of GL$(N)$).
A Calogero model for the non-Abelian quantum Hall effect · Diagonalization of the DTT matrix model · 0.95
Compares with it 4 papers
-
We should really be thinking of the vertex operators $T(l)$ getting renormalized at $R=1$ and this divergent factor getting absorbed in the definition of the vertex operator itself.] [equation] with the tachyons $T(l)$ ($l$ is the tachyon momentum) and chemical potential $μ$ in free fermion formulation [ref] , we have matches with the tachyon correlators at the self-dual radius ($R=1$ in the notation of [ref] ) [ref] .
$c=1$, $R=1$ and $N\gg 1$: ZZ instantons in 2D String Theory and Matrix Integrals · The Two-Matrix model (or the KM Matrix Model) · 0.92
-
After including the extra factor of $2$ to account for the symmetry of the potential (which is also included in the formula of [ref] ), we find that ([ref]) reproduces ([ref]).
Multi-instantons in large N Matrix Quantum Mechanics · Application to the $c=1$ string · 0.93
-
As a sanity check, we include in this paper certain genus 0 and genus 1 computations, which match the $c=1$ string theory predictions made over thirty years ago in [ref] .
Strings from Feynman Diagrams · The Target Space Perspective · 0.90
Cites it as background 59 papers
-
To set the stage, we start with a brief review of the situation in the standard background [ref] .
On Time-Dependent Backgrounds In 1+1 Dimensional String Theory · The standard background · 0.99
-
This model is related to a one-dimensional matrix quantum mechanics called $c=1$ matrix model which describes a two dimensional gravity through the non-critical string theory (see, e.g. the review of [ref] ).
Bound on Lyapunov exponent in $c=1$ matrix model · Introduction · 0.99
-
On the other hand, the integrability becomes transparent in its matrix model description in terms of Matrix Quantum Mechanics (see [ref] for a review).
c-map as c=1 string · Example: MQM with sine-Liouville perturbation · 0.89
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.