Related papers: Observability and Computability in Physical System…
The paper describes a solution to the problem of quantum measurement that has been proposed recently. The literal understanding of the basic rule of quantum mechanics on identical particles violates the cluster separation principle and so…
We introduce the concept of cloning for classes of observables and classify cloning machines for qubit systems according to the number of parameters needed to describe the class under investigation. A no-cloning theorem for observables is…
In this paper, a general framework is proposed for the analysis and characterization of observability and diagnosability of finite state systems. Observability corresponds to the reconstruction of the system's discrete state, while…
Coherence and entanglement are fundamental properties of quantum systems, promising to power the near future quantum computers, sensors and simulators. Yet, their experimental detection is challenging, usually requiring full reconstruction…
A well-recognised open conceptual problem in relativistic quantum field theory concerns the relation between measurement and causality. Naive generalisations of quantum measurement rules can allow for superluminal signalling ('impossible…
Current and emerging trends such as cloud computing, fog computing, and more recently, multi-access edge computing (MEC) increase the interest in finding solutions to the verifiable computation problem. Furthermore, the number of…
This talk is a survey of the question of joint measurability of coexistent observables and its is based on the monograph Operational Quantum Physics [1] and on the papers [2,3,4].
The paper reviews and discusses four ideas scattered in previous papers of the author. First, objective properties of quantum systems are not associated with observables but are defined by preparations. Second, measurable results of…
Opacity is an important information-flow security property in the analysis of cyber-physical systems. It captures the plausible deniability of the system's secret behavior in the presence of an intruder that may access the information flow.…
There is a multitude of interpretations of quantum mechanics, but foundational principles are lacking. Relational quantum mechanics views the observer as a physical system, which allows for an unambiguous interpretation as all axioms are…
This article addresses the question of when physical laws and their consequences can be computed. If a physical system is capable of universal computation, then its energy gap can't be computed. At an even more fundamental level, the most…
In this work, we show that very natural, apparently simple problems in quantum measurement theory can be undecidable even if their classical analogues are decidable. Undecidability hence appears as a genuine quantum property here. Formally,…
Computation, if treated as a set of physical processes that act on information represented by states of matter, encompasses biological systems, digital systems, and other constructs, and may be a fundamental measure of living systems. The…
We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For open under-determined systems, this technique can sometimes…
We show that any unitary transformation performed on the quantum state of a closed quantum system, describes an inner, reversible, generalized quantum measurement. We also show that under some specific conditions it is possible to perform a…
The ability to perform a universal set of quantum operations based solely on static resources and measurements presents us with a strikingly novel viewpoint for thinking about quantum computation and its powers. We consider the two major…
Irreversibility in quantum measurements is considered from the point of quantum information theory. For that purpose the information transfer between the measured object S and measuring system O is analyzed. It's found that due to the…
I propose a general geometric framework in which to discuss the existence of time observables. This frameworks allows one to describe a local sense in which time observables always exist, and a global sense in which they can sometimes exist…
Distinguishability and, by extension, observability are key properties of dynamical systems. Establishing these properties is challenging, especially when no analytical model is available and they are to be inferred directly from…
As computability implies value definiteness, certain sequences of quantum outcomes cannot be computable.