Characterizing resources for multiparameter estimation of SU(2) and SU(1,1) unitaries

This paper analyzes the scaling of precision for multiparameter estimation of SU(2) and SU(1,1) unitaries in two-bosonic-mode systems, identifying specific eigenstates that enable simultaneous Heisenberg scaling for all parameters while demonstrating that restricting measurements to first and second moments generally limits such scaling, with the twin-Fock state emerging as a key resource for two-parameter estimation.

The Gist

Imagine you are trying to tune a very delicate, invisible radio. This radio doesn't just have one knob; it has three knobs that control different aspects of the signal. Your goal is to figure out exactly how much you've turned each knob. In the world of quantum physics, these "knobs" are called parameters, and the "radio" is a system made of particles (like photons or atoms) moving through two different paths (modes).

This paper is a guidebook for finding the best "tuning fork" (a specific quantum state of particles) to measure these three knobs as precisely as possible. The authors look at two different types of radio systems: one where the total number of particles stays the same (SU(2)), and one where particles can be created or destroyed, but the difference between the two paths stays the same (SU(1,1)).

Here is the breakdown of their findings using simple analogies:

1. The Goal: Measuring Three Knobs at Once

Usually, scientists measure one thing at a time. But here, they want to measure three things simultaneously.

• The "Standard" Way (Shot Noise): If you use a simple, classical-like stream of particles (like a steady stream of marbles), your precision is limited. It's like trying to guess the weight of a bag of sand by counting grains one by one; the more grains you have, the better you get, but only linearly.
• The "Quantum" Way (Heisenberg Scaling): By using special, entangled quantum states, you can get much better precision. It's like having a magical scale where doubling the number of particles quadruples your precision. This is the "Holy Grail" of measurement.

2. The Ideal "Magic" States (The Theoretical Best)

The authors first asked: "If we could build any perfect quantum state, which one would let us measure all three knobs with maximum precision?"

• For the SU(2) System (Fixed Particle Count):
  They found a special family of states called $J_z^2$ eigenstates. Think of these as highly organized formations of particles.

  • One famous member of this family is the NOON state (all particles in path A or all in path B). It's great for measuring one knob perfectly but terrible for the others.
  • Another is the Twin-Fock state (half the particles in path A, half in path B). It's great for two knobs but fails on the third.
  • The Discovery: They found a specific "Goldilocks" state (a mix of the two) that allows for Heisenberg scaling on all three knobs simultaneously. It's like finding a single tuning fork that perfectly tunes all three radio channels at once.

• For the SU(1,1) System (Variable Particle Count):
  Here, the rules change because particles can appear and disappear. The "fixed" rule is the difference in particle numbers between the two paths.

  • They found a similar "Goldilocks" state here too. It involves a superposition of having zero particles and having many particles in both paths equally.
  • Just like the SU(2) case, this specific state allows for perfect precision on all three parameters theoretically.

3. The Real-World Problem: The "Pragmatic" Approach

The problem with the "Goldilocks" states is that measuring them requires incredibly complex, high-tech equipment that might not exist yet. The authors then asked: "What if we can only measure the average and the spread (variance) of the particles? What if we can't do complex, high-level measurements?"

This is like trying to tune the radio by only listening to the volume and the static, rather than analyzing the full waveform.

• The Result: When they restricted themselves to these simpler, more practical measurements, the "Goldilocks" states stopped working for all three knobs.
• The Winner: In this realistic scenario, the Twin-Fock state (half in path A, half in path B) emerged as the clear winner.
  • It allows you to measure two out of the three knobs with the maximum possible quantum precision (Heisenberg scaling).
  • However, the third knob remains stuck at the lower, "standard" precision.
  • This happened for both the SU(2) and SU(1,1) systems. It's as if the Twin-Fock state is the most robust "tuning fork" when you are limited to simple tools.

4. The "Cat" and "Squeezed" States

The authors also tested other famous quantum states, like Schrödinger's Cat states (superpositions of very different realities) and Gaussian states (standard squeezed light).

• The Finding: When limited to simple measurements (just averages and spreads), these fancy states generally failed to beat the standard limits for multiple parameters.
• The Exception: A Two-Mode Squeezed State (which is essentially a "squeezed" version of the vacuum) was the only one that could achieve high precision for two parameters in the SU(2) system. This confirms a long-held intuition: using a "squeezing" operation (SU(1,1)) before a standard measurement (SU(2)) can boost performance.

Summary of the Takeaway

1. Theoretically: There exist perfect quantum states that can measure three parameters simultaneously with the highest possible precision.
2. Practically: If you are limited to measuring simple properties (like averages and spreads), those perfect states become useless.
3. The Practical Champion: The Twin-Fock state (splitting particles evenly) is the best resource for measuring two parameters at once with high precision, provided you stick to simple measurement tools.
4. The Trade-off: You generally cannot get the "perfect" three-parameter precision using simple measurements; you have to choose between measuring two parameters perfectly or all three with lower precision.

In short, the paper maps out the landscape of quantum measurement, showing us where the "perfect" theoretical peaks are, and which paths we can actually walk on with the tools we have today.

Technical Summary

Technical Summary: Characterizing resources for multiparameter estimation of SU(2) and SU(1,1) unitaries

Problem Statement
The paper addresses the task of estimating a multi-parameter unitary transformation belonging to the $SU(2)$ or $SU(1,1)$ groups within a two-bosonic-mode scenario. While single-parameter estimation and the saturation of the Quantum Cramér-Rao Bound (QCRB) via the Quantum Fisher Information Matrix (QFIM) are well-established, the authors focus on the practical constraints of multiparameter estimation. Specifically, they investigate the scaling of precision with respect to the total particle number (or average particle number) and analyze the feasibility of achieving Heisenberg scaling when measurements are restricted to the first two moments (expectation values and variances/covariances) of the generators. The study considers both fixed-particle-number sectors and scenarios with fluctuating particle numbers, aiming to identify optimal probe states and measurement strategies that respect the algebraic structure of the groups.

Methodology
The authors employ a dual approach combining asymptotic information-theoretic bounds with pragmatic estimation techniques:

1. Quantum Fisher Information (QFI) Analysis: They utilize the QFIM to determine the ultimate asymptotic precision limits for pure probe states. For pure states, the QFIM is proportional to the covariance matrix of the generators. They analyze the saturability conditions, specifically the commutativity of the Symmetric Logarithmic Derivatives (SLDs), to determine if the QCRB can be saturated for all parameters simultaneously.
2. Method of Moments (MoM): To address practical experimental limitations, the authors restrict the estimation strategy to the reconstruction of the first two moments of the generators (linear and quadratic observables). They derive the precision matrix achievable via the MoM estimator, utilizing the moment matrix formalism which relates the covariance of observables to the commutators of the generators.
3. Group-Theoretic Sector Analysis: The study categorizes probe states based on group invariants:
   • For $SU(2)$, the invariant is the total particle number $N$.
   • For $SU(1,1)$, the invariant is the particle number difference between modes (related to the eigenvalue of $J_z$ in the Schwinger representation).
     They analyze specific sectors (e.g., fixed $N$ for $SU(2)$ and equal particle numbers for $SU(1,1)$) to identify useful resource states.
4. State Classes: The investigation covers a range of probe states, including eigenstates of $J_z^2$, NOON states, twin-Fock states, two-mode squeezed states, and cat-like states.

Key Contributions and Results

• $SU(2)$ Estimation (Fixed Particle Number):

  • Ideal Resources: The authors identify eigenstates of $J_z^2$ as a useful class of probe states. Within this class, they find specific states (parameterized by $k$) that allow for simultaneous Heisenberg scaling ($O(1/N^2)$) for all three parameters. These states are shown to be closely related to "two-anti-coherent" states.
  • Moment-Restricted Estimation: When restricting measurements to the first two moments of the $su(2)$ generators, the authors find that the twin-Fock state emerges as the optimal resource. However, under this restriction, Heisenberg scaling is achievable only for two of the three parameters ($\theta_x, \theta_y$), while the third ($\theta_z$) remains at the Standard Quantum Limit (SQL) or is unestimable depending on the state. The optimal measurements for the twin-Fock state involve cross-covariances (e.g., $\{J_x, J_z\}$).
  • NOON States: While NOON states achieve Heisenberg scaling for one parameter, their QFIM is singular for the others in the multiparameter context, and they do not allow simultaneous Heisenberg scaling for all three parameters under moment-restricted measurements.

• $SU(1,1)$ Estimation (Fluctuating Particle Number):

  • Ideal Resources: Analogous to the $SU(2)$ case, the authors identify a class of states in the sector with equal particle numbers in both modes (eigenvalue $m=0$ for the relevant generator). Specific superpositions of Fock states in this sector allow for simultaneous Heisenberg scaling for all three parameters according to the QFIM.
  • Moment-Restricted Estimation: Similar to the $SU(2)$ case, when restricted to the first two moments of the $su(1,1)$ generators, the twin-Fock state is identified as the only state allowing Heisenberg scaling for two out of the three parameters.

• Indefinite Particle Number and Gaussian States:

  • The paper analyzes states with fluctuating particle numbers, including Gaussian states (coherent, squeezed) and cat-like states.
  • Gaussian States: Single- and two-mode squeezed states are found to be effective resources. Notably, a two-mode squeezed state allows for simultaneous Heisenberg scaling for a two-parameter $SU(2)$ estimation when measurements are restricted to quadratic expressions in mode operators. This result extends the established intuition that prior $SU(1,1)$ operations (squeezing) can enhance $SU(2)$ interferometer performance.
  • Cat-like States: Contrary to intuition, the authors find that for various forms of cat-like states, only SQL scaling is achievable under the moment-restricted measurement scenario.

• Measurement Constraints:

  • A significant finding is that reaching Heisenberg precision scaling for all parameters in both $SU(2)$ and $SU(1,1)$ scenarios generally requires measuring combinations of mode operators of order higher than fourth. Restricting to second-order moments (the method of moments) inherently limits the achievable scaling for full multiparameter estimation, except in specific cases (like the two-mode squeezed state for 2 parameters).

Significance and Claims
The paper claims to provide a systematic characterization of resources for multiparameter estimation in $SU(2)$ and $SU(1,1)$ groups, bridging the gap between asymptotic theoretical bounds (QFIM) and pragmatic experimental constraints (method of moments).

• Resource Identification: It identifies specific eigenstates of $J_z^2$ (including quasi-two-anti-coherent states) as ideal resources for full multiparameter Heisenberg scaling in the asymptotic limit.
• Pragmatic Limits: It demonstrates that in realistic scenarios where only low-order moments are accessible, the twin-Fock state is the unique resource (among the analyzed classes) that maximizes precision, albeit only for a subset of parameters.
• Generalization: The work extends the known benefit of $SU(1,1)$ operations (squeezing) enhancing $SU(2)$ estimation to the multiparameter domain, showing that two-mode squeezed states can achieve simultaneous Heisenberg scaling for multiple parameters under quadratic measurement constraints.
• Outlook: The authors suggest their methods are generalizable to larger unitary groups ($SU(d)$, $SU(p,q)$) and highlight the open challenge of saturating asymptotic bounds when optimal observables do not commute, requiring either independent measurements or imperfect joint measurements.

The paper concludes that while ideal states exist for full multiparameter Heisenberg scaling, practical limitations on measurement order significantly constrain the achievable precision, favoring specific states like the twin-Fock state and two-mode squeezed states for partial multiparameter enhancement.