BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Karol Horodecki

Karol Horodecki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phInformation Theorymath.ITmath-phmath.MPq-fin.TR

Catalog footprint

What is connected

30works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

30 published item(s)

preprint2023arXiv

Fundamental limitations on the device-independent quantum conference key agreement

We provide several general upper bounds on the rate of a key secure against a quantum adversary in the device-independent conference key agreement (DI-CKA) scenario. They include bounds by reduced entanglement measures and those based on multipartite secrecy monotones such as a multipartite squashed entanglement-based measure, which we refer to as reduced c-squashed entanglement. We compare the latter bound with the known lower bound for the protocol of conference key distillation based on the parity Clauser-Horne-Shimony-Holt game. We also show that the gap between the DI-CKA rate and the device-dependent rate is inherited from the bipartite gap between device-independent and device-dependent key rates, giving examples that exhibit the strict gap.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Upper bounds on the leakage of private data and operational approach to markovianity

We quantify the consequences of a private key leakage and private randomness generated during quantum key distribution. We provide simple lower bounds on the one-way distillable key after the leakage has been detected. We also show that the distributed private randomness does not drop by more than twice the number of qubits of the traced-out system. We further focus on irreducible private states, showing that their two-way distillable key is non-lockable. We then strengthen this result by referring to the idea of recovery maps. We further consider the action of special case of side-channels on some of the private states. Finally, we connect the topic of (non)markovian dynamics with that of hacking. In particular, we show that an invertible map is non-CP-divisible if and only if there exists a state whose the key witnessed by a particular privacy witness increases in time. This complements the recent result of J. Kolodyński et al. [Phys. Rev. A 101, 020303(R) (2020)] where the log-negativity was connected with the (non)markovianity of the dynamics.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Hybrid quantum network design against unauthorized secret-key generation, and its memory cost

A significant number of servers that constitute the Internet are to provide private data via private communication channels to mutually anonymous registered users. Such are the servers of banks, hospitals that provide cloud storage and many others. Replacing communication channels by maximally entangled states is a promising idea for the quantum-secured Internet (QI). While it is an important idea for large distances secure communication, for the case of the mentioned class of servers pure entanglement based solution is not only unnecessary but also opens a threat. A crack stimulating a node to generate secure connections via entanglement swapping between two hackers can cause uncontrolled consumption of resources. Turning into positive a recently proven no-go result by S. Bäuml et al. [15], we propose a natural countermeasure against this threat. The solution bases on connections between hub-nodes and end-users realized with states that contain secure key but do not allow for swapping of this key.We then focus on the study of the quantum memory cost of such a scheme and prove a fundamental lower bound on its memory overhead. In particular, we show that to avoid the possibility of entanglement swapping, it is necessary to store at least twice as much memory than it is the case in standard quantum-repeater-based network design. For schemes employing either states with positive partial transposition that approximates certain privates states or private states hardly distinguishable from their attacked versions, we derive much tighter lower bounds on required memory. Our considerations yield upper bounds on a two-way repeater rate for states with positive partial transposition (PPT), which approximates strictly irreducible private states. As a byproduct, we provide a lower bound on the trace distance between PPT and private states, shown previously only for private bits.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Private Weakly-Random Sequences from Human Heart Rate for Quantum Amplification

We investigate whether the heart rate can be treated as a semi-random source with the aim of amplification by quantum devices. We use a semi-random source model called $ε$-Santha-Vazirani source, which can be amplified via quantum protocols to obtain fully private random sequence. We analyze time intervals between consecutive heartbeats obtained from Holter electrocardiogram (ECG) recordings of people of different sex and age. We propose several transformations of the original time series into binary sequences. We have performed different statistical randomness tests and estimated quality parameters. We find that the heart can be treated as good enough, and private by its nature, source of randomness, that every human possesses. As such, in principle it can be used as input to quantum device-independent randomness amplification protocols. The properly interpreted $ε$ parameter can potentially serve as a new characteristic of the human's heart from the perspective of medicine.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Upper bounds on device-independent quantum key distribution rates in static and dynamic scenarios

In this work, we develop upper bounds for key rates for device-independent quantum key distribution (DI-QKD) protocols and devices. We study the reduced cc-squashed entanglement and show that it is a convex functional. As a result, we show that the convex hull of the currently known bounds is a tighter upper bound on the device-independent key rates of standard CHSH-based protocol. We further provide tighter bounds for DI-QKD key rates achievable by any protocol applied to the CHSH-based device. This bound is based on reduced relative entropy of entanglement optimized over decompositions into local and non-local parts. In the dynamical scenario of quantum channels, we obtain upper bounds for device-independent private capacity for the CHSH based protocols. We show that the device-independent private capacity for the CHSH based protocols on depolarizing and erasure channels is limited by the secret key capacity of dephasing channels.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Gadget structures in proofs of the Kochen-Specker theorem

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Information backflow may not indicate quantum memory

We analyze recent approaches to quantum Markovianity and how they relate to the proper definition of quantum memory. We point out that the well-known criterion of information backflow may not correctly report character of the memory falsely signaling its quantumness. Therefore, as a complement to the well-known criteria, we propose several concepts of elementary dynamical maps. Maps of this type do not increase distinguishability of states which are indistinguishable by von Neumann measurements in a given basis. Those notions and convexity allows us to define general classes of processes without quantum memory in a weak and strong sense. Finally, we provide a practical characterization of the most intuitive class in terms of the new concept of witness of quantum information backflow.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Limitations for private randomness repeaters

Cryptographic protocols are often based on the two main resources: private randomness and private key. In this paper, we develop a relationship between these two resources. First, we show that any state containing perfect, directly accessible, private key (a private state) is a particular case of the state containing perfect, directly accessible, private randomness (an independent state). We then demonstrate a fundamental limitation on the possibility of transferring the privacy of random bits in quantum networks with an intermediate repeater station. More precisely, we provide an upper bound on the rate of repeated randomness in this scenario, similar to the one derived for private key repeaters. This bound holds for states with positive partial transposition. We further demonstrate the power of this upper bound by showing a gap between the localisable and the repeated private randomness for separable Werner states. In the case of restricted class of operations, we provide also a bound on repeated randomness which holds for arbitrary states.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Thermal Operations in general are not memoryless

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Semi-Device Independent Quantum Money

The seminal idea of quantum money not forgeable due to laws of Quantum Mechanics proposed by Stephen Wiesner, has laid foundations for the Quantum Information Theory in early '70s. Recently, several other schemes for quantum currencies have been proposed, all however relying on the assumption that the mint does not cooperate with the counterfeiter. Drawing inspirations from the semi-device independent quantum key distribution protocol, we introduce the first scheme of quantum money with this assumption partially relaxed, along with the proof of its unforgeability. Significance of this protocol is supported by an impossibility result, which we prove, stating that there is no both fully device independent and secure money scheme. Finally, we formulate a quantum analogue of the Oresme-Copernicus-Gresham's law of economy.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Randomness amplification against no-signaling adversaries using two devices

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Axiomatic approach to contextuality and nonlocality

We present a unified axiomatic approach to contextuality and non-locality based on the fact that both are resource theories. In those theories the main objects are consistent boxes, which can be transformed by certain operations to achieve certain tasks. The amount of resource is quantified by appropriate measures of the resource. Following recent paper [J.I. de Vicente, J. Phys. A: Math. Theor. {\bf 47}, 424017 (2014)], and recent development of abstract approach to resource theories, such as entanglement theory, we propose axioms and welcome properties for operations and measures of resources. As one of the axioms of the measure we propose the asymptotic continuity: the measure should not differ on boxes that are close to each other by more than the distance with a factor depending logarithmically on the dimension of the boxes. We prove that relative entropy of contextuality is asymptotically continuous. Considering another concept from entanglement theory---the convex roof of a measure---we prove that for some non-local and contextual polytopes, the relative entropy of a resource is upper bounded up to a constant factor by the cost of the resource. Finally, we prove that providing a measure $X$ of resource does not increase under allowed class of operations, such as e.g. wirings, the maximal distillable resource which can be obtained by these operations is bounded from above by the value of $X$ up to a constant factor. We show explicitly which axioms are used in the proofs of presented results, so that analogous results may remain true in other resource theories with analogous axioms. We also make use of the known distillation protocol of bipartite nonlocality to show how contextual resources can be distilled.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Bounds on quantum nonlocality via partial transposition

We explore the link between two concepts: the level of violation of a Bell inequality by a quantum state and discrimination between two states by means of restricted classes of operations, such as local operations and classical communication (LOCC) and separable ones. For any bipartite Bell inequality, we show that its value on a given quantum state cannot exceed the classical bound by more than the maximal quantum violation shrunk by a factor related to distinguishability of this state from the separable set by means of some restricted class of operations. We then consider the general scenarios where the parties are allowed to perform a local pre-processing of many copies of the state before the Bell test (asymptotic and hidden-nonlocality scenarios). We define the asymptotic relative entropy of nonlocality and, for PPT states, we bound this quantity by the relative entropy of entanglement of the partially transposed state. The bounds are strong enough to limit the use of certain states containing private key in the device-independent scenario.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Limitations on Quantum Key Repeaters

A major application of quantum communication is the distribution of entangled particles for use in quantum key distribution (QKD). Due to noise in the communication line, QKD is in practice limited to a distance of a few hundred kilometres, and can only be extended to longer distances by use of a quantum repeater, a device which performs entanglement distillation and quantum teleportation. The existence of noisy entangled states that are undistillable but nevertheless useful for QKD raises the question of the feasibility of a quantum key repeater, which would work beyond the limits of entanglement distillation, hence possibly tolerating higher noise levels than existing protocols. Here we exhibit fundamental limits on such a device in the form of bounds on the rate at which it may extract secure key. As a consequence, we give examples of states suitable for QKD but unsuitable for the most general quantum key repeater protocol.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the non-locality of tripartite non-signaling boxes emerging from wirings

It has been recently shown, that some of the tripartite boxes admitting bilocal decomposition, lead to non-locality under wiring operation applied to two of the subsystems [R. Gallego et al. Physical Review Letters 109, 070401 (2012)]. In the following, we study this phenomenon quantitatively. Basing on the known classes of boxes closed under wirings, we introduced multipartite monotones which are counterparts of bipartite ones - the non-locality cost and robustness of non-locality. We then provide analytical lower bounds on both the monotones in terms of the Maximal Non-locality which can be obtained by Wirings (MWN). We prove also upper bounds for the MWN of a given box, based on the weight of boxes signaling in a particular direction, that appear in its bilocal decomposition. We study different classes of partially local boxes and find MWN for each class, using Linear Programming. We identify also the wirings which lead to MWN and exhibit that some of them can serve as a witness of certain classes. We conclude with example of partially local boxes being analogue of quantum states that allow to distribute entanglement in separable manner.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Robust Device-Independent Randomness Amplification with Few Devices

Randomness amplification is the task of transforming a source of somewhat random bits into a source of fully random bits. Although it is impossible to amplify randomness from a single source by classical means, the situation is different considering non-local correlations allowed by quantum mechanics. Here we give the first device-independent protocol for randomness amplification using a constant number of devices. The protocol involves four devices, can amplify any non-deterministic source into a fully random source, tolerates a constant rate of error, and has its correctness based solely on the assumption of no-signaling between the devices. In contrast all previous protocols either required an unbounded number of devices, or could only amplify sources sufficiently close to fully random.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On distinguishing of non-signaling boxes via completely locality preserving operations

We consider discriminating between bipartite boxes with 2 binary inputs and 2 binary outputs (2x2) using the class of completely locality preserving operations i.e. those, which transform boxes with local hidden variable model (LHVM) into boxes with LHVM, and have this property even when tensored with identity operation. Following approach developed in entanglement theory we derive linear program which gives an upper bound on the probability of success of discrimination between different isotropic boxes. In particular we provide an upper bound on the probability of success of discrimination between isotropic boxes with the same mixing parameter. As a counterpart of entanglement monotone we use the non-locality cost. Discrimination is restricted by the fact that non-locality cost does not increase under considered class of operations. We also show that with help of allowed class of operations one can distinguish perfectly any two extremal boxes in 2x2 case and any local extremal box from any other extremal box in case of two inputs and two outputs of arbitrary cardinalities.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

When Are Popescu-Rohrlich Boxes and Random Access Codes Equivalent?

We study a problem of interconvertibility of two supra-quantum resources: one is so called PR-box, which violates CHSH inequality up to maximal algebraic bound, and second is so called random access code (RAC). The latter is a functionality that enables Bob (receiver) to choose one of two bits of Alice. It has been known, that PR-box supplemented with one bit of communication can be used to simulate RAC. We ask the converse question: to what extent RAC can simulate PR-box? To this end we introduce racbox: a box such that supplemented with one bit of communication offers RAC. As said, PR-box can simulate racbox. The question we raise, is whether any racbox can simulate PR-box. We show that a non-signaling racbox indeed can simulate PR-box, hence those two resources are equivalent. We also provide an example of signalling racbox which cannot simulate PR-box. We give a resource inequality between racbox es and PR-boxes, and show that it is saturated.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Bound entangled states with extremal properties

Following recent work of Beigi and Shor, we investigate PPT states that are "heavily entangled." We first exploit volumetric methods to show that in a randomly chosen direction, there are PPT states whose distance in trace norm from separable states is (asymptotically) at least 1/4. We then provide explicit examples of PPT states which are nearly as far from separable ones as possible. To obtain a distance of 2-ε from the separable states, we need a dimension of 2^{poly(\log(1/ε))}, as opposed to 2^{poly(1/ε)} given by the construction of Beigi and Shor. We do so by exploiting the so called {\it private states}, introduced earlier in the context of quantum cryptography. We also provide a lower bound for the distance between private states and PPT states and investigate the distance between pure states and the set of PPT states.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Free randomness amplification using bipartite chain correlations

A direct analysis of the protocol of randomness amplification using Bell inequality violation is performed in terms of the convex combination of no-signaling boxes required to simulate quantum violation of the inequality. The probability distributions of bits generated by a Santha-Vazirani source are shown to be mixtures of permutations of Bernoulli distributions with parameter defined by the source. An intuitive proof is provided for the range of partial randomness from which perfect randomness can be extracted using quantum correlations violating the chain inequalities. Exact values are derived in the asymptotic limit of a large number of measurement settings.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Robust Device Independent Randomness Amplification

In randomness amplification a slightly random source is used to produce an improved random source. Perhaps surprisingly, a single source of randomness cannot be amplified at all classically. However, the situation is different if one considers correlations allowed by quantum mechanics as an extra resource. Here we present a protocol that amplifies Santha-Vazirani sources arbitrarily close to deterministic into fully random sources. The protocol is device independent, depending only on the observed statistics of the devices and on the validity of the no-signaling principle between different devices. It improves previously-known protocols in two respects. First the protocol is tolerant to noise so that even noisy quantum-mechanical systems give rise to good devices for the protocol. Second it is simpler, being based on the violation of a four-party Bell inequality and on the XOR as a hash function. As a technical tool we prove a new de Finetti theorem where the subsystems are selected from a Santha-Vazirani source.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quantum privacy witness

While it is usually known that the mean value of a single observable is enough to detect entanglement or its distillability, the counterpart of such an approach in the case of quatum privacy has been missing. Here we develop the concept of a privacy witness, i.e. a single observable that may detect presence of the secure key even in the case of bound entanglement. Then we develop the notion of secret key estimation based on few observables and discuss the witness decomposition into local measurements. The surprising property of the witness is that with the help of a low number of product mesurements involved it may still report the key values that are {\it strictly above} distillable entanglement of the state. For an exemplary four-qubit state studied in a recent experiment [K. Dobek {\em et al.}, Phys. Rev. Lett. {\bf 106}, 030501 (2011)] this means 6 Pauli operator product measurements versus 81 needed to carry out the complete quantum state tomography. The present approach may be viewed as a paradigm for the general program of experimentally friendly detection and estimation of task-dedicated quantum entanglement.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Contextuality offers security

The discovery of quantum key distribution by Bennett and Brassard (BB84) bases on the fundamental quantum feature: incompatibility of measurements of quantum non-commuting observables. In 1991 Ekert showed that cryptographic key can be generated at a distance with help of entangled (correlated) quantum particles. Recently Barrett, Hardy and Kent showed that the non-locality used by Ekert is itself a good resource of cryptographic key even beyond quantum mechanics. Their result paved the way to new generation of quantum cryptographic protocols - secure even if the devices are built by the very eavesdropper. However, there is a question, which is fundamental from both practical and philosophical point of view: does Nature offer security on operational level based on the original concept behind quantum cryptography - that information gain about one bservables must cause disturbance to another, incompatible one? Here we resolve this problem by using in place of non-locality another striking feature of quantum world - contextuality. It is a strong version of incompatibility manifested in the famous Kochen-Specker paradox. The crucial concept is the use of a new class of families of bipartite probability distributions which locally exhibit the Kochen-Specker paradox conditions and, in addition, exhibit perfect correlations. We show that if two persons share systems described by such a family then they can extract secure key. This is the first operational protocol that directly implements the fundamental feature of Nature: the information gain vs. disturbance trade-off. At the same time it provides natural device-independent cryptographic scheme within quantum mechanics suitable for current technology.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Squashed entanglement for multipartite states and entanglement measures based on the mixed convex roof

New measures of multipartite entanglement are constructed based on two definitions of multipartite information and different methods of optimizing over extensions of the states. One is a generalization of the squashed entanglement where one takes the mutual information of parties conditioned on the state's extension and takes the infimum over such extensions. Additivity of the multipartite squashed entanglement is proved for both versions of the multipartite information which turn out to be related. The second one is based on taking classical extensions. This scheme is generalized, which enables to construct measures of entanglement based on the {\it mixed convex roof} of a quantity, which in contrast to the standard convex roof method involves optimization over all decompositions of a density matrix rather than just the decompositions into pure states. As one of the possible applications of these results we prove that any multipartite monotone is an upper bound on the amount of multipartite distillable key. The findings are finally related to analogous results in classical key agreement.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

General paradigm for distilling classical key from quantum states

We develop a formalism for distilling a classical key from a quantum state in a systematic way, expanding on our previous work on secure key from bound entanglement [K. Horodecki et. al., Phys. Rev. Lett. 94 (2005)]. More detailed proofs, discussion and examples are provided of the main results. Namely, we demonstrate that all quantum cryptographic protocols can be recast in a way which looks like entanglement theory, with the only change being that instead of distilling EPR pairs, the parties distill private states. The form of these general private states are given, and we show that there are a number of useful ways of expressing them. Some of the private states can be approximated by certain states which are bound entangled. Thus distillable entanglement is not a requirement for a private key. We find that such bound entangled states are useful for a cryptographic primitive we call a controlled private quantum channel. We also find a general class of states which have negative partial transpose (are NPT), but which appear to be bound entangled. The relative entropy distance is shown to be an upper bound on the rate of key. This allows us to compute the exact value of distillable key for a certain class of private states.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Quantum entanglement

All our former experience with application of quantum theory seems to say: {\it what is predicted by quantum formalism must occur in laboratory}. But the essence of quantum formalism - entanglement, recognized by Einstein, Podolsky, Rosen and Schrödinger - waited over 70 years to enter to laboratories as a new resource as real as energy. This holistic property of compound quantum systems, which involves nonclassical correlations between subsystems, is a potential for many quantum processes, including ``canonical'' ones: quantum cryptography, quantum teleportation and dense coding. However, it appeared that this new resource is very complex and difficult to detect. Being usually fragile to environment, it is robust against conceptual and mathematical tools, the task of which is to decipher its rich structure. This article reviews basic aspects of entanglement including its characterization, detection, distillation and quantifying. In particular, the authors discuss various manifestations of entanglement via Bell inequalities, entropic inequalities, entanglement witnesses, quantum cryptography and point out some interrelations. They also discuss a basic role of entanglement in quantum communication within distant labs paradigm and stress some peculiarities such as irreversibility of entanglement manipulations including its extremal form - bound entanglement phenomenon. A basic role of entanglement witnesses in detection of entanglement is emphasized.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Quantum key distribution based on private states: unconditional security over untrusted channels with zero quantum capacity

We prove unconditional security for a quantum key distribution (QKD) protocol based on distilling pbits (twisted ebits) [quant-ph/0309110] from an arbitrary untrusted state that is claimed to contain distillable key. Our main result is that we can verify security using only public communication -- via parameter estimation of the given untrusted state. The technique applies even to bound entangled states, thus extending QKD to the regime where the available quantum channel has zero quantum capacity. We also show how to convert our purification-based QKD schemes to prepare-measure schemes.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Bounds on localisable information via semidefinite programming

We investigate so-called localisable information of bipartite states and a parallel notion of information deficit. Localisable information is defined as the amount of information that can be concentrated by means of classical communication and local operations where only maximally mixed states can be added for free. The information deficit is defined as difference between total information contents of the state and localisable information. We consider a larger class of operations: the so called PPT operations, which in addition preserve maximally mixed state (PPT-PMM operations). We formulate the related optimization problem as sedmidefnite program with suitable constraints. We then provide bound for fidelity of transition of a given state into product pure state on Hilbert space of dimension d. This allows to obtain general upper bound for localisable information (and also for information deficit). We calculated the bounds exactly for Werner states and isotropic states in any dimension. Surprisingly it turns out that related bounds for information deficit are equal to relative entropy of entanglement (in the case of Werner states - regularized one). We compare the upper bounds with lower bounds based on simple protocol of localisation of information.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Local indistinguishability and LOCC monotones

We provide a method for checking indistinguishability of a set of multipartite orthogonal states by local operations and classical communication (LOCC). It bases on the principle of nonincreasing of entanglement under LOCC. This method originates from the one introduced by Ghosh \emph{et al.} (Phys. Rev. Lett. \textbf{87}, 5807 (2001) (quant-ph/0106148)), though we deal with {\emph pure} states. In the bipartite case, our method is operational, although we do not know whether it can always detect local indistinguishability. We apply our method to show that an arbitrary complete multipartite orthogonal basis is indistinguishable if it contains at least one entangled state. We also show that probabilistic distinguishing is possible for full basis if and only if all vectors are product. We employ our method to prove local indistinguishability in a very interesting example akin to "nonlocality without entanglement".

0 citations0 reviewsNo code linkedOpen access