taking aside the review part, a finite-cardinality's set of new ideas concerning algorithmic information issues in Quantum Mechanics is introduced and analyzed
We develop a statistical mechanical interpretation of algorithmic information theory by introducing the notion of thermodynamic quantities, such as free energy, energy, statistical mechanical entropy, and specific heat, into algorithmic information theory. We investigate the properties of these quantities by means of program-size complexity from the point of view of algorithmic randomness. It is then discovered that, in the interpretation, the temperature plays a role as the compression rate of the values of all these thermodynamic quantities, which include the temperature itself. Reflecting t…
A long sequence of tosses of a classical coin produces an apparently random bit string, but classical randomness is an illusion: the algorithmic information content of a classically-generated bit string lies almost entirely in the description of initial conditions. This letter presents a simple argument that, by contrast, a sequence of bits produced by tossing a quantum coin is, almost certainly, genuinely (algorithmically) random. This result can be interpreted as a strengthening of Bell's no-hidden-variables theorem, and relies on causality and quantum entanglement in a manner similar to Bel…
The notion of probability plays a crucial role in quantum mechanics. It appears in quantum mechanics as the Born rule. In modern mathematics which describes quantum mechanics, however, probability theory means nothing other than measure theory, and therefore any operational characterization of the notion of probability is still missing in quantum mechanics. In this paper, based on the toolkit of algorithmic randomness, we present a refinement of the Born rule, as an alternative rule to it, for specifying the property of the results of quantum measurements in an operational way. Algorithmic ran…
Algorithmic probability has shown some promise in dealing with the probability problem in the Everett interpretation, since it provides an objective, single-case probability measure. Many find the Everettian cosmology to be overly extravagant, however, and algorithmic probability has also provided improved models of subjective probability and Bayesian reasoning. I attempt here to generalize algorithmic Everettianism to more Bayesian and subjectivist interpretations. I present a general framework for applying generative probability, of which algorithmic probability can be considered a special c…
Is quantum mechanics (QM) local or nonlocal? Different formulations/interpretations (FI) of QM, with or without hidden variables, suggest different answers. Different FI's can be viewed as different algorithms, which leads us to propose an algorithmic definition of locality according to which a theory is local if and only if there exists at least one FI in which all irreducible elements of that FI are local. The fact that no such FI of QM is known strongly supports quantum nonlocality.
We consider the geometrization of quantum mechanics. We then focus on the pull-back of the Fubini-Study metric tensor field from the projective Hibert space to the orbits of the local unitary groups. An inner product on these tensor fields allows us to obtain functions which are invariant under the considered local unitary groups. This procedure paves the way to an algorithmic approach to the identification of entanglement monotone candidates. Finally, a link between the Fubini-Study metric and a quantum version of the Fisher information metric is discussed.
The agenda of quantum algorithmic information theory, ordered `top-down,' is the quantum halting amplitude, followed by the quantum algorithmic information content, which in turn requires the theory of quantum computation. The fundamental atoms processed by quantum computation are the quantum bits which are dealt with in quantum information theory. The theory of quantum computation will be based upon a model of universal quantum computer whose elementary unit is a two-port interferometer capable of arbitrary $U(2)$ transformations. Basic to all these considerations is quantum theory, in partic…
I argue that Bohmian mechanics (or any similar pilot-wave theory) cannot reasonably be claimed to be a deterministic theory. If one assumes the "quantum equilibrium distribution" provided by the wave function of the universe, Bohmian mechanics requires an external random oracle in order to describe the (Kolmogorov-Levin-Chaitin) algorithmic randomness properties of typical outcome sequences of long runs of repeated identical experiments (which provably follow from the Born rule). This oracle lies beyond the scope of Bohmian mechanics (or any deterministic extension thereof), including the impo…
Controlled quantum mechanical devices provide a means of simulating more complex quantum systems exponentially faster than classical computers. Such "quantum simulators" rely heavily upon being able to prepare the ground state of Hamiltonians, whose properties can be used to calculate correlation functions or even the solution to certain classical computations. While adiabatic preparation remains the primary means of producing such ground states, here we provide a different avenue of preparation: cooling to the ground state via simulated dissipation. This is in direct analogy to contemporary e…
We extend algorithmic information theory to quantum mechanics, taking a universal semicomputable density matrix (``universal probability'') as a starting point, and define complexity (an operator) as its negative logarithm. A number of properties of Kolmogorov complexity extend naturally to the new domain. Approximately, a quantum state is simple if it is within a small distance from a low-dimensional subspace of low Kolmogorov complexity. The von Neumann entropy of a computable density matrix is within an additive constant from the average complexity. Some of the theory of randomness translat…
This paper is a comment on the paper "Quantum Mechanics and Algorithmic Randomness" was written by Ulvi Yurtsever \cite{Yurtsever} and the briefly explanation of the algorithmic randomness of quantum measurements results. There are differences between the computability of probability sources, ( which means there is an algorithm that can define the way that random process or probability source generates the numbers ) and the algorithmic randomness of the sequences or strings which are produced by a source. We may have the source without a computable algorithm for that but it can produce compres…
The von Neumann lattice refers to a discrete basis of Gaussians located on a lattice in phase space. It provides an attractive approach for solving quantum mechanical problems, allowing the pruning of tensor-product basis sets using phase space considerations. In a series of recent articles Shimshovitz et al. [Phys. Rev. Lett. 109 7 (2012)], Takemoto et al. [Journal of Chemical Physics 137 1 (2012)] Machnes et al. [Journal of Chemical Physics, accepted (2016)]), we have introduced two key new elements into the method: a formalism for converging the basis and for efficient pruning by use of the…
The simulation of low-temperature properties of many-body systems remains one of the major challenges in theoretical and experimental quantum information science. We present, and demonstrate experimentally, a universal cooling method which is applicable to any physical system that can be simulated by a quantum computer. This method allows us to distill and eliminate hot components of quantum states, i.e., a quantum Maxwell's demon. The experimental implementation is realized with a quantum-optical network, and the results are in full agreement with theoretical predictions (with fidelity higher…
The representation of numbers by product states in quantum mechanics can be extended to the representation of words and word sequences in languages by product states. This can be used to study quantum systems that generate text that has meaning. A simple example of such a system, based on an example described by Smullyan, is studied here. Based on a path interpretation for some word states, definitions of truth, validity, consistency and completeness are given and their properties studied. It is also shown that the relation between the meaning, if any, of word states and the algorithmic comple…
Recently, the problem of the infinite spherical well was solved by the group-theoretical method to resolve all the peculiarities in the currently accepted solution [DOI: 10.13140/RG.2.2.18172.44162 (Researchgate, 2017)]. With a view to further justifying the group-theoretical method, the problem is first studied from the viewpoint of classical mechanics. Then the radial probability densities predicted by classical mechanics are compared with those predicted from solutions of the problem obtained by the group-theoretical method. The comparisons clearly indicate the convergence of predictions of…
Quantum technologies require pure states, which are often generated by extreme refrigeration. Heat-bath algorithmic cooling is the theoretically optimal refrigeration technique: it shuttles entropy from a multiparticle system to a thermal bath, thereby generating a quantum state with a high degree of purity. Here, we show how to surpass this hitherto-optimal technique by taking advantage of a single binary-outcome measurement. Our protocols can create arbitrary numbers of pure quantum states without any residual mixedness by using a recently discovered device known as a quantum switch to put t…
This thesis is concerning to the Differential Galois Theory point of view of the Supersymmetric Quantum Mechanics. The main object considered here is the non-relativistic stationary Schrödinger equation, specially the integrable cases in the sense of the Picard-Vessiot theory and the main algorithmic tools used here are the Kovacic algorithm and the \emph{algebrization method} to obtain linear differential equations with rational coefficients. We analyze the Darboux transformations, Crum iterations and supersymmetric quantum mechanics with their \emph{algebrized} versions from a Galoisian appr…
We sketch a group-theoretical framework, based on the Heisenberg-Weyl group, encompassing both quantum and classical statistical descriptions of mechanical systems. We re-define in group-theoretical terms the kinematical arena and the state-space of the system, achieving a unified quantum-classical language and a novel version of the correspondence principle. We briefly discuss the structure of observables and dynamics within our framework.
A possible quantum-mechanical origin of statistical mechanics is discussed, and microcanonical and canonical ensembles of bosons and fermions are derived from the stationary Schrödinger equation in a unified manner. The interaction Hamiltonians are constructed by the use of the discrete phase operators and the gauge-theoretical structure associated with them. It is shown how the interaction Hamiltonians stipulated by the gauge symmetry generate the specific patterns of entanglement that are desired for establishing microcanonical ensembles. A discussion is also made about the interrelation bet…
The superactivation of zero-capacity quantum channels makes it possible to use two zero-capacity quantum channels with a positive joint capacity for their output. Currently, we have no theoretical background to describe all possible combinations of superactive zero-capacity channels; hence, there may be many other possible combinations. In practice, to discover such superactive zero-capacity channel-pairs, we must analyze an extremely large set of possible quantum states, channel models, and channel probabilities. There is still no extremely efficient algorithmic tool for this purpose. This pa…