{"id":"3016279b-384c-4c0e-aefa-31fa6b568840","arxiv_id":"1908.01717","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A covariant four-dimensional action built from the mimetic scalar reduces to Horava gravity in the synchronous gauge, possibly without extra degrees of freedom.","lead":"The authors show that the scalar field used in mimetic gravity can build fully covariant actions that revert to Horava gravity when the time coordinate is fixed. This offers a possible route to a Lorentz-invariant formulation of a renormalizable quantum gravity theory, if the claimed absence of extra degrees of freedom holds.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claim that the mimetic scalar introduces no new propagating degrees of freedom is asserted without a Hamiltonian analysis; since the mimetic constraint generically adds a scalar mode, a DOF count is needed to determine whether the theory really matches Horava gravity's sector.","rationale":"The reader's weakest assumption focused on the same gap: the constrained mimetic scalar's dynamical role is asserted without a degree-of-freedom count or Hamiltonian analysis. My reading of the paper confirms this is the most load-bearing concern. The geometric construction itself—the projection operators, the covariant expressions for the spatial Ricci tensor, Cotton tensor, and Chern-Simons form—is credible and well illustrated, and the reduction to the synchronous gauge is demonstrated for several nontrivial objects. However, the key physical claim that the theory has exactly the Horava propagating content is not supported by any canonical analysis. The paper even flags the related renormalizability claim as an expectation, which further underscores that the dynamical equivalence is not established. I therefore agree with the reader's conditional verdict: the construction is promising and likely correct, but the central physical assertions require a concrete Hamiltonian or spectral check. I recommend no change to the verdict.","tokens_in":5033,"tokens_out":6563,"duration_ms":74970,"concrete_test":"Perform a quadratic Hamiltonian analysis of a minimal truncation of the action (31), e.g., with c1=c2=1 and all other c_i=0, around flat space with g_{μν}=η_{μν}+h_{μν} and φ=t+δφ. Impose the mimetic constraint and solve the lapse and shift equations of motion to first order. Then compute the kinetic matrix for the physical scalar perturbations (combinations of δφ, the longitudinal mode of h_{0i}, and the trace of h_{ij}); count the number of propagating scalar degrees of freedom and check the signs of their kinetic terms. If the count exceeds the single scalar mode of Horava gravity, or if any kinetic term has the wrong sign, the claim of no new ghost-like DOF fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central physical claim is that the action (31), built from the mimetic scalar and projection operators, reduces to Horava gravity in the synchronous gauge while adding no ghost-like propagating degrees of freedom. This is not established. In standard mimetic gravity, the Lagrange multiplier constraint g^{μν}∂_μφ∂_νφ=1 yields an additional scalar degree of freedom (often a pressureless dust-like mode), so the constrained scalar is not automatically non-dynamical. Choosing φ=t is a coordinate gauge fixing, not a removal of a physical field; the scalar perturbation δφ and its conjugate momentum remain part of the phase space. The paper notes that there are 10 independent fields among g_{μν} and φ (after the constraint), but it never computes the number of propagating physical degrees of freedom, their kinetic signs, or the constraint structure. Consequently, the equivalence of the propagating content to that of Horava gravity (which itself has a scalar graviton) is a plausible but unproven assertion. The renormalizability remark is also explicitly an expectation, not a demonstration. Thus the central advertised property—absence of new DOF—rests on an unverified dynamical assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proposes a fully covariant formulation of Horava gravity built on the mimetic scalar field φ. The authors define a projection operator using n_μ = ∂_μφ and construct four-dimensional tensors (Eqs. 9, 15, 19, 22, 30) whose nonvanishing components in the synchronous gauge coincide with the spatial Ricci scalar, Ricci tensor, Cotton tensor, and Chern-Simons form, respectively. They then write an action (31) containing these tensors and a Lagrange multiplier enforcing g^{μν}∂_μφ∂_νφ=1, and claim that this action reduces to Horava gravity in the synchronous gauge without introducing new propagating or ghost-like degrees of freedom. The paper also briefly discusses the possibility of renormalizability, explicitly labeling it as an expectation rather than a proof.","tokens_in":5239,"tokens_out":5058,"duration_ms":56078,"significance":"If the central claim were established, the paper would offer an elegant way to present Horava gravity as a diffeomorphism-invariant theory, using the mimetic scalar as a dynamical preferred time coordinate. The tensor identities and the systematic construction of covariant analogs of purely spatial objects (extrinsic curvature, spatial curvature, Cotton tensor, and CS form) are clearly derived and are potentially useful for future work on covariantizations of Lorentz-violating gravity. However, the advertised result—absence of additional propagating degrees of freedom—is not demonstrated. Because standard mimetic gravity is known to add a scalar mode, the paper's main physical conclusion rests on an unverified assumption, which substantially limits the significance of the present version.","major_comments":[{"comment":"The central claim that the construction works 'without introducing ghost-like degrees of freedom' is asserted but never demonstrated. The constraint g^{μν}∂_μφ∂_νφ=1, written explicitly as Eq. (4), is a constraint on the 11 variables (g_{μν}, φ). Solving it in the synchronous gauge and setting φ=t+A, as done in Eq. (5), is a choice of coordinates; it does not remove the scalar perturbation δφ and its conjugate momentum from the physical phase space. In standard mimetic gravity (ref. [1]) the same constraint produces an additional scalar (dust-like) propagating degree of freedom. The paper offers no Hamiltonian analysis, no count of physical degrees of freedom, and no computation of the kinetic signs of the modes. Since the advertised result is precisely the absence of new degrees of freedom, this omission is load-bearing.","section":"Abstract and §1"},{"comment":"The statement that out of the 11 variables there are 'only 10 independent fields' is a configuration-space counting, not a determination of the number of propagating degrees of freedom. The physical DOF count must be obtained from the constraint structure of the full action (31). This is especially important because the higher-curvature terms ~R^2 and ~R_{μν}~R^{μν} and the topological terms c6 and c7 can alter the constraint algebra and the number of propagating modes. The paper instead asserts that existing Horava calculations can be reused without repeating them; this transfers conclusions from a gauge-fixed theory to a covariant one only if the extra χ-field dynamics are shown to be trivial or to match exactly. The required canonical analysis is absent.","section":"After Eq. (3)"},{"comment":"The sentence 'There is no need to repeat calculations done for the Horava models, as those could be thought of as a gauge fixed version' is too quick. Even if the action (31) reduces algebraically to Horava gravity in the synchronous gauge, the mimetic constraint is not a pure gauge-fixing condition on the metric alone; it is a dynamical constraint on a separately varied scalar field. Whether the constrained scalar carries an independent degree of freedom is precisely the point that needs checking, and it cannot be inherited from Horava calculations without a dedicated analysis.","section":"Eq. (31) and final discussion"}],"minor_comments":[{"comment":"The symbol ~R is used both for the scalar in Eq. (9) and for the tensor in Eq. (19); please use different notation (e.g., ~R^{(3)} or a different letter) to avoid confusion.","section":"Notation"},{"comment":"The paper does not state its metric signature or the sign conventions for the curvature tensors and extrinsic curvature. Specifying these would make the tensor identities easier to verify.","section":"Conventions"},{"comment":"The relationship between the three-dimensional Chern-Simons form ^3ω_P defined in Eq. (27) and the covariant object ~ω_P in Eq. (30) should be explained more explicitly, in particular why the correction term ∇_λ dφ ∧ R^τ_λ ∇_τφ removes the unwanted κ-dependent terms in Eq. (26).","section":"Eq. (26)-(30)"},{"comment":"The renormalizability statement is explicitly presented as an expectation ('Even though an actual proof could be quite demanding, we expect...'). To avoid an unsupported claim being attributed to the letter, it would be helpful to state at the outset that a proof of renormalizability is outside the scope of this paper.","section":"Final paragraph"}],"recommendation":"major_revision","confidential_remarks":"The tensor constructions are elegant and the identities appear correct, but the paper's main advertised result—no new propagating degrees of freedom—is not supported by any constrained-system analysis. Given that standard mimetic gravity adds a scalar mode, this is not a merely cosmetic gap; if the extra scalar does propagate in this model, the central conclusion would be incorrect rather than just under-proven. I recommend that the editor seek advice from a specialist in canonical gravity and Hamiltonian constraint analysis before a final decision. The authors should at minimum provide a DOF count for a representative truncation of the action (31)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the covariant tensors in Section 2 are real: Eqs. (9), (15), (19), (22), (26), and (30) do what the authors claim, and the reduction to 3R, 3Rij, Cotton, and Chern-Simons in the synchronous gauge is shown carefully. This is a genuine technical contribution. Second, the paper's advertised physical implication—that this formulation introduces no new propagating degrees of freedom—is not established. The DOF question is not addressed; the renormalizability remark is explicitly an expectation.\n\nWhat is new: within mimetic gravity, the projection operator built from the constrained scalar is used to write Horava-style terms covariantly. This specific construction is not in the prior mimetic literature, and it is a neat observation. The inverse-mapping nature is fine: the paper is showing existence of a covariant formulation, not fitting data. The identities in Eqs. (9), (15), and (19) are explicit and appear correct. The paper is honest that the renormalizability is expected, not proven.\n\nWhere the soft spots are: The central claim in the abstract and Section 3 is that no new DOFs are needed. That is asserted, not demonstrated. In standard mimetic gravity the Lagrange multiplier constraint generically adds a scalar mode; fixing φ=t is a coordinate choice, not evidence that δφ has no conjugate momentum. A Hamiltonian or phase-space count is needed to show the theory's propagating content matches Horava gravity (which itself has a scalar graviton). The omission matters because the whole interest of the construction is a covariant Horava theory without extra DOFs. The authors cite their own mimetic papers appropriately, but they do not cite khronometric theory, where a unit timelike vector is used to build covariant Horava actions; the relation to those models should be discussed, even if the mimetic constraint differs. The statement that 'any expression invariant under spatial diffeomorphisms' can be covariantized is illustrated but not proven; for a letter that is acceptable, but it is a sweeping claim.\n\nBottom line: This is a useful constructive paper for someone working on mimetic gravity or covariant Horava formulations. It deserves serious refereeing: the construction should be available, but the DOF claim needs either a proof, a sketch, or a clear demotion to 'conjecture.' I would send it to a referee, expecting major revision or a reframed conclusion. I would not cite the no-DOF claim as established.","headline":"A genuinely neat covariantization of Horava terms in mimetic gravity, with the load-bearing no-DOF claim unproven—send it to a referee, but expect the authors to have to work for it.","tokens_in":5791,"tokens_out":2028,"would_cite":true,"duration_ms":20295,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs a fully diffeomorphism-invariant action whose synchronous-gauge restriction is Horava gravity, using only the constrained mimetic scalar and a projection operator, without adding new propagating degrees of freedom.","keywords":["mimetic gravity","Horava gravity","diffeomorphism invariance","synchronous gauge","projection operator","extrinsic curvature","Cotton tensor","renormalizability"],"falsifier":"A Hamiltonian or Dirac constraint analysis of action (31), or a linearized fluctuation count around flat space, would settle it: if the theory propagates more than the two tensor polarizations of Horava gravity, the no-new-degrees-of-freedom claim is false. Conversely, a two-loop or unitarity computation in the synchronous gauge that shows the $(q\\cdot n)^{-\\alpha}$ singularities do not decouple would falsify the renormalizability expectation.","tokens_in":4790,"feed_emoji":"🕐","tokens_out":8453,"duration_ms":73997,"temperature":0.7,"pith_summary":"The paper aims to show that Horava gravity—a theory that improves ultraviolet behaviour by adding higher spatial derivatives and explicitly breaking Lorentz symmetry—can be written as a fully diffeomorphism-invariant theory, using only the scalar field already present in mimetic gravity. The mimetic constraint $g^{\\mu\\nu}\\partial_\\mu\\varphi\\partial_\\nu\\varphi=1$ makes $\\partial_\\mu\\varphi$ a timelike unit normal, so it selects a preferred time coordinate. The paper constructs four-dimensional tensors with a projection operator that reduce, in the synchronous gauge $\\varphi=t$, $N=1$, $N^i=0$, to exactly the spatial curvature, extrinsic curvature, Cotton tensor, and Chern–Simons term of Horava gravity. If correct, the explicit breaking of Lorentz invariance in Horava gravity is a gauge choice, and no new ghost-like degrees of freedom are introduced. This matters because previous covariant versions of Horava gravity required extra fields that spoiled renormalizability.","feed_headline":"A mimetic scalar makes Horava gravity fully diffeomorphism-invariant","feed_subtitle":"The mimetic scalar supplies a preferred time direction, so Horava gravity's action becomes covariant without extra fields.","key_machinery":"The workhorse is the constrained mimetic scalar $\\varphi$, obeying $g^{\\mu\\nu}\\partial_\\mu\\varphi\\partial_\\nu\\varphi=1$, whose gradient is a timelike unit vector $n_\\mu=\\partial_\\mu\\varphi$. The associated projection operator $P^\\nu_\\mu=\\delta^\\nu_\\mu-\\partial_\\mu\\varphi\\,\\partial^\\nu\\varphi$ sends spacetime vectors into the three-dimensional slices $\\varphi=\\text{const.}$. Using the identities $\\nabla_i\\nabla_j\\varphi=-\\kappa_{ij}$ and $\\Box\\varphi=\\kappa$, together with the projected Riemann tensor (15), every spatial object in Horava gravity is rebuilt as a covariant combination. This machinery is what makes the synchronous gauge a gauge choice rather than a symmetry-breaking input.","core_discovery":"The central discovery is that every ingredient of Horava gravity can be expressed as a covariant four-dimensional tensor built from the mimetic scalar and the projection operator $P^\\nu_\\mu=\\delta^\\nu_\\mu-\\partial_\\mu\\varphi\\,\\partial^\\nu\\varphi$. In the synchronous slicing, identities such as $\\nabla_i\\nabla_j\\varphi=-\\kappa_{ij}$ and $\\Box\\varphi=\\kappa$ turn projected Riemann and Ricci tensors into the spatial curvature $\\tilde{R}^l{}_{kij}={}^3R^l{}_{kij}$ and $\\tilde{R}_{ij}={}^3R_{ij}$; the projected covariant derivative gives $D_k{}^3R_{ij}$, and the expressions (22) and (30) reproduce the Cotton tensor and the three-dimensional Chern–Simons form. An exemplary action with couplings $c_1,\\dots,c_7$ and a Lagrange multiplier enforcing the mimetic constraint therefore reduces exactly to a Horava-gravity action in the synchronous gauge. The paper asserts that no new propagating degrees of freedom appear beyond those of Horava gravity, because the mimetic field is subject to the constraint and plays the role of the time coordinate.","pith_inferences":["A natural next test is a full Hamiltonian analysis of action (31) to verify that the mimetic constraint removes exactly one degree of freedom in the presence of higher spatial derivatives; the paper asserts this without showing the count.","The construction suggests a general recipe: any preferred-frame or spatial-diffeomorphism-invariant theory might be covariantized by choosing a timelike unit covector derived from a constrained scalar, which could apply to other Lorentz-violating models.","If the equivalence is exact, the physical content of Horava gravity is not a fundamental breaking of Lorentz invariance but a choice of time slicing; observable signatures would then be tied to the dynamics of the mimetic scalar rather than to a fixed preferred frame.","The renormalizability claim rests on an analogy with projectable Horava models; a covariant background-field calculation that integrates out the mimetic constraint would be the concrete way to test it."],"forward_implications":["Horava gravity can be interpreted as a gauge-fixed version of a diffeomorphism-invariant mimetic theory, so existing Horava calculations, including renormalization analyses, carry over unchanged.","The same mimetic scalar and projection operator can covariantize any term invariant under spatial diffeomorphisms, not only the terms displayed in action (31).","Couplings such as the Cotton tensor and the three-dimensional Chern–Simons form are included covariantly without adding extra fields.","In the synchronous gauge, noncovariant-gauge singularities of the form $(q\\cdot n)^{-\\alpha}$ remain, and the paper expects them to decouple from the physical $S$-matrix.","If renormalizability of projectable Horava gravity holds, the proposed model should be power-counting renormalizable while preserving full diffeomorphism invariance."],"supporting_citations":[{"why":"Introduces mimetic gravity and the unit-gradient constraint on the mimetic scalar.","marker":"[1]"},{"why":"Provides the Lagrange-multiplier formulation of the mimetic constraint used in the action (31).","marker":"[2]"},{"why":"Carries out the renormalization analysis of projectable Horava gravity that the paper expects to carry over.","marker":"[6]"},{"why":"Extends the renormalization-group analysis of Horava gravity, supporting the same expectation.","marker":"[7]"},{"why":"Represents earlier covariant Horava constructions with extra fields, whose ghost problem this paper avoids.","marker":"[8]"},{"why":"Defines Horava gravity with explicit Lorentz breaking, the model being covariantized here.","marker":"[9]"},{"why":"Discusses noncovariant gauge singularities of the form $(q\\cdot n)^{-\\alpha}$, relevant to the synchronous-gauge quantization.","marker":"[12]"}],"fun_headline_variants":["Mimetic scalar makes Horava gravity covariant","One mimetic field erases Horava's diffeo problem","Covariant Horava gravity via mimetic projection","Mimetic field removes Horava's extra frames"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the synchronous gauge $\\varphi=t$, $N=1$, $N^i=0$ is always reachable and that the mimetic constraint eliminates exactly one field without creating a new physical degree of freedom; if that counting fails, the claimed equivalence and ghost-freedom are not established.","fun_headline_variants_meta":{"raw":{"variants":["Mimetic scalar makes Horava gravity covariant","One mimetic field erases Horava's diffeo problem","Covariant Horava gravity via mimetic projection","Mimetic field removes Horava's extra frames"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000247,"raw_usage":{"total_tokens":1494,"prompt_tokens":846,"completion_tokens":648,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":462,"completion_tokens_details":{"reasoning_tokens":582}},"tokens_in":462,"tokens_out":648,"duration_ms":6888,"temperature":1.0,"reasoning_tokens":582,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:05:20.896575+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A Hamiltonian or Dirac constraint analysis of action (31), or a linearized fluctuation count around flat space, would settle it: if the theory propagates more than the two tensor polarizations of Horava gravity, the no-new-degrees-of-freedom claim is false. Conversely, a two-loop or unitarity computation in the synchronous gauge that shows the $(q\\cdot n)^{-\\alpha}$ singularities do not decouple would falsify the renormalizability expectation.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces mimetic gravity and the unit-gradient constraint on the mimetic scalar."},{"cited_title":"Golovnev, On the Recently Proposed Mimetic Dark Matter, Phys","cited_arxiv_id":null,"evidence_quote":"Provides the Lagrange-multiplier formulation of the mimetic constraint used in the action (31)."},{"cited_title":"Barvinsky, D","cited_arxiv_id":null,"evidence_quote":"Carries out the renormalization analysis of projectable Horava gravity that the paper expects to carry over."},{"cited_title":"Barvinsky, M","cited_arxiv_id":null,"evidence_quote":"Extends the renormalization-group analysis of Horava gravity, supporting the same expectation."},{"cited_title":"Germani, A","cited_arxiv_id":null,"evidence_quote":"Represents earlier covariant Horava constructions with extra fields, whose ghost problem this paper avoids."},{"cited_title":"Hoˇ rava,Quantum Gravity at a Lifshitz point, Phys","cited_arxiv_id":null,"evidence_quote":"Defines Horava gravity with explicit Lorentz breaking, the model being covariantized here."},{"cited_title":"Leibbrandt, Introduction to noncovariant gauges , Rev","cited_arxiv_id":null,"evidence_quote":"Discusses noncovariant gauge singularities of the form $(q\\cdot n)^{-\\alpha}$, relevant to the synchronous-gauge quantization."}],"review_version":1}