Related papers: A duality between exceptions and states
In this article we introduce the operations of insertion and deletion working in a random-context and semi-conditional manner. We show that the conditional use of rules strictly increase the computational power. In the case of…
Non-classical states that are characterized by their non-positive quasi-probabilities in phase space are known to be the basis for various quantum effects. In this work, we investigate the interrelation between the non-classicality and…
Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the observation of its causes. The present work establishes that this…
The subject of this thesis are various properties of quantum states that make them "non-classical" and their behaviour under unitary operations. In chapter 2 some basic concepts of quantum mechanics and quantum information are reviewed. In…
On networks representing probability currents between states of a system, we generalize Schnakenberg's theory of nonequilibrium observables to nonsteady states, with the introduction of a new set of macroscopic observables that, for planar…
Primitive recursion is a mature, well-understood topic in the theory and practice of programming. Yet its dual, primitive corecursion, is underappreciated and still seen as exotic. We aim to put them both on equal footing by giving a…
String theory is changing the relationship between mathematics and physics. The central role is played by the phenomenon of duality, which is intrinsic to quantum physics and abundant in string theory.
Combining local exceptions and first class continuations leads to programs with complex control flow, as well as the possibility of expressing powerful constructs such as resumable exceptions. We describe and compare games models for a…
It is argued that the nature of probability is essentially informational rather than physical and that quantum mechanical predictions should be viewed as logical inferences made on the basis of the information content of a given…
Quantum state exclusion is the task of identifying at least one state from a known set that was not used in the preparation of a quantum system. A set of quantum states is said to admit state exclusion if there exists a measurement whose…
Many protocols and tasks in quantum information science rely inherently on the fundamental notion of contextuality to provide advantages over their classical counterparts, and contextuality represents one of the main differences between…
Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.
We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used…
Although less studied than purely action or state based logics, state/event based logics are becoming increasingly important. Some systems are best studied using structures with information on both states and transitions, and it is these…
We formulate a relation between quantum-mechanical coherent states and complex-differentiable structures on the classical phase space ${\cal C}$ of a finite number of degrees of freedom. Locally-defined coherent states parametrised by the…
Quantum state discrimination underlies various applications in quantum information processing tasks. It essentially describes the distinguishability of quantum systems in different states, and the general process of extracting classical…
In the event in which a quantum mechanical particle can pass from an initial state to a final state along two possible paths, the duality principle states that "the simultaneous observation of wave and particle behavior is prohibited". [M.…
We introduce two quantitative measures of the strength of causal relations in quantum theory and more general physical theories. These two measures, called the maximum and minimum causal effect, quantify the maximum and minimum changes in…
Significant advances in the development of computing devices based on quantum effects and the demonstration of their use to solve various problems have rekindled interest in the nature of the "quantum computational advantage." Although…
On the basis of an alternative approach to micro-cat states (Found. of Phys., 41, No. 9, p.1502 (2011)) we develop a new model of the two-slit experiment. It explains both this particular experiment and how the wave properties of any…