Theoretical Setting of Inner Reversible Quantum Measurements

We show that any unitary transformation performed on the quantum state of a closed quantum system, describes an inner, reversible, generalized quantum measurement. We also show that under some specific conditions it is possible to perform a unitary transformation on the state of the closed quantum system by means of a collection of generalized measurement operators. In particular, given a complete set of orthogonal projectors, it is possible to implement a reversible quantum measurement that preserves the probabilities. In this context, we introduce the concept of "Truth-Observable", which is the physical counterpart of an inner logical truth.Comment: 11 pages. More concise, shortened version for submission to journal. References adde

TWAM: A Certifying Abstract Machine for Logic Programs

Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system strong enough to specify the semantics of a logic program in the logical framework LF. We present a soundness metatheorem which constitutes a partial correctness guarantee: well-typed programs implement the logic program specified by their type. This metatheorem justifies our design and implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi

Hard X-ray variability of the black-hole candidate GRO J0422+32 during its 1992 outburst

We have studied the hard X-ray variability of the soft X-ray transient GRO J0422+32 with BATSE in the 20-100 keV energy band. Our analysis covers 180 days following the first X-ray detection of the source on 1992 August 5, fully covering its primary and secondary X-ray outburst. We computed power density spectra (PDSs) in the 20-50, 50-100, and 20-100 keV energy bands, in the frequency interval 0.002-0.488 Hz. The PDSs of GRO J0422+32 are approximately flat up to a break frequency, and decay as a power law above, with index ~1. The canonical anticorrelation between the break frequency and the power density at the break, observed in Cyg X-1 and other BHCs in the low state, is not observed in the PDSs of GRO J0422+32. We compare our results with those of similar variability studies of Cyg X-1. The relation between the spectral slope and the amplitude of the X-ray variations of GRO J0422+32 is similar to that of Cyg X-1; however, the relation between the hard X-ray flux and the amplitude of its variation is opposite to what has been found in Cyg X-1. Phase lags between the X-ray flux variations of GRO J0422+32 at high and low photon energies, could only be derived during the first 30 days of its outburst. During this period, the variations in the 50-100 keV lag those in the 20-50 keV energy band by an approximately constant phase difference of 0.039(3) rad in the frequency interval 0.02-0.20 Hz.Comment: 33 pages, including 14 postscript figures, AASTEX. To appear in ApJ 1999, March 1, vol. 513 #

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

A Calculus of Bounded Capacities

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

A Bevalac Calibration of a Scintillating Optical Fiber Hodoscope for Possible use on the Advanced Composition Explorer

As part of instrument definition activities for the Advanced Composition Explorer (ACE) we are evaluating a hodoscope comprised of scintillating fibers for possible use in the Cosmic Ray Isotope Spectrometer (CRIS). The hodoscope would determine the trajectories of individual cosmic ray nuclei which stop in the silicon solid state telescopes in CRIS. We report a preliminary analysis of data from a Dec., 1990 Bevalac calibration of a CRIS test model which consisted of a scintillating fiber hodosccpe, utilizing 200mm, square cross section scintillating fibers, and silicon detectors for dE/dx-Erot measurements. The positional resolution obtained in our preliminary data analysis is -60μm for angles from 0-30°. The detection efficiency for iron and silicon nuclei was determined to be >99% for beam angles of ≥ 20°

Correlation Between BATSE Hard X-ray Spectral and Timing Properties of Cygnus X-1

We have analyzed approximately 1100 days of Cygnus X-1 hard X-ray data obtained with BATSE to study its rapid variability. We find for the first time correlations between the slope of the spectrum and the hard X-ray intensity, and between the spectral slope and the amplitude of the rapid variations of the hard X-ray flux. We compare our results with expectations from current theories of accretion onto black holes.Comment: 17 pages, 3 Postscript figures, uses aasms4.sty. Accepted for publication in Astrophysical Journal Letter

Hard X-ray lags in GRO J1719-24

We have used the Fourier cross spectra of GRO J1719-24, as obtained with BATSE, to estimate the phase lags between the X-ray flux variations in the 20--50 and 50--100 keV energy bands as a function of Fourier frequency in the interval 0.002--0.488 Hz. Our analysis covers the entire ~80 day X-ray outburst of this black-hole candidate, following the first X-ray detection on 1993 September 25. The X-ray variations in the 50--100 keV band lag those in the 20--50 keV energy band by an approximately constant phase difference of 0.072 +/- 0.010 rad in the frequency interval 0.02--0.20 Hz. The peak phase lags in the interval 0.02--0.20 Hz are about twice those of Cyg X-1 and GRO J0422+32.These results are consistent with models for Comptonization regions composed of extended non-uniform clouds around the central source.Comment: 10 pages, including 4 postscript figures, AASTEX. Accepted for publication by Ap