2,974 research outputs found
The FIR-absorption of short period quantum wires and the transition from one to two dimensions
We investigate the FIR-absorption of short period parallel quantum wires in a
perpendicular quantizing magnetic field. The external time-dependent electric
field is linearly polarized along the wire modulation. The mutual Coulomb
interaction of the electrons is treated self-consistently in the ground state
and in the absorption calculation within the Hartree approximation. We consider
the effects of a metal gate grating coupler, with the same or with a different
period as the wire modulation, on the absorption. The evolution of the
magnetoplasmon in the nonlocal region where it is split into several Bernstein
modes is discussed in the transition from: narrow to broad wires, and isolated
to overlapping wires. We show that in the case of narrow and not strongly
modulated wires the absorption can be directly correlated with the underlying
electronic bandstructure.Comment: 15 pages, 9 figures, Revtex, to appear in Phys. Rev.
Stationary Entangled Radiation from Micromechanical Motion
Mechanical systems facilitate the development of a new generation of hybrid
quantum technology comprising electrical, optical, atomic and acoustic degrees
of freedom. Entanglement is the essential resource that defines this new
paradigm of quantum enabled devices. Continuous variable (CV) entangled fields,
known as Einstein-Podolsky-Rosen (EPR) states, are spatially separated two-mode
squeezed states that can be used to implement quantum teleportation and quantum
communication. In the optical domain, EPR states are typically generated using
nondegenerate optical amplifiers and at microwave frequencies Josephson
circuits can serve as a nonlinear medium. It is an outstanding goal to
deterministically generate and distribute entangled states with a mechanical
oscillator. Here we observe stationary emission of path-entangled microwave
radiation from a parametrically driven 30 micrometer long silicon nanostring
oscillator, squeezing the joint field operators of two thermal modes by
3.40(37) dB below the vacuum level. This mechanical system correlates up to 50
photons/s/Hz giving rise to a quantum discord that is robust with respect to
microwave noise. Such generalized quantum correlations of separable states are
important for quantum enhanced detection and provide direct evidence for the
non-classical nature of the mechanical oscillator without directly measuring
its state. This noninvasive measurement scheme allows to infer information
about otherwise inaccessible objects with potential implications in sensing,
open system dynamics and fundamental tests of quantum gravity. In the near
future, similar on-chip devices can be used to entangle subsystems on vastly
different energy scales such as microwave and optical photons.Comment: 13 pages, 5 figure
Epstein-Barr Virus Infection of Mammary Epithelial Cells Promotes Malignant Transformation
Whether the human tumor virus, Epstein-Barr Virus (EBV), promotes breast cancer remains controversial and a potential mechanism has remained elusive. Here we show that EBV can infect primary mammary epithelial cells (MECs) that express the receptor CD21. EBV infection leads to the expansion of early MEC progenitor cells with a stem cell phenotype, activates MET signaling and enforces a differentiation block. When MECs were implanted as xenografts, EBV infection cooperated with activated Ras and accelerated the formation of breast cancer. Infection in EBV-related tumors was of a latency type II pattern, similar to nasopharyngeal carcinoma (NPC). A human gene expression signature for MECs infected with EBV, termed EBVness, was associated with high grade, estrogen-receptor-negative status, p53 mutation and poor survival. In 11/33 EBVness-positive tumors, EBV-DNA was detected by fluorescent in situ hybridization for the viral LMP1 and BXLF2 genes. In an analysis of the TCGA breast cancer data EBVness correlated with the presence of the APOBEC mutational signature. We conclude that a contribution of EBV to breast cancer etiology is plausible, through a mechanism in which EBV infection predisposes mammary epithelial cells to malignant transformation, but is no longer required once malignant transformation has occurred
Qualification Tests of the R11410-21 Photomultiplier Tubes for the XENON1T Detector
The Hamamatsu R11410-21 photomultiplier tube is the photodetector of choice
for the XENON1T dual-phase time projection chamber. The device has been
optimized for a very low intrinsic radioactivity, a high quantum efficiency and
a high sensitivity to single photon detection. A total of 248 tubes are
currently operated in XENON1T, selected out of 321 tested units. In this
article the procedures implemented to evaluate the large number of tubes prior
to their installation in XENON1T are described. The parameter distributions for
all tested tubes are shown, with an emphasis on those selected for XENON1T, of
which the impact on the detector performance is discussed. All photomultipliers
have been tested in a nitrogen atmosphere at cryogenic temperatures, with a
subset of the tubes being tested in gaseous and liquid xenon, simulating their
operating conditions in the dark matter detector. The performance and
evaluation of the tubes in the different environments is reported and the
criteria for rejection of PMTs are outlined and quantified.Comment: 24 pages, 16 figure
Manifestation of the Hofstadter butterfly in far-infrared absorption
The far-infrared absorption of a two-dimensional electron gas with a
square-lattice modulation in a perpendicular constant magnetic field is
calculated self-consistently within the Hartree approximation. For strong
modulation and short period we obtain intra- and intersubband magnetoplasmon
modes reflecting the subbands of the Hofstadter butterfly in two or more Landau
bands. The character of the absorption and the correlation of the peaks to the
number of flux quanta through each unit cell of the periodic potential depends
strongly on the location of the chemical potential with respect to the
subbands, or what is the same, on the density of electrons in the system.Comment: RevTeX file + 4 postscript figures, to be published Phys. Rev. B
Rapid Com
Antichain Algorithms for Finite Automata
We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability problems. Antichains are more succinct than the sets of states manipulated by the traditional fixpoint algorithms. The theory justifies the correctness of the antichain algorithms, and applications such as the universality problem for finite automata illustrate efficiency improvements. Finally, we show that new and provably better antichain algorithms can be obtained for the emptiness problem of alternating automata over finite and infinite words
Qualitative Analysis of Partially-observable Markov Decision Processes
We study observation-based strategies for partially-observable Markov
decision processes (POMDPs) with omega-regular objectives. An observation-based
strategy relies on partial information about the history of a play, namely, on
the past sequence of observations. We consider the qualitative analysis
problem: given a POMDP with an omega-regular objective, whether there is an
observation-based strategy to achieve the objective with probability~1
(almost-sure winning), or with positive probability (positive winning). Our
main results are twofold. First, we present a complete picture of the
computational complexity of the qualitative analysis of POMDP s with parity
objectives (a canonical form to express omega-regular objectives) and its
subclasses. Our contribution consists in establishing several upper and lower
bounds that were not known in literature. Second, we present optimal bounds
(matching upper and lower bounds) on the memory required by pure and randomized
observation-based strategies for the qualitative analysis of POMDP s with
parity objectives and its subclasses
From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata
Controller synthesis for general linear temporal logic (LTL) objectives is a
challenging task. The standard approach involves translating the LTL objective
into a deterministic parity automaton (DPA) by means of the Safra-Piterman
construction. One of the challenges is the size of the DPA, which often grows
very fast in practice, and can reach double exponential size in the length of
the LTL formula. In this paper we describe a single exponential translation
from limit-deterministic B\"uchi automata (LDBA) to DPA, and show that it can
be concatenated with a recent efficient translation from LTL to LDBA to yield a
double exponential, \enquote{Safraless} LTL-to-DPA construction. We also report
on an implementation, a comparison with the SPOT library, and performance on
several sets of formulas, including instances from the 2016 SyntComp
competition
Timed Parity Games: Complexity and Robustness
We consider two-player games played in real time on game structures with
clocks where the objectives of players are described using parity conditions.
The games are \emph{concurrent} in that at each turn, both players
independently propose a time delay and an action, and the action with the
shorter delay is chosen. To prevent a player from winning by blocking time, we
restrict each player to play strategies that ensure that the player cannot be
responsible for causing a zeno run. First, we present an efficient reduction of
these games to \emph{turn-based} (i.e., not concurrent) \emph{finite-state}
(i.e., untimed) parity games. Our reduction improves the best known complexity
for solving timed parity games. Moreover, the rich class of algorithms for
classical parity games can now be applied to timed parity games. The states of
the resulting game are based on clock regions of the original game, and the
state space of the finite game is linear in the size of the region graph.
Second, we consider two restricted classes of strategies for the player that
represents the controller in a real-time synthesis problem, namely,
\emph{limit-robust} and \emph{bounded-robust} winning strategies. Using a
limit-robust winning strategy, the controller cannot choose an exact
real-valued time delay but must allow for some nonzero jitter in each of its
actions. If there is a given lower bound on the jitter, then the strategy is
bounded-robust winning. We show that exact strategies are more powerful than
limit-robust strategies, which are more powerful than bounded-robust winning
strategies for any bound. For both kinds of robust strategies, we present
efficient reductions to standard timed automaton games. These reductions
provide algorithms for the synthesis of robust real-time controllers
- …