Azimuthal correlation between the (p⃗l,p⃗Xb)(\vec{p}_l,\vec{p}_{X_b}) and (p⃗l,P⃗t)(\vec{p}_l,\vec{P}_t) planes in the semileptonic rest frame decay of a polarized top quark: An O(αs)O(\alpha_s) effect

The azimuthal correlation between the planes formed by the vectors $(\vec{p}_\ell,\vec{p}_{X_b})$ and $(\vec{p}_\ell,\vec{P}_t)$ in the semileptonic rest frame decay of a polarized top quark $t(\uparrow) \to X_b + l^+ + \nu_\ell$ belongs to a class of polarization observables involving the top quark which vanish at the Born term level in the standard model. We determine the next--to--leading order QCD corrections to the afore-mentioned azimuthal correlation and compare the result to the corresponding contribution of a non--standard--model right--chiral quark current.Comment: latex, 12 pages with 2 figures in the text, typos removed,comment and references added, replaced with published versio

Island size distributions in submonolayer growth: successful prediction by mean field theory with coverage dependent capture numbers

We show that mean-field rate equations for submonolayer growth can successfully predict island size distributions in the pre-coalescence regime if the full dependence of capture numbers on both the island size and the coverage is taken into account. This is demonstrated by extensive Kinetic Monte Carlo simulations for a growth kinetics with hit and stick aggregation. A detailed analysis of the capture numbers reveals a nonlinear dependence on the island size for small islands. This nonlinearity turns out to be crucial for the successful prediction of the island size distribution and renders an analytical treatment based on a continuum limit of the mean-field rate equations difficult.Comment: 4 pages, 4 figue

Quark and Pole Models of Nonleptonic Decays of Charmed Baryons

Quark and pole models of nonleptonic decays of charmed baryons are analysed from the point of view of their symmetry properties. The symmetry structure of the parity conserving amplitudes that corresponds to the contribution of the ground-state intermediate baryons is shown to differ from the one hitherto employed in the symmetry approach. It is pointed out that the "subtraction" of sea quark effects in hyperon decays leads to an estimate of $W$-exchange contributions in charmed baryon decays that is significantly smaller than naively expected on the basis of $SU(4)$. An $SU(2)_{W}$ constraint questioning the reliability of the factorization technique is exhibited. Finally, a successful fit to the available data is presented.Comment: 25 pages, LATEX, 1643/PH IFJ Krako

Two-body Cabibbo-suppressed Decays of Charmed Baryons into Vector Mesons and into Photons

The heavy quark effective theory and the factorization approximation are used to treat the Cabibbo-suppressed decays of charmed baryons to vector mesons, $\Lambda_C\rightarrow p{\rho^0}, p\omega$, $\Xi_C^{+,0}\rightarrow\Sigma^{+,0}\phi, \Sigma^{+,0}{\rho^0}, \Sigma^{+,0}\omega$ and $\Xi_C^{0}\rightarrow\Lambda\phi, \Lambda\rho, \Lambda\omega$. The input from two recent experimental results on $\Lambda_C$ decays allows the estimation of the branching ratios for these modes, which turn out to be between $10^{-4}$ and $10^{-3}$. The long distance contribution of these transitions via vector meson dominance to the radiative weak processes $\Lambda_C\rightarrow p\gamma$, $\Xi_C\rightarrow\Sigma\gamma$ and $\Xi_C^0\rightarrow\Lambda\gamma$ leads to quite small branching ratios, $10^{-6}-10^{-9}$; the larger value holds if a sum rule between the coupling constants of the vector mesons is broken.Comment: 11 pages, latex, no figure

SU(3)_flavor analysis of two-body weak decays of charmed baryons

We study two-body weak decays of charmed baryons \Lambda_c and \Xi_c into an octet or decuplet baryon and a pseudoscalar meson employing the SU(3) flavor symmetry. Using certain measured Cabibbo-favored modes, we fix the reduced amplitudes and predict the branching ratios of various decays of charmed baryons in the Cabibbo-enhanced, -suppressed and -doubly suppressed modes.Comment: 25 pages, No figure, Phys. Rev. D (to appear

Exclusive Nonleptonic Decays of Bottom and Charm Baryons in a Relativistic Three-Quark Model: Evaluation of Nonfactorizing Diagrams

Exclusive nonleptonic decays of bottom and charm baryons are studied within a relativistic three-quark model with a Gaussian shape for the momentum dependence of the baryon-three-quark vertex. We include factorizing as well as nonfactorizing contributions to the decay amplitudes. For heavy-to-light transitions Q -> q u d the total contribution of the nonfactorizing diagrams amount up to approximately 60% of the factorizing contributions in amplitude, and up to approximately 30% for b -> c u d transitions. We calculate the rates and the polarization asymmetry parameters for various nonleptonic decays and compare them to existing data and to the results of other model calculations.Comment: 49 pages, LaTeX-fil

Symbolic Reachability Analysis of B through ProB and LTSmin

We present a symbolic reachability analysis approach for B that can provide a significant speedup over traditional explicit state model checking. The symbolic analysis is implemented by linking ProB to LTSmin, a high-performance language independent model checker. The link is achieved via LTSmin's PINS interface, allowing ProB to benefit from LTSmin's analysis algorithms, while only writing a few hundred lines of glue-code, along with a bridge between ProB and C using ZeroMQ. ProB supports model checking of several formal specification languages such as B, Event-B, Z and TLA. Our experiments are based on a wide variety of B-Method and Event-B models to demonstrate the efficiency of the new link. Among the tested categories are state space generation and deadlock detection; but action detection and invariant checking are also feasible in principle. In many cases we observe speedups of several orders of magnitude. We also compare the results with other approaches for improving model checking, such as partial order reduction or symmetry reduction. We thus provide a new scalable, symbolic analysis algorithm for the B-Method and Event-B, along with a platform to integrate other model checking improvements via LTSmin in the future

Exclusive semileptonic and nonleptonic decays of the Bc meson

We study exclusive nonleptonic and semileptonic decays of the Bc-meson within a relativistic constituent quark model previously developed by us. For the nonleptonic decays we use the factorizing approximation. We update our model parameters by using new experimental data for the mass and the lifetime of the Bc meson and the leptonic decay constants of the D-meson. We calculate the branching ratios for a large set of exclusive nonleptonic and semileptonic decays of the $B_c$ meson and compare our results with the results of other studies. As a guide for further experimental exploration we provide explicit formulas for the full angular decay distributions in the cascade decays Bc^- => J/psi(=> l^+l^-) + rho^-(=> pi^- pi^0) and Bc^- => J/psi(=> l^+l^-) + W^-(off-shell)(=> l^- + nubar).Comment: 19 pages, 2 figure

Infinite Momentum Frame Calculation of Semileptonic Heavy \Lambda_b\to\Lambda_c Transitions Including HQET Improvements

We calculate the transition form factors that occur in heavy $\Lambda$-type baryon semileptonic decays as e.g. in $\Lambda_{b} \to \Lambda_{c}^{+} + l^{-} + \bar{\nu}_{l}$. We use Bauer-Stech-Wirbel type infinite momentum frame wave functions for the heavy $\Lambda$-type baryons which we assume to consist of a heavy quark and a light spin-isospin zero diquark system. The form factors at $q^{2} = 0$ are calculated from the overlap integrals of the initial and final $\Lambda$-type baryon states. To leading order in the heavy mass scale the structure of the form factors agrees with the HQET predictions including the normalization at zero recoil. The leading order $\omega$-dependence of the form factors is extracted by scaling arguments. By comparing the model form factors with the HQET predictions at ${\cal O}(1/m_{Q})$ we obtain a consistent set of model form factors up to ${\cal O}(1/m_{Q})$. With our preferred choice of parameter values we find that the contribution of the non-leading form factor is practically negligible. We use our form factor predictions to compute rates, spectra and various asymmetry parameters for the semi-leptonic decay $\Lambda_{b} \to \Lambda_{c}^{+} + l^{-} + \bar{\nu}_{l}$.Comment: 24 pages, LaTeX, 6 figures are included in PostScript format. Final version of paper to appear in Phys.Rev.