Isospin-based EWP-tree Relations

This paper demonstrates that electroweak penguin-tree relations can be derived using only isospin symmetry rather than full flavor SU(3) symmetry, revealing that applying these stricter SU(2) relations to the $B \to \pi K$ puzzle significantly exacerbates the discrepancy with the Standard Model to a 4–5$\sigma$ level.

The Gist

Imagine you are trying to solve a massive, complex jigsaw puzzle. The pieces are different types of particle collisions (specifically, how heavy "B" particles break apart into lighter particles). For decades, physicists have been trying to fit these pieces together to see if they match the "Standard Model," which is the rulebook for how the universe works at a tiny scale.

To make sense of the puzzle, physicists use a set of mathematical shortcuts called symmetries. Think of these symmetries as a way of grouping puzzle pieces that look similar.

The Old Way: The "Big Group" Shortcut

For a long time, scientists used a very broad grouping rule called SU(3) symmetry. Imagine you have a box of 100 different colored blocks. The SU(3) rule says, "Let's pretend all 100 blocks are basically the same color." This makes the math easier because you can treat many different particle collisions as if they were the same thing.

In 1998, scientists discovered a specific relationship within this big group: certain "tree" pieces (the main structure of the puzzle) are mathematically linked to "electroweak penguin" pieces (a specific, smaller type of connector). This link, called an EWP-tree relation, allowed physicists to fill in missing parts of the puzzle without having to measure everything directly.

The Problem: The "B → πK" Puzzle

There is a specific section of the jigsaw puzzle involving four specific particle collisions (called B → πK). Scientists have been trying to fit these four pieces together for about 20 years. They call it the "B → πK puzzle" because the pieces don't seem to fit perfectly with the Standard Model's rulebook.

Here's the catch: The four pieces in this specific section are actually only related by a smaller, more specific rule called Isospin (SU(2)). It's like saying, "These four blocks are all red," while the big SU(3) rule says, "All 100 blocks are red."

For years, physicists analyzed this specific puzzle section using the big SU(3) rule. They assumed the broad relationship between the "tree" and "penguin" pieces applied here, just like it did for the whole box of 100 blocks. Using this method, they found a mismatch with the Standard Model, but it was only a "medium" mismatch (about 2 to 3 times the size of a standard error).

The New Discovery: The "Small Group" Shortcut

In this paper, the authors say: "Wait a minute. If we are only looking at these four red blocks, we should use the 'red block' rule (Isospin), not the 'all blocks' rule (SU(3))."

They went back and derived a new set of EWP-tree relations specifically for the Isospin rule. They found that:

1. For some puzzles: The new rules look very similar to the old ones.
2. For the B → πK puzzle: The new rules are completely different from the old ones.

The Shocking Result

When the authors took the B → πK puzzle pieces and tried to fit them together using the correct, specific Isospin rules instead of the broad SU(3) rules, the result was dramatic.

• Old Method (Broad Rule): The puzzle looked slightly broken (2–3σ discrepancy).
• New Method (Specific Rule): The puzzle is shattered. The mismatch with the Standard Model jumped to 4–5σ.

In the world of physics, a "5σ" result is the gold standard for claiming a discovery. It means the odds of this being a fluke are less than one in a million. The authors are essentially saying, "We were using the wrong map to navigate this specific area. Once we used the right map, we realized the problem is much, much bigger than we thought."

Why This Matters (According to the Paper)

The paper argues that whenever scientists analyze a specific set of particle collisions that are linked by Isospin, they must use the Isospin-specific rules, not the broad SU(3) rules.

• For the "Alpha" angle: They show that using the new rules helps measure a specific angle (called $\alpha$) in the B → ππ puzzle more accurately by accounting for those tricky "penguin" pieces.
• For the "B → πK" puzzle: They show that a mathematical relationship between the measurements, which was previously thought to be only "approximately true," is actually exactly true under the new rules.

The Takeaway

The authors aren't saying the Standard Model is definitely wrong yet, but they are saying that previous analyses of the B → πK puzzle were using the wrong mathematical tools. By switching to the correct, more specific tools, the evidence against the Standard Model has become significantly stronger. It's like realizing you were trying to solve a Sudoku puzzle using the rules of Chess; once you switch to the right rules, the solution (or the problem) looks very different.

Technical Summary

Technical Summary: Isospin-based EWP-tree Relations

Problem Statement
The paper addresses a methodological inconsistency in the analysis of charmless hadronic $B \to PP$ decays (where $P$ is a light pseudoscalar meson). Historically, analyses of specific decay sets, such as the $B \to \pi K$ system, have utilized Electroweak Penguin (EWP)-tree relations derived under the assumption of full flavor $SU(3)_F$ symmetry. However, the amplitudes for $B \to \pi K$ decays are related solely by isospin symmetry ($SU(2)_I$), not the full $SU(3)_F$. The authors question whether the $SU(3)_F$ EWP-tree relations are appropriate for a system constrained only by $SU(2)_I$, and whether distinct EWP-tree relations exist that are valid strictly within the isospin framework.

Methodology
The authors employ group theory and the Wigner-Eckart theorem to derive EWP-tree relations under $SU(2)_I$ symmetry, treating $\Delta S = 0$ and $\Delta S = 1$ decays separately.

1. Operator Decomposition: The weak Hamiltonian is decomposed into tree, gluonic penguin, and electroweak penguin operators. The authors analyze the transformation properties of these operators under $SU(2)_I$ (isospin doublets and singlets) to identify reduced matrix elements (RMEs) that receive contributions only from tree and EWP operators, excluding gluonic penguins.
2. Derivation of Relations: For RMEs where gluonic penguins do not contribute, the EWP contributions are shown to be directly proportional to the tree contributions. This yields EWP-tree relations at the level of RMEs, which are then converted into diagrammatic relations (relating topological diagrams like $T, C, P, E, A$ and their EWP counterparts).
3. Comparison of Symmetries: The derived $SU(2)_I$ relations are compared against the established $SU(3)_F$ relations (derived by Gronau, Pirjol, and Yan).
4. Phenomenological Application: The authors apply these new relations to two specific cases:
   • $B \to \pi \pi$: Investigating the extraction of the CP phase $\alpha$.
   • $B \to \pi K$: Re-evaluating the "B $\to \pi K$ puzzle" by performing global fits to experimental data using both $SU(3)_F$ and $SU(2)_I$ EWP-tree relations. They also re-examine the observable relation $\delta_{\pi K}$, previously shown to be approximately zero under $SU(3)_F$ with theory input.

Key Contributions

• Existence of $SU(2)_I$ Relations: The paper demonstrates that EWP-tree relations exist even when only isospin symmetry is assumed. These relations are derived for six distinct sets of decays: three $\Delta S = 0$ sets ($B \to \pi \pi$, $B_s^0 \to \pi \bar{K}$, $B \to K \bar{K}$) and three $\Delta S = 1$ sets ($B \to \pi K$, $B_s^0 \to K \bar{K}$, $B_s^0 \to \pi \pi$).
• Divergence in $\Delta S = 1$: A critical finding is that the $SU(2)_I$ EWP-tree relations for $\Delta S = 1$ decays (specifically $B \to \pi K$) are structurally different from the $SU(3)_F$ relations. This difference arises because the weak Hamiltonian for $\Delta S = 1$ transitions transforms as the product of two fundamental representations and a singlet under $SU(2)_I$, whereas it transforms as the product of three fundamental representations under $SU(3)_F$.
• Exactness of $\delta_{\pi K} = 0$: The authors prove that the relation $\delta_{\pi K} = 0$ (a specific combination of CP asymmetries and branching ratios) is an exact consequence of $SU(2)_I$ symmetry and the derived $SU(2)_I$ EWP-tree relations. This holds without the need for the theoretical inputs (assumptions about diagram magnitudes and phases) required when using $SU(3)_F$ relations.
• Revised Fits to $B \to \pi K$ Data: The paper performs global fits to $B \to \pi K$ observables using the correct $SU(2)_I$ relations.

Results

• $\Delta S = 0$ Decays: The $SU(2)_I$ relations for $\Delta S = 0$ decays (e.g., $B \to \pi \pi$) are found to be similar to the $SU(3)_F$ relations. The authors show that these relations can be used to include EWP contributions in the extraction of the CP phase $\alpha$ from $B \to \pi \pi$ data without introducing theoretical uncertainty, effectively removing the need to neglect EWP diagrams.
• $\Delta S = 1$ Decays ($B \to \pi K$): When the $SU(2)_I$ EWP-tree relations are applied to the $B \to \pi K$ puzzle, the results differ significantly from previous analyses using $SU(3)_F$ relations:
  • Previous fits using $SU(3)_F$ relations typically found a discrepancy with the Standard Model (SM) at the level of $2\text{--}3\sigma$.
  • Fits using the correct $SU(2)_I$ relations, particularly when imposing theoretical constraints on the ratio of color-suppressed to color-allowed tree amplitudes ($|C/T| \approx 0.2$), yield a much larger discrepancy. The authors report a tension of $4\text{--}5\sigma$ with the SM.
  • Even with a looser constraint ($|C/T| = 0.5$), the $SU(2)_I$ fit remains in significant tension ($4.4\sigma$) compared to the $SU(3)_F$ fit, which becomes acceptable ($1.3\sigma$).

Significance
The paper argues that analyzing a set of hadronic $B$ decays whose amplitudes are related by isospin requires the use of $SU(2)_I$ EWP-tree relations specific to that set, rather than relations derived from the broader $SU(3)_F$ symmetry. The application of these correct relations to the $B \to \pi K$ system suggests that the "B $\to \pi K$ puzzle" represents a more severe deviation from the Standard Model than previously realized. The authors conclude that the use of $SU(3)_F$ relations in isospin-constrained systems may have masked the true magnitude of the discrepancy with the SM.