REVIEW 4 major objections 5 minor 1 cited by
Path Integral Optimization for $T\bar{T}$ Deformation
T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper claims that applying path integral optimization to $T\bar{T}$-deformed two-dimensional CFTs produces time-slice geometries of the dual bulk that fill the entire spacetime, that a positive deformation parameter can equivalently…
desk verdict A useful, first pass at path-integral optimization for TTbar-deformed CFTs; the apparent thermal matching inconsistency dissolves once you account for tilde-mu = mu pi c/6, and the real caveat is the conjectural optimization step. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the generalized Liouville action $S_{GL}[\Omega,g]$: the change in the partition function of the deformed theory under a Weyl factor $\Omega$, containing the standard Liouville term plus a $\tilde{\mu}$-suppressed term built from $\langle T\bar{T}\rangle$. Treating the deformed path integral's normalization $e^{S_{GL}}$ as a count of elementary gates, the paper minimizes $S_{GL}$ with respect to $\Omega$ and interprets the on-shell value as the state complexity. The equation of motion is solved perturbatively in $\tilde{\mu}$, and the integration constants are fixed by the UV condition $g_{zz}(\epsilon,x)\sim 1/\epsilon^2$ and by matching the gravitational energy to the known $T\bar{T}$ energy spectrum.
What would settle it
Compute the exact optimized geometry at finite deformation parameter $\mu$ beyond first order in $\tilde{\mu}$ and check whether the on-shell generalized Liouville action is still finite and reproduces the exact $T\bar{T}$ spectrum; a UV divergence or a mismatch at finite $\mu$ would falsify the central claim. Alternatively, simulate the deformed theory on a lattice and count the minimal gates needed to prepare the thermofield double state: the paper predicts a UV-finite, temperature-dependent complexity of formation with a specific coefficient.
Extended reading notes
Core claim
On the paper's own terms, the discovery is that minimizing the normalization of the deformed path integral, defined through a generalized Liouville action $S_{GL}[\Omega,\delta]$ that includes the $T\bar{T}$ insertion, produces explicit optimized Weyl factors $\Omega(z)$ for the vacuum, primary, and thermal states. The vacuum solution is the time slice of Poincaré AdS$_3$; the primary solution is a deformed global-AdS slice whose Fefferman–Graham expansion reproduces the deformed primary energy spectrum; and the thermal solution is the BTZ time slice with the deformed temperature $1/\beta' = (1+\tilde{\mu}c_1/l^2)/\beta$, whose mass matches the known $T\bar{T}$ spectrum at first order in the deformation parameter. In all cases the optimized metric remains smooth through the region that a finite-cutoff description would remove, which the paper reads as evidence that the whole bulk participates. The same thermal geometry, when written in Fefferman–Graham coordinates, has a conformal boundary that coincides with fixing the induced metric at finite radius $\rho_c = \mu/(32\pi G l)$, recovering the finite-cutoff interpretation for positive $\mu$. The complexity of formation $C_{BTZ}^{T\bar T}-2C_{AdS}^{T\bar T}$ is UV finite and depends on temperature.
Load-bearing premise
The load-bearing premise is that the path integral optimization prescription, minimizing the normalization factor $e^{S_{GL}}$ and equating its on-shell value to complexity, remains valid for $T\bar{T}$-deformed CFTs; if that conjecture fails for deformed theories, the optimized geometries and complexity numbers are not established.
Editorial extensions
If this is right
- If the optimized geometries capture the entire bulk, the $T\bar{T}$ deformation is not literally a hard cutoff geometry: the finite-radius description is one valid reading for positive $\mu$, not the full story.
- The holographic dictionary for $T\bar{T}$-deformed CFTs follows from the variational optimization principle, giving a derivation of the deformed geometry rather than a postulate.
- Holographic entanglement entropy for deformed states acquires the extra term proportional to $\mu c^2/(144\beta^2)(\pi R/\beta \coth(\pi R/\beta)-1)$, which vanishes as the entangling region shrinks to zero.
- The complexity of formation of the thermofield double state is UV finite and temperature dependent, consistent with holographic complexity proposals.
- The stress tensor computed from the optimized action satisfies the first law of entanglement entropy and the Zamolodchikov flow equation, so the optimization and the deformed field theory agree on thermodynamics.
Reading between the lines
- The paper works to first order in $\tilde{\mu}$; a natural next step is a nonperturbative check of whether the optimized geometry still fills the entire bulk or develops a genuine singularity or cutoff at finite coupling.
- If the complexity-as-on-shell-action identification is correct, the temperature dependence of the UV-finite complexity of formation predicts a specific gate-count scaling for tensor-network preparations of deformed thermofield double states, which could be tested in lattice simulations.
- The same optimization could be applied to other solvable irrelevant deformations such as $J\bar{T}$ or $T\bar{J}$ to see whether a full-bulk geometry emerges there too, or whether the result is special to $T\bar{T}$.
- Because the paper finds the energy density from both the first law and the action, the deformed stress tensor may be derivable directly from the optimized metric without invoking the usual holographic renormalization machinery, which would simplify future applications.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper applies the Caputa-Kundu-Miyaji-Takayanagi-Watanabe path-integral optimization prescription to TTbar-deformed two-dimensional CFTs. It solves the deformed Liouville-type equation of motion perturbatively in the deformation parameter mu for vacuum, primary, and thermal states, obtaining optimized metrics that it identifies with time slices of bulk geometries. For the thermal state the geometry is a deformed BTZ solution whose mass is matched to the known TTbar energy spectrum, and for positive mu the metric is reinterpreted as a geometry at a finite bulk cutoff, in agreement with McGough-Mezei-Verlinde. The paper also computes holographic entanglement entropy and path-integral complexity for these states, claiming that the complexity of formation of the thermofield double state is UV finite and temperature dependent.
Significance. If the path-integral optimization conjecture is valid for TTbar-deformed CFTs, the paper offers a variational derivation of the TTbar/AdS3 dictionary and ties it to earlier proposals by MMV and Guica-Monten. The calculations are explicit and reproducible, and the paper checks its calibrations against independent external benchmarks: the Zamolodchikov-Smirnov energy spectrum, the MMV finite-cutoff proposal, and the Guica-Monten mixed-boundary-condition analysis. The predicted UV-finite, temperature-dependent complexity of formation is a concrete and, in principle, falsifiable statement. The main limitations are that the optimization conjecture is assumed rather than proved, and that all results are first order in the deformation parameter.
major comments (4)
- [Sec. 2 (Path Integral Optimization), Eqs. (14)-(16)] The derivation assumes without proof that the CKMTW prescription - minimizing the normalization e^{S_GL} and identifying the on-shell S_GL with state complexity - extends verbatim to TTbar-deformed CFTs. This is the load-bearing step that converts the optimization into bulk geometry and complexity, and all subsequent results inherit it. I am not asking for a proof of the original conjecture, but the paper should state this assumption explicitly and provide whatever evidence is available, for example consistency of the resulting stress tensor with the TTbar trace-flow equation beyond the first-law check, or a comparison with a reference-family independence test.
- [Sec. 2, Eq. (14)] The counterterm relation \bar{\Lambda} = \tilde{\Lambda} + (3/16)\tilde{\mu}\tilde{\Lambda}^2 is imposed with only the comment that 'the reason will be clear'. This relation fixes the O(\mu) terms in S_GL and therefore enters the equation of motion (16) and every optimized solution. A derivation from the TTbar Weyl anomaly, from the Zamolodchikov flow, or from holographic renormalization with mixed boundary conditions should be supplied; without it the action (14) is an ansatz rather than a derived effective action.
- [Sec. 3, thermal state, Eqs. (29)-(35)] The calibration c1 = G M_BTZ/(4\pi^2) is the pivot that connects the optimized metric to the known TTbar spectrum and to the Guica-Monten boundary metric, but the algebra is not exhibited. Carrying it out with \tilde{\mu} = \pi c \mu/6 and c = 3l/(2G) does give M_TT = M_BTZ(1+\mu M_BTZ/(8\pi l)) and matches Eq. (40); I verified that the apparent normalization discrepancy disappears once \tilde{\mu} is substituted. Still, the matching for the primary state is only asserted ('matches ... for c1 = -1/32\pi^2') with no energy formula displayed, and the thermal matching is compressed. Please present the mass/spectrum comparison explicitly and state clearly that it holds only to first order in \mu.
- [Sec. 4 (complexity), Eq. (51) and footnote [33]] The headline statement that the complexity of formation is UV finite depends on using the deformed inverse temperature \beta' from Eq. (32) in C^BTZ_TT. Footnote [33] acknowledges that replacing \beta' by the undeformed \beta produces an O(1/\epsilon^2) divergence. Since the finiteness claim is central, the physical justification of 1/\beta' as the temperature of the TFD state in the deformed theory should be moved into the main text and argued from the state definition in Eq. (25) and the Hawking temperature of (31), not only from the requirement of consistency with expected UV behavior.
minor comments (5)
- [Sec. 3, Eq. (21)] The definition of a is printed as 'a = 1 - 12h_\alpha/c'; if a^2 is what is intended, please clarify, since a enters the geometry and complexity formulas.
- [Sec. 3, Eq. (28)] The solution of the second-order ODE (27) is written with only one integration constant; please identify the discarded mode (regularity at z=0 or a boundary condition) and state it explicitly.
- [Sec. 4, Eqs. (52)-(53)] The first-law variation expansion is not derived; please give the short derivation or the precise reference, and define \beta' consistently in that paragraph.
- [Abstract and Sec. 3] Phrases such as 'capture the entire bulk' and 'capture the entire spacetime' should be qualified as 'to first order in \mu' and 'within the path-integral-optimization framework'; as written they overstate the status of a first-order perturbative calculation.
- [Throughout] There are minor typographical issues: 'kundu' is lowercase in the abstract, Eq. (35) appears to have a missing fraction in the display, and the order of footnote markers around [30] should be cleaned up.
Circularity Check
No significant circularity: the integration constants are calibrated against the external TTbar spectrum, and the entropy, complexity, and stress-tensor results are independent evaluations on the optimized geometries.
full rationale
The derivation chain is not circular. The path-integral optimization framework of Caputa et al. is imported as a conjecture, but it does not already contain the TTbar results; the paper's new content is the application of that framework to TTbar-deformed CFTs. The integration constants are fixed by matching to the established TTbar energy spectrum of Zamolodchikov and Smirnov-Zamolodchikov for the primary and thermal states, and the resulting geometries are then used to compute entanglement entropy, complexity, and stress tensors. The agreement of the conformal boundary factor in Eq. (37) with the Guica-Monten deformed metric (40) is a consistency check that follows from the same c1 condition already fixed by the energy matching, rather than an independent prediction, so it does not amount to a fitted input being relabeled as a prediction. The only overlapping-author citation, [22], appears in a footnote about prior CA-complexity work and is not load-bearing. Because the central results are checked against external benchmarks and do not reduce to their own inputs by construction, no circular step is identified.
Assumptions & free parameters
free parameters (3)
- c1 for primary state =
-1/(32 pi^2)
- c1 for thermal state =
G M_BTZ/(4 pi^2)
- c2 in vacuum and primary solutions =
0
assumptions (5)
- domain assumption Path integral optimization conjecture: minimizing the normalization factor e^{S_GL} gives the dual geometry, and the on-shell action defines complexity.
- domain assumption TTbar deformation corresponds to mixed boundary conditions on the bulk metric.
- domain assumption The deformation parameter mu is small, so all solutions and physical quantities are kept to first order in mu.
- ad hoc to paper The optimization is restricted to conformally flat metrics e^{2Omega}(dtau^2 + dx^2) with constant mu.
- ad hoc to paper The counterterm relation \bar{Lambda} = \tilde{Lambda} + (3/16) \tilde{mu} \tilde{Lambda}^2 is imposed.
Cite this review
Pith. "Pith review of Path Integral Optimization for $T\bar{T}$ Deformation." pith.science (2026). https://pith.science/paper/7WP7CIBL
@misc{pith2026190902357,
author = {Pith},
title = {Pith review of: Path Integral Optimization for $T\barT$ Deformation},
year = {2026},
howpublished = {\url{https://pith.science/paper/7WP7CIBL}},
note = {Machine review of arXiv:1909.02357}
}
abstract
We use the path integral optimization approach of Caputa, kundu, Miyaji, Takayanagi and Watanabe to find the time slice of geometries dual to vacuum, primary and thermal states in the $T\bar{T}$ deformed two dimensional CFTs. The obtained optimized geometries actually capture the entire bulk which fits well with the integrability and expected UV-completeness of $T\bar{T}$-deformed CFTs. When deformation parameter is positive, these optimized solutions can be reinterpreted as geometries at finite bulk radius, in agreement with a previous proposal by McGough, Mezei and Verlinde. We also calculate the holographic entanglement entropy and quantum state complexity for these solutions. We show that the complexity of formation for the thermofield double state in the deformed theory is UV finite and it depends to the temperature.
Forward citations
Cited by 1 Pith paper
-
Supertranslations in the bulk of spacetime
Supertranslations can be defined in the bulk as changes of null hypersurfaces, extending boundary symmetries into the interior and producing a curvature-dependent memory effect in Schwarzschild.
Reference graph
Works this paper leans on
-
[33]
We have considered our different convention in defining the T T operator with [21] in coefficient of g(2) term
-
[1]
Ryu and T
S. Ryu and T. Takayanagi, Phys. Rev. Lett. 96, 181602 (2006)
2006
-
[2]
M. Van Raamsdonk, Gen. Rel. Grav. 42, 2323 (2010) [Int. J. Mod. Phys. D 19, 2429 (2010)]
work page 2010
- [3]
- [4]
- [5]
- [6]
- [7]
Show all 36 references
-
[8]
To understand better the holographic results, recently the computational complexity for quantum field theory states have been studied [9, 10]
which share some similarities but differ in many ways. To understand better the holographic results, recently the computational complexity for quantum field theory states have been studied [9, 10]. In one approach which is based on the idea of Nielsen and collaborators [11], one...
-
[9]
Jefferson and R
R. Jefferson and R. C. Myers, JHEP 1710, 107 (2017)
2017
-
[10]
A. R. Brown, D. A. Roberts, L. Susskind, B. Swingle and Y. Zhao, Phys. Rev. Lett. 116, no. 19, 191301 (2016)
2016
-
[11]
Nielsen, Mark R
Michael A. Nielsen, Mark R. Dowling, Mile Gu, Andrew C. Doherty Science.1121541
-
[12]
Chapman, M.P.Heller, H
S. Chapman, M.P.Heller, H. Marrochio and F. Pastawski, Phys. Rev. Lett. 120, no. 12, 121602 (2018)
2018
-
[13]
Caputa, N
P. Caputa, N. Kundu, M. Miyaji, T. Takayanagi and K. Watanabe, JHEP 1711, 097 (2017)
2017
-
[14]
Caputa, N
P. Caputa, N. Kundu, M. Miyaji, T. Takayanagi and K. Watanabe, Phys. Rev. Lett. 119, no. 7, 071602 (2017)
2017
-
[15]
T.Takayanagi, JHEP 1812, 048 (2018)
2018
-
[16]
Bhattacharyya, P
A. Bhattacharyya, P. Caputa, S. R. Das, N. Kundu, M. Miyaji and T. Takayanagi, JHEP 1807, 086 (2018)
2018
-
[17]
H. A. Camargo, M. P. Heller, R. Jefferson and J. Knaute, Phys. Rev. Lett. 123, no. 1, 011601 (2019)
2019
-
[18]
Caputa and J
P. Caputa and J. M. Magan, Phys. Rev. Lett. 122, no. 23, 231302 (2019)
2019
-
[19]
F. A. Smirnov and A. B. Zamolodchikov, Nucl. Phys. B 915, 363 (2017)
2017
-
[20]
A. B. Zamolodchikov, hep-th/0401146
-
[21]
have shown that if a 2D CFT lives on the conformal boundary gαβ in (38), the deformed stress tensor becomes T [µ] αβ = 1 8πGl g(2) αβ + µ 64π2G2l2 g(4) αβ . (58) For example for the BTZ solution, g(2) tt = 2 π2l2/β2, g(4) tt = π4l4/β4 and c = 3l/2G which they together imply th...
-
[22]
McGough, M
L. McGough, M. Mezei and H. Verlinde, JHEP 1804, 010 (2018)
2018
- [23]
-
[24]
Akhavan, M
A. Akhavan, M. Alishahiha, A. Naseh and H. Zolfi, JHEP 1812, 090 (2018)
2018
- [25]
-
[26]
de Haro, S
S. de Haro, S. N. Solodukhin and K. Skenderis, Commun. Math. Phys. 217, 595 (2001)
2001
-
[27]
B. Chen, L. Chen and P. X. Hao, Phys. Rev. D 98, no. 8, 086025 (2018)
2018
-
[28]
Donnelly and V
W. Donnelly and V. Shyam, Phys. Rev. Lett. 121, no. 13, 131602 (2018)
2018
-
[29]
Chapman, H
S. Chapman, H. Marrochio and R. C. Myers, JHEP 1701, 062 (2017)
2017
-
[30]
Bhattacharya, M
J. Bhattacharya, M. Nozaki, T. Takayanagi and T. Uga- jin, Phys. Rev. Lett. 110, no. 9, 091602 (2013)
2013
- [31]
-
[32]
Based on bulk cut-off interpretation, the holographic complexity (CA) of thermofield double state in T T de- formed CFTs is studied in [22]
-
[34]
An easy way to see this result is substituting MBTZ with − 1/8G in (43) together with using (34)
-
[35]
We would like to mention here that for calculating CBTZ T T we have used 1 /β′, (32), not 1 /β. If one uses the unde- formed temperature, (34), the complexity contains new UV divergence at order O(1/ǫ2) which is clearly in con- tradiction with holographic complexity of T T def...
-
[36]
The holographic complexity of formation for BTZ black hole (33) can be found in [27]
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.