Source author record

Chris Johnson

Chris Johnson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Liger at Keck Observatory: Design of Imager Optical Assembly and Spectrograph Re-Imaging Optics

Liger is an adaptive optics (AO) fed imager and integral field spectrograph (IFS) designed to take advantage of the Keck All-sky Precision Adaptive-optics (KAPA) upgrade for the W.M. Keck Observatory. We present the design and analysis of the imager optical assembly including the spectrograph Re-Imaging Optics (RIO) which transfers the beam path from the imager focal plane to the IFS slicer module and lenslet array. Each imager component and the first two RIO mechanisms are assembled and individually aligned on the same optical plate. Baffling suppresses background radiation and scattered light, and a pupil viewing camera allows the imager detector to focus on an image of the telescope pupil. The optical plate mounts on an adapter frame for alignment of the overall system. The imager and RIO will be characterized in a cryogenic test chamber before installation in the final science cryostat.

preprint2022arXiv

Liger at Keck Observatory: Design of the Data Reduction System and Software Interfaces

Liger is a second generation near-infrared imager and integral field spectrograph (IFS) for the W. M. Keck Observatory that will utilize the capabilities of the Keck All-sky Precision Adaptive-optics (KAPA) system. Liger operates at a wavelength range of 0.81 μm - 2.45 μm and utilizes a slicer and a lenslet array IFS with varying spatial plate scales and fields of view resulting in hundreds of modes available to the astronomer. Because of the high level of complexity in the raw data formats for the slicer and lenslet IFS modes, Liger must be designed in conjunction with a Data Reduction System (DRS) which will reduce data from the instrument in real-time and deliver science-ready data products to the observer. The DRS will reduce raw imager and IFS frames from the readout system and provide 2D and 3D data products via custom quick-look visualization tools suited to the presentation of IFS data. The DRS will provide the reduced data to the Keck Observatory Archive (KOA) and will be available to astronomers for offline post-processing of observer data. We present an initial design for the DRS and define the interfaces between observatory and instrument software systems.

preprint2022arXiv

Liger at Keck Observatory: Imager Detector and IFS Pick-off Mirror Assembly

Liger is a next-generation near-infrared imager and integral field spectrograph (IFS) planned for the W.M. Keck Observatory. Liger is designed to take advantage of improved adaptive optics (AO) from the Keck All-Sky Precision Adaptive Optics (KAPA) upgrade currently underway. Liger operates at 0.84-2.45 $μ$m with spectral resolving powers of R$\sim$4,000-10,000. Liger makes use of a sequential imager and spectrograph design allowing for simultaneous observations. There are two spectrograph modes: a lenslet with high spatial sampling of 14 and 31 mas, and a slicer with 75 and 150 mas sampling with an expanded field of view. Two pick-off mirrors near the imager detector direct light to these two IFS channels. We present the design and structural analysis for the imager detector and IFS pick-off mirror mounting assembly that will be used to align and maintain stability throughout its operation. A piezoelectric actuator will be used to step through $\rm3\,mm$ of travel during alignment of the instrument to determine the optimal focus for both the detector and pick-off mirrors which will be locked in place during normal operation. We will demonstrate that the design can withstand the required gravitational and shipping loads and can be aligned within the positioning tolerances for the optics.

preprint2016arXiv

The Infrared Imaging Spectrograph (IRIS) for TMT: Data Reduction System

IRIS (InfraRed Imaging Spectrograph) is the diffraction-limited first light instrument for the Thirty Meter Telescope (TMT) that consists of a near-infrared (0.84 to 2.4 $μ$m) imager and integral field spectrograph (IFS). The IFS makes use of a lenslet array and slicer for spatial sampling, which will be able to operate in 100's of different modes, including a combination of four plate scales from 4 milliarcseconds (mas) to 50 mas with a large range of filters and gratings. The imager will have a field of view of 34$\times$34 arcsec$^{2}$ with a plate scale of 4 mas with many selectable filters. We present the preliminary design of the data reduction system (DRS) for IRIS that need to address all of these observing modes. Reduction of IRIS data will have unique challenges since it will provide real-time reduction and analysis of the imaging and spectroscopic data during observational sequences, as well as advanced post-processing algorithms. The DRS will support three basic modes of operation of IRIS; reducing data from the imager, the lenslet IFS, and slicer IFS. The DRS will be written in Python, making use of open-source astronomical packages available. In addition to real-time data reduction, the DRS will utilize real-time visualization tools, providing astronomers with up-to-date evaluation of the target acquisition and data quality. The quicklook suite will include visualization tools for 1D, 2D, and 3D raw and reduced images. We discuss the overall requirements of the DRS and visualization tools, as well as necessary calibration data to achieve optimal data quality in order to exploit science cases across all cosmic distance scales.

preprint2016arXiv

The Infrared Imaging Spectrograph (IRIS) for TMT: motion planning with collision avoidance for the on-instrument wavefront sensors

The InfraRed Imaging Spectrograph (IRIS) will be a first-light client instrument for the Narrow Field Infrared Adaptive Optics System (NFIRAOS) on the Thirty Meter Telescope. IRIS includes three configurable tip/tilt (TT) or tip/tilt/focus (TTF) On-Instrument Wavefront Sensors (OIWFS). These sensors are positioned over natural guide star (NGS) asterisms using movable polar-coordinate pick-off arms (POA) that patrol an approximately 2-arcminute circular field-of-view (FOV). The POAs are capable of colliding with one another, so an algorithm for coordinated motion that avoids contact is required. We have adopted an approach in which arm motion is evaluated using the gradient descent of a scalar potential field that includes an attractive component towards the goal configuration (locations of target stars), and repulsive components to avoid obstacles (proximity to adjacent arms). The resulting vector field is further modified by adding a component transverse to the repulsive gradient to avoid problematic local minima in the potential. We present path planning simulations using this computationally inexpensive technique, which exhibit smooth and efficient trajectories.

preprint2014arXiv

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

Navigation satellites are a core component of navigation satellite based systems such as GPS, GLONASS and Galileo which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability (RAM) analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures (MTBF) and thus to plan maintenance strategies, optimise reliability and maximise availability. In this paper, we present formal models of both a single satellite and a navigation satellite constellation and logical specification of their reliability, availability and maintainability properties respectively. The probabilistic model checker PRISM has been used to perform automated analysis of these quantitative properties.

preprint2014arXiv

The Infrared Imaging Spectrograph (IRIS) for TMT: Instrument Overview

We present an overview of the design of IRIS, an infrared (0.84 - 2.4 micron) integral field spectrograph and imaging camera for the Thirty Meter Telescope (TMT). With extremely low wavefront error (<30 nm) and on-board wavefront sensors, IRIS will take advantage of the high angular resolution of the narrow field infrared adaptive optics system (NFIRAOS) to dissect the sky at the diffraction limit of the 30-meter aperture. With a primary spectral resolution of 4000 and spatial sampling starting at 4 milliarcseconds, the instrument will create an unparalleled ability to explore high redshift galaxies, the Galactic center, star forming regions and virtually any astrophysical object. This paper summarizes the entire design and basic capabilities. Among the design innovations is the combination of lenslet and slicer integral field units, new 4Kx4k detectors, extremely precise atmospheric dispersion correction, infrared wavefront sensors, and a very large vacuum cryogenic system.

preprint2013arXiv

Madeup: A Mobile Development Environment for Programming 3-D Models

Constructionism is a learning theory that states that we learn more when we construct tangible objects. In the process of building and presenting our work, we make concrete the abstract mental models we've formed, see where they breakdown through the feedback we receive, and revise the models accordingly. Computer programming has long been taught under a constructionist approach using sensory-rich contexts like robots, media, and Logo-style environments. Now, with affordable 3-D printers in the hands of consumers, we have a new medium in which learners may realize their computational ideas. In this demonstration, we share a mobile development environment named Madeup, which empowers its users to navigate 3-D space using a Logo-like imperative and functional language. Every stop in space becomes a vertex in a 3-D model. The generated models may be exported or uploaded to a 3-D printing service.

preprint2012arXiv

Numerical determination of partial spectrum of Hermitian matrices using a Lanczos method with selective reorthogonalization

We introduce a new algorithm for finding the eigenvalues and eigenvectors of Hermitian matrices within a specified region, based upon the LANSO algorithm of Parlett and Scott. It uses selective reorthogonalization to avoid the duplication of eigenpairs in finite-precision arithmetic, but uses a new bound to decide when such reorthogonalization is required, and only reorthogonalizes with respect to eigenpairs within the region of interest. We investigate its performance for the Hermitian Wilson--Dirac operator (γ_5D) in lattice quantum chromodynamics, and compare it with previous methods.

preprint2011arXiv

Bounds on the convergence of Ritz values from Krylov subspaces to interior eigenvalues of Hermitean matrices

We consider bounds on the convergence of Ritz values from a sequence of Krylov subspaces to interior eigenvalues of Hermitean matrices. These bounds are useful in regions of low spectral density, for example near voids in the spectrum, as is required in many applications. Our bounds are obtained by considering the usual Kaniel-Paige-Saad formalism applied to the shifted and squared matrix.

preprint2011arXiv

On Learning Discrete Graphical Models Using Greedy Methods

In this paper, we address the problem of learning the structure of a pairwise graphical model from samples in a high-dimensional setting. Our first main result studies the sparsistency, or consistency in sparsity pattern recovery, properties of a forward-backward greedy algorithm as applied to general statistical models. As a special case, we then apply this algorithm to learn the structure of a discrete graphical model via neighborhood estimation. As a corollary of our general result, we derive sufficient conditions on the number of samples n, the maximum node-degree d and the problem size p, as well as other conditions on the model parameters, so that the algorithm recovers all the edges with high probability. Our result guarantees graph selection for samples scaling as n = Omega(d^2 log(p)), in contrast to existing convex-optimization based algorithms that require a sample complexity of Ω(d^3 log(p)). Further, the greedy algorithm only requires a restricted strong convexity condition which is typically milder than irrepresentability assumptions. We corroborate these results using numerical simulations at the end.