BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Edmund Clarke

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

ResearcherUnclaimed source record
cond-mat.mes-hallquant-phLogic in Computer Sciencephysics.opticsSystems and Controlcond-mat.mtrl-sciComputational Complexityphysics.comp-phSymbolic Computation

Catalog footprint

What is connected

18works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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

Published work

18 published item(s)

preprint2020arXiv

Photon Statistics of Filtered Resonance Fluorescence

Spectral filtering of resonance fluorescence is widely employed to improve single photon purity and indistinguishability by removing unwanted backgrounds. For filter bandwidths approaching the emitter linewidth, complex behaviour is predicted due to preferential transmission of components with differing photon statistics. We probe this regime using a Purcell-enhanced quantum dot in both weak and strong excitation limits, finding excellent agreement with an extended sensor theory model. By changing only the filter width, the photon statistics can be transformed between antibunched, bunched, or Poissonian. Our results verify that strong antibunching and a sub-natural linewidth cannot simultaneously be observed, providing new insight into the nature of coherent scattering.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Light Scattering from Solid-State Quantum Emitters: Beyond the Atomic Picture

Coherent scattering of light by a single quantum emitter is a fundamental process at the heart of many proposed quantum technologies. Unlike atomic systems, solid-state emitters couple to their host lattice by phonons. Using a quantum dot in an optical nanocavity, we resolve these interactions in both time and frequency domains, going beyond the atomic picture to develop a comprehensive model of light scattering from solid-state emitters. We find that even in the presence of a cavity, phonon coupling leads to a sideband that is completely insensitive to excitation conditions, and to a non-monotonic relationship between laser detuning and coherent fraction, both major deviations from atom-like behaviour.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Telecommunication wavelength confined Tamm plasmon structures containing InAs/GaAs quantum dot emitters at room temperature

We experimentally demonstrate gold microdisc structures that produce confined Tamm plasmons (CTPs), interface modes between a metal layer and a distributed Bragg reflector, resonant around 1.3 μm. Quantum dots grown within the structures show an order of magnitude increase in the photoluminescence emitted at room temperature. Varying the disc diameter, we show spectral tuning of the resonance and measure the dispersion relation as evidence of mode confinement. The simplicity of fabrication and tuneability of these structures make CTPs an ideal platform for making scalable telecom devices based on quantum dots.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Magneto-optical spectroscopy of single charge-tunable InAs/GaAs quantum dots emitting at telecom wavelengths

We report on the optical properties of single InAs/GaAs quantum dots emitting near the telecommunication O-band, probed via Coulomb blockade and non-resonant photoluminescence spectroscopy, in the presence of external electric and magnetic fields. We extract the physical properties of the electron and hole wavefunctions, including the confinement energies, interaction energies, wavefunction lengths, and $g$-factors. For excitons, we measure the permanent dipole moment, polarizability, diamagnetic coefficient, and Zeeman splitting. The carriers are determined to be in the strong confinement regime. Large range electric field tunability, up to 7 meV, is demonstrated for excitons. We observe a large reduction, up to one order of magnitude, in the diamagnetic coefficient when rotating the magnetic field from Faraday to Voigt geometry due to the unique dot morphology. The complete spectroscopic characterization of the fundamental properties of long-wavelength dot-in-a-well structures provides insight for the applicability of quantum technologies based on quantum dots emitting at telecom wavelengths.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On-chip interference of single photons from an embedded quantum dot and an external laser

In this work, we demonstrate the on-chip two-photon interference between single photons emitted by a single self-assembled InGaAs quantum dot and an external laser. The quantum dot is embedded within one arm of an air-clad directional coupler which acts as a beam-splitter for incoming light. Photons originating from an attenuated external laser are coupled to the second arm of the beam-splitter and then combined with the quantum dot photons, giving rise to two-photon quantum interference between dissimilar sources. We verify the occurrence of on-chip Hong-Ou-Mandel interference by cross-correlating the optical signal from the separate output ports of the directional coupler. This experimental approach allows us to use classical light source (laser) to assess in a single step the overall device performance in the quantum regime and probe quantum dot photon indistinguishability on application realistic time scales.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Delta-Complete Analysis for Bounded Reachability of Hybrid Systems

We present the framework of delta-complete analysis for bounded reachability problems of general hybrid systems. We perform bounded reachability checking through solving delta-decision problems over the reals. The techniques take into account of robustness properties of the systems under numerical perturbations. We prove that the verification problems become much more mathematically tractable in this new framework. Our implementation of the techniques, an open-source tool dReach, scales well on several highly nonlinear hybrid system models that arise in biomedical and robotics applications.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Dynamics of a mesoscopic nuclear spin ensemble interacting with an optically driven electron spin

The ability to discriminate between simultaneously occurring noise sources in the local environment of semiconductor InGaAs quantum dots, such as electric and magnetic field fluctuations, is key to understanding their respective dynamics and their effect on quantum dot coherence properties. We present a discriminatory approach to all-optical sensing based on two-color resonance fluorescence of a quantum dot charged with a single electron. Our measurements show that local magnetic field fluctuations due to nuclear spins in the absence of an external magnetic field are described by two correlation times, both in the microsecond regime. The nuclear spin bath dynamics show a strong dependence on the strength of resonant probing, with correlation times increasing by a factor of four as the optical transition is saturated. We interpret the behavior as motional averaging of both the Knight field of the resident electron spin and the hyperfine-mediated nuclear spin-spin interaction due to optically-induced electron spin flips.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Environment-assisted quantum control of a solid-state spin via coherent dark states

Understanding the interplay between a quantum system and its environment lies at the heart of quantum science and its applications. To-date most efforts have focused on circumventing decoherence induced by the environment by either protecting the system from the associated noise or by manipulating the environment directly. Recently, parallel efforts using the environment as a resource have emerged, which could enable dissipation-driven quantum computation and coupling of distant quantum bits. Here, we realize the optical control of a semiconductor quantum-dot spin by relying on its interaction with an adiabatically evolving spin environment. The emergence of hyperfine-induced, quasi-static optical selection rules enables the optical generation of coherent spin dark states without an external magnetic field. We show that the phase and amplitude of the lasers implement multi-axis manipulation of the basis spanned by the dark and bright states, enabling control via projection into a spin-superposition state. Our approach can be extended, within the scope of quantum control and feedback, to other systems interacting with an adiabatically evolving environment.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Full counting statistics of quantum dot resonance fluorescence

The electronic energy levels and optical transitions of a semiconductor quantum dot are subject to dynamics within the solid-state environment. In particular, fluctuating electric fields due to nearby charge traps or other quantum dots shift the transition frequencies via the Stark effect. The environment dynamics are mapped directly onto the fluorescence under resonant excitation and diminish the prospects of quantum dots as sources of indistinguishable photons in optical quantum computing. Here, we present an analysis of resonance fluorescence fluctuations based on photon counting statistics which captures the underlying time-averaged electric field fluctuations of the local environment. The measurement protocol avoids dynamic feedback on the electric environment and the dynamics of the quantum dot's nuclear spin bath by virtue of its resonant nature and by keeping experimental control parameters such as excitation frequency and external fields constant throughout. The method introduced here is experimentally undemanding.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Polariton condensation in a planar microcavity with InGaAs quantum wells

Polariton lattice condensates provide a platform for on chip quantum emulations. Interactions in extended polariton lattices are currently limited by the intrinsic photonic disorder of microcavities. Here, we fabricate a strain compensated planar GaAs/AlAs microcavity with embedded InGaAs quantum wells and report on polariton condensation under non-resonant optical excitation. Evidence of polariton condensation is supported spectroscopically both in reflection and transmission geometry, whilst the observation of a second threshold to photon lasing allows us to conclusively distinguish between the strong- and weak-coupling non-linear regimes.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Proof Generation from Delta-Decisions

We show how to generate and validate logical proofs of unsatisfiability from delta-complete decision procedures that rely on error-prone numerical algorithms. Solving this problem is important for ensuring correctness of the decision procedures. At the same time, it is a new approach for automated theorem proving over real numbers. We design a first-order calculus, and transform the computational steps of constraint solving into logic proofs, which are then validated using proof-checking algorithms. As an application, we demonstrate how proofs generated from our solver can establish many nonlinear lemmas in the the formal proof of the Kepler Conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Revisiting the Complexity of Stability of Continuous and Hybrid Systems

We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using first-order formulas over the real numbers, and reduce stability problems to the delta-decision problems of these formulas. The framework allows us to obtain a precise characterization of the complexity of different notions of stability for nonlinear continuous and hybrid systems. We prove that bounded versions of the stability problems are generally decidable, and give upper bounds on their complexity. The unbounded versions are generally undecidable, for which we give upper bounds on their degrees of unsolvability.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Exciton fine-structure splitting of telecom wavelength single quantum dots: statistics and external strain tuning

In a charge tunable device, we investigate the fine structure splitting of neutral excitons in single long-wavelength (1.1μm < λ< 1.3 μm) InGaAs quantum dots as a function of external uniaxial strain. Nominal fine structure splittings between 16 and 136 μeV are measured and manipulated. We observe varied response of the splitting to the external strain, including positive and negative tuning slopes, different tuning ranges, and linear and parabolic dependencies, indicating that these physical parameters depend strongly on the unique microscopic structure of the individual quantum dot. To better understand the experimental results, we apply a phenomenological model describing the exciton polarization and fine-structure splitting under uniaxial strain. The model predicts that, with an increased experimental strain tuning range, the fine-structure can be effectively canceled for select telecom wavelength dots using uniaxial strain. These results are promising for the generation of on-demand entangled photon pairs at telecom wavelengths.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Phase-locked indistinguishable photons with synthesized waveforms from a solid-state source

Resonance fluorescence in the Heitler regime provides access to single photons with coherence well beyond the Fourier transform limit of the transition, and holds the promise to circumvent environment-induced dephasing common to all solid-state systems. Here we demonstrate that the coherently generated single photons from a single self-assembled InAs quantum dot display mutual coherence with the excitation laser on a timescale exceeding 3 seconds. Exploiting this degree of mutual coherence we synthesize near-arbitrary coherent photon waveforms by shaping the excitation laser field. In contrast to post-emission filtering, our technique avoids both photon loss and degradation of the single photon nature for all synthesized waveforms. By engineering pulsed waveforms of single photons, we further demonstrate that separate photons generated coherently by the same laser field are fundamentally indistinguishable, lending themselves to creation of distant entanglement through quantum interference.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Satisfiability Modulo ODEs

We study SMT problems over the reals containing ordinary differential equations. They are important for formal verification of realistic hybrid systems and embedded software. We develop delta-complete algorithms for SMT formulas that are purely existentially quantified, as well as exists-forall formulas whose universal quantification is restricted to the time variables. We demonstrate scalability of the algorithms, as implemented in our open-source solver dReal, on SMT benchmarks with several hundred nonlinear ODEs and variables.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Delta-Complete Decision Procedures for Satisfiability over the Reals

We introduce the notion of "δ-complete decision procedures" for solving SMT problems over the real numbers, with the aim of handling a wide range of nonlinear functions including transcendental functions and solutions of Lipschitz-continuous ODEs. Given an SMT problem φand a positive rational number δ, a δ-complete decision procedure determines either that φis unsatisfiable, or that the "δ-weakening" of φis satisfiable. Here, the δ-weakening of φis a variant of φthat allows δ-bounded numerical perturbations on φ. We prove the existence of δ-complete decision procedures for bounded SMT over reals with functions mentioned above. For functions in Type 2 complexity class C, under mild assumptions, the bounded δ-SMT problem is in NP^C. δ-Complete decision procedures can exploit scalable numerical methods for handling nonlinearity, and we propose to use this notion as an ideal requirement for numerically-driven decision procedures. As a concrete example, we formally analyze the DPLL<ICP> framework, which integrates Interval Constraint Propagation (ICP) in DPLL(T), and establish necessary and sufficient conditions for its δ-completeness. We discuss practical applications of δ-complete decision procedures for correctness-critical applications including formal verification and theorem proving.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Delta-Decidability over the Reals

Given any collection F of computable functions over the reals, we show that there exists an algorithm that, given any L_F-sentence φcontaining only bounded quantifiers, and any positive rational number δ, decides either "φis true", or "a δ-strengthening of φis false". Under mild assumptions, for a C-computable signature F, the δ-decision problem for bounded Σ_k-sentences in L_F resides in (Σ_k^P)^C. The results stand in sharp contrast to the well-known undecidability results, and serve as a theoretical basis for the use of numerical methods in decision procedures for nonlinear first-order theories over the reals.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Experimental and Theoretical Study of Polarization-dependent Optical Transitions from InAs Quantum Dots at Telecommunication-Wavelengths (1.3-1.5μm)

The design of some optical devices such as semiconductor optical amplifiers for telecommunication applications requires polarization-insensitive optical emission at the long wavelengths (1300-1550 nm). Self-assembled InAs/GaAs quantum dots (QDs) typically exhibit ground state optical emission at wavelengths shorter than 1300 nm with highly polarization-sensitive characteristics, although this can be modified by using low growth rates, the incorporation of strain-reducing capping layers or growth of closely-stacked QD layers. Exploiting the strain interactions between closely stacked QD layers also allows greater freedom in the choice of growth conditions for the upper layers, so that both a significant extension in their emission wavelength and an improved polarization response can be achieved due to modification of the QD size, strain and composition. In this paper we investigate the polarization behavior of single and stacked QD layers using room temperature sub-lasing-threshold electroluminescence and photovoltage measurements as well as atomistic modeling with the NEMO 3-D simulator. A reduction is observed in the ratio of the transverse electric (TE) to transverse magnetic (TM) optical mode response for a GaAs-capped QD stack compared to a single QD layer, but when the second layer of the two-layer stack is InGaAs-capped an increase in the TE/TM ratio is observed, in contrast to recent reports for single QD layers.

0 citations0 reviewsNo code linkedOpen access