-
Multipartite Entanglement Detection via Correlation Minor Norm
Authors:
Rain Lenny,
Amit Te'eni,
Bar Y. Peled,
Avishy Carmi,
Eliahu Cohen
Abstract:
Entanglement is a uniquely quantum resource giving rise to many quantum technologies. It is therefore important to detect and characterize entangled states, but this is known to be a challenging task, especially for multipartite mixed states. The correlation minor norm (CMN) was recently suggested as a bipartite entanglement detector employing bounds on the quantum correlation matrix. In this pape…
▽ More
Entanglement is a uniquely quantum resource giving rise to many quantum technologies. It is therefore important to detect and characterize entangled states, but this is known to be a challenging task, especially for multipartite mixed states. The correlation minor norm (CMN) was recently suggested as a bipartite entanglement detector employing bounds on the quantum correlation matrix. In this paper we explore generalizations of the CMN to multipartite systems based on matricizations of the correlation tensor. It is shown that the CMN is able to detect and differentiate classes of multipartite entangled states. We further analyze the correlations within the reduced density matrices and show their significance for entanglement detection. Finally, we employ matricizations of the correlation tensor for introducing a measure of global quantum discord.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Secure communication using low dimensional topological elements
Authors:
Manuel F. Ferrer-Garcia,
Avishy Carmi,
Alessio D'Errico,
Hugo Larocque,
Eliahu Cohen,
Ebrahim Karimi
Abstract:
Low-dimensional topological objects, such as knots and braids, have become prevalent in multiple areas of physics, such as fluid dynamics, optics, and quantum information processing. Such objects also now play a role in cryptography, where a framed knot can store encoded information using its braid representation for communications purposes. The greater resilience of low-dimensional topological el…
▽ More
Low-dimensional topological objects, such as knots and braids, have become prevalent in multiple areas of physics, such as fluid dynamics, optics, and quantum information processing. Such objects also now play a role in cryptography, where a framed knot can store encoded information using its braid representation for communications purposes. The greater resilience of low-dimensional topological elements under deformations allows them to be employed as a reliable framework for information exchange. Here, we introduce a challenge-response protocol as an application of this construction for authentication. We provide illustrative examples of both procedures showing how framed links and braids may help to enhance secure communication.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Study of entanglement via a multi-agent dynamical quantum game
Authors:
Bar Y. Peled,
Amit Te'eni,
Eliahu Cohen,
Avishy Carmi
Abstract:
At both conceptual and applied levels, quantum physics provides new opportunities as well as fundamental limitations. We hypothetically ask whether quantum games inspired by population dynamics can benefit from unique features of quantum mechanics such as entanglement and nonlocality. For doing so we extend quantum game theory and demonstrate that in certain models mimicking ecological systems whe…
▽ More
At both conceptual and applied levels, quantum physics provides new opportunities as well as fundamental limitations. We hypothetically ask whether quantum games inspired by population dynamics can benefit from unique features of quantum mechanics such as entanglement and nonlocality. For doing so we extend quantum game theory and demonstrate that in certain models mimicking ecological systems where several predators feed on the same prey, the strength of quantum entanglement between the various species has a profound effect on the asymptotic behavior of the system. For example, if there are sufficiently many predator species who are all equally correlated with their prey, they are all driven to extinction. Our results are derived in two ways: by analyzing the asymptotic dynamics of the system, and also by modeling the system as a quantum correlation network. The latter approach enables us to apply various tools from classical network theory in the above quantum scenarios. Several generalizations and applications are discussed.
△ Less
Submitted 17 August, 2022; v1 submitted 9 September, 2021;
originally announced September 2021.
-
One-particle and two-particle visibilities in bipartite entangled Gaussian states
Authors:
Danko Georgiev,
Leon Bello,
Avishy Carmi,
Eliahu Cohen
Abstract:
Complementarity between one- and two-particle visibility in discrete systems can be extended to bipartite quantum-entangled Gaussian states. The meaning of the two-particle visibility originally defined by Jaeger, Horne, Shimony, and Vaidman with the use of an indirect method that first corrects the two-particle probability distribution by adding and subtracting other distributions with varying de…
▽ More
Complementarity between one- and two-particle visibility in discrete systems can be extended to bipartite quantum-entangled Gaussian states. The meaning of the two-particle visibility originally defined by Jaeger, Horne, Shimony, and Vaidman with the use of an indirect method that first corrects the two-particle probability distribution by adding and subtracting other distributions with varying degree of entanglement, however, deserves further analysis. Furthermore, the origin of complementarity between one-particle visibility and two-particle visibility is somewhat elusive and it is not entirely clear what is the best way to associate particular two-particle quantum observables with the two-particle visibility. Here, we develop a direct method for quantifying the two-particle visibility based on measurement of a pair of two-particle observables that are compatible with the measured pair of single-particle observables. For each of the two-particle observables the corresponding visibility is computed, after which the absolute difference of the latter pair of visibilities is considered as a redefinition of the two-particle visibility. Our approach reveals a mathematical symmetry as it treats the two pairs of one-particle or two-particle observables on equal footing by formally identifying all four observable distributions as rotated marginal distributions of the original two-particle probability distribution. The complementarity relation between one-particle visibility and two-particle visibility obtained with the direct method is exact in the limit of infinite Gaussian precision where the entangled Gaussian state approaches an ideal EPR state. The presented results demonstrate the theoretical utility of rotated marginal distributions for elucidating the nature of two-particle visibility and provide tools for the development of quantum applications employing continuous variables.
△ Less
Submitted 14 June, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Experimental tests of Multiplicative Bell Inequalities
Authors:
Dilip Paneru,
Amit Te'eni,
Bar Y. Peled,
James Hubble,
Yingwen Zhang,
Avishy Carmi,
Eliahu Cohen,
Ebrahim Karimi
Abstract:
Bell inequalities are mathematical constructs that demarcate the boundary between quantum and classical physics. A new class of multiplicative Bell inequalities originating from a volume maximization game (based on products of correlators within bipartite systems) has been recently proposed. For these new Bell parameters, it is relatively easy to find the classical and quantum, i.e. Tsirelson, lim…
▽ More
Bell inequalities are mathematical constructs that demarcate the boundary between quantum and classical physics. A new class of multiplicative Bell inequalities originating from a volume maximization game (based on products of correlators within bipartite systems) has been recently proposed. For these new Bell parameters, it is relatively easy to find the classical and quantum, i.e. Tsirelson, limits. Here, we experimentally test the Tsirelson bounds of these inequalities using polarisation-entangled photons for different number of measurements ($n$), each party can perform. For $n=2, 3, 4$, we report the experimental violation of local hidden variable theories. In addition, we experimentally compare the results with the parameters obtained from a fully deterministic strategy, and observe the conjectured nature of the ratio. Finally, utilizing the principle of "relativistic independence" encapsulating the locality of uncertainty relations, we theoretically derive and experimentally test new richer bounds for both the multiplicative and the additive Bell parameters for $n=2$. Our findings strengthen the correspondence between local and nonlocal correlations, and may pave the way for empirical tests of quantum mechanical bounds with inefficient detection systems.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
Correlation Minor Norms, Entanglement Detection and Discord
Authors:
Bar Y. Peled,
Amit Te'eni,
Avishy Carmi,
Eliahu Cohen
Abstract:
In this paper we develop an approach for detecting entanglement, which is based on measuring quantum correlations and constructing a correlation matrix. The correlation matrix is then used for defining a family of parameters, named Correlation Minor Norms, which allow one to detect entanglement. This approach generalizes the computable cross-norm or realignment (CCNR) criterion, and moreover requi…
▽ More
In this paper we develop an approach for detecting entanglement, which is based on measuring quantum correlations and constructing a correlation matrix. The correlation matrix is then used for defining a family of parameters, named Correlation Minor Norms, which allow one to detect entanglement. This approach generalizes the computable cross-norm or realignment (CCNR) criterion, and moreover requires measuring a state-independent set of operators. Furthermore, we illustrate a scheme which yields for each Correlation Minor Norm a separable state that maximizes it. The proposed entanglement detection scheme is believed to be advantageous in comparison to other methods because correlations have a simple, intuitive meaning and in addition they can be directly measured in experiment. Moreover, it is demonstrated to be stronger than the CCNR criterion. We also illustrate the relation between the Correlation Minor Norm and entanglement entropy for pure states. Finally, we discuss the relation between the Correlation Minor Norm and quantum discord. We demonstrate that the CMN may be used to define a new measure for quantum discord.
△ Less
Submitted 16 December, 2020; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Double Slit with an Einstein-Podolsky-Rosen Pair
Authors:
Bar Y. Peled,
Amit Te'eni,
Danko Georgiev,
Avishy Carmi,
Eliahu Cohen
Abstract:
In this somewhat pedagogical paper we revisit complementarity relations in bipartite quantum systems. Focusing on continuous variable systems, we examine the influential class of EPR-like states through a generalization to Gaussian states and present some new quantitative relations between entanglement and local interference within symmetric and asymmetric double-double-slit scenarios. This approa…
▽ More
In this somewhat pedagogical paper we revisit complementarity relations in bipartite quantum systems. Focusing on continuous variable systems, we examine the influential class of EPR-like states through a generalization to Gaussian states and present some new quantitative relations between entanglement and local interference within symmetric and asymmetric double-double-slit scenarios. This approach is then related to ancilla-based quantum measurements, and weak measurements in particular. Finally, we tie up the notions of distinguishability, predictability, coherence and visibility while drawing some specific connections between them.
△ Less
Submitted 20 January, 2020;
originally announced January 2020.
-
Knowledge of Quantum Hidden Variables Enables Backwards-In-Time Signaling
Authors:
Avishy Carmi,
Eliahu Cohen,
Lorenzo Maccone,
Hrvoje Nikolic
Abstract:
Bell's theorem implies that any completion of quantum mechanics which uses hidden variables (that is, preexisting values of all observables) must be nonlocal in the Einstein sense. This customarily indicates that knowledge of the hidden variables would permit superluminal communication. Such superluminal signaling, akin to the existence of a preferred reference frame, is to be expected. However, h…
▽ More
Bell's theorem implies that any completion of quantum mechanics which uses hidden variables (that is, preexisting values of all observables) must be nonlocal in the Einstein sense. This customarily indicates that knowledge of the hidden variables would permit superluminal communication. Such superluminal signaling, akin to the existence of a preferred reference frame, is to be expected. However, here we provide a protocol that allows an observer with knowledge of the hidden variables to communicate with her own causal past, without superluminal signaling. That is, such knowledge would contradict causality, irrespectively of the validity of relativity theory. Among the ways we propose for bypassing the paradox there is the possibility of hidden variables that change their values even when the state does not, and that means that signaling backwards in time is prohibited in Bohmian mechanics.
△ Less
Submitted 18 June, 2019; v1 submitted 4 March, 2019;
originally announced March 2019.
-
Multiplicative Bell Inequalities
Authors:
Amit Te'eni,
Bar Y. Peled,
Avishy Carmi,
Eliahu Cohen
Abstract:
Bell inequalities are important tools in contrasting classical and quantum behaviors. To date, most Bell inequalities are linear combinations of statistical correlations between remote parties. Nevertheless, finding the classical and quantum mechanical (Tsirelson) bounds for a given Bell inequality in a general scenario is a difficult task which rarely leads to closed-form solutions. Here we intro…
▽ More
Bell inequalities are important tools in contrasting classical and quantum behaviors. To date, most Bell inequalities are linear combinations of statistical correlations between remote parties. Nevertheless, finding the classical and quantum mechanical (Tsirelson) bounds for a given Bell inequality in a general scenario is a difficult task which rarely leads to closed-form solutions. Here we introduce a new class of Bell inequalities based on products of correlators that alleviate these issues. Each such Bell inequality is associated with a unique coordination game. In the simplest case, Alice and Bob, each having two random variables, attempt to maximize the area of a rectangle and the rectangle's area is represented by a certain parameter. This parameter, which is a function of the correlations between their random variables, is shown to be a Bell parameter, i.e. the achievable bound using only classical correlations is strictly smaller than the achievable bound using non-local quantum correlations We continue by generalizing to the case in which Alice and Bob, each having now n random variables, wish to maximize a certain volume in n-dimensional space. We term this parameter a multiplicative Bell parameter and prove its Tsirelson bound. Finally, we investigate the case of local hidden variables and show that for any deterministic strategy of one of the players the Bell parameter is a harmonic function whose maximum approaches the Tsirelson bound as the number of measurement devices increases. Some theoretical and experimental implications of these results are discussed.
△ Less
Submitted 18 April, 2019; v1 submitted 11 February, 2019;
originally announced February 2019.
-
Bounds on nonlocal correlations in the presence of signaling and their application to topological zero modes
Authors:
Avishy Carmi,
Yaroslav Herasymenko,
Eliahu Cohen,
Kyrylo Snizhko
Abstract:
Bell's theorem renders quantum correlations distinct from those of any local-realistic model. Although being stronger than classical correlations, quantum correlations are limited by the Tsirelson bound. This bound, however, applies for Hermitian, commutative operators corresponding to non-signaling observables in Alice's and Bob's spacelike-separated labs. As an attempt to explore theories beyond…
▽ More
Bell's theorem renders quantum correlations distinct from those of any local-realistic model. Although being stronger than classical correlations, quantum correlations are limited by the Tsirelson bound. This bound, however, applies for Hermitian, commutative operators corresponding to non-signaling observables in Alice's and Bob's spacelike-separated labs. As an attempt to explore theories beyond quantum mechanics and analyze the uniqueness of the latter, we examine in this work the extent of non-local correlations when relaxing these fundamental assumptions, which allows for theories with non-local signaling. We prove that, somewhat surprisingly, the Tsirelson bound in the Bell-Clauser-Horne-Shimony-Holt scenario, and similarly other related bounds on non-local correlations, remain effective as long as we maintain the Hilbert space structure of the theory. Furthermore, in the case of Hermitian observables we find novel relations between non-locality, local correlations, and signaling. We demonstrate that such non-local signaling theories are naturally simulated by quantum systems of parafermionic zero modes. We numerically study the derived bounds in parafermionic systems, confirming the bounds' validity yet finding a drastic difference between correlations of 'signaling' and 'non-signaling' sets of observables. We also propose an experimental procedure for measuring the relevant correlations.
△ Less
Submitted 22 July, 2019; v1 submitted 18 September, 2018;
originally announced September 2018.
-
On the Significance of the Quantum Mechanical Covariance Matrix
Authors:
Avishy Carmi,
Eliahu Cohen
Abstract:
The characterization of quantum correlations, being stronger than classical, yet weaker than those appearing in non-signaling models, still poses many riddles. In this work we show that the extent of binary correlations in a general class of nonlocal theories can be characterized by the~existence of a certain covariance matrix. The set of quantum realizable two-point correlators in the~bipartite c…
▽ More
The characterization of quantum correlations, being stronger than classical, yet weaker than those appearing in non-signaling models, still poses many riddles. In this work we show that the extent of binary correlations in a general class of nonlocal theories can be characterized by the~existence of a certain covariance matrix. The set of quantum realizable two-point correlators in the~bipartite case then arises from a subtle restriction on the structure of this general covariance matrix. We also identify a class of theories whose covariance does not have neither a quantum nor an "almost quantum" origin, but which nevertheless produce the accessible two-point quantum mechanical correlators. Our approach leads to richer Bell-type inequalities in which the extent of nonlocality is intimately related to a non-additive entropic measure. In particular, it suggests that the Tsallis entropy with parameter q=1/2 is a natural operational measure of non-classicality. Moreover, when~generalizing this covariance matrix we find novel characterizations of the quantum mechanical set of correlators in multipartite scenarios. All these predictions might be experimentally validated when adding weak measurements to the conventional Bell test (without adding postselection).
△ Less
Submitted 15 July, 2018;
originally announced July 2018.
-
Relativistic independence bounds nonlocality
Authors:
Avishy Carmi,
Eliahu Cohen
Abstract:
If Nature allowed nonlocal correlations other than those predicted by quantum mechanics, would that contradict some physical principle? Various approaches have been put forward in the past two decades in an attempt to single out quantum nonlocality. However, none of them can explain the set of quantum correlations arising in the simplest scenarios. Here it is shown that generalized uncertainty rel…
▽ More
If Nature allowed nonlocal correlations other than those predicted by quantum mechanics, would that contradict some physical principle? Various approaches have been put forward in the past two decades in an attempt to single out quantum nonlocality. However, none of them can explain the set of quantum correlations arising in the simplest scenarios. Here it is shown that generalized uncertainty relations, as well as a specific notion of locality give rise to both familiar and new characterizations of quantum correlations. In particular, we identify a condition, relativistic independence, which states that uncertainty relations are local in the sense that they cannot be influenced by other experimenters' choices of measuring instruments. We prove that theories with nonlocal correlations stronger than the quantum ones do not satisfy this notion of locality and therefore they either violate the underlying generalized uncertainty relations or allow experimenters to nonlocally tamper with the uncertainty relations of their peers.
△ Less
Submitted 12 February, 2019; v1 submitted 10 June, 2018;
originally announced June 2018.
-
Computing by nowhere increasing complexity
Authors:
Bar Y. Peled,
Vikas K. Mishra,
Avishy Y. Carmi
Abstract:
A cellular automaton is presented whose governing rule is that the Kolmogorov complexity of a cell's neighborhood may not increase when the cell's present value is substituted for its future value. Using an approximation of this two-dimensional Kolmogorov complexity the underlying automaton is shown to be capable of simulating logic circuits. It is also shown to capture trianry logic described by…
▽ More
A cellular automaton is presented whose governing rule is that the Kolmogorov complexity of a cell's neighborhood may not increase when the cell's present value is substituted for its future value. Using an approximation of this two-dimensional Kolmogorov complexity the underlying automaton is shown to be capable of simulating logic circuits. It is also shown to capture trianry logic described by a quandle, a non-associative algebraic structure. A similar automaton whose rule permits at times the increase of a cell's neighborhood complexity is shown to produce animated entities which can be used as information carriers akin to gliders in Conway's game of life.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
Anomalous Weak Values Emerging from Strong Interactions between Light and Matter
Authors:
Yakir Aharonov,
Eliahu Cohen,
Avishy Carmi,
Avshalom C. Elitzur
Abstract:
Some predictions regarding pre- and post-selected states are far-reaching, thereby requiring validation with standard quantum measurements in addition to the customary weak measurements used so far, as well as other advanced techniques. We go further pursuing this goal, proposing two thought experiments which incorporate novel yet feasible validation methods of unconventional light-matter interact…
▽ More
Some predictions regarding pre- and post-selected states are far-reaching, thereby requiring validation with standard quantum measurements in addition to the customary weak measurements used so far, as well as other advanced techniques. We go further pursuing this goal, proposing two thought experiments which incorporate novel yet feasible validation methods of unconventional light-matter interactions. An excited atom traverses a Mach-Zehnder interferometer (MZI) under a special combination of pre- and post-selection. In the first experiment, photons emitted by the superposed atom, after being hit by two laser beams, are individually counted. Despite the interaction having definitely taken place, the numbers of photons emitted from each arm of the MZI are predicted, at the ensemble level, to be different from those expected with standard stimulated emission. In the second experiment, the atom spontaneously emits a photon while still in the MZI. This photon later serves as a strong measurement of the atom's energy upon hitting a photographic plate. The experiment is repeated to enable an interference effect of the emitted photons. Interestingly, the latter gives the appearance that the photons have been emitted by the atom from a position much farther from the two MZI arms L and R, as if in a "phantom arm" R'. These experiments also emphasize the key role of anomalous weak values in determining light-matter interactions. In fact, they present a straightforward realization of an entity we term counter-particles, namely pre- and post-selected states acting as if they have negative physical variables such as mass and energy. The novel verification methods we suggest for testing these predictions resemble weak measurements in some aspects, yet result from definite atomic transitions verified by the detected photons.
△ Less
Submitted 24 June, 2018; v1 submitted 25 September, 2017;
originally announced September 2017.
-
On Approximating Univariate NP-Hard Integrals
Authors:
Ohad Asor,
Avishy Carmi
Abstract:
Approximating a definite integral of product of cosines to within an accuracy of n binary digits where the integrand depends on input integers x[k] given in binary radix, is equivalent to counting the number of equal-sum partitions of the integers and is thus a #P problem. Similarly, integrating this function from zero to infinity and deciding whether the result is either zero or infinity is an NP…
▽ More
Approximating a definite integral of product of cosines to within an accuracy of n binary digits where the integrand depends on input integers x[k] given in binary radix, is equivalent to counting the number of equal-sum partitions of the integers and is thus a #P problem. Similarly, integrating this function from zero to infinity and deciding whether the result is either zero or infinity is an NP-Complete problem. Efficient numerical integration methods such as the double exponential formula and the sinc approximation have been around since the mid 70's. Noting the hardness of approximating the integral we argue that the proven rates of convergence of such methods cannot possibly be correct since they give rise to an anomalous result as P=#P.
△ Less
Submitted 5 January, 2016; v1 submitted 26 December, 2015;
originally announced December 2015.
-
Tales told by coloured tangles
Authors:
Daniel Moskovich,
Avishy Y. Carmi
Abstract:
Tangle machines are a topologically inspired diagrammatic formalism to describe information flow in networks. This paper begins with an expository account of tangle machines motivated by the problem of describing `covariance intersection' fusion of Gaussian estimators in networks. It then gives two examples in which tangle machines tell stories of adiabatic quantum computations, and discusses lear…
▽ More
Tangle machines are a topologically inspired diagrammatic formalism to describe information flow in networks. This paper begins with an expository account of tangle machines motivated by the problem of describing `covariance intersection' fusion of Gaussian estimators in networks. It then gives two examples in which tangle machines tell stories of adiabatic quantum computations, and discusses learning tangle machines from data.
△ Less
Submitted 20 December, 2015; v1 submitted 16 November, 2015;
originally announced November 2015.
-
Inca Foams
Authors:
Avishy Y. Carmi,
Daniel Moskovich
Abstract:
We study a certain class of embedded two-foams that arise from gluing discs into ribbon torus knots along nonintersecting torus meridians. We exhibit several equivalent diagrammatic formalisms for these objects and identify several of their invariants, including a unique prime decomposition.
We study a certain class of embedded two-foams that arise from gluing discs into ribbon torus knots along nonintersecting torus meridians. We exhibit several equivalent diagrammatic formalisms for these objects and identify several of their invariants, including a unique prime decomposition.
△ Less
Submitted 3 September, 2015;
originally announced September 2015.
-
Tsirelson's Bound Prohibits Communication Through a Disconnected Channel
Authors:
Avishy Y. Carmi,
Daniel Moskovich
Abstract:
Why does nature only allow nonlocal correlations up to Tsirelson's bound and not beyond? We construct a channel whose input is statistically independent of its output, but through which communication is nevertheless possible if and only if Tsirelson's bound is violated. This provides a statistical justification for Tsirelson's bound on nonlocal correlations in a bipartite setting.
Why does nature only allow nonlocal correlations up to Tsirelson's bound and not beyond? We construct a channel whose input is statistically independent of its output, but through which communication is nevertheless possible if and only if Tsirelson's bound is violated. This provides a statistical justification for Tsirelson's bound on nonlocal correlations in a bipartite setting.
△ Less
Submitted 16 December, 2017; v1 submitted 27 July, 2015;
originally announced July 2015.
-
Low-Dimensional Topology of Information Fusion
Authors:
Avishy Y. Carmi,
Daniel Moskovich
Abstract:
We provide an axiomatic characterization of information fusion, on the basis of which we define an information fusion network. Our construction is reminiscent of tangle diagrams in low dimensional topology. Information fusion networks come equipped with a natural notion of equivalence. Equivalent networks `contain the same information', but differ locally. When fusing streams of information, an in…
▽ More
We provide an axiomatic characterization of information fusion, on the basis of which we define an information fusion network. Our construction is reminiscent of tangle diagrams in low dimensional topology. Information fusion networks come equipped with a natural notion of equivalence. Equivalent networks `contain the same information', but differ locally. When fusing streams of information, an information fusion network may adaptively optimize itself inside its equivalence class. This provides a fault tolerance mechanism for such networks.
△ Less
Submitted 18 September, 2014;
originally announced September 2014.
-
Computing with Coloured Tangles
Authors:
Avishy Y. Carmi,
Daniel Moskovich
Abstract:
We suggest a diagrammatic model of computation based on an axiom of distributivity. A diagram of a decorated coloured tangle, similar to those that appear in low dimensional topology, plays the role of a circuit diagram. Equivalent diagrams represent bisimilar computations. We prove that our model of computation is Turing complete, and that with bounded resources it can moreover decide any languag…
▽ More
We suggest a diagrammatic model of computation based on an axiom of distributivity. A diagram of a decorated coloured tangle, similar to those that appear in low dimensional topology, plays the role of a circuit diagram. Equivalent diagrams represent bisimilar computations. We prove that our model of computation is Turing complete, and that with bounded resources it can moreover decide any language in complexity class IP, sometimes with better performance parameters than corresponding classical protocols.
△ Less
Submitted 21 July, 2015; v1 submitted 12 August, 2014;
originally announced August 2014.
-
Tangle Machines II: Invariants
Authors:
Avishy Y. Carmi,
Daniel Moskovich
Abstract:
The preceding paper constructed tangle machines as diagrammatic models, and illustrated their utility with a number of examples. The information content of a tangle machine is contained in characteristic quantities associated to equivalence classes of tangle machines, which are called invariants. This paper constructs invariants of tangle machines. Chief among these are the prime factorizations of…
▽ More
The preceding paper constructed tangle machines as diagrammatic models, and illustrated their utility with a number of examples. The information content of a tangle machine is contained in characteristic quantities associated to equivalence classes of tangle machines, which are called invariants. This paper constructs invariants of tangle machines. Chief among these are the prime factorizations of a machine, which are essentially unique. This is proven using low dimensional topology, through representing a colour-suppressed machine as a diagram for a network of jointly embedded spheres and intervals in 4-space. The complexity of a tangle machine is defined as its number of prime factors.
△ Less
Submitted 10 April, 2014;
originally announced April 2014.
-
Tangle Machines
Authors:
Avishy Y. Carmi,
Daniel Moskovich
Abstract:
Tangle machines are topologically inspired diagrammatic models. Their novel feature is their natural notion of equivalence. Equivalent tangle machines may differ locally, but globally they are considered to share the same information content. The goal of tangle machine equivalence is to provide a context-independent method to select, from among many ways to perform a task, the `best' way to perfor…
▽ More
Tangle machines are topologically inspired diagrammatic models. Their novel feature is their natural notion of equivalence. Equivalent tangle machines may differ locally, but globally they are considered to share the same information content. The goal of tangle machine equivalence is to provide a context-independent method to select, from among many ways to perform a task, the `best' way to perform the task. The concept of equivalent tangle machines is illustrated through examples in which they represent recursive computations, networks of adiabatic quantum computations, and networks of distributed information processing.
△ Less
Submitted 3 March, 2015; v1 submitted 10 April, 2014;
originally announced April 2014.
-
Measuring cotunneling in its wake
Authors:
Oded Zilberberg,
Assaf Carmi,
Alessandro Romito
Abstract:
We introduce a rate formalism to treat classically forbidden electron transport through a quantum dot (cotunneling) in the presence of a coupled measurement device. We demonstrate this formalism for a toy model case of cotunneling through a single-level dot while being coupled to a strongly pinched-off quantum point contact (QPC). We find that the detector generates three types of back-action: the…
▽ More
We introduce a rate formalism to treat classically forbidden electron transport through a quantum dot (cotunneling) in the presence of a coupled measurement device. We demonstrate this formalism for a toy model case of cotunneling through a single-level dot while being coupled to a strongly pinched-off quantum point contact (QPC). We find that the detector generates three types of back-action: the measurement collapses the coherent transport through the virtual state, but at the same time allows for QPC-assisted incoherent transport, and widens the dot level. Last, we obtain the measured cotunneling time from the cross correlation between dot and QPC currents.
△ Less
Submitted 26 November, 2014; v1 submitted 24 March, 2014;
originally announced March 2014.
-
Transmission phase shifts of Kondo impurities
Authors:
Assaf Carmi,
Yuval Oreg,
Micha Berkooz,
David Goldhaber-Gordon
Abstract:
We study the coherent properties of transmission through Kondo impurities, by considering an open Aharonov-Bohm ring with an embedded quantum dot. We develop a novel many-body scattering theory which enables us to calculate the conductance through the dot, the transmission phase shift, and the normalized visibility, in terms of the single-particle T-matrix. For the single-channel Kondo effect, we…
▽ More
We study the coherent properties of transmission through Kondo impurities, by considering an open Aharonov-Bohm ring with an embedded quantum dot. We develop a novel many-body scattering theory which enables us to calculate the conductance through the dot, the transmission phase shift, and the normalized visibility, in terms of the single-particle T-matrix. For the single-channel Kondo effect, we find at temperatures much below the Kondo temperature $T_K$ that the transmission phase shift is π/2 without any corrections up to order (T/T_K)^2. The visibility has the form 1-(πT/T_K)^2. For the non-Fermi liquid fixed point of the two channel Kondo, we find that transmission phase shift is π/2 despite the fact that a scattering phase shift is not defined. At zero temperature the visibility is 1/2, thus at zero temperature exactly half of the conductance is carried by single-particle processes. We explain that the spin summation masks the inherent scattering phases of the dot, which can be accessed only via a spin-resolved experiment. In addition, we calculate the effect of magnetic field and channel anisotropy, and generalize to the k-channel Kondo case.
△ Less
Submitted 3 October, 2012; v1 submitted 10 July, 2012;
originally announced July 2012.
-
Pseudospin-Resolved Transport Spectroscopy of the Kondo Effect in a Double Quantum Dot
Authors:
S. Amasha,
A. J. Keller,
I. G. Rau,
A. Carmi,
J. A. Katine,
H. Shtrikman,
Y. Oreg,
D. Goldhaber-Gordon
Abstract:
We report measurements of the Kondo effect in a double quantum dot (DQD), where the orbital states act as pseudospin states whose degeneracy contributes to Kondo screening. Standard transport spectroscopy as a function of the bias voltage on both dots shows a zero-bias peak in conductance, analogous to that observed for spin Kondo in single dots. Breaking the orbital degeneracy splits the Kondo re…
▽ More
We report measurements of the Kondo effect in a double quantum dot (DQD), where the orbital states act as pseudospin states whose degeneracy contributes to Kondo screening. Standard transport spectroscopy as a function of the bias voltage on both dots shows a zero-bias peak in conductance, analogous to that observed for spin Kondo in single dots. Breaking the orbital degeneracy splits the Kondo resonance in the tunneling density of states above and below the Fermi energy of the leads, with the resonances having different pseudospin character. Using pseudospin-resolved spectroscopy, we demonstrate the pseudospin character by observing a Kondo peak at only one sign of the bias voltage. We show that even when the pseudospin states have very different tunnel rates to the leads, a Kondo temperature can be consistently defined for the DQD system.
△ Less
Submitted 2 July, 2012;
originally announced July 2012.
-
Enhanced shot noise in asymmetric interacting two level systems
Authors:
Assaf Carmi,
Yuval Oreg
Abstract:
We study a model of two interacting levels that are attached to two electronic leads, where one of the levels is attached very weakly to the leads. We use rate equations method to calculate the average current and the noise of electrons transmitted through the two levels. We show that the shot noise is enhanced due to the interactions and that the Fano factor depends on the properties of the coupl…
▽ More
We study a model of two interacting levels that are attached to two electronic leads, where one of the levels is attached very weakly to the leads. We use rate equations method to calculate the average current and the noise of electrons transmitted through the two levels. We show that the shot noise is enhanced due to the interactions and that the Fano factor depends on the properties of the couplings between the levels and the leads. We study both sequential tunneling and cotunneling processes and show that there is a range of parameters in which the cotunneling processes affect the noise significantly, even though most of the current is carried by sequential tunneling processes.
△ Less
Submitted 1 February, 2012; v1 submitted 30 August, 2011;
originally announced August 2011.
-
Realization of SU(N) Kondo effect in strong magnetic field
Authors:
Assaf Carmi,
Yuval Oreg,
Micha Berkooz
Abstract:
In this paper we suggest a realization for the SU(N) Kondo effect, using quantum dots at strong magnetic field. We purpose using edge states of the quantum Hall effect as pseudo spin that interact with multiple quantum dots structures. In the suggested realization one can access each pseudo spin separately and hence may perform a set of experiments that were impossible until now. We focus on the r…
▽ More
In this paper we suggest a realization for the SU(N) Kondo effect, using quantum dots at strong magnetic field. We purpose using edge states of the quantum Hall effect as pseudo spin that interact with multiple quantum dots structures. In the suggested realization one can access each pseudo spin separately and hence may perform a set of experiments that were impossible until now. We focus on the realization of SU(2) and SU(3) Kondo and find a conductivity of 3/4 quantum conductance in the SU(3) case.
△ Less
Submitted 9 February, 2011; v1 submitted 10 June, 2010;
originally announced June 2010.
-
Convex Feasibility Methods for Compressed Sensing
Authors:
Avishy Carmi,
Pini Gurfil
Abstract:
We present a computationally-efficient method for recovering sparse signals from a series of noisy observations, known as the problem of compressed sensing (CS). CS theory requires solving a convex constrained minimization problem. We propose to transform this optimization problem into a convex feasibility problem (CFP), and solve it using subgradient projection methods, which are iterative, fast,…
▽ More
We present a computationally-efficient method for recovering sparse signals from a series of noisy observations, known as the problem of compressed sensing (CS). CS theory requires solving a convex constrained minimization problem. We propose to transform this optimization problem into a convex feasibility problem (CFP), and solve it using subgradient projection methods, which are iterative, fast, robust and convergent schemes for solving CFPs. As opposed to some of the recently-introduced CS algorithms, such as Bayesian CS and gradient projections for sparse reconstruction, which become inefficient as the problem dimension and sparseness degree increase, the newly-proposed methods exhibit a marked robustness with respect to these factors. This renders the subgradient projection methods highly viable for large-scale compressible scenarios.
△ Less
Submitted 19 June, 2010; v1 submitted 25 January, 2010;
originally announced January 2010.