Related papers: Logical aspects of quantum structures
The following work is an exploration into certain topics in the broad world of integrable models, both classical and quantum, and consists of two main parts of roughly equal length. The first part, consisting of chapters 1-3, concerns…
Discussion of the necessity to use the constructive mathematics as the formalism of quantum theory for systems with many particles.
This is an introductory review on the basic principles of quantum computation. Various important quantum logic gates and algorithms based on them are introduced. Quantum teleportation and decoherence are discussed briefly. Some problems,…
We introduce and investigate a weighted propositional configuration logic over De Morgan algebras. This logic is able to describe software architectures with quantitative features such as the uncertainty of the interactions that occur in…
There are well-known protocols for performing CNOT quantum logic with qubits coupled by particular high-symmetry (Ising or Heisenberg) interactions. However, many architectures being considered for quantum computation involve qubits or…
As we begin to reach the limits of classical computing, quantum computing has emerged as a technology that has captured the imagination of the scientific world. While for many years, the ability to execute quantum algorithms was only a…
This article surveys quantum computational complexity, with a focus on three fundamental notions: polynomial-time quantum computations, the efficient verification of quantum proofs, and quantum interactive proof systems. Properties of…
In this concise, albeit subjective review of structure formation, I shall introduce the cosmological standard model and its theoretical and observational underpinnings. I will focus on recent results and current issues in theoretical…
Applications of Integrated Optics to quantum sources, detectors, interfaces, memories and linear optical quantum computing are described in this review. By their inherent compactness, efficiencies, and interconnectability, many of the…
Here we continue with the ideas expressed in "On the strangeness of quantum mechanics" aiming to demonstrate more concretely how this philosophical outlook might be used as a key for resolving the measurement problem. We will address in…
We study the problem of the practical realization of an abstract quantum circuit when executed on quantum hardware. By practical, we mean adapting the circuit to particulars of the physical environment which restricts/complicates the…
Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard…
Most quantum computing architectures to date natively support multi-valued logic, albeit being typically operated in a binary fashion. Multi-valued, or qudit, quantum processors have access to much richer forms of quantum entanglement,…
The overarching goal of this thesis is to demonstrate that complementarity is at the heart of quantum information theory, that it allows us to make (some) sense of just what information "quantum information" refers to, and that it is useful…
In fundamental theories that accounts for quantum gravitational effects, the spacetime causal structure is expected to be quantum uncertain. Previous studies of quantum causal structure focused on finite-dimensional systems. Here we present…
We review a possible framework for (non)linear quantum theories, into which linear quantum mechanics fits as well, and discuss the notion of ``equivalence'' in this setting. Finally, we draw the attention to persisting severe problems of…
The rather unintuitive nature of quantum theory has led numerous people to develop sets of (physically motivated) principles that can be used to derive quantum mechanics from the ground up, in order to better understand where the structure…
We call attention on the fact that recent unprecedented technological achievements, in particular in the field of quantum optics, seem to open the way to new experimental tests which might be relevant both for the foundational problems of…
In this work, we are interested in the detailed analysis of complexity aspects of both time and space that arises from the implementation of a quantum algorithm on a quantum based hardware. In particular, some steps of the implementation,…
In this review the foundations of Geometric Quantization are explained and discussed. In particular, we want to clarify the mathematical aspects related to the geometrical structures involved in this theory: complex line bundles, hermitian…