Lattice calculations of matrix elements relevant for kaon decays, and in particular for ε/ε, are reviewed. The rôle of the strange quark mass is also discussed. A comparison with other non-perturbative approaches used to compute kaon decay amplitudes is made. † Presented by G. Martinelli.

The present theoretical status of the parameter for direct CP violation ε/ε in the Standard Model is reviewed and compared with most recent experimental measurements of the same quantity. After collecting the basic expressions for ε/ε, the situation of hadronic matrix element calculations is summarised. The matrix elements constitute the dominant source of uncertainty for theoretical determinat...

where f : Rn → R and g : Rn → Rp are nonlinear continuous functions and Ω = {x ∈ Rn : −∞ < l ≤ x ≤ u < ∞}. Problems with equality constraints, h(x) = 0, can be reformulated into the above form by converting into a couple of inequality constraints h(x)− β ≤ 0 and −h(x)− β ≤ 0, where β is a small positive relaxation parameter. Since we do not assume that the objective function f is convex, the pr...

We describe new techniques to allow constraint driven design using spatial augmented reality (SAR), using projectors to animate a physical prop. The goal is to bring the designer into the visual working space, interacting directly with a dynamic design, allowing for intuitive interactions, while gaining access to affordance through the use of physical objects. We address the current industrial ...

In this paper, we study the theoretical properties of a class of iteratively re-weighted least squares (IRLS) algorithms for sparse signal recovery in the presence of noise. We demonstrate a one-toone correspondence between this class of algorithms and a class of Expectation-Maximization (EM) algorithms for constrained maximum likelihood estimation under a Gaussian scale mixture (GSM) distribut...

The design structure matrix (DSM) and its formal counterpart, the augmented constraint network (ACN), have been used to explicitly model software design decisions, design rules and the resulting modular structure. To address the difficulty of modeling software design in terms of decisions, we formally define the decisions and their assumption relations embedded within UML class diagrams and aut...

We analyse the CP violation in supersymmetric models with Hermitian Yukawa and trilinear couplings. We show that Hermitian Yukawa matrices can be implemented in supersymmetric models with SU(3) flavor symmetry. An important feature of this class of models is that the supersymmetric contributions to the EDM of the neutron and mercury atom are suppressed. In this framework, εK can be saturated by...

I shortly review the present status of the theoretical calculations of ε/ε and the comparison with the present experimental results. I discuss the role of higher order chiral corrections and in general of non-factorizable contributions for the explanation of the ∆I = 1/2 selection rule and direct CP violation in kaon decays. Still lacking satisfactory lattice calculations, analytic methods and ...