Julian Eisfeld, Hermann Kampermann and Nikolai Wyderka of Heinrich-Heine-Universität Düsseldorf have proven that two qutrits can construct any quantum basis using only local operations, resolving a longstanding question in quantum information theory. While universal local encodability is established for 2×2, 4×4, and 8×8-dimensional systems, the team’s work confirms a previous conjecture for 3×3 systems and demonstrates its failure for systems of four or more qubits.

The researchers also constructed universal local encodings for dimensions d×2 for d ≥ 2, d×3 for d = 3,4 and d ≥ 6, and in every bipartite system with one or two infinite-dimensional subsystems. This work provides a necessary condition for universality, excluding universal local encodability in infinitely many cases.

Two Qutrits Construct Any Quantum Basis via Local Operations

The long-standing question of whether two qutrits could generate any quantum basis through local operations now has a definitive answer: they can. This finding establishes a clear boundary regarding the scalability of this property, as systems comprised of four or more qubits have recently been proven not to possess the same capability. This demonstration of universality for two qutrits extends beyond simply confirming a theoretical possibility.

Specifically, they successfully created these encodings in dimensions d×2 for d greater than or equal to 2, and in dimensions d×3 for d equal to 3, 4, and those greater than or equal to 6. These constructions highlight a pattern of universality in bipartite systems featuring one or two infinite-dimensional subsystems, suggesting a deeper connection between dimensionality and the ability to generate complete bases locally.

The work also establishes a necessary condition for universality in finite-dimensional multipartite systems, derived from a parameter count. Beyond the mathematical proof, the Düsseldorf team provided an operational interpretation of universal local encodability. They demonstrated that a system’s failure to be universally locally encodable is directly equivalent to a disadvantage in discrimination tasks. Specifically, non-ULE systems require general measurements, more complex than those that can be simulated by simple projections, to effectively detect random local unitary rotations.

“The most prominent example is the Bell-state measurement, which is an essential ingredient for quantum teleportation, dense coding and entanglement swapping,” the researchers note, highlighting the relevance of this work to established quantum protocols. Further demonstrating the breadth of their findings, the researchers proved universal local encodability also holds for two harmonic oscillators, systems with infinite dimensions.

Universally Locally Encodable (ULE) Systems: Known Dimensions

Bipartite quantum systems with one or two infinite-dimensional subsystems are now proven universally locally encodable, expanding the known configurations capable of generating any quantum basis through local operations. This finding builds on established universality for 2×2, 4×4, and 8×8-dimensional systems, and resolves a long-standing conjecture regarding two qutrits, systems previously thought to potentially achieve this property. The work uses the existence of Hurwitz-Radon matrices, real $d_{A}$ × $d_{A}$ matrices key for constructing these encodings, and a mathematical tool called the lifting lemma to demonstrate this broader universality.

The team’s approach establishes a clear link between the dimensions of a quantum system and its ability to be universally locally encodable, identifying a minimum dimension, $d_{A}$ , required for universality given a fixed dimension, $d_{B}$ . The research also provides a rigorous mathematical criterion for determining when a system cannot be universally locally encodable.

If the sum of the squares of the local dimensions is less than the product of those dimensions plus the number of subsystems, the system is demonstrably non-ULE. The researchers also numerically verified the existence of maximally coherent states in non-coprime dimension pairs, further solidifying their findings.

The implications extend beyond theoretical quantum information science, offering an operational interpretation for covariant quantum estimation, a method for estimating unknown transformations and entangled states. “If sum_(j = 1)^nd_j^2 < product_(j = 1)^nd_j + n, then H is not universally locally encodable,” the paper states, outlining the quantifiable boundary between encodable and non-encodable systems.

Local Unitaries and Complete Orthogonal Bases: The ULE Problem

The long-standing conjecture that two qutrits are universally locally encodable has been definitively proven, resolving a key question in quantum information theory. Beyond these specific configurations, the researchers developed a new criterion for determining whether a system is universally locally encodable. This connection highlights how a purely mathematical property directly impacts the practical limitations of quantum information processing. The team’s findings, detailed in their published paper, offer a deeper understanding of the fundamental constraints and possibilities within quantum systems.

Bipartite Dimension Constraints for Universal Local Encodability

While universal local encodability, the capacity to achieve this for all states within a given system, was previously known for 2×2, 4×4, and 8×8 dimensional systems, its existence for two qutrits had only been conjectured until now. This confirmation expands the known landscape of systems where complete control over quantum states is achievable through localized manipulations. This suggests that increasing the dimensionality of one component in a bipartite system can facilitate universal local encodability, even as the other dimension remains fixed.

The researchers’ analysis, presented as a list of results, shows that for a system with local dimension d, universal local encodability is possible for $d_{B}$ of 2, 4, or 8, provided the other dimension, $d_{A}$ , is greater than or equal to $d_{B}$ . However, the study also establishes a firm boundary to this universality.

The team demonstrated that systems of four or more qubits are not universally locally encodable, a result recently proven by Pauwels and Gühne. The researchers further connect the concept of universal local encodability to the efficiency of quantum measurements. This provides an operational interpretation of the theoretical concept, suggesting that non-universally locally encodable systems may require more complex measurement strategies to achieve optimal performance. The total number of degrees of freedom is (D-1) $s u m_{j} (d_{j}^{2} - 1)$ , while the number of real constraints due to orthogonality between the D vectors is D(D-1), and this relationship informs the team’s conclusions.

Operational Interpretation: Local Invariant Estimation Tasks

The ability to discern unknown quantum rotations hinges on whether a quantum system is universally locally encodable, a connection recently established by researchers. This operational interpretation moves the concept of universal local encodability beyond purely theoretical considerations and into the realm of practical quantum estimation tasks. A key finding is the development of a parameter count that is a necessary, though not sufficient, condition for universality.

The researchers displayed a list of results in bipartite systems, detailing the current status of provable universal local encodability for various dimensional combinations. The work also generalizes a previous no-go theorem, extending it to all local dimension tuples where non-universality was already suspected based on the dimensional inequality. While fulfilling the inequality does not guarantee universal local encodability, the team’s analysis provides a powerful tool for identifying systems where it is impossible.

d x 2, d x 3, and Infinite-Dimensional ULE Constructions

This result resolves a key open question in quantum information theory and establishes a new benchmark for bipartite quantum systems. The team used the lifting lemma to demonstrate ULE in infinite-dimensional systems paired with finite dimensions, a technique applicable across a broad range of configurations. This approach builds on previously established ULEs for 2×2, 4×4, and 8×8 dimensions, offering a more generalized understanding of how to construct complete quantum bases using only local operations. For finite-dimensional systems, the research introduces a method for identifying configurations that cannot support universal local encoding.

This work builds on existing constructions, such as those detailed in a prior reference for 2×2, 4×4, and 8×8 systems, and successfully lifts them to dimensions $d_{A}$ × $d_{B}$ for any $d_{A}$ greater than or equal to $d_{B}$ , with $d_{B}$ belonging to the set 2, 4, 8. The researchers also demonstrated that constructions from a previous study could be extended, using a theorem, to fill gaps in the understanding of ULEs. The team’s analysis provides a deeper understanding of the relationship between system dimensions and the possibility of universal local encoding.

👉 More information
🗞 When can local unitaries generate a complete orthogonal basis?
✍️ Julian Eisfeld, Hermann Kampermann and Nikolai Wyderka (Institut für Theoretische Physik III, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Düsseldorf, Germany)
🧠 ArXiv: https://arxiv.org/abs/2611.16921v1

More like this