Liveness-Based Garbage Collection for Lazy Languages

We consider the problem of reducing the memory required to run lazy first-order functional programs. Our approach is to analyze programs for liveness of heap-allocated data. The result of the analysis is used to preserve only live data---a subset of reachable data---during garbage collection. The result is an increase in the garbage reclaimed and a reduction in the peak memory requirement of programs. While this technique has already been shown to yield benefits for eager first-order languages, the lack of a statically determinable execution order and the presence of closures pose new challenges for lazy languages. These require changes both in the liveness analysis itself and in the design of the garbage collector. To show the effectiveness of our method, we implemented a copying collector that uses the results of the liveness analysis to preserve live objects, both evaluated (i.e., in WHNF) and closures. Our experiments confirm that for programs running with a liveness-based garbage collector, there is a significant decrease in peak memory requirements. In addition, a sizable reduction in the number of collections ensures that in spite of using a more complex garbage collector, the execution times of programs running with liveness and reachability-based collectors remain comparable

Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

Since the proof of the four color theorem in 1976, computer-generated proofs have become a reality in mathematics and computer science. During the last decade, we have seen formal proofs using verified proof assistants being used to verify the validity of such proofs. In this paper, we describe a formalized theory of size-optimal sorting networks. From this formalization we extract a certified checker that successfully verifies computer-generated proofs of optimality on up to 8 inputs. The checker relies on an untrusted oracle to shortcut the search for witnesses on more than 1.6 million NP-complete subproblems.Comment: IMADA-preprint-c

Reformulation of the Stochastic Potential Switching Algorithm and a Generalized Fourtuin-Kasteleyn Representation

A new formulation of the stochastic potential switching algorithm is presented. This reformulation naturally leads us to a generalized Fourtuin-Kasteleyn representation of the partition function Z. A formula for internal energy E and that of heat capacity C are derived from derivatives of the partition function. We also derive a formula for the exchange probability in the replica exchange Monte Carlo method. By combining the formulae with the Stochastic Cutoff method, we can greatly reduce the computational time to perform internal energy and heat capacity measurements and the replica exchange Monte Carlo method in long-range interacting systems. Numerical simulations in three dimensional magnetic dipolar systems show the validity and efficiency of the method.Comment: 11 pages, 6 figures, to appear in PR

Ab-initio angle and energy resolved photoelectron spectroscopy with time-dependent density-functional theory

We present a time-dependent density-functional method able to describe the photoelectron spectrum of atoms and molecules when excited by laser pulses. This computationally feasible scheme is based on a geometrical partitioning that efficiently gives access to photoelectron spectroscopy in time-dependent density-functional calculations. By using a geometrical approach, we provide a simple description of momentum-resolved photoe- mission including multi-photon effects. The approach is validated by comparison with results in the literature and exact calculations. Furthermore, we present numerical photoelectron angular distributions for randomly oriented nitrogen molecules in a short near infrared intense laser pulse and helium-(I) angular spectra for aligned carbon monoxide and benzene.Comment: Accepted for publication on Phys. Rev.

Polaron Transport in the Paramagnetic Phase of Electron-Doped Manganites

The electrical resistivity, Hall coefficient, and thermopower as functions of temperature are reported for lightly electron-doped Ca(1-x)La(x)MnO(3)(0 <= x <= 0.10). Unlike the case of hole-doped ferromagnetic manganites, the magnitude and temperature dependence of the Hall mobility for these compounds is found to be inconsistent with small-polaron theory. The transport data are better described by the Feynman polaron theory and imply intermediate coupling (alpha \~ 5.4) with a band effective mass, m*~4.3 m_0, and a polaron mass, m_p ~ 10 m_0.Comment: 7 pp., 7 Fig.s, to be published, PR

Quantum coherence and carriers mobility in organic semiconductors

We present a model of charge transport in organic molecular semiconductors based on the effects of lattice fluctuations on the quantum coherence of the electronic state of the charge carrier. Thermal intermolecular phonons and librations tend to localize pure coherent states and to assist the motion of less coherent ones. Decoherence is thus the primary mechanism by which conduction occurs. It is driven by the coupling of the carrier to the molecular lattice through polarization and transfer integral fluctuations as described by the hamiltonian of Gosar and Choi. Localization effects in the quantum coherent regime are modeled via the Anderson hamiltonian with correlated diagonal and non-diagonal disorder leading to the determination of the carrier localization length. This length defines the coherent extension of the ground state and determines, in turn, the diffusion range in the incoherent regime and thus the mobility. The transfer integral disorder of Troisi and Orlandi can also be incorporated. This model, based on the idea of decoherence, allowed us to predict the value and temperature dependence of the carrier mobility in prototypical organic semiconductors that are in qualitative accord with experiments

Modulation of CMB polarization with a warm rapidly-rotating half-wave plate on the Atacama B-Mode Search (ABS) instrument

We evaluate the modulation of Cosmic Microwave Background (CMB) polarization using a rapidly-rotating, half-wave plate (HWP) on the Atacama B-Mode Search (ABS). After demodulating the time-ordered-data (TOD), we find a significant reduction of atmospheric fluctuations. The demodulated TOD is stable on time scales of 500-1000 seconds, corresponding to frequencies of 1-2 mHz. This facilitates recovery of cosmological information at large angular scales, which are typically available only from balloon-borne or satellite experiments. This technique also achieves a sensitive measurement of celestial polarization without differencing the TOD of paired detectors sensitive to two orthogonal linear polarizations. This is the first demonstration of the ability to remove atmospheric contamination at these levels from a ground-based platform using a rapidly-rotating HWP.Comment: 8 pages, 8 figures, Published in RSI under the title "Modulation of cosmic microwave background polarization with a warm rapidly rotating half-wave plate on the Atacama B-Mode Search instrument.

Characterizing Atacama B-mode Search Detectors with a Half-Wave Plate

The Atacama B-Mode Search (ABS) instrument is a cryogenic ($\sim$10 K) crossed-Dragone telescope located at an elevation of 5190 m in the Atacama Desert in Chile that observed for three seasons between February 2012 and October 2014. ABS observed the Cosmic Microwave Background (CMB) at large angular scales ($40<\ell<500$) to limit the B-mode polarization spectrum around the primordial B-mode peak from inflationary gravity waves at $\ell \sim100$. The ABS focal plane consists of 480 transition-edge sensor (TES) bolometers. They are coupled to orthogonal polarizations from a planar ortho-mode transducer (OMT) and observe at 145 GHz. ABS employs an ambient-temperature, rapidly rotating half-wave plate (HWP) to mitigate systematic effects and move the signal band away from atmospheric $1/f$ noise, allowing for the recovery of large angular scales. We discuss how the signal at the second harmonic of the HWP rotation frequency can be used for data selection and for monitoring the detector responsivities.Comment: 7 pages, 3 figures, conference proceedings submitted to the Journal of Low Temperature Detector

Heterodyne non-demolition measurements on cold atomic samples: towards the preparation of non-classical states for atom interferometry

We report on a novel experiment to generate non-classical atomic states via quantum non-demolition (QND) measurements on cold atomic samples prepared in a high finesse ring cavity. The heterodyne technique developed for the QND detection exhibits an optical shot-noise limited behavior for local oscillator optical power of a few hundred \muW, and a detection bandwidth of several GHz. This detection tool is used in single pass to follow non destructively the internal state evolution of an atomic sample when subjected to Rabi oscillations or a spin-echo interferometric sequence.Comment: 23 page

Systematic effects from an ambient-temperature, continuously-rotating half-wave plate

We present an evaluation of systematic effects associated with a continuously-rotating, ambient-temperature half-wave plate (HWP) based on two seasons of data from the Atacama B-Mode Search (ABS) experiment located in the Atacama Desert of Chile. The ABS experiment is a microwave telescope sensitive at 145 GHz. Here we present our in-field evaluation of celestial (CMB plus galactic foreground) temperature-to-polarization leakage. We decompose the leakage into scalar, dipole, and quadrupole leakage terms. We report a scalar leakage of ~0.01%, consistent with model expectations and an order of magnitude smaller than other CMB experiments have reported. No significant dipole or quadrupole terms are detected; we constrain each to be <0.07% (95% confidence), limited by statistical uncertainty in our measurement. Dipole and quadrupole leakage at this level lead to systematic error on r<0.01 before any mitigation due to scan cross-linking or boresight rotation. The measured scalar leakage and the theoretical level of dipole and quadrupole leakage produce systematic error of r<0.001 for the ABS survey and focal-plane layout before any data correction such as so-called deprojection. This demonstrates that ABS achieves significant beam systematic error mitigation from its HWP and shows the promise of continuously-rotating HWPs for future experiments.Comment: 11 pages, 8 figures; revision to submitted version, Fig. 5 and Eqs. (14) and (15) corrected; added Fig. 9 and description, text revisions for clarification, Fig. 5 revised for better calibration, corrected labeling errors and plotting bugs in Fig. 3, 4, and Eq. (14) and (15