{"id":"c88d71a5-e192-4d89-b2e2-d787e85c7060","arxiv_id":"2411.18514","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The complex timelike entanglement entropy is computed in non-relativistic holographic theories, with a logarithmic real part and a constant imaginary part proposed as Fermi-surface signatures.","lead":"This paper computes the timelike entanglement entropy, a complex holographic measure of quantum information, for non-relativistic theories with Lifshitz anisotropy and hyperscaling violation. It argues that this measure tracks theory stability and can signal Fermi surfaces in ways ordinary entanglement entropy cannot.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Displayed extremal-surface EOMs (3.3),(4.5) are reciprocals of those following from (2.2); all quantitative results, including the Fermi-surface limit (4.29), are integrals of these EOMs, so the central numbers are unverified.","rationale":"The central contribution of the paper is a set of explicit formulas for the timelike entanglement entropy in Lifshitz and hyperscaling-violating theories, including a claimed Fermi-surface signature. These formulas are derived from extremal-surface area integrals, so the equations of motion for the surfaces are the load-bearing step. A direct substitution shows that the displayed EOMs do not follow from the paper's own generic equation (2.3): the correct relation for the hyperscaling metric (4.1) is the reciprocal of (4.5). The displayed version also contradicts the stated boundary condition t'(r0)=infinity for the timelike surface, since it gives t'(r0)=0. This is not a harmless typo in one line; the same reciprocal structure appears in (3.3) and (3.19), and all subsequent integrals—subsystem lengths T_Im/T_Re, real and imaginary areas, and the special theta=d-2 case—use the displayed (incorrect) expressions. Therefore the numerical prefactors in the final results, and in particular the claimed constant Im(S)=i pi/z, are not trustworthy. The qualitative scaling behavior (e.g., the log divergence at theta=d-2) may survive because it is fixed by dimensional analysis, but the paper's quantitative claims and the Fermi-surface interpretation of the imaginary part hinge on constants that could change. The proposed test—re-deriving the EOM and recomputing one sample case—would settle this directly. If the prefactors change, the paper needs a major revision of its results, not just a clarifications pass. Since the error is concrete and fixable, the appropriate verdict is CONDITIONAL, consistent with the reader's verdict but for a more specific reason.","tokens_in":26311,"tokens_out":30681,"duration_ms":230611,"concrete_test":"Re-derive the EOM from (2.2) for the metric (4.1) with the strip localized on one x-direction, using F^2=gxx^{d-2}. Verify whether (4.5) follows; it should be replaced by t'^2 = r^{2(z-1)}/(1+s(r/r0)^{2 nu}), nu=d-2+z-theta. Then recompute T_Im, T_Re, S_Re-hat, S_Im-hat for a sample point (e.g., d=4, z=2, theta=1/2) with both the displayed and corrected EOM and compare the prefactors in (4.22)/(4.24). Finally, repeat the theta=d-2 limit and check whether Im(S) remains i pi/z or becomes i pi/(2 z) (with the same normalization). If the constants change, the paper's quantitative claims are unsupported.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's quantitative claims—Eqs. (4.22), (4.24), and the Fermi-surface limit (4.29) (Re(S)=(2/z)log(zT/epsilon), Im(S)=i pi/z)—are obtained by integrating the equations of motion (4.5) (and the analogous (3.3), (3.19)). These displayed EOMs are internally inconsistent. Section 2.1 specifies that the timelike surface (s=-1) has t'(r0)=infinity at its turning point, and section 4.1.1 repeats this for the A0 surfaces (Figure 5 caption). But (4.5) with s=-1 gives t'^2 = r^{2(z-1)}(1-(r0/r)^{2 nu}), nu=d-2+z-theta, which vanishes at r=r0. Substituting the hyperscaling metric (4.1) (strip fixed on one x-direction, transverse factor F^2=gxx^{d-2}) into the generic EOM (2.3) yields instead t'^2 = r^{2(z-1)} / (1+s(r/r0)^{2 nu}). The correct expression diverges at the turning point for s=-1, as required. The displayed and correct expressions are reciprocals, so the integrands in (4.18)-(4.24) and the special theta=d-2 limit (4.29) are wrong. The same reciprocal error appears in the anisotropic Lifshitz EOMs (3.3) and (3.19), so the error is systematic, not a one-off typo. Since every numerical prefactor, including the claimed constant i pi/z and the coefficient 2/z in (4.29), is computed from these integrals, the central quantitative results are unverified. This is an internal correctness problem, independent of the holographic tEE conjecture.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies holographic timelike entanglement entropy (tEE) in non-relativistic holographic theories with Lifshitz-like spatial anisotropy and hyperscaling violation. The authors derive extremal-surface equations for spacelike and timelike surfaces, classify surface behavior, compute analytic expressions for the real and imaginary parts of tEE, and propose that tEE can probe stability, naturalness, and the presence of Fermi surfaces. They also compute temporal entanglement entropy in the Euclidean continuation. The claimed results include explicit scaling forms in Eqs. (4.22) and (4.24), a logarithmic Fermi-surface signature Re(S)=(2/z)log(zT/epsilon) and constant imaginary part i pi/z at theta=d-2, and analogous results for anisotropic Lifshitz theories.","tokens_in":26695,"tokens_out":24242,"duration_ms":199689,"significance":"If correct, the paper would provide a systematic holographic characterization of timelike entanglement entropy outside Lorentz-invariant settings, with concrete parameter dependence on the Lifshitz exponent z and hyperscaling-violation exponent theta. It would also give a new Fermi-surface diagnostic through the imaginary part of tEE. The manuscript contains extensive analytic formulas, consistency checks against known AdS results, and a detailed surface classification. However, the main quantitative results are derived from displayed equations of motion that are internally inconsistent with the stated surface properties; as submitted, the central numbers are not supported.","major_comments":[{"comment":"Equation (4.5) is not the EOM following from the generic expression (2.3) for the hyperscaling-violating metric (4.1). Substituting (4.1) into (2.3) for a strip with one x-direction fixed gives t'^2 = r^{2(z-1)}/[1+s(r0/r)^{2ν}] with ν=d-2+z-theta, whereas (4.5) gives t'^2 = r^{2(z-1)}[1+s(r0/r)^{2ν}]. These are reciprocals. In particular, for s=-1 the displayed form gives t'_Im(r0)=0, while §2.1 and the Figure 5 caption require t'_Im(r0)=∞. Since Eqs. (4.18)-(4.24) are obtained by integrating (4.5), the quantitative results (4.22), (4.24), and the Fermi-surface limit (4.29) are unverified.","section":"§4.1.1, Eq. (4.5)"},{"comment":"The same reciprocal error appears in the y-localized anisotropic Lifshitz computation. For the metric (3.1), substituting into (2.3) places the factor [1+s(r0/r)^{2(d-1)z}] in the denominator of t'^2, whereas (3.3) has it in the numerator. The displayed t'_Im(r0)=0 contradicts the boundary condition t'_Im(r0)=∞ stated for timelike surfaces in §2.1. Consequently, the subsystem lengths (3.11)-(3.12) and the areas (3.15)-(3.16) are derived from the wrong equation of motion; although the final AdS-equivalence result may be independently true by symmetry, the printed derivation does not establish it.","section":"§3.1.1, Eq. (3.3)"},{"comment":"For the x1-localized strip there is an additional exponent error beyond the reciprocal issue. With the conventions of §2 and the metric (3.1), the transverse factor for a strip with one x-direction fixed is gxx^{d-3} (the y direction is unwarped), so gtt gxx^{d-3} = -r^{-2z(d-2)}. Equation (2.3) then gives t'^2 = r^{2z-2}/[1+s(r0/r)^{2z(d-2)}], not the expression in (3.19) with exponent 2(d-2)z+2. As a result, the parameter β below (3.25), the scaling law (3.24), and all formulas (3.27)-(3.31) are not consequences of the stated metric and need to be recalculated.","section":"§3.2.1, Eq. (3.19)"}],"minor_comments":[{"comment":"The constant c^2 is introduced before C^2 is defined; reordering these definitions would improve readability.","section":"§2.1, Eq. (2.3)"},{"comment":"The cutoff ϵ1 is introduced as an IR regulator, but the explicit divergent terms are not displayed; please state the cutoff prescription used to obtain the quoted finite parts.","section":"§3.1.3, Eqs. (3.11)-(3.12)"},{"comment":"The text repeatedly refers to a 'monotonically decreasing norm' of tEE, but tEE is complex; please specify whether the statement concerns Re(S), |S|, or some other quantity.","section":"§4.1.1, around Eq. (4.9)"},{"comment":"The text has a typo: 'were k(r) := d1A1(r)+d2A2(r)' should read 'where k(r) := ...'.","section":"Appendix A, Eq. (A.5)"}],"recommendation":"major_revision","confidential_remarks":"The systematic error in the displayed equations of motion affects essentially all quantitative results in Sections 3 and 4, including the headline Fermi-surface signature. I recommend major revision rather than immediate rejection only because the error is in principle fixable by recomputing the extremal-surface integrals from the correct EOMs. However, if the corrected calculations do not reproduce the claimed scaling laws and the constant imaginary part i pi/z, the paper should be rejected. It should also be stated more prominently that the higher-dimensional quantitative results depend on the unproven holographic tEE conjecture."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The advertised Fermi-surface signature—Re(S)=(2/z)log(zT/epsilon), Im(S)=iπ/z—and every other quantitative formula in this paper are built from equations of motion that are reciprocals of the ones that actually follow from the paper's own generic setup. The displayed EOMs give t'_Im(r0)=0, while the text and figures require t'_Im(r0)=∞. Until the integrals are redone with the correct EOMs, the central numbers should be treated as unverified.\n\nWhat's genuinely new here: the paper is the first to push holographic timelike entanglement entropy into anisotropic Lifshitz-like and hyperscaling-violating backgrounds, and it offers a fresh interpretive claim—the constant imaginary part of tEE as a z-dependent Fermi-surface marker. The surface classification via the gradient normal vector field, and the comparison with NEC and thermodynamic stability, are thoughtful and mostly qualitative. The authors also provide consistency checks against AdS and isotropic limits, which shows they care about benchmarking.\n\nThe soft spot is load-bearing. For the hyperscaling metric (4.1), substituting into the generic EOM (2.3) gives t'^2 = r^{2(z-1)}/(1+s(r0/r)^{2nu}) up to sign conventions, not the displayed r^{2(z-1)}(1+s(r0/r)^{2nu}); these are reciprocals. The same reciprocal error appears in the anisotropic Lifshitz EOMs (3.3) and (3.19). Since TIm, TRe, T, and the renormalized areas in (4.18)-(4.29) are integrals of these t', every prefactor—including iπ/z and the 2/z coefficient—is computed from the wrong integrand. This is not a one-off typo; it is systematic across three sections. The AdS limits don't catch it because reciprocal integrands can still produce the same scaling.\n\nA secondary caveat: the Fermi-surface interpretation inherits the unproven holographic tEE conjecture in higher dimensions; the paper is upfront about following [21,23], and the 2+1 checks are fine, but the higher-dimensional numbers are conditional on that conjecture. The stability/naturalness language also runs ahead of the calculation—the correlation with NEC is suggestive, not a proof.\n\nWho gets value: people working on holographic pseudoentropy and non-relativistic holography will find the qualitative surface analysis worth reading, but they should not cite the quantitative results until the EOM error is fixed. A serious referee could handle this: the flaw is concrete and fixable, and the qualitative framework may survive. I'd recommend sending to peer review, with the expectation of a major revision requiring corrected EOMs and recomputed integrals.","headline":"The Fermi-surface signature and all quantitative prefactors rest on displayed EOMs that are the reciprocals of those following from the paper's own action; treat the numbers as unverified until the integrals are redone.","tokens_in":27200,"tokens_out":17398,"would_cite":false,"duration_ms":131715,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Holographic timelike entanglement entropy is shown to encode both the stability of non-relativistic theories and the presence of Fermi surfaces through a logarithmic real part and a constant imaginary part.","keywords":["timelike entanglement entropy","hyperscaling violation","Lifshitz holography","Fermi surface","pseudoentropy","null energy condition","temporal entanglement entropy","holographic entanglement entropy"],"falsifier":"Compute the transition-matrix pseudoentropy directly in a (1+1)-dimensional Lifshitz scalar theory with $\\theta=d-2$: the holographic prediction is $\\mathrm{Re}(S)=(2/z)\\log(zT/\\epsilon)$ and $\\mathrm{Im}(S)=i\\pi/z$. Any independent field-theoretic or lattice result with a different log coefficient or imaginary constant would falsify the identification, while agreement would support it.","tokens_in":26124,"feed_emoji":"⚛️","tokens_out":7974,"duration_ms":69787,"temperature":0.7,"pith_summary":"This paper tries to establish that timelike entanglement entropy (tEE), a complex-valued information measure defined holographically by combining spacelike and timelike extremal surfaces, is a sharp probe of non-relativistic physics. In theories with Lifshitz-like anisotropy or hyperscaling violation, both the real and imaginary parts of tEE depend on the symmetry-breaking exponents $z$ and $\\theta$ in a calculable way. The paper derives closed-form expressions for these parts and shows that they encode whether the theory is stable: demanding natural behavior of the tEE restricts the parameter space to almost exactly the region allowed by the null energy condition and thermodynamic stability. It also proposes a Fermi-surface diagnosis: at $\\theta=d-2$ the real part violates the area law logarithmically, with coefficient $2/z$, and the imaginary part becomes the constant $i\\pi/z$. If correct, this gives a holographic observable that can flag both stability and the presence of Fermi surfaces, and it gives the imaginary part of tEE a physical meaning beyond its role in conformal theories.","feed_headline":"Timelike entropy exposes Fermi surfaces in non-relativistic theories","feed_subtitle":"Holographic calculation ties the imaginary part to i pi / z and the real part to area-law violation, linking a complex entropy to stability.","key_machinery":"The load-bearing object is the conjectured holographic identification of tEE with the area of the union of one spacelike and one timelike extremal surface that are homologous to a timelike boundary interval of length $T$; the finite interval itself is defined as $T = T_{Im} - T_{Re}$ after removing the common IR divergence. The technical tools are the equation of motion for the embedding function $t(r)$, the gradient normal vector field whose squared norm and orthogonality measures $|I_1|^2$ and $|I_2|^2$ decide where surfaces are spacelike, timelike, or null, and a parameter-space classification of which surface types occur as $z$ and $\\theta$ vary. These tools let the authors compute both components of tEE analytically and correlate the conformal-like surface behavior with the null energy condition and thermodynamic stability.","core_discovery":"For a strip-like timelike interval of length $T$ in a hyperscaling-violating bulk, the paper claims the finite tEE is $$\\frac{4G_N}{$L^{{d-2}}$}\\hat S^T_{Re} = -f(\\gamma)\\sec(\\pi\\gamma)\\, $z^{{-\\frac{d-2+z-\\theta}}${z}}\\left(\\frac{1}{T}\\right)^{\\frac{d-2-\\$\\theta$}{z}}, \\qquad \\frac{4G_N}{$L^{{d-2}}$}\\hat S^T_{Im} = i f(\\gamma)\\, $z^{{-\\frac{d-2+z-\\theta}}${z}}\\left(\\frac{1}{T}\\right)^{\\frac{d-2-\\$\\theta$}{z}},$$ with $\\gamma = z/[2(d-2+z-\\theta)]$ and a constant $f(\\gamma)$ fixed by the dimension and exponents; the two parts are related by $\\hat S_{Re}=i\\sec(\\pi\\gamma)\\hat S_{Im}$. When $\\theta=d-2$ these formulas must be treated separately, and the paper obtains $$\\frac{4G_N}{$L^{{d-2}}$}\\tilde S^T_{Re} = \\frac{2}{z}\\log\\left(\\frac{zT}{\\tilde\\epsilon}\\right), \\qquad \\frac{4G_N}{$L^{{d-2}}$}\\tilde S^T_{Im} = \\frac{i\\pi}{z},$$ which it reads as the tEE signature of a Fermi surface. Throughout, the sign of $d-2+z-\\theta$ controls whether the timelike extremal surface extends to the deep IR or back to the boundary, and the paper shows that the parameter regions where the tEE surfaces look like conformal ones coincide with the NEC-plus-stability region. It further claims that in the large-dimension limit the real and imaginary parts become equal in magnitude, and that the temporal entanglement entropy, the Euclidean-signature cousin, shows the same logarithmic Fermi-surface behavior.","pith_inferences":["Editorial inference: if the holographic tEE conjecture holds beyond (2+1) dimensions, the constant imaginary part $i\\pi/z$ becomes a practical diagnostic: a finite imaginary pseudoentropy in a system with Lifshitz scaling would indicate a Fermi surface without needing to resolve the Fermi surface itself.","Editorial inference: the same $\\theta=d-2$ computation could be tested in free-fermion lattice models with anisotropic hopping, where the transition-matrix pseudoentropy can be computed directly; agreement with $(2/z)\\log(zT/\\epsilon)$ would support the conjecture, while disagreement would localize where it breaks.","Editorial inference: the near-identity between natural tEE surfaces and the NEC-plus-stability region suggests tEE could serve as a cheap holographic screening criterion for proposed gravity duals of condensed-matter systems, since an extremal-surface calculation is easier than solving the full field equations."],"forward_implications":["For hyperscaling-violating theories, tEE scales as $T^{-(d-2-\\theta)/z}$; at $\\theta=d-2$ the real part obeys a logarithmic area-law violation while the imaginary part is the constant $i\\pi/z$, giving two independent Fermi-surface signatures.","Requiring the tEE to decrease monotonically with the interval and its surfaces to behave like conformal ones restricts $(z,\\theta)$ to almost exactly the parameter region fixed by the NEC and thermodynamic stability, so tEE doubles as a stability diagnostic.","In spatially anisotropic Lifshitz-like theories, both parts of tEE depend on which spatial direction the strip is localized along, with exponents $d-3+1/z$ versus $d-2$, making tEE more sensitive to Lorentz breaking than entanglement entropy.","In the large-dimension limit the real and imaginary parts of tEE become equal in magnitude in all the theories studied, a property the paper argues is universal.","The Euclidean temporal entanglement entropy reproduces the same Fermi-surface logarithmic law at $\\theta=d-2$ and equals the real part of tEE there, providing a consistency check."],"supporting_citations":[{"why":"Establishes the holographic conjecture that tEE is the area of the union of spacelike and timelike extremal surfaces and confirms it in (2+1)-dimensional theories.","marker":"[21]"},{"why":"Provides the $T=T_{Im}-T_{Re}$ subtraction and the spacelike/timelike area split that the paper uses for all its tEE computations.","marker":"[23]"},{"why":"Supplies the hyperscaling-violation metric, the NEC conditions, and the thermodynamic stability bound that define the natural parameter region.","marker":"[18]"},{"why":"Introduces temporal entanglement entropy and the Fermi-surface logarithmic behavior used for comparison.","marker":"[22]"},{"why":"Gives the massless Lifshitz field-theory result that the paper's $\\theta=d-2$ answer is expected to match.","marker":"[36]"},{"why":"Derives the null energy conditions for anisotropic holographic theories used in the appendix and in the stability discussion.","marker":"[26]"}],"fun_headline_variants":["Imaginary part of timelike entropy pinpoints Fermi surfaces","Constant imaginary entropy reveals Fermi surfaces in holography","Timelike entropy ties holography to stability and Fermi surfaces","Non-relativistic timelike entropy: a Fermi surface detector"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the holographic area formula for timelike entanglement entropy, the union of spacelike and timelike extremal surfaces, actually computes the quantity; this equality has been confirmed only in (2+1)-dimensional theories, so the higher-dimensional results, including the Fermi-surface signatures, rest on an unproven equivalence.","fun_headline_variants_meta":{"raw":{"variants":["Imaginary part of timelike entropy pinpoints Fermi surfaces","Constant imaginary entropy reveals Fermi surfaces in holography","Timelike entropy ties holography to stability and Fermi surfaces","Non-relativistic timelike entropy: a Fermi surface detector"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0004,"raw_usage":{"total_tokens":2189,"prompt_tokens":1146,"completion_tokens":1043,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":762,"completion_tokens_details":{"reasoning_tokens":974}},"tokens_in":762,"tokens_out":1043,"duration_ms":9310,"temperature":1.0,"reasoning_tokens":974,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:10:36.332120+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the transition-matrix pseudoentropy directly in a (1+1)-dimensional Lifshitz scalar theory with $\\theta=d-2$: the holographic prediction is $\\mathrm{Re}(S)=(2/z)\\log(zT/\\epsilon)$ and $\\mathrm{Im}(S)=i\\pi/z$. Any independent field-theoretic or lattice result with a different log coefficient or imaginary constant would falsify the identification, while agreement would support it.","supporting_citations":[],"review_version":1}