{"id":"6331a8b4-eff8-4828-a966-90e93b3e6144","arxiv_id":"1909.02357","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"For TTbar-deformed CFTs, path integral optimization yields full bulk geometries whose thermofield-double complexity of formation is UV finite and temperature dependent.","lead":"This paper applies the path integral optimization method to TTbar deformed 2D CFTs and finds dual bulk geometries that extend beyond the usual finite cutoff. A generalist might read it because it ties quantum complexity and entanglement entropy to a solvable deformation of conformal field theory.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The thermal integration constant c1 used in the paper is inconsistent with the quoted TTbar spectrum and the Guica-Monten boundary metric; the reported agreement requires a correction.","rationale":"The reader's weakest assumption was the conjectural status of path-integral optimization for TTbar-deformed CFTs. My independent pass found a more concrete, internal problem: the integration constant c1 for the thermal solution is not fixed consistently. The optimized metric (31) is a BTZ geometry whose mass shift is proportional to 2 mu c1 / l^2, while both the quoted energy spectrum (35) and the Guica-Monten boundary metric (40) require the shift mu M_BTZ / (8 pi l). The paper's choice c1 = G M_BTZ / (4 pi^2) satisfies this only when G/l = pi/4, i.e. when the Brown-Henneaux central charge is c = 6/pi. This is not the standard holographic setting, and it is not the value used elsewhere in the paper. The error is not a matter of interpretation: it is an algebraic inconsistency between equations in the same section. Since c1 propagates into every thermal-state quantity, the reported EE and complexity numbers, and the claimed entire-bulk/finite-cutoff agreement, would change under the corrected value. A corrected manuscript might still be viable, so the verdict remains conditional, but the condition should be a concrete recalculation rather than only an appeal for nonperturbative justification.","tokens_in":10650,"tokens_out":43460,"duration_ms":449173,"concrete_test":"Recompute c1 independently by imposing the two matching conditions with the Brown-Henneaux relation c = 3l/(2G): (i) the mass of metric (31) against the TTbar spectrum (35); and (ii) the conformal boundary of (37) against the Guica-Monten metric (40). Both give c1 = l M_BTZ / (16 pi), not c1 = G M_BTZ / (4 pi^2). Then re-evaluate the entanglement entropy (43) and the complexity (51) with the corrected c1 and check whether the UV-finite complexity of formation and its temperature dependence persist.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The thermal-state matching is quantitatively inconsistent. The optimized metric (31) has 8G M_TT = (4 pi^2 l^2 / beta^2) (1 + 2 mu c1 / l^2), so with (34) one obtains M_TT = M_BTZ (1 + 2 mu c1 / l^2). Equating this with the quoted TTbar spectrum (35), M_TT = M_BTZ (1 + mu M_BTZ / (8 pi l)), fixes c1 = l M_BTZ / (16 pi). The same condition follows by requiring that the conformal boundary of (37), namely 1 + 2 mu c1 / l^2, equal the Guica-Monten deformed metric (40), 1 + mu M_BTZ / (8 pi l). The paper instead sets c1 = G M_BTZ / (4 pi^2). Using the Brown-Henneaux relation c = 3l / (2G), which the paper invokes in the stress-tensor comparison around (58), this becomes c1 = 3l M_BTZ / (8 pi^2 c), which differs from l M_BTZ / (16 pi) by the factor 6 / (pi c). The two values agree only for c = 6/pi, not for a holographic CFT. Because c1 enters the geometry (37), the entanglement entropy (43), the complexity results (51), and the claimed agreement with McGough-Mezei-Verlinde and Guica-Monten, the central thermal claims are not established as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":11036,"tokens_out":22626,"duration_ms":230601,"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":[{"comment":"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.","section":"Sec. 2 (Path Integral Optimization), Eqs. (14)-(16)"},{"comment":"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.","section":"Sec. 2, Eq. (14)"},{"comment":"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.","section":"Sec. 3, thermal state, Eqs. (29)-(35)"},{"comment":"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.","section":"Sec. 4 (complexity), Eq. (51) and footnote [33]"}],"minor_comments":[{"comment":"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.","section":"Sec. 3, Eq. (21)"},{"comment":"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.","section":"Sec. 3, Eq. (28)"},{"comment":"The first-law variation expansion is not derived; please give the short derivation or the precise reference, and define \\beta' consistently in that paragraph.","section":"Sec. 4, Eqs. (52)-(53)"},{"comment":"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.","section":"Abstract and Sec. 3"},{"comment":"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.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is a short, readable letter whose central claim is conditional on an unproven optimization conjecture. If the editorial policy is to accept conditional derivations when they are technically consistent, a minor revision could suffice. I lean toward major revision because several load-bearing definitions and calibrations are asserted rather than derived: the counterterm relation, the primary-state mass matching, and the use of \\beta' in the complexity calculation. The stress-test concern about c1 forwarded to me does not survive a careful check once \\tilde{\\mu} = \\pi c \\mu/6 and c = 3l/(2G) are substituted; the thermal calibration is internally consistent."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things up front. The paper is a workmanlike first application of the Caputa-Kundu-Miyaji-Takayanagi-Watanabe path-integral optimization to TTbar-deformed CFTs, and it mostly delivers what it promises: optimized vacuum, primary, and thermal geometries, plus entanglement entropy and complexity for those states. Second, the stress-test note you forwarded is wrong. The thermal integration constant is consistent. The metric in (31) is written with tilde-mu = mu pi c/6, not mu. Once you use that, the paper's c1 = G M_BTZ/(4 pi^2) gives exactly the shift mu M_BTZ/(8 pi l) required by the spectrum and by the Guica-Monten boundary metric. The apparent factor of 6/(pi c) comes from dropping the pi c/6 difference. So the central numerical matching holds.\n\nWhat is new and good: this is the first time anyone has run the optimization program for TTbar, and the paper does not just assert the answer; it checks the deformed energy spectrum, the boundary metric against Guica-Monten, and the stress tensor from the first law against the one derived from the generalized Liouville action. Those checks are real, and the entropy result in (43) and the complexity-of-formation result are new enough to be worth having.\n\nThe soft spots are also real. The whole method leans on the unproven optimization conjecture: that minimizing e^{S_GL} selects the correct state and that the on-shell action is complexity. The paper does not justify that in the deformed setting beyond analogy and the energy-matching condition in the ansatz. Everything is first order in tilde-mu, so the 'entire bulk' claim is a perturbative statement, not a nonperturbative one. And in the complexity calculation, the UV finiteness comes from using the deformed temperature beta' in Eq. (32); that is the Hawking temperature of (31), so I do not think it is an unmotivated choice, but the paper should be read with the footnote in mind: use beta instead and the divergence returns.\n\nBottom line: the paper is a plausible, internally consistent step, not a proof. Read it if you work on TTbar holography or path-integral complexity; cite it as a first treatment. I would send it to a serious referee, with a request to make the tilde-mu vs mu notation explicit and to state more plainly that the optimization principle is assumed.","headline":"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.","tokens_in":11521,"tokens_out":7058,"would_cite":true,"duration_ms":71397,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.67.-a","03.70.+k","11.10.Gh"],"model":"deepseek-v4-flash","headline":"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…","keywords":["TTbar deformation","path integral optimization","holographic complexity","Liouville action","entanglement entropy","thermofield double state","AdS3/CFT2","finite bulk cutoff"],"falsifier":"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.","tokens_in":10450,"feed_emoji":"🌌","tokens_out":6237,"duration_ms":55461,"temperature":0.7,"pith_summary":"The paper applies the path integral optimization prescription to $T\\bar{T}$-deformed two-dimensional CFTs and claims that the optimized Euclidean path integrals produce time slices of the bulk geometries dual to vacuum, primary, and thermal states. The central result is that these geometries cover the entire spacetime rather than stopping at a finite cutoff, which fits the integrability and expected UV-completeness of $T\\bar{T}$-deformed theories. For a positive deformation parameter, the same solutions admit an alternative reading as geometries at a finite bulk radius, matching an earlier finite-cutoff proposal. The paper also computes holographic entanglement entropy and quantum state complexity for these solutions, and finds that the complexity of formation of the thermofield double state is ultraviolet finite and depends on temperature. If correct, the result recasts the $T\\bar{T}$/gravity correspondence as a consequence of variational optimization of path integrals.","feed_headline":"Path integral optimization rebuilds the whole bulk for TTbar CFTs","feed_subtitle":"The deformed theory's optimized geometries span the entire spacetime; complexity of formation is UV finite and temperature dependent.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the path integral optimization prescription, minimizing the normalization of the wave functional and identifying the on-shell action with complexity.","marker":"[13]"},{"why":"Establishes the optimization method for 2D CFT vacuum states and the BTZ time-slice solution used as the unperturbed starting point.","marker":"[12]"},{"why":"Proposes the finite bulk cutoff interpretation of $T\\bar{T}$ deformation that the paper recovers for positive deformation parameter.","marker":"[20]"},{"why":"Provides the mixed-boundary-condition formulation and the deformed stress tensor with which the paper compares its optimized solutions.","marker":"[21]"},{"why":"Gives the energy spectrum of $T\\bar{T}$-deformed theories that fixes the integration constants and confirms the mass matching.","marker":"[18]"},{"why":"Earlier holographic entanglement entropy calculation under the finite-cutoff interpretation; the paper's result adds an extra term to this.","marker":"[25]"},{"why":"Provides the holographic complexity of formation for the BTZ black hole that the paper's UV-finite result is consistent with.","marker":"[27]"},{"why":"Studied holographic complexity of the thermofield double state under the bulk cutoff interpretation, which the paper compares with.","marker":"[22]"}],"fun_headline_variants":["Whole bulk emerges from TTbar path integral optimization","TTbar optimized geometries cover entire spacetime","UV-finite complexity formation in TTbar deformation","Finite cutoff reinterpretation from TTbar optimization","Entire bulk captured by TTbar deformed path integrals"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Whole bulk emerges from TTbar path integral optimization","TTbar optimized geometries cover entire spacetime","UV-finite complexity formation in TTbar deformation","Finite cutoff reinterpretation from TTbar optimization","Entire bulk captured by TTbar deformed path integrals"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000629,"raw_usage":{"total_tokens":2915,"prompt_tokens":961,"completion_tokens":1954,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":577,"completion_tokens_details":{"reasoning_tokens":1884}},"tokens_in":577,"tokens_out":1954,"duration_ms":14168,"temperature":1.0,"reasoning_tokens":1884,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:52:18.234786+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Caputa, N","cited_arxiv_id":null,"evidence_quote":"Supplies the path integral optimization prescription, minimizing the normalization of the wave functional and identifying the on-shell action with complexity."},{"cited_title":"Chapman, M.P.Heller, H","cited_arxiv_id":null,"evidence_quote":"Establishes the optimization method for 2D CFT vacuum states and the BTZ time-slice solution used as the unperturbed starting point."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the mixed-boundary-condition formulation and the deformed stress tensor with which the paper compares its optimized solutions."},{"cited_title":"Caputa and J","cited_arxiv_id":null,"evidence_quote":"Gives the energy spectrum of $T\\bar{T}$-deformed theories that fixes the integration constants and confirms the mass matching."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the holographic complexity of formation for the BTZ black hole that the paper's UV-finite result is consistent with."},{"cited_title":"McGough, M","cited_arxiv_id":null,"evidence_quote":"Studied holographic complexity of the thermofield double state under the bulk cutoff interpretation, which the paper compares with."}],"review_version":1}