SearcharxivSearch

arXiv subjects

Edmund Clarke

Publications and source records attributed to Edmund Clarke.

At least 19 recordsLinked to original sources

Solving QBF with Counterexample Guided Refinement

We propose two novel approaches for using Counterexample-Guided Abstraction Refinement (CEGAR) in Quantified Boolean Formula (QBF) solvers. The first approach develops a recursive algorithm whose search is driven by CEGAR (rather than by DPLL). The second approach employs CEGAR as an additional learning technique in an existing DPLL-based QBF solver. Experimental evaluation of the implemented prototypes shows that the CEGAR-driven solver outperforms existing solvers on a number of families in the QBF-LIB and that the DPLL solver benefits from the additional type of learning. Thus this article opens two promising avenues in QBF: CEGAR-driven solvers as an alternative to existing approaches and a novel type of learning in DPLL.

cs.LO

Giant critical response in a driven-dissipative quantum gas

Systems close to a phase transition turn weak perturbations into large responses. At equilibrium, this amplification is closely linked to criticality: fluctuations grow, dynamics slow, and a common soft mode controls the response. Whether this correspondence survives in driven-dissipative quantum systems, sustained by continuous pumping and loss away from thermal equilibrium, remains an open question. Here we show experimentally that it does. In a room-temperature semiconductor photon Bose-Einstein condensate, the critical slowing of spontaneous intensity fluctuations and the amplification of weak pump perturbations are measured independently. Both peak at the same condensate population, $\bar{n}_c = 1250$, where the dimensionless slowing factor and susceptibility reach the same value, $\bar{n}_c/2 = 625$. A single weakly damped collective photon-reservoir mode governs both effects. This fluctuation-response correspondence in a finite open quantum gas establishes critical susceptibility as a measurable dynamical signature of condensation, with peak gain set by system size.

cond-mat.quant-gas

A Semiconductor Photon Bose-Einstein Condensate as a Practical Light Source for Ranging Finding

Here we report the measurement of thermal photon statistics from a semiconductor photon Bose-Einstein condensate operating just above the condensation threshold. We identify a regime where coherent, single mode emission occurs while still demonstrating significant photon bunching. Taking advantage of the photon bunching, along with the continuous-wave operation and high photon flux, we demonstrate optical range sensing using a photon Bose-Einstein condensate. We characterise the precision of the range measurement and analyse the dependence on the condensate's pump power and resulting coherence properties.

physics.optics

Coherent Control of Quantum-Dot Spins with Cyclic Optical Transitions

Solid-state spins are promising as interfaces from stationary qubits to single photons for quantum communication technologies. Semiconductor quantum dots have excellent optical coherence, exhibit near unity collection efficiencies when coupled to photonic structures, and possess long-lived spins for quantum memory. However, the incompatibility of performing optical spin control and single-shot readout simultaneously has been a challenge faced by almost all solid-state emitters. To overcome this, we leverage light-hole mixing to realize a highly asymmetric lambda system in a negatively charged heavy hole exciton in Faraday configuration. By compensating GHz-scale differential Stark shifts, induced by unequal coupling to Raman control fields, and by performing nuclear-spin cooling, we achieve quantum control of an electron-spin qubit with a $\pi$-pulse contrast of 97.4% while preserving spin-selective optical transitions with a cyclicity of 471 (50). We demonstrate this scheme for both GaAs and InGaAs quantum dots, and show that it is compatible with the operation of a nuclear quantum memory. Our approach thus enables repeated emission of indistinguishable photons together with qubit control, as required for single-shot readout, photonic cluster-state generation, and quantum repeater technologies.

quant-ph

Flat-band compactons in a two-dimensional driven-dissipative Lieb lattice

We experimentally study the effect of inter-particle interactions on the flat-band states of a two-dimensional Lieb lattice with drive and dissipation. Exploiting the giant nonlinear interactions of exciton polaritons we observe compactly localised solitons (compactons) embedded within the continuum of propagating state bands -- a form of nonlinear bound state in the continuum (BIC). The driven-dissipative nature of the system leads to a sudden self-localisation into the compacton state above a threshold power. The experimental results agree well with numerical simulations. These results have implications for the physics of interacting quantum particles in flat-band systems and for generation of quantum-correlated light and spatially multiplexed coherent information transport.

cond-mat.other

Electro-mechanically tunable, waveguide-coupled photonic-crystal cavities with embedded quantum dots

On-chip micro-cavities with embedded quantum emitters provide an excellent platform for high-performance quantum technologies. A major difficulty for such devices is overcoming the detrimental effects of fluctuations in the device dimensions caused by the limitations of the fabrication processes. We present a fully tunable system based on a 1D photonic-crystal cavity with an embedded quantum dot, which enables tuning of both the quantum dot emission energy and the cavity mode wavelength. A micro-electromechanical cantilever is used to tune the cavity mode wavelength via index modulation and the quantum-confined Stark effect is used to tune the quantum dot emission energy, mitigating the effect of fabrication imperfections. To demonstrate the operation of the device, a maximum, voltage-controllable cavity tuning range of $\Delta \lambda = 1.8$ nm is observed. This signal is measured at the end of a bus waveguide which side-couples to the cavity, enabling the coupling of multiple cavities to a common waveguide, a key requirement for scale-up in these systems. Additionally, a quantum dot is tuned into resonance with the cavity mode, exhibiting an enhanced emission rate with a resolution limited Purcell factor of $F_P = 3.5$.

physics.optics

Waveguide Excitation and Spin Pumping of Chirally Coupled Quantum Dots

We report on an integrated semiconductor chip where a single quantum dot (QD) is excited in-plane via a photonic-crystal waveguide through its nearest p-shell optical transition. The chirality of the waveguide mode is exploited to achieve both directional absorption and directional emission, resulting in a substantial enhancement in directional contrast, as measured for the Zeeman components of the waveguide-coupled QD. This remote excitation scheme enables high directionality (greater than or equal to 0.95) across approximately 56% of the waveguide area, with significant overlap with the Purcell-enhanced region, where the electric field intensity profile is near its peak. In contrast, local excitation methods using an out-of-plane excitation beam focused directly over the area of the QD achieve only approximately 25% overlap. This enhancement increases the likelihood of locating Purcell-enhanced QDs in regions that support high directionality, enabling the experimental demonstration of a six-fold enhancement in the decay rate of a QD with greater than 90% directionality. The remote p-shell excitation protocol establishes a new benchmark for waveguide quantum optics in terms of the combination of Purcell enhancement and high directionality, thereby paving the way for on-chip excitation of spin-based solid-state quantum technologies in regimes of high beta-factor.

cond-mat.mes-hall

Purcell-Enhanced, Directional Light-Matter Interaction in a Waveguide-Coupled Nanocavity

We demonstrate electrically tunable, spin-dependent, directional coupling of single photons by embedding quantum dots (QDs) in a waveguide-coupled nanocavity. The directional behavior arises from direction-dependent interference between two cavity modes when coupled to the device waveguides. The small mode volume cavity enables simultaneous Purcell enhancement (${10.8\pm0.7}$) and peak directional contrast (${88\pm1\%}$), exceeding current state-of-the-art waveguide-only systems. We also present a scattering matrix model for the transmission through this structure, alongside a quantum trajectory-based model for predicting the system's directionality, which we use to explain the observed asymmetry in directional contrast seen in QD devices. Furthermore, the nanocavity enables wide-range electrical tuning of the emitter's directional contrast. We present results showing precise tuning of a QD emission line from a directional contrast of ${2\%}$ to ${96\%}$. In combination, these characteristics make this cavity-waveguide approach promising for use as a building block in directional nanophotonic circuits.

physics.optics

Bose-Einstein Condensation of Light in a Semiconductor Quantum Well Microcavity

When particles with integer spin accumulate at low temperature and high density they undergo Bose-Einstein condensation (BEC). Atoms, solid-state excitons and excitons coupled to light all exhibit BEC, which results in high coherence due to massive occupation of the respective system's ground state. Surprisingly, photons were shown to exhibit BEC much more recently in organic dye-filled optical microcavities, which, owing to the photon's low mass, occurs at room temperature. Here we demonstrate that photons within an inorganic semiconductor microcavity also thermalise and undergo BEC. Although semiconductor lasers are understood to operate out of thermal equilibrium, we identify a region of good thermalisation in our system where we can clearly distinguish laser action from BEC. Based on well-developed technology, semiconductor microcavities are a robust system for exploring the physics and applications of quantum statistical photon condensates. Notably, photon BEC is an alternative to exciton-based BECs, which dissociate under high excitation and often require cryogenic operating conditions. In practical terms, photon BECs offer their critical behaviour at lower thresholds than lasers. Our study shows two further advantages of photon BEC in semiconductor materials: the lack of dark electronic states allows these BECs to be sustained continuously; and semiconductor quantum wells offer strong photon-photon scattering. We measure an unoptimised interaction parameter, $\tilde{g}=0.0023\pm0.0003$, which is large enough to access the rich physics of interactions within BECs, such as superfluid light or vortex formation.

physics.optics

Observation of large spontaneous emission rate enhancement of quantum dots in a broken-symmetry slow-light waveguide

Quantum states of light and matter can be manipulated on the nanoscale to provide a technological resource for aiding the implementation of scalable photonic quantum technologies [1-3]. Experimental progress relies on the quality and efficiency of the coupling between photons and internal states of quantum emitters [4-6]. Here we demonstrate a nanophotonic waveguide platform with embedded quantum dots (QDs) that enables both Purcell-enhanced emission and strong chiral coupling. The design uses slow-light effects in a glide-plane photonic crystal waveguide with QD tuning to match the emission frequency to the slow-light region. Simulations were used to map the chirality and Purcell enhancement depending on the position of a dipole emitter relative to the air holes. The highest Purcell factors and chirality occur in separate regions, but there is still a significant area where high values of both can be obtained. Based on this, we first demonstrate a record large radiative decay rate of 17 ns^-1 (60 ps lifetime) corresponding to a 20 fold Purcell enhancement. This was achieved by electric-field tuning of the QD to the slow-light region and quasi-resonant phonon-sideband excitation. We then demonstrate a 5 fold Purcell enhancement for a dot with high degree of chiral coupling to waveguide modes, substantially surpassing all previous measurements. Together these demonstrate the excellent prospects for using QDs in scalable implementations of on-chip spin-photonics relying on chiral quantum optics.

physics.optics

Witnessing quantum correlations in a nuclear ensemble via an electron spin qubit

A coherent ensemble of spins interfaced with a proxy qubit is an attractive platform to create many-body coherences and probe the regime of collective excitations. An electron spin qubit in a semiconductor quantum dot can act as such an interface to the dense nuclear spin ensemble within the quantum dot consisting of multiple high-spin atomic species. Earlier work has shown that the electron can relay properties of its nuclear environment through the statistics of its mean-field interaction with the total nuclear polarisation, namely its mean and variance. Here, we demonstrate a method to probe the spin state of a nuclear ensemble that exploits its response to collective spin excitations, enabling a species-selective reconstruction beyond the mean field. For the accessible range of optically prepared mean fields, the reconstructed populations indicate that the ensemble is in a non-thermal, correlated nuclear state. The sum over reconstructed species-resolved polarisations exceeds the classical prediction threefold. This stark deviation follows from a spin ensemble that contains inter-particle coherences, and serves as an entanglement witness that confirms the formation of a dark many-body state.

cond-mat.mes-hall

Optimal purification of a spin ensemble by quantum-algorithmic feedback

Purifying a high-temperature ensemble of quantum particles towards a known state is a key requirement to exploit quantum many-body effects. An alternative to passive cooling, which brings a system to its ground state, is based on feedback to stabilise the system actively around a target state. This alternative, if realised, offers additional control capabilities for the design of quantum states. Here we present a quantum feedback algorithm capable of stabilising the collective state of an ensemble from an infinite-temperature state to the limit of single quanta. We implement this on ~50,000 nuclei in a semiconductor quantum dot, and show that the nuclear-spin fluctuations are reduced 83-fold down to 10 spin macrostates. While our algorithm can purify a single macrostate, system-specific inhomogeneities prevent reaching this limit. Our feedback algorithm further engineers classically correlated ensemble states via macrostate tuning, weighted bimodality, and latticed multistability, constituting a pre-cursor towards quantum-correlated macrostates.

quant-ph

Quantum sensing of a coherent single spin excitation in a nuclear ensemble

The measurement of single quanta in a collection of coherently interacting objects is transformative in the investigations of emergent quantum phenomena. An isolated nuclear-spin ensemble is a remarkable platform owing to its coherence, but detecting its single spin excitations has remained elusive. Here, we use an electron spin qubit in a semiconductor quantum dot to sense a single nuclear-spin excitation (a nuclear magnon) with 1.9-ppm precision via the 200-kHz hyperfine shift on the 28-GHz qubit frequency. We demonstrate this single-magnon precision across multiple modes identified by nuclear species and polarity. Finally, we monitor the coherent dynamics of a nuclear magnon and the emergence of quantum correlations competing against decoherence. A direct extension of this work is to probe engineered quantum states of the ensemble including long-lived memory states.

quant-ph

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.

quant-ph

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.

quant-ph

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 {\mu}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.

cond-mat.mes-hall

Quantum Interface of an Electron and a Nuclear Ensemble

Coherent excitation of an ensemble of quantum objects underpins quantum many-body phenomena, and offers the opportunity to realize a quantum memory to store information from a qubit. Thus far, a deterministic and coherent interface between a single quantum system, e.g. a qubit, and such an ensemble has remained elusive. We first use an electron to cool the mesoscopic nuclear-spin ensemble of a semiconductor quantum dot to the nuclear sideband-resolved regime. We then implement an all-optical approach to access these individual quantized electronic-nuclear spin transitions. Finally, we perform coherent optical rotations of a single collective nuclear spin excitation corresponding to a spin wave called a nuclear magnon. These results constitute the building blocks of a dedicated local memory per quantum-dot spin qubit and promise a solid-state platform for quantum-state engineering of isolated many-body systems.

quant-ph

Generating indistinguishable photons from a quantum dot in a noisy environment

Single photons from semiconductor quantum dots are promising resources for linear optical quantum computing, or, when coupled to spin states, quantum repeaters. To realize such schemes, the photons must exhibit a high degree of indistinguishability. However, the solid-state environment presents inherent obstacles for this requirement as intrinsic semiconductor fluctuations can destroy the photon indistinguishability. Here we use resonance fluorescence to generate indistinguishable photons from a single quantum dot in an environment filled with many charge-fluctuating traps. Over long time-scales ($>50$ $μ$s), flickering of the emission due to significant spectral fluctuations reduce the count rates. Nevertheless, due to the specificity of resonance fluorescence, high-visibility two-photon interference is achieved.

cond-mat.mes-hall