Measurement-Induced Non-locality Overview

• Measurement-Induced Non-locality (MIN) is a quantum correlation measure that quantifies the maximum global change induced by local projective measurements that leave the local state invariant.
• It employs various norms, such as Hilbert–Schmidt, trace, and fidelity, to optimize the disturbance evaluation in bipartite and multipartite quantum states, with analytical results for specific cases.
• MIN demonstrates robustness against decoherence and can detect nonlocal correlations even in unentangled or noisy states, offering valuable resource potential in quantum information.

Measurement-Induced Non-locality (MIN) is a quantum correlation measure designed to quantify the maximal global effect induced on a composite quantum state by local projective measurements that do not disturb the local marginals. Unlike entanglement and quantum discord, MIN captures a distinct class of non-classical correlations, rooted in the global disturbance generated by locally non-disturbing operations, and exhibits specific mathematical and operational properties across pure, mixed, and multipartite systems.

1. Formal Definition and Core Concepts

Let $\rho$ be a density operator on a finite-dimensional bipartite Hilbert space $\mathcal{H}_a \otimes \mathcal{H}_b$ with reduced state $\rho^a = \mathrm{Tr}_b(\rho)$. For projective measurements on subsystem $a$, MIN is defined as

$$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$

where $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$ and the maximization is over all rank-one projective measurements that do not disturb the marginal $\rho^a$; $\|\,\cdot\,\|_2$ denotes the Hilbert–Schmidt norm (Mirafzali et al., 2011).

MIN quantifies the size of the largest possible nonlocal change in the global state induced by a local measurement on $a$ that leaves $\rho^a$ invariant. For the generic case when $\mathcal{H}_a \otimes \mathcal{H}_b$0 is nondegenerate, the maximizing measurement is unique (its spectral decomposition); for degenerate $\mathcal{H}_a \otimes \mathcal{H}_b$1, the problem admits multiple optimal measurement choices, requiring detailed analysis of block structures.

2. Explicit Characterization for Bipartite and Multipartite States

For arbitrary bipartite states, the evaluation of MIN is stratified by the degeneracy structure of $\mathcal{H}_a \otimes \mathcal{H}_b$2:

• If $\mathcal{H}_a \otimes \mathcal{H}_b$3 is nondegenerate ($\mathcal{H}_a \otimes \mathcal{H}_b$4 with $\mathcal{H}_a \otimes \mathcal{H}_b$5 distinct eigenvalues), the maximizing projectors are unique and $\mathcal{H}_a \otimes \mathcal{H}_b$6 is directly computable as the squared Hilbert–Schmidt norm between $\mathcal{H}_a \otimes \mathcal{H}_b$7 and its locally-dephased version.
• When $\mathcal{H}_a \otimes \mathcal{H}_b$8 contains degenerate subspaces (say, dimension $\mathcal{H}_a \otimes \mathcal{H}_b$9), the maximization decomposes into independent subproblems over each degenerate block. With operator-basis expansion adapted to the block structure, $\rho^a = \mathrm{Tr}_b(\rho)$0 splits as

$\rho^a = \mathrm{Tr}_b(\rho)$1

where $\rho^a = \mathrm{Tr}_b(\rho)$2 accounts for the nondegenerate spectral components, and each $\rho^a = \mathrm{Tr}_b(\rho)$3 involves an optimization over projectors in the $\rho^a = \mathrm{Tr}_b(\rho)$4 degenerate subspace (Mirafzali et al., 2011).

For blocks with $\rho^a = \mathrm{Tr}_b(\rho)$5, analytical solutions are available: $\rho^a = \mathrm{Tr}_b(\rho)$6 where $\rho^a = \mathrm{Tr}_b(\rho)$7 is the real correlation matrix and $\rho^a = \mathrm{Tr}_b(\rho)$8 its smallest eigenvalue. For $\rho^a = \mathrm{Tr}_b(\rho)$9, tight upper bounds are given in terms of eigenvalues of $a$0 (Mirafzali et al., 2011).

In the multipartite setting, for an $a$1-party state and measurement on subsystem $a$2, MIN is defined as (Hassan et al., 2012)

$a$3

with closed forms for pure and $a$4-qubit mixed states, using higher-order correlation tensors.

3. Analytical Results for Special Classes and Operational Properties

For pure bipartite states $a$5 with Schmidt coefficients $a$6, MIN reduces to the linear entropy of the reduced state: $a$7 which coincides with geometric quantum discord and entanglement monotones for pure states (Hassan et al., 2012, Mirafzali et al., 2011, Muthuganesan et al., 2019).

For Bell-diagonal, Werner, and isotropic states, closed-form MIN expressions are available and can be directly compared across geometric, affinity, Hellinger, trace distance, and fidelity-based variants.

MIN possesses the following mathematical properties:

• Zero only for classical-quantum states $a$8 with $a$9 nondegenerate.
• Invariant under local unitaries.
• Non-increasing under completely positive trace-preserving (CPTP) maps on the unmeasured subsystem only for contractive norm definitions (trace norm, affinity, Hellinger, fidelity); Hilbert–Schmidt MIN does not satisfy this unless corrections are made (Hu et al., 2014, Muthuganesan et al., 2019, Muthuganesan et al., 2017, S et al., 2020).
• Contractivity under local ancilla addition for all quantizations except Hilbert–Schmidt MIN (Hu et al., 2014, S et al., 2020, Muthuganesan et al., 2017, Muthuganesan et al., 2019).

4. Extensions: Alternative Metrics and Generalizations

Generalizations of MIN address deficiencies of the Hilbert–Schmidt metric and broaden the operational domain:

Metric Variants:

• Trace Norm MIN: $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$0 is monotonic under CPTP maps, resolving the "local ancilla problem." Analytical results exist for $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$1 pure states, qubit-qudit, and symmetric higher-dimensional states (Hu et al., 2014).
• Affinity-based MIN: $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$2 is fully contractive and equals linear entropy for pure states; upper bounds for mixed states are given by sums of smallest eigenvalues of the Gram matrix $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$3 (Muthuganesan et al., 2019).
• Hellinger Distance MIN: $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$4, $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$5, is contractive and equivalent to the skew-information MIN for qubit-qudit and pure states (S et al., 2020).
• Fidelity-based MIN: $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$6 with $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$7 the (normalized) fidelity. It matches entropic/geometric MIN on pure states, and for mixed states, optimizes over the measurement that minimizes the overlap with $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$8 (Muthuganesan et al., 2017, Muthuganesan et al., 2017).
• Relative Entropy MIN: $$N(\rho) := \max_{\{\Pi^a_k: [\Pi^a_k, \rho^a]=0\}} \|\rho - \Pi^a(\rho)\|_2^2$$9 where $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$0 is the quantum relative entropy. It acquires an additive interpretation as the maximal entropy increase after a locally invariant measurement and links quantitatively to distillable entanglement generated between system and measurement ancilla (Xi et al., 2011).

Multipartite and Weak Measurement Generalizations:

• Multipartite MIN: Definition and closed forms for $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$1-partite pure and $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$2-qubit mixed states via decompositions into generalized correlation tensors (Hassan et al., 2012).
• Two-sided MIN: Extends the concept to two-sided locally invariant projective measurements. Closed formula for pure states, analytic and structural analysis for classical-classical states, and explicit characterization of nullity sets (Guo, 2012).
• Weak Measurement-induced Nonlocality: Incorporates weak measurement operators with parameterized strength $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$3, providing a limiting interpolation between no disturbance and strong MIN. The weak MIN is proportional to the strong MIN and controlled by the measurement strength (Ananth et al., 2021, S et al., 2020).

5. Physical Interpretation, Relations, and Robustness Features

MIN is a measure of the maximal global disturbance in the composite state due to any local von Neumann measurement that preserves the local marginal. The central physical insight is that MIN captures all non-classicality that is globally sensitive to local, but non-disturbing, interventions—quantum correlations beyond entanglement and discord (Mirafzali et al., 2011, Hassan et al., 2012, Xi et al., 2011).

Notable operational and comparative features:

• Comparison with Discord and Entanglement: For pure states, MIN coincides with geometric discord and (monotones of) entanglement. For mixed states, MIN and discord generally differ; equality highlights states where quantum correlations are indistinguishable by these metrics (Hassan et al., 2012).
• Detection Beyond CHSH Nonlocality: MIN can remain nonzero in cases when Bell-CHSH inequalities are not violated and even for separable (unentangled) states (Tian et al., 2013, Tian et al., 2012).
• Dynamical Robustness: Under diverse decoherence channels (bit-phase flip, amplitude damping, depolarizing, GAD), MIN is typically more robust than concurrence (entanglement), does not exhibit entanglement sudden death, and can remain nonzero for all finite times even as entanglement vanishes. Nonzero MIN in unentangled steady states and revivals due to coefficient reordering are well established (Muthuganesan et al., 2018, Muthuganesan et al., 2020, Bhuvaneswari et al., 2020, S et al., 2020).
• Resource Perspective: Because MIN persists under noises that destroy entanglement, it emerges as a candidate quantum resource in dissipative and relativistic settings, black hole contexts, and non-inertial frames (Kaczmarek et al., 2022, Tian et al., 2013).

6. Representative Examples, Special Cases, and Algorithmic Reduction

Bell-diagonal, Werner, and Isotropic States:

For Bell-diagonal two-qubit states, all mainstream versions of MIN admit explicit closed forms, with distinct dependencies on correlation coefficients $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$4 and metric choices (Muthuganesan et al., 2018, Bhuvaneswari et al., 2020, Hu et al., 2014, Muthuganesan et al., 2017). For example:

• Geometric MIN: $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$5
• Trace-norm MIN: $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$6
• Fidelity-based MIN: $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$7

Degeneracy-Decomposition Technique (Algorithmic Benefits):

For arbitrary $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$8 states, the degeneracy-adapted block decomposition reduces the MIN evaluation to a sum of lower-dimensional subproblems, leading to computational savings and sharper hierarchical upper bounds (Mirafzali et al., 2011).

Multipartite and Thermal/Reservoir Models:

MIN for $$\Pi^a(\rho) = \sum_k (\Pi^a_k \otimes I_b) \rho (\Pi^a_k \otimes I_b)$$9-partite states, two-qubit thermal systems, Heisenberg spin chains, and atoms in structured reservoirs have been calculated explicitly, with signatures including trapping, freezing, and enhancement via engineered reservoirs (Hassan et al., 2012, Chen et al., 2013, Hu et al., 2012, Ananth et al., 2021).

7. Open Questions and Future Directions

While the fundamental structure and alternative formulations of MIN are now exhaustively characterized for finite-dimensional, bipartite, and several multipartite settings, open problems include:

• Closed-form evaluation and tight upper bounds for arbitrary high-dimensional and multipartite mixed states in affinity, Hellinger, and fidelity metrics (Muthuganesan et al., 2019, S et al., 2020, Muthuganesan et al., 2017).
• Physical realization and quantitative role of MIN as a resource for communication, cryptography, and remote control, particularly in noisy environments.
• Full exploration of MIN dynamics under correlated (non-Markovian) or collective noise, relativistic field scenarios, and black hole spacetimes (Kaczmarek et al., 2022).
• Extension and systematic study of generalized MINs—two-sided, multipartite, weak, and networked forms—and their role in network nonlocality and resource theories (Guo, 2012, Wang et al., 2022).

The cumulative research stream has established MIN as a rigorous, versatile, and computationally tractable quantum correlation measure with fidelity to operational, information-theoretic, and physical interpretations across a broad class of quantum systems.