195613437
A Tutorial Course in Constructive Field Theory
Prior to 1970, the major focus of constructive field theory was the mathematical framework required to establish the existence of quantum fields [1,2]. Since 1970, the emphasis has gradually shifted, first toward verifying physical properties of the known models, and more recently toward bringing constructive field theory closer to the mainstream of physics [3]. In fact, by 1973 it had become more or less clear that the mathematical framework developed to give the first examples in d = 2, 3 space-time dimensions would be adequate to study d = 4. However, it was also clear that to solve the ultraviolet problem in d = 4, it would be necessary to incorporate into mathematical physics a deeper physical understanding of the questions being studied. In particular ideas of scaling and of critical behavior may be useful to select and analyze a suitable nontrivial critical point as the first step in dealing with the d = 4 ultraviolet problem. An infinite scaling transformation connects the problem of removing the ultraviolet cutoff with the problem of existence of scaling behavior at the critical point.
116890750
Constructive field theory
117116150
Exact Renormalization Group for Gauge Theories
Renormalization group ideas have been extremely important to progress in our understanding of gauge field theory. Particularly the idea of asymptotic freedom leads us to hope that nonabelian gauge theories exist in four dimensions and yet are capable of producing the physics we observe — quarks confined in meson and baryon states. For a thorough understanding of the ultraviolet behavior of gauge theories, we need to go beyond the approximation of the theory at some momentum scale by theories with one or a small number of coupling constants. In other words, we need a method of performing exact renormalization group transformations, keeping control of higher order effects, nonlocal effects, and large field effects that are usually ignored.
13103184
An Exchange Identity for Non-linear Fields
We establish a useful identity for intertwining a creation or annihilation operator with the heat kernel of a self-interacting bosonic field theory.
124187143
On the approach to the critical point
The mass perturbation yields a new construction for Even + Linear quantum field models. For rp4 models, the Schwinger functions are differentiable in the parameter 6 = 5y~, in the single phase region, and are continuous ac. For the Isingd model, d >_ 2 classical bounds on the critical exponents, e. g. 1 y 2v, are a consequence of an Ornstein-Zernike type upper bound on the two point function.
117474017
Absolute bounds on vertices and couplings
We prove absolute upper and/or lower bounds on ~ and cp6 dimensionless vertices and physical coupling constants. 1. DEFINITIONS AND ASSUMPTIONS We derive absolute bounds on ~p4 and qJ6 dimensionless coupling constants g. For instance, in a pure ~p4 model we prove ( 1.1 ) 0 g const., in the single phase region (no symmetry breaking). We also obtain bounds on associated vertex functions and on connected parts. Our general methods presumably have other consequences for n-particle amplitudes, n >_ 8, which we do not pursue here. DEFINITIONS. Let (1) Supported in part by the National Science Foundation under Grant MPS 74-13252. (2) Supported in part by the National Science Foundation under Grant MPS 73-05037. Annales de l’Institut Henri Poincaré Section A Vol. XXII, n° 2 1975. 8 98 J. GLIMM AND A. JAFFE denote the n-point (Euclidean) Schwinger function, and let ( 1 ... n )~ denote its connected part. We let denote the Fourier transform of 1 ... We encounter often, and denote it x(p). We use the standard spectral representation where dp(a) is the spectral measure. Furthermore, we let denote the n-point Euclidean vertex function (thus r(n) is the amputated, one particle irreducible part of ST"~(~)). In an even theory, we have for example, where pi + ... + 7?e = 0, where (X, ~ X) is a partition of 0?i,..., p6) into two subsets of three elements, and where Px is the sum of the momenta in X. We let d 4 denote the space-time dimension and let m denote the mass gap. Note that has the dimension of mass to the power d 2). We define the dimensionless amplitude by and the associated coupling constant by (1.9) = For example, where x * x(0). Annales de l ’Institut Henri Poincaré Section A 99 ABSOLUTE BOUNDS ON VERTICES AND COUPLINGS ASSUMPTIONS. We make some or all of the following assumptions. In the case of weakly coupled assumptions (a)-( f) have been proved, while for single phase, even models (h)-(i) have been proved. We expect (a)-( f ) to hold for single phase and models, while (h)-(i) are expected for all single phase even ~ models, d 4. The evidence for the validity of (1.4) in qJ1 comes from perturbation theory. The proof of (i) in even, single phase has been established by Cartier (private communication). (a) The Wightman axioms for a scalar boson field, or the Osterwalder. Schrader axioms for the corresponding Euclidean theory. The two point function satisfies (1.4). In particular we are assuming that is finite. (b) A positive mass gap, m > 0. M~=0. (d) The second Griffiths inequality, where (Ai, A2) is a partition of (1, ..., n). For instance, ( f ) The measure dp(a) contains a delta function at a = m2, of unit strength (This is a renormalization hypothesis). (h) In the case of a cp4 interaction, it is appropriate to assume the Lebowitz inequality ( 1234 )~ ~ 0, or the set of Lebowitz inequalities, where W is an (odd) subset of U. (i) In the case of a pure cp4 model, we assume ( 1.13) ( 123456 ~T >_ 0. 2. BOUNDS ON QUARTIC COUPLINGS THEOREM 2 .1. (i) Assume (a)-(d) above. Then Vol. XXII, no 2 1975. 100 J. GLIMM AND A. JAFFE (ii) Assume ( f ) also, then x >_ m 2, so (2.2) const. (iii) Assume (h) also, then (2 . 3) 0 g~4~ const. x 2m ~ const. Remark 1. The constants are pure numbers, independent of all parameters. They can be determined explicitly by the proof. Remark 2. The upper bound on is related to the picture of « critical point dominance » discussed in [7]. According to this picture, for d 4, g~4~ assumes its maximum value at the critical point, i. e. at the onset of phase transitions. According to standard ideas, m = 0 at the critical point. Remark 3. For d 4, the limit ~,o ( = bare cp4 coupling constant) oo with m fixed plays a role in the application of the Callan-Symanzik equations to the study of critical phenomena [2]. We use Theorem 2.1 below, combined with bounds from [3], to show that either this limit exists, or that in this limit g(4) 0 (see Corollary 2 . 4). If g~4~ is monotone in the dimensionless charge À-omg-4, then the alternative g(4) ~ 0 is excluded. The possibility that g~4~ is monotone is discussed in [1], and is a consequence of conventional assumptions made in the study of the Callan-Symanzik equations. Remark 4. Other bounds on quartic couplings have been established by Lukaszuk and Martin [4], see also Healy [5]. Their bounds require different assumptions and methods, and yield different conclusions. In the case of a pure cp4 model we also obtain bounds on g~4~(p) 0. THEOREM 2.2. Assume (a)-(h) above. There exists 5 > 0, such that if 6m, then g~4~(p) is analytic in p and bounded uniformly by Proof of Theorem 2.1. By the positivity of dp (Wightman positivity condition) (2. 5) 12~0, so the right side of (1.11) is positive. By symmetry we then have Annales de l’Institut Henri Poincaré Section A 101 ABSOLUTE BOUNDS ON VERTICES AND COUPLINGS Here each Ai is either or else a permutation of (12~(34~13X24). We bound each Ai using Proposition A2.1, of Appendix 2, An elementary estimate shows that each At is integrable over dxidx2dx3. By homogeneity, and (A2.1), from which we conclude By ( 1. 8), with n = 4, and (1. 6) we have (2 .1 ). The theorem then follows. Proof of Theorem 2 . 2. Assuming (h) and (2 . 6), We bound the power series coefficients of expanding about p = 0. The derivatives become multiplication by ix j in the Fourier transform, and are dominated by the exponential decrease of (2. 8), estimated by (A2.1). Thus the power series in momenta converges for I Pi I m/3, and establishes the analyticity and boundedness of St4)(p), Finally, the analyticity and boundedness of follows from (1.4), for I p I m, yielding Thus g(4)(p) is analytic in p and with the constant independent of p, m, A for This completes the proof. We have also proved. COROLLARY 2.3. Assuming (a)-(h), Si-4)(p) is analytic for I ~ ~m and bounded uniformly by (2. 9). We now let be the n-point Schwinger function for a model satisVol. XXII, nO 2 -1975. 102 J. GLIMM AND A. JAFFE fying (a)-(h) and labelled by the index j (for instance, may be the cp2 model, labelled by the bare coupling and mass m). COROLLARY 2.4. Assume mj is bounded away from zero. Then either there exists a convergent subsequence of Schwinger functions i with satisfying (a)-(h), or else 0. Proof Assume for some p, with sm, there is a subsequence of gr(p) bounded away from zero. Then by (2.4) This bound (uniform in r) on proves a uniform bound for a suitable Schwartz space norm j . 109. Thus by Theorem 1 of [3], a convergent subsequence of Schwinger functions exists, and is a tempered distribution. The properties (a)-(h) follow from the corresponding properties in the approximate theories. Conversely, if 0 for each p with |pi| I 6m, the uniform bound (2.4) ensures that the family of analytic functions gj(p) converges to the analytic function zero. 3. BOUNDS ON In this section we prove preliminary bounds on ST. THEOREM 3.1. (i) Assume (a)-(h). Then there exists 6 > 0 such that if then Si:6)(p) is analytic and bounded by (ii) Assume (a)-(i). Then The constants are pure numbers, independent of the parameters. Annales de l’Institut Henri Poincaré Section A 103 ABSOLUTE BOUNDS ON VERTICES AND COUPLINGS Proof. We consider p = 0. The extension to p # 0 follows the proof of Theorem 2.2. Using (/), we have The definition of the six point connected part is Here Y = (Yi, Y2) ranges over the fifteen partitions of (1, 2, ..., 6) into two and four element subsets, while Z = (Zi, Z2, Z3) ranges over the fifteen partitions of (l, ..., 6) into three pairs. Thus where E’ omits the partition ( 12 )( 3456 ). We use (h) and the definition of( 1234 )r to obtain where E’ omits the three partitions which contain the factory Zi) =(12). By symmetry, where j = 1, 2, ..., 15 labels the two element subsets of (1, ... , 6), and (Z~, Z2’~, Z3’~) one of the twelve partitions of (1, ..., 6) into three pairs, no one of which is j. We now follow the proof of Theorem 2.1 to obtain proving one side of (3 .1 ). We next use (1.12) (see [3]) with U = (3456) to obtain where W ranges over the eight odd subsets of U. Thus by (3.4), Vol. XXII, nO 2 1975. 104 J. GLIMM AND A. JAFFE where E" ranges over the six partitions containing both 1 and 2 in the four element subset. By the definition of ( 1234 )T, By (1.11) we note that -.
119468667
Gravitational Waves Probe the Coalescence Rate of Massive Black Hole Binaries
We calculate the expected nHz-μHz gravitational wave (GW) spectrum from coalescing massive black hole (MBH) binaries resulting from mergers of their host galaxies. We consider detection of this spectrum by precision pulsar timing and a future pulsar timing array. The spectrum depends on the merger rate of massive galaxies, the demographics of MBHs at low and high redshift, and the dynamics of MBH binaries. We apply recent theoretical and observational work on all of these fronts. The spectrum has a characteristic strain hc(f) ~ 10-15(f/yr-1)-2/3, just below the detection limit from recent analysis of precision pulsar timing measurements. However, the amplitude of the spectrum is still very uncertain owing to approximations in the theoretical formulation of the model, to our lack of knowledge of the merger rate and MBH population at high redshift, and to the dynamical problem of removing enough angular momentum from the MBH binary to reach a GW-dominated regime.
118090873
Cosmological parameters from the first results of Boomerang
The anisotropy of the cosmic microwave background radiation contains information about the contents and history of the universe. We report new limits on cosmological parameters derived from the angular power spectrum measured in the first Antarctic flight of the Boomerang experiment. Within the framework of models with adiabatic perturbations, and using only weakly restrictive prior probabilities on the age of the universe and the Hubble expansion parameter h, we find that the curvature is consistent with flat and that the primordial fluctuation spectrum is consistent with scale invariant, in agreement with the basic inflation paradigm. We find that the data prefer a baryon density Ωbh2 above, though similar to, the estimates from light element abundances and big bang nucleosynthesis. When combined with large scale structure observations, the Boomerang data provide clear detections of both dark matter and dark energy contributions to the total energy density Ωtot, independent of data from high-redshift supernovae.
118388077
Power spectrum estimation from peculiar velocity catalogues
The peculiar velocities of galaxies are an inherently valuable cosmological probe, pro- viding an unbiased estimate of the distribution of matter on scales much larger than the depth of the survey. Much research interest has been motivated by the high dipole moment of our local peculiar velocity field, which suggests a large scale excess in the matter power spectrum, and can appear to be in some tension with theCDM model. We use a composite catalogue of 4,537 peculiar velocity measurements with a characteristic depth of 33 h 1 Mpc to estimate the matter power spectrum. We compare the constraints with this method, directly studying the full peculiar velocity catalogue, to results from Macaulay et al. (2011), studying minimum variance mo- ments of the velocity field, as calculated by Watkins, Feldman & Hudson (2009) and Feldman, Watkins & Hudson (2010). We find good agreement with theCDM model on scales of k > 0.01 h Mpc 1 . We find an excess of power on scales of k < 0.01 h Mpc 1 , although with a 1σ uncertainty which includes theCDM model. We find that the uncertainty in the excess at these scales is larger than an alternative result studying only moments of the velocity field, which is due to the minimum variance weights used to calculate the moments. At small scales, we are able to clearly discrimi- nate between linear and nonlinear clustering in simulated peculiar velocity catalogues, and find some evidence (although less clear) for linear clustering in the real peculiar velocity data.
15035745
OPTIMAL BINNING OF THE PRIMORDIAL POWER SPECTRUM
The primordial power spectrum describes the initial perturbations in the universe, which eventually grew into the large-scale structure we observe today, and thereby provides an indirect probe of inflation or other structure-formation mechanisms. In this paper, we will investigate the best scales the primordial power spectrum can be probed with in accordance with the knowledge about other cosmological parameters such as OMEGA{sub b}, OMEGA{sub c}, OMEGA{sub L}AMBDA, h, and tau. The aim is to find the most informative way of measuring the primordial power spectrum at different length scales, using different types of surveys and the information they provide for the desired cosmological parameters. We will find the optimal binning of the primordial power spectrum for this purpose by making use of the Fisher matrix formalism. To investigate the correlations between the cosmological parameters, mentioned above, and a set of primordial power spectrum bins, we make use of principal component analysis and the Hermitian square root of the Fisher matrix. The surveys used in this project are Planck and the Sloan Digital Sky Survey (Bright Red Galaxy), but the formalism can easily be extended to any windowed measurements of the perturbation spectrum.
53953960
CMB and Inflation: the Report from Snowmass 2001
Accelerator–based efforts spanning decades have revealed no direct evidence of physics beyond the Standard Model. Although this is likely to change with the Large Hadron Collider (LHC) or possibly even with the current (higher–luminosity) run at the Tevatron, we point out that astrophysical evidence for physics beyond the standard model has already grown to be conclusive. Observations indicate the need for • inflation, • dark energy, • dark matter, and • massive neutrinos. In short, cosmology is delivering on its promise of probing fundamental physics. These results are creating intellectual excitement in the high energy physics community. They also signal an opportunity. The prospects are bright for further progress in our understanding of fundamental physics, via cosmology, and researchers trained in particle physics should not only be interested, but are well–equipped to contribute. Indeed, a number of particle physicists have become actively engaged in astrophysical observations. In this report we review the current status of observations of the temperature of the cosmic microwave background (CMB), and explain how they provide evidence of an inflationary era of expansion in the early Universe and the existence of “dark energy”. One of our intentions in providing this review is to demonstrate that cosmology has a track record which suggests that we have some understanding of the system we are studying. This track record bolsters the case that we will be able to get meaningful answers to the more detailed questions that are motivating planned observations. These future observations, which we discuss, include more detailed measurement of temperature maps, detection and measurement of polarization (including the modes generated by gravitational waves) and Sunyaev–Zeldovich surveys. Of course, observational cosmology is much broader than the topics we are covering, and the interested reader is encouraged to consult the other P4 and E6 subtopic reports.