相关论文: Boole-Bell-type inequalities in Mathematica

I review the relation of the Bell inequalities - characteristic of (classical) probabilities defined on Boolean logics - with noncontextual and local hidden variables theories of quantum mechanics and with quantum information.

This article summarizes joint work with A. Alekseev (Geneva) on the Duflo isomorphism for quadratic Lie algebras. We describe a certain quantization map for Weil algebras, generalizing both the Duflo map and the quantization map for…

A new diffuse interface model has been proposed in this study for simulating binary alloy solidification under universal cooling conditions, involving both equilibrium and non-equilibrium solute partitioning. Starting from the Gibbs-Thomson…

In 1978, Schaefer proved his famous dichotomy theorem for generalized satisfiability problems. He defined an infinite number of propositional satisfiability problems (nowadays usually called Boolean constraint satisfaction problems) and…

We present a family of Bell inequalities for three parties and arbitrarily many outcomes, which can be seen as a natural generalization of the Mermin Bell inequality. For a small number of outcomes, we verify that our inequalities define…

In recent years, it has been shown that some classical inequalities follow from a local stochastic dominance for naturally associated random polytopes. We strengthen planar isoperimetric inequalities by attaching a stochastic model to some…

Bell's inequalities can be understood in three different ways depending on whether the numbers featuring in the inequalities are interpreted as classical probabilities, classical conditional probabilities, or quantum probabilities. In the…

We lay some mathematically rigorous foundations for the resolution of differential equations with respect to semi-classical bases and topologies, namely Freud-Sobolev polynomials and spaces. In this quest, we uncover an elegant theory…

The article deals with operations defined on convex polyhedra or polyhedral convex functions. Given two convex polyhedra, operations like Minkowski sum, intersection and closed convex hull of the union are considered. Basic operations for…

In this expository paper, we discuss a unified framework for proving various geometric inequalities, based on the so-called Alexandrov-Bakelman-Pucci technique. Examples include Cabr\'e's proof of the classical isoperimetric inequality in…

In this work, we study a particular class of Bell inequalities involving only direct equality-comparisons of outcomes. This arises naturally when outcomes are difficult to characterize. For instance, if measurements yield smells, it may be…

We consider the diffeological version of the Clifford algebra of a (diffeological) finite-dimensional vector space; we start by commenting on the notion of a diffeological algebra (which is the expected analogue of the usual one) and that…

In this paper we provide an extension to the Jellett-Minkowski's formula for immersed submanifolds into ambient manifolds which possesses a pole and radial curvatures bounded from above or below by the radial sectional curvatures of a…

We construct counterexamples to classical calculus facts such as the Inverse and Implicit Function Theorems in Scale Calculus -- a generalization of Multivariable Calculus to infinite dimensional vector spaces in which the…

In this preprint we consider generalizations of discrete and integral Cauchy--Bunyakovskii inequalities by the method of mean values with some applications. Mostly the material is compiled as a short survey but some results are proved. Main…

Based on the combinatorial description of the moduli spaces of curves provided by Strebel differentials, Witten and Kontsevich have introduced combinatorial cohomology classes $W_{(m_0,m_1,m_2,\dots),n}$, and conjectured that these can be…

In quantum optics, nonclassicality of quantum states is commonly associated with negativities of phase-space quasiprobability distributions. We argue that the impossibility of any classical simulations with phase-space functions is a…

This paper describes the treatment of systematic uncertainties in a Likelihood formalism. RooUnfold, which includes most of the unfolding methods that are commonly used in particle physics, is used to compare a newly implemented method…

Bell's theorem cannot be proved if complementary measurements have to be represented by random variables which cannot be added or multiplied. One such case occurs if their domains are not identical. The case more directly related to the…

Using the braided version of Lawvere's algebraic theories and Mac Lane's PROPs, we introduce polynomial identities for arbitrary algebraic structures in a braided monoidal category C as well as their codimensions in the case when C is…