The Keck science community is entering an era of unprecedented change. Powerful new instrument like ZTF, JWST, LSST, and the ELTs will catalyze this change, and we must be ready to take full advantage to maintain our position of scientific leadership
. The best way to do this is to continue the UC and Caltech tradition of technical excellence in instrumentation. In this whitepaper we describe a new instrument called KRAKENS to help meet these challenges. KRAKENS uses a unique detector technology (MKIDs) to enable groundbreaking science across a wide range of astrophysical research topics. This document will lay out the detailed expected science return of KRAKENS.
Understanding the surface and atmospheric conditions of Earth-size, rocky planets in the habitable zones (HZs) of low-mass stars is currently one of the greatest astronomical endeavors. Knowledge of the planetary effective surface temperature alone i
s insufficient to accurately interpret biosignature gases when they are observed in the coming decades. The UV stellar spectrum drives and regulates the upper atmospheric heating and chemistry on Earth-like planets, is critical to the definition and interpretation of biosignature gases, and may even produce false-positives in our search for biologic activity. This white paper briefly describes the scientific motivation for panchromatic observations of exoplanetary systems as a whole (star and planet), argues that a future NASA UV/Vis/near-IR space observatory is well-suited to carry out this work, and describes technology development goals that can be achieved in the next decade to support the development of a UV/Vis/near-IR flagship mission in the 2020s.
In this paper we study the so-called spin-boson system, namely {a two-level system} in interaction with a distinguished mode of a quantized bosonic field. We give a brief description of the controlled Rabi and Jaynes--Cummings models and we discuss t
heir appearance in the mathematics and physics literature. We then study the controllability of the Rabi model when the control is an external field acting on the bosonic part. Applying geometric control techniques to the Galerkin approximation and using perturbation theory to guarantee non-resonance of the spectrum of the drift operator, we prove approximate controllability of the system, for almost every value of the interaction parameter.
The availability of a large number of assembled genomes opens the way to study the evolution of syntenic character within a phylogenetic context. The DeCo algorithm, recently introduced by B{e}rard et al. allows the computation of parsimonious evolut
ionary scenarios for gene adjacencies, from pairs of reconciled gene trees. Following the approach pioneered by Sturmfels and Pachter, we describe how to modify the DeCo dynamic programming algorithm to identify classes of cost schemes that generates similar parsimonious evolutionary scenarios for gene adjacencies, as well as the robustness to changes to the cost scheme of evolutionary events of the presence or absence of specific ancestral gene adjacencies. We apply our method to six thousands mammalian gene families, and show that computing the robustness to changes to cost schemes provides new and interesting insights on the evolution of gene adjacencies and the DeCo model.
Performing k-space variable density sampling is a popular way of reducing scanning time in Magnetic Resonance Imaging (MRI). Unfortunately, given a sampling trajectory, it is not clear how to traverse it using gradient waveforms. In this paper, we ac
tually show that existing methods [1, 2] can yield large traversal time if the trajectory contains high curvature areas. Therefore, we consider here a new method for gradient waveform design which is based on the projection of unrealistic initial trajectory onto the set of hardware constraints. Next, we show on realistic simulations that this algorithm allows implementing variable density trajectories resulting from the piecewise linear solution of the Travelling Salesman Problem in a reasonable time. Finally, we demonstrate the application of this approach to 2D MRI reconstruction and 3D angiography in the mouse brain.
This work is motivated by the monitoring of conductive clogging deposits in steam generator at the level of support plates. One would like to use monoaxial coils measurements to obtain estimates on the clogging volume. We propose a 3D shape optimizat
ion technique based on simplified parametrization of the geometry adapted to the measurement nature and resolution. The direct problem is modeled by the eddy current approximation of time-harmonic Maxwells equations in the low frequency regime. A potential formulation is adopted in order to easily handle the complex topology of the industrial problem setting. We first characterize the shape derivatives of the deposit impedance signal using an adjoint field technique. For the inversion procedure, the direct and adjoint problems have to be solved for each coil vertical position which is excessively time and memory consuming. To overcome this difficulty, we propose and discuss a steepest descent method based on a fixed and invariant triangulation. Numerical experiments are presented to illustrate the convergence and the efficiency of the method.
We consider the proof complexity of the minimal complete fragment, KS, of standard deep inference systems for propositional logic. To examine the size of proofs we employ atomic flows, diagrams that trace structural changes through a proof but ignore
logical information. As results we obtain a polynomial simulation
We present new {it Hubble Space Telescope} images of high-velocity H-$alpha$ and Lyman-$alpha$ emission in the outer debris of SN~1987A. The H-$alpha$ images are dominated by emission from hydrogen atoms crossing the reverse shock. For the first time
we observe emission from the reverse shock surface well above and below the equatorial ring, suggesting a bipolar or conical structure perpendicular to the ring plane. Using the H$alpha$ imaging, we measure the mass flux of hydrogen atoms crossing the reverse shock front, in the velocity intervals ($-$7,500~$<$~$V_{obs}$~$<$~$-$2,800 km s$^{-1}$) and (1,000~$<$~$V_{obs}$~$<$~7,500 km s$^{-1}$), $dot{M_{H}}$ = 1.2~$times$~10$^{-3}$ M$_{odot}$ yr$^{-1}$. We also present the first Lyman-$alpha$ imaging of the whole remnant and new $Chandra$ X-ray observations. Comparing the spatial distribution of the Lyman-$alpha$ and X-ray emission, we observe that the majority of the high-velocity Lyman-$alpha$ emission originates interior to the equatorial ring. The observed Lyman-$alpha$/H-$alpha$ photon ratio, $langle$$R(Lalpha / Halpha)$$rangle$ $approx$~17, is significantly higher than the theoretically predicted ratio of $approx$ 5 for neutral atoms crossing the reverse shock front. We attribute this excess to Lyman-$alpha$ emission produced by X-ray heating of the outer debris. The spatial orientation of the Lyman-$alpha$ and X-ray emission suggests that X-ray heating of the outer debris is the dominant Lyman-$alpha$ production mechanism in SN 1987A at this phase in its evolution.
Mechanically induced unfolding of passive crosslinkers is a fundamental biological phenomenon encountered across the scales from individual macro-molecules to cytoskeletal actin networks. In this paper we study a conceptual model of athermal load-ind
uced unfolding and use a minimalistic setting allowing one to emphasize the role of long-range interactions while maintaining full analytical transparency. Our model can be viewed as a description of a parallel bundle of N bistable units confined between two shared rigid backbones that are loaded through a series spring. We show that the ground states in this model correspond to synchronized, single phase configurations where all individual units are either folded or unfolded. We then study the fine structure of the wiggly energy landscape along the reaction coordinate linking the two coherent states and describing the optimal mechanism of cooperative unfolding. Quite remarkably, our study shows the fundamental difference in the size and structure of the folding-unfolding energy barriers in the hard (fixed displacements) and soft (fixed forces) loading devices which persists in the continuum limit. We argue that both, the synchronization and the non-equivalence of the mechanical responses in hard and soft devices, have their origin in the dominance of long-range interactions. We then apply our minimal model to skeletal muscles where the power-stroke in acto-myosin crossbridges can be interpreted as passive folding. A quantitative analysis of the muscle model shows that the relative rigidity of myosin backbone provides the long-range interaction mechanism allowing the system to effectively synchronize the power-stroke in individual crossbridges even in the presence of thermal fluctuations. In view of the prototypical nature of the proposed model, our general conclusions pertain to a variety of other biological systems where elastic interactions are mediated by effective backbones.
This work addresses the inverse problem of electrocardiography from a new perspective, by combining electrical and mechanical measurements. Our strategy relies on the defini-tion of a model of the electromechanical contraction which is registered on
ECG data but also on measured mechanical displacements of the heart tissue typically extracted from medical images. In this respect, we establish in this work the convergence of a sequential estimator which combines for such coupled problems various state of the art sequential data assimilation methods in a unified consistent and efficient framework. Indeed we ag-gregate a Luenberger observer for the mechanical state and a Reduced Order Unscented Kalman Filter applied on the parameters to be identified and a POD projection of the electrical state. Then using synthetic data we show the benefits of our approach for the estimation of the electrical state of the ventricles along the heart beat compared with more classical strategies which only consider an electrophysiological model with ECG measurements. Our numerical results actually show that the mechanical measurements improve the identifiability of the electrical problem allowing to reconstruct the electrical state of the coupled system more precisely. Therefore, this work is intended to be a first proof of concept, with theoretical justifications and numerical investigations, of the ad-vantage of using available multi-modal observations for the estimation and identification of an electromechanical model of the heart.
