{"id":"721b918c-e3e3-4849-a06d-a16979b0a786","arxiv_id":"1211.4872","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Lifshitz spacetimes solve vacuum Horava-Lifshitz gravity, and holographic renormalization of that bulk theory yields both central charges of the z=2 anisotropic Weyl anomaly, which the minimal relativistic bulk model cannot do.","lead":"Horava-Lifshitz gravity, a theory that scales space and time differently, is shown to admit Lifshitz spacetimes as vacuum solutions and to reproduce both independent coefficients of the anisotropic Weyl anomaly in a dual 2+1 dimensional field theory. The result positions HL gravity as the natural bulk dual for field theories with anisotropic scaling, a role previously filled only by Einstein gravity plus an ad hoc massive vector.","discovery_kind":"unclear","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The central anomaly result cV = β/(48κ²) is quoted from a companion paper listed as 'to appear,' and the modified Hamilton-Jacobi recursion relations that produce it are not stated, so the decisive step is unverifiable from this text.","rationale":"The paper makes a clean, checkable observation (Lifshitz spacetimes solve vacuum HL gravity for the stated couplings, Eqs. 8–9) and a genuinely new claim (HL holographic renormalization yields both z=2 anomaly central charges, with cV = β/(48κ²)). The new claim is the load-bearing one, and its derivation is deferred to [23], which is listed as 'to appear.' That is a specific, addressable gap rather than an internal contradiction: the vacuum-solution part stands on its own, and the anomaly result is consistent with the framework of the authors' published [8]. The self-citation to [8] is not circular in the strict sense because [8] does not contain the HL result, but the chain of support is internal to the author group and the decisive step is unpublished. The unitarity bound on λ (Eq. 15) is a nice structural byproduct and checks out algebraically. The free-scalar and non-minimal-scalar examples are supporting arguments, not the central claim, and the non-minimal calculation is the authors' own and not shown, but that does not affect the main result. Verdict is CONDITIONAL: the central claim is plausible and partly supported, but the reader cannot verify the anomaly computation from this text, and the paper should either include the recursion-relation derivation or the companion should be published and cited with a verifiable location.","tokens_in":18828,"tokens_out":42153,"duration_ms":823995,"concrete_test":"Independently derive the modified Hamilton-Jacobi recursion relations for the HL action (Eq. 4) on the Lifshitz background (Eqs. 8–9), solve them for D=z=2, and check whether L~(4) matches the claimed formula. In particular, check whether the coefficient of (R − ∇N∇N/N² + ΔN/N)² is β/(48κ²) and whether the α² term contributes at the same order. If the coefficient differs, or if α appears where the paper claims only β does, the central claim is weakened.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's load-bearing new claim is that minimal HL gravity reproduces both z=2 anomaly central charges, with cV = β/(48κ²). The derivation is explicitly deferred: 'Since the technicalities are quite involved ... here we only present our main results; all technical details will appear in [23].' The paper does not state the modified recursion relations, only that they were found and solved. This leaves three specific things uncheckable from this text. First, whether the Hamilton-Jacobi recursion relations of [8] extend to the nonprojectable HL action (Eq. 4) with its α² term, given that the constraint algebra of nonprojectable HL gravity is known to differ from the relativistic case. Second, whether the α² coupling contributes to cV: on the Lifshitz background α² = 2β(z−1)/z (Eq. 9), so for z=2, α² = β, and the claimed coefficient β/(48κ²) is numerically indistinguishable from α²/(48κ²) there; the paper does not explain why the anomaly depends on β rather than α, even though the second anomaly structure contains the ∇N∇N/N² term that the α² coupling controls. Third, whether the identification of L~(4) as the anomaly survives the modification of the recursion relation (12), which in [8] was what tied L(2) to L~(4). The vacuum-solution claim (Eqs. 8–9) is independently checkable and stands, and the unitarity bound (15) is algebraically correct, but the anomaly coefficient is the load-bearing result and it rests on an unpublished companion.","agreement_with_reader":"agree"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The paper argues that nonprojectable Hořava-Lifshitz (HL) gravity is the minimal holographic dual for Lifshitz-type QFTs with anisotropic scaling. It first shows that the Lifshitz metric (2) is a vacuum solution of the low-energy HL action (4) for Λ and α² given by Eqs. (8)-(9), with no additional matter. It then performs holographic renormalization and reports that the z=2, D=2 anisotropic Weyl anomaly has both independent central charges, cK = 1/(2κ²) and cV = β/(48κ²), whereas the relativistic Einstein-plus-massive-vector model of [5] yields only cK. Finally, it derives a unitarity bound on λ, Eq. (15), from the scaling dimension of the extra graviton mode.","tokens_in":19528,"tokens_out":52489,"duration_ms":1036753,"significance":"If correct, the result is significant: it identifies a minimal bulk dual that reproduces the full anomaly structure, gives a parameter-free relation cV/cK = β/24 between the two central charges and the bulk coupling β, and provides a Breitenlohner-Freedman-type unitarity bound on λ. The vacuum-solution result is clean and checkable, and the unitarity bound (15) is algebraically correct. The anomaly result is the headline and is the part that needs strengthening.","major_comments":[{"comment":"The central anomaly result cV = β/(48κ²) is the paper's headline claim, but the modified Hamilton-Jacobi recursion relations that produce it are not displayed; the text states only that they were found and solved, with all technical details deferred to [23], listed as 'to appear'. The authors acknowledge this deferral, but the consequence is that the decisive step from the action (4) to the anomaly is not checkable from this manuscript. At minimum, the modified recursion relations (or a short appendix showing how the α² term enters them) should be included so that the result is reproducible from the letter itself.","section":"p. 5, 'We find modified recursion relations...'","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"At z=2, Eq. (9) gives α² = β, so the claimed cV = β/(48κ²) is numerically equal to α²/(48κ²) on the Lifshitz background. The paper does not state whether cV depends on α² in general, or whether the coefficient is genuinely β rather than α². This matters because the second anomaly structure, (R - ∇N∇N/N² + ΔN/N)², contains the ∇N∇N/N² term that the α² coupling controls. Please state whether cV = β/(48κ²) holds for arbitrary α² (with the Lifshitz background then fixing α² = β), or only on the z=2 background; if the former, a sentence on why the α² term does not contribute to cV would settle the point.","section":"Eq. (9) and the anomaly formula on p. 5","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The statement that λ does not appear in the anomaly is asserted without justification. Since λ enters the kinetic term of (4) and the constraint algebra of nonprojectable HL gravity, and since the paper itself emphasizes λ's role in the graviton dispersion relation (5) and the unitarity bound (15), the reader needs to know whether λ-independence of L~(4) is exact or a feature of the D=z=2 case. A short argument, or a statement of the order at which λ would first enter, would make the 'full structure' claim precise.","section":"p. 6, 'The remaining coupling λ does not appear in the anomaly'","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The claim that the Lifshitz metric (2) is a vacuum solution of (4) is one of the paper's two headline results, but the check is not shown. Since the static Lifshitz metric has K_ab = 0, the verification reduces to the potential terms and is only a few lines; displaying it would make the result reproducible and would clarify the conventions for Λ, whose z=1 limit is -D(D+1)/2. This is particularly useful because the α² term is doing real work here: the pure R-2Λ theory does not admit (2) with K_ab = 0 as a solution, so the interplay between (8) and (9) deserves an explicit line.","section":"Eqs. (8)-(9)","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The free-scalar example (cK = 1/(32π), cV = -e²/(8π)) is presented without derivation; a sketch of the ζ-function calculation, or a reference, would help the reader assess the claim that QFTs with cV ≠ 0 exist.","section":"p. 5, free-scalar example","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The consistency check that cK = 1/(2κ²) = 1/(16πG_N) matches the relativistic result (13) should be stated explicitly; it is a nice confirmation that the HL result reduces correctly in the appropriate limit.","section":"p. 5, anomaly formula","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Reality of D± is necessary but not sufficient for unitarity; the standard Breitenlohner-Freedman argument also requires the dimension to lie above the unitarity bound. Please state the precise condition under which (15) is the unitarity bound.","section":"Eq. (15) and surrounding discussion","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The remark that the z → 1 limit corresponds to α → 0, the 'unhealthy reduction' of nonprojectable HL gravity, would benefit from a reference or a sentence on why this limit is unhealthy.","section":"p. 6, z → 1 limit","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Typos: 'inifinite' should be 'infinite'.","section":"p. 4","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"major_revision","confidential_remarks":"The central anomaly result rests on a companion paper [23] listed as 'to appear'. The editor may wish to confirm the status of [23] before acceptance, since the letter's headline claim is not independently checkable from the submitted text. The self-citation of [8] is not a concern: [8] is published in JHEP and does not contain the new HL anomaly coefficient."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"Quick read on 1211.4872. Two things matter here. First, the observation that Lifshitz spacetime is a vacuum solution of nonprojectable HL gravity with Λ = −(D+z−1)(D+z)/2 and α² = 2β(z−1)/z is short, correct as far as I can check, and conceptually the right framing: you don't need to bolt on a massive vector to get Lifshitz, you just need to change the gravity. That reframing alone is worth the paper. Second, the anomaly result: minimal HL gravity reproduces both z=2 central charges, cK = 1/(2κ²) and cV = β/(48κ²), where the Einstein-plus-vector model of [5] gives only cK. That is a real extension of their published [8], not a restatement of it, and the free-scalar counterexample with cV = −e²/(8π) is a nice touch — it settles the question of whether cV ≠ 0 theories exist at all, which someone would otherwise have asked. The unitarity bound (15) is algebraically right and the λ_U = 1/D special case at D = z is a pleasing structural byproduct. The paper is well put together and knows what it's claiming. Now the soft spot, which the authors flag themselves: the modified Hamilton-Jacobi recursion relations are asserted, not shown, with 'all technical details will appear in [23].' Letters do this routinely, so I don't hold it against them the way a referee on a full paper would — but [23] is listed as to appear, so at the moment the load-bearing step is unverifiable from anything in print. One specific thing I'd want answered when [23] lands: at z=2, Eq. 9 gives α² = β, so β/(48κ²) and α²/(48κ²) are numerically identical there. The second anomaly structure contains exactly the ∇N∇N/N² term the α² coupling controls, so the general-z coefficient would tell us whether cV really tracks β or is secretly tracking α. The paper doesn't address this and should. Minor, but worth a line. Who should read it: anyone working on Lifshitz holography, HL gravity, or anisotropic anomalies — this is the natural reference for 'HL gravity as the minimal bulk dual.' It deserves a serious referee; the vacuum-solution part stands on its own and the anomaly claim is plausible and consistent with [8], with the verification deferred to a companion that needs to appear.","headline":"Clean, checkable core observation plus a genuinely new anomaly claim whose derivation lives in a companion paper that isn't out yet.","tokens_in":10411,"tokens_out":1211,"would_cite":true,"duration_ms":26529,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["11.25.Tq","04.60.-m"],"model":"selfhosted/deepseek-v4.1-flash","headline":"Hořava-Lifshitz gravity may be the natural bulk dual of Lifshitz-type field theories, and its renormalization reproduces both independent coefficients of the anisotropic Weyl anomaly.","keywords":["Hořava-Lifshitz gravity","Lifshitz holography","anisotropic Weyl anomaly","holographic renormalization","dynamical exponent","nonrelativistic gravity","Lifshitz spacetime","central charges"],"falsifier":"An independent holographic renormalization of the nonprojectable Hořava-Lifshitz action at $D=z=2$ — for instance by direct asymptotic expansion of the regulated on-shell action rather than by the modified recursion relations — that fails to produce the second anomaly term, or produces a coefficient depending on $λ$ or on the radial cutoff scheme; equivalently, a demonstration that the recursion relations do not close once $α ≠ 0$.","tokens_in":10759,"feed_emoji":"🌌","tokens_out":3296,"duration_ms":71031,"temperature":0.7,"pith_summary":"Field theories with anisotropic scaling — time rescaled by $b^z$ while space rescales by $b$ — are common in condensed matter, and the geometry that captures their symmetries is the Lifshitz spacetime. Until now, most work made that geometry a solution by adding an ad hoc massive vector field to Einstein gravity. This paper argues that a better and more minimal option is to change the gravity instead: Lifshitz spacetime is an exact vacuum solution of Hořava-Lifshitz gravity, a theory whose own short-distance scaling is anisotropic and which needs no extra matter. The payoff is a counting argument about anomalies: for $z=2$ in 2+1 boundary dimensions the anisotropic Weyl anomaly has two independent coefficients, and the relativistic Einstein-plus-vector model produces only one of them, while minimal Hořava-Lifshitz gravity produces both, each tied to a separate low-energy coupling. If the claim holds, the natural gravitational home for nonrelativistic holography is nonrelativistic gravity.","feed_headline":"Lifshitz gravity reproduces both anomaly central charges","feed_subtitle":"Lifshitz spacetime solves Hořava-Lifshitz gravity in vacuum, and its renormalization yields both anomaly charges.","key_machinery":"The load-bearing device is a Hamilton-Jacobi formulation of holographic renormalization adapted to asymptotically Lifshitz spacetimes. The radial evolution of the on-shell action is generated by the operator $δ_D$ of anisotropic dilatations on the boundary, and the Hamilton-Jacobi equation turns into recursion relations linking the divergent terms $L^{(m)}$ of adjacent scaling dimension. One of those relations, $δ_D L^{(2D)} = -2D L^{(2D)} + ̃{L}^{(2D)}$, identifies the logarithmic coefficient $̃{L}^{(2D)}$ as the anisotropic Weyl anomaly. Solving the modified recursion relations for Hořava-Lifshitz gravity at $D=z=2$ yields the anomaly quoted above. A second piece of machinery is the asymptotic behaviour of the extra scalar graviton mode, $φ(r) ∼ r^{D_±}$ with $D_± = ½{z - D ± √{(z+D)^2 + 4D(1-z)/(1-λ)}}$, which converts reality of the dual scaling dimensions into a unitarity bound on $λ$, namely $λ ≥ 1$ or $λ ≤ λ_U = ((D-z)^2 + 4D)/(D+z)^2$, giving $λ_U = 1/D$ when $D=z$ and opening a window $1/(D+1) ≤ λ ≤ 1/D$ that flat-space stability forbids.","core_discovery":"The paper establishes two things. First, the Lifshitz metric $ds^2 = -(r/ℓ)^{2z}dt^2 + (r/ℓ)^2 dx^i dx^i + (ℓ/r)^2 dr^2$ solves the equations of motion of the low-energy nonprojectable Hořava-Lifshitz action with no matter fields, provided the cosmological constant and one coupling are tuned as $Λ = -(D+z-1)(D+z)/2$ and $α^2 = 2β(z-1)/z$. The foliation required to embed the geometry is simply the slicing by constant $t$. Second, holographic renormalization of this bulk theory in the case $D=z=2$ gives a logarithmic divergence whose coefficient is the most general allowed anisotropic Weyl anomaly, $A = c_K(Ĥ{K}_{ij}Ĥ{K}^{ij} - ½Ĥ{K}^2) + c_V(Ĥ{R} - Ĥ{∇}_i Ĥ{N}Ĥ{∇}^iĤ{N}/Ĥ{N}^2 + Ĥ{Δ}Ĥ{N}/Ĥ{N})^2$, with both central charges nonzero and fixed by bulk couplings: $c_K = 1/(2κ^2)$ and $c_V = β/(48κ^2)$. The relativistic competitor, Einstein gravity plus a massive vector, was already known to give $c_V = 0$ — its anomaly satisfies detailed balance — so the new model strictly enlarges the space of anomalies reachable holographically. The authors also note that the free $z=2$ Lifshitz scalar has $c_V = 0$ unless it is coupled non-minimally, and they construct such a coupling to show that field theories with $c_V ≠ 0$ exist, so the second charge is not vacuous.","pith_inferences":["If the anomaly coefficients really are just $1/(2κ^2)$ and $β/(48κ^2)$, then the ratio $c_V/c_K = β/24$ is a clean bulk-side prediction; a boundary computation of both charges in a single strongly coupled Lifshitz theory would test the duality at the level of a number rather than a structure.","The paper's own free-field construction suggests a two-way check: the non-minimally coupled Lifshitz scalar gives $c_K = 1/(32π)$ and $c_V = -e^2/(8π)$, so the sign and size of $β$ in a putative bulk dual of that theory are, in principle, pinned down.","Because $λ$ drops out of the anomaly but controls the scalar graviton's scaling dimension, it is the natural knob for probing whether the dual field theory contains an extra light scalar operator; the unitarity window $1/(D+1) ≤ λ ≤ 1/D$ would then be a prediction about that operator's dimension rather than a technicality.","The construction says nothing about the high-energy completion of Hořava-Lifshitz gravity, so the duality is asserted only at large $N$ and small curvature; whether the $z>1$ short-distance scaling can supply its own ultraviolet completion is left as the open question that would decide how far the correspondence extends."],"forward_implications":["Lifshitz holography can be done without inventing a matter sector: the geometry itself is a vacuum solution once gravity is allowed to be nonrelativistic, removing a layer of model building from every Lifshitz dual.","The two central charges of the $z=2$ anisotropic Weyl anomaly in 2+1 dimensions map onto two bulk couplings, $c_K = 1/(2κ^2)$ and $c_V = β/(48κ^2)$, so a boundary anomaly measurement becomes a statement about the gravitational action's parameters.","The detailed-balance condition on the anomaly, previously automatic in the relativistic model, becomes a special case ($β = 0$) rather than a theorem, which widens the class of boundary theories that can have gravity duals.","Bulk unitarity imposes a bound on the coupling $λ$ that is weaker than the flat-space stability bound, so the holographic setting permits parameter ranges that would be excluded by studying gravitons around flat space.","The $z → 1$ limit corresponds to $α → 0$, the known problematic reduction of nonprojectable Hořava-Lifshitz gravity, so relativistic ($z=1$) duals are not simply a smooth limit of this construction."],"supporting_citations":[{"why":"Supplies the Lifshitz spacetime itself, the background geometry whose realization as a vacuum solution is the paper's first claim.","marker":"[4]"},{"why":"Defines the relativistic competitor — Einstein gravity plus a massive vector — against which the Hořava-Lifshitz model is compared on anomaly central charges.","marker":"[5]"},{"why":"Provides the anisotropic conformal infinity, the anomaly cohomology giving the two-charge form, the Hamilton-Jacobi recursion relation used here, and the relativistic result $c_V = 0$ that this paper overturns.","marker":"[8]"},{"why":"Original Hořava-Lifshitz gravity proposal whose action and detailed-balance structure the bulk model builds on.","marker":"[2]"},{"why":"Second foundational Hořava-Lifshitz paper establishing the $z=2$ conformal gravity in 2+1 dimensions that the anomaly is shaped after.","marker":"[3]"},{"why":"Establishes that the $α$ coupling must be kept for the constraint algebra of nonprojectable Hořava-Lifshitz gravity to close, motivating its presence in the bulk action.","marker":"[6]"},{"why":"Computes the anisotropic Weyl anomaly of the free $z=2$ Lifshitz scalar, the benchmark showing $c_V = 0$ for the minimal coupling and hence why a nonzero $c_V$ needs demonstrating.","marker":"[9]"},{"why":"Companion paper cited as containing all technical details of the modified recursion relations and the derivation of the anomaly; the central formula is deferred to it.","marker":"[23]"}],"fun_headline_variants":["Lifshitz metric solves Hořava gravity without matter","Hořava-Lifshitz gravity yields both z=2 anomaly charges","Lifshitz holography fixes both anomaly central charges","HL gravity reproduces the full z=2 Weyl anomaly","Free z=2 scalar needs non-minimal coupling for second charge"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The modified Hamilton-Jacobi recursion relations for Hořava-Lifshitz gravity, and the resulting anomaly coefficient, are stated rather than derived here, with the paper saying the technicalities are involved and that all details will appear in a companion paper, so the central $c_V = β/(48κ^2)$ result cannot be checked against this text alone.","fun_headline_variants_meta":{"raw":{"variants":["Lifshitz metric solves Hořava gravity without matter","Hořava-Lifshitz gravity yields both z=2 anomaly charges","Lifshitz holography fixes both anomaly central charges","HL gravity reproduces the full z=2 Weyl anomaly","Free z=2 scalar needs non-minimal coupling for second charge"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":2400,"prompt_tokens":1014,"completion_tokens":1386,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":1309}},"tokens_in":1014,"tokens_out":1386,"duration_ms":27795,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":1309,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T08:19:23.379827+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"An independent holographic renormalization of the nonprojectable Hořava-Lifshitz action at $D=z=2$ — for instance by direct asymptotic expansion of the regulated on-shell action rather than by the modified recursion relations — that fails to produce the second anomaly term, or produces a coefficient depending on $λ$ or on the radial cutoff scheme; equivalently, a demonstration that the recursion relations do not close once $α ≠ 0$.","supporting_citations":[{"cited_title":"Gravity duals of Lifshitz-like fixed points","cited_arxiv_id":"0808.1725","evidence_quote":"Supplies the Lifshitz spacetime itself, the background geometry whose realization as a vacuum solution is the paper's first claim."},{"cited_title":"Non-relativistic holography","cited_arxiv_id":"0812.0530","evidence_quote":"Defines the relativistic competitor — Einstein gravity plus a massive vector — against which the Hořava-Lifshitz model is compared on anomaly central charges."},{"cited_title":"Conformal Lifshitz Gravity from Holography","cited_arxiv_id":"1112.5660","evidence_quote":"Provides the anisotropic conformal infinity, the anomaly cohomology giving the two-charge form, the Hamilton-Jacobi recursion relation used here, and the relativistic result $c_V = 0$ that this paper overturns."},{"cited_title":"Membranes at Quantum Criticality","cited_arxiv_id":"0812.4287","evidence_quote":"Original Hořava-Lifshitz gravity proposal whose action and detailed-balance structure the bulk model builds on."},{"cited_title":"Quantum Gravity at a Lifshitz Point","cited_arxiv_id":"0901.3775","evidence_quote":"Second foundational Hořava-Lifshitz paper establishing the $z=2$ conformal gravity in 2+1 dimensions that the anomaly is shaped after."},{"cited_title":"A healthy extension of Horava gravity","cited_arxiv_id":"0909.3525","evidence_quote":"Establishes that the $α$ coupling must be kept for the constraint algebra of nonprojectable Hořava-Lifshitz gravity to close, motivating its presence in the bulk action."},{"cited_title":"Anomalous Breaking of Anisotropic Scaling Symmetry in the Quantum Lifshitz Model","cited_arxiv_id":"1112.6416","evidence_quote":"Computes the anisotropic Weyl anomaly of the free $z=2$ Lifshitz scalar, the benchmark showing $c_V = 0$ for the minimal coupling and hence why a nonzero $c_V$ needs demonstrating."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Companion paper cited as containing all technical details of the modified recursion relations and the derivation of the anomaly; the central formula is deferred to it."}],"review_version":1}