Uncertain programs have been developed to deal with optimization problems including inexact data, i.e., uncertainty. A deterministic approach called robust optimization is commonly applied to solve these problems. Recently, Calafiore and Campi have proposed a randomized approach based on sampling of constraints, where the number of samples is determined so that only small portion of original co...

Four topics in theory of CP violation are reviewed. (a) CP violation in B decays: We describe a new clean way of constraining the angle γ of the unitarity triangle and how new CP violation in decay amplitudes can signal new physics. (b) CP violation inK decays: We explain the special features of the decay KL → π νν̄ both as a measurement of Standard Model CP violating parameters and as a probe o...

Three possibilities for the origin of CP violation are discussed: (1) the Standard Model in which all CP violation is due to one parameter in the CKM matrix, (2) the superweak model in which all CP violation is due to new physics and (3) the Standard Model plus new physics. A major goal of B physics is to distinguish these possibilities. CP violation implies time reversal violation (TRV) but di...

(Dated: April 8, 2008) We reconsider the origin of CP violation in fundamental theory. Existing string models of spontaneous CP violation make ambiguous predictions, due to the arbitrariness of CP transformation and the apparent non-invariance of the results under duality. We find an unambiguous modular CP invariance condition, applicable to predictive models of spontaneous CP violation, which ...

A interacting theory that violates CPT invariance necessarily violates Lorentz invariance. On the other hand, CPT invariance is not sufficient for out-of-cone Lorentz invariance. Theories that violate CPT by having different particle and antiparticle masses must be nonlocal.

We investigate the implications of R-Parity violation (RPV) for quark flavour violation both by constraining the sneutrino masses to be positive and by studying the processes b → sγ and K − K̄ mixing. In the latter there are two major contributions, one from “direct” one loop diagrams involving RPV couplings, and one from the “indirect” contributions generated by the renormalisation group. We co...

Safe data abstractions are widely used for verification purposes. Positive verification results can be transferred from the abstract to the concrete system. When a property is violated in the abstract system, one still has to check whether a concrete violation scenario exists. However, even when the violation scenario is not reproducible in the concrete system (a false negative), it may still c...

Until now the focus within the direct search for supersymmetry has mainly been on flavour diagonal observables. Recently lepton flavour violating signals at future electron positron colliders have been studied. There is now an opportunity to analyse the relations between collider observables and lowenergy observables in the hadronic sector. In a first work in this direction, we study flavour vi...