Measurement in Quantum Physics

The conceptual problems in quantum mechanics -- related to the collapse of the wave function, the particle-wave duality, the meaning of measurement -- arise from the need to ascribe particle character to the wave function. As will be shown, all these problems dissolve when working instead with quantum fields, which have both wave and particle character. Otherwise the predictions of quantum physics, including Bell's inequalities, coincide with those of the standard treatments. The transfer of the results of the quantum measurement to the classical realm is also discussed.Comment: 34 pages, in Latex, revised and expanded version with an extra appendix on decoherenc

On paths-based criteria for polynomial time complexity in proof-nets

Girard's Light linear logic (LLL) characterized polynomial time in the proof-as-program paradigm with a bound on cut elimination. This logic relied on a stratification principle and a "one-door" principle which were generalized later respectively in the systems L^4 and L^3a. Each system was brought with its own complex proof of Ptime soundness. In this paper we propose a broad sufficient criterion for Ptime soundness for linear logic subsystems, based on the study of paths inside the proof-nets, which factorizes proofs of soundness of existing systems and may be used for future systems. As an additional gain, our bound stands for any reduction strategy whereas most bounds in the literature only stand for a particular strategy.Comment: Long version of a conference pape

A feasible algorithm for typing in Elementary Affine Logic

We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following previous references on this topic, the variant of EAL type system we consider (denoted EAL*) is a variant without sharing and without polymorphism. Our algorithm improves over the ones already known in that it offers a better complexity bound: if a simple type derivation for the term t is given our algorithm performs EAL* type inference in polynomial time.Comment: 20 page

Automated Verification of Quantum Protocols using MCMAS

We present a methodology for the automated verification of quantum protocols using MCMAS, a symbolic model checker for multi-agent systems The method is based on the logical framework developed by D'Hondt and Panangaden for investigating epistemic and temporal properties, built on the model for Distributed Measurement-based Quantum Computation (DMC), an extension of the Measurement Calculus to distributed quantum systems. We describe the translation map from DMC to interpreted systems, the typical formalism for reasoning about time and knowledge in multi-agent systems. Then, we introduce dmc2ispl, a compiler into the input language of the MCMAS model checker. We demonstrate the technique by verifying the Quantum Teleportation Protocol, and discuss the performance of the tool.Comment: In Proceedings QAPL 2012, arXiv:1207.055

A lambda calculus for quantum computation with classical control

The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and we give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.Comment: 15 pages, submitted to TLCA'05. Note: this is basically the work done during the first author master, his thesis can be found on his webpage. Modifications: almost everything reformulated; recursion removed since the way it was stated didn't satisfy lemma 11; type inference algorithm added; example of an implementation of quantum teleportation adde

Less Is More: Dilution Enhances Optical and Electrical Performance of a TADF Exciplex

A surprising yet highly practical approach to improve the performance of a TADF exciplex blend is reported. Using the TSBPA donor and PO-T2T acceptor to form an exciplex, we are able to blue shift the emission, increase PLQY from 58 to 80%, and increase the device EQE from 14.8 to 19.2% by simply diluting the exciplex with an inert high triplet energy host material—here either UGH-3 or DPEPO. These effects are explained in terms of an increasing donor–acceptor distance and associated charge separation, while different behaviors observed in the different hosts are attributed to different energy barriers to electron transfer through the host. We expect that the observed performance-enhancing effects of dilution will be general to different exciplex blends and host materials and offer a new way to optimize the electrical properties of exciplex emission layers with narrow blue emission

Distribution-based bisimulation for labelled Markov processes

In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.Comment: Accepted by FORMATS 201

Action Research to Develop and Validate a Scheme of Work to Promote Creativity and Designerly Thinking Through Play

The paper reports on a study of the development and validation of a Design and Technology Scheme of Work (SoW) that is facilitated by Engino assembly toys. Three initial case studies are described; one to assess the suitability of the Engino products for specific age groups; and two which took place in primary schools; one to evaluate the sequence of tasks designed for the actionresearch case study; and another to investigate if creativity can be promoted through the Engino products. Two further action research case studies were then completed with secondary school students, during which the SoW was further developed and elaborated to suit the needs of this age group. The final versions of the SoW were further validated during a dissemination seminar and professional development workshops involving primary and secondary school teachers. Having the importance of play in mind for enthusiastic and creative learning, the SoW was designed to fulfil a number of requirements from the Cypriot National Curriculum, covering 6 of the 9 areas. We discuss our findings with reference to promoting creativity in the context of Design and Technology as well as the possible roles that construction toys can play in this endeavour. The paper is illustrated with a picture gallery with indicative examples from student work

Reversibility in the Extended Measurement-based Quantum Computation

When applied on some particular quantum entangled states, measurements are universal for quantum computing. In particular, despite the fondamental probabilistic evolution of quantum measurements, any unitary evolution can be simulated by a measurement-based quantum computer (MBQC). We consider the extended version of the MBQC where each measurement can occur not only in the (X,Y)-plane of the Bloch sphere but also in the (X,Z)- and (Y,Z)-planes. The existence of a gflow in the underlying graph of the computation is a necessary and sufficient condition for a certain kind of determinism. We extend the focused gflow (a gflow in a particular normal form) defined for the (X,Y)-plane to the extended case, and we provide necessary and sufficient conditions for the existence of such normal forms

Pathological regional blood flow in opiate-dependent patients during withdrawal: A HMPAO-SPECT study

The aims of the present study were to investigate regional cerebral blood flow (rCBF) in heroin-dependent patients during withdrawal and to assess the relation between these changes and duration of heroin consumption and withdrawal data. The rCBF was measured using brain SPECT with Tc-99m-HMPAO in 16 heroin-dependent patients during heroin withdrawal. Thirteen patients received levomethadone at the time of the SPECT scans. The images were analyzed both visually and quantitatively, a total of 21 hypoperfused brain regions were observed in 11 of the 16 patients. The temporal lobes were the most affected area, hypoperfusions of the right and left temporal lobe were observed in 5 and 5 patients, respectively. Three of the patients had a hypoperfusion of the right frontal lobe, 2 patients showed perfusion defects in the left frontal lobe, right parietal lobe and left parietal lobe. The results of the quantitative assessments of the rCBF were consistent with the results of the qualitative findings. The stepwise regression analysis showed a significant positive correlation (r = 0.54) between the dose of levomethadone at the time of the SPECT scan and the rCBF of the right parietal lobe. Other significant correlations between clinical data and rCBF were not found. The present results suggest brain perfusion abnormalities during heroin withdrawal in heroin-dependent patients, which are not due to the conditions of withdrawal