On the effectiveness of run-time checks

Run-time checks are often assumed to be a cost-effective way of improving the dependability of software components, by checking required properties of their outputs and flagging an output as incorrect if it fails the check. However, evaluating how effective they are going to be in a future application is difficult, since the effectiveness of a check depends on the unknown faults of the program to which it is applied. A programming contest, providing thousands of programs written to the same specifications, gives us the opportunity to systematically test run-time checks to observe statistics of their effects on actual programs. In these examples, run-time checks turn out to be most effective for unreliable programs. For more reliable programs, the benefit is relatively low as compared to the gain that can be achieved by other (more expensive) measures, most notably multiple-version diversity

On-chip high-speed sorting of micron-sized particles for high-throughput analysis

A new design of particle sorting chip is presented. The device employs a dielectrophoretic gate that deflects particles into one of two microfluidic channels at high speed. The device operates by focussing particles into the central streamline of the main flow channel using dielectrophoretic focussing. At the sorting junction (T- or Y-junction) two sets of electrodes produce a small dielectrophoretic force that pushes the particle into one or other of the outlet channels, where they are carried under the pressure-driven fluid flow to the outlet. For a 40mm wide and high channel, it is shown that 6micron diameter particles can be deflected at a rate of 300particles/s. The principle of a fully automated sorting device is demonstrated by separating fluorescent from non-fluorescent latex beads

Electric dipole moments and b-τ\tau unification in the presence of an intermediate scale in SUSY grand unification

We show that an intermediate gauge symmetry breaking scale can be a significant source of electric dipole moments for the electron and neutron in supersymmetric grand unified theories. New phases, similar to that of the CKM matrix, appear which do not arise from the supersymmetry (SUSY) breaking operators. To illustrate, we choose some grand unified SUSY models having an intermediate gauge symmetry breaking scale with some attractive features. We also show how well the $b-\tau$ unification hypothesis works in this class of models.Comment: 14 pages(Latex), 2 PS Figures (uuencoded, epsf.tex

Towards a viable grand unified model with MG∼MstringM_G\sim M_{\rm string} and MI∼1012M_I\sim 10^{12} GeV

We present a model based on the gauge group SU(2)$_L\times$SU(2)$_R\times$SU(4)$_C$ with gauge couplings that are found to be unified at a scale $M_G$ near the string unification scale. The model breaks to the minimal supersymmetric standard model at a scale $M_I\sim 10^{12}$ GeV, which is instrumental in producing a neutrino in a mass range that can serve as hot dark matter and this scale can also solve the strong CP problem via Peccei-Quinn (PQ) mechanism with an invisible harmless invisible axion. We show how this model can accommodate low and high values of $\tan\beta$ and ``exotic" representations that often occur in string derived models. We show that this model has lepton flavor violation which can lead to processes which are one or two orders of magnitude below the current experimental limits.Comment: 16 pages(Latex), 1 PS Figures (uuencoded, epsf.tex), Typo in the archive title (not in the paper), no change in pape

A simple inert model solves the little hierarchy problem and provides a dark matter candidate

We discuss a minimal extension to the standard model in which two singlet scalar states that only interacts with the Higgs boson is added. Their masses and interaction strengths are fixed by the two requirements of canceling the one-loop quadratic corrections to the Higgs boson mass and providing a viable dark matter candidate. Direct detection of the lightest of these new states in nuclear scattering experiments is possible with a cross section within reach of future experiments.Comment: Finite corrections included. Model modified. Conclusion unchange

Nonleptonic two-body charmless B decays involving a tensor meson in ISGW2 model

Nonleptonic charmless B decays into a pseudoscalar (P) or a vector (V) meson accompanying a tensor (T) meson are re-analyzed. We scrutinize the hadronic uncertainties and ambiguities of the form factors which appear in the literature. The Isgur-Scora-Grinstein-Wise updated model (ISGW2) is adopted to evaluate the relevant hadronic matrix elements. We calculate the branching ratios and CP asymmetries for various $B\to P(V)T$ decay processes. With the ISGW2 model, the branching ratios are enhanced by about an order of magnitude compared to the previous estimates. We show that the ratios \calB(B\to VT)/\calB(B\to PT) for some strangeness-changing processes are very sensitive to the CKM angle $\gamma$ ($\phi_3$).Comment: 23 pages, REVTEX; minor clarifications included; to appear in Phys. Rev.

Atmospheric Neutrinos Can Make Beauty Strange

The large observed mixing angle in atmospheric neutrinos, coupled with Grand Unification, motivates the search for a large mixing between right-handed strange and bottom squarks. Such mixing does not appear in the standard CKM phenomenology, but may induce significant b to s transitions through gluino diagrams. Working in the mass eigenbasis, we show quantitatively that an order one effect on CP violation in B_d to phi+K_S is possible due to a large mixing between right-handed b and s squarks, while still satisfying constraints from b to s + gamma. We also include the effect of right- and left-handed bottom squark mixing proportional to m_b*mu*tan(beta). For small mu*tan(beta) there may also be a large effect in B_s mixing correlated with a large effect in B_d to phi+K_S, typically mixing effects are greater than 100 ps^{-1}, an unambiguous signal of new physics at Tevatron Run II.Comment: 32 pages, LaTeX. Corrected a factor of two mistake in the code; the possible impact on B -> phi K_s became larger. Figures and discussion updated, a reference adde

A study of semi-inclusive charmless B→πXB \to \pi X decays

We study semi-inclusive charmless decays $B \to \pi X$ in detail, such as $\bar B^0 \to \pi^{\pm (0)} X$, $B^0 \to \pi^{\pm (0)} X$, $B^{\pm} \to \pi^{\pm (0)} X$, where $X$ does not contain a charm (anti)quark. We find that the process $\bar B^0 \to \pi^- X$ ($B^0 \to \pi^+ X$) can be particularly useful for determination of the CKM matrix element $|V_{ub}|$. We calculate and present the branching ratio (BR) of $\bar B^0 \to \pi^- X$ as a function of $|V_{ub}|$, with an estimate of possible uncertainties. It is expected that the BR is an order of $10^{-4}$. Our estimation indicates that one can phenomenologically determine $|V_{ub}|$ with reasonable accuracy by measuring the BR of $\bar B^0 \to \pi^- X$ ($B^0 \to \pi^+ X$).Comment: 18 pages, 7 figures; Revtex; version accepted for publication in Eur. Phys. J.

Spontaneous CP Violating Phase as The CKM Matrix Phase

We propose that the CP violating phase in the CKM mixing matrix is identical to the CP phases responsible for the spontaneous CP violation in the Higgs potential. A specific multi-Higgs model with Peccei-Quinn (PQ) symmetry is constructed to realize this idea. The CP violating phase does not vanish when all Higgs masses become large. There are flavor changing neutral current (FCNC) interactions mediated by neutral Higgs bosons at the tree level. However, unlike general multi-Higgs models, the FCNC Yukawa couplings are fixed in terms of the quark masses and CKM mixing angles. Implications for meson-anti-meson mixing, including recent data on $D-\bar D$ mixing, and neutron electric dipole moment (EDM) are studied. We find that the neutral Higgs boson masses can be at the order of one hundred GeV. The neutron EDM can be close to the present experimental upper bound.Comment: 16 pages, RevTex. Several typos corrected, and one reference adde

Partial teleportation of entangled atomic states

In this paper we propose a scheme for partially teleporting entangled atomic states. Our scheme can be implemented using only four two-level atoms interacting either resonantly or off-resonantly with a single cavity-QED. The estimative of losses occurring during this partial teleportation process is accomplished through the phenomenological operator approach technique.Comment: 4 pages, 3 figure