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

Jan-Åke Larsson

Jan-Åke Larsson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phCryptography and Securitymath-phmath.MPmath.PRhep-phInformation Theorymath.ITphysics.data-anphysics.hist-phphysics.optics

Catalog footprint

What is connected

41works
11topics
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

41 published item(s)

preprint2023arXiv

Kochen-Specker Contextuality

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here compatible measurements are those that can be implemented simultaneously or, more generally, those that are jointly measurable. This conflict is generically called quantum contextuality. In this review, an introduction to this subject and its current status is presented. Several proofs of the Kochen-Specker theorem and different notions of contextuality are reviewed. How to experimentally test some of these notions is explained and connections between contextuality and nonlocality or graph theory are discussed. Finally, some applications of contextuality in quantum information processing are reviewed.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Requirements for a loophole-free photonic Bell test using imperfect setting generators

Experimental violations of Bell inequalities are in general vulnerable to so-called "loopholes." In this work, we analyse the characteristics of a loophole-free Bell test with photons, closing simultaneously the locality, freedom-of-choice, fair-sampling (i.e. detection), coincidence-time, and memory loopholes. We pay special attention to the effect of excess predictability in the setting choices due to non-ideal random number generators. We discuss necessary adaptations of the CH/Eberhard inequality when using such imperfect devices and -- using Hoeffding's inequality and Doob's optional stopping theorem -- the statistical analysis in such Bell tests.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Thermodynamical cost of some interpretations of quantum theory

The interpretation of quantum theory is one of the longest-standing debates in physics. Type I interpretations see quantum probabilities as determined by intrinsic properties of the observed system. Type II see them as relational experiences between an observer and the system. It is usually believed that a decision between these two options cannot be made simply on purely physical grounds but requires an act of metaphysical judgment. Here we show that, under some assumptions, the problem is decidable using thermodynamics. We prove that type I interpretations are incompatible with the following assumptions: (i) The choice of which measurement is performed can be made randomly and independently of the system under observation, (ii) the system has limited memory, and (iii) Landauer's erasure principle holds.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Attacks on quantum key distribution protocols that employ non-ITS authentication

We demonstrate how adversaries with unbounded computing resources can break Quantum Key Distribution (QKD) protocols which employ a particular message authentication code suggested previously. This authentication code, featuring low key consumption, is not Information-Theoretically Secure (ITS) since for each message the eavesdropper has intercepted she is able to send a different message from a set of messages that she can calculate by finding collisions of a cryptographic hash function. However, when this authentication code was introduced it was shown to prevent straightforward Man-In-The-Middle (MITM) attacks against QKD protocols. In this paper, we prove that the set of messages that collide with any given message under this authentication code contains with high probability a message that has small Hamming distance to any other given message. Based on this fact we present extended MITM attacks against different versions of BB84 QKD protocols using the addressed authentication code; for three protocols we describe every single action taken by the adversary. For all protocols the adversary can obtain complete knowledge of the key, and for most protocols her success probability in doing so approaches unity. Since the attacks work against all authentication methods which allow to calculate colliding messages, the underlying building blocks of the presented attacks expose the potential pitfalls arising as a consequence of non-ITS authentication in QKD-postprocessing. We propose countermeasures, increasing the eavesdroppers demand for computational power, and also prove necessary and sufficient conditions for upgrading the discussed authentication code to the ITS level.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Contextuality in Three Types of Quantum-Mechanical Systems

We present a formal theory of contextuality for a set of random variables grouped into different subsets (contexts) corresponding to different, mutually incompatible conditions. Within each context the random variables are jointly distributed, but across different contexts they are stochastically unrelated. The theory of contextuality is based on the analysis of the extent to which some of these random variables can be viewed as preserving their identity across different contexts when one considers all possible joint distributions imposed on the entire set of the random variables. We illustrate the theory on three systems of traditional interest in quantum physics (and also in non-physical, e.g., behavioral studies). These are systems of the Klyachko-Can-Binicioglu-Shumovsky-type, Einstein-Podolsky-Rosen-Bell-type, and Suppes-Zanotti-Leggett-Garg-type. Listed in this order, each of them is formally a special case of the previous one. For each of them we derive necessary and sufficient conditions for contextuality while allowing for experimental errors and contextual biases or signaling. Based on the same principles that underly these derivations we also propose a measure for the degree of contextuality and compute it for the three systems in question.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Efficient classical simulation of the Deutsch-Jozsa algorithm

In 1985, David Deutsch challenged the Church-Turing thesis by stating that his quantum model of computation "could, in principle, be built and would have many remarkable properties not reproducible by any Turing machine". While this is thought to be true in general, there is usually no way of knowing that the corresponding classical algorithms are the best possible solutions. Here we provide an efficient classical simulation of the Deutsch-Jozsa algorithm, which was one of the first examples of quantum computational speed-up. Our conclusion is that the Deutsch-Jozsa quantum algorithm owes its speed-up to resources that are not necessarily quantum-mechanical, and when compared with the classical simulation offers no speed-up at all.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Necessary and Sufficient Conditions for Extended Noncontextuality in a Broad Class of Quantum Mechanical Systems

The notion of (non)contextuality pertains to sets of properties measured one subset (context) at a time. We extend this notion to include so-called inconsistently connected systems, in which the measurements of a given property in different contexts may have different distributions, due to contextual biases in experimental design or physical interactions (signaling): a system of measurements has a maximally noncontextual description if they can be imposed a joint distribution on in which the measurements of any one property in different contexts are equal to each other with the maximal probability allowed by their different distributions. We derive necessary and sufficient conditions for the existence of such a description in a broad class of systems including Klyachko-Can-Binicioğlu-Shumvosky-type (KCBS), EPR-Bell-type, and Leggett-Garg-type systems. Because these conditions allow for inconsistent connectedness, they are applicable to real experiments. We illustrate this by analyzing an experiment by Lapkiewicz and colleagues aimed at testing contextuality in a KCBS-type system.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Postselection-Loophole-Free Bell Test Over an Installed Optical Fiber Network

Device-independent (DI) quantum communication will require a loophole-free violation of Bell inequalities. In typical scenarios where line-of-sight between the communicating parties is not available, it is convenient to use energy-time entangled photons due to intrinsic robustness while propagating over optical fibers. Here we show an energy-time Clauser-Horne-Shimony-Holt Bell inequality violation with two parties separated by 3.7 km over the deployed optical fiber network belonging to the University of Concepción in Chile. Remarkably, this is the first Bell violation with spatially separated parties that is free of the post-selection loophole, which affected all previous in-field long-distance energy-time experiments. Our work takes a further step towards a fiber-based loophole-free Bell test, which is highly desired for secure quantum communication due to the widespread existing telecommunication infrastructure.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Significant-loophole-free test of Bell's theorem with entangled photons

Local realism is the worldview in which physical properties of objects exist independently of measurement and where physical influences cannot travel faster than the speed of light. Bell's theorem states that this worldview is incompatible with the predictions of quantum mechanics, as is expressed in Bell's inequalities. Previous experiments convincingly supported the quantum predictions. Yet, every experiment requires assumptions that provide loopholes for a local realist explanation. Here we report a Bell test that closes the most significant of these loopholes simultaneously. Using a well-optimized source of entangled photons, rapid setting generation, and highly efficient superconducting detectors, we observe a violation of a Bell inequality with high statistical significance. The purely statistical probability of our results to occur under local realism does not exceed $3.74 \times 10^{-31}$, corresponding to an 11.5 standard deviation effect.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Bell violation with entangled photons, free of the coincidence-time loophole

In a local realist world view, physical properties are defined prior to and independent of measurement, and no physical influence can propagate faster than the speed of light. Proper experimental violation of a Bell inequality would show that the world cannot be described within local realism. Such experiments usually require additional assumptions that make them vulnerable to a number of "loopholes." A recent experiment [Giustina et al, Nature, 2013] violated a Bell inequality without being vulnerable to the detection (or fair-sampling) loophole, therefore not needing the fair-sampling assumption. Here we analyze the more subtle coincidence-time loophole, and propose and prove the validity of two different methods of data analysis that avoid it. Both methods are general and can be used both for pulsed and continuous-wave experiments. We apply them to demonstrate that the experiment mentioned above violates local realism without being vulnerable to the coincidence-time loophole, therefore not needing the corresponding fair-coincidence assumption.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Bounding the quantum dimension with contextuality

We show that the phenomenon of quantum contextuality can be used to certify lower bounds on the dimension accessed by the measurement devices. To prove this, we derive bounds for different dimensions and scenarios of the simplest noncontextuality inequalities. The resulting dimension witnesses work independently of the prepared quantum state. Our constructions are robust against noise and imperfections, and we show that a recent experiment can be viewed as an implementation of a state-independent quantum dimension witness.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Energy-time entanglement, Elements of Reality, and Local Realism

The Franson interferometer, proposed in 1989 [J. D. Franson, Phys. Rev. Lett. 62:2205-2208 (1989)], beautifully shows the counter-intuitive nature of light. The quantum description predicts sinusoidal interference for specific outcomes of the experiment, and these predictions can be verified in experiment. In the spirit of Einstein, Podolsky, and Rosen it is possible to ask if the quantum-mechanical description (of this setup) can be considered complete. This question will be answered in detail in this paper, by delineating the quite complicated relation between energy-time entanglement experiments and Einstein-Podolsky-Rosen (EPR) elements of reality. The mentioned sinusoidal interference pattern is the same as that giving a violation in the usual Bell experiment. Even so, depending on the precise requirements made on the local realist model, this can imply a) no violation, b) smaller violation than usual, or c) full violation of the appropriate statistical bound. Alternatives include a) using only the measurement outcomes as EPR elements of reality, b) using the emission time as EPR element of reality, c) using path realism, or d) using a modified setup. This paper discusses the nature of these alternatives and how to choose between them. The subtleties of this discussion needs to be taken into account when designing and setting up experiments intended to test local realism. Furthermore, these considerations are also important for quantum communication, for example in Bell-inequality-based quantum cryptography, especially when aiming for device independence.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Hacking energy-time entanglement-based systems with classical light

Photonic systems based on energy-time entanglement have been proposed to test local realism using the Bell inequality. A violation of this inequality normally also certifies security of device-independent quantum key distribution, so that an attacker cannot eavesdrop or control the system. Here, we show how this security test can be circumvented in energy-time entangled systems when using standard avalanche photodetectors, allowing an attacker to compromise the system without leaving a trace. With tailored pulses of classical light we reach Bell values up to 3.63 at 97.6% detector efficiency which is an extreme violation. This is the first demonstration of a violation-faking source that both gives tunable violation and high detector efficiency. The implications are severe: the standard Clauser-Horne-Shimony-Holt inequality cannot be used to show device-independent security for standard postselecting energy-time entanglement setups. We conclude with suggestions of improved tests and experimental setups that can re-establish device-independent security.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Loopholes in Bell Inequality Tests of Local Realism

Bell inequalities are intended to show that local realist theories cannot describe the world. A local realist theory is one where physical properties are defined prior to and independent of measurement, and no physical influence can propagate faster than the speed of light. Quantum-mechanical predictions for certain experiments violate the Bell inequality while a local realist theory cannot, and this shows that a local realist theory cannot give those quantum-mechanical predictions. However, because of unexpected circumstances or "loopholes" in available experiment tests, local realist theories can reproduce the data from these experiments. This paper reviews such loopholes, what effect they have on Bell inequality tests, and how to avoid them in experiment. Avoiding all these simultaneously in one experiment, usually called a "loophole-free" or "definitive" Bell test, remains an open task, but is very important for technological tasks such as device-independent security of quantum cryptography, and ultimately for our understanding of the world.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key

Information-theoretically secure (ITS) authentication is needed in Quantum Key Distribution (QKD). In this paper, we study security of an ITS authentication scheme proposed by Wegman & Carter, in the case of partially known authentication key. This scheme uses a new authentication key in each authentication attempt, to select a hash function from an Almost Strongly Universal$_2$ hash function family. The partial knowledge of the attacker is measured as the trace distance between the authentication key distribution and the uniform distribution; this is the usual measure in QKD. We provide direct proofs of security of the scheme, when using partially known key, first in the information-theoretic setting and then in terms of witness indistinguishability as used in the Universal Composability (UC) framework. We find that if the authentication procedure has a failure probability $ε$ and the authentication key has an $ε'$ trace distance to the uniform, then under ITS, the adversary's success probability conditioned on an authentic message-tag pair is only bounded by $ε+|\mT|ε'$, where $|\mT|$ is the size of the set of tags. Furthermore, the trace distance between the authentication key distribution and the uniform increases to $|\mT|ε'$ after having seen an authentic message-tag pair. Despite this, we are able to prove directly that the authenticated channel is indistinguishable from an (ideal) authentic channel (the desired functionality), except with probability less than $ε+ε'$. This proves that the scheme is ($ε+ε'$)-UC-secure, without using the composability theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Optimal inequalities for state-independent contextuality

Contextuality is a natural generalization of nonlocality which does not need composite systems or spacelike separation and offers a wider spectrum of interesting phenomena. Most notably, in quantum mechanics there exist scenarios where the contextual behavior is independent of the quantum state. We show that the quest for an optimal inequality separating quantum from classical noncontextual correlations in an state-independent manner admits an exact solution, as it can be formulated as a linear program. We introduce the noncontextuality polytope as a generalization of the locality polytope, and apply our method to identify two different tight optimal inequalities for the most fundamental quantum scenario with state-independent contextuality.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Systems of Imprimitivity for the Clifford Group

It is known that if the dimension is a perfect square the Clifford group can be represented by monomial matrices. Another way of expressing this result is to say that when the dimension is a perfect square the standard representation of the Clifford group has a system of imprimitivity consisting of one dimensional subspaces. We generalize this result to the case of an arbitrary dimension. Let k be the square-free part of the dimension. Then we show that the standard representation of the Clifford group has a system of imprimitivity consisting of k-dimensional subspaces. To illustrate the use of this result we apply it to the calculation of SIC-POVMs (symmetric informationally complete positive operator valued measures), constructing exact solutions in dimensions 8 (hand-calculation) as well as 12 and 28 (machine-calculation).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A contextual extension of Spekkens' toy model

Quantum systems show contextuality. More precisely, it is impossible to reproduce the quantum-mechanical predictions using a non-contextual realist model, i.e., a model where the outcome of one measurement is independent of the choice of compatible measurements performed in the measurement context. There has been several attempts to quantify the amount of contextuality for specific quantum systems, for example, in the number of rays needed in a KS proof, or the number of terms in certain inequalities, or in the violation, noise sensitivity, and other measures. This paper is about another approach: to use a simple contextual model that reproduces the quantum-mechanical contextual behaviour, but not necessarily all quantum predictions. The amount of contextuality can then be quantified in terms of additional resources needed as compared with a similar model without contextuality. In this case the contextual model needs to keep track of the context used, so the appropriate measure would be memory. Another way to view this is as a memory requirement to be able to reproduce quantum contextuality in a realist model. The model we will use can be viewed as an extension of Spekkens' toy model [Phys. Rev. A 75, 032110 (2007)], and the relation is studied in some detail. To reproduce the quantum predictions for the Peres-Mermin square, the memory requirement is more than one bit in addition to the memory used for the individual outcomes in the corresponding noncontextual model.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Memory cost of quantum contextuality

The simulation of quantum effects requires certain classical resources, and quantifying them is an important step in order to characterize the difference between quantum and classical physics. For a simulation of the phenomenon of state-independent quantum contextuality, we show that the minimal amount of memory used by the simulation is the critical resource. We derive optimal simulation strategies for important cases and prove that reproducing the results of sequential measurements on a two-qubit system requires more memory than the information carrying capacity of the system.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quantum contextuality for rational vectors

The Kochen-Specker theorem states that noncontextual hidden variable models are inconsistent with the quantum predictions for every yes-no question on a qutrit, corresponding to every projector in three dimensions. It has been suggested [D. A. Meyer, Phys. Rev. Lett. 83, 3751 (1999)] that the inconsistency would disappear when we are restricted to projectors on unit vectors with rational components; that noncontextual hidden variables could reproduce the quantum predictions for rational vectors. Here we show that a qutrit state with rational components violates an inequality valid for noncontextual hidden-variable models [A. A. Klyachko et al., Phys. Rev. Lett. 101, 020403 (2008)] using rational projectors. This shows that the inconsistency remains even when using only rational vectors.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Revealing Bell's Nonlocality for Unstable Systems in High Energy Physics

Entanglement and its consequences - in particular the violation of Bell inequalities, which defies our concepts of realism and locality - have been proven to play key roles in Nature by many experiments for various quantum systems. Entanglement can also be found in systems not consisting of ordinary matter and light, i.e. in massive meson--antimeson systems. Bell inequalities have been discussed for these systems, but up to date no direct experimental test to conclusively exclude local realism was found. This mainly stems from the fact that one only has access to a restricted class of observables and that these systems are also decaying. In this Letter we put forward a Bell inequality for unstable systems which can be tested at accelerator facilities with current technology. Herewith, the long awaited proof that such systems at different energy scales can reveal the sophisticated "dynamical" nonlocal feature of Nature in a direct experiment gets feasible. Moreover, the role of entanglement and CP violation, an asymmetry between matter and antimatter, is explored, a special feature offered only by these meson-antimeson systems.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Security of Authentication with a Fixed Key in Quantum Key Distribution

We study the security of a specific authentication procedure of interest in the context of Quantum Key Distribution (QKD). It works as follows: use a secret but fixed Strongly Universal$_2$ (SU$_2$) hash function and encrypt the output tag with a one-time pad (OTP). If the OTP is completely secret, the expected time for an adversary to create a tag for a chosen message is exponential in the tag length. If, however, the OTP is partially known in each authentication round, as is the case in practical QKD protocols, then the picture is different; the adversary's partial knowledge of the OTP in each authentication round gives partial information on the secret hash function, and this weakens the authentication in later rounds. The effect of this is that the lifetime of the system is linear in the length of the fixed key. This is supported by the composability theorem for QKD, that in this setting provides an upper bound to the security loss on the secret hash function, which is exponential in the number of authentication rounds. This needs to be taken into account when using the protocol, since the authentication gets weakened at each subsequent round and thus the QKD generated is key is not as strong as when the authentication is strong. Some countermeasures are discussed at the end of this paper.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Comment on "New Results on Frame-Proof Codes and Traceability Schemes"

In the paper "New Results on Frame-Proof Codes and Traceability Schemes" by Reihaneh Safavi-Naini and Yejing Wang [IEEE Trans. Inform. Theory, vol. 47, no. 7, pp. 3029-3033, Nov. 2001], there are lower bounds for the maximal number of codewords in binary frame-proof codes and decoders in traceability schemes. There are also existence proofs using a construction of binary frame-proof codes and traceability schemes. Here it is found that the main results in the referenced paper do not hold.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Hidden variable models for quantum mechanics can have local parts

We criticize Colbeck and Renner's (CR's) statement that "any hidden variable model can only be compatible with quantum mechanics if its local part is trivial" [Phys. Rev. Lett. 101, 050403 (2008)]. We note that CR's attempt to divide a nonlocal hidden variable model into a "local part" and a "nonlocal part" contains a restriction on the latter. This restriction implies that the division is really into a "local part" and a "nonsignaling nonlocal part." CR's nonsignaling requirement on the "nonlocal part" cannot be physically motivated, since the hidden variables cannot be accessed by experimenters. Nor is it a natural mathematical generalization from the local hidden variable case, since it is simple to make a generalization without CR's requirement. We give an explicit nonlocal hidden variable model that, in the case the restriction is not enforced, contains nontrivial local hidden variables.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Minimum detection efficiency for a loophole-free violation of the Braunstein-Caves chained Bell inequalities

The chained Bell inequalities of Braunstein and Caves involving N settings per observer have some interesting applications. Here we obtain the minimum detection efficiency required for a loophole-free violation of the Braunstein-Caves inequalities for any N > 2. We discuss both the case in which both particles are detected with the same efficiency and the case in which the particles are detected with different efficiencies.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Pentagrams and paradoxes

Klyachko and coworkers consider an orthogonality graph in the form of a pentagram, and in this way derive a Kochen-Specker inequality for spin 1 systems. In some low-dimensional situations Hilbert spaces are naturally organised, by a magical choice of basis, into SO(N) orbits. Combining these ideas some very elegant results emerge. We give a careful discussion of the pentagram operator, and then show how the pentagram underlies a number of other quantum "paradoxes", such as that of Hardy.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Comment on "A local realist model for correlations of the singlet state'' (De Raedt et al., Eur. Phys. J. B 53: 139-142, 2006)

De Raedt et al. (Eur. Phys. J. B 53: 139-142, 2006) have claimed to provide a local realist model for correlations of the singlet state in the familiar Einstein-Podolsky-Rosen-Bohm (EPRB) experiment when time-coincidence is used to decide which detection events should count in the analysis, and furthermore that this suggests that it is possible to construct local realistic models that can reproduce the quantum mechanical expectation values. In this letter we show that these conclusions cannot be upheld since their model exploits the so-called coincidence-time loophole. When this is properly taken into account no startling conclusions can be drawn about local realist modelling of quantum mechanics.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Minimum detection efficiency for a loophole-free atom-photon Bell experiment

In Bell experiments, one problem is to achieve high enough photodetection to ensure that there is no possibility of describing the results via a local hidden-variable model. Using the Clauser-Horne inequality and a two-photon non-maximally entangled state, a photodetection efficiency higher than 0.67 is necessary. Here we discuss atom-photon Bell experiments. We show that, assuming perfect detection efficiency of the atom, it is possible to perform a loophole-free atom-photon Bell experiment whenever the photodetection efficiency exceeds 0.50.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Mubs and Hadamards of Order Six

We report on a search for mutually unbiased bases (MUBs) in 6 dimensions. We find only triplets of MUBs, and thus do not come close to the theoretical upper bound 7. However, we point out that the natural habitat for sets of MUBs is the set of all complex Hadamard matrices of the given order, and we introduce a natural notion of distance between bases in Hilbert space. This allows us to draw a detailed map of where in the landscape the MUB triplets are situated. We use available tools, such as the theory of the discrete Fourier transform, to organise our results. Finally we present some evidence for the conjecture that there exists a four dimensional family of complex Hadamard matrices of order 6. If this conjecture is true the landscape in which one may search for MUBs is much larger than previously thought.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Bell's inequality and the coincidence-time loophole

This paper analyzes effects of time-dependence in the Bell inequality. A generalized inequality is derived for the case when coincidence and non-coincidence [and hence whether or not a pair contributes to the actual data] is controlled by timing that depends on the detector settings. Needless to say, this inequality is violated by quantum mechanics and could be violated by experimental data provided that the loss of measurement pairs through failure of coincidence is small enough, but the quantitative bound is more restrictive in this case than in the previously analyzed "efficiency loophole."

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

A Practical Trojan Horse for Bell-inequality-based Quantum Cryptography

Quantum Cryptography, or more accurately, Quantum Key Distribution (QKD) is based on using an unconditionally secure ``quantum channel'' to share a secret key among two users. A manufacturer of QKD devices could, intentionally or not, use a (semi-)classical channel instead of the quantum channel, which would remove the supposedly unconditional security. One example is the BB84 protocol, where the quantum channel can be implemented in polarization of single photons. Here, use of several photons instead of one to encode each bit of the key provides a similar but insecure system. For protocols based on violation of a Bell inequality (e.g., the Ekert protocol) the situation is somewhat different. While the possibility is mentioned by some authors, it is generally thought that an implementation of a (semi-)classical channel will differ significantly from that of a quantum channel. Here, a counterexample will be given using an identical physical setup as is used in photon-polarization Ekert QKD. Since the physical implementation is identical, a manufacturer may include this modification as a Trojan Horse in manufactured systems, to be activated at will by an eavesdropper. Thus, the old truth of cryptography still holds: you have to trust the manufacturer of your cryptographic device. Even when you do violate the Bell inequality.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

No information flow using statistical fluctuations, and quantum cryptography

The communication protocol of Home and Whitaker [Phys. Rev. A 67, 022306 (2003)] is examined in some detail, and found to work equally well using a separable state. The protocol is in fact completely classical, based on simple post-selection of suitable experimental runs. The quantum cryptography protocol proposed in the same publication is also examined, and is found to indeed need quantum properties for the system to be secure. However, the security test proposed in the mentioned paper is found to be insufficient, and a modification is proposed here that will ensure security.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

A Kochen-Specker inequality

By probabilistic means, the concept of contextuality is extended so that it can be used in non-ideal situations. An inequality is presented, which at least in principle enables a test to discard non-contextual hidden-variable models at low error rates, in the spirit of the Kochen-Specker theorem. Assuming that the errors are independent, an explicit error bound of 1.42% is derived, below which a Kochen-Specker contradiction occurs.

0 citations0 reviewsNo code linkedOpen access
preprint2000arXiv

Strict detector-efficiency bounds for n-site Clauser-Horne inequalities

An analysis of detector-efficiency in many-site Clauser-Horne inequalities is presented, for the case of perfect visibility. It is shown that there is a violation of the presented n-site Clauser-Horne inequalities if and only if the efficiency is greater than n/(2n-1). Thus, for a two-site two-setting experiment there are no quantum-mechanical predictions that violate local realism unless the efficiency is greater than 2/3. Secondly, there are n-site experiments for which the quantum-mechanical predictions violate local realism whenever the efficiency exceeds 1/2.

0 citations0 reviewsNo code linkedOpen access
preprint1999arXiv

Strengthening the Bell Theorem: conditions to falsify local realism in an experiment

The two-particle correlation obtained from the quantum state used in the Bell inequality is sinusoidal, but the standard Bell inequality only uses two pairs of settings and not the whole sinusoidal curve. The highest to-date visibility of an explicit model reproducing sinusoidal fringes is 2/pi. We conjecture from a numerical approach presented in this paper that the highest possible visibility for a local hidden variable model reproducing the sinusoidal character of the quantum prediction for the two-particle Bell-type interference phenomena is 1/sqrt2. In addition, the approach can be applied directly to experimental data.

0 citations0 reviewsNo code linkedOpen access
preprint1999arXiv

Two-photon Franson-type experiments and local realism

The two-photon interferometric experiment proposed by Franson [Phys. Rev. Lett. 62, 2205 (1989)] is often treated as a "Bell test of local realism". However, it has been suggested that this is incorrect due to the 50% postselection performed even in the ideal gedanken version of the experiment. Here we present a simple local hidden variable model of the experiment that successfully explains the results obtained in usual realizations of the experiment, even with perfect detectors. Furthermore, we also show that there is no such model if the switching of the local phase settings is done at a rate determined by the internal geometry of the interferometers.

0 citations0 reviewsNo code linkedOpen access
preprint1998arXiv

Two-photon Franson-type interference experiments are not tests of local realism

We report a local hidden-variable model which reproduces quantum predictions for the two-photon interferometric experiment proposed by Franson [Phys. Rev. Lett. 62, 2205 (1989)]. The model works for the ideal case of full visibility and perfect detection efficiency. This result changes the interpretation of a series of experiments performed in the current decade.

0 citations0 reviewsNo code linkedOpen access