When Is Domestic Political Unrest Related to International Conflict? Diversionary Theory and Japanese Foreign Policy, 1890–19411

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/146888/1/j.1468-2478.2010.00620.x.pd

Detection of the Power Spectrum of Cosmic Microwave Background Lensing by the Atacama Cosmology Telescope

We report the first detection of the gravitational lensing of the cosmic microwave background through a measurement of the four-point correlation function in the temperature maps made by the Atacama Cosmology Telescope. We verify our detection by calculating the levels of potential contaminants and performing a number of null tests. The resulting convergence power spectrum at 2-degree angular scales measures the amplitude of matter density fluctuations on comoving length scales of around 100 Mpc at redshifts around 0.5 to 3. The measured amplitude of the signal agrees with Lambda Cold Dark Matter cosmology predictions. Since the amplitude of the convergence power spectrum scales as the square of the amplitude of the density fluctuations, the 4-sigma detection of the lensing signal measures the amplitude of density fluctuations to 12%.Comment: 4 pages, 4 figures, replaced title and author list with version accepted by Physical Review Letters. Likelihood code can be downloaded from http://bccp.lbl.gov/~sudeep/ACTLensLike.htm

Evidence for dark energy from the cosmic microwave background alone using the Atacama Cosmology Telescope lensing measurements

For the first time, measurements of the cosmic microwave background radiation (CMB) alone favor cosmologies with $w=-1$ dark energy over models without dark energy at a 3.2-sigma level. We demonstrate this by combining the CMB lensing deflection power spectrum from the Atacama Cosmology Telescope with temperature and polarization power spectra from the Wilkinson Microwave Anisotropy Probe. The lensing data break the geometric degeneracy of different cosmological models with similar CMB temperature power spectra. Our CMB-only measurement of the dark energy density $\Omega_\Lambda$ confirms other measurements from supernovae, galaxy clusters and baryon acoustic oscillations, and demonstrates the power of CMB lensing as a new cosmological tool.Comment: 4 pages, 3 figures; replaced with version accepted by Physical Review Letters, added sentence on models with non-standard primordial power spectr

Machine-Checked Semantic Session Typing

Session types- A family of type systems for message-passing concurrency-have been subject to many extensions, where each extension comes with a separate proof of type safety. These extensions cannot be readily combined, and their proofs of type safety are generally not machine checked, making their correctness less trustworthy. We overcome these shortcomings with a semantic approach to binary asynchronous affine session types, by developing a logical relations model in Coq using the Iris program logic. We demonstrate the power of our approach by combining various forms of polymorphism and recursion, asynchronous subtyping, references, and locks/mutexes. As an additional benefit of the semantic approach, we demonstrate how to manually prove typing judgements of racy, but safe, programs that cannot be type checked using only the rules of the type system. Programming Language

The Antioxidant Potential of the Mediterranean Diet in Patients at High Cardiovascular Risk: An In-Depth Review of the PREDIMED

Cardiovascular disease (CVD) is the leading global cause of death. Diet is known to be important in the prevention of CVD. The PREDIMED trial tested a relatively low-fat diet versus a high-fat Mediterranean diet (MedDiet) for the primary prevention of CVD. The resulting reduction of the CV composite outcome resulted in a paradigm shift in CV nutrition. Though many dietary factors likely contributed to this effect, this review focuses on the influence of the MedDiet on endogenous antioxidant systems and the effect of dietary polyphenols. Subgroup analysis of the PREDIMED trial revealed increased endogenous antioxidant and decreased pro-oxidant activity in the MedDiet groups. Moreover, higher polyphenol intake was associated with lower incidence of the primary outcome, overall mortality, blood pressure, inflammatory biomarkers, onset of new-onset type 2 diabetes mellitus (T2DM), and obesity. This suggests that polyphenols likely contributed to the lower incidence of the primary event in the MedDiet groups. In this article, we summarize the potential benefits of polyphenols found in the MedDiet, specifically the PREDIMED cohort. We also discuss the need for further research to confirm and expand the findings of the PREDIMED in a non-Mediterranean population and to determine the exact mechanisms of action of polyphenols

The Atacama Cosmology Telescope: Cosmological parameters from three seasons of data

We present constraints on cosmological and astrophysical parameters from high-resolution microwave background maps at 148 GHz and 218 GHz made by the Atacama Cosmology Telescope (ACT) in three seasons of observations from 2008 to 2010. A model of primary cosmological and secondary foreground parameters is fit to the map power spectra and lensing deflection power spectrum, including contributions from both the thermal Sunyaev-Zeldovich (tSZ) effect and the kinematic Sunyaev-Zeldovich (kSZ) effect, Poisson and correlated anisotropy from unresolved infrared sources, radio sources, and the correlation between the tSZ effect and infrared sources. The power ell^2 C_ell/2pi of the thermal SZ power spectrum at 148 GHz is measured to be 3.4 +\- 1.4 muK^2 at ell=3000, while the corresponding amplitude of the kinematic SZ power spectrum has a 95% confidence level upper limit of 8.6 muK^2. Combining ACT power spectra with the WMAP 7-year temperature and polarization power spectra, we find excellent consistency with the LCDM model. We constrain the number of effective relativistic degrees of freedom in the early universe to be Neff=2.79 +\- 0.56, in agreement with the canonical value of Neff=3.046 for three massless neutrinos. We constrain the sum of the neutrino masses to be Sigma m_nu < 0.39 eV at 95% confidence when combining ACT and WMAP 7-year data with BAO and Hubble constant measurements. We constrain the amount of primordial helium to be Yp = 0.225 +\- 0.034, and measure no variation in the fine structure constant alpha since recombination, with alpha/alpha0 = 1.004 +/- 0.005. We also find no evidence for any running of the scalar spectral index, dns/dlnk = -0.004 +\- 0.012.Comment: 26 pages, 22 figures. This paper is a companion to Das et al. (2013) and Dunkley et al. (2013). Matches published JCAP versio

Precision Top-Quark Mass Measurements at CDF

We present a precision measurement of the top-quark mass using the full sample of Tevatron $\sqrt{s}=1.96$ TeV proton-antiproton collisions collected by the CDF II detector, corresponding to an integrated luminosity of 8.7 $fb^{-1}$. Using a sample of $t\bar{t}$ candidate events decaying into the lepton+jets channel, we obtain distributions of the top-quark masses and the invariant mass of two jets from the $W$ boson decays from data. We then compare these distributions to templates derived from signal and background samples to extract the top-quark mass and the energy scale of the calorimeter jets with {\it in situ} calibration. The likelihood fit of the templates from signal and background events to the data yields the single most-precise measurement of the top-quark mass, \mtop = 172.85 \pm$0.71 (stat)$\pm$0.85 (syst) GeV/c^{2}.$Comment: submitted to Phys. Rev. Let

Evidence for t\bar{t}\gamma Production and Measurement of \sigma_t\bar{t}\gamma / \sigma_t\bar{t}

Using data corresponding to 6.0/fb of ppbar collisions at sqrt(s) = 1.96 TeV collected by the CDF II detector, we present a cross section measurement of top-quark pair production with an additional radiated photon. The events are selected by looking for a lepton, a photon, significant transverse momentum imbalance, large total transverse energy, and three or more jets, with at least one identified as containing a b quark. The ttbar+photon sample requires the photon to have 10 GeV or more of transverse energy, and to be in the central region. Using an event selection optimized for the ttbar+photon candidate sample we measure the production cross section of, and the ratio of cross sections of the two samples. Control samples in the dilepton+photon and lepton+photon+\met, channels are constructed to aid in decay product identification and background measurements. We observe 30 ttbar+photon candidate events compared to the standard model expectation of 26.9 +/- 3.4 events. We measure the ttbar+photon cross section to be 0.18+0.08 pb, and the ratio of the cross section of ttbar+photon to ttbar to be 0.024 +/- 0.009. Assuming no ttbar+photon production, we observe a probability of 0.0015 of the background events alone producing 30 events or more, corresponding to 3.0 standard deviations.Comment: 9 pages, 3 figure