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 $I$--$V$ 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 $\Delta a_\mu^{\rm exp}<4\times 10^{-10}$, an improvement of 20 over its current value. With this new experimental limit we obtain a lower mass limit of $m_{\Phi_L}>186$\ GeV for the second generation scalar leptoquark, when its Yukawa-like coupling $\lambda_{\Phi_L}$\ to quarks and leptons is taken to be of the order of the electroweak coupling $g_2$.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 Mn2+^{2+} 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