We give a closed-form construction of the $n$-qubit Elegant Joint Measurement (EJM) proposed in [PRL \textbf{136}, 190201 (2026)] and show that it is part of a tunable family of measurements with tetrahedrally arranged Bloch vectors. The construction is based on the interference pattern implied by a single phase polynomial built from the elementary symmetric functions. It realises a regular tetrahedral measurement for every $n$, and the corresponding measurement unitary lies at level $n{+}1$ of the Clifford hierarchy. Starting from this measurement, we ask whether the size of the local tetrahedron -- and hence the entanglement of the basis -- can be varied while preserving its symmetry. For every even $n$ the answer is yes, and remarkably the size follows the same one-parameter law that governs the known two-qubit family, interpolating down to a $1$-uniform basis. For $n=3$ the EJM is locally isolated, while for odd $n\ge5$ we do not know an analogous closed-form family. We also give an analogous construction, valid for every $n \geq3$, with square local geometry.
We present a family of quadratics in Pauli expectation values, and prove that they constitute state-independent invariants for all n-qubit pure states. This family generalises the two-qubit `pentagon identities', discovered in the reconstruction programme of [P. A. H\"ohn, Quantum 1, 38 (2017), P. A. H\"ohn and C. S. P. Wever, Phys. Rev. A 95, 012102 (2017)], where they characterise the space of pure states, as well as the unitary group, and are interpreted as complementarity equalities in the Brukner-Zeilinger information measure. The generalisation to arbitrarily many qubits is nontrivial as it requires new tools which in turn reveal novel structural properties that are absent in the two-qubit case. A thorough analysis of these properties, and their relation with mutual unbiasedness and complementarity in the n-qubit Pauli group, can be found in two companion papers.
Markus Frembs, Giovanni Natale, C. S. Wever et al.· 2 citations
We construct a constant-degree and constant-gap quantum expander on $n$ qubits where each unitary can be implemented by a depth-$1$ and 1D circuit of Pauli or CNOT gates. We provide two applications of this expander. First, we use it to construct a family of frustration-free 1D Hamiltonians whose ground states obey the entanglement-gap relation $S = \Theta(\Delta^{-1/2})$; this is believed to be optimal, but achieving it had been open. Second, we use it to provide a streaming protocol that tests for closeness to a class of 1D volume-law entangled states. Moreover, we extend our quantum expander to a constant-degree and constant-gap expander on the unitary group where each unitary is a single $T$ gate, a single $T^{\dagger}$ gate, or a depth-$1$ Clifford circuit. This implies that a random sequence of unitaries from the expander yields a gapped walk on a dense subgroup of the unitary group. This improves upon previous work by Bourgain and Gamburd which did not control the dependence of the gap on the dimension.
Anurag Anshu, Shankar Balasubramanian, Jonas Haferkamp et al.· 0 citations
Generalized measurements can be implemented projectively after enlarging the Hilbert space, but this dilation changes the available local dimension. We construct a Bell functional with rational coefficients that separates the two measurement models at local dimension two. An explicit three-outcome qubit positive-operator-valued measure with rational matrix entries attains $2\sqrt2+1/100$. On the other hand, all qubit-projective strategies are bounded by $2\sqrt2+\sqrt5/250+\sqrt2/32400$, giving a fully analytic certified gap greater than $1/1000$. To our knowledge, this is the first fully analytic Bell-functional separation between qubit POVMs and qubit projective measurements over arbitrary shared two-qubit states. Lean certificate for the separation theorem is provided for completeness. Separately, an exact level-3 noncommutative sum-of-squares certificate proves that the explicit qubit strategy attains the unrestricted finite-dimensional tensor-product quantum optimum.
Lin Zhu, Ranyiliu Chen, Xin Wang et al.· 0 citations
Fractionalizing a quantum two-level system is usually associated with encodings based on pairs of Majorana fermions---an operational fractionalization. We show an alternative algebraic fractionalization by embedding Sz\'{e}kely's classical ``half-coin''into a non-Hermitian Krein space. The coefficients of $(q+pz)^{1/2}$ define a signed sequence and a normalized, non-Hermitian biorthogonal operator describing a biorthogonal half-qubit. We prove that two such objects fuse into an arbitrary pure qubit through the signed Vandermonde convolution that the collective $N\ge2$ vectors are null in Krein space. $L_1$ norm of the half-qubit follows in closed form, $\lVert p\rVert_1 = 2\sqrt{q}-\sqrt{q-p}$. Its $L_1$ norm increases monotonically with the bias and attains its supremum $\sqrt{2}$ precisely at the unbiased point $p=q=1/2$. Interestingly, we identify two structural results as follows. First, number parity and the $\eta$-metric generate a distinguished commuting $\mathbb Z_2\times\mathbb Z_2$ subgroup. Second, we find the $\eta$-metric obstructs any local $\eta$-self-adjoint partner of the parity, so a half-qubit carries a $\mathbb{Z}_2$ observable but no local $SU(2)$. The full Pauli algebra emerges only upon fusion. We then show that the construction survives truncation of the Fock basis: the fused qubit is exact at every cutoff, and the Vandermonde cancellation is visible in sign-weighted photon-number statistics, and can be tested using existing cavity and trapped-ion state-synthesis methods. Finally, we generalize this algebraic fractionalization to a $1/n$-qubit, which can be achieved by replacing the square root with an $n$th root.
For the standard Clifford+$T$ gate set, deterministic, ancilla-free synthesis now attains the minimal $T$-count for general single-qubit unitaries (Morisaki et al., arXiv:2510.05816). The $\sqrt{T}$ gate rotates by half the angle of $T$, generating a finer lattice of implementable operations. It was assumed that access to this magic state lowers the cost of deterministic and ancilla-free synthesis of general single-qubit unitaries, but no direct Clifford+$\sqrt{T}$ algorithm existed for this case. We provide one by extending the integer lattice-point enumeration method of Morisaki et al. We adopt a resource state cost model based on the magic-state catalysis approach of Gidney and Fowler (arXiv:1812.01238). On Haar-random targets synthesized to precisions ranging from $\varepsilon=10^{-3}$ to $10^{-8}$, the cost of Clifford+$\sqrt{T}$ circuits scales as $2.4\log_2(1/\varepsilon)$ compared to $3.0\log_2(1/\varepsilon)$ for the provably $T$-count-optimal Clifford+$T$ circuits. Once a one-time catalyst state is amortized, the Clifford+$\sqrt{T}$ circuits are never costlier than their Clifford+$T$ counterparts.
Mathias Weiden, Jae Won Kim, J. Kalloor et al.· 0 citations
The $n$-qubit Pauli group is an essential ingredient to most quantum applications, from computing and error correction to benchmarking and simulation. Despite comprising merely a discrete set of operators, it exhibits many quintessential features of quantum theory, including contextuality, which has been identified as a key resource to quantum advantage in a variety of different flavours. Here, we extend this analysis, introducing the notion of a `noncontextual property'whose nonexistence proves the Kochen-Specker theorem, similarly to and generalising common arguments based on the nonexistence of valuations. We relate this notion formally to the existence of Boolean-valued frame functions, and characterise all such frame functions in the case of the $n$-qubit Pauli group. For two qubits, we show that the Pauli group admits noncontextual properties, despite admitting no valuations. We then establish this as the only nontrivial such case with $n\geq 2$, by proving that any Boolean-valued frame function on stabiliser states is constant for more than two qubits. We also perform a similar analysis for the symplectic theory underlying the $n$-qubit Pauli group, for which nonconstant Boolean-valued frame functions exist for all $n$, yet only in restricted form. By comparison, this shows that contextuality in the $n$-qubit Pauli group is not only a consequence of the projective nature of the Pauli group as a representation of its underlying symplectic vector space, but of the geometry of symplectic polar spaces itself. In geometric terms, our result determines all Cameron-Liebler sets of maximal totally isotropic flats in the binary affine-symplectic space.
Markus Frembs· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
