Related papers: Quantum Logics that are Symmetric-difference-close…
Coherent states on the quantum group $SU_q(2)$ are defined by using harmonic analysis and representation theory of the algebra of functions on the quantum group. Semiclassical limit $q\rightarrow 1$ is discussed and the crucial role of…
The aim of this paper is to suggest a new interpretation of quantum indeterminacy using the notion of polar duality from convex geometry. Our approach does not involve the usual variances and covariances, whose use to describe quantum…
Algebraic quantization scheme has been proposed as an extension of the Dirac quantization scheme for constrained systems. Semi-classical states for constrained systems is also an independent and important issue, particularly in the context…
We show that complementary state-specific reconstruction of logical (bulk) operators is equivalent to the existence of a quantum minimal surface prescription for physical (boundary) entropies. This significantly generalizes both sides of an…
In this work, we develop the theory of quasi-exact fault-tolerant quantum (QEQ) computation, which uses qubits encoded into quasi-exact quantum error-correction codes ("quasi codes"). By definition, a quasi code is a parametric approximate…
We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of…
The quantum formalism permits one to discriminate sometimes between any set of linearly-independent pure states with certainty. We obtain the maximum probability with which a set of equally-likely, symmetric, linearly-independent states can…
We present quantitative separation logic ($\mathsf{QSL}$). In contrast to classical separation logic, $\mathsf{QSL}$ employs quantities which evaluate to real numbers instead of predicates which evaluate to Boolean values. The connectives…
The quantum formalism can be completed by assuming that a density operator can also represent a pure state. An 'extended Bloch representation' (EBR) then results, in which not only states, but also the measurement-interactions can be…
Quantum information science has profoundly changed the ways we understand, store, and process information. A major challenge in this field is to look for an efficient means for classifying quantum state. For instance, one may want to…
From the perspective of quantum information theory, a system so simple as one restricted to just two nonorthogonal states can be surprisingly rich in physics. In this paper, we explore the extent of this statement through a review of three…
We unify two recent results concerning equilibration in quantum theory. We first generalise a proof of Reimann [PRL 101,190403 (2008)], that the expectation value of 'realistic' quantum observables will equilibrate under very general…
Some notes about quantum physics, an interpretation if one wishes, are put forward, insisting on `closely following the mathematics/formalism, the `nuts and bolts of what quantum physics says'. These, basically well-known, issues seem to…
We establish a sharp quantum advantage in determining the parity (even/odd) of an unknown permutation applied to any number $n \ge 3$ of particles. Classically, this is impossible with fewer than $n$ labels, being that the success is…
Quantum entanglement is the quantum information processing resource. Thus it is of importance to understand how much of entanglement particular quantum states have, and what kinds of laws entanglement and also transformation between…
The Logic of Approximate Entailment (LAE) is a graded counterpart of classical propositional calculus, where conclusions that are only approximately correct can be drawn. This is achieved by equipping the underlying set of possible worlds…
It is commonly believed that logical states of quantum error-correcting codes have to be highly entangled such that codes capable of correcting more errors require more entanglement to encode a qubit. Here, we show that the validity of this…
A significant part of quantum theory can be obtained from a single innovation relative to classical theories, namely, that there is a fundamental restriction on the sorts of statistical distributions over physical states that can be…
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters),…
Quantum superposition states are behind many of the curious phenomena exhibited by quantum systems, including Bell non-locality, quantum interference, quantum computational speed-up, and the measurement problem. At the same time, many…