Shock-induced CO2 loss from CaCO3: Implications for early planetary atmospheres

Recovered samples from shock recovery experiments on single crystal calcite were subjected to thermogravimetric analysis to determine the amount of post-shock CO2, the decarbonization interval and the activation energy, for the removal of remaining CO2 in shock-loaded calcite. Comparison of post-shock CO2 with that initially present determines shock-induced CO2 loss as a function of shock pressure. Incipient to complete CO2 loss occurs over a pressure range of approximately 10 to approximately 70 GPa. Optical and scanning electron microscopy reveal structural changes, which are related to the shock-loading. The occurrence of dark, diffuse areas, which can be resolved as highly vesicular areas as observed with a scanning electron microscope are interpreted as representing quenched partial melts, into which shock-released CO2 was injected. The experimental results are used to constrain models of shock-produced, primary CO2 atmospheres on the accreting terrestrial planets

Infrared heterodyne radiometer for airborne atmospheric transmittance measurements

An infrared heterodyne radiometer (IHR) was used to measure atmospheric transmittance at selected hydrogen fluoride (2.7 micrometer) and deuterium fluoride (3.8 micrometer) laser transitions. The IHR was installed aboard a KC-135 aircraft for an airborne atmospheric measurements program that used the sun as a backlighting source for the transmission measurements. The critical components are: a wideband indium antimonide (1nSb) photomixer, a CW HF/DF laser L0, a radiometric processor, and a 1900 K blackbody reference source. The measured heterodyne receiver sensitivity (NEP) is 1.3 x 10 to the -19th power W/Hz, which yields a calculated IHR temperature resolution accuracy of delta I sub S/-3 sub S = 0.005 for a source temperature of 1000 K and a total transmittance of 0.5. Measured atmospheric transmittance at several wavelengths and aircraft altitudes from 9.14 km (30,000 ft) to 13.72 km (45,000 ft) were obtained during the measurements program and have been compared with values predicted by the AFGL Atmospheric Line Parameter Compilation

Emissivity measurements of reflective surfaces at near-millimeter wavelengths

We have developed an instrument for directly measuring the emissivity of reflective surfaces at near-millimeter wavelengths. The thermal emission of a test sample is compared with that of a reference surface, allowing the emissivity of the sample to be determined without heating. The emissivity of the reference surface is determined by one’s heating the reference surface and measuring the increase in emission. The instrument has an absolute accuracy of Δe = 5 x 10^-4 and can reproducibly measure a difference in emissivity as small as Δe = 10^-4 between flat reflective samples. We have used the instrument to measure the emissivity of metal films evaporated on glass and carbon fiber-reinforced plastic composite surfaces. We measure an emissivity of (2.15 ± 0.4) x 10^-3 for gold evaporated on glass and (2.65 ± 0.5) x 10^-3 for aluminum evaporated on carbon fiber-reinforced plastic composite

Planck pre-launch status: The HFI instrument, from specification to actual performance

Context. The High Frequency Instrument (HFI) is one of the two focal instruments of the Planck mission. It will observe the whole sky in six bands in the 100 GHz−1 THz range. Aims. The HFI instrument is designed to measure the cosmic microwave background (CMB) with a sensitivity limited only by fundamental sources: the photon noise of the CMB itself and the residuals left after the removal of foregrounds. The two high frequency bands will provide full maps of the submillimetre sky, featuring mainly extended and point source foregrounds. Systematic effects must be kept at negligible levels or accurately monitored so that the signal can be corrected. This paper describes the HFI design and its characteristics deduced from ground tests and calibration. Methods. The HFI instrumental concept and architecture are feasible only by pushing new techniques to their extreme capabilities, mainly: (i) bolometers working at 100 mK and absorbing the radiation in grids; (ii) a dilution cooler providing 100 mK in microgravity conditions; (iii) a new type of AC biased readout electronics and (iv) optical channels using devices inspired from radio and infrared techniques. Results. The Planck-HFI instrument performance exceeds requirements for sensitivity and control of systematic effects. During ground-based calibration and tests, it was measured at instrument and system levels to be close to or better than the goal specification

Parameter Estimation from Improved Measurements of the Cosmic Microwave Background from QUaD

We evaluate the contribution of cosmic microwave background (CMB) polarization spectra to cosmological parameter constraints. We produce cosmological parameters using high-quality CMB polarization data from the ground-based QUaD experiment and demonstrate for the majority of parameters that there is significant improvement on the constraints obtained from satellite CMB polarization data. We split a multi-experiment CMB data set into temperature and polarization subsets and show that the best-fit confidence regions for the ΛCDM six-parameter cosmological model are consistent with each other, and that polarization data reduces the confidence regions on all parameters. We provide the best limits on parameters from QUaD EE/BB polarization data and we find best-fit parameters from the multi-experiment CMB data set using the optimal pivot scale of k_p = 0.013 Mpc^(–1) to be {h^2Ω_c, h^2Ω_b, H_0, A_s, n_s, τ} = {0.113, 0.0224, 70.6, 2.29 × 10^(–9), 0.960, 0.086}

Algorithmic Verification of Asynchronous Programs

Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming operations to complete, the programmer makes a non-blocking call to the operation and posts a callback task to a task buffer that is executed later when the time-consuming operation completes. A co-operative scheduler mediates the interaction by picking and executing callback tasks from the task buffer to completion (and these callbacks can post further callbacks to be executed later). Writing correct asynchronous programs is hard because the use of callbacks, while efficient, obscures program control flow. We provide a formal model underlying asynchronous programs and study verification problems for this model. We show that the safety verification problem for finite-data asynchronous programs is expspace-complete. We show that liveness verification for finite-data asynchronous programs is decidable and polynomial-time equivalent to Petri Net reachability. Decidability is not obvious, since even if the data is finite-state, asynchronous programs constitute infinite-state transition systems: both the program stack and the task buffer of pending asynchronous calls can be potentially unbounded. Our main technical construction is a polynomial-time semantics-preserving reduction from asynchronous programs to Petri Nets and conversely. The reduction allows the use of algorithmic techniques on Petri Nets to the verification of asynchronous programs. We also study several extensions to the basic models of asynchronous programs that are inspired by additional capabilities provided by implementations of asynchronous libraries, and classify the decidability and undecidability of verification questions on these extensions.Comment: 46 pages, 9 figure

Impact induced dehydration of serpentine and the evolution of planetary atmospheres

Shock recovery experiments in the 25 to 45 GPa range on antigorite serpentine determine the amount of shock-induced loss of structural water as a function of shock pressure. Infrared absorption spectra of shock recovered samples demonstrate systematic changes in the amount of structural water and molecular, surface adsorbed water. These yield qualitative estimates of shock-induced water loss and demonstrate that a portion of the shock released structural water is readsorbed on interfacial grain surfaces. Determination of the post-shock water content of the shocked samples relates shock-induced water loss and shock pressure. Based on the present results and theoretical predictions, we conclude that shock pressures of from 20 to ∼60 GPa induce incipient to complete water loss, respectively. This result agrees closely with theoretical estimates for total dehydration. The dehydration interval and the activation energies for dehydration in shocked samples decrease systematically with increasing shock pressure as experienced by the sample. We believe the present experiments are applicable to describing dehydration processes of serpentine-like minerals in the accretional environment of the terrestrial planets. We conclude that complete loss of structural water in serpentine could have occurred from accretional impacts of ∼3 km/sec when earth and Venus have grown to about 50% of their final size. Accreting planetesimals, impacting Mars, never reached velocities sufficient for complete dehydration of serpentine. Our results support a model in which an impact generated atmosphere/hydrosphere forms while the earth is accreting

Quantum-state input-output relations for absorbing cavities

The quantized electromagnetic field inside and outside an absorbing high-$Q$ cavity is studied, with special emphasis on the absorption losses in the coupling mirror and their influence on the outgoing field. Generalized operator input-output relations are derived, which are used to calculate the Wigner function of the outgoing field. To illustrate the theory, the preparation of the outgoing field in a Schr\"{o}dinger cat-like state is discussed.Comment: 12 pages, 5 eps figure