CHSH inequality always holds in bipartite qutrits with spin-1 observables

This paper resolves a conjecture by Hanotel and Loubenets by proving that all bipartite states on $\mathbb{C}^3 \otimes \mathbb{C}^3$, whether pure or mixed, satisfy the CHSH inequality when restricted to spin-1 observables.

The Gist

Here is an explanation of the paper using simple language, analogies, and metaphors.

The Big Picture: A Quantum "No-Go" Sign

Imagine you are playing a game with a friend who is on the other side of the world. You both have a special box (a qutrit, which is like a 3-sided die instead of a 2-sided coin). The goal of the game is to see if your boxes are "linked" by some spooky, invisible quantum magic (entanglement) that allows you to coordinate your answers better than any normal, pre-agreed strategy could.

In the quantum world, this game is called the CHSH inequality. Usually, if your boxes are linked by quantum magic, you can win the game more often than physics normally allows. This "violation" of the rules is the hallmark of quantum weirdness.

The Paper's Discovery:
This paper solves a mystery about a specific type of quantum box: the Spin-1 Qutrit.

• The Mystery: Some scientists guessed that if you restrict your measurements to a specific type of "spin" (like checking if a spinning top is pointing up, down, or sideways), even linked boxes might fail to show their quantum magic. They thought the CHSH inequality would always hold (meaning no violation).
• The Result: The author, Hyunho Cha, proves that the guess was right, but even stronger. He shows that NO matter how you link the boxes (pure or mixed states), if you only use these specific "spin" measurements, you cannot break the classical rules. The quantum magic is effectively "hidden" from this specific type of test.

---

The Analogy: The 3-Sided Die and the Magic Compass

To understand why this happens, let's use an analogy.

1. The Players (The Qutrits)

Imagine you and your friend each have a 3-sided die.

• Side 1: Top (+1)
• Side 2: Middle (0)
• Side 3: Bottom (-1)

In quantum mechanics, these aren't just dice; they are spinning tops that can be in a superposition of all three states at once.

2. The Measurements (The Spin Observables)

The paper focuses on a specific way of looking at these dice. Instead of asking "What number is showing?", you ask, "Which way is the top spinning?"

• You can check if it's spinning along the X-axis, Y-axis, or Z-axis.
• The author proves that no matter how you tilt your "compass" (the direction you choose to measure), the math of these specific spin-1 dice behaves in a very rigid way.

3. The "Spooky" Connection (Entanglement)

Usually, if two dice are entangled, they act like a single unit. If you tilt your compass one way, your friend's die instantly "knows" and tilts the other way, creating a correlation that breaks the CHSH limit (the classical speed limit for coordination).

However, the paper finds a "blind spot."
When you use these specific spin-1 measurements, the quantum dice behave as if they are following the old, boring rules of classical physics. The "spooky" connection is there, but this specific test cannot see it. It's like trying to see a ghost using a flashlight that only shines on solid objects; the ghost is there, but your light just doesn't catch it.

---

How the Author Proved It (The Detective Work)

The author didn't just guess; he did some heavy mathematical detective work. Here is the simplified version of his logic:

1. The Setup: He wrote down the "scorecard" for the game (the CHSH operator). This scorecard depends on the directions you choose to measure.
2. The Simplification (The Magic Trick): He realized that no matter how complicated your directions are, you can mathematically "rotate" the whole system so that the problem becomes much simpler.
   • Analogy: Imagine you are trying to solve a puzzle with pieces scattered in a messy room. The author found a way to rotate the room so that all the pieces line up perfectly in a straight line.
3. The Two-Parameter Model: After rotating, the complex 9-dimensional problem shrank down to a simple problem with just two numbers (let's call them $s$ and $t$).
   • The author proved that for any valid game setup, these two numbers always satisfy a rule: $s^2 + t^2 = 4$.
4. The Final Calculation: He calculated the maximum possible score (the "spectrum") for this simplified problem.
   • He found that the maximum score is exactly 2.
   • In the world of quantum games, a score of 2 is the classical limit. To prove quantum magic, you need a score higher than 2 (usually up to $2\sqrt{2}$).
   • Since the maximum possible score here is exactly 2, it is impossible to violate the inequality.

Why Does This Matter?

1. It Settles a Debate: Scientists had a conjecture (a guess) that this might be true. This paper turns that guess into a proven fact.
2. It Shows Limits of Quantumness: It teaches us that "quantumness" isn't a universal property that shows up in every test. If you choose the wrong tool (spin-1 measurements), you might miss the quantum effects entirely, even if they are there.
3. It's a "Stronger" Result: Previous guesses only applied to "pure" states (perfectly linked dice). This paper proves it applies to all states, even the messy, imperfect ones.

The Takeaway

Think of the CHSH inequality as a speed limit sign.

• Normal Quantum Particles (Qubits): Can sometimes speed past the limit if you measure them the right way.
• Spin-1 Qutrits (This Paper): No matter how you measure them with these specific tools, they never speed past the limit. They are stuck obeying the speed limit, even if they are entangled.

The author proved that for these specific 3-level quantum systems, the "spooky action at a distance" is invisible to the CHSH test. It's a beautiful example of how the rules of the quantum world depend entirely on how you choose to look at them.

Technical Summary

Here is a detailed technical summary of the paper "CHSH inequality always holds in bipartite qutrits with spin-1 observables" by Hyunho Cha.

1. Problem Statement

The paper addresses a specific conjecture proposed by Hanotel and Loubenets regarding the violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality in quantum systems with higher dimensions (qutrits).

• Context: In standard qubit systems ($2 \times 2$), entangled states can violate the CHSH inequality (up to the Tsirelson bound of$2\sqrt{2}$), demonstrating quantum non-locality.
• The Conjecture: Hanotel and Loubenets conjectured that for bipartite qutrit systems ($3 \times 3$), if the measurement observables are restricted to **spin-1 operators** (specifically linear combinations of the spin-1 matrices$S_x, S_y, S_z$), then no non-separable pure state can violate the CHSH inequality.
• The Gap: The conjecture was limited to pure states. The paper seeks to determine if this holds for all states (including mixed states) and to provide a rigorous proof.

2. Methodology

The author employs a combination of linear algebra, representation theory, and spectral analysis to reduce the complex CHSH operator to a manageable form.

A. Mathematical Setup

• Spin-1 Matrices: The observables are defined as $S(u) = u_x S_x + u_y S_y + u_z S_z$, where $S_x, S_y, S_z$ are the standard $3 \times 3$spin-1 matrices acting on$\mathbb{C}^3$.
• CHSH Operator: For unit vectors $a, a', b, b' \in \mathbb{R}^3$, the Bell operator is defined as:
  $$B(a, a', b, b') = S(a) \otimes S(b) + S(a) \otimes S(b') + S(a') \otimes S(b) - S(a') \otimes S(b')$$
• Goal: Prove that the operator norm $\|B\| \leq 2$, which implies $|\text{tr}(\rho B)| \leq 2$ for any density matrix $\rho$.

B. Reduction to a Two-Parameter Model

The core of the methodology involves simplifying the Bell operator through the following steps:

1. Matrix Representation: The Bell operator is expressed as $K(M) = \sum_{i,j} M_{ij} S_i \otimes S_j$, where $M = a(b+b')^T + a'(b-b')^T$.
2. Rank Analysis: Since $M$ is a sum of two rank-1 matrices, $\text{rank}(M) \leq 2$.
3. Rotational Covariance (Lemma 1): Using the property that spin-1 representations of $SO(3)$ rotate the operators ($U_R S(u) U_R^\dagger = S(Ru)$), the author shows that $K(M)$ is unitarily equivalent to $K(RMQ^T)$ for any rotation matrices $R, Q$.
4. Singular Value Decomposition (Lemma 2): By applying SVD, the matrix $M$ can be transformed into a diagonal form $\text{diag}(s, 0, t)$ via rotations. Consequently, the Bell operator $B$ is unitarily equivalent to a simplified operator:
   $$H_{s,t} = s S_x \otimes S_x + t S_z \otimes S_z$$
   where $s$ and $t$ are the singular values of $M$.
5. Constraint on Parameters (Lemma 3): The author proves that for the specific structure of $M$ derived from unit vectors, the singular values satisfy the constraint:
   $$s^2 + t^2 = 4$$

C. Spectral Analysis

The author computes the exact spectrum of the reduced operator $H_{s,t}$ by decomposing the Hilbert space $\mathbb{C}^3 \otimes \mathbb{C}^3$ into two invariant subspaces:

• $V_4$: Spanned by $\{|1,0\rangle, |0,1\rangle, |0,-1\rangle, |-1,0\rangle\}$.
• $V_5$: Spanned by $\{|1,1\rangle, |1,-1\rangle, |0,0\rangle, |-1,1\rangle, |-1,-1\rangle\}$.

By calculating the eigenvalues on these subspaces, the spectrum is found to be:
$$\text{spec}(H_{s,t}) = \{0, 0, 0, \pm s, \pm t, \pm \sqrt{s^2 + t^2}\}$$

3. Key Contributions

1. Proof of the Conjecture: The paper provides a rigorous proof confirming the Hanotel-Loubenets conjecture.
2. Generalization to Mixed States: The result is stronger than the original conjecture; it proves that no bipartite state (pure or mixed) violates the CHSH inequality under spin-1 measurements.
3. Exact Spectral Calculation: The paper derives the exact eigenvalues of the reduced Bell operator, showing that the maximum eigenvalue is exactly $\sqrt{s^2+t^2}$.
4. Tightness of the Bound: The author demonstrates that the bound of 2 is tight (achievable) using product states (e.g., $|1,1\rangle$ with specific measurement settings), proving that the limit is not just a theoretical upper bound but a reachable value.

4. Main Results

• Theorem 1: For every density operator $\rho$ on $\mathbb{C}^3 \otimes \mathbb{C}^3$ and any choice of unit vectors $a, a', b, b'$, the expectation value satisfies:
  $$|\text{tr}(\rho B(a, a', b, b'))| \leq 2$$
• Corollary: No two-qutrit state violates the CHSH inequality when restricted to spin-1 observables.
• Norm Calculation: The operator norm of the Bell operator is exactly $\|B\| = \sqrt{s^2 + t^2} = \sqrt{4} = 2$.

5. Significance

• Fundamental Quantum Limits: This work clarifies the boundary between classical and quantum correlations in higher-dimensional systems. It reveals that while qubits can exhibit strong non-locality (violation of CHSH), qutrits restricted to spin-1 observables behave "classically" regarding the CHSH inequality, regardless of entanglement.
• Observables Matter: The result highlights that the choice of observables is critical. The inability to violate CHSH is specific to the spin-1 representation. If other observables (e.g., general Hermitian operators) were allowed, violations might still be possible.
• Methodological Utility: The reduction technique (using rotational covariance to map a complex 9-parameter problem to a 2-parameter spectral problem) offers a powerful tool for analyzing Bell inequalities in other high-dimensional or symmetric quantum systems.

In conclusion, Hyunho Cha resolves the conjecture by demonstrating that the algebraic structure of spin-1 matrices inherently limits the CHSH correlation to the classical bound of 2, effectively suppressing quantum non-locality in this specific measurement context for qutrits.