---
title: 'Weak Pauli Pairs: Thresholds and Analysis'
url: https://www.emergentmind.com/topics/weak-pauli-pairs
type: topic
---

# Weak Pauli Pairs: Thresholds and Analysis

Searching arXiv for recent papers on Pauli pairs and weak Pauli pairs.
Weak Pauli pairs arise in two related but distinct strands of recent work. In the mathematical Pauli problem, they are a weakened phaseless equivalence notion for two functions \(f,g:\mathbb R\to\mathbb C\): instead of requiring agreement of both spatial and Fourier moduli, one requires global agreement on at least one side. In the quantum-measurement literature, the phrase is not formalized in the same way, but sequential weak measurements of ordered pairs of non-commuting Pauli observables address an operationally adjacent question: how weakly accessed ordered Pauli products encode information not available from ordinary simultaneous measurement. The formal definition of weak Pauli pairs is given in recent discrete Pauli-pair theory, while earlier work on Pauli pairs and on weak measurements supplies the conceptual and technical background [2605.23079].

## 1. Formal definitions and conceptual boundaries

For \(f,g:\mathbb R\to\mathbb C\), with Fourier transform normalized by
\[
\hat f(\xi)=\int_{\mathbb R} f(x)e^{-2\pi i x\xi}\,dx,
\]
a **Pauli pair** satisfies
\[
|f(x)|=|g(x)| \quad \text{a.e. on }\mathbb R, \qquad |\hat f(\xi)|=|\hat g(\xi)| \quad \text{a.e. on }\mathbb R.
\]
A **weak Pauli pair** satisfies only one of these two global identities:
\[
|f(x)|=|g(x)| \quad \text{a.e. on }\mathbb R
\]
or
\[
|\hat f(\xi)|=|\hat g(\xi)| \quad \text{a.e. on }\mathbb R.
\]
A **discrete Pauli pair for \((\Lambda,M)\)**, where \(\Lambda,M\subset\mathbb R\) are discrete, satisfies only sampled modulus equalities,
\[
|f(\lambda)|=|g(\lambda)| \quad \text{for all }\lambda\in\Lambda, \qquad |\hat f(\mu)|=|\hat g(\mu)| \quad \text{for all }\mu\in M.
\]
The weak-Pauli question is then whether such sampled phaseless data force at least one global modulus identity. The 2026 paper makes this notion explicit and treats it as a phaseless analogue of Fourier uniqueness/nonuniqueness pairs [2605.23079].

Earlier literature used only the stronger notion. In particular, Shkarin defined Pauli pairs as linearly independent \(f,g\in L^2(\mathbb R^n)\) with
\[
|f|=|g|,\qquad |\widehat f|=|\widehat g|
\]
almost everywhere, thereby formalizing nontrivial failure of uniqueness in reconstructing a quantum state from position and momentum distributions [1209.1225]. By contrast, the 2024 discrete theory studies sampled modulus equalities on \(\Lambda,\Gamma\subset\mathbb R\) and asks when they imply the full global Pauli conclusion, but it does not explicitly introduce the phrase “weak Pauli pair” [2410.12065].

A recurrent source of confusion is terminological. In harmonic analysis, weak Pauli pairs concern global modulus agreement on one side only. In quantum measurement, “weak” refers instead to weak system-pointer coupling. The latter context studies weak values and sequential weak values of Pauli observables, including non-commuting pairs, but does not formalize “weak Pauli pair” as a definition [1805.02235].

## 2. Sharp threshold theory for discrete weak Pauli pairs

The central recent theorem identifies a sharp density threshold for when a discrete Pauli pair must be a weak Pauli pair. The ambient classes are
\[
\mathcal H := \left\{ f\in L^2(\mathbb R): \int_{\mathbb R}(1+x^2)|f(x)|^2\,dx + \int_{\mathbb R}(1+\xi^2)|\hat f(\xi)|^2\,d\xi <\infty \right\},
\]
and, for \(a,b>0\),
\[
E(a,b)=\left\{ f\in\mathcal S: \sup_{x\in\mathbb R}|f(x)|e^{a\pi |x|^2} + \sup_{\xi\in\mathbb R}|\hat f(\xi)|e^{b\pi |\xi|^2} <\infty \right\}.
\]
The theory mostly considers \(E(A,A)\) with \(0<A<1\) [2605.23079].

For \(0<A<1\), define
\[
\mathfrak c_2(A):= \begin{cases} \sqrt{\dfrac{(3-\sqrt{1-8A^2})^3}{2(1-\sqrt{1-8A^2})}}, & 0<A<\dfrac13,\\[1.2ex]
4\sqrt{1-A^2}, & \dfrac13\le A<\dfrac{\sqrt3}{2},\\[1ex]
2, & \dfrac{\sqrt3}{2}\le A<1.
\end{cases}
\]
If \(\Lambda,M\subset\mathbb R\) satisfy
\[
\max\left\{ \limsup_{j\to\pm\infty} |\lambda_j|(\lambda_{j+1}-\lambda_j), \, \limsup_{j\to\pm\infty} |\mu_j|(\mu_{j+1}-\mu_j) \right\} < \frac1{\mathfrak c_2(A)},
\]
and if \(f\in\mathcal H\), \(g\in E(A,A)\), and \(f,g\) form a discrete Pauli pair for \((\Lambda,M)\), then \(f,g\) form a weak Pauli pair. Conversely, if
\[
\min\left\{ \liminf_{j\to\pm\infty} |\lambda_j|(\lambda_{j+1}-\lambda_j), \, \liminf_{j\to\pm\infty} |\mu_j|(\mu_{j+1}-\mu_j) \right\} > \frac1{\mathfrak c_2(A)},
\]
then there exist \(f\in\mathcal H\), \(g\in E(A,A)\) forming a discrete Pauli pair for \((\Lambda,M)\) such that they do **not** form a weak Pauli pair, i.e.
\[
|f(x)|\not\equiv |g(x)|, \qquad |\hat f(\xi)|\not\equiv |\hat g(\xi)|.
\]
This theorem is sharp in the precise sense that \(1/\mathfrak c_2(A)\) is the boundary between unavoidable one-sided global agreement and the existence of counterexamples with global disagreement on both sides [2605.23079].

The theorem should be distinguished from the stronger threshold for forcing a full Pauli pair. That threshold is \(\max\{\mathfrak c_1(A),2\}\), where
\[
\mathfrak c_1(A)= \begin{cases} \dfrac{2}{A}, & 0<A<\dfrac1{\sqrt2},\\[1ex]
4\sqrt{1-A^2}, & \dfrac1{\sqrt2}\le A<1.
\end{cases}
\]
Below the stronger threshold, a discrete Pauli pair must be a full Pauli pair; below \(\mathfrak c_2(A)\), one knows only that it must be a weak Pauli pair; above \(\mathfrak c_2(A)\), both global modulus failures can coexist. This makes weak Pauli pairs an intermediate rigidity notion between full phaseless uniqueness and total nonuniqueness [2605.23079].

## 3. Analytic mechanism and connection to Fourier uniqueness

The modern theory converts sampled modulus equalities into zero-set problems for entire functions. Writing
\[
u=f-g,\qquad v=f+g,
\]
one defines
\[
H(z):=\frac12\left(u(z)\overline{v(\bar z)}+\overline{u(\bar z)}\,v(z)\right) = f(z)\overline{f(\bar z)}-g(z)\overline{g(\bar z)},
\]
and
\[
\tilde H(z):= \frac12\left(\hat u(z)\overline{\hat v(\bar z)}+\overline{\hat u(\bar z)}\,\hat v(z)\right) = \hat f(z)\overline{\hat f(\bar z)}-\hat g(z)\overline{\hat g(\bar z)}.
\]
If \(|f(\lambda)|=|g(\lambda)|\) for \(\lambda\in\Lambda\), then \(H(\lambda)=0\) on \(\Lambda\); if \(|\hat f(\mu)|=|\hat g(\mu)|\) for \(\mu\in M\), then \(\tilde H(\mu)=0\) on \(M\). The weak-Pauli question is thereby reframed as whether both quadratic entire functions can remain nonzero under the given density and decay assumptions [2605.23079].

The decisive input is the interaction between zero density and growth indicators. For a \(p\)-smooth sequence \(\Gamma\), density \(D(\Gamma,p)\) means
\[
|n_\Gamma(r)-Dr^p|=O(1), \qquad r\to\infty,
\]
together with
\[
|\gamma_{j+1}-\gamma_j|\ge d(1+|\gamma_j|)^{1-p}.
\]
In the present setting \(p=2\). Real zero density yields lower bounds on indicators, while Gaussian decay yields upper bounds through Phragmén–Lindelöf control. The proof then derives coupled inequalities for the half-line densities of \(\Lambda\) and \(M\), optimizes them, and recovers the piecewise constant \(\mathfrak c_2(A)\) as the sharp threshold separating forced weak-Pauli behavior from true two-sided nonuniqueness [2605.23079].

This is explicitly presented as a phaseless version of Fourier uniqueness theory. A pair \((\Lambda,M)\) is a Fourier uniqueness pair for a space \(X\subset L^1(\mathbb R)\cap L^2(\mathbb R)\) if
\[
f|_\Lambda=0\quad\text{and}\quad \hat f|_M=0 \Longrightarrow f\equiv 0 \qquad (f\in X).
\]
Kulikov–Nazarov–Sodin introduced the corresponding linear supercritical/subcritical theory in terms of asymptotic spacings, and the recent Pauli literature adapts that philosophy to modulus data by replacing linear vanishing with quadratic identities such as \(H=0\) and \(\tilde H=0\) [2605.23079].

The 2024 paper already framed the sampled Pauli problem as a nonlinear analogue of Fourier uniqueness. There the key analytic objects are
\[
F(z)=f(z)\overline{f(\overline z)},\qquad G(z)=g(z)\overline{g(\overline z)},
\]
so that on the real line \(F(x)=|f(x)|^2\) and \(G(x)=|g(x)|^2\). Sampled modulus equality becomes vanishing of \(F-G\) on the sampling set, and the argument proceeds through propagation of Gaussian decay, entire extension, and zero-density theorems for entire functions of order \(2\) [2410.12065].

## 4. Earlier Pauli-pair constructions and structural mechanisms

Before the formal introduction of weak Pauli pairs, the theory of ordinary Pauli pairs had already produced a rich catalogue of nonuniqueness mechanisms. Shkarin’s 2012 paper gave new examples of Pauli pairs and in particular constructed spatially localized Pauli pairs [1209.1225].

One structural device is the **ultimate zero divisor set** (UZD-set). A set \(S\subset L^2(\mathbb R)\) is a UZD-set if
\[
|S|\ge 2,\quad f\ne 0\ \forall f\in S,\quad fg=0\ \text{and}\ \widehat f\,\widehat g=0 \quad\text{for all distinct }f,g\in S.
\]
The paper proves that there is a countable infinite UZD-set \(S\subset \mathcal S(\mathbb R)\). If \(\{f_n\}\) is such a set and
\[
g_w=\sum_{n=1}^\infty w_n c_n f_n,\qquad w_n\in\mathbb T,
\]
then
\[
|g_w|=\sum_{n=1}^\infty c_n |f_n|,\qquad |\widehat g_w|=\sum_{n=1}^\infty c_n |\widehat f_n|.
\]
This shows that changing phases across mutually disjoint components can leave both moduli unchanged. A plausible implication is that later weak-Pauli theory inherits its nonuniqueness intuition from precisely this sort of phase hiding [1209.1225].

Another important mechanism is the Moroz–Perelomov symmetry construction. If \(p:\mathbb R\to\mathbb R_+\) lies in \(L^2(\mathbb R)\), \(\varphi:\mathbb R\to\mathbb R\) is Borel measurable, and
\[
p(x)=p(a-x)\quad\text{on }\mathbb R,
\]
then
\[
f_1(x)=p(x)e^{i\varphi(x)},\qquad f_2(x)=p(x)e^{-i\varphi(a-x)}
\]
satisfy \(|f_1|=|f_2|\) and \(|\widehat f_1|=|\widehat f_2|\). If \(e^{i(\varphi(x)+\varphi(a-x))}\) is non-constant, \((f_1,f_2)\) is a Pauli pair. This gave a standard symmetry-based source of counterexamples prior to more elaborate constructions [1209.1225].

Shkarin also developed a finite-dimensional step-function criterion. For \(b=(b_1,\dots,b_n)\in\mathbb C^n\), let \(h_b\) be the \(n\)-step function on \([0,n)\). Then \(|h_b|=|h_c|\) and \(|\widehat{h_b}|=|\widehat{h_c}|\) hold precisely when
\[
b_j\overline{b_j}=c_j\overline{c_j}\qquad (1\le j\le n),
\]
and
\[
\sum_{j=1}^{n-k} b_{k+j}\overline{b_j}
=
\sum_{j=1}^{n-k} c_{k+j}\overline{c_j}
\qquad (1\le k\le n-1).
\]
For \(n\le 3\), every Pauli pair of step functions comes from the Moroz–Perelomov construction; for \(n=4\), the paper gives a complete classification under a normalization and exhibits a bounded-support Pauli pair that is neither MP1 nor MP2. This suggests that compact support alone does not collapse Pauli nonuniqueness to the classical symmetry mechanism [1209.1225].

## 5. Discrete partial-data rigidity before the sharp threshold

The 2024 paper established a broad partial-data framework that anticipates the later weak-Pauli threshold. It asks whether sampled equalities
\[
|f(\lambda)|=|g(\lambda)|,\quad \lambda\in\Lambda,\qquad
|\widehat f(\gamma)|=|\widehat g(\gamma)|,\quad \gamma\in\Gamma
\]
force
\[
|f|\equiv |g|,\qquad |\widehat f|\equiv |\widehat g|.
\]
The main positive theorem states that for each \(\alpha>0\) there exists \(C_\alpha>0\) such that if \(f,g\in H^1(\mathbb R)\cap \mathcal F(H^1(\mathbb R))\), if \(g\) satisfies
\[
|g(x)|+|\widehat g(x)|\le Ce^{-\alpha x^2},
\]
and if the discrete sets satisfy
\[
\max\left\{ \limsup_{i\to \pm\infty} |\lambda_{i+1}-\lambda_i|\,|\lambda_i|, \ \limsup_{i\to \pm\infty} |\gamma_{i+1}-\gamma_i|\,|\gamma_i| \right\} <\frac1{C_\alpha},
\]
then sampled modulus equality implies
\[
|f|\equiv |g|,\qquad |\widehat f|\equiv |\widehat g|.
\]
The paper interprets the spacing law as the regime of sets accumulating like suitable small multiples of \(\sqrt n\) at infinity [2410.12065].

This positive result is paired with two negative statements. First, without additional structural assumptions, arbitrary discrete sets \(\Lambda,\Gamma\subset\mathbb R\) admit counterexamples \(f,g\) with
\[
|f|\neq |g|,\qquad |\widehat f|\neq |\widehat g|,
\]
while still satisfying sampled modulus equalities on \(\Lambda\) and \(\Gamma\). Second, if the sets are too sparse, specifically if
\[
\min\left\{ \liminf_{i\to \pm\infty} |\lambda_{i+1}-\lambda_i|\,|\lambda_i|, \ \liminf_{i\to \pm\infty} |\gamma_{i+1}-\gamma_i|\,|\gamma_i| \right\}>\frac12,
\]
then there exists an infinite-dimensional space \(E_\alpha\subset\mathcal S(\mathbb R)\) for small \(\alpha\) such that distinct \(f,g\in E_\alpha\) have identical sampled moduli on \(\Lambda,\Gamma\) but no global modulus equality on either side [2410.12065].

The same paper also proves a sharp discrete version of Hardy’s uncertainty principle. For \(A>1\), there exists \(C_A>0\) such that under the corresponding dense-sampling condition, if \(f\in H^1\cap\mathcal F(H^1)\) satisfies
\[
|f(\lambda)|\le C e^{-A\pi |\lambda|^2},\qquad |\widehat f(\gamma)|\le C e^{-A\pi |\gamma|^2},
\]
then \(f\equiv 0\). In context, this linear theorem supplies part of the uniqueness backbone behind the nonlinear Pauli results [2410.12065].

## 6. Weakly measured Pauli pairs in quantum measurement

A different but adjacent use of “weak” appears in the study of sequential weak measurements of Pauli observables. For an observable \(\hat A\), pre-selected state \(|\psi_i\rangle\), and post-selected state \(|\psi_f\rangle\), the weak value is
\[
\langle\hat{A}\rangle_{w}=\frac{\langle\psi_{f}|\hat{A}|\psi_{i}\rangle}{\langle\psi_{f}|\psi_{i}\rangle}.
\]
For a sequence of observables \(\hat A_1,\hat A_2,\dots,\hat A_N\), the sequential weak value is
\[
\langle\hat{A}_{1}\cdot\cdot\cdot\hat{A}_{N}\rangle_{w} = \frac{\langle\psi_{f}|\hat{A}_{N}\cdot\cdot\cdot\hat{A}_{1}|\psi_{i}\rangle}{\langle\psi_{f}|\psi_{i}\rangle}.
\]
For a pair,
\[
\langle \hat A_1 \hat A_2\rangle_w = \frac{\langle\psi_f|\hat A_2\hat A_1|\psi_i\rangle}{\langle\psi_f|\psi_i\rangle}.
\]
Because the numerator contains an ordered product, non-commuting Pauli pairs are intrinsically order dependent [1805.02235].

For Pauli observables \(\hat A=\hat\sigma_A=\vec\sigma\cdot\vec n_A\), the interaction unitary satisfies
\[
e^{-i\gamma\hat{\sigma}_{A}\otimes\hat{\sigma}_{y}} = \cos\gamma-i\sin\gamma(\hat{\sigma}_{A}\otimes\hat{\sigma}_{y}),
\]
and the pointer averages obey exact finite-strength formulas,
\[
\langle\hat{\sigma}_{+}\rangle_{p} =\dfrac{\sin(2\gamma)\mathrm{Re}(\langle\hat{\sigma}_{A}\rangle_{w})} {\cos^{2}(\gamma)+\sin^{2}(\gamma)|\langle\hat{\sigma}_{A}\rangle_{w}|^{2}}, \qquad
\langle\hat{\sigma}_{R}\rangle_{p} =\dfrac{\sin(2\gamma)\mathrm{Im}(\langle\hat{\sigma}_{A}\rangle_{w})} {\cos^{2}(\gamma)+\sin^{2}(\gamma)|\langle\hat{\sigma}_{A}\rangle_{w}|^{2}}.
\]
The paper explicitly states that for Pauli-type observables, both weak values and sequential weak values are independent of measurement strength. This makes ordered Pauli pairs unusually tractable in weak measurement [1805.02235].

The Pauli algebra clarifies the ordered-pair structure:
\[
\sigma_i\sigma_j=\delta_{ij}I+i\sum_k\epsilon_{ijk}\sigma_k.
\]
Hence, for distinct Pauli matrices,
\[
\sigma_x\sigma_y=i\sigma_z,\qquad \sigma_y\sigma_z=i\sigma_x,\qquad \sigma_z\sigma_x=i\sigma_y,
\]
while reversing the order changes the sign. With the convention
\[
\langle A_1A_2\rangle_w=\frac{\langle\psi_f|A_2A_1|\psi_i\rangle}{\langle\psi_f|\psi_i\rangle},
\]
one obtains, for example,
\[
\langle \sigma_y \sigma_z\rangle_w = -i\langle \sigma_x\rangle_w.
\]
Thus sequential weak measurement of a non-commuting Pauli pair probes ordered products and commutator structure rather than a classical joint value. A plausible implication is that this operational notion of “weak Pauli pairs” is conceptually parallel, though not identical, to the mathematical weak-Pauli theory: both concern what survives when direct simultaneous reconstruction is replaced by constrained or partial data [1805.02235].

Experimentally, the 2018 photonic work demonstrated sequential weak measurements of three non-commuting Pauli observables using heralded single photons, with the system qubit encoded in polarization and a modular design permitting ordered weak measurements of \(\hat\sigma_y\), \(\hat\sigma_z\), and \(\hat\sigma_\varphi\). The figures were reported to show measured sequential weak values of arbitrary two observables and three observables for different post-selected states, with agreement between theory and data for coupling strengths \(\gamma=25^\circ\) and \(\gamma=30^\circ\), thereby verifying the claimed measurement-strength independence for Pauli observables [1805.02235].

Source: https://www.emergentmind.com/topics/weak-pauli-pairs