The higher than classical efficiency exhibited by some quantum algorithms is here ascribed to their non-mechanistic character, which becomes evident by joining the notions of entanglement and quantum measurement. Measurement analogically sets a (partial) constraint on the output of the computation of a hard-to-reverse function. This constraint goes back in time along the reversible computation process, computing the reverse function, which yields quantum efficiency. The evolution, comprising wave function collapse (here a revamped notion), is non-mechanistic as it is driven by both an initial condition and a final constraint. It seems that the more the output is constrained by measurement, the higher can be the efficiency. Setting a complete constraint, by means of a special Zeno effect, yields (speculatively) NP-complete=P.
The higher than classical efficiency exhibited by some quantum algorithms is here ascribed to their non-mechanistic character, which becomes evident by joining the notions of entanglement and quantum measurement. Measurement analogically sets a (partial) constraint on the output of the computation of a hard-to-reverse function. This constraint goes back in time along the reversible computation process, computing the reverse function, which yields quantum efficiency. The evolution, comprising wave function collapse (here a revamped notion), is non-mechanistic as it is driven by both an initial condition and a final constraint. It seems that the more the output is constrained by measurement, the higher can be the efficiency. Setting a complete constraint, by means of a special Zeno effect, yields (speculatively) NP-complete=P.
The reason for the higher efficiency exhibited by some quantum algorithms over their classical counterparts is examined by considering the interplay between the reversible actions required to prepare the computer registers in an entangled state before measurement (the "initial actions"), and the final measurement action -- whereas measurement is interpreted in a new way, particularly suited to a problem solving context. This unification shows that the computation process, comprising the measurement outcome, is significantly influenced by both the initial actions and the need to satisfy the constraints set by the final measurement action. Reviewing the existing quantum algorithms in the light of this dual influence, yields new valuable insight in the nature of the quantum computation speed up.
The topical quantum computation paradigm is a transposition of the Turing machine into the quantum framework. Implementations based on this paradigm have limitations as to the number of: qubits, computation steps, efficient quantum algorithms (found so far). A new exclusively quantum paradigm (with no classical counterpart) is propounded, based on the speculative notion of continuous uncomplete von Neumann measurement. Under such a notion, NP-complete is equal to P. This can provide a mathematical framework for the search of implementable paradigms, possibly exploiting particle statistics.
In former work, quantum computation has been shown to be a problem solving process essentially affected by both the reversible dynamics leading to the state before measurement, and the logical-mathematical constraints introduced by quantum measurement (in particular, the constraint that there is only one measurement outcome). This dual influence, originated by independent initial and final conditions, justifies the quantum computation speed-up and is not representable inside dynamics, namely as a one-way propagation. In this work, we reformulate von Neumann's model of quantum measurement at the light of above findings. We embed it in a broader representation based on the quantum logic gate formalism and capable of describing the interplay between dynamical and non-dynamical constraints. The two steps of the original model, namely (1) dynamically reaching a complete entanglement between pointer and quantum object and (2) enforcing the one-outcome-constraint, are unified and reversed. By representing step (2) right from the start, the same dynamics of step (1) yields a probability distribution of mutually exclusive measurement outcomes. This appears to be a more accurate and complete representation of quantum measurement. PACS: 03.67.-a, 03.67.Lx, 03.65.Bz
This thesis considers various paradigms of quantum computation in an attempt to understand the nature of the underlying physics. A standard approach is to consider unitary computation on pure input states, such that the outcome of the computation is determined by single computational basis measurement on the output state. It has been shown that there exists equivalent models of computation, such as measurement based quantum computing (MBQC), which provide insight into the role of entanglement and measurement. Furthermore, constraining or relaxing available resources can directly impacts the power of the computation, allowing one to gauge their role in the process. Here, we first extend known constructions such as Matrix Product States, MBQC and the oneclean qubit model to a mixed state formalism, in an attempt to develop computational models where noise acting on the physical resources, as might be experienced in laboratory settings, may be mapped to logical noise on the computation. Next, we introduce Measurement-Based Classical Computing, an essentially classical model of computation, wherein the complexity hard wired into probability distributions generated via quantum means yields surprising non classical results. Finally, we consider postselection the ability to discard displeasing measurement outcomes and argue that it may be used in a tame way, which does not provide a dramatic increase in computational power. From here, we develop a new Hamiltonian, based on a circuit to Hamiltonian construction, presenting evidence of QMA-hardness.
Speedy developments in Quantum Technologies mandate that fundamentals of Quantum Computing are well explained and understood. Meanwhile, paradigms of so-called quantum non-locality, wave function (WF) “collapse”, “Schrödinger cat” and some other historically popular misconceptions continue to feed mysteries around quantum phenomena. Arguing that above misinterpretations stem from classically minded and experimentally unverifiable perceptions, recasting Principle of Superposition (PS) and key experimental details into classical notions. Revisiting main components of general quantum measurement protocols (analyzers and detectors), and explaining paradoxes of WF collapse and Schrödinger cat. Reminding that quantum measurements routinely reveal correlations dictated by conservation laws in each individual realization of the quantum ensemble, manifesting “correlation-by-initial conditions” in contrast to traditional “correlation-by-interactions”. We reiterate: Quantum Mechanics (QM) is not a dynamical theory in the same sense the Classical Mechanics (CM) is – it is a statistical phenomenology, as established in 1926 by Born’s postulate. That is, while QM rests on conservation laws in each individual outcome, it does not indicate how exactly a specific outcome is selected. This selection remains fundamentally random and represents true randomness of QM, the latter being a statistical paradigm with a WF standing for a complex-valued distribution function. Finally, PS is the backbone of a quantum measurement process: PS can be conveniently viewed as a composition of partial distributions into the total distribution – similar to classical probability mixtures – and is effectuated experimentally by the analyzer part of a measuring device.
We study the computational complexity of quantum discord (a measure of quantum correlation beyond entanglement), and prove that computing quantum discord is NP-complete. Therefore, quantum discord is computationally intractable: the running time of any algorithm for computing quantum discord is believed to grow exponentially with the dimension of the Hilbert space so that computing quantum discord in a quantum system of moderate size is not possible in practice. As by-products, some entanglement measures (namely entanglement cost, entanglement of formation, relative entropy of entanglement, squashed entanglement, classical squashed entanglement, conditional entanglement of mutual information, and broadcast regularization of mutual information) and constrained Holevo capacity are NP-hard/NP-complete to compute. These complexity-theoretic results are directly applicable in common randomness distillation, quantum state merging, entanglement distillation, superdense coding, and quantum teleportation; they may offer significant insights into quantum information processing. Moreover, we prove the NP-completeness of two typical problems: linear optimization over classical states and detecting classical states in a convex set, providing evidence that working with classical states is generically computationally intractable.