The new spin-statistics theorem arising from pseudo-Hermiticity

Get Citation
Yao Bai, Cheng-Yang Lee, Ruifeng Leng and Siyi Zhou. The new spin-statistics theorem arising from pseudo-Hermiticity[J]. Chinese Physics C. doi: 10.1088/1674-1137/aea547
Yao Bai, Cheng-Yang Lee, Ruifeng Leng and Siyi Zhou. The new spin-statistics theorem arising from pseudo-Hermiticity[J]. Chinese Physics C.  doi: 10.1088/1674-1137/aea547 shu
Milestone
Received: 2026-06-22
Article Metric

Article Views(75)
PDF Downloads(1)
Cited by(0)
Policy on re-use
To reuse of Open Access content published by CPC, for content published under the terms of the Creative Commons Attribution 3.0 license (“CC CY”), the users don’t need to request permission to copy, distribute and display the final published version of the article and to create derivative works, subject to appropriate attribution.
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Email This Article

Title:
Email:

The new spin-statistics theorem arising from pseudo-Hermiticity

    Corresponding author: Siyi Zhou, siyi@cqu.edu.cn
  • 1. Department of Physics and Chongqing Key Laboratory for Strongly Coupled Physics, Chongqing University, Chongqing 401331, China
  • 2. School of Physics, Sun Yat-Sen University, Guangzhou 510275, China

Abstract: We prove a new spin–statistics theorem for a class of quantum field theories with pseudo-Hermitian Hamiltonians. Quantum fields with integer spin exhibit fermionic statistics, whereas those with half-integer spin exhibit bosonic statistics, in contrast to the conventional case. This reversal arises from defining canonical field operators using pseudo-Hermitian conjugation rather than Hermitian conjugation, thereby circumventing the conventional spin–statistics theorem. The free fields retain locality, Lorentz covariance, and unitary evolution. However, interactions can violate unitarity because of the intrinsically non-Hermitian nature of pseudo-Hermitian Hamiltonians. We discuss unitarity issues in this quantum field theory and its potential applications to the dS4/CFT3 correspondence.

    HTML

    I.   INTRODUCTION
    • Theorems in quantum field theory (QFT) usually have limited applicability. Most theorems apply either to models in lower-dimensional spacetime or to theories with symmetries that have not been observed in nature. The spin-statistics theorem (SST) is an exception, as it correctly describes the connection between spin and statistics for all observed elementary particles [1−6]. In four-dimensional Minkowski spacetime, the SST can be stated simply: Integer spin fields are bosonic, while half-integer spin fields are fermionic.

      The SST is derived from the principles of locality and Poincaré symmetry in QFT. Consequently, the connection between spin and statistics stated in the preceding paragraph is widely believed to be unique. Here, we demonstrate that, for a class of QFTs with pseudo-Hermitian Hamiltonians (pseudo-Hermitian QFTs), this widespread belief is no longer valid.

      A pseudo-Hermitian Hamiltonian is a special class of non-Hermitian Hamiltonian first studied by Pauli [7] and later by Mostafazadeh [8−11]. To define a pseudo-Hermitian Hamiltonian, we must first specify a linear and Hermitian operator and use it to define the pseudo-Hermitian operation. Let this operator be η. Given an operator $ {\cal{O}} $, the η pseudo-Hermitian conjugation $ \# $ is defined as

      $ {\cal{O}}^{\#}\equiv\eta^{-1}{\cal{O}}^{\dagger}\eta\,. $

      (1)

      The operator η must be linear and Hermitian to ensure that $ {\cal{O}}^{\#\#}={\cal{O}} $. A Hamiltonian is η-pseudo-Hermitian when

      $ H^{\#}=H \,. $

      (2)

      Different classes of pseudo-Hermitian QFTs can be constructed by specifying different choices of η [12−19]. 1 The class of pseudo-Hermitian QFT studied in this work was constructed by LeClair et al. [20, 21] and Ahluwalia et al. [22−24]. By taking η to have a specific form and using it to define field adjoints through pseudo-Hermitian conjugation, they constructed scalar and spinor fields that are fermionic and bosonic, respectively. Owing to this new relationship between spin and statistics, these fields have found applications in the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence [22−25] 2.

      In this work, we prove a new spin-statistics theorem (NSST) for the class of pseudo-Hermitian QFT constructed by LeClair et al. and Ahluwalia et al. 3 The NSST states that integer-spin fields are fermionic, whereas half-integer-spin fields are bosonic. The standard SST is circumvented by exploiting the freedom to construct field adjoints via pseudo-Hermitian conjugation.

      In Section 3, we construct the scalar, spinor, and vector fields using the pseudo-Hermitian framework. These fields are shown to be local, to respect Poincaré symmetry, and to satisfy the NSST. The free Lagrangians $ L_{0} $ for these fields are manifestly pseudo-Hermitian and non-Hermitian. After performing the Legendre transform on $ L_{0} $, the non-Hermitian contributions cancel, yielding a free Hamiltonian $ H_{0} $ that is positive definite and Hermitian. The parity and time-reversal transformations of these fields are the same as those of their Hermitian counterparts. However, the charge-conjugation transformation differs. In contrast to the particle states described by Hermitian QFTs, in which the particle and antiparticle have even charge-conjugation phases, the particle and antiparticle associated with pseudo-Hermitian QFT have odd charge-conjugation phases.

      The free Lagrangian densities for pseudo-Hermitian QFTs are manifestly Poincaré-invariant and pseudo-Hermitian. Therefore, their Poincaré generators satisfy the Poincaré algebra and are pseudo-Hermitian. In Section IV, we show that η commutes with all these generators, so they are simultaneously Hermitian and pseudo-Hermitian. In contrast, the full Hamiltonian H and the Belinfante-Rosenfeld tensor are generally non-Hermitian. Therefore, the interacting theories may violate unitarity.

      Using the scattering theory developed in [26], we examine the unitarity of the S-matrix. In doing so, we have been unable to find a fully unitary pseudo-Hermitian QFT. If these fields are non-unitary, they cannot describe elementary particles. One might therefore be inclined to rule out such constructs as unphysical. In our view, however, this negative conclusion is premature. Tentative results in the literature suggest that pseudo-Hermitian scalar and spinor fields are relevant for realizing the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence [25]. 4 Nevertheless, there is a crucial difference between their constructions and ours, which we explain in Section V.

      The paper is organized as follows. In Section II, we review the standard SST. Subsequently, we construct the free pseudo-Hermitian QFT that satisfies the NSST. In Section III, we construct the scalar, spinor, and vector fields that satisfy the NSST. In Section IV, we present the Lagrangian formalism for pseudo-Hermitian QFT. We show that the generators of the Poincaré group obtained from the free Lagrangian density satisfy the Poincaré algebra and are simultaneously Hermitian and pseudo-Hermitian. In Section V, we discuss issues related to unitarity in pseudo-Hermitian QFTs and their potential applications to the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence. We conclude in Section VI.

    II.   SPIN-STATISTICS THEOREM
    • We begin by reviewing the basic structure of Hermitian QFT and the standard SST. We then use results from Hermitian QFT to construct a pseudo-Hermitian QFT that obeys the NSST.

      Let $ \lambda(x) $ denote a free field and $ \bar{\lambda}(x) $ its adjoint in a Hermitian QFT. We expand the fields as

      $ \begin{aligned}[b] \lambda(x)& =\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma}\Big[ {\rm e}^{-{\rm i}p\cdot x}f({\bf{p}},\sigma)a({\bf{p}},\sigma)\\&\quad + {\rm e}^{{\rm i}p\cdot x}g({\bf{p}},\sigma)a^{c\dagger}({\bf{p}},\sigma)\Big] \, , \end{aligned} $

      (3)

      $ \begin{aligned}[b] \bar{\lambda}(x) &=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma}\Big[ {\rm e}^{{\rm i}p\cdot x}\bar{f}({\bf{p}},\sigma)a^{\dagger}({\bf{p}},\sigma)\\&\quad + {\rm e}^{-{\rm i}p\cdot x}\bar{g}({\bf{p}},\sigma)a^{c}({\bf{p}},\sigma)\Big] \, , \end{aligned} $

      (4)

      where $ f,g,\bar{f},\bar{g} $ are coefficient functions, $ a^{\dagger}({\bf{p}},\sigma) $ creates particles, and $ a^{c\dagger}({\bf{p}},\sigma) $ creates antiparticles.

      Let $ |0\rangle $ denote the free vacuum state. The single-particle and antiparticle states, with appropriate normalizations, are defined as

      $ |{\bf{p}},\sigma,a\rangle \equiv\sqrt{2E_{{\bf{p}}}}a^{\dagger}({\bf{p}},\sigma)|0\rangle\,, $

      (5)

      $ |{\bf{p}},\sigma,a^{c}\rangle \equiv\sqrt{2E_{{\bf{p}}}}a^{c\dagger}({\bf{p}},\sigma)|0\rangle\,. $

      (6)

      These states furnish a unitary representation of the Poincaré group. For massive particles, $ \sigma=-j,\cdots,j $, whereas for massless particles, $ \sigma=\pm j $, where $ j= {0, \dfrac{1}{2}, 1\cdots} $ is the spin of the particle. The creation and annihilation operators must satisfy canonical commutation or anticommutation relations

      $ \begin{aligned}[b] \left[a({\bf{p}}',\sigma'),a^{\dagger}({\bf{p}},\sigma)\right]_{\pm} &=\left[a^{c}({\bf{p}}',\sigma'),a^{c\dagger}({\bf{p}},\sigma)\right]_{\pm}\\& =(2\pi)^{3}\delta^{(3)}({\bf{p}}'-{\bf{p}})\delta_{\sigma'\sigma} \,, \end{aligned} $

      (7)

      where the signs $ - $ and $ + $ denote a commutator and an anticommutator, respectively:

      $ [a,b]_{\pm}\equiv ab\pm ba\,. $

      (8)

      Particles and their associated fields obey bosonic (fermionic) statistics when the creation and annihilation operators satisfy commutation (anticommutation) relations.

      In standard Hermitian QFT, the connection between spin and statistics is determined by the requirements of Poincaré covariance, Hermiticity, and locality. We now examine these requirements. Poincaré covariance implies that $ \lambda(x) $ and $ \bar{\lambda}(x) $ transform as

      $ \text{U}( {\Lambda},\alpha)\lambda(x)\text{U}^{-1}( {\Lambda},\alpha) ={\cal{D}}^{-1}( {\Lambda})\lambda( {\Lambda} x+\alpha) \, , $

      (9)

      $ \text{U}( {\Lambda},\alpha)\bar{\lambda}(x)\text{U}^{-1}( {\Lambda},\alpha) =\bar{\lambda}( {\Lambda} x+\alpha){\cal{D}}( {\Lambda}) \, , $

      (10)

      where $ \text{U}( {\Lambda},\alpha) $ is the unitary representation of Poincaré transformations on the Hilbert space and $ {\cal{D}}( {\Lambda}) $ is the finite-dimensional representation of the Lorentz group. Therefore, $ \bar{\lambda}(x)\lambda(x) $ transforms as a scalar operator.

      In addition to Poincaré covariance for the field and its adjoint, the full Hamiltonian H constructed from $ \lambda(x) $ and $ \bar{\lambda}(x) $ must be Hermitian. In perturbative QFT, where $ H=H_{0}+V $ and $ H_{0} $ and V are the free and interacting parts, respectively, each term must be Hermitian: $ H^{\dagger}_{0}=H_{0} $ and $ V^{\dagger}=V $. In a Hermitian QFT, these requirements are met by constructing Hermitian Lagrangian densities $ {\cal{L}}^{\dagger}={\cal{L}} $. The Hamiltonian obtained by performing a Legendre transform on the Lagrangian $ L=\int {\rm d}^{3}x\,{\cal{L}} $ is then automatically Hermitian. As with the full Hamiltonian, the Lagrangian density can be split into free and interacting parts, $ {\cal{L}}={\cal{L}}_{0}+{\cal{L}}_{\text{int}} $, where $ {\cal{L}}^{\dagger}_{0}={\cal{L}}_{0} $ and $ {\cal{L}}^{\dagger}_{\text{int}}={\cal{L}}_{\text{int}} $.

      The free Lagrangian density $ {\cal{L}}_{0} $ consists of the kinetic and mass terms. The kinetic term contains derivative operators, while the mass term is proportional to $ \bar{\lambda}(x)\lambda(x) $. Both the kinetic and mass terms must be Hermitian; therefore, we require

      $ \left[\bar{\lambda}(x)\lambda(x)\right]^{\dagger} = \bar{\lambda}(x)\lambda(x) \, . $

      (11)

      For example, if $ \lambda(x) $ is a complex scalar field, its adjoint is given by $ \bar{\lambda}(x)=\lambda^{\dagger}(x) $. If $ \lambda(x) $ is a Dirac field, then $ \bar{\lambda}(x)=\lambda^{\dagger}(x)\gamma^{0} $. After substituting Eqs. (3)–(4) into $ \bar{\lambda}(x)\lambda(x) $, imposing Hermiticity requires the coefficient functions to satisfy

      $ \left[\bar{f}({\bf{p}}',\sigma')g({\bf{p}},\sigma)\right]^{\dagger}=\bar{g}({\bf{p}},\sigma)f({\bf{p}}',\sigma')\,. $

      (12)

      Thus far, we have imposed Poincaré covariance and Hermiticity on the quantum fields. We must now impose locality. Accordingly, we require the field $ \lambda(t,{\bf{x}}) $ to commute or anticommute with its adjoint $ \bar{\lambda}(t,{\bf{y}}) $ at equal times. Using Eq. (7), we obtain

      $ \left[\lambda(t,{\bf{x}}),\bar{\lambda}(t,{\bf{y}})\right]_{\pm}=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\, {\rm e}^{{\rm i}{{\bf{p}}\cdot({\bf{x}}-{\bf{y}})}}\dfrac{1}{2E_{{\bf{p}}}}M_{\pm}({\bf{p}}) \, , $

      (13)

      where

      $ M_{\pm}({\bf{p}}) \equiv \sum\limits_{\sigma} \left[f({\bf{p}},\sigma)\bar{f}({\bf{p}},\sigma)\pm g(-{\bf{p}},\sigma)\bar{g}(-{\bf{p}},\sigma)\right] \, . $

      (14)

      The SST states that integer-spin fields are bosonic. The equal-time (spacelike) commutator between $ \lambda(t,{\bf{x}}) $ and $ \bar{\lambda}(t,{\bf{y}}) $ is given by

      $ \left[\lambda(t,{\bf{x}}),\bar{\lambda}(t,{\bf{y}})\right]_-=0, \ M_-({\bf{p}})=0\,, j=0,1,\cdots\,. $

      (15)

      Fields with half-integer spin are fermionic; therefore, $ \lambda(t,{\bf{x}}) $ and $ \bar{\lambda}(t,{\bf{y}}) $ anticommute at equal times

      $ \left[\lambda(t,{\bf{x}}),\bar{\lambda}(t,{\bf{y}})\right]_+=0, \ M_+({\bf{p}})=0\,, j= {\dfrac{1}{2},\dfrac{3}{2},\cdots\,.} $

      (16)

      In $ 3+1 $-dimensional Minkowski spacetime, the SST for Hermitian QFTs is a natural consequence of Poincaré covariance, Hermiticity, and locality. Consequently, the standard SST is widely believed to be unique. However, the works of LeClair et al. [20, 21] and Ahluwalia et al. [22, 24] have shown otherwise. They have demonstrated that, by defining the appropriate field adjoint using pseudo-Hermitian conjugation, one can construct fermionic scalar and bosonic spinor fields while preserving Poincaré covariance and locality. On the other hand, the full Hamiltonians are no longer Hermitian but are instead pseudo-Hermitian. The important question is whether unitarity can be preserved in pseudo-Hermitian QFTs. We briefly discuss the issue of unitarity in Section V. Detailed analyses of interacting pseudo-Hermitian QFTs have appeared in the literature. 5

      To construct a general class of pseudo-Hermitian QFTs obeying the NSST, we first introduce the fields $ \chi(x) $ and $ \bar{\chi}(x) $:

      $ \begin{aligned}[b] \chi(x) = & \displaystyle\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma}\Big[ {\rm e}^{-{\rm i}p\cdot x}f({\bf{p}},\sigma)b({\bf{p}},\sigma)\\ & + {\rm e}^{{\rm i}p\cdot x}g({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\Big] \, , \end{aligned} $

      (17)

      $ \begin{aligned}[b] \bar{\chi}(x) =& \int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma}\Big[ {\rm e}^{{\rm i}p\cdot x}\bar{f}({\bf{p}},\sigma)b^{\dagger}({\bf{p}},\sigma)\\ & + {\rm e}^{-{\rm i}p\cdot x}\bar{g}({\bf{p}},\sigma)b^{c}({\bf{p}},\sigma)\Big] \,. \end{aligned} $

      (18)

      They are identical to $ \lambda(x) $ and $ \bar{\lambda}(x) $ except that $ a,a^{c} $ are replaced by $ b,b^{c} $, which also satisfy the canonical relation

      $ \begin{aligned}[b]\left[b({\bf{p}}',\sigma'),b^{\dagger}({\bf{p}},\sigma)\right]_{\pm} =\;& \left[b^{c}({\bf{p}}',\sigma'),b^{c\dagger}({\bf{p}},\sigma)\right]_{\pm}\\ =\;& (2\pi)^{3}\delta_{\sigma'\sigma}\delta^{(3)}({\bf{p}}'-{\bf{p}}) \, . \end{aligned} $

      (19)

      Thus, $ \chi(x) $ and $ \bar{\chi}(x) $ are Poincaré covariant

      $ \text{U}( {\Lambda},\alpha)\chi(x)\text{U}^{-1}( {\Lambda},\alpha) ={\cal{D}}^{-1}( {\Lambda})\chi( {\Lambda} x+\alpha) \, , $

      (20)

      $ \text{U}( {\Lambda},\alpha)\bar{\chi}(x)\text{U}^{-1}( {\Lambda},\alpha) =\bar{\chi}( {\Lambda} x+\alpha){\cal{D}}( {\Lambda}) \, . $

      (21)

      If $ \bar{\chi}(x) $ is the field adjoint of $ \chi(x) $, then they describe the same physics as $ \lambda(x) $ and $ \bar{\lambda}(x) $. The NSST arises from the freedom to define a new field adjoint for $ \chi(x) $ using pseudo-Hermitian conjugation: 6

      $ \begin{aligned}[b] \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x)& \equiv\eta^{-1}\bar{\chi}(x)\eta\\ &=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma} \Big[ {\rm e}^{{\rm i}p\cdot x}\bar{f}({\bf{p}},\sigma)\eta^{-1}b^{\dagger}({\bf{p}},\sigma)\eta\\& \quad + {\rm e}^{-{\rm i}p\cdot x}\bar{g}({\bf{p}},\sigma)\eta^{-1}b^{c}({\bf{p}},\sigma)\eta\Big]\,, \end{aligned} $

      (22)

      where η is a linear Hermitian operator. The Poincaré transformation of $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x) $ is

      $ \text{U}( {\Lambda},\alpha)\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x)\text{U}^{-1}( {\Lambda},\alpha) =\eta^{-1}_{ {\Lambda},\alpha}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}( {\Lambda} x+\alpha)\eta_{ {\Lambda},\alpha}{\cal{D}}( {\Lambda}) \,, $

      (23)

      where $ \eta_{ {\Lambda},\alpha}\equiv U( {\Lambda},\alpha)\eta U^{-1}( {\Lambda},\alpha) $. To preserve Poincaré covariance, η must commute with $ \text{U}( {\Lambda},\alpha) $. To determine η, we need to establish how it acts on the operators $ b^{\dagger} $ and $ b^{c} $. Since $ b^{\dagger} $ and $ b^{c} $ furnish a unitary irreducible representation of the Poincaré group, the Poincaré transformations of $ b^{\dagger} $ and $ b^{c} $ are

      $ \begin{aligned}[b] &\text{U}( {\Lambda},\alpha)b^{\dagger} ({\bf{p}},\sigma)\text{U}^{-1}( {\Lambda},\alpha)\\ = & {\rm e}^{-{\rm i}p\cdot\alpha}\sum\limits_{\sigma'}D_{\sigma'\sigma}(W( {\Lambda},p))b^{\dagger}({ {\Lambda} {\bf{p}}},\sigma') \, , \end{aligned} $

      (24)

      $ \begin{aligned}[b]& \text{U}( {\Lambda},\alpha)b^{c} ({\bf{p}},\sigma)\text{U}^{-1}( {\Lambda},\alpha)\\ = & {\rm e}^{{\rm i}p\cdot\alpha}\sum\limits_{\sigma'}D^{*}_{\sigma'\sigma}(W( {\Lambda},p))b^{c}({ {\Lambda} {\bf{p}}},\sigma') \, , \end{aligned} $

      (25)

      where $ D(W) $ is the unitary irreducible representation of the little group $ W(\Lambda,p) $ [27, Sec. II]. The simplest nontrivial solution for η is for it to be an internal symmetry operator that leaves the p and σ labels of $ b^{\dagger} $ and $ b^{c} $ invariant. Therefore,

      $ \eta^{-1}b^{\dagger}({\bf{p}},\sigma)\eta = {\rm e}^{-{\rm i}\theta}b^{\dagger}({\bf{p}},\sigma) \, , $

      (26)

      $ \eta^{-1}b^{c}({\bf{p}},\sigma)\eta = {\rm e}^{{\rm i}\theta^{c}}b^{c}({\bf{p}},\sigma) \, , $

      (27)

      where θ and $ \theta^{c} $ are constant real phases to be determined. Since only the relative phase between $ b^{\dagger}({\bf{p}},\sigma) $ and $ b^{c}({\bf{p}},\sigma) $ is meaningful, we may set $ \theta=0 $ and take $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x) $ to be

      $ \begin{aligned}[b] \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma}\Big[ {\rm e}^{{\rm i}p\cdot x}\bar{f}({\bf{p}},\sigma)b^{\dagger}({\bf{p}},\sigma)\\ & \quad + {\rm e}^{{\rm i}\theta^{c}} {\rm e}^{-{\rm i}p\cdot x}\bar{g}({\bf{p}},\sigma)b^{c}({\bf{p}},\sigma)\Big] \, . \end{aligned} $

      (28)

      The commutator (anticommutator) of $ \chi(t,{\bf{x}}) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(t,{\bf{y}}) $ is given by

      $ \left[\chi(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(t,{\bf{y}})\right]_{\pm}=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{2E_{{\bf{p}}}} {\rm e}^{{\rm i}{{\bf{p}}\cdot({\bf{x}}-{\bf{y}})}}N_{\pm}({\bf{p}},\theta^{c}) \, , $

      (29)

      where

      $ N_{\pm}({\bf{p}};\theta^{c}) \equiv \sum\limits_{\sigma} \left[f({\bf{p}},\sigma)\bar{f}({\bf{p}},\sigma)\pm {\rm e}^{{\rm i}\theta^{c}}g(-{\bf{p}},\sigma)\bar{g}(-{\bf{p}},\sigma)\right] \, . $

      (30)

      Comparing Eqs. (29)−(30) with Eqs. (15)−(16) shows that the spin sum $ N_{\pm}({\bf{p}},\theta^{c}) $ admits two solutions for which χ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}} $ are local:

      $ N_{\pm}({\bf{p}};n\pi) =M_{\pm}({\bf{p}})=0\,,\, {\rm e}^{{\rm i}\theta^{c}}= {\rm e}^{{\rm i}n\pi}=1\,, $

      (31)

      $ N_{\pm}({\bf{p}};n'\pi) =M_{\mp}({\bf{p}})=0\,,\, {\rm e}^{{\rm i}\theta^{c}}= {\rm e}^{{\rm i}n'\pi}=-1\,. $

      (32)

      These two solutions, particularly the latter, are the main results of this work. We examine them in turn.

      Trivial solution (31). This solution is trivial because $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x)=\bar{\chi}(x) $. The theory therefore reduces to standard Hermitian QFT. The commutator (anticommutator) of $ \chi(t,{\bf{x}}) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(t,{\bf{y}}) $ coincides with the commutator (anticommutator) of $ \lambda(t,{\bf{x}}) $ and $ \bar{\lambda}(t,{\bf{y}}) $

      $ \left[\chi(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(t,{\bf{y}})\right]_-=\left[\lambda(t,{\bf{x}}),\bar{\lambda}(t,{\bf{y}})\right]_- =0\,,\,j=0,1,\cdots\,, $

      (33)

      $ \left[\chi(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(t,{\bf{y}})\right]_+=\left[\lambda(t,{\bf{x}}),\bar{\lambda}(t,{\bf{y}})\right]_+ =0\,,\,j= {\dfrac{1}{2},\dfrac{3}{2},\cdots\,.} $

      (34)

      Nontrivial solution (32) When $ {\rm e}^{{\rm i}\theta^{c}}=-1 $, η commutes with $ b_{\sigma}({\bf{p}}) $ and anticommutes with $ b^{c\dagger}({\bf{p}}) $,

      $ \eta^{-1}b_{\sigma}({\bf{p}})\eta=b_{\sigma}({\bf{p}})\,, \eta^{-1}b^{c\dagger}_{\sigma}({\bf{p}})=-b^{c\dagger}_{\sigma}({\bf{p}})\,. $

      (35)

      The solution for η is given in [28]

      $ \eta=\exp\left[{\rm i}\pi\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\sum\limits_{\sigma}b^{c\dagger}({\bf{p}},\sigma)b({\bf{p}},\sigma)\right] \, . $

      (36)

      Therefore, the commutator (anticommutator) of $ \chi(t,{\bf{x}}) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(t,{\bf{y}}) $ equals the anticommutator (commutator) of $ \lambda(t,{\bf{x}}) $ and $ \bar{\lambda}(t,{\bf{y}}) $:

      $ \left[\chi(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(t,{\bf{y}})\right]_+ =\left[\lambda(t,{\bf{x}}),\bar{\lambda}(t,{\bf{y}})\right]_-=0\,,\, j=0,1,\cdots\,, $

      (37)

      $ \left[\chi(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(t,{\bf{y}})\right]_- =\left[\lambda(t,{\bf{x}}),\bar{\lambda}(t,{\bf{y}})\right]_+=0\,,\, j= {\dfrac{1}{2},\dfrac{3}{2}\cdots\,.} $

      (38)

      Equations (37)–(38) express the NSST: integer-spin fields are fermionic, and half-integer-spin fields are bosonic. The fields $ \chi(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x) $ associated with Eqs. (36)–(38) have the following expansions

      $ \begin{aligned}{r} \chi(x)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma}\Big[ {\rm e}^{-{\rm i}p\cdot x}f({\bf{p}},\sigma)b({\bf{p}},\sigma)\\&\quad + {\rm e}^{{\rm i}p\cdot x}g({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\Big]\,, \, \end{aligned} $

      (39)

      $ \begin{aligned}[b]] \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma}\Big[ {\rm e}^{{\rm i}p\cdot x}\bar{f}({\bf{p}},\sigma)b^{\dagger}({\bf{p}},\sigma)\\&\quad - {\rm e}^{-{\rm i}p\cdot x}\bar{g}({\bf{p}},\sigma)b^{c}({\bf{p}},\sigma)\Big]\,. \end{aligned} $

      (40)
    III.   PSEUDO-HERMITIAN QUANTUM FIELDS
    • In this section, we construct pseudo-Hermitian scalar, spinor, and vector fields using the formalism presented in the previous section. We derive their equations of motion, formulate their Lagrangian densities, and determine the corresponding discrete symmetries, namely charge conjugation C, parity P, and time reversal T.

      We show that these fields obey the NSST and satisfy the canonical commutators and anticommutators. The free Lagrangian density $ {\cal{L}}_{0} $ and the corresponding Lagrangian $ L_{0}=\int {\rm d}^{3}x\,{\cal{L}}_{0} $ are η pseudo-Hermitian. Consequently, the free Hamiltonian $ H_{0} $, when expressed in terms of the canonical variables, is manifestly pseudo-Hermitian. Notably, when $ H_{0} $ is expanded in terms of the annihilation and creation operators, the non-Hermitian contributions cancel.

      $ H_{0}=\int {\rm d}^{3}p\,E_{{\bf{p}}}\sum\limits_{\sigma}\left[b^{\dagger}_{\sigma}({\bf{p}})b_{\sigma}({\bf{p}})\pm b^{c}_{\sigma}({\bf{p}})b^{c\dagger}_{\sigma}({\bf{p}})\right]\,. $

      (41)

      Since η commutes with $ b_{\sigma}({\bf{p}}) $ and anticommutes with $ b^{c}_{\sigma}({\bf{p}}) $, it commutes with $ H_{0} $. Therefore, $ H_{0} $ is both Hermitian and η-pseudo-Hermitian

      $ H^{\#}_{0}=\eta^{-1}H^{\dagger}_{0}\eta=H_{0}\,. $

      (42)

      In the next section, we prove that, for a general QFT with field and adjoint $ \chi(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x) $, respectively, the free Hamiltonian $ H_{0} $ and three-momentum $ {\bf{P}}_{0} $ are always Hermitian and positive-definite.

    • A.   Scalar field

    • The pseudo-Hermitian scalar field is an anticommuting complex scalar field introduced by LeClair et al. [20, 21]. This construction is known as symplectic fermion theory. The fields $ \phi(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(x) $ have the expansions

      $ \phi(x) =\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\left[ {\rm e}^{-{\rm i}p\cdot x}b({\bf{p}})+ {\rm e}^{{\rm i}p\cdot x}b^{c\dagger}({\bf{p}})\right] \, , $

      (43)

      $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(x) =\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\left[ {\rm e}^{{\rm i}p\cdot x}b^{\dagger}({\bf{p}})- {\rm e}^{-{\rm i}p\cdot x}b^{c}({\bf{p}})\right] \,. $

      (44)

      The minus sign in Eq. (44) does not affect the kinematics; therefore, both $ \phi(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(x) $ satisfy the Klein–Gordon equation.

      $ (\partial^{\mu}\partial_{\mu}+m^{2})\phi=(\partial^{\mu}\partial_{\mu}+m^{2})\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}=0\,, $

      (45)

      and have the Lagrangian density

      $ {\cal{L}}_{\phi}=\partial^{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}\partial_{\mu}\phi-m^{2}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}\phi\,. $

      (46)

      The fields carry spin $ j=0 $ and are therefore fermionic. From Eq. (46), the conjugate momenta corresponding to $ \phi(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(x) $ are 7

      $ \pi_{\phi}=\dfrac{\partial{\cal{L}}_{\phi}}{\partial\dot{\phi}}=\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}}\,,\, \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{\phi}=\dfrac{\partial{\cal{L}}_{\phi}}{\partial\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}}}=-\dot{\phi}\,. $

      (47)

      Direct calculations show that the symplectic fermions satisfy the canonical equal-time anticommutation relations

      $ \left[\phi(t,{\bf{x}}),\phi(t,{\bf{y}})\right]_+ =\left[\pi(t,{\bf{x}}),\pi(t,{\bf{y}})\right]_+=0 \,, $

      (48)

      $ \left[\phi(t,{\bf{x}}),\pi_{\phi}(t,{\bf{y}})\right]_+ ={\rm i}\delta^{(3)}({\bf{x}}-{\bf{y}})\,, $

      (49)

      and

      $ \left[\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(t,{\bf{y}})\right]_+ =\left[\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{\phi}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{\phi}(t,{\bf{y}})\right]_+=0\,, $

      (50)

      $ \left[\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{\phi}(t,{\bf{y}})\right]_+ ={\rm i}\delta^{(3)}({\bf{x}}-{\bf{y}})\,. $

      (51)

      The remaining anticommutators vanish identically

      $ \left[\phi(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(t,{\bf{y}})\right]_+ =\left[\pi_{\phi}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{\phi}(t,{\bf{y}})\right]_+=0\,, $

      (52)

      $ \left[\phi(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{\phi}(t,{\bf{y}})\right]_+ =\left[\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(t,{\bf{x}}),\pi_{\phi}(t,{\bf{y}})\right]_+=0\,. $

      (53)

      The free Hamiltonian $ H_{0} $ is obtained via the Legendre transform of $ L_{\phi}=\int {\rm d}^{3}x\,{\cal{L}}_{\phi} $:

      $ \begin{aligned}[b] H_{0}(\phi) &=\int {\rm d}^{3}x\,(\pi_{\phi}\dot{\phi}+\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{\phi}\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}})-L_{\phi}\\ &=\int {\rm d}^{3}x\,(\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}}\dot{\phi}-\dot{\phi}\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}})-L_{\phi}\\& =2\int {\rm d}^{3}x\,\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}}\dot{\phi}-L_{\phi}\,. \end{aligned} $

      (54)

      The free Hamiltonian, expressed in terms of the canonical fields, is manifestly η-pseudo-Hermitian. Substituting the mode expansions for $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}} $ and ϕ into $ 2\int {\rm d}^{3}x\,\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}}\dot{\phi} $ and $ L_{\phi} $, we obtain

      $ \begin{aligned}[b] 2\int {\rm d}^{3}x\,\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}}\dot{\phi}&= \int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}E_{{\bf{p}}}\Big[b^{\dagger}({\bf{p}})b^{c}({\bf{p}})-{\rm e}^{2{\rm i}E_{{\bf{p}}}t}b^{\dagger}({\bf{p}})b^{c\dagger}(-{\bf{p}})\\ & \quad +{\rm e}^{-2{\rm i}E_{{\bf{p}}}t}b(-{\bf{p}})b^{c}({\bf{p}})-b({\bf{p}})b^{c\dagger}({\bf{p}})\Big], \end{aligned} $

      (55)

      and

      $ L_{\phi}=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}E_{{\bf{p}}} \Big[-{\rm e}^{2{\rm i}E_{{\bf{p}}}t}b^{\dagger}({\bf{p}})b^{c\dagger}(-{\bf{p}}) +{\rm e}^{-2{\rm i}E_{{\bf{p}}}t}b(-{\bf{p}})b^{c}({\bf{p}})\Big]. $

      (56)

      The time-dependent contributions in Eqs. (55)−(56) render $ 2\int {\rm d}^{3}x\,\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}}\dot{\phi} $ and $ L_{\phi} $ non-Hermitian. Substitution of Eqs. (55)−(56) into Eq. (54) shows that the non-Hermitian contributions cancel, yielding the correct expression

      $ H_{0}(\phi)=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}E_{{\bf{p}}}\left[b^{\dagger}({\bf{p}})b({\bf{p}})-b^{c}({\bf{p}})b^{c\dagger}({\bf{p}})\right]\,. $

      (57)

      The discrete symmetries of symplectic fermions can be analyzed in the same way as for scalar bosons. The C, P, and T transformations of b and $ b^{c\dagger} $ are

      $ Cb({\bf{p}})C^{-1} =\eta^{*}_{C}b^{c}({\bf{p}})\,, $

      (58)

      $ Pb({\bf{p}})P^{-1} =\eta^{*}_{P}b(-{\bf{p}})\,, $

      (59)

      $ Tb({\bf{p}})T^{-1} =\eta^{*}_{T}b(-{\bf{p}})\,, $

      (60)

      and

      $ Cb^{c\dagger}({\bf{p}})C^{-1} =\eta^{c}_{C}b^{\dagger}({\bf{p}})\,, $

      (61)

      $ Pb^{c\dagger}({\bf{p}})P^{-1} =\eta^{c}_{P}b^{c\dagger}(-{\bf{p}})\,, $

      (62)

      $ Tb^{c\dagger}({\bf{p}})T^{-1} =\eta^{c}_{T}b^{c\dagger}(-{\bf{p}})\,. $

      (63)

      Symplectic fermions transform under parity and time reversal in the same way as scalar bosons. Choosing the intrinsic parity and time-reversal phases to be even

      $ \eta^{*}_{P}=\eta^{c}_{P}\,,\, \eta^{*}_{T}=\eta^{c}_{T}\,, $

      (64)

      we obtain

      $ P\phi(x)P^{-1} =\eta^{*}_{P}\phi(\mathscr{P}x)\,, $

      (65)

      $ T\phi(x)T^{-1} =\eta^{*}_{T}\phi(\mathscr{T}x)\,, $

      (66)

      where

      $ \mathscr{P}x=(t,-{\bf{x}})\,,\quad \mathscr{T}x=(-t,{\bf{x}})\,. $

      (67)

      By contrast, charge-conjugation symmetry differs because the field adjoint for ϕ is $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}} $ rather than $ \phi^{*} $. Charge conjugation is a symmetry when C maps ϕ to $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}} $. This can be achieved by choosing the charge-conjugation phase to be odd

      $ \eta^{*}_{C}=-\eta^{c}_{C}\,, $

      (68)

      we obtain

      $ C\phi(x)C^{-1}=-\eta^{*}_{C}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(x)\,, $

      (69)

      and

      $ C{\cal{L}}_{\phi}(x)C^{-1}={\cal{L}}_{\phi}(x) \,. $

      (70)
    • B.   Massive spinor field

    • The massive pseudo-Hermitian spinor field in the $ \left(\dfrac{1}{2},0\right)\oplus\left(0,\dfrac{1}{2}\right) $ representation was first proposed by Ahluwalia [22] and later studied in [24]. Let $ \psi(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x) $ denote the massive spinor field and its adjoint, respectively. Their expansions are given by

      $ \begin{aligned}[b] \psi(x)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma=\pm\frac{1}{2}} \Big[ {\rm e}^{-{\rm i}p\cdot x}u({\bf{p}},\sigma)b({\bf{p}},\sigma)\\&\quad+ {\rm e}^{{\rm i}p\cdot x}v({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\Big] \, , \end{aligned} $

      (71)

      $ \begin{aligned}[b]] \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma=\pm\frac{1}{2}} \Big[ {\rm e}^{{\rm i}p\cdot x}\bar{u}({\bf{p}},\sigma)b^{\dagger}({\bf{p}},\sigma)\\&\quad - {\rm e}^{-{\rm i}p\cdot x}\bar{v}({\bf{p}},\sigma)b^{c}({\bf{p}},\sigma)\Big] \,, \end{aligned} $

      (72)

      where u and v are the Dirac spinors, and $ \bar{u}=u^{\dagger}\gamma^{0} $ and $ \bar{v}=v^{\dagger}\gamma^{0} $. At rest, $ {\bf{p}}=0 $, they are given in Ref. [27] as follows:

      $ u({\bf{0}}, {\dfrac{1}{2}}) =\sqrt{m}\left[\begin{matrix} 1 \\ 0 \\ 1 \\ 0 \end{matrix}\right] \, , \quad u({\bf{0}},- {\dfrac{1}{2}})=\sqrt{m}\left[\begin{matrix} 0 \\ 1 \\ 0 \\ 1 \end{matrix}\right] \, , $

      (73)

      $ v({\bf{0}}, {\dfrac{1}{2}}) =\sqrt{m}\left[\begin{matrix} 0 \\ 1 \\ 0 \\ -1 \end{matrix}\right] \, , \quad v({\bf{0}},- {\dfrac{1}{2}})=\sqrt{m}\left[\begin{matrix} -1 \\ 0 \\ 1 \\ 0 \end{matrix}\right] \, . $

      (74)

      For momentum p, the spinors satisfy the Dirac equation.

      $ (\gamma^{\mu}p_{\mu}-m)u({\bf{p}},\sigma)=(\gamma^{\mu}p_{\mu}+m)v({\bf{p}},\sigma)=0\,. $

      (75)

      Thus, $ \psi(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x) $ satisfy the Dirac equation

      $ {\rm i}\gamma^{\mu}\partial_{\mu}\psi(x)-m\psi(x)=-{\rm i}\partial_{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x)\gamma^{\mu}-m\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x)=0\,, $

      (76)

      and have the Lagrangian density

      $ {\cal{L}}_{\psi}=\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}({\rm i} \gamma^{\mu}\partial_{\mu}-m)\psi\,. $

      (77)

      The spinor fields have spin $ j=\dfrac{1}{2} $ and are therefore bosonic. The equal-time commutator of $ \psi(t,{\bf{x}}) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(t,{\bf{y}}) $ is given by

      $ \left[\psi(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(t,{\bf{y}})\right]_-=\gamma^{0}\delta^{(3)}({\bf{x}}-{\bf{y}})\,. $

      (78)

      The conjugate momentum associated with $ \psi(x) $ is $\pi_{\psi}(x)= {\rm i}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x)\gamma^{0}$. The field $ \psi(x) $ and its conjugate momentum satisfy the canonical commutation relations

      $ \left[\psi(t,{\bf{x}}),\psi(t,{\bf{y}})\right]_- =\left[\pi_{\psi}(t,{\bf{x}}),\pi_{\psi}(t,{\bf{y}})\right]_-=0\,, $

      (79)

      $ \left[\psi(t,{\bf{x}}),\pi(t,{\bf{y}})\right]_- ={\rm i}\delta^{(3)}({\bf{x}}-{\bf{y}})\,. $

      (80)

      The free Hamiltonian $ H_{0} $ for spin-half bosons is given by

      $ \begin{aligned}[b] H_{0}(\psi) &=\int {\rm d}^{3}x\,\pi_{\psi}\dot{\psi}-L_{\psi}\\ & ={\rm i}\int {\rm d}^{3}x\,\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x)\gamma^{0}\dot{\psi}(x)-L_{\psi} , \end{aligned} $

      (81)

      where $ L_{\psi}=\int {\rm d}^{3}x\,{\cal{L}}_{\psi} $. As in the case of symplectic fermions, both terms in $ H_{0}(\psi) $ are η-pseudo-Hermitian. When expanded in terms of annihilation and creation operators, both terms are non-Hermitian. However, these non-Hermitian contributions cancel when the expressions for ${\rm i}\int {\rm d}^{3}x\,\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}\gamma^{0}\psi$ and $ L_{\psi} $ are substituted into $ H_{0}(\psi) $, yielding

      $ \begin{aligned}[b] H_{0}(\psi)=&\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\,E_{{\bf{p}}}\sum\limits_{\sigma=\pm1/2}\big[b^{\dagger}({\bf{p}},\sigma)b({\bf{p}},\sigma)\\& +b^{c}({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\big]\,. \end{aligned} $

      (82)

      The C, P, and T transformations of $ b({\bf{p}},\sigma) $ and $ b^{c\dagger}({\bf{p}},\sigma) $ are the same as those of the creation and annihilation operators for Dirac fermions

      $ Cb({\bf{p}},\sigma)C^{-1} =\eta^{*}_{C}b^{c}({\bf{p}},\sigma)\,, $

      (83)

      $ Pb({\bf{p}},\sigma)P^{-1} =\eta^{*}_{P}b(-{\bf{p}},\sigma)\,, $

      (84)

      $ Tb({\bf{p}},\sigma)T^{-1} =\eta^{*}_{T}(-1)^{1/2-\sigma}b(-{\bf{p}},-\sigma)\,, $

      (85)

      and

      $ Cb^{c\dagger}({\bf{p}},\sigma)C^{-1} =\eta^{c}_{C}b^{\dagger}({\bf{p}},\sigma)\,, $

      (86)

      $ Pb^{c\dagger}({\bf{p}},\sigma)P^{-1} =\eta^{c}_{P}b^{c\dagger}(-{\bf{p}},\sigma)\,, $

      (87)

      $ Tb^{c\dagger}({\bf{p}},\sigma)T^{-1} =\eta^{c}_{T}(-1)^{1/2-\sigma}b^{c\dagger}(-{\bf{p}},-\sigma)\,. $

      (88)

      Spin-half bosons have the same parity and time-reversal transformation properties as Dirac fermions. When the intrinsic parity and time-reversal phases are chosen to be odd and even, respectively,

      $ \eta^{*}_{P}=-\eta^{c}_{P}\,,\, \eta^{*}_{T}=\eta^{c}_{T}\,, $

      (89)

      we obtain

      $ P\psi(x)P^{-1} =\eta^{*}_{P}\gamma^{0}\psi(\mathscr{P}x)\,, $

      (90)

      $ T\psi(x)T^{-1} =\eta^{*}_{T}\gamma^{1}\gamma^{3}\psi(\mathscr{T}x)\,. $

      (91)

      The charge-conjugation symmetry of spin-half bosons must be analyzed more carefully because, in this case, $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x)\neq\bar{\psi}(x) $. Applying C to $ \psi(x) $ yields

      $ \begin{aligned}[b] C\psi(x)C^{-1} = & \int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}} \sum\limits_{\sigma=\pm{1}/{2}}\Big[ {\rm e}^{-{\rm i}p\cdot x}u({\bf{p}},\sigma)\eta^{*}_{C}b^{c}({\bf{p}},\sigma)\\ & + {\rm e}^{{\rm i}p\cdot x}v({\bf{p}},\sigma)\eta^{c}_{C}b^{\dagger}({\bf{p}},\sigma)\Big] \\ = & -\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}} \\ & \times \sum\limits_{\sigma=\pm{1}/{2}}{\rm i}\gamma^{2}\Big[ {\rm e}^{-{\rm i}p\cdot x}\eta^{*}_{C}v^{*}({\bf{p}},\sigma)b^{c}({\bf{p}},\sigma)\\& + {\rm e}^{{\rm i}p\cdot x}\eta^{c}_{C}u^{*}({\bf{p}},\sigma)b^{\dagger}({\bf{p}},\sigma)\Big]\,, \end{aligned} $

      (92)

      where we have used the identities

      $ u({\bf{p}},\sigma)=-{\rm i}\gamma^{2}v^{*}({\bf{p}},\sigma)\,,\, v({\bf{p}},\sigma)=-{\rm i}\gamma^{2}u^{*}({\bf{p}},\sigma)\,. $

      (93)

      For charge conjugation to be conserved, the Lagrangian density must be invariant under the charge-conjugation transformation. Therefore, we cannot choose an even intrinsic phase. 8 Instead, the intrinsic phase must be odd

      $ \eta^{*}_{C}=-\eta^{c}_{C}\,. $

      (94)

      We then obtain

      $ C\psi(x)C^{-1} =-{\rm i}\eta^{*}_{C}\gamma^{2}\gamma^{0}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}^{T}(x)\,, $

      (95)

      $ C\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x)C^{-1} ={\rm i}\eta_{C}\psi^{T}(x)\gamma^{0}\gamma^{2}\,, $

      (96)

      and $ C\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x)\psi(x) C^{-1}=\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}(x)\psi(x) $. This is the appropriate charge-conjugation symmetry for the spin-half boson, since $ C{\cal{L}}_{\psi}(x)C^{-1}={\cal{L}}_{\psi}(x) $.

    • C.   Vector field

    • We now construct the fermionic vector field in the $ \left(\dfrac{1}{2},\dfrac{1}{2}\right) $ representation. This representation is reducible, as it decomposes into a direct sum of spin-zero and spin-one irreducible representations. The spin-zero component corresponds to a spin-zero vector field. Here, we focus on the spin-one vector field. Let $ v^{\mu}(x) $ be a complex vector field, and let $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\mu}(x) $ denote its adjoint, with the expansions

      $ \begin{aligned}{r} v^{\mu}(x)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma=\pm1,0}\Big[ {\rm e}^{-{\rm i}p\cdot x}{\rm e}^{\mu}({\bf{p}},\sigma)b({\bf{p}},\sigma)\;\;\;\\&\quad + {\rm e}^{{\rm i}p\cdot x}{\rm e}^{\mu*}({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\Big]\,, \end{aligned} $

      (97)

      $ \begin{aligned}{r} \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\mu}(x)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}}\sum\limits_{\sigma=\pm1,0}\Big[ {\rm e}^{{\rm i}p\cdot x}{\rm e}^{\mu*}({\bf{p}},\sigma)b^{\dagger}({\bf{p}},\sigma)\;\;\;\\ & \quad- {\rm e}^{-{\rm i}p\cdot x}{\rm e}^{\mu}({\bf{p}},\sigma)b^{c}({\bf{p}},\sigma)\Big]\,. \end{aligned} $

      (98)

      In the rest frame, $ {\bf{p}}={\bf{0}} $, the coefficients are given by [27]

      $ e^{0}({\bf{0}},0) =0\,, \, e^{0}({\bf{0}},\pm1) =0\,, $

      (99)

      $ e^{1}({\bf{0}},0) =0\,, \, e^{1}({\bf{0}},\pm1) =\mp\dfrac{1}{\sqrt{2}}\,, $

      (100)

      $ e^{2}({\bf{0}},0) =0\,, \, e^{2}({\bf{0}},\pm1) =-\dfrac{\rm i}{\sqrt{2}}\,, $

      (101)

      $ e^{3}({\bf{0}},0) =1\,, \, e^{3}({\bf{0}},\pm1) =0\,. $

      (102)

      The coefficients for momentum p are given by

      $ {\rm e}^{\mu}({\bf{p}},\sigma)={L^{\mu}}_{\nu}({\bf{p}}){\rm e}^{\nu}({\bf{0}},\sigma)\,, $

      (103)

      where $ L({\bf{p}}) $ denotes the Lorentz boost. Since the momentum $ p^{\mu} $ lies on the mass shell, $ p^{2}=m^{2} $, the coefficients satisfy the Klein–Gordon equation. They also satisfy $p_{\mu}{\rm e}^{\mu}({\bf{p}},\sigma)=0$. Therefore, the vector fields satisfy the Klein–Gordon equation

      $ (\partial^{\mu}\partial_{\mu}+m^{2})v^{\mu}(x)=(\partial^{\mu}\partial_{\mu}+m^{2})\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\mu}(x)=0\,, $

      (104)

      and the identity

      $ \partial_{\mu}v^{\mu}(x)=\partial_{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\mu}(x)=0\,. $

      (105)

      The Lagrangian density of the vector field is given by

      $ {\cal{L}}_{v}=-\dfrac{1}{2}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{f}}}^{\mu\nu}f_{\mu\nu}+m^{2}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\mu}v_{\mu} \, , $

      (106)

      where $ f^{\mu\nu}(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{f}}}^{\mu\nu}(x) $ denote the respective field strength tensors corresponding to $ v^{\mu}(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\mu}(x), $

      $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{f}}}^{\mu\nu}=\partial^{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\nu}-\partial^{\nu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\mu}\,,\, f_{\mu\nu}=\partial_{\mu}v_{\nu}-\partial_{\nu}v_{\mu}\,. $

      (107)

      The equations of motion and the conjugate momenta are given by

      $ \partial_{\mu}f^{\mu\nu}+m^{2}v^{\nu}= \partial_{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{f}}}^{\mu\nu}+m^{2}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\nu}=0 \, , $

      (108)

      and

      $ \pi_{\mu} =\dfrac{\partial{\cal{L}}_{v}}{\partial\dot{v}^{\mu}}=\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{f}}}_{\mu0}\,, $

      (109)

      $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{\mu} =\dfrac{\partial{\cal{L}}_{v}}{\partial\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}}^{\mu}}=-f_{\mu0}\,. $

      (110)

      The vector fields have spin $ j=1 $ and are therefore fermionic. To compute the canonical anticommutators, we must first identify the independent components of the vector fields and their conjugate momenta. From eq. (110), we find $ \pi_{0}(x)=\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{0}(x)=0 $. The nonzero independent components of the conjugate momenta are

      $ \pi_{i} =\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{f}}}_{i0} = \partial_{i}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}_{0}-\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}}_{i}\,, $

      (111)

      $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{i} =-f_{i0} =-\partial_{i}v_{0}+\dot{v}_{i}\,. $

      (112)

      Using the $ \nu=0 $ component of the equations of motion (108), we find that $ v^{0}(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{0}(x) $ can be expressed in terms of the divergence of the conjugate momenta

      $ v^{0}(x)=\dfrac{1}{m^{2}}g^{ij}\partial_{i}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{j}(x)\,,\, \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{0}(x)=-\dfrac{1}{m^{2}}g^{ij}\partial_{i}\pi_{j}(x)\,. $

      (113)

      Thus, the independent components of the vector fields are $ v^{i},\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{i} $, and those of the conjugate momenta are $ \pi_{j},\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{j} $. From Eq. (112), $ \pi_{j} $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{j} $ are given by

      $ \begin{aligned}[b] \pi_{j}(x)&={\rm i}\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}} \sum\limits_{\sigma=\pm1,0}\Big[ {\rm e}^{{\rm i}p\cdot x}f^{*}_{j0}({\bf{p}},\sigma)b^{\dagger}({\bf{p}},\sigma)\\&\quad + {\rm e}^{-{\rm i}p\cdot x}f_{j0}({\bf{p}},\sigma)b^{c}({\bf{p}},\sigma)\Big] \, , \end{aligned} $

      (114)

      $ \begin{aligned}[b] \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{j}(x)&={\rm i}\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{1}{\sqrt{2E_{{\bf{p}}}}} \sum\limits_{\sigma=\pm1,0}\Big[ {\rm e}^{-{\rm i}p\cdot x}f_{j0}({\bf{p}},\sigma)b({\bf{p}},\sigma)\\ &\quad- {\rm e}^{{\rm i}p\cdot x}f^{*}_{j0}({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\Big] \, , \end{aligned} $

      (115)

      where

      $ f_{j0}({\bf{p}},\sigma)=p_{j}e_{0}({\bf{p}},\sigma)-p_{0}e_{j}({\bf{p}},\sigma)\,,\, p_{0}=E_{{\bf{p}}}\,. $

      (116)

      The canonical equal-time anticommutation relations between the vector fields and their conjugate momenta are given by

      $ \left[v^{i}(t,{\bf{x}}),v^{j}(t,{\bf{y}})\right]_+ =0\,, $

      (117)

      $ \left[\pi_{i}(t,{\bf{x}}),\pi_{j}(t,{\bf{y}})\right]_+ =0\,, $

      (118)

      $ \left[v^{i}(t,{\bf{x}}),\pi_{j}(t,{\bf{y}})\right]_+ ={\rm i}\delta^{i}_{j}\delta^{(3)}({\bf{x}}-{\bf{y}})\,, $

      (119)

      and

      $ \left[\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{i}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{j}(t,{\bf{y}})\right]_+ =0\,, $

      (120)

      $ \left[\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{i}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{j}(t,{\bf{y}})\right]_+ =0\,, $

      (121)

      $ \left[\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{i}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{j}(t,{\bf{y}})\right]_+ ={\rm i}\delta^{i}_{j}\delta^{(3)}({\bf{x}}-{\bf{y}})\,. $

      (122)

      The remaining anticommutators vanish identically

      $ \left[v^{i}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{j}(t,{\bf{y}})\right]_+ =\left[\pi_{i}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{j}(t,{\bf{y}})\right]_+=0\,, $

      (123)

      $ \left[v^{i}(t,{\bf{x}}),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{j}(t,{\bf{y}})\right]_+ =\left[\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{i}(t,{\bf{x}}),\pi_{j}(t,{\bf{y}})\right]_+=0\,. $

      (124)

      The free Hamiltonian for the vector fermion is given by

      $ \begin{aligned}[b] H_{0}(v)&= \int {\rm d}^{3}x\,(\pi_{\mu}\dot{v}^{\mu}+\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\pi}}}_{\mu}\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}}^{\mu})-L_{v}\\ & = \int {\rm d}^{3}x\,(\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{f}}}_{i0}\dot{v}^{i}-f_{i0}\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}}^{i})-L_{v}\\ & = \int {\rm d}^{3}x\,(\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{f}}}_{i0}\dot{v}^{i}+\dot{\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}}^{i}f_{i0})-L_{v}, \end{aligned}$

      (125)

      where $ L_{v}=\int {\rm d}^{3}x\,{\cal{L}}_{v} $. As in our previous analysis of the free Hamiltonians for scalar fermions and spin-half bosons, the terms contributing to $ H_{0}(v) $ are non-Hermitian. However, these non-Hermitian contributions cancel in $ H_{0}(v) $:

      $ H_{0}(v)=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\,E_{{\bf{p}}}\sum\limits_{\sigma=\pm1,0}\left[b^{\dagger}({\bf{p}},\sigma)b({\bf{p}},\sigma)-b^{c}({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\right]. $

      (126)

      The discrete symmetry transformations of $ b({\bf{p}},\sigma) $ and $ b^{c\dagger}({\bf{p}},\sigma) $ are

      $ Cb({\bf{p}},\sigma)C^{-1} =\eta^{*}_{C}b^{c}({\bf{p}},\sigma)\,, $

      (127)

      $ Pb({\bf{p}},\sigma)P^{-1} =\eta^{*}_{P}b(-{\bf{p}},\sigma)\,, $

      (128)

      $ Tb({\bf{p}},\sigma)T^{-1} =\eta^{*}_{T}(-1)^{1-\sigma}b(-{\bf{p}},-\sigma)\,, $

      (129)

      and

      $ Cb^{c\dagger}({\bf{p}},\sigma)C^{-1} =\eta^{c}_{C}b^{\dagger}({\bf{p}},\sigma)\,, $

      (130)

      $ Pb^{c\dagger}({\bf{p}},\sigma)P^{-1} =\eta^{c}_{P}b^{c\dagger}(-{\bf{p}},\sigma)\,, $

      (131)

      $ Tb^{c\dagger}({\bf{p}},\sigma)T^{-1} =\eta^{c}_{T}(-1)^{1-\sigma}b^{c\dagger}(-{\bf{p}},-\sigma)\,. $

      (132)

      For parity and time-reversal transformations, we choose the intrinsic phases to be even

      $ \eta^{*}_{P}=\eta^{c}_{P}\,,\, \eta^{*}_{T}=\eta^{c}_{T}\,, $

      (133)

      to obtain

      $ Pv^{\mu}(x)P^{-1} =-\eta^{*}_{P}{\mathscr{P}^{\mu}}_{\nu}v^{\nu}(\mathscr{P}x)\,, $

      (134)

      $ Tv^{\mu}(x)T^{-1} =-\eta^{*}_{T}{\mathscr{T}^{\mu}}_{\nu}v^{\nu}(\mathscr{T}x)\,. $

      (135)

      Here, charge conjugation maps $ v^{\mu}(x) $ to $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\mu}(x) $ rather than to $ v^{\mu\dagger}(x) $. Thus, by choosing the intrinsic charge-conjugation phases to be odd

      $ \eta^{*}_{C}=-\eta^{c}_{C}\,,\\ $

      (136)

      we obtain

      $ Cv^{\mu}(x)C^{-1}=\eta^{*}_{C}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{v}}}^{\mu}(x)\,. $

      (137)
    IV.   POINCARÉ SYMMETRY BELINFANTE-ROSENFELD TENSOR
    • The free quantum fields that satisfy the NSST constructed in the previous section preserve Poincaré symmetry. Consequently, their Lagrangian densities are invariant under a set of global Lorentz transformations, from which the generators of the Poincaré group can be derived via Noether’s theorem. In this section, we show that, for a generic theory with field $ \chi(x) $ and adjoint $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x) $, the free Hamiltonian $ H_{0} $ and three-momentum $ {\bf{P}}_{0} $ are both Hermitian and pseudo-Hermitian. Using the fact that the free generators satisfy the Poincaré algebra, we then prove that all free generators are Hermitian. Therefore, the free theory is unitary.

      Although the free theory is unitary, its interactions are, in general, non-Hermitian. To illustrate this point, we compute the Belinfante–Rosenfeld tensor $ \Theta^{\mu\nu}_{\phi} $ for symplectic fermions and show that it is non-Hermitian. Consequently, the gravitational interaction term $ \int {\rm d}^{3}x\,\Theta^{\mu\nu}_{\phi}h_{\mu\nu} $, where $ h_{\mu\nu} $ is the graviton field, is non-Hermitian. In Section 5, we discuss the issue of unitarity violation in more detail.

      Let $ \chi(x) $ and $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x) $ be the free canonical field and its pseudo-Hermitian conjugate defined in Eqs. (39), (40). The Lagrangian density depends on $ \chi(x),\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x) $, and their derivatives. The theory respects Poincaré symmetry, so the Lagrangian density is invariant under the global transformations

      $ \delta \chi(x)=+\dfrac{\rm i}{2}\omega^{\mu\nu}{\cal{J}}_{\mu\nu}\chi(x)\,,\, \delta\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x)=-\dfrac{\rm i}{2}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}\omega^{\mu\nu}{\cal{J}}_{\mu\nu}(x)\,, $

      (138)

      where $ {\cal{J}} $ denotes a finite-dimensional generator of the Lorentz group, and ω denotes the Lorentz transformation parameter. Their derivatives transform as

      $ \delta\left[\partial_{\kappa}\chi(x)\right] =+\dfrac{\rm i}{2}\omega^{\mu\nu}{\cal{J}}_{\mu\nu}\partial_{\kappa}\chi(x)+{\omega_{\kappa}}^{\lambda}\partial_{\lambda}\chi(x)\,, $

      (139)

      $ \delta\big[\partial_{\kappa}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x)\big] =-\dfrac{\rm i}{2}\partial_{\kappa}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x)\omega^{\mu\nu}{\cal{J}}_{\mu\nu}+{\omega_{\kappa}}^{\lambda}\partial_{\lambda}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x)\,. $

      (140)

      Using the canonical methods [27, Sec. 7], we derive the Belinfante–Rosenfeld tensor

      $ \begin{aligned}[b] \mathrm{\Theta}^{\mu\nu}&=T^{\mu\nu}-\dfrac{\rm i}{2}\partial_{\kappa}\Bigg[ \dfrac{\partial{\cal{L}}}{\partial(\partial_{\kappa}\chi)}{\cal{J}}^{\mu\nu}\chi -\dfrac{\partial{\cal{L}}}{\partial(\partial_{\mu}\chi)}{\cal{J}}^{\kappa\nu}\chi\\ &\quad - \dfrac{\partial{\cal{L}}}{\partial(\partial_{\nu}\chi)}{\cal{J}}^{\kappa\nu}\chi -\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}{\cal{J}}^{\mu\nu}\dfrac{\partial{\cal{L}}}{\partial(\partial_{\kappa}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}})}\\&\quad + \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}{\cal{J}}^{\kappa\nu}\dfrac{\partial{\cal{L}}}{\partial(\partial_{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}})} +\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}{\cal{J}}^{\kappa\nu}\dfrac{\partial{\cal{L}}}{\partial(\partial_{\nu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}})}\Bigg]\,, \end{aligned} $

      (141)

      where

      $ T^{\mu\nu}=-\eta^{\mu\nu}{\cal{L}}+\dfrac{\partial{\cal{L}}}{\partial(\partial_{\mu}\chi)}\partial^{\nu}\chi+\partial^{\nu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}\dfrac{\partial{\cal{L}}}{\partial(\partial_{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}})}\,. $

      (142)

      The Hamiltonian $ H_{0} $ and the three-momentum $ {\bf{P}}_{0} $ are given by

      $ H_{0}=\int {\rm d}^{3}x\, \mathrm{\Theta}^{00}\,,\, P^{i}_{0}=\int {\rm d}^{3}x\, \mathrm{\Theta}^{0i}\,. $

      (143)

      A third-rank tensor can be constructed from the Belinfante–Rosenfeld tensor

      $ M^{\lambda\mu\nu}\equiv x^{\mu} \mathrm{\Theta}^{\lambda\nu}-x^{\nu} \mathrm{\Theta}^{\lambda\mu}\,, $

      (144)

      to obtain the Lorentz generator

      $ J^{\mu\nu}_{0}=\int {\rm d}^{3}x\,M^{0\mu\nu}\,. $

      (145)

      The Belinfante–Rosenfeld tensor and the generators of the Poincaré group are manifestly pseudo-Hermitian with respect to η. However, whether they are Hermitian remains unclear. Here, we show that the generators of the Poincaré group are Hermitian, whereas the Belinfante– Rosenfeld tensor is non-Hermitian. To prove the Hermiticity of the generators, we consider the relationship between pseudo-Hermitian and Hermitian QFTs. For a given irreducible representation of the Poincaré group, furnished by both $ \chi,\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}} $ and $ \lambda,\bar{\lambda} $, these two formulations are related by

      $ \chi(x) =\lambda(x)\vert_{a\rightarrow b,\,a^{c\dagger}\rightarrow b^{c\dagger}}\,, $

      (146)

      $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}}(x) =\bar{\lambda}(x)\vert_{a^{\dagger}\rightarrow b^{\dagger},\,a^{c}\rightarrow -b^{c}}\,. $

      (147)

      Hermitian QFTs are well defined in the sense that their $ H_{0} $ and $ {\bf{P}}_{0} $ operators are Hermitian

      $ \begin{aligned}[b] H_{0}(\lambda)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\,E_{{\bf{p}}}\sum\limits_{\sigma}\Big[ a^{\dagger}({\bf{p}},\sigma)a({\bf{p}},\sigma)\\ &\quad \pm a^{c}({\bf{p}},\sigma)a^{c\dagger}({\bf{p}},\sigma)\Big]\,, \end{aligned} $

      (148)

      $ \begin{aligned}[b] {\bf{P}}_{0}(\lambda)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\,{\bf{p}}\sum\limits_{\sigma}\Big[ a^{\dagger}({\bf{p}},\sigma)a({\bf{p}},\sigma)\\ &\quad \pm a^{c}({\bf{p}},\sigma)a^{c\dagger}({\bf{p}},\sigma)\Big]\,, \end{aligned} $

      (149)

      where the upper and lower signs in Eqs. (148)–(149) correspond to bosonic ($ j=0,1,\cdots $) and fermionic fields ($ j=\dfrac{1}{2},\dfrac{3}{2},\cdots $), respectively. From Eqs. (146)–(147), it follows that $ H_{0} $ and $ {\bf{P}}_{0} $ are also Hermitian for pseudo-Hermitian QFTs

      $ \begin{aligned}[b] H_{0}(\chi)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\,E_{{\bf{p}}}\sum\limits_{\sigma}\Big[ b^{\dagger}({\bf{p}},\sigma)b({\bf{p}},\sigma)\\ &\quad \mp b^{c}({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\Big]\,, \end{aligned} $

      (150)

      $ \begin{aligned}[b] {\bf{P}}_{0}(\chi)&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\,{\bf{p}}\sum\limits_{\sigma}\Big[ b^{\dagger}({\bf{p}},\sigma)b({\bf{p}},\sigma)\\ &\quad \mp b^{c}({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\Big]\,. \end{aligned} $

      (151)

      In this case, the upper and lower signs apply to fermionic ($ j=0,1,\cdots $) and bosonic fields ($ j=\dfrac{1}{2},\dfrac{3}{2},\cdots $), respectively. For the Lorentz generator, we do not need the expression for $ J^{\rho\sigma}(\chi) $ in terms of the creation and annihilation operators to prove its Hermiticity. It suffices to know that $ H_{0}(\chi) $ and $ {\bf{P}}_{0}(\chi) $ are Hermitian and that the Poincaré generators for $ \chi,\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}} $ derived from the canonical formalism satisfy the Poincaré algebra [27, Sec. 7]. To show that the Lorentz generator $ J^{\rho\sigma}_{0}(\chi) $ is Hermitian, we consider its commutator with the momentum operator $ P^{\mu}_{0}(\chi) $, where $ P^{0}_{0}(\chi)=H_{0}(\chi) $

      $ {\rm i}[P^{\mu}_{0}(\chi),J^{\rho\sigma}_{0}(\chi)]=-g^{\mu\rho}P^{\sigma}_{0}(\chi)+g^{\mu\sigma}P^{\rho}_{0}(\chi)\,. $

      (152)

      Taking the Hermitian conjugate of Eq. (152), we obtain

      $ {\rm i}[P^{\mu}_{0}(\chi),J^{\rho\sigma\dagger}_{0}(\chi)]=-g^{\mu\rho}P^{\sigma}_{0}(\chi)+g^{\mu\sigma}P^{\rho}_{0}(\chi)\,. $

      (153)

      Since $ P^{\mu}_{0}(\chi)=P^{\mu\dagger}_{0}(\chi) $, the Lorentz generator must also be Hermitian, $ J^{\rho\sigma}_{0}(\chi)=J^{\rho\sigma\dagger}_{0}(\chi) $.

      The Hermiticity of the Poincaré generators indicates that the free pseudo-Hermitian QFT is unitary. However, this does not change the fact that the Belinfante-Rosenfeld tensor is non-Hermitian. To see this, consider the symplectic fermion, whose Belinfante-Rosenfeld tensor is

      $ \mathrm{\Theta}^{\mu\nu}_{\phi}=-g^{\mu\nu}\left(\partial^{\rho}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}\partial_{\rho}\phi-m^{2}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}\phi\right)+\partial^{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}\partial^{\nu}\phi+\partial^{\nu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}\partial^{\mu}\phi \, . $

      (154)

      Each term in Eq. (154) is non-Hermitian. Nevertheless, a direct computation shows that

      $ \begin{aligned}[b] \int {\rm d}^{3}x\, \mathrm{\Theta}^{0\mu}_{\phi}=&\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\,p^{\mu}\sum\limits_{\sigma}\big[b^{\dagger}({\bf{p}},\sigma)b(p,\sigma)\\& \pm b^{c}({\bf{p}},\sigma)b^{c\dagger}({\bf{p}},\sigma)\big]\,, \end{aligned} $

      (155)

      whereas

      $ \begin{aligned}[b] \int {\rm d}^{3}x\, \mathrm{\Theta}^{ij}_{\phi}&=\int\dfrac{{\rm d}^{3}p}{(2\pi)^{3}}\dfrac{p^{i}p^{j}}{E_{{\bf{p}}}}\Big[ b^{\dagger}({\bf{p}})b({\bf{p}})+b^{\dagger}({\bf{p}})b^{c\dagger}(-{\bf{p}})\\&\quad - b^{c}(-{\bf{p}})b({\bf{p}})-b^{c}({\bf{p}})b^{c\dagger}({\bf{p}}) \Big]\,, \end{aligned} $

      (156)

      at $ t=0 $ and $ i\neq j $ is non-Hermitian.

    V.   PHYSICAL IMPLICATIONS
    • Thus far, we have studied the kinematics of pseudo-Hermitian QFTs and found that they obey the NSST. This raises the question: How should pseudo-Hermitian fields be interpreted? To answer this question, we must study the interacting theory, which may not be unitary because the full Hamiltonian is non-Hermitian. Here, we discuss unitarity issues and potential realizations of the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence using pseudo-Hermitian QFTs.

    • A.   Issues with unitarity

    • The particles described by the pseudo-Hermitian QFT furnish unitary irreducible representations of the Poincaré group, suggesting that they may be novel elementary particles beyond the Standard Model. However, as we will show, unitarity violation in the interacting theories makes this proposal untenable.

      The free pseudo-Hermitian QFT is unitary. However, the full Hamiltonian $ H=H_{0}+V $ is non-Hermitian but is η-pseudo-Hermitian, $ \eta^{-1}H^{\dagger}\eta=H $. Specifically, from Eq. (36), we see that η commutes with $ H_{0} $ but does not, in general, commute with V. For an interacting potential constructed from $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}} $ and χ of the form $ V=\int {\rm d}^{3}x \, {\cal{H}} $, where $ {\cal{H}}={\cal{H}}(\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\chi}}},\chi) $, we have $ \eta^{-1}{\cal{H}}^{\dagger}\eta={\cal{H}} $ and hence $ \eta^{-1}V^{\dagger}\eta=V $. Therefore, for states whose time evolution is given by

      $ |\alpha,t\rangle= {\rm e}^{-{\rm i}Ht}|\alpha\rangle\,,\, \langle\beta,t|=\langle\beta| {\rm e}^{{\rm i}H^{\dagger}t}\,. $

      (157)

      Time-translation symmetry cannot be preserved using the Dirac inner product, since $ \langle\beta,t|\alpha,t\rangle\neq\langle\beta|\alpha\rangle $. This symmetry can instead be preserved by defining the η-inner product following Mostafazadeh [8]

      $ \langle\beta|\alpha\rangle_{\eta}\equiv\langle\beta|\eta|\alpha\rangle\,, $

      (158)

      from which it follows that $ \langle\beta,t|\alpha,t\rangle_{\eta}=\langle\beta|\alpha\rangle_{\eta} $. Within this framework, the S-matrix satisfies the generalized unitarity relation (see Appendix B)

      $ S^{\#}S= {\mathbb{1}}\,,\, S^{\#}\equiv\eta^{-1}S^{\dagger}\eta\,. $

      (159)

      However, the η-inner product and the generalized unitarity relation do not admit a standard probabilistic interpretation because the η-inner product is not positive definite (the eigenvalues of η are $ \pm1 $). In particular, the η-inner product between the in- and out-states is not positive definite

      $ \langle\beta_{\pm}|\alpha_{\pm}\rangle_{\eta}=\langle\beta_{0}|\alpha_{0}\rangle_{\eta}=(-1)^{\bar{n}_{\beta}}\delta(\beta-\alpha), $

      (160)

      where $ \bar{n}_{\beta} $ is the number of antiparticles in $ |\beta_{0}\rangle $.

      Despite this difficulty, the η-inner product can be used to identify a class of unitary interacting theories. An interacting theory is unitary if it satisfies the following criterion. For a process $ \alpha\rightarrow \beta $, the transition amplitude is $ S_{\beta\alpha}=\langle\beta_{0}|S|\alpha_{0}\rangle $, where $ |\alpha_{0}\rangle,|\beta_{0}\rangle $ are the free multiparticle states (see (B.11)). The action of η on the free states is

      $ \eta|\alpha_{0}\rangle= {\rm e}^{{\rm i}\pi n^{c}_{\alpha}}|\alpha_{0}\rangle\,,\, \eta|\beta_{0}\rangle= {\rm e}^{{\rm i}\pi n^{c}_{\beta}}|\beta_{0}\rangle\,, $

      (161)

      where $ n^{c}_{\alpha} $ and $ n^{c}_{\beta} $ are the total numbers of antiparticles in $ |\alpha_{0}\rangle $ and $ |\beta_{0}\rangle $, respectively. The generalized unitarity relation can then be written as

      $ \begin{aligned}[b] \int {\rm d}\beta\,S^{\#}_{\gamma\beta}S_{\beta\alpha} &= {\rm e}^{{\rm i}\pi(n^{c}_{\alpha}+n^{c}_{\gamma})}\int {\rm d} \beta\,S^{\dagger}_{\gamma\beta}S_{\beta\alpha}\\ & =\delta_{ \mathrm{\Pi}}(\gamma-\alpha)\,. \end{aligned} $

      (162)

      Equation (162) implies that the theory is unitary provided that the total number of antiparticles in any physical process is even. We have been unable to construct interactions that satisfy this criterion. In [26], it was claimed that the LN model for self-interacting symplectic fermions, $ (\sum\nolimits_{i}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}_{i}\phi_{i})^{2} $, is unitary. However, this claim holds only for 2-to-2 scattering at low energies below the pair-production threshold [29] 9.

      To resolve this problem, one direct approach is to formulate a unitary scattering theory using the Hermitian Hamiltonian density

      $ {\cal{H}}^{(h)}({\bf{x}})\equiv\dfrac{1}{2}\left[{\cal{H}}({\bf{x}})+{\cal{H}}^{\dagger}({\bf{x}})\right] \,. $

      (163)

      However, this approach fails. To see why, consider the Yukawa interaction between a spin-half boson ψ and a real scalar field φ, given by $ {\cal{H}}_{Y}=g\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}\psi\varphi $. Since $ \psi({\bf{x}}) $ commutes with $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}({\bf{y}}) $, $ {\cal{H}}_{Y} $ is local:

      $ [{\cal{H}}_{Y}({\bf{x}}),{\cal{H}}_{Y}({\bf{y}})]_-=0 \,. $

      (164)

      However, the Hermitian Yukawa interaction density

      $ {\cal{H}}^{(h)}_{Y}({\bf{x}})=\dfrac{1}{2}[{\cal{H}}_{Y}({\bf{x}})+{\cal{H}}^{\dagger}_{Y}({\bf{x}})] \,, $

      (165)

      is nonlocal, $ [{\cal{H}}^{(h)}_{Y}({\bf{x}}),{\cal{H}}^{(h)}({\bf{y}})]_{-}\neq0 $, since $ \psi({\bf{x}}) $ does not commute with $ \psi^{\dagger}({\bf{y}}) $ at equal times.

      The above argument shows that an interacting pseudo-Hermitian QFT satisfying the NSST with respect to the η-inner product is generally non-unitary. Nevertheless, the theory remains consistent in the sense that it is local and obeys Poincaré symmetry. If theories built from these fields are indeed non-unitary, they cannot describe elementary particles, whose scattering processes require a unitary S-matrix. However, this does not imply that they are unphysical. Well-known non-unitary theories exist, such as the Lee–Yang model [30, 31] and logarithmic CFTs in 1+1 dimensions with negative central charge [32, 33]. These theories are not only consistent but also have important applications in statistical physics. Therefore, the task is to identify areas in which pseudo-Hermitian QFT can be applied. In the following, we argue that it may provide a concrete realization of the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence.

    • B.   The $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence

    • In the literature, three-dimensional models of self-interacting symplectic fermions and Chern-Simons gauge theory coupled to spin-half bosons have been conjectured to provide concrete realizations of the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence [25]. 10 Here, we examine both models, explain why they are unsatisfactory, and propose alternative constructions based on the pseudo-Hermitian framework developed in this work. Although the pseudo-Hermitian QFTs considered here are constructed in four-dimensional spacetime, they can be straightforwardly extended to three dimensions because the actions retain the same form.

      Anninos, Hartman, and Strominger (AHS) conjectured that three-dimensional symplectic fermions are holographically dual to minimal Vasiliev higher-spin gravity in $ \text{dS}_{4} $ [25]. AHS described symplectic fermions using real anticommuting scalar fields $ \chi_{i} $ ($ i=1,\cdots,N $). They proposed the following action

      $ S_{\chi}=\dfrac{1}{2}\int {\rm d}^{3}x\sum\limits_{i,j}\left[ {\Omega}_{ij}(\partial^{\mu}\chi_{i})(\partial_{\mu}\chi_{j})+g( {\Omega}_{ij}\chi_{i}\chi_{j})^{2}\right]\,. $

      (166)

      The free theory is conjectured to be dual to minimal Vasiliev gravity with Neumann boundary conditions. The interacting critical symplectic fermion theory is conjectured to be dual to minimal Vasiliev gravity with Dirichlet boundary conditions. There are two important consequences for formulating the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence using $ \chi_{i} $. First, $ \chi_{i} $ violates the SST, so the proposed duality is non-unitary. Second, there are conserved currents only of even spin

      $ J(\chi) =\sum\limits_{i}\chi_{i}\chi_{i}\,,s=0\,, $

      (167)

      $ J_{\mu_{1}\cdots\mu_{s}}(\chi) =\sum\limits_{i}\chi_{i}\partial_{(\mu_{1}\cdots\mu_{s})}\chi_{i}+\cdots\,,\, s=2,4\cdots\,. $

      (168)

      The correction term in (168) makes the current symmetric and traceless. The correlation functions of these currents are conjectured to be dual to the corresponding bulk correlators of minimal Vasiliev gravity in $ \text{dS}_{4} $.

      Chang, Pathak, and Strominger (CPS) conjectured that the level-k $ \text{U}(N) $ Chern-Simons theory coupled to spin-half bosons is dual to parity-violating non-minimal Vasiliev gravity. 11 The action is

      $ S_{A,\xi}=\dfrac{k}{4\pi}\int\,\text{tr}\left(AdA+\dfrac{2}{3}A^{3}\right)+\int {\rm d}^{3}x\,\bar{\xi}\gamma^{i}D_{i}\xi\,, $

      (169)

      where A denotes the Chern–Simons gauge field, and $ \xi,\bar{\xi} $ are commuting spinor fields in the fundamental representation of $ \text{U}(N) $. The spin-zero and higher-spin currents are

      $ J(\xi) =\bar{\xi}\xi\,,s=0\,, $

      (170)

      $ J_{\mu_{1}\cdots\mu_{s}}(\xi) =i^{s}\bar{\xi}\gamma_{\mu_{1}}D_{\mu_{2}}\cdots D_{\mu_{s}}\xi\,,s=1,2\cdots. $

      (171)

      Here, the higher-spin currents are not conserved. They are almost conserved in the sense that the term that violates current conservation is suppressed by $ 1/N $. The spin-zero operator and higher-spin currents are conjectured to be dual to a scalar field and higher-spin gauge fields in the bulk, respectively.

      In our view, the main issue with these models is not the violation of unitarity. Indeed, unitarity violation is expected to be an essential feature of the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence.

      The central problem is that the real anticommuting scalar fields and the commuting spinor fields with $ \bar{\xi}=\xi^{\dagger}\gamma^{0} $ cannot be consistently quantized. Specifically, these fields do not admit proper mode expansions, and thus their Hamiltonians and energy-momentum tensors cannot be expressed in terms of annihilation and creation operators. Their correlation functions cannot be computed directly by contracting fields using Wick's theorem; instead, they can only be obtained by analytic continuation. In the AHS construction, the correlation functions are obtained by analytically continuing those of the $ \text{O}(N) $ vector model via $ N\rightarrow -N $. Similarly, in the CPS construction, the correlation functions are obtained by analytically continuing the results from Chern–Simons theory coupled to Dirac fermions.

      Since the $ \text{O}(N) $ vector model and Chern–Simons theory coupled to Dirac fermions are both unitary and have well-defined correlation functions that are analytic in N, it is permissible to analytically continue N to $ -N $. Such an analytic continuation implies that the resulting QFTs must satisfy the opposite spin–statistics relation relative to the original theories. However, it does not specify precisely how these theories should be constructed.

      To construct QFTs with opposite spin–statistics relations, we must take into account the pseudo-Hermitian adjoint. In this way, the QFTs can be consistently quantized. Since AHS and CPS did not introduce the pseudo-Hermitian adjoint, their constructions are inconsistent. We now present the correct constructions using the pseudo-Hermitian framework.

      The symplectic fermions of LeClair et al. are described by $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}_{i} $, $ \phi_{i} $ ($ 1\leq i\leq N $). The Euclidean action for N symplectic fermions in three dimensions is

      $ S_{\phi}=\int {\rm d}^{3}x\,\sum\limits_{i,}\left[(\partial^{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}_{i})\partial_{\mu}\phi_{i}+g(\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}_{i}\phi_{i})^{2}\right]\,. $

      (172)

      Like its four-dimensional counterpart, the three-dimensional theory can be consistently quantized. Because the fields are complex, in addition to possessing even-spin currents

      $ J_{\mu_{1}\cdots\mu_{s}}(\phi)=\sum\limits_{i}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}_{i}\partial_{(\mu_{1}\cdots\mu_{s})}\phi_{i}+\cdots\,,\, s=0,2,4\cdots\,, $

      (173)

      there are also odd spin currents

      $ J_{\mu_{1}\cdots\mu_{s}}(\phi)={\rm i} \sum\limits_{i}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}_{i}\partial_{(\mu_{1}\cdots\mu_{s})}\phi_{i}+\cdots\,,\, s=1,3,5,\cdots\,. $

      (174)

      The correction terms in (173)–(174) are introduced to ensure that the currents are symmetric, traceless, and pseudo-Hermitian. For example, the scalar and spin-one currents are

      $ J(\phi)=\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}\phi\,,\, J_{\mu}(\phi)={\rm i}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}(\partial_{\mu}\phi)-{\rm i}(\partial_{\mu}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}})\phi\,. $

      (175)

      We conjecture that the correlation functions of $ J_{\mu_{1}\cdots\mu_{s}}(\phi) $ for all spins ($ s=0,1,2,\cdots $) are dual to the corresponding bulk correlators of non-minimal Vasiliev gravity in $ \text{dS}_{4} $ with the Neumann boundary condition. For the critical symplectic-fermion theory with quartic self-interaction $ (\sum\nolimits_{i}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\phi}}}_{i}\phi_{i})^{2} $, we conjecture that the theory is dual to non-minimal Vasiliev gravity in $ \text{dS}_{4} $ with the Dirichlet boundary condition. These conjectures are analogous to those relating complex scalar fields with $ \text{U}(N) $ symmetry in three dimensions to non-minimal Vasiliev gravity in $ \text{AdS}_{4} $ [34−36].

      For the level-k $ \text{U}(N) $ Chern-Simons theory coupled to the spin-$ 1/2 $ boson, the correct Euclidean action is given by

      $ S_{A,\psi}=\dfrac{k}{4\pi}\int\,\text{tr}\left(AdA+\dfrac{2}{3}A^{3}\right)+\int {\rm d}^{3}x\,\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}\gamma^{i}D_{i}\psi\,, $

      (176)

      where $ \overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}} $ denotes the pseudo-Hermitian adjoint of ψ. The currents are

      $ J(\psi)=\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}\psi\,,s=0, $

      (177)

      and

      $ J_{\mu_{1}\cdots\mu_{s}}(\psi)=i^{s}\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}}\gamma_{\mu_{1}}D_{\mu_{2}\cdots\mu_{s}}\psi\,,s=1,2,\cdots. $

      (178)

      The spectrum of the currents for $ \psi,\overset{\:{}^{^{{{\neg}}}}}{\smash[t]{{\psi}}} $ is the same as that for $ \xi,\bar{\xi} $. Consequently, the correlation functions for $ J(\psi) $ and $ J_{\mu_{1}\cdots\mu_{s}}(\psi) $ are also conjectured to be dual to a scalar field and higher-spin gauge fields in the bulk.

    VI.   CONCLUSION
    • The pseudo-Hermitian QFT provides a framework for generalizing conventional unitary QFT. Here, we have extended the formalism developed by LeClair et al. [20, 21] and Ahluwalia et al. [22, 24] to construct a class of free pseudo-Hermitian QFTs that obey the NSST. Contrary to the consensus that fields with the 'wrong' spin-statistics are non-unitary, free pseudo-Hermitian fields, with the appropriate adjoints, are local, respect Poincaré symmetry, and can be consistently quantized. In this framework, integer-spin fields are fermionic, and half-integer-spin fields are bosonic. The free generators of the Poincaré group are Hermitian, which ensures that the free theory is unitary.

      We have not introduced new symmetries or degrees of freedom in our construction. The pseudo-Hermitian QFTs are constructed from the same requirements of locality and Poincaré symmetry as their Hermitian counterparts. The crucial difference is the pseudo-Hermitian field adjoint, which alters the connection between spin and statistics. The pseudo-Hermitian QFTs also differ from their Hermitian counterparts in two other respects. First, the particles and antiparticles described by pseudo-Hermitian QFTs must be distinct ($ b\neq b^{c} $). This is because the operator η, which is used to define the pseudo-Hermitian conjugation, commutes with b and anticommutes with $ b^{c} $. This is not possible if $ b=b^{c} $. 12 The second difference concerns charge-conjugation symmetry. As we have shown in Section III, for the scalar, vector, and spinor fields, the particles and antiparticles have odd intrinsic charge-conjugation phases. As a result, we have $ C^{2}=-1 $ for pseudo-Hermitian QFTs instead of $ C^{2}=1 $ for Hermitian QFTs. This result resembles the method used by Bernard and LeClair to classify non-Hermitian random matrices [37].

      Once the correct pseudo-Hermitian field adjoint is defined, the derivation of the NSST within the relativistic QFT framework is straightforward. An interesting question is whether the NSST can be derived for non-relativistic (pseudo-Hermitian) QM. Berry and Robins have shown that the Pauli phase $ (-1)^{2s} $, where s is the spin of the particle, naturally arises from the geometric phase [38]. Single-valuedness of the wave function then implies the standard connection between spin and statistics. The requirement of unitarity is central to their derivation. It would be instructive to re-examine their derivation by relaxing this requirement.

      In this work, we have shown that the free pseudo-Hermitian QFT is unitary, whereas the interacting theory is non-unitary. We outline two promising approaches to addressing non-unitarity. As noted in [29], the renormalization group flow for symplectic fermions exhibits a much richer pattern than that of the bosonic $ \phi^4 $ theory, which may be relevant to the hierarchy problem of the Higgs boson. Moreover, since the LN model is unitary at low energies below the pair-production threshold, symplectic fermions may have applications in condensed matter physics.

      Alternatively, pseudo-Hermitian QFTs may have applications to the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence. In Section V, we conjecture that the symplectic fermions and spin-half bosons are dual to Vasiliev gravity. Our results in this work present an interesting paradigm: the $ \text{dS}_{4}/\text{CFT}_{3} $ correspondence is unitary (non-unitary) when the boundary CFT is free (interacting). We hope to verify our conjectures in future work.

    APPENDIX A: NOTATIONS & CONVENTIONS
    • Throughout this paper, we follow the conventions of Ref. [39]. The four-dimensional Minkowski metric is

      $ g_{\mu \nu} = g^{\mu \nu} = \text{diag}(+1, -1, -1, -1) \, , $

      (A1)

      where $ \mu, \nu=0,1, 2, 3 $.

      The $ 4\times4 $ Dirac matrices are expressed in the Weyl representation

      $ \gamma^\mu = \left[\begin{matrix} 0 & \sigma^\mu \\ \bar{\sigma}^\mu & 0 \end{matrix}\right] \, , \quad \text{with} \, \biggl\{ \begin{array}{r c l} \sigma^\mu &=& \left( {1}_{2 \times 2}, \sigma^i \right) \, , \\ \bar{\sigma}^\mu &=& \left( {1}_{2 \times 2}, -\sigma^i \right) \, , \end{array} $

      (A2)

      where $ \mu=0,1,2,3 $, and $ \sigma^i $ ($ i = 1, 2, 3 $) denote the three Pauli matrices:

      $ \sigma^1 = \left[\begin{matrix} 0 \quad & \quad 1 \\ 1 \quad & \quad 0 \end{matrix}\right] \, , \, \sigma^2 = \left[\begin{matrix} 0 \quad & -{\rm i} \\ {\rm i} \quad & 0 \end{matrix}\right] \, , \, \sigma^3 = \left[\begin{matrix} 1 \quad & 0 \\ 0 \quad & -1 \end{matrix}\right] \, , $

      (A3)

      and

      $ \left\{\sigma^{i}, \sigma^{j} \right\} = 2\delta^{ij} \, , \, i,j = 1 \cdots 3 \, , $

      (A4)

      where the Kronecker delta function is

      $ \delta^{ij} = \biggl\{ \begin{array}{r c l} &1&, \ i=j,\\ &0&, \ i \neq j. \end{array} \, $

      (A5)

      The Levi-Civita tensor $ \epsilon_{ijk} $, defined for $ i,j,k = 1 \cdots 3 $, is totally antisymmetric, with $ \epsilon_{123}=+1 $.

      The chiral operator is also given by

      $ \gamma^5 ={\rm i}\gamma^0 \gamma^1 \gamma^2 \gamma^3 = \left[\begin{matrix} - {1}_{2 \times 2} & 0 \\ 0 & {1}_{2 \times 2} \end{matrix}\right] \, , $

      (A6)

      and the chiral projection operators

      $ P_{L,R} \equiv \dfrac{ {1} \mp \gamma^{5}}{2} \, . $

      (A7)
    APPENDIX B: THE S-MATRIX WITH THE η-INNER PRODUCT
    • A scattering theory for a pseudo-Hermitian Hamiltonian was constructed using the η-inner product in Ref. [26]. Here, we briefly review this theory. Let $ |\alpha_{+}\rangle $ and $ |\alpha_{-}\rangle $ denote the in- and out-states, respectively. They are related to the free states $ |\alpha_{0}\rangle $ by

      $ |\alpha_{\pm}\rangle= {\Omega}_{\pm}|\alpha_{0}\rangle\,,\, {\Omega}_{\pm}=\lim\limits_{t\rightarrow \mp\infty} {\rm e}^{{\rm i}Ht} {\rm e}^{-{\rm i}H_{0}t}\,. $

      (B8)

      The time evolutions of $ |\alpha_{0}\rangle $ and $ |\alpha_{\pm}\rangle $ are generated by $ H_{0} $ and H, respectively. Because H is pseudo-Hermitian, time-translation symmetry can be preserved with respect to the η-inner product

      $ \langle\beta_{\pm},t|\alpha_{\pm},t\rangle_{\eta}=\langle\beta_{\pm}|\alpha_{\pm}\rangle_{\eta}\,. $

      (B9)

      The S-matrix for the scattering process $ \alpha\rightarrow \beta $ is given by the η-inner product.

      $ \begin{aligned}[b] S_{\beta\alpha} &=\langle\beta_-|\eta|\alpha_+\rangle\\&=\langle\beta_{0}|S|\alpha_{0}\rangle\,, \end{aligned} $

      (B10)

      where

      $ S= {\Omega}^{\dagger}_-\eta {\Omega}_+\,. $

      (B11)

      Using the pseudo-Hermiticity of the Hamiltonian, we find that the inverse of $ {\Omega}_{\pm} $ is given by

      $ {\Omega}^{-1}_{\pm}= {\Omega}^{\#}_{\pm}=\eta^{-1} {\Omega}^{\dagger}_{\pm}\eta\,. $

      (B12)

      A direct calculation then shows that the S-matrix satisfies the generalized unitarity relation

      $ S^{\#}S= {\mathbb{1}}\,,\, S^{\#}=\eta^{-1}S^{\dagger}\eta\,. $

      (B13)
    ACKNOWLEDGEMENTS
    • We thank Ting-Long Feng forcollaboration at the early stage of this work.

Reference (39)

目录

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return