pith. sign in

arxiv: 2512.14864 · v1 · pith:JKCSYPPAnew · submitted 2025-12-16 · ✦ hep-th · gr-qc

Quantizing non-projectable Hov{r}ava gravity with Lagrangian path integral

Pith reviewed 2026-05-22 11:28 UTC · model grok-4.3

classification ✦ hep-th gr-qc
keywords Horava gravitynon-projectablepath integralone-loop divergencesbeta functionsNewton constantrenormalizability
0
0 comments X

The pith

Non-projectable Hořava gravity yields local beta functions after shift divergences cancel at one loop.

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

The paper sets up non-projectable Hořava gravity as a quantum theory via a Lagrangian path integral whose measure is ultra-local in time but non-local in space. Auxiliary fields are added to rewrite the measure locally while preserving bosonic and fermionic symmetries. A one-loop computation is performed in 2+1 dimensions on a background with flat spatial metric, unit lapse and non-trivial shift, without truncating perturbations, using diagrams and heat-kernel techniques. Linear-in-frequency divergences in the shift two-point function are isolated and shown to cancel, leaving a local divergent quadratic effective action. Beta functions for the Newton constant and the essential coupling λ are extracted from this action.

Core claim

The central claim is that the potentially dangerous non-localities from linear-in-frequency terms in the shift two-point function cancel explicitly, leaving a fully local expression for the divergent part of the quadratic effective action in non-projectable Hořava gravity, from which the one-loop beta functions of the Newton constant and the essential coupling λ can be extracted.

What carries the argument

The central mechanism is the localization of the ultra-local-in-time but non-local-in-space field-dependent measure via auxiliary fields that obey bosonic and fermionic symmetries, combined with a diagrammatic technique and heat-kernel method to compute one-loop divergences without perturbation truncations on a non-trivial shift background.

Load-bearing premise

The non-local-in-space measure can be rewritten locally using auxiliary fields that preserve the necessary symmetries, and the chosen background with flat spatial slices and non-trivial shift captures all divergences relevant for the beta functions.

What would settle it

Non-cancellation of the linear-in-frequency divergences in the two-point function of the shift on the given background would produce spatial non-localities and block extraction of local beta functions.

Figures

Figures reproduced from arXiv: 2512.14864 by D. Blas, F. Del Porro, J. Radkovski, M. Herrero-Valea, S. Sibiryakov.

Figure 1
Figure 1. Figure 1: Graphic notation for the fields. • The ghosts: ⟨c¯icj ⟩ = −⟨cic¯j ⟩ = −iG P1(δij − qˆiqˆj ) + P2qˆiqˆj  . (4.14) For completeness, we also give in Appendix B the propagators of the auxiliary fields ⟨AA⟩ and ⟨ηη¯ ⟩. All other propagators vanish identically. In the above expressions, we have suppressed the arguments of the fields, except in the case of the mixed propagator ⟨niπj ⟩, where one has to be care… view at source ↗
Figure 3
Figure 3. Figure 3: The momentum-space expressions associated with these vertices are cumbersome and we do [PITH_FULL_IMAGE:figures/full_fig_p022_3.png] view at source ↗
Figure 2
Figure 2. Figure 2: Interaction vertices with one background shift vector [PITH_FULL_IMAGE:figures/full_fig_p023_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Interaction vertices with two background shift vectors [PITH_FULL_IMAGE:figures/full_fig_p023_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Bubble diagrams contributing into the two-point function of [PITH_FULL_IMAGE:figures/full_fig_p023_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Schematically, a bubble diagram will lead to a loop integral of the form [PITH_FULL_IMAGE:figures/full_fig_p024_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Irregular diagrams with the lapse n. Γ 1 AA = Γ 1 ηη¯ = Γ 4 AA = Γ 4 ηη¯ = [PITH_FULL_IMAGE:figures/full_fig_p028_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Irregular diagrams with auxiliary fields [PITH_FULL_IMAGE:figures/full_fig_p028_7.png] view at source ↗
Figure 6
Figure 6. Figure 6 [PITH_FULL_IMAGE:figures/full_fig_p031_6.png] view at source ↗
read the original abstract

We formulate the quantum version of non-projectable Ho\v{r}ava gravity as a Lagrangian theory with a path integral in the configuration space with an ultra-local in time, but non-local in space, field-dependent measure. Using auxiliary fields, we cast the measure into a local form satisfying several bosonic and fermionic symmetries. We perform an explicit one-loop computation in the theory in $(2+1)$ dimensions, using for the case study the divergent part of the action on a background with non-trivial shift vector; the background spatial metric is taken to be flat and the background lapse function is set to 1. No truncations are assumed at the level of perturbations, for which we develop a diagrammatic technique and a version of the heat-kernel method. We isolate dangerous linear-in-frequency divergences in the two-point function of the shift, which can lead to spatial non-localities, and explicitly verify their cancellation. This leaves a fully local expression for the divergent part of the quadratic effective action, from which we extract the beta functions for the Newton constant and the essential coupling $\lambda$ in the kinetic term of the metric. We formulate the questions that need to be addressed to prove perturbative renormalizability of the non-projectable Ho\v{r}ava gravity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper claims to provide a path integral formulation for quantizing non-projectable Hořava gravity using a configuration space measure that is ultra-local in time but non-local in space. Auxiliary fields are introduced to localize the measure while maintaining symmetries. An explicit one-loop calculation is carried out in 2+1 dimensions on a background with non-trivial shift, flat spatial metric, and lapse set to 1, without any truncations on perturbations. Dangerous linear divergences in the shift two-point function are shown to cancel, leading to a local divergent quadratic effective action from which beta functions for the Newton constant and λ are extracted. Open questions for perturbative renormalizability are formulated.

Significance. If the cancellation is verified and the beta functions are correctly extracted, this work advances the quantization program for Hořava gravity by demonstrating how to handle the measure and avoid non-localities at one loop. The development of a diagrammatic technique and heat-kernel method for this theory is a technical strength. However, the significance is tempered by the restricted background used, which may not fully determine the renormalization group flow for all relevant operators.

major comments (1)
  1. [One-loop computation] The computation is performed on a background with flat spatial metric and lapse fixed to 1 (as stated in the abstract and the description of the case study). This choice allows verification of the cancellation in the two-point function of the shift but does not excite operators involving spatial curvature or lapse fluctuations. Since the divergent part is used to extract beta functions for G and λ, the paper needs to address whether these beta functions receive contributions from such operators or provide a justification for the sufficiency of this background.
minor comments (1)
  1. The abstract mentions formulating questions for perturbative renormalizability; these should be listed explicitly in the conclusion for clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comment on the scope of the one-loop computation. We address the point below and will revise the manuscript accordingly.

read point-by-point responses
  1. Referee: [One-loop computation] The computation is performed on a background with flat spatial metric and lapse fixed to 1 (as stated in the abstract and the description of the case study). This choice allows verification of the cancellation in the two-point function of the shift but does not excite operators involving spatial curvature or lapse fluctuations. Since the divergent part is used to extract beta functions for G and λ, the paper needs to address whether these beta functions receive contributions from such operators or provide a justification for the sufficiency of this background.

    Authors: The background with flat spatial metric, unit lapse, and non-trivial shift was deliberately chosen to isolate and verify the cancellation of linear-in-frequency divergences in the shift two-point function while working with the full set of perturbations and no truncations. This setup generates the quadratic divergent terms from which the beta functions for the Newton constant and λ are extracted. We agree that this background does not excite operators involving spatial curvature or lapse fluctuations, so it does not capture possible additional contributions to these beta functions from those sectors. In the revised manuscript we will add an explicit discussion (in the conclusions or a dedicated subsection) clarifying the scope of the calculation, stating that the extracted beta functions are those appearing on this background, and noting that the potential contributions from curvature and lapse operators constitute one of the open questions for perturbative renormalizability already formulated in the paper. This provides the requested justification without changing the reported results. revision: yes

Circularity Check

0 steps flagged

One-loop beta function extraction via explicit computation is self-contained

full rationale

The paper formulates the path integral with an ultra-local-in-time non-local-in-space measure, localizes it via auxiliary fields obeying bosonic and fermionic symmetries, then computes the one-loop divergent part of the quadratic effective action on a flat-spatial-metric/unit-lapse/non-trivial-shift background using diagrammatic techniques and a heat-kernel method with no truncations. Linear-in-frequency divergences in the shift two-point function are isolated and shown to cancel, leaving a local expression from which beta functions for G and λ are read off. This chain is a direct perturbative QFT calculation from the action and propagators; it contains no self-definitional steps, no fitted parameters renamed as predictions, and no load-bearing self-citations that reduce the central result to prior unverified claims by the same authors. The background restriction is a methodological choice for the case study rather than a circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The formulation rests on standard quantum-field-theory path-integral assumptions plus the specific choice of a field-dependent measure that is made local by auxiliary fields; no free parameters are fitted in the reported one-loop result, and no new particles or forces are postulated.

axioms (2)
  • domain assumption Existence of a well-defined path-integral measure for the non-projectable Hořava theory that is ultra-local in time and can be localized in space via auxiliary fields while preserving bosonic and fermionic symmetries.
    Invoked when casting the measure into local form and when performing the one-loop computation.
  • standard math Standard assumptions of perturbative quantum field theory on a curved background with a non-trivial shift vector, including the validity of the heat-kernel expansion and diagrammatic expansion without truncations.
    Underlying the explicit one-loop calculation and divergence analysis.

pith-pipeline@v0.9.0 · 5774 in / 1765 out tokens · 57754 ms · 2026-05-22T11:28:27.563415+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Space- vs Time-dependence in taming the infrared instability of projectable Ho\v{r}ava Gravity

    hep-th 2026-04 unverdicted novelty 5.0

    Higher-derivative corrections in projectable Hořava gravity do not yield static planar-symmetric solutions that can serve as endpoints for the Minkowski infrared instability.

Reference graph

Works this paper leans on

74 extracted references · 74 canonical work pages · cited by 1 Pith paper · 36 internal anchors

  1. [1]

    Membranes at Quantum Criticality

    Petr Horava. “Membranes at Quantum Criticality”. In:JHEP 03 (2009), p. 020.doi:10 . 1088/1126-6708/2009/03/020. arXiv:0812.4287 [hep-th]

  2. [2]

    Quantum Gravity at a Lifshitz Point

    Petr Horava. “Quantum Gravity at a Lifshitz Point”. In:Phys. Rev. D 79 (2009), p. 084008. doi:10.1103/PhysRevD.79.084008. arXiv:0901.3775 [hep-th]

  3. [3]

    Horava-Lifshitz Cosmology: A Review

    Shinji Mukohyama. “Horava-Lifshitz Cosmology: A Review”. In: Class. Quant. Grav. 27 (2010), p. 223101.doi:10.1088/0264-9381/27/22/223101. arXiv:1007.5199 [hep-th]

  4. [4]

    Horava-Lifshitz gravity: a status report

    Thomas P. Sotiriou. “Horava-Lifshitz gravity: a status report”. In:J. Phys. Conf. Ser. 283 (2011). Ed. by Leandros Perivolaropoulos and Panagiota Kanti, p. 012034.doi:10.1088/ 1742-6596/283/1/012034. arXiv:1010.3218 [hep-th]. 46

  5. [5]

    The status of Hořava gravity

    M. Herrero-Valea. “The status of Hořava gravity”. In:Eur. Phys. J. Plus 138.11 (2023), p. 968. doi:10.1140/epjp/s13360-023-04593-y. arXiv:2307.13039 [gr-qc]

  6. [6]

    Hořava Models as Palladium of Unitarity and Renormalizability in Quantum Gravity

    Andrei O. Barvinsky. “Hořava Models as Palladium of Unitarity and Renormalizability in Quantum Gravity”. In: 2023.doi:10.1007/978-981-19-3079-9_12-1. arXiv:2301.13580 [hep-th]

  7. [7]

    Renormalization of Horava Gravity

    Andrei O. Barvinsky et al. “Renormalization of Hořava gravity”. In:Phys. Rev. D 93.6 (2016), p. 064022.doi:10.1103/PhysRevD.93.064022. arXiv:1512.02250 [hep-th]

  8. [8]

    Cancellation of divergences in the nonprojectable Hořava theory

    Jorge Bellorin, Claudio Borquez, and Byron Droguett. “Cancellation of divergences in the nonprojectable Hořava theory”. In:Phys. Rev. D 106.4 (2022), p. 044055.doi:10 . 1103 / PhysRevD.106.044055. arXiv:2207.08938 [hep-th]

  9. [9]

    Renormalization of the nonprojectable Hořava theory

    Jorge Bellorin, Claudio Borquez, and Byron Droguett. “Renormalization of the nonprojectable Hořava theory”. In:Phys. Rev. D 110.8 (2024), p. 084020.doi:10 . 1103 / PhysRevD . 110 . 084020. arXiv:2405.04708 [hep-th]

  10. [10]

    A note on the path integral for systems with primary and secondary second class constraints

    Marc Henneaux and Andrei Slavnov. “A Note on the path integral for systems with primary and secondary second class constraints”. In:Phys. Lett. B 338 (1994), pp. 47–50.doi:10. 1016/0370-2693(94)91342-0. arXiv:hep-th/9406161

  11. [11]

    Renormalization of gauge theories in the background-field approach

    Andrei O. Barvinsky et al. “Renormalization of gauge theories in the background-field ap- proach”. In:JHEP 07 (2018), p. 035.doi:10.1007/JHEP07(2018)035. arXiv:1705.03480 [hep-th]

  12. [12]

    Ho\v{r}ava gravity is asymptotically free (in 2+1 dimensions)

    Andrei O. Barvinsky et al. “Hořava Gravity is Asymptotically Free in 2 + 1 Dimensions”. In: Phys. Rev. Lett. 119.21 (2017), p. 211301.doi:10.1103/PhysRevLett.119.211301. arXiv: 1706.06809 [hep-th]

  13. [13]

    Beta functions of (3+1)-dimensional projectable Hořava gravity

    Andrei O. Barvinsky, Alexander V. Kurov, and Sergey M. Sibiryakov. “Beta functions of (3+1)-dimensional projectable Hořava gravity”. In:Phys. Rev. D 105.4 (2022), p. 044009. doi:10.1103/PhysRevD.105.044009. arXiv:2110.14688 [hep-th]

  14. [14]

    Scattering amplitudes in high-energy limit of projectable Hořava gravity

    Jury I. Radkovski and Sergey M. Sibiryakov. “Scattering amplitudes in high-energy limit of projectable Hořava gravity”. In:Phys. Rev. D 108.4 (2023), p. 046017.doi:10 . 1103 / PhysRevD.108.046017. arXiv:2306.00102 [hep-th]

  15. [15]

    Asymptotic freedom in (3+1)-dimensional projectable Hořava gravity: Connecting the ultraviolet and infrared do- mains

    Andrei O. Barvinsky, Alexander V. Kurov, and Sergey M. Sibiryakov. “Asymptotic freedom in (3+1)-dimensional projectable Hořava gravity: Connecting the ultraviolet and infrared do- mains”. In:Phys. Rev. D 108.12 (2023), p. L121503.doi:10.1103/PhysRevD.108.L121503. arXiv:2310.07841 [hep-th]

  16. [16]

    Renormalization group flow of projectable Hořava gravity in (3+1) dimensions

    Andrei O. Barvinsky, Alexander V. Kurov, and Sergey M. Sibiryakov. “Renormalization group flow of projectable Hořava gravity in (3+1) dimensions”. In:Phys. Rev. D 111.2 (2025), p. 024030.doi:10.1103/PhysRevD.111.024030. arXiv:2411.13574 [gr-qc]. 47

  17. [17]

    Renormalization of Higher Derivative Quantum Gravity

    K. S. Stelle. “Renormalization of Higher Derivative Quantum Gravity”. In:Phys. Rev. D 16 (1977), pp. 953–969.doi:10.1103/PhysRevD.16.953

  18. [18]

    Classical Gravity with Higher Derivatives

    K. S. Stelle. “Classical Gravity with Higher Derivatives”. In:Gen. Rel. Grav. 9 (1978), pp. 353– 371.doi:10.1007/BF00760427

  19. [19]

    Dynamical Structure and Definition of Energy in General Relativity

    R. Arnowitt, S. Deser, and C. W. Misner. “Dynamical Structure and Definition of Energy in General Relativity”. In:Phys. Rev. 116 (5 1959), pp. 1322–1330.doi:10.1103/PhysRev.116. 1322.url:https://link.aps.org/doi/10.1103/PhysRev.116.1322

  20. [20]

    A healthy extension of Horava gravity

    D. Blas, O. Pujolas, and S. Sibiryakov. “Consistent Extension of Horava Gravity”. In: Phys. Rev. Lett. 104 (2010), p. 181302.doi:10 . 1103 / PhysRevLett . 104 . 181302. arXiv: 0909.3525 [hep-th]

  21. [21]

    Towards the renor- malization group flow of Horava gravity in(3+1)dimensions

    Andrei O. Barvinsky, Mario Herrero-Valea, and Sergey M. Sibiryakov. “Towards the renor- malization group flow of Horava gravity in(3+1)dimensions”. In:Phys. Rev. D 100.2 (2019), p. 026012.doi:10.1103/PhysRevD.100.026012. arXiv:1905.03798 [hep-th]

  22. [22]

    Asymptotic freedom in Horava-Lifshitz gravity

    Giulio D’Odorico, Frank Saueressig, and Marrit Schutten. “Asymptotic Freedom in Hořava- Lifshitz Gravity”. In:Phys. Rev. Lett. 113.17 (2014), p. 171101.doi:10.1103/PhysRevLett. 113.171101. arXiv:1406.4366 [gr-qc]

  23. [23]

    Covariant computation of effective actions in Horava-Lifshitz gravity

    Giulio D’Odorico, Jan-Willem Goossens, and Frank Saueressig. “Covariant computation of effective actions in Hořava-Lifshitz gravity”. In:JHEP 10 (2015), p. 126.doi:10 . 1007 / JHEP10(2015)126. arXiv:1508.00590 [hep-th]

  24. [24]

    Pathological behaviour of the scalar graviton in Ho\v{r}ava-Lifshitz gravity

    Kazuya Koyama and Frederico Arroja. “Pathological behaviour of the scalar graviton in Hořava-Lifshitz gravity”. In:JHEP 03 (2010), p. 061.doi:10.1007/JHEP03(2010)061. arXiv: 0910.1998 [hep-th]

  25. [25]

    Models of non-relativistic quantum gravity: The Good, the bad and the healthy

    Diego Blas, Oriol Pujolas, and Sergey Sibiryakov. “Models of non-relativistic quantum gravity: The Good, the bad and the healthy”. In:JHEP 04 (2011), p. 018.doi:10.1007/JHEP04(2011)

  26. [26]

    arXiv:1007.3503 [hep-th]

  27. [27]

    Phenomenology of theories of gravity without Lorentz invariance: the preferred frame case

    DiegoBlasandEugeneLim.“PhenomenologyoftheoriesofgravitywithoutLorentzinvariance: the preferred frame case”. In:Int. J. Mod. Phys. D 23 (2015), p. 1443009.doi:10 . 1142 / S0218271814430093. arXiv:1412.4828 [gr-qc]

  28. [28]

    Ho\v{r}ava Gravity after GW170817

    A. Emir Gümrükçüoğlu, Mehdi Saravani, and Thomas P. Sotiriou. “Hořava gravity after GW170817”. In:Phys. Rev. D 97.2 (2018), p. 024032.doi:10.1103/PhysRevD.97.024032. arXiv:1711.08845 [gr-qc]

  29. [29]

    Data Tables for Lorentz and CPT Violation

    V. Alan Kostelecky and Neil Russell. “Data Tables for Lorentz and CPT Violation”. In: Rev. Mod. Phys. 83 (2011), pp. 11–31.doi:10.1103/RevModPhys.83.11. arXiv:0801.0287 [hep-ph]. 48

  30. [30]

    Scale hierarchy in Horava-Lifshitz gravity: a strong constraint from synchrotron radiation in the Crab nebula

    Stefano Liberati, Luca Maccione, and Thomas P. Sotiriou. “Scale hierarchy in Horava- Lifshitz gravity: a strong constraint from synchrotron radiation in the Crab nebula”. In: Phys. Rev. Lett. 109 (2012), p. 151602.doi:10 . 1103 / PhysRevLett . 109 . 151602. arXiv: 1207.0670 [gr-qc]

  31. [31]

    Tests of Lorentz invariance: a 2013 update

    Stefano Liberati. “Tests of Lorentz invariance: a 2013 update”. In:Class. Quant. Grav. 30 (2013), p. 133001.doi:10.1088/0264-9381/30/13/133001. arXiv:1304.5795 [gr-qc]

  32. [32]

    Lorentz Violation in Supersymmetric Field Theories

    Stefan Groot Nibbelink and Maxim Pospelov. “Lorentz violation in supersymmetric field the- ories”. In:Phys. Rev. Lett. 94 (2005), p. 081601.doi:10 . 1103 / PhysRevLett . 94 . 081601. arXiv:hep-ph/0404271

  33. [33]

    On Lorentz violation in Horava-Lifshitz type theories

    Maxim Pospelov and Yanwen Shang. “On Lorentz violation in Horava-Lifshitz type theories”. In: Phys. Rev. D 85 (2012), p. 105001.doi:10.1103/PhysRevD.85.105001. arXiv:1010.5249 [hep-th]

  34. [34]

    Supersymmetric Aether

    Oriol Pujolas and Sergey Sibiryakov. “Supersymmetric Aether”. In:JHEP 01 (2012), p. 062. doi:10.1007/JHEP01(2012)062. arXiv:1109.4495 [hep-th]

  35. [35]

    The emergence of a universal limiting speed

    Mohamed M. Anber and John F. Donoghue. “The Emergence of a universal limiting speed”. In: Phys. Rev. D 83 (2011), p. 105027.doi:10.1103/PhysRevD.83.105027. arXiv:1102.0789 [hep-th]

  36. [36]

    Emergent Lorentz invariance from Strong Dynamics: Holographic examples

    Grigory Bednik, Oriol Pujolàs, and Sergey Sibiryakov. “Emergent Lorentz invariance from Strong Dynamics: Holographic examples”. In:JHEP 11 (2013), p. 064.doi:10 . 1007 / JHEP11(2013)064. arXiv:1305.0011 [hep-th]

  37. [37]

    Emergent Lorentz invariance with chiral fermions

    Ivan Kharuk and S. M. Sibiryakov. “Emergent Lorentz invariance with chiral fermions”. In: Theor. Math. Phys. 189.3 (2016), pp. 1755–1774.doi:10.1134/S0040577916120084. arXiv: 1505.04130 [hep-th]

  38. [38]

    Holographic Lifshitz flows

    Matteo Baggioli, Oriol Pujolas, and Xin-Meng Wu. “Holographic Lifshitz flows”. In:JHEP 09 (2024), p. 175.doi:10.1007/JHEP09(2024)175. arXiv:2407.11552 [hep-th]

  39. [40]

    Princeton Univer- sity Press, Aug

    Marc Henneaux and Claudio Teitelboim.Quantization of Gauge Systems. Princeton Univer- sity Press, Aug. 1994.isbn: 978-0-691-03769-1, 978-0-691-21386-6

  40. [41]

    Path Integral Quantization of Field Theories with Second Class Constraints

    P. Senjanovic. “Path Integral Quantization of Field Theories with Second Class Constraints”. In: Annals Phys. 100 (1976). [Erratum: Annals Phys. 209, 248 (1991)], pp. 227–261.doi: 10.1016/0003-4916(76)90062-2. 49

  41. [42]

    Quantization of the nonprojectable 2+1D Hořava the- ory: The second-class constraints

    Jorge Bellorín and Byron Droguett. “Quantization of the nonprojectable 2+1D Hořava the- ory: The second-class constraints”. In:Phys. Rev. D 101.8 (2020), p. 084061.doi:10.1103/ PhysRevD.101.084061. arXiv:1912.06749 [hep-th]

  42. [43]

    Fitzner and M

    Jorge Bellorín and Byron Droguett. “BFV quantization of the nonprojectable (2+1)- dimen- sional Hořava theory”. In:Phys. Rev. D 103.6 (2021), p. 064039.doi:10.1103/PhysRevD. 103.064039. arXiv:2102.04595 [hep-th]

  43. [44]

    Effective action of the Hořava the- ory: Cancellation of divergences

    Jorge Bellorin, Claudio Borquez, and Byron Droguett. “Effective action of the Hořava the- ory: Cancellation of divergences”. In:Phys. Rev. D 109.8 (2024), p. 084007.doi:10.1103/ PhysRevD.109.084007. arXiv:2312.16327 [hep-th]

  44. [45]

    Quantization of Relativstic Systems with Constraints

    E. S. Fradkin and G. A. Vilkovisky. “Quantization of Relativstic Systems with Constraints”. In: Phys. Lett. B 55 (1975), pp. 224–226.doi:10.1016/0370-2693(75)90448-7

  45. [46]

    Breitenlohner and D

    I. A. Batalin and E. s. Fradkin. “A Generalized Canonical Formalism and Quantization of Reducible Gauge Theories”. In:Phys. Lett. B 122 (1983), pp. 157–164.doi:10.1016/0370- 2693(83)90784-0

  46. [47]

    Operator Quantization of Relativistic Dynamical Systems Subject to First Class Constraints

    I. A. Batalin and E. S. Fradkin. “Operator Quantization of Relativistic Dynamical Systems Subject to First Class Constraints”. In:Phys. Lett. B 128 (1983), pp. 303–308.doi:10.1016/ 0370-2693(83)90265-4

  47. [48]

    Renormalization : An Introduction to Renormalization, the Renormalization Group and the Operator-Product Expansion

    John C. Collins. “Renormalization : An Introduction to Renormalization, the Renormalization Group and the Operator-Product Expansion”. In: Cambridge Monographs on Mathematical Physics 26 (1984).doi:10.1017/9781009401807

  48. [49]

    Split Dimensional Regularization for the Coulomb Gauge

    George Leibbrandt and Jimmy Williams. “Split dimensional regularization for the Coulomb gauge”. In:Nucl. Phys. B 475 (1996), pp. 469–483.doi:10.1016/0550- 3213(96)00299- 4. arXiv:hep-th/9601046

  49. [50]

    The Double Dimensional Regularization and Gauge Theories without Ghosts

    A. O. Barvinsky. “The Double Dimensional Regularization and Gauge Theories without Ghosts”. In:Nucl. Phys. B 231 (1984), pp. 533–546.doi:10.1016/0550-3213(84)90518-2

  50. [51]

    The Three-point Function in Split Dimensional Regularization in the Coulomb Gauge

    G. Leibbrandt. “The three point function in split dimensional regularization in the Coulomb gauge”. In:Nucl. Phys. B 521 (1998), pp. 383–400.doi:10.1016/S0550-3213(98)00211-9. arXiv:hep-th/9804109

  51. [52]

    Split dimensional regularization for the Coulomb gauge at two loops

    G.HeinrichandG.Leibbrandt.“SplitdimensionalregularizationfortheCoulombgaugeattwo loops”. In:Nucl. Phys. B 575 (2000), pp. 359–382.doi:10.1016/S0550-3213(00)00078-X. arXiv:hep-th/9911211

  52. [53]

    Hamiltonian structure of Horava gravity

    William Donnelly and Ted Jacobson. “Hamiltonian structure of Horava gravity”. In: Phys. Rev. D 84 (2011), p. 104019.doi:10.1103/PhysRevD.84.104019. arXiv:1106.2131 [hep-th]. 50

  53. [54]

    Consistency of the Hamiltonian formulation of the lowest-order effective action of the complete Horava theory

    Jorge Bellorin and Alvaro Restuccia. “Consistency of the Hamiltonian formulation of the lowest-order effective action of the complete Horava theory”. In:Phys. Rev. D 84 (2011), p. 104037.doi:10.1103/PhysRevD.84.104037. arXiv:1106.5766 [hep-th]

  54. [55]

    Introduction to the Background Field Method

    L. F. Abbott. “Introduction to the Background Field Method”. In:Acta Phys. Pol. B 13 (1982), p. 13

  55. [56]

    Classical and quantum dynamics of constrained Hamil- tonian systems

    Heinz J. Rothe and Klaus D. Rothe. “Classical and quantum dynamics of constrained Hamil- tonian systems”. In: (2010)

  56. [57]

    Quantum Gravity

    Claus Kiefer. Quantum Gravity. International Series of Monographs on Physics. Oxford Uni- versity Press, May 2025.isbn: 978-0-19-884213-2

  57. [58]

    The quantum theory of fields

    Steven Weinberg. The quantum theory of fields. Vol. 2: Modern applications. Cambridge University Press, 2013.isbn: 978-1-139-63247-8, 978-0-521-67054-8, 978-0-521-55002-4.doi: 10.1017/CBO9781139644174

  58. [59]

    Mathematica, Version 14.1

    Wolfram Research, Inc. Mathematica, Version 14.1. Champaign, IL, 2020.url:https : / / www.wolfram.com/mathematica

  59. [60]

    Martin-Garcia

    Jose M. Martin-Garcia. xAct: Efficient tensor computer algebra for the Wolfram Language. http://www.xact.es/

  60. [61]

    xPerm: fast index canonicalization for tensor computer algebra

    Jose M. Martin-Garcia. “xPerm: fast index canonicalization for tensor computer algebra”. In: Comput. Phys. Commun. 179 (2008), pp. 597–603.doi:10.1016/j.cpc.2008.05.009. arXiv: 0803.0862 [cs.SC]

  61. [62]

    xPert: Computer algebra for metric perturbation theory

    David Brizuela, Jose M. Martin-Garcia, and Guillermo A. Mena Marugan. “xPert: Computer algebra for metric perturbation theory”. In:Gen. Rel. Grav. 41 (2009), pp. 2415–2431.doi: 10.1007/s10714-009-0773-2. arXiv:0807.0824 [gr-qc]

  62. [63]

    xTras: a field-theory inspired xAct package for Mathematica

    Teake Nutma. “xTras : A field-theory inspired xAct package for mathematica”. In: Comput. Phys. Commun. 185 (2014), pp. 1719–1738.doi:10.1016/j.cpc.2014.02.006. arXiv:1308.3493 [cs.SC]

  63. [64]

    FieldsX – An extension package for the xAct tensor computer algebra suite to include fermions, gauge fields and BRST cohomology

    Markus B. Fröb. “FieldsX – An extension package for the xAct tensor computer algebra suite to include fermions, gauge fields and BRST cohomology”. In: (Aug. 2020). arXiv:2008.12422 [hep-th]

  64. [65]

    Radkovski.https://github.com/JIRadkovski

    Jury I. Radkovski.https://github.com/JIRadkovski

  65. [66]

    Weighted power counting and Lorentz violating gauge theories. I: General properties

    Damiano Anselmi. “Weighted power counting and Lorentz violating gauge theories. I. General properties”. In:Annals Phys. 324 (2009), pp. 874–896.doi:10.1016/j.aop.2008.12.005. arXiv:0808.3470 [hep-th]

  66. [67]

    RG flows and symmetry enhancement in five-dimensional Lifshitz gauge theories

    Neil Lambert and Joseph Smith. “RG flows and symmetry enhancement in five-dimensional Lifshitz gauge theories”. In:JHEP 03 (2023), p. 069.doi:10.1007/JHEP03(2023)069. arXiv: 2212.07717 [hep-th]. 51

  67. [68]

    Renormalizable Non-Covariant Gauges and Coulomb Gauge Limit

    Laurent Baulieu and Daniel Zwanziger. “Renormalizable noncovariant gauges and Coulomb gauge limit”. In:Nucl. Phys. B 548 (1999), pp. 527–562.doi:10 . 1016 / S0550 - 3213(99 ) 00074-7. arXiv:hep-th/9807024

  68. [69]

    Cancellation of energy-divergences and renormalizability in Coulomb gauge QCD within the Lagrangian formalism

    A. Niegawa, M. Inui, and H. Kohyama. “Cancellation of energy-divergences and renormaliz- ability in Coulomb gauge QCD within the Lagrangian formalism”. In:Phys. Rev. D 74 (2006), p. 105016.doi:10.1103/PhysRevD.74.105016. arXiv:hep-th/0607207

  69. [70]

    Regularized Coulomb gauge

    Laurent Baulieu and Daniel Zwanziger. “Regularized Coulomb gauge”. In:Braz. J. Phys. 37 (2007). Ed. by Silvio Paolo Sorella, Attilio Cucchieri, and Tereza Mendes, pp. 293–305.doi: 10.1590/S0103-97332007000200022

  70. [71]

    On connection between momentum cutoff and the proper time regularizations

    Sen-Ben Liao. “On connection between momentum cutoff and the proper time regularizations”. In: Phys. Rev. D 53 (1996), pp. 2020–2036.doi:10.1103/PhysRevD.53.2020. arXiv:hep- th/9501124

  71. [72]

    Peskin and Daniel V

    Michael E. Peskin and Daniel V. Schroeder.An Introduction to quantum field theory. Read- ing, USA: Addison-Wesley, 1995.isbn: 978-0-201-50397-5, 978-0-429-50355-9, 978-0-429- 49417-8.doi:10.1201/9780429503559

  72. [73]

    Heat kernel expansion: user's manual

    D.V.Vassilevich.“Heatkernelexpansion:User’smanual”.In: Phys. Rept.388(2003),pp.279– 360.doi:10.1016/j.physrep.2003.09.002. arXiv:hep-th/0306138

  73. [74]

    Heat kernel methods for Lifshitz theories

    Andrei O. Barvinsky et al. “Heat kernel methods for Lifshitz theories”. In:JHEP 06 (2017), p. 063.doi:10.1007/JHEP06(2017)063. arXiv:1703.04747 [hep-th]

  74. [75]

    Schwinger-DeWitt expansion for the heat kernel of nonminimal operators in causal theories

    Andrei O. Barvinsky, Alexey E. Kalugin, and Wladyslaw Wachowski. “Schwinger-DeWitt expansion for the heat kernel of nonminimal operators in causal theories”. In:Phys. Rev. D 112.7 (2025), p. 076032.doi:10.1103/1njq-346g. arXiv:2508.06439 [hep-th]. 52