Phase-coherent heat circulators with normal or superconducting contacts

We investigate heat circulators where a phase coherent region is contacted by three leads that are either normal- or superconducting. A magnetic field, and potentially the superconducting phases, allow to control the preferential direction of the heat flow between the three-different temperature-biased contacts. The main goal of this study is to analyze the requirements for heat circulation in nonideal devices, in particular focusing on sample-to-sample variations. Quite generally, we find that the circulation performance of the devices is good as long as only a few transport channels are involved. We compare the performance of circulators with normal conducting contacts to those with superconducting contacts and find that the circulation coefficients are essentially unchanged

General Bounds on Electronic Shot Noise in the Absence of Currents

We investigate the charge and heat electronic noise in a generic two-terminal mesoscopic conductor in the absence of the corresponding charge and heat currents. Despite these currents being zero, shot noise is generated in the system. We show that, irrespective of the conductor’s details and the specific nonequilibrium conditions, the charge shot noise never exceeds its thermal counterpart, thus establishing a general bound. Such a bound does not exist in the case of heat noise, which reveals a fundamental difference between charge and heat transport under zero-current conditions

Charge, spin, and heat shot noises in the absence of average currents: Conditions on bounds at zero and finite frequencies

Nonequilibrium situations where selected currents are suppressed are of interest in fields like thermoelectrics and spintronics, raising the question of how the related noises behave. We study such zero-current charge, spin, and heat noises in a two-terminal mesoscopic conductor. In the presence of voltage, spin, and temperature biases, the nonequilibrium (shot) noises of charge, spin, and heat can be arbitrarily large, even if their average currents vanish. However, as soon as a temperature bias is present, additional equilibrium (thermal-like) noise necessarily occurs. We show that this equilibrium noise sets an upper bound on the zero-current charge and spin shot noises, even if additional voltage or spin biases are present. We demonstrate that these bounds can be overcome for heat transport by breaking the spin and electron-hole symmetries, respectively. By contrast, we show that the bound on the charge noise for strictly two-terminal conductors even extends into the finite-frequency regime

Readout of Quantum Screening Effects Using a Time-Dependent Probe

In voltage- and temperature-biased coherent conductors quantum screening effects occur if the conductor's transmission is energy dependent. Here, we show that an additional ac-driven terminal can act as a probe for a direct readout of such effects, hitherto unexplored. We find that screening of charges induced by the static biases impacts already their standard linear thermoelectric response coefficients due to nonlinear effects when accounting for the frequency of the time-dependent driving. Those effects should be observable under realistic experimental conditions and can literally be switched on and off with the ac driving

Influence of channel mixing in fermionic Hong-Ou-Mandel experiments

We consider an electronic Hong-Ou-Mandel interferometer in the integer quantum Hall regime, where the colliding electronic states are generated by applying voltage pulses (creating for instance levitons) to ohmic contacts. The aim of this work is to investigate possible mechanisms leading to a reduced visibility of the Pauli dip, i.e., the noise suppression expected for synchronized sources. It is known that electron-electron interactions cannot account for this effect and always lead to a full suppression of the Hong-Ou-Mandel noise. Focusing on the case of filling factor ?=2, we show instead that a reduced visibility of the Pauli dip can result from mixing of the copropagating edge channels, arising from tunneling events between them

Constraints between entropy production and its fluctuations in nonthermal engines

We analyze a mesoscopic conductor autonomously performing a thermodynamically useful task, such as cooling or producing electrical power, in a part of the system - the working substance - by exploiting another terminal or set of terminals - the resource - that contains a stationary nonthermal (nonequilibrium) distribution. Thanks to the nonthermal properties of the resource, on average no exchange of particles or energy with the working substance is required to fulfill the task. This resembles the action of a demon, as long as only average quantities are considered. Here, we go beyond a description based on average currents and investigate the role of fluctuations in such a system. We show that a minimum level of entropy fluctuations in the system is necessary, whenever one is exploiting a certain entropy production in the resource terminal to perform a useful task in the working substance. For concrete implementations of the demonic nonthermal engine in three- and four-terminal electronic conductors in the quantum Hall regime, we compare the resource fluctuations to the entropy production in the resource and to the useful engine output (produced power or cooling power)

Two-particle time-domain interferometry in the fractional quantum Hall effect regime

Quasi-particles are elementary excitations of condensed matter quantum phases. Demonstrating that they keep quantum coherence while propagating is a fundamental issue for their manipulation for quantum information tasks. Here, we consider anyons, the fractionally charged quasi-particles of the Fractional Quantum Hall Effect occurring in two-dimensional electronic conductors in high magnetic fields. They obey anyonic statistics, intermediate between fermionic and bosonic. Surprisingly, anyons show large quantum coherence when transmitted through the localized states of electronic Fabry-P\ue9rot interferometers, but almost no quantum interference when transmitted via the propagating states of Mach-Zehnder interferometers. Here, using a novel interferometric approach, we demonstrate that anyons do keep quantum coherence while propagating. Performing two-particle time-domain interference measurements sensitive to the two-particle Hanbury Brown Twiss phase, we find 53 and 60% visibilities for anyons with charges e/5 and e/3. Our results give a positive message for the challenge of performing controlled quantum coherent braiding of anyons

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services

Web services are distributed software components, that are decoupled from each other using interfaces with specified functional behaviors. However, such behavioral specifications are insufficient to demonstrate compliance with certain temporal non-functional policies. An example is demonstrating that a patient’s health-related query sent to a health care service is answered only by a doctor (and not by a secretary). Demonstrating compliance with such policies is important for satisfying governmental privacy regulations. It is often necessary to expose the internals of the web service implementation for demonstrating such compliance, which may compromise modularity. In this work, we provide a language design that enables such demonstrations, while hiding majority of the service’s source code. The key idea is to use greybox specifications to allow service providers to selectively hide and expose parts of their implementation. The overall problem of showing compliance is then reduced to two subproblems: whether the desired properties are satisfied by the service’s greybox specification, and whether this greybox specification is satisfied by the service’s implementation. We specify policies using LTL and solve the first problem by model checking. We solve the second problem by refinement techniques

Development of an enhanced health-economic model and cost-effectiveness analysis of tiotropium + olodaterol Respimat® fixed-dose combination for chronic obstructive pulmonary disease patients in Italy

Background: The objective of this study was to compare the cost-effectiveness of the fixed-dose combination (FDC) of tiotropium + olodaterol Respimat® FDC with tiotropium alone for patients with chronic obstructive pulmonary disease (COPD) in the Italian health care setting using a newly developed patient-level Markov model that reflects the current understanding of the disease. Methods: While previously published models have largely been based around a cohort approach using a Markov structure and GOLD stage stratification, an individual-level Markov approach was selected for the new model. Using patient-level data from the twin TOnado trials assessing Tiotropium + olodaterol Respimat® FDC versus tiotropium, outcomes were modelled based on the trough forced expiratory volume (tFEV1) of over 1000 patients in each treatment arm, tracked individually at trial visits through the 52-week trial period, and after the trial period it was assumed to decline at a constant rate based on disease stage. Exacerbation risk was estimated based on a random-effects logistic regression analysis of exacerbations in UPLIFT. Mortality by age and disease stage was estimated from an analysis of TIOSPIR trial data. Cost of bronchodilators and other medications, routine management, and costs of treatment for moderate and severe exacerbations for the Italian setting were included. A cost-effectiveness analysis was conducted over a 15-year time horizon from the perspective of the Italian National Health Service. Results: Aggregating total costs and quality-adjusted life years (QALYs) for each treatment cohort over 15 years and comparing tiotropium + olodaterol Respimat® FDC with tiotropium alone, resulted in mean incremental co

JSCL: A Middleware for Service Coordination

n/