Geologic and mineral and water resources investigations in western Colorado, using Skylab EREP data

The author has identified the following significant results. Skylab photographs are superior to ERTS images for photogeologic interpretation, primarily because of improved resolution. Lithologic contacts can be detected consistently better on Skylab S190A photos than on ERTS images. Color photos are best; red and green band photos are somewhat better than color-infrared photos; infrared band photos are worst. All major geologic structures can be recognized on Skylab imagery. Large folds, even those with very gentle flexures, can be mapped accurately and with confidence. Bedding attitudes of only a few degrees are recognized; vertical exaggeration factor is about 2.5X. Mineral deposits in central Colorado may be indicated on Skylab photos by lineaments and color anomalies, but positive identification of these features is not possible. S190A stereo color photography is adequate for defining drainage divides that in turn define the boundaries and distribution of ground water recharge and discharge areas within a basin

Testing for Budget Constraint Effects in a National Advisory Referendum Survey on the Kyoto Protocol

In contrast to providing standard reminders about remembering household budgets, does asking survey respondents about their discretionary income and its use affect their voting responses in a national advisory referendum survey? We explore this question using U.S. household data from a unique set of multi-mode random samples (telephone and Internet surveys), and an advisory referendum concerning the Kyoto Protocol. The contingent valuation method is applied to estimate household willingness to pay (WTP) for a split-sample treatment: respondents who only received a standard reminder of household budgets (control group) versus respondents who received two mental accounting-type questions on discretionary income and its uses (treatment group). Results indicate that the treatment significantly influences voting responses and lowers estimated household WTP.budget constraint, contingent valuation, Kyoto Protocol, mental accounts, referendum, Environmental Economics and Policy,

Exploring the Beta Model Using Proportional Budget Information in a Contingent Valuation Study

Using a set of random telephone and Internet (web-based) survey samples for a national advisory referendum, we implement Beta models to handle proportional budget information, and allow for consistency in modeling assumptions and the calculation of estimated willingness to pay (WTP). Results indicate significant budget constraint effects and demonstrate the potential for Beta models in handling mental-accounting type information.Beta model

Resilient Parameter-Invariant Control With Application to Vehicle Cruise Control

This work addresses the general problem of resilient control of unknown stochastic linear time-invariant (LTI) systems in the presence of sensor attacks. Motivated by a vehicle cruise control application, this work considers a first order system with multiple measurements, of which a bounded subset may be corrupted. A frequency-domain-designed resilient parameter-invariant controller is introduced that simultaneously minimizes the effect of corrupted sensors, while maintaining a desired closed-loop performance, invariant to unknown model parameters. Simulated results illustrate that the resilient parameter-invariant controller is capable of stabilizing unknown state disturbances and can perform state trajectory tracking

BlinkML: Efficient Maximum Likelihood Estimation with Probabilistic Guarantees

The rising volume of datasets has made training machine learning (ML) models a major computational cost in the enterprise. Given the iterative nature of model and parameter tuning, many analysts use a small sample of their entire data during their initial stage of analysis to make quick decisions (e.g., what features or hyperparameters to use) and use the entire dataset only in later stages (i.e., when they have converged to a specific model). This sampling, however, is performed in an ad-hoc fashion. Most practitioners cannot precisely capture the effect of sampling on the quality of their model, and eventually on their decision-making process during the tuning phase. Moreover, without systematic support for sampling operators, many optimizations and reuse opportunities are lost. In this paper, we introduce BlinkML, a system for fast, quality-guaranteed ML training. BlinkML allows users to make error-computation tradeoffs: instead of training a model on their full data (i.e., full model), BlinkML can quickly train an approximate model with quality guarantees using a sample. The quality guarantees ensure that, with high probability, the approximate model makes the same predictions as the full model. BlinkML currently supports any ML model that relies on maximum likelihood estimation (MLE), which includes Generalized Linear Models (e.g., linear regression, logistic regression, max entropy classifier, Poisson regression) as well as PPCA (Probabilistic Principal Component Analysis). Our experiments show that BlinkML can speed up the training of large-scale ML tasks by 6.26x-629x while guaranteeing the same predictions, with 95% probability, as the full model.Comment: 22 pages, SIGMOD 201

Observation of coherent many-body Rabi oscillations

A two-level quantum system coherently driven by a resonant electromagnetic field oscillates sinusoidally between the two levels at frequency $\Omega$ which is proportional to the field amplitude [1]. This phenomenon, known as the Rabi oscillation, has been at the heart of atomic, molecular and optical physics since the seminal work of its namesake and coauthors [2]. Notably, Rabi oscillations in isolated single atoms or dilute gases form the basis for metrological applications such as atomic clocks and precision measurements of physical constants [3]. Both inhomogeneous distribution of coupling strength to the field and interactions between individual atoms reduce the visibility of the oscillation and may even suppress it completely. A remarkable transformation takes place in the limit where only a single excitation can be present in the sample due to either initial conditions or atomic interactions: there arises a collective, many-body Rabi oscillation at a frequency $N^0.5\Omega$ involving all N >> 1 atoms in the sample [4]. This is true even for inhomogeneous atom-field coupling distributions, where single-atom Rabi oscillations may be invisible. When one of the two levels is a strongly interacting Rydberg level, many-body Rabi oscillations emerge as a consequence of the Rydberg excitation blockade. Lukin and coauthors outlined an approach to quantum information processing based on this effect [5]. Here we report initial observations of coherent many-body Rabi oscillations between the ground level and a Rydberg level using several hundred cold rubidium atoms. The strongly pronounced oscillations indicate a nearly complete excitation blockade of the entire mesoscopic ensemble by a single excited atom. The results pave the way towards quantum computation and simulation using ensembles of atoms

Digital Quantum Simulation with Rydberg Atoms

We discuss in detail the implementation of an open-system quantum simulator with Rydberg states of neutral atoms held in an optical lattice. Our scheme allows one to realize both coherent as well as dissipative dynamics of complex spin models involving many-body interactions and constraints. The central building block of the simulation scheme is constituted by a mesoscopic Rydberg gate that permits the entanglement of several atoms in an efficient, robust and quick protocol. In addition, optical pumping on ancillary atoms provides the dissipative ingredient for engineering the coupling between the system and a tailored environment. As an illustration, we discuss how the simulator enables the simulation of coherent evolution of quantum spin models such as the two-dimensional Heisenberg model and Kitaev's toric code, which involves four-body spin interactions. We moreover show that in principle also the simulation of lattice fermions can be achieved. As an example for controlled dissipative dynamics, we discuss ground state cooling of frustration-free spin Hamiltonians.Comment: submitted to special issue "Quantum Information with Neutral Particles" of "Quantum Information Processing

Quantum Simulation of Antiferromagnetic Spin Chains in an Optical Lattice

Understanding exotic forms of magnetism in quantum mechanical systems is a central goal of modern condensed matter physics, with implications from high temperature superconductors to spintronic devices. Simulating magnetic materials in the vicinity of a quantum phase transition is computationally intractable on classical computers due to the extreme complexity arising from quantum entanglement between the constituent magnetic spins. Here we employ a degenerate Bose gas confined in an optical lattice to simulate a chain of interacting quantum Ising spins as they undergo a phase transition. Strong spin interactions are achieved through a site-occupation to pseudo-spin mapping. As we vary an applied field, quantum fluctuations drive a phase transition from a paramagnetic phase into an antiferromagnetic phase. In the paramagnetic phase the interaction between the spins is overwhelmed by the applied field which aligns the spins. In the antiferromagnetic phase the interaction dominates and produces staggered magnetic ordering. Magnetic domain formation is observed through both in-situ site-resolved imaging and noise correlation measurements. By demonstrating a route to quantum magnetism in an optical lattice, this work should facilitate further investigations of magnetic models using ultracold atoms, improving our understanding of real magnetic materials.Comment: 12 pages, 9 figure