531 research outputs found
Applying quantitative semantics to higher-order quantum computing
Finding a denotational semantics for higher order quantum computation is a
long-standing problem in the semantics of quantum programming languages. Most
past approaches to this problem fell short in one way or another, either
limiting the language to an unusably small finitary fragment, or giving up
important features of quantum physics such as entanglement. In this paper, we
propose a denotational semantics for a quantum lambda calculus with recursion
and an infinite data type, using constructions from quantitative semantics of
linear logic
Generalised Compositional Theories and Diagrammatic Reasoning
This chapter provides an introduction to the use of diagrammatic language, or
perhaps more accurately, diagrammatic calculus, in quantum information and
quantum foundations. We illustrate the use of diagrammatic calculus in one
particular case, namely the study of complementarity and non-locality, two
fundamental concepts of quantum theory whose relationship we explore in later
part of this chapter.
The diagrammatic calculus that we are concerned with here is not merely an
illustrative tool, but it has both (i) a conceptual physical backbone, which
allows it to act as a foundation for diverse physical theories, and (ii) a
genuine mathematical underpinning, permitting one to relate it to standard
mathematical structures.Comment: To appear as a Springer book chapter chapter, edited by G.
Chirabella, R. Spekken
Insecurity for compact surfaces of positive genus
A pair of points in a riemannian manifold is secure if the geodesics
between the points can be blocked by a finite number of point obstacles;
otherwise the pair of points is insecure. A manifold is secure if all pairs of
points in are secure. A manifold is insecure if there exists an insecure
point pair, and totally insecure if all point pairs are insecure.
Compact, flat manifolds are secure. A standing conjecture says that these are
the only secure, compact riemannian manifolds. We prove this for surfaces of
genus greater than zero. We also prove that a closed surface of genus greater
than one with any riemannian metric and a closed surface of genus one with
generic metric are totally insecure.Comment: 37 pages, 11 figure
Structured Operational Semantics for Graph Rewriting
Process calculi and graph transformation systems provide models of reactive
systems with labelled transition semantics. While the semantics for process
calculi is compositional, this is not the case for graph transformation
systems, in general. Hence, the goal of this article is to obtain a
compositional semantics for graph transformation system in analogy to the
structural operational semantics (SOS) for Milner's Calculus of Communicating
Systems (CCS).
The paper introduces an SOS style axiomatization of the standard labelled
transition semantics for graph transformation systems. The first result is its
equivalence with the so-called Borrowed Context technique. Unfortunately, the
axiomatization is not compositional in the expected manner as no rule captures
"internal" communication of sub-systems. The main result states that such a
rule is derivable if the given graph transformation system enjoys a certain
property, which we call "complementarity of actions". Archetypal examples of
such systems are interaction nets. We also discuss problems that arise if
"complementarity of actions" is violated.Comment: In Proceedings ICE 2011, arXiv:1108.014
Herschel/HIFI deepens the circumstellar NH3 enigma
Circumstellar envelopes (CSEs) of a variety of evolved stars have been found
to contain ammonia (NH3) in amounts that exceed predictions from conventional
chemical models by many orders of magnitude. The observations reported here
were performed in order to better constrain the NH3 abundance in the CSEs of
four, quite diverse, oxygen-rich stars using the NH3 ortho J_K = 1_0 - 0_0
ground-state line. We used the Heterodyne Instrument for the Far Infrared
aboard Herschel to observe the NH3 J_K = 1_0 - 0_0 transition near 572.5 GHz,
simultaneously with the ortho-H2O J_Ka,Kc = 1_1,0 -1_0,1 transition, toward VY
CMa, OH 26.5+0.6, IRC+10420, and IK Tau. We conducted non-LTE radiative
transfer modeling with the goal to derive the NH3 abundance in these objects'
CSEs. For the latter two stars, Very Large Array imaging of NH3
radio-wavelength inversion lines were used to provide further constraints,
particularly on the spatial extent of the NH3-emitting regions. Results. We
find remarkably strong NH3 emission in all of our objects with the NH3 line
intensities rivaling those obtained for the ground state H2O line. The NH3
abundances relative to H2 are very high and range from 2 x 10-7 to 3 x 10-6 for
the objects we have studied. Our observations confirm and even deepen the
circumstellar NH3 enigma. While our radiative transfer modeling does not yield
satisfactory fits to the observed line profiles, it leads to abundance
estimates that confirm the very high values found in earlier studies. New ways
to tackle this mystery will include further Herschel observations of more NH3
lines and imaging with the Expanded Very Large Array.Comment: 4+2 page
Oligochaete Assemblages in the Hyporheic Zone and Coarse Surface Sediments: Their Importance for Understanding of Ecological Functioning of Watercourses
The SURFEXv7.2 land and ocean surface platform for coupled or offline simulation of Earth surface variables and fluxes
CC Attribution 3.0 License.Final revised paper also available at http://www.geosci-model-dev.net/6/929/2013/gmd-6-929-2013.pdfInternational audienceSURFEX is a new externalized land and ocean surface platform that describes the surface fluxes and the evolution of four types of surface: nature, town, inland water and ocean. It can be run either coupled or in offline mode. It is mostly based on pre-existing, well validated scientific models. It can be used in offline mode (from point scale to global runs) or fully coupled with an atmospheric model. SURFEX is able to simulate fluxes of carbon dioxide, chemical species, continental aerosols, sea salt and snow particles. It also includes a data assimilation module. The main principles of the organization of the surface are described first. Then, a survey is made of the scientific module (including the coupling strategy). Finally the main applications of the code are summarized. The current applications are extremely diverse, ranging from surface monitoring and hydrology to numerical weather prediction and global climate simulations. The validation work undertaken shows that replacing the pre-existing surface models by SURFEX in these applications is usually associated with improved skill, as the numerous scientific developments contained in this community code are used to good advantage
Structural Characterization of a Novel Chlamydia pneumoniae Type III Secretion-Associated Protein, Cpn0803
Type III secretion (T3S) is an essential virulence factor used by Gram-negative pathogenic bacteria to deliver effector proteins into the host cell to establish and maintain an intracellular infection. Chlamydia is known to use T3S to facilitate invasion of host cells but many proteins in the system remain uncharacterized. The C. trachomatis protein CT584 has previously been implicated in T3S. Thus, we analyzed the CT584 ortholog in C. pneumoniae (Cpn0803) and found that it associates with known T3S proteins including the needle-filament protein (CdsF), the ATPase (CdsN), and the C-ring protein (CdsQ). Using membrane lipid strips, Cpn0803 interacted with phosphatidic acid and phosphatidylinositol, suggesting that Cpn0803 may associate with host cells. Crystallographic analysis revealed a unique structure of Cpn0803 with a hydrophobic pocket buried within the dimerization interface that may be important for binding small molecules. Also, the binding domains on Cpn0803 for CdsN, CdsQ, and CdsF were identified using Pepscan epitope mapping. Collectively, these data suggest that Cpn0803 plays a role in T3S
LUBAC prevents lethal dermatitis by inhibiting cell death induced by TNF, TRAIL and CD95L
The linear ubiquitin chain assembly complex (LUBAC), composed of HOIP, HOIL-1 and SHARPIN, is required for optimal TNF-mediated gene activation and to prevent cell death induced by TNF. Here, we demonstrate that keratinocyte-specific deletion of HOIP or HOIL-1 (E-KO) results in severe dermatitis causing postnatal lethality. We provide genetic and pharmacological evidence that the postnatal lethal dermatitis in HoipE-KO and Hoil-1E-KO mice is caused by TNFR1-induced, caspase-8-mediated apoptosis that occurs independently of the kinase activity of RIPK1. In the absence of TNFR1, however, dermatitis develops in adulthood, triggered by RIPK1-kinase-activity-dependent apoptosis and necroptosis. Strikingly, TRAIL or CD95L can redundantly induce this disease-causing cell death, as combined loss of their respective receptors is required to prevent TNFR1-independent dermatitis. These findings may have implications for the treatment of patients with mutations that perturb linear ubiquitination and potentially also for patients with inflammation-associated disorders that are refractory to inhibition of TNF alone
- …