# Multi-Hamiltonian formulations and stability of higher-derivative extensions of 3*d* Chern–Simons

- 133 Downloads

## Abstract

Most general third-order 3*d* linear gauge vector field theory is considered. The field equations involve, besides the mass, two dimensionless constant parameters. The theory admits two-parameter series of conserved tensors with the canonical energy-momentum being a particular representative of the series. For a certain range of the model parameters, the series of conserved tensors include bounded quantities. This makes the dynamics classically stable, though the canonical energy is unbounded in all the instances. The free third-order equations are shown to admit constrained multi-Hamiltonian form with the 00-components of conserved tensors playing the roles of corresponding Hamiltonians. The series of Hamiltonians includes the canonical Ostrogradski’s one, which is unbounded. The Hamiltonian formulations with different Hamiltonians are not connected by canonical transformations. This means, the theory admits inequivalent quantizations at the free level. Covariant interactions are included with spinor fields such that the higher-derivative dynamics remains stable at interacting level if the bounded conserved quantity exists in the free theory. In the first-order formalism, the interacting theory remains Hamiltonian and therefore it admits quantization, though the vertices are not necessarily Lagrangian in the third-order field equations.

## 1 Introduction

Classical dynamics and quantization of various higher-derivative models are discussed once and again for decades. Among most frequently studied specific models we can mention Pais-Uhlenbeck (PU) oscillator [1], Podolsky and Lee–Wick electrodynamics [2, 3, 4], higher-derivative extensions of the Chern–Simons model [5], higher-derivative Yang–Mills models [6], conformal gravity [7], various higher-derivative higher-spin fields theories [8, 9, 10], modified theories of gravity [11], including critical gravity [12]. The higher-derivative models often reveal remarkable various properties comparing to the counterparts without higher derivatives. In particular, the inclusion of higher derivatives improves the convergency in the field theory both at classical and quantum level in many models. Also the conformal symmetry often requires inclusion of higher derivatives in the field equations.

The higher-derivative dynamics are also notorious for the classical and quantum instability. The key point, where the problem can be immediately seen is that the canonical energy is unbounded for general higher-derivative Lagrangian systems. Several exceptions are known [13, 14, 15, 16, 17, 18] of the higher-derivative models such that have bounded canonical energy. In all these cases, the energy is on-shell bounded because of strong constraints among the field equations. At the quantum level, the instability reveals itself by the ghost poles in the propagator and it is related to the problem of unbounded spectrum of energy. In its turn, the unbounded energy spectrum results from the fact that the canonical Hamiltonian, being the phase space equivalent of canonical Noether’s energy, is unbounded due to the higher derivatives.

In the work [19], it was noticed that the broad class of higher-derivative models are stable at classical level because they admit conserved tensors with bounded 00-component. The bounded conserved quantity turns out different from the canonical energy which can be unbounded for the same dynamics. Furthermore, these models admit non-canonical Lagrange anchors.^{1} The class of higher-derivative systems considered in Ref. [19] covers a variety of well-known higher-derivative models, including PU oscillator and Podolsky electrodynamics. In Ref. [22], this class is further generalized, and it covers also extended Maxwell–Chern–Simons models. In all the examples of higher-derivative models considered in [19, 22], the conserved tensor with bounded 00-component turns out connected with the space-time translations by a non-canonical Lagrange anchor. In this sense, the bounded conserved tensor can be interpreted as a non-canonical energy-momentum. The conservation law makes the theory stable at classical level irrespectively to interpretation of the conserved quantity. Also notice that all the considered examples [19, 22] of stable higher-derivative models admit the interactions such that do not spoil classical stability. Further examples of stable interactions can be found in [23, 24, 25] for various higher-derivative models. In all these models, the canonical energy is unbounded at free level, while the stability is due to another bounded conserved quantity.

The Hamiltonian formalism for non-singular higher-derivative theories was introduced by Ostrogradski [26]. Its generalization for singular Lagrangians was first worked out in the paper [27]. The general constrained Hamiltonian formalism of higher-derivative systems was further developed since that in various directions. In particular it was adapted for higher-derivative gravity in a series of works starting from [28], for recent developments and further references see [29, 30]. Notice that all these reformulations are connected by canonical transformations, so they cannot replace the unbounded Hamiltonian with any bounded quantity. The canonical Hamiltonian, being a canonical energy expressed in terms of phase space variables, is always unbounded for non-degenerate higher-derivative systems. Once the higher-derivative Lagrangian is degenerate, the phase space variables are subject to constraints. On the constraint surface, the canonical Hamiltonian can be bounded if the constraints are strong enough. The examples of this phenomenon are the same as previously mentioned cases of on-shell bounded canonical energy. The paper [31] demonstrates that once a Lagrange anchor is admitted by the equations of motion, the first-order formalism of the theory admits a constrained Hamiltonian formulation. If the model admits multiple Lagrange anchors, the first-order formalism will be multi-Hamiltonian. Furthermore, it is the conserved quantity connected to the time-shift symmetry by the Lagrange anchor which serves as Hamilton function. With this regard, the higher-derivative field theories of this class are expected to admit multi-Hamiltonian formalism where some of Hamiltonians are bounded. Once the classical Hamiltonian is bounded, the theory, being canonically quantized with respect to corresponding Poisson bracket, has a good chance to remain stable at quantum level.

The paper [19] provides a list of examples of higher-derivative systems admitting multiple Lagrange anchors, including the PU oscillator. By the above mentioned reasons, every model on this list has to be a multi-Hamiltonian system. It has been earlier noticed that the free PU oscillator admits alternative Hamiltonian formulations [32, 33]. It has been observed that the series of canonically inequivalent Hamiltonians includes the bounded ones, while the canonical Ostrogradski Hamiltonian is unbounded. Later, the multi-Hamiltonian formulations of PU oscillator have been re-derived and re-interpreted from various viewpoints in [23, 34, 35, 36, 37, 38]. All these observations can be summarized in the statement that the PU oscillator of order 2*n* admits the *n*-parameter series of alternative Hamiltonians and associated Poisson brackets. Once the equations of motion admit a Hamiltonian formulation with bounded Hamilton functions, the dynamics is stable classically and quantum-mechanically. It is also worth to notice that the PU oscillator equation of motion admits the interaction vertices such that do not spoil the classical stability [19, 39]. These vertices are non-Lagrangian, while the interacting higher-derivative equations, being brought to the first-order formalism, still remain Hamiltonian with positive Hamilton function [23, 24]. In this way, the PU oscillator equation admits inclusion of interactions such that leave the dynamics stable beyond the free level and admit Hamiltonian formulation. Notice that the stability of PU oscillator with the Lagrangian interaction vertices is studied once and again for decades. In some cases, the model admits isles of stability, see e.g. [40, 41, 42, 43, 44] for the most recent results and review, while it is unstable in general, unlike the case of above mentioned non-Lagrangian interactions.

If the equations of motion admit a Lagrange anchor, the dynamics have to admit a constrained Hamiltonian formulation [31]. With multiple Lagrange anchors, the dynamics should be multi-Hamiltonian. In general, the construction of Hamiltonian formulation for a given Lagrange anchor is implicit [31]. A direct relation between the Lagrange anchor and corresponding Hamiltonian formalism has been established for the PU oscillator in [23]. In [19, 39], the interactions are introduced, being compatible with the Lagrange anchor. The stable interactions are found by means of the factorization method [19] and proper deformation method [39]. These two methods are equivalent [25] in principle, though they apply different techniques. Recently, more examples has become known of stable interaction vertices in various higher-derivative models with unbounded canonical energy at free level. The examples include PU theory [19, 23, 37, 38], Podolsky electrodynamics [19], and higher-derivative extensions of the Chern–Simons theory [22]. The stable interaction vertices are explicitly covariant in all the field theoretical examples, though they do not follow from the least action principle. The existence of a Lagrange anchor, however, implies that these models have to admit the Hamiltonian description at interacting level.

To the best of our knowledge, no explicit example has been known yet of higher-derivative field theory admitting multi-Hamiltonian formulation. In this work, we construct the multi-Hamiltonian formulation for higher-derivative extensions of Chern–Simons theory. The canonical unbounded Hamiltonian is included into the two-parametric series of admissible Hamilton functions. The series can also include bounded Hamiltonians in some cases. The existence of a bounded Hamiltonian depends on the parameters in the third-order equations. We also demonstrate that the covariant interactions exist such that the higher-derivative theory still admits bounded Hamiltonian, and therefore it remains stable at interacting level if the free model was stable.

*d*Minkowski space with the free action functional

*d*is the de-Rham differential, \(*\) is the Hodge star operator,

*m*is a dimensional constant, \(\alpha _0,\alpha _1,\alpha _2,\alpha _3,\ldots \) are the dimensionless constant real parameters. Depending on the values of the parameters, the action (1) can reproduce various 3

*d*field theories, including the Chern–Simons–Proca theory [45, 46], topologically massive gauge theory [47, 48], Maxwell–Chern–Simons–Proca model [49, 50], Lee–Wick electrodynamics [3, 4] and extended Chern–Simons [5]. The classical stability of the model (1) is considered in the works [22, 51]. In Ref. [51], it has been found that the model admits multiple conserved tensors being connected with the time translation by the Lagrange anchors. The anchors are polynomials in the Chern–Simons operator \(*d\). The set of conserved quantities can include bounded ones. This depends on the roots of the characteristic equation

*z*is considered as a formal complex-valued variable, and \(\alpha _k\) are the parameters of the model (1). As is established in [51], the model (1) admits a bounded conserved tensor and, hence, it is stable iff all the non-zero simple roots of Eq. (2) are real, while zero root may have the maximal multiplicity 2, and no roots occur with a higher multiplicity.

^{2}

*k*-parametric series of Hamiltonians \(H(\beta , \varphi ,\nabla \varphi , \nabla ^2\varphi , \nabla ^3\varphi , \ldots )\) and Poisson brackets \(\{\varphi ^a(\vec {x}),\varphi ^b(\vec {y})\}_\beta \), with \(\beta _1, \ldots , \beta _k\) being constant parameters and \(\nabla \) denoting derivatives by space \(\vec {x}\), such that the equations constitute constrained Hamiltonian system with any \(\beta \), i.e.

Any higher-derivative Lagrangian field theory always admits at least one Hamiltonian formulation which can be constructed by the Ostrogradski method in the unconstrained case, and by various generalizations [27, 28, 29, 30] developed for the constrained systems. In this paper, we develop the Hamiltonian formalism of higher-derivative field theory in several respects by the example of the model (3). At first, the third-order extension of the Chern–Simons model (3) is shown to admit a two-parameter series of constrained Hamiltonian formulations. The Hamiltonians from this series can be bounded from below in some cases, depending upon parameters \(\alpha _1,\alpha _2\), even though Ostrogradski’s Hamiltonian of the model is unbounded in all the instances. The second is that the free higher-derivative equations of this model admit inclusion of covariant interactions which do not break the stability if the theory have bounded conserved quantity at free level. Furthermore, the stable theory admits constrained Hamiltonian formulation at interacting level with a bounded Hamilton function.

Let us also remark that the multi-Hamiltonian formulation helps to resolve the discrepancy between classical stability of higher-derivative dynamics and quantum instability which is connected to the unboundedness of canonical Hamiltonian. As it is noticed in [22], the stable higher-derivative extensions of the Chern–Simons model realize the reducible representations which are decomposed into the unitary irreps in some cases. In the other cases, the representations are non-unitary or non-decomposable. If the model admits only unbounded conserved tensors, it corresponds to a non-unitary representation, while the models with unitary representations admit non-Ostrogradski’s bounded Hamiltonians. If the theory is quantized with the bounded Hamiltonian, and the commutation relations are imposed in accordance with the corresponding Poisson brackets, the theory will be quantum-mechanically stable, as it is at the classical level.

Let us make some comments on the interactions which do not break the stability of the higher-derivative theory. An example of stable couplings in the model (1) has been noticed in [22] in the case involving massive Proca term, so it is the theory without gauge symmetry. In the present paper, we consider the gauge model (3) and introduce gauge-invariant interaction with spinors. This class of interactions can be viewed as a generalization to the non-minimal stable couplings of \(d=4\) Podolsky electrodynamics to the spinor matter proposed in Ref. [19].

The article is organized as follows. In Sect. 2, we describe conserved tensors of the third-order model (3). We also relate the existence of bounded conserved tensors with the structure of the corresponding Poincaré group representation. In doing that, we mostly follow the general prescriptions of [22] and [51]. The section is self-contained, however. In Sect. 3, the multi-Hamiltonian formulation is constructed with the Hamiltonians defined by the conserved tensors of Sect. 2. In Sect. 4, we introduce the interactions with spin 1 / 2 such that do not break the stability of higher-derivative theory if the theory is stable at free level. After that, we demonstrate that the higher-derivative interacting theory still admits Hamiltonian formulation in all the instances, even if the vertices are not Lagrangian.

## 2 Conserved tensors

*z*is a formal unknown variable, and \(\alpha _1, \alpha _2\) are the parameters of the model. There are the following different cases distinguished by the structure of roots for the variable

*z*:

*d*Poincaré group depending on the relations between the parameters \(\alpha _1,\alpha _2\).

^{3}

*F*and

*G*are gauge invariant quantities, the tensor (9) is gauge invariant with any \(\beta \). Also notice that \(F_i,G_i, i=1,2\) define independent unconstrained Cauchy data for the field Eq. (6). Once \(T_1\) is linear in

*G*, it is unbounded anyway. The general entry of the series (9) is bilinear in both

*G*and

*F*. So, \(T(\beta )\) can be bounded, in principle, if \(\beta _2\ne 0\).

The 00-component of the conserved tensor \(T(\beta _1,\beta _2)\) from the series (9) can be bounded or unbounded from below depending on the parameters \(\alpha \) involved in the Eq. (6) and on specific values of \(\beta \). Once the representation is unitary [that corresponds to the cases A,B in classification (8)], the bounded representatives exist with certain \(\beta \)’s, as we shall see in the next section. For non-unitary representations (the cases C,D,E), the 00-component of the conserved tensor \(T(\beta )\) is unbounded in all the instances. As the existence of bounded conservation law provides the classical stability of the model, the theory is stable if the parameters of the model meet the conditions (8.A) or (8.B), and it is unstable in all the other cases. The canonical energy \((T_1)_{00}\) is always unbounded.

In the next section, we construct a multi-Hamiltonian formulation where 00-components of the conserved tensors \(T_{\mu \nu }(\beta _1,\beta _2,\beta _3,\beta _4)\) (13) serve as Hamiltonians, and all the values of the parameters \(\beta _1\) and \(\beta _2\), being subject to condition (12), are admissible. For reasons of convenience, we consider all the cases in a uniform way, be the Hamiltonian bounded or not.

## 3 Multi-Hamiltonian formulation

The multi-Hamiltonian formalism is constructed for the Eq. (6) in three steps. First, the higher-derivative equations are reduced to the first-order in time by introducing extra variables to absorb the time derivatives of the original field *A*. The first-order equations are split in two subsets. The first one includes the evolutionary type equations, while the other equations are the constraints. The latter ones do not involve the time derivatives of the fields. Second, the 00-component of the most general conserved tensor of the series (9) is taken as the Hamiltonian of the model. As far as the considered model is constrained, the Hamiltonian involves a linear combination of constraints. Third, the series of Poisson bracket is found for the series of Hamiltonians such that the evolutionary-type equations of motion take the constrained multi-Hamiltonian form (4).

*A*,

*d*Levi-Civita symbol. Substituting these variables into (6), we arrive at the following first-order equations in terms of the fields \(A_\mu , F_i, G_i\):

*A*,

*F*,

*G*, the evolutionary equations (15) represent the first-order form of the space components of the Lagrange Eq. (6). The zero component of the original field Eq. (6) is a constraint (16), which does not involve the time derivatives. Since the constraint \(\Theta \) conserves with account for the evolutionary equations, no secondary constraints are imposed on the fields. The first-order equations (15), (16) are obviously equivalent to the original third-order ones (6).

*x*. In what follows, it is natural to consider the field \(A_0\) as the Lagrange multiplier associated to the constraint (16). This interpretation is consistent with the gauge transformation (17) which includes the time derivative of the gauge parameter, as it should be for Lagrange multiplier in the constrained Hamiltonian formalism.

Let us make one more comment on the meaning of the accessory parameter \(\gamma \) which defines the bracket between \(A_i\) and does not affect on the brackets of gauge-invariant quantities. Notice that the Poisson brackets in gauge theory have the inherent ambiguities. The general study of these ambiguities can be found in Ref. [53]. In context of the bracket (22), one of these ambiguities turns out relevant. It is related to the option of redefining the Poisson bracket by adding the bi-vector, being the wedge product of gauge symmetry generator to another vector. This redefinition does not affect the brackets between gauge-invariant observables, while it can alter the brackets of non-gauge-invariant quantities. The bracket (22) involves the ambiguous terms of this type, and it is the ambiguity which is controlled by the accessory parameter \(\gamma \).

^{4}To represent the bracket (22) between the components of \(A_i\) in terms of gauge generators, we use the following identical representation for the 2

*d*Levi-Civita tensor \(\varepsilon _{ij}\):

Let us summarize all the aspects related to the ambiguity in parametrization of the multi-Hamiltonian formulation of Eq. (6). The Hamiltonian and brackets (19), (22) involve five parameters. Two of them, \(\alpha _1\) and \(\alpha _2\), define the original Eq. (6). The constants \(\beta _1, \beta _2\) parameterize the series of conserved tensors tensors (9). These tensors admit gauge-invariant re-definitions by on-shell vanishing terms (13), with one more parameter in control of corresponding ambiguity. The 00-components of the conserved tensors are chosen as Hamiltonians for the first-order formulation (15), (16) of the original third-order Eq. (6). In this way, the ambiguity in the off-shell definition of the conserved tensors is converted into the ambiguity in the constraint terms of the Hamiltonian. The later ambiguity does not contribute to the equations of motion for the gauge-invariant quantities \(F_i,G_i, \varepsilon _{ij}\partial _iA_j\), while the equations of motion for the potential components \(A_i\) can alter. We seek for a series of the Hamiltonians and Poisson brackets such that the Hamiltonian equations literally reproduce the first-order form (15) of the original third-order Eq. (3) for all the variables, including the original vector field. In this case, one and the same parameter has to control the ambiguity in the Hamiltonian and Poisson bracket. It is the parameter \(\gamma \). In the free theory, \(\gamma \) can be set to an arbitrary value. This corresponds to the choice of the representative in the equivalence class in the series of Hamiltonian formulations with the Hamiltonian (18), (19) and Poisson bracket (22). Thus, \(\gamma \) is an accessory parameter in the series of Hamiltonian formulations unless the interaction is introduced. We keep \(\gamma \) in the Hamiltonian formulation throughout this section to have the contact with Sect. 4, where the couplings are introduced with spinors. As we will see, this parameter becomes essential for inclusion of consistent interactions in the non-linear model.

^{5}Once \(\beta _2=0\), this expression determines the 00-component of the canonical energy-momentum tensor \((T_1)_{00}\), and it is unbounded for all the values of parameters \(\alpha _1,\alpha _2\). This happens just because the 00-component of canonical energy-momentum is linear in \(G_i\), while \(G_i\) are independent Cauchy data for Eq. (15). Once \(\beta _2\ne 0\), we rewrite (25) as the linear combination of two Euclidean squares

For \(\beta _2\ne 0\), we get the non-canonical Hamiltonian actions that still result to the same original Eq. (6). Different actions in the series (29) are not connected by a canonical transformation. This is obvious because the Hamiltonian in the series (19) can be bounded from below, while the canonical Hamiltonian (30) is always unbounded.

The Poincaré invariance can be questioned of the non-canonical Hamiltonian actions (29), and hence the covariance of the corresponding quantum theory may seem in question. We do not elaborate on this issue here, while we claim that the quantum theory associated to any model in the series (29) is Poincaré-invariant. The argument is that the original higher-derivative theory admits the series of covariant Lagrange anchors [22]. It is the series of anchors which underlies the multi-Hamiltonian formulation (29). One more reason is provided by the fact that every Hamiltonian in the series (18) is 00-component of the second rank tensor (13). All the entries of the series transform in the same way, including Ostrogradski’s Hamiltonian.

## 4 Stable interactions with spinor field

As we have seen above, the higher-derivative extensions of the Chern–Simons theory admit multi-Hamiltonian formulations. In some cases, the Hamiltonians are bounded. In this section, we provide an example of couplings to spinors such that the theory still has bounded Hamiltonian and therefore it remains stable at interacting level.

In [19], the stable interaction is included for the higher-derivative Podolsky’s electrodynamics in the dimension \(d=4\). The stable interaction is non-Lagrangian in \(d=4\), while the Hamiltonian formalism is not considered there. So, the possibility could be questioned of the canonical quantization of the interacting model even without gauge invariance. The three-dimensional model admits more options than its four-dimensional counterpart, because (due to the presence of the Chern–Simons term) it can describe a variety of reducible representations of the 3*d* Poincaré group. Below we introduce the interaction mostly following the lines of [24] with regard to the \(d=3\) specifics, and then we construct the Hamiltonian formalism for the interacting theory.

*A*and 2-component spinor field \(\psi _a, a=1,2\) (\(\overline{\psi }_a\) stands for conjugate spinor) by imposing the following non-linear field equations

*d*gamma matrices, and

*D*is the covariant derivative,

*e*is a coupling constant.

In general, the interaction vertices are non-Lagrangian in the Eq. (31). The Lagrangian case corresponds to \(g_1\ne 0, \, g_2=g_3=0\) in (32). The Lagrangian model is unstable, while the stability can be retained by admitting non-Lagrangian higher-derivative contributions to the interaction, i.e. by \(g_2\ne 0, g_3\ne 0\). As we shall demonstrate in this section, with non-Lagrangian stable interactions, the Eqs. (31), (32) still admit constrained Hamiltonian formulation with on-shell bounded Hamiltonian.

*U*(1)-transformation for the spinor field

*A*coupled to the spinor \(\psi \) in the gauge-invariant way.

Upon inclusion of interaction, the deformation is still conserved of a single representative from the series of conserved tensors (9) admitted at free level. The parameters \(\beta _1,\beta _2\) in this conserved tensor are fixed by the interaction constants by the formula (35).

*g*, this quantity can be bounded or unbounded from below.

^{6}The necessary and sufficient condition for that follows from (28). It reads

*A*. For these fields, we get three equations of evolutionary type

*A*. The third equation represents the first-order form of the original field equations, so it involves the interaction. With account of the interaction, the constraint reads

*g*.

With no arbitrary parameters involved in the Hamiltonian formulation, the non-linear theory (31) is not multi-Hamiltonian anymore, while the free limit admits the two-parameter series of Hamiltonian formulations (19), (22). This means, the interaction preserves one of possible Hamiltonian formulations admitted by the free theory. This fact can be explained in various ways. The most simple explanation is that upon inclusion of interaction, the deformation of the unique entry still conserves of the series of tensors (9). The parameters of series (34) are fixed by the interaction constants in the non-linear theory. It is the sole conserved tensor which defines the unique Hamiltonian at interacting level, while the corresponding Poisson bracket is fixed by the Hamiltonian.

*g*the Poisson bracket (44) is a non-degenerate tensor, so it has an inverse, being a symplectic two-form. The latter defines the Hamiltonian action functional

In this way, we see that the higher-derivative field equations (6) are compatible with inclusion of non-minimal explicitly covariant interactions (31) such that the theory still admits the Hamiltonian formalism with bounded Hamiltonian if the model has a bounded conserved quantity at the free level.

## 5 Concluding remarks

Let us summarize and discuss the results. First, we have seen that the third-order extension of the Chern–Simons admits a two-parameter series of conserved tensors. If the Eq. (6) describes unitary representations [cases (A),(B) in classification (8)], the bounded conserved quantities are included in the series. If the representations are non-unitary and/or indecomposable [cases (C), (D), (E) in classification (8)], all the conserved quantities are unbounded in the series. The series includes the canonical energy-momentum which is unbounded in all the cases. Second, we construct the constrained multi-Hamiltonian formalism for the higher-derivative Eq. (6). The 00-components of conserved tensors serve as Hamiltonians in this formalism. The formulations with different Hamiltonians and Poisson brackets result in the same equations, while the formulations are not connected by canonical transformations. For the cases with unitary representations, there are bounded Hamiltonians in the series. The Ostrogradski Hamiltonian, being included in the series, is unbounded. Third, we introduce explicitly the Poincaré-covariant and gauge-invariant stable interactions in higher-derivative dynamics. If the free theory has a bounded conserved quantity, it is still conserved at interacting level. After that, we demonstrate that the covariant and stable higher-derivative interacting theory admits the Hamiltonian formulation with the bounded Hamiltonian.

## Footnotes

- 1.
The concept of Lagrange anchor was introduced in Ref. [20] to covariantly quantize not necessarily Lagrangian field theories. Later, it was established that the Lagrange anchor maps global symmetries to conserved currents [21]. The canonical Lagrange anchor, being an identity map, is always admitted by the Lagrangian equations, and it identifies a symmetry with the characteristics of conserved quantity. This can be understood as the Noether theorem in a different wording. The non-canonical Lagrange anchor also connects symmetries with characteristics of conserved currents, though it is not an identity map. Every Lagrange anchor connects any conserved current to a certain symmetry. Once the dynamical system, be it Lagrangian or not, admits different Lagrange anchors, the same symmetry can be connected with different conserved quantities.

- 2.
The multi-Hamiltonian formulation for the gauge-invariant extension of the Chern–Simons model of the fourth order have been constructed in [52].

- 3.
The Minkowski metric is taken with mostly negative signature.

- 4.
For example, the inverse Laplacian contributes to the Dirac brackets of vector potential to electric strength in the Maxwell electrodynamics in the Coulomb gauge.

- 5.
No Minkowski metric is involved in this summation, it is just Euclidean product.

- 6.
With the cubic interaction contribution, the conserved tensor (37) is no longer bounded in the strict sense. By saying ’bounded’ we mean that the quadratic contribution in the conserved quantity is bounded. The latter property is interpreted as stability of the theory with respect to small fluctuations of initial data, and it is not considered as obstruction to the stability of the model. For example, the energy-momentum of spinor electrodynamics includes cubic term.

## Notes

### Acknowledgements

We thank A.A. Sharapov for discussions on various issues addressed in this work. The work is partially supported by the RFBR Grant 16-02-00284 and by Tomsk State University Competitiveness Improvement Program. SLL acknowledges support from the project 3.5204.2017/6.7 of Russian Ministry of Science and Education.

## References

- 1.A. Pais, G.E. Uhlenbeck, On field theories with non-localized action. Phys. Rev.
**79**, 145–165 (1950)ADSMathSciNetCrossRefMATHGoogle Scholar - 2.B. Podolsky, A generalized electrodynamics. Part I - non-quantum. Phys. Rev.
**62**, 68–71 (1942)ADSMathSciNetCrossRefGoogle Scholar - 3.T. Lee, G. Wick, Negative metric and the unitarity of the S matrix. Nucl. Phys. B
**9**, 209–243 (1969)ADSCrossRefMATHGoogle Scholar - 4.T. Lee, G. Wick, Finite theory of quantum electrodynamics. Phys. Rev. D
**2**, 1033–1048 (1970)ADSMathSciNetCrossRefMATHGoogle Scholar - 5.S. Deser, R. Jackiw, Higher derivative Chern–Simons extensions. Phys. Lett. B
**451**, 73–76 (1999)ADSMathSciNetCrossRefMATHGoogle Scholar - 6.L.D. Faddeev, A.A. Slavnov,
*Gauge Fields: An Introduction To Quantum Theory, Frontiers in Physics*, vol. 50 (Advanced Book Program, Benjamin/Cummings, 1980)MATHGoogle Scholar - 7.E.S. Fradkin, A.A. Tseytlin, Conformal supergravity. Phys. Rep.
**119**, 233–362 (1985)ADSMathSciNetCrossRefMATHGoogle Scholar - 8.D. Francia, Generalised connections and higher-spin equations. Class. Quant. Gravit
**29**, 245003 (2012)ADSMathSciNetCrossRefMATHGoogle Scholar - 9.E. Joung, K. Mkrtchyan, A note on higher-derivative actions for free higher-spin fields. JHEP
**1211**, 153 (2012)ADSMathSciNetCrossRefGoogle Scholar - 10.E. Joung, K. Mkrtchyan, Higher-derivative massive actions from dimensional reduction. JHEP
**1302**, 134 (2013)ADSMathSciNetCrossRefMATHGoogle Scholar - 11.T. Clifton, P.G. Ferreira, A. Padilla, C. Skordis, Modified gravity and cosmology. Phys. Rept.
**513**, 1–189 (2012)ADSMathSciNetCrossRefGoogle Scholar - 12.H. Lu, C.N. Pope, Critical gravity in four dimensions. Phys. Rev. Lett.
**106**, 181302 (2011)ADSCrossRefGoogle Scholar - 13.K. Andrzejewski, K. Bolonek, J. Gonera, P. Maslanka, Canonical formalism and quantization of perturbative sector of higher-derivative theories. Phys. Rev. A
**76**, 032110 (2007)ADSCrossRefGoogle Scholar - 14.T. Chen, M. Fasiello, E.A. Lim, A.J. Tolley, Higher derivative theories with constraints: exorcising Ostrogradskis ghost. JCAP
**1302**, 042 (2013)ADSMathSciNetCrossRefGoogle Scholar - 15.E.A. Bergshoeff, O. Hohm, P.K. Townsend, On higher derivatives in 3D gravity and higher spin gauge theories. Ann. Phys.
**325**, 1118–1134 (2010)ADSMathSciNetCrossRefMATHGoogle Scholar - 16.E.A. Bergshoeff, M. Kovacevic, J. Rosseel, P.K. Townsend, Y. Yin, A spin-4 analog of 3D massive gravity. Class. Quant. Gravit
**28**, 245007 (2011)ADSMathSciNetCrossRefMATHGoogle Scholar - 17.T.P. Sotiriou, V. Faraoni, f(R) theories of gravity. Rev. Mod. Phys.
**82**, 451–497 (2010)ADSCrossRefMATHGoogle Scholar - 18.A. De Felice, S. Tsujikawa, f(R) theories. Living Rev. Rel.
**13**, 3 (2010)CrossRefMATHGoogle Scholar - 19.D.S. Kaparulin, S.L. Lyakhovich, A.A. Sharapov, Classical and quantum stability of higher-derivative dynamics. Eur. Phys. J. C
**74**, 3072 (2014)ADSCrossRefGoogle Scholar - 20.P.O. Kazinski, S.L. Lyakhovich, A.A. Sharapov, Lagrange structure and quantization. JHEP
**0507**, 076 (2005)ADSMathSciNetCrossRefGoogle Scholar - 21.D.S. Kaparulin, S.L. Lyakhovich, A.A. Sharapov, Rigid symmetries and conservation laws in non-Lagrangian field theory. J. Math. Phys.
**51**, 082902 (2010)ADSMathSciNetCrossRefMATHGoogle Scholar - 22.D.S. Kaparulin, I.Y. Karataeva, S.L. Lyakhovich, Higher derivative extensions of 3d Chern–Simons models: conservation laws and stability. Eur. Phys. J. C
**75**, 552 (2015)ADSCrossRefGoogle Scholar - 23.D.S. Kaparulin, S.L. Lyakhovich, On stability of non-linear oscillator with higher derivatives. Russ. Phys. J.
**57**, 1261–1265 (2015)CrossRefMATHGoogle Scholar - 24.D. S. Kaparulin, S. L. Lyakhovich, Energy and stability of Pais–Uhlenbeck oscillator, in Geometric Methods in Physics XXXIII Workshop, Bialowieza, Poland, June 29 July 5, 2014 (Birkhauser Basel, 2015), pp. 127–134Google Scholar
- 25.D.S. Kaparulin, S.L. Lyakhovich, On the equivalence of two approaches to the construction of interactions in higher-derivative theories. Russ. Phys. J.
**59**, 2041–2047 (2017)CrossRefGoogle Scholar - 26.M.V. Ostrogradski, Memoires sur les equations differentielles relatives au probleme des isoperimetretres. Mem. Acad. St. Petersburg
**6**, 385–517 (1850)Google Scholar - 27.D.M. Gitman, S.L. Lyakhovich, I.V. Tyutin, Hamilton formulation of a theory with high derivatives. Sov. Phys. J.
**26**, 61–66 (1983)Google Scholar - 28.I.L. Buchbinder, S.L. Lyahovich, Canonical quantisation and local measure of \(R^2\) gravity. Class. Quant. Gravit.
**4**, 1487–1501 (1987)ADSCrossRefGoogle Scholar - 29.J. Kluson, M. Oksanen, A. Tureanu, Hamiltonian analysis of curvature-squared gravity with or without conformal invariance. Phys. Rev. D
**89**, 064043 (2014)ADSCrossRefGoogle Scholar - 30.Y. Ohkuwa, Y. Ezawa, On the canonical formalism of \(f(R)\)-type gravity using Lie derivatives. Eur. Phys. J. Plus
**77**, 130 (2015)Google Scholar - 31.D.S. Kaparulin, S.L. Lyakhovich, A.A. Sharapov, BRST analysis of general mechanical systems. J. Geom. Phys.
**74**, 164–184 (2013)ADSMathSciNetCrossRefMATHGoogle Scholar - 32.K. Bolonek, P. Kosinski, Hamiltonian structures for Pais–Uhlenbeck oscillator. Acta Phys. Polon. B
**36**, 2115 (2005)ADSGoogle Scholar - 33.E.V. Damaskinsky, M.A. Sokolov, Remarks on quantization of Pais–Uhlenbeck oscillators. J. Phys. A: Math. Gen.
**39**, 10499 (2006)ADSMathSciNetCrossRefMATHGoogle Scholar - 34.C.M. Bender, P.D. Mannheim, No-ghost theorem for the fourth-order derivative Pais–Uhlenbeck oscillator model. Phys. Rev. Lett.
**100**, 110402 (2008)ADSCrossRefGoogle Scholar - 35.C.M. Bender, Giving up the ghost. J. Phys. A Math. Theor.
**41**, 304018 (2008)MathSciNetCrossRefMATHGoogle Scholar - 36.A. Mostafazadeh, A Hamiltonian formulation of the Pais–Uhlenbeck oscillator that yields a stable and unitary quantum system. Phys. Lett. A
**375**, 93–98 (2010)ADSMathSciNetCrossRefMATHGoogle Scholar - 37.I. Masterov, An alternative Hamiltonian formulation for the Pais–Uhlenbeck oscillator. Nucl. Phys. B
**902**, 95–114 (2016)ADSMathSciNetCrossRefMATHGoogle Scholar - 38.I. Masterov, The odd-order paisUhlenbeck oscillator. Nucl. Phys. B
**907**, 495508 (2016)MathSciNetCrossRefGoogle Scholar - 39.D.S. Kaparulin, S.L. Lyakhovich, A.A. Sharapov, Stable interactions via proper deformations. J. Phys. A Math. Theor.
**49**, 155204 (2016)ADSMathSciNetCrossRefMATHGoogle Scholar - 40.A.V. Smilga, Benign vs malicious ghosts in higher-derivative theories. Nucl. Phys. B
**706**, 598–614 (2005)ADSMathSciNetCrossRefMATHGoogle Scholar - 41.A.V. Smilga, Comments on the dynamics of the Pais–Uhlenbeck oscillator. SIGMA
**5**, 017 (2009)MathSciNetMATHGoogle Scholar - 42.M. Pavsic, Stable self-interacting Pais–Uhlenbeck oscillator. Mod. Phys. Lett. A
**28**, 1350165 (2013)ADSCrossRefMATHGoogle Scholar - 43.M. Pavsic, Pais–Uhlenbeck oscillator and negative energies. Int. J. Geom. Methods Mod. Phys.
**13**, 1630015 (2016)MathSciNetCrossRefMATHGoogle Scholar - 44.M. Avendao-Camacho, J. A. Vallejo, Y. Vorobiev, A perturbation theory approach to the stability of the Pais-Uhlenbeck oscillator. J. Math. Phys.
**58**(9), 093501 (2017). arXiv:1703.08929 [math-ph] - 45.P.K. Townsend, K. Pilch, P. van Nieuwenhuizen, Self-duality in odd dimensions. Phys. Lett. B
**136**, 38–42 (1984)ADSMathSciNetCrossRefGoogle Scholar - 46.S. Deser, R. Jackiw, ‘Self-duality’ of topologically massive Gauge theories. Phys. Lett. B
**139**, 371–373 (1984)ADSMathSciNetCrossRefGoogle Scholar - 47.S. Deser, R. Jackiw, S. Templeton, Topologically massive gauge theories. Ann. Phys.
**140**, 372–411 (1982)ADSMathSciNetCrossRefGoogle Scholar - 48.S. Deser, R. Jackiw, S. Templeton, Three-dimensional massive gauge theories. Phys. Rev. Lett.
**48**, 975–978 (1982)ADSCrossRefGoogle Scholar - 49.R. Banerjee, B. Chakraborty, T. Scaria, Polarization vectors, doublet structure and Wigners little group in planar field theory. Int. J. Mod. Phys. A
**16**, 3967–3989 (2001)ADSCrossRefMATHGoogle Scholar - 50.S. Deser, B. Tekin, Massive, topologically massive, models. Class. Quant. Gravit
**19**, 97–100 (2002)ADSMathSciNetCrossRefMATHGoogle Scholar - 51.D.S. Kaparulin, I.Y. Karataeva, S.L. Lyakhovich, Extension of the Chern–Simons theory: conservation laws, lagrange structures, and stability. Russ. Phys. J.
**59**, 1930–1936 (2017)CrossRefMATHGoogle Scholar - 52.V. A. Abakumova, D. S. Kaparulin, S. L. Lyaknovich, A bounded Hamiltonian in the extended Chern–Simons theory of fourth order. Russ. Phys. J.
**60**(12), 40–47 (2017) (in Russian, English translation will appear in Apr. 2018)Google Scholar - 53.S.L. Lyakhovich, A.A. Sharapov, BRST theory without Hamiltonian and Lagrangian. JHEP
**0503**, 011 (2005)ADSMathSciNetCrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Funded by SCOAP^{3}