# P. F. Scott - Imperial Coll., London

## Contact Details

NameP. F. Scott |
||

AffiliationImperial Coll., London |
||

CityLondon |
||

CountryUnited Kingdom |
||

## Pubs By Year |
||

## Pub CategoriesCosmology and Nongalactic Astrophysics (33) High Energy Physics - Phenomenology (22) Solar and Stellar Astrophysics (11) High Energy Astrophysical Phenomena (10) Astrophysics of Galaxies (9) General Relativity and Quantum Cosmology (5) Computer Science - Logic in Computer Science (5) High Energy Physics - Experiment (4) Instrumentation and Methods for Astrophysics (3) Earth and Planetary Astrophysics (3) Computer Science - Artificial Intelligence (2) Mathematics - Category Theory (2) Mathematics - Geometric Topology (1) Mathematics - Group Theory (1) Physics - Data Analysis; Statistics and Probability (1) High Energy Physics - Theory (1) Nuclear Experiment (1) Computer Science - Programming Languages (1) Physics - Physics and Society (1) Mathematics - Optimization and Control (1) |

## Publications Authored By P. F. Scott

Dark matter with momentum- or velocity-dependent interactions with nuclei has shown significant promise for explaining the so-called Solar Abundance Problem, a longstanding discrepancy between solar spectroscopy and helioseismology. The best-fit models are all rather light, typically with masses in the range of 3-5 GeV. This is exactly the mass range where dark matter evaporation from the Sun can be important, but to date no detailed calculation of the evaporation of such models has been performed. Read More

We present a marriage of functional and structured imperative programming that embeds in pure lambda calculus. We describe how we implement the core of this language in a monadic DSL which is structurally equivalent to our intended source language and which, when evaluated, generates pure lambda terms in continuation-passing-style. Read More

Suppose we have been sold on the idea that formalised proofs in an LCF system should resemble their written counterparts, and so consist of formulas that only provide signposts for a fully verified proof. To be practical, most of the fully elaborated verification must then be done by way of general purpose proof procedures. Now if these are the only procedures we implement outside the kernel of logical rules, what does the theorem prover look like? We give our account, working from scratch in the ProofPeer theorem prover, making observations about this new setting along the way. Read More

We introduce a novel parsing concept called local lexing. It integrates the classically separated stages of lexing and parsing by allowing lexing to be dependent upon the parsing progress and by providing a simple mechanism for constraining lexical ambiguity. This makes it possible for language design to be composable not only at the level of context-free grammars, but also at the lexical level. Read More

An excess of gamma rays has been identified at the center of the Milky Way, and annihilation of dark matter has been posited as a potential source. This hypothesis faces significant challenges: difficulty characterizing astrophysical backgrounds, the need for a non-trivial adiabatic contraction of the inner part of the Milky Way's dark matter halo, and recent observations of photon clustering, which suggest that the majority of the excess is due to unresolved point sources. Here we point out that the point-like nature of the emission rules out the dark matter interpretation of the excess entirely. Read More

The existence of substructure in halos of annihilating dark matter would be expected to substantially boost the rate at which annihilation occurs. Ultracompact minihalos of dark matter (UCMHs) are one of the more extreme examples of this. The boosted annihilation can inject significant amounts of energy into the gas of a galaxy over its lifetime. Read More

**Authors:**K. P. Mooley

^{1}, J. C. A. Miller-Jones

^{2}, R. P. Fender

^{3}, G. R. Sivakoff

^{4}, C. Rumsey

^{5}, Y. Perrott

^{6}, D. Titterington

^{7}, K. Grainge

^{8}, T. D. Russell

^{9}, S. H. Carey

^{10}, J. Hickish

^{11}, N. Razavi-Ghods

^{12}, A. Scaife

^{13}, P. Scott

^{14}, E. O. Waagen

^{15}

**Affiliations:**

^{1}Oxford,

^{2}Curtin,

^{3}Oxford,

^{4}Alberta,

^{5}Cambridge,

^{6}Cambridge,

^{7}Cambridge,

^{8}Manchester,

^{9}Curtin, Amsterdam,

^{10}Cambridge,

^{11}Cambridge,

^{12}Cambridge,

^{13}Manchester,

^{14}Cambridge,

^{15}AAVSO

The connection between accretion and jet production in accreting white dwarf binary systems, especially dwarf novae, is not well understood. Radio wavelengths provide key insights into the mechanisms responsible for accelerating electrons, including jets and outflows. Here we present densely-sampled radio coverage, obtained with the Arcminute MicroKelvin Imager Large Array, of the dwarf nova SS Cyg during its February 2016 anomalous outburst. Read More

**Authors:**T. Muñoz-Darias, J. Casares, D. Mata Sánchez, R. P. Fender, M. Armas Padilla, K. Mooley, L. Hardy, P. A. Charles, G. Ponti, S. E. Motta, V. S. Dhillon, P. Gandhi, F. Jiménez-Ibarra, T. Butterley, S. Carey, K. J. B. Grainge, J. Hickish, S. P. Littlefair, Y. C. Perrott, N. Razavi-Ghods, C. Rumsey, A. M. M. Scaife, P. F. Scott, D. J. Titterington, R. W. Wilson

After more than 26 years in quiescence, the black hole transient V404 Cyg went into a luminous outburst in June 2015, and additional activity was detected in late December of the same year. Here, we present an optical spectroscopic follow-up of the December mini-outburst, together with X-ray, optical and radio monitoring that spanned more than a month. Strong flares with gradually increasing intensity are detected in the three spectral ranges during the ~10 days following the Swift trigger. Read More

In recent years, a revised set of solar abundances has led to a discrepancy in the sound-speed profile between helioseismology and theoretical solar models. Conventional solutions require additional mechanisms for energy transport within the Sun. Vincent et al. Read More

We identify the main actors in the Isabelle and Coq communities and describe how they affect and influence their peers. This work explores selected foundations of social networking analysis that we expect to be useful in the context of the ProofPeer project, which is developing a new model for interactive theorem proving based on collaboration and social interactions. Read More

**Authors:**Andreas Albert, Martin Bauer, Oliver Buchmueller, Jim Brooke, David G. Cerdeno, Matthew Citron, Gavin Davies, Annapaola de Cosa, Albert De Roeck, Andrea De Simone, Tristan Du Pree, John Ellis, Henning Flaecher, Malcolm Fairbairn, Alexander Grohsjean, Kristian Hahn, Ulrich Haisch, Philip C. Harris, Valentin V. Khoze, Greg Landsberg, Christopher McCabe, Bjoern Penning, Veronica Sanz, Christian Schwanenberger, Pat Scott, Nicholas Wardle

This White Paper is an input to the ongoing discussion about the extension and refinement of simplified Dark Matter (DM) models. Based on two concrete examples, we show how existing simplified DM models (SDMM) can be extended to provide a more accurate and comprehensive framework to interpret and characterise collider searches. In the first example we extend the canonical SDMM with a scalar mediator to include mixing with the Higgs boson. Read More

**Affiliations:**

^{1}Durham U., IPPP,

^{2}Imperial Coll., London,

^{3}ICE/CSIC-IEEC

We present updated constraints on dark matter models with momentum-dependent or velocity-dependent interactions with nuclei, based on direct detection and solar physics. We improve our previous treatment of energy transport in the solar interior by dark matter scattering, leading to significant changes in fits to many observables. Based on solar physics alone, DM with a spin-independent $q^{4}$ coupling provides the best fit to data, and a statistically satisfactory solution to the solar abundance problem. Read More

**Authors:**Aldo Serenelli

^{1}, Pat Scott

^{2}, Francesco L. Villante

^{3}, Aaron C. Vincent

^{4}, Martin Asplund

^{5}, Sarbani Basu

^{6}, Nicolas Grevesse

^{7}, Carlos Pena-Garay

^{8}

**Affiliations:**

^{1}ICE/CSIC-IEEC,

^{2}Imperial Coll.,

^{3}Univ. L'Aquila & LNGS,

^{4}IPPP, Durham,

^{5}ANU,

^{6}Yale Univ.,

^{7}Univ. Leige,

^{8}IFIC/CSIC & Canfranc

We critically examine recent claims of a high solar metallicity by von Steiger \& Zurbuchen (2016) based on \textit{in situ} measurements of the solar wind, rather than the standard spectroscopically-inferred abundances (Asplund et al. 2009). We test the claim by Vagnozzi et al. Read More

**Authors:**IceCube Collaboration, M. G. Aartsen, K. Abraham, M. Ackermann, J. Adams, J. A. Aguilar, M. Ahlers, M. Ahrens, D. Altmann, T. Anderson, I. Ansseau, G. Anton, M. Archinger, C. Arguelles, T. C. Arlen, J. Auffenberg, X. Bai, S. W. Barwick, V. Baum, R. Bay, J. J. Beatty, J. Becker Tjus, K. -H. Becker, E. Beiser, S. BenZvi, P. Berghaus, D. Berley, E. Bernardini, A. Bernhard, D. Z. Besson, G. Binder, D. Bindig, M. Bissok, E. Blaufuss, J. Blumenthal, D. J. Boersma, C. Bohm, M. Börner, F. Bos, D. Bose, S. Böser, O. Botner, J. Braun, L. Brayeur, H. -P. Bretz, N. Buzinsky, J. Casey, M. Casier, E. Cheung, D. Chirkin, A. Christov, K. Clark, L. Classen, S. Coenders, G. H. Collin, J. M. Conrad, D. F. Cowen, A. H. Cruz Silva, M. Danninger, J. Daughhetee, J. C. Davis, M. Day, J. P. A. M. de André, C. De Clercq, E. del Pino Rosendo, H. Dembinski, S. De Ridder, P. Desiati, K. D. de Vries, G. de Wasseige, M. de With, T. DeYoung, J. C. Díaz-Vélez, V. di Lorenzo, J. P. Dumm, M. Dunkman, B. Eberhardt, J. Edsjö, T. Ehrhardt, B. Eichmann, S. Euler, P. A. Evenson, S. Fahey, A. R. Fazely, J. Feintzeig, J. Felde, K. Filimonov, C. Finley, S. Flis, C. -C. Fösig, T. Fuchs, T. K. Gaisser, R. Gaior, J. Gallagher, L. Gerhardt, K. Ghorbani, D. Gier, L. Gladstone, M. Glagla, T. Glüsenkamp, A. Goldschmidt, G. Golup, J. G. Gonzalez, D. Góra, D. Grant, Z. Griffith, A. Groß, C. Ha, C. Haack, A. Haj Ismail, A. Hallgren, F. Halzen, E. Hansen, B. Hansmann, K. Hanson, D. Hebecker, D. Heereman, K. Helbing, R. Hellauer, S. Hickford, J. Hignight, G. C. Hill, K. D. Hoffman, R. Hoffmann, K. Holzapfel, A. Homeier, K. Hoshina, F. Huang, M. Huber, W. Huelsnitz, P. O. Hulth, K. Hultqvist, S. In, A. Ishihara, E. Jacobi, G. S. Japaridze, M. Jeong, K. Jero, B. J. P. Jones, M. Jurkovic, A. Kappes, T. Karg, A. Karle, U. Katz, M. Kauer, A. Keivani, J. L. Kelley, J. Kemp, A. Kheirandish, J. Kiryluk, S. R. Klein, G. Kohnen, R. Koirala, H. Kolanoski, R. Konietz, L. Köpke, C. Kopper, S. Kopper, D. J. Koskinen, M. Kowalski, K. Krings, G. Kroll, M. Kroll, G. Krückl, J. Kunnen, N. Kurahashi, T. Kuwabara, M. Labare, J. L. Lanfranchi, M. J. Larson, M. Lesiak-Bzdak, M. Leuermann, J. Leuner, L. Lu, J. Lünemann, J. Madsen, G. Maggi, K. B. M. Mahn, M. Mandelartz, R. Maruyama, K. Mase, H. S. Matis, R. Maunu, F. McNally, K. Meagher, M. Medici, M. Meier, A. Meli, T. Menne, G. Merino, T. Meures, S. Miarecki, E. Middell, L. Mohrmann, T. Montaruli, R. Morse, R. Nahnhauer, U. Naumann, G. Neer, H. Niederhausen, S. C. Nowicki, D. R. Nygren, A. Obertacke Pollmann, A. Olivas, A. Omairat, A. O'Murchadha, T. Palczewski, H. Pandya, D. V. Pankova, L. Paul, J. A. Pepper, C. Pérez de los Heros, C. Pfendner, D. Pieloth, E. Pinat, J. Posselt, P. B. Price, G. T. Przybylski, M. Quinnan, C. Raab, L. Rädel, M. Rameez, K. Rawlins, R. Reimann, M. Relich, E. Resconi, W. Rhode, M. Richman, S. Richter, B. Riedel, S. Robertson, M. Rongen, C. Rott, T. Ruhe, D. Ryckbosch, L. Sabbatini, H. -G. Sander, A. Sandrock, J. Sandroos, S. Sarkar, C. Savage, K. Schatto, M. Schimp, P. Schlunder, T. Schmidt, S. Schoenen, S. Schöneberg, A. Schönwald, L. Schulte, L. Schumacher, P. Scott, D. Seckel, S. Seunarine, H. Silverwood, D. Soldin, M. Song, G. M. Spiczak, C. Spiering, M. Stahlberg, M. Stamatikos, T. Stanev, A. Stasik, A. Steuer, T. Stezelberger, R. G. Stokstad, A. Stößl, R. Ström, N. L. Strotjohann, G. W. Sullivan, M. Sutherland, H. Taavola, I. Taboada, J. Tatar, S. Ter-Antonyan, A. Terliuk, G. Tešić, S. Tilav, P. A. Toale, M. N. Tobin, S. Toscano, D. Tosi, M. Tselengidou, A. Turcati, E. Unger, M. Usner, S. Vallecorsa, J. Vandenbroucke, N. van Eijndhoven, S. Vanheule, J. van Santen, J. Veenkamp, M. Vehring, M. Voge, M. Vraeghe, C. Walck, A. Wallace, M. Wallraff, N. Wandkowsky, Ch. Weaver, C. Wendt, S. Westerhoff, B. J. Whelan, K. Wiebe, C. H. Wiebusch, L. Wille, D. R. Williams, L. Wills, H. Wissing, M. Wolf, T. R. Wood, K. Woschnagg, D. L. Xu, X. W. Xu, Y. Xu, J. P. Yanez, G. Yodh, S. Yoshida, M. Zoll

We present an improved event-level likelihood formalism for including neutrino telescope data in global fits to new physics. We derive limits on spin-dependent dark matter-proton scattering by employing the new formalism in a re-analysis of data from the 79-string IceCube search for dark matter annihilation in the Sun, including explicit energy information for each event. The new analysis excludes a number of models in the weak-scale minimal supersymmetric standard model (MSSM) for the first time. Read More

We combine and extend the analyses of effective scalar, vector, Majorana and Dirac fermion Higgs portal models of dark matter (DM), in which DM couples to the Standard Model (SM) Higgs boson via an operator of the form $\mathcal{O}_{\textrm{DM}}\, H^\dagger H$. For the fermion models, we take an admixture of scalar $\overline{\psi} \psi$ and pseudoscalar $\overline{\psi} i\gamma_5 \psi$ interaction terms. For each model, we apply constraints on the parameter space based on the Planck measured DM relic density and the LHC limits on the Higgs invisible branching ratio. Read More

Cosmological inflation generates primordial density perturbations on all scales, including those far too small to contribute to the cosmic microwave background. At these scales, isolated ultracompact minihalos of dark matter can form well before standard structure formation, if the perturbations have sufficient amplitude. Minihalos affect pulsar timing data and are potentially bright sources of gamma rays. Read More

Small-scale dark matter structure within the Milky Way is expected to affect pulsar timing. The change in gravitational potential induced by a dark matter halo passing near the line of sight to a pulsar would produce a varying delay in the light travel time of photons from the pulsar. Individual transits produce an effect that would either be too rare or too weak to be detected in 30-year pulsar observations. Read More

Ultracompact Minihalos (UCMHs) have been proposed as a type of dark matter sub-structure seeded by large-amplitude primordial perturbations and topological defects. UCMHs are expected to survive to the present era, allowing constraints to be placed on their cosmic abundance using observations within our own Galaxy. Constraints on their number density can be linked to conditions in the early universe that impact structure formation, such as increased primordial power on small scales, generic weak non-Gaussianity, and the presence of cosmic strings. Read More

**Affiliations:**

^{1}Durham U., IPPP,

^{2}ICE - CSIC/IEEC,

^{3}Imperial Coll., London

We study the effects of energy transport in the Sun by asymmetric dark matter with momentum and velocity-dependent interactions, with an eye to solving the decade-old Solar Abundance Problem. We study effective theories where the dark matter-nucleon scattering cross-section goes as $v_{\rm rel}^{2n}$ and $q^{2n}$ with $n = -1, 0, 1 $ or $2$, where $v_{\rm rel}$ is the dark matter-nucleon relative velocity and $q$ is the momentum exchanged in the collision. Such cross-sections can arise generically as leading terms from the most basic nonstandard DM-quark operators. Read More

**Authors:**R. Génova-Santos, J. A. Rubiño-Martín, R. Rebolo, M. Aguiar, F. Gómez-Reñasco, C. Gutiérrez, R. J. Hoyland, C. López-Caraballo, A. E. Peláez-Santos, M. R. Pérez de Taoro, F. Poidevin, V. Sánchez de la Rosa, D. Tramonte, A. Vega-Moreno, T. Viera-Curbelo, R. Vignaga, E. Martínez-González, R. B. Barreiro, B. Casaponsa, F. J. Casas, J. M. Diego, R. Fernández-Cobos, D. Herranz, M. López-Caniego, D. Ortiz, P. Vielva, E. Artal, B. Aja, J. Cagigas, J. L. Cano, L. de la Fuente, A. Mediavilla, J. V. Terán, E. Villa, L. Piccirillo, Davies, R. J. Davis, C. Dickinson, K. Grainge, S. Harper, B. Maffei, M. McCulloch, S. Melhuish, G. Pisano, R. A. Watson, A. Lasenby, M. Ashdown, M. Hobson, Y. Perrott, N. Razavi-Ghods, R. Saunders, D. Titterington, P. Scott

QUIJOTE (Q-U-I JOint TEnerife) is a new polarimeter aimed to characterize the polarization of the Cosmic Microwave Background and other Galactic and extragalactic signals at medium and large angular scales in the frequency range 10-40 GHz. The multi-frequency (10-20~GHz) instrument, mounted on the first QUIJOTE telescope, saw first light on November 2012 from the Teide Observatory (2400~m a.s. Read More

Cosmic strings are expected to form loops. These can act as seeds for accretion of dark matter, leading to the formation of ultracompact minihalos (UCMHs). We perform a detailed study of the accretion of dark matter onto cosmic string loops and compute the resulting mass distribution of UCMHs. Read More

We present Geometry of Interaction (GoI) models for Multiplicative Polarized Linear Logic, MLLP, which is the multiplicative fragment of Olivier Laurent's Polarized Linear Logic. This is done by uniformly adding multipoints to various categorical models of GoI. Multipoints are shown to play an essential role in semantically characterizing the dynamics of proof networks in polarized proof theory. Read More

**Authors:**R. Génova-Santos, J. A. Rubiño-Martín, R. Rebolo, A. Peláez-Santos, C. H. López-Caraballo, S. Harper, R. A. Watson, M. Ashdown, R. B. Barreiro, B. Casaponsa, C. Dickinson, J. M. Diego, R. Fernández-Cobos, K. J. B. Grainge, D. Herranz, R. Hoyland, A. Lasenby, M. López-Caniego, E. Martínez-González, M. McCulloch, S. Melhuish, L. Piccirillo, Y. C. Perrott, F. Poidevin, N. Razavi-Ghods, P. F. Scott, D. Titterington, D. Tramonte, P. Vielva, R. Vignaga

Anomalous microwave emission (AME) has been observed in numerous sky regions, in the frequency range ~10-60 GHz. One of the most scrutinized regions is G159.6-18. Read More

**Affiliations:**

^{1}Durham U., IPPP,

^{2}Imperial Coll., London,

^{3}ICE

Broad disagreement persists between helioseismological observables and predictions of solar models computed with the latest surface abundances. Here we show that most of these problems can be solved by the presence of asymmetric dark matter coupling to nucleons as the square of the momentum $q$ exchanged in the collision. We compute neutrino fluxes, small frequency separations, surface helium abundances, sound speed profiles and convective zone depths for a number of models, showing more than a $6\sigma$ preference for $q^2$ models over others, and over the Standard Solar Model. Read More

In recent years the power systems research community has seen an explosion of work applying operations research techniques to challenging power network optimization problems. Regardless of the application under consideration, all of these works rely on power system test cases for evaluation and validation. However, many of the well established power system test cases were developed as far back as the 1960s with the aim of testing AC power flow algorithms. Read More

Smart devices, storage and other distributed technologies have the potential to greatly improve the utilisation of network infrastructure and renewable generation. Decentralised control of these technologies overcomes many scalability and privacy concerns, but in general still requires the underlying problem to be convex in order to guarantee convergence to a global optimum. Considering that AC power flows are non-convex in nature, and the operation of household devices often requires discrete decisions, there has been uncertainty surrounding the use of distributed methods in a realistic setting. Read More

We estimate the sensitivity of the upcoming CTA gamma-ray telescope to DM annihilation at the Galactic centre, improving on previous analyses in a number of significant ways. First, we perform a detailed analyses of all backgrounds, including diffuse astrophysical emission for the first time in a study of this type. Second, we present a statistical framework for including systematic errors and estimate the consequent degradation in sensitivity. Read More

We define a class of inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to one constructed in this way from such a monoid. We prove that every countable MV-algebra can be so co-ordinatized. Read More

**Authors:**Y. C. Perrott, M. Olamaie, C. Rumsey, M. L. Brown, F. Feroz, K. J. B. Grainge, M. P. Hobson, A. N. Lasenby, C. J. MacTavish, G. G. Pooley, R. D. E. Saunders, M. P. Schammel, P. F. Scott, T. W. Shimwell, D. J. Titterington, E. M. Waldram, N. Aghanim, M. Arnaud, M. Ashdown, H. Aussel, R. Barrena, I. Bikmaev, H. Böhringer, R. Burenin, P. Carvalho, G. Chon, B. Comis, H. Dahle, J. Democles, M. Douspis, D. Harrison, A. Hempel, G. Hurier, I. Khamitov, R. Kneissl, J. F. Macías-Pérez, J. -B. Melin, E. Pointecouteau, G. W. Pratt, J. A. Rubiño-Martín, V. Stolyarov, D. Sutton

**Category:**Cosmology and Nongalactic Astrophysics

We present observations and analysis of a sample of 123 galaxy clusters from the 2013 Planck catalogue of Sunyaev-Zel'dovich sources with the Arcminute Microkelvin Imager (AMI), a ground-based radio interferometer. AMI provides an independent measurement with higher angular resolution, 3 arcmin compared to the Planck beams of 5-10 arcmin. The AMI observations thus provide validation of the cluster detections, improved positional estimates, and a consistency check on the fitted 'size' ($\theta_{s}$) and 'flux' ($Y_{\rm tot}$) parameters in the Generalised Navarro, Frenk and White (GNFW) model. Read More

The composition of the Sun is an essential piece of reference data for astronomy, cosmology, astroparticle, space and geo-physics. This article, dealing with the intermediate-mass elements Na to Ca, is the first in a series describing the comprehensive re-determination of the solar composition. In this series we severely scrutinise all ingredients of the analysis across all elements, to obtain the most accurate, homogeneous and reliable results possible. Read More

We re-evaluate the abundances of the elements in the Sun from copper ($Z=29$) to thorium ($Z=90$). Our results are mostly based on neutral and singly-ionised lines in the solar spectrum. We use the latest 3D hydrodynamic solar model atmosphere, and in a few cases also correct for departures from local thermodynamic equilibrium (LTE) using non-LTE (NLTE) calculations performed in 1D. Read More

We redetermine the abundances of all iron group nuclei in the Sun, based on neutral and singly-ionised lines of Sc, Ti, V, Mn, Fe, Co and Ni in the solar spectrum. We employ a realistic 3D hydrodynamic model solar atmosphere, corrections for departures from local thermodynamic equilibrium (NLTE), stringent line selection procedures and high quality observational data. We have scoured the literature for the best quality oscillator strengths, hyperfine constants and isotopic separations available for our chosen lines. Read More

We define the concept of collaborative theorem proving and outline our plan to make it a reality. We believe that a successful implementation of collaborative theorem proving is a necessary prerequisite for the formal verification of large systems. Read More

(abridged) The Galactic Center is one of the most promising targets for indirect detection of dark matter with gamma rays. We investigate the sensitivity of the upcoming Cherenkov Telescope Array (CTA) to dark matter annihilation and decay in the Galactic Center. As the inner density profile of the Milky Way's dark matter halo is uncertain, we study the impact of the slope of the Galactic density profile, inwards of the Sun, on the prospects for detecting a dark matter signal with CTA. Read More

**Authors:**M. López-Caniego, R. Rebolo, M. Aguiar, R. Génova-Santos, F. Gómez-Reñasco, C. Gutierrez, J. M. Herreros, R. J. Hoyland, C. López-Caraballo, A. E. Pelaez Santos, F. Poidevin, J. A. Rubiño-Martín, V. Sanchez de la Rosa, D. Tramonte, A. Vega-Moreno, T. Viera-Curbelo, R. Vignaga, E. Martínez-González, R. B. Barreiro, B. Casaponsa, F. J. Casas, J. M. Diego, R. Fernández-Cobos, D. Herranz, D. Ortiz, P. Vielva, E. Artal, B. Aja, J. Cagigas, J. L. Cano, L. de la Fuente, A. Mediavilla, J. V. Terán, E. Villa, L. Piccirillo, R. Battye, E. Blackhurst, M. Brown, R. D. Davies, R. J. Davis, C. Dickinson, K. Grainge, S. Harper, B. Maffei, M. McCulloch, S. Melhuish, G. Pisano, R. A. Watson, M. Hobson, A. Lasenby, R. Saunders, P. Scott

The QUIJOTE (Q-U-I JOint Tenerife) CMB Experiment is designed to observe the polarization of the Cosmic Microwave Background and other Galactic and extragalactic signals at medium and large angular scales in the frequency range of 10-40 GHz. The first of the two QUIJOTE telescopes and the multi-frequency (10-20 GHz) instrument have been in operation since November 2012. In 2014 a second telescope and a new instrument at 30GHz will be ready for commissioning, and an additional instrument at 40 GHz is in its final design stages. Read More

**Affiliations:**

^{1}IFIC,

^{2}McGill

We use the formalism of Gould and Raffelt to compute the dimensionless thermal conduction coefficients for scattering of dark matter particles with standard model nucleons via cross-sections that depend on the relative velocity or momentum exchanged between particles. Motivated by models invoked to reconcile various recent results in direct detection, we explicitly compute the conduction coefficients $\alpha$ and $\kappa$ for cross-sections that go as $v_{\rm rel}^2$, $v_{\rm rel}^4$, $v_{\rm rel}^{-2}$, $q^2$, $q^4$ and $q^{-2}$, where $v_{\rm rel}$ is the relative DM-nucleus velocity and $q$ is the momentum transferred in the collision. We find that a $v_{\rm rel}^{-2}$ dependence can significantly enhance energy transport from the inner solar core to the outer core. Read More

One of the simplest models of dark matter is that where a scalar singlet field S comprises some or all of the dark matter, and interacts with the standard model through an HHSS coupling to the Higgs boson. We update the present limits on the model from LHC searches for invisible Higgs decays, the thermal relic density of S, and dark matter searches via indirect and direct detection. We point out that the currently allowed parameter space is on the verge of being significantly reduced with the next generation of experiments. Read More

**Authors:**AMI Consortium, :, Timothy W. Shimwell, Carmen Rodriguez-Gonzalvez, Farhan Feroz, Thomas M. O. Franzen, Keith J. B. Grainge, Michael P. Hobson, Natasha Hurley-Walker, Anthony N. Lasenby, E. J. Lloyd-Davies, Malak Olamaie, Yvette C. Perrott, Guy G. Pooley, Clare Rumsey, A. Kathy Romer, Richard D. E. Saunders, Anna M. M. Scaife, Michel P. Schammel, Paul F. Scott, David J. Titterington, Elizabeth M. Waldram

**Category:**Cosmology and Nongalactic Astrophysics

We have obtained deep SZ observations towards 15 of the apparently hottest XMM Cluster Survey (XCS) clusters that can be observed with the Arcminute Microkelvin Imager (AMI). We use a Bayesian analysis to quantify the significance of our SZ detections. We detect the SZ effect at high significance towards three of the clusters and at lower significance for a further two clusters. Read More

**Authors:**AMI Consortium, :, Timothy W. Shimwell, John M. Carpenter, Farhan Feroz, Keith J. B. Grainge, Michael P. Hobson, Natasha Hurley-Walker, Anthony N. Lasenby, Malak Olamaie, Yvette C. Perrott, Guy G. Pooley, Carmen Rodriguez-Gonzalvez, Clare Rumsey, Richard D. E. Saunders, Michel P. Schammel, Paul F. Scott, David J. Titterington, Elizabeth M. Waldram

**Category:**Cosmology and Nongalactic Astrophysics

We present CARMA observations of a massive galaxy cluster discovered in the AMI blind SZ survey. Without knowledge of the cluster redshift a Bayesian analysis of the AMI, CARMA and joint AMI & CARMA uv-data is used to quantify the detection significance and parameterise both the physical and observational properties of the cluster whilst accounting for the statistics of primary CMB anisotropies, receiver noise and radio sources. The joint analysis of the AMI & CARMA uv-data was performed with two parametric physical cluster models: the {\beta}-model; and the model described in Olamaie et al. Read More

This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron's quantum lambda calculus, which was previously an open problem. We do this by considering presheaves over appropriate base categories arising from first-order quantum computation. Read More

**Affiliations:**

^{1}McGill,

^{2}McGill

The cosmic microwave background provides constraints on the annihilation and decay of light dark matter at redshifts between 100 and 1000, the strength of which depends upon the fraction of energy ending up in the form of electrons and photons. The resulting constraints are usually presented for a limited selection of annihilation and decay channels. Here we provide constraints on the annihilation cross section and decay rate, at discrete values of the dark matter mass, for all the annihilation and decay channels whose secondary spectra have been computed using PYTHIA in arXiv:1012. Read More

We describe a general procedure for using number counts of any object to constrain the probability distribution of the primordial fluctuations, allowing for generic weak non-Gaussianity. We apply this procedure to use limits on the abundance of primordial black holes and dark matter ultracompact minihalos (UCMHs) to characterize the allowed statistics of primordial fluctuations on very small scales. We present constraints on the power spectrum and the amplitude of the skewness for two different families of non-Gaussian distributions, distinguished by the relative importance of higher moments. Read More

We give a more geometric approach to an algorithm for deciding whether two hyperbolic 3-manifolds are homeomorphic. We also give a more algebraic approach to the homeomorphism problem for geometric, but non-hyperbolic, 3-manifolds. Read More

**Authors:**AMI Consortium, :, Michel P. Schammel, Farhan Feroz, Keith J. B. Grainge, Michael P. Hobson, Natasha Hurley-Walker, Anthony N. Lasenby, Malak Olamaie, Yvette C. Perrott, Guy G. Pooley, Carmen Rodriguez-Gonzalvez, Clare Rumsey, Richard D. E. Saunders, Paul F. Scott, Timothy W. Shimwell, David J. Titterington, Elizabeth M. Waldram

**Category:**Cosmology and Nongalactic Astrophysics

We present 16-GHz Sunyaev-Zel'dovich observations using the Arcminute Microkelvin Imager (AMI) and subsequent Bayesian analysis of six galaxy clusters at redshift ($z \approx 1$) chosen from an X-ray and Infrared selected sample from Culverhouse et al. (2010). In the subsequent analysis we use two cluster models, an isothermal \beta-model and a Dark Matter GNFW (DM-GNFW) model in order to derive a formal detection probability and the cluster parameters. Read More

We analyse the sensitivity of IceCube-DeepCore to annihilation of neutralino dark matter in the solar core, generated within a 25 parameter version of the minimally supersymmetric standard model (MSSM-25). We explore the 25-dimensional parameter space using scanning methods based on importance sampling and using DarkSUSY 5.0. Read More

**Authors:**AMI Consortium, :, Yvette C. Perrott, Anna M. M. Scaife, David A. Green, Matthew L. Davies, Thomas M. O. Franzen, Keith J. B. Grainge, Michael P. Hobson, Natasha Hurley-Walker, Anthony N. Lasenby, Malak Olamaie, Guy G. Pooley, Carmen Rodríguez-Gonzálvez, Clare Rumsey, Richard D. E. Saunders, Michel P. Schammel, Paul F. Scott, Timothy W. Shimwell, David J. Titterington, Elizabeth M. Waldram

**Category:**Astrophysics of Galaxies

The AMI Galactic Plane Survey (AMIGPS) is a large area survey of the outer Galactic plane to provide arcminute resolution images at milli-Jansky sensitivity in the centimetre-wave band. Here we present the first data release of the survey, consisting of 868 deg^2 of the Galactic plane, covering the area 76 deg \lessapprox l \lessapprox 170 deg between latitudes of |b| \lessapprox 5 deg, at a central frequency of 15.75 GHz (1. Read More

Dark halo substructure may reveal itself through secondary, small-scale gravitational lensing effects on light sources that are macrolensed by a foreground galaxy. Here, we explore the prospects of using Very Long Baseline Interferometry (VLBI) observations of multiply-imaged quasar jets to search for submilliarcsecond-scale image distortions produced by various forms of dark substructures in the 1e3-1e8 Msolar mass range. We present lensing simulations relevant for the angular resolutions attainable with the existing European VLBI Network (EVN), the global VLBI array, and an upcoming observing mode in which the Atacama Large Millimeter Array (ALMA) is connected to the global VLBI array. Read More

**Authors:**Keith Grainge, Paul Alexander, Richard Battye, Mark Birkinshaw, Andrew Blain, Malcolm Bremer, Sarah Bridle, Michael Brown, Richard Davis, Clive Dickinson, Alastair Edge, George Efstathiou, Robert Fender, Martin Hardcastle, Jennifer Hatchell, Michael Hobson, Matthew Jarvis, Benjamin Maughan, Ian McHardy, Matthew Middleton, Anthony Lasenby, Richard Saunders, Giorgio Savini, Anna Scaife, Graham Smith, Mark Thompson, Glenn White, Kris Zarb-Adami, James Allison, Jane Buckle, Alberto Castro-Tirado, Maria Chernyakova, Roger Deane, Farhan Feroz, Ricardo Genova Santos, David Green, Diana Hannikainen, Ian Heywood, Natasha Hurley-Walker, Ruediger Kneissl, Karri Koljonen, Shrinivas Kulkarni, Sera Markoff, Carrie MacTavish, Michael McCollough, Simone Migliari, Jon M. Miller, James Miller-Jones, Malak Olamaie, Zsolt Paragi, Timothy Pearson, Guy Pooley, Katja Pottschmidt, Rafael Rebolo, John Richer, Julia Riley, Jerome Rodriguez, Carmen Rodriguez-Gonzalvez, Anthony Rushton, Petri Savolainen, Paul Scott, Timothy Shimwell, Marco Tavani, John Tomsick, Valeriu Tudose, Kurt van der Heyden, Alexander van der Horst, Angelo Varlotta, Elizabeth Waldram, Joern Wilms, Andrzej Zdziarski, Jonathan Zwart, Yvette Perrott, Clare Rumsey, Michel Schammel

The Arcminute Microkelvin Imager (AMI) is a telescope specifically designed for high sensitivity measurements of low-surface-brightness features at cm-wavelength and has unique, important capabilities. It consists of two interferometer arrays operating over 13.5-18 GHz that image structures on scales of 0. Read More

**Authors:**P. Scott, C. Savage, J. Edsjö, the IceCube Collaboration, :, R. Abbasi, Y. Abdou, M. Ackermann, J. Adams, J. A. Aguilar, M. Ahlers, D. Altmann, K. Andeen, J. Auffenberg, X. Bai, M. Baker, S. W. Barwick, V. Baum, R. Bay, K. Beattie, J. J. Beatty, S. Bechet, J. Becker Tjus, K. -H. Becker, M. Bell, M. L. Benabderrahmane, S. BenZvi, J. Berdermann, P. Berghaus, D. Berley, E. Bernardini, D. Bertrand, D. Z. Besson, D. Bindig, M. Bissok, E. Blaufuss, J. Blumenthal, D. J. Boersma, C. Bohm, D. Bose, S. Böser, O. Botner, L. Brayeur, A. M. Brown, R. Bruijn, J. Brunner, S. Buitink, K. S. Caballero-Mora, M. Carson, J. Casey, M. Casier, D. Chirkin, B. Christy, F. Clevermann, S. Cohen, D. F. Cowen, A. H. Cruz Silva, M. Danninger, J. Daughhetee, J. C. Davis, C. De Clercq, F. Descamps, P. Desiati, G. de Vries-Uiterweerd, T. DeYoung, J. C. Díaz-Vélez, J. Dreyer, J. P. Dumm, M. Dunkman, R. Eagan, J. Eisch, R. W. Ellsworth, O. Engdegård, S. Euler, P. A. Evenson, O. Fadiran, A. R. Fazely, A. Fedynitch, J. Feintzeig, T. Feusels, K. Filimonov, C. Finley, T. Fischer-Wasels, S. Flis, A. Franckowiak, R. Franke, K. Frantzen, T. Fuchs, T. K. Gaisser, J. Gallagher, L. Gerhardt, L. Gladstone, T. Glüsenkamp, A. Goldschmidt, J. A. Goodman, D. Góra, D. Grant, A. Groß, S. Grullon, M. Gurtner, C. Ha, A. Haj Ismail, A. Hallgren, F. Halzen, K. Hanson, D. Heereman, P. Heimann, D. Heinen, K. Helbing, R. Hellauer, S. Hickford, G. C. Hill, K. D. Hoffman, R. Hoffmann, A. Homeier, K. Hoshina, W. Huelsnitz, P. O. Hulth, K. Hultqvist, S. Hussain, A. Ishihara, E. Jacobi, J. Jacobsen, G. S. Japaridze, O. Jlelati, H. Johansson, A. Kappes, T. Karg, A. Karle, J. Kiryluk, F. Kislat, J. Kläs, S. R. Klein, J. -H. Köhne, G. Kohnen, H. Kolanoski, L. Köpke, C. Kopper, S. Kopper, D. J. Koskinen, M. Kowalski, M. Krasberg, G. Kroll, J. Kunnen, N. Kurahashi, T. Kuwabara, M. Labare, K. Laihem, H. Landsman, M. J. Larson, R. Lauer, M. Lesiak-Bzdak, J. Lünemann, J. Madsen, R. Maruyama, K. Mase, H. S. Matis, F. McNally, K. Meagher, M. Merck, P. Mészáros, T. Meures, S. Miarecki, E. Middell, N. Milke, J. Miller, L. Mohrmann, T. Montaruli, R. Morse, S. M. Movit, R. Nahnhauer, U. Naumann, S. C. Nowicki, D. R. Nygren, A. Obertacke, S. Odrowski, A. Olivas, M. Olivo, A. O'Murchadha, S. Panknin, L. Paul, J. A. Pepper, C. Pérez de los Heros, D. Pieloth, N. Pirk, J. Posselt, P. B. Price, G. T. Przybylski, L. Rädel, K. Rawlins, P. Redl, E. Resconi, W. Rhode, M. Ribordy, M. Richman, B. Riedel, J. P. Rodrigues, F. Rothmaier, C. Rott, T. Ruhe, D. Rutledge, B. Ruzybayev, D. Ryckbosch, S. M. Saba, T. Salameh, H. -G. Sander, M. Santander, S. Sarkar, K. Schatto, M. Scheel, F. Scheriau, T. Schmidt, M. Schmitz, S. Schoenen, S. Schöneberg, L. Schönherr, A. Schönwald, A. Schukraft, L. Schulte, O. Schulz, D. Seckel, S. H. Seo, Y. Sestayo, S. Seunarine, M. W. E. Smith, M. Soiron, D. Soldin, G. M. Spiczak, C. Spiering, M. Stamatikos, T. Stanev, A. Stasik, T. Stezelberger, R. G. Stokstad, A. Stößl, E. A. Strahler, R. Ström, G. W. Sullivan, H. Taavola, I. Taboada, A. Tamburro, S. Ter-Antonyan, S. Tilav, P. A. Toale, S. Toscano, M. Usner, N. van Eijndhoven, D. van der Drift, A. Van Overloop, J. van Santen, M. Vehring, M. Voge, C. Walck, T. Waldenmaier, M. Wallraff, M. Walter, R. Wasserman, Ch. Weaver, C. Wendt, S. Westerhoff, N. Whitehorn, K. Wiebe, C. H. Wiebusch, D. R. Williams, H. Wissing, M. Wolf, T. R. Wood, K. Woschnagg, C. Xu, D. L. Xu, X. W. Xu, J. P. Yanez, G. Yodh, S. Yoshida, P. Zarzhitsky, J. Ziemann, A. Zilles, M. Zoll

We present a fast likelihood method for including event-level neutrino telescope data in parameter explorations of theories for new physics, and announce its public release as part of DarkSUSY 5.0.6. Read More

It is well known that current spectroscopic determinations of the chemical composition of the Sun are starkly at odds with the metallicity implied by helioseismology. We investigate whether the discrepancy may be due to conversion of photons to a new light boson in the solar photosphere. We examine the impact of particles with axion-like interactions with the photon on the inferred photospheric abundances, showing that resonant axion-photon conversion is not possible in the region of the solar atmosphere in which line-formation occurs. Read More