arXiv subjects
Publications and source records attributed to Carl M. Bender.
Hamilton's equations of motion are local differential equations and boundary conditions are required to determine the solution uniquely. Depending on the choice of boundary conditions, a Hamiltonian may thereby describe several different physically observable phases, each exhibiting its own characteristic global symmetry.
It is generally assumed that a Hamiltonian for a physically acceptable quantum system (one that has a positive-definite spectrum and obeys the requirement of unitarity) must be Hermitian. However, a PT-symmetric Hamiltonian can also define a physically acceptable quantum-mechanical system even if the Hamiltonian is not Hermitian. The study of PT-symmetric quantum systems is a young and extremely active research area in both theoretical and experimental physics. The purpose of this Review is to provide established scientists as well as graduate students with a compact, easy-to-read introduction to this field that will enable them to understand more advanced publications and to begin their own theoretical or experimental research activity. The ideas and techniques of PT symmetry have been applied in the context of many different branches of physics. This Review introduces the concepts of PT symmetry by focusing on elementary one-dimensional PT-symmetric quantum and classical mechanics and relies in particular on oscillator models to illustrate and explain the basic properties of PT-symmetric quantum theory.
This paper presents new classes of exact radial solutions to the nonlinear ordinary differential equation that arises as a saddle-point condition for a Euclidean scalar field theory in $D$-dimensional spacetime. These solutions are found by exploiting the dimensional consistency of the radial differential equation for a single {\it massless} scalar field, which allows one to transform to an autonomous equation. For massive theories the radial equation is not exactly solvable but the massless solutions provide useful approximations to the results for the massive case. The solutions presented here depend on the power of the interaction and on the spatial dimension, both of which may be noninteger. Scalar equations arising in the study of conformal invariance fit into this framework and classes of new solutions are found. These solutions exhibit two distinct behaviours as $D\to2$ from above.
The Dyson-Schwinger (DS) equations for a quantum field theory in $D$-dimensional space-time are an infinite sequence of coupled integro-differential equations that are satisfied exactly by the Green's functions of the field theory. This sequence of equations is underdetermined because if the infinite sequence of DS equations is truncated to a finite sequence, there are always more Green's functions than equations. An approach to this problem is to close the finite system by setting the highest Green's function(s) to zero. One can examine the accuracy of this procedure in $D=0$ because in this special case the DS equations are just a sequence of coupled polynomial equations whose roots are the Green's functions. For the closed system one can calculate the roots and compare them with the exact values of the Green's functions. This procedure raises a general mathematical question: When do the roots of a sequence of polynomial approximants to a function converge to the exact roots of that function? Some roots of the polynomial approximants may (i) converge to the exact roots of the function, or (ii) approach the exact roots at first and then veer away, or (iii) converge to limiting values that are unequal to the exact roots. In this study five field-theory models in $D=0$ are examined, Hermitian $ϕ^4$ and $ϕ^6$ theories and non-Hermitian $iϕ^3$, $-ϕ^4$, and $-i ϕ^5$ theories. In all cases the sequences of roots converge to limits that differ by a few percent from the exact answers. Sophisticated asymptotic techniques are devised that increase the accuracy to one part in $10^7$. Part of this work appears in abbreviated form in Phys.~Rev.~Lett.~{\bf 130}, 101602 (2023).
This paper examines the effectiveness of the Dyson-Schwinger (DS) equations as a calculational tool in quantum field theory. The DS equations are an infinite sequence of coupled equations that are satisfied exactly by the connected Green's functions $G_n$ of the field theory. These equations link lower to higher Green's functions and, if they are truncated, the resulting finite system of equations is underdetermined. The simplest way to solve the underdetermined system is to set all higher Green's function(s) to zero and then to solve the resulting determined system for the first few Green's functions. The $G_1$ or $G_2$ so obtained can be compared with exact results in solvable models to see if the accuracy improves for high-order truncations. Five $D=0$ models are studied: Hermitian $ϕ^4$ and $ϕ^6$ and non-Hermitian $iϕ^3$, $-ϕ^4$, and $iϕ^5$ theories. The truncated DS equations give a sequence of approximants that converge slowly to a limiting value but this limiting value always {\it differs} from the exact value by a few percent. More sophisticated truncation schemes based on mean-field-like approximations do not fix this formidable calculational problem.
The scalar field theory with potential $V(φ)=\textstyle{\frac{1}{2}} m^2φ^2-\textstyle{\frac{1}{4}} gφ^4$ ($g>0$) is ill defined as a Hermitian theory but in a non-Hermitian $\mathcal{P}\mathcal{T}$-symmetric framework it is well defined, and it has a positive real energy spectrum for the case of spacetime dimension $D=1$. While the methods used in the literature do not easily generalize to quantum field theory, in this paper the path-integral representation of a $\mathcal{P}\mathcal{T}$-symmetric $-gφ^4$ theory is shown to provide a unified formulation for general $D$. A new conjectural relation between the Euclidean partition functions $Z^{\mathcal{P}\mathcal{T}}(g)$ of the non-Hermitian $\mathcal{P}\mathcal{T}$-symmetric theory and $Z_{\rm Herm}(λ)$ of the $λφ^4$ ($λ>0$) Hermitian theory is proposed: $\log Z^{\mathcal{P}\mathcal{T}}(g)=\textstyle{\frac{1}{2}} \log Z_{\rm Herm}(-g+{\rm i} 0^+)+\textstyle{\frac{1}{2}}\log Z_{\rm Herm}(-g-{\rm i} 0^+)$. This relation ensures a real energy spectrum for the non-Hermitian $\mathcal{P}\mathcal{T}$-symmetric $-gφ^4$ field theory. A closely related relation is rigorously valid in $D=0$. For $D=1$, using a semiclassical evaluation of $Z^{\mathcal{P}\mathcal{T}}(g)$, this relation is verified by comparing the imaginary parts of the ground-state energy $E_0^{\mathcal{P}\mathcal{T}}(g)$ (before cancellation) and $E_{0,\rm Herm}(-g\pm {\rm i} 0^+)$.
A class of above-barrier quantum-scattering problems is shown to provide an experimentally-accessible platform for studying $\mathcal{PT}$-symmetric Schrödinger equations that exhibit spontaneous $\mathcal{PT}$ symmetry breaking despite having purely real potentials. These potentials are one-dimensional, inverted, and unstable and have the form $V(x) = - \lvert x\rvert^p$ ($p>0$), terminated at a finite length or energy to a constant value as $x\to \pm\infty$. The signature of unbroken $\mathcal{PT}$ symmetry is the existence of reflectionless propagating states at discrete real energies up to arbitrarily high energy. In the $\mathcal{PT}$-broken phase, there are no such solutions. In addition, there exists an intermediate mixed phase, where reflectionless states exist at low energy but disappear at a fixed finite energy, independent of termination length. In the mixed phase exceptional points (EPs) occur at specific $p$ and energy values, with a quartic dip in the reflectivity in contrast to the quadratic behavior away from EPs. $\mathcal{PT}$-symmetry-breaking phenomena have not been previously predicted in a quantum system with a real potential and no reservoir coupling. The effects predicted here are measurable in standard cold-atom experiments with programmable optical traps. The physical origin of the symmetry-breaking transition is elucidated using a WKB force analysis that identifies the spatial location of the above-barrier scattering.
This paper is an addendum to earlier papers \cite{R1,R2} in which it was shown that the unstable separatrix solutions for Painlev\'e I and II are determined by $PT$-symmetric Hamiltonians. In this paper unstable separatrix solutions of the fourth Painlev\'e transcendent are studied numerically and analytically. For a fixed initial value, say $y(0)=1$, a discrete set of initial slopes $y'(0)=b_n$ give rise to separatrix solutions. Similarly, for a fixed initial slope, say $y'(0)=0$, a discrete set of initial values $y(0)=c_n$ give rise to separatrix solutions. For Painlev\'e IV the large-$n$ asymptotic behavior of $b_n$ is $b_n\sim B_{\rm IV}n^{3/4}$ and that of $c_n$ is $c_n\sim C_{\rm IV} n^{1/2}$. The constants $B_{\rm IV}$ and $C_{\rm IV}$ are determined both numerically and analytically. The analytical values of these constants are found by reducing the nonlinear Painlev\'e IV equation to the linear eigenvalue equation for the sextic $PT$-symmetric Hamiltonian $H=\frac{1}{2} p^2+\frac{1}{8} x^6$.
In a previous paper it was shown how to calculate the ground-state energy density $E$ and the $p$-point Green's functions $G_p(x_1,x_2,...,x_p)$ for the $PT$-symmetric quantum field theory defined by the Hamiltonian density $H=\frac{1}{2}(\nablaϕ)^2+\frac{1}{2}ϕ^2(iϕ)^\varepsilon$ in $D$-dimensional Euclidean spacetime, where $ϕ$ is a pseudoscalar field. In this earlier paper $E$ and $G_p(x_1,x_2,...,x_p)$ were expressed as perturbation series in powers of $\varepsilon$ and were calculated to first order in $\varepsilon$. (The parameter $\varepsilon$ is a measure of the nonlinearity of the interaction rather than a coupling constant.) This paper extends these perturbative calculations to the Euclidean Lagrangian $L= \frac{1}{2}(\nablaϕ)^2+\frac{1}{2}μ^2ϕ^2+\frac{1}{2} gμ_0^2ϕ^2\big(iμ_0^{1-D/2}ϕ\big)^\varepsilon-ivϕ$, which now includes renormalization counterterms that are linear and quadratic in the field $ϕ$. The parameter $g$ is a dimensionless coupling strength and $μ_0$ is a scaling factor having dimensions of mass. Expressions are given for the one-, two, and three-point Green's functions, and the renormalized mass, to higher-order in powers of $\varepsilon$ in $D$ dimensions ($0\leq D\leq2$). Renormalization is performed perturbatively to second order in $\varepsilon$ and the structure of the Green's functions is analyzed in the limit $D\to 2$. A sum of the most divergent terms is performed to {\it all} orders in $\varepsilon$. Like the Cheng-Wu summation of leading logarithms in electrodynamics, it is found here that leading logarithmic divergences combine to become mildly algebraic in form. Future work that must be done to complete the perturbative renormalization procedure is discussed.
This paper reports the results of an ongoing in-depth analysis of the classical trajectories of the class of non-Hermitian $PT$-symmetric Hamiltonians $H=p^2+ x^2(ix)^\varepsilon$ ($\varepsilon\geq0$). A variety of phenomena, heretofore overlooked, have been discovered such as the existence of infinitely many separatrix trajectories, sequences of critical initial values associated with limiting classical orbits, regions of broken $PT$-symmetric classical trajectories, and a remarkable topological transition at $\varepsilon=2$. This investigation is a work in progress and it is not complete; many features of complex trajectories are still under study.
One-dimensional PT-symmetric quantum-mechanical Hamiltonians having continuous spectra are studied. The Hamiltonians considered have the form $H=p^2+V(x)$, where $V(x)$ is odd in $x$, pure imaginary, and vanishes as $|x|\to\infty$. Five PT-symmetric potentials are studied: the Scarf-II potential $V_1(x)=iA_1\,{\rm sech}(x)\tanh(x)$, which decays exponentially for large $|x|$; the rational potentials $V_2(x)=iA_2\,x/(1+x^4)$ and $V_3(x)=iA_3\,x/(1+|x|^3)$, which decay algebraically for large $|x|$; the step-function potential $V_4(x)=iA_4\,{\rm sgn}(x)θ(2.5-|x|)$, which has compact support; the regulated Coulomb potential $V_5(x)=iA_5\,x/(1+x^2)$, which decays slowly as $|x|\to\infty$ and may be viewed as a long-range potential. The real parameters $A_n$ measure the strengths of these potentials. Numerical techniques for solving the time-independent Schrödinger eigenvalue problems associated with these potentials reveal that the spectra of the corresponding Hamiltonians exhibit universal properties. In general, the eigenvalues are partly real and partly complex. The real eigenvalues form the continuous part of the spectrum and the complex eigenvalues form the discrete part of the spectrum. The real eigenvalues range continuously in value from $0$ to $+\infty$. The complex eigenvalues occur in discrete complex-conjugate pairs and for $V_n(x)$ ($1\leq n\leq4$) the number of these pairs is finite and increases as the value of the strength parameter $A_n$ increases. However, for $V_5(x)$ there is an {\it infinite} sequence of discrete eigenvalues with a limit point at the origin. This sequence is complex, but it is similar to the Balmer series for the hydrogen atom because it has inverse-square convergence.
In quantum mechanics the eigenstates of the Hamiltonian form a complete basis. However, physicists conventionally express completeness as a formal sum over the eigenstates, and this sum is typically a divergent series if the Hilbert space is infinite dimensional. Furthermore, while the Hamiltonian can be reconstructed formally as a sum over its eigenvalues and eigenstates, this series is typically even more divergent. For the simple cases of the square-well and the harmonic-oscillator potentials this paper explains how to use the elementary procedure of Euler summation to sum these divergent series and thereby to make sense of the formal statement of the completeness of the formal sum that represents the reconstruction of the Hamiltonian.
The Riemann zeta function $ζ(s)$ is defined as the infinite sum $\sum_{n=1}^\infty n^{-s}$, which converges when ${\rm Re}\,s>1$. The Riemann hypothesis asserts that the nontrivial zeros of $ζ(s)$ lie on the line ${\rm Re}\,s= \frac{1}{2}$. Thus, to find these zeros it is necessary to perform an analytic continuation to a region of complex $s$ for which the defining sum does not converge. This analytic continuation is ordinarily performed by using a functional equation. In this paper it is argued that one can investigate some properties of the Riemann zeta function in the region ${\rm Re}\,s<1$ by allowing operator-valued zeta functions to act on test functions. As an illustration, it is shown that the locations of the trivial zeros can be determined purely from a Fourier series, without relying on an explicit analytic continuation of the functional equation satisfied by $ζ(s)$.
Eigenvalue problems for linear differential equations, such as time-independent Schrödinger equations, can be generalized to eigenvalue problems for nonlinear differential equations. In the nonlinear context a separatrix plays the role of an eigenfunction and the initial conditions that give rise to the separatrix play the role of eigenvalues. Previously studied examples of nonlinear differential equations that possess discrete eigenvalue spectra are the first-order equation $y'(x)=\cos[πxy(x)]$ and the first, second, and fourth Painlevé transcendents. It is shown here that the differential equations for the first and second Painlevé transcendents can be generalized to large classes of nonlinear differential equations, all of which have discrete eigenvalue spectra. The large-eigenvalue behavior is studied in detail, both analytically and numerically, and remarkable new features, such as hyperfine splitting of eigenvalues, are described quantitatively.
PT-symmetric quantum mechanics began with a study of the Hamiltonian $H=p^2+x^2(ix)^\varepsilon$. A surprising feature of this non-Hermitian Hamiltonian is that its eigenvalues are discrete, real, and positive when $\varepsilon\geq0$. This paper examines the corresponding quantum-field-theoretic Hamiltonian $H=\frac{1}{2}(\nablaϕ)^2+\frac{1}{2}ϕ^2(iϕ)^\varepsilon$ in $D$-dimensional spacetime, where $ϕ$ is a pseudoscalar field. It is shown how to calculate the Green's functions as series in powers of $\varepsilon$ directly from the Euclidean partition function. Exact finite expressions for the vacuum energy density, all of the connected $n$-point Green's functions, and the renormalized mass to order $\varepsilon$ are derived for $0\leq D<2$. For $D\geq2$ the one-point Green's function and the renormalized mass are divergent, but perturbative renormalization can be performed. The remarkable spectral properties of PT-symmetric quantum mechanics appear to persist in PT-symmetric quantum field theory.
Fermionic systems differ from their bosonic counterparts, the main difference with regard to symmetry considerations being that $T^2=-1$ for fermionic systems. In PT-symmetric quantum mechanics an operator has both PT and CPT adjoints. Fermionic operators $η$, which are quadratically nilpotent ($η^2=0$), and algebras with PT and CPT adjoints can be constructed. These algebras obey different anticommutation relations: $ηη^{PT}+η^{PT}η=-1$, where $η^{PT}$ is the PT adjoint of $η$, and $ηη^{CPT}+η^{CPT}η=1$, where $η^{CPT}$ is the CPT adjoint of $η$. This paper presents matrix representations for the operator $η$ and its PT and CPT adjoints in two and four dimensions. A PT-symmetric second-quantized Hamiltonian modeled on quantum electrodynamics that describes a system of interacting fermions and bosons is constructed within this framework and is solved exactly.
The differential-equation eigenvalue problem associated with a recently-introduced Hamiltonian, whose eigenvalues correspond to the zeros of the Riemann zeta function, is analyzed using Fourier and WKB analysis. The Fourier analysis leads to a challenging open problem concerning the formulation of the eigenvalue problem in the momentum space. The WKB analysis gives the exact asymptotic behavior of the eigenfunction.
This paper is in response to a recent comment by Bellissard [arXiv:1704.02644] on the paper [Phys. Rev. Lett. 118, 130201 (2017)]. It is explained that the issues raised in the comment have already been discussed in the paper and do not affect the conclusions of the paper.