Pith. sign in

REVIEW 3 major objections 7 minor 18 references

TTbar deformation corrections to generalized holographic complexity expand as generalized Willmore functionals and decompose into multi-flavor Lorentzian threads.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-13 03:43 UTC pith:4FN2Z5PM

load-bearing objection Solid FG extension of the TTbar/Willmore correction to complexity=anything; the multi-flavor thread story is only local and the norm bound is not secured. the 3 major comments →

arxiv 2607.09343 v1 pith:4FN2Z5PM submitted 2026-07-10 hep-th

Tbar{T} deformation and multiple-flavor Lorentzian threads

Mojtaba Shahbazi , Mehdi Sadeghi This is my paper
classification hep-th
keywords TTbar deformationholographic complexitycomplexity equals anythingFefferman-Graham expansionWillmore energyLorentzian threadsmulti-flavor threadsfinite cut-off holography
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper asks how a finite radial cut-off, dual to a TTbar-type deformation, changes holographic complexity when complexity is any geometric functional of the bulk, not just volume. Using a Fefferman-Graham expansion near the cut-off, it shows that the difference between the undeformed and deformed complexities organizes as a power series of generalized Willmore-type energies, each weighted by the curvature coefficients that appear in the chosen complexity density. Because those coefficients enter linearly, the same correction can be rewritten, after a conformal rescaling, as a sum of independent Lorentzian flows, one flavor for each curvature invariant. The authors construct those flavors locally by adding compensating orthogonal fields that restore the divergence-free condition, and they interpret the resulting multi-flavor network as a geometric signature of the non-local gates that the deformation introduces into the dual quantum circuit. A sympathetic reader cares because the construction links three previously separate ideas—finite-cut-off holography, complexity equals anything, and multi-flavor threads—into a single geometric picture of how non-locality reorganizes computational structure.

Core claim

The deformation-induced correction to any geometric complexity functional admits the systematic expansion δC_Any = (1/G_N) ∑_n ρ_c^{(3+2n-d)/2} W_Σ^{(n)}, where the generalized Willmore functionals W_Σ^{(n)} are built from the leading curvature coefficients of the complexity density F_1; the linear structure of F_1 then permits a local multi-flavor Lorentzian-thread decomposition in which each flavor is divergence-free and associated with one curvature sector.

What carries the argument

The hierarchy of generalized Willmore functionals W_Σ^{(n)} = (α / 2(d-1)(d-1-4n)) ∑_I ∫ √h M_n^I K², together with the local orthogonal construction of compensating fields X_I that turn the weighted sum of a single Lorentzian flow into independent divergence-free flavor flows v_I.

Load-bearing premise

That the first-order linear system for the orthogonal compensating fields always admits local solutions that keep every flavor timelike and of norm at least one; global existence is left open and treated as an extra assumption.

What would settle it

Compute the explicit Fefferman-Graham expansion of a concrete curvature invariant (for example Weyl-squared) on a known finite-cut-off black-hole background and check whether the resulting δC_Any matches the predicted Willmore series term-by-term and whether the associated multi-flavor flows remain divergence-free and timelike.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Any positive local curvature invariant inside a complexity functional induces its own local Lorentzian thread sector after a constant-weight choice.
  • The leading TTbar correction to complexity is completely determined by the extrinsic curvature of the maximal hypersurface weighted by the constant term of F_1.
  • Transitions between extremal hypersurfaces in complexity-equals-anything can be re-read as re-allocations of flux among distinct thread flavors.
  • Non-local computational resources introduced by the deformation appear geometrically as additional independent flow channels rather than as a single modified volume.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the open global-existence problem for the orthogonal system can be settled for asymptotically AdS spacetimes, multi-flavor threads would become a standard dictionary entry for any complexity-equals-anything proposal.
  • The same Willmore hierarchy should control the TTbar correction to other holographic information measures that admit a max-flow / min-cut dual, such as certain entanglement-of-purification or bit-thread generalizations.
  • The circuit-layer reading of successive maximal slices suggests that the deformation parameter Γ could be measured by the relative flux carried by higher-curvature flavors as boundary time evolves.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 7 minor

Summary. The paper studies holographic complexity in the “complexity = anything” framework for bulk geometries dual to generalized TTbar deformations (finite radial cut-off). Using a Fefferman–Graham expansion of the volume element and of curvature invariants near the cut-off, it derives the difference between undeformed and deformed generalized complexities and organizes that difference as a tower of generalized Willmore-type functionals weighted by the curvature coefficients of F_1 (Eqs. 29–31). It then maps the generalized functional to a CV problem by conformal rescaling and proposes a multi-flavor Lorentzian-thread decomposition in which each flavor is associated with a curvature sector of F_1, constructing local divergence-free fields via Propositions 1–2 and offering a heuristic quantum-circuit-layer reading of the resulting threads.

Significance. If the Willmore tower is correct, the work cleanly extends the finite-cut-off CV/CA analysis of Astaneh (ref. [10]) to arbitrary geometric complexity measures, giving a systematic, parameter-controlled expansion of deformation corrections. That part is a useful and largely calculation-driven contribution. The multi-flavor thread interpretation, if made rigorous, would link finite-cut-off holography, generalized complexity, and non-local computational structure in a geometrically natural way and would connect to the Lorentzian-thread literature ([11–14]). The conformal-rescaling argument that reduces C_Any to a CV problem is standard and correctly applied. The main novelty claim, however, rests on the multi-flavor construction, whose technical status is currently weaker than the Willmore expansion.

major comments (3)
  1. §4.3, Proposition 1 and the norm discussion after Eq. (62): Lorentzian threads are required to satisfy |v| ≥ 1 (Eq. 32; likewise |v_I| ≥ 1 in §4.2). The construction produces divergence-free fields v_I = (w_I+λ_I)v + X_I and, under (59), shows each v_I is timelike. Timelike is not the same as |v_I| ≥ 1. With the natural constant-weight choice ∑ c_I = 1 and X_I = 0 one has |v_I| = |c_I| |v|, so multi-flavor weights with |c_I| < 1 generically violate the thread bound even when |v| ≥ 1. The paper never exhibits a choice of (c_I, X_I) that restores |v_I| ≥ 1 for every flavor while preserving ∑ v_I = f v. Without that, the objects constructed are not yet legitimate multi-flavor Lorentzian threads, and the central multi-flavor claim remains formally incomplete.
  2. §4.3, Proposition 2 and Eq. (77): The Poincaré-lemma step solves the local divergence equation ∂_μ(√|g| X_I^μ) = √|g| h_I but does not control the pointwise size of X_I relative to (w_I+λ_I)|v|. The subsequent ε-bound (62) is therefore an extra assumption, not a consequence of the construction. Even in the constant-weight case (where h_I = 0 and one may take X_I = ε Y_I with ∇·Y_I = 0), no explicit family {Y_I} with ∑ Y_I = 0, g(v,Y_I)=0, and a uniform ε working on a concrete maximal slice is given. The paper itself notes that a general global existence theorem is unavailable; the same gap already affects the local norm bound needed for threads. Either an explicit local solution with |v_I| ≥ 1 should be supplied, or the multi-flavor claims should be weakened to match what is proven (divergence-free, conditionally timelike sectors).
  3. §4.2–4.4 and the linearity caveat (footnote 4): F_1 enters the complexity functional linearly, but the extremization that defines C_Any (and δC_Any) is not linear. The thread decomposition is performed on a flow associated with an already-extremized hypersurface, which is fine for a post-hoc splitting of flux, but the text repeatedly presents the flavors as independent computational sectors arising from the complexity functional itself (abstract; end of §3; §4.4). That stronger reading is not justified by the construction. The manuscript should clearly separate (i) the well-defined post-extremization flux decomposition from (ii) any claim that distinct curvature invariants define independently optimizable complexity sectors.
minor comments (7)
  1. Throughout (e.g. §4.4, Fig. 2 caption): “extrimized” / “extrimization” should be “extremized” / “extremization”.
  2. Equations (7)–(8), (22)–(24): spacing artifacts such as “undef ormed”, “T ¯T”, and broken subscripts reduce readability; clean the LaTeX.
  3. §4.2, paragraph on multiflavor: “articulates competently multiple cases” is awkward; rephrase for clarity.
  4. §3, after (19): the expansion CI = M_0 + ρ M_1 + … is used for every invariant, but C^2 starts at O(ρ^2) (Eq. 19). A short remark that M_0 = 0 for Weyl-squared (and the leading Willmore term then comes from higher n) would avoid confusion.
  5. §4.1, Eq. (35): the conformal factor is written F_1^{2/d}; consistency with the volume-element identity (36) should be checked against the hypersurface dimension (codimension-one in (d+1) bulk ⇒ d-dimensional Σ). Clarify the exponent.
  6. References and priority: the relation to the concurrent multi-flavor work [14] and to the complexity-anything threads [13] could be stated more sharply in the introduction (what is taken over vs. what is new).
  7. §5: several open problems are listed (global existence, microscopic gate identification). These are appropriate; consider moving the most important (norm bound / global X_I) into the body as explicit caveats next to Propositions 1–2.

Circularity Check

1 steps flagged

Willmore tower is a direct FG integral identity; multi-flavor sectors are labeled by construction via weights drawn from the same F_I, a minor definitional step that does not force the central claim.

specific steps
  1. self definitional [§4.2, Eqs. (43)–(45) and surrounding text]
    "F1 = ∑_{I=1}^N a_I F_I … w_I = a_I F_I / F_1 , ∑ w_I = 1 … Each vector field v_I is interpreted as a separate thread flavor associated with one of the curvature invariants appearing in the eq.43"

    The claim that distinct thread sectors correspond to different curvature invariants is realized simply by defining the fractional weights w_I proportional to the very same a_I F_I that already constitute F_1; the correspondence therefore holds by the definition of the decomposition rather than by an independent geometric necessity.

full rationale

The load-bearing derivation of the deformation correction (Eqs. 21–31) is an ordinary asymptotic expansion of the generalized volume integral under the Fefferman–Graham series for √H and the curvature invariants; the difference between the deformed and undeformed cut-off coefficients produces the generalized Willmore functionals by elementary algebra, with no fitted parameters and no self-referential definition. The subsequent multi-flavor construction (Props. 1–2) is an existence argument that builds divergence-free fields v_I from an already-obtained optimal flow v; the only definitional element is the choice of weights w_I = a_I F_I / F_1 that labels each sector by the curvature invariant that already entered F_1. That labeling is therefore true by construction of the decomposition, yet it is presented only as an interpretation, not as an independent prediction or uniqueness theorem. The single self-citation ([16]) supplies a routine FG reference and is not load-bearing. No fitted-input-as-prediction, no uniqueness imported from the authors, and no renaming of a known empirical pattern occur. The result is therefore essentially non-circular; the mild self-definitional step in the thread labeling raises the score only to 2.

Axiom & Free-Parameter Ledger

2 free parameters · 4 axioms · 2 invented entities

The central claims rest on the standard holographic dictionary for TTbar as a finite radial cut-off, the complexity=anything variational definition, the Lorentzian min-flow/max-cut theorem, and the technical assumption that orthogonal compensating fields X_I solving a first-order divergence equation exist (at least locally) while preserving the timelike norm bound. No free parameters are fitted to data; α and the a_I are theory coefficients left arbitrary. The multi-flavor threads themselves are constructed objects, not new physical particles, but the global existence of the decomposition is postulated rather than proved.

free parameters (2)
  • α (and a_I coefficients in F_1)
    Dimensionless couplings that weight curvature invariants inside the complexity functional; left free and not fitted, but the multi-flavor decomposition depends on their presence and relative sizes.
  • cut-off radius ρ_c (or r_c)
    Deformation parameter dual to the TTbar coupling; the expansion is organized in powers of ρ_c and assumes ρ_c ≪ 1.
axioms (4)
  • domain assumption Holographic dual of (generalized root-)TTbar is a bulk geometry with a finite radial cut-off, with the FG expansion of the metric and curvatures as written in §2–3.
    Taken from McGough-Mezei-Verlinde, Taylor, and Astaneh; used as the geometric input for every expansion.
  • domain assumption Complexity equals anything: C_Any is the max of ∫ √h F_1 over codimension-one hypersurfaces homologous to the boundary slice, with F_1 any local curvature scalar.
    Belin et al. proposal; the entire correction tower is defined relative to this functional.
  • standard math Lorentzian min-flow/max-cut theorem equates maximal volume (or conformally rescaled volume) to minimal flux of a divergence-free future-directed unit-norm vector field.
    Headrick-Hubeny / Pedraza et al.; used to pass from the generalized volume to a thread description after conformal rescaling.
  • ad hoc to paper There exist (at least locally) smooth orthogonal compensating fields X_I solving ∇·X_I = -v·∇(w_I+λ_I) with g(v,X_I)=0 and the norm inequality that keeps each v_I timelike.
    Proposition 2 proves local solvability via the Poincaré lemma; global existence is explicitly left open and treated as an extra assumption.
invented entities (2)
  • Multiple-flavor Lorentzian threads associated to curvature invariants of F_1 no independent evidence
    purpose: Provide a geometric realization of the linear decomposition of the generalized complexity functional into independent information channels.
    Constructed from weights w_I and compensating fields X_I; independent evidence outside this paper is limited to the earlier multi-flavor proposal of Cáceres-Carrasco-Pedraza, which introduced flavors differently.
  • Generalized Willmore functionals W_Σ^{(n)} weighted by M_n^I no independent evidence
    purpose: Organize the TTbar correction to C_Any as a systematic cut-off expansion.
    Direct generalization of the ordinary Willmore energy appearing in the CV case of Astaneh; no independent experimental handle.

pith-pipeline@v1.1.0-grok45 · 17151 in / 3716 out tokens · 35109 ms · 2026-07-13T03:43:43.872965+00:00 · methodology

0 comments
read the original abstract

This work is motivated by the proposed relationship among finite cut-off holography and generalized $T\bar T$ deformations, and examines holographic complexity within the framework of the "complexity = anything" proposal. Employing a Fefferman-Graham expansion near the finite cut-off surface, the deformation-induced correction to generalized complexity is derived and shown to allow a systematic expansion in terms of generalized Willmore-type functionals. The resulting formulation broadens earlier findings for the complexity-volume proposal to encompass arbitrary geometric complexity measures. Furthermore, the structure of the correction allows a natural interpretation as multiple-flavor Lorentzian threads, where distinct thread sectors correspond to different curvature invariants in the complexity functional. These results show a geometric connection among finite cut-off holography, generalized complexity, and the emergence of non-local computational structures in holographic quantum field theories.

Figures

Figures reproduced from arXiv: 2607.09343 by Mehdi Sadeghi, Mojtaba Shahbazi.

Figure 1
Figure 1. Figure 1: The local decomposition of the Lorentzian thread [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The local decomposition of the Lorentzian thread [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The proposed interpretation suggests that at each hypersurface Σ( [PITH_FULL_IMAGE:figures/full_fig_p018_3.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

18 extracted references · 16 linked inside Pith

  1. [1]

    Expectation value of composite field T anti-T in twodimen- sional quantum field theory,

    A. B. Zamolodchikov, “Expectation value of composite field T anti-T in twodimen- sional quantum field theory,” arXiv:hep-th/0401146 [hep-th]

    Pith/arXiv arXiv

  2. [2]

    On space of integrable quantum field theories,

    F. A. Smirnov and A. B. Zamolodchikov, “On space of integrable quantum field theories,” Nucl. Phys. B 915, 363-383 (2017), arXiv:1608.05499 [hep-th]

    Pith/arXiv arXiv 2017

  3. [3]

    T ¯T-deformed 2D Quantum Field Theories,

    A. Cavaglia, S. Negro, I. M. Szecsenyi and R. Tateo, “T ¯T-deformed 2D Quantum Field Theories,” JHEP 10, 112 (2016), arXiv:1608.05534 [hep-th]

    Pith/arXiv arXiv 2016

  4. [4]

    McGough, M

    L. McGough, M. Mezei and H. Verlinde, ”Moving the CFT into the bulk withT ¯T,” JHEP 04 (2018) 010, arXiv:1611.03470v2 [hep-th]

    Pith/arXiv arXiv 2018

  5. [5]

    TT deformations in general dimensions,

    M. Taylor, “TT deformations in general dimensions,” Adv.Theor.Math.Phys. 27 (2023), arXiv:1805.10287 [hep-th]

    Pith/arXiv arXiv 2023

  6. [6]

    Susskind and D

    L. Susskind and D. Stanford, ”Complexity and shock wave geometry,” Phys. Rev. D 90, 126007 (2014), arXiv:1406.2678[hep-th]

    Pith/arXiv arXiv 2014

  7. [7]

    A. R. Brown, D. A. Roberts, L. Susskind, B. Swingle, and Y. Zhao, ”Complexity Equals Action,” Phys. Rev. Lett. 116, 191301 (2016), arXiv:1509.07876 [hep-th]

    Pith/arXiv arXiv 2016

  8. [8]

    J. C., W. Fischler and P. H. Nguyen, ”Noether charge, black hole volume, and complexity,” JHEP 1703 (2017) 119, arXiv:1610.02038[hep-th]

    Pith/arXiv arXiv 2017

  9. [9]

    Belin, R

    A. Belin, R. C. Myers, S.-M. Ruan, G. S´ arosi, and A. J. Speranza, ”Does Com- plexity Equal Anything?,” Phys.Rev.Lett. 128 (2022) 8, 081602, arXiv: 2111.02429 [hep-th] 19

    Pith/arXiv arXiv 2022

  10. [10]

    Faraji Astaneh, ”Quantum Complexity ofT ¯T-deformation and Its Implica- tions,” JHEP10(2024)059, arXiv:2408.06055v3 [hep-th]

    A. Faraji Astaneh, ”Quantum Complexity ofT ¯T-deformation and Its Implica- tions,” JHEP10(2024)059, arXiv:2408.06055v3 [hep-th]

    Pith/arXiv arXiv 2024

  11. [11]

    J. F. Pedraza, A. Russo, A. Svesko and Z. Weller-Davies, ”Lorentzian threads as ’gatelines’ and holographic complexity,” Phys. Rev. Lett. 127, 271602 (2021), arXiv:2105.12735v3 [hep-th]

    Pith/arXiv arXiv 2021

  12. [12]

    J. F. Pedraza, A. Russo, A. Svesko and Z. Weller-Davies, ”Sewing spacetime with Lorentzian threads: complexity and the emergence of time in quantum gravity,” JHEP 02 (2022) 093, arXiv:2106.12585v3 [hep-th]

    Pith/arXiv arXiv 2022

  13. [13]

    Caceres, R

    E. Caceres, R. Carrasco and V. Patil, ”Lorentzian threads and generalized com- plexity,” JHEP 04 (2024) 010, arXiv:2312.10606 [hep-th]

    Pith/arXiv arXiv 2024

  14. [14]

    C´ aceres, R

    E. C´ aceres, R. Carrasco and J. F. Pedraza, ”Lorentzian threads and nonlocal computation in holography,” Phys.Rev.D 113 (2026) 10, 106024, arXiv:2512.07963v1 [hep-th]

    arXiv 2026

  15. [15]

    Babaei-Aghbolagh, S

    H. Babaei-Aghbolagh, S. He, T. Morone, H. Ouyang and R. Tateo, ”Geometric formulation of generalized root-T ¯Tdeformations,” arXiv:2405.03465v2 [hep-th]

    Pith/arXiv arXiv

  16. [16]

    Shahbazi and M

    M. Shahbazi and M. Sadeghi, ”Callan-Symanzik-like equation in information the- ory,” Eur.Phys.J.Plus 141 (2026), arXiv:2508.13330v3 [quant-ph]

    Pith/arXiv arXiv 2026

  17. [17]

    Comments on Holographic Complexity,

    D. Carmi, R. C. Myers and P. Rath, “Comments on Holographic Complexity,” JHEP 03, 118 (2017) doi:10.1007/JHEP03(2017)118, arXiv:1612.00433 [hep-th]

    Pith/arXiv arXiv doi:10.1007/jhep03(2017)118 2017

  18. [18]

    Headrick and V

    M. Headrick and V. E. Hubeny, ”Riemannian and lorentzian flow-cut theorems,” Classical and Quantum Gravity 35 (2018) 105012. 20

    2018