Search

An epitaxial semiconductor-superconductor nanowire is a superconducting system with a complex level structure originating from hybridization: in addition to a dense set of higher-energy states derived predominantly from the metallic superconducting shell above the bulk gap $\Delta$, there is a smaller number of lower-energy proximitized states from the semiconducting core that define the induced gap $\Delta^*$. Nanostructures built from such nanowires can furthermore incorporate quantum dots in order to obtain localized spins for storing and manipulating quantum information. We discuss the magnetic field dependence in three devices with different combinations of embedded quantum dots and superconducting islands. For strong fields, they show pinning of excitation energies to a uniform spacing, even if for weak fields they have non-universal properties with different behaviors for even and odd number of confined electrons. We propose a quantum impurity model for hybrid devices that incorporates all relevant physical effects. We show that the model accounts for the key observations and permits unambiguous interpretation in terms of many-particle states. In particular, we study the replicas of the Yu-Shiba-Rusinov states in the hybrid gap, their collapse and oscillation around zero bias with increasing field, and the strong smoothing effect of the spin-orbit coupling (SOC) on these oscillations. We propose that the SOC-induced mixing of many-body states is a generic mechanism and that magnetic pinning is likely to be a ubiquitous feature in hybrid nanowires., Comment: 15 pages, 7 figures

We characterize in-situ grown parallel nanowires bridged by a superconducting island. The magnetic-field and temperature dependence of Coulomb blockade peaks measured across different pairs of nanowire ends are consistent with a sub-gap state extended over the hybrid parallel-nanowire island. Being gate-tunable, accessible by multiple terminals and free of quasiparticle poisoning, these nanowires show promise for the implementation of several proposals that rely on parallel nanowire platforms., Comment: 9 pages, 5 figures

Condensed matter is composed of a small set of identical units, yet it shows an immense range of behaviour. Recently, an array of cold atoms was used to generate long-range quantum entanglement, a property of topological matter. Another approach to strong non-local correlations employs the macroscopic coherence of superconductors. Impurity spins in superconductors are thought to be unamenable to the formation of long-range spin entanglement because each spin tends to be screened by binding to a quasiparticle from the superconductor to form a local singlet. Here we demonstrate that it is possible to attach a second quasiparticle to the spin, overscreening it into a doublet state carrying ferromagnetic correlations between two quasiparticles over a micrometer distance. To demonstrate this effect, which is strongest for equal binding, we symmetrically couple the spin of a quantum dot to two ultrasmall superconducting islands. The overscreened state requires sufficiently large Coulomb repulsion and exchange binding to become well defined. We predict that this state will carry long-range correlations for an alternating chain of quantum dots and superconducting islands, opening a new route to controllable large-scale entanglement in the solid state., Comment: 4 figures, 7 extended data figures

Little-Parks oscillations of a hollow superconducting cylinder are of interest for flux-driven topological superconductivity in single Rashba nanowires. The oscillations are typically symmetric in the orientation of the applied magnetic flux. Using double InAs nanowires coated by an epitaxial superconducting Al shell which, despite the non-centro-symmetric geometry, behaves effectively as one hollow cylinder, we demonstrate that a small misalignment of the applied parallel field with respect to the axis of the nanowires can produce field-asymmetric Little-Parks oscillations. These are revealed by the simultaneous application of a magnetic field perpendicular to the misaligned parallel field direction. The asymmetry occurs in both the destructive regime, in which superconductivity is destroyed for half-integer quanta of flux through the shell, and in the non-destructive regime, where superconductivity is depressed but not fully destroyed at these flux values., Comment: 9 pages, 3 figures

We demonstrate direct transport between two opposing sets of Yu-Shiba-Rusinov (YSR) subgap states realized in a double quantum dot. This sub-gap transport relies on intrinsic quasiparticle relaxation, but the tunability of the device allows us to explore also an additional relaxation mechanism based on charge transferring Andreev reflections. The transition between these two relaxation regimes is identified in the experiment as a marked gate-induced stepwise change in conductance. We present a transport calculation, including YSR bound states and multiple Andreev reflections alongside with quasiparticle relaxation, due to a weak tunnel coupling to a nearby normal metal, and obtain excellent agreement with the data.

We characterize parallel double quantum dot Josephson junctions based on closely-grown double nanowires bridged by in-situ deposited superconductors. The parallel double dot behavior occurs despite the closeness of the nanowires and the potential risk of nanowire clamping during growth. By tuning the charge filling and lead couplings, we map out the simplest parallel double quantum dot Yu-Shiba-Rusinov phase diagram. Our quasi-independent two-wire hybrids show promise for the realization of exotic topological phases., Comment: 8 pages, 4 figures

Parallel one-dimensional semiconductor channels connected by a superconducting strip constitute the core platform in several recent quantum device proposals that rely e.g. on Andreev processes or topological effects. In order to realize these proposals, the actual material systems must have high crystalline purity and the coupling between the different elements should be controllable in terms of their interfaces and geometry. We present a strategy for synthesizing double InAs nanowires by the vapor-liquid-solid mechanism using III-V molecular beam epitaxy. A superconducting layer is deposited onto nanowires without breaking vacuum, ensuring pristine interfaces between the superconductor and the two semiconductor nanowires. The method allows for a high yield of merged as well as separate parallel nanowires, with full or half-shell superconductor coatings. We demonstrate their utility in complex quantum devices by electron transport measurements.

Cooper pairing and Coulomb repulsion are antagonists, producing distinct energy gaps in superconductors and Mott insulators. When a superconductor exchanges unpaired electrons with a quantum dot, its gap is populated by a pair of electron-hole symmetric Yu-Shiba-Rusinov excitations between doublet and singlet many-body states. The fate of these excitations in the presence of a strong Coulomb repulsion in the superconductor is unknown, but of importance in applications such as topological superconducting qubits and multi-channel impurity models. Here we couple a quantum dot to a superconducting island with a tunable Coulomb repulsion. We show that a strong Coulomb repulsion changes the singlet many-body state into a two-body state. It also breaks the electron-hole energy symmetry of the excitations, which thereby lose their Yu-Shiba-Rusinov character., Comment: Supplementary Information available as an ancillary file with this submission. Raw experimental data available at https://doi.org/10.17894/ucph.e17975c9-c12c-412b-b046-aca7526cb8ed

The strong coupling of a superconductor to a spinful quantum dot results in Yu-Shiba-Rusinov (YSR) discrete subgap excitations. In isolation and at zero temperature, the excitations are $\delta$ resonances. In transport experiments, however, they show as broad differential conductance peaks. We obtain the lineshape of the peaks and their temperature dependence in superconductor-quantum-dot-metal (S-QD-N) nanowire-based devices. Unexpectedly, we find that the peaks shift in energy with temperature, with the shift magnitude and sign depending on ground state parity and bias voltage. Additionally, we empirically find a power-law scaling of the peak area versus temperature. These observations are not explained by current models.

Using double quantum dots as the weak link of a Josephson junction, we realize the superconducting analog of the celebrated two-impurity Kondo model. The device shows a cusped current-voltage characteristic, which can be modelled by an overdamped circuit relating the observed cusp current to the Josephson critical current. The gate dependence of the cusp current and of the subgap spectra are used as complementary ground-state indicators to demonstrate gate-tuned changes of the ground state from an inter-dot singlet to independently screened Yu-Shiba-Rusinov (YSR) singlets. In contrast to the two-impurity Kondo effect in normal-state systems, the crossover between these two singlets is heralded by quantum phase boundaries to nearby doublet YSR phases in which only a single spin is screened., Comment: 16 pages, 17 figures

We demonstrate the Josephson effect in a serial double quantum dot defined in a nanowire with epitaxial superconducting leads. The supercurrent stability diagram adopts a honeycomb pattern with electron-hole and left-right reflection symmetry. We observe sharp discontinuities in the magnitude of the critical current, $I_c$, as a function of dot occupation, related to doublet to singlet ground state transitions. Detuning of the energy levels offers a tuning knob for $I_c$, which attains a maximum at zero detuning. The consistency between experiment and theory indicates that our device is a faithful realization of the two-impurity Anderson model., Comment: 6 pages, 5 figures, Supplemental Material available as ancillary file

In this paper we present the design and implementation of Flow, a fast and precise type checker for JavaScript that is used by thousands of developers on millions of lines of code at Facebook every day. Flow uses sophisticated type inference to understand common JavaScript idioms precisely. This helps it find non-trivial bugs in code and provide code intelligence to editors without requiring significant rewriting or annotations from the developer. We formalize an important fragment of Flow's analysis and prove its soundness. Furthermore, Flow uses aggressive parallelization and incrementalization to deliver near-instantaneous response times. This helps it avoid introducing any latency in the usual edit-refresh cycle of rapid JavaScript development. We describe the algorithms and systems infrastructure that we built to scale Flow's analysis.

We present Refined TypeScript (RSC), a lightweight refinement type system for TypeScript, that enables static verification of higher-order, imperative programs. We develop a formal core of RSC that delineates the interaction between refinement types and mutability. Next, we extend the core to account for the imperative and dynamic features of TypeScript. Finally, we evaluate RSC on a set of real world benchmarks, including parts of the Octane benchmarks, D3, Transducers, and the TypeScript compiler.

A key challenge when statically typing so-called dynamic languages is the ubiquity of value-based overloading, where a given function can dynamically reflect upon and behave according to the types of its arguments. Thus, to establish basic types, the analysis must reason precisely about values, but in the presence of higher-order functions and polymorphism, this reasoning itself can require basic types. In this paper we address this chicken-and-egg problem by introducing the framework of two-phased typing. The first "trust" phase performs classical, i.e. flow-, path- and value-insensitive type checking to assign basic types to various program expressions. When the check inevitably runs into "errors" due to value-insensitivity, it wraps problematic expressions with DEAD-casts, which explicate the trust obligations that must be discharged by the second phase. The second phase uses refinement typing, a flow- and path-sensitive analysis, that decorates the first phase's types with logical predicates to track value relationships and thereby verify the casts and establish other correctness properties for dynamically typed languages.