Related papers: Boole-Bell-type inequalities in Mathematica
A method for deforming C*-algebras is introduced, which applies to C*-algebras that can be described as the cross-sectional C*-algebra of a Fell bundle. Several well known examples of non-commutative algebras, usually obtained by deforming…
The 1-in-3 and Not-All-Equal satisfiability problems for Boolean CNF formulas are two well-known NP-hard problems. In contrast, the promise 1-in-3 vs. Not-All-Equal problem can be solved in polynomial time. In the present work, we…
We give a Lie-theoretic explanation for the convex polytope which parametrizes the globally smooth solutions of the topological-antitopological fusion equations of Toda type (tt$^*$-Toda equations) which were introduced by Cecotti and Vafa.…
The main topic is the development of a Fredholm theory in a new class of spaces called M-polyfolds. In the subsequent Volume II the theory will be generalized to an even larger class of spaces called polyfolds, which can also incorporate…
Relatively few families of Bell inequalities have previously been identified. Some examples are the trivial, CHSH, I_{mm22}, and CGLMP inequalities. This paper presents a large number of new families of tight Bell inequalities for the case…
We show that Bell inequalities can be violated in the macroscopic world. The macroworld violation is illustrated using an example involving connected vessels of water. We show that whether the violation of inequalities occurs in the…
We describe a new Maple package for treating boundary problems for linear ordinary differential equations, allowing two-/multipoint as well as Stieltjes boundary conditions. For expressing differential operators, boundary conditions, and…
Bell inequalities are derived for any number of observers, any number of alternative setups for each one of them, and any number of distinct outcomes for each experiment. It is shown that if a physical system consists of several distant…
We discuss Born-Infeld type fields (tachyon fields) in classical and quantum cosmology. We first partly review and partly extend the discussion of the classical solutions and focus in particular on the occurrence of singularities. For…
Interpolation inequalities play an important role in the study of PDEs and their applications. There are still some interesting open questions and problems that related to integral estimates and regularity of solutions to the elliptic…
We present boundary-integral equations for Maxwell-type problems in a differential-form setting. Maxwell-type problems are governed by the differential equation $(\delta\mathrm{d}-k^2)\omega = 0$, where $k\in\mathbb{C}$ holds, subject to…
The aim of the paper is to develop a general theory of solvability of linear inhomogeneous boundary-value problems for systems of ordinary differential equations of arbitrary order in Sobolev spaces. Boundary conditions are allowed to be…
Minkowski sums are of theoretical interest and have applications in fields related to industrial backgrounds. In this paper we focus on the specific case of summing polytopes as we want to solve the tolerance analysis problem described in…
We consider the bipartite boolean quadric polytope (BQP) with multiple-choice constraints and analyse its combinatorial properties. The well-studied BQP is defined as the convex hull of all quadric incidence vectors over a bipartite graph.…
A beautiful result of Br\"ocker and Scheiderer on the stability index of basic closed semi-algebraic sets implies, as a very special case, that every $d$-dimensional polyhedron admits a representation as the set of solutions of at most…
Extensions of the Boole--Frechet inequalities give sharp bounds for the probabilities of compound events, particularly when only the probabilities of atomic events (that make up the compound events) are known. We present a constructive…
In this paper we consider the possible correlations between two parties using local machines and shared randomness with an additional amount of classical communication. This is a continuation of the work initiated by Bacon and Toner in Ref.…
We consider the Fredholm one-dimensional boundary-value problems in Sobolev spaces.We have obtained several important results about the indixes of functional operators, the criterion of their correct well-posedness, the criterion of the…
Bell inequalities bound the strength of classical correlations between observers measuring on a shared physical system. However, studies of physical correlations can be considered beyond the standard Bell scenario by networks of observers…
Consider a set of $r$ convex $d$-polytopes $P_1,P_2,...,P_r$, where $d\ge{}3$ and $r\ge{}2$, and let $n_i$ be the number of vertices of $P_i$, $1\le{}i\le{}r$. It has been shown by Fukuda and Weibel that the number of $k$-faces of the…