115879784
Functional Integral Methods in Quantum Field Theory
We give a special form of the Osterwalder-Schrader axioms in terms of conditions on a functional integral S{f} = ∫eiϕ(f)dμ. This yields a simple, self-contained construction of a Hamiltonian H, a relativistic, local boson quantum field Φ, and a Feynman-Kac formula to study perturbations H + Φ of H.
124867759
The Particle Structure of the Weakly Coupled P(φ)2 Model and Other Applications of High Temperature Expansions: Part I. Physics of Quantum Field Models
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.
116890750
Constructive field theory
58901623
Representations of the Heisenberg algebra on a Riemann surface
We formulate reflection positivity for meromorphic functions and for 1-forms on a Riemann surface. This construction yields representations of the Heisenberg algebra on a Riemann surface.
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 -.
119431433
First results from the BOOMERanG experiment
We report the first results from the BOOMERanG experiment, which mapped at 90, 150, 240 and 410 GHz a wide (3%) region of the microwave sky with minimal local contamination. From the data of the best 150 GHz detector we find evidence for a well defined peak in the power spectrum of temperature fluctuations of the Cosmic Microwave Background, localized at =197+/-6, with an amplitude of (68+/-8)μKCMB. The location, width and amplitude of the peak is suggestive of acoustic oscillations in the primeval plasma. In the framework of inflationary adiabatic cosmological models the measured spectrum allows a Bayesian estimate of the curvature of the Universe and of other cosmological parameters. With reasonable priors we find Ω=(1.07+/-0.06) and ns=(1.00+/-0.08) (68%C.L.) in excellent agreement with the expectations from the simplest inflationary theories. We also discuss the limits on the density of baryons, of cold dark matter and on the cosmological constant.
117443954
Maps of the millimetre sky from the BOOMERanG experiment
In the 1998-99 flight, BOOMERanG has produced maps of $\sim 4 %$ of the sky at high Galactic latitudes, at frequencies of 90, 150, 240 and 410 GHz, with resolution $\simgt 10'$. The faint structure of the Cosmic Microwave Background at horizon and sub-horizon scales is evident in these maps. These maps compare well to the maps recently obtained at lower frequencies by the WMAP experiment. Here we compare the amplitude and morphology of the structures observed in the two sets of maps. We also outline the polarization sensitive version of BOOMERanG, which was flown early this year to measure the linear polarization of the microwave sky at 150, 240 and 350 GHz.
118538947
Sparsely sampling the sky: Regular vs. random sampling
Aims. The next generation of galaxy surveys, aiming to observe millions of galaxies, are expensive both in time and money. This raises questions regarding the optimal investment of this time and money for future surveys. In a previous work, we have shown that a sparse sampling strategy could be a powerful substitute for the – usually favoured – contiguous observation of the sky. In our previous paper, regular sparse sampling was investigated, where the sparse observed patches were regularly distributed on the sky. The regularity of the mask introduces a periodic pattern in the window function, which induces periodic correlations at specific scales. Methods. In this paper, we use a Bayesian experimental design to investigate a “random” sparse sampling approach, where the observed patches are randomly distributed over the total sparsely sampled area. Results. We find that in this setting, the induced correlation is evenly distributed amongst all scales as there is no preferred scale in the window function. Conclusions. This is desirable when we are interested in any specific scale in the galaxy power spectrum, such as the matter-radiation equality scale. As the figure of merit shows, however, there is no preference between regular and random sampling to constrain the overall galaxy power spectrum and the cosmological parameters.
15347782
Planck 2013 results. XXV. Searches for cosmic strings and other topological defects
Planck data have been used to provide stringent new constraints on cosmic strings and other defects. We describe forecasts of the CMB power spectrum induced by cosmic strings, calculating these from network models and simulations using line-of-sight Boltzmann solvers. We have studied Nambu-Goto cosmic strings, as well as field theory strings for which radiative effects are important, thus spanning the range of theoretical uncertainty in the underlying strings models. We have added the angular power spectrum from strings to that for a simple adiabatic model, with the extra fraction defined as f(10) at multipole l = 10. This parameter has been added to the standard six parameter fit using CO S M OM C with flat priors. For the Nambu-Goto string model, we have obtained a constraint on the string tension of G mu/c(2) < 1.5 x 10(-7) and f(10) < 0.015 at 95% confidence that can be improved to G mu/c(2) < 1.3 x 10(-7) and f(10) < 0.010 on inclusion of high-l CMB data. For the Abelian-Higgs field theory model we find, G mu(AH)/c2 < 3.2x10(-7) and f(10) < 0.028. The marginalised likelihoods for f(10) and in the f(10)-Omega(b)h(2) plane are also presented. We have additionally obtained comparable constraints on f(10) for models with semilocal strings and global textures. In terms of the effective defect energy scale these are somewhat weaker at G mu/c(2) < 1.1 x 10(-6). We have made complementarity searches for the specific non-Gaussian signatures of cosmic strings, calibrating with all-sky Planck resolution CMB maps generated from networks of post-recombination strings. We have validated our non-Gaussian searches using these simulated maps in a Planck-realistic context, estimating sensitivities of up to Delta G mu/c(2) approximate to 4 x 10(-7). We have obtained upper limits on the string tension at 95% confidence of G mu/c(2) < 9.0 x 10(-7) with modal bispectrum estimation and G mu/c(2) < 7.8 x 10(-7) for real space searches with Minkowski functionals. These are conservative upper bounds because only post-recombination string contributions have been included in the non-Gaussian analysis.
16086049
Data Compression for CMB Experiments
We discuss data compression for CMB experiments. Although "radical compression" to C_l bands, via quadratic estimators or local bandpowers, potentially offers a great savings in computation time, they do a considerably worse job at recovering the full likelihood than the the signal-to-noise eigenmode method of compression.