English
Related papers

Related papers: Formalizing CHSH Rigidity in Lean 4

200 papers

It has long been known that the existence of certain superquantum nonlocal correlations would cause communication complexity to collapse. The absurdity of a world in which any nonlocal binary function could be evaluated with a constant…

Information Theory · Computer Science 2023-05-03 Noah Shutty , Mary Wootters , Patrick Hayden

We present a logical type of proof of contextuality for a two-qubit state. We formulate a paradox that cannot be verified by a two-qubit system with local measurements while it is possible by using entanglement measurements. With our scheme…

Quantum Physics · Physics 2019-08-21 Adel Sohbi , Jaewan Kim

We in this paper study quantum correlations for two neutral spin-particles coupled with a single-mode optical cavity through the usual magnetic interaction. Two-spin entangled states for both antiparallel and parallel spin-polarizations are…

Quantum Physics · Physics 2017-08-02 Xue-Min Bai , Chun-Ping Gao , Jun-Qi Li , Ni Liu , J. -Q. Liang

Quantum correlations that violate the Bell inequality cannot be explained by any (measurement independent) local hidden variable theory. However, the violation only implies incompatibility of the underlying assumptions of reality, locality,…

Quantum Physics · Physics 2024-12-30 Gen Kimura , Yugo Susuki , Kei Morisue

We consider the Clauser-Horn (CH) inequality for a qubit-qutrit system. We derive the necessary and sufficient conditions for the violation of the inequality as well as some sufficient conditions. Remarkably, we demonstrate the importance…

Quantum Physics · Physics 2026-05-12 Pawel Caban , Pawel Horodecki

Homogenization proposed in [Y.-C Wu and M. \.Zukowski, Phys. Rev. A 85, 022119 (2012)] is a procedure to transform a tight Bell inequality with partial correlations into a full-correlation form that is also tight. In this paper, we check…

Quantum Physics · Physics 2015-01-09 Xu Chen , Hong-Yi Su , Zhen-Peng Xu , Yu-Chun Wu , Jing-Ling Chen

Uhlmann's theorem is a fundamental result in quantum information theory that quantifies the optimal overlap between two bipartite pure states after applying local unitary operations (called Uhlmann transformations). We show that optimal…

Quantum Physics · Physics 2025-09-08 John Bostanci , Tony Metger , Henry Yuen

We study nonlocality tests in which each party performs photodetection and homodyne measurements. The results of such measurements are dichotomized and a Clauser-Horne-Shimony-Holt (CHSH) inequality is used. We prove that in this scenario…

We study chiral symmetry breaking in quenched strong-coupling QED$_4$ in arbitrary covariant gauge within the Dyson-Schwinger equation formalism. A recently developed numerical renormalization program is fully implemented. Results are…

High Energy Physics - Lattice · Physics 2008-11-26 A. G. Williams , F. T. Hawes

In this paper, we show that coherence witness for a single qubit itself yields conditions for nonlocality and entanglement inequalities for multiqubit systems. It also yields a condition for quantum discord in two--qubit systems. It is…

Quantum Physics · Physics 2022-04-25 Sooryansh Asthana

It is well known that the violation of Bell's inequality in the form given by Clauser, Horne, Shimony, and Holt (CHSH) in two-qubit systems requires entanglement, but not vice versa, i.e., there are entangled states which do not violate the…

Quantum Physics · Physics 2013-11-20 Karol Bartkiewicz , Bohdan Horst , Karel Lemr , Adam Miranowicz

We obtain some rigidity results for metrics whose Schouten tensor is bounded from below after conformal transformations. Liang Cheng recently proved that a complete, nonflat, locally conformally flat manifold with Ricci pinching condition…

Differential Geometry · Mathematics 2023-08-03 Mijia Lai , Guoqiang Wu

When discretizing symmetric stress tensors in variational problems arising in continuum mechanics, one has to choose how to enforce the symmetry of the stress tensor: (i) strongly by requiring the discrete tensors to be pointwise symmetric…

Numerical Analysis · Mathematics 2026-05-21 Pablo Brubeck , Charles Parker , Umberto Zerbinati

Motivated by very recent experiments, we consider a scenario "\`a la Bell" in which two protagonists test the Clauser-Horne-Shimony-Holt (CHSH) inequality using a photon-pair source based on spontaneous parametric down conversion and…

In this paper the design and proof of concept (POC) coding of a local hidden variables computer model is presented. The program violates the Clauser, Horne, Shimony and Holt inequality $|$CHSH$|$ $\leq 2$. In our numerical experiment, we…

General Physics · Physics 2018-06-20 Han Geurdes

We propose a generalization of the description of Bell's inequalities in algebraic quantum field theory (AQFT) to the context of locally covariant quantum field theory (LCQFT). We use the functorial formulation of the state space as…

Mathematical Physics · Physics 2024-10-23 Rafael Grossi , João C. A. Barata

Clauser-Horne-Shimony-Holt inequality for bipartite systems of 4-dimension is studied in detail by employing the unbiased eight-port beam splitters measurements. The uniform formulae for the maximum and minimum values of this inequality for…

Quantum Physics · Physics 2007-05-23 Li-Bin Fu , Jing-Ling Chen , Shi-Gang Chen

We construct a discrete quantum mechanics using a vector space over the Galois field GF(q). We find that the correlations in our model do not violate the Clauser-Horne-Shimony-Holt (CHSH) version of Bell's inequality, despite the fact that…

Quantum Physics · Physics 2013-03-13 Lay Nam Chang , Zachary Lewis , Djordje Minic , Tatsu Takeuchi

Entanglement, describing the inseparability of a quantum multiparty system, is one of the most intriguing features of quantum mechanics. Violation of Bell inequality, for ruling out the possibility of local hidden variable theories, is…

Quantum Physics · Physics 2017-04-21 Xianxin Guo , Yefeng Mei , Shengwang Du

We construct an effective four dimensional string-corrected black hole (4D SCBH) by rescaling the string coupling parameter in a $D$-dimensional Callan-Myers-Perry black hole. From the theoretical point of view, the most interesting…

General Relativity and Quantum Cosmology · Physics 2022-03-23 Kimet Jusufi , Dejan Stojkovic