Schwinger's $\nu\to\infty$ problem for unitary operator bases: characterizing the physically meaningful states and operators admitting a uniform continuous-spectrum limit

In "Unitary Operator Bases" (1960), Julian Schwinger developed a finite-dimensional quantum formalism in which each degree of freedom with a prime number $\nu$ of states is carried by a complementary pair of unitary operators $U,V$ satisfying $VU=e^{2\pi i/\nu}UV$, and he closed the paper by declining to carry out the limit $\nu\to\infty$ that recovers continuous-spectrum variables, posing instead "the direct problem of finding the nature of the subspaces of physically meaningful states and operators for which the limit $\nu\to\infty$ can be performed uniformly" — with the stated expectation that no delta functions, distributions, or other new formalism would be needed. Later work has resolved important instances: the Pegg–Barnett limiting procedure constructs the number–phase pair, and Pegg, Vaccaro and Barnett the three standard complementary pairs, in the infinite-dimensional limit; the Ruzzi–Galetti line derives the Weyl–Wigner formalism for Cartesian and angular coordinates as limits of the discrete phase-space dynamics; explicit approximating state families (finite Gaussians, discrete coherent states, discrete Hermite–Gauss states) satisfy the discrete position–momentum commutation relation approximately for large dimension. However, a precise notion of a uniform $\nu\to\infty$ limit, a systematic characterization of the states and operators admitting it, and a determination whether distributional (rigged Hilbert space) structure is avoidable — on which the literature is split — all remain open; a 2025 study states explicitly that no satisfactory mathematical explanation of the large-dimension behavior of the relevant states is presently available.

Background

In standard quantum mechanics an observable is a Hermitian operator on a Hilbert space, and a finite-dimensional Hilbert space cannot host an exact position–momentum pair: the canonical commutation relation $[A,B]=i\hbar$ has no finite-dimensional solution, because the trace of any commutator vanishes while the trace of the right-hand side does not. Schwinger's 1960 paper "Unitary Operator Bases" nevertheless built a complete kinematic description of finite quantum systems and proposed it as the route to continuous variables. The central object is a unitary operator basis: for a Hilbert space of prime dimension $\nu$, a pair of unitary operators $U,V$ satisfying the Weyl commutation relation $VU=e^{2\pi i/\nu}UV$ (the exponentiated, finite-dimensional analogue of the canonical commutation relation) is called a complementary pair, because a measurement of one cyclically permutes the eigenstates of the other so that the two observables carry maximally incompatible information; the $\nu^2$ operators $X(m,n)=\nu^{-1/2}U^mV^n$ then form an orthonormal basis for the space of all operators on the Hilbert space, generalizing the Pauli matrices (the case $\nu=2$). A general dimension factors into primes $N=\prod_j\nu_j$, and each prime factor is regarded as one degree of freedom, with the full operator basis built from the tensor product. The algebraic relation itself was known from earlier group-theoretical work, but Schwinger made it the foundation of a physical formalism. In the closing paragraph, Schwinger makes explicit the Hermitian generators on which such a pair depends, $U=e^{i\varepsilon q}$, $V=e^{i\varepsilon p}$ with $\varepsilon=(2\pi/\nu)^{1/2}$ and lattice points $q_k=p_k=k\varepsilon$ for $\nu$ consecutive integers $k$, and states that the limit $\nu\to\infty$ "evidently yield[s] the well-known pair of complementary properties with continuous spectra" (position and momentum). He adds that this approach never requires the machinery Dirac introduced for continuous spectra — delta functions or distributions — and that one is instead "presented with the direct problem of finding the nature of the subspaces of physically meaningful states and operators for which the limit $\nu\to\infty$ can be performed uniformly". The word "uniformly" is left informal: the intended contrast is with limits that hold only case-by-case or only after matrix elements are individually regularized. The surrounding literature frames why this is delicate. The quantum phase problem — constructing a Hermitian operator conjugate to photon number, whose spectra are respectively discrete and continuous — was reviewed by Carruthers and Nieto (1968) and resisted direct solution until Pegg and Barnett (1988, 1989) introduced a limiting procedure: compute all physical quantities (expectation values) in a finite $(s+1)$-dimensional state space and only then take $s\to\infty$. Pegg, Vaccaro and Barnett (1990) used this strategy to construct all three standard complementary pairs — position–momentum, number–phase, and angular-momentum–angle — on a subspace of physical states in the infinite-dimensional limit. In parallel, a discrete phase-space line developed: Galetti and de Toledo Piza (1992) constructed mod-$N$ invariant finite phase spaces (discrete phase spaces whose structure is invariant under translations computed modulo the period $N$) with discrete Wigner functions (finite analogues of the phase-space quasi-probability distribution), and Ruzzi and Galetti (2000) derived the Weyl–Wigner formalism (the phase-space formulation of quantum mechanics) for a particle on a line and for angular coordinates as the continuous limit of the discrete dynamics, with two 2002 papers explicitly relating the Schwinger and Pegg–Barnett approaches. Modern work sharpens rather than settles the limit question. A review by Vourdas (2004) shows the finite-Hilbert-space theory had matured into an active field while leaving the continuous limit untreated. Singh and Carroll (2018) studied generalized Pauli operators (Schwinger-type finite pairs) as finite-dimensional position and momentum and found that the Heisenberg commutation relation is recovered as $N\to\infty$ only in the distributional matrix-element sense, with Dirac delta functions of the continuous labels appearing inside the derivation. Bordon and Vaccaro (2024) argued that the Pegg–Barnett limiting procedure essentially constructs an extended rigged Hilbert space — a Gelfand triple $\Phi\subset\mathcal{H}\subset\Phi'$ in which generalized eigenstates of continuous-spectrum operators live as continuous linear functionals on a dense test space $\Phi$ — supporting strong limits of the phase operators; on their reading, the minimal rigorous home of the limit is distributional after all, in tension with Schwinger's stated expectation, and they note Schwinger only asserted the $D\to\infty$ yield without carrying it out. At the level of explicit states, Cotfas and Dragoman (2012) studied finite Gaussians built from Jacobi theta functions (a classical family of doubly periodic entire functions) with emphasis on recovering continuous-limit results as the dimension grows, and Cotfas (2025) identified qudit state families (states of a $d$-level quantum system, the finite-dimensional analogue of a qubit) — discrete-variable Gaussians, certain discrete coherent states, and discrete Hermite–Gauss states, the finite-dimensional analogues of the corresponding continuous families — that satisfy the discrete position–momentum commutation relation $[\hat{\mathbf q},\hat{\mathbf p}]\approx i\,d/(2\pi)$ approximately in a proper subspace for large dimension $d$, stating that no satisfactory mathematical explanation of this behavior is presently available. Meanwhile the finite theory thrives in quantum information: Markiewicz and Schlichtholz (2026) use unitary operator bases as reduced-size universal averaging sets (small sets of unitaries whose uniform average over the group they generate reproduces the uniform average over the entire group, the operation known in quantum information as twirling), an application that never touches the continuous limit. The open problem is thus exactly the interface Schwinger left untreated: which states and operators make the passage from the discrete to the continuous regime uniform, and whether that passage can be made without distributional structure.

Problem Statement

Within Schwinger's finite-dimensional formalism of unitary operator bases, a single degree of freedom with a prime number $\nu$ of states is described by a complementary unitary pair $U=e^{i\varepsilon q}$, $V=e^{i\varepsilon p}$, where $q$ and $p$ are Hermitian generators whose eigenvalues run over the lattice $k\varepsilon$ ($k$ integer), $\varepsilon=(2\pi/\nu)^{1/2}$, satisfying $VU=e^{2\pi i/\nu}UV$, together with the operator basis $X(m,n)=\nu^{-1/2}U^mV^n$; the limit $\nu\to\infty$ is expected to yield the corresponding continuous-spectrum complementary pair (for the Cartesian case, position and momentum). The problem posed at the close of Schwinger's 1960 paper is to find the nature of the subspaces of physically meaningful states and operators for which this limit can be performed uniformly. This decomposes into three linked sub-questions: (i) give a precise formalization of what it means for the limit $\nu\to\infty$ to be performed uniformly — the convergence structure on states and operators, and how the $\nu$-dimensional systems for different $\nu$ are organized into one family; (ii) derive a systematic characterization, necessary and/or sufficient conditions, of the states and operators admitting such a uniform limit, valid for Schwinger degrees of freedom generally (any complementary pair, not only the standard position-momentum, number-phase, and angular-momentum-angle instances already treated case-by-case); and (iii) determine, within that characterization, whether the continuous-spectrum limit is obtained without delta functions, distributions, or any extension of the ordinary finite-dimensional formalism, as Schwinger asserted, or whether generalized-eigenstate structure such as a rigged Hilbert space is unavoidable.

References

1. Julian Schwinger, "Unitary Operator Bases", Proceedings of the National Academy of Sciences 46(4), 570-579 (1960), DOI 10.1073/pnas.46.4.570, https://doi.org/10.1073/pnas.46.4.570 (primary source)
2. Julian Schwinger, "Unitary Operator Bases", in A Quantum Legacy (World Scientific Series in 20th Century Physics), World Scientific, pp. 475-484 (2000), DOI 10.1142/9789812795694_0026, https://doi.org/10.1142/9789812795694_0026 (reprint of the 1960 PNAS paper)
3. Julian Schwinger, "Continuous q, p Degree of Freedom", in Quantum Mechanics: Symbolism of Atomic Measurements (edited by Berthold-Georg Englert), Springer, pp. 101-147 (2001), DOI 10.1007/978-3-662-04589-3_3, https://doi.org/10.1007/978-3-662-04589-3_3 (Schwinger's expanded book treatment of the unitary-operator-bases material)
4. P. Carruthers and Michael Martin Nieto, "Phase and Angle Variables in Quantum Mechanics", Reviews of Modern Physics 40(2), 411-440 (1968), DOI 10.1103/RevModPhys.40.411, https://doi.org/10.1103/RevModPhys.40.411
5. D. T. Pegg and S. M. Barnett, "Unitary Phase Operator in Quantum Mechanics", Europhysics Letters 6(6), 483-487 (1988), DOI 10.1209/0295-5075/6/6/002, https://doi.org/10.1209/0295-5075/6/6/002
6. S. M. Barnett and D. T. Pegg, "On the Hermitian Optical Phase Operator", Journal of Modern Optics 36(1), 7-19 (1989), DOI 10.1080/09500348914550021, https://doi.org/10.1080/09500348914550021
7. D. T. Pegg, J. A. Vaccaro and Stephen M. Barnett, "Quantum-optical Phase and Canonical Conjugation", Journal of Modern Optics 37(11), 1703-1710 (1990), DOI 10.1080/09500349014551931, https://doi.org/10.1080/09500349014551931
8. D. Galetti and A. F. R. de Toledo Piza, "Discrete quantum phase spaces and the mod N invariance", Physica A 186(3-4), 513-523 (1992), DOI 10.1016/0378-4371(92)90213-a, https://doi.org/10.1016/0378-4371(92)90213-a
9. M. Ruzzi and D. Galetti, "Quantum discrete phase space dynamics and its continuous limit", Journal of Physics A: Mathematical and General 33(5), 1065-1082 (2000), DOI 10.1088/0305-4470/33/5/317, https://doi.org/10.1088/0305-4470/33/5/317
10. M. Ruzzi, "Schwinger, Pegg and Barnett approaches and a relationship between angular and Cartesian quantum descriptions", Journal of Physics A: Mathematical and General 35(7), 1763-1768 (2002), DOI 10.1088/0305-4470/35/7/320, https://doi.org/10.1088/0305-4470/35/7/320
11. M. Ruzzi and D. Galetti, "Schwinger and Pegg-Barnett approaches and a relationship between angular and Cartesian quantum descriptions: II. Phase spaces", Journal of Physics A: Mathematical and General 35(21), 4633-4640 (2002), DOI 10.1088/0305-4470/35/21/311, https://doi.org/10.1088/0305-4470/35/21/311
12. A. Vourdas, "Quantum systems with finite Hilbert space", Reports on Progress in Physics 67(3), 267-320 (2004), DOI 10.1088/0034-4885/67/3/r03, https://doi.org/10.1088/0034-4885/67/3/r03
13. A. C. de la Torre and D. Goyeneche, "Quantum mechanics in finite-dimensional Hilbert space", American Journal of Physics 71(1), 49-54 (2003; online December 2002), DOI 10.1119/1.1514208, https://doi.org/10.1119/1.1514208
14. Metin Arik and Medine Ildes, "Quantum mechanics in a space with a finite number of points", Progress of Theoretical and Experimental Physics 2016(4), 041A01 (2016), DOI 10.1093/ptep/ptw033, https://doi.org/10.1093/ptep/ptw033
15. Nicolae Cotfas and Daniela Dragoman, "Properties of finite Gaussians and the discrete-continuous transition", Journal of Physics A: Mathematical and Theoretical 45(42), 425305 (2012), DOI 10.1088/1751-8113/45/42/425305, https://doi.org/10.1088/1751-8113/45/42/425305 (arXiv:1205.6302)
16. Ashmeet Singh and Sean M. Carroll, "Modeling Position and Momentum in Finite-Dimensional Hilbert Spaces via Generalized Pauli Operators", arXiv:1806.10134 (2018), https://arxiv.org/abs/1806.10134
17. M. G. Ivanov, "Binary Representation of Coordinate and Momentum in Quantum Mechanics", Theoretical and Mathematical Physics 196(1), 1002-1017 (2018), DOI 10.1134/S0040577918070073, https://doi.org/10.1134/S0040577918070073
18. Thais L. Silva, Lukasz Rudnicki, Daniel S. Tasca and Stephen P. Walborn, "Discretized continuous quantum-mechanical observables that are neither continuous nor discrete", Physical Review Research 4, 013060 (2022), DOI 10.1103/PhysRevResearch.4.013060, https://doi.org/10.1103/PhysRevResearch.4.013060
19. Khai Bordon and Joan A. Vaccaro, "Quantum optical phase, rigged Hilbert spaces and complementarity", Philosophical Transactions of the Royal Society A 382(2287), 20230328 (2024), DOI 10.1098/rsta.2023.0328, https://doi.org/10.1098/rsta.2023.0328
20. Trond Digernes, "A short review of finite approximations and unconventional physics", Expositiones Mathematicae 43(2), 125573 (2025), DOI 10.1016/j.exmath.2024.125573, https://doi.org/10.1016/j.exmath.2024.125573
21. Felix Fischer, Daniel Burgarth and Davide Lonigro, "Quantum particle in the wrong box (or: the perils of finite-dimensional approximations)", Quantum 10, 1985 (2026), DOI 10.22331/q-2026-01-27-1985, https://doi.org/10.22331/q-2026-01-27-1985 (arXiv:2412.15889)
22. Nicolae Cotfas, "On a discrete version of the position-momentum commutation relation", arXiv:2509.22753 (2025; v5 February 2026), https://arxiv.org/abs/2509.22753
23. Marcin Markiewicz and Konrad Schlichtholz, "Unitary operator bases as reduced size universal averaging sets", Scientific Reports (2026), DOI 10.1038/s41598-026-67515-9, https://doi.org/10.1038/s41598-026-67515-9