Project Final Report Final Publishable Summary Report

This document is the final publishable summary report, part of the CONNECT final report

Final CONNECT Architecture

Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computing environments. This challenge is exasperated by the highly heterogeneous technologies employed by each of the interacting parties, i.e., in terms of hardware, operating system, middleware protocols, and application protocols. The key aim of the CONNECT project is to drop this heterogeneity barrier and achieve universal interoperability. Here we report on the revised CONNECT architecture, highlighting the integration of the work carried out to integrate the CONNECT enablers developed by the different partners; in particular, we present the progress of this work towards a finalised concrete architecture. In the third year this architecture has been enhanced to: i) produce concrete CONNECTors, ii) match networked systems based upon their goals and intent, and iii) use learning technologies to find the affordance of a system. We also report on the application of the CONNECT approach to streaming based systems, further considering exploitation of CONNECT in the mobile environment

Finalised dependability framework and evaluation results

The ambitious aim of CONNECT is to achieve universal interoperability between heterogeneous Networked Systems by means of on-the-fly synthesis of the CONNECTors through which they communicate. The goal of WP5 within CONNECT is to ensure that the non-functional properties required at each side of the connection going to be established are fulfilled, including dependability, performance, security and trust, or, in one overarching term, CONNECTability. To model such properties, we have introduced the CPMM meta-model which establishes the relevant concepts and their relations, and also includes a Complex Event language to express the behaviour associated with the specified properties. Along the four years of project duration, we have developed approaches for assuring CONNECTability both at synthesis time and at run-time. Within CONNECT architecture, these approaches are supported via the following enablers: the Dependability and Performance analysis Enabler, which is implemented in a modular architecture supporting stochastic verification and state-based analysis. Dependability and performance analysis also relies on approaches for incremental verification to adjust CONNECTor parameters at run-time; the Security Enabler, which implements a Security-by-Contract-with-Trust framework to guarantee the expected security policies and enforce them accordingly to the level of trust; the Trust Manager that implements a model-based approach to mediate between different trust models and ensure interoperable trust management. The enablers have been integrated within the CONNECT architecture, and in particular can interact with the CONNECT event-based monitoring enabler (GLIMPSE Enabler released within WP4) for run-time analysis and verification. To support a Model-driven approach in the interaction with the monitor, we have developed a CPMM editor and a translator from CPMM to the GLIMPSE native language (Drools). In this document that is the final deliverable from WP5 we first present the latest advances in the fourth year concerning CPMM, Dependability&Performance Analysis, Incremental Verification and Security. Then, we make an overall summary of main achievements for the whole project lifecycle. In appendix we also include some relevant articles specifically focussing on CONNECTability that have been prepared in the last period

Design of Approaches for Dependability and Initial Prototypes

The aim of CONNECT is to achieve universal interoperability between heterogeneous Networked Systems. For this, the non-functional properties required at each side of the connection going to be established must be fulfilled. By the one inclusive term "CONNECTability" we comprehend properties belonging to all four non-functional concerns of interest for CONNECT, namely dependability, performance, security and trust. We model such properties in conformance with a meta-model which establishes the relevant concepts and their relations. Then, building on the conceptual models proposed in the first year in Deliverable D5.1, in this document we present the approaches developed for assuring CONNECTability both at synthesis time and at runtime. The contributions include: the Dependability&Performance analysis Enabler, for which we release a modular architecture supporting stochastic verification and state-based analysis; incremental verification and event-based monitoring for runtime analysis; a model-based approach to interoperable trust management; the Security-by-Contract-with-Trust framework, which guarantees and enforces the expected trust levels and security policies

Project Final Report Use and Dissemination of Foreground

This document is the final report on use and dissemination of foreground, part of the CONNECT final report. The document provides the lists of: publications, dissemination activities, and exploitable foregroun

Crossed product algebras and generalized entropy for subregions

An early result of algebraic quantum field theory is that the algebra of any subregion in a QFT is a von Neumann factor of type III$_1$, in which entropy cannot be well-defined because such algebras do not admit a trace or density states. However, associated to the algebra is a modular group of automorphisms characterizing the local dynamics of degrees of freedom in the region, and the crossed product of the algebra with its modular group yields a type II$_\infty$ factor, in which traces and hence von Neumann entropy can be well-defined. In this work, we generalize recent constructions of the crossed product algebra for the TFD to, in principle, arbitrary spacetime regions in arbitrary QFTs, paving the way to the study of entanglement entropy without UV divergences. In this sense, the crossed product construction represents a refinement of Haag's assignment of nets of observable algebras to spacetime regions by providing a natural construction of a type II factor. We present several concrete examples: a QFT in Rindler space, a CFT in an open ball of Minkowski space, and arbitrary boundary subregions in AdS/CFT. In the holographic setting, we provide a novel argument for why the bulk dual must be the entanglement wedge, and discuss the distinction arising from boundary modular flow between causal and entanglement wedges for excited states and disjoint regions.Comment: 31+8 pages, 3 figure

Uneven encounters and paradoxical rights: embodiment and difference in sexual orientation rights and activism

My thesis takes the intersection of sexual orientation and human rights and the increased tendency towards the expression of the concerns of sexual minorities in rights based terminology in international law as a Deleuzian ‘problem’ to be explored and unpicked. Sexual orientation is a singular expression of a complex multifaceted virtuality, yet the term -­‐ understood as a static and relatively unchanging denotation of a particular identity and mode of action -­‐ holds increasing purchase as a human rights issue. I explore the way in which rights shape the expression of sexuality within institutional and activist practices in international arenas and suggest that the complex and contested encounter between sexuality and human rights in international law exposes the problems, limits and temporality of both. By taking seriously the problems inherent to the encounters between sexuality and rights, as they are expressed in different material circumstances, we can explore sexuality as a mutliplicitous and changing flux and rights as a dual sided paradox, acting simultaneously machines of territorialisation and machines of deteritorialisation. Thus, I suggest that in their engagement with questions of 'sexual orientation', rights act as both modes of control, restriction and exclusion and as modes of communication and connection, challenge and escape, depending upon the particular circumstances within which they are expressed. As such, I attempt to engage with the embeddedness of ‘sexuality’ within particular material contexts and through this engagement, explore different potentialities that are implicated within divergent enactments of rights and sexuality in order to critique a mode of action that remains fixed upon abstract discussion of ossified ‘sexualities’ and transcendental rights. Furthermore, my aim is to approach the encounter not only as a means of critique but also as a moment of uncertainty and a site of productive engagement, vitality and becoming. Thus, the key question to be asked of the encounter between sexual orientation and rights is not one of which rights have been violated or of how a perceived violation can be expressed in relation to an already conceived and fixed discourse of rights, but instead, which material circumstances have facilitated the expression of injustice suffered by a sexual minority as a rights violation and in expressing the violation in this way, which possibilities, problematics and discourses are activated, and which others are ignored

Crossed product algebras and generalized entropy for subregions

An early result of algebraic quantum field theory is that the algebra of any subregion in a QFT is a von Neumann factor of type III$_1$, in which entropy cannot be well-defined because such algebras do not admit a trace or density states. However, associated to the algebra is a modular group of automorphisms characterizing the local dynamics of degrees of freedom in the region, and the crossed product of the algebra with its modular group yields a type II$_\infty$ factor, in which traces and hence von Neumann entropy can be well-defined. In this work, we generalize recent constructions of the crossed product algebra for the TFD to, in principle, arbitrary spacetime regions in arbitrary QFTs, paving the way to the study of entanglement entropy without UV divergences. In this sense, the crossed product construction represents a refinement of Haag's assignment of nets of observable algebras to spacetime regions by providing a natural construction of a type II factor. We present several concrete examples: a QFT in Rindler space, a CFT in an open ball of Minkowski space, and arbitrary boundary subregions in AdS/CFT. In the holographic setting, we provide a novel argument for why the bulk dual must be the entanglement wedge, and discuss the distinction arising from boundary modular flow between causal and entanglement wedges for excited states and disjoint regions

Holography and Localization of Information in Quantum Gravity

Within the AdS/CFT correspondence, we identify a class of CFT operators which represent diff-invariant and approximately local observables in the gravitational dual. Provided that the bulk state breaks all asymptotic symmetries, we show that these operators commute to all orders in $1/N$ with asymptotic charges, thus resolving an apparent tension between locality in perturbative quantum gravity and the gravitational Gauss law. The interpretation of these observables is that they are not gravitationally dressed with respect to the boundary, but instead to features of the state. We also provide evidence that there are bulk observables whose commutator vanishes to all orders in $1/N$ with the entire algebra of single-trace operators defined in a space-like separated time-band. This implies that in a large $N$ holographic CFT, the algebra generated by single-trace operators in a short-enough time-band has a non-trivial commutant when acting on states which break the symmetries. It also implies that information deep in the interior of the bulk is invisible to single-trace correlators in the time-band and hence that it is possible to localize information in perturbative quantum gravity.Comment: 67 pages + appendices, 6 figure

A Background Independent Algebra in Quantum Gravity

We propose an algebra of operators along an observer's worldline as a background-independent algebra in quantum gravity. In that context, it is natural to think of the Hartle-Hawking no boundary state as a universal state of maximum entropy, and to define entropy in terms of the relative entropy with this state. In the case that the only spacetimes considered correspond to de Sitter vacua with different values of the cosmological constant, this definition leads to sensible results.Comment: 37 pp, various small improvements and added references in verstions. 2,