119621087
Quantum Harmonic Analysis and Geometric Invariants
We develop two topics in parallel and show their inter-relation. The first centers on the notion of a fractional-differentiable structure on a commutative or a non-commutative space. We call this studyquantum harmonic analysis. The second concerns homotopy invariants for these spaces and is an aspect of non-commutative geometry. We study an algebra A, which will be a Banach algebra with unit, represented as an algebra of operators on a Hilbert space H. In order to obtain a geometric interpretation of A, we define a derivative on elements of A. We do this in a Hilbert space context, takingdaas a commutatorda=[Q, a]. HereQis a basic self-adjoint operator with discrete spectrum, increasing sufficiently rapidly that exp(−βQ)2has a trace wheneverβ>0. We can define fractional differentiability of orderμ, with 0 0. We concentrate on subalgebras A of Jβ, αwhich have certain additional covariance properties under a group Z2×G acting on H by a unitary representationγ×U(g). In addition, the derivativeQis assumed to be G-invariant. The geometric interpretation flows from the assumption that elements of A possess an arbitrarily small fractional derivative. We study homotopy invariants of A in terms of equivariant, entire cyclic cohomology. In fact, the existence of a fractional derivative on A allows the construction of the cochainτJLO, which plays the role of the integral of differential forms. We give a simple expression for a homotopy invariant ZQ(a; g), determined by pairingτJLO, with a G-invariant elementa∈A, such thatais a square root of the identity. This invariant is ZQ(a; g)=(1/π) ∫∞−∞ e−t2Tr(γU(g) ae−Q2+it da) dt. This representation of the pairing is reminiscent of the heat-kernel representation for an index. In fact this quantity is an invariant, in the following sense. We isolate a simple condition on a familyQ(λ) of differentiations that yields a continuously-differentiable familyτJLO(λ) of cochains. Since ZQ(a; g) need not be an integer, continuity ofτJLO(λ) inλis insufficient to prove the constancy of the pairing. However the existence of the derivative leads to the existence of the homotopy. As τ, a vanishes forτa coboundary, and asdτJLO(λ)/dλis a coboundary, our condition onQ(λ) ensures that ZQ(λ)(a; g) is independent ofλ. Hence it is a homotopy invariant. The theory of ZQ(a; g) reduces to the study of the Radon transform of sequences of certain functions. The fractional differentiability properties of elements of A translate into properties of the asymptotics of the sequences of Radon transforms. The condition thatτJLOfit into the framework of entire cyclic cohomology translates to the existence of some fractional derivative for functions in the algebra under study, and in particular the assumptionα+β<1. Thus the study of fractionally- differentiable structures dove-tails naturally with the theory of homotopy invariants. In our study of quantum harmonic analysis, we introduce spaces T(−β, α) of operator-valued distributions. These spaces are bounded, linear operators between Sobolev spaces. The elements of the interpolation spaces, the Banach algebras Jβ, αhave derivativesdawhich belong to the spaces T(−β, α). For a certain range ofβandα, we extend the theory of the Radon transform from products of regularized, bounded operators to products of regularized, operator-valued distributions. We sometimes wish to evaluate such an invariant at the endpoint of an interval such asλ∈(0, 1], where ZQ(λ)(a; g) becomes singular asλ→0. We discuss in brief a procedure to regularize the endpoint, and a method to recover ZQ(λ)(a; g) fully from certain partial information at the endpoint. Finally, we generalize this approach to cover the case whenQcan be split into the sum of “independent” partsQ1+Q2, such that (Q1+Q2)2=(Q1)2+(Q2)2. Here we assume thatQ1and (Q2)2are G-invariant, but not necessarilyQ2. With further assumptions ona, the most important being that (Q1)2−(Q2)2commutes witha, we obtain a modified formula for an invariant, namely Z{Qj}(a; g)=(1/π) ∫∞−∞ e−t2Tr(γU(g) ae−(Q21+Q22)/2+itd1a) dt.
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 -.
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.
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
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.
15450342
THE ANGULAR THREE-POINT CORRELATION FUNCTION IN THE QUASI-LINEAR REGIME
We calculate the normalized angular three-point correlation function (3PCF), q, as well as the normalized angular skewness, s{sub 3}, assuming the small-angle approximation, for a biased mass distribution in flat and open cold dark matter (CDM) models with Gaussian initial conditions. The leading-order perturbative results incorporate the explicit dependence on the cosmological parameters, the shape of the CDM transfer function, the linear evolution of the power spectrum, the form of the assumed redshift distribution function, and linear and nonlinear biasing, which may be evolving. Results are presented for different redshift distributions, including that appropriate for the APM Galaxy Survey, as well as for a survey with a mean redshift of z{approx_equal}1 (such as the VLA FIRST Survey). Qualitatively, many of the results found for s{sub 3} and q are similar to those obtained in a related treatment of the spatial skewness and 3PCF, such as a leading-order correction to the standard result for s{sub 3} in the case of nonlinear bias (as defined for unsmoothed density fields), and the sensitivity of the configuration dependence of q to both cosmological and biasing models. We show that since angular correlation functions (CFs) are sensitive to clustering over a range of redshifts, themore » various evolutionary dependences included in our predictions imply that measurements of q in a deep survey might better discriminate between models with different histories, such as evolving versus nonevolving bias, that can have similar spatial CFs at low redshift. Our calculations employ a derived equation, valid for open, closed, and flat models, to obtain the angular bispectrum from the spatial bispectrum in the small-angle approximation. (c) (c) 2000. The American Astronomical Society.« less
18690323
Cosmological parameters from the 2003 flight of BOOMERANG
We present the cosmological parameters from the CMB intensity and polarization power spectra of the 2003 Antarctic flight of the BOOMERANG telescope. The BOOMERANG data alone constrain the parameters of the ΛCDM model remarkably well and are consistent with constraints from a multiexperiment combined CMB data set. We add LSS data from the 2dF and SDSS redshift surveys to the combined CMB data set and test several extensions to the standard model including running of the spectral index, curvature, tensor modes, the effect of massive neutrinos, and an effective equation of state for dark energy. We also include an analysis of constraints to a model that allows a CDM isocurvature admixture.
118425506
Sparsely sampling the sky: a Bayesian experimental design approach
The next generation of galaxy surveys will observe millions of galaxies over large volumes of the universe. These surveys are expensive both in time and cost, raising questions regarding the optimal investment of this time and money. In this work we investigate criteria for selecting amongst observing strategies for constraining the galaxy power spectrum and a set of cosmological parameters. Depending on the parameters of interest, it may be more efficient to observe a larger, but sparsely sampled, area of sky instead of a smaller contiguous area. In this work, by making use of the principles of Bayesian Experimental Design, we will investigate the advantages and disadvantages of the sparse sampling of the sky and discuss the circumstances in which a sparse survey is indeed the most efficient strategy. For the Dark Energy Survey (DES), we find that by sparsely observing the same area in a smaller amount of time, we only increase the errors on the parameters by a maximum of 0.45%. Conversely, investing the same amount of time as the original DES to observe a sparser but larger area of sky we can in fact constrain the parameters with errors reduced by 28%.
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.