We introduce the concept of mutual independence -- correlations shared between distant parties which are independent of the environment. This notion is more general than the standard idea of a secret key -- it is a fully quantum and more general form of privacy. The states which possess mutual independence also generalize the so called private states -- those that possess private key. We then show that the problem of distributed compression of quantum information at distant sources can be solved in terms of mutual independence, if free entanglement between the senders and the receiver is available. Namely, we obtain a formula for the sum of rates of qubits needed to transmit a distributed state between Alice and Bob to a decoder Charlie. We also show that mutual independence is bounded from above by the relative entropy modulo a conjecture, saying that if after removal of a single qubit the state becomes product, its initial entanglement is bounded by 1. We suspect that mutual independence is a highly singular quantity, i.e. that it is positive only on a set of measure zero; furthermore, we believe that its presence is seen on the single copy level. This appears to be born out in the classical case.
Hidden-variable models aim to reproduce the results of quantum theory and to satisfy our classical intuition. Their refutation is usually based on deriving predictions that are different from those of quantum mechanics. Here instead we study the mutual compatibility of apparently reasonable classical assumptions. We analyze a version of the delayed-choice experiment which ostensibly combines determinism, independence of hidden variables on the conducted experiments, and wave-particle objectivity (the assertion that quantum systems are, at any moment, either particles or waves, but not both). T…
Given a quantum system consisting of many parts, we show that symmetry of the system's state, i.e., invariance under swappings of the subsystems, implies that almost all of its parts are virtually identical and independent of each other. This result generalises de Finetti's classical representation theorem for infinitely exchangeable sequences of random variables as well as its quantum-mechanical analogue. It has applications in various areas of physics as well as information theory and cryptography. For example, in experimental physics, one typically collects data by running a certain experim…
We investigate the transformation rule of a single particle wave-function under a change of reference frame. A postulate is raised, and some fundamental aspects regarding the reference-frame independence of quantum probabilities are explored.
We analyse notion of independence in the EPR-Bohm framework by using comparative analysis of independence in conventional and frequency probability theories. Such an analysis is important to demonstrate that Bell's inequality was obtained by using totally unjustified assumptions (e.g. the Bell-Clauser-Horne factorability condition). Our frequency analysis also demonstrated that Gill-Weihs-Zeilinger-Zukowski's arguments based on "the experimenter's freedom to choose settings" to support the standard Bell approach are neither justified by the structure of the EPR-Bohm experiment. Finally, our an…
The correlation distance quantifies the statistical independence of two classical or quantum systems, via the distance from their joint state to the product of the marginal states. Tight lower bounds are given for the mutual information between pairs of two-valued classical variables and quantum qubits, in terms of the corresponding classical and quantum correlation distances. These bounds are stronger than the Pinsker inequality (and refinements thereof) for relative entropy. The classical lower bound may be used to quantify properties of statistical models that violate Bell inequalities. Ent…
Measurement Independence is an assumption used in foundational arguments since the EPR thought experiment in 1935, and assumed in a majority of hidden variable models of QM. In this thesis we review the crucial role of this assumption in several ontological theorems, develop new measurement dependent models having interesting properties, and a protocol for classical simulation of quantum channels using such a model. In particular, a maximally psi-epistemic model is given which is valid for any dimension of Hilbert space(by violating preparation independence assumption).
We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it…
The use of Bell's theorem in any application or experiment relies on the assumption of free choice or, more precisely, measurement independence, meaning that the measurements can be chosen freely. Here, we prove that even in the simplest Bell test - one involving 2 parties each performing 2 binary-outcome measurements - an arbitrarily small amount of measurement independence is sufficient to manifest quantum nonlocality. To this end, we introduce the notion of measurement dependent locality and show that the corresponding correlations form a convex polytope. These correlations can thus be char…
In a recent Letter [Phys. Rev. Lett. 122, 010403 (2019)], an equivalence is proposed between the so-called Spectrum Broadcast Structure for a system-multienvironment quantum state, and the conjunction of two information-theory notions: (a) Strong Quantum Darwinism; and (b) Strong Independence. Here, we show that the mathematical formulation of condition (b) by the authors (namely, the pairwise independence of the fragments of the environment, conditioned on the system), is necessary but not sufficient to ensure the equivalence. We propose a simple counter-example, together with a strengthened …
Quantum nonlocality can be observed in networks even in the case where every party can only perform a single measurement, i.e. does not receive any input. So far, this effect has been demonstrated under the assumption that all sources in the network are fully independent from each other. Here we investigate to what extent this independence assumption can be relaxed. After formalizing the question, we show that, in the triangle network without inputs, quantum nonlocality can be observed, even when assuming only an arbitrarily small level of independence between the sources. This means that quan…
In a recent comment [Feller et. al, arXiv:2101.09186] on our Letter [Phys. Rev. Lett. 122, 010403 (2019)], Feller et. al identified a mistake in our mathematical expression of "strong independence" for states that satisfy Spectrum Broadcast Structure. We concede that we wrote a mathematical condition that is necessary but not sufficient. However, we used the original and correct qualitative definition for "strong independence" throughout the paper and in our proofs, therefore the proofs and statements, aside from the aforementioned mathematical expression, remain correct.
Studies of integrable quantum many-body systems have a long history with an impressive record of success. However, surprisingly enough, an unambiguous definition of quantum integrability remains a matter of an ongoing debate. We contribute to this debate by dwelling upon an important aspect of quantum integrability -- the notion of independence of quantum integrals of motion (QIMs). We point out that a widely accepted definition of functional independence of QIMs is flawed, and suggest a new definition. Our study is motivated by the PXP model -- a model of $N$ spins $1/2$ possessing an extensi…
A t-design for quantum states is a finite set of quantum states with the property of simulating the Haar-measure on quantum states, w.r.t. any test that uses at most t copies of a state. We give efficient constructions for approximate quantum t-designs for arbitrary t. We then show that an approximate 4-design provides a derandomization of the state-distinction problem considered by Sen (quant-ph/0512085), which is relevant to solving certain instances of the hidden subgroup problem.
If nonlocality is to be inferred from a violation of Bell's inequality, an important assumption is that the measurement settings are freely chosen by the observers, or alternatively, that they are random and uncorrelated with the hypothetical local variables. We study the case where this assumption is weakened, so that measurement settings and local variables are at least partially correlated. As we show, there is a connection between this type of model and models which reproduce nonlocal correlations by allowing classical communication between the distant parties, and a connection with models…
In Bell scenario, any nonlocal correlation, shared between two spatially separated parties, can be modeled deterministically either by allowing communications between the two parties or by restricting their free will in choosing the measurement settings. Recently, Bell scenario has been generalized into `semi-quantum' scenario where external quantum inputs are provided to the parties. We show that in `semi-quantum' scenario, entangled states produce correlations whose deterministic explanation is possible only if measurement independence is reduced. Thus in simulating quantum correlation `semi…
How the objective everyday world emerges from the underlying quantum behaviour of its microscopic constituents is an open question at the heart of the foundations of quantum mechanics. Quantum Darwinism and spectrum broadcast structure are two different frameworks providing key insight into this question. Recent works, however, indicate these two frameworks can lead to conflicting predictions on the objectivity of the state of a system interacting with an environment. Here we provide a resolution to this issue by defining strong quantum Darwinism and proving that it is equivalent to spectrum b…
For classical Markovian stochastic systems, past and future events become statistically independent when conditioned to a given state at the present time. Memory non-Markovian effects break this condition, inducing a non-vanishing conditional past-future correlation. Here, this classical memory indicator is extended to a quantum regime, which provides an operational definition of quantum non-Markovianity based on a minimal set of three time-ordered quantum system measurements and post-selection. The detection of memory effects through the measurement scheme is univocally related to departures …
We develop simple rules for performing integrals over products of distributions in coordinate space. Such products occur in perturbation expansions of path integrals in curvilinear coordinates, where the interactions contain terms of the form dot q^2 q^n, which give rise to highly singular Feynman integrals. The new rules ensure the invariance of perturbatively defined path integrals under coordinate transformations.
In a recent note, Hance and Hossenfelder (arXiv:2211.01331) recall that "locally causal completions of quantum mechanics are possible, if they violate the assumption [called statistical independence or measurement independence] that the hidden variables do not in any way depend on measurement settings" and that, consequently, the experimental violations of Bell inequalities "show that maintaining local causality requires violating statistical independence". However, Hance and Hossenfelder also argue that "we should (...) look for independent experimental evidence that can distinguish the two d…
Entropic inequalities related to the quantum mutual information for bipartite system and tomographic mutual information is studied for Werner state of two qubits. Quantum correlations corresponding to entanglement properties of the qubits in Werner state are discussed.
We study the classical, classical-quantum, and quantum parts of conditional mutual information in the ``system-environment-ancilla'' setting of open quantum systems. We perform the separation of conditional mutual information by generalizing the classification of correlations of quantum states. The condition for identifying the classical part of conditional mutual information is given by adapting the no-local-broadcasting theorem to this setting, while the condition for classical-quantum part of conditional mutual information is obtained by considering the multipartite quantum discord and the …
We introduce an algebraic measure of correlations in bipartite quantum systems. The proposed quantity, called maximal mutual correlation, provides the information how much a given state differs from the product state of its marginals. In contrast to the entanglement or quantum discord, maximal mutual correlation can be non - zero for some classically correlated quantum states.
The study of mutual entropy (information) and capacity in classica l system was extensively done after Shannon by several authors like Kolmogor ov and Gelfand. In quantum systems, there have been several definitions of t he mutual entropy for classical input and quantum output. In 1983, the autho r defined the fully quantum mechanical mutual entropy by means of the relati ve entropy of Umegaki, and he extended it to general quantum systems by the relative entropy of Araki and Uhlmann. When the author introduced the quantu m mutual entropy, he did not indicate that it contains other definitions…
Anyons, quasiparticles living in two-dimensional spaces with exotic exchange statistics, can serve as the fundamental units for fault-tolerant quantum computation. However, experimentally demonstrating anyonic statistics is a challenge due to the technical limitations of current experimental platforms. Here, we take a state perpetration approach to mimic anyons in the Kitaev lattice model using a 7-qubit nuclear magnetic resonance quantum simulator. Anyons are created by dynamically preparing the ground and excited states of the 7-qubit Kitaev lattice model, and are subsequently braided along …
If Nature allowed nonlocal correlations other than those predicted by quantum mechanics, would that contradict some physical principle? Various approaches have been put forward in the past two decades in an attempt to single out quantum nonlocality. However, none of them can explain the set of quantum correlations arising in the simplest scenarios. Here it is shown that generalized uncertainty relations, as well as a specific notion of locality give rise to both familiar and new characterizations of quantum correlations. In particular, we identify a condition, relativistic independence, which …
For any $n$-partite state $ρ_{A_{1}A_{2}\cdot\cdot\cdot A_{n}}$, we define its quantum mutual information matrix as an $n$ by $n$ matrix whose $(i,j)$-entry is given by quantum mutual information $I(ρ_{A_{i}A_{j}})$. Although each entry of quantum mutual information matrix, like its classical counterpart, is also used to measure bipartite correlations, the similarity ends here: quantum mutual information matrices are not always positive semidefinite even for collections of up to 3-partite states. In this work, we obtain necessary and sufficient conditions for the positive semidefinite quantum …
We study the relation between the quantum conditional mutual information and the quantum $α$-Rényi divergences. Considering the totally antisymmetric state we show that it is not possible to attain a proper generalization of the quantum conditional mutual information by optimizing the distance in terms of quantum $α$-Rényi divergences over the set of all Markov states. The failure of the approach considered arises from the observation that a small quantum conditional mutual information does not imply that the state is close to a quantum Markov state.
We study the robustness of various protocols for quantum key distribution. We first consider the case of qutrits and study quantum protocols that employ two and three mutually unbiased bases. We then derive the optimal eavesdropping strategy for two mutually unbiased bases in dimension four and generalize the result to a quantum key distribution protocol that uses two mutually unbiased bases in arbitrary finite dimension.
We investigate whether the presence or absence of correlations between subsystems of an N-partite quantum system is solely constrained by the non-negativity and monotonicity of mutual information. We argue that this relatively simple question is in fact very deep because it is sensitive to the structure of the set of N-partite states. It can be informed by inequalities satisfied by the von Neumann entropy, but has the advantage of being more tractable. We exemplify this by deriving the explicit solution for N=4, despite having limited knowledge of the entropic inequalities. Furthermore, we des…
Kang et al. [Chin. Phys. B 24 (2015) 090306] proposed a controlled mutual quantum entity authentication protocol. We find that the proposed protocol is not secure, that is, Charlie can eavesdrop the shared keys between Alice and Bob without being detected.
Alice and Bob share a correlated composite quantum system AB. If AB is used as the key for a one-time pad cryptographic system, we show that the maximum amount of information that Alice can send securely to Bob is the quantum mutual information of AB.
We consider the phenomenon of mutual synchronization in a fundamental quantum system of two detuned quantum harmonic oscillators dissipating into the environment. We identify the conditions leading to this spontaneous phenomenon showing that the ability of the system to synchronize is related to the existence of disparate decay rates and is accompanied by robust quantum discord and mutual information between the oscillators, preventing the leak of information from the system.
Entropic Dynamics (ED) is an inference-based framework that seeks to construct dynamical theories of physics without assuming the conventional formalism --- the Hamiltonians, Poisson brackets, Hilbert spaces, etc. --- typically associated with physics. In this work we develop an ED of scalar fields that is both quantum and manifestly covariant. The framework for accomplishing this is inspired by the covariant methods of Dirac, Teitelboim, and Kuchar. In addition to the ostensible result of a covariant quantum ED, we also show how the covariance requirement of path independence proposed by Teit…
A well known upper bound for the independence number $α(G)$ of a graph $G$, is that \[ α(G) \le n^0 + \min\{n^+ , n^-\}, \] where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$ and demonstrate that there are graphs for which the above bound is not exact with any Hermitian weight matrix, for $α(G)$ and $α_q(G)$. This result complements results by the authors that many spectral lower bounds for the chromatic number are also lower b…
It is well known that when a pair of random variables is statistically independent, it has no-correlation (zero covariance, $E[XY] - E[X]E[Y] = 0$), and that the converse is not true. However, if both of these random variables take only two values, no-correlation entails statistical independence. We provide here a general proof. We subsequently examine whether this equivalence property carries over to quantum mechanical systems. A counter-example is explicitly constructed to show that it does not. This observation provides yet another simple theorem separating classical and quantum theories.
This paper studies the application of the Quantum Approximate Optimization Algorithm (QAOA) to spin-glass models with random multi-body couplings in the limit of a large number of spins. We show that for such mixed-spin models the performance of depth $1$ QAOA is independent of the specific instance in the limit of infinite sized systems and we give an explicit formula for the expected performance. We also give explicit expressions for the higher moments of the expected energy, thereby proving that the expected performance of QAOA concentrates.
Can there be `peaceful coexistence' between quantum theory and special relativity? Thirty years ago, Shimony hoped that isolating the culprit (i.e. the false assumption) in proofs of Bell inequalities as Outcome Independence would secure such peaceful coexistence: or, if not secure it, at least show a way---maybe the best or only way---to secure it. In this paper, I begin by being sceptical of Shimony's approach, urging that we need a relativistic solution to the quantum measurement problem (Section 2). Then I analyse Outcome Independence in Kent's realist one-world Lorentz-invariant interpret…
We realize shamir's no-key protocol via quantum computation of Boolean permutation and private quantum channel. The quantum no-key (QNK) protocol presented here is one with mutual authentications, and proved to be unconditionally secure. An important property of this protocol is that0 its authentication key can be reused permanently.
We propose some formulations of the notion of "operational independence" of two subsystems of a larger quantum system and clarify their relation to other independence concepts in the literature. In addition, we indicate why the operational independence of quantum subsystems holds quite generally, both in nonrelativistic and relativistic quantum theory.
The present survey results from the will to reconcile two approaches to quantum probabilities: one rather physical and coming directly from quantum mechanics, the other more algebraic. The second leading idea is to provide a unified picture introducing jointly to several fields of applications, many of which are probably not all familiar (at leat at the same time and in the form we use to present them) to the readers. Lastly, we take the opportunity to present various results obtained recently that use group and bialgebra techniques to handle notions such as cumulants or Wick polynomials in th…
The groupoids description of Schwinger's picture of quantum mechanics is continued by discussing the closely related notions of composition of systems, subsystems, and their independence. Physical subsystems have a neat algebraic description as subgroupoids of the Schwinger's groupoid of the system. The groupoids picture offers two natural notions of composition of systems: Direct and free products of groupoids, that will be analyzed in depth as well as their universal character. Finally, the notion of independence of subsystems will be reviewed, finding that the usual notion of independence, …
