5,415 research outputs found
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 (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 () to limit the B-mode polarization spectrum around
the primordial B-mode peak from inflationary gravity waves at .
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 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
- …