相关论文: Boole-Bell-type inequalities in Mathematica
In algebraic geometry, one studies the solutions to polynomial equations, or, equivalently, to linear partial differential equations with constant coefficients. These lecture notes address the more general case when the coefficients are…
We give new improvements to the Chudnovsky-Chudnovsky method that provides upper bounds on the bilinear complexity of multiplication in extensions of finite fields through interpolation on algebraic curves. Our approach features three…
We extend the Euler-Bernoulli beam problem, formulated as a matrix string equation with a matrix-valued density, to a setting where the density takes values in a Clifford algebra, and we analyze its isospectral deformations. For discrete…
The computer program `Fecom.nb' implementing the Fedosov *-product in Darboux coordinates is presented. It has been written in Mathematica 6.0 but it can be easily modified to be run in some earlier version of Mathematica. To optimize…
Using technique of wheeled props we establish a correspondence between the homotopy theory of unimodular Lie 1-bialgebras and the famous Batalin-Vilkovisky formalism. Solutions of the so called quantum master equation satisfying certain…
It is stated that Boolean set algebras with unit V, where V is a union of Cartesian products, are axiomatizable. The axiomatization coincides with that of cylindric polyadic equality algebras (class CPE). This is an algebraic representation…
A multivariate interpolation formula (MVIF) over finite fields is presented by using the proposed Kronecker delta function. The MVIF can be applied to yield polynomial relations over the base field among homogeneous symmetric rational…
We investigate the differential calculus defined by Ashtekar and Lewandowski on projective limits of manifolds by means of cylindrical smooth functions and compare it with the C^infty calculus proposed by Froehlicher and Kriegl in more…
We show that the noncontextual inequality proposed by Klyachko et al. [Phys. Rev. Lett. 101, 020403 (2008)] belongs to a broader family of inequalities, one associated to each compatibility structure of a set of events (a graph), and its…
We prove uniqueness of self-similar profiles for the one-dimensional inelastic Boltzmann equation with moderately hard potentials, that is with collision kernel of the form | $\bullet$ | $\gamma$ for $\gamma$ > 0 small enough (explicitly…
We present educational material about Bell inequalities in the context of quantum computing. In particular, we provide software tools to simulate their violation, together with a guide for the classroom discussion. The material is organized…
A classification, according to invariant theory, of non-constant invariant Abel ODEs known as solvable and found in the literature is presented. A set of new integrable classes depending on one or no parameters, derived from the analysis of…
We study the polyhedral convex hull structure of a mixed-integer set which arises in a class of cardinality-constrained concave submodular minimization problems. This class of problems has an objective function in the form of $f(a^\top x)$,…
A remarkable and important property of face numbers of simplicial polytopes is the generalized lower bound inequality, which says that the $h$-numbers of any simplicial polytope are unimodal. Recently, for balanced simplicial $d$-polytopes,…
Bohl dichotomy is a notion of hyperbolicity for linear nonautonomous difference equations that is weaker than the classical concept of exponential dichotomy. In the class of systems with bounded invertible coefficient matrices which have…
Nonlocality is one of the key features of quantum physics, which is revealed through the violation of a Bell inequality. In large multipartite systems, nonlocality characterization quickly becomes a challenging task. A common practice is to…
We present a simple family of Bell inequalities applicable to a scenario involving arbitrarily many parties, each of which performs two binary-outcome measurements. We show that these inequalities are members of the complete set of…
For the Bell scenario with two parties and two binary observables per party, it is known that the no-signaling polytope is the polyhedral dual (polar) of the Bell polytope. Computational evidence suggests that this duality also holds for…
In this comment we critically review an argument against the existence of objective physical outcomes, recently proposed by R. Healey [Foundations of Physics, 48(11), 1568-1589]. We show that his gedankenexperiment, based on a combination…
We present bipartite Bell-type inequalities which allow the two partners to use some non-local resource. Such inequality can only be violated if the parties use a resource which is more non-local than the one permitted by the inequality. We…