This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Heisenberg-limited quantum metrology using collective dephasing

Shingo Kukita1) [email protected]    Yuichiro Matsuzaki2) [email protected]    Yasushi Kondo1) [email protected] 1)Department of Physics, Kindai University, Higashi-Osaka 577-8502, Japan 2)Device Technology Research Institute, National Institute of Advanced Industrial Science and Technology (AIST), 1-1-1, Umezono, Tsukuba, Ibaraki 305-8568, Japan
Abstract

The goal of quantum metrology is the precise estimation of parameters using quantum properties such as entanglement. This estimation usually consists of three steps: state preparation, time evolution during which information of the parameters is encoded in the state, and readout of the state. Decoherence during the time evolution typically degrades the performance of quantum metrology and is considered to be one of the major obstacles to realizing entanglement-enhanced sensing. We show, however, that under suitable conditions, this decoherence can be exploited to improve the sensitivity. Assume that we have two axes, and our aim is to estimate the relative angle between them. Our results reveal that the use of Markvoian collective dephasing to estimate the relative angle between the two directions affords Heisenberg-limited sensitivity. Moreover, our scheme based on Markvoian collective dephasing is robust against environmental noise, and it is possible to achieve the Heisenberg limit even under the effect of independent dephasing. Our counterintuitive results showing that the sensitivity is improved by using the decoherence pave the way to novel applications in quantum metrology.

Quantum metrology, dephasing, standard quantum limit, Heisenberg limit
pacs:
03.67.-a, 03.65.Yz

Sensing technology is important for many practical applications [1, 2, 3], and improved sensitivity is essential for practical purposes. Quantum metrology is a promising approach in order to improve the sensitivity using qubits owing to recent developments in quantum technology [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]. Quantum states can acquire a phase during interaction with the target fields. The readout of the phase provides information on the amplitude of the target fields [15, 16, 17, 18, 19, 20, 21]. Quantum sensing allows us to measure not only the amplitude of the fields but also many other quantities. Parameters that can be measured using qubit-based sensing include the Fourier coefficients of the spatially distributed fields [22], field gradient [23], frequency of AC magnetic fields [24], and rotation [25, 26]. When nn separable qubits are used as a probe, the uncertainty of parameter estimation scales as 𝒪(1/n){\cal O}(1/\sqrt{n}), which is called the standard quantum limit (SQL). By contrast, the uncertainty scales as 𝒪(1/n)\sim{\cal O}(1/n) when highly entangled states of qubits, such as Greenberger-Horne-Zeilinger (GHZ) states, are used [27, 28, 29]. This scaling is called the Heisenberg limit (HL) [30, 18, 9]. Many studies have been conducted to achieve Heisenberg-limited sensitivity [31, 32, 33, 34, 35, 36, 37, 38, 39, 40].

In realistic situations, entangled qubits are affected by environmental noise during the time evolution required to encode the parameter information, and this decoherence is one of the main obstacles to realizing entanglement-enhanced sensors. If the noise acts independently on the qubits, the entanglement of the qubits rapidly disappears, and the states of the nn qubits become separable. Thus, it is not trivial whether entanglement sensors are useful. Numerous attempts have been made to address the problem of decoherence in order to overcome the SQL with entangled sensors [20, 41, 42, 43, 44, 45, 46, 47, 48]. Measurements in a quantum Zeno regime can be adopted to achieve a scaling of 𝒪(n3/4){\cal O}(n^{3/4}) if the noise is time-inhomogeneous independent dephasing [42, 43, 48, 19, 21, 49, 50]. In addition, quantum error correction can be applied to noisy metrology to suppress the effect of decoherence [51, 52, 53, 54, 55], and this method has been demonstrated by several experiments [56, 57]. Quantum teleportation is another tool that protects quantum states from the effects of noise [48, 58, 59]. There is a scheme for reaching the HL in the estimation of the decay rate using dephasing [60, 61]. Measurements of the environment itself improve the sensitivity of parameter estimation even under the effect of noise [62]. There are several other methods for improving the sensitivity of estimation under noise [63, 64, 65, 66, 22].

In this paper, we propose a quantum metrology protocol using collective dephasing to enhance the sensitivity. Suppose that Alice has an axis and Bob has another axis. Bob does not know Alice’s axis and tries to estimate the relative angle between her axis and his own. The setup is as follows (Fig. 1). (i) Alice prepares qubits in a GHZ state according to her axis and sends the qubits to Bob. (ii) Bob applies global magnetic fields or the collective dephasing noise along his axis on the qubits he received and sends them back to Alice. (iii) Alice reads out the state and sends the measurement results to Bob by classical communication. (iv) They repeat these three steps MM times.

Refer to caption
Figure 1: Schematic illustration of the proposed protocol. (i) Alice prepares a GHZ state, (ii) Bob receives this state and lets it evolve under the applied collective noise (or a global magnetic field), and (iii) Alice measures this state.

We have M=T/(tprep+tevolve+tread)M=T/(t_{\rm{prep}}+t_{\rm{evolve}}+t_{\rm{read}}), where TT denotes the total time allowed for the protocol, tprept_{\rm{prep}} denotes the time needed to prepare the GHZ state (which includes the transportation time), tevolvet_{\rm{evolve}} denotes the evolution time, and treadt_{\rm{read}} denotes the time required to read out the state. Throughout this paper, we assume that the GHZ state can be prepared and read out on a much shorter time scale than the evolution time, and we obtain MT/tevolveM\simeq T/t_{\rm{evolve}}.

Let us describe the details of our setup. We define Alice’s (Bob’s) axis as the zz (zz^{\prime}) axis. In Step (i), Alice prepares nn qubits in a GHZ state, which is defined as follows.

|GHZ=12(|n+|n),|{\rm GHZ}\rangle=\frac{1}{\sqrt{2}}(|\underbrace{\uparrow\uparrow\cdots\uparrow}_{n}\rangle+|\underbrace{\downarrow\downarrow\cdots\downarrow}_{n}\rangle), (1)

where ||\uparrow\rangle (||\downarrow\rangle) is the eigenstate of σz\sigma_{z} with an eigenvalue of +1(1)+1~{}(-1), and ||\uparrow\uparrow\cdots\uparrow\rangle denotes ||||\uparrow\rangle\otimes|\uparrow\rangle\otimes\cdots\otimes|\uparrow\rangle. Here we take the ordinary notation of the Pauli matrices. Note that the xx and yy axes are actually fixed when the relative phase in the GHZ state is fixed.

In Step (ii), to encode the information on the relative angle, Bob can apply a global magnetic field or the collective dephasing noise along the zz^{\prime} axis to the GHZ state that he receives from Alice. In addition, we assume that environmental Markovian dephasing noise independently affects each qubit along the zz^{\prime} axis. We introduce the vector z=(sinθcosϕ,sinθsinϕ,cosθ)\vec{z^{\prime}}=(\sin\theta\cos\phi,\sin\theta\sin\phi,\cos\theta), which is the unit vector along the zz^{\prime} direction represented in the (xx,yy,zz) coordinates of Alice. θ\theta is the parameter to be estimated. The Pauli matrix along the zz^{\prime} direction is written as σz=zσ\sigma_{z^{\prime}}=\vec{z^{\prime}}\cdot\vec{\sigma}. In addition, we use the notation σα(i)\sigma^{(i)}_{\alpha} (α=x,y,z\alpha=x,y,z) for a Pauli matrix acting only on the ii-th qubit, e.g., σα(1)=σα𝕀𝕀\sigma^{(1)}_{\alpha}=\sigma_{\alpha}\otimes{\mathbb{I}}\cdots\otimes{\mathbb{I}}, where 𝕀{\mathbb{I}} is the 2×22\times 2 identity matrix. Thus, the dynamics of the GHZ state on Bob’s side is described as follows:

dρdt=\displaystyle\frac{d\rho}{dt}= i[ΩLz,ρ]+γ(LzρLz12{Lz2,ρ})\displaystyle-i[\Omega L_{z^{\prime}},\rho]+\gamma\Bigl{(}L_{z^{\prime}}\rho L_{z^{\prime}}-\frac{1}{2}\{L_{z^{\prime}}^{2},\rho\}\Bigr{)}
+γi=1n(σz(i)ρσz(i)ρ),\displaystyle+\gamma^{\prime}\sum^{n}_{i=1}(\sigma_{z^{\prime}}^{(i)}\rho\sigma_{z^{\prime}}^{(i)}-\rho), (2)

where Lz=i=1nσz(i)L_{z^{\prime}}=\sum^{n}_{i=1}\sigma_{z^{\prime}}^{(i)}, and Ω\Omega characterizes the strength of the global magnetic field. Throughout this paper, we take =1\hbar=1. Bob can tune the values of γ\gamma and Ω\Omega, whereas γ\gamma^{\prime} is not tunable.

Our goal is to estimate the azimuthal angle θ\theta with high precision. We take ϕ=0\phi=0 for simplicity. Note that the exact solution of Eq. (2) is analytically given, and we show that our protocol for estimating θ\theta does not depend on the value of ϕ\phi in the parameter regime of interest. (See Supplemental Material.) We focus on the case of (Ω=0,γ0,γ=0)(\Omega=0,\gamma\neq 0,\gamma^{\prime}=0), (Ω=0,γ0,γ0)(\Omega=0,\gamma\neq 0,\gamma^{\prime}\neq 0), (Ω0,γ=0,γ=0)(\Omega\neq 0,\gamma=0,\gamma^{\prime}=0), and (Ω0,γ=0,γ0)(\Omega\neq 0,\gamma=0,\gamma^{\prime}\neq 0) to evaluate the advantages of our scheme using collective dephasing over that using the global magnetic field.

For (Ω=0,γ0,γ=0)(\Omega=0,\gamma\neq 0,\gamma^{\prime}=0) and (Ω=0,γ0,γ0)(\Omega=0,\gamma\neq 0,\gamma^{\prime}\neq 0), where Bob uses collective dephasing, Alice performs a projective measurement defined by the operator 𝒫^=|GHZGHZ|\hat{\mathcal{P}}=|{\rm GHZ}\rangle\langle{\rm GHZ}|. The projection using this operator provides a survival probability P:=GHZ|ρ(t)|GHZP:=\langle{\rm GHZ}|\rho(t)|{\rm GHZ}\rangle in step (iii). Then, Bob estimates the value of θ\theta by analyzing the MM outcomes of the projections. The uncertainty of this estimation, δθ\delta\theta, is bounded by

δθδθmin=P(1P)|dPdθ|M=P(1P)|dPdθ|Ttevolve.\delta\theta\geq\delta\theta^{\rm min}=\frac{\sqrt{P(1-P)}}{|\frac{dP}{d\theta}|\sqrt{M}}=\frac{\sqrt{P(1-P)}}{|\frac{dP}{d\theta}|\sqrt{\frac{T}{t_{\rm evolve}}}}. (3)

The lower bound δθmin\delta\theta^{\rm min} depends on the evolution time tevolvet_{\rm evolve}. Hence, we need to optimize tevolvet_{\rm evolve} so that δθmin\delta\theta^{\rm min} takes the smallest value. We find below that |GHZGHZ||{\rm GHZ}\rangle\langle{\rm GHZ}| is an appropriate measurement operator in this case; i.e., the minimized uncertainty as defined above achieves the HL.

By contrast, in the scheme of applying the global magnetic field, (Ω0,γ=0,γ=0)(\Omega\neq 0,\gamma=0,\gamma^{\prime}=0) and (Ω0,γ=0,γ0)(\Omega\neq 0,\gamma=0,\gamma^{\prime}\neq 0), the projection operator of |GHZGHZ||{\rm GHZ}\rangle\langle{\rm GHZ}| is not the optimal choice. For mixed states, it is not trivial to find the optimal positive-operator-valued measure (POVM) to minimize the uncertainty. Hence, we employ the minimized uncertainty δθ(Q)min=1/(Fθ(Q)T/tevolve)\delta\theta^{\rm(Q)min}=1/(F^{(Q)}_{\theta}\sqrt{T/t_{\rm evolve}}) defined by the quantum Fisher information Fθ(Q)F_{\theta}^{(Q)}. (See Supplemental Material for the definition.) This minimum δθ(Q)min\delta\theta^{\rm(Q)min} corresponds to the minimized uncertainty when we adopt the best POVM. Importantly, we can calculate this minimum without knowing the best measurement basis.

Refer to caption
Refer to caption
Figure 2: δθ1min\delta\theta^{\rm min}_{1} (δθ1(Q)min\delta\theta^{\rm(Q)min}_{1}) versus the number of qubits nn for (a) θ=1.0\theta=1.0 rad and (b) θ=0.5\theta=0.5 rad. In both panels, the filled (open) triangles represent δθ1min\delta\theta^{\rm min}_{1} with the parameters Ω=0\Omega=0, γ=1\gamma=1, and γ=0(1)\gamma^{\prime}=0~{}(1), whereas the filled (open) circles represent δθ1(Q)min\delta\theta^{\rm(Q)min}_{1} with the parameters Ω=1\Omega=1, γ=0\gamma=0, and γ=0(1)\gamma^{\prime}=0~{}(1). The solid (dashed) line shows the HL (SQL). The total time TT is taken as T=1T=1.
Refer to caption
Refer to caption
Figure 3: Minimized uncertainty δθmin\delta\theta^{\rm min} (δθ(Q)min\delta\theta^{\rm(Q)min}) versus the number of qubits nn for non-Markovian collective dephasing for (a) θ=1.0\theta=1.0 rad and (b) θ=0.5\theta=0.5 rad. In both panels, the blue circles represent δθ(Q)min\delta\theta^{\rm(Q)min} with parameters Ω=1\Omega=1, γ0=0\gamma_{0}=0, and γ=1\gamma^{\prime}=1, which give the same results as in Fig. 2 (a) and (b). In (a), the red triangles (squares) represent the uncertainty with parameters Ω=0\Omega=0, γ0=1\gamma_{0}=1, τc=0.01(0.001)\tau_{c}=0.01(0.001), and γ=1\gamma^{\prime}=1, whereas the red triangles (squares) in (b) show the uncertainty with parameters Ω=0\Omega=0, γ0=1\gamma_{0}=1, τc=0.005(0.0001)\tau_{c}=0.005~{}(0.0001), and γ=1\gamma^{\prime}=1.

Figure 2 shows the scaling behavior of the minimized uncertainty versus the number of qubits nn for (Ω,γ,γ)=(0,1,0)(\Omega,\gamma,\gamma^{\prime})=(0,1,0), (0,1,1)(0,1,1), (1,0,0)(1,0,0), and (1,0,1)(1,0,1). Figure 2 (a) and (b) correspond to the case where we take θ=1.0\theta=1.0 rad and θ=0.5\theta=0.5 rad, respectively. In the noiseless cases, (Ω,γ,γ)=(1,0,0)(\Omega,\gamma,\gamma^{\prime})=(1,0,0) and (0,1,0)(0,1,0) in Fig. 2, we find that the minimized uncertainties in both cases approach the HL for large nn. However, estimation using the magnetic field is fragile against independent dephasing, as shown in Fig. 2, where the optimized uncertainty scales as the SQL. By contrast, estimation using collective dephasing is robust against independent dephasing, as shown in Fig. 2, and thus the estimation scheme using collective dephasing outperforms that using the global magnetic field in this case. Note that a specific measurement basis (|GHZGHZ||{\rm GHZ}\rangle\langle{\rm GHZ}|) is chosen for estimation using collective dephasing; the uncertainty of estimation using the global magnetic field is evaluated on the basis of the quantum Fisher information without knowledge of the explicit form of the POVM to employ. If we could find the optimized measurement basis for estimation using collective dephasing, we could improve the sensitivity by a constant factor. Moreover, by using perturbative calculations, we show analytically that the minimized uncertainties of collective dephasing approaches the HL even under the effect of independent dephasing. Here, the optimal evolution time scales as 1/n2\propto 1/n^{2}. (See Supplemental Material.)

In quantum metrology, the sensitivity under Markovian noise could be very different from that under non-Markovian (time-inhomogeneous) noise [20, 42, 43]. The non-Markovian noise model takes into account the finite correlation time of the environment, whereas the Markovian environment has an infinitesimal correlation time. Owing to the finite correlation time, a typical non-Markovian noise model interpolates between exponential decay (which is typically observed in Markovian noise) and quadratic decay.

We investigate the sensitivity of our scheme when we use non-Markovian collective dephasing for estimation. In particular, we adopt a spin-boson model with a Lorentzian spectral density to consider the effect of the finite correlation time. This model was analyzed in [43], and the time-dependent decay rate was calculated as γ(t)=γ0τct(1+et/τc+t/τc)\gamma(t)=\frac{\gamma_{0}\tau_{c}}{t}(-1+e^{-t/\tau_{c}}+t/\tau_{c}), where τc\tau_{c} denotes the correlation time. This decay rate interpolates between exponential decay and quadratic decay. For a short (long) correlation time, we obtain γ(t)γ0\gamma(t)\simeq\gamma_{0} (γ(t)γ0t2τc\gamma(t)\simeq\frac{\gamma_{0}t}{2\tau_{c}}).

We compare the uncertainty of the estimation using the non-Markovian collective dephasing with that using global magnetic fields by performing numerical simulations. The results are shown in Fig. 3 (a) and (b), where we take θ=1.0\theta=1.0 rad and θ=0.5\theta=0.5 rad, respectively. Figure 3 shows that the estimation using collective dephasing outperforms that using global magnetic fields when we take a sufficiently small τc\tau_{c}. In the numerical simulations, we observe that either the collective dephasing method or the global magnetic field method approaches the SQL. (This behavior is also discussed using an analytical calculation in the Supplemental Material.) Whether the use of the non-Markovian collective dephasing is advantageous over the use of the global magnetic field depends on both τc\tau_{c} and θ\theta. For θ=1.0\theta=1.0 rad, τc=0.001\tau_{c}=0.001 is sufficiently small, whereas τc0.0001\tau_{c}\sim 0.0001 is required for θ=0.5\theta=0.5 rad. We emphasize that the estimation scheme using collective dephasing can outperform that using the magnetic field for any θ\theta if we take sufficiently small τc\tau_{c}, because the scaling behavior achieves the HL in the Markovian limit τc0\tau_{c}\rightarrow 0.

In conclusion, we propose to use a collective dephasing to improve the precision of quantum metrology. Assume that we have two axes, and our aim is to estimate the relative angle between them. Suppose that Alice has an axis, and Bob has another. Bob does not known Alice’s and tries to estimate the relative angle between her axis and his. Alice generates a GHZ state according to her axis and sends it to Bob. Bob decoheres the received state by inducing collective Markovian dephasing along his own axis. This scheme achieves the HL for estimating the direction of Alice’s axis under ideal conditions. Moreover, we show that the scheme using collective dephasing is robust against noise; it achieves the HL even under the effect of independent Markovian dephasing from the environment. This is in stark contrast to the conventional scheme that uses unitary dynamics for the estimation, which cannot overcome the SQL under the effect of such noise. Although we discuss primarily the independent dephasing noise, our conclusion that the HL can be achieved is guaranteed even when the system is affected by arbitrary types of independent decoherence. (See Supplemental Material).

This work was supported by the Leading Initiative for Excellent Young Researchers, MEXT, Japan; JST Presto (Grant No. JPMJPR1919) Japan; and CREST (JPMJCR1774).

I Supplemental Material

I.1 Exact solution of the Lindblad equation

Let us first introduce basic notation. We refer to Alice’s coordinates as the (x,y,z)(x,y,z) coordinates, and the corresponding Pauli matrices are given as

σx=(0110),σy=(0ii0),σz=(1001).\sigma_{x}=\begin{pmatrix}0&1\\ 1&0\end{pmatrix},~{}\sigma_{y}=\begin{pmatrix}0&-i\\ i&0\end{pmatrix},~{}\sigma_{z}=\begin{pmatrix}1&0\\ 0&-1\end{pmatrix}. (4)

The explicit form of σz=zσ\sigma_{z^{\prime}}=\vec{z^{\prime}}\cdot\vec{\sigma} in Bob’s coordinates is as follows:

σz=zσ=(cosθeiϕsinθeiϕsinθcosθ).\sigma_{z^{\prime}}=\vec{z^{\prime}}\cdot\vec{\sigma}=\begin{pmatrix}\cos\theta&e^{-i\phi}\sin\theta\\ e^{i\phi}\sin\theta&-\cos\theta\end{pmatrix}. (5)

The corresponding eigenstates are defined as

|z=\displaystyle|\uparrow\rangle_{z^{\prime}}= 12(1+cosθ|+eiϕ1cosθ|),σz|z=|z,\displaystyle\frac{1}{\sqrt{2}}\Bigl{(}\sqrt{1+\cos\theta}~{}|\uparrow\rangle+e^{i\phi}\sqrt{1-\cos\theta}~{}|\downarrow\rangle\Bigr{)},~{}~{}\sigma_{z^{\prime}}|\uparrow\rangle_{z^{\prime}}=|\uparrow\rangle_{z^{\prime}},
|z=\displaystyle|\downarrow\rangle_{z^{\prime}}= 12(1cosθ|+eiϕ1+cosθ|),σz|z=|z.\displaystyle\frac{1}{\sqrt{2}}\Bigl{(}-\sqrt{1-\cos\theta}~{}|\uparrow\rangle+e^{i\phi}\sqrt{1+\cos\theta}~{}|\downarrow\rangle\Bigr{)},~{}~{}\sigma_{z^{\prime}}|\downarrow\rangle_{z^{\prime}}=-|\downarrow\rangle_{z^{\prime}}. (6)

Here ||\uparrow\rangle and ||\downarrow\rangle are the eigenvectors of σz\sigma_{z}, whose eigenvalues are 11 and 1-1, respectively.

Here we give the exact solution of the Lindblad master equation,

dρdt=i[ΩLz,ρ]+γ(LzρLz12{Lz2,ρ})+γi=1n(σz(i)ρσz(i)ρ).\frac{d\rho}{dt}=-i[\Omega L_{z^{\prime}},\rho]+\gamma\Bigl{(}L_{z^{\prime}}\rho L_{z^{\prime}}-\frac{1}{2}\{L_{z^{\prime}}^{2},\rho\}\Bigr{)}+\gamma^{\prime}\sum^{n}_{i=1}(\sigma_{z^{\prime}}^{(i)}\rho\sigma_{z^{\prime}}^{(i)}-\rho). (7)

Let us consider the case of γ=0\gamma^{\prime}=0 first. To this end, it is convenient to introduce a basis according to group representation theory [67, 68, 69, 70], which is characterized as follows:

|j,m,iz(z)\displaystyle|j,m,i\rangle_{z(z^{\prime})} 2n,jminjn/2,jmj,1idnj,\displaystyle\in{\mathbb{C}}^{2n},~{}j_{\rm min}\leq j\leq n/2,~{}-j\leq m\leq j,~{}1\leq i\leq d_{n}^{j},
Lz(z)2|j,m,iz(z)\displaystyle\frac{L_{z(z^{\prime})}}{2}|j,m,i\rangle_{z(z^{\prime})} =m|j,m,iz(z),\displaystyle=m|j,m,i\rangle_{z(z^{\prime})},
L+(+)|j,m,iz(z)\displaystyle L_{+(+^{\prime})}|j,m,i\rangle_{z(z^{\prime})} :=Lx(x)+iLy(y)2|j,m,iz(z)=j(j+1)m(m+1)|j,m+1,iz(z),\displaystyle:=\frac{L_{x(x^{\prime})}+iL_{y(y^{\prime})}}{2}|j,m,i\rangle_{z(z^{\prime})}=\sqrt{j(j+1)-m(m+1)}|j,m+1,i\rangle_{z(z^{\prime})},
L()|j,m,iz(z)\displaystyle L_{-(-^{\prime})}|j,m,i\rangle_{z(z^{\prime})} :=Lx(x)iLy(y)2|j,m,iz(z)=j(j+1)m(m1)|j,m1,iz(z),\displaystyle:=\frac{L_{x(x^{\prime})}-iL_{y(y^{\prime})}}{2}|j,m,i\rangle_{z(z^{\prime})}=\sqrt{j(j+1)-m(m-1)}|j,m-1,i\rangle_{z(z^{\prime})},
14(Lx2+Ly2+Lz2)|j,m,iz(z)\displaystyle\frac{1}{4}(L_{x}^{2}+L_{y}^{2}+L_{z}^{2})|j,m,i\rangle_{z(z^{\prime})} =14(Lx2+Ly2+Lz2)|j,m,iz(z)=j(j+1)|j,m,iz(z),\displaystyle=\frac{1}{4}(L_{x^{\prime}}^{2}+L_{y^{\prime}}^{2}+L_{z^{\prime}}^{2})|j,m,i\rangle_{z(z^{\prime})}=j(j+1)|j,m,i\rangle_{z(z^{\prime})},
Lα\displaystyle L_{\alpha} =i=1nσα(i),dnj=(2j+1)n!(n/2+j+1)!(n/2j)!,\displaystyle=\sum^{n}_{i=1}\sigma^{(i)}_{\alpha},~{}d^{j}_{n}=\frac{(2j+1)n!}{(n/2+j+1)!(n/2-j)!}, (8)

where jminj_{\rm min} is 0 (1/2), and jj, mm take (half-) integers for odd (even) nn. The index ii represents the number of ways of composing nn spins to obtain the total angular momentum jj. We refer to this basis as the irrep basis hereinafter. In the definition, we introduce the xx^{\prime} and yy^{\prime} axes, which are orthogonal to Bob’s zz^{\prime} axis. Although the choice of these axes has rotational ambiguity, Bob can take any pair of these axes as the xx^{\prime} and yy^{\prime} axes because this does not affect the estimation of θ\theta. Thus, we do not discuss the explicit direction of the xx^{\prime} and yy^{\prime} axes. Note, also, that the operator (Lx2+Ly2+Lz2)(L_{x}^{2}+L_{y}^{2}+L_{z}^{2}) is invariant under the coordinate transformation Lx2+Ly2+Lz2=Lx2+Ly2+Lz2L_{x}^{2}+L_{y}^{2}+L_{z}^{2}=L_{x^{\prime}}^{2}+L_{y^{\prime}}^{2}+L_{z^{\prime}}^{2}. In terms of the irrep basis, |GHZ|{\rm GHZ}\rangle is described as |GHZ=(|n/2,n/2,1z+|n/2,n/2,1z)/2|{\rm GHZ}\rangle=(|n/2,n/2,1\rangle_{z}+|n/2,-n/2,1\rangle_{z})/\sqrt{2}. For j=n/2j=n/2, we simply represent the irrep basis |n/2,m,1z|n/2,m,1\rangle_{z^{\prime}} (dnj=1d^{j}_{n}=1 in this case) in terms of |()z|\uparrow(\downarrow)\rangle_{z^{\prime}} as

|n/2,m,1z=1Cm+n/2n(|m+n/2n/2mz+alltheotherpermutatedstates).|n/2,m,1\rangle_{z^{\prime}}=\frac{1}{\sqrt{{}_{n}C_{m+n/2}}}(\underbrace{|\uparrow\uparrow\cdots\uparrow}_{m+n/2}\underbrace{\downarrow\cdots\downarrow}_{n/2-m}\rangle_{z^{\prime}}+{\rm all~{}the~{}other~{}permutated~{}states}). (9)

The same representation also works for |n/2,m,1z|n/2,m,1\rangle_{z}. We emphasize that |n/2,m,1z|n/2,m,1\rangle_{z} still belongs to the (j=n/2)(j=n/2) subspace even when we expand this vector in terms of |()z|\uparrow(\downarrow)\rangle_{z^{\prime}}:

|n/2,m,1z=n/2mn/2Cm|n/2,m,1z.|n/2,m,1\rangle_{z}=\sum_{-n/2\leq m\leq n/2}C_{m}|n/2,m,1\rangle_{z^{\prime}}. (10)

This expression is understood in terms of permutation symmetry. We denote UU as the unitary matrix whose action is U|()z=|()zU|\uparrow(\downarrow)\rangle_{z}=|\uparrow(\downarrow)\rangle_{z^{\prime}}. According to Eq. (9), the transformation between the irrep basis in both the zz and zz^{\prime} representations is given as

|n/2,m,1z=U(1)U(k)U(n)|n/2,m,1z=(k=1nU(k))|n/2,m,1z,|n/2,m,1\rangle_{z^{\prime}}=U^{(1)}\cdots U^{(k)}\cdots U^{(n)}|n/2,m,1\rangle_{z}=\Bigl{(}\prod^{n}_{k=1}U^{(k)}\Bigr{)}|n/2,m,1\rangle_{z}, (11)

where the index kk indicates that U(k)U^{(k)} affects only the kk-th qubit. Because k=1nU(k)\prod^{n}_{k=1}U^{(k)} is invariant under any permutation of the qubits, |n/2,m,1z|n/2,m,1\rangle_{z^{\prime}} is symmetric under permutation (as |n/2,m,1z|n/2,m,1\rangle_{z} is symmetric). Thus, |n/2,m,1z|n/2,m,1\rangle_{z^{\prime}} is represented as the sum of {|n/2,m,1z}mn/2\{|n/2,m,1\rangle_{z^{\prime}}\}_{m\leq n/2}, as shown in Eq. (10).

For later convenience, we define the matrix elements |j,mzj,m|¯:=1dnji=1dnj|j,m,izj,m,i|\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}:=\frac{1}{d^{j}_{n}}\sum^{d^{j}_{n}}_{i=1}|j,m,i\rangle_{z^{\prime}}\langle j,m^{\prime},i|, because none of the operations we address below depend on the index ii. An important point is that the expressions |j,mzj,m|¯\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|} are (super-) eigenvectors of the right-hand side of the Lindblad equation (7) with γ=0\gamma^{\prime}=0, whose eigenvalues are given as

i[ΩLz,|j,mzj,m|¯]+γ(Lz|j,mzj,m|¯Lz12{Lz2|j,mzj,m|¯})=(2iΩ(mm)2γ(mm)2)|j,mzj,m|¯.-i[\Omega L_{z^{\prime}},\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}]+\gamma\Bigl{(}L_{z^{\prime}}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}L_{z^{\prime}}-\frac{1}{2}\{L_{z^{\prime}}^{2}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}\}\Bigr{)}=(-2i\Omega(m-m^{\prime})-2\gamma(m-m^{\prime})^{2})\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}. (12)

We find that the initial state ρ(0)=|GHZGHZ|\rho(0)=|{\rm GHZ}\rangle\langle{\rm GHZ}| can be rewritten using Eq. (10):

ρ(0)=n/2m,mn/2ρm,m|n/2,mzn/2,m|¯,\rho(0)=\sum_{-n/2\leq m,m^{\prime}\leq n/2}\rho_{m,m^{\prime}}\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}, (13)

where ρm,m=n/2,m,1|GHZzGHZ|n/2,m,1z\rho_{m,m^{\prime}}={}_{z^{\prime}}\langle n/2,m,1|{\rm GHZ}\rangle\langle{\rm GHZ}|n/2,m^{\prime},1\rangle_{z^{\prime}}. We can show that |n/2,mzn/2,m|¯=|n/2,m,1zn/2,m,1|\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}=|n/2,m,1\rangle_{z^{\prime}}\langle n/2,m^{\prime},1|. The explicit form of ρm,m\rho_{m,m^{\prime}} is

ρm,m=Cm+n2nCm+n2n2n+1\displaystyle\rho_{m,m^{\prime}}=\frac{\sqrt{{}_{n}C_{m+\frac{n}{2}}~{}_{n}C_{m^{\prime}+\frac{n}{2}}}}{2^{n+1}} ((1+cosθ)m+n2(1cosθ)n2m+einϕ(1cosθ)m+n2(1+cosθ)n2m)×\displaystyle\Bigl{(}(\sqrt{1+\cos\theta})^{m+\frac{n}{2}}(-\sqrt{1-\cos\theta})^{\frac{n}{2}-m}+e^{-in\phi}(\sqrt{1-\cos\theta})^{m+\frac{n}{2}}(\sqrt{1+\cos\theta})^{\frac{n}{2}-m}\Bigr{)}\times
×\displaystyle~{}\times ((1+cosθ)m+n2(1cosθ)n2m+einϕ(1cosθ)m+n2(1+cosθ)n2m).\displaystyle\Bigl{(}(\sqrt{1+\cos\theta})^{m^{\prime}+\frac{n}{2}}(-\sqrt{1-\cos\theta})^{\frac{n}{2}-m^{\prime}}+e^{in\phi}(\sqrt{1-\cos\theta})^{m^{\prime}+\frac{n}{2}}(\sqrt{1+\cos\theta})^{\frac{n}{2}-m^{\prime}}\Bigr{)}. (14)

Then the solution for γ=0\gamma^{\prime}=0 is

ργ=0(t)=n/2m,mn/2e2iΩ(mm)t2γt(mm)2ρm,m|n/2,mzn/2,m|¯.\rho_{\gamma^{\prime}=0}(t)=\sum_{-n/2\leq m,m^{\prime}\leq n/2}e^{-2i\Omega(m-m^{\prime})t-2\gamma t(m-m^{\prime})^{2}}\rho_{m,m^{\prime}}\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}. (15)

Next, we consider γ0\gamma^{\prime}\neq 0. Because the independent dephasing term in Eq. (7) commutes with the other two terms in the equation, it is sufficient to consider its action independently. The dynamical equation with only the third term is easily solved and thus the exact solution for γ0\gamma^{\prime}\neq 0 is written as follows:

ρ(t)=\displaystyle\rho(t)= t(n)t(i)t(1)(ργ=0(t)),\displaystyle{\cal E}^{(n)}_{t}\cdots{\cal E}^{(i)}_{t}\cdots{\cal E}^{(1)}_{t}(\rho_{\gamma^{\prime}=0}(t)),
t(i)(ρ):=\displaystyle{\cal E}^{(i)}_{t}(\rho):= α(t)ρ+β(t)σz(i)ρσz(i),\displaystyle\alpha(t)\rho+\beta(t)\sigma^{(i)}_{z^{\prime}}\rho\sigma^{(i)}_{z^{\prime}}, (16)

where α(t):=(1+e2γt2)\alpha(t):=\bigl{(}\frac{1+e^{-2\gamma^{\prime}t}}{2}\bigr{)}, and β(t):=(1e2γt2)\beta(t):=\bigl{(}\frac{1-e^{-2\gamma^{\prime}t}}{2}\bigr{)}. We rearrange the above equation as

t(n)t(i)t(1)(ργ=0(t))=\displaystyle{\cal E}^{(n)}_{t}\cdots{\cal E}^{(i)}_{t}\cdots{\cal E}^{(1)}_{t}(\rho_{\gamma^{\prime}=0}(t))= αn(t)ργ=0(t)+αn1(t)β(t)iσz(i)ργ=0(t)σz(i)\displaystyle\alpha^{n}(t)\rho_{\gamma^{\prime}=0}(t)+\alpha^{n-1}(t)\beta(t)\sum_{i}\sigma_{z^{\prime}}^{(i)}\rho_{\gamma^{\prime}=0}(t)\sigma_{z^{\prime}}^{(i)}
+αn2(t)β2(t)1i<jnσz(i)σz(j)ργ=0(t)σz(j)σz(i)+\displaystyle+\alpha^{n-2}(t)\beta^{2}(t)\sum_{1\leq i<j\leq n}\sigma_{z^{\prime}}^{(i)}\sigma_{z^{\prime}}^{(j)}\rho_{\gamma^{\prime}=0}(t)\sigma_{z}^{(j)}\sigma_{z^{\prime}}^{(i)}+\cdots
+βn(t)σz(1)σz(2)σz(n)ργ=0(t)σz(1)σz(2)σz(n)\displaystyle+\cdots\beta^{n}(t)\sigma^{(1)}_{z^{\prime}}\sigma^{(2)}_{z^{\prime}}\cdots\sigma^{(n)}_{z^{\prime}}\rho_{\gamma^{\prime}=0}(t)\sigma^{(1)}_{z^{\prime}}\sigma^{(2)}_{z^{\prime}}\cdots\sigma^{(n)}_{z^{\prime}}
=\displaystyle= k=0nαnk(t)βk(t)1i1<i2<<iknσz(i1)σz(i2)σz(ik)ργ=0(t)σz(i1)σz(i2)σz(ik),\displaystyle\sum^{n}_{k=0}\alpha^{n-k}(t)\beta^{k}(t)\sum_{1\leq i_{1}<i_{2}<\cdots<i_{k}\leq n}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k})}_{z^{\prime}}\rho_{\gamma^{\prime}=0}(t)\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k})}_{z^{\prime}}, (17)

where we assign αn(t)ργ=0(t)\alpha^{n}(t)\rho_{\gamma^{\prime}=0}(t) as the k=0k=0 term. For convenience of notation, we rewrite the above expression in terms of the irrep basis. To this end, we use the following:

1i1<i2<<iknσz(i1)σz(i2)σz(ik)|n/2,mzn/2,m|¯σz(i1)σz(i2)σz(ik)=jAj,m,m(k)|j,mzj,m|¯.\sum_{1\leq i_{1}<i_{2}<\cdots<i_{k}\leq n}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k})}_{z^{\prime}}\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k})}_{z^{\prime}}=\sum_{j}A^{(k)}_{j,m,m^{\prime}}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}. (18)

The coefficients Aj,m,m(k)A^{(k)}_{j,m,m^{\prime}} are solved using recurrence relations. To check this, we first use the following equality [69, 70]:

i=1nσz(i)|j,mzj,m|¯\displaystyle\sum^{n}_{i=1}\sigma_{z^{\prime}}^{(i)}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|} σz(i)\displaystyle\sigma_{z^{\prime}}^{(i)}
=4(a(n,j,m,m)\displaystyle=4\Bigl{(}a(n,j,m,m^{\prime}) |j,mzj,m|¯+b(n,j,m,m)|j1,mzj1,m|¯+c(n,j,m,m)|j+1,mzj+1,m|¯),\displaystyle\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}+b(n,j,m,m^{\prime})\overline{|j-1,m\rangle_{z^{\prime}}\langle j-1,m^{\prime}|}+c(n,j,m,m^{\prime})\overline{|j+1,m\rangle_{z^{\prime}}\langle j+1,m^{\prime}|}\Bigr{)}, (19)

where

a(n,j,m,m)=\displaystyle a(n,j,m,m^{\prime})= mm12j(1+(2j+1)αnj+1(j+1)dnj),\displaystyle mm^{\prime}\frac{1}{2j}\Bigl{(}1+\frac{(2j+1)\alpha^{j+1}_{n}}{(j+1)d^{j}_{n}}\Bigr{)},
b(n,j,m,m)=\displaystyle b(n,j,m,m^{\prime})= (j+m)(jm)(j+m)(jm)αnj2jdnj,\displaystyle\sqrt{(j+m)(j-m)}\sqrt{(j+m^{\prime})(j-m^{\prime})}\frac{\alpha^{j}_{n}}{2jd^{j}_{n}},
c(n,j,m,m)=\displaystyle c(n,j,m,m^{\prime})= (j+m+1)(jm+1)(j+m+1)(jm+1)αnj+12(j+1)dnj,\displaystyle\sqrt{(j+m+1)(j-m+1)}\sqrt{(j+m^{\prime}+1)(j-m^{\prime}+1)}\frac{\alpha^{j+1}_{n}}{2(j+1)d^{j}_{n}},
αnj=\displaystyle\alpha^{j}_{n}= j=jn/2dnj.\displaystyle\sum^{n/2}_{j^{\prime}=j}d^{j^{\prime}}_{n}. (20)

We evaluate the application of the following action to Eq. (18):

i=1nσz(i)(1i1<i2<<iknσz(i1)σz(i2)σz(ik)|n/2,mzn/2,m|¯σz(i1)σz(i2)σz(ik))σz(i).\sum^{n}_{i=1}\sigma_{z^{\prime}}^{(i)}\Bigl{(}\sum_{1\leq i_{1}<i_{2}<\cdots<i_{k}\leq n}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k})}_{z^{\prime}}\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k})}_{z^{\prime}}\Bigr{)}\sigma_{z^{\prime}}^{(i)}. (21)

By using Aj,m,mkA^{k}_{j,m,m^{\prime}}, this expression can be written as

i=1n\displaystyle\sum^{n}_{i=1} σz(i)(1i1<i2<<iknσz(i1)σz(i2)σz(ik)|n/2,mzn/2,m|¯σz(i1)σz(i2)σz(ik))σz(i)\displaystyle\sigma_{z^{\prime}}^{(i)}\Bigl{(}\sum_{1\leq i_{1}<i_{2}<\cdots<i_{k}\leq n}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k})}_{z^{\prime}}\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})\cdots\sigma^{(i_{k})}_{z^{\prime}}}_{z^{\prime}}\Bigr{)}\sigma_{z^{\prime}}^{(i)}
=i=1nσz(i)(j=jminn/2Aj,m,m(k)|j,mzj,m|¯)σz(i)\displaystyle=\sum^{n}_{i=1}\sigma_{z^{\prime}}^{(i)}\Bigl{(}\sum^{n/2}_{j=j_{\rm min}}A^{(k)}_{j,m,m^{\prime}}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}\Bigr{)}\sigma_{z^{\prime}}^{(i)}
=4j=jminn/2(a(n,j,m,m)Aj,m,m(k)+b(n,j+1,m,m)Aj+1,m,m(k)+c(n,j1,m,m)Aj1,m,m(k))|j,mzj,m|¯,\displaystyle=4\sum^{n/2}_{j=j_{\rm min}}\bigl{(}a(n,j,m,m^{\prime})A^{(k)}_{j,m,m^{\prime}}+b(n,j+1,m,m^{\prime})A^{(k)}_{j+1,m,m^{\prime}}+c(n,j-1,m,m^{\prime})A^{(k)}_{j-1,m,m^{\prime}}\bigr{)}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}, (22)

where we use Eq. (19) and the conditions b(n,n/2+1,m,m)=b(n,jmin,m,m)=0b(n,n/2+1,m,m^{\prime})=b(n,j_{\rm min},m,m^{\prime})=0 and c(n,n/2,m,m)=c(n,jmin1,m,m)=0c(n,n/2,m,m^{\prime})=c(n,j_{\rm min}-1,m,m^{\prime})=0 to align the summation range. In addition, we can change the left-hand side of the above equation by a simple combinatorial calculation, as follows:

i=1n\displaystyle\sum^{n}_{i=1} σz(i)(1i1<i2<<iknσz(i1)σz(i2)σz(ik)|n/2,mzn/2,m|¯σz(i1)σz(i2)σz(ik))σz(i)\displaystyle\sigma_{z^{\prime}}^{(i)}\Bigl{(}\sum_{1\leq i_{1}<i_{2}<\cdots<i_{k}\leq n}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k})}_{z^{\prime}}\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k})}_{z^{\prime}}\Bigr{)}\sigma_{z^{\prime}}^{(i)}
=\displaystyle= (k+1)1i1<i2<<ik+1nσz(i1)σz(i2)σz(ik+1)|n/2,mzn/2,m|¯σz(i1)σz(i2)σz(ik+1)+\displaystyle(k+1)\sum_{1\leq i_{1}<i_{2}<\cdots<i_{k+1}\leq n}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k+1})}_{z^{\prime}}\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k+1})}_{z^{\prime}}+
+(nk+1)1i1<i2<<ik1nσz(i1)σz(i2)σz(ik1)|n/2,mzn/2,m|¯σz(i1)σz(i2)σz(ik1)\displaystyle+(n-k+1)\sum_{1\leq i_{1}<i_{2}<\cdots<i_{k-1}\leq n}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k-1})}_{z^{\prime}}\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}\sigma^{(i_{1})}_{z^{\prime}}\sigma^{(i_{2})}_{z^{\prime}}\cdots\sigma^{(i_{k-1})}_{z^{\prime}}
=\displaystyle= (k+1)j=jminn/2Aj,m,m(k+1)|j,mzj,m|¯+(nk+1)j=jminn/2Aj,m,m(k1)|j,mzj,m|¯.\displaystyle(k+1)\sum^{n/2}_{j=j_{\rm min}}A^{(k+1)}_{j,m,m^{\prime}}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}+(n-k+1)\sum^{n/2}_{j=j_{\rm min}}A^{(k-1)}_{j,m,m^{\prime}}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}. (23)

By comparing the coefficients of each basis |j,mzj,m|¯\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|} in the above two equations, we obtain the recurrence relation of Aj,m,m(k)A^{(k)}_{j,m,m^{\prime}}:

Aj,m,m(k+1)=\displaystyle A^{(k+1)}_{j,m,m^{\prime}}= 1k+1(4a(n,j,m,m)Aj,m,m(k)+4b(n,j+1,m,m)Aj+1,m,m(k)\displaystyle\frac{1}{k+1}\Bigl{(}4a(n,j,m,m^{\prime})A^{(k)}_{j,m,m^{\prime}}+4b(n,j+1,m,m^{\prime})A^{(k)}_{j+1,m,m^{\prime}}
+4c(n,j1,m,m)Aj1,m,m(k)(nk+1)j=jminn/2Aj,m,m(k1)).\displaystyle+4c(n,j-1,m,m^{\prime})A^{(k)}_{j-1,m,m^{\prime}}-(n-k+1)\sum^{n/2}_{j=j_{\rm min}}A^{(k-1)}_{j,m,m^{\prime}}\Bigr{)}. (24)

When we use this recurrence relation, we assign the following conditions:

\displaystyle\forall m,m,An/2,m,m(0)=1,Ajn/2,m,m(0)=0,\displaystyle m,m^{\prime},~{}~{}A^{(0)}_{n/2,m,m^{\prime}}=1,~{}A^{(0)}_{j\neq n/2,m,m^{\prime}}=0,
j,\displaystyle\forall j, m,m,Aj,m,m(1)=0,\displaystyle m,m^{\prime},~{}~{}A^{(-1)}_{j,m,m^{\prime}}=0, (25)

where the first two conditions represent the initial conditions. Thus, the exact solution of the dynamics (global magnetic field plus collective noise plus independent noise) is now written as

ρ(t)=k=0nαnk(t)βk(t)j=jminn/2jm,mje2iΩ(mm)t2γt(mm)2ρm,mAj,m,m(k)|j,mzj,m|¯.\rho(t)=\sum^{n}_{k=0}\alpha^{n-k}(t)\beta^{k}(t)\sum^{n/2}_{j=j_{\rm min}}\sum_{-j\leq m,m^{\prime}\leq j^{\prime}}e^{-2i\Omega(m-m^{\prime})t-2\gamma t(m-m^{\prime})^{2}}\rho_{m,m^{\prime}}A^{(k)}_{j,m,m^{\prime}}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}. (26)

I.2 Analytical results for the scaling behavior

Here we analytically evaluate the scaling behavior of the minimized uncertainty

δθmin=P(t)(1P(t))|dP(t)dθ|M=P(t)(1P(t))|dP(t)dθ|T/t,\delta\theta^{\rm min}=\frac{\sqrt{P(t)(1-P(t))}}{|\frac{dP(t)}{d\theta}|\sqrt{M}}=\frac{\sqrt{P(t)(1-P(t))}}{|\frac{dP(t)}{d\theta}|\sqrt{T/t}}, (27)

where P(t)=GHZ|ρ(t)|GHZP(t)=\langle{\rm GHZ}|\rho(t)|{\rm GHZ}\rangle is the projection probability, and TT is the total time allowed for the protocol. According to Eq. (26), the survival probability P(t)P(t) is given as

P(t)=\displaystyle P(t)= GHZ|ρ(t)|GHZ\displaystyle\langle{\rm GHZ}|\rho(t)|{\rm GHZ}\rangle
=\displaystyle= k=0nαnk(t)βk(t)j=jminn/2jm,mje2iΩ(mm)t2γt(mm)2ρm,mAj,m,m(k)GHZ|j,mzj,m|¯GHZ\displaystyle\sum^{n}_{k=0}\alpha^{n-k}(t)\beta^{k}(t)\sum^{n/2}_{j=j_{\rm min}}\sum_{-j\leq m,m^{\prime}\leq j}e^{-2i\Omega(m-m^{\prime})t-2\gamma t(m-m^{\prime})^{2}}\rho_{m,m^{\prime}}A^{(k)}_{j,m,m^{\prime}}\langle{\rm GHZ}\overline{|j,m\rangle_{z^{\prime}}\langle j,m^{\prime}|}{\rm GHZ}\rangle
=\displaystyle= k=0nαnk(t)βk(t)n/2m,mn/2ei2Ω(mm)t2γt(mm)2ρm,mAn/2,m,m(k)GHZ|n/2,mzn/2,m|¯GHZ\displaystyle\sum^{n}_{k=0}\alpha^{n-k}(t)\beta^{k}(t)\sum_{-n/2\leq m,m^{\prime}\leq n/2}e^{-i2\Omega(m-m^{\prime})t-2\gamma t(m-m^{\prime})^{2}}\rho_{m,m^{\prime}}A^{(k)}_{n/2,m,m^{\prime}}\langle{\rm GHZ}\overline{|n/2,m\rangle_{z^{\prime}}\langle n/2,m^{\prime}|}{\rm GHZ}\rangle
=\displaystyle= k=0nαnk(t)βk(t)n/2m,mn/2e2iΩ(mm)t2γt(mm)2ρm,mAn/2,m,m(k)GHZ|n/2,m,1zn/2,m,1|GHZ\displaystyle\sum^{n}_{k=0}\alpha^{n-k}(t)\beta^{k}(t)\sum_{-n/2\leq m,m^{\prime}\leq n/2}e^{-2i\Omega(m-m^{\prime})t-2\gamma t(m-m^{\prime})^{2}}\rho_{m,m^{\prime}}A^{(k)}_{n/2,m,m^{\prime}}\langle{\rm GHZ}|n/2,m,1\rangle_{z^{\prime}}\langle n/2,m^{\prime},1|{\rm GHZ}\rangle
=\displaystyle= n/2m,mn/2e2iΩ(mm)t2γt(mm)2k=0nαnk(t)βk(t)An/2,m,m(k)BmBm,\displaystyle\sum_{-n/2\leq m,m^{\prime}\leq n/2}e^{-2i\Omega(m-m^{\prime})t-2\gamma t(m-m^{\prime})^{2}}\sum^{n}_{k=0}\alpha^{n-k}(t)\beta^{k}(t)A^{(k)}_{n/2,m,m^{\prime}}B_{m}B_{m^{\prime}}, (28)

where we define Bm=|GHZ|n/2,m,1z|2B_{m}=|\langle{\rm GHZ}|n/2,m,1\rangle_{z^{\prime}}|^{2} and use ρm,m=n/2,m,1|GHZzGHZ|n/2,m,1z\rho_{m,m^{\prime}}={}_{z^{\prime}}\langle n/2,m,1|{\rm GHZ}\rangle\langle{\rm GHZ}|n/2,m^{\prime},1\rangle_{z^{\prime}} and the fact that |n/2,m,1z|n/2,m,1\rangle_{z} still belongs to the j=n/2j=n/2 subspace in the zz^{\prime} bases. [See also Eq. (10).] The explicit form of BmB_{m} is given as

Bm=\displaystyle B_{m}= Cm+n2n2n+1((1+cosθ)m+n2(1cosθ)n2m+einϕ(1cosθ)m+n2(1+cosθ)n2m)\displaystyle\frac{{}_{n}C_{m+\frac{n}{2}}}{2^{n+1}}\Bigl{(}(\sqrt{1+\cos\theta})^{m+\frac{n}{2}}(-\sqrt{1-\cos\theta})^{\frac{n}{2}-m}+e^{-in\phi}(\sqrt{1-\cos\theta})^{m+\frac{n}{2}}(\sqrt{1+\cos\theta})^{\frac{n}{2}-m}\Bigr{)}
×((1+cosθ)m+n2(1cosθ)n2m+einϕ((1cosθ)m+n2(1+cosθ)n2m)\displaystyle\times\Bigl{(}(\sqrt{1+\cos\theta})^{m+\frac{n}{2}}(-\sqrt{1-\cos\theta})^{\frac{n}{2}-m}+e^{in\phi}((\sqrt{1-\cos\theta})^{m+\frac{n}{2}}(\sqrt{1+\cos\theta})^{\frac{n}{2}-m}\Bigr{)}
=\displaystyle= Cm+n2n2n+1((1+cosθ)m+n2(1cosθ)n2m+(1cosθ)m+n2(1+cosθ)n2m+(einϕ+einϕ)sinnθ(1)n2m),\displaystyle\frac{{}_{n}C_{m+\frac{n}{2}}}{2^{n+1}}\Bigl{(}(1+\cos\theta)^{m+\frac{n}{2}}(1-\cos\theta)^{\frac{n}{2}-m}+(1-\cos\theta)^{m+\frac{n}{2}}(1+\cos\theta)^{\frac{n}{2}-m}+(e^{in\phi}+e^{-in\phi})\sin^{n}\theta(-1)^{\frac{n}{2}-m}\Bigr{)}, (29)

where we use 1cos2θ=sinθ\sqrt{1-\cos^{2}\theta}=\sin\theta for 0θπ0\leq\theta\leq\pi. Assuming nΩt,n2γt,nγt1n\Omega t,~{}n^{2}\gamma t,~{}n\gamma^{\prime}t\ll 1, we take the short time perturbation in Eq. (28) up to the first order of tt:

P(t)\displaystyle P(t)\sim n/2m,mn/2(12iΩt(mm)2γt(mm)2γt(nAn/2,m,m(0)+An/2,m,m(1)))BmBm\displaystyle\sum_{-n/2\leq m,m^{\prime}\leq n/2^{\prime}}\bigl{(}1-2i\Omega t(m-m^{\prime})-2\gamma t(m-m^{\prime})^{2}-\gamma^{\prime}t(nA^{(0)}_{n/2,m,m^{\prime}}+A^{(1)}_{n/2,m,m^{\prime}})\bigr{)}B_{m}B_{m^{\prime}}
=\displaystyle= n/2m,mn/2(12iΩ(mm)t2γt(mm)2γt(n+4mmn))BmBm\displaystyle\sum_{-n/2\leq m,m^{\prime}\leq n/2^{\prime}}\Bigl{(}1-2i\Omega(m-m^{\prime})t-2\gamma t(m-m^{\prime})^{2}-\gamma^{\prime}t\Bigl{(}n+\frac{4mm^{\prime}}{n}\Bigr{)}\Bigr{)}B_{m}B_{m^{\prime}}
=\displaystyle= |m|n/2Bm|m|n/2Bm2iΩt(|m|n/2mBm|m|n/2Bm|m|n/2Bm|m|n/2mBm)\displaystyle\sum_{|m|\leq n/2}B_{m}\cdot\sum_{|m^{\prime}|\leq n/2}B_{m^{\prime}}-2i\Omega t\Bigl{(}\sum_{|m|\leq n/2}mB_{m}\cdot\sum_{|m^{\prime}|\leq n/2}B_{m^{\prime}}-\sum_{|m|\leq n/2}B_{m}\cdot\sum_{|m^{\prime}|\leq n/2}m^{\prime}B_{m^{\prime}}\Bigr{)}
2γt(|m|n/2m2Bm|m|n/2Bm2|m|n/2mBm|m|n/2mBm+|m|n/2Bm|m|n/2m2Bm)\displaystyle-2\gamma t\Bigl{(}\sum_{|m|\leq n/2}m^{2}B_{m}\cdot\sum_{|m^{\prime}|\leq n/2}B_{m^{\prime}}-2\sum_{|m|\leq n/2}mB_{m}\cdot\sum_{|m^{\prime}|\leq n/2}m^{\prime}B_{m^{\prime}}+\sum_{|m|\leq n/2}B_{m}\cdot\sum_{|m^{\prime}|\leq n/2}m^{\prime 2}B_{m^{\prime}}\Bigr{)}
γt(n|m|n/2Bm|m|n/2Bm+4n|m|n/2mBm|m|n/2mBm)\displaystyle-\gamma^{\prime}t\Bigl{(}n\sum_{|m|\leq n/2}B_{m}\cdot\sum_{|m^{\prime}|\leq n/2}B_{m^{\prime}}+\frac{4}{n}\sum_{|m|\leq n/2}mB_{m}\cdot\sum_{|m^{\prime}|\leq n/2}m^{\prime}B_{m^{\prime}}\Bigr{)}
=\displaystyle\ = (|m|n/2Bm)24γt(|m|n/2m2Bm|m|n/2Bm(|m|n/2mBm)2)\displaystyle\Bigl{(}\sum_{|m|\leq n/2}B_{m}\Bigr{)}^{2}-4\gamma t\Bigl{(}\sum_{|m|\leq n/2}m^{2}B_{m}\cdot\sum_{|m|\leq n/2}B_{m}-\Bigl{(}\sum_{|m|\leq n/2}mB_{m}\Bigr{)}^{2}\Bigr{)}
γt(n(|m|n/2Bm)2+4n(|m|n/2mBm)2).\displaystyle-\gamma^{\prime}t\Bigl{(}n\Bigl{(}\sum_{|m|\leq n/2}B_{m}\Bigr{)}^{2}+\frac{4}{n}\Bigl{(}\sum_{|m|\leq n/2}mB_{m}\Bigr{)}^{2}\Bigr{)}. (30)

To evaluate this quantity, we have to evaluate only the following quantities:

|m|n/2Bm,|m|n/2mBm,|m|n/2m2Bm.\sum_{|m|\leq n/2}B_{m},~{}\sum_{|m|\leq n/2}mB_{m},~{}\sum_{|m|\leq n/2}m^{2}B_{m}. (31)

Note that the following formulae are satisfied:

m=0nCmnXmYnm\displaystyle\sum^{n}_{m=0}~{}_{n}C_{m}X^{m}Y^{n-m} =(X+Y)n,\displaystyle=(X+Y)^{n},
m=0nmCmnXmYnm\displaystyle\sum^{n}_{m=0}m~{}_{n}C_{m}X^{m}Y^{n-m} =nX(X+Y)n1,\displaystyle=nX(X+Y)^{n-1},
m=0nm2CmnXmYnm\displaystyle\sum^{n}_{m=0}m^{2}~{}_{n}C_{m}X^{m}Y^{n-m} =nX(X+Y)n1+(n2n)X2(X+Y)n2.\displaystyle=nX(X+Y)^{n-1}+(n^{2}-n)X^{2}(X+Y)^{n-2}. (32)

We introduce a new integer variable, μ:=m+n/2\mu:=m+n/2, and let the sum range take integers. We evaluate mBm\sum_{m}B_{m} as follows:

|m|n/2Bm=μ=0nBμn/2=\displaystyle\sum_{|m|\leq n/2}B_{m}=\sum^{n}_{\mu=0}B_{\mu-n/2}= μ=0nCμn2n+1(1+cosθ)μ(1cosθ)nμ+μ=0nCμn2n+1(1cosθ)μ(1+cosθ)nμ\displaystyle\sum^{n}_{\mu=0}\frac{{}_{n}C_{\mu}}{2^{n+1}}(1+\cos\theta)^{\mu}(1-\cos\theta)^{n-\mu}+\sum^{n}_{\mu=0}\frac{{}_{n}C_{\mu}}{2^{n+1}}(1-\cos\theta)^{\mu}(1+\cos\theta)^{n-\mu}
+(einϕ+einϕ)sinnθμ=0nCμn2n+1(1)nμ\displaystyle+(e^{in\phi}+e^{-in\phi})\sin^{n}\theta\sum^{n}_{\mu=0}\frac{{}_{n}C_{\mu}}{2^{n+1}}(-1)^{n-\mu}
=\displaystyle= 2n2n+1+2n2n+1+(einϕ+einϕ)sinnθ(11)n2n+1=1.\displaystyle\frac{2^{n}}{2^{n+1}}+\frac{2^{n}}{2^{n+1}}+(e^{in\phi}+e^{-in\phi})\sin^{n}\theta\frac{(1-1)^{n}}{2^{n+1}}=1. (33)

This equality is also understood in terms of the completeness of the basis {|n/2,m,1z}\{|n/2,m,1\rangle_{z^{\prime}}\} in the (j=n/2)(j=n/2) subspace:

|m|n/2Bm=\displaystyle\sum_{|m|\leq n/2}B_{m}= |m|n/2|GHZ|n/2,m,1z|2=|m|n/2GHZ|n/2,m,1zn/2,m,1|GHZ\displaystyle\sum_{|m|\leq n/2}|\langle{\rm GHZ}|n/2,m,1\rangle_{z^{\prime}}|^{2}=\sum_{|m|\leq n/2}\langle{\rm GHZ}|n/2,m,1\rangle_{z^{\prime}}\langle n/2,m,1|{\rm GHZ}\rangle
=\displaystyle= GHZ|(|m|n/2|n/2,m,1zn/2,m,1|)|GHZ=GHZ|GHZ=1.\displaystyle\langle{\rm GHZ}|\Bigl{(}\sum_{|m|\leq n/2}|n/2,m,1\rangle_{z^{\prime}}\langle n/2,m,1|\Bigr{)}|{\rm GHZ}\rangle=\langle{\rm GHZ}|{\rm GHZ}\rangle=1. (34)

Similarly, mmBm\sum_{m}mB_{m} and mm2Bm\sum_{m}m^{2}B_{m} are given by

|m|n/2mBm=μ=0n(μn2)Bμn/2=\displaystyle\sum_{|m|\leq n/2}mB_{m}=\sum^{n}_{\mu=0}\Bigl{(}\mu-\frac{n}{2}\Bigr{)}B_{\mu-n/2}= n2n+1(1+cosθ)2n1+n2n+1(1cosθ)2n1n2μ=0nBμn/2\displaystyle\frac{n}{2^{n+1}}(1+\cos\theta)2^{n-1}+\frac{n}{2^{n+1}}(1-\cos\theta)2^{n-1}-\frac{n}{2}\sum^{n}_{\mu=0}B_{\mu-n/2}
=\displaystyle= n4((1+cosθ)+(1cosθ))n2=0\displaystyle\frac{n}{4}\bigl{(}(1+\cos\theta)+(1-\cos\theta)\bigr{)}-\frac{n}{2}=0 (35)

and

|m|n/2m2Bm\displaystyle\sum_{|m|\leq n/2}m^{2}B_{m} =μ=0n(μn2)2Bμn/2=μ=0nμ2Bμn/2nμ=0nμBμn/2+n24μ=0nBμn/2\displaystyle=\sum^{n}_{\mu=0}\Bigl{(}\mu-\frac{n}{2}\Bigr{)}^{2}B_{\mu-n/2}=\sum^{n}_{\mu=0}\mu^{2}B_{\mu-n/2}-n\sum^{n}_{\mu=0}\mu B_{\mu-n/2}+\frac{n^{2}}{4}\sum^{n}_{\mu=0}B_{\mu-n/2}
=\displaystyle= n4((1+cosθ)+(1cosθ))+n2n8((1+cosθ)2+(1cosθ)2)n24\displaystyle\frac{n}{4}\bigl{(}(1+\cos\theta)+(1-\cos\theta)\bigr{)}+\frac{n^{2}-n}{8}\bigl{(}(1+\cos\theta)^{2}+(1-\cos\theta)^{2}\bigr{)}-\frac{n^{2}}{4}
=\displaystyle= n2+n2n4(1+cos2θ)n24=n24cos2θ+n4(1cos2θ).\displaystyle\frac{n}{2}+\frac{n^{2}-n}{4}(1+\cos^{2}\theta)-\frac{n^{2}}{4}=\frac{n^{2}}{4}\cos^{2}\theta+\frac{n}{4}(1-\cos^{2}\theta). (36)

These equations, as well as Eq. (34), are calculated as follows:

|m|n/2mBm=\displaystyle\sum_{|m|\leq n/2}mB_{m}= |m|n/2mGHZ|n/2,m,1zn/2,m,1|GHZ=GHZ||m|n/2(m|n/2,m,1zn/2,m,1|)|GHZ\displaystyle\sum_{|m|\leq n/2}m\langle{\rm GHZ}|n/2,m,1\rangle_{z^{\prime}}\langle n/2,m,1|{\rm GHZ}\rangle=\langle{\rm GHZ}|\sum_{|m|\leq n/2}\Bigl{(}m|n/2,m,1\rangle_{z^{\prime}}\langle n/2,m,1|\Bigr{)}|{\rm GHZ}\rangle
=\displaystyle= GHZ||m|n/2(Lz2|n/2,m,1zn/2,m,1|)|GHZ=GHZ|Lz2|GHZ\displaystyle\langle{\rm GHZ}|\sum_{|m|\leq n/2}\Bigl{(}\frac{L_{z^{\prime}}}{2}|n/2,m,1\rangle_{z^{\prime}}\langle n/2,m,1|\Bigr{)}|{\rm GHZ}\rangle=\langle{\rm GHZ}|\frac{L_{z^{\prime}}}{2}|{\rm GHZ}\rangle
=\displaystyle= 12GHZ|(cosθLz+cosϕsinθLx+isinϕsinθLy)|GHZ\displaystyle\frac{1}{2}\langle{\rm GHZ}|(\cos\theta L_{z}+\cos\phi\sin\theta L_{x}+i\sin\phi\sin\theta L_{y})|{\rm GHZ}\rangle
=\displaystyle= cosθ4(n2,n2,1|Lz|n2,n2,1+n2,n2,1|Lz|n2,n2,1)=0\displaystyle\frac{\cos\theta}{4}\Bigl{(}\langle\frac{n}{2},\frac{n}{2},1|L_{z}|\frac{n}{2},\frac{n}{2},1\rangle+\langle\frac{n}{2},-\frac{n}{2},1|L_{z}|\frac{n}{2},-\frac{n}{2},1\rangle\Bigr{)}=0 (37)

and

|m|n/2m2Bm=\displaystyle\sum_{|m|\leq n/2}m^{2}B_{m}= GHZ||m|n/2(Lz24|n/2,m,1zn/2,m,1|)|GHZ=14GHZ|Lz2|GHZ\displaystyle\langle{\rm GHZ}|\sum_{|m|\leq n/2}\Bigl{(}\frac{L^{2}_{z^{\prime}}}{4}|n/2,m,1\rangle_{z^{\prime}}\langle n/2,m,1|\Bigr{)}|{\rm GHZ}\rangle=\frac{1}{4}\langle{\rm GHZ}|L^{2}_{z^{\prime}}|{\rm GHZ}\rangle
=\displaystyle= 14GHZ|(cosθLz+cosϕsinθLx+isinϕsinθLy)2|GHZ\displaystyle\frac{1}{4}\langle{\rm GHZ}|(\cos\theta L_{z}+\cos\phi\sin\theta L_{x}+i\sin\phi\sin\theta L_{y})^{2}|{\rm GHZ}\rangle
=\displaystyle= 14GHZ|(cos2θLz2+sin2θ(L+L+LL+)|GHZ\displaystyle\frac{1}{4}\langle{\rm GHZ}|(\cos^{2}\theta L^{2}_{z}+\sin^{2}\theta(L_{+}L_{-}+L_{-}L_{+})|{\rm GHZ}\rangle
=\displaystyle= n24cos2θ+n4(1cos2θ).\displaystyle\frac{n^{2}}{4}\cos^{2}\theta+\frac{n}{4}(1-\cos^{2}\theta). (38)

By using the above equations, Eq. (30) is finally evaluated as

P(t)=1γt(n2cos2θ+n(1cos2θ))γtn.P(t)=1-\gamma t(n^{2}\cos^{2}\theta+n(1-\cos^{2}\theta))-\gamma^{\prime}tn. (39)

If we consider the estimation using collective dephasing (γ0\gamma\neq 0) and assign the scaling behavior t=t0/n2t=t_{0}/n^{2} with a constant t0t_{0}, we find that P(t)P(t) and 1P(t)1-P(t) scale as 𝒪(n0){\cal O}(n^{0}). In addition, |dP(t)/dθ||dP(t)/d\theta| has the 𝒪(n0){\cal O}(n^{0}) dependence. This result implies that the minimized uncertainty (27) scales as

δθmin=P(t)(1P(t))|dP(t)dθ|T/t=𝒪(n0)𝒪(n0)n2T/t0=𝒪(n1)\delta\theta^{\rm min}=\frac{\sqrt{P(t)(1-P(t))}}{|\frac{dP(t)}{d\theta}|\sqrt{T/t}}=\frac{{\cal O}(n^{0})}{{\cal O}(n^{0})\sqrt{n^{2}T/t_{0}}}={\cal O}(n^{-1}) (40)

for large nn, which is the Heisenberg scaling. Thus, by utilizing the short time perturbation, we show that the estimation of θ\theta by collective dephasing achieves the HL even under the effect of independent dephasing. Note that θ\theta can be estimated without knowing the value of ϕ\phi in a short time regime because P(t)P(t) is independent of ϕ\phi in this regime.

In our scheme, we focus only on independent dephasing. However, the above calculation also works for any type of independent noise. According to the definition of the independence of noise, any independent noise behaves as γnt\sim\gamma^{\prime}nt in a short time region, like the last term in Eq. (39). Thus, if the n2n^{2} term in Eq. (39) is present (or equivalently, if collective dephasing noise exists), we achieve the HL under any independent noise in the same manner as in the above discussion. We should also point out that we cannot achieve the HL in the short time regime if we consider another type of collective dephasing noise with quadratic decay. In this case, the calculation shown above reveals that the estimation of θ\theta using the quadratic collective dephasing achieves the SQL at best.

I.3 Brief review of quantum Fisher information

Here we briefly review the quantum Fisher information [4]. We focus only on single parameter estimation, where θ\theta denotes the parameter to be estimated. We have a density matrix ρθ\rho_{\theta} in which the information on θ\theta is imprinted and perform a POVM {Πl}\{\Pi_{l}\} (Πl0,lΠl=𝕀)(\Pi_{l}\geq 0,~{}\sum_{l}\Pi_{l}={\mathbb{I}}) on ρθ\rho_{\theta}. From this measurement, we obtain a measurement outcome ll with a probability

P(l|θ)=Tr(Πlρθ).P(l|\theta)={\rm Tr}\bigl{(}\Pi_{l}\rho_{\theta}\bigr{)}. (41)

We prepare the state ρθ\rho_{\theta} and perform POVM measurements with Πl\Pi_{l}. Suppose that we repeat these steps MM times. Now we introduce an estimator θ~(l)\tilde{\theta}(\vec{l}), which is a function of MM outcomes l={l1,l2,l3,,lM}\vec{l}=\{l_{1},l_{2},l_{3},\cdots,l_{M}\}, and identify the value of this estimator as the true value of the parameter θ\theta. The precision of the estimation is determined by the uncertainty, δθ:=(θ~θ)2\delta\theta:=\sqrt{\langle(\tilde{\theta}-\theta)^{2}\rangle}, where the average (\langle\bullet\rangle) is defined as

f=lf(l)k=1MP(lk|θ)\langle f\rangle=\sum_{\vec{l}}f(\vec{l})~{}\prod^{M}_{k=1}P(l_{k}|\theta) (42)

for a function of MM outcomes. The following classical Cramér-Rao bound is satisfied for any estimator under the unbiased condition θ~=θ\langle\tilde{\theta}\rangle=\theta,

δθ1/MFθ({Πl}),\delta\theta\geq 1/\sqrt{MF_{\theta}(\{\Pi_{l}\})}, (43)

where Fθ({Πl})F_{\theta}(\{\Pi_{l}\}) is the Fisher information, which is defined as

Fθ({Πl})=lP(l|θ)logP(l|θ)θlogP(l|θ)θ.F_{\theta}(\{\Pi_{l}\})=\sum_{l}P(l|\theta)\frac{\partial\log P(l|\theta)}{\partial\theta}\frac{\log\partial P(l|\theta)}{\partial\theta}. (44)

In particular, a two-valued measurement {Π,𝕀Π}\{\Pi,{\mathbb{I}}-\Pi\} gives

Fθ({Π,𝕀Π})=|dP(θ)/dθ|2P(θ)(1P(θ)),F_{\theta}(\{\Pi,{\mathbb{I}}-\Pi\})=\frac{|dP(\theta)/d\theta|^{2}}{P(\theta)\bigl{(}1-P(\theta)\bigr{)}}, (45)

where P(θ)=Tr(Πρθ)P(\theta)={\rm Tr}(\Pi\rho_{\theta}).

In quantum estimation, we can minimize the uncertainty δθ\delta\theta by choosing the best POVMs. We have the following quantum Cramér-Rao bound for any POVM {Πl}\{\Pi_{l}\}:

Fθ({Πl})Fθ(Q),F_{\theta}(\{\Pi_{l}\})\leq F^{(Q)}_{\theta}, (46)

where Fθ(Q)F^{(Q)}_{\theta} is called the quantum Fisher information and is defined as follows:

Fθ(Q)=Tr(Lθ2ρθ),ρθθ=12{Lθ,ρθ}.F^{(Q)}_{\theta}={\rm Tr}(L^{2}_{\theta}\rho_{\theta}),~{}~{}\frac{\partial\rho_{\theta}}{\partial\theta}=\frac{1}{2}\{L_{\theta},\rho_{\theta}\}. (47)

By combining Eqs. (43) and (46), we obtain a sequence of inequalities:

δθ1/MFθ({Πl})1/MFθ(Q).\delta\theta\geq 1/\sqrt{MF_{\theta}(\{\Pi_{l}\})}\geq 1/\sqrt{MF^{(Q)}_{\theta}}. (48)

For single-parameter estimation, it is shown that the second inequality can be saturated by taking an appropriate POVM, although that POVM may depend on the value of the parameter to be estimated.

References

  • Huber et al. [2008] M. E. Huber, N. C. Koshnick, H. Bluhm, L. J. Archuleta, T. Azua, P. G. Björnsson, B. W. Gardner, S. T. Halloran, E. A. Lucero, and K. A. Moler, Review of Scientific Instruments 79, 053704 (2008).
  • Ramsden [2011] E. Ramsden, Hall-effect sensors: theory and application (Elsevier, 2011).
  • Poggio and Degen [2010] M. Poggio and C. L. Degen, Nanotechnology 21, 342001 (2010).
  • Helstrom [1976] C. W. Helstrom, Quantum detection and estimation theory, Vol. 84 (Academic press New York, 1976).
  • Dunningham [2006] J. A. Dunningham, Contemporary physics 47, 257 (2006).
  • Holevo [2011] A. S. Holevo, Probabilistic and statistical aspects of quantum theory, Vol. 1 (Springer Science & Business Media, 2011).
  • Caves [1981] C. M. Caves, Physical Review D 23, 1693 (1981).
  • Giovannetti et al. [2004] V. Giovannetti, S. Lloyd, and L. Maccone, Science 306, 1330 (2004).
  • Giovannetti et al. [2006] V. Giovannetti, S. Lloyd, and L. Maccone, Physical review letters 96, 010401 (2006).
  • Simon et al. [2017] D. S. Simon, G. Jaeger, and A. V. Sergienko, in Quantum Metrology, Imaging, and Communication (Springer, 2017) pp. 91–112.
  • Giovannetti et al. [2011] V. Giovannetti, S. Lloyd, and L. Maccone, Nature photonics 5, 222 (2011).
  • Taylor and Bowen [2016] M. A. Taylor and W. P. Bowen, Physics Reports 615, 1 (2016).
  • Degen et al. [2017] C. L. Degen, F. Reinhard, and P. Cappellaro, Reviews of modern physics 89, 035002 (2017).
  • Paris [2009] M. G. Paris, International Journal of Quantum Information 7, 125 (2009).
  • Wineland et al. [1992] D. J. Wineland, J. J. Bollinger, W. M. Itano, F. Moore, and D. Heinzen, Physical Review A 46, R6797 (1992).
  • Wineland et al. [1994] D. J. Wineland, J. J. Bollinger, W. M. Itano, and D. Heinzen, Physical Review A 50, 67 (1994).
  • Tóth and Apellaniz [2014] G. Tóth and I. Apellaniz, Journal of Physics A: Mathematical and Theoretical 47, 424006 (2014).
  • Bollinger et al. [1996] J. J. Bollinger, W. M. Itano, D. J. Wineland, and D. J. Heinzen, Physical Review A 54, R4649 (1996).
  • Macieszczak [2015] K. Macieszczak, Physical Review A 92, 010102 (2015).
  • Huelga et al. [1997] S. F. Huelga, C. Macchiavello, T. Pellizzari, A. K. Ekert, M. B. Plenio, and J. I. Cirac, Phys. Rev. Lett. 79, 3865 (1997).
  • Górecka et al. [2018] A. Górecka, F. A. Pollock, P. Liuzzo-Scorpo, R. Nichols, G. Adesso, and K. Modi, New Journal of Physics 20, 083008 (2018).
  • Rossi et al. [2020] M. A. Rossi, F. Albarelli, D. Tamascelli, and M. G. Genoni, Physical Review Letters 125, 200505 (2020).
  • Altenburg et al. [2017] S. Altenburg, M. Oszmaniec, S. Wölk, and O. Gühne, Physical Review A 96, 042319 (2017).
  • Schmitt et al. [2017] S. Schmitt, T. Gefen, F. M. Stürner, T. Unden, G. Wolff, C. Müller, J. Scheuer, B. Naydenov, M. Markham, S. Pezzagna, et al., Science 356, 832 (2017).
  • Ledbetter et al. [2012] M. Ledbetter, K. Jensen, R. Fischer, A. Jarmola, and D. Budker, Physical Review A 86, 052116 (2012).
  • Ajoy and Cappellaro [2012] A. Ajoy and P. Cappellaro, Physical Review A 86, 062104 (2012).
  • Monz et al. [2011] T. Monz, P. Schindler, J. T. Barreiro, M. Chwalla, D. Nigg, W. A. Coish, M. Harlander, W. Hänsel, M. Hennrich, and R. Blatt, Physical Review Letters 106, 130506 (2011).
  • Greenberger et al. [1990] D. M. Greenberger, M. A. Horne, A. Shimony, and A. Zeilinger, American Journal of Physics 58, 1131 (1990).
  • DiCarlo et al. [2010] L. DiCarlo, M. D. Reed, L. Sun, B. R. Johnson, J. M. Chow, J. M. Gambetta, L. Frunzio, S. M. Girvin, M. H. Devoret, and R. J. Schoelkopf, Nature 467, 574 (2010).
  • Holland and Burnett [1993] M. Holland and K. Burnett, Physical review letters 71, 1355 (1993).
  • Nagata et al. [2007] T. Nagata, R. Okamoto, J. L. O’brien, K. Sasaki, and S. Takeuchi, Science 316, 726 (2007).
  • Jones et al. [2009] J. A. Jones, S. D. Karlen, J. Fitzsimons, A. Ardavan, S. C. Benjamin, G. A. D. Briggs, and J. J. Morton, Science 324, 1166 (2009).
  • Facon et al. [2016] A. Facon, E.-K. Dietsche, D. Grosso, S. Haroche, J.-M. Raimond, M. Brune, and S. Gleyzes, Nature 535, 262 (2016).
  • Kruse et al. [2016] I. Kruse, K. Lange, J. Peise, B. Lücke, L. Pezzè, J. Arlt, W. Ertmer, C. Lisdat, L. Santos, A. Smerzi, et al., Physical review letters 117, 143004 (2016).
  • Cox et al. [2016] K. C. Cox, G. P. Greve, J. M. Weiner, and J. K. Thompson, Physical review letters 116, 093602 (2016).
  • Hosten et al. [2016] O. Hosten, N. J. Engelsen, R. Krishnakumar, and M. A. Kasevich, Nature 529, 505 (2016).
  • Luo et al. [2017] X.-Y. Luo, Y.-Q. Zou, L.-N. Wu, Q. Liu, M.-F. Han, M. K. Tey, and L. You, Science 355, 620 (2017).
  • Mason et al. [2019] D. Mason, J. Chen, M. Rossi, Y. Tsaturyan, and A. Schliesser, Nature Physics 15, 745 (2019).
  • Bao et al. [2020] H. Bao, J. Duan, S. Jin, X. Lu, P. Li, W. Qu, M. Wang, I. Novikova, E. E. Mikhailov, K.-F. Zhao, et al., Nature 581, 159 (2020).
  • Pedrozo-Peñafiel et al. [2020] E. Pedrozo-Peñafiel, S. Colombo, C. Shu, A. F. Adiyatullin, Z. Li, E. Mendez, B. Braverman, A. Kawasaki, D. Akamatsu, Y. Xiao, et al., Nature 588, 414 (2020).
  • Shaji and Caves [2007] A. Shaji and C. M. Caves, Phys. Rev. A 76, 032111 (2007).
  • Matsuzaki et al. [2011] Y. Matsuzaki, S. C. Benjamin, and J. Fitzsimons, Physical Review A 84, 012103 (2011).
  • Chin et al. [2012] A. W. Chin, S. F. Huelga, and M. B. Plenio, Physical review letters 109, 233601 (2012).
  • Demkowicz-Dobrzański et al. [2012] R. Demkowicz-Dobrzański, J. Kołodyński, and M. Guţă, Nature communications 3, 1 (2012).
  • Chaves et al. [2013] R. Chaves, J. Brask, M. Markiewicz, J. Kołodyński, and A. Acín, Physical review letters 111, 120401 (2013).
  • Tanaka et al. [2015] T. Tanaka, P. Knott, Y. Matsuzaki, S. Dooley, H. Yamaguchi, W. J. Munro, and S. Saito, Physical review letters 115, 170801 (2015).
  • Davis et al. [2016] E. Davis, G. Bentsen, and M. Schleier-Smith, Physical review letters 116, 053601 (2016).
  • Matsuzaki et al. [2018a] Y. Matsuzaki, S. Benjamin, S. Nakayama, S. Saito, and W. J. Munro, Physical review letters 120, 140501 (2018a).
  • Ho et al. [2020] L. B. Ho, H. Hakoshima, Y. Matsuzaki, M. Matsuzaki, and Y. Kondo, Physical Review A 102, 022602 (2020).
  • Yoshinaga et al. [2021] A. Yoshinaga, M. Tatsuta, and Y. Matsuzaki, arXiv preprint arXiv:2101.02998  (2021).
  • Kessler et al. [2014] E. M. Kessler, I. Lovchinsky, A. O. Sushkov, and M. D. Lukin, Physical review letters 112, 150802 (2014).
  • Arrad et al. [2014] G. Arrad, Y. Vinkler, D. Aharonov, and A. Retzker, Physical review letters 112, 150801 (2014).
  • Dür et al. [2014] W. Dür, M. Skotiniotis, F. Froewis, and B. Kraus, Physical Review Letters 112, 080801 (2014).
  • Herrera-Martí et al. [2015] D. A. Herrera-Martí, T. Gefen, D. Aharonov, N. Katz, and A. Retzker, Physical review letters 115, 200501 (2015).
  • Matsuzaki and Benjamin [2017] Y. Matsuzaki and S. Benjamin, Physical Review A 95, 032303 (2017).
  • Unden et al. [2016] T. Unden, P. Balasubramanian, D. Louzon, Y. Vinkler, M. B. Plenio, M. Markham, D. Twitchen, A. Stacey, I. Lovchinsky, A. O. Sushkov, et al., Physical review letters 116, 230502 (2016).
  • Cohen et al. [2016] L. Cohen, Y. Pilnyak, D. Istrati, A. Retzker, and H. Eisenberg, Physical Review A 94, 012324 (2016).
  • Matsuzaki et al. [2016] Y. Matsuzaki, T. Shimo-Oka, H. Tanaka, Y. Tokura, K. Semba, and N. Mizuochi, Physical Review A 94, 052330 (2016).
  • Averin et al. [2016] D. Averin, K. Xu, Y.-P. Zhong, C. Song, H. Wang, and S. Han, Physical review letters 116, 010501 (2016).
  • Beau and del Campo [2017] M. Beau and A. del Campo, Physical review letters 119, 010403 (2017).
  • Matsuzaki et al. [2018b] Y. Matsuzaki, S. Saito, and W. J. Munro, Quantum metrology at the heisenberg limit with the presence of independent dephasing (2018b), arXiv:1809.00176 [quant-ph] .
  • Braun and Martin [2011] D. Braun and J. Martin, Nature communications 2, 1 (2011).
  • Demkowicz-Dobrzański et al. [2017] R. Demkowicz-Dobrzański, J. Czajkowski, and P. Sekatski, Physical Review X 7, 041009 (2017).
  • Sekatski et al. [2017] P. Sekatski, M. Skotiniotis, J. Kołodyński, and W. Dür, Quantum 1, 27 (2017).
  • Dooley et al. [2018] S. Dooley, M. Hanks, S. Nakayama, W. J. Munro, and K. Nemoto, npj Quantum Information 4, 1 (2018).
  • Koczor et al. [2020] B. Koczor, S. Endo, T. Jones, Y. Matsuzaki, and S. C. Benjamin, New Journal of Physics 22, 083038 (2020).
  • Mihailov [1977] V. Mihailov, Journal of Physics A: Mathematical and General 10, 147 (1977).
  • Ping et al. [2002] J. Ping, F. Wang, and J.-q. Chen, Group representation theory for physicists (World Scientific Publishing Company, 2002).
  • Chase and Geremia [2008] B. A. Chase and J. Geremia, Physical Review A 78, 052101 (2008).
  • Baragiola et al. [2010] B. Q. Baragiola, B. A. Chase, and J. Geremia, Physical Review A 81, 032104 (2010).