--- title: Boundary Quantum Fisher Information url: https://www.emergentmind.com/topics/boundary-quantum-fisher-information-qfi type: topic --- # Boundary Quantum Fisher Information Boundary quantum Fisher information (QFI) is not a single universally standardized formal object. In current arXiv literature, the phrase appears in several technically distinct senses: as the QFI of a boundary-local reduced state in an open many-body system, as a lower or upper boundary on QFI obtained from experimentally accessible data, and as a spectral-edge formulation in which QFI is controlled by the behavior of a Liouville-space measure near the boundary point $\lambda=0$ [2605.00770]. Related work also uses bounded parameter domains or temporal inequalities to place rigorous constraints on QFI, so the topic is best understood as a family of boundary-sensitive metrological constructions rather than a single definition [2403.10248]. ## 1. Terminological scope Several usages of “boundary QFI” coexist in the literature. | Usage | Boundary object | Representative result | |---|---|---| | Physical boundary | Single boundary site in an open chain | Majorana zero mode fixes boundary QFI at a nonzero plateau [2605.00770] | | Operational boundary | Lower/upper QFI bounds from data | Certified interval \(H_\delta \le I_\delta \le J_\delta\) [2010.10488] | | Truncation boundary | Support-restricted or subnormalized state | TQFI lower-bounds standard QFI [2010.02904] | | Temporal boundary | LGI violation as a lower bound | \(F_Q \ge 8[K(\tau)-\langle Q^2\rangle]\) for stationary pure states [2604.09772] | | Spectral boundary | Hard edge at \(\lambda=0\) | QFI becomes a singular inverse moment \(\int d\mu(\lambda)/\lambda^2\) [2602.19750] | | Parameter-domain boundary | Finite interval \([a,b]\) | \(\chi \le \ln\!\left(1+\frac12\int_a^b d\theta\,\sqrt{F_Q[\rho_\theta]}\right)\) [2403.10248] | A recurrent point is that several papers explicitly do **not** introduce a formal object called “boundary QFI.” Instead, they develop QFI lower bounds, upper bounds, detectability thresholds, or generalized QFI measures that become boundary-sensitive because of physical edges, bounded supports, truncated spectra, or spectral hard edges [1509.03334]. Accordingly, the expression functions as an umbrella term spanning topological boundary metrology, experimentally accessible QFI certification, and edge-controlled spectral geometry. ## 2. Boundary-local QFI in topological many-body systems The most literal use of the term occurs in the study of local QFI at a physical boundary. In the open Kitaev chain, a parameter is encoded by a local spin rotation, \[ \hat R_{x/y}^{(k)}(\theta)=e^{-i\theta\hat\sigma_k^{x/y}/2}, \] the system evolves under the open XY/Kitaev Hamiltonian, and the readout is performed on the left boundary site \(j=1\). The object of interest is the QFI of the **single-site reduced density matrix** \(\hat\varrho_j(\theta,t)\), written in Bloch form as \[ \hat\varrho_j=\frac12(1+\bm m\cdot\hat{\bm\sigma}), \] with single-qubit QFI \[ F_Q = |\partial_\theta\bm m|^2 +\frac{(\bm m\cdot\partial_\theta\bm m)^2}{1-|\bm m|^2}. \] In this setting, “boundary QFI” means \(F_Q^{(1)}(\theta,t)\), the locally accessible metrological sensitivity of the boundary qubit after encoding and evolution [2605.00770]. The exact free-fermion analysis yields a particularly simple result at the optimal operating point \(\theta_0=0\): \[ F_Q^{(j)}\big|_{\theta_0=0}=|W_{j,k}(t)|^2, \] where \[ W_{j,k}\equiv U_{j,k}+V_{j,k}, \] and \(U,V\) are the normal and anomalous Bogoliubov propagators. The long-time averaged plateau is \[ \overline{F_Q^{(j)}\big|_{\theta_0=0}} = \overline{|W_{j,k}^{\rm bulk}|^2} + 4|\phi_L(j)\phi_L(k)|^2. \] For boundary encoding and boundary readout, \(j=k=1\), the plateau term is \[ 4|\phi_L(1)|^4. \] The plateau forms once bulk contributions have dephased on the timescale \(t\sim \varepsilon_{\rm gap}^{-1}\), and for finite size it persists up to times \[ t \ll \varepsilon_0^{-1}\sim e^{L/\xi}, \] because the Majorana zero mode acquires only an exponentially small splitting \(\varepsilon_0\sim e^{-L/\xi}\). Near the transition, the plateau amplitude behaves as \[ F_Q^{(1)}\sim |h-J|^2. \] This formulation differs sharply from global many-body QFI. The full evolution remains unitary, but local accessibility is the issue: in generic dynamics, single-site metrological sensitivity decays because local information disperses into nonlocal correlations. In the topological phase \(|h|0\), \(y\)-axis encoding probes the left Majorana with \(O(1)\) weight, whereas \(x\)-axis encoding probes the right Majorana, whose weight at the left edge is exponentially small. Consequently, for left boundary readout, \[ F_Q^{(1)} \text{ in the } y\text{-channel} = O(1), \qquad F_Q^{(1)} \text{ in the } x\text{-channel} \sim e^{-L/\xi}. \] The paper identifies this as a **boundary encoding-axis asymmetry** [2605.00770]. This asymmetry is significant because a plateau alone does not prove topological origin: a trivial localized boundary mode can also produce a residual long-time local signal. The paper therefore emphasizes that the asymmetry, not merely the existence of a nonzero plateau, distinguishes topological boundary memory from a generic localized subgap signal. If the sign of the real pairing is reversed, \(\gamma<0\), the preferred boundary axis is interchanged. Robustness was analyzed in two perturbative directions. Under quenched on-site disorder, \[ h_j = h+\delta h_j, \qquad \delta h_j\in[-W,W], \] the asymmetry remains close to the clean topological value for disorder strengths \(W\) below the clean bulk-gap scale \(\varepsilon_{\rm gap}\). Under parity-preserving interactions, \[ \delta\sum_j \hat\sigma_j^z\hat\sigma_{j+1}^z, \] the exact free-fermion identity \(F_Q=|W|^2\) no longer applies, but finite-size real-time simulations still show a visible boundary plateau. At the Kitaev sweet spot \(h=0,\gamma=1\), the boundary QFI retains about \(70\%\) of its free-fermion value at \(\delta=0.8J\). Outside the topological phase, by contrast, no protected nonzero plateau survives in the thermodynamic limit; the long-time boundary QFI is controlled only by extended bulk modes and scales as \(O(1/L)\). ## 4. Operational QFI boundaries: fidelity, truncation, and finite precision A second usage of boundary QFI concerns experimentally accessible lower and upper bounds on QFI. One route is the finite-time distinguishability protocol based on the Bhattacharyya coefficient \[ B_\Omega=\sum_m \sqrt{p_m q_m}, \] where \(p_m\) and \(q_m\) are outcome probabilities before and after a small unitary \(U=e^{-iHt}\). The central inequality is \[ \mathcal I_\rho(H)\ge \frac{4}{t^2}\arccos^2 B_\Omega. \] This gives a direct lower-bound estimator for QFI from measurement statistics, but finite detector resolution imposes a practical detectability boundary: to certify \(\mathcal I_{\phi_0}(S_z)\ge O(N^x)\), one needs \(t=cN^{-x/2}\), and the induced statistical change remains confined to a scale \[ D\lesssim O(N^{1-x/2}), \] so one requires \[ \Delta \lesssim O(N^{1-x/2}). \] For Heisenberg-like scaling \(x=2\), \(O(1)\)-level resolution is required. An additional interaction-based readout \(W\) can shift this boundary and restore sensitivity [1509.03334]. Mixed-state boundary estimation was developed further in the variational algorithm VQFIE. Instead of computing QFI exactly, the method variationally estimates lower and upper bounds derived from fidelity bounds, producing a certified interval \[ H_{\delta}(\theta;\rho_{\theta}) \le I_\delta (\theta;\rho_{\theta}) \le J_{\delta}(\theta;\rho_{\theta}), \] with \[ I_\delta(\theta;\rho_\theta)=8\frac{1-F(\rho_\theta,\rho_{\theta+\delta})}{\delta^2}. \] The final bounds combine truncated generalized fidelity and sub-/super-fidelity, \[ H_{\delta}(\theta;\rho_{\theta}) = \max\left\{ I_\delta\left(F_{*};\rho_\theta^{(m)}\right), I_\delta\left(\sqrt{R};\rho_{\theta}^{(m)}\right) \right\}, \] \[ J_{\delta}(\theta;\rho_{\theta}) = \min\left\{ I_\delta\left(F;\rho_\theta^{(m)}\right), I_\delta\left(\sqrt{E}; \rho_\theta^{(m)}\right) \right\}. \] The method is dynamics agnostic and is especially useful for mixed states of high purity or low effective rank [2010.10488]. A closely related construction is the truncated quantum Fisher information (TQFI), \[ \mathcal{I}_*(\theta;\rho^{(m)}_{\theta}) = 8\lim_{\delta\to0} \frac{1-F_*(\rho^{(m)}_{\theta},\rho^{(m)}_{\theta+\delta})}{\delta^2}, \] where the generalized fidelity for subnormalized states is \[ F_*(\tau,\sigma) = \left\|\sqrt{\tau}\sqrt{\sigma}\right\|_1 + \sqrt{(1-\operatorname{Tr}\tau)(1-\operatorname{Tr}\sigma)}. \] TQFI satisfies \[ \mathcal{I}_*(\theta;\rho_\theta^{(m)})\le I(\theta;\rho_\theta), \] increases monotonically with \(m\), and becomes exact at full support \(m=r=\operatorname{rank}(\rho)\). For unitary families, \[ \mathcal{I}_*(\theta;\rho_\theta^{(m)}) = 2\sum_{i,j=1}^m \frac{(\lambda_i-\lambda_j)^2}{\lambda_i+\lambda_j}|G_{ij}|^2. \] This is a genuine subnormalized-state QFI geometry, not merely a heuristic truncation [2010.02904]. ## 5. Temporal nonclassicality as a lower boundary on QFI Another boundary formulation relates QFI to Leggett–Garg inequality (LGI) violations. For a bounded observable \(Q\) with \(\|Q\|\le 1\), the symmetrized stationary correlator is \[ C(\tau)=\frac12\langle\{Q(\tau),Q\}\rangle, \] and the stationary LGI quantity is \[ K(\tau)=2C(\tau)-C(2\tau). \] For stationary pure states and thermal states, LGI violation yields rigorous lower bounds on the QFI associated with the same generator \(Q\). In the pure-state case, \[ F_Q \ge 8\left[K(\tau)-\langle Q^2\rangle\right], \] and since \(\langle Q^2\rangle\le 1\), \[ F_Q \ge 8\,[K(\tau)-1]. \] For thermal states, \[ F_Q \ge \frac{K(\tau)-\langle Q^2\rangle}{\gamma(2\tau/\beta)}, \] with a universal thermal factor \(\gamma\), satisfying \[ \lim_{y\to 0}\gamma(y)=1/8. \] Thus a qualitative foundations test becomes a quantitative witness of metrological sensitivity [2604.09772]. The proof is spectral: \(K(\tau)-\langle Q^2\rangle\) is decomposed into off-diagonal matrix elements of \(Q\) in the energy basis, and the oscillatory kernel \[ h(x)=2\cos x-\cos 2x-1 \] is bounded above by \(1/2\). The same transition weights enter the QFI, so LGI violation implies that \(Q\) coherently connects energy levels and therefore generates nonzero QFI. In thermal states the comparison is termwise through the universal ratio \[ R(x,y)=\frac14 \coth^2(x/y)h(x). \] This temporal lower boundary is experimentally economical. One measures only \[ C(\tau)=\frac12\langle\{Q(\tau),Q\}\rangle \] at times \(0,\tau,2\tau\), forms \(K(\tau)\), and infers a QFI lower bound. For dichotomic \(Q\), sequential projective measurements suffice; for bounded non-dichotomic \(Q\), weak measurements reconstruct the same symmetrized correlator. In collective many-body settings, the resulting QFI lower bound converts, through standard QFI criteria, into a lower bound on multipartite entanglement depth. The GHZ example is especially sharp: at maximal violation \(K^{\max}=3/2\), \[ 8\,[K(\tau)-\langle Q^2\rangle]=4=F_Q[Q], \] so the bound is saturated exactly. ## 6. Spectral-edge and information-theoretic boundary formulations In the Krylov–resolvent framework, the decisive boundary is spectral rather than spatial. Writing the symmetric logarithmic derivative problem as \[ \mathcal{K}_\rho(L)=i[\rho,H], \qquad \mathcal{K}_\rho(Q)=\frac12\{\rho,Q\}, \] and introducing the seed \(\mathcal O_0=i[\rho,H]\), the exact QFI becomes \[ \mathcal{F}=|\mathcal O_0|_\rho^2\int \frac{d\mu(\lambda)}{\lambda^2}, \] where \(d\mu(\lambda)\) is the scalar spectral measure of \(\mathcal K_\rho\). Because the integrand has a pole at \(\lambda=0\), the behavior of \(d\mu\) near the boundary point \(\lambda=0\) controls both the size of the QFI and the convergence of Krylov approximations. If the spectrum is gapped away from zero, convergence is exponential; if the support reaches zero with hard-edge behavior \[ \frac{d\mu}{d\lambda}(\lambda)\sim C\lambda^\alpha, \] then convergence is algebraic and governed by Bessel universality. For \(\alpha\le 1\), the QFI diverges in the thermodynamic limit. The truncation error is exactly the tail of the Krylov distribution, \[ \mathcal{F}-\mathcal{F}^{(n)}=\mathcal{F}\sum_{k=n}^{d_0-1}p_k, \] so near-zero modes simultaneously enhance sensitivity and deepen the Krylov tail [2602.19750]. A different kind of boundary is the finite parameter interval. For a differentiable family \(\rho_\theta\) with prior support in \([a,b]\), the Holevo information obeys \[ \chi\le \ln\left(1+\frac{1}{2}\int_a^b d\theta\, \sqrt{F_Q[\rho_\theta]}\right). \] For arbitrary differentiable prior \(p(\theta)\), \[ \chi\le \ln\left( \frac{1}{2}\int d\theta\, \sqrt{F_Q[\rho_\theta]p(\theta)^2+\dot p(\theta)^2} \right) +H(\Theta). \] These inequalities make QFI a measurement-independent upper boundary on accessible information over bounded parameter domains and yield Bayesian mean-square-error lower bounds. They are especially useful for bounded-support priors, where van Trees-type bounds can be trivial. At the same time, the literature stresses a crucial limitation: large QFI does not imply large mutual information globally, as illustrated by the N00N example, which has Heisenberg scaling in QFI for local estimation but satisfies \(I\le \ln 2\) globally [2403.10248]. Taken together, these formulations show that boundary QFI is best viewed as a family of metrological boundary phenomena. At a physical edge, topology can protect locally accessible QFI for exponentially long times. At an operational edge, fidelity bounds, truncation, and temporal correlators provide certified lower and upper boundaries on QFI without full tomography. At a spectral edge, near-zero Liouville modes control both metrological enhancement and computational difficulty. And on bounded parameter domains, QFI constrains the maximum globally accessible information. Source: https://www.emergentmind.com/topics/boundary-quantum-fisher-information-qfi