We formulate a set of Bell's inequalities for the system of two correlated neutral kaons coming from the decay of a φ-meson, without assuming CP and CP T invariance. We show that a non-vanishing value of the phenomenological parameter ε ′ would violate such inequalities, ruling out Bell's locality.

Since the 1964 discovery of KL → π+π− [1], understanding CP violation has been a major goal of particle physics. Subsequent experiments showed that the dominant mechanism of CP violation in neutral kaons (still the only particle system in which CP violation has been observed) is a small asymmetry between K0 → K and K → K0 mixing. This asymmetry, referred to as indirect CP violation, results in ...

The matrix cuts of Lovász and Schrijver are methods for tightening linear relaxations of zero-one programs by the addition of new linear inequalities. We address the question of how many new inequalities are necessary to approximate certain combinatorial problems with strong guarantees, and to solve certain instances of Boolean satisfiability. We show that relaxations of linear programs, obtain...

let $mathcal{a}$ be a banach algebra and $mathcal{m}$ be a banach $mathcal{a}$-bimodule. we say that a linear mapping $delta:mathcal{a} rightarrow mathcal{m}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{a} rightarrow mathcal{m}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{a}$. giving some facts concerning general...

Abstract This paper proposes a practically executable path planning method, namely, Pheromones-RRT(PRRT), for robots with large joint range in complex environment. To inter-activate the real world, point cloud is utilized as scene information, while sampling, pheromones approach designed to describe pheromone content carried by each sampling point. During process, random nodes are performed pro...

Most of the double-counting formulas were historically derived by approximating the Hubbard interaction term (defined with the help of matrix elements Eq. 33) by some static approximation, either in the atomic limit, or, in Hartree-Fock limit. Such static approximations were argued to be a good substitute for the LDA treatment of the Hubbard interaction. Hence, the problem arrose, because it is...

We prove that if ε ( m stretchy="false">) stretchy="false">→ 0 <...

In this chapter of the special issue of the journal ”Transport in Porous Media”, on the topic ”Flow and transport above permeable domains”, we present modeling of flow and transport above permeable domains using the homogenization method. Our goal is to develop a heuristic approach which can be used by the engineering community for treating this type of problems and which has a solid mathematic...