6,633 research outputs found
Superconducting proximity effect in interacting double-dot systems
We study subgap transport from a superconductor through a double quantum dot
with large on-site Coulomb repulsion to two normal leads. Non-local
superconducting correlations in the double dot are induced by the proximity to
the superconducting lead, detectable in non-local Andreev transport that splits
Cooper pairs in locally separated, spin-entangled electrons. We find that the
-- characteristics are strongly asymmetric: for a large bias voltage of
certain polarity, transport is blocked by populating the double dot with states
whose spin symmetry is incompatible with the superconductor. Furthermore, by
tuning gate voltages one has access to splitting of the Andreev excitation
energies, which is visible in the differential conductance.Comment: 5 pages, 4 figure
Frequency-Dependent Current Noise through Quantum-Dot Spin Valves
We study frequency-dependent current noise through a single-level quantum dot
connected to ferromagnetic leads with non-collinear magnetization. We propose
to use the frequency-dependent Fano factor as a tool to detect single-spin
dynamics in the quantum dot. Spin precession due to an external magnetic and/or
a many-body exchange field affects the Fano factor of the system in two ways.
First, the tendency towards spin-selective bunching of the transmitted
electrons is suppressed, which gives rise to a reduction of the low-frequency
noise. Second, the noise spectrum displays a resonance at the Larmor frequency,
whose lineshape depends on the relative angle of the leads' magnetizations.Comment: 12 pages, 15 figure
Living together, feeding apart: How to measure individual food consumption in social house mice
In many studies with animals kept in groups, scientists need information about each individual's food access without disturbance or separation of the animals. We developed an automatic feeding device that allows measurement of individual food consumption and experimental manipulation of individual food availability in small social mammals, such as house mice. The feeding device is based on radio frequency identification that triggers access to a motor-driven metal arm filled with food pellets and is mediated with the help of subcutaneously implanted transponders
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
We introduce a new class of graph transformation systems in which rewrite
rules can be guarded by universally quantified conditions on the neighbourhood
of nodes. These conditions are defined via special graph patterns which may be
transformed by the rule as well. For the new class for graph rewrite rules, we
provide a symbolic procedure working on minimal representations of upward
closed sets of configurations. We prove correctness and effectiveness of the
procedure by a categorical presentation of rewrite rules as well as the
involved order, and using results for well-structured transition systems. We
apply the resulting procedure to the analysis of the Distributed Dining
Philosophers protocol on an arbitrary network structure.Comment: Extended version of a submittion accepted at RP'14 Worksho
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries
A prominent approach to implementing ontology-mediated queries (OMQs) is to
rewrite into a first-order query, which is then executed using a conventional
SQL database system. We consider the case where the ontology is formulated in
the description logic EL and the actual query is a conjunctive query and show
that rewritings of such OMQs can be efficiently computed in practice, in a
sound and complete way. Our approach combines a reduction with a decomposed
backwards chaining algorithm for OMQs that are based on the simpler atomic
queries, also illuminating the relationship between first-order rewritings of
OMQs based on conjunctive and on atomic queries. Experiments with real-world
ontologies show promising results
Topological phases for bound states moving in a finite volume
We show that bound states moving in a finite periodic volume have an energy
correction which is topological in origin and universal in character. The
topological volume corrections contain information about the number and mass of
the constituents of the bound states. These results have broad applications to
lattice calculations involving nucleons, nuclei, hadronic molecules, and cold
atoms. We illustrate and verify the analytical results with several numerical
lattice calculations.Comment: 4 pages, 1 figure, version to appear in Phys. Rev. D Rapid
Communication
Bounds on second generation scalar leptoquarks from the anomalous magnetic moment of the muon
We calculate the contribution of second generation scalar leptoquarks to the
anomalous magnetic moment of the muon (AMMM). In the near future, E-821 at
Brookhaven will reduce the experimental error on this parameter to , an improvement of 20 over its current value.
With this new experimental limit we obtain a lower mass limit of
\ GeV for the second generation scalar leptoquark, when its
Yukawa-like coupling \ to quarks and leptons is taken to be
of the order of the electroweak coupling .Comment: 5 pages, plain tex, 1 figure (not included available under request
Aharonov-Bohm Interferometry with Interacting Quantum Dots: Spin Configurations, Asymmetric Interference Patterns, Bias-Voltage-Induced Aharonov-Bohm Oscillations, and Symmetries of Transport Coefficients
We study electron transport through multiply-connected mesoscopic geometries
containing interacting quantum dots. Our formulation covers both equilibrium
and non-equilibrium physics. We discuss the relation of coherent transport
channels through the quantum dot to flux-sensitive Aharonov-Bohm oscillations
in the total conductance of the device. Contributions to transport in first and
second order in the intrinsic line width of the dot levels are addressed in
detail. We predict an interaction-induced asymmetry in the amplitude of the
interference signal around resonance peaks as a consequence of incoherence
associated with spin-flip processes. This asymmetry can be used to probe the
total spin of the quantum dot. Such a probe requires less stringent
experimental conditions than the Kondo effect, which provides the same
information. We show that first-order contributions can be partially or even
fully coherent. This contrasts with the sequential-tunneling picture, which
describes first-order transport as a sequence of incoherent tunneling
processes. We predict bias-voltage induced Aharonov-Bohm oscillations of
physical quantities which are independent of flux in the linear-response
regime. Going beyond the Onsager relations we analyze the relations between the
space symmetry group of the setup and the flux-dependent non-linear
conductance.Comment: 22 pages, 11 figure
Collective character of spin excitations in a system of Mn spins coupled to a two-dimensional electron gas
We have studied the low energy spin excitations in n-type CdMnTe based dilute
magnetic semiconductor quantum wells. For magnetic fields for which the
energies for the excitation of free carriers and Mn spins are almost identical
an anomalously large Knight shift is observed. Our findings suggests the
existence of a magnetic field induced ferromagnetic order in these structures,
which is in agreement with recent theoretical predictions [J. K{\"o}nig and A.
H. MacDonald, submitted Phys. Rev. Lett. (2002)]Comment: 4 figure
- …