Width difference in the Bs-B¯s system

We use the heavy quark expansion to investigate the width difference ΔΓ_Bs between the B_s mass eigenstates. The corrections of O(Λ_QCD/m_b) and O(m_s/m_b) to the leading-order expression in the operator product expansion are derived and estimated to yield a sizable reduction of the leading result for ΔΓ_Bs by typically 30%. For completeness we also quantify small effects due to penguin operators and CKM-suppressed contributions. Based on our results we discuss the prediction for (ΔΓ/Γ)_Bs with particular emphasis on theoretical uncertainties. We find (ΔΓ/Γ)_Bs=0.16^+0.11_-0.09, where the large error is dominated by the uncertainty in hadronic matrix elements. An accuracy of about 10% in (ΔΓ/Γ)_Bs should be within reach, assuming continuing progress in lattice calculations. In addition, we address phenomenological issues and implications of a ΔΓ_Bs measurement for constraints on ΔM_Bs and CKM parameters. We further consider in some detail the lifetime ratio τ(B_s)/τ(B_d) and estimate that, most likely, \|τ(B_s)/τ(B_d)-1\|<1%.