Method to study $CP$ violation in $B_s^0\to K_S K^\pm \pi^\mp$ decays

이 논문은 약한 위상 $\phi_s^{\rm eff}$를 정밀하게 측정하고 새로운 CP 위반의 기원을 탐색하기 위해, Laura++ 패키지에 구현되어 의사 실험(pseudoexperiments)을 통해 검증된, $B_s^0\to K_S K^\pm \pi^\mp$ 붕괴에 대한 새로운 동시 태깅 시간 의존 달릿 플롯(simultaneous tagged decay-time-dependent Dalitz-plot) 분석 방법의 제안 및 타당성 입증을 다룬다.

핵심

우주가 거대하고 복잡한 댄스 플로어이고, **B-중간자(B-meson)**라고 불리는 아주 작은 입자들이 무용수라고 상상해 보세요. 물리학자들은 이 춤의 규칙을 이해하여 그것이 "표준 모델"(현재의 물리학 규칙서)과 일치하는지, 아니면 우리가 아직 발견하지 못한 새로운 규칙("새로운 물리학")이 있는지 알고 싶어 합니다.

이 논문은 특정한, 까다로운 춤 동작에 관한 것입니다: 바로 $B^0_s$ 중간자가 세 개의 다른 입자($K^0_S$, $K$, $\pi$)로 붕괴(춤을 추며 흩어짐)하는 과정입니다.

다음은 저자들이 수행한 작업을 쉬운 비유를 사용하여 정리한 내용입니다:

1. 미스터리: "왼손잡이" 대 "오른손잡이" 무용수

입자의 세계에는 **CP 위반(CP violation)**이라는 개념이 있습니다. 이것을 이렇게 생각해 보세요: 만약 어떤 입자가 붕괴하는 영상을 찍은 뒤, 그 영상을 거꾸로 재생하거나(또는 거울에 비친 모습으로 본다면), 원래와 똑같이 보일까요?

• 표준 모델: 보통은 그렇습니다. 춤은 정방향이나 역방향이나 똑같아 보입니다.
• 목표: 저자들은 정방향 버전이 역방향 버전과 다르게 보이는 춤을 찾고 있습니다. 이러한 차이를 발견하는 것이 "새로운 물리학"을 찾아내는 결정적 증거(smoking gun)가 됩니다.

2. 도전 과제: 2단계 댄스 루틴

보통 물리학자들은 한 번에 한 종류의 춤만 연구합니다. 하지만 이 특정 붕와의 붕괴는 특별합니다. 왜냐하면 이 붕괴는 서로 거울 쌍을 이루는 두 가지 다른 방식(두 가지 최종 상태)으로 일어날 수 있기 때문입니다.

• 문제: "CP 위반"을 포착하려면, 단 한 명의 무용수만 관찰해서는 안 됩니다. 두 명의 무용수를 동시에 관찰하고, 시간의 흐름에 따라 프레임 단위로 그들의 움직임을 비교해야 합니다.
• 비유: 왼손잡이 테니스 선수와 오른손잡이 테니스 선수의 미세한 차이를 찾아내려고 한다고 상상해 보세요. 왼손잡이 선수만 보고 있다면, 그 선수가 이상한 동작을 하고 있는지 알 수 없습니다. 두 선수 모두를 코트 위에서 동시에 지켜보며, 모든 스윙과 모든 발걸음, 그리고 코트에 머무는 시간을 비교해야만 합니다.

3. 방법론: "달리-플롯(Dalitz-plot)" 지도

저자들은 이 데이터를 분석하기 위한 새로운 방법인 달리-플롯 분석을 제안합니다.

• 지도: 모든 점이 입자들이 어떤 방식으로 흩어질 수 있는지를 나타내는 도시의 지도라고 상상해 보세요.
• 시간 요소: 이것은 단순한 정지된 지도가 아닙니다. 이것은 영화입니다. 저자들은 이 지도 위에서 무용수들이 시간에 따라 어떻게 움직이는지를 관찰하는 방법을 만들고 있습니다.
• 태그(Tag): 이 작업이 성공하려면, 어떤 무용수가 처음에 "왼손잡이" 버전이었고 어떤 무용수가 "오른손잡이" 버전이었는지 알아야 합니다. 이것을 "플레이버 태깅(flavor tagging)"이라고 합니다. 마치 경주 시작 시 한 무용수에게는 빨간 모자를, 다른 무용수에게는 파란 모자를 씌워 놓는 것과 같습니다.

4. 실험: "가짜" 댄스 플로어

LHCb 실험으로부터 이 복잡한 분석을 수행할 만큼 충분한 실제 데이터가 아직 없기 때문에, 그들은 시뮬레이션(소위 "의사 실험(pseudoexperiments)")을 구축했습니다.

• 시뮬레이션: 그들은 미래의 LHCb(특히 Run 1, 2, 3)가 수집할 실제 데이터를 흉내 내는 500개의 "가짜" 데이터셋을 생성하는 컴퓨터 프로그램을 만들었습니다.
• 테스트: 그들은 자신들이 코드 안에 심어놓은 숨겨진 "CP 위반" 신호를 이 새로운 분석 방법이 성공적으로 찾아낼 수 있는지 확인하기 위해, 이 가짜 데이터셋들을 분석법에 입력했습니다.

5. 결과: 성공이다!

이 논문은 그들의 새로운 방법이 **실행 가능하다(feasible)**고 주장합니다.

• 성공: "가짜" 실험을 실행했을 때, 이 방법은 숨겨진 매개변수들을 성공적으로 복구해 냈습니다. 즉, 두 가지 춤 스타일의 차이를 구별해 낼 수 있었고, "약한 위상 차이(weak phase difference, CP 위반의 각도)"를 매우 정밀하게 측정할 수 있었습니다.
• 정밀도: 저자들은 현재 LHCb가 수집하고 있는 데이터(Run 1–3)를 통해 이 각도를 매우 정확하게 측정할 수 있음을 발견했습니다. 만약 더 많은 데이터(Run 4–6)를 기다린다면, 정밀도는 훨씬 더 높아질 것입니다.
• 도구: 그들은 이미 이 방법을 **Laura++**라는 소프트웨어 패키지에 구축해 두었으며, 다른 과학자들이 이를 사용할 수 있습니다.

6. 이것이 중요한 이유

• 새로운 물리학: 만약 실제 데이터가 도착했을 때 표준 모델이 예측하는 것과 다른 결과를 보여준다면, 그것은 그림자 속에 숨어 있는 새로운 물리학이 존재한다는 의미입니다.
• 청사진: 이 논문은 단 하나의 붕괴만을 연구하는 것이 아니라, 두 개의 거울 이미지 결과를 갖는 모든 복잡한 입자 붕괴를 연구하는 방법론에 대한 청사진(레시피)을 제공합니다.

요약

이 논문을 매우 어려운 탐정 게임을 위한 훈련 매뉴얼이라고 생각하세요. 저자들은 두 개의 거울 이미지 입자 춤을 시간에 따라 비교하는 새로운 방법을 발명했습니다. 그들은 컴퓨터 시뮬레이션을 통해 이 방법이 작동함을 증명했습니다. 이제 그들은 이 방법을 실제 거대 강입자 충돌기(LHC)에서 나오는 실제 데이터에 적용하여, 우주에 아직 발견되지 않은 비밀스러운 규칙 파괴 동작이 남아 있는지 확인할 준비가 되었습니다.

기술 요약

기술 요약: $B^0_s \to K^0_S K^\pm \pi^\mp$ 붕괴에서의 CP 위반 연구 방법

문제 및 동기
무차기(charmless) $B$-중간자 붕괴에서의 CP 위반 연구는 표준 모형(SM)을 검증하고 새로운 물리학(NP)을 탐색하는 데 필수적이다. $B^0_s \to K^0_S K^\pm \pi^\mp$ 붕괴 채널은 특히 주목할 만하다. 표준 모형에서 중간 단계의 $K^{*0}$ 공명 상태가 관여할 때, 이 붕계는 단일 $t$-루프 펜귄 다이어그램에 의해 지배되며, 이는 직접적인 CP 위반과 혼합 유도 CP 위반이 없음을 의미한다(약한 위상 차이가 사라지기 때문). 반대로, $K^{*\pm}$ 공명 상태가 관여할 때는 트리 레벨 다이어그램이 기여하여 CP 위반을 허용하고 CKM 각도 $\gamma$에 대한 민감도를 가질 수 있다.

이러한 붕괴에서 전체 CP 위반 관측량을 얻기 위해서는 맛깔 태깅(flavor-tagged)된 붕괴 시간 의존 달립-플롯(decay-time-dependent Dalitz-plot) 분석이 필요하다. 단일 자기 공액 최종 상태(예: $B^0 \to K^0_S \pi^+ \pi^-$)나 4체 붕괴에 대해서는 이러한 분석이 수행된 바 있으나, 두 가지 전하 공액 최종 상태($K^0_S K^+ \pi^-$ 및 $K^0_S K^- \pi^+$)를 동시에 분석하는 붕괴 시간 의존 분석은 수행된 적이 없다. 현재의 LHCb Run 1 및 Run 2 데이터는 맛깔 태깅 분석을 위한 통계량이 부족하지만, Run 3 데이터셋(및 향후 런)은 충분한 수율을 제공할 것으로 기대된다.

방법론
저자들은 두 가지 최종 상태 $f \equiv K^0_S K^+ \pi^-$ 및 $\bar{f} \equiv K^0_S K^- \pi^+$에 대해 동시에 맛깔 태깅된 붕괴 시간 의존 달립-플롯 분석을 수행하기 위한 형식론과 방법을 제안한다.

1. 형식론: 처음에 생성된 $B^0_s$ 및 $\bar{B}^0_s$ 중간자가 $f$ 및 $\bar{f}$로 붕괴하는 미분 붕괴 폭은 붕괴 시간 $t$와 위상 공간 변수 $\Phi_3$의 함수로 표현된다. 이 방정식은 $B^0_s$-$\bar{B}^0_s$ 혼합 파라미터($\Delta m_s, \Delta \Gamma_s, q/p$)와 붕괴 진폭($A_f, \bar{A}_f, A_{\bar{f}}, \bar{A}_{\bar{f}}$)을 포함한다. CP 위반은 진폭 크기의 차이(직접 CPV)와 혼합과 붕괴 사이의 간섭(혼합 유도 CPV)을 통해 나타나며, 이는 유효 약한 위상 차이 $\phi^{\text{eff}}_s$로 특징지어진다.
2. 진폭 모델: 붕괴 진폭은 중간 공명 상태들의 기여를 합산하는 아이소바(isobar) 형식론을 사용하여 구성된다. 타당성 조사(feasibility study)를 위해, $K^*(892)$ 공명 상태($K^{*0}, K^{*+}, K^{*-}$)만을 포함하는 단순화된 모델이 채택되었다. 복소 계수($c_i$)는 CP 보존 부분($c$)과 CP 위반 부분($\Delta c$)으로 분해된다.
3. 의사 실험 설정: 이 방법은 Laura++ 달립-플롯 분석 패키지에 구현되었다. 의사 실험은 LHCb Run 1–3 데이터셋(총 수율 약 130,000개, 유효 태깅 수율 약 6,500개)을 기반으로 생성되었다.
4. 피팅 전략: 500개의 의사 실험 세트(ensemble)에 대해 비정형 최대 가능도 피팅(unbinned maximum-likelihood fit)을 수행한다. 피팅 모호성을 해결하기 위해 다음과 같은 특정 제약 조건이 적용된다:
   • 참조 진폭 계수 $c_-$는 1로 고정한다.
   • $\Delta c_-$의 허수부는 0으로 설정한다.
   • $A_{\bar{f}}$와 $\bar{A}_{\bar{f}}$ 사이의 상대적 위상에 대한 제약 조건을 적용한다.
   • $\pi$-모호성을 해결하기 위해 $\phi^{\text{eff}}_s$의 해를 입력값의 $\pm \pi/3$ 이내로 제한한다.
   • 전역 최솟값(global minimum)으로의 수렴을 보장하기 위해 의사 실험당 100개의 무작위 시작점을 사용한 피팅을 수행한다.

주요 기여

• 새로운 분석 프레임워크: 본 논문은 두 가지 전하 공액 최종 상태에 대해 동시에 맛깔 태깅된 붕괴 시간 의존 달립-플롯 분석을 수행하는 방법을 최초로 제시한다.
• 구현: 이 방법은 Laura++ 패키지에 구현되어, 이 부류의 측정에 대한 기준 프레임워크를 확립한다.
• 민감도 연구: 저자들은 다양한 모델 구성(크기, 위상 변화 및 $K^*$ 진폭에서의 CP 위반 도입)에 따라 유효 약한 위상 $\phi^{\text{eff}}_s$와 진폭 계수의 CP 위반 위상에 대한 민감도를 평가한다.

결과

• 타당성: 의사 실험은 $\phi^{\text{eff}}_s$와 진폭 계수를 포함한 입력 파라미터들이 신뢰성 있게 결정될 수 있음을 입증한다.
• $\phi^{\text{eff}}_s$의 정밀도: LHCb Run 1–3 데이터셋에 대해, $\phi^{\text{eff}}_s$에 대한 통계적 정밀도는 약 26 mrad 달성이 가능하다. 이는 현재 $B^0_s \to J/\psi \phi$를 사용하는 LHCb/CMS의 측정치(22 mrad)와 유사하며, $B^0_s \to \phi \phi$(75 mrad)보다는 현저히 높다.
• 진폭 위상의 정밀도: CP 위반 진폭 성분의 위상($\arg(\Delta c_0), \arg(\Delta \bar{c}_0)$)에 대한 민감도는 더 낮으며, 불확정성은 약 200 mrad 수준이다. 이는 참조 전하 $K^*$ 진폭과 중성 $K^*$ 진폭 사이의 위상 공간 중첩이 제한적이기 때문이다.
• 미래 전망: 통계량을 예상되는 LHCb Run 4(60 fb$^{-1}$) 및 Run 6(300 fb$^{-1}$) 데이터셋으로 확장할 경우, $\phi^{\text{eff}}_s$에 대한 예상 불확정성은 휘도(luminosity)의 역제곱근 스케일링을 따라 각각 17 mrad 및 8.6 mrad로 개선된다.
• 모델 의존성: $\phi^{\text{eff}}_s$에 대한 정밀도는 기저의 진폭 모델에 따라 달라짐이 나타났다. 준-이체(quasi-two-body) 극한에서는 강한 위상 차이가 $\pm \pi/2$에 접근할 때 민감도가 감소한다. 그러나 저자들은 추가적인 공명 상태(예: $K^*_0(1430)$)를 포함하는 더 현실적인 모델이 이러한 의존성을 줄일 가능성이 높다고 언급했다.

의의 및 주장
본 논문은 제안된 방법이 LHCb Run 3 데이터셋을 통해 $B^0_s \to K^0_S K^\pm \pi^\mp$ 붕괴에서의 CP 위반을 측정하는 경로를 제공하며 실현 가능하다는 것을 주장한다. 이 연구는 향-후 데이터 분석(Run 4 및 그 이후)을 위한 필수적인 기준을 확립한다. 저자들은 현재 연구가 단순화된 모델을 사용하고 실험적 효과(배경, 분해능, 태깅 결함)를 무시했음에도 불구하고, 입증된 민감도가 흥미로운 수준의 정밀도를 달성할 수 있음을 시사한다고 강조한다. 또한 이 방법은 여러 최종 상태를 가진 다른 다체 붕괴로 확장 가능하다. 대응하는 $B^0 \to K^0_S K^\pm \pi^\mp$ 붕괴는 $B^0_s$와 $B^0$ 시스템 사이의 진폭을 연결하여 해론적 불확정성을 제어할 수 있는 U-spin 대칭을 활용할 수 있는 미래의 목표로 강조된다.