arxiv: v1 [hep-th] 4 Apr 2008

Transcription

1 P T symmetry and lare- models arxiv: v1 [hep-th] 4 Apr 008 Michael C. Oilvie and Peter. Meisiner Department of Physics, Washinton University, St. Louis, MO USA mco@physics.wustl.edu;pnm@physics.wustl.edu Abstract. Recently developed methods for PT-symmetric models can be applied to quantum-mechanical matrix and vector models. In matrix models, the calculation of all sinlet wave functions can be reduced to the solution a one-dimensional PT-symmetric model. The lare- limit of a wide class of matrix models exists, and properties of the lowest-lyin sinlet state can be computed usin WKB. For models with cubic and quartic interactions, the round state enery appears to show rapid converence to the lare- limit. For the special case of a quartic model, we find explicitly an isospectral Hermitian matrix model. The Hermitian form for a vector model with O() symmetry can also be found, and shows many unusual features. The effective potential obtained in the lare-limit of the Hermitian form is shown to be identical to the form obtained from the oriinal PT-symmetric model usin familiar constraint field methods. The analoous constraint field prescription in four dimensions suests that PT-symmetric scalar field theories are asymptotically free. PACS numbers: Er, P, Db

2 P T symmetry and lare- models 1. Introduction Since the initial discovery of P T symmetry [1], there has been considerable proress in expandin both the number of PT-symmetric models and our knowlede of their properties [, 3]. However, models with continuous internal symmetry roups have not been extensively developed. Of course, the field theories relevant to modern particle physics have continuous symmetries, and it is natural to seek P T-symmetric models with similar continuous symmetries. Here we review recent proress we have made in thetheconstructionandanalysisofpt-symmetricmodelsofscalarswitho()oru() symmetry [4, 5]. Most of the results will deal with quantum mechanical models, usefully rearded as one-dimensional field theories. Of particular interest is the construction of thelare- limit, asthis hasproven to beavery powerful theoretical toolinthe analysis of many different field theories. Hermitian matrix models appear in many contexts in modern theoretical physics, with applications ranin from condensed matter physics to strin theory. Interest in the lare- limit of matrix models was stronly motivated by work onthe lare- c limit of QCD [6], but interest today is much wider. For example, Hermitian matrix quantum mechanics leads to a construction of two-dimensional quantum ravity coupled to c = 1 matter [7]. It is surprisin that the construction of P T-symmetric matrix models is somewhat easier than the the construction of models with a vector symmetry. The matrix techniques pioneered in [8] for Hermitian matrix quantum mechanics can be extended to P T-symmetric matrix quantum mechanics. In these models, the contours of functional interation over the matrix eienvalues are extended into the complex plane. The lare- limit can then be taken in PT-symmetric matrix theories ust as in the Hermitian case. Quantities of interest such as the scaled round state enery and scaled moments can be calculated usin WKB methods. In the special case of a quartic potential with the wron sin, we use functional interation techniques to prove that the PT-symmetric model is equivalent to a hermitian matrix model with an anomaly for all values of, as in the one-component case [9, 10]. Interestinly, the anomaly vanishes to leadin order in the lare- limit. Althouh the construction of P T-symmetric matrix models has proved to be relatively straihtforward, the construction of P T-symmetric models with fields transformin as vectors under O() is more difficult technically. evertheless, the development of scalar field theory models with vector symmetry is crucial to the possible relevance of P T-symmetry in particle physics. Only models with quartic interactions have so far proved tractable. This proress on quartic models with components is built upon recent work on the relation of the one-component λx 4 model to its equivalent Hermitian form [9, 10], as well as recent work on the relation of O()- symmetric Hermitian models to one-component P T-symmetric models [11]. As in the sinle-component and matrix cases, the P T-symmetric model with O() symmetry and quartic interaction also proves to have a Hermitian form for all values of. The Hermitian form of the P T-symmetric O() model allows a technically straihtforward

3 P T symmetry and lare- models 3 construction of the lare- limit, which can in turn be compared with simpler methods that lead to essentially the same result at leadin order. The constraint-field method is particularly notable, apart from its simplicity and familiarity, because it eneralizes to provide the form for the effective potential of PT-symmetric scalar field theories in the lare- limit. This effective potential in turn implies asymptotic freedom in four dimensions, a property lon suspected to hold in a renormalizable P T-symmetric scalar field theory in four dimensions. This paper is oranized as follows: Section develops the formalism required to treat P T-symmetric matrix models, and section 3 analyzes the properties of the round state of such models usin WKB methods. Section 4 treats the special case of the TrM 4 model, which has a simple Hermitian dual representation. In section 5, a lare class of P T-symmetric models with components are described, includin vector models with O() symmetry. Section 6 shows that models in this class have simple Hermitian dual representations. In section 7, the lare- limit of the O() model is derived usin three different methods, while section 8 applies one of these methods to P T-symmetric scalar field theories in the lare- limit.. Formalism for Matrix Models The techniques for solvin Hermitian matrix models are well-known. The solution for all of the quantum mechanics problem associated with the Euclidean Laranian L = 1 ( ) dm Tr + dt TrM4 (1) where M is an Hermitian matrix was first iven by Brezin et al [8]. The round state ψ is a symmetric function of the eienvalues λ of M. The antisymmetric wave function φ defined by φ(λ 1,..,λ ) = <k(λ λ k ) ψ(λ 1,..,λ ) () satisfies the Schrodiner equation [ 1 + ] λ4 φ = E (0) φ (3) λ where E (0) is the round state enery scaled for the lare- limit. This equation separates into individual Schrodiner equations, one for each eienvalue, and the antisymmetry of φ determines E (0) as the sum of the lowest eienvalues. Here we solve the correspondin problem where the potential term is P T-symmetric but not Hermitian. As shown by Bender and Boettcher [1], the one-variable problem may be solved by extendin the coordinate variable into the complex plane. This implies that for P T-symmetric matrix problems, we must analytically continue the eienvalues

4 P T symmetry and lare- models 4 of M into the complex plane, and in eneral M will be normal rather than Hermitian. We consider the Euclidean Laranian L = 1 Tr ( dm dt ) p/ 1Tr(iM)p (4) with > 0. Makin the substitution M UΛU +, with U unitary and Λ diaonal, we can write L as L = 1 ( ) dλ + ( ) ( ) 1 dh dh dt,k (λ λ k ) dt dt k k (iλ p/ 1 ) p (5) where dh dt = iu+du dt. (6) In the analysis of conventional matrix models by Brezin et al., a variational arument shows that the round state is a sinlet, with no dependence on U. Because the λ s are in eneral complex for P T-symmetric theories, this arument does not apply. However, in two cases we can prove that the round state is indeed a sinlet: for p =, which is trivial, and for p = 4, where the explicit equivalence with a hermitian matrix model proven below can be used. Henceforth, we will assume that the round state is a sinlet, but our results will apply in any case to the lowest-enery sinlet state. We have now reduced the problem of findin the round state to the problem of solvin for the first states of the sinle-variable Hamiltonian H = 1 p p/ 1 (iλ)p. (7) This Hamiltonian is PT-symmetric but in eneral not Hermitian. The case p = is the simple harmonic oscillator. For p >, the Schrodiner equation associated with each eienvalue may be continued into the complex plane as explained in [1]. We exclude the case p <, where PT symmetry is spontaneously broken and the eienvalues of H are no loner real. 3. Ground State Properties of Matrix Models As with Hermitian matrix models. the round state enery is the sum of the first eieneneries of the Hamiltonian H. In the lare limit, this sum may be calculated usin WKB. A novelty of WKB for PT-symmetric models is the extension of classical paths into the complex plane. This topic has been treated extensively for sinlecomponent models [1, 1]. We define the Fermi enery E F as the enery of the th state = 1 dpdλθ[e F H(p,λ)] (8) π

5 P T symmetry and lare- models 5 where the path of interation must be a closed, classical path in the complex p λ plane. In order to construct the lare- limit, we perform the rescalin p p and λ λ yieldin H sc (p,λ) = 1 p (iλ) p (9) wherethescaledhamiltonianh sc isrelatedtoh byh = H sc. Weintroducearescaled Fermi enery ǫ F iven by E F = ǫ F, which is implicitly defined by 1 = 1 dpdλθ[ǫ F H sc (p,λ)]. (10) π After carryin out the interation over p, we have 1 = 1 dλ ǫ F +(iλ) p θ[ǫ F +(iλ) p ] (11) π where the contour of interation is taken alon a path between the turnin points which are the analytic continuation of the turnin points at p =. This equation determines ǫ F as a function of. We define a scaled round state enery E (0) by E (0) = 1 1 E k. (1) k=0 The WKB result for the sum of the eneries less than E F can be written as 1 E k = dpdλh sc (p,λ)θ[ǫ F H sc (p,λ)] (13) π k=0 so that in the lare- limit E (0) is iven by E (0) = 1 dpdλh sc (p,λ)θ[ǫ F H sc (p,λ)] (14) π The interation over p is facilitated by usin equation (10) to insert a factor of ǫ F, ivin E (0) = ǫ F 1 dpdλ[ǫ F H sc (p,λ)]θ[ǫ F H sc (p,λ)]. (15) π The interal over p then yields E (0) = ǫ F 1 dλ[ǫ F +(iλ) p ] 3/ θ[ǫ F +(iλ) p ]. (16) 3π The turnin points in the complex λ plane are ( ) 1/p ǫf λ = e iπ(3/ 1/p) (17) λ + = ( ǫf ) 1/p e iπ(1/ 1/p) (18) We interate λ alon a two-sement, straiht-line path connectin the two turnin points via the oriin [1]. Solvin equation (10) for ǫ F, we find ( ( ) 1 ǫ F = π p p p+ Γ(3/+1/p) ), (19) sin(π/p)γ(1+1/p)

6 P T symmetry and lare- models 6 Table 1. The scaled round state enery E (0) at = 1 for p = 3 and p = 4. The finite results obtained numerically rapidly approach the limit obtained from WKB. p=3 p= and solvin (16) for the scaled round state enery we have E (0) = p+ 3p+ ǫ F = p+ ( ( ) 1 π p p p+ Γ(3/+1/p) 3p+ ). (0) sin(π/p)γ(1+1/p) For p =, this evaluates to E (0) = /, in areement with the explicit result for the harmonic oscillator. It is very interestin to compare the lare- result with results for finite. The low-lyin eienvalues for the Hamiltonian p (ix) p have been calculated by Bender and Boettcher in [1] for the cases p = 3 and p = 4; the case p = is trivial. We can use their results by notin that the eienvalues of our Hamiltonian H are related to theirs by /(p+) E = p/(p+) (p )/(p+)ebb. (1) Results for p = 3 and 4 and small values of are compared with the lare- limit in Table 1. The eneries for finite values of rapidly approach the limit. The approach to the limit appears monotonic in both cases, but with opposite sin. The expected value of TrM for lare is iven by TrM = 1 =0 λ = 1 π dpdλλθ[e F H(p,λ)]. () Calculations of hiher moments TrM n are carried out in the same manner. Upon rescalin, we find that TrM rows as 3/, and the scaled expectation value is iven by 1 1 µ = lim TrM = 3/ π dpdλλθ[ǫ F H sc (p,λ)] (3)

7 P T symmetry and lare- models 7 which reduces to µ = 1 π dλλ ǫ F +(iλ) p θ[ǫ F +(iλ) p ]. (4) Usin the same two-sement straiht line path as before, we find that ( ) 1 π p+ cos ( ) π p µ = i ) p+ sin ( π p [ ]p+4 Γ(3/+1/p) p+ Γ(1+/p) Γ(1+1/p) Γ(3/+/p). (5) For p =, µ = 0, as expected for a harmonic oscillator. For p >, the expectation value µ is imainary because λ for each eienstate of the reduced problem is imainary [1]. For p = 3, µ = i. For p = 4, µ = i. In the limit p, µ oes to -i. This behavior is easy to understand, because in this limit, the turnin points become deenerate at i. 4. Special case of TrM 4 For the case of a TrM 4 interaction, we can explicitly exhibit the equivalence of the PTsymmetric matrix model with a conventional Hermitian quantum mechanical system. As in the sinle-variable case, there is a parity-violatin anomaly, in the form of an extra term in the Hermitian form of the Hamiltonian, proportional to h. We show below that the anomaly term does not contribute at leadin order in the lare- limit. The derivation of the equivalence closely follows the path interal derivation for the sinle-variable case [9, 10]. The Euclidean Laranian is L = 1 Tr ( dm dt ) + 1 m TrM TrM4 (6) and the path interal expression for the partition function is { } Z = [dm] exp dtl. (7) Motivated by the case of a sinle variable, we make the substitution M = i 1+iH (8) where H is an Hermitian matrix. Because M and H are simultaneously diaonalizable, this transformation is tantamount to the relation λ = i 1+ih (9) between the eienvalues of M and the eienvalues h of H. The chane of variables induces a measure factor [dh] [dm] = Det[ (30) 1+iH] where the functional determinant depends only on the eienvalues of H. The Laranian becomes L = 1 Tr(dH/dt) 1+iH m Tr(1+iH) 16 Tr(1+iH) (31)

8 P T symmetry and lare- models 8 at the classical level. However, followin [10], we note that in the matrix case the chane of variables introduces an extra term in the potential of the form V = [ ( )] 1 d dh (3) 8 dh dλ which can be written as V = 1 1 = 1 ( 3 1+ih 3 Tr The partition function is now Z = where [dh] det [ 1+iH ] exp [ ] dtl 1 1+iH ). (33) (34) L = 1 Tr(dH/dt) 1+iH m Tr(1+iH) 16 Tr(1+iH) 1 ( ) 3 Tr 1 1+iH We introduce a hermitian matrix-valued field Π usin the identity { [ ]} 1 1 det [ ] = [dπ] exp dttr 1+iH (1+iH)(Π Π 0) (35) (36) where Π 0 = ( iḣ +1/4) /(1+iH). Droppin and addin appropriate total derivatives and interatin by parts yields [ ] Z = [dh][dπ] exp dtl (37) where L = Tr [ m (1+iH) 16 (1+iH) + 1 ] (1+iH)Π ] 1 +Tr [ Π(1+iH) 4 Π (38) The interation over H is Gaussian, and ives { [ ( Π Z = [dπ] exp dttr m Π + 1 ) 1 ]} 64 4 Π4 4 Π. (39) After the rescalin Π 3/Π we have finally Z = [dπ] exp dttr 1 ( Π m Π ) + 4 Π4 Π. (40) This proves the equivalence of the PT-symmetric matrix model defined by L = 1 ( ) dm Tr + 1 dt m TrM TrM4 (41) to the conventional quantum mechanics matrix model iven by L = 1 ( ) dπ Tr dt TrΠ m TrΠ + 4 TrΠ4. (4)

9 P T symmetry and lare- models 9 This equivalence implies that the enery eienvalues of the correspondin Hamiltonians are the same. This could also be proven usin the sinle-variable equivalence for the special case of sinlet states, but the functional interal proof encompasses both sinlet and non-sinlet states at once. The equivalence of these two models also allows for an easy proof of the sinlet nature of the round state. Standard variational aruments show that the round state of the Hermitian form is a sinlet. The direct quantum mechanical equivalence of the sinle-variable case is then sufficient to prove that the round state of the PT-symmetric form is also a sinlet. As in the sinle-variable case, there is a linear term of order h appearin in the Laranian and Hamiltonian of the Hermitian form of the model. This term represents a quantum mechanical anomaly special to the TrM 4 model. To determine the fate of the anomaly in the lare- limit, we construct the scaled Hamiltonian of the Hermitian form in exactly the same way as for the PT-symmetric form. It is iven by H sc = 1 p 1 x m x +4x 4, (43) indicatin that the effect of the anomaly is absent in leadin order of the lare- expansion. One easily checks for the m = 0 case that the Hermitian form without the linear term reproduces the PT-symmetric prediction for E (0) at p = O() Vector Models The analysis of the O()-invariant P T-symmetric model with a quartic interaction is similar tothat of thetrm 4 matrix model. Consider a model witheuclidean Laranian iven by [ 1 L E = ( tx ) + 1 ] m x λx4 x (44) =1 where and λ are non-neative. When = 0, we have decoupled one-dimensional systems; for λ = 0, we have a model with O() symmetry. When both and λ are non-zero, the model has only an S permutation symmetry. From the standpoint of PT symmetry, the interaction terms can be considered as members of a family of PTinvariant interactions λ ) =1( ix p q x (45) =1 which are invariant under P T symmetry. This class of models is well-defined for p = q = 1, and must be defined for p,q > 1 by an appropriate analytic continuation of the x as necessary [1]. It is convenient to consider this model as a subset of a larer class of models, with a Laranian of the form [ 1 L E = ( tx ) + 1 ] m x x Λ k x k (46) =1,k=1 =1

10 P T symmetry and lare- models 10 The classical stability of the potential for lare x is overned by the eienvalues of Λ. For the model of particular interest to us, Λ = λi +P (47) where P is the one-dimensional proector P = (48) satisfyin P = P. The decomposition Λ = λ(i P)+( +λ)p shows that Λ has one eienvalue +λ and 1 eienvalues with value λ. The eienvalue +λ is associated with variations in x, i.e., variations in the radial direction. 6. Equivalence of P T-symmetric vector models to Hermitian models We will analyze the case where all eienvalues of Λ are positive usin functional interation. With the substitution x i c +iψ (49) familiar from the one-component case, L E becomes L E = [ 1 ( t ψ ) ] (c +iψ ) m (c +iψ ) 16 k Λ k (c +iψ )(c k +iψ k ). (50) The eneratin function for the model is iven by [dψ ] Z = det(c +iψ ) exp dt L E ( c +iψ ) (51) where the chane of variables has enerated both a functional determinant and additional term, formally of order h, in the action. As pointed out in [10], both terms are required to obtain correct results in the functional interal formalism. The functional determinant may be written as 1 det [ ] = c +iψ [dh ]exp dt 1 ( (c iψ +iψ ) h ) +1/4 (5) c +iψ which introduces a new set of fields h. The derivation proceeds as in the sinlevariable case. After interation by parts on the h ψ terms, and addin and subtractin total derivatives, the functional interal over the ψ fields can be carried out exactly. The interal is both local and quadratic, and requires that the matrix Λ have positive eienvalues for converence. The result of this interation is [ ] Z = [dh n ]exp dtl H (53) n

11 P T symmetry and lare- models 11 where L H is iven by L H = 1 64 k k [ ][ ] 1 1 Λ 1 k h +ḣ m h k +ḣk m 1 4 h. (54) After discardin total derivatives, we obtain L H = 1 Λ 1 k [ḣ ḣ k + 1 ( h m )( h k 4m )] 1 4 h (55) which ives the Hermitian form for our eneral PT-symmetric model with fields. In the particular case we are interested in, we have Λ 1 = 1 λ 1 (I P)+ P. (56) +λ The Laranian may be written as L E = 1 [ḣ + 1 ( h 64λ 4 4m ) ] 1 h 4 ḣ + 1 ( h 64λ( +λ) 4 4m ). (57) It is helpful to immediately rescale all the fields as h 3λh : L E = 1 ( ) ḣ +4λ h m λ h 8λ 1 ḣ +4λ ( ) h ( +λ) m. (58) 8λ At this point, the S permutation symmetry is still manifest, and it clear that the field h plays a special role. In order to understand the stratey for rewritin the model in a form in which the limit λ 0 can easily be taken, it is useful to work out explicitly the case of = first. It is apparent that a rotation of the fields will be desirable. We define suestively new fields σ and π iven by h 1 = 1 (σ +π) h = 1 (σ π). (59) After some alebra and the rescalin +λ σ λ σ (60) we arrive at L E = 1 σ + 1 π m σ λm +λ π +( +λ)σ 4 + λ +λ π4 +(8 +1λ)σ π +λσ. (61)

12 P T symmetry and lare- models 1 otice the natural hierarchy between the masses for λ. The O() symmetric limit of the oriinal PT-symmetric model is obtained in the limit λ 0, where we have L E = 1 σ + 1 π m σ +σ 4 +8σ π σ. (6) The field π has no mass term, indicatin its relation to the anular derees of freedom in the oriinal Laranian. However, radiative corrections enerate a mass for the π field via the the σ π interaction. As in the one-component case, there is a linear anomaly term, but only for σ. We now turn to the more difficult case of the λ 0 limit for arbitrary. As before, we introduce a field σ defined by σ = 1 h (63) as well as a set of 1 fields π k with k = 1,.., 1 related to the h fields by a rotation so that σ + π = h. Each field h can be written as h = 1 σ + h (64) where h = 0. This property is crucial in eliminatin a term in L E which diveres as λ 1/ as λ 0. The Laranian now can be written as L E = 1 σ + 1 π m( σ + π ) +4λ h 4 The rescalin σ ( λ )( ) λσ. (65) + 4 +λ λ σ + π m 8λ ( +λ)/λσ plus some careful alebra yields the λ 0 limit as L E = 1 σ + 1 π m σ + 4 σ σ π σ (66) which arees with our previous result for =, and arees with the known result for a sinle deree of freedom if we take = 1 and drop the π field altoether. This is a Hermitian form of the P T-symmetric anharmonic oscillator with O() symmetry, derived as the limit of a PT-symmetric model with S symmetry. The Hermitian form has several novel features. ote that both the S and O() symmetries are no loner manifest, but there is an explicit O( 1) symmetry associated with rotations of the π field. As in the = case, there is no mass term for the π field. Furthermore, there is no ( π ) term, althouh there is a π σ interaction. The anomaly term aain involves only σ, and breaks the symmetry σ σ possessed by the rest of the Laranian. Analyzin the Laranian at the classical level, we see that if m > 0, the σ field is movin in a double-well potential, perturbed by the anomaly so that σ > 0. On the other hand, if m < 0, σ moves in a sinle-well anharmonic oscillator, aain with the linear anomaly term makin σ > 0. In either case, the π σ interaction will enerate a mass for the π field. All of this is consistent with the association of σ and π with the radial and anular derees of freedom, respectively, in the oriinal P T-symmetric

13 P T symmetry and lare- models 13 model. This equivalence between P T-symmetric and Hermitian forms may be compared to the results of [11], where a somewhat different equivalence is derived. In that work, the eneratin function for a Hermitian x 4 theory is shown to be equivalent to a sum over eneratin functions for a class of sinle-component P T-symmetric models, with each element of the class representin a different anular momentum. As we discuss below in the context of the lare- limit, both approaches lead to an anomaly term with a linear dependence on the anular momentum quantum number l. 7. Lare- Limit of Vector Models We will defer a more detailed discussion of this model for finite, and turn to its lare- limit. One more rescalin σ σ ives the Laranian L E = σ + 1 π m σ +4σ 4 +16σ π σ. (67) We see that the anomaly term survives in the lare- limit, unlike the matrix model case [4]. After interatin over the 1 components of the π field, we have the lare- effective potential V eff for σ: V eff / = m σ +4σ σ σ. (68) It is strikin that the anomaly term has virtually the same form as the zero-point enery of the π field. The anomaly term breaks the discrete σ σ symmetry of the other terms of the Laranian, and always favors σ 0. The effective potential has a lobal minimum with σ positive for m > 3 1/3 /3. Form < 3 1/3 /3, there does not appear to be a stable solution with σ > 0, and σ = 0 is the stable solution to leadin order in the 1/ expansion. This chane in the behavior of the effective potential as m is varied is not seen in the correspondin Hermitian model [14], and indicates a need for care in analyzin the model. Based on our preliminary analysis of the Hermitian form for finite, we believe that this behavior is associated with the lare- limit, and does not indicate a fundamental restriction on m. The lare- effective potential was derived from a Laranian with unusual properties, associated with the Hermitian form of the oriinal model. It is therefore surprisin that, once the form of the lare- effective potential is known, it can be derived heuristically in a more conventional way. We start from the O()-symmetric Laranian [ 1 L E = =1 ( tx ) + 1 ] m x x =1 and add a quadratic term in a constraint field ρ L E L E + ρ + x m 4 =1 (69) (70)

14 P T symmetry and lare- models 14 yieldin L E = =1 [ 1 ( tx ) +4ρx ]+ 4ρ m ρ + m4 16. (71) If we interate over x in a completely conventional way, we obtain the lare- effective potential V eff / = 4ρ m ρ + ρ+ m4 16. (7) This is essentially identical to our previous expression after identifyin ρ = σ. However, we lack a fundmental ustification for this approach. We know that reat care must be taken in specifyin the contour of interation in typical P T-symmetric models, yet the x fields were interated over quite conventionally. If this approach has validity, it seems likely that the choice of interation contours for ρ and x is crucial. However, only the saddle point matters to leadin order in 1/, so it is possible for this heuristic derivation to be correct even thouh we lack a direct, complete treatment of the oriinal P T-symmetric model. There is another approach to the effective potential that sheds some liht on the role of anular momentum in PT-symmetric vector models. Let us take as our startin point the Hamiltonian for the P T-symmetric vector model after the introduction of the constraint field: H = =1 [ 1 p +4ρx ]+ 4ρ m ρ where for simplicity we have dropped the m 4 constant term. The reduced Hamiltonian for the radial deree of freedom can be written as H = 1 ( +l 1)( +l 3) + +4ρr + 4ρ r 8r m ρ where l is a non-neative inteer [13]. Rescalin the radial coordinate r 1/ r leads to a potential proportional to which is a function of both r and ρ and a kinetic term which is of order 1/. It is easy to minimize the potential as a function of r; the final result, after settin l = 0, is identical to the expression for V eff / as a function of ρ in the lare- limit. Thus we see that this radial formalism yields results for the round state enery equivalent to other approaches at leadin order in the lare- expansion. Alternatively, one can take the anular momentum quantum number l to be of order. Elimination of the r variable then leads to an effective potential of the form V eff = ( +l) ρ+ 4ρ m ρ which displays the l-dependent anomaly term first observed in [11]. It is also possible to show the equivalence of the radial formalism directly, without introducin the composite field ρ. ote that the radial approach demonstrates that the anular momentum term makes a positive contribution to the round state enery in the PT-symmetric case, exactly as it does in the Hermitian case. (73) (74) (75)

15 P T symmetry and lare- models P T-symmetric field theory If we boldly apply the constraint field approach to a PT-symmetric field theory with a ( φ ) interaction in d dimensions, we obtain the effective potential V eff / = 4ρ m ρ + m d d k (π) d ln[ k +8ρ ]. (76) Models of this type were reected decades ao [14] because of stability concerns at both the classical and quantum levels, althouh there were early indications that such theories were in fact sensible [15]. Within the framework of P T-symmetric models, such stability issues cannot be addressed without a detailed understandin of the contours used in functional interation. However, it is straihtforward to check that renormalization of in d = 4 ives an asymptotically free theory, with beta function β = /π in the lare- limit. If P T-symmetric scalar field theories exist in four dimensions and are indeed asymptotically free, the possible implications for particle physics are lare, and provide ample ustification for further work. The authors would like to thank Carl M. Bender for many useful discussions; we also thank Stefan Boettcher for providin the numerical data used in constructin Table 1. MCO ratefully acknowledes the support of the U.S. Department of Enery. References [1] C. M. Bender and S. Boettcher, Phys. Rev. Lett. 80, 543 (1998) [arxiv:physics/971001]. [] C. M. Bender, Contemp. Phys. 46, 77 (005) [arxiv:quant-ph/050105]. [3] C. M. Bender, Rept. Pro. Phys. 70, 947 (007) [arxiv:hep-th/ ]. [4] P.. Meisiner and M. C. Oilvie, arxiv:hep-th/ [5] P.. Meisiner and M. C. Oilvie, arxiv: [hep-th]. [6] G. t Hooft, ucl. Phys. B 7, 461 (1974). [7] V. A. Kazakov and A. A. Midal, ucl. Phys. B 311, 171 (1988). [8] E. Brezin, C. Itzykson, G. Parisi and J. B. Zuber, Commun. Math. Phys. 59, 35 (1978). [9] C. M. Bender, D. C. Brody, J. H. Chen, H. F. Jones, K. A. Milton and M. C. Oilvie, Phys. Rev. D 74, (006) [arxiv:hep-th/ ]. [10] H. F. Jones, J. Mateo and R. J. Rivers, Phys. Rev. D 74, 150 (006) [arxiv:hep-th/061045]. [11] A. A. Andrianov, Phys. Rev. D 76, (007) [arxiv:hep-th/070305]. [1] C. M. Bender, S. Boettcher and P. Meisiner, J. Math. Phys. 40, 01 (1999) [arxiv:quant-ph/980907]. [13] A. Chatteree, Phys. Rept. 186, 49 (1990). [14] S. R. Coleman, R. Jackiw and H. D. Politzer, Phys. Rev. D 10, 491 (1974). [15] A. A. Andrianov, Annals Phys. 140, 8 (198).