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

Metric trees of generalized roundness one

Every finite metric tree has generalized roundness strictly greater than one. On the other hand, some countable metric trees have generalized roundness precisely one. The purpose of this paper is to identify some large classes of countable metric trees that have generalized roundness precisely one. At the outset we consider spherically symmetric trees endowed with the usual combinatorial metric (SSTs). Using a simple geometric argument we show how to determine decent upper bounds on the generalized roundness of finite SSTs that depend only on the downward degree sequence of the tree in question. By considering limits it follows that if the downward degree sequence $(d_{0}, d_{1}, d_{2}...)$ of a SST $(T,\rho)$ satisfies $|\{j \, | \, d_{j} > 1 \}| = \aleph_{0}$, then $(T,\rho)$ has generalized roundness one. Included among the trees that satisfy this condition are all complete $n$-ary trees of depth $\infty$ ($n \geq 2$), all $k$-regular trees ($k \geq 3$) and inductive limits of Cantor trees. The remainder of the paper deals with two classes of countable metric trees of generalized roundness one whose members are not, in general, spherically symmetric. The first such class of trees are merely required to spread out at a sufficient rate (with a restriction on the number of leaves) and the second such class of trees resemble infinite combs.Comment: 14 pages, 2 figures, 2 table

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 $M$ 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 $M$ 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

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

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