Showing 1–50 of 80 results for author: Walter, A

TotalSegmentator MRI: Sequence-Independent Segmentation of 59 Anatomical Structures in MR images

Authors: Tugba Akinci D'Antonoli, Lucas K. Berger, Ashraya K. Indrakanti, Nathan Vishwanathan, Jakob Weiß, Matthias Jung, Zeynep Berkarda, Alexander Rau, Marco Reisert, Thomas Küstner, Alexandra Walter, Elmar M. Merkle, Martin Segeroth, Joshy Cyriac, Shan Yang, Jakob Wasserthal

Abstract: Purpose: To develop an open-source and easy-to-use segmentation model that can automatically and robustly segment most major anatomical structures in MR images independently of the MR sequence. Materials and Methods: In this study we extended the capabilities of TotalSegmentator to MR images. 298 MR scans and 227 CT scans were used to segment 59 anatomical structures (20 organs, 18 bones, 11 mus… ▽ More Purpose: To develop an open-source and easy-to-use segmentation model that can automatically and robustly segment most major anatomical structures in MR images independently of the MR sequence. Materials and Methods: In this study we extended the capabilities of TotalSegmentator to MR images. 298 MR scans and 227 CT scans were used to segment 59 anatomical structures (20 organs, 18 bones, 11 muscles, 7 vessels, 3 tissue types) relevant for use cases such as organ volumetry, disease characterization, and surgical planning. The MR and CT images were randomly sampled from routine clinical studies and thus represent a real-world dataset (different ages, pathologies, scanners, body parts, sequences, contrasts, echo times, repetition times, field strengths, slice thicknesses and sites). We trained an nnU-Net segmentation algorithm on this dataset and calculated Dice similarity coefficients (Dice) to evaluate the model's performance. Results: The model showed a Dice score of 0.824 (CI: 0.801, 0.842) on the test set, which included a wide range of clinical data with major pathologies. The model significantly outperformed two other publicly available segmentation models (Dice score, 0.824 versus 0.762; p<0.001 and 0.762 versus 0.542; p<0.001). On the CT image test set of the original TotalSegmentator paper it almost matches the performance of the original TotalSegmentator (Dice score, 0.960 versus 0.970; p<0.001). Conclusion: Our proposed model extends the capabilities of TotalSegmentator to MR images. The annotated dataset (https://zenodo.org/doi/10.5281/zenodo.11367004) and open-source toolkit (https://www.github.com/wasserth/TotalSegmentator) are publicly available. △ Less

Submitted 29 May, 2024; originally announced May 2024.

SciJava Ops: An Improved Algorithms Framework for Fiji and Beyond

Authors: Gabriel J. Selzer, Curtis T. Rueden, Mark C. Hiner, Edward L. Evans III, David Kolb, Marcel Wiedenmann, Christian Birkhold, Tim-Oliver Buchholz, Stefan Helfrich, Brian Northan, Alison Walter, Johannes Schindelin, Tobias Pietzsch, Stephan Saalfeld, Michael R. Berthold, Kevin W. Eliceiri

Abstract: Many scientific software platforms provide plugin mechanisms that simplify the integration, deployment, and execution of externally developed functionality. One of the most widely used platforms in the imaging space is Fiji, a popular open-source application for scientific image analysis. Fiji incorporates and builds on the ImageJ and ImageJ2 platforms, which provide a powerful plugin architecture… ▽ More Many scientific software platforms provide plugin mechanisms that simplify the integration, deployment, and execution of externally developed functionality. One of the most widely used platforms in the imaging space is Fiji, a popular open-source application for scientific image analysis. Fiji incorporates and builds on the ImageJ and ImageJ2 platforms, which provide a powerful plugin architecture used by thousands of plugins to solve a wide variety of problems. This capability is a major part of Fiji's success, and it has become a widely used biological image analysis tool and a target for new functionality. However, a plugin-based software architecture cannot unify disparate platforms operating on incompatible data structures; interoperability necessitates the creation of adaptation or "bridge" layers to translate data and invoke functionality. As a result, while platforms like Fiji enable a high degree of interconnectivity and extensibility, they were not fundamentally designed to integrate across the many data types, programming languages, and architectural differences of various software platforms.To help address this challenge, we present SciJava Ops, a foundational software library for expressing algorithms as plugins in a unified and extensible way. Continuing the evolution of Fiji's SciJava plugin mechanism, SciJava Ops enables users to harness algorithms from various software platforms within a central execution environment. In addition, SciJava Ops automatically adapts data into the most appropriate structure for each algorithm, allowing users to freely and transparently combine algorithms from otherwise incompatible tools. While SciJava Ops is initially distributed as a Fiji update site, the framework does not require Fiji, ImageJ, or ImageJ2, and would be suitable for integration with additional image analysis platforms. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: 33 pages, 11 figures

Artificial Neural Microcircuits as Building Blocks: Concept and Challenges

Authors: Andrew Walter, Shimeng Wu, Andy M. Tyrrell, Liam McDaid, Malachy McElholm, Nidhin Thandassery Sumithran, Jim Harkin, Martin A. Trefzer

Abstract: Artificial Neural Networks (ANNs) are one of the most widely employed forms of bio-inspired computation. However the current trend is for ANNs to be structurally homogeneous. Furthermore, this structural homogeneity requires the application of complex training and learning tools that produce application specific ANNs, susceptible to pitfalls such as overfitting. In this paper, an new approach is e… ▽ More Artificial Neural Networks (ANNs) are one of the most widely employed forms of bio-inspired computation. However the current trend is for ANNs to be structurally homogeneous. Furthermore, this structural homogeneity requires the application of complex training and learning tools that produce application specific ANNs, susceptible to pitfalls such as overfitting. In this paper, an new approach is explored, inspired by the role played in biology by Neural Microcircuits, the so called ``fundamental processing elements'' of organic nervous systems. How large neural networks, particularly Spiking Neural Networks (SNNs) can be assembled using Artificial Neural Microcircuits (ANMs), intended as off-the-shelf components, is articulated; the results of initial work to produce a catalogue of such Microcircuits though the use of Novelty Search is shown; followed by efforts to expand upon this initial work, including a discussion of challenges uncovered during these efforts and explorations of methods by which they might be overcome. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Comments: 12 pages, 31 figures, 3 tables, submitted to A-Life Journal for review

A General Bayesian Algorithm for the Autonomous Alignment of Beamlines

Authors: T. W. Morris, M. Rakitin, A. Islegen-Wojdyla, Y. Du, M. Fedurin, A. C. Giles, D. Leshchev, W. H. Li, P. Moeller, B. Nash, B. Romasky, E. Stavitski, A. L. Walter

Abstract: Autonomous methods to align beamlines can decrease the amount of time spent on diagnostics, and also uncover better global optima leading to better beam quality. The alignment of these beamlines is a high-dimensional, expensive-to-sample optimization problem involving the simultaneous treatment of many optical elements with correlated and nonlinear dynamics. Bayesian optimization is a strategy of… ▽ More Autonomous methods to align beamlines can decrease the amount of time spent on diagnostics, and also uncover better global optima leading to better beam quality. The alignment of these beamlines is a high-dimensional, expensive-to-sample optimization problem involving the simultaneous treatment of many optical elements with correlated and nonlinear dynamics. Bayesian optimization is a strategy of efficient global optimization that has proved successful in similar regimes in a wide variety of beamline alignment applications, though it has typically been implemented for particular beamlines and optimization tasks. In this paper, we present a basic formulation of Bayesian inference and Gaussian process models as they relate to multiobjective Bayesian optimization, as well as the practical challenges presented by beamline alignment. We show that the same general implementation of Bayesian optimization with special consideration for beamline alignment can quickly learn the dynamics of particular beamlines in an online fashion through hyperparameter fitting with no prior information. We present the implementation of a concise software framework for beamline alignment and test it on four different optimization problems for experiments at x-ray beamlines of the National Synchrotron Light Source II and the Advanced Light Source and an electron beam at the Accelerator Test Facility, along with benchmarking on a simulated digital twin. We discuss new applications of the framework, and the potential for a unified approach to beamline alignment at synchrotron facilities. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Frequency-domain multiplexing of SNSPDs with tunable superconducting resonators

Authors: Sasha Sypkens, Lorenzo Minutolo, Sahil Patel, Emanuel Knehr, Alexander B. Walter, Henry G. Leduc, Lautaro Narváez, Ralph Chamberlin, Tracee Jamison-Hooks, Matthew D. Shaw, Peter K. Day, Boris Korzh

Abstract: This work culminates in a demonstration of an alternative Frequency Domain Multiplexing (FDM) scheme for Superconducting Nanowire Single-Photon Detectors (SNSPDs) using the Kinetic inductance Parametric UP-converter (KPUP) made out of NbTiN. There are multiple multiplexing architectures for SNSPDs that are already in use, but FDM could prove superior in applications where the operational bias curr… ▽ More This work culminates in a demonstration of an alternative Frequency Domain Multiplexing (FDM) scheme for Superconducting Nanowire Single-Photon Detectors (SNSPDs) using the Kinetic inductance Parametric UP-converter (KPUP) made out of NbTiN. There are multiple multiplexing architectures for SNSPDs that are already in use, but FDM could prove superior in applications where the operational bias currents are very low, especially for mid- and far-infrared SNSPDs. Previous FDM schemes integrated the SNSPD within the resonator, while in this work we use an external resonator, which gives more flexibility to optimize the SNSPD architecture. The KPUP is a DC-biased superconducting resonator in which a nanowire is used as its inductive element to enable sensitivity to current perturbations. When coupled to an SNSPD, the KPUP can be used to read out current pulses on the few $μ$A scale. The KPUP is made out of NbTiN, which has high non-linear kinetic inductance for increased sensitivity at higher current bias and high operating temperature. Meanwhile, the SNSPD is made from WSi, which is a popular material for broadband SNSPDs. To read out the KPUP and SNSPD array, a software-defined radio platform and a graphics processing unit are used. Frequency Domain Multiplexed SNSPDs have applications in astronomy, remote sensing, exoplanet science, dark matter detection, and quantum sensing. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Data-Centric Digital Agriculture: A Perspective

Authors: Ribana Roscher, Lukas Roth, Cyrill Stachniss, Achim Walter

Abstract: In response to the increasing global demand for food, feed, fiber, and fuel, digital agriculture is rapidly evolving to meet these demands while reducing environmental impact. This evolution involves incorporating data science, machine learning, sensor technologies, robotics, and new management strategies to establish a more sustainable agricultural framework. So far, machine learning research in… ▽ More In response to the increasing global demand for food, feed, fiber, and fuel, digital agriculture is rapidly evolving to meet these demands while reducing environmental impact. This evolution involves incorporating data science, machine learning, sensor technologies, robotics, and new management strategies to establish a more sustainable agricultural framework. So far, machine learning research in digital agriculture has predominantly focused on model-centric approaches, focusing on model design and evaluation. These efforts aim to optimize model accuracy and efficiency, often treating data as a static benchmark. Despite the availability of agricultural data and methodological advancements, a saturation point has been reached, with many established machine learning methods achieving comparable levels of accuracy and facing similar limitations. To fully realize the potential of digital agriculture, it is crucial to have a comprehensive understanding of the role of data in the field and to adopt data-centric machine learning. This involves develo** strategies to acquire and curate valuable data and implementing effective learning and evaluation strategies that utilize the intrinsic value of data. This approach has the potential to create accurate, generalizable, and adaptable machine learning methods that effectively and sustainably address agricultural tasks such as yield prediction, weed detection, and early disease identification △ Less

Submitted 6 December, 2023; originally announced December 2023.

Proving Calculational Proofs Correct

Authors: Andrew T. Walter, Ankit Kumar, Panagiotis Manolios

Abstract: Teaching proofs is a crucial component of any undergraduate-level program that covers formal reasoning. We have developed a calculational reasoning format and refined it over several years of teaching a freshman-level course, "Logic and Computation", to thousands of undergraduate students. In our companion paper, we presented our calculational proof format, gave an overview of the calculational pr… ▽ More Teaching proofs is a crucial component of any undergraduate-level program that covers formal reasoning. We have developed a calculational reasoning format and refined it over several years of teaching a freshman-level course, "Logic and Computation", to thousands of undergraduate students. In our companion paper, we presented our calculational proof format, gave an overview of the calculational proof checker (CPC) tool that we developed to help users write and validate proofs, described some of the technical and implementation details of CPC and provided several publicly available proofs written using our format. In this paper, we dive deeper into the implementation details of CPC, highlighting how proof validation works, which helps us argue that our proof checking process is sound. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: In Proceedings ACL2-2023, arXiv:2311.08373

ACM Class: D.2.4

Journal ref: EPTCS 393, 2023, pp. 133-150

The Poincaré pear and Poincaré-Darwin fission theory in astrophysics, 1885-1901

Authors: Scott A. Walter

Abstract: In the early 1880s, Henri Poincaré discovered a new equilibrium figure for uniformly-rotating fluid masses -- the pear, or piriform figure -- and speculated that in certain circumstances the pear splits into two unequal parts, and provides thereby a model for the origin of binary stars. The contemporary emergence of photometric and spectroscopic studies of variable stars fueled the first models of… ▽ More In the early 1880s, Henri Poincaré discovered a new equilibrium figure for uniformly-rotating fluid masses -- the pear, or piriform figure -- and speculated that in certain circumstances the pear splits into two unequal parts, and provides thereby a model for the origin of binary stars. The contemporary emergence of photometric and spectroscopic studies of variable stars fueled the first models of eclipsing binaries, and provided empirical support for a realist view of equilibrium figures -- including the pear -- in the cosmic realm. The paper reviews astrophysical interpretation of the Poincaré pear and the Poincaré-Darwin fission hypothesis with respect to research on variable stars from 1885 to 1901. △ Less

Submitted 3 November, 2023; originally announced November 2023.

MSC Class: 01A55 (Primary) 85-03 (Secondary)

Journal ref: Philosophia Scientiae 27-3, 2023, 159-187

2023 Astrophotonics Roadmap: pathways to realizing multi-functional integrated astrophotonic instruments

Authors: Nemanja Jovanovic, Pradip Gatkine, Narsireddy Anugu, Rodrigo Amezcua-Correa, Ritoban Basu Thakur, Charles Beichman, Chad Bender, Jean-Philippe Berger, Azzurra Bigioli, Joss Bland-Hawthorn, Guillaume Bourdarot, Charles M. Bradford, Ronald Broeke, Julia Bryant, Kevin Bundy, Ross Cheriton, Nick Cvetojevic, Momen Diab, Scott A. Diddams, Aline N. Dinkelaker, Jeroen Duis, Stephen Eikenberry, Simon Ellis, Akira Endo, Donald F. Figer , et al. (55 additional authors not shown)

Abstract: Photonics offer numerous functionalities that can be used to realize astrophotonic instruments. The most spectacular example to date is the ESO Gravity instrument at the Very Large Telescope in Chile. Integrated astrophotonic devices stand to offer critical advantages for instrument development, including extreme miniaturization, as well as integration, superior thermal and mechanical stabilizatio… ▽ More Photonics offer numerous functionalities that can be used to realize astrophotonic instruments. The most spectacular example to date is the ESO Gravity instrument at the Very Large Telescope in Chile. Integrated astrophotonic devices stand to offer critical advantages for instrument development, including extreme miniaturization, as well as integration, superior thermal and mechanical stabilization owing to the small footprint, and high replicability offering cost savings. Numerous astrophotonic technologies have been developed to address shortcomings of conventional instruments to date, including for example the development of photonic lanterns, complex aperiodic fiber Bragg gratings, complex beam combiners to enable long baseline interferometry, and laser frequency combs for high precision spectral calibration of spectrometers. Despite these successes, the facility implementation of photonic solutions in astronomical instrumentation is currently limited because of (1) low throughputs from coupling to fibers, coupling fibers to chips, propagation and bend losses, device losses, etc, (2) difficulties with scaling to large channel count devices needed for large bandwidths and high resolutions, and (3) efficient integration of photonics with detectors, to name a few. In this roadmap, we identify 24 areas that need further development. We outline the challenges and advances needed across those areas covering design tools, simulation capabilities, fabrication processes, the need for entirely new components, integration and hybridization and the characterization of devices. To realize these advances the astrophotonics community will have to work cooperatively with industrial partners who have more advanced manufacturing capabilities. With the advances described herein, multi-functional instruments will be realized leading to novel observing capabilities for both ground and space platforms. △ Less

Submitted 1 November, 2023; originally announced November 2023.

Comments: 191 pages, 47 figures. This is the version of the article before peer review or editing, as submitted by an author to J. Phys. Photonics. IOP Publishing Ltd is not responsible for any errors or omissions in this version of the manuscript or any version derived from it. The Version of Record is available online at https://iopscience.iop.org/article/10.1088/2515-7647/ace869/meta

Journal ref: J. Phys. Photonics 5 042501 (2023)

Experimental demonstration of spectral linear dark field control at NASA's high contrast imaging testbeds

Authors: Phillip K. Poon, Axel Potier, Garreth Ruane, Alex B. Walter, A J Eldorado Riggs, Matthew Noyes, Camilo Mejia Prada, Kyohoon Ahn, Olivier Guyon

Abstract: Due to the low flux of exoEarths, long exposure times are required to spectrally characterize them. During these long exposures, the contrast in the dark hole will degrade as the the optical system drifts from its initial DH state. To prevent such contrast drift, a wavefront sensing and control (WFSC) algorithm running in parallel to the science acquisition can stabilize the contrast. However, pai… ▽ More Due to the low flux of exoEarths, long exposure times are required to spectrally characterize them. During these long exposures, the contrast in the dark hole will degrade as the the optical system drifts from its initial DH state. To prevent such contrast drift, a wavefront sensing and control (WFSC) algorithm running in parallel to the science acquisition can stabilize the contrast. However, pairwise probing (PWP) cannot be reused to efficiently stabilize the contrast since it relies on strong temporal modulation of the intensity in the image plane, which would interrupt the science acquisition. The use of small amplitude probes has been demonstrated but requires multiple measurements from each science sub-band to converge. Conversely, spectral linear dark field control (LDFC) takes advantage of the linear relationship between the change in intensity of the post-coronagraph out-of-band image and small changes in wavefront in the science band to preserve the DH region during science exposures. In this paper, we show experimental results that demonstrate spectral LDFC stabilizes the contrast to levels of a few $10^{-9}$ on a Lyot coronagraph testbed which is housed in a vacuum chamber. Promising results show that spectral LDFC is able to correct for disturbances that degrade the contrast by more than 100$\times$. To our knowledge, this is the first experimental demonstration of spectral LDFC and the first demonstration of spatial or spectral LDFC on a vacuum coronagraph testbed and at contrast levels less than $10^{-8}$. △ Less

Submitted 29 September, 2023; originally announced September 2023.

Comments: 14 pages, 10 figures, Techniques and Instrumentation for Detection of Exoplanets XI

Report number: URS318828

Ultrathin Magnesium-based Coating as an Efficient Oxygen Barrier for Superconducting Circuit Materials

Authors: Chenyu Zhou, Junsik Mun, Juntao Yao, Aswin kumar Anbalagan, Mohammad D. Hossain, Russell A. McLellan, Ruoshui Li, Kim Kisslinger, Gengnan Li, Xiao Tong, Ashley R. Head, Conan Weiland, Steven L. Hulbert, Andrew L. Walter, Qiang Li, Yimei Zhu, Peter V. Sushko, Mingzhao Liu

Abstract: Scaling up superconducting quantum circuits based on transmon qubits necessitates substantial enhancements in qubit coherence time. Among the materials considered for transmon qubits, tantalum (Ta) has emerged as a promising candidate, surpassing conventional counterparts in terms of coherence time. However, the presence of an amorphous surface Ta oxide layer introduces dielectric loss, ultimately… ▽ More Scaling up superconducting quantum circuits based on transmon qubits necessitates substantial enhancements in qubit coherence time. Among the materials considered for transmon qubits, tantalum (Ta) has emerged as a promising candidate, surpassing conventional counterparts in terms of coherence time. However, the presence of an amorphous surface Ta oxide layer introduces dielectric loss, ultimately placing a limit on the coherence time. In this study, we present a novel approach for suppressing the formation of tantalum oxide using an ultrathin magnesium (Mg) cap** layer deposited on top of tantalum. Synchrotron-based X-ray photoelectron spectroscopy (XPS) studies demonstrate that oxide is confined to an extremely thin region directly beneath the Mg/Ta interface. Additionally, we demonstrate that the superconducting properties of thin Ta films are improved following the Mg cap**, exhibiting sharper and higher-temperature transitions to superconductive and magnetically ordered states. Based on the experimental data and computational modeling, we establish an atomic-scale mechanistic understanding of the role of the cap** layer in protecting Ta from oxidation. This work provides valuable insights into the formation mechanism and functionality of surface tantalum oxide, as well as a new materials design principle with the potential to reduce dielectric loss in superconducting quantum materials. Ultimately, our findings pave the way for the realization of large-scale, high-performance quantum computing systems. △ Less

Submitted 25 September, 2023; v1 submitted 21 September, 2023; originally announced September 2023.

Low-noise single-photon counting superconducting nanowire detectors at infrared wavelengths up to 29 $μ$m

Authors: Gregor G. Taylor, Alexander B. Walter, Boris Korzh, Bruce Bumble, Sahil R. Patel, Jason P. Allmaras, Andrew D. Beyer, Roger O'Brient, Matthew D. Shaw, Emma E. Wollman

Abstract: We report on the extension of the spectral sensitivity of superconducting nanowire single-photon detectors to a wavelength of 29 $μ$m. This represents the first demonstration of a time correlated single-photon counting detector at these long infrared wavelengths. We achieve saturated internal detection efficiency from 10 to 29 $μ$m, whilst maintaining dark count rates below 0.1 counts per second.… ▽ More We report on the extension of the spectral sensitivity of superconducting nanowire single-photon detectors to a wavelength of 29 $μ$m. This represents the first demonstration of a time correlated single-photon counting detector at these long infrared wavelengths. We achieve saturated internal detection efficiency from 10 to 29 $μ$m, whilst maintaining dark count rates below 0.1 counts per second. Extension of superconducting nanowire single-photon detectors to this spectral range provides low noise and high timing resolution photon counting detection, effectively providing a new class of single-photon sensitive detector for these wavelengths. These detectors are important for applications such as exoplanet spectroscopy, infrared astrophysics, physical chemistry, remote sensing and direct dark-matter detection. △ Less

Submitted 29 August, 2023; originally announced August 2023.

Comments: 15 pages, 5 figures

Dual Purpose Lyot Coronagraph Masks for Simultaneous High-Contrast Imaging and High-Resolution Wavefront Sensing

Authors: Garreth Ruane, J. Kent Wallace, A J Eldorado Riggs, Tobias Wenger, Mahmood Bagheri, Jeffrey Jewell, Nasrat Raouf, Gregory Allan, Camilo Mejia Prada, Matthew Noyes, Alex B. Walter

Abstract: Directly imaging Earth-sized exoplanets with a visible-light coronagraph instrument on a space telescope will require a system that can achieve $\sim10^{-10}$ raw contrast and maintain it for the duration of observations (on the order of hours or more). We are designing, manufacturing, and testing Dual Purpose Lyot coronagraph (DPLC) masks that allow for simultaneous wavefront sensing and control… ▽ More Directly imaging Earth-sized exoplanets with a visible-light coronagraph instrument on a space telescope will require a system that can achieve $\sim10^{-10}$ raw contrast and maintain it for the duration of observations (on the order of hours or more). We are designing, manufacturing, and testing Dual Purpose Lyot coronagraph (DPLC) masks that allow for simultaneous wavefront sensing and control using out-of-band light to maintain high contrast in the science focal plane. Our initial design uses a tiered metallic focal plane occulter to suppress starlight in the transmitted coronagraph channel and a dichroic-coated substrate to reflect out-of-band light to a wavefront sensing camera. The occulter design introduces a phase shift such that the reflected channel is a Zernike wavefront sensor. The dichroic coating allows higher-order wavefront errors to be detected which is especially critical for compensating for residual drifts from an actively-controlled segmented primary mirror. A second-generation design concept includes a metasurface to create polarization-dependent phase shifts in the reflected beam, which has several advantages including an extended dynamic range. We will present the focal plane mask designs, characterization, and initial testing at NASA's High Contrast Imaging Testbed (HCIT) facility. △ Less

Submitted 20 August, 2023; originally announced August 2023.

Comments: To appear in the Proceedings of the SPIE, Techniques and Instrumentation for Detection of Exoplanets XI

Interactions enable Thouless pum** in a nonsliding lattice

Authors: Konrad Viebahn, Anne-Sophie Walter, Eric Bertok, Zijie Zhu, Marius Gächter, Armando A. Aligia, Fabian Heidrich-Meisner, Tilman Esslinger

Abstract: A topological 'Thouless' pump represents the quantised motion of particles in response to a slow, cyclic modulation of external control parameters. The Thouless pump, like the quantum Hall effect, is of fundamental interest in physics because it links physically measurable quantities, such as particle currents, to geometric properties of the experimental system, which can be robust against perturb… ▽ More A topological 'Thouless' pump represents the quantised motion of particles in response to a slow, cyclic modulation of external control parameters. The Thouless pump, like the quantum Hall effect, is of fundamental interest in physics because it links physically measurable quantities, such as particle currents, to geometric properties of the experimental system, which can be robust against perturbations and thus technologically useful. So far, experiments probing the interplay between topology and inter-particle interactions have remained relatively scarce. Here we observe a Thouless-type charge pump in which the particle current and its directionality inherently rely on the presence of strong interactions. Experimentally, we utilise a two-component Fermi gas in a dynamical superlattice which does not exhibit a sliding motion and remains trivial in the single-particle regime. However, when tuning interparticle interactions from zero to positive values, the system undergoes a transition from being stationary to drifting in one direction, consistent with quantised pum** in the first cycle. Remarkably, the topology of the interacting pump trajectory cannot be adiabatically connected to a non-interacting limit, highlighted by the fact that only one atom is transferred per cycle. Our experiments suggest that Thouless charge pumps are promising platforms to gain insights into interaction-driven topological transitions and topological quantum matter. △ Less

Submitted 2 July, 2024; v1 submitted 7 August, 2023; originally announced August 2023.

Journal ref: Physical Review X 14, 021049 (2024)

Towards Unifying Anatomy Segmentation: Automated Generation of a Full-body CT Dataset via Knowledge Aggregation and Anatomical Guidelines

Authors: Alexander Jaus, Constantin Seibold, Kelsey Hermann, Alexandra Walter, Kristina Giske, Johannes Haubold, Jens Kleesiek, Rainer Stiefelhagen

Abstract: In this study, we present a method for generating automated anatomy segmentation datasets using a sequential process that involves nnU-Net-based pseudo-labeling and anatomy-guided pseudo-label refinement. By combining various fragmented knowledge bases, we generate a dataset of whole-body CT scans with $142$ voxel-level labels for 533 volumes providing comprehensive anatomical coverage which exper… ▽ More In this study, we present a method for generating automated anatomy segmentation datasets using a sequential process that involves nnU-Net-based pseudo-labeling and anatomy-guided pseudo-label refinement. By combining various fragmented knowledge bases, we generate a dataset of whole-body CT scans with $142$ voxel-level labels for 533 volumes providing comprehensive anatomical coverage which experts have approved. Our proposed procedure does not rely on manual annotation during the label aggregation stage. We examine its plausibility and usefulness using three complementary checks: Human expert evaluation which approved the dataset, a Deep Learning usefulness benchmark on the BTCV dataset in which we achieve 85% dice score without using its training dataset, and medical validity checks. This evaluation procedure combines scalable automated checks with labor-intensive high-quality expert checks. Besides the dataset, we release our trained unified anatomical segmentation model capable of predicting $142$ anatomical structures on CT data. △ Less

Submitted 25 July, 2023; originally announced July 2023.

Comments: 18 pages, 8 figures, 2 tables

Calculational Proofs in ACL2s

Authors: Andrew T. Walter, Ankit Kumar, Panagiotis Manolios

Abstract: Teaching college students how to write rigorous proofs is a critical objective in courses that introduce formal reasoning. Over the course of several years, we have developed a mechanically-checkable style of calculational reasoning that we used to teach over a thousand freshman-level undergraduate students how to reason about computation in our "Logic and Computation" class at Northeastern Univer… ▽ More Teaching college students how to write rigorous proofs is a critical objective in courses that introduce formal reasoning. Over the course of several years, we have developed a mechanically-checkable style of calculational reasoning that we used to teach over a thousand freshman-level undergraduate students how to reason about computation in our "Logic and Computation" class at Northeastern University. We were inspired by Dijkstra, who advocated the use of calculational proofs, writing "calculational proofs are almost always more effective than all informal alternatives, ..., the design of calculational proofs seems much more teachable than the elusive art of discovering an informal proof." Our calculational proof checker is integrated into ACL2s and is available as an Eclipse IDE plugin, via a Web interface, and as a stand-alone tool. It automatically checks proofs for correctness and provides useful feedback. We describe the architecture of the checker, its proof format, its underlying algorithms, its correctness and provide examples using proofs from our undergraduate class and from Dijkstra. We also describe our experiences using the proof checker to teach undergraduates how to formally reason about computation. △ Less

Submitted 23 July, 2023; originally announced July 2023.

Large active-area superconducting microwire detector array with single-photon sensitivity in the near-infrared

Authors: Jamie S. Luskin, Ekkehart Schmidt, Boris Korzh, Andrew D. Beyer, Bruce Bumble, Jason P. Allmaras, Alexander B. Walter, Emma E. Wollman, Lautaro Narváez, Varun B. Verma, Sae Woo Nam, Ilya Charaev, Marco Colangelo, Karl K. Berggren, Cristián Peña, Maria Spiropulu, Maurice Garcia-Sciveres, Stephen Derenzo, Matthew D. Shaw

Abstract: Superconducting nanowire single photon detectors (SNSPDs) are the highest-performing technology for time-resolved single-photon counting from the UV to the near-infrared. The recent discovery of single-photon sensitivity in micrometer-scale superconducting wires is a promising pathway to explore for large active area devices with application to dark matter searches and fundamental physics experime… ▽ More Superconducting nanowire single photon detectors (SNSPDs) are the highest-performing technology for time-resolved single-photon counting from the UV to the near-infrared. The recent discovery of single-photon sensitivity in micrometer-scale superconducting wires is a promising pathway to explore for large active area devices with application to dark matter searches and fundamental physics experiments. We present 8-pixel $1 mm^2$ superconducting microwire single photon detectors (SMSPDs) with $1\,\mathrm{μm}$-wide wires fabricated from WSi and MoSi films of various stoichiometries using electron-beam and optical lithography. Devices made from all materials and fabrication techniques show saturated internal detection efficiency at 1064 nm in at least one pixel, and the best performing device made from silicon-rich WSi shows single-photon sensitivity in all 8 pixels and saturated internal detection efficiency in 6/8 pixels. This detector is the largest reported active-area SMSPD or SNSPD with near-IR sensitivity published to date, and the first report of an SMSPD array. By further optimizing the photolithography techniques presented in this work, a viable pathway exists to realize larger devices with $cm^2$-scale active area and beyond. △ Less

Submitted 19 March, 2023; originally announced March 2023.

Automated Grading of Automata with ACL2s

Authors: Ankit Kumar, Andrew Walter, Panagiotis Manolios

Abstract: Almost all Computer Science programs require students to take a course on the Theory of Computation (ToC) which covers various models of computation such as finite automata, push-down automata and Turing machines. ToC courses tend to give assignments that require paper-and-pencil solutions. Grading such assignments takes time, so students typically receive feedback for their solutions more than a… ▽ More Almost all Computer Science programs require students to take a course on the Theory of Computation (ToC) which covers various models of computation such as finite automata, push-down automata and Turing machines. ToC courses tend to give assignments that require paper-and-pencil solutions. Grading such assignments takes time, so students typically receive feedback for their solutions more than a week after they complete them. We present the Automatic Automata Checker (A2C), an open source library that enables one to construct executable automata using definitions that mimic those found in standard textbooks. Such constructions are easy to reason about using semantic equivalence checks, properties and test cases. Instructors can conveniently specify solutions in the form of their own constructions. A2C can check for semantic equivalence between student and instructor solutions and can immediately generate actionable feedback, which helps students better understand the material. A2C can be downloaded and used locally by students as well as integrated into Learning Management Systems (LMS) like Gradescope to automatically grade student submissions and generate feedback. A2C is based on the ACL2s interactive theorem prover, which provides advanced methods for stating, proving and disproving properties. Since feedback is automatic, A2C can be deployed at scale and integrated into massively open online courses. △ Less

Submitted 10 March, 2023; originally announced March 2023.

Comments: In Proceedings ThEdu'22, arXiv:2303.05360

Journal ref: EPTCS 375, 2023, pp. 77-91

Rate-limiting recovery processes in neurotransmission under sustained stimulation

Authors: Ariane Ernst, Nathalie Unger, Christof Schütte, Alexander Walter, Stefanie Winkelmann

Abstract: At chemical synapses, an arriving electric signal induces the fusion of vesicles with the presynaptic membrane, thereby releasing neurotransmitters into the synaptic cleft. After a fusion event, both the release site and the vesicle undergo a recovery process before becoming available for reuse again. Of central interest is the question which of the two restoration steps acts as the limiting facto… ▽ More At chemical synapses, an arriving electric signal induces the fusion of vesicles with the presynaptic membrane, thereby releasing neurotransmitters into the synaptic cleft. After a fusion event, both the release site and the vesicle undergo a recovery process before becoming available for reuse again. Of central interest is the question which of the two restoration steps acts as the limiting factor during neurotransmission under high-frequency sustained stimulation. In order to investigate this question, we introduce a novel non-linear reaction network which involves explicit recovery steps for both the vesicles and the release sites, and includes the induced time-dependent output current. The associated reaction dynamics are formulated by means of ordinary differential equations (ODEs), as well as via the associated stochastic jump process. While the stochastic jump model describes a single release site, the average over many release sites is close to the ODE solution and shares its periodic structure. The reason for this can be traced back to the insight that recovery dynamics of vesicles and release sites are statistically almost independent. A sensitivity analysis on the recovery rates based on the ODE formulation reveals that neither the vesicle nor the release site recovery step can be identified as the essential rate-limiting step but that the rate-limiting feature changes over the course of stimulation. Under sustained stimulation the dynamics given by the ODEs exhibit transient changes leading from an initial depression of the postsynaptic response to an asymptotic periodic orbit, while the individual trajectories of the stochastic jump model lack the oscillatory behavior and asymptotic periodicity of the ODE-solution. △ Less

Submitted 3 February, 2023; originally announced February 2023.

Comments: 30 pages, 12 Figures

MSC Class: 92-10 ACM Class: J.3

Topological Floquet engineering using two frequencies in two dimensions

Authors: Yixiao Wang, Anne-Sophie Walter, Gregor Jotzu, Konrad Viebahn

Abstract: Using two-frequency driving in two dimensions opens up new possibilites for Floquet engineering, which range from controlling specific symmetries to tuning the properties of resonant gaps. In this work, we study two-band lattice models subject to two-tone Floquet driving and analyse the resulting effective Floquet bandstructures both numerically and analytically. On the one hand, we extend the met… ▽ More Using two-frequency driving in two dimensions opens up new possibilites for Floquet engineering, which range from controlling specific symmetries to tuning the properties of resonant gaps. In this work, we study two-band lattice models subject to two-tone Floquet driving and analyse the resulting effective Floquet bandstructures both numerically and analytically. On the one hand, we extend the methodology of Sandholzer et al. [10.1103/PhysRevResearch.4.013056] from one to two dimensions and find competing topological phases in a simple Bravais lattice when the two resonant drives at $1ω$ and $2ω$ interfere. On the other hand, we explore driving-induced symmetry breaking in the hexagonal lattice, in which the breaking of either inversion or time-reversal symmetry can be tuned independently via the Floquet modulation. Possible applications of our work include a simpler generation of topological bands for ultracold atoms, and the realisation of non-linear Hall effects as well as Haldane's parity anomaly in inversion-symmetric parent lattices. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Chemical profiles of the oxides on tantalum in state of the art superconducting circuits

Authors: Russell A. McLellan, Aveek Dutta, Chenyu Zhou, Yichen Jia, Conan Weiland, Xin Gui, Alexander P. M. Place, Kevin D. Crowley, Xuan Hoang Le, Trisha Madhavan, Youqi Gang, Lukas Baker, Ashley R. Head, Iradwikanari Waluyo, Ruoshui Li, Kim Kisslinger, Adrian Hunt, Ignace Jarrige, Stephen A. Lyon, Andi M. Barbour, Robert J. Cava, Andrew A. Houck, Steven L. Hulbert, Mingzhao Liu, Andrew L. Walter , et al. (1 additional authors not shown)

Abstract: Over the past decades, superconducting qubits have emerged as one of the leading hardware platforms for realizing a quantum processor. Consequently, researchers have made significant effort to understand the loss channels that limit the coherence times of superconducting qubits. A major source of loss has been attributed to two level systems that are present at the material interfaces. We recently… ▽ More Over the past decades, superconducting qubits have emerged as one of the leading hardware platforms for realizing a quantum processor. Consequently, researchers have made significant effort to understand the loss channels that limit the coherence times of superconducting qubits. A major source of loss has been attributed to two level systems that are present at the material interfaces. We recently showed that replacing the metal in the capacitor of a transmon with tantalum yields record relaxation and coherence times for superconducting qubits, motivating a detailed study of the tantalum surface. In this work, we study the chemical profile of the surface of tantalum films grown on c-plane sapphire using variable energy X-ray photoelectron spectroscopy (VEXPS). We identify the different oxidation states of tantalum that are present in the native oxide resulting from exposure to air, and we measure their distribution through the depth of the film. Furthermore, we show how the volume and depth distribution of these tantalum oxidation states can be altered by various chemical treatments. By correlating these measurements with detailed measurements of quantum devices, we can improve our understanding of the microscopic device losses. △ Less

Submitted 20 January, 2023; v1 submitted 11 January, 2023; originally announced January 2023.

Reversal of quantised Hall drifts at non-interacting and interacting topological boundaries

Authors: Zijie Zhu, Marius Gächter, Anne-Sophie Walter, Konrad Viebahn, Tilman Esslinger

Abstract: The transport properties of gapless edge modes at boundaries between topologically distinct domains are of fundamental and technological importance. Therefore, it is crucial to gain a better understanding of topological edge states and their response to interparticle interactions. Here, we experimentally study long-distance quantised Hall drifts in a harmonically confined topological pump of non-i… ▽ More The transport properties of gapless edge modes at boundaries between topologically distinct domains are of fundamental and technological importance. Therefore, it is crucial to gain a better understanding of topological edge states and their response to interparticle interactions. Here, we experimentally study long-distance quantised Hall drifts in a harmonically confined topological pump of non-interacting and interacting ultracold fermionic atoms. We find that quantised drifts halt and reverse their direction when the atoms reach a critical slope of the confining potential, revealing the presence of a topological boundary. The drift reversal corresponds to a band transfer between a band with Chern number $C = +1$ and a band with $C = -1$ via a gapless edge mode, in agreement with the bulk-edge correspondence for non-interacting particles. We establish that a non-zero repulsive Hubbard interaction leads to the emergence of an additional edge in the system, relying on a purely interaction-induced mechanism, in which pairs of fermions are split. △ Less

Submitted 6 May, 2024; v1 submitted 9 January, 2023; originally announced January 2023.

Journal ref: Science 384, 317 (2024)

Ultraviolet Raman Spectroscopy for Remote Detection of Chlorine Gas

Authors: Arne Walter, Frank Wilsenack, Thomas Wolf, Frank Duschek

Abstract: As a primary material frequently used in industry, chlorine is relatively easy to obtain and available even in large quantities. Despite its high toxicity, molecular chlorine is readily available since it is an essential educt in the chemical industry. Over the past decades, numerous accidents involving injured and dead victims have occurred. Furthermore, it was already misused as a warfare agent… ▽ More As a primary material frequently used in industry, chlorine is relatively easy to obtain and available even in large quantities. Despite its high toxicity, molecular chlorine is readily available since it is an essential educt in the chemical industry. Over the past decades, numerous accidents involving injured and dead victims have occurred. Furthermore, it was already misused as a warfare agent at the beginning of the last century with still reported attacks. Early detection, localization, and monitoring of sources and cloud movements are essential for protecting stationary facilities, mobile operations, and the public. In contrast to most chemical hazardous materials, where it is possible to detect them by vibrational spectroscopic methods (e.\,g., passive hyper-spectral absorption technologies in the infrared), halogens are inactive to infrared absorption. Raman-based technologies rely on changes in the polarizability of the molecule and provide vibrational-spectroscopic access to such diatomic molecules and therefore close the gap in infrared detection capabilities. Here we present a straightforward approach for a standoff Raman detector in a backscattering configuration. This paper uses a simplified model to discuss optimum excitation wavelengths in achievable detection ranges. We validate the model by spontaneous (vibrational) Raman spectroscopic measurements between 20 and 60~m standoff distance. We also briefly discuss detection performances and technical and physical aspects as prospects of system design. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 6th International Conference on Frontiers of Diagnostic Technologies, 6 pages

Probing Photon Statistics in Adaptive Optics Images with SCExAO/MEC

Authors: Sarah Steiger, Timothy D. Brandt, Olivier Guyon, Noah Swimmer, Alexander B. Walter, Clinton Bockstiegel, Julien Lozi, Vincent Deo, Sebastien Vievard, Nour Skaf, Kyohoon Ahn, Nemanja Jovanovic, Frantz Martinache, Benjamin A. Mazin

Abstract: We present an experimental study of photon statistics for high-contrast imaging with the Microwave Kinetic Inductance Detector (MKID) Exoplanet Camera (MEC) located behind the Subaru Coronagraphic Extreme Adaptive Optics System (SCExAO) at the Subaru Telescope. We show that MEC measures the expected distributions for both on-axis companion intensity and off-axis intensity which manifests as quasi-… ▽ More We present an experimental study of photon statistics for high-contrast imaging with the Microwave Kinetic Inductance Detector (MKID) Exoplanet Camera (MEC) located behind the Subaru Coronagraphic Extreme Adaptive Optics System (SCExAO) at the Subaru Telescope. We show that MEC measures the expected distributions for both on-axis companion intensity and off-axis intensity which manifests as quasi-static speckles in the image plane and currently limits high-contrast imaging performance. These statistics can be probed by any MEC observation due to the photon-counting capabilities of MKID detectors. Photon arrival time statistics can also be used to directly distinguish companions from speckles using a post-processing technique called Stochastic Speckle Discrimination (SSD). Here, we we give an overview of the SSD technique and highlight the first demonstration of SSD on an extended source -- the protoplanetary disk AB Aurigae. We then present simulations that provide an in-depth exploration as to the current limitations of an extension of the SSD technique called Photon-Counting SSD (PCSSD) to provide a path forward for transitioning PCSSD from simulations to on-sky results. We end with a discussion of how to further improve the efficacy of such arrival time based post-processing techniques applicable to both MKIDs, as well as other high speed astronomical cameras. △ Less

Submitted 13 September, 2022; originally announced September 2022.

Comments: 11 pages, 9 figures, accepted for publication in AJ

SCExAO and Keck Direct Imaging Discovery of a Low-Mass Companion Around the Accelerating F5 Star HIP 5319

Authors: Noah Swimmer, Thayne Currie, Sarah Steiger, Gregory Mirek Brandt, Timothy D. Brandt, Olivier Guyon, Masayuki Kuzuhara, Jeffrey Chilcote, Taylor Tobin, Tyler D. Groff, Julien Lozi, John I. Bailey III, Alexander B. Walter, Neelay Fruitwala, Nicholas Zobrist, Jennifer Pearl Smith, Gregoire Coiffard, Rupert Dodkins, Kristina K. Davis, Miguel Daal, Bruce Bumble, Sebastien Vievard, Nour Skaf, Vincent Deo, Nemanja Jovanovic , et al. (4 additional authors not shown)

Abstract: We present the direct imaging discovery of a low-mass companion to the nearby accelerating F star, HIP 5319, using SCExAO coupled with the CHARIS, VAMPIRES, and MEC instruments in addition to Keck/NIRC2 imaging. CHARIS $JHK$ (1.1-2.4 $μ$m) spectroscopic data combined with VAMPIRES 750 nm, MEC $Y$, and NIRC2 $L_{\rm p}$ photometry is best matched by an M3--M7 object with an effective temperature of… ▽ More We present the direct imaging discovery of a low-mass companion to the nearby accelerating F star, HIP 5319, using SCExAO coupled with the CHARIS, VAMPIRES, and MEC instruments in addition to Keck/NIRC2 imaging. CHARIS $JHK$ (1.1-2.4 $μ$m) spectroscopic data combined with VAMPIRES 750 nm, MEC $Y$, and NIRC2 $L_{\rm p}$ photometry is best matched by an M3--M7 object with an effective temperature of T=3200 K and surface gravity log($g$)=5.5. Using the relative astrometry for HIP 5319 B from CHARIS and NIRC2 and absolute astrometry for the primary from $Gaia$ and $Hipparcos$ and adopting a log-normal prior assumption for the companion mass, we measure a dynamical mass for HIP 5319 B of $31^{+35}_{-11}M_{\rm J}$, a semimajor axis of $18.6^{+10}_{-4.1}$ au, an inclination of $69.4^{+5.6}_{-15}$ degrees, and an eccentricity of $0.42^{+0.39}_{-0.29}$. However, using an alternate prior for our dynamical model yields a much higher mass of 128$^{+127}_{-88}M_{\rm J}$. Using data taken with the LCOGT NRES instrument we also show that the primary HIP 5319 A is a single star in contrast to previous characterizations of the system as a spectroscopic binary. This work underscores the importance of assumed priors in dynamical models for companions detected with imaging and astrometry and the need to have an updated inventory of system measurements. △ Less

Submitted 30 July, 2022; originally announced August 2022.

Comments: 19 pages, 9 figuresm 5 tables

Longitudinal abnormalities in white matter extracellular free water volume fraction and neuropsychological functioning in patients with traumatic brain injury

Authors: James J Gugger, Alexa E Walter, Drew Parker, Nishant Sinha, Justin Morrison, Jeffrey Ware, Andrea LC Schneider, Dmitriy Petrov, Danielle K Sandsmark, Ragini Verma, Ramon Diaz-Arrastia

Abstract: Traumatic brain injury is a global public health problem associated with chronic neurological complications and long-term disability. Biomarkers that map onto the underlying brain pathology driving these complications are urgently needed to identify individuals at risk for poor recovery and to inform design of clinical trials of neuroprotective therapies. Neuroinflammation and neurodegeneration ar… ▽ More Traumatic brain injury is a global public health problem associated with chronic neurological complications and long-term disability. Biomarkers that map onto the underlying brain pathology driving these complications are urgently needed to identify individuals at risk for poor recovery and to inform design of clinical trials of neuroprotective therapies. Neuroinflammation and neurodegeneration are two endophenotypes associated with increases in brain extracellular water content after trauma. The objective of this study was to describe the relationship between a neuroimaging biomarker of extracellular free water content and the clinical features of patients with traumatic brain injury. We analyzed a cohort of 64 adult patients requiring hospitalization for non-penetrating traumatic brain injury of all severities as well as 32 healthy controls. Patients underwent brain MRI and clinical neuropsychological assessment in the subacute (2-weeks) and chronic (6-months) post-injury period, and controls underwent a single MRI. For each subject, we derived a summary score representing deviations in whole brain white matter (1) extracellular free water volume fraction (VF) and (2) free water-corrected fractional anisotropy (fw-FA). The summary specific anomaly score (SAS) for VF was significantly higher in TBI patients in the subacute and chronic post-injury period relative to controls. SAS for VF significantly correlated with neuropsychological functioning in the subacute, but not chronic post-injury period. These findings indicate abnormalities in whole brain white matter extracellular water fraction in patients with TBI and are an important step toward identifying and validating noninvasive biomarkers that map onto the pathology driving disability after TBI. △ Less

Submitted 2 June, 2022; originally announced June 2022.

Change in structural brain network abnormalities after traumatic brain injury determines post-injury recovery

Authors: James J Gugger, Nishant Sinha, Yiming Huang, Alexa Walter, Cillian Lynch, Justin Morrison, Nathan Smyk, Danielle Sandsmark, Ramon Diaz-Arrastia, Kathryn A Davis

Abstract: The trajectory of an individual's recovery after traumatic brain injury (TBI) is heterogeneous, with complete recovery in some cases but persistent disability in others. We hypothesized that changes in structural brain network abnormalities guide the trajectory of an individual's recovery post-injury. Our objective was to characterize the variability in recovery post-TBI by identifying a putative… ▽ More The trajectory of an individual's recovery after traumatic brain injury (TBI) is heterogeneous, with complete recovery in some cases but persistent disability in others. We hypothesized that changes in structural brain network abnormalities guide the trajectory of an individual's recovery post-injury. Our objective was to characterize the variability in recovery post-TBI by identifying a putative neuroimaging biomarker of traumatic axonal injury (TAI) in individuals with mild TBI. We analyzed 70 T1-weighted and diffusion MRIs longitudinally collected from 35 individuals during the subacute and chronic post-injury periods. Each individual underwent longitudinal blood work to characterize blood protein biomarkers of axonal and glial injury and assessment of post-injury recovery in the subacute and chronic periods. By comparing the MRI data of individual cases with 35 controls, we estimated the longitudinal change in structural brain network abnormalities. We validated this proxy measure of TAI with independent measures of acute intracranial injury estimated from head CT and blood protein biomarkers. Post-injury structural network abnormality was significantly higher than controls in both subacute and chronic periods, associated with an acute CT lesion and subacute blood levels of glial fibrillary acid protein (r=0.5, p=0.008) and neurofilament light (r=0.41, p=0.02). Longitudinal change in abnormality associated with change in functional outcome status (r=-0.51, p=0.003) and post-concussive symptoms (BSI: r=0.46, p=0.03; RPQ:r = 0.46, p=0.02). Brain regions that most closely mapped onto symptom change over time corresponded to structural network hubs or areas susceptible to neurotrauma. Structural network abnormalities might be a biomarker of TAI. Assessing changes in brain network abnormality might enable better patient stratification for monitoring recovery after neurotrauma. △ Less

Submitted 29 May, 2022; originally announced May 2022.

Comments: 34 pages, 8 figures, 2 tables

ACL2s Systems Programming

Authors: Andrew T. Walter, Panagiotis Manolios

Abstract: ACL2 provides a systems programming capability that allows one to write code that uses and extends ACL2 inside of ACL2. However, for soundness reasons, ACL2 bars the unrestricted use of certain kinds of programming constructs, like destructive updates, higher-order functions, eval, and arbitrary macros. We devised a methodology for writing code in Common Lisp that allows one to access ACL2, ACL2s… ▽ More ACL2 provides a systems programming capability that allows one to write code that uses and extends ACL2 inside of ACL2. However, for soundness reasons, ACL2 bars the unrestricted use of certain kinds of programming constructs, like destructive updates, higher-order functions, eval, and arbitrary macros. We devised a methodology for writing code in Common Lisp that allows one to access ACL2, ACL2s, and Common Lisp functionality in a unified way. We arrived at this methodology in the process of develo** the ACL2 Sedan (ACL2s) and using it as a key component in formal-methods-enabled projects relating to gamified verification, education, proof checking, interfacing with external theorem provers and security. The methodology includes a library for performing ACL2 queries from Common Lisp, as well as guidelines and utilities that help address common needs. We call this methodology "ACL2s systems programming," to distinguish it from ACL2 systems programming. We show how our methodology makes it possible to easily develop tools that interface with ACL2 and ACL2s, and describe our experience using it in our research. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Comments: In Proceedings ACL2 2022, arXiv:2205.11103

ACM Class: D.2.4

Journal ref: EPTCS 359, 2022, pp. 134-150

Quantisation and its breakdown in a Hubbard-Thouless pump

Authors: Anne-Sophie Walter, Zijie Zhu, Marius Gächter, Joaquín Minguzzi, Stephan Roschinski, Kilian Sandholzer, Konrad Viebahn, Tilman Esslinger

Abstract: Geometric properties of waves and wave functions can explain the appearance of integer-valued observables throughout physics. For example, these 'topological' invariants describe the plateaux observed in the quantised Hall effect and the pumped charge in its dynamic analogon, the Thouless pump. However, the presence of interparticle interactions can profoundly affect the topology of a material, in… ▽ More Geometric properties of waves and wave functions can explain the appearance of integer-valued observables throughout physics. For example, these 'topological' invariants describe the plateaux observed in the quantised Hall effect and the pumped charge in its dynamic analogon, the Thouless pump. However, the presence of interparticle interactions can profoundly affect the topology of a material, invalidating the idealised formulation in terms of Bloch waves. Despite pioneering experiments in solid state systems, photonic waveguides, and optical lattices, the study of topological insulators under variation of inter-particle interactions has proven challenging. Here, we experimentally realise a topological Thouless pump with tuneable Hubbard interactions in an optical lattice and observe regimes with robust pum**, as well as an interaction-induced breakdown. We confirm the pump's robustness against interactions that are smaller than the protecting gap, which holds true for both repulsive and attractive Hubbard $U$. Furthermore, we identify that bound pairs of fermions are responsible for quantised transport at strongly attractive $U$, supported by measurements of pair fraction and adiabaticity. For strong repulsive interactions, on the contrary, topological pum** breaks down. Yet, we can reinstate quantised pum** by modifying the pump trajectory while starting from the same initial state. Our experiments pave the way for investigating interacting topological insulators, including edge effects and interaction-induced topological phases. △ Less

Submitted 10 August, 2023; v1 submitted 13 April, 2022; originally announced April 2022.

Journal ref: Nat. Phys. (2023)

Topological pum** in a Floquet-Bloch band

Authors: Joaquín Minguzzi, Zijie Zhu, Kilian Sandholzer, Anne-Sophie Walter, Konrad Viebahn, Tilman Esslinger

Abstract: Constructing new topological materials is of vital interest for the development of robust quantum applications. However, engineering such materials often causes technological overhead, such as large magnetic fields, specific lattice geometries, strong spin-orbit coupling, synthetic dimensions, or dynamical superlattice potentials. Simplifying the experimental requirements has been addressed on a c… ▽ More Constructing new topological materials is of vital interest for the development of robust quantum applications. However, engineering such materials often causes technological overhead, such as large magnetic fields, specific lattice geometries, strong spin-orbit coupling, synthetic dimensions, or dynamical superlattice potentials. Simplifying the experimental requirements has been addressed on a conceptual level - by proposing to combine simple lattice structures with Floquet engineering - but there has been no experimental implementation. Here, we demonstrate topological pum** in a Floquet-Bloch band using a plain sinusoidal lattice potential and two-tone driving with frequencies $ω$ and $2ω$. We adiabatically prepare a near-insulating Floquet band of ultracold fermions via a frequency chirp, which avoids gap closings en route from trivial to topological bands. Subsequently, we induce topological pum** by slowly cycling the amplitude and the phase of the $2 ω$ drive. Our system is well described by an effective Shockley model, establishing a novel paradigm to engineer topological matter from simple underlying lattice geometries. This approach could enable the application of quantised pum** in metrology, following recent experimental advances on two-frequency driving in real materials. △ Less

Submitted 8 November, 2022; v1 submitted 23 December, 2021; originally announced December 2021.

Comments: 13 pages, 11 figures

Floquet engineering of individual band gaps in an optical lattice using a two-tone drive

Authors: Kilian Sandholzer, Anne-Sophie Walter, Joaquín Minguzzi, Zijie Zhu, Konrad Viebahn, Tilman Esslinger

Abstract: The dynamic engineering of band structures for ultracold atoms in optical lattices represents an innovative approach to understand and explore the fundamental principles of topological matter. In particular, the folded Floquet spectrum determines the associated band topology via band inversion. We experimentally and theoretically study two-frequency phase modulation to asymmetrically hybridize the… ▽ More The dynamic engineering of band structures for ultracold atoms in optical lattices represents an innovative approach to understand and explore the fundamental principles of topological matter. In particular, the folded Floquet spectrum determines the associated band topology via band inversion. We experimentally and theoretically study two-frequency phase modulation to asymmetrically hybridize the lowest two bands of a one-dimensional lattice. Using quasi-degenerate perturbation theory in the extended Floquet space we derive an effective two-band model that quantitatively describes our setting. The energy gaps are experimentally probed via Landau-Zener transitions between Floquet-Bloch bands using an accelerated Bose-Einstein condensate. Separate and simultaneous control over the closing and reopening of these band gaps is demonstrated. We find good agreement between experiment and theory, establishing an analytic description for resonant Floquet-Bloch engineering that includes single- and multi-photon couplings, as well as interference effects between several commensurate drives. △ Less

Submitted 21 December, 2021; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: 18 pages, 8 figures

Journal ref: Phys. Rev. Research 4, 013056 (2022)

A Reasoning Engine for the Gamification of Loop-Invariant Discovery

Authors: Andrew Walter, Seth Cooper, Panagiotis Manolios

Abstract: We describe the design and implementation of a reasoning engine that facilitates the gamification of loop-invariant discovery. Our reasoning engine enables students, computational agents and regular software engineers with no formal methods expertise to collaboratively prove interesting theorems about simple programs using browser-based, online games. Within an hour, players are able to specify an… ▽ More We describe the design and implementation of a reasoning engine that facilitates the gamification of loop-invariant discovery. Our reasoning engine enables students, computational agents and regular software engineers with no formal methods expertise to collaboratively prove interesting theorems about simple programs using browser-based, online games. Within an hour, players are able to specify and verify properties of programs that are beyond the capabilities of fully-automated tools. The hour limit includes the time for setting up the system, completing a short tutorial explaining game play and reasoning about simple imperative programs. Players are never required to understand formal proofs; they only provide insights by proposing invariants. The reasoning engine is responsible for managing and evaluating the proposed invariants, as well as generating actionable feedback. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Impedance-matched differential superconducting nanowire detectors

Authors: Marco Colangelo, Boris Korzh, Jason P. Allmaras, Andrew D. Beyer, Andrew S. Mueller, Ryan M. Briggs, Bruce Bumble, Marcus Runyan, Martin J. Stevens, Adam N. McCaughan, Di Zhu, Stephen Smith, Wolfgang Becker, Lautaro Narváez, Joshua C. Bienfang, Simone Frasca, Angel E. Velasco, Cristián H. Peña, Edward E. Ramirez, Alexander B. Walter, Ekkehart Schmidt, Emma E. Wollman, Maria Spiropulu, Richard Mirin, Sae Woo Nam , et al. (2 additional authors not shown)

Abstract: Superconducting nanowire single-photon detectors (SNSPDs) are the highest performing photon-counting technology in the near-infrared (NIR). Due to delay-line effects, large area SNSPDs typically trade-off timing resolution and detection efficiency. Here, we introduce a detector design based on transmission line engineering and differential readout for device-level signal conditioning, enabling a h… ▽ More Superconducting nanowire single-photon detectors (SNSPDs) are the highest performing photon-counting technology in the near-infrared (NIR). Due to delay-line effects, large area SNSPDs typically trade-off timing resolution and detection efficiency. Here, we introduce a detector design based on transmission line engineering and differential readout for device-level signal conditioning, enabling a high system detection efficiency and a low detector jitter, simultaneously. To make our differential detectors compatible with single-ended time taggers, we also engineer analog differential-to-single-ended readout electronics, with minimal impact on the system timing resolution. Our niobium nitride differential SNSPDs achieve $47.3\,\% \pm 2.4\,\%$ system detection efficiency and sub-$10\,\mathrm{ps}$ system jitter at $775\,\mathrm{nm}$, while at $1550\,\mathrm{nm}$ they achieve $71.1\,\% \pm 3.7\,\%$ system detection efficiency and $13.1\,\mathrm{ps} \pm 0.4\,\mathrm{ps}$ system jitter. These detectors also achieve sub-100 ps timing response at one one-hundredth maximum level, $30.7\,\mathrm{ps} \pm 0.4\,\mathrm{ps}$ at $775\,\mathrm{nm}$ and $47.6\,\mathrm{ps} \pm 0.4\,\mathrm{ps}$ at $1550\,\mathrm{nm}$, enabling time-correlated single-photon counting with high dynamic range response functions. Furthermore, thanks to the differential impedance-matched design, our detectors exhibit delay-line imaging capabilities and photon-number resolution. The properties and high-performance metrics achieved by our system make it a versatile photon-detection solution for many scientific applications. △ Less

Submitted 17 August, 2021; originally announced August 2021.

In situ investigation of conducting interface formation in LaAlO3/SrTiO3 heterostructure

Authors: Hyang Keun Yoo, Luca Moreschini, Aaron Bostwick, Andrew L. Walter, Tae Won Noh, Eli Rotenberg, Young Jun Chang

Abstract: The high-mobility conducting interface (CI) between LaAlO_{3}(LAO) and SrTiO_{3}(STO) has revealed many fascinating phenomena, including exotic magnetism and superconductivity. But, the formation mechanism of the CI has not been conclusively explained. Here, using in situ angle-resolved photoemission spectroscopy, we elucidated the mechanisms for the CI formation. In as-grown samples, we observed… ▽ More The high-mobility conducting interface (CI) between LaAlO_{3}(LAO) and SrTiO_{3}(STO) has revealed many fascinating phenomena, including exotic magnetism and superconductivity. But, the formation mechanism of the CI has not been conclusively explained. Here, using in situ angle-resolved photoemission spectroscopy, we elucidated the mechanisms for the CI formation. In as-grown samples, we observed a built-in potential (V_{bi}) proportional to the polar LAO thickness starting from the first unit cell (UC) with CI formation appearing above 3 UCs. However, we found that the V bi is removed by synchrotron ultraviolet (UV)-irradiation; The built-in potential is recovered by oxygen gas (O_{2}(g))-exposure. Furthermore, after UV-irradiation, the CI appears even below 3UC of LAO. Our results demonstrate not only the V_{bi}-driven CI formation in asgrown LAO/STO, but also a new route to control of the interface state by UV lithographic patterning or other surface modification. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: 18 pages, 4 figures

Enhanced tunability of two-dimensional electron gas on SrTiO3 through heterostructuring

Authors: Hyang Keun Yoo, Luca Moreschini, Andrew L. Walter, Aaron Bostwick, Karsten Horn, Eli Rotenberg, Young Jun Chang

Abstract: Two-dimensional electron gases (2DEGs) on the SrTiO3 (STO) surface or in STO-based heterostructures have exhibited many intriguing phenomena, which are strongly dependent on the 2DEG-carrier density. We report that the tunability of the 2DEG-carrier density is significantly enhanced by adding a monolayer LaTiO3 (LTO) onto the STO. Ultraviolet (UV) irradiation induced maximum carrier density of the… ▽ More Two-dimensional electron gases (2DEGs) on the SrTiO3 (STO) surface or in STO-based heterostructures have exhibited many intriguing phenomena, which are strongly dependent on the 2DEG-carrier density. We report that the tunability of the 2DEG-carrier density is significantly enhanced by adding a monolayer LaTiO3 (LTO) onto the STO. Ultraviolet (UV) irradiation induced maximum carrier density of the 2DEG in LTO/STO is increased by a factor of ~4 times, compared to that of the bare STO. By oxygen gas exposure, it becomes 10 times smaller than that of the bare STO. This enhanced tunability is attributed to the drastic surface property change of a polar LTO layer by UV irradiation and O2 exposure. This indicates that the 2DEG controllability in LTO/STO is more reliable than that on the bare STO driven by defects, such an oxygen vacancy. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: 19 pages, 4 figures

Journal ref: Current Applied Physics 20, 1268 (2020)

End-to-end Deep Learning Pipeline for Microwave Kinetic Inductance Detector (MKID) Resonator Identification and Tuning

Authors: Neelay Fruitwala, Alex B Walter, John I Bailey III, Rupert Dodkins, Benjamin A Mazin

Abstract: We present the development of a machine learning based pipeline to fully automate the calibration of the frequency comb used to read out optical/IR Microwave Kinetic Inductance Detector (MKID) arrays. This process involves determining the resonant frequency and optimal drive power of every pixel (i.e. resonator) in the array, which is typically done manually. Modern optical/IR MKID arrays, such as… ▽ More We present the development of a machine learning based pipeline to fully automate the calibration of the frequency comb used to read out optical/IR Microwave Kinetic Inductance Detector (MKID) arrays. This process involves determining the resonant frequency and optimal drive power of every pixel (i.e. resonator) in the array, which is typically done manually. Modern optical/IR MKID arrays, such as DARKNESS (DARK-speckle Near-infrared Energy-resolving Superconducting Spectrophotometer) and MEC (MKID Exoplanet Camera), contain 10-20,000 pixels, making the calibration process extremely time consuming; each 2000 pixel feedline requires 4-6 hours of manual tuning. Here we present a pipeline which uses a single convolutional neural network (CNN) to perform both resonator identification and tuning simultaneously. We find that our pipeline has performance equal to that of the manual tuning process, and requires just twelve minutes of computational time per feedline. △ Less

Submitted 2 April, 2021; originally announced April 2021.

Comments: 28 pages, 13 figures

SCExAO/MEC and CHARIS Discovery of a Low Mass, 6 AU-Separation Companion to HIP 109427 using Stochastic Speckle Discrimination and High-Contrast Spectroscopy

Authors: Sarah Steiger, Thayne Currie, Timothy D. Brandt, Olivier Guyon, Masayuki Kuzuhara, Jeffrey Chilcote, Tyler D. Groff, Julien Lozi, Alexander B. Walter, Neelay Fruitwala, John I. Bailey III, Nicholas Zobrist, Noah Swimmer, Isabel Lipartito, Jennifer Pearl Smith, Clint Bockstiegel, Seth R. Meeker, Gregoire Coiffard, Rupert Dodkins, Paul Szypryt, Kristina K. Davis, Miguel Daal, Bruce Bumble, Sebastien Vievard, Ananya Sahoo , et al. (6 additional authors not shown)

Abstract: We report the direct imaging discovery of a low-mass companion to the nearby accelerating A star, HIP 109427, with the Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument coupled with the MKID Exoplanet Camera (MEC) and CHARIS integral field spectrograph. CHARIS data reduced with reference star PSF subtraction yield 1.1-2.4 $μ$m spectra. MEC reveals the companion in $Y$ and $J$ band a… ▽ More We report the direct imaging discovery of a low-mass companion to the nearby accelerating A star, HIP 109427, with the Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument coupled with the MKID Exoplanet Camera (MEC) and CHARIS integral field spectrograph. CHARIS data reduced with reference star PSF subtraction yield 1.1-2.4 $μ$m spectra. MEC reveals the companion in $Y$ and $J$ band at a comparable signal-to-noise ratio using stochastic speckle discrimination, with no PSF subtraction techniques. Combined with complementary follow-up $L_{\rm p}$ photometry from Keck/NIRC2, the SCExAO data favors a spectral type, effective temperature, and luminosity of M4-M5.5, 3000-3200 $K$, and $\log_{10}(L/L_{\rm \odot}) = -2.28^{+0.04}_{-0.04}$, respectively. Relative astrometry of HIP 109427 B from SCExAO/CHARIS and Keck/NIRC2, and complementary Gaia-Hipparcos absolute astrometry of the primary favor a semimajor axis of $6.55^{+3.0}_{-0.48}$ au, an eccentricity of $0.54^{+0.28}_{-0.15}$, an inclination of $66.7^{+8.5}_{-14}$ degrees, and a dynamical mass of $0.280^{+0.18}_{-0.059}$ $M_{\odot}$. This work shows the potential for extreme AO systems to utilize speckle statistics in addition to widely-used post-processing methods to directly image faint companions to nearby stars near the telescope diffraction limit. △ Less

Submitted 12 July, 2021; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: 13 pages, 7 figures, 3 tables

Journal ref: The Astronomical Journal, Volume 162, Number 2, 2021

Single-photon detection in the mid-infrared up to 10 micron wavelength using tungsten silicide superconducting nanowire detectors

Authors: V. B. Verma, B. Korzh, A. B. Walter, A. E. Lita, R. M. Briggs, M. Colangelo, Y. Zhai, E. E. Wollman, A. D. Beyer, J. P. Allmaras, B. Bumble, H. Vora, D. Zhu, E. Schmidt, K. K. Berggren, R. P. Mirin, S. W. Nam, M. D. Shaw

Abstract: We developed superconducting nanowire single-photon detectors (SNSPDs) based on tungsten silicide (WSi) that show saturated internal detection efficiency up to a wavelength of 10 um. These detectors are promising for applications in the mid-infrared requiring ultra-high gain stability, low dark counts, and high efficiency such as chemical sensing, LIDAR, dark matter searches and exoplanet spectros… ▽ More We developed superconducting nanowire single-photon detectors (SNSPDs) based on tungsten silicide (WSi) that show saturated internal detection efficiency up to a wavelength of 10 um. These detectors are promising for applications in the mid-infrared requiring ultra-high gain stability, low dark counts, and high efficiency such as chemical sensing, LIDAR, dark matter searches and exoplanet spectroscopy. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Calibration of the instrumental polarization effects of SCExAO-CHARIS' spectropolarimetric mode

Authors: Rob G. van Holstein, Steven P. Bos, Jasper Ruigrok, Julien Lozi, Olivier Guyon, Barnaby Norris, Frans Snik, Jeffrey Chilcote, Thayne Currie, Tyler D. Groff, Joost 't Hart, Nemanja Jovanovic, Jeremy Kasdin, Tomoyuki Kudo, Frantz Martinache, Ben Mazin, Ananya Sahoo, Motohide Tamura, Sébastien Vievard, Alex Walter, ** Zhang

Abstract: SCExAO at the Subaru telescope is a visible and near-infrared high-contrast imaging instrument employing extreme adaptive optics and coronagraphy. The instrument feeds the near-infrared light (JHK) to the integral field spectrograph CHARIS. Recently, a Wollaston prism was added to CHARIS' optical path, giving CHARIS a spectropolarimetric capability that is unique among high-contrast imaging instru… ▽ More SCExAO at the Subaru telescope is a visible and near-infrared high-contrast imaging instrument employing extreme adaptive optics and coronagraphy. The instrument feeds the near-infrared light (JHK) to the integral field spectrograph CHARIS. Recently, a Wollaston prism was added to CHARIS' optical path, giving CHARIS a spectropolarimetric capability that is unique among high-contrast imaging instruments. We present a detailed Mueller matrix model describing the instrumental polarization effects of the complete optical path, thus the telescope and instrument. The 22 wavelength bins of CHARIS provide a unique opportunity to investigate in detail the wavelength dependence of the instrumental polarization effects. From measurements with the internal light source, we find that the image derotator (K-mirror) produces strong wavelength-dependent crosstalk, in the worst case converting ~95% of the incident linear polarization to circularly polarized light that cannot be measured. Theoretical calculations show that the magnitude of the instrumental polarization of the telescope varies with wavelength between approximately 0.5% and 0.7%, and that its angle is exactly equal to the altitude angle of the telescope. We plan to more accurately determine the instrumental polarization of the telescope with observations of a polarization standard star, and fit more comprehensive physical models to all experimental data. In addition, we plan to integrate the complete Mueller matrix model into the existing CHARIS post-processing pipeline, with the aim to achieve a polarimetric accuracy of <0.1% in the degree of linear polarization. Our calibrations of CHARIS' spectropolarimetric mode will enable unique quantitative polarimetric studies of circumstellar disks and planetary and brown dwarf companions. △ Less

Submitted 1 December, 2020; originally announced December 2020.

Comments: 14 pages, 7 figures, submitted to SPIE Astronomical Telescopes + Instrumentation 2020

Second Generation Readout For Large Format Photon Counting Microwave Kinetic Inductance Detectors

Authors: Neelay Fruitwala, Paschal Strader, Gustavo Cancelo, Ted Zmuda, Ken Treptow, Neal Wilcer, Chris Stoughton, Alex B. Walter, Nicholas Zobrist, Giulia Collura, Isabel Lipartito, John I. Bailey III, Benjamin A. Mazin

Abstract: We present the development of a second generation digital readout system for photon counting microwave kinetic inductance detector (MKID) arrays operating in the optical and near-IR wavelength bands. Our system retains much of the core signal processing architecture from the first generation system, but with a significantly higher bandwidth, enabling readout of kilopixel MKID arrays. Each set of r… ▽ More We present the development of a second generation digital readout system for photon counting microwave kinetic inductance detector (MKID) arrays operating in the optical and near-IR wavelength bands. Our system retains much of the core signal processing architecture from the first generation system, but with a significantly higher bandwidth, enabling readout of kilopixel MKID arrays. Each set of readout boards is capable of reading out 1024 MKID pixels multiplexed over 2 GHz of bandwidth; two such units can be placed in parallel to read out a full 2048 pixel microwave feedline over a 4 -- 8 GHz band. As in the first generation readout, our system is capable of identifying, analyzing, and recording photon detection events in real time with a time resolution of order a few microseconds. Here, we describe the hardware and firmware, and present an analysis of the noise properties of the system. We also present a novel algorithm for efficiently suppressing IQ mixer sidebands to below -30 dBc. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Comments: 12 pages, 12 figures

The MKID Exoplanet Camera for Subaru SCExAO

Authors: Alexander B. Walter, Neelay Fruitwala, Sarah Steiger, John I. Bailey III, Nicholas Zobrist, Noah Swimmer, Isabel Lipartito, Jennifer Pearl Smith, Seth R. Meeker, Clint Bockstiegel, Gregoire Coiffard, Rupert Dodkins, Paul Szypryt, Kristina K. Davis, Miguel Daal, Bruce Bumble, Giulia Collura, Olivier Guyon, Julien Lozi, Sebastien Vievard, Nemanja Jovanovic, Frantz Martinache, Thayne Currie, Benjamin A. Mazin

Abstract: We present the MKID Exoplanet Camera (MEC), a z through J band (800 - 1400 nm) integral field spectrograph located behind The Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) at the Subaru Telescope on Maunakea that utilizes Microwave Kinetic Inductance Detectors (MKIDs) as the enabling technology for high contrast imaging. MEC is the first permanently deployed near-infrared MKID instrument a… ▽ More We present the MKID Exoplanet Camera (MEC), a z through J band (800 - 1400 nm) integral field spectrograph located behind The Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) at the Subaru Telescope on Maunakea that utilizes Microwave Kinetic Inductance Detectors (MKIDs) as the enabling technology for high contrast imaging. MEC is the first permanently deployed near-infrared MKID instrument and is designed to operate both as an IFU, and as a focal plane wavefront sensor in a multi-kHz feedback loop with SCExAO. The read noise free, fast time domain information attainable by MKIDs allows for the direct probing of fast speckle fluctuations that currently limit the performance of most high contrast imaging systems on the ground and will help MEC achieve its ultimate goal of reaching contrasts of $10^{-7}$ at 2$λ/ D$. Here we outline the instrument details of MEC including the hardware, firmware, and data reduction and analysis pipeline. We then discuss MEC's current on-sky performance and end with future upgrades and plans. △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: To be published in Publications of the Astronomical Society of the Pacific

Flexible Coaxial Ribbon Cable for High-Density Superconducting Microwave Device Arrays

Authors: Jennifer Pearl Smith, Benjamin A. Mazin, Alex B. Walter, Miguel Daal, J. I. Bailey, III, Clinton Bockstiegel, Nicholas Zobrist, Noah Swimmer, Sarah Steiger, Neelay Fruitwala

Abstract: Superconducting electronics often require high-density microwave interconnects capable of transporting signals between temperature stages with minimal loss, cross talk, and heat conduction. We report the design and fabrication of superconducting 53 wt% Nb-47 wt% Ti (Nb47Ti) FLexible coAXial ribbon cables (FLAX). The ten traces each consist of a 0.076 mm O.D. NbTi inner conductor insulated with PFA… ▽ More Superconducting electronics often require high-density microwave interconnects capable of transporting signals between temperature stages with minimal loss, cross talk, and heat conduction. We report the design and fabrication of superconducting 53 wt% Nb-47 wt% Ti (Nb47Ti) FLexible coAXial ribbon cables (FLAX). The ten traces each consist of a 0.076 mm O.D. NbTi inner conductor insulated with PFA (0.28 mm O.D.) and sheathed in a shared 0.025 mm thick Nb47Ti outer conductor. The cable is terminated with G3PO coaxial push-on connectors via stainless steel capillary tubing (1.6 mm O.D., 0.13 mm thick) soldered to a coplanar wave guide transition board. The 30 cm long cable has 1 dB of loss at 8 GHz with -60 dB nearest-neighbor forward cross talk. The loss is 0.5 dB more than commercially available superconducting coax likely due to impedance mismatches caused by manufacturing imperfections in the cable. The reported cross talk is 30 dB lower than previously developed laminated NbTi-onKapton microstrip cables. We estimate the heat load from 1 K to 90 mK to be 20 nW per trace, approximately half the computed load from the smallest commercially available superconducting coax from CryoCoax △ Less

Submitted 13 July, 2020; originally announced July 2020.

Comments: in IEEE Transactions on Applied Superconductivity

Towards unification of perovskite stability and photovoltaic performance assessment

Authors: Bernard Wenger, Henry J. Snaith, Isabel H. Sörensen, Johannes Ripperger, Samrana Kazim, Shahzada Ahmad, Edgar R. Nandayapa, Christine Boeffel, Silvia Colodrero, Miguel Anaya, Samuel D. Stranks, Iván Mora-Seró, Terry Chien-Jen Yang, Matthias Bräuninger, Thorsten Rissom, Tom Aernouts, Maria Hadjipanayi, Vasiliki Paraskeva, George E. Georghiou, Alison B. Walker, Arnaud Walter, Sylvain Nicolay

Abstract: With the rapid progress of perovskite photovoltaics (PV), further challenges arise to meet meet the minimum standards required for commercial deployment. Along with the push towards higher efficiencies, we identify a need to improve the quality and uniformity of reported research data and to focus efforts upon understanding and overcoming failures during operation. In this perspective, as a large… ▽ More With the rapid progress of perovskite photovoltaics (PV), further challenges arise to meet meet the minimum standards required for commercial deployment. Along with the push towards higher efficiencies, we identify a need to improve the quality and uniformity of reported research data and to focus efforts upon understanding and overcoming failures during operation. In this perspective, as a large and representative consortium of researchers active in this field, we discuss which methods require special attention and issue a series of recommendations to improve research practices and reporting. △ Less

Submitted 27 April, 2020; v1 submitted 24 April, 2020; originally announced April 2020.

Suppressing dissipation in a Floquet-Hubbard system

Authors: Konrad Viebahn, Joaquìn Minguzzi, Kilian Sandholzer, Anne-Sophie Walter, Frederik Görg, Tilman Esslinger

Abstract: The concept of `Floquet engineering' relies on an external periodic drive to realise novel, effectively static Hamiltonians. This technique is being explored in experimental platforms across physics, including ultracold atoms, laser-driven electron systems, nuclear magnetic resonance, and trapped ions. The key challenge in Floquet engineering is to avoid the uncontrolled absorption of photons from… ▽ More The concept of `Floquet engineering' relies on an external periodic drive to realise novel, effectively static Hamiltonians. This technique is being explored in experimental platforms across physics, including ultracold atoms, laser-driven electron systems, nuclear magnetic resonance, and trapped ions. The key challenge in Floquet engineering is to avoid the uncontrolled absorption of photons from the drive, especially in interacting systems in which the excitation spectrum becomes effectively dense. The resulting dissipative coupling to higher-lying modes, such as the excited bands of an optical lattice, has been explored in recent experimental and theoretical works, but the demonstration of a broadly applicable method to mitigate this effect is lacking. Here, we show how two-path quantum interference, applied to strongly-correlated fermions in a driven optical lattice, suppresses dissipative coupling to higher bands and increases the lifetime of double occupancies and spin-correlations by two to three orders of magnitude. Interference is achieved by introducing a weak second modulation at twice the fundamental driving frequency with a definite relative phase. This technique is shown to suppress dissipation in both weakly and strongly interacting regimes of a driven Hubbard system, opening an avenue to realising low-temperature phases of matter in interacting Floquet systems. △ Less

Submitted 12 March, 2020; originally announced March 2020.

Comments: 9 pages, 4 figures

Journal ref: Phys. Rev. X 11, 011057 (2021)

Brain perfusion mediates the relationship between miRNA levels and postural control

Authors: Yufen Chen, Amy A Herrold, Zoran Martinovich, Anne J Blood, Nicole Vike, Alexa E Walter, Jaroslaw Harezlak, Peter H Seidenberg, Manish Bhomia, Barbara Knollmann-Ritschel, James L Reilly, Eric A Nauman, Thomas M Talavage, Linda Papa, Semyon Slobounov, Hans C Breiter

Abstract: Transcriptomics, regional cerebral blood flow (rCBF), and a spatial motor virtual reality task were integrated using mediation analysis in a novel demonstration of "imaging omics". Data collected in NCAA Division I football athletes cleared for play before in-season training showed significant relationships in a) elevated levels of miR-30d and miR-92a to elevated putamen rCBF, (b) elevated putamen… ▽ More Transcriptomics, regional cerebral blood flow (rCBF), and a spatial motor virtual reality task were integrated using mediation analysis in a novel demonstration of "imaging omics". Data collected in NCAA Division I football athletes cleared for play before in-season training showed significant relationships in a) elevated levels of miR-30d and miR-92a to elevated putamen rCBF, (b) elevated putamen rCBF to compromised balance scores, and (c) compromised balance scores to elevated miRNA levels. rCBF acted as a mediator variable (minimum 70% mediation, significant Sobel's test) between abnormal miRNA levels and compromised balance scores. Given the involvement of these miRNAs in inflammation and immune function, and that vascular perfusion is a component of the inflammatory response, these findings support a chronic inflammatory model of repetitive head acceleration events (HAEs). rCBF, a systems biology measure, was necessary for miRNA to affect behavior. These results suggest miRNA as a potential diagnostic biomarker for repetitive HAEs. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Comments: 32 pages, 2 figures, 5 tables

Design and Performance of Hafnium Optical and Near-IR Kinetic Inductance Detectors

Authors: Nicholas Zobrist, Grégoire Coiffard, Bruce Bumble, Noah Swimmer, Sarah Steiger, Miguel Daal, Giulia Collura, Alex B. Walter, Clint Bockstiegel, Neelay Fruitwala, Isabel Lipartito, Benjamin A. Mazin

Abstract: We report on the design and performance of Microwave Kinetic Inductance Detectors (MKIDs) sensitive to single photons in the optical to near-infrared range using hafnium as the sensor material. Our test device had a superconducting transition temperature of 395 mK and a room temperature normal state resistivity of 97 $μΩ$ cm with an RRR = 1.6. Resonators on the device displayed internal quality fa… ▽ More We report on the design and performance of Microwave Kinetic Inductance Detectors (MKIDs) sensitive to single photons in the optical to near-infrared range using hafnium as the sensor material. Our test device had a superconducting transition temperature of 395 mK and a room temperature normal state resistivity of 97 $μΩ$ cm with an RRR = 1.6. Resonators on the device displayed internal quality factors of around 200,000. Similar to the analysis of MKIDs made from other highly resistive superconductors, we find that modeling the temperature response of the detector requires an extra broadening parameter in the superconducting density of states. Finally, we show that this material and design is compatible with a full-array fabrication process which resulted in pixels with decay times of about 40 $μ$s and resolving powers of ~9 at 800 nm. △ Less

Submitted 14 November, 2019; originally announced November 2019.

Building an Aerial-Ground Robotics System for Precision Farming: An Adaptable Solution

Authors: Alberto Pretto, Stéphanie Aravecchia, Wolfram Burgard, Nived Chebrolu, Christian Dornhege, Tillmann Falck, Freya Fleckenstein, Alessandra Fontenla, Marco Imperoli, Raghav Khanna, Frank Liebisch, Philipp Lottes, Andres Milioto, Daniele Nardi, Sandro Nardi, Johannes Pfeifer, Marija Popović, Ciro Potena, Cédric Pradalier, Elisa Rothacker-Feder, Inkyu Sa, Alexander Schaefer, Roland Siegwart, Cyrill Stachniss, Achim Walter , et al. (3 additional authors not shown)

Abstract: The application of autonomous robots in agriculture is gaining increasing popularity thanks to the high impact it may have on food security, sustainability, resource use efficiency, reduction of chemical treatments, and the optimization of human effort and yield. With this vision, the Flourish research project aimed to develop an adaptable robotic solution for precision farming that combines the a… ▽ More The application of autonomous robots in agriculture is gaining increasing popularity thanks to the high impact it may have on food security, sustainability, resource use efficiency, reduction of chemical treatments, and the optimization of human effort and yield. With this vision, the Flourish research project aimed to develop an adaptable robotic solution for precision farming that combines the aerial survey capabilities of small autonomous unmanned aerial vehicles (UAVs) with targeted intervention performed by multi-purpose unmanned ground vehicles (UGVs). This paper presents an overview of the scientific and technological advances and outcomes obtained in the project. We introduce multi-spectral perception algorithms and aerial and ground-based systems developed for monitoring crop density, weed pressure, crop nitrogen nutrition status, and to accurately classify and locate weeds. We then introduce the navigation and map** systems tailored to our robots in the agricultural environment, as well as the modules for collaborative map**. We finally present the ground intervention hardware, software solutions, and interfaces we implemented and tested in different field conditions and with different crops. We describe a real use case in which a UAV collaborates with a UGV to monitor the field and to perform selective spraying without human intervention. △ Less

Submitted 7 June, 2022; v1 submitted 8 November, 2019; originally announced November 2019.

Comments: Published in IEEE Robotics & Automation Magazine, vol. 28, no. 3, pp. 29-49, Sept. 2021

Journal ref: IEEE Robotics & Automation Magazine, vol. 28, no. 3, pp. 29-49, Sept. 2021

Optical and Near-IR Microwave Kinetic Inductance Detectors (MKIDs) in the 2020s

Authors: Benjamin A. Mazin, Jeb Bailey, Jo Bartlett, Clint Bockstiegel, Bruce Bumble, Gregoire Coiffard, Thayne Currie, Miguel Daal, Kristina Davis, Rupert Dodkins, Neelay Fruitwala, Nemanja Jovanovic, Isabel Lipartito, Julien Lozi, Jared Males, Dimitri Mawet, Seth Meeker, Kieran O'Brien, Michael Rich, Jenny Smith, Sarah Steiger, Noah Swimmer, Alex Walter, Nick Zobrist, Jonas Zmuidzinas

Abstract: Optical and near-IR Microwave Kinetic Inductance Detectors, or MKIDs, are superconducting photon counting detectors capable of measuring the energy and arrival time of individual OIR photons without read noise or dark current. In this whitepaper we will discuss the current status of OIR MKIDs and MKID-based instruments. Optical and near-IR Microwave Kinetic Inductance Detectors, or MKIDs, are superconducting photon counting detectors capable of measuring the energy and arrival time of individual OIR photons without read noise or dark current. In this whitepaper we will discuss the current status of OIR MKIDs and MKID-based instruments. △ Less

Submitted 7 August, 2019; originally announced August 2019.

Comments: Astro2020 APC Whitepaper. 16 pages, 10 figures

Stochastic Speckle Discrimination with Time-Tagged Photon Lists: Digging Below the Speckle Noise Floor

Authors: Alex B. Walter, Clinton Bockstiegel, Timothy D. Brandt, Benjamin A. Mazin

Abstract: We present an algorithm that uses the distribution of photon arrival times to distinguish speckles from incoherent sources, like planets and disks, in high contrast images. Using simulated data, we show that our approach can overcome the noise limit from fluctuating speckle intensity. The algorithm is likely to be most advantageous when a coronagraph limits the coherent diffraction pattern in the… ▽ More We present an algorithm that uses the distribution of photon arrival times to distinguish speckles from incoherent sources, like planets and disks, in high contrast images. Using simulated data, we show that our approach can overcome the noise limit from fluctuating speckle intensity. The algorithm is likely to be most advantageous when a coronagraph limits the coherent diffraction pattern in the image plane but the intensity is still strongly modulated by fast-timescale uncorrected stellar light, for example from atmospheric turbulence. These conditions are common at small inner working angles and will allow probing of exoplanet populations at smaller angular separations. The technique requires a fast science camera that can temporally resolve the speckle fluctuations, and the detection of many photons per speckle decorrelation time. Since the algorithm directly extracts the incoherent light, standard differential imaging post-processing techniques can be performed afterwards to further boost the signal. △ Less

Submitted 7 June, 2019; originally announced June 2019.

Journal ref: PASP, 131, 2019, 114506

SCExAO, an instrument with a dual purpose: perform cutting-edge science and develop new technologies

Authors: Julien Lozi, Olivier Guyon, Nemanja Jovanovic, Sean Goebel, Prashant Pathak, Nour Skaf, Ananya Sahoo, Barnaby Norris, Frantz Martinache, Mamadou N'Diaye, Ben Mazin, Alex B. Walter, Peter Tuthill, Tomoyuki Kudo, Hajime Kawahara, Takayuki Kotani, Michael Ireland, Nick Cvetojevic, Elsa Huby, Sylvestre Lacour, Sebastien Vievard, Tyler D. Groff, Jeffrey K. Chilcote, Jeremy Kasdin, Justin Knight , et al. (9 additional authors not shown)

Abstract: The Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument is an extremely modular high-contrast instrument installed on the Subaru telescope in Hawaii. SCExAO has a dual purpose. Its position in the northern hemisphere on a 8-meter telescope makes it a prime instrument for the detection and characterization of exoplanets and stellar environments over a large portion of the sky. In addit… ▽ More The Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument is an extremely modular high-contrast instrument installed on the Subaru telescope in Hawaii. SCExAO has a dual purpose. Its position in the northern hemisphere on a 8-meter telescope makes it a prime instrument for the detection and characterization of exoplanets and stellar environments over a large portion of the sky. In addition, SCExAO's unique design makes it the ideal instrument to test innovative technologies and algorithms quickly in a laboratory setup and subsequently deploy them on-sky. SCExAO benefits from a first stage of wavefront correction with the facility adaptive optics AO188, and splits the 600-2400 nm spectrum towards a variety of modules, in visible and near infrared, optimized for a large range of science cases. The integral field spectrograph CHARIS, with its J, H or K-band high-resolution mode or its broadband low-resolution mode, makes SCExAO a prime instrument for exoplanet detection and characterization. Here we report on the recent developments and scientific results of the SCExAO instrument. Recent upgrades were performed on a number of modules, like the visible polarimetric module VAMPIRES, the high-performance infrared coronagraphs, various wavefront control algorithms, as well as the real-time controller of AO188. The newest addition is the 20k-pixel Microwave Kinetic Inductance Detector (MKIDS) Exoplanet Camera (MEC) that will allow for previously unexplored science and technology developments. MEC, coupled with novel photon-counting speckle control, brings SCExAO closer to the final design of future high-contrast instruments optimized for Giant Segmented Mirror Telescopes (GSMTs). △ Less

Submitted 21 September, 2018; originally announced September 2018.

Comments: 12 pages, 9 figures, conference proceedings (SPIE Astronomical telescopes and instrumentation 2018)

Journal ref: Proceedings Volume 10703, Adaptive Optics Systems VI; 1070359 (2018)