Bivariant algebraic K-Theory

We show how methods from K-theory of operator algebras can be applied in a completely algebraic setting to define a bivariant, matrix-stable, homotopy-invariant, excisive K-theory of algebras over a fixed unital ground ring H, kk_*(A,B), which is universal in the sense that it maps uniquely to any other such theory. It turns out kk is related to C. Weibel's homotopy algebraic K-theory, KH. We prove that, if H is commutative and A is central as an H-bimodule, then kk_*(H,A)=KH_*(A). We show further that some calculations from operator algebra KK-theory, such as the exact sequence of Pimsner-Voiculescu, carry over to algebraic kk.Comment: 40 pages, no figures. Comparison with Kassel's K-group added (see 6.7). Final version to appear in Crelle's Journal, including galley proof correction

Two Suns in The Sky: Stellar Multiplicity in Exoplanet Systems

We present results of a reconnaissance for stellar companions to all 131 radial-velocity-detected candidate extrasolar planetary systems known as of July 1, 2005. CPM companions were investigated using the multi-epoch DSS images, and confirmed by matching the trigonometric parallax distances of the primaries to companion distances estimated photometrically. We also attempt to confirm or refute companions listed in the Washington Double Star Catalog, the Catalogs of Nearby Stars, in Hipparcos results, and in Duquennoy & Mayor (1991). Our findings indicate that a lower limit of 30 (23%) of the 131 exoplanet systems have stellar companions. We report new stellar companions to HD 38529 and HD 188015, and a new candidate companion to HD 169830. We confirm many previously reported stellar companions, including six stars in five systems that are recognized for the first time as companions to exoplanet hosts. We have found evidence that 20 entries in the Washington Double Star Catalog are not gravitationally bound companions. At least three, and possibly five, of the exoplanet systems reside in triple star systems. Three exoplanet systems have potentially close-in stellar companions ~ 20 AU away from the primary. Finally, two of the exoplanet systems contain white dwarf companions. This comprehensive assessment of exoplanet systems indicates that solar systems are found in a variety of stellar multiplicity environments - singles, binaries, and triples; and that planets survive the post-main-sequence evolution of companion stars.Comment: 52 pages, 7 figures, Accepted for publication in Ap

Metastable Quantum Phase Transitions in a Periodic One-dimensional Bose Gas: Mean-Field and Bogoliubov Analyses

We generalize the concept of quantum phase transitions, which is conventionally defined for a ground state and usually applied in the thermodynamic limit, to one for \emph{metastable states} in \emph{finite size systems}. In particular, we treat the one-dimensional Bose gas on a ring in the presence of both interactions and rotation. To support our study, we bring to bear mean-field theory, i.e., the nonlinear Schr\"odinger equation, and linear perturbation or Bogoliubov-de Gennes theory. Both methods give a consistent result in the weakly interacting regime: there exist \emph{two topologically distinct quantum phases}. The first is the typical picture of superfluidity in a Bose-Einstein condensate on a ring: average angular momentum is quantized and the superflow is uniform. The second is new: one or more dark solitons appear as stationary states, breaking the symmetry, the average angular momentum becomes a continuous quantity, and the phase of the condensate can be continuously wound and unwound

On Turing dynamical systems and the Atiyah problem

Main theorems of the article concern the problem of M. Atiyah on possible values of l^2-Betti numbers. It is shown that all non-negative real numbers are l^2-Betti numbers, and that "many" (for example all non-negative algebraic) real numbers are l^2-Betti numbers of simply connected manifolds with respect to a free cocompact action. Also an explicit example is constructed which leads to a simply connected manifold with a transcendental l^2-Betti number with respect to an action of the threefold direct product of the lamplighter group Z/2 wr Z. The main new idea is embedding Turing machines into integral group rings. The main tool developed generalizes known techniques of spectral computations for certain random walk operators to arbitrary operators in groupoid rings of discrete measured groupoids.Comment: 35 pages; essentially identical to the published versio

Stable States of Biological Organisms

A novel model of biological organisms is advanced, treating an organism as a self-consistent system subject to a pathogen flux. The principal novelty of the model is that it describes not some parts, but a biological organism as a whole. The organism is modeled by a five-dimensional dynamical system. The organism homeostasis is described by the evolution equations for five interacting components: healthy cells, ill cells, innate immune cells, specific immune cells, and pathogens. The stability analysis demonstrates that, in a wide domain of the parameter space, the system exhibits robust structural stability. There always exist four stable stationary solutions characterizing four qualitatively differing states of the organism: alive state, boundary state, critical state, and dead state.Comment: Latex file, 12 pages, 4 figure

Semiclassical theory for small displacements

Characteristic functions contain complete information about all the moments of a classical distribution and the same holds for the Fourier transform of the Wigner function: a quantum characteristic function, or the chord function. However, knowledge of a finite number of moments does not allow for accurate determination of the chord function. For pure states this provides the overlap of the state with all its possible rigid translations (or displacements). We here present a semiclassical approximation of the chord function for large Bohr-quantized states, which is accurate right up to a caustic, beyond which the chord function becomes evanescent. It is verified to pick out blind spots, which are displacements for zero overlaps. These occur even for translations within a Planck area of the origin. We derive a simple approximation for the closest blind spots, depending on the Schroedinger covariance matrix, which is verified for Bohr-quantized states.Comment: 16 pages, 4 figures

Attention Allocation Aid for Visual Search

This paper outlines the development and testing of a novel, feedback-enabled attention allocation aid (AAAD), which uses real-time physiological data to improve human performance in a realistic sequential visual search task. Indeed, by optimizing over search duration, the aid improves efficiency, while preserving decision accuracy, as the operator identifies and classifies targets within simulated aerial imagery. Specifically, using experimental eye-tracking data and measurements about target detectability across the human visual field, we develop functional models of detection accuracy as a function of search time, number of eye movements, scan path, and image clutter. These models are then used by the AAAD in conjunction with real time eye position data to make probabilistic estimations of attained search accuracy and to recommend that the observer either move on to the next image or continue exploring the present image. An experimental evaluation in a scenario motivated from human supervisory control in surveillance missions confirms the benefits of the AAAD.Comment: To be presented at the ACM CHI conference in Denver, Colorado in May 201