Showing 1–50 of 198 results for author: Horodecki, M

Dynamics of the Non-equilibrium spin Boson Model: A Benchmark of master equations and their validity

Authors: Gerardo Suárez, Marcin Łobejko, Michał Horodecki

Abstract: In recent years, there has been tremendous focus on identifying whether effective descriptions of open quantum systems such as master equations, provide the correct steady state in the long time limit. The correct steady state is usually not known, however it can be approximated by means of the Mean Force Hamiltonian up to some fixed order, the reaction coordinate map** or other pseudo-mode like… ▽ More In recent years, there has been tremendous focus on identifying whether effective descriptions of open quantum systems such as master equations, provide the correct steady state in the long time limit. The correct steady state is usually not known, however it can be approximated by means of the Mean Force Hamiltonian up to some fixed order, the reaction coordinate map** or other pseudo-mode like approaches. A few years ago a controversy arose concerning the thermalization of master equations, namely, whether steady state coherences actually arise in systems with composite interactions or if they are some artifact caused by nonpositivity of the effective description, in this manuscript we confirm the existence of such steady state coherences in numerically exact dynamics, and see reminiscences of it in a CPTP map, while the steady state coherence seems to be real its oscillatory characyer seems to be an artifact of second order approximations, indicating that rather than being steady state coherences as one may think, the equilibrium state of the system is not diagonal in the basis of the system Hamiltonian. This paper also shows evidence than comparing Hamiltonian corrections calculated from the mean force approach and the quasi-steady states of dynamical equations may be deceiving, as dynamics may not tend to the state with the correction as shown in this paper. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Catalytic enhancement in the performance of the microscopic two-stroke heat engine

Authors: Tanmoy Biswas, Marcin Łobejko, Paweł Mazurek, Michał Horodecki

Abstract: We consider a model of a heat engine operating in the microscopic regime: the two-stroke engine. It produces work and exchanges heat in two discrete strokes that are separated in time. The engine consists of two $d$-level systems initialized in thermal states at two distinct temperatures. Additionally, an auxiliary non-equilibrium system called catalyst may be incorporated into the engine, provide… ▽ More We consider a model of a heat engine operating in the microscopic regime: the two-stroke engine. It produces work and exchanges heat in two discrete strokes that are separated in time. The engine consists of two $d$-level systems initialized in thermal states at two distinct temperatures. Additionally, an auxiliary non-equilibrium system called catalyst may be incorporated into the engine, provided the state of the catalyst remains unchanged after the completion of a thermodynamic cycle. This ensures that the work produced arises solely from the temperature difference, Upon establishing the rigorous thermodynamic framework, we characterize two-fold improvement stemming from the inclusion of a catalyst. Firstly, we show that the presence of a catalyst allows for surpassing the optimal efficiency of two-stroke heat engines which are not assisted by a catalyst. In particular, we prove that the optimal efficiency for two-stroke heat engine consisting of two-level systems is given by the Otto efficiency, and that it can be surpassed via incorporating a catalyst. Secondly, we show that incorporating a catalyst allows the engine to operate in frequency and temperature regimes that are not accessible for non-catalytic two-stroke engines. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 24 Pages, 8 Figures, Comment Welcome

Catalytic advantage in Otto-like two-stroke quantum engines

Authors: Marcin Łobejko, Tanmoy Biswas, Paweł Mazurek, Michał Horodecki

Abstract: We demonstrate how to incorporate a catalyst to enhance the performance of a heat engine. Specifically, we analyze efficiency in one of the simplest engines models, which operates in only two strokes and comprises of a pair of two-level systems, potentially assisted by a $d$-dimensional catalyst. When no catalysis is present, the efficiency of the machine is given by the Otto efficiency. Introduci… ▽ More We demonstrate how to incorporate a catalyst to enhance the performance of a heat engine. Specifically, we analyze efficiency in one of the simplest engines models, which operates in only two strokes and comprises of a pair of two-level systems, potentially assisted by a $d$-dimensional catalyst. When no catalysis is present, the efficiency of the machine is given by the Otto efficiency. Introducing the catalyst allows for constructing a protocol which overcomes this bound, while new efficiency can be expressed in a simple form as a generalization of Otto's formula: $1 - \frac{1}{d} \frac{ω_c}{ω_h}$. The catalyst also provides a bigger operational range of parameters in which the machine works as an engine. Although an increase in engine efficiency is mostly accompanied by a decrease in work production (approaching zero as the system approaches Carnot efficiency), it can lead to a more favorable trade-off between work and efficiency. The provided example introduces new possibilities for enhancing performance of thermal machines through finite-dimensional ancillary systems. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: 6 Pages, 7 Figures (Comments Welcome)

From port-based teleportation to Frobenius reciprocity theorem: partially reduced irreducible representations and their applications

Authors: Marek Mozrzymas, Michał Horodecki, Michał Studziński

Abstract: In this paper, we present the connection of two concepts as induced representation and partially reduced irreducible representations (PRIR) appear in the context of port-based teleportation protocols. Namely, for a given finite group $G$ with arbitrary subgroup $H$, we consider a particular case of matrix irreducible representations, whose restriction to the subgroup $H$, as a matrix representatio… ▽ More In this paper, we present the connection of two concepts as induced representation and partially reduced irreducible representations (PRIR) appear in the context of port-based teleportation protocols. Namely, for a given finite group $G$ with arbitrary subgroup $H$, we consider a particular case of matrix irreducible representations, whose restriction to the subgroup $H$, as a matrix representation of $H$, is completely reduced to diagonal block form with an irreducible representation of $H$ in the blocks. The basic properties of such representations are given. Then as an application of this concept, we show that the spectrum of the port-based teleportation operator acting on $n$ systems is connected in a very simple way with the spectrum of the corresponding Jucys-Murphy operator for the symmetric group $S(n-1)\subset S(n)$. This shows on the technical level relation between teleporation and one of the basic objects from the point of view of the representation theory of the symmetric group. This shows a deep connection between the central object describing properties of deterministic PBT schemes and objects appearing naturally in the abstract representation theory of the symmetric group. In particular, we present a new expression for the eigenvalues of the Jucys-Murphy operators based on the irreducible characters of the symmetric group. As an additional but not trivial result, we give also purely matrix proof of the Frobenius reciprocity theorem for characters with explicit construction of the unitary matrix that realizes the reduction of the natural basis of induced representation to the reduced one. △ Less

Submitted 18 April, 2024; v1 submitted 25 October, 2023; originally announced October 2023.

Comments: 17 pages, 5 figures, 1 table

Journal ref: Lett. Math. Phys. 114, 56 (2024)

Strongly coupled fermionic probe for nonequilibrium thermometry

Authors: Ricard Ravell Rodríguez, Mohammad Mehboudi, Michał Horodecki, Martí Perarnau-Llobet

Abstract: We characterise the measurement sensitivity, quantified by the Quantum Fisher Information (QFI), of a single-fermionic thermometric probe strongly coupled to the sample of interest, a fermionic bath, at temperature $T$. For nonequilibrium protocols, in which the probe is measured before reaching equilibrium with the sample, we find new behaviour of the measurement sensitivity arising due to non-Ma… ▽ More We characterise the measurement sensitivity, quantified by the Quantum Fisher Information (QFI), of a single-fermionic thermometric probe strongly coupled to the sample of interest, a fermionic bath, at temperature $T$. For nonequilibrium protocols, in which the probe is measured before reaching equilibrium with the sample, we find new behaviour of the measurement sensitivity arising due to non-Markovian dynamics. First, we show that the QFI displays a highly non-monotonic behaviour in time, in contrast to the Markovian case where it grows monotonically until equilibrium, so that non-Markovian revivals can be exploited to reach a higher QFI. Second, the QFI rate is maximised at a finite interrogation time $t^*$, which we characterize, in contrast to the solution $t^* \rightarrow 0$ known in the Markovian limit [Quantum 6, 869 (2022)]. Finally, we consider probes make up of few fermions and discuss different collective enhancements in the measurement precision. △ Less

Submitted 17 January, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: changed some citations. This version is very similar to the one published in NJP

Journal ref: New J. Phys. 26 (2024) 013046

Extremal jumps of circuit complexity of unitary evolutions generated by random Hamiltonians

Authors: Marcin Kotowski, Michał Oszmaniec, Michał Horodecki

Abstract: We investigate circuit complexity of unitaries generated by time evolution of randomly chosen strongly interacting Hamiltonians in finite dimensional Hilbert spaces. Specifically, we focus on two ensembles of random generators -- the so called Gaussian Unitary Ensemble (GUE) and the ensemble of diagonal Gaussian matrices conjugated by Haar random unitary transformations. In both scenarios we prove… ▽ More We investigate circuit complexity of unitaries generated by time evolution of randomly chosen strongly interacting Hamiltonians in finite dimensional Hilbert spaces. Specifically, we focus on two ensembles of random generators -- the so called Gaussian Unitary Ensemble (GUE) and the ensemble of diagonal Gaussian matrices conjugated by Haar random unitary transformations. In both scenarios we prove that the complexity of $\exp(-it H)$ exhibits a surprising behaviour -- with high probability it reaches the maximal allowed value on the same time scale as needed to escape the neighborhood of the identity consisting of unitaries with trivial (zero) complexity. We furthermore observe similar behaviour for quantum states originating from time evolutions generated by above ensembles and for diagonal unitaries generated from the ensemble of diagonal Gaussian Hamiltonians. To establish these results we rely heavily on structural properties of the above ensembles (such as unitary invariance) and concentration of measure techniques. This gives us a much finer control over the time evolution of complexity compared to techniques previously employed in this context: high-degree moments and frame potentials. △ Less

Submitted 13 April, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: 36 pages, 3 figures, v2: minor update to references,comments and suggestions are welcome

The Josephson junction as a quantum engine

Authors: Robert Alicki, Michał Horodecki, Alejandro Jenkins, Marcin Łobejko, Gerardo Suárez

Abstract: We treat the Cooper pairs in the superconducting electrodes of a Josephson junction (JJ) as an open system, coupled via Andreev scattering to external baths of electrons. The disequilibrium between the baths generates the direct-current bias applied to the JJ. In the weak-coupling limit we obtain a Markovian master equation that provides a simple dynamical description consistent with the main feat… ▽ More We treat the Cooper pairs in the superconducting electrodes of a Josephson junction (JJ) as an open system, coupled via Andreev scattering to external baths of electrons. The disequilibrium between the baths generates the direct-current bias applied to the JJ. In the weak-coupling limit we obtain a Markovian master equation that provides a simple dynamical description consistent with the main features of the JJ, including the form of the current-voltage characteristic, its hysteresis, and the appearance under periodic voltage driving of discrete Shapiro steps. For small dissipation, our model also exhibits a self-oscillation of the JJ's electrical dipole with frequency $Ω= 2 e V / \hbar$ around mean voltage $V$. This self-oscillation, associated with "hidden attractors" of the nonlinear equations of motion, explains the observed production of monochromatic radiation with frequency $Ω$ and its harmonics. We argue that this picture of the JJ as a quantum engine resolves open questions about the Josephson effect as an irreversible process and could open new perspectives in quantum thermodynamics and in the theory of dynamical systems. △ Less

Submitted 6 November, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

Comments: 27 pages, 9 figures. v2: references added. v3: more references added, several points clarified, discussion of superradiance dynamics in Sec. VI A improved and factor of 2 corrected. v4: typos fixed and other minor improvements. To appear in New Journal of Physics

Journal ref: New J. Phys. 25, 113013 (2023)

An approximation scheme and non-Hermitian re-normalization for description of atom-field system evolution

Authors: Borhan Ahmadi, Ricard Ravell Rodríguez, Robert Alicki, Michał Horodecki

Abstract: Interactions between a source of light and atoms are ubiquitous in nature. The study of them is interesting on the fundamental level as well as for applications. They are in the core of Quantum Information Processing tasks and in Quantum Thermodynamics protocols. However, even for two-level atom interacting with field in rotating wave approximation there exists no exact solution. This touches as b… ▽ More Interactions between a source of light and atoms are ubiquitous in nature. The study of them is interesting on the fundamental level as well as for applications. They are in the core of Quantum Information Processing tasks and in Quantum Thermodynamics protocols. However, even for two-level atom interacting with field in rotating wave approximation there exists no exact solution. This touches as basic problem in quantum field theory, where we can only calculate the transitions in the time asymptotic limits (i.e. minus and plus infinity), while we are not able to trace the evolution. In this paper we want to get more insight into the time evolution of a total system of a two-level atom and a continuous-mode quantum field. We propose an approximation, which we are able to apply systematically to each order of Dyson expansion, resulting in greatly simplified formula for the evolution of the combined system at any time. Our tools include a proposed novel, {\it non-Hermitian} re-normalization method. As a sanity check, by applying our framework, we derive the known optical Bloch equations. △ Less

Submitted 13 October, 2023; v1 submitted 19 October, 2022; originally announced October 2022.

Comments: We have added a new section with calculations and an extra appendix for the justification of our approximation

Journal ref: Phys. Rev. A 109, 012408 (2024)

The asymptotic emergence of the Second Law for a repeated charging process

Authors: Marcin Łobejko, Paweł Mazurek, Michał Horodecki

Abstract: In one of its versions, the Second Law states: "It is impossible to construct an engine which will work in a complete cycle, and produces no effect except the raising of a weight and cooling of a heat reservoir." While the Second Law is considered as one of the most robust laws of Nature, it is still challenging how to interpret it in a fully quantum domain. Here we unpack the true meaning of the… ▽ More In one of its versions, the Second Law states: "It is impossible to construct an engine which will work in a complete cycle, and produces no effect except the raising of a weight and cooling of a heat reservoir." While the Second Law is considered as one of the most robust laws of Nature, it is still challenging how to interpret it in a fully quantum domain. Here we unpack the true meaning of the "cyclicity" and formulate the Second Law for a generic quantum battery via its asymptotic properties of a charging process rather than in terms of a single cycle. As a paradigm, we propose a machine consisting of a battery that repeatedly interacts with identically prepared systems. We then propose the Second Law in the form: The ergotropy of the battery may increase indefinitely if and only if systems are in a non-passive state. One of the most interesting features of this new formulation is the appearance of the passive states that naturally generalize the notion of the heat bath. In this paper, we provide a handful of results that supports this formulation for diagonal systems. Interestingly, our methodology meets a well-known theory of Markov chains, according to which we classify the general charging processes based on the passivity/non-passivity of charging systems. In particular, the adopted mathematics allows us to distinguish a subtle asymptotic difference between the indefinite increase of the battery's energy (induced by the maximally mixed states) and of ergotropy (induced by the non-passive states) in terms of the so-called null-recurrent versus transient Markov chains. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Optimal universal quantum circuits for unitary complex conjugation

Authors: Daniel Ebler, Michał Horodecki, Marcin Marciniak, Tomasz Młynik, Marco Túlio Quintino, Michał Studziński

Abstract: Let $U_d$ be a unitary operator representing an arbitrary $d$-dimensional unitary quantum operation. This work presents optimal quantum circuits for transforming a number $k$ of calls of $U_d$ into its complex conjugate $\bar{U_d}$. Our circuits admit a parallel implementation and are proven to be optimal for any $k$ and $d$ with an average fidelity of… ▽ More Let $U_d$ be a unitary operator representing an arbitrary $d$-dimensional unitary quantum operation. This work presents optimal quantum circuits for transforming a number $k$ of calls of $U_d$ into its complex conjugate $\bar{U_d}$. Our circuits admit a parallel implementation and are proven to be optimal for any $k$ and $d$ with an average fidelity of $\left\langle{F}\right\rangle =\frac{k+1}{d(d-k)}$. Optimality is shown for average fidelity, robustness to noise, and other standard figures of merit. This extends previous works which considered the scenario of a single call ($k=1$) of the operation $U_d$, and the special case of $k=d-1$ calls. We then show that our results encompass optimal transformations from $k$ calls of $U_d$ to $f(U_d)$ for any arbitrary homomorphism $f$ from the group of $d$-dimensional unitary operators to itself, since complex conjugation is the only non-trivial automorphisms on the group of unitary operators. Finally, we apply our optimal complex conjugation implementation to design a probabilistic circuit for reversing arbitrary quantum evolutions. △ Less

Submitted 19 April, 2023; v1 submitted 31 May, 2022; originally announced June 2022.

Comments: 19 pages, 5 figures. Improved presentation, typos corrected, and some proofs are now clearer. Closer to the published version

Journal ref: IEEE Transactions on Information Theory 69, 8 (2023)

Saturation and recurrence of quantum complexity in random local quantum dynamics

Authors: Michał Oszmaniec, Marcin Kotowski, Michał Horodecki, Nicholas Hunter-Jones

Abstract: Quantum complexity is a measure of the minimal number of elementary operations required to approximately prepare a given state or unitary channel. Recently, this concept has found applications beyond quantum computing -- in studying the dynamics of quantum many-body systems and the long-time properties of AdS black holes. In this context Brown and Susskind \cite{BrownSusskind17} conjectured that t… ▽ More Quantum complexity is a measure of the minimal number of elementary operations required to approximately prepare a given state or unitary channel. Recently, this concept has found applications beyond quantum computing -- in studying the dynamics of quantum many-body systems and the long-time properties of AdS black holes. In this context Brown and Susskind \cite{BrownSusskind17} conjectured that the complexity of a chaotic quantum system grows linearly in time up to times exponential in the system size, saturating at a maximal value, and remaining maximally complex until undergoing recurrences at doubly-exponential times. In this work we prove the saturation and recurrence of complexity in two models of chaotic time evolutions based on (i) random local quantum circuits and (ii) stochastic local Hamiltonian evolution. Our results advance an understanding of the long-time behaviour of chaotic quantum systems and could shed light on the physics of black hole interiors. From a technical perspective our results are based on establishing new quantitative connections between the Haar measure and high-degree approximate designs, as well as the fact that random quantum circuits of sufficiently high depth converge to approximate designs. △ Less

Submitted 29 February, 2024; v1 submitted 19 May, 2022; originally announced May 2022.

Comments: 57 pages, 6 figures, comments and suggestions are welcome, major changes in v2: new title, simplified reasoning based on global gaps, inclusion of SLH model of random evolutions, numerous narrative changes throughout the text, new author

Extraction of ergotropy: free energy bound and application to open cycle engines

Authors: Tanmoy Biswas, Marcin Łobejko, Paweł Mazurek, Konrad Jałowiecki, Michał Horodecki

Abstract: The second law of thermodynamics uses change in free energy of macroscopic systems to set a bound on performed work. Ergotropy plays a similar role in microscopic scenarios, and is defined as the maximum amount of energy that can be extracted from a system by a unitary operation. In this analysis, we quantify how much ergotropy can be induced on a system as a result of system's interaction with a… ▽ More The second law of thermodynamics uses change in free energy of macroscopic systems to set a bound on performed work. Ergotropy plays a similar role in microscopic scenarios, and is defined as the maximum amount of energy that can be extracted from a system by a unitary operation. In this analysis, we quantify how much ergotropy can be induced on a system as a result of system's interaction with a thermal bath, with a perspective of using it as a source of work performed by microscopic machines. We provide the fundamental bound on the amount of ergotropy which can be extracted from environment in this way. The bound is expressed in terms of the non-equilibrium free energy difference and can be saturated in the limit of infinite dimension of the system's Hamiltonian. The ergotropy extraction process leading to this saturation is numerically analyzed for finite dimensional systems. Furthermore, we apply the idea of extraction of ergotropy from environment in a design of a new class of stroke heat engines, which we label open-cycle engines. Efficiency and work production of these machines can be completely optimized for systems of dimensions 2 and 3, and numerical analysis is provided for higher dimensions. △ Less

Submitted 14 October, 2022; v1 submitted 13 May, 2022; originally announced May 2022.

Comments: 31 pages, 6 figures. Comments welcome

Journal ref: Quantum 6, 841 (2022)

Towards reconciliation of completely positive open system dynamics with the equilibration postulate

Authors: Marcin Łobejko, Marek Winczewski, Gerardo Suárez, Robert Alicki, Michał Horodecki

Abstract: Almost every quantum system interacts with a large environment, so the exact quantum mechanical description of its evolution is impossible. One has to resort to approximate description, usually in the form of a master equation. There are at least two basic requirements for such a description: first, it should preserve the positivity of probabilities; second, it should correctly describe the equili… ▽ More Almost every quantum system interacts with a large environment, so the exact quantum mechanical description of its evolution is impossible. One has to resort to approximate description, usually in the form of a master equation. There are at least two basic requirements for such a description: first, it should preserve the positivity of probabilities; second, it should correctly describe the equilibration process for systems coupled to a single thermal bath. Existing two widespread descriptions of evolution fail to satisfy at least one of those conditions. The so-called Davies master equation, while preserving the positivity of probabilities, fails to describe thermalization properly. On the other hand, the Bloch-Redfield master equation violates the first condition, but it correctly describes equilibration, at least for off-diagonal elements for several important scenarios. However, is it possible to have a description of open system dynamics that would share both features? In this paper, we partially resolve this problem in the weak-coupling limit: (i) We provide a general form of the proper thermal equilibrium state (the so-called mean-force state) for an arbitrary open system. (ii) We provide the solution for the steady-state coherences for a whole class of master equations, and in particular, we show that the solution coincides with the mean-force Hamiltonian for the Bloch-Redfield equation. (iii) We consider the cumulant equation, which is explicitly completely positive, and we show that its steady-state coherences are the same as one of the Bloch-Redfield dynamics (and the mean-force state accordingly). (iv) We solve the correction to the diagonal part of the stationary state for a two-level system both for the Bloch-Redfield and cumulant equation, showing that the solution of the cumulant is very close to the mean-force state, whereas the Bloch-Redfield differs significantly. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Constructive nonlocal games with very small classical values

Authors: M. Rosicka, S. Szarek, A. Rutkowski, P. Gnaciński, M. Horodecki

Abstract: There are few explicit examples of two player nonlocal games with a large gap between classical and quantum value. One of the reasons is that estimating the classical value is usually a hard computational task. This paper is devoted to analyzing classical values of the so-called linear games (generalization of XOR games to a larger number of outputs). We employ nontrivial results from graph theory… ▽ More There are few explicit examples of two player nonlocal games with a large gap between classical and quantum value. One of the reasons is that estimating the classical value is usually a hard computational task. This paper is devoted to analyzing classical values of the so-called linear games (generalization of XOR games to a larger number of outputs). We employ nontrivial results from graph theory and combine them with number theoretic results used earlier in the context of harmonic analysis to obtain a novel tool -- {\it the girth method} -- allowing to provide explicit examples of linear games with prescribed low classical value. In particular, we provide games with minimal possible classical value. We then speculate on the potential unbounded violation, by comparing the obtained classical values with a known upper bound for the quantum value. If this bound can be even asymptotically saturated, our games would have the best ratio of quantum to classical value as a function of the product of the number of inputs and outputs when compared to other explicit (i.e. non-random) constructions. △ Less

Submitted 13 March, 2024; v1 submitted 14 December, 2021; originally announced December 2021.

Intermediate Times Dilemma for Open Quantum System: Filtered Approximation to The Refined Weak Coupling Limit

Authors: Marek Winczewski, Antonio Mandarino, Gerardo Suarez, Michał Horodecki, Robert Alicki

Abstract: The famous Davies-GKSL secular Markovian master equation is tremendously successful in approximating the evolution of open quantum systems in terms of just a few parameters. However, the fully-secular Davies-GKSL equation fails to accurately describe time scales short enough, i.e., comparable to the inverse of differences of frequencies present in the system of interest. A complementary approach t… ▽ More The famous Davies-GKSL secular Markovian master equation is tremendously successful in approximating the evolution of open quantum systems in terms of just a few parameters. However, the fully-secular Davies-GKSL equation fails to accurately describe time scales short enough, i.e., comparable to the inverse of differences of frequencies present in the system of interest. A complementary approach that works well for short times but is not suitable after this short interval is known as the quasi-secular master equation. Still, both approaches fail to have any faithful dynamics in the intermediate time interval. Simultaneously, descriptions of dynamics that apply to the aforementioned "grey zone" often are computationally much more complex than master equations or are mathematically not well-structured. The filtered approximation (FA) to the refined weak coupling limit has the simplistic spirit of the Davies-GKSL equation and allows capturing the dynamics in the intermediate time regime. At the same time, our non-Markovian equation yields completely positive dynamics. We exemplify the performance of the FA equation in the cases of the spin-boson system and qutrit-boson system in which two distant time scales appear. △ Less

Submitted 25 April, 2024; v1 submitted 10 June, 2021; originally announced June 2021.

Comments: 15+17 pages, 8 Figures

Fluctuation-dissipation relations for thermodynamic distillation processes

Authors: Tanmoy Biswas, A. de Oliveira Junior, Michał Horodecki, Kamil Korzekwa

Abstract: The fluctuation-dissipation theorem is a fundamental result in statistical physics that establishes a connection between the response of a system subject to a perturbation and the fluctuations associated with observables in equilibrium. Here we derive its version within a resource-theoretic framework, where one investigates optimal quantum state transitions under thermodynamic constraints. More pr… ▽ More The fluctuation-dissipation theorem is a fundamental result in statistical physics that establishes a connection between the response of a system subject to a perturbation and the fluctuations associated with observables in equilibrium. Here we derive its version within a resource-theoretic framework, where one investigates optimal quantum state transitions under thermodynamic constraints. More precisely, we first characterise optimal thermodynamic distillation processes, and then prove a relation between the amount of free energy dissipated in such processes and the free energy fluctuations of the initial state of the system. Our results apply to initial states given by either asymptotically many identical pure systems or arbitrary number of independent energy-incoherent systems, and allow not only for a state transformation, but also for the change of Hamiltonian. The fluctuation-dissipation relations we derive enable us to find the optimal performance of thermodynamic protocols such as work extraction, information erasure and thermodynamically-free communication, up to second-order asymptotics in the number $N$ of processed systems. We thus provide a first rigorous analysis of these thermodynamic protocols for quantum states with coherence between different energy eigenstates in the intermediate regime of large but finite $N$. △ Less

Submitted 2 August, 2022; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: 31 pages, 7 figures. Published version

Journal ref: Phys. Rev. E 105, 054127 (2022)

Correlations constrained by composite measurements

Authors: John H. Selby, Ana Belén Sainz, Victor Magron, Łukasz Czekaj, Michał Horodecki

Abstract: How to understand the set of correlations admissible in nature is one outstanding open problem in the core of the foundations of quantum theory. Here we take a complementary viewpoint to the device-independent approach, and explore the correlations that physical theories may feature when restricted by some particular constraints on their measurements. We show that demanding that a theory exhibits… ▽ More How to understand the set of correlations admissible in nature is one outstanding open problem in the core of the foundations of quantum theory. Here we take a complementary viewpoint to the device-independent approach, and explore the correlations that physical theories may feature when restricted by some particular constraints on their measurements. We show that demanding that a theory exhibits {a composite} measurement imposes a hierarchy of constraints on the structure of its sets of states and effects, which translate to a hierarchy of constraints on the allowed correlations themselves. We moreover focus on the particular case where one demands the existence of a correlated measurement that reads out the parity of local fiducial measurements. By formulating a non-linear Optimisation Problem, and semidefinite relaxations of it, we explore the consequences of the existence of such a parity reading measurement for violations of Bell inequalities. In particular, we show that in certain situations this assumption has surprisingly strong consequences, namely, that Tsirelson's bound can be recovered. △ Less

Submitted 3 August, 2023; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: 43 pages + appendices. V4 published version

Journal ref: Quantum 7, 1080 (2023)

Thermal Operations in general are not memoryless

Authors: Edgar A. Aguilar, Hanna Wojewódka-Ściążko, Maciej Stankiewicz, Christopher Perry, Piotr Ćwikliński, Andrzej Grudka, Karol Horodecki, Michał Horodecki

Abstract: So-called Thermal Operations seem to describe the most fundamental, and reasonable, set of operations allowable for state transformations at an ambient inverse temperature $β$. However, a priori, they require experimentalists to manipulate very complex environments and have control over their internal degrees of freedom. For this reason, the community has been working on creating more experimental… ▽ More So-called Thermal Operations seem to describe the most fundamental, and reasonable, set of operations allowable for state transformations at an ambient inverse temperature $β$. However, a priori, they require experimentalists to manipulate very complex environments and have control over their internal degrees of freedom. For this reason, the community has been working on creating more experimentally-friendly operations. In [Perry et al., Phys. Rev. X 8, 041049] it was shown that for states diagonal in the energy basis, that Thermal Operations can be performed by so-called Coarse Operations, which need just one auxiliary qubit, but are otherwise Markovian and classical in spirit. In this work, by providing an explicit counterexample, we show that this one qubit of memory is necessary. We also fully characterize the possible transitions that do not require memory for the system being a qubit. We do this by analyzing arbitrary control sequences comprising level energy changes and partial thermalizations in each step. △ Less

Submitted 7 September, 2020; originally announced September 2020.

Comments: 26 pages, 13 figures

Efficient multi port-based teleportation schemes

Authors: Michał Studziński, Marek Mozrzymas, Piotr Kopszak, Michał Horodecki

Abstract: In this manuscript we analyse generalised port-based teleportation (PBT) schemes, allowing for transmitting more than one unknown quantum state (or a composite quantum state) in one go, where the state ends up in several ports at Bob's side. We investigate the efficiency of our scheme discussing both deterministic and probabilistic case, where parties share maximally entangled states. It turns out… ▽ More In this manuscript we analyse generalised port-based teleportation (PBT) schemes, allowing for transmitting more than one unknown quantum state (or a composite quantum state) in one go, where the state ends up in several ports at Bob's side. We investigate the efficiency of our scheme discussing both deterministic and probabilistic case, where parties share maximally entangled states. It turns out that the new scheme gives better performance than various variants of the optimal PBT protocol used for the same task. All the results are presented in group-theoretic manner depending on such quantities like dimensions and multiplicities of irreducible representations in the Schur-Weyl duality. The presented analysis was possible by considering the algebra of permutation operators acting on n systems distorted by the action of partial transposition acting on more than one subsystem. Considering its action on the n-fold tensor product of the Hilbert space with finite dimension, we present construction of the respective irreducible matrix representations, which are in fact matrix irreducible representations of the Walled Brauer Algebra. I turns out that the introduced formalism, and symmetries beneath it, appears in many aspects of theoretical physics and mathematics - theory of anti ferromagnetism, aspects of gravity theory or in the problem of designing quantum circuits for special task like for example inverting an unknown unitary. △ Less

Submitted 5 September, 2022; v1 submitted 3 August, 2020; originally announced August 2020.

Journal ref: IEEE Transactions on Information Theory ( Volume: 68, Issue: 12, December 2022), pages 7892 - 7912

Multiport based teleportation -- transmission of a large amount of quantum information

Authors: Piotr Kopszak, Marek Mozrzymas, Michał Studziński, Michał Horodecki

Abstract: We analyse the problem of transmitting a number of unknown quantum states or one composite system in one go. We derive a lower bound on the performance of such process, measured in the entanglement fidelity. The obtained bound is effectively computable and outperforms the explicit values of the entanglement fidelity calculated for the pre-existing variants of the port-based protocols, allowing for… ▽ More We analyse the problem of transmitting a number of unknown quantum states or one composite system in one go. We derive a lower bound on the performance of such process, measured in the entanglement fidelity. The obtained bound is effectively computable and outperforms the explicit values of the entanglement fidelity calculated for the pre-existing variants of the port-based protocols, allowing for teleportation of a much larger amount of quantum information. The comparison with the exact formulas and similar analysis for the probabilistic scheme is also discussed. In particular, we present the closed-form expressions for the entanglement fidelity and for the probability of success in the probabilistic scheme in the qubit case in the picture of the spin angular momentum. △ Less

Submitted 7 November, 2021; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: 23 pages

Journal ref: Quantum 5, 576 (2021)

Epsilon-nets, unitary designs and random quantum circuits

Authors: Michał Oszmaniec, Adam Sawicki, Michał Horodecki

Abstract: Epsilon-nets and approximate unitary $t$-designs are natural notions that capture properties of unitary operations relevant for numerous applications in quantum information and quantum computing. The former constitute subsets of unitary channels that are epsilon-close to any unitary channel in the diamond norm. The latter are ensembles of unitaries that (approximately) recover Haar averages of pol… ▽ More Epsilon-nets and approximate unitary $t$-designs are natural notions that capture properties of unitary operations relevant for numerous applications in quantum information and quantum computing. The former constitute subsets of unitary channels that are epsilon-close to any unitary channel in the diamond norm. The latter are ensembles of unitaries that (approximately) recover Haar averages of polynomials in entries of unitary channels up to order $t$. In this work we establish quantitative connections between these two notions. Specifically, we prove that, for a fixed dimension $d$ of the Hilbert space, unitaries constituting $δ$-approximate $t$-expanders form $ε$-nets for $t\simeq\frac{d^{5/2}}ε$ and $δ=\left(\frac{ε^{3/2}}{d}\right)^{d^2}$. We also show that $ε$-nets can be used to construct $δ$-approximate unitary $t$-designs for $δ= εt$. Finally, we prove that the degree of an exact unitary $t$-design necessary to obtain an $ε$-net must grow at least fast as $\frac1ε$ (for fixed $d$) and not slower than $d^2$ (for fixed $ε$). This shows near optimality of our result connecting $t$-designs and $ε$-nets. We apply our findings in the context of quantum computing. First, we show that that approximate t-designs can be generated by shallow random circuits formed from a set of universal two-qudit gates in the parallel and sequential local architectures. Our gate sets need not to be symmetric (i.e. contain gates together with their inverses) or consist of gates with algebraic entries. We also show a non-constructive version of the Solovay-Kitaev theorem for general universal gate sets. Our main technical contribution is a new construction of efficient polynomial approximations to the Dirac delta in the space of quantum channels, which can be of independent interest. △ Less

Submitted 31 October, 2021; v1 submitted 21 July, 2020; originally announced July 2020.

Comments: 26 pages + 17 pages of appendix, 3 figures, accepted in IEEE: Transactions in Information Theory, Important changes in ver 3: (i) Corrected estimates for volumes of balls in projective unitary group, (ii) bounds on the L1 of the approximation to the Dirac delta given. (iii) updated references

Thermodynamics of Minimal Coupling Quantum Heat Engines

Authors: Marcin Łobejko, Paweł Mazurek, Michał Horodecki

Abstract: The minimal-coupling quantum heat engine is a thermal machine consisting of an explicit energy storage system, heat baths, and a working body, which alternatively couples to subsystems through discrete strokes -- energy-conserving two-body quantum operations. Within this paradigm, we present a general framework of quantum thermodynamics, where a work extraction process is fundamentally limited by… ▽ More The minimal-coupling quantum heat engine is a thermal machine consisting of an explicit energy storage system, heat baths, and a working body, which alternatively couples to subsystems through discrete strokes -- energy-conserving two-body quantum operations. Within this paradigm, we present a general framework of quantum thermodynamics, where a work extraction process is fundamentally limited by a flow of non-passive energy (ergotropy), while energy dissipation is expressed through a flow of passive energy. It turns out that small dimensionality of the working body and a restriction only to two-body operations make the engine fundamentally irreversible. Our main result is finding the optimal efficiency and work production per cycle within the whole class of irreversible minimal-coupling engines composed of three strokes and with the two-level working body, where we take into account all possible quantum correlations between the working body and the battery. One of the key new tools is the introduced "control-marginal state" -- one which acts only on a working body Hilbert space, but encapsulates all features regarding work extraction of the total working body-battery system. In addition, we propose a generalization of the many-stroke engine, and we analyze efficiency vs extracted work trade-offs, as well as work fluctuations after many cycles of the running of the engine. △ Less

Submitted 30 December, 2020; v1 submitted 12 March, 2020; originally announced March 2020.

Journal ref: Quantum 4, 375 (2020)

Autonomous Quantum Devices: When Are They Realizable without Additional Thermodynamic Costs?

Authors: Mischa P. Woods, Michał Horodecki

Abstract: The resource theory of quantum thermodynamics has been a very successful theory and has generated much follow-up work in the community. It requires energy-preserving unitary operations to be implemented over a system, bath, and catalyst as part of its paradigm. So far, such unitary operations have been considered a "free" resource in the theory. However, this is only an idealization of a necessari… ▽ More The resource theory of quantum thermodynamics has been a very successful theory and has generated much follow-up work in the community. It requires energy-preserving unitary operations to be implemented over a system, bath, and catalyst as part of its paradigm. So far, such unitary operations have been considered a "free" resource in the theory. However, this is only an idealization of a necessarily inexact process. Here, we include an additional auxiliary control system which can autonomously implement the unitary by turning an interaction "on or off". However, the control system will inevitably be degraded by the backaction caused by the implementation of the unitary. We derive conditions on the quality of the control device so that the laws of thermodynamics do not change and prove - by utilizing a good quantum clock - that the laws of quantum mechanics allow the backreaction to be small enough so that these conditions are satisfiable. Our inclusion of nonidealized control into the resource framework also raises interesting prospects, which were absent when considering idealized control. Among other things, the emergence of a third law without the need for the assumption of a light cone. Our results and framework unify the field of autonomous thermal machines with the thermodynamic quantum resource-theoretic one, and lay the groundwork for all quantum processing devices to be unified with fully autonomous machines. △ Less

Submitted 9 March, 2023; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: 12 + 55 pages

Journal ref: Phys. Rev. X 13, 011016 (2023)

Quantum error correction codes and absolutely maximally entangled states

Authors: Paweł Mazurek, Máté Farkas, Andrzej Grudka, Michał Horodecki, Michał Studziński

Abstract: For every stabiliser $N$-qudit absolutely maximally entangled state, we present a method for determining the stabiliser generators and logical operators of a corresponding quantum error correction code. These codes encode $k$ qudits into $N-k$ qudits, with $k\leq \left \lfloor{N/2} \right \rfloor$, where the local dimension $d$ is prime. We use these methods to analyse the concatenation of such qu… ▽ More For every stabiliser $N$-qudit absolutely maximally entangled state, we present a method for determining the stabiliser generators and logical operators of a corresponding quantum error correction code. These codes encode $k$ qudits into $N-k$ qudits, with $k\leq \left \lfloor{N/2} \right \rfloor$, where the local dimension $d$ is prime. We use these methods to analyse the concatenation of such quantum codes and link this procedure to entanglement swap**. Using our techniques, we investigate the spread of quantum information on a tensor network code formerly used as a toy model for the AdS/CFT correspondence. In this network, we show how corrections arise to the Ryu-Takayanagi formula in the case of entangled input state, and that the bound on the entanglement entropy of the boundary state is saturated for absolutely maximally entangled input states. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Comments: 11 pages, 7 figures

Journal ref: Phys. Rev. A 101, 042305 (2020)

Second law of thermodynamics for batteries with vacuum state

Authors: Patryk Lipka-Bartosik, Paweł Mazurek, Michał Horodecki

Abstract: In stochastic thermodynamics work is a random variable whose average is bounded by the change in the free energy of the system. In most treatments, however, the work reservoir that absorbs this change is either tacitly assumed or modelled using unphysical systems with unbounded Hamiltonians (i.e. the ideal weight). In this work we describe the consequences of introducing the ground state of the ba… ▽ More In stochastic thermodynamics work is a random variable whose average is bounded by the change in the free energy of the system. In most treatments, however, the work reservoir that absorbs this change is either tacitly assumed or modelled using unphysical systems with unbounded Hamiltonians (i.e. the ideal weight). In this work we describe the consequences of introducing the ground state of the battery and hence -- of breaking its translational symmetry. The most striking consequence of this shift is the fact that the Jarzynski identity is replaced by a family of inequalities. Using these inequalities we obtain corrections to the second law of thermodynamics which vanish exponentially with the distance of the initial state of the battery to the bottom of its spectrum. Finally, we study an exemplary thermal operation which realizes the approximate Landauer erasure and demonstrate the consequences which arise when the ground state of the battery is explicitly introduced. In particular, we show that occupation of the vacuum state of any physical battery sets a lower bound on fluctuations of work, while batteries without vacuum state allow for fluctuation-free erasure. △ Less

Submitted 6 March, 2021; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 22+20 pages, 5 figures

Journal ref: Quantum 5, 408 (2021)

Information-thermodynamics link revisited

Authors: Robert Alicki, Michal Horodecki

Abstract: The so-called information-thermodynamics link created by a thought experiment of Szilard became a core of the modern orthodoxy in the field of quantum information and resources theory in quantum thermodynamics. We remind existing objections against standard interpretation of Szilard engine operation and illustrate them by two quantum models: particle in a box with time-dependent thin potential bar… ▽ More The so-called information-thermodynamics link created by a thought experiment of Szilard became a core of the modern orthodoxy in the field of quantum information and resources theory in quantum thermodynamics. We remind existing objections against standard interpretation of Szilard engine operation and illustrate them by two quantum models: particle in a box with time-dependent thin potential barrier and the spin-boson model. The consequences of the emerging superselection rules for thermodynamics and foundations of quantum mechanics are discussed. The role of non-ergodic systems as information carriers and the thermodynamic cost of stability and accuracy of information processing is briefly discussed and compared to the generally accepted Landauer's principle. △ Less

Submitted 27 May, 2019; originally announced May 2019.

Comments: 14 pages,3 figures, appeared in special issue of J. Phys A: "Shannon's Information Theory 70 years on: applications in classical and quantum physics"

Journal ref: J. Phys. A: Math. Theor. 52 204001 (2019)

Generalized XOR non-locality games with graph description on a square lattice

Authors: Monika Rosicka, Paweł Mazurek, Andrzej Grudka, Michał Horodecki

Abstract: We propose a family of non-locality unique games for 2 parties based on a square lattice on an arbitrary surface. We show that, due to structural similarities with error correction codes of Kitaev for fault tolerant quantum computation, the games have classical values computable in polynomial time for $d=2$ measurement outcomes. By representing games in their graph form, for arbitrary $d$ and unde… ▽ More We propose a family of non-locality unique games for 2 parties based on a square lattice on an arbitrary surface. We show that, due to structural similarities with error correction codes of Kitaev for fault tolerant quantum computation, the games have classical values computable in polynomial time for $d=2$ measurement outcomes. By representing games in their graph form, for arbitrary $d$ and underlying surface we provide their classification into equivalence classes with respect to relabeling of measurement outcomes, for a selected set of permutations which define the winning conditions. A case study of games with periodic boundary conditions is presented in order to verify their impact on classical and quantum values of the family of games. It suggests that quantum values suffer independently from presence of different winning conditions that can be imposed due to periodicity, as long as no local restrictions are in place. △ Less

Submitted 28 February, 2019; originally announced February 2019.

Comments: 18 pages, 16 figures

Journal ref: Journal of Physics A: Mathematical and Theoretical, Volume 53, Number 26, 2020

Practical No-Signalling proof Randomness Amplification using Hardy paradoxes and its experimental implementation

Authors: Ravishankar Ramanathan, Michał Horodecki, Hammad Anwer, Stefano Pironio, Karol Horodecki, Marcus Grünfeld, Sadiq Muhammad, Mohamed Bourennane, Paweł Horodecki

Abstract: Device-Independent (DI) security is the best form of quantum cryptography, providing information-theoretic security based on the very laws of nature. In its highest form, security is guaranteed against adversaries limited only by the no-superluminal signalling rule of relativity. The task of randomness amplification, to generate secure fully uniform bits starting from weakly random seeds, is of bo… ▽ More Device-Independent (DI) security is the best form of quantum cryptography, providing information-theoretic security based on the very laws of nature. In its highest form, security is guaranteed against adversaries limited only by the no-superluminal signalling rule of relativity. The task of randomness amplification, to generate secure fully uniform bits starting from weakly random seeds, is of both cryptographic and foundational interest, being important for the generation of cryptographically secure random numbers as well as bringing deep connections to the existence of free-will. DI no-signalling proof protocols for this fundamental task have thus far relied on esoteric proofs of non-locality termed pseudo-telepathy games, complicated multi-party setups or high-dimensional quantum systems, and have remained out of reach of experimental implementation. In this paper, we construct the first practically relevant no-signalling proof DI protocols for randomness amplification based on the simplest proofs of Bell non-locality and illustrate them with an experimental implementation in a quantum optical setup using polarised photons. Technically, we relate the problem to the vast field of Hardy paradoxes, without which it would be impossible to achieve amplification of arbitrarily weak sources in the simplest Bell non-locality scenario consisting of two parties choosing between two binary inputs. Furthermore, we identify a deep connection between proofs of the celebrated Kochen-Specker theorem and Hardy paradoxes that enables us to construct Hardy paradoxes with the non-zero probability taking any value in $(0,1]$. Our methods enable us, under the fair-sampling assumption of the experiment, to realize up to $25$ bits of randomness in $20$ hours of experimental data collection from an initial private source of randomness $0.1$ away from uniform. △ Less

Submitted 23 September, 2020; v1 submitted 27 October, 2018; originally announced October 2018.

Comments: 30 pages, 19 figures, 2 tables. Acknowledgement added in v3

Operational foundations of complementarity and uncertainty relations

Authors: Debashis Saha, Michał Oszmaniec, Łukasz Czekaj, Michał Horodecki, Ryszard Horodecki

Abstract: The so-called preparation uncertainty can be understood in purely operational terms. Namely, it occurs when for some pair of observables, there is no preparation, for which they both exhibit deterministic statistics. However, the right-hand side of uncertainty relation is generally not operational as it depends on the quantum formalism. Also, while joint non-measurability of observables is an oper… ▽ More The so-called preparation uncertainty can be understood in purely operational terms. Namely, it occurs when for some pair of observables, there is no preparation, for which they both exhibit deterministic statistics. However, the right-hand side of uncertainty relation is generally not operational as it depends on the quantum formalism. Also, while joint non-measurability of observables is an operational notion, the complementarity in Bohr sense (i.e. excess of information needed to describe the system) has not yet been expressed in purely operational terms. In this paper we propose a solution to these problems, by introducing an operational definition for complementarity, and further postulating uncertainty as a necessary price for complementarity in physical theories. In other words, we propose to put the (operational) complementarity as the right-hand side of uncertainty relation. Concretely, we first identify two different notions of uncertainty and complementarity for which the above principle holds in quantum mechanics. We also introduce postulates for the general measures of uncertainty and complementarity. In order to define quantifiers of complementarity we first turn to the simpler notion of independence that is defined solely in terms of statistics two observables. We also use our framework to define new complementarity indicators based on (i) performance of random access codes, (ii) geometrical properties of the body of observed statistics, and (iii) variation of information. We then show that they can be used to state uncertainty relations. Moreover, we show that non-signaling and uncertainty relation expressed by complementarity of type (ii) leads to the Tsirelson bound for CHSH inequality. Lastly, we show that a variant of Information Causality called Information Content Principle, can be interpreted as uncertainty relation in the above sense. △ Less

Submitted 19 March, 2019; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: 24 pages, 13 Figures, Comments and suggestions are welcome, v3: additional results about RACs added, more emphasis put on the interplay between convexity of physical theories and complementarity

Journal ref: Phys. Rev. A 101, 052104 (2020)

Gadget structures in proofs of the Kochen-Specker theorem

Authors: Ravishankar Ramanathan, Monika Rosicka, Karol Horodecki, Stefano Pironio, Michał Horodecki, Paweł Horodecki

Abstract: The Kochen-Specker theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We show that within every Kochen-Specker graph, there exist interesting subgraphs which we term $01$-gadgets, that capture the essential contradiction necessary to prove the Kochen-Specker theorem, i.e,. every Kochen-Specker graph contains a $01$-gadget and from every… ▽ More The Kochen-Specker theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We show that within every Kochen-Specker graph, there exist interesting subgraphs which we term $01$-gadgets, that capture the essential contradiction necessary to prove the Kochen-Specker theorem, i.e,. every Kochen-Specker graph contains a $01$-gadget and from every $01$-gadget one can construct a proof of the Kochen-Specker theorem. Moreover, we show that the $01$-gadgets form a fundamental primitive that can be used to formulate state-independent and state-dependent statistical Kochen-Specker arguments as well as to give simple constructive proofs of an "extended" Kochen-Specker theorem first considered by Pitowsky. △ Less

Submitted 10 August, 2020; v1 submitted 29 June, 2018; originally announced July 2018.

Comments: 19 pages, 8 figures, Accepted in Quantum

Journal ref: Quantum 4, 308 (2020)

Bell measurement rules out supraquantum correlations

Authors: Łukasz Czekaj, Michał Horodecki, Tomasz Tylec

Abstract: The so called bipartite non-signaling boxes are systems whose statistics is constrained solely by the principle of no instantaneous signaling between distant locations. Such systems can exhibit much stronger correlations than those admitted by quantum mechanics. Inspired by quantum logic approach of Tylec and Kuś, J. Phys. A: Math. Theor. 48 (2015) 505303, we consider non-signaling boxes with thre… ▽ More The so called bipartite non-signaling boxes are systems whose statistics is constrained solely by the principle of no instantaneous signaling between distant locations. Such systems can exhibit much stronger correlations than those admitted by quantum mechanics. Inspired by quantum logic approach of Tylec and Kuś, J. Phys. A: Math. Theor. 48 (2015) 505303, we consider non-signaling boxes with three inputs per party, and extend the set of measurements with just a single {\it global} measurement - one that mimics quantum two-party Bell measurement. We then show that this seemingly mild extension completely rules out supraquantum correlations: the resulting system admits precisely quantum mechanical correlations of two qubits. We also consider non-maximally entangled measurements, obtaining interpolation between quantum and full no-signaling theory. Our study paves a way to a general programme of amending no-signaling theories with some measurements inherited from quantum mechanics, leading to various interpolations between non-signaling boxes and quantum mechanics. △ Less

Submitted 11 April, 2018; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: 6 pages

Journal ref: Phys. Rev. A 98, 032117 (2018)

Simplified formalism of the algebra of partially transposed permutation operators with applications

Authors: Marek Mozrzymas, Michał Studziński, Michał Horodecki

Abstract: Hereunder we continue the study of the representation theory of the algebra of permutation operators acting on the $n$-fold tensor product space, partially transposed on the last subsystem. We develop the concept of partially reduced irreducible representations, which allows to simplify significantly previously proved theorems and what is the most important derive new results for irreducible repre… ▽ More Hereunder we continue the study of the representation theory of the algebra of permutation operators acting on the $n$-fold tensor product space, partially transposed on the last subsystem. We develop the concept of partially reduced irreducible representations, which allows to simplify significantly previously proved theorems and what is the most important derive new results for irreducible representations of the mentioned algebra. In our analysis we are able to reduce complexity of the central expressions by getting rid of sums over all permutations from symmetric group obtaining equations which are much more handy in practical applications. We also find relatively simple matrix representations for the generators of underlying algebra. Obtained simplifications and developments are applied to derive characteristic of the deterministic port-based teleportation scheme written purely in terms of irreducible representations of the studied algebra. We solve an eigenproblem for generators of algebra which is the first step towards to hybrid port-based teleportation scheme and gives us new proofs of asymptotic behaviour of teleportation fidelity. We also show connection between density operator characterising port-based teleportation and particular matrix composed of irreducible representation of the symmetric group which encodes properties of the investigated algebra. △ Less

Submitted 22 February, 2018; v1 submitted 8 August, 2017; originally announced August 2017.

Comments: 32 pages

Journal ref: J. Phys. A: Math. Theor. 51 125202 (2018)

Optimal Port-based Teleportation

Authors: Marek Mozrzymas, Michał Studziński, Sergii Strelchuk, Michał Horodecki

Abstract: Deterministic port-based teleportation (dPBT) protocol is a scheme where a quantum state is guaranteed to be transferred to another system without unitary correction. We characterize the best achievable performance of the dPBT when both the resource state and the measurement is optimized. Surprisingly, the best possible fidelity for an arbitrary number of ports and dimension of the teleported stat… ▽ More Deterministic port-based teleportation (dPBT) protocol is a scheme where a quantum state is guaranteed to be transferred to another system without unitary correction. We characterize the best achievable performance of the dPBT when both the resource state and the measurement is optimized. Surprisingly, the best possible fidelity for an arbitrary number of ports and dimension of the teleported state is given by the largest eigenvalue of a particular matrix -- Teleportation Matrix. It encodes the relationship between a certain set of Young diagrams and emerges as the the optimal solution to the relevant semidefinite program. △ Less

Submitted 26 July, 2017; originally announced July 2017.

Comments: 32 pages, 3 figures

Journal ref: New Journal of Physics 20.5 (2018): 053006

Decomposability and Convex Structure of Thermal Processes

Authors: Paweł Mazurek, Michał Horodecki

Abstract: We present an example of a Thermal Process for a system of $d$ energy levels, which cannot be performed without an instant access to the whole energy space. This Thermal Process is uniquely connected with a transition between some states of the system, that cannot be performed without access to the whole energy space even when approximate transitions are allowed. Pursuing the question about the de… ▽ More We present an example of a Thermal Process for a system of $d$ energy levels, which cannot be performed without an instant access to the whole energy space. This Thermal Process is uniquely connected with a transition between some states of the system, that cannot be performed without access to the whole energy space even when approximate transitions are allowed. Pursuing the question about the decomposability of Thermal Processes into convex combinations of compositions of processes acting non-trivially on smaller subspaces, we investigate transitions within the subspace of states diagonal in the energy basis. For three level systems, we determine the set of extremal points of these operations, as well as the minimal set of operations needed to perform an arbitrary Thermal Process, and connect the set of Thermal Processes with thermomajorization criterion. We show that the structure of the set depends on temperature, which is associated with the fact that Thermal Processes cannot increase deterministically extractable work from a state -- the conclusion that holds for arbitrary $d$ level system. We also connect the decomposability problem with detailed balance symmetry of an extremal Thermal Processes. △ Less

Submitted 30 April, 2018; v1 submitted 21 July, 2017; originally announced July 2017.

Comments: 13 pages, 5 figures. Section III extended to approximate transformations scenario (section V), threshold temperatures (Section IV D) given physical justification and generalised to arbitrary d

Journal ref: New Journal of Physics 20, 053040 (2018)

Approximate Majorization

Authors: Michał Horodecki, Jonathan Oppenheim, Carlo Sparaciari

Abstract: Although an input distribution may not majorize a target distribution, it may majorize a distribution which is close to the target. Here we introduce a notion of approximate majorization. For any distribution, and given a distance $δ$, we find the approximate distributions which majorize (are majorized by) all other distributions within the distance $δ$. We call these the steepest and flattest app… ▽ More Although an input distribution may not majorize a target distribution, it may majorize a distribution which is close to the target. Here we introduce a notion of approximate majorization. For any distribution, and given a distance $δ$, we find the approximate distributions which majorize (are majorized by) all other distributions within the distance $δ$. We call these the steepest and flattest approximation. This enables one to compute how close one can get to a given target distribution under a process governed by majorization. We show that the flattest and steepest approximations preserve ordering under majorization. Furthermore, we give a notion of majorization distance. This has applications ranging from thermodynamics, entanglement theory, and economics. △ Less

Submitted 16 June, 2017; originally announced June 2017.

Comments: 4 pages main text + 6 pages appendix. 2 figure

Journal ref: J. Phys. A: Math. Theor. 51 305301 (2018)

Measurement uncertainty from no-signaling and non-locality

Authors: Justyna Łodyga, Waldemar Kłobus, Ravishankar Ramanathan, Andrzej Grudka, Michał Horodecki, Ryszard Horodecki

Abstract: One of the formulations of Heisenberg uncertainty principle, concerning so-called measurement uncertainty, states that the measurement of one observable modifies the statistics of the other. Here, we derive such a measurement uncertainty principle from two comprehensible assumptions: impossibility of instantaneous messaging at a distance (no-signaling), and violation of Bell inequalities (non-loca… ▽ More One of the formulations of Heisenberg uncertainty principle, concerning so-called measurement uncertainty, states that the measurement of one observable modifies the statistics of the other. Here, we derive such a measurement uncertainty principle from two comprehensible assumptions: impossibility of instantaneous messaging at a distance (no-signaling), and violation of Bell inequalities (non-locality). The uncertainty is established for a pair of observables of one of two spatially separated systems that exhibit non-local correlations. To this end, we introduce a gentle form of measurement which acquires partial information about one of the observables. We then bound disturbance of the remaining observables by the amount of information gained from the gentle measurement, minus a correction depending on the degree of non-locality. The obtained quantitative expression resembles the quantum mechanical formulations, yet it is derived without the quantum formalism and complements the known qualitative effect of disturbance implied by non-locality and no-signaling. △ Less

Submitted 31 January, 2017; originally announced February 2017.

Comments: 4 pages main + 8 pages appendix; 3 figures

Journal ref: Phys. Rev. A 96, 012124 (2017)

Port-based teleportation in arbitrary dimension

Authors: Michał Studziński, Sergii Strelchuk, Marek Mozrzymas, Michał Horodecki

Abstract: Port-based teleportation (PBT), introduced in 2008, is a type of quantum teleportation protocol which transmits the state to the receiver without requiring any corrections on the receiver's side. Evaluating the performance of PBT was computationally intractable and previous attempts succeeded only with small systems. We study PBT protocols and fully characterize their performance for arbitrary dim… ▽ More Port-based teleportation (PBT), introduced in 2008, is a type of quantum teleportation protocol which transmits the state to the receiver without requiring any corrections on the receiver's side. Evaluating the performance of PBT was computationally intractable and previous attempts succeeded only with small systems. We study PBT protocols and fully characterize their performance for arbitrary dimensions and number of ports. We develop new mathematical tools to study the symmetries of the measurement operators that arise in these protocols and belong to the algebra of partially transposed permutation operators. First, we develop the representation theory of the mentioned algebra which provides an elegant way of understanding the properties of subsystems of a large system with general symmetries. In particular, we introduce the theory of the partially reduced irreducible representations which we use to obtain a simpler representation of the algebra of partially transposed permutation operators and thus explicitly determine the properties of any PBT scheme for fixed dimension in polynomial time. △ Less

Submitted 25 September, 2017; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: 30 pages, 5 figures

Journal ref: Sci Rep. 2017; 7: 10871

Sharp transitions in low-number quantum dots Bayesian magnetometry

Authors: Paweł Mazurek, Michał Horodecki, Łukasz Czekaj, Paweł Horodecki

Abstract: We consider Bayesian estimate of static magnetic field, characterized by a prior Gaussian probability distribution, in systems of a few electron quantum dot spins interacting with infinite temperature spin environment via hyperfine interaction. Sudden transitions among optimal states and measurements are observed. Usefulness of measuring occupation levels is shown for all times of the evolution, t… ▽ More We consider Bayesian estimate of static magnetic field, characterized by a prior Gaussian probability distribution, in systems of a few electron quantum dot spins interacting with infinite temperature spin environment via hyperfine interaction. Sudden transitions among optimal states and measurements are observed. Usefulness of measuring occupation levels is shown for all times of the evolution, together with the role of entanglement in the optimal scenario. For low values of magnetic field, memory effects stemming from the interaction with environment provide limited metrological advantage. △ Less

Submitted 14 November, 2016; v1 submitted 13 May, 2016; originally announced May 2016.

Comments: 9 pages, 7 figures, section III expanded, citations added, results unchanged

Journal ref: Scientific Reports 6, 34327 (2016)

Efficient Quantum Pseudorandomness

Authors: Fernando G. S. L. Brandao, Aram W. Harrow, Michal Horodecki

Abstract: Randomness is both a useful way to model natural systems and a useful tool for engineered systems, e.g. in computation, communication and control. Fully random transformations require exponential time for either classical or quantum systems, but in many case pseudorandom operations can emulate certain properties of truly random ones. Indeed in the classical realm there is by now a well-developed t… ▽ More Randomness is both a useful way to model natural systems and a useful tool for engineered systems, e.g. in computation, communication and control. Fully random transformations require exponential time for either classical or quantum systems, but in many case pseudorandom operations can emulate certain properties of truly random ones. Indeed in the classical realm there is by now a well-developed theory of such pseudorandom operations. However the construction of such objects turns out to be much harder in the quantum case. Here we show that random quantum circuits are a powerful source of quantum pseudorandomness. This gives the for the first time a polynomialtime construction of quantum unitary designs, which can replace fully random operations in most applications, and shows that generic quantum dynamics cannot be distinguished from truly random processes. We discuss applications of our result to quantum information science, cryptography and to understanding self-equilibration of closed quantum dynamics. △ Less

Submitted 2 May, 2016; originally announced May 2016.

Comments: 6 pages, 1 figure. Short version of http://arxiv.longhoe.net/abs/1208.0692

Journal ref: Phys. Rev. Lett. 116, 170502 (2016)

No-signaling versus quantum constraints for spatio-temporal correlations caused by weak measurement

Authors: Justyna Łodyga, Waldemar Kłobus, Andrzej Grudka, Michał Horodecki, Ryszard Horodecki

Abstract: One of the formulations of Heisenberg uncertainty principle, concerning so-called measurement uncertainty, states that the measurement of one observable modifies the statistics of the other. Here, we derive such a measurement uncertainty principle from two comprehensible assumptions: impossibility of instantaneous messaging at a distance (no-signaling), and violation of Bell inequalities (non-loca… ▽ More One of the formulations of Heisenberg uncertainty principle, concerning so-called measurement uncertainty, states that the measurement of one observable modifies the statistics of the other. Here, we derive such a measurement uncertainty principle from two comprehensible assumptions: impossibility of instantaneous messaging at a distance (no-signaling), and violation of Bell inequalities (non-locality). The uncertainty is established for a pair of observables of one of two spatially separated systems that exhibit non-local correlations. To this end, we introduce a gentle form of measurement which acquires partial information about one of the observables. We then bound disturbance of the remaining observables by the amount of information gained from the gentle measurement, minus a correction depending on the degree of non-locality. The obtained quantitative expression resembles the quantum mechanical formulations, yet it is derived without the quantum formalism and complements the known qualitative effect of disturbance implied by non-locality and no-signaling. △ Less

Submitted 22 November, 2017; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: The paper is superseded by arXiv:1702.00078

Amplifying the randomness of weak sources correlated with devices

Authors: Hanna Wojewodka, Fernando G. S. L. Brandao, Andrzej Grudka, Michal Horodecki, Karol Horodecki, Pawel Horodecki, Marcin Pawlowski, Ravishankar Ramanathan, Maciej Stankiewicz

Abstract: The problem of device-independent randomness amplification against no-signaling adversaries has so far been studied under the assumption that the weak source of randomness is uncorrelated with the (quantum) devices used in the amplification procedure. In this work, we relax this assumption, and reconsider the original protocol of Colbeck and Renner using a Santha-Vazirani (SV) source. To do so, we… ▽ More The problem of device-independent randomness amplification against no-signaling adversaries has so far been studied under the assumption that the weak source of randomness is uncorrelated with the (quantum) devices used in the amplification procedure. In this work, we relax this assumption, and reconsider the original protocol of Colbeck and Renner using a Santha-Vazirani (SV) source. To do so, we introduce an SV-like condition for devices, namely that any string of SV source bits remains weakly random conditioned upon any other bit string from the same SV source and the outputs obtained when this further string is input into the devices. Assuming this condition, we show that a quantum device using a~singlet state to violate the chained Bell inequalities leads to full randomness in the asymptotic scenario of a large number of settings, for a restricted set of SV sources (with $0 \leq \varepsilon < (2^{(1/12)} - 1)/(2(2^{(1/12)} + 1)) \approx 0.0144$). We also study a device-independent protocol that allows for correlations between the sequence of boxes used in the protocol and the SV source bits used to choose the particular box from whose output the randomness is obtained. Assuming the SV-like condition for devices, we show that the honest parties can achieve amplification of the weak source, for the parameter range $0 \leq \varepsilon<0.0132$, against a class of attacks given as a mixture of product box sequences, made of extremal no-signaling boxes, with additional symmetry conditions. Composable security proof against this class of attacks is provided. △ Less

Submitted 13 November, 2018; v1 submitted 24 January, 2016; originally announced January 2016.

Comments: 38 pages, 10 figures

Journal ref: IEEE Transactions on Information Theory, vol. 63, no. 11, pp. 7592-7611, Nov. 2017

Random and free observables saturate the Tsirelson bound for CHSH inequality

Authors: Z. Yin, A. W. Harrow, M. Horodecki, M. Marciniak, A. Rutkowski

Abstract: Maximal violation of the CHSH-Bell inequality is usually said to be a feature of anticommuting observables. In this work we show that even random observables exhibit near-maximal violations of the CHSH-Bell inequality. To do this, we use the tools of free probability theory to analyze the commutators of large random matrices. Along the way, we introduce the notion of "free observables" which can b… ▽ More Maximal violation of the CHSH-Bell inequality is usually said to be a feature of anticommuting observables. In this work we show that even random observables exhibit near-maximal violations of the CHSH-Bell inequality. To do this, we use the tools of free probability theory to analyze the commutators of large random matrices. Along the way, we introduce the notion of "free observables" which can be thought of as infinite-dimensional operators that reproduce the statistics of random matrices as their dimension tends towards infinity. We also study the fine-grained uncertainty of a sequence of free or random observables, and use this to construct a steering inequality with a large violation. △ Less

Submitted 2 March, 2017; v1 submitted 1 December, 2015; originally announced December 2015.

Journal ref: Phys. Rev. A 95, 032101 (2017)

A sufficient set of experimentally implementable thermal operations

Authors: Chris Perry, Piotr Ćwikliński, Janet Anders, Michał Horodecki, Jonathan Oppenheim

Abstract: Recent work using tools from quantum information theory has shown that at the nanoscale where quantum effects become prevalent, there is not one thermodynamical second law but many. Derivations of these laws assume that an experimenter has very precise control of the system and heat bath. Here we show that these multitude of laws can be saturated using two very simple operations: changing the ener… ▽ More Recent work using tools from quantum information theory has shown that at the nanoscale where quantum effects become prevalent, there is not one thermodynamical second law but many. Derivations of these laws assume that an experimenter has very precise control of the system and heat bath. Here we show that these multitude of laws can be saturated using two very simple operations: changing the energy levels of the system and thermalizing over any two system energy levels. Using these two operations, one can distill the optimal amount of work from a system, as well as perform the reverse formation process. Even more surprisingly, using only these two operations and one ancilla qubit in a thermal state, one can transform any state into any other state allowable by the second laws. We thus have the remarkable result that the second laws hold for fine-grained manipulation of system and bath, but can be achieved using very coarse control. This brings the full array of thermal operations into a regime accessible by experiment, and establishes the physical relevance of these second laws. △ Less

Submitted 10 October, 2016; v1 submitted 20 November, 2015; originally announced November 2015.

Comments: 7+28 pages, 25 figures

Journal ref: Phys. Rev. X 8, 041049 (2018)

Linear game non-contextuality and Bell inequalities - a graph-theoretic approach

Authors: Piotr Gnaciński, Monika Rosicka, Ravishankar Ramanathan, Karol Horodecki, Michał Horodecki, Paweł Horodecki, Simone Severini

Abstract: We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary outcomes. We introduce a ``constraint graph" associated to such a game, with the constraints defining the linear game represented by an edge-coloring of the graph. We use the graph-theoretic characterization to relate t… ▽ More We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary outcomes. We introduce a ``constraint graph" associated to such a game, with the constraints defining the linear game represented by an edge-coloring of the graph. We use the graph-theoretic characterization to relate the task of finding equivalent games to the notion of signed graphs and switching equivalence from graph theory. We relate the problem of computing the classical value of single-party anti-correlation XOR games to finding the edge bipartization number of a graph, which is known to be MaxSNP hard, and connect the computation of the classical value of more general XOR-d games to the identification of specific cycles in the graph. We construct an orthogonality graph of the game from the constraint graph and study its Lovász theta number as a general upper bound on the quantum value even in the case of single-party contextual XOR-d games. Linear games possess appealing properties for use in device-independent applications such as randomness of the local correlated outcomes in the optimal quantum strategy. We study the possibility of obtaining quantum algebraic violation of these games, and show that no finite linear game possesses the property of pseudo-telepathy leaving the frequently used chained Bell inequalities as the natural candidates for such applications. We also show this lack of pseudo-telepathy for multi-party XOR-type inequalities involving two-body correlation functions. △ Less

Submitted 17 November, 2015; originally announced November 2015.

Comments: 17 pages. Submitted to the NJP focus issue on Device-Independent QI

Journal ref: New J. Phys. 18, 045020 (2016)

Do black holes create polyamory?

Authors: Andrzej Grudka, Michael J. W. Hall, Michal Horodecki, Ryszard Horodecki, Jonathan Oppenheim, John A. Smolin

Abstract: Of course not, but if one believes that information cannot be destroyed in a theory of quantum gravity, then we run into apparent contradictions with quantum theory when we consider evaporating black holes. Namely that the no-cloning theorem or the principle of entanglement monogamy is violated. Here, we show that neither violation need hold, since, in arguing that black holes lead to cloning or n… ▽ More Of course not, but if one believes that information cannot be destroyed in a theory of quantum gravity, then we run into apparent contradictions with quantum theory when we consider evaporating black holes. Namely that the no-cloning theorem or the principle of entanglement monogamy is violated. Here, we show that neither violation need hold, since, in arguing that black holes lead to cloning or non-monogamy, one needs to assume a tensor product structure between two points in space-time that could instead be viewed as causally connected. In the latter case, one is violating the semi-classical causal structure of space, which is a strictly weaker implication than cloning or non-monogamy. We show that the lack of monogamy that can emerge in evaporating space times is one that is allowed in quantum mechanics, and is very naturally related to a lack of monogamy of correlations of outputs of measurements performed at subsequent instances of time of a single system. A particular example of this is the Horowitz-Maldacena proposal, and we argue that it needn't lead to cloning or violations of entanglement monogamy. For measurements on systems which appear to be leaving a black hole, we introduce the notion of the temporal product, and argue that it is just as natural a choice for measurements as the tensor product. For black holes, the tensor and temporal products have the same measurement statistics, but result in different type of non-monogamy of correlations, with the former being forbidden in quantum theory while the latter is allowed. In the case of the AMPS firewall experiment we find that the entanglement structure is modified, and one must have entanglement between the infalling Hawking partners and early time outgoing Hawking radiation which surprisingly tame violation of entanglement monogamy. △ Less

Submitted 27 February, 2017; v1 submitted 23 June, 2015; originally announced June 2015.

Comments: 20 pages, comments welcome, grants added to acknowledgements

Journal ref: J. High Energ. Phys. 45 (2018)

The Conditional Uncertainty Principle

Authors: Gilad Gour, Andrzej Grudka, Michał Horodecki, Waldemar Kłobus, Justyna Łodyga, Varun Narasimhachar

Abstract: We develop a general operational framework that formalizes the concept of conditional uncertainty in a measure-independent fashion. Our formalism is built upon a mathematical relation which we call conditional majorization. We define conditional majorization and, for the case of classical memory, we provide its thorough characterization in terms of monotones, i.e., functions that preserve the part… ▽ More We develop a general operational framework that formalizes the concept of conditional uncertainty in a measure-independent fashion. Our formalism is built upon a mathematical relation which we call conditional majorization. We define conditional majorization and, for the case of classical memory, we provide its thorough characterization in terms of monotones, i.e., functions that preserve the partial order under conditional majorization. We demonstrate the application of this framework by deriving two types of memory-assisted uncertainty relations: (1) a monotone-based conditional uncertainty relation, (2) a universal measure-independent conditional uncertainty relation, both of which set a lower bound on the minimal uncertainty that Bob has about Alice's pair of incompatible measurements, conditioned on arbitrary measurement that Bob makes on his own system. We next compare the obtained relations with their existing entropic counterparts and find that they are at least independent. △ Less

Submitted 13 March, 2018; v1 submitted 23 June, 2015; originally announced June 2015.

Comments: 5 pages main + 10 pages appendix. Changes since v1: new results demonstrating independence of our results from existing conditional uncertainty relations; significant revision in notation and presentation; expanded bibliography

Journal ref: Phys. Rev. A 97, 042130 (2018)

Creation of superposition of unknown quantum states

Authors: Michał Oszmaniec, Andrzej Grudka, Michał Horodecki, Antoni Wójcik

Abstract: The superposition principle is one of the landmarks of quantum mechanics. The importance of quantum superpositions provokes questions about the limitations that quantum mechanics itself imposes on the possibility of their generation. In this work we systematically study the problem of creation of superpositions of unknown quantum states. First, we prove a no-go theorem that forbids the existence o… ▽ More The superposition principle is one of the landmarks of quantum mechanics. The importance of quantum superpositions provokes questions about the limitations that quantum mechanics itself imposes on the possibility of their generation. In this work we systematically study the problem of creation of superpositions of unknown quantum states. First, we prove a no-go theorem that forbids the existence of a universal probabilistic quantum protocol producing a superposition of two unknown quantum states. Secondly, we provide an explicit probabilistic protocol generating a superposition of two unknown states, each having a fixed overlap with the known referential pure state. The protocol is proven to be unique and optimal. Moreover, it can be implemented on arbitrary Hilbert spaces. In the context of quantum optics it can be used to efficiently generate highly nonclassical or nongaussian states. △ Less

Submitted 18 February, 2016; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: 4.5 pages + 4.5 pages of Appandix, 4 figures, updated discussion on the Alvarez-Rodriguez et. al. article arxiv:1411.4534, updated references, accepted for publication in PRL

Journal ref: Phys. Rev. Lett. 116, 110403 (2016)

Randomness amplification against no-signaling adversaries using two devices

Authors: Ravishankar Ramanathan, Fernando G. S. L. Brandão, Karol Horodecki, Michał Horodecki, Paweł Horodecki, Hanna Wojewódka

Abstract: Recently, a physically realistic protocol amplifying the randomness of Santha-Vazirani sources producing cryptographically secure random bits was proposed; however for reasons of practical relevance, the crucial question remained open whether this can be accomplished under the minimal conditions necessary for the task. Namely, is it possible to achieve randomness amplification using only two no-si… ▽ More Recently, a physically realistic protocol amplifying the randomness of Santha-Vazirani sources producing cryptographically secure random bits was proposed; however for reasons of practical relevance, the crucial question remained open whether this can be accomplished under the minimal conditions necessary for the task. Namely, is it possible to achieve randomness amplification using only two no-signaling components and in a situation where the violation of a Bell inequality only guarantees that some outcomes of the device for specific inputs exhibit randomness? Here, we solve this question and present a device-independent protocol for randomness amplification of Santha-Vazirani sources using a device consisting of two non-signaling components. We show that the protocol can amplify any such source that is not fully deterministic into a fully random source while tolerating a constant noise rate and prove the composable security of the protocol against general no-signaling adversaries. Our main innovation is the proof that even the partial randomness certified by the two-party Bell test (a single input-output pair ($\textbf{u}^*, \textbf{x}^*$) for which the conditional probability $P(\textbf{x}^* | \textbf{u}^*)$ is bounded away from $1$ for all no-signaling strategies that optimally violate the Bell inequality) can be used for amplification. We introduce the methodology of a partial tomographic procedure on the empirical statistics obtained in the Bell test that ensures that the outputs constitute a linear min-entropy source of randomness. As a technical novelty that may be of independent interest, we prove that the Santha-Vazirani source satisfies an exponential concentration property given by a recently discovered generalized Chernoff bound. △ Less

Submitted 1 December, 2016; v1 submitted 23 April, 2015; originally announced April 2015.

Comments: 15 pages, 3 figures

Journal ref: Phys. Rev. Lett. 117, 230501 (2016)

Bound on Bell Inequalities by Fraction of Determinism and Reverse Triangle Inequality

Authors: P. Joshi, K. Horodecki, M. Horodecki, P. Horodecki, R. Horodecki, Ben Li, S. J. Szarek, T. Szarek

Abstract: It is an established fact that entanglement is a resource. Sharing an entangled state leads to non-local correlations and to violations of Bell inequalities. Such non-local correlations illustrate the advantage of quantum resources over classical resources. Here, we study quantitatively Bell inequalities with $2\times n$ inputs. As found in [N. Gisin et al., Int. J. Q. Inf. 5, 525 (2007)] quantum… ▽ More It is an established fact that entanglement is a resource. Sharing an entangled state leads to non-local correlations and to violations of Bell inequalities. Such non-local correlations illustrate the advantage of quantum resources over classical resources. Here, we study quantitatively Bell inequalities with $2\times n$ inputs. As found in [N. Gisin et al., Int. J. Q. Inf. 5, 525 (2007)] quantum mechanical correlations cannot reach the algebraic bound for such inequalities. In this paper, we uncover the heart of this effect which we call the {\it fraction of determinism}. We show that any quantum statistics with two parties and $2 \times n$ inputs exhibits nonzero fraction of determinism, and we supply a quantitative bound for it. We then apply it to provide an explicit {\it universal upper bound} for Bell inequalities with $2\times n$ inputs. As our main mathematical tool we introduce and prove a {\it reverse triangle inequality}, stating in a quantitative way that if some states are far away from a given state, then their mixture is also. The inequality is crucial in deriving the lower bound for the fraction of determinism, but is also of interest on its own. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 11 pages including appendices, 3 figures, Comments welcome

Journal ref: Phys. Rev. A 92, 032329 (2015)

Quantum communication complexity advantage implies violation of a Bell inequality

Authors: Harry Buhrman, Lukasz Czekaj, Andrzej Grudka, Michal Horodecki, Pawel Horodecki, Marcin Markiewicz, Florian Speelman, Sergii Strelchuk

Abstract: We obtain a general connection between a quantum advantage in communication complexity and non-locality. We show that given any protocol offering a (sufficiently large) quantum advantage in communication complexity, there exists a way of obtaining measurement statistics which violate some Bell inequality. Our main tool is port-based teleportation. If the gap between quantum and classical communica… ▽ More We obtain a general connection between a quantum advantage in communication complexity and non-locality. We show that given any protocol offering a (sufficiently large) quantum advantage in communication complexity, there exists a way of obtaining measurement statistics which violate some Bell inequality. Our main tool is port-based teleportation. If the gap between quantum and classical communication complexity can grow arbitrarily large, the ratio of the quantum value to the classical value of the Bell quantity becomes unbounded with the increase in the number of inputs and outputs. △ Less

Submitted 2 July, 2015; v1 submitted 3 February, 2015; originally announced February 2015.

Comments: main text did not change. Modified the acknowledgements section

Journal ref: PNAS March 22, 2016 vol. 113 no. 12 3191-3196