-
Bayesian Inference General Procedures for A Single-subject Test Study
Authors:
Jie Li,
Gary Green,
Sarah J. A. Carr,
Peng Liu,
Jian Zhang
Abstract:
This paper presents a Bayesian Inference General Procedures for A Single-Subject Test (BIGPAST), designed to mitigate the effects of skewness. BIGPAST operates under the null hypothesis that the single-subject follows the same distribution as the control group.
We assess BIGPAST's performance against other methods through a series of simulation studies. The results demonstrate that BIGPAST is ro…
▽ More
This paper presents a Bayesian Inference General Procedures for A Single-Subject Test (BIGPAST), designed to mitigate the effects of skewness. BIGPAST operates under the null hypothesis that the single-subject follows the same distribution as the control group.
We assess BIGPAST's performance against other methods through a series of simulation studies. The results demonstrate that BIGPAST is robust against deviations from normality and outperforms the existing approaches in terms of accuracy. This is because BIGPAST can effectively reduce model misspecification errors under the skewed Student's \( t \) assumption. We apply BIGPAST to a MEG dataset consisting of an individual with mild traumatic brain injury and an age and gender-matched control group, demonstrating its effectiveness in detecting abnormalities in the single-subject.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Pessimistic Iterative Planning for Robust POMDPs
Authors:
Maris F. L. Galesloot,
Marnix Suilen,
Thiago D. Simão,
Steven Carr,
Matthijs T. J. Spaan,
Ufuk Topcu,
Nils Jansen
Abstract:
Robust partially observable Markov decision processes (robust POMDPs) extend classical POMDPs to handle additional uncertainty on the transition and observation probabilities via so-called uncertainty sets. Policies for robust POMDPs must not only be memory-based to account for partial observability but also robust against model uncertainty to account for the worst-case instances from the uncertai…
▽ More
Robust partially observable Markov decision processes (robust POMDPs) extend classical POMDPs to handle additional uncertainty on the transition and observation probabilities via so-called uncertainty sets. Policies for robust POMDPs must not only be memory-based to account for partial observability but also robust against model uncertainty to account for the worst-case instances from the uncertainty sets. We propose the pessimistic iterative planning (PIP) framework, which finds robust memory-based policies for robust POMDPs. PIP alternates between two main steps: (1) selecting an adversarial (non-robust) POMDP via worst-case probability instances from the uncertainty sets; and (2) computing a finite-state controller (FSC) for this adversarial POMDP. We evaluate the performance of this FSC on the original robust POMDP and use this evaluation in step (1) to select the next adversarial POMDP. Within PIP, we propose the rFSCNet algorithm. In each iteration, rFSCNet finds an FSC through a recurrent neural network trained using supervision policies optimized for the adversarial POMDP. The empirical evaluation in four benchmark environments showcases improved robustness against a baseline method in an ablation study and competitive performance compared to a state-of-the-art robust POMDP solver.
△ Less
Submitted 16 August, 2024;
originally announced August 2024.
-
Adaptive planning for risk-aware predictive digital twins
Authors:
Marco Tezzele,
Steven Carr,
Ufuk Topcu,
Karen E. Willcox
Abstract:
This work proposes a mathematical framework to increase the robustness to rare events of digital twins modelled with graphical models. We incorporate probabilistic model-checking and linear programming into a dynamic Bayesian network to enable the construction of risk-averse digital twins. By modeling with a random variable the probability of the asset to transition from one state to another, we d…
▽ More
This work proposes a mathematical framework to increase the robustness to rare events of digital twins modelled with graphical models. We incorporate probabilistic model-checking and linear programming into a dynamic Bayesian network to enable the construction of risk-averse digital twins. By modeling with a random variable the probability of the asset to transition from one state to another, we define a parametric Markov decision process. By solving this Markov decision process, we compute a policy that defines state-dependent optimal actions to take. To account for rare events connected to failures we leverage risk measures associated with the distribution of the random variables describing the transition probabilities. We refine the optimal policy at every time step resulting in a better trade off between operational costs and performances. We showcase the capabilities of the proposed framework with a structural digital twin of an unmanned aerial vehicle and its adaptive mission replanning.
△ Less
Submitted 24 August, 2024; v1 submitted 29 July, 2024;
originally announced July 2024.
-
Identification and Quenching of Nugget Galaxies in the RESOLVE Survey at z = 0
Authors:
Derrick S. Carr,
Sheila J. Kannappan,
Mark A. Norris,
Manodeep Sinha,
Michael L. Palumbo III,
Kathleen D. Eckert,
Amanda J. Moffett,
Mugdha S. Polimera,
Joel I. Bernstein,
Zackary L. Hutchens
Abstract:
We present a complete census of candidate nuggets, i.e., dense galaxies likely formed by compaction with intense gas influx, within the volume-limited $z \sim 0$ REsolved Spectroscopy Of a Local VolumE (RESOLVE) survey. These nuggets span all evolutionary stages and 3 orders of magnitude in stellar mass ($M_{*} \sim 10^{8} M_\odot$ to $10^{11} M_\odot$) from the dwarf to the giant regime. We devel…
▽ More
We present a complete census of candidate nuggets, i.e., dense galaxies likely formed by compaction with intense gas influx, within the volume-limited $z \sim 0$ REsolved Spectroscopy Of a Local VolumE (RESOLVE) survey. These nuggets span all evolutionary stages and 3 orders of magnitude in stellar mass ($M_{*} \sim 10^{8} M_\odot$ to $10^{11} M_\odot$) from the dwarf to the giant regime. We develop selection criteria for our $z\sim0$ nugget candidates based on structure and introduce the use of environmental criteria to eliminate nugget-like objects with suspected non-compaction origins. The resulting $z\sim0$ nuggets follow expectations with respect to structure (i.e., density, size), population frequency, and likely origins. We show that the properties of our nugget census are consistent with permanent quenching above the gas-richness threshold scale (halo mass $M_{halo} \sim 10^{11.4} M_\odot$), cyclic temporary quenching below the threshold scale, and feedback from active galactic nuclei (AGN) assisting in permanent quenching. As predicted in simulations, most nuggets quench within the halo mass range $M_{halo} \sim 10^{11.45} M_\odot$ to $10^{11.9} M_\odot$. We find $\sim 0.29$ dex scatter around the star-forming main sequence for candidate blue nuggets below the threshold scale, which is consistent with temporary quenching as seen in simulations. A transitional population of green nuggets appears above the threshold scale. AGN also become more common in nuggets above this scale, and we see a likely AGN excess in nuggets vs. comparably selected non-nuggets. Our results provide the first observational confirmation of the mass-dependent, AGN-mediated shift from cyclic quenching to halo quenching in nuggets.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Bifurcation in correlation length of the Ising model on a "Toblerone" lattice
Authors:
Joseph Chapman,
Bruno Tomasello,
Sam T. Carr
Abstract:
The classical Ising chain is the paradigm for the non-existence of phase transitions in 1D systems and was solved by Ernst Ising one hundred years ago. More recently, a decorated two leg Ising ladder has received interest for the curious thermodynamics that resemble a phase transition; a sharp peak in the specific heat at low, but finite temperature. We use this model to reveal a bifurcation in th…
▽ More
The classical Ising chain is the paradigm for the non-existence of phase transitions in 1D systems and was solved by Ernst Ising one hundred years ago. More recently, a decorated two leg Ising ladder has received interest for the curious thermodynamics that resemble a phase transition; a sharp peak in the specific heat at low, but finite temperature. We use this model to reveal a bifurcation in the correlation lengths due to a crossing of the sub-leading eigenvalues of the transfer matrix, which results in two distinct length scales necessary to describe to the decay of correlations. We discuss this phenomenon in the context of the geometric frustration in the model. We also provide additional results to aid in the understanding of the curious thermodynamics of the model through a study of the magnetic susceptibilities.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Learning the local density of states of a bilayer moiré material in one dimension
Authors:
Diyi Liu,
Alexander B. Watson,
Stephen Carr,
Mitchell Luskin
Abstract:
Recent work of three of the authors showed that the operator which maps the local density of states of a one-dimensional untwisted bilayer material to the local density of states of the same bilayer material at non-zero twist, known as the twist operator, can be learned by a neural network. In this work, we first provide a mathematical formulation of that work, making the relevant models and opera…
▽ More
Recent work of three of the authors showed that the operator which maps the local density of states of a one-dimensional untwisted bilayer material to the local density of states of the same bilayer material at non-zero twist, known as the twist operator, can be learned by a neural network. In this work, we first provide a mathematical formulation of that work, making the relevant models and operator learning problem precise. We then prove that the operator learning problem is well-posed for a family of one-dimensional models. To do this, we first prove existence and regularity of the twist operator by solving an inverse problem. We then invoke the universal approximation theorem for operators to prove existence of a neural network capable of approximating the twist operator.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
X-ray Interferometry Using a Modulated Phase Grating: Theory and Experiments
Authors:
Hunter Meyer,
Joyoni Dey,
Sydney Carr,
Kyungmin Ham,
Leslie G. Butler,
Kerry M. Dooley,
Ivan Hidrovo,
Markus Bleuel,
Tamas Varga,
Joachim Schulz,
Thomas Beckenbach,
Konradin Kaiser
Abstract:
X-ray grating interferometry allows for the simultaneous acquisition of attenuation, differential-phase contrast, and dark-field images, resulting from X-ray attenuation, refraction, and small-angle scattering, respectively. The modulated phase grating (MPG) interferometer is a recently developed grating interferometry system capable of generating a directly resolvable interference pattern using a…
▽ More
X-ray grating interferometry allows for the simultaneous acquisition of attenuation, differential-phase contrast, and dark-field images, resulting from X-ray attenuation, refraction, and small-angle scattering, respectively. The modulated phase grating (MPG) interferometer is a recently developed grating interferometry system capable of generating a directly resolvable interference pattern using a relatively large period grating envelope function that is sampled at a pitch that allows for X-ray spatial coherence using a microfocus X-ray source or by use of a source G0 grating that follows the Lau condition. We present the theory of the MPG interferometry system for a 2-dimensional staggered grating, derived using Fourier optics, and we compare the theoretical predictions with experiments we have performed with a microfocus X-ray system at Pennington Biomedical Research Center, LSU. The theoretical and experimental fringe visibility is evaluated as a function of grating-to-detector distance. Quantitative experiments are performed with porous carbon and alumina samples, and qualitative analysis of attenuation and dark-field images of a dried anchovy are shown.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Weakly interacting one-dimensional topological insulators: a bosonization approach
Authors:
Polina Matveeva,
Dmitri Gutman,
Sam T. Carr
Abstract:
We investigate the topological properties of one-dimensional weakly interacting topological insulators using bosonization. To do that we study the topological edge states that emerge at the edges of a model realized by a strong impurity or at the boundary between topologically distinct phases. In the bosonic model, the edge states are manifested as degenerate bosonic kinks at the boundaries. We fi…
▽ More
We investigate the topological properties of one-dimensional weakly interacting topological insulators using bosonization. To do that we study the topological edge states that emerge at the edges of a model realized by a strong impurity or at the boundary between topologically distinct phases. In the bosonic model, the edge states are manifested as degenerate bosonic kinks at the boundaries. We first illustrate this idea on the example of the interacting Su-Schrieffer-Heeger (SSH) chain. We compute the localization length of the edge states as the width of an edge soliton that occurs in the SSH model in the presence of a strong impurity. Next, we examine models of two capacitively coupled SSH chains that can be either identical or in distinct topological phases. We find that weak Hubbard interaction reduces the ground state degeneracy in the topological phase of identical chains. We then prove that similarly to the non-interacting model, the degeneracy of the edge states in the interacting case is protected by chiral symmetry. We then study topological insulators built from two SSH chains with inter-chain hopping, that represent models of different chiral symmetric universality classes. We demonstrate in bosonic language that the topological index of a weakly coupled model is determined by the type of inter-chain coupling, invariant under one of two possible chiral symmetry operators. Finally, we show that a general one-dimensional model in a phase with topological index $ν$ is equivalent at low energies to a theory of at least $ν$ SSH chains. We illustrate this idea on the example of an SSH model with longer-range hopping.
△ Less
Submitted 11 February, 2024;
originally announced February 2024.
-
The effect of cosmic web filaments on galaxy properties in the RESOLVE and ECO surveys
Authors:
Munira Hoosain,
Sarah-L. Blyth,
Rosalind E. Skelton,
Sheila J. Kannappan,
David V. Stark,
Kathleen D. Eckert,
Zackary L. Hutchens,
Derrick S. Carr,
Katarina Kraljic
Abstract:
Galaxy environment plays an important role in driving the transformation of galaxies from blue and star-forming to red and quenched. Recent works have focused on the role of cosmic web filaments in galaxy evolution and have suggested that stellar mass segregation, quenching of star formation and gas-stripping may occur within filaments. We study the relationship between distance to filament and th…
▽ More
Galaxy environment plays an important role in driving the transformation of galaxies from blue and star-forming to red and quenched. Recent works have focused on the role of cosmic web filaments in galaxy evolution and have suggested that stellar mass segregation, quenching of star formation and gas-stripping may occur within filaments. We study the relationship between distance to filament and the stellar mass, colour and HI gas content of galaxies using data from the REsolved Spectroscopy of a Local VolumE (RESOLVE) survey and Environmental COntext (ECO) catalogue, two overlapping census-style, volume-complete surveys. We use the Discrete Persistence Structures Extractor (DisPerSE) to identify cosmic web filaments over the full ECO area. We find that galaxies close to filaments have higher stellar masses, in agreement with previous results. Controlling for stellar mass, we find that galaxies also have redder colours and are more gas poor closer to filaments. When accounting for group membership and halo mass, we find that these trends in colour and gas content are dominated by the increasing prevalence of galaxy group environments close to filaments, particularly for high halo mass and low stellar mass galaxies. Filaments have an additional small effect on the gas content of galaxies in low-mass haloes, possibly due to cosmic web stripping.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Spectroastrometric Survey of Protoplanetary Disks with Inner Dust Cavities
Authors:
Stanley K. Jensen Jr,
Sean D. Brittain,
Andrea Banzatti,
Joan R. Najita,
John S. Carr,
Joshua Kern,
Janus Kozdon,
Jonathan Zrake,
Jeffrey Fung
Abstract:
We present high-resolution spectra and spectroastrometric (SA) measurements of fundamental rovibrational CO emission from nine nearby ($\lesssim$300 pc) protoplanetary disks where large inner dust cavities have been observed. The emission line profiles and SA signals are fit with a slab disk model that allows the eccentricity of the disk and intensity of the emission to vary as power laws. Six of…
▽ More
We present high-resolution spectra and spectroastrometric (SA) measurements of fundamental rovibrational CO emission from nine nearby ($\lesssim$300 pc) protoplanetary disks where large inner dust cavities have been observed. The emission line profiles and SA signals are fit with a slab disk model that allows the eccentricity of the disk and intensity of the emission to vary as power laws. Six of the sources are well fit with our model, and three of these sources show asymmetric line profiles that can be fit by adopting a non-zero eccentricity. The three other sources have components in either their line profile or SA signal that are not captured by our disk model. Two of these sources (V892 Tau, CQ Tau) have multi-epoch observations that reveal significant variability. CQ Tau and AB Aur have CO line profiles with centrally-peaked components that are similar to line profiles that have been interpreted as evidence of molecular gas arising from a wide-angle disk wind. Alternatively, emission from a circumplanetary disk (CPD) could also account for this component. The interpretations of these results can be clarified in the future with additional epochs that will test the variability timescale of these SA signals. We discuss the utility of using high-resolution spectroscopy for probing the dynamics of gas in the disk and the scenarios that can give rise to profiles that are not fit with a simple disk model.
△ Less
Submitted 30 January, 2024; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Hamiltonian Reconstruction: the Correlation Matrix and Incomplete Operator Bases
Authors:
Lucas Z. Brito,
Stephen Carr,
J. Alexander Jacoby,
J. B. Marston
Abstract:
We explore the robustness of the correlation matrix Hamiltonian reconstruction technique with respect to the choice of operator basis, studying the effects of bases that are undercomplete and over-complete -- too few or too many operators respectively. An approximation scheme for reconstructing from an undercomplete basis is proposed and performed numerically on select models. We discuss the confo…
▽ More
We explore the robustness of the correlation matrix Hamiltonian reconstruction technique with respect to the choice of operator basis, studying the effects of bases that are undercomplete and over-complete -- too few or too many operators respectively. An approximation scheme for reconstructing from an undercomplete basis is proposed and performed numerically on select models. We discuss the confounding effects of conserved quantities and symmetries on reconstruction attempts. We apply these considerations to a variety of one-dimensional systems in zero- and finite-temperature regimes.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Formal Methods for Autonomous Systems
Authors:
Tichakorn Wongpiromsarn,
Mahsa Ghasemi,
Murat Cubuktepe,
Georgios Bakirtzis,
Steven Carr,
Mustafa O. Karabag,
Cyrus Neary,
Parham Gohari,
Ufuk Topcu
Abstract:
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main building blocks of formal methods are models and specifications, which are analogous to behaviors and requirements in system design and give us the means to verify and synthesize system behaviors with formal guarantees.
Th…
▽ More
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main building blocks of formal methods are models and specifications, which are analogous to behaviors and requirements in system design and give us the means to verify and synthesize system behaviors with formal guarantees.
This monograph provides a survey of the current state of the art on applications of formal methods in the autonomous systems domain. We consider correct-by-construction synthesis under various formulations, including closed systems, reactive, and probabilistic settings. Beyond synthesizing systems in known environments, we address the concept of uncertainty and bound the behavior of systems that employ learning using formal methods. Further, we examine the synthesis of systems with monitoring, a mitigation technique for ensuring that once a system deviates from expected behavior, it knows a way of returning to normalcy. We also show how to overcome some limitations of formal methods themselves with learning. We conclude with future directions for formal methods in reinforcement learning, uncertainty, privacy, explainability of formal methods, and regulation and certification.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Fine-Tuning Language Models Using Formal Methods Feedback
Authors:
Yunhao Yang,
Neel P. Bhatt,
Tyler Ingebrand,
William Ward,
Steven Carr,
Zhangyang Wang,
Ufuk Topcu
Abstract:
Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks. Existing fine-tuning methods use human feedback to address this limitation, however, sourcing human feedback is labor intensive and costly. We present a fully automated approach to fine-tune pre-trained language models…
▽ More
Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks. Existing fine-tuning methods use human feedback to address this limitation, however, sourcing human feedback is labor intensive and costly. We present a fully automated approach to fine-tune pre-trained language models for applications in autonomous systems, bridging the gap between generic knowledge and domain-specific requirements while reducing cost. The method synthesizes automaton-based controllers from pre-trained models guided by natural language task descriptions. These controllers are verifiable against independently provided specifications within a world model, which can be abstract or obtained from a high-fidelity simulator. Controllers with high compliance with the desired specifications receive higher ranks, guiding the iterative fine-tuning process. We provide quantitative evidences, primarily in autonomous driving, to demonstrate the method's effectiveness across multiple tasks. The results indicate an improvement in percentage of specifications satisfied by the controller from 60% to 90%.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Twisted bilayer graphene revisited: minimal two-band model for low-energy bands
Authors:
Daniel Bennett,
Daniel T. Larson,
Louis Sharma,
Stephen Carr,
Efthimios Kaxiras
Abstract:
An accurate description of the low-energy electronic bands in twisted bilayer graphene (tBLG) is of great interest due to their relation to correlated electron phases, such as superconductivity and Mott-insulator behavior at half-filling. The paradigmatic model of Bistritzer and MacDonald [PNAS 108, 12233 (2011)], based on the moiré pattern formed by tBLG, predicts the existence of "magic angles"…
▽ More
An accurate description of the low-energy electronic bands in twisted bilayer graphene (tBLG) is of great interest due to their relation to correlated electron phases, such as superconductivity and Mott-insulator behavior at half-filling. The paradigmatic model of Bistritzer and MacDonald [PNAS 108, 12233 (2011)], based on the moiré pattern formed by tBLG, predicts the existence of "magic angles" at which the Fermi velocity of the low-energy bands goes to zero, and the bands themselves become dispersionless. Here, we reexamine the low-energy bands of tBLG from the ab initio electronic structure perspective, motivated by features related to the atomic relaxation in the moiré pattern, namely circular regions of AA stacking, triangular regions of AB/BA stacking and domain walls separating the latter. We find that the bands are never perfectly flat and the Fermi velocity never vanishes, but rather a "magic range" exists where the lower band becomes extremely flat and the Fermi velocity attains a non-zero minimum value. We propose a simple $(2+2)$-band model, comprised of two different pairs of orbitals, both on a honeycomb lattice: the first pair represents the low-energy bands with high localization at the AA sites, while the second pair represents highly dispersive bands associated with domain-wall states. This model gives an accurate description of the low-energy bands with few (13) parameters which are physically motivated and vary smoothly in the magic range. In addition, we derive an effective two-band hamiltonian which also gives an accurate description of the low-energy bands. This minimal two-band model affords a connection to a Hubbard-like description of the occupancy of sub-bands and can be used a basis for exploring correlated states.
△ Less
Submitted 16 April, 2024; v1 submitted 18 October, 2023;
originally announced October 2023.
-
Electronic ratchet effect in a moiré system: signatures of excitonic ferroelectricity
Authors:
Zhiren Zheng,
Xueqiao Wang,
Ziyan Zhu,
Stephen Carr,
Trithep Devakul,
Sergio de la Barrera,
Nisarga Paul,
Zumeng Huang,
Anyuan Gao,
Yang Zhang,
Damien Bérubé,
Kathryn Natasha Evancho,
Kenji Watanabe,
Takashi Taniguchi,
Liang Fu,
Yao Wang,
Su-Yang Xu,
Efthimios Kaxiras,
Pablo Jarillo-Herrero,
Qiong Ma
Abstract:
Electronic ferroelectricity represents a new paradigm where spontaneous symmetry breaking driven by electronic correlations, in contrast to traditional lattice-driven ferroelectricity, leads to the formation of electric dipoles. Despite the potential application advantages arising from its electronic nature, switchable electronic ferroelectricity remains exceedingly rare. Here, we report the disco…
▽ More
Electronic ferroelectricity represents a new paradigm where spontaneous symmetry breaking driven by electronic correlations, in contrast to traditional lattice-driven ferroelectricity, leads to the formation of electric dipoles. Despite the potential application advantages arising from its electronic nature, switchable electronic ferroelectricity remains exceedingly rare. Here, we report the discovery of an electronic ratchet effect that manifests itself as switchable electronic ferroelectricity in a layer-contrasting graphene-boron nitride moiré heterostructure. Our engineered layer-asymmetric moiré potential landscapes result in layer-polarized localized and itinerant electronic subsystems. At particular fillings of the localized subsystem, we find a ratcheting injection of itinerant carriers in a non-volatile manner, leading to a highly unusual ferroelectric response. Strikingly, the remnant polarization can be stabilized at multiple (quasi-continuous) states with behavior markedly distinct from known ferroelectrics. Our experimental observations, simulations, and theoretical analysis suggest that dipolar excitons are the driving force and elementary ferroelectric units in our system. This signifies a new type of electronic ferroelectricity where the formation of dipolar excitons with aligned moments generates a macroscopic polarization and leads to an electronically-driven ferroelectric response, which we term excitonic ferroelectricity. Such new ferroelectrics, driven by quantum objects like dipolar excitons, could pave the way to innovative quantum analog memory and synaptic devices.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Anomalous interfacial electron transfer kinetics in twisted trilayer graphene caused by layer-specific localization
Authors:
Kaidi Zhang,
Yun Yu,
Stephen Carr,
Mohammad Babar,
Ziyan Zhu,
Bryan Kim,
Catherine Groschner,
Nikta Khaloo,
Takashi Taniguchi,
Kenji Watanabe,
Venkatasubramanian Viswanathan,
D. Kwabena Bediako
Abstract:
Interfacial electron-transfer (ET) reactions underpin the interconversion of electrical and chemical energy. Pioneering experiments showed that the ET rate depends on the Fermi Dirac distribution of the electronic density of states (DOS) of the electrode, formalized in the Marcus Hush Chidsey (MHC) model. Here, by controlling interlayer twists in well-defined trilayergraphene moires, we show that…
▽ More
Interfacial electron-transfer (ET) reactions underpin the interconversion of electrical and chemical energy. Pioneering experiments showed that the ET rate depends on the Fermi Dirac distribution of the electronic density of states (DOS) of the electrode, formalized in the Marcus Hush Chidsey (MHC) model. Here, by controlling interlayer twists in well-defined trilayergraphene moires, we show that ET rates are strikingly dependent on electronic localization in each atomic layer, and not the overall DOS. The large degree of tunability inherent to moire electrodes leads to local ET kinetics that range over three orders of magnitude across different constructions of only three atomic layers, even exceeding rates at bulk metals. Our results demonstrate that beyond the ensemble DOS, electronic localization is critical in facilitating interfacial ET, with implications for understanding the origin of high interfacial reactivity typically exhibited by defects at electrode electrolyte interfaces.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
Elementary models of 3D topological insulators with chiral symmetry
Authors:
Donghao Liu,
Polina Matveeva,
Dmitri Gutman,
Sam T. Carr
Abstract:
We construct a set of lattice models of non-interacting topological insulators with chiral symmetry in three dimensions. We build a model of the topological insulators in the class AIII by coupling lower dimensional models of $\mathbb{Z}$ classes. By coupling the two AIII models related by time-reversal symmetry we construct other chiral symmetric topological insulators that may also possess addit…
▽ More
We construct a set of lattice models of non-interacting topological insulators with chiral symmetry in three dimensions. We build a model of the topological insulators in the class AIII by coupling lower dimensional models of $\mathbb{Z}$ classes. By coupling the two AIII models related by time-reversal symmetry we construct other chiral symmetric topological insulators that may also possess additional symmetries (the time-reversal and/or particle-hole).
There are two different chiral symmetry operators for the coupled model, that correspond to two distinct ways of defining the sublattices. The integer topological invariant (the winding number) in case of weak coupling can be either the sum or difference of indices of the basic building blocks, dependent on the preserved chiral symmetry operator. The value of the topological index in case of weak coupling is determined by the chiral symmetry only and does not depend on the presence of other symmetries. For $\mathbb{Z}$ topological classes AIII, DIII, and CI with chiral symmetry are topologically equivalent, it implies that a smooth transition between the classes can be achieved if it connects the topological sectors with the same winding number. We demonstrate this explicitly by proving that the gapless surface states remain robust in $\mathbb{Z}$ classes as long as the chiral symmetry is preserved, and the coupling does not close the gap in the bulk. By studying the surface states in $\mathbb{Z}_2$ topological classes, we show that class CII and AII are distinct, and can not be adiabatically connected.
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
Rotational and Dilational Reconstruction in Transition Metal Dichalcogenide Moiré Bilayers
Authors:
Madeline Van Winkle,
Isaac M. Craig,
Stephen Carr,
Medha Dandu,
Karen C. Bustillo,
Jim Ciston,
Colin Ophus,
Takashi Taniguchi,
Kenji Watanabe,
Archana Raja,
Sinéad M. Griffin,
D. Kwabena Bediako
Abstract:
Lattice reconstruction and corresponding strain accumulation play a key role in defining the electronic structure of two-dimensional moiré superlattices, including those of transition metal dichalcogenides (TMDs). Imaging of TMD moirés has so far provided a qualitative understanding of this relaxation process in terms of interlayer stacking energy, while models of the underlying deformation mechan…
▽ More
Lattice reconstruction and corresponding strain accumulation play a key role in defining the electronic structure of two-dimensional moiré superlattices, including those of transition metal dichalcogenides (TMDs). Imaging of TMD moirés has so far provided a qualitative understanding of this relaxation process in terms of interlayer stacking energy, while models of the underlying deformation mechanisms have relied on simulations. Here, we use interferometric four-dimensional scanning transmission electron microscopy to quantitatively map the mechanical deformations through which reconstruction occurs in small-angle twisted bilayer MoS2 and WSe2/MoS2 heterobilayers. We provide direct evidence that local rotations govern relaxation for twisted homobilayers, while local dilations are prominent in heterobilayers possessing a sufficiently large lattice mismatch. Encapsulation of the moiré layers in hBN further localizes and enhances these in-plane reconstruction pathways, suppressing out-of-plane corrugation. We also find that extrinsic uniaxial heterostrain, which introduces a lattice constant difference in twisted homobilayers, leads to accumulation and redistribution of reconstruction strain, demonstrating another route to modify the moiré potential.
△ Less
Submitted 10 April, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Machine learning assisted determination of electronic correlations from magnetic resonance
Authors:
Anantha Rao,
Stephen Carr,
Charles Snider,
D. E. Feldman,
Chandrasekhar Ramanathan,
V. F. Mitrović
Abstract:
In the presence of strong electronic spin correlations, the hyperfine interaction imparts long-range coupling between nuclear spins. Efficient protocols for the extraction of such complex information about electron correlations via magnetic response are not well known. Here, we study how machine learning can extract material parameters and help interpret magnetic response experiments. A low-dimens…
▽ More
In the presence of strong electronic spin correlations, the hyperfine interaction imparts long-range coupling between nuclear spins. Efficient protocols for the extraction of such complex information about electron correlations via magnetic response are not well known. Here, we study how machine learning can extract material parameters and help interpret magnetic response experiments. A low-dimensional representation that classifies the total interaction strength is discovered by unsupervised learning. Supervised learning generates models that predict the spatial extent of electronic correlations and the total interaction strength. Our work demonstrates the utility of artificial intelligence in the development of new probes of quantum systems, with applications to experimental studies of strongly correlated materials.
△ Less
Submitted 9 May, 2023; v1 submitted 4 December, 2022;
originally announced December 2022.
-
Spin Squeezing as a Probe of Emergent Quantum Orders
Authors:
Ilija K. Nikolov,
Stephen Carr,
Adrian G. Del Maestro,
Chandrasekhar Ramanathan,
Vesna F. Mitrović
Abstract:
Nuclear magnetic resonance (NMR) experiments can reveal local properties in materials, but are often limited by the low signal-to-noise ratio. Spin squeezed states have an improved resolution below the Heisenberg limit in one of the spin components, and have been extensively used to improve the sensitivity of atomic clocks, for example. Interacting and entangled spin ensembles with non-linear coup…
▽ More
Nuclear magnetic resonance (NMR) experiments can reveal local properties in materials, but are often limited by the low signal-to-noise ratio. Spin squeezed states have an improved resolution below the Heisenberg limit in one of the spin components, and have been extensively used to improve the sensitivity of atomic clocks, for example. Interacting and entangled spin ensembles with non-linear coupling are a natural candidate for implementing squeezing. Here, we propose measurement of the spin-squeezing parameter that itself can act as a local probe of emergent orders in quantum materials. In particular, we demonstrate how to investigate an anisotropic electric field gradient via its coupling to the nuclear quadrupole moment. While squeezed spin states are pure, the squeezing parameter can be estimated for both pure and mixed states. We evaluate the range of fields and temperatures for which a thermal-equilibrium state is sufficient to improve the resolution in an NMR experiment and probe relevant parameters of the quadrupole Hamiltonian, including its anisotropy.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
Electric field-tunable layer polarization in graphene/boron nitride twisted quadrilayer superlattices
Authors:
Ziyan Zhu,
Stephen Carr,
Qiong Ma,
Efthimios Kaxiras
Abstract:
The recently observed unconventional ferroelectricity in AB bilayer graphene sandwiched by hexagonal Boron Nitride (hBN) presents a new platform to manipulate correlated phases in multilayered van der Waals heterostructures. We present a low-energy continuum model for AB bilayer graphene encapsulated by the top and bottom layers of either hBN or graphene, with two independent twist angles. For the…
▽ More
The recently observed unconventional ferroelectricity in AB bilayer graphene sandwiched by hexagonal Boron Nitride (hBN) presents a new platform to manipulate correlated phases in multilayered van der Waals heterostructures. We present a low-energy continuum model for AB bilayer graphene encapsulated by the top and bottom layers of either hBN or graphene, with two independent twist angles. For the graphene/hBN heterostructures, we show that twist angle asymmetry leads to a layer polarization of the valence and conduction bands. We also show that an out-of-plane displacement field not only tunes the layer polarization but also flattens the low-energy bands. We extend the model to show that the electronic structures of quadrilayer graphene heterostructure consisting of AB bilayer graphene encapsulated by the top and bottom graphene layers can similarly be tuned by an external electric field.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
One-dimensional non-interacting topological insulators with chiral symmetry
Authors:
Polina Matveeva,
Tyler Hewitt,
Donghao Liu,
Kethan Reddy,
Dmitri Gutman,
Sam T. Carr
Abstract:
We construct microscopical models of one-dimensional non-interacting topological insulators in all of the chiral universality classes. Specifically, we start with a deformation of the Su-Schrieffer-Heeger (SSH) model that breaks time-reversal symmetry, which is in the AIII class. We then couple this model to its time-reversal counterpart in order to build models in the classes BDI, CII, DIII and C…
▽ More
We construct microscopical models of one-dimensional non-interacting topological insulators in all of the chiral universality classes. Specifically, we start with a deformation of the Su-Schrieffer-Heeger (SSH) model that breaks time-reversal symmetry, which is in the AIII class. We then couple this model to its time-reversal counterpart in order to build models in the classes BDI, CII, DIII and CI. We find that the $\mathbb{Z}$ topological index (the winding number) in individual chains is defined only up to a sign. This comes from noticing that changing the sign of the chiral symmetry operator changes the sign of the winding number. The freedom to choose the sign of the chiral symmetry operator on each chain independently allows us to construct two distinct possible chiral symmetry operators when the chains are weakly coupled -- in one case, the total winding number is given by the sum of the winding number of individual chains while in the second case, the difference is taken. We find that the chiral models that belong to $\mathbb{Z}$ classes, AIII, BDI and CII are topologically equivalent, so they can be adiabatically deformed into one another so long as the chiral symmetry is preserved. We study the properties of the edge states in the constructed models and prove that topologically protected edge states must all be localised on the same sublattice (on any given edge). We also discuss the role of particle-hole symmetry on the protection of edge states and explain how it manages to protect edge states in $\mathbb{Z}_2$ classes, where the integer invariant vanishes and chiral symmetry alone does not protect the edge states anymore. We discuss applications of our results to the case of an arbitrary number of coupled chains, construct possible chiral symmetry operators for the multiple chain case, and briefly discuss the generalisation to any odd number of dimensions.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Multi-modal spectroscopy of order parameter distributions
Authors:
Stephen Carr,
Ilija K. Nikolov,
Rong Cong,
Adrian Del Maestro,
Chandrasekhar Ramanathan,
V. F. Mitrović
Abstract:
We present a multi-modal spectroscopic paradigm that enables independent measurement of charge and spin degrees of freedom (DOF) in strongly correlated materials. This spin-based technique probes symmetry-specific Hamiltonian parameters by analyzing how the time delay between applied pulses ($τ$) affects the response. We demonstrate ways in which charge DOF that couple through the quadrupolar inte…
▽ More
We present a multi-modal spectroscopic paradigm that enables independent measurement of charge and spin degrees of freedom (DOF) in strongly correlated materials. This spin-based technique probes symmetry-specific Hamiltonian parameters by analyzing how the time delay between applied pulses ($τ$) affects the response. We demonstrate ways in which charge DOF that couple through the quadrupolar interaction (inversion symmetric) can be independently measured even in the presence of large magnetic noise (inversion asymmetric). The method quantifies both the strength of the interactions and its distribution (noise). We provide protocols to directly and independently measure the distribution of interaction strengths, even when the average value of the interaction is zero. By independently measuring distributions of different forms of disorder, this methodology can elucidate which microscopic symmetry drives a phase transition. We discuss potential applications to study complex phase transitions in strongly interacting quantum materials.
△ Less
Submitted 6 March, 2023; v1 submitted 23 August, 2022;
originally announced August 2022.
-
Seeing moiré: convolutional network learning applied to twistronics
Authors:
Diyi Liu,
Mitchell Luskin,
Stephen Carr
Abstract:
Moiré patterns made of two-dimensional (2D) materials represent highly tunable electronic Hamiltonians, allowing a wide range of quantum phases to emerge in a single material. Current modeling techniques for moiré electrons requires significant technical work specific to each material, impeding large-scale searches for useful moiré materials. In order to address this difficulty, we have developed…
▽ More
Moiré patterns made of two-dimensional (2D) materials represent highly tunable electronic Hamiltonians, allowing a wide range of quantum phases to emerge in a single material. Current modeling techniques for moiré electrons requires significant technical work specific to each material, impeding large-scale searches for useful moiré materials. In order to address this difficulty, we have developed a material-agnostic machine learning approach and test it here on prototypical one-dimensional (1D) moiré tight-binding models. We utilize the stacking dependence of the local density of states (SD-LDOS) to convert information about electronic bandstructure into physically relevant images. We then train a neural network that successfully predicts moiré electronic structure from the easily computed SD-LDOS of aligned bilayers. This network can satisfactorily predict moiré electronic structures, even for materials that are not included in its training data.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Non-Abelian topological defects and strain mapping in 2D moiré materials
Authors:
Rebecca Engelke,
Hyobin Yoo,
Stephen Carr,
Kevin Xu,
Paul Cazeaux,
Richard Allen,
Andres Mier Valdivia,
Mitchell Luskin,
Efthimios Kaxiras,
Minhyong Kim,
Jung Hoon Han,
Philip Kim
Abstract:
We present a general method to analyze the topological nature of the domain boundary connectivity that appeared in relaxed moiré superlattice patterns at the interface of 2-dimensional (2D) van der Waals (vdW) materials. At large enough moiré lengths, all moiré systems relax into commensurated 2D domains separated by networks of dislocation lines. The nodes of the 2D dislocation line network can b…
▽ More
We present a general method to analyze the topological nature of the domain boundary connectivity that appeared in relaxed moiré superlattice patterns at the interface of 2-dimensional (2D) van der Waals (vdW) materials. At large enough moiré lengths, all moiré systems relax into commensurated 2D domains separated by networks of dislocation lines. The nodes of the 2D dislocation line network can be considered as vortex-like topological defects. We find that a simple analogy to common topological systems with an $S^1$ order parameter, such as a superconductor or planar ferromagnet, cannot correctly capture the topological nature of these defects. For example, in twisted bilayer graphene, the order parameter space for the relaxed moiré system is homotopy equivalent to a punctured torus. Here, the nodes of the 2D dislocation network can be characterized as elements of the fundamental group of the punctured torus, the free group on two generators, endowing these network nodes with non-Abelian properties. Extending this analysis to consider moiré patterns generated from any relative strain, we find that antivortices occur in the presence of anisotropic heterostrain, such as shear or anisotropic expansion, while arrays of vortices appear under twist or isotropic expansion between vdW materials. Experimentally, utilizing the dark field imaging capability of transmission electron microscopy (TEM), we demonstrate the existence of vortex and antivortex pair formation in a moiré system, caused by competition between different types of heterostrains in the vdW interfaces. We also present a methodology for mapping the underlying heterostrain of a moiré structure from experimental TEM data, which provides a quantitative relation between the various components of heterostrain and vortex-antivortex density in moiré systems.
△ Less
Submitted 16 July, 2022; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Multi-layered atomic relaxation in van der Waals heterostructures
Authors:
Dorri Halbertal,
Lennart Klebl,
Valerie Hsieh,
Jacob Cook,
Stephen Carr,
Guang Bian,
Cory Dean,
Dante M. Kennes,
Dmitri. N. Basov
Abstract:
When two-dimensional van der Waals materials are stacked to build heterostructures, moiré patterns emerge from twisted interfaces or from mismatch in lattice constant of individual layers. Relaxation of the atomic positions is a direct, generic consequence of the moiré pattern, with many implications for the physical properties. Moiré driven atomic relaxation may be naively thought to be restricte…
▽ More
When two-dimensional van der Waals materials are stacked to build heterostructures, moiré patterns emerge from twisted interfaces or from mismatch in lattice constant of individual layers. Relaxation of the atomic positions is a direct, generic consequence of the moiré pattern, with many implications for the physical properties. Moiré driven atomic relaxation may be naively thought to be restricted to the interfacial layers and thus irrelevant for multi-layered heterostructures. However, we provide experimental evidence for the importance of the three dimensional nature of the relaxation in two types of van der Waals heterostructures: First, in multi-layer graphene twisted on graphite at small twist angles ($θ\approx0.14^\circ$) we observe propagation of relaxation domains even beyond 18 graphene layers. Second, we show how for multi-layer PdTe$_2$ on Bi$_2$Se$_3$ the moiré lattice constant depends on the number of PdTe$_2$ layers. Motivated by the experimental findings, we developed a continuum approach to model multi-layered relaxation processes based on the generalized stacking fault energy functional given by ab-initio simulations. Leveraging the continuum property of the approach enables us to access large scale regimes and achieve agreement with our experimental data for both systems. Furthermore it is well known that the electronic structure of graphene sensitively depends on local lattice deformations. Therefore we study the impact of multi-layered relaxation on the local density of states of the twisted graphitic system. We identify measurable implications for the system, experimentally accessible by scanning tunneling microscopy. Our multi-layered relaxation approach is not restricted to the discussed systems, and can be used to uncover the impact of an interfacial defect on various layered systems of interest.
△ Less
Submitted 14 March, 2023; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Safe Reinforcement Learning via Shielding under Partial Observability
Authors:
Steven Carr,
Nils Jansen,
Sebastian Junges,
Ufuk Topcu
Abstract:
Safe exploration is a common problem in reinforcement learning (RL) that aims to prevent agents from making disastrous decisions while exploring their environment. A family of approaches to this problem assume domain knowledge in the form of a (partial) model of this environment to decide upon the safety of an action. A so-called shield forces the RL agent to select only safe actions. However, for…
▽ More
Safe exploration is a common problem in reinforcement learning (RL) that aims to prevent agents from making disastrous decisions while exploring their environment. A family of approaches to this problem assume domain knowledge in the form of a (partial) model of this environment to decide upon the safety of an action. A so-called shield forces the RL agent to select only safe actions. However, for adoption in various applications, one must look beyond enforcing safety and also ensure the applicability of RL with good performance. We extend the applicability of shields via tight integration with state-of-the-art deep RL, and provide an extensive, empirical study in challenging, sparse-reward environments under partial observability. We show that a carefully integrated shield ensures safety and can improve the convergence rate and final performance of RL agents. We furthermore show that a shield can be used to bootstrap state-of-the-art RL agents: they remain safe after initial learning in a shielded setting, allowing us to disable a potentially too conservative shield eventually.
△ Less
Submitted 22 August, 2022; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Dynamic Certification for Autonomous Systems
Authors:
Georgios Bakirtzis,
Steven Carr,
David Danks,
Ufuk Topcu
Abstract:
Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered systems, autonomous systems are expected to behave predictably in varying "open world" environmental contexts that cannot be fully specified formally. As a result, assurance about autonomous systems requires us to devel…
▽ More
Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered systems, autonomous systems are expected to behave predictably in varying "open world" environmental contexts that cannot be fully specified formally. As a result, assurance about autonomous systems requires us to develop new certification methods and mathematical tools that can bound the uncertainty engendered by these diverse deployment scenarios, rather than relying on static tools.
△ Less
Submitted 25 April, 2023; v1 submitted 21 March, 2022;
originally announced March 2022.
-
A Versatile Optimization Framework For Sustainable Post-Disaster Building Reconstruction
Authors:
Niloufar Izadinia,
Elham Ramyar,
Maytham Alzayer,
Stephen H. Carr,
Gianluca Cusatis,
Vidushi Dwivedi,
Daniel J. Garcia,
Missaka Hettiarachchi,
Thomas Massion,
William M. Miller,
Andreas Wächter
Abstract:
This paper proposes an optimization framework for sustainable post-disaster building reconstruction. Based on mathematical optimization, it is intended to provide decision-makers with a versatile tool to optimize building designs and to explore the trade-off between costs and environmental impact (represented by embodied energy) of alternative building materials. The mixed-integer nonlinear optimi…
▽ More
This paper proposes an optimization framework for sustainable post-disaster building reconstruction. Based on mathematical optimization, it is intended to provide decision-makers with a versatile tool to optimize building designs and to explore the trade-off between costs and environmental impact (represented by embodied energy) of alternative building materials. The mixed-integer nonlinear optimization model includes an analytical building model that considers structural and safety constraints and incorporates regional building codes. Using multi-objective optimization concepts, Pareto-optimal designs are computed that represent the best trade-off designs from which a decision-maker can choose when they take additional criteria into consideration. As a case study, we consider the design of a multi-room one-story masonry building in Nepal. We demonstrate how the framework can be employed to answer a variety of questions, such as the optimal building design and material selection, the sensitivity of the decision to the prices, and the impact of regional safety regulation thresholds.
△ Less
Submitted 18 August, 2022; v1 submitted 25 November, 2021;
originally announced November 2021.
-
TB or not TB? Contrasting properties of twisted bilayer graphene and the alternating twist $n$-layer structures ($n=3, 4, 5, \dots$)
Authors:
Patrick J. Ledwith,
Eslam Khalaf,
Ziyan Zhu,
Stephen Carr,
Efthimios Kaxiras,
Ashvin Vishwanath
Abstract:
The emergence of alternating twist multilayer graphene (ATMG) as a generalization of twisted bilayer graphene (TBG) raises the question - in what important ways do these systems differ? Here, we utilize ab-initio relaxation and single-particle theory, analytical strong coupling analysis, and Hartree-Fock to contrast ATMG with $n=3,4,5,\ldots$ layers and TBG. $\textbf{I}$: We show how external fiel…
▽ More
The emergence of alternating twist multilayer graphene (ATMG) as a generalization of twisted bilayer graphene (TBG) raises the question - in what important ways do these systems differ? Here, we utilize ab-initio relaxation and single-particle theory, analytical strong coupling analysis, and Hartree-Fock to contrast ATMG with $n=3,4,5,\ldots$ layers and TBG. $\textbf{I}$: We show how external fields enter in the decomposition of ATMG into TBG and graphene subsystems. The parallel magnetic field has little effect for $n$ odd due to mirror symmetry, but surprisingly also for any $n > 2$ if we are are the largest magic angle. $\textbf{II}$: We compute the relaxation of the multilayers leading to effective parameters for each TBG subsystem. We find that the second magic angle for $n=5$, $θ= 1.14$ is closest to the "chiral" model and thus may be an optimal host for fractional Chern insulators. $\textbf{III}$: We integrate out non-magic subsystems and reduce ATMG to its magic angle TBG subsystem with a screened interaction. $\textbf{IV}$: We perform an analytic strong coupling analysis of the external fields and corroborate it with Hartree-Fock. An in-plane magnetic field in TBG drives a transition to a valley Hall state or a gapless "magnetic semimetal." A displacement field $V$ has little effect on TBG, but induces a gapped phase in ATMG for small $V$ for $n = 4$ and above a critical $V$ for $n = 3$. For $n\geq 3$, we find the superexchange coupling - believed to set the scale of superconductivity in the skyrmion mechanism - increases with $V$ at angles near and below the magic angle. $\textbf{V}$: We complement our strong coupling approach with a weak coupling theory of ATMG pair-breaking. While for $n=2$ orbital effects of the in-plane magnetic field can give a critical field of the same order as the Pauli field, for $n>2$ we expect the critical field to exceed the Pauli limit.
△ Less
Submitted 23 November, 2021; v1 submitted 22 November, 2021;
originally announced November 2021.
-
Signatures of electronic correlations and spin-susceptibility anisotropy in nuclear magnetic resonance
Authors:
Stephen Carr,
Charles Snider,
D. E. Feldman,
Chandrasekhar Ramanathan,
J. B. Marston,
V. F. Mitrović
Abstract:
We present a methodology for probing the details of electronic susceptibility through minimally-invasive nuclear magnetic resonance techniques. Specifically, we classify electron-mediated long-range interactions in an ensemble of nuclear spins by revealing their effect on simple spin echo experiments. We find that pulse strength and applied field orientation dependence of these spin echo measureme…
▽ More
We present a methodology for probing the details of electronic susceptibility through minimally-invasive nuclear magnetic resonance techniques. Specifically, we classify electron-mediated long-range interactions in an ensemble of nuclear spins by revealing their effect on simple spin echo experiments. We find that pulse strength and applied field orientation dependence of these spin echo measurements resolves the spatial extent and anisotropy of electronic spin susceptibility. This work provides an alternate explanation to NMR results in superconducting and magnetically-ordered systems. The methodology has direct applications for sensing and characterizing emergent electronic phases.
△ Less
Submitted 13 October, 2021;
originally announced October 2021.
-
Electronic Observables for Relaxed Bilayer 2D Heterostructures in Momentum Space
Authors:
Daniel Massatt,
Stephen Carr,
Mitchell Luskin
Abstract:
Momentum space transformations for incommensurate 2D electronic structure calculations are fundamental for reducing computational cost and for representing the data in a more physically motivating format, as exemplified in the Bistritzer-MacDonald model. However, these transformations can be difficult to implement in more complex systems such as when mechanical relaxation patterns are present. In…
▽ More
Momentum space transformations for incommensurate 2D electronic structure calculations are fundamental for reducing computational cost and for representing the data in a more physically motivating format, as exemplified in the Bistritzer-MacDonald model. However, these transformations can be difficult to implement in more complex systems such as when mechanical relaxation patterns are present. In this work, we aim for two objectives. Firstly, we strive to simplify the understanding and implementation of this transformation by rigorously writing the transformations between the four relevant spaces, which we denote real space, configuration space, momentum space, and reciprocal space. This provides a straight-forward algorithm for writing the complex momentum space model from the original real space model. Secondly, we implement this for twisted bilayer graphene with mechanical relaxation affects included. We also analyze the convergence rates of the approximations, and show the tight-binding coupling range increases for smaller relative twists between layers, demonstrating that the 3-nearest neighbor coupling of the Bistritzer-MacDonald model is insufficient when mechanical relaxation is included for very small angles. We quantify this and verify with numerical simulation.
△ Less
Submitted 31 August, 2023; v1 submitted 30 September, 2021;
originally announced September 2021.
-
Reinvestigation of the Multi-Epoch Direct Detections of HD 88133 b and Upsilon Andromedae b
Authors:
Cam Buzard,
Danielle Piskorz,
Alexandra C. Lockwood,
Geoffrey Blake,
Travis S. Barman,
Björn Benneke,
Chad F. Bender,
John S. Carr
Abstract:
We reanalyze the multi-epoch direct detections of HD 88133 b and ups And b that were published in Piskorz et al. 2016 and Piskorz et al. 2017, respectively. Using simulations to attempt to reproduce the detections, we find that with the 6 and 7 $L$ band Keck/NIRSPEC epochs analyzed in the original works, the planets would not have been detectable unless they had unreasonably large radii. HD88133 a…
▽ More
We reanalyze the multi-epoch direct detections of HD 88133 b and ups And b that were published in Piskorz et al. 2016 and Piskorz et al. 2017, respectively. Using simulations to attempt to reproduce the detections, we find that with the 6 and 7 $L$ band Keck/NIRSPEC epochs analyzed in the original works, the planets would not have been detectable unless they had unreasonably large radii. HD88133 and ups And both have fairly large stellar radii, which contributed to the difficulty in detecting the planets. We take this opportunity to consider how these planets may have been detectable with the small number of epochs originally presented by running simulations both with the upgraded NIRSPEC instrument and with near-zero primary velocities, as recommended by Buzard et al. 2021. While 7 $L$ band NIRSPEC2.0 epochs with near-zero primary velocities would have allowed a strong ($10.8σ$) detection of ups And b, many more than 6 $L$ band epochs would have been required for a strong detection of HD88133b, which could be due in part to both this system's large stellar radius and low stellar temperature. This work stresses the importance of careful analytic procedures and the usefulness of simulations in understanding the expected sensitivity of high-resolution spectroscopic data.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
Modeling of CO ro-vibrational line emission of HD 141569
Authors:
Stanley K. Jensen Jr.,
Sean D. Brittain,
Joan R. Najita,
John S. Carr
Abstract:
HD 141569 is a Herbig Ae/Be star that straddles the boundary between the transition disks and debris disks. It is a low dust mass disk that reveals numerous structural elements (e.g. gaps and rings) that may point to young planets. It also exhibits a reservoir of CO gas observed at both millimeter and IR wavelengths. Previous observations (Goto et al. 2006) reported a possible asymmetry in the CO…
▽ More
HD 141569 is a Herbig Ae/Be star that straddles the boundary between the transition disks and debris disks. It is a low dust mass disk that reveals numerous structural elements (e.g. gaps and rings) that may point to young planets. It also exhibits a reservoir of CO gas observed at both millimeter and IR wavelengths. Previous observations (Goto et al. 2006) reported a possible asymmetry in the CO gas emission. Herein the IR ro-vibrational emission lines are analyzed and modeled both spectroscopically and spectroastrometrically. We find emission features from both 12CO and 13CO isotopologues heated to a temperature of approximately 200 K in the radial extent of 13 to 60 au. We do not see evidenceof the previously reported asymmetry in CO emission, our results being consistent with a Keplerian, axisymmetric emitting region. This raises the question of whether the emission profile may be evolving in time, possibly as a result of an orbiting feature in the inner disk such as a planet.
△ Less
Submitted 15 December, 2021; v1 submitted 13 September, 2021;
originally announced September 2021.
-
Tunable electrochemistry with moiré flat bands and topological defects at twisted bilayer graphene
Authors:
Yun Yu,
Kaidi Zhang,
Holden Parks,
Mohammad Babar,
Stephen Carr,
Isaac M. Craig,
Madeline Van Winkle,
Artur Lyssenko,
Takashi Taniguchi,
Kenji Watanabe,
Venkatasubramanian Viswanathan,
D. Kwabena Bediako
Abstract:
Tailoring electron transfer dynamics across solid-liquid interfaces is fundamental to the interconversion of electrical and chemical energy. Stacking atomically thin layers with a very small azimuthal misorientation to produce moiré superlattices enables the controlled engineering of electronic band structures and the formation of extremely flat electronic bands. Here, we report a strong twist ang…
▽ More
Tailoring electron transfer dynamics across solid-liquid interfaces is fundamental to the interconversion of electrical and chemical energy. Stacking atomically thin layers with a very small azimuthal misorientation to produce moiré superlattices enables the controlled engineering of electronic band structures and the formation of extremely flat electronic bands. Here, we report a strong twist angle dependence of heterogeneous charge transfer kinetics at twisted bilayer graphene electrodes with the greatest enhancement observed near the 'magic angle' (~1.1 degrees). This effect is driven by the angle-dependent tuning of moiré-derived flat bands that modulate electron transfer processes with the solution-phase redox couple. Combined experimental and computational analysis reveals that the variation in electrochemical activity with moiré angle is controlled by atomic reconstruction of the moiré superlattice at twist angles <2 degrees, and topological defect AA stacking regions produce a large anomalous local electrochemical enhancement that cannot be accounted for by the elevated local density of states alone. Our results introduce moiré flat band materials as a distinctively tunable paradigm for mediating electrochemical transformations.
△ Less
Submitted 15 August, 2021;
originally announced August 2021.
-
Modeling the optical properties of Twisted Bilayer Photonic Crystals
Authors:
Haoning Tang,
Fan Du,
Stephen Carr,
Clayton DeVault,
Olivia Mello,
Eric Mazur
Abstract:
We demonstrate a photonic analog of twisted bilayer graphene that has ultra-flat photonic bands and exhibits extreme slow light behavior. Our twisted bilayer photonic device, which has an operating wavelength in C-band of the telecom window, uses two crystalline silicon photonic crystal slabs separated by a methyl methacrylate tunneling layer. We numerically determine the magic angle using a finit…
▽ More
We demonstrate a photonic analog of twisted bilayer graphene that has ultra-flat photonic bands and exhibits extreme slow light behavior. Our twisted bilayer photonic device, which has an operating wavelength in C-band of the telecom window, uses two crystalline silicon photonic crystal slabs separated by a methyl methacrylate tunneling layer. We numerically determine the magic angle using a finite-element method and the corresponding photonic band structure, which exhibits a flat band over the entire Brillouin zone. This flat band causes the group velocity to approach zero and introduces light localization in a linear periodic photonic system. Using a plane-wave continuum model we find that photonic modes in twisted bilayer photonic crystals are not as tightly bound as their electronic counterparts in twisted bilayer graphene. In addition, the photonic system has a larger band asymmetry. The band structure can easily be engineered by adjusting the device geometry, giving significant freedom in the design of devices. Our work provides a fundamental understanding of the photonic properties of twisted bilayer photonic crystals and opens the door to nanoscale-based non-linear enhancement and superradiance.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Geometric origins of topological insulation in twisted layered semiconductors
Authors:
Hao Tang,
Stephen Carr,
Efthimios Kaxiras
Abstract:
Twisted bilayers of two-dimensional (2D) materials are proving a fertile ground for investigating strongly correlated electron phases. This is because the moiré pattern introduced by the relative twist between layers introduces long-wavelength effective potentials which lead to electron localization. Here, we develop a generalized continuum model for the electronic structure of moiré patterns, bas…
▽ More
Twisted bilayers of two-dimensional (2D) materials are proving a fertile ground for investigating strongly correlated electron phases. This is because the moiré pattern introduced by the relative twist between layers introduces long-wavelength effective potentials which lead to electron localization. Here, we develop a generalized continuum model for the electronic structure of moiré patterns, based on first-principles calculations and tailored to capture the physics of twisted bilayer 2D semiconductors. We apply this model to a database of eighteen 2D crystals covering a range of atomic relaxation and electronic structure features. Many of these materials host topologically insulating (TI) moiré bands in a certain range of twist angles, which originate from the competition between triangular and hexagonal moiré patterns, tuned by the twist angle. The topological phases occur in the same range as the maximally flat moiré bands.
△ Less
Submitted 12 January, 2021;
originally announced January 2021.
-
High-Resolution Mid-Infrared Spectroscopy of GV Tau N: Surface Accretion and Detection of Ammonia in a Young Protoplanetary Disk
Authors:
Joan R. Najita,
John S. Carr,
Sean D. Brittain,
John H. Lacy,
Matthew J. Richter,
Greg W. Doppmann
Abstract:
Physical processes that redistribute or remove angular momentum from protoplanetary disks can drive mass accretion onto the star and affect the outcome of planet formation. Despite ubiquitous evidence that protoplanetary disks are engaged in accretion, the process(es) responsible remain unclear. Here we present evidence for redshifted molecular absorption in the spectrum of a Class I source that i…
▽ More
Physical processes that redistribute or remove angular momentum from protoplanetary disks can drive mass accretion onto the star and affect the outcome of planet formation. Despite ubiquitous evidence that protoplanetary disks are engaged in accretion, the process(es) responsible remain unclear. Here we present evidence for redshifted molecular absorption in the spectrum of a Class I source that indicates rapid inflow at the disk surface. High resolution mid-infrared spectroscopy of GV Tau N reveals a rich absorption spectrum of individual lines of C2H2, HCN, NH3, and water. From the properties of the molecular absorption, we can infer that it carries a significant accretion rate (~ 1e-8 to 1e-7 Msun/yr), comparable to the stellar accretion rates of active T Tauri stars. Thus we may be observing disk accretion in action. The results may provide observational evidence for supersonic "surface accretion flows," which have been found in MHD simulations of magnetized disks. The observed spectra also represent the first detection of ammonia in the planet formation region of a protoplanetary disk. With ammonia only comparable in abundance to HCN, it cannot be a major missing reservoir of nitrogen. If, as expected, the dominant nitrogen reservoir in inner disks is instead N2, its high volatility would make it difficult to incorporate into forming planets, which may help to explain the low nitrogen content of the bulk Earth.
△ Less
Submitted 30 November, 2020;
originally announced December 2020.
-
Computational Design of Moiré Assemblies Aided by Artificial Intelligence
Authors:
Georgios A. Tritsaris,
Stephen Carr,
Gabriel R. Schleder
Abstract:
Two-dimensional (2D) layered materials, demonstrating significantly different properties from their bulk counterparts, offer a materials platform with potential applications from energy to information processing devices. Although some single- and few-layer forms of materials such as graphene and transition metal dichalcogenides have been realized and thoroughly studied, the space of arbitrarily la…
▽ More
Two-dimensional (2D) layered materials, demonstrating significantly different properties from their bulk counterparts, offer a materials platform with potential applications from energy to information processing devices. Although some single- and few-layer forms of materials such as graphene and transition metal dichalcogenides have been realized and thoroughly studied, the space of arbitrarily layered assemblies is still mostly unexplored. The main goal of this work is to demonstrate precise control of layered materials' electronic properties through careful choice of the constituent layers, their stacking, and relative orientation. Physics-based and AI-driven approaches for the automated planning, execution, and analysis of electronic structure calculations are applied to layered assemblies based on prototype one-dimensional (1D) materials and realistic 2D materials. We find it is possible to routinely generate moiré band structures in 1D with desired electronic characteristics such as a band gap of any value within a large range, even with few layers and materials (here, four and six, respectively). We argue that this tunability extends to 2D materials by showing the essential physical ingredients are already evident in calculations of two-layer MoS$_2$ and multi-layer graphene moiré assemblies.
△ Less
Submitted 2 April, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Local density of states of the interacting resonant level model at zero temperature
Authors:
Gonzalo Camacho,
Peter Schmitteckert,
Sam T. Carr
Abstract:
We present results of the impurity local density of states of the interacting resonant level model at zero temperature. We concentrate on low-energy properties and predominantly use the numerical renormalisation group technique. As interaction is increased, we find that the resonance peak at zero energy disappears, while two new peaks at finite energy emerge. This is in the absence of any field br…
▽ More
We present results of the impurity local density of states of the interacting resonant level model at zero temperature. We concentrate on low-energy properties and predominantly use the numerical renormalisation group technique. As interaction is increased, we find that the resonance peak at zero energy disappears, while two new peaks at finite energy emerge. This is in the absence of any field breaking the resonance. We further show that the height of the spectral function does not scale in the same way as the width, and in fact defines a second distinct exponent. We back up our results with analytic strong-coupling calculations as well as an analytic diagrammatic renormalisation group calculation that rather surprisingly gets the second exponent exactly, even for strong interactions.
△ Less
Submitted 4 May, 2022; v1 submitted 9 October, 2020;
originally announced October 2020.
-
Strain fields in twisted bilayer graphene
Authors:
Nathanael P. Kazmierczak,
Madeline Van Winkle,
Colin Ophus,
Karen C. Bustillo,
Hamish G. Brown,
Stephen Carr,
Jim Ciston,
Takashi Taniguchi,
Kenji Watanabe,
D. Kwabena Bediako
Abstract:
Van der Waals heteroepitaxy allows deterministic control over lattice mismatch or azimuthal orientation between atomic layers to produce long wavelength superlattices. The resulting electronic phases depend critically on the superlattice periodicity as well as localized structural deformations that introduce disorder and strain. Here, we introduce Bragg interferometry, based on four-dimensional sc…
▽ More
Van der Waals heteroepitaxy allows deterministic control over lattice mismatch or azimuthal orientation between atomic layers to produce long wavelength superlattices. The resulting electronic phases depend critically on the superlattice periodicity as well as localized structural deformations that introduce disorder and strain. Here, we introduce Bragg interferometry, based on four-dimensional scanning transmission electron microscopy, to capture atomic displacement fields in twisted bilayer graphene with twist angles < 2°. Nanoscale spatial fluctuations in twist angle and uniaxial heterostrain are statistically evaluated, revealing the prevalence of short-range disorder in this class of materials. By quantitatively mapping strain tensor fields we uncover two distinct regimes of structural relaxation -- in contrast to previous models depicting a single continuous process -- and we disentangle the electronic contributions of the rotation modes that comprise this relaxation. Further, we find that applied heterostrain accumulates anisotropically in saddle point regions to generate distinctive striped shear strain phases. Our results thus establish the reconstruction mechanics underpinning the twist angle dependent electronic behaviour of twisted bilayer graphene, and provide a new framework for directly visualizing structural relaxation, disorder, and strain in any moiré material.
△ Less
Submitted 15 February, 2021; v1 submitted 22 August, 2020;
originally announced August 2020.
-
Moiré metrology of energy landscapes in van der Waals heterostructures
Authors:
Dorri Halbertal,
Nathan R. Finney,
Sai S. Sunku,
Alexander Kerelsky,
Carmen Rubio-Verdú,
Sara Shabani,
Lede Xian,
Stephen Carr,
Shaowen Chen,
Charles Zhang,
Lei Wang,
Derick Gonzalez-Acevedo,
Alexander S. McLeod,
Daniel Rhodes,
Kenji Watanabe,
Takashi Taniguchi,
Efthimios Kaxiras,
Cory R. Dean,
James C. Hone,
Abhay N. Pasupathy,
Dante M. Kennes,
Angel Rubio,
D. N. Basov
Abstract:
The emerging field of twistronics, which harnesses the twist angle between two-dimensional materials, represents a promising route for the design of quantum materials, as the twist-angle-induced superlattices offer means to control topology and strong correlations. At the small twist limit, and particularly under strain, as atomic relaxation prevails, the emergent moiré superlattice encodes elusiv…
▽ More
The emerging field of twistronics, which harnesses the twist angle between two-dimensional materials, represents a promising route for the design of quantum materials, as the twist-angle-induced superlattices offer means to control topology and strong correlations. At the small twist limit, and particularly under strain, as atomic relaxation prevails, the emergent moiré superlattice encodes elusive insights into the local interlayer interaction. Here we introduce moiré metrology as a combined experiment-theory framework to probe the stacking energy landscape of bilayer structures at the 0.1 meV/atom scale, outperforming the gold-standard of quantum chemistry. Through studying the shapes of moiré domains with numerous nano-imaging techniques, and correlating with multi-scale modelling, we assess and refine first-principle models for the interlayer interaction. We document the prowess of moiré metrology for three representative twisted systems: bilayer graphene, double bilayer graphene and H-stacked $MoSe_2/WSe_2$. Moiré metrology establishes sought after experimental benchmarks for interlayer interaction, thus enabling accurate modelling of twisted multilayers.
△ Less
Submitted 26 November, 2020; v1 submitted 11 August, 2020;
originally announced August 2020.
-
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology
Authors:
Bo Wu,
Steven Carr,
Suda Bharadwaj,
Zhe Xu,
Ufuk Topcu
Abstract:
We study the problem of distributed hypothesis testing over a network of mobile agents with limited communication and sensing ranges to infer the true hypothesis collaboratively. In particular, we consider a scenario where there is an unknown subset of compromised agents that may deliberately share altered information to undermine the team objective. We propose two distributed algorithms where eac…
▽ More
We study the problem of distributed hypothesis testing over a network of mobile agents with limited communication and sensing ranges to infer the true hypothesis collaboratively. In particular, we consider a scenario where there is an unknown subset of compromised agents that may deliberately share altered information to undermine the team objective. We propose two distributed algorithms where each agent maintains and updates two sets of beliefs (i.e., probability distributions over the hypotheses), namely local and actual beliefs (LB and AB respectively for brevity). In both algorithms, at every time step, each agent shares its AB with other agents within its communication range and makes a local observation to update its LB. Then both algorithms can use the shared information to update ABs under certain conditions. One requires receiving a certain number of shared ABs at each time instant; the other accumulates shared ABs over time and updates after the number of shared ABs exceeds a prescribed threshold. Otherwise, both algorithms rely on the agent's current LB and AB to update the new AB. We prove under mild assumptions that the AB for every non-compromised agent converges almost surely to the true hypothesis, without requiring connectivity in the underlying time-varying network topology. Using a simulation of a team of unmanned aerial vehicles aiming to classify adversarial agents among themselves, we illustrate and compare the proposed algorithms. Finally, we show experimentally that the second algorithm consistently outperforms the first algorithm in terms of the speed of convergence.
△ Less
Submitted 17 July, 2021; v1 submitted 31 July, 2020;
originally announced August 2020.
-
Twisted Trilayer Graphene: a Precisely Tunable Platform for Correlated Electrons
Authors:
Ziyan Zhu,
Stephen Carr,
Daniel Massatt,
Mitchell Luskin,
Efthimios Kaxiras
Abstract:
We introduce twisted trilayer graphene (tTLG) with two independent twist angles as an ideal system for the precise tuning of the electronic interlayer coupling to maximize the effect of correlated behaviors. As established by experiment and theory in the related twisted bilayer graphene system, van Hove singularities (VHS) in the density of states can be used as a proxy of the tendency for correla…
▽ More
We introduce twisted trilayer graphene (tTLG) with two independent twist angles as an ideal system for the precise tuning of the electronic interlayer coupling to maximize the effect of correlated behaviors. As established by experiment and theory in the related twisted bilayer graphene system, van Hove singularities (VHS) in the density of states can be used as a proxy of the tendency for correlated behaviors. To explore the evolution of VHS in the twist-angle phase space of tTLG, we present a general low-energy electronic structure model for any pair of twist angles. We show that the basis of the model has infinite dimensions even at a finite energy cutoff and that no Brillouin zone exists even in the continuum limit. Using this model, we demonstrate that the tTLG system exhibits a wide range of magic angles at which VHS merge and the density of states has a sharp peak at the charge-neutrality point through two distinct mechanisms: the incommensurate perturbation of twisted bilayer graphene's flat bands or the equal hybridization between two bilayer moiré superlattices.
△ Less
Submitted 8 October, 2020; v1 submitted 30 May, 2020;
originally announced June 2020.
-
Lithium intercalation in MoS$_2$ bilayers and implications for moiré flat bands
Authors:
Zheyu Lu,
Stephen Carr,
Daniel T. Larson,
Efthimios Kaxiras
Abstract:
Intercalation of lithium atoms between layers of 2D materials can alter their atomic and electronic structure. We investigate effects of Li intercalation in twisted bilayers of the transition metal dichalcogenide MoS$_2$ through first-principles calculations, tight-binding parameterization based on the Wannier transformation, and analysis of moiré band structures through an effective continuum mod…
▽ More
Intercalation of lithium atoms between layers of 2D materials can alter their atomic and electronic structure. We investigate effects of Li intercalation in twisted bilayers of the transition metal dichalcogenide MoS$_2$ through first-principles calculations, tight-binding parameterization based on the Wannier transformation, and analysis of moiré band structures through an effective continuum model. The energetic stability of different intercalation sites for Li between layers of MoS$_2$ are classified according to the local coordination type and the number of vertically aligned Mo atoms, suggesting that the Li atoms will cluster in certain regions of the moiré superlattice. The proximity of a Li atom has a dramatic influence on the interlayer interaction between sulfur atoms, deepening the moiré potential well and leading to better isolation of the flat bands in the energy spectrum. These results point to the usefulness for the use of chemical intercalation as a powerful means for controlling moiré flat-band physics in 2D semiconductors.
△ Less
Submitted 18 April, 2020; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Linking Compact Dwarf Starburst Galaxies in the RESOLVE Survey to Downsized Blue Nuggets
Authors:
Michael L. Palumbo III,
Sheila J. Kannappan,
Elaine M. Frazer,
Kathleen D. Eckert,
Dara J. Norman,
Luciano Fraga,
Bruno C. Quint,
Philippe Amram,
Claudia Mendes de Oliveira,
Ashley S. Bittner,
Amanda J. Moffett,
David V. Stark,
Mark A. Norris,
Nathaniel T. Cleaves,
Derrick S. Carr
Abstract:
We identify and characterize compact dwarf starburst (CDS) galaxies in the RESOLVE survey, a volume-limited census of galaxies in the local universe, to probe whether this population contains any residual ``blue nuggets,'' a class of intensely star-forming compact galaxies first identified at high redshift $z$. Our 50 low-$z$ CDS galaxies are defined by dwarf masses (stellar mass $M_* < 10^{9.5}$…
▽ More
We identify and characterize compact dwarf starburst (CDS) galaxies in the RESOLVE survey, a volume-limited census of galaxies in the local universe, to probe whether this population contains any residual ``blue nuggets,'' a class of intensely star-forming compact galaxies first identified at high redshift $z$. Our 50 low-$z$ CDS galaxies are defined by dwarf masses (stellar mass $M_* < 10^{9.5}$ M$_{\odot}$), compact bulged-disk or spheroid-dominated morphologies (using a quantitative criterion, $μ_Δ> 8.6$), and specific star formation rates above the defining threshold for high-$z$ blue nuggets ($\log$ SSFR [Gyr$^{-1}] > -0.5$). Across redshifts, blue nuggets exhibit three defining properties: compactness relative to contemporaneous galaxies, abundant cold gas, and formation via compaction in mergers or colliding streams. Those with halo mass below $M_{\rm halo} \sim 10^{11.5}$ M$_{\odot}$ may in theory evade permanent quenching and cyclically refuel until the present day. Selected only for compactness and starburst activity, our CDS galaxies generally have $M_{\rm halo} \lesssim 10^{11.5}$ M$_{\odot}$ and gas-to-stellar mass ratio $\gtrsim$1. Moreover, analysis of archival DECaLS photometry and new 3D spectroscopic observations for CDS galaxies reveals a high rate of photometric and kinematic disturbances suggestive of dwarf mergers. The SSFRs, surface mass densities, and number counts of CDS galaxies are compatible with theoretical and observational expectations for redshift evolution in blue nuggets. We argue that CDS galaxies represent a maximally-starbursting subset of traditional compact dwarf classes such as blue compact dwarfs and blue E/S0s. We conclude that CDS galaxies represent a low-$z$ tail of the blue nugget phenomenon formed via a moderated compaction channel that leaves open the possibility of disk regrowth and evolution into normal disk galaxies.
△ Less
Submitted 28 March, 2020;
originally announced March 2020.
-
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
Authors:
Steven Carr,
Nils Jansen,
Ufuk Topcu
Abstract:
Recurrent neural networks (RNNs) have emerged as an effective representation of control policies in sequential decision-making problems. However, a major drawback in the application of RNN-based policies is the difficulty in providing formal guarantees on the satisfaction of behavioral specifications, e.g. safety and/or reachability. By integrating techniques from formal methods and machine learni…
▽ More
Recurrent neural networks (RNNs) have emerged as an effective representation of control policies in sequential decision-making problems. However, a major drawback in the application of RNN-based policies is the difficulty in providing formal guarantees on the satisfaction of behavioral specifications, e.g. safety and/or reachability. By integrating techniques from formal methods and machine learning, we propose an approach to automatically extract a finite-state controller (FSC) from an RNN, which, when composed with a finite-state system model, is amenable to existing formal verification tools. Specifically, we introduce an iterative modification to the so-called quantized bottleneck insertion technique to create an FSC as a randomized policy with memory. For the cases in which the resulting FSC fails to satisfy the specification, verification generates diagnostic information. We utilize this information to either adjust the amount of memory in the extracted FSC or perform focused retraining of the RNN. While generally applicable, we detail the resulting iterative procedure in the context of policy synthesis for partially observable Markov decision processes (POMDPs), which is known to be notoriously hard. The numerical experiments show that the proposed approach outperforms traditional POMDP synthesis methods by 3 orders of magnitude within 2% of optimal benchmark values.
△ Less
Submitted 13 February, 2020;
originally announced February 2020.
-
Electronic structure calculations of twisted multi-layer graphene superlattices
Authors:
Georgios A. Tritsaris,
Stephen Carr,
Ziyan Zhu,
Yiqi Xie,
Steven B. Torrisi,
Jing Tang,
Marios Mattheakis,
Daniel Larson,
Efthimios Kaxiras
Abstract:
Quantum confinement endows two-dimensional (2D) layered materials with exceptional physics and novel properties compared to their bulk counterparts. Although certain two- and few-layer configurations of graphene have been realized and studied, a systematic investigation of the properties of arbitrarily layered graphene assemblies is still lacking. We introduce theoretical concepts and methods for…
▽ More
Quantum confinement endows two-dimensional (2D) layered materials with exceptional physics and novel properties compared to their bulk counterparts. Although certain two- and few-layer configurations of graphene have been realized and studied, a systematic investigation of the properties of arbitrarily layered graphene assemblies is still lacking. We introduce theoretical concepts and methods for the processing of materials information, and as a case study, apply them to investigate the electronic structure of multi-layer graphene-based assemblies in a high-throughput fashion. We provide a critical discussion of patterns and trends in tight binding band structures and we identify specific layered assemblies using low-dispersion electronic bands as indicators of potentially interesting physics like strongly correlated behavior. A combination of data-driven models for visualization and prediction is used to intelligently explore the materials space. This work more generally aims to increase confidence in the combined use of physics-based and data-driven modeling for the systematic refinement of knowledge about 2D layered materials, with implications for the development of novel quantum devices.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
The Habitable Exoplanet Observatory (HabEx) Mission Concept Study Final Report
Authors:
B. Scott Gaudi,
Sara Seager,
Bertrand Mennesson,
Alina Kiessling,
Keith Warfield,
Kerri Cahoy,
John T. Clarke,
Shawn Domagal-Goldman,
Lee Feinberg,
Olivier Guyon,
Jeremy Kasdin,
Dimitri Mawet,
Peter Plavchan,
Tyler Robinson,
Leslie Rogers,
Paul Scowen,
Rachel Somerville,
Karl Stapelfeldt,
Christopher Stark,
Daniel Stern,
Margaret Turnbull,
Rashied Amini,
Gary Kuan,
Stefan Martin,
Rhonda Morgan
, et al. (161 additional authors not shown)
Abstract:
The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Su…
▽ More
The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Such a mission can also be equipped with instrumentation that will enable broad and exciting general astrophysics and planetary science not possible from current or planned facilities. HabEx is a space telescope with unique imaging and multi-object spectroscopic capabilities at wavelengths ranging from ultraviolet (UV) to near-IR. These capabilities allow for a broad suite of compelling science that cuts across the entire NASA astrophysics portfolio. HabEx has three primary science goals: (1) Seek out nearby worlds and explore their habitability; (2) Map out nearby planetary systems and understand the diversity of the worlds they contain; (3) Enable new explorations of astrophysical systems from our own solar system to external galaxies by extending our reach in the UV through near-IR. This Great Observatory science will be selected through a competed GO program, and will account for about 50% of the HabEx primary mission. The preferred HabEx architecture is a 4m, monolithic, off-axis telescope that is diffraction-limited at 0.4 microns and is in an L2 orbit. HabEx employs two starlight suppression systems: a coronagraph and a starshade, each with their own dedicated instrument.
△ Less
Submitted 26 January, 2020; v1 submitted 18 January, 2020;
originally announced January 2020.
-
Correlated Insulating States and Transport Signature of Superconductivity in Twisted Trilayer Graphene Moiré of Moiré Superlattices
Authors:
Kan-Ting Tsai,
Xi Zhang,
Ziyan Zhu,
Yujie Luo,
Stephen Carr,
Mitchell Luskin,
Efthimios Kaxiras,
Ke Wang
Abstract:
Layers of two-dimensional materials stacked with a small twist-angle give rise to beating periodic patterns on a scale much larger than the original lattice, referred to as a moiré superlattice. When the stacking involves more than two layers with independent twist angles between adjacent layers, it generates moiré of moiré superlattices, with multiple length scales that control the system's behav…
▽ More
Layers of two-dimensional materials stacked with a small twist-angle give rise to beating periodic patterns on a scale much larger than the original lattice, referred to as a moiré superlattice. When the stacking involves more than two layers with independent twist angles between adjacent layers, it generates moiré of moiré superlattices, with multiple length scales that control the system's behavior. Here we demonstrate these effects of a high-order moiré superlattice in twisted trilayer graphene with two consecutive small twist angles. We report correlated insulating states near the half filling of the moiré of moiré superlattice at an extremely low carrier density (~1010 cm-2), near which we also report a zero-resistance transport behavior typically expected in a 2D superconductor. Moreover, the temperature dependence of the measured resistances at full-occupancy (v = -4 and v = 4) states are semi-metallic, distinct from the insulating behavior of twisted bilayer systems, providing the first demonstration of emergent correlated transport behaviors from continuous, non-isolated higher-order moiré flat bands. Our findings shed new insights into the microscopic mechanisms of moiré correlated states and provide the impetus for future studies on this material platform, such as the demonstration of phase coherence and Meissner-like effect.
△ Less
Submitted 1 December, 2020; v1 submitted 6 December, 2019;
originally announced December 2019.