118881742
Constructive Field Theory, Phase II
It now appears possible to study a realm of problems in CFT which, two years ago, appeared an order of magnitude too difficult to tackle. The finishing touches have just been put on the first paper of this sort1, and in this talk I will describe some of the basic ideas; these ideas are simple, although the details of the paper are complicated. The main question that I will discuss today has been around as long as field theory: Namely how does an interacting field model react to perturbations by an external source? Such perturbations of \(\textup{P}\left (\phi \right )_{2}\), or in fact any reasonable local perturbations of the \(\textup{P}\left (\phi \right )_{2}\) model, have been shown to be regular by James Glimm and myself1. As a consequence, (i) further properties of the original model have been established1, (ii) some new breakthroughs are being made2 and (iii) these methods appear promising for use in the study of more singular models than \(\textup{P}\left (\phi \right )_{2}\).
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.
116890750
Constructive 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.
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 -.
59502631
Reconstruction of total solar irradiance 1974-2009
Context. The study of variations in total solar irradiance (TSI) is important for understanding how the Sun affects the Earth’s climate. Aims. Full-disk continuum images and magnetograms are now available for three full solar cycles. We investigate how modelled TSI compares with direct observations by building a consistent modelled TSI dataset. The model, based only on changes in the photospheric magnetic flux can then be tested on rotational, cyclical and secular timescales. Methods. We use Kitt Peak and SoHO/MDI continuum images and magnetograms in the SATIRE-S model to reconstruct TSI over cycles 21–23. To maximise independence from TSI composites, SORCE/TIM TSI data are used to fix the one free parameter of the model. We compare and combine the separate data sources for the model to estimate an uncertainty on the reconstruction and prevent any additional free parameters entering the model. Results. The reconstruction supports the PMOD composite as being the best historical record of TSI observations, although on timescales of the solar rotation the IRMB composite provides somewhat better agreement. Further to this, the model is able to account for 92% of TSI variations from 1978 to 2009 in the PMOD composite and over 96% during cycle 23. The reconstruction also displays an inter-cycle, secular decline of 0.20 +0.12 −0.09 Wm −2 between cycle 23 minima, in agreement with the PMOD composite.
119408227
CMB likelihood functions for beginners and experts
Although the broad outlines of the appropriate pipeline for cosmological likelihood analysis with CMB data has been known for several years, only recently have we had to contend with the full, large-scale, computationally challenging problem involving both highly-correlated noise and extremely large datasets (N>1000). In this talk we concentrate on the beginning and end of this process. First, we discuss estimating the noise covariance from the data itself in a rigorous and unbiased way; this is essentially an iterated minimum-variance mapmaking approach. We also discuss the unbiased determination of cosmological parameters from estimates of the power spectrum or experimental bandpowers.
17460509
Simultaneous Estimation of Noise and Signal in Cosmic Microwave Background Experiments
To correctly analyse data sets from current microwave detection technology, one is forced to estimate the sky signal and experimental noise simultaneously. Given a time-ordered data set we propose a formalism and method for estimating the signal and associated errors without prior knowledge of the noise power spectrum. We derive the method using a Bayesian formalism and relate it to the standard methods; in particular we show how this leads to a change in the estimate of the noise covariance matrix of the sky signal. We study the convergence and accuracy of the method on two mock observational strategies and discuss its application to a currently-favoured calibration procedure.
38895150
Polarization pursuers' guide
We calculate the detectability of the polarization of the cosmic microwave background (CMB) as a function of the sky coverage, angular resolution, and instrumental sensitivity for a hypothetical experiment. We consider the gradient component of the polarization from density perturbations (scalar modes) and the curl component from gravitational waves (tensor modes). We show that the amplitude (and thus the detectability) of the polarization from density perturbations is roughly the same in any model as long as the model fits the big-bang-nucleosynthesis (BBN) baryon density and degree-scale anisotropy measurements. The degree-scale polarization is smaller (and accordingly more difficult to detect) if the baryon density is higher. We show that the sensitivity to the polarization from density perturbations and gravitational waves is improved (by a factor of 30) in a fixed-time experiment with a deeper survey of a smaller region of sky.
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.