Implications of the measurement of the B⁰_s-bar B⁰_s mass difference

We analyze the significant new model independent constraints on extensions of the standard model (SM) that follow from the recent measurements of the B^0_s-\bar B^0_s mass difference. The time-dependent CP asymmetry in B_s -> \psi\phi, S_{\psi\phi}, will be measured with good precision in the first year of LHC data taking, which will further constrain the parameter space of many extensions of the SM, in particular, next-to-minimal flavor violation. The CP asymmetry in semileptonic B_s decay, A_{SL}^s, is also important to constrain these frameworks, and could give further clues to our understanding the flavor sector in the LHC era. We point out a strong correlation between S_{\psi\phi} and A_{SL}^s in a very broad class of new physics models.