BEC-BCS Crossover and the Liquid-Gas Phase Transition in Hot and Dense Nuclear Matter

The effect of nucleon-nucleon correlations in symmetric nuclear matter at finite temperature is studied beyond BCS theory. Starting from a Hartree-Fock description of nuclear matter with the Gogny effective interaction, we add correlations corresponding to the formation of preformed pairs and scattering states above the superfluid critical temperature within the in-medium T-matrix approach, which is analogous to the Nozieres-Schmitt-Rink theory. We calculate the critical temperature for a BEC superfluid of deuterons, of a BCS superfluid of nucleons, and in the crossover between these limits. The effect of the correlations on thermodynamic properties (equation of state, energy, entropy) and the liquid-gas phase transition is discussed. Our results show that nucleon-nucleon correlations beyond BCS play an important role for the properties of nuclear matter, especially in the low-density region.Comment: 11 pages, 12 figures; v2: minor modifications of the text, references adde

Coupling of hydrodynamics and quasiparticle motion in collective modes of superfluid trapped Fermi gases

At finite temperature, the hydrodynamic collective modes of superfluid trapped Fermi gases are coupled to the motion of the normal component, which in the BCS limit behaves like a collisionless normal Fermi gas. The coupling between the superfluid and the normal components is treated in the framework of a semiclassical transport theory for the quasiparticle distribution function, combined with a hydrodynamic equation for the collective motion of the superfluid component. We develop a numerical test-particle method for solving these equations in the linear response regime. As a first application we study the temperature dependence of the collective quadrupole mode of a Fermi gas in a spherical trap. The coupling between the superfluid collective motion and the quasiparticles leads to a rather strong damping of the hydrodynamic mode already at very low temperatures. At higher temperatures the spectrum has a two-peak structure, the second peak corresponding to the quadrupole mode in the normal phase.Comment: 14 pages; v2: major changes (effect of Hartree field included

Flow reversal in coronary collaterals

We report a case of collateral flow reversal observed seven months after angioplasty and due to the progression of a second lesion in another vessel. Such an occurrence has not been reported previously in association with angioplasty. Its clinical implications are discusse

Improving the Sensitivity of Advanced LIGO Using Noise Subtraction

This paper presents an adaptable, parallelizable method for subtracting linearly coupled noise from Advanced LIGO data. We explain the features developed to ensure that the process is robust enough to handle the variability present in Advanced LIGO data. In this work, we target subtraction of noise due to beam jitter, detector calibration lines, and mains power lines. We demonstrate noise subtraction over the entirety of the second observing run, resulting in increases in sensitivity comparable to those reported in previous targeted efforts. Over the course of the second observing run, we see a 30% increase in Advanced LIGO sensitivity to gravitational waves from a broad range of compact binary systems. We expect the use of this method to result in a higher rate of detected gravitational-wave signals in Advanced LIGO data.Comment: 15 pages, 6 figure

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an online service called MizAR, similar to the SystemOnTPTP service for first-order automated reasoning. The main differences to SystemOnTPTP are the use of the Mizar language that is oriented towards human mathematicians (rather than the pure first-order logic used in SystemOnTPTP), and setting the service in the context of the large Mizar Mathematical Library of previous theorems,definitions, and proofs (rather than the isolated problems that are solved in SystemOnTPTP). These differences poses new challenges and new opportunities for automated reasoning and for proof presentation tools. This paper describes the overall structure of MizAR, and presents the automated reasoning systems and proof presentation tools that are combined to make MizAR a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial Intelligence and Symbolic Computation AISC 201

Perturbation of magnetostatic modes observed by ferromagnetic resonance force microscopy

Magnetostatic modes of yttrium iron garnet (YIG) films are investigated by ferromagnetic resonance force microscopy. A thin-film "probe" magnet at the tip of a compliant cantilever introduces a local inhomogeneity in the internal field of the YIG sample. This influences the shape of the sample's magnetostatic modes, thereby measurably perturbing the strength of the force coupled to the cantilever. We present a theoretical model that explains these observations; it shows that the tip-induced variation of the internal field creates either a local "potential barrier" or "potential well" for the magnetostatic waves. The data and model together indicate that local magnetic imaging of ferromagnets is possible, even in the presence of long-range spin coupling, through the introduction of localized magnetostatic modes predicted to arise from sufficiently strong tip fields

Early Advanced LIGO binary neutron-star sky localization and parameter estimation

2015 will see the first observations of Advanced LIGO and the start of the gravitational-wave (GW) advanced-detector era. One of the most promising sources for ground-based GW detectors are binary neutron-star (BNS) coalescences. In order to use any detections for astrophysics, we must understand the capabilities of our parameter-estimation analysis. By simulating the GWs from an astrophysically motivated population of BNSs, we examine the accuracy of parameter inferences in the early advanced-detector era. We find that sky location, which is important for electromagnetic follow-up, can be determined rapidly (~5 s), but that sky areas may be hundreds of square degrees. The degeneracy between component mass and spin means there is significant uncertainty for measurements of the individual masses and spins; however, the chirp mass is well measured (typically better than 0.1%).Comment: 4 pages, 2 figures. Published in the proceedings of Amaldi 1

Blocking entry of hepatitis B and D viruses to hepatocytes as a novel immunotherapy for treating chronic infections

Background. Chronic hepatitis B and D virus (HBV/HDV) infections can cause cancer. Current HBV therapy using nucleoside analogues (NAs) is life-long and reduces but does not eliminate the risk of cancer. A hallmark of chronic hepatitis B is a dysfunctional HBV-specific T-cell response. We therefore designed an immunotherapy driven by naive healthy T cells specific for the HDV antigen (HDAg) to bypass the need for HBV-specific T cells in order to prime PreS1-specific T cells and PreS1 antibodies blocking HBV entry. Methods. Ten combinations of PreS1 and/or HDAg sequences were evaluated for induction of PreS1 antibodies and HBV- and HDV-specific T cells in vitro and in vivo. Neutralization of HBV by PreS1-specific murine and rabbit antibodies was evaluated in cell culture, and rabbit anti-PreS1 were tested for neutralization of HBV in mice repopulated with human hepatocytes. Results. The best vaccine candidate induced T cells to PreS1 and HDAg, and PreS1 antibodies blocking HBV entry in vitro. Importantly, adoptive transfer of PreS1 antibodies prevented, or modulated, HBV infection after a subsequent challenge in humanized mice. Conclusions. We here describe a novel immunotherapy for chronic HBV/HDV that targets viral entry to complement NAs and coming therapies inhibiting viral maturation