pith. sign in

arxiv: 2605.13774 · v1 · pith:KL63VSVKnew · submitted 2026-05-13 · 🧮 math.OC · math.DS· math.OA· quant-ph

Affiliated operators for classical and quantum control

Dimitrios Giannakis , Gage Hoefer This is my paper

Pith reviewed 2026-05-14 17:39 UTC · model grok-4.3

classification 🧮 math.OC math.DSmath.OAquant-ph
keywords controllabilityvon Neumann algebrasbilinear systemsinfinite-dimensional Hilbert spacestime-optimal controlsKoopman operatordynamical Lie algebraaffiliated operators
0
0 comments X

The pith

Affiliation of drift and control operators with a finite-type von Neumann algebra ensures existence of time-optimal controls for bilinear systems on infinite-dimensional Hilbert spaces.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a framework using von Neumann algebras to address controllability of bilinear systems on infinite-dimensional Hilbert spaces. It requires only that the drift term and control operators are affiliated with the same von Neumann algebra of finite type acting on that space. Under basic norm bounds on the controls, existence of time-optimal controls follows. When operators may be unbounded, the dynamical Lie algebra stays well-defined and can still be used to verify approximate controllability. The same affiliation relation is shown to arise in classical systems through the Koopman operator representation, with examples illustrating the setup in both classical and quantum contexts.

Core claim

When the drift and control terms arising in a bilinear control system are affiliated with a von Neumann algebra of finite type acting on the same Hilbert space, and the control terms satisfy basic norm bound conditions, existence of time-optimal controls is proved; in the more general unbounded setting the dynamical Lie algebra remains well-defined and may be used to check approximate controllability.

What carries the argument

The affiliation relation of the drift and control operators with a von Neumann algebra of finite type, which makes the dynamical Lie algebra well-defined and supports the existence proof for time-optimal controls.

If this is right

  • Time-optimal controls exist for bilinear systems whenever the controls satisfy the norm bounds and affiliation holds.
  • The dynamical Lie algebra supplies a criterion for approximate controllability even when all operators are unbounded.
  • Classical dynamical systems can be treated by lifting them to the Koopman operator on the same algebraic setup.
  • Natural examples of affiliation appear in both quantum and classical control problems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Different choices of the ambient von Neumann algebra may systematically guide which operators are admissible as controls.
  • The approach could extend controllability results to systems where boundedness assumptions are replaced by affiliation alone.
  • Similar affiliation conditions might connect bilinear controllability to other algebraic structures used in infinite-dimensional dynamics.

Load-bearing premise

The drift and control operators must all be affiliated with the same von Neumann algebra of finite type acting on the Hilbert space.

What would settle it

A concrete bilinear system whose drift and control operators are affiliated with a finite-type von Neumann algebra on the same Hilbert space, yet for which no time-optimal control exists under the stated norm bounds, would falsify the existence claim.

read the original abstract

Using techniques from the theory of von Neumann algebras, we propose a framework for addressing questions of controllability of bilinear systems on infinite dimensional Hilbert spaces. In the setup, we assume only that the drift and control terms arising in a bilinear control system are affiliated with a von Neumann algebra of finite type acting on the same Hilbert space. When the control terms satisfy basic norm bound conditions, we prove existence of time-optimal controls. In the more general setting where all operators may be unbounded, we show how the dynamical Lie algebra for the system is still well-defined and may be used to check approximate controllability of the system in question. We discuss how this approach can be applied to classical dynamical systems through the Koopman operator formalism, and investigate potential candidates for the von Neumann algebra which may guide the choice of controls. We illustrate how an affiliation relation naturally arises in both classical and quantum control systems with a few examples.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript develops a framework for controllability of bilinear systems on infinite-dimensional Hilbert spaces by requiring that the drift and control operators be affiliated with a finite von Neumann algebra acting on the same space. Under basic norm-bound conditions on the controls, it proves existence of time-optimal controls; in the unbounded case it shows that the dynamical Lie algebra remains well-defined via trace-norm closure and can be used to verify approximate controllability. The approach is extended to classical systems through the Koopman operator formalism, with examples illustrating natural affiliation relations in both classical and quantum settings.

Significance. If the central arguments hold, the work supplies a technically sound operator-algebraic route to controllability questions that standard finite-dimensional Lie-algebra methods cannot address directly. The use of the faithful normal trace on a finite von Neumann algebra to close the dynamical Lie algebra even for unbounded generators, together with the weak-compactness argument for time-optimality, constitutes a genuine technical advance that could be applied to a range of infinite-dimensional control problems in quantum optics and classical fluid or wave systems.

minor comments (3)
  1. The definition of the trace-norm closure of the dynamical Lie algebra (presumably in §3 or §4) should include an explicit statement of the topology with respect to which the closure is taken, to avoid ambiguity when the generators are unbounded.
  2. In the Koopman-operator examples, the precise von Neumann algebra chosen for each system is stated but the verification that it is finite and that the affiliation relation holds is only sketched; a short appendix or remark confirming the type classification would strengthen the presentation.
  3. The statement of the main existence theorem for time-optimal controls would benefit from an explicit reference to the weak-compactness result in the Banach-space setting that is invoked.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its contributions. We are pleased that the operator-algebraic framework for controllability of bilinear systems on infinite-dimensional spaces, including the use of finite von Neumann algebras and the Koopman formalism for classical systems, has been recognized as a genuine technical advance.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on standard von Neumann algebra affiliation to define the dynamical Lie algebra via trace-norm closure for unbounded operators, with existence of time-optimal controls following from weak compactness of the admissible set under explicit norm bounds. These steps invoke external operator-algebra results (faithful normal trace, weak-* compactness) that are independent of the target controllability statements and are not obtained by fitting or re-deriving quantities already defined in terms of the conclusions. No self-definitional reductions, fitted-input predictions, or load-bearing self-citation chains appear in the chain from affiliation assumption to the controllability claims.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the assumption that the relevant operators are affiliated with a finite-type von Neumann algebra; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Drift and control operators are affiliated with a von Neumann algebra of finite type acting on the same Hilbert space.
    This is the load-bearing premise stated in the abstract that enables both the time-optimality proof and the well-definedness of the dynamical Lie algebra.

pith-pipeline@v0.9.0 · 5453 in / 1346 out tokens · 25589 ms · 2026-05-14T17:39:11.816137+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages

  1. [1]

    \, Ando, and Y

    H. \, Ando, and Y. \, Matsuzawa , Lie group-Lie algebra correspondences of unitary groups in finite von Neumann algebras , Hokkaido Math. J. 41:(1) (2012), 31-99

    work page 2012

  2. [2]

    \, Arbabi, M

    H. \, Arbabi, M. \, Korda, and I. \, Mezi \'c , A Data-Driven Koopman Model Predictive Control Framework for Nonlinear Partial Differential Equations , 2018 IEEE Conference on Decision and Control (CDC) (2018), Miami Beach, USA

    work page 2018

  3. [3]

    \, Arhangel'skii, and M

    A. \, Arhangel'skii, and M. \, G. \, Tkachenko , Topological Groups and Related Structures: An Introduction to Topological Algebra , Atlantis Press, 2008. https://doi.org/10.2991/978-94-91216-35-0

    work page doi:10.2991/978-94-91216-35-0 2008

  4. [4]

    J. \, M. \, Ball, J. \, E. \, Marsden, and M. \, Slemrod , Controllability for distributed bilinear systems , J. Control Optim. 20 (1982), 575-597

    work page 1982

  5. [5]

    \, Bensoussan, G

    A. \, Bensoussan, G. \, Da Prato, M. \, C. \, Delfour, and S. \, K. \, Mitter , Representation and Control of Infinite Dimensional Systems , Birkhäuser (2007), Boston, MA

    work page 2007

  6. [6]

    A. \, M. \, Bloch, R. \, W. \, Brockett, and C.\, Rangan , Finite controllability of infinite-dimensional quantum systems , IEEE Trans. Auto. Control 55 (2010), 1797-1805

    work page 2010

  7. [7]

    \, Boscain, J

    U. \, Boscain, J. \, Gauthier, F. \, Rossi, and M. \, Sigalotti , Approximate controllability, exact controllability, and conical eigenvalue intersections for quantum mechanical systems , Comm. Math. Phys. 333 (2015), 1225-1239

    work page 2015

  8. [8]

    \, Bourbaki , Lie groups and Lie algebras

    N. \, Bourbaki , Lie groups and Lie algebras. Chapters 1-3 , Elements of Mathematics (Berlin), Springer-Verlag, (1998), Berlin, DE

    work page 1998

  9. [9]

    \, Boussaid, M

    N. \, Boussaid, M. \, Caponigro, and T. \, Chambrion , An approximate controllability result with continuous spectrum: the Morse potential with dipolar interaction , 2015 SIAM Proc. Conf. Control and Appl. (2015), 454-461

    work page 2015

  10. [10]

    N. \, P. \, Brown, and N. \, Ozawa , C ^ * -Algebras and Finite-Dimensional Approximations , Graduate Studies in Mathematics Vol. 88, Amer. Math. Soc., Providence, RI (2008), xvi+509pp

    work page 2008

  11. [11]

    S. \, L. \, Brunton, M. \, Budisi \'c , E. \, Kaiser, and J. \, N. \, Kutz , Modern Koopman Theory for Dynamical Systems , SIAM Rev. 64:(2), (2022), 229-340

    work page 2022

  12. [12]

    \, Budde, and K

    C. \, Budde, and K. \, Landsman , A bounded transform approach to self-adjoint operators: functional calculus and affiliated von Neumann algebras , Ann. Funct. Anal. 7 (2016), no. 3, 411-420

    work page 2016

  13. [13]

    \, Chambrion, P

    T. \, Chambrion, P. \, Mason, M. \, Sigalotti, and U. \, Boscain , Controllability of the discrete-spectrum Schrödinger equation driven by an external field , Ann. Inst. Henri Poincaré, Anal Non Linéaire 26 (2009), 329-349

    work page 2009

  14. [14]

    \, Chirvasitu , Spans of quantum-inequality projections , J

    A. \, Chirvasitu , Spans of quantum-inequality projections , J. Math. Phys. 66 (2025), 071703

    work page 2025

  15. [15]

    \, Connes , Classification of injective factors: Cases II _ 1 , II _ , III _ , 1 , Ann

    A. \, Connes , Classification of injective factors: Cases II _ 1 , II _ , III _ , 1 , Ann. of Math. (2) 104 (1976), no. 1, 73-115

    work page 1976

  16. [16]

    \, D'Alessandro , Introduction to Quantum Control and Dynamics , Chapman & Hall/CRC Applied Mathematics and Nonlinear Science Series (2008), Boca Raton, FL

    D. \, D'Alessandro , Introduction to Quantum Control and Dynamics , Chapman & Hall/CRC Applied Mathematics and Nonlinear Science Series (2008), Boca Raton, FL

    work page 2008

  17. [17]

    \, Dunford and B

    N. \, Dunford and B. \, J. \, Pettis , Linear operations on summable functions , Trans. Amer. Math. Soc. 47 (1940), 323-392

    work page 1940

  18. [18]

    G. \, B. \, Folland , A Course in Abstract Harmonic Analysis , CRC Press Incorporated, (1995), Florida, USA

    work page 1995

  19. [19]

    \, Giannakis, M

    D. \, Giannakis, M. \, J. \, Latifi Jebelli, M. \, Montgomery, P. \, Pfeffer, J. \, Schumacher, and J. \, Slawinska , Second quantization for classical nonlinear dynamics , preprint (2025), arXiv:2501.07419

    work page arXiv 2025

  20. [20]

    \, Giannakis, and M

    D. \, Giannakis, and M. \, Montgomery , Koopman and transfer operator techniques from the perspective of quantum theory , preprint (2026), arXiv:2603.20102

    work page arXiv 2026

  21. [21]

    \, Giannakis, and C

    D. \, Giannakis, and C. \, Valva , Consistent spectral approximation of Koopman operators using resolvent compactification , Nonlinearity 37 (2024), no. 7, 075021

    work page 2024

  22. [22]

    \, Giannakis, and C

    D. \, Giannakis, and C. \, Valva , Physics informed spectral approximation of Koopman operators , Phys. D: Nonlinear Phenomena 482 (2025), 134835

    work page 2025

  23. [23]

    \, Hermes, and J

    H. \, Hermes, and J. \, P. \, LaSalle , Functional Analysis and Time Optimal Control , Academic (1969), New York

    work page 1969

  24. [24]

    E. \, T. \, Jaynes, and F. \, W. \, Cummings , Comparison of quantum and semiclassical radiation theories with application to the beam maser , Proc. IEEE 51 (1963), 89-109

    work page 1963

  25. [25]

    \, Jurdjevic , Geometric Control Theory , Cambridge University Press (1997), New York, USA

    V. \, Jurdjevic , Geometric Control Theory , Cambridge University Press (1997), New York, USA

    work page 1997

  26. [26]

    \, Jurdjevic, and H

    V. \, Jurdjevic, and H. \, J. \, Sussmann , Control systems on Lie groups , J. Diff. Eq. 12 (1972), 313-329

    work page 1972

  27. [27]

    R. \, V. \, Kadison, and J. \, R. \, Ringrose , Fundamentals of the Theory of Operator Algebras. Vol. I: Elementary Theory , American Mathematical Society, (1997), Rhode Island, U.S.A

    work page 1997

  28. [28]

    \, Kaiser, J

    E. \, Kaiser, J. \, N. \, Kutz, and S. \, L. \, Brunton , Data-Driven Discovery of Koopman Eigenfunctions for Control , Mach. Learn.: Sci. Technol. 2 (2021), no. 3, 035023

    work page 2021

  29. [29]

    \, Kato , Perturbation Theory for Linear Operators , Classics in Mathematics, Springer-Verlag (1995), Heidelberg, DE

    T. \, Kato , Perturbation Theory for Linear Operators , Classics in Mathematics, Springer-Verlag (1995), Heidelberg, DE

    work page 1995

  30. [30]

    \, Keyl, R

    M. \, Keyl, R. \, Zeier, and T. Schulte-Herbrüggen , Controlling several atoms in a cavity , New. J. of Phys. 16 (2014), 065010

    work page 2014

  31. [31]

    M. \, Keyl , Quantum control in infinite dimensions and Banach-Lie algebras: pure point spectrum , 2019 IEEE 58th Conference on Decision and Control (CDC), Nice, France, (2019), 2298-2303

    work page 2019

  32. [32]

    uski, S. \, Peitz, J. \, H. \, Niemann, C. \, Clementi, and C. \, Sch \

    S. \, Klus, F. \, N\"uski, S. \, Peitz, J. \, H. \, Niemann, C. \, Clementi, and C. \, Sch \"u tte , Data-Driven Approximation of the Koopman Generator: Model Reduction, System Identification, and Control , Phys. D 406 (2020), 132416

    work page 2020

  33. [33]

    B. \, O. \, Koopman, and J. \, von Neumann , Dynamical systems of continuous spectra , Proc. Natl. Acad. Sci. 18 (1932), no. 3, 255-263

    work page 1932

  34. [34]

    \, Korda, and I

    M. \, Korda, and I. \, Mezi \'c , Linear Predictors for Nonlinear Dynamical Systems: Koopman Operator Meets Model Predictive Control , Automatica 93 (2018), 149-160

    work page 2018

  35. [35]

    \, Korda, and I

    M. \, Korda, and I. \, Mezi \'c , Optimal Construction of Koopman Eigenfunctions for Prediction and Control , IEEE Trans. Autom. Control 65 (2020), no. 12, 5114-5129

    work page 2020

  36. [36]

    \, Korda, M

    M. \, Korda, M. \, Putinar, and I. \, Mezić , Data-driven spectral analysis of the Koopman operator , Appl. Comput. Harmon. Anal. 48 (2020), no. 2, 599-629

    work page 2020

  37. [37]

    \, Kurita , On the controllability of nonlinear systems with applications to polynomial systems , Appl

    H. \, Kurita , On the controllability of nonlinear systems with applications to polynomial systems , Appl. Math. Opt. 5 (1979), 89-99

    work page 1979

  38. [38]

    \, Lloyd and S

    S. \, Lloyd and S. \, L. \, Braunstein , Quantum computation over continuous variables , Phys. Rev. Lett. 82 (1999), 1784

    work page 1999

  39. [39]

    \, Mauroy, I

    A. \, Mauroy, I. \, Mezi \'c , and Y. \, Susuki , The Koopman Operator in Systems and Control , Springer Lecture Notes in Control and Information Sciences 484 (2020)

    work page 2020

  40. [40]

    \, Murray, and J

    F. \, Murray, and J. \, von Neumann , On rings of operators , Ann. Math. 37 (1936), 116-229

    work page 1936

  41. [41]

    \, Nelson , Analytic vectors , Ann

    E. \, Nelson , Analytic vectors , Ann. Math. 70, (1959), no. 3, 572-615

    work page 1959

  42. [42]

    \, Nelson , Topics in Dynamics I , Princeton University Press, (1969), Princeton, New Jersey, U.S.A

    E. \, Nelson , Topics in Dynamics I , Princeton University Press, (1969), Princeton, New Jersey, U.S.A

    work page 1969

  43. [43]

    \, Nelson , Notes on non-commutative integration , J

    E. \, Nelson , Notes on non-commutative integration , J. Funct. Anal. 15 (1974), 103-116

    work page 1974

  44. [44]

    \, N \"u ske, S

    , F. \, N \"u ske, S. \, Peitz, F. \, Philipp, M. \, Schaller, and K. \, Worthmann , Finite-Data Error Bounds for Koopman-Based Prediction and Control , J. Nonliinear Sci. 33 (2023), 14

    work page 2023

  45. [45]

    S. \, E. \, Otto, S. \, Petiz, and C. \, W. \, Rowley , Learning Bilinear Models of Actuated Koopman Generators from Partially Observed Trajectories , SIAM J. Appl. Dyn. Syst. 23 (2024), no. 1

    work page 2024

  46. [46]

    S. \, E. \, Otto, and C. \, W. \, Rowley , Koopman Operators for Estimation and Control of Dynamical Systems , Annual Review of Control, Robotics, and Autonomous Systems 4 (2021), 59-87

    work page 2021

  47. [47]

    \, Paulsen , Completely Bounded Maps and Operator Algebras , Cambridge University Press, (2002), Cambridge, UK

    V. \, Paulsen , Completely Bounded Maps and Operator Algebras , Cambridge University Press, (2002), Cambridge, UK

    work page 2002

  48. [48]

    G. \, K. \, Pedersen , Analysis Now , Grad. Texts in Math. 118, Springer, New York, 1989

    work page 1989

  49. [49]

    \, Peitz, and S

    S. \, Peitz, and S. \, Klus , Koopman Operator-Based Model Reduction for Switched-System Control of PDEs , Automatica 106 (2019), 184-191

    work page 2019

  50. [50]

    \, Peitz, S

    S. \, Peitz, S. \, E. \, Otto, and C. \, W. \, Rowley , Data-Driven Model Predictive Control using Interpolated Koopman Operators , SIAM J. Appl. Dyn. Sys. 19 (2020), no. 3, 2162-2193

    work page 2020

  51. [51]

    J. \, L. \, Proctor, S. \, L. \, Brunton, and J. \, N. \, Kutz , Dynamic Mode Decomposition with Control , SIAM J. Appl. Dyn. Sys. 15 (2016), no. 1, 142-161

    work page 2016

  52. [52]

    \, Rangan, A

    C. \, Rangan, A. \, Bloch, C. \, Monroe, and P. \, Bucksbaum , Control of trapped-ion quantum states with optical pulses , Phys. Review Lett. 92 (2004), 113004

    work page 2004

  53. [53]

    \, Surana , Koopman Operator Based Observer Synthesis for Control-Affine Nonlinear Systems , IEEE 55th Conference on Decision and Control (2016), 6492-6499

    A. \, Surana , Koopman Operator Based Observer Synthesis for Control-Affine Nonlinear Systems , IEEE 55th Conference on Decision and Control (2016), 6492-6499

    work page 2016

  54. [54]

    \, Takesaki , Theory of Operator Algebras I , Encyclopedia of Mathematical Sciences 124, Springer-Verlag (2002)

    M. \, Takesaki , Theory of Operator Algebras I , Encyclopedia of Mathematical Sciences 124, Springer-Verlag (2002)

    work page 2002

  55. [55]

    \, Takesaki , Theory of Operator Algebras II , Encyclopedia of Mathematical Sciences 125, Springer-Verlag (2003)

    M. \, Takesaki , Theory of Operator Algebras II , Encyclopedia of Mathematical Sciences 125, Springer-Verlag (2003)

    work page 2003

  56. [56]

    M. \, O. \, Williams, M. \, S. \, Hemati, S. \, T. \, M. \, Dawson, I. \, G. \, Kevrekidis, and C. \, W. \, Rowley , Extending Data-Driven Koopman Analysis to Actuated Systems , IFAC-PapersOnLine 49 (2016), no. 18, 704-709

    work page 2016

  57. [57]

    \, Wogen , Von Neumann algebras generated by operators similar to normal operators , Pacific J

    W. \, Wogen , Von Neumann algebras generated by operators similar to normal operators , Pacific J. Math. 37 (1971), no. 2, 539-543

    work page 1971

  58. [58]

    \, Wu, T

    R. \, Wu, T. \, Tarn, and C. \, Li , Smooth controllability of infinite-dimensional quantum mechanical systems , Phys. Rev. A 73 (2006), 012719

    work page 2006

  59. [59]

    \, Yuan, and S

    H. \, Yuan, and S. \, Lloyd , Controllability of the coupled spin-1 2 harmonic oscillator system , Phys. Review A 75 (2007), 052331

    work page 2007