Related papers: Formalizing CHSH Rigidity in Lean 4
To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method. The…
Any oriented $4$-dimensional Einstein metric with semi-definite sectional curvature satisfies the pointwise inequality \[ \frac{|s|}{\sqrt{6}}\geq|W^+|+|W^-|, \] where $s$, $W^+$ and $W^-$ are respectively the scalar curvature, the…
We present a formalization in Isabelle/HOL of quantum projective measurements, a class of measurements involving orthogonal projectors that is frequently used in quantum computing. We also formalize the CHSH inequality, a result that holds…
We present a formalization in Lean of the core interior De Giorgi--Nash--Moser theory for uniformly elliptic divergence-form equations with bounded measurable coefficients. The formalized results include local boundedness of weak…
We present a derivation and experimental implementation of a dimension-dependent contextuality inequality to certify both the quantumness and dimensionality of a given system. Existing methods for certification of the dimension of quantum…
We study analytically the features of the Cauchy horizon (CH) singularity inside a spherically-symmetric charged black hole, nonlinearly perturbed by a self-gravitating massless scalar field. We derive exact expressions for the divergence…
The convergence rate of various first-order optimization algorithms is a pivotal concern within the numerical optimization community, as it directly reflects the efficiency of these algorithms across different optimization problems. Our…
We consider finite element approximations to the optimal constant for the Hardy inequality with exponent $p=2$ in bounded domains of dimension $n=1$ or $n \geq 3$. For finite element spaces of piecewise linear and continuous functions on a…
We study the problem of robust performance of quantum systems under structured uncertainties. A specific feature of closed (Hamiltonian) quantum systems is that their poles lie on the imaginary axis and that neither a coherent controller…
We investigate quantum correlations appearing for two qubit detectors which are initially uncorrelated and locally coupled to a massless scalar field in a vacuum state. Under the perturbation up to the second order in the coupling, the…
We derive a new inequality that is necessary and sufficient to show EPR-steering in a scenario employing only correlations between two arbitrary dichotomic measurements on each party. Thus the inequality is a complete steering analogy of…
We describe a protocol for generating random numbers based on the existence of quantum violations of a free Clauser-Horne-Shimony-Holt inequality, namely CHSH-3. Our method uses semidefinite programming relaxations to compute such…
Tsirelson showed that $2\sqrt{2}$ is the maximum value that CHSH expression can take for quantum-correlations [B. S.Tsirelson, Lett. Math. Phys, 4 (1980) 93]. This bound simply follows from the algebra of observables. Recently by exploiting…
We implemented the experiment proposed by Cabello [arXiv:quant-ph/0309172] to test the bounds of quantum correlation. As expected from the theory we found that, for certain choices of local observables, Cirel'son's bound of the…
The violation of a Bell inequality implies the existence of nonlocality, making device-independent randomness certification possible. This paper derives a tight upper bound for the maximal quantum violation of Gisin's elegant Bell…
We work out a quantum-theoretic model in complex Hilbert space of a recently performed test on co-occurrencies of two concepts and their combination in retrieval processes on specific corpuses of documents. The test violated the…
The experimental test of Bell's inequality is mainly focused on Clauser-Horne-Shimony-Holt (CHSH) form, which provides a quantitative bound, while little attention has been pained on the violation of Wigner inequality (WI). Based on the…
The establishment of nonlocal correlations, obtained through the violation of a Bell inequality, is not only important from a fundamental point of view, but constitutes the basis for device-independent quantum information technologies.…
High dimensional quantum entanglement and the advancements in their experimental realization provide a playground for fundamental research and eventually lead to quantum technological developments. The Horodecki criterion determines whether…
We discuss the relations between the violation of the CHSH Bell inequality for systems of two qubits on the one side and entanglement of formation, local filtering operations, and the entropy and purity on the other. We calculate the…