Invariant Set Theory and the Symbolism of Quantum Measurement
T. N. Palmer
备注：
I am replacing this paper with a revised version (arXiv:1605.01051) that is sufficiently different to this original one that it is not a simple "replacement"
Elements of a novel theory of quantum physics are developed, synthesising the role of symbolism in describing quantum measurement and in the topological representation of fractal invariant sets in nonlinear dynamical systems theory. In this synthesis, the universe $U$ is treated as an isolated deterministic dynamical system evolving precisely on a measure-zero fractal invariant subset $I_U$ of its state space. A non-classical approach to the physics of $U$ is developed by treating the geometry of $I_U$ as more primitive than dynamical evolution equations on $I_U$. A specific symbolic representation of $I_U$ is constructed which encodes quaternionic multiplication and from which the statistical properties of complex Hilbert Space vectors are emergent. The Hilbert Space itself arises as the singular limit of Invariant Set Theory as a fractal parameter $N \rightarrow \infty$. Although the Hilbert Space of quantum theory is counterfactually complete, the measure-zero set $I_U$ is counterfactually incomplete, no matter how large is $N$. Such incompleteness allows reinterpretations of familiar quantum phenomena, consistent with realism and local causality. The non-computable nature of $I_U$ ensures that these reinterpretations are neither conspiratorial nor retrocausal and, through a homeomorphism with the ring of $2^N$-adic integers, are robust to noise and hence not fine tuned. The non-commutativity of Hilbert Space observables emerges from the symbolic representation of $I_U$ through the generic number-theoretic incommensurateness of $ϕ/π$ and $\cos ϕ$. Invariant Set Theory implies a much stronger synergy between cosmology and quantum physics than exists in contemporary theory, suggesting a novel approach to synthesising gravitational and quantum physics and providing new perspectives on the dark universe and information loss in black holes.
Invariant Set (IS) theory is a locally causal ontic theory of physics based on the Cosmological Invariant Set postulate that the universe $U$ can be considered a deterministic dynamical system evolving precisely on a (suitably constructed) fractal dynamically invariant set in $U$'s state space. IS theory violates the Bell inequalities by violating Measurement Independence. Despite this, IS theory is not fine tuned, is not conspiratorial, does not constrain experimenter free will and does not invoke retrocausality. The reasons behind these claims are discussed in this paper. These arise from pr…
We investigate the total variance of a quantum state with respect to a complete set of mutually complementary measurements and its relation to the Brukner-Zeilinger invariant information. By summing the variances over any complete set of mutually unbiased measurements and general symmetric informationally complete measurements respectively, we show that the Brukner-Zeilinger invariant information associated with such types of quantum measurements is equal to the difference between the maximal variance and the total variance obtained. These results provide an operational link between the previo…
We consider a hypothesis testing problem for displacement parameters of n independent copies of an m-mode squeezed quantum Gaussian state whose mixture parameter is known. Given n>1, we construct a quantum measurement as a test using an observable which is invariant by n-fold tensor product of any m-mode squeezing operator. For a pure state case, we calculate the type II error probability of this test. We compare this test with a Hotelling's T-squared test which is based on heterodyne measurements.
In measurement-based quantum computation, quantum algorithms are implemented via sequences of measurements. We describe a translationally invariant finite-range interaction on a one-dimensional qudit chain and prove that a single-shot measurement of the energy of an appropriate computational basis state with respect to this Hamiltonian provides the output of any quantum circuit. The required measurement accuracy scales inverse polynomially with the size of the simulated quantum circuit. This shows that the implementation of energy measurements on generic qudit chains is as hard as the realizat…
We propose an operational measure of distance of two quantum states, which conversely tells us their closeness. This is defined as a sum of differences in partial knowledge over a complete set of mutually complementary measurements for the two states. It is shown that the measure is operationally invariant and it is equivalent to the Hilbert-Schmidt distance. The operational measure of distance provides a remarkable interpretation of the information distance between quantum states.
Efficient Characterization of N-Beam Gaussian Fields Through Photon-Number Measurements: Quantum Universal Invariants
Institute of Theoretical Physics, University of Wroclaw（弗罗茨瓦夫大学理论物理研究所）；Joint Laboratory of Optics of Palacký University and Institute of Physics of CAS, Faculty of Science, Palacký University（帕拉茨基大学理学院帕拉茨基大学与捷克科学院物理研究所联合光学实验室）；Joint Laboratory of Optics, Institute of Physics of CAS（捷克科学院物理研究所联合光学实验室）
A new measure of information in quantum mechanics is proposed which takes into account that for quantum systems the only feature known before an experiment is performed are the probabilities for various events to occur. The sum of the individual measures of information for mutually complementary observations is invariant under the choice of the particular set of complementary observations and conserved if there is no information exchange with an environment. That operational quantum information invariant results in N bits of information for a system consisting of N qubits.
We describe a direct method to experimentally determine local two-qubit invariants by performing interferometric measurements on multiple copies of a given two-qubit state. We use this framework to analyze two different kinds of two-qubit invariants of Makhlin and Jing et. al. These invariants allow to fully reconstruct any two-qubit state up to local unitaries. We demonstrate that measuring 3 invariants is sufficient to find, e.g., the optimal Bell inequality violation. These invariants can be measured with local or nonlocal measurements. We show that the nonlocal strategy that follows from M…
The classification of symmetry-protected topological (SPT) phases in one dimension has been recently achieved, and had a fundamental impact in our understanding of quantum phases in condensed matter physics. In this framework, SPT phases can be identified by many-body topological invariants, which are quantized non-local correlators for the many-body wavefunction. While SPT phases can now be realized in interacting synthethic quantum systems, the direct measurement of quantized many-body topological invariants has remained so far elusive. Here, we propose measurement protocols for many-body to…
Mutually unbiased bases determine an optimal set of measurements to extract complete information about the quantum state of a system. However, quite often a priori information about the state exist, making some of the measurement bases superfluous. This is, for example, the case when multiqubit states belong to the permutationally invariant subspace. In this paper we derive the minimal sets of mutually unbiased bases needed to tomographically reconstruct such states.
Randomly repeated measurements during the evolution of a closed quantum system create a sequence of probabilities for the first detection of a certain quantum state. The related discrete monitored evolution for the return of the quantum system to its initial state is investigated. We found that the mean number of measurements until the first detection is an integer, namely the dimensionality of the accessible Hilbert space. Moreover, the mean first detected return time is equal to the average time step between successive measurements times the mean number of measurements. Thus, the mean first …
We show that the bulk winding number characterizing one-dimensional topological insulators with chiral symmetry can be detected from the displacement of a single particle, observed via losses. Losses represent the effect of repeated weak measurements on one sublattice only, which interrupt the dynamics periodically. When these do not detect the particle, they realize negative measurements. Our repeated measurement scheme covers both time-independent and periodically driven (Floquet) topological insulators, with or without spatial disorder. In the limit of rapidly repeated, vanishingly weak mea…
We report the experimental detection of bulk topological invariants in nonunitary discrete-time quantum walks with single photons. The nonunitarity of the quantum dynamics is enforced by periodically performing partial measurements on the polarization of the walker photon, which effectively introduces loss to the dynamics. The topological invariant of the nonunitary quantum walk is manifested in the quantized average displacement of the walker, which is probed by monitoring the photon loss. We confirm the topological properties of the system by observing localized edge states at the boundary o…
The invariant information introduced by Brukner and Zeilinger, Phys. Rev. Lett. 83, 3354 (1999), is reconsidered from the point of view of quantum state estimation. We show that it is directly related to the mean error of the standard reconstruction from the measurement of a complete set of mutually complementary observables. We give its generalization in terms of the Fisher information. Provided that the optimum reconstruction is adopted, the corresponding quantity loses its invariant character.
We prove the existence for each Hilbert space of the two new quasi hidden variable (qHV) models, statistically noncontextual and context-invariant, reproducing all the von Neumann joint probabilities via nonnegative values of real-valued measures and all the quantum product expectations -- via the qHV (classical-like) average of the product of the corresponding random variables. In a context-invariant model, a quantum observable X can be represented by a variety of random variables satisfying the functional condition required in quantum foundations but each of these random variables equivalent…
We introduce an intermediate quantum computing model built from translation-invariant Ising-interacting spins. Despite being non-universal, the model cannot be classically efficiently simulated unless the polynomial hierarchy collapses. Equipped with the intrinsic single-instance-hardness property, a single fixed unitary evolution in our model is sufficient to produce classically intractable results, compared to several other models that rely on implementation of an ensemble of different unitaries (instances). We propose a feasible experimental scheme to implement our Hamiltonian model using c…
Quantum walks constitute a versatile platform for simulating transport phenomena on discrete graphs including topological material properties while providing a high control over the relevant parameters at the same time. To experimentally access and directly measure the topological invariants of quantum walks we implement the scattering scheme proposed by Tarasinski et al.[Phys. Rev. A 89, 042327 (2014)] in a photonic time multiplexed quantum walk experiment. The tunable coin operation provides opportunity to reach distinct topological phases, and accordingly to observe the corresponding topolo…
Local quantum uncertainty (in short LQU) was introduced by Girolami et. al.(Phy. Rev. Lett. \textbf{110}, 240402) as a measure of quantum uncertainty in a quantum state as achievable on single local measurement. However, such quantity do satisfy all necessary criteria to serve as measure of discord like quantum correlation and it has no closed formula except only for $2\otimes n$ system. Here, we consider orthogonal invariant class of states which includes both the Werner and Isotropic class of states and explore the possibility of closed form formula. Further, we extend our quest to the possi…
Topological quantum phases cannot be characterized by Ginzburg-Landau type order parameters, and are instead described by non-local topological invariants. Experimental platforms capable of realizing such exotic states now include "synthetic" many-body systems such as ultracold atoms or photons. Unique tools available in these systems enable a new characterization of strongly correlated many-body states. Here we propose a general scheme for detecting topological order using interferometric measurements of elementary excitations. The key ingredient is the use of mobile impurities which bind to …
We describe quantum limits to field sensing that relate noise, geometry and measurement duration to fundamental constants, with no reference to particle number. We cast the Tesche and Clarke (TC) bound on dc-SQUID sensitivity as such a limit, and find analogous limits for volumetric spin-precession magnetometers. We describe how randomly-arrayed spins, coupled to an external magnetic field of interest and to each other by the magnetic dipole-dipole interaction, execute a spin dynamics that depolarizes the spin ensemble even in the absence of coupling to an external reservoir. We show the resul…
The classification of stabilizer states under local Clifford (LC) equivalence is of particular importance in quantum error-correction and measurement-based quantum computation. Two stabilizer states are called LC equivalent if there exists a local Clifford operation which maps the first state to the second. We present a finite set of invariants which completely characterizes the LC equivalence class of any stabilizer state. Our invariants have simple descriptions within the binary framework in which stabilizer states are usually described.
One of the main topological invariants that characterizes several topologically-ordered phases is the many-body Chern number (MBCN). Paradigmatic examples include several fractional quantum Hall phases, which are expected to be realized in different atomic and photonic quantum platforms in the near future. Experimental measurement and numerical computation of this invariant is conventionally based on the linear-response techniques which require having access to a family of states, as a function of an external parameter, which is not suitable for many quantum simulators. Here, we propose an anc…
We propose and analyze the theoretical model for a two-stroke quantum heat engine with one of the heat baths replaced by a non-selective quantum measurement. We show that the engine's invariant reference state depends on whether the cycle is monitored or unmonitored via diagnostic measurements to determine the engine's work output. We explore in detail the average work output and fluctuations of the proposed heat engine for the monitored and unmonitored cases. We also identify unitary work strokes for which the invariant states can support coherences in the energy basis leading to differing pr…
We investigate genuine multipartite nonlocality of pure permutationally invariant multimode Gaussian states of continuous variable systems, as detected by the violation of Svetlichny inequality. We identify the phase space settings leading to the largest violation of the inequality when using displaced parity measurements, distinguishing our results between the cases of even and odd total number of modes. We further consider pseudospin measurements and show that, for three-mode states with asymptotically large squeezing degree, particular settings of these measurements allow one to approach th…
We demonstrate how to construct a lorentz-invariant, hidden-variable interpretation of relativistic quantum mechanics based on particle trajectories. The covariant theory that we propose employs a multi-time formalism and a lorentz-invariant rule for the coordination of the space-time points on the individual particle trajectories. In this way we show that there is no contradiction between nonlocality and lorentz invariance in quantum mechanics. The approach is illustrated for relativistic bosons, using a simple model to discuss the individual non-locally correlated particle motion which ensue…
The asymptotic discrimination problem of two quantum states is studied in the setting where measurements are required to be invariant under some symmetry group of the system. We consider various asymptotic error exponents in connection with the problems of the Chernoff bound, the Hoeffding bound and Stein's lemma, and derive bounds on these quantities in terms of their corresponding statistical distance measures. A special emphasis is put on the comparison of the performances of group-invariant and unrestricted measurements.
Two measurements of $A$ and $B$ are carried out one after the other. The measurements of $A$ are controlled by the parameter $λ_A$ in the Kraus operator, where the measurements of $B$ are controlled by the parameter $λ_B$. Strong measurements imply that the parameters in the Kraus operators approach infinite large values while weak measurements are carried out when the parameters approach zero. Here we prove that by repeating on the two successive measurements of $A$ and $B$ then: (1) Average over all measurements of $A$ is invariant of the measurement strength parameters $λ_A$ and $λ_B$. It i…
We present an efficient method to solve the quantum discord of two-qubit X states exactly. A geometric picture is used to clarify whether and when the general POVM measurement is superior to von Neumann measurement. We show that either the von Neumann measurement or the three-element POVM measurement is optimal, and more interestingly, in the latter case the components of the postmeasurement ensemble are invariant for a class of states.
The direct measurement of topological invariants in both engineered and naturally occurring quantum materials is a key step in classifying quantum phases of matter. Here we motivate a toolbox based on time-dependent quantum walks as a method to digitally simulate single-particle topological band structures. Using a superconducting qubit dispersively coupled to a microwave cavity, we implement two classes of split-step quantum walks and directly measure the topological invariant (winding number) associated with each. The measurement relies upon interference between two components of a cavity Sc…
For all the joint von Neumann measurements on a D-dimensional quantum system, we present the specific example of a context-invariant quasi hidden variable (qHV) model, proved in [Loubenets, J. Math. Phys. 56, 032201 (2015)] to exist for each Hilbert space. In this model, a quantum observable X is represented by a variety of random variables satisfying the functional condition required in quantum foundations but, in contrast to a contextual model, each of these random variables equivalently models X under all joint von Neumann measurements, regardless of their contexts. This, in particular, imp…
In [Phys. Rev. A 58, 1833 (1998)] a family of polynomial invariants which separate the orbits of multi-qubit density operators $ρ$ under the action of the local unitary group was presented. We consider this family of invariants for the class of those $ρ$ which are the projection operators describing stabilizer codes and give a complete translation of these invariants into the binary framework in which stabilizer codes are usually described. Such an investigation of local invariants of quantum codes is of natural importance in quantum coding theory, since locally equivalent codes have the same …
Measurement induced nonlocality (MIN) captures global nonlocal effect of bipartite quantum state due to locally invariant projective measurements. In this paper, we propose a new version of MIN using fidelity induced metric,andthe same is calculated for pure and mixed states. For mixed state, the upper bound is obtained from eigenvalues of correlation matrix. Further, dynamics of MIN and fidelity based MIN under various noisy quantum channels show that they are more robust than entanglement.
Classical shadows for sample-efficient measurements of gauge-invariant observables
United States Naval Academy（美国海军学院）；Harvard University（哈佛大学）；University of Washington（华盛顿大学）；Paul Scherrer Institute（保罗谢尔研究所）；ETH Zürich（苏黎世联邦理工学院）；University of New Mexico（新墨西哥大学）
We characterize the asymptotic performance of a class of positive operator valued measurements (POVMs) where the only task is to make measurements on independent and identically distributed quantum states on finite-dimensional systems. The POVMs we utilize here can be efficiently described in terms of a reasonably small set of parameters. Their analysis furthers the development of a quantum method of types. They deliver provably optimal performance in asymmetric hypothesis testing and in the transmission of classical messages over quantum channels. We now relate them to the recently developed …
Quantum trajectories are Markov processes that describe the time-evolution of a quantum system undergoing continuous indirect measurement. Mathematically, they are defined as solutions of the so-called "Stochastic Schrödinger Equations", which are nonlinear stochastic differential equations driven by Poisson and Wiener processes. This paper is devoted to the study of the invariant measures of quantum trajectories. Particularly, we prove that the invariant measure is unique under an ergodicity condition on the mean time evolution, and a "purification" condition on the generator of the evolution…
We study a class of Markov chains that model the evolution of a quantum system subject to repeated measurements. Each Markov chain in this class is defined by a measure on the space of matrices. It is then given by a random product of correlated matrices taken from the support of the defining measure. We give natural conditions on this support that imply that the Markov chain admits a unique invariant probability measure. We moreover prove the geometric convergence towards this invariant measure in the Wasserstein metric. Standard techniques from the theory of products of random matrices canno…
We report a proof of the quantum Sanov Theorem by elementary application of basic facts about representations of the symmetric group, together with a complete characterization of the optimal error exponent in a situation where the null hypothesis is given by an arbitrarily varying quantum source instead. Our approach differs from previous ones in two points: First, it supports a reasoning inspired by the method of types. Second, the measurement scheme we propose to distinguish the two alternatives not only does that job asymptotically perfect, but also yields additional information about the n…
