16492814
CONSTRUCTIVE QUANTUM FIELD THEORY
The pioneering work of early non-relativistic quantum theory led to the understanding that quantum dynamics on Hilbert space is a comprehensive predictive framework for microscopic phenomena. From the Bohr atom, through the nonrelativistic quantum theory of Schrödinger and Heisenberg, and the relativistic Dirac equation for hydrogen, agreement between calculation and experiment improved rapidly over time. The incorporation of special relativity and field theory into quantum theory extended the scope of perturbative calculations, and these were tested through precision measurements of spectra and magnetic moments. Beginning in the 1940’s, experimental tests of the Lamb shift and the anomalous magnetic moment of the electron detected effects that one can ascribe to fluctuations in quantum electrodynamics. These effects deviated numerically from the predictions arising from equations that describe a fixed number of particles, so they were accurate tests of the quantum field hypothesis. Today these experiments have evolved to yield quantitative agreement with the most precise observations and calculations achieved in physics. For example, the anomalous magnetic moment of the electron is known theoretically and experimentally to amazing precision: (g − 2)/2 = 0.001159652200(±40). The success of this work, as well as the success of other less accurate, but compelling, predictions for weak and strong interactions, convince us to accept quantum field theory as the correct physical arena to describe particle physics down to the Planck scale. But the success of relativistic field theory calculations and of perturbative renormalization also led to a logical puzzle: is there any physically-relevant, relativistic quantum field theory that is also mathematically consistent? Put differently, can one give a mathematically complete example of any non-linear theory, relevant for the description of interacting particles, whose solutions incorporate relativistic covariance, positive energy, and causality? One must understand perturbative renormalization in order to resolve this problem, and have control over renormalization from a non-perturbative (or “exact”) point of view. In fact, one needs to overcome sophisticated problems, such as whether a field theory may appear correct on a perturbative level, while it may have no meaning at a non-perturbative level. Doubts about quantum electrodynamics or scalar meson theory were raised early by Dyson and Landau. They recur from the point of view of the renormalization group in the work of Kadanoff and Wilson, as well as in the analysis of “asymptotic
116890750
Constructive field theory
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.
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 -.
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.
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.
37550636
Planck intermediate results - XVII. Emission of dust in the diffuse interstellar medium from the far-infrared to microwave frequencies
The dust-Hi correlation is used to characterize the emission properties of dust in the diffuse interstellar medium (ISM) from far infrared wavelengths to microwave frequencies. The field of this investigation encompasses the part of the southern sky best suited to study the cosmic infrared and microwave backgrounds. We cross-correlate sky maps from Planck, the Wilkinson Microwave Anisotropy Probe (WMAP), and the diffuse infrared background experiment (DIRBE), at 17 frequencies from 23 to 3000 GHz, with the Parkes survey of the 21 cm line emission of neutral atomic hydrogen, over a contiguous area of 7500 deg2 centred on the southern Galactic pole. We present a general methodology to study the dust-H i correlation over the sky, including simulations to quantify uncertainties. Our analysis yields four specific results. (1) We map the temperature, submillimetre emissivity, and opacity of the dust per H-atom. The dust temperature is observed to be anti-correlated with the dust emissivity and opacity. We interpret this result as evidence of dust evolution within the diffuse ISM. The mean dust opacity is measured to be (7.1 ± 0.6) × 10-27 cm2 H-1 × (v/353 GHz) 1.53 ± 0.03for 100 ≤ v ≤ 353 GHz. This is a reference value to estimate hydrogen column densities from dust emission at submillimetre and millimetre wavelengths. (2) We map the spectral index βmm of dust emission at millimetre wavelengths (defined here as v ≤ 353GHz), and find it to be remarkably constant at βmm = 1.51 ± 0.13. We compare it with the far infrared spectral index βFIR derived from greybody fits at higher frequencies, and find a systematic difference, βmm -βFIR = -0.15, which suggests that the dust spectral energy distribution (SED) flattens at v ≤ 353 GHz. (3) We present spectral fits of the microwave emission correlated with Hi from 23 to 353 GHz, which separate dust and anomalous microwave emission (AME). We show that the flattening of the dust SED can be accounted for with an additional component with a blackbody spectrum. This additional component, which accounts for (26 ± 6)% of the dust emission at 100GHz, could represent magnetic dipole emission. Alternatively, it could account for an increasing contribution of carbon dust, or a flattening of the emissivity of amorphous silicates, at millimetre wavelengths. These interpretations make different predictions for the dust polarization SED. (4) We analyse the residuals of the dust-Hi correlation. We identify a Galactic contribution to these residuals, which we model with variations of the dust emissivity on angular scales smaller than that of our correlation analysis. This model of the residuals is used to quantify uncertainties of the CIB power spectrum in a companion Planck paper.© ESO 2014.
3223093
Accurate estimators of power spectra in N-body simulations
A method to rapidly estimate the Fourier power spectrum of a point distribution is presented. This method relies on a Taylor expansion of the trigonometric functions. It yields the Fourier modes from a number of fast Fourier transforms (FFTs), which is controlled by the order N of the expansion and by the dimension D of the system. In three dimensions, for the practical value N= 3, the number of FFTs required is 20. 
 
 
 
We apply the method to the measurement of the power spectrum of a periodic point distribution that is a local Poisson realization of an underlying stationary field. We derive an explicit analytic expression for the spectrum, which allows us to quantify – and correct for – the biases induced by discreteness and by the truncation of the Taylor expansion, and to bound the unknown effects of aliasing of the power spectrum. We show that these aliasing effects decrease rapidly with the order N. For N= 3, they are expected to be, respectively, smaller than ∼10−4 and 0.02 at half the Nyquist frequency and at the Nyquist frequency of the grid used to perform the FFTs. The only remaining significant source of errors is reduced to the unavoidable cosmic/sample variance due to the finite size of the sample. 
 
 
 
The analytical calculations are successfully checked against a cosmological N-body experiment. We also consider the initial conditions of this simulation, which correspond to a perturbed grid. This allows us to test a case where the local Poisson assumption is incorrect. Even in that extreme situation, the third-order Fourier–Taylor estimator behaves well, with aliasing effects restrained to at most the per cent level at half the Nyquist frequency. 
 
 
 
We also show how to reach arbitrarily large dynamic range in Fourier space (i.e. high wavenumber), while keeping statistical errors in control, by appropriately ‘folding’ the particle distribution.
41221098
Planck intermediate results. XII: Diffuse Galactic components in the Gould Belt system
We perform an analysis of the diffuse low-frequency Galactic components in the southern
 part of the Gould Belt system (130° ≤ l ≤ 230° and
 −50° ≤ b ≤ −10°). Strong ultra-violet flux
 coming from the Gould Belt super-association is responsible for bright diffuse foregrounds
 that we observe from our position inside the system and that can help us improve our
 knowledge of the Galactic emission. Free-free emission and anomalous microwave emission
 (AME) are the dominant components at low frequencies
 (ν < 40 GHz), while synchrotron emission is
 very smooth and faint. We separated diffuse free-free emission and AME from synchrotron
 emission and thermal dust emission by using Planck data, complemented by
 ancillary data, using the correlated component analysis (CCA) component-separation method
 and we compared our results with the results of cross-correlation of foreground templates
 with the frequency maps. We estimated the electron temperature
 Te from Hα and free-free emission using two
 methods (temperature-temperature plot and cross-correlation) and obtained
 Te ranging from 3100 to 5200K for an effective fraction of
 absorbing dust along the line of sight of 30% (fd = 0.3). We
 estimated the frequency spectrum of the diffuse AME and recovered a peak frequency (in
 flux density units) of 25.5 ± 1.5 GHz. We verified the reliability of this result with
 realistic simulations that include biases in the spectral model for the AME and in the
 free-free template. By combining physical models for vibrational and rotational dust
 emission and adding the constraints from the thermal dust spectrum from
 Planck and IRAS, we are able to present a good description of the AME
 frequency spectrum for plausible values of the local density and radiation field.
2895797
Large-scale power in the CMB and new physics: An analysis using Bayesian model comparison
One of the most tantalizing results from the Wilkinson Microwave Anisotropy Probe ~WMAP! experiment is the suggestion that the power at large scales is anomalously low when compared to the prediction of the ‘‘standard’’ L cold dark matter ~CDM! model. The same anomaly, although with somewhat larger uncertainty, was also previously noted in the COBE data. In this work we discuss possible alternate models that give better fits on large scales and apply a model-comparison technique to select amongst them. We find that models with a cutoff in the power spectrum at large scales are indeed preferred by data, but only by a factor of 3.6, at most, in the likelihood ratio, corresponding to about ‘‘1.6 s’’ if interpreted in the traditional manner. Using the same technique, we have also examined the possibility of a systematic error in the measurement or prediction of the large-scale power. Ignoring other evidence that the large-scale modes are properly measured and predicted, we find this possibility somewhat more likely, with roughly a 2.75s evidence.
119280456
Planck 2013 results. III. LFI systematic uncertainties
We present the current accounting of systematic effect uncertainties for the Low Frequency Instrument (LFI) that are relevant to the 2015 release of the Planck cosmological results, showing the robustness and consistency of our data set, especially for polarization analysis. We use two complementary approaches: (i) simulations based on measured data and physical models of the known systematic effects; and (ii) analysis of difference maps containing the same sky signal (“null-maps”). The LFI temperature data are limited by instrumental noise. At large angular scales the systematic effects are below the cosmic microwave background (CMB) temperature power spectrum by several orders of magnitude. In polarization the systematic uncertainties are dominated by calibration uncertainties and compete with the CMB E-modes in the multipole range 10–20. Based on our model of all known systematic effects, we show that these effects introduce a slight bias of around 0.2σ on the reionization optical depth derived from the 70GHz EE spectrum using the 30 and 353GHz channels as foreground templates. At 30GHz the systematic effects are smaller than the Galactic foreground at all scales in temperature and polarization, which allows us to consider this channel as a reliable template of synchrotron emission. We assess the residual uncertainties due to LFI effects on CMB maps and power spectra after component separation and show that these effects are smaller than the CMB amplitude at all scales. We also assess the impact on non-Gaussianity studies and find it to be negligible. Some residuals still appear in null maps from particular sky survey pairs, particularly at 30 GHz, suggesting possible straylight contamination due to an imperfect knowledge of the beam far sidelobes.