English
Related papers

Related papers: Local Variables and Quantum Relational Hoare Logic

200 papers

The status of locality in quantum mechanics is analyzed from a nonstandard point of view. It is assumed that quantum states are relative, they depend on and are defined with respect to some bigger physical system which contains the former…

Quantum Physics · Physics 2007-05-23 Gyula Bene

A new type of local-check additive quantum code is presented. Qubits are associated with edges of a 2-dimensional lattice whereas the stabilizer operators correspond to the faces and the vertices. The boundary of the lattice consists of…

Quantum Physics · Physics 2007-05-23 S. B. Bravyi , A. Yu. Kitaev

J.S. Bell's work has convinced many that correlations in violation of CHSH inequalities show that the world itself is non-local, and that there is an apparently essential conflict between any sharp formulation of quantum theory and…

Quantum Physics · Physics 2012-08-01 Richard Healey

We propose a method to generate analytical quantum Bell inequalities based on the principle of Macroscopic Locality. By imposing locality over binary processings of virtual macroscopic intensities, we establish a correspondence between Bell…

Quantum Physics · Physics 2011-02-17 Tzyh Haur Yang , Miguel Navascués , Lana Sheridan , Valerio Scarani

We propose to detect quantum entanglement by a condition of local measurments. We find that this condition can detect efficiently the pure entangled states for both discrete and continuous variable systems. It does not depend on…

Quantum Physics · Physics 2015-05-30 Qing Xie , X. -X. Wu , X. -M. Ding , W. -L. Yang , R. -H. Yue , H. Fan

We compute some numerical invariants of local cohomology of the ring of invariants by a finite group, mainly in the modular case. Also, we present some applications. In particular, we study Cohen-Macaulay property of modular invariants from…

Commutative Algebra · Mathematics 2018-02-22 Mohsen Asgharzadeh

We define a new concept of local states in the framework of algebraic quantum field theory (AQFT). Local states are a natural generalization of states and give a clear vision of localization in the context of QFT. In terms of them, we can…

Mathematical Physics · Physics 2016-04-01 Izumi Ojima , Kazuya Okamura , Hayato Saigo

Bell appealed to the theory of relativity in formulating his principle of local causality. But he maintained that quantum field theories do not conform to that principle, even when their field equations are relativistically covariant and…

Quantum Physics · Physics 2014-05-14 Richard Healey

We initiate the study of the duality theory of locally recoverable codes, with a focus on the applications. We characterize the locality of a code in terms of the dual code, and introduce a class of invariants that refine the classical…

Information Theory · Computer Science 2022-12-16 Anina Gruica , Benjamin Jany , Alberto Ravagnani

Quantum machine learning is a rapidly evolving field of research that could facilitate important applications for quantum computing and also significantly impact data-driven sciences. In our work, based on various arguments from complexity…

The Special Theory of Relativity and Quantum Mechanics merge in the key principle of Quantum Field Theory, the Principle of Locality. We review some examples of its ``unreasonable effectiveness'' (which shows up best in the formulation of…

Mathematical Physics · Physics 2014-11-20 Sergio Doplicher

We analyze and study the effects of locality on the fault-tolerance threshold for quantum computation. We analytically estimate how the threshold will depend on a scale parameter r which estimates the scale-up in the size of the circuit due…

Quantum Physics · Physics 2007-05-23 Krysta M. Svore , Barbara M. Terhal , David P. DiVincenzo

We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but the bound on their number is not known. Besides specifying and verifying…

Logic in Computer Science · Computer Science 2019-08-30 Marius Bozga , Radu Iosif , Joseph Sifakis

We develop a theory of local asymptotic normality in the quantum domain based on a novel quantum analogue of the log-likelihood ratio. This formulation is applicable to any quantum statistical model satisfying a mild smoothness condition.…

Quantum Physics · Physics 2013-11-11 Koichi Yamagata , Akio Fujiwara , Richard D. Gill

The ability to witness non-local correlations lies at the core of foundational aspects of quantum mechanics and its application in the processing of information. Commonly, this is achieved via the violation of Bell inequalities.…

Quantum Physics · Physics 2019-05-23 Askery Canabarro , Samuraí Brito , Rafael Chaves

Bell type inequalities are used to test local realism against quantum theory.In this paper, we consider a two party system with two settings and two possible outcomes on each side, and derive equalities in local theories which are violated…

Quantum Physics · Physics 2007-05-23 Hossein Movahhedian

Two distant systems can exhibit quantum nonlocality even though the correlations between them admit a local model. This nonlocality can be revealed by testing extra correlations between successive measurements on one of the systems which do…

Quantum Physics · Physics 2014-11-20 Adan Cabello

Many theoretical predictions derived from quantum mechanics have been confirmed experimentally during the last 80 years. However, interpretative aspects have long been subject to debate. Among them, the question of the existence of hidden…

History and Philosophy of Physics · Physics 2010-07-06 B. Berche , C. Chatelain , C. Dufour , T. Gourieux , D. Karevski

We review the status of (scalar) quantum field theory on curved spacetimes using a novel formulation in terms of non linear functionals over the smooth configuration fields. In particular, this entails also a new foundation of locally…

General Relativity and Quantum Cosmology · Physics 2015-05-13 Romeo Brunetti , Klaus Fredenhagen

Quantum nonlocality is often judged by violations of Bell-type inequalities for a given state. The computation of such violations is a global task, requiring evaluation of global correlations and subsequent testing against a Bell…

Quantum Physics · Physics 2025-11-04 Rohit Kishan Ray