-
Incremental Bidirectional Typing via Order Maintenance
Authors:
Thomas J. Porter,
Marisa Kirisame,
Ivan Wei,
Pavel Panchekha,
Cyrus Omar
Abstract:
Live programming environments provide various semantic services, including type checking and evaluation, continuously as the user is editing the program. The live paradigm promises to improve the developer experience, but liveness is an implementation challenge particularly when working with large programs. This paper specifies and efficiently implements a system the is able to incrementally updat…
▽ More
Live programming environments provide various semantic services, including type checking and evaluation, continuously as the user is editing the program. The live paradigm promises to improve the developer experience, but liveness is an implementation challenge particularly when working with large programs. This paper specifies and efficiently implements a system the is able to incrementally update type information for a live program in response to fine-grained program edits. This information includes type error marks and information about the expected and actual type on every expression. The system is specified type-theoretically as a small-step dynamics that propagates updates through the marked and annotated program. Most updates flow according to a base bidirectional type system. Additional pointers are maintained to connect bound variables to their binding locations, with edits traversing these pointers directly. Order maintenance data structures are employed to efficiently maintain these pointers and to prioritize the order of update propagation. We prove this system is equivalent to naive re-analysis in the Agda theorem prover, along with other important metatheoretic properties. We then implement it efficiently in OCaml, detailing a number of impactful optimizations. We evaluate this implementation's performance with a large stress-test and find that it is able to achieve dramatic speed-ups of 275.96$\times$ compared to from-scratch reanalysis.
△ Less
Submitted 11 April, 2025;
originally announced April 2025.
-
Gapped collective charge excitations and interlayer hopping in cuprate superconductors
Authors:
M. Hepting,
M. Bejas,
A. Nag,
H. Yamase,
N. Coppola,
D. Betto,
C. Falter,
M. Garcia-Fernandez,
S. Agrestini,
K. -J. Zhou,
M. Minola,
C. Sacco,
L. Maritato,
P. Orgiani,
H. I. Wei,
K. M. Shen,
D. G. Schlom,
A. Galdi,
A. Greco,
B. Keimer
Abstract:
We use resonant inelastic x-ray scattering (RIXS) to probe the propagation of plasmons in the electron-doped cuprate superconductor Sr$_{0.9}$La$_{0.1}$CuO$_2$ (SLCO). We detect a plasmon gap of $\sim$~120 meV at the two-dimensional Brillouin zone center, indicating that low-energy plasmons in SLCO are not strictly acoustic. The plasmon dispersion, including the gap, is accurately captured by laye…
▽ More
We use resonant inelastic x-ray scattering (RIXS) to probe the propagation of plasmons in the electron-doped cuprate superconductor Sr$_{0.9}$La$_{0.1}$CuO$_2$ (SLCO). We detect a plasmon gap of $\sim$~120 meV at the two-dimensional Brillouin zone center, indicating that low-energy plasmons in SLCO are not strictly acoustic. The plasmon dispersion, including the gap, is accurately captured by layered $t$-$J$-$V$ model calculations. A similar analysis performed on recent RIXS data from other cuprates suggests that the plasmon gap is generic and its size is related to the magnitude of the interlayer hopping $t_z$. Our work signifies the three-dimensionality of the charge dynamics in layered cuprates and provides a new method to determine $t_z$.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
Omnizart: A General Toolbox for Automatic Music Transcription
Authors:
Yu-Te Wu,
Yin-Jyun Luo,
Tsung-Ping Chen,
I-Chieh Wei,
Jui-Yang Hsu,
Yi-Chin Chuang,
Li Su
Abstract:
We present and release Omnizart, a new Python library that provides a streamlined solution to automatic music transcription (AMT). Omnizart encompasses modules that construct the life-cycle of deep learning-based AMT, and is designed for ease of use with a compact command-line interface. To the best of our knowledge, Omnizart is the first transcription toolkit which offers models covering a wide c…
▽ More
We present and release Omnizart, a new Python library that provides a streamlined solution to automatic music transcription (AMT). Omnizart encompasses modules that construct the life-cycle of deep learning-based AMT, and is designed for ease of use with a compact command-line interface. To the best of our knowledge, Omnizart is the first transcription toolkit which offers models covering a wide class of instruments ranging from solo, instrument ensembles, percussion instruments to vocal, as well as models for chord recognition and beat/downbeat tracking, two music information retrieval (MIR) tasks highly related to AMT.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Vanishing nematic order beyond the pseudogap phase in overdoped cuprate superconductors
Authors:
Naman K. Gupta,
C. McMahon,
R. Sutarto,
T. Shi,
R. Gong,
Haofei I. Wei,
K. M. Shen,
F. He,
Q. Ma,
M. Dragomir,
B. D. Gaulin,
D. G. Hawthorn
Abstract:
During the last decade, translational and rotational symmetry-breaking phases -- density wave order and electronic nematicity -- have been established as generic and distinct features of many correlated electron systems, including pnictide and cuprate superconductors. However, in cuprates, the relationship between these electronic symmetry-breaking phases and the enigmatic pseudogap phase remains…
▽ More
During the last decade, translational and rotational symmetry-breaking phases -- density wave order and electronic nematicity -- have been established as generic and distinct features of many correlated electron systems, including pnictide and cuprate superconductors. However, in cuprates, the relationship between these electronic symmetry-breaking phases and the enigmatic pseudogap phase remains unclear. Here, we employ resonant x-ray scattering in a cuprate high-temperature superconductor La$_{1.6-x}$Nd$_{0.4}$Sr$_{x}$CuO$_{4}$ (Nd-LSCO) to navigate the cuprate phase diagram, probing the relationship between electronic nematicity of the Cu 3$d$ orbitals, charge order, and the pseudogap phase as a function of doping. We find evidence for a considerable decrease in electronic nematicity beyond the pseudogap phase, either by raising the temperature through the pseudogap onset temperature $T^{*}$ or increasing doping through the pseudogap critical point, $p^{*}$. These results establish a clear link between electronic nematicity, the pseudogap, and its associated quantum criticality in overdoped cuprates. Our findings anticipate that electronic nematicity may play a larger role in understanding the cuprate phase diagram than previously recognized, possibly having a crucial role in the phenomenology of the pseudogap phase.
△ Less
Submitted 1 September, 2021; v1 submitted 15 December, 2020;
originally announced December 2020.
-
Strain-Engineering Mott-Insulating La$_2$CuO$_4$
Authors:
O. Ivashko,
M. Horio,
W. Wan,
N. B. Christensen,
D. E. McNally,
E. Paris,
Y. Tseng,
N. E. Shaik,
H. M. Rønnow,
H. I. Wei,
C. Adamo,
C. Lichtensteiger,
M. Gibert,
M. R. Beasley,
K. M. Shen,
J. M. Tomczak,
T. Schmitt,
J. Chang
Abstract:
The transition temperature $T_\textrm{c}$ of unconventional superconductivity is often tunable. For a monolayer of FeSe, for example, the sweet spot is uniquely bound to titanium-oxide substrates. By contrast for La$_{2-\mathrm{x}}$Sr$_\mathrm{x}$CuO$_4$ thin films, such substrates are sub-optimal and the highest $T_\textrm{c}$ is instead obtained using LaSrAlO$_4$. An outstanding challenge is thu…
▽ More
The transition temperature $T_\textrm{c}$ of unconventional superconductivity is often tunable. For a monolayer of FeSe, for example, the sweet spot is uniquely bound to titanium-oxide substrates. By contrast for La$_{2-\mathrm{x}}$Sr$_\mathrm{x}$CuO$_4$ thin films, such substrates are sub-optimal and the highest $T_\textrm{c}$ is instead obtained using LaSrAlO$_4$. An outstanding challenge is thus to understand the optimal conditions for superconductivity in thin films: which microscopic parameters drive the change in $T_\mathrm{c}$ and how can we tune them? Here we demonstrate, by a combination of x-ray absorption and resonant inelastic x-ray scattering spectroscopy, how the Coulomb and magnetic-exchange interaction of La$_2$CuO$_4$ thin films can be enhanced by compressive strain. Our experiments and theoretical calculations establish that the substrate producing the largest $T_\textrm{c}$ under doping also generates the largest nearest neighbour hopping integral, Coulomb and magnetic-exchange interaction. We hence suggest optimising the parent Mott state as a strategy for enhancing the superconducting transition temperature in cuprates.
△ Less
Submitted 5 March, 2019; v1 submitted 18 May, 2018;
originally announced May 2018.
-
Lifshitz transition from valence fluctuations in YbAl3
Authors:
Shouvik Chatterjee,
Jacob. P. Ruf,
Haofei. I. Wei,
Kenneth D. Finkelstein,
Darrell G. Schlom,
Kyle M. Shen
Abstract:
In Kondo lattice systems with mixed valence, such as YbAl3, interactions between localized electrons in a partially filled f shell and delocalized conduction electrons can lead to fluctuations between two different valence configurations with changing temperature or pressure. The impact of this change on the momentum-space electronic structure and Fermi surface topology is essential for understand…
▽ More
In Kondo lattice systems with mixed valence, such as YbAl3, interactions between localized electrons in a partially filled f shell and delocalized conduction electrons can lead to fluctuations between two different valence configurations with changing temperature or pressure. The impact of this change on the momentum-space electronic structure and Fermi surface topology is essential for understanding their emergent properties, but has remained enigmatic due to a lack of appropriate experimental probes. Here by employing a combination of molecular beam epitaxy (MBE) and in situ angle-resolved photoemission spectroscopy (ARPES) we show that valence fluctuations can lead to dramatic changes in the Fermi surface topology, even resulting in a Lifshitz transition. As the temperature is lowered, a small electron pocket in YbAl3 becomes completely unoccupied while the low-energy ytterbium (Yb) 4f states become increasingly itinerant, acquiring additional spectral weight, longer lifetimes, and well-defined dispersions. Our work presents the first unified picture of how local valence fluctuations connect to momentum space concepts including band filling and Fermi surface topology in the longstanding problem of mixed-valence systems.
△ Less
Submitted 20 October, 2017;
originally announced October 2017.
-
Hierarchical spin-orbital polarisation of a giant Rashba system
Authors:
L. Bawden,
J. M. Riley,
C. H. Kim,
R. Sankar,
E. J. Monkman,
D. E. Shai,
H. I. Wei,
E. Lochocki,
J. W. Wells,
W. Meevasana,
T. K. Kim,
M. Hoesch,
Y. Ohtsubo,
P. Le Fèvre,
C. J. Fennie,
K. M. Shen,
F. C. Chou,
P. D. C. King
Abstract:
The Rashba effect is one of the most striking manifestations of spin-orbit coupling in solids, and provides a cornerstone for the burgeoning field of semiconductor spintronics. It is typically assumed to manifest as a momentum-dependent splitting of a single initially spin-degenerate band into two branches with opposite spin polarisation. Here, combining polarisation-dependent and resonant angle-r…
▽ More
The Rashba effect is one of the most striking manifestations of spin-orbit coupling in solids, and provides a cornerstone for the burgeoning field of semiconductor spintronics. It is typically assumed to manifest as a momentum-dependent splitting of a single initially spin-degenerate band into two branches with opposite spin polarisation. Here, combining polarisation-dependent and resonant angle-resolved photoemission measurements with density-functional theory calculations, we show that the two "spin-split" branches of the model giant Rashba system BiTeI additionally develop disparate orbital textures, each of which is coupled to a distinct spin configuration. This necessitates a re-interpretation of spin splitting in Rashba-like systems, and opens new possibilities for controlling spin polarisation through the orbital sector.
△ Less
Submitted 30 July, 2015;
originally announced July 2015.
-
Interplay of Spin-Orbit Interactions, Dimensionality, and Octahedral Rotations in Semimetallic SrIrO$_3$
Authors:
Y. F. Nie,
P. D. C. King,
C. H. Kim,
M. Uchida,
H. I. Wei,
B. D. Faeth,
J. P. Ruf,
J. P. C. Ruff,
L. Xie,
X. Pan,
C. J. Fennie,
D. G. Schlom,
K. M. Shen
Abstract:
We employ reactive molecular-beam epitaxy to synthesize the metastable perovskite SrIrO$_{3}$ and utilize {\it in situ} angle-resolved photoemission to reveal its electronic structure as an exotic narrow-band semimetal. We discover remarkably narrow bands which originate from a confluence of strong spin-orbit interactions, dimensionality, and both in- and out-of-plane IrO$_6$ octahedral rotations.…
▽ More
We employ reactive molecular-beam epitaxy to synthesize the metastable perovskite SrIrO$_{3}$ and utilize {\it in situ} angle-resolved photoemission to reveal its electronic structure as an exotic narrow-band semimetal. We discover remarkably narrow bands which originate from a confluence of strong spin-orbit interactions, dimensionality, and both in- and out-of-plane IrO$_6$ octahedral rotations. The partial occupation of numerous bands with strongly mixed orbital characters signals the breakdown of the single-band Mott picture that characterizes its insulating two-dimensional counterpart, Sr$_{2}$IrO$_{4}$, illustrating the power of structure-property relations for manipulating the subtle balance between spin-orbit interactions and electron-electron interactions.
△ Less
Submitted 9 January, 2015;
originally announced January 2015.
