Related papers: Boole-Bell-type inequalities in Mathematica
Bell inequalities play a central role in certifying quantum correlations and underpin protocols such as device-independent quantum key distribution. However, enumerating all Bell inequalities for a given scenario remains intractable beyond…
Bell inequalities are a vital tool to detect the nonlocal correlations, but the construction of them for multipartite systems is still a complicated problem. In this work, inspired via a decomposition of $(n+1)$-partite Bell inequalities…
Alternative partial Boolean structures, implicit in the discussion of classical representability of sets of quantum mechanical predictions, are characterized, with definite general conclusions on the equivalence of the approaches going back…
In previous work with Ken Wharton, it was proposed that Bell correlations are a special sort of selection artefact, explained by a combination of (i) collider bias and (ii) a boundary constraint on the collider variable. This requires no…
Polyfold theory was developed by Hofer-Wysocki-Zehnder by finding commonalities in the analytic framework for a variety of geometric elliptic PDEs, in particular moduli spaces of pseudoholomorphic curves. It aims to systematically address…
We introduce a notion of convex hull and polytope into adele space. This allows to consider adelic triangulations which, in particular, lead to an adelic blichfeldt-type inequality, complementing former results.
Let $L_1,\dots,L_s$ be line bundles on a smooth variety $X\subset \mathbb{P}^r$ and let $D_1,\dots,D_s$ be divisors on $X$ such that $D_i$ represents $L_i$. We give a probabilistic algorithm for computing the degree of intersections of…
The predictions of quantum mechanics cannot be resolved with a completely classical view of the world. In particular, the statistics of space-like separated measurements on entangled quantum systems violate a Bell inequality. We put forward…
It is a recent realization that many of the concepts and tools of causal discovery in machine learning are highly relevant to problems in quantum information, in particular quantum nonlocality. The crucial ingredient in the connection…
We extend the method of layer potentials to manifolds with boundary and cylindrical ends. To obtain this extension along the classical lines, we have to deal with several technical difficulties due to the non-compactness of the boundary,…
A new algorithm for deciding the satisfiability of polynomial formulas over the reals is proposed. The key point of the algorithm is a new projection operator, called sample-cell projection operator, custom-made for Conflict-Driven Clause…
The Figiel-Lindenstrauss-Milman inequality is a fundamental inequality in the combinatorial theory of polytopes. It is classically obtained as a corollary of Milman's version of Dvoretzky's theorem. The goal of this paper is to provide a…
We prove regularity for a class of boundary value problems for first order elliptic systems, with boundary conditions determined by spectral decompositions, under coefficient differentiability conditions weaker than previously known. We…
Information causality was initially proposed as a physical principle aimed at deriving the predictions of quantum mechanics on the type of correlations observed in the Bell experiment. In the same work, information causality was famously…
This paper analyzes three forms of representation of Boolean functions, such as Classical, Algebraic and Reed-Muller. The concept of intersection and subsets of representation forms have been introduced, moreover suitable criteria for…
For a multipartite correlation experiment with an arbitrary number of settings and any spectral type of outcomes at each site, we introduce a single general representation incorporating in a unique manner all Bell-type inequalities for…
We remind the viewpoint that violation of Bell's inequality might be interpreted not only as an evidence of the alternative -- either nonlocality or ``death of reality'' (under the assumption the quantum mechanics is incomplete). Violation…
Multisymplectic geometry is an adequate formalism to geometrically describe first order classical field theories. The De Donder-Weyl equations are treated in the framework of multisymplectic geometry, solutions are identified as integral…
An integral equation method for solving the Yukawa-Beltrami equation on a multiply-connected sub-manifold of the unit sphere is presented. A fundamental solution for the Yukawa-Beltrami operator is constructed. This fundamental solution can…
Based on a geometrical argument introduced by Zukowski, a new multisetting Bell inequality is derived, for the scenario in which many parties make measurements on two-level systems. This generalizes and unifies some previous results.…