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

Recognition: no theorem link

Affiliated operators for classical and quantum control

Dimitrios Giannakis, Gage Hoefer

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 comments

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.

Desk Editor's Note private letter to a colleague

Affiliation with a finite von Neumann algebra lets them close the dynamical Lie algebra in trace norm for unbounded operators and prove time-optimal controls via weak compactness.

read the letter

The affiliation condition is the main move. Once the drift and controls sit inside a finite-type von Neumann algebra on the same Hilbert space, the faithful normal trace gives a trace-norm closure that keeps the dynamical Lie algebra well-defined even when the generators are unbounded. From there the existence of time-optimal controls follows from the usual weak compactness of the admissible set under the stated norm bounds, and approximate controllability remains checkable in the general case. That is cleaner than trying to manipulate unbounded operators directly with the classical Lie-algebra machinery.

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)

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.
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.
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)

Reference graph

Works this paper leans on

59 extracted references · 3 canonical work pages

[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

2012
[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

2018
[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]

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

1982
[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

2007
[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

2010
[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

2015
[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

1998
[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

2015
[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

2008
[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

2022
[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

2016
[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

2009
[14]

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

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

2025
[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

1976
[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

2008
[17]

\, Dunford and B

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

1940
[18]

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

1995
[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]

\, 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]

\, Giannakis, and C

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

2024
[22]

\, Giannakis, and C

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

2025
[23]

\, Hermes, and J

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

1969
[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

1963
[25]

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

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

1997
[26]

\, Jurdjevic, and H

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

1972
[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

1997
[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

2021
[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

1995
[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

2014
[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

2019
[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

2020
[33]

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

1932
[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

2018
[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

2020
[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

2020
[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

1979
[38]

\, Lloyd and S

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

1999
[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)

2020
[40]

\, Murray, and J

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

1936
[41]

\, Nelson , Analytic vectors , Ann

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

1959
[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

1969
[43]

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

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

1974
[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

2023
[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

2024
[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

2021
[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

2002
[48]

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

1989
[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

2019
[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

2020
[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

2016
[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

2004
[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

2016
[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)

2002
[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)

2003
[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

2016
[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

1971
[58]

\, Wu, T

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

2006
[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

2007