Related papers: Birkhoff style proof systems for hybrid-dynamic qu…
We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way,…
This work reveals a fundamental link between general covariance and Birkhoff's theorem. We extend Birkhoff's theorem from general relativity to a broad class of generally covariant gravity theories formulated in the Hamiltonian framework.…
The aim of this note is to recast somewhat informal axiom system of quantum mechanics used by physicists (Dirac calculus) in the language of Continuous Logic. We note an analogy between Tarski's notion of cylindric algebras, as a tool of…
Experimental results presented in this paper supports the hypothesis on quantum-like statistical behaviour of cognitive systems (at least human beings). Our quantum-like approach gives the possibility to represent mental states by Hilbert…
We introduce the first order logic of proofs $FOLP^\Box$ in the joint language combining justification terms and binding modalities. The main issue is Kripke--style semantics for this logic. We describe models for $FOLP^\Box$ in terms of…
A proof of quantumness is a method for provably demonstrating (to a classical verifier) that a quantum device can perform computational tasks that a classical device with comparable resources cannot. Providing a proof of quantumness is the…
The hardness to solve an unstructured quantum search problem by a standard quantum search algorithm mainly originates from the low efficiency to amplify the amplitude of the marked state by the oracle unitary operation associated with other…
In the realm of a quantum cosmological model for dark energy in which we have been able to construct a well-defined Hilbert space, a consistent coherent state representation has been formulated that may describe the quantum state of the…
We show that in quantum logic of closed subspaces of Hilbert space one cannot substitute quantum operations for classical (standard Hilbert space) ones and treat them as primitive operations. We consider two possible ways of such a…
This paper introduces robust differential dynamic logic (a fragment of differential dynamic logic) to specify and reason about robust hybrid systems. Practically meaningful syntactic restrictions naturally ensure that definable properties…
Coherent states, and the Hilbert space representations they generate, provide ideal tools to discuss classical/quantum relationships. In this paper we analyze three separate classical/quantum problems using coherent states, and show that…
The interrelation between classicality/quantumness and symmetry of states is discussed within the phase-space formulation of finite-dimensional quantum systems. We derive representations for classicality measures…
We propose a new quantum approach for describing a system of $n$ interacting particles with variable mass connected by an unknown field with variable form ($n$-VMVF systems). Instead of assuming any particular nature for variation of the…
A proof of quantumness is an efficiently verifiable interactive test that an efficient quantum computer can pass, but all efficient classical computers cannot (under some cryptographic assumption). Such protocols play a crucial role in the…
Some mathematical theories in physics justify their explanatory superiority over earlier formalisms by the clarity of their postulates. In particular, axiomatic reconstructions drive home the importance of the composition rule and the…
The design of electrically driven quantum dot devices for quantum optical applications asks for modeling approaches combining classical device physics with quantum mechanics. We connect the well-established fields of semi-classical…
We investigate the formal semantics of a simple imperative language that has both classical and quantum constructs. More specifically, we provide an operational semantics, a denotational semantics and two Hoare-style proof systems: an…
Quantum computers now show the promise of surpassing any possible classical machine. However, errors limit this ability and current machines do not have the ability to implement error correcting codes due to the limited number of qubits and…
Modal interpretations have the ambition to construe quantum mechanics as an objective, man-independent description of physical reality. Their second leading idea is probabilism: quantum mechanics does not completely fix physical reality but…
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This paper studies the logical properties of how this new information is combined with previous information. It presents Quantum Logic as…