Control in the spaces of ensembles of points

Andrei Agrachev; Andrey Sarychev

arxiv: 1907.00905 · v2 · pith:KQ7XST4Unew · submitted 2019-07-01 · 🧮 math.OC · math.CA

Control in the spaces of ensembles of points

Andrei Agrachev , Andrey Sarychev This is my paper

Pith reviewed 2026-05-25 11:39 UTC · model grok-4.3

classification 🧮 math.OC math.CA

keywords ensemble controllabilitygeometric control theoryLie-algebraic criteriaRashevsky-Chow theoremdiffeomorphism semigroupRiemannian manifoldmotion planningapproximate controllability

0 comments

The pith

Finite ensembles of points on a manifold are generically exactly controllable via lifted control systems.

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

The paper studies how a control system on a Riemannian manifold M induces controlled dynamics on the space of ensembles, where an ensemble is the image of a continuous map from a compact parameter set to M. For finite ensembles it proves that exact controllability is a generic property. For continual ensembles it gives a sufficient Lie-algebraic criterion for approximate controllability and proves a motion-planning result in the space of flows generated by the controls. The criteria are obtained by adapting the classical Lie-algebraic methods of geometric control theory and are related to versions of the Rashevsky-Chow theorem on finite- and infinite-dimensional manifolds.

Core claim

Any control system on M generates a semigroup of diffeomorphisms that acts on the space of ensembles E_Θ(M). For finite ensembles the exact controllability property is generic. A sufficient criterion for approximate controllability of continual ensembles is derived from the Lie algebra generated by the control vector fields, and a motion-planning result holds in the space of flows on M. These controllability statements correspond to appropriate versions of the Rashevsky-Chow theorem.

What carries the argument

The space of ensembles E_Θ(M) equipped with the natural action of the diffeomorphism semigroup generated by the controlled dynamics on M.

If this is right

Exact controllability holds for a generic choice of control system whenever the ensemble consists of finitely many points.
Approximate controllability of continual ensembles follows whenever the Lie algebra generated by the control vector fields has full rank at each point of M.
Steering problems in the space of flows on M admit solutions under the same Lie-algebraic hypotheses.
The controllability criteria obtained are direct analogues of the Rashevsky-Chow theorem stated for both finite- and infinite-dimensional manifolds.

Where Pith is reading between the lines

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

The genericity result implies that randomly chosen controls will almost always allow independent steering of any finite collection of points.
The framework may be tested on concrete multi-particle systems on the sphere or torus to check whether the predicted approximate controllability appears in numerical simulations.
The motion-planning statement suggests that open-loop controls designed on M can be reused to plan trajectories of entire flows without recomputing brackets in the ensemble space.

Load-bearing premise

The Lie bracket rank conditions that work on the manifold M continue to generate the tangent space when lifted to the space of ensembles.

What would settle it

An explicit control system on M whose vector fields satisfy the Lie algebra rank condition at every point yet fails to steer some finite ensemble exactly between two configurations.

read the original abstract

We study the controlled dynamics of the {\it ensembles of points} of a Riemannian manifold $M$. Parameterized ensemble of points of $M$ is the image of a continuous map $\gamma:\Theta \to M$, where $\Theta$ is a compact set of parameters. The dynamics of ensembles is defined by the action $\gamma(\theta) \mapsto P_t(\gamma(\theta))$ of the semigroup of diffeomorphisms $P_t:M \to M, \ t \in \mathbb{R}$, generated by the controlled equation $\dot{x}=f(x,u(t))$ on $M$. Therefore any control system on $M$ defines a control system on (generally infinite-dimensional) space $\mathcal{E}_\Theta(M)$ of the ensembles of points. We wish to establish criteria of controllability for such control systems. As in our previous work ([1]) we seek to adapt the Lie-algebraic approach of geometric control theory to the infinite-dimensional setting. We study the case of finite ensembles and prove genericity of exact controllability property for them. We also find sufficient approximate controllability criterion for continual ensembles and prove a result on motion planning in the space of flows on $M$. We discuss the relation of the obtained controllability criteria to various versions of Rashevsky-Chow theorem for finite- and infinite-dimensional manifolds.

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

Exact controllability is generic for finite ensembles of points and a sufficient criterion exists for approximate controllability of continual ensembles.

read the letter

The main things to know are that exact controllability holds generically for finite ensembles and a sufficient condition is given for approximate controllability when the ensemble is continual. The authors adapt the Lie-algebraic method to the space of ensembles, defined as images of maps from a compact parameter set to the manifold, with dynamics induced by the flow of the controlled system on M. For finite cases they establish genericity of the exact controllability property, which follows from the usual Lie algebra rank condition holding on an open dense set. For continual ensembles they obtain a sufficient approximate controllability criterion tied to bracket-generating assumptions and relate both results to appropriate versions of the Rashevsky-Chow theorem in finite- and infinite-dimensional settings. They also give a motion planning statement in the space of flows. This is a straightforward but careful extension of their prior work, and the arguments stay proportionate without introducing circular steps or fitted quantities. The connection to the classical theorems is handled cleanly. The main limitation is that the continual case only reaches approximate controllability, which is expected in the infinite-dimensional setting and is not overstated. No load-bearing gaps appear in the logic. This paper is for people already working in geometric control on manifolds who want controllability criteria for ensemble or multi-point systems. A reader in that niche will get usable statements and references. It deserves serious referee time because the extension is technically grounded and the claims are scoped appropriately. I recommend sending it to peer review.

Referee Report

1 major / 0 minor

Summary. The manuscript studies controlled dynamics of ensembles of points on a Riemannian manifold M, where an ensemble is the image of a continuous map γ:Θ→M with Θ compact. Dynamics are induced by the action of the semigroup of diffeomorphisms generated by the controlled vector field ẋ=f(x,u(t)). This yields a control system on the (generally infinite-dimensional) space E_Θ(M) of ensembles. The authors adapt the Lie-algebraic method of geometric control theory, prove that exact controllability is generic for finite ensembles, give a sufficient criterion for approximate controllability of continual ensembles, prove a motion-planning result in the space of flows, and relate the criteria to versions of the Rashevsky-Chow theorem on finite- and infinite-dimensional manifolds.

Significance. If the stated genericity and criterion results hold with complete proofs, the work would extend geometric control theory from finite-dimensional manifolds to the infinite-dimensional setting of ensemble spaces, with potential relevance to multi-agent and distributed-parameter control. The explicit connection to Rashevsky-Chow-type statements is a clear strength of the approach.

major comments (1)

[Abstract] Abstract: the claims of proved genericity of exact controllability for finite ensembles and a sufficient approximate-controllability criterion for continual ensembles rest on an adaptation of the Lie-algebraic method together with reference to Rashevsky-Chow theorems, yet the abstract supplies neither the explicit Lie-algebra rank conditions nor the full derivations needed to verify that the adaptation is valid in the infinite-dimensional setting of E_Θ(M).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the thoughtful review. We address the single major comment on the abstract below. The manuscript develops the Lie-algebraic criteria and their infinite-dimensional adaptation in full detail in the body of the paper.

read point-by-point responses

Referee: [Abstract] Abstract: the claims of proved genericity of exact controllability for finite ensembles and a sufficient approximate-controllability criterion for continual ensembles rest on an adaptation of the Lie-algebraic method together with reference to Rashevsky-Chow theorems, yet the abstract supplies neither the explicit Lie-algebra rank conditions nor the full derivations needed to verify that the adaptation is valid in the infinite-dimensional setting of E_Θ(M).

Authors: Abstracts in mathematical papers are concise summaries of results and do not contain explicit rank conditions or complete derivations; those appear in the main text. The genericity result for finite ensembles (via an adapted Lie-algebra rank condition) is stated and proved in Section 3, while the sufficient approximate-controllability criterion for continual ensembles, the motion-planning result, and the relation to Rashevsky-Chow theorems on finite- and infinite-dimensional manifolds are developed in Section 4, including the necessary technical justification for the adaptation to the space E_Θ(M). revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper adapts the Lie-algebraic method of geometric control theory to the space of ensembles and proves genericity of exact controllability for finite ensembles plus a sufficient criterion for continual ensembles, relating the criteria to versions of the Rashevsky-Chow theorem. The single reference to prior work [1] describes the general approach being extended but does not serve as a load-bearing premise for the new proofs or criteria; the derivations remain self-contained against the standard external theorems and do not reduce any claimed result to a fitted input, self-definition, or unverified self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard domain assumptions from differential geometry and geometric control theory; no free parameters or invented entities appear in the abstract.

axioms (2)

domain assumption The controlled equation dot x = f(x,u(t)) generates a semigroup of diffeomorphisms P_t on the Riemannian manifold M.
Stated explicitly in the abstract as the generator of ensemble dynamics.
domain assumption The Lie-algebraic rank condition from geometric control theory extends to the infinite-dimensional space of ensembles E_Theta(M).
Invoked when the authors seek to adapt the Lie-algebraic approach and relate results to Rashevsky-Chow theorems.

pith-pipeline@v0.9.0 · 5763 in / 1470 out tokens · 41725 ms · 2026-05-25T11:39:34.111468+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[1]

Agrachev, Yu.Baryshnikov and A.Sarychev , Ensemble Controllability by Lie Algebraic Methods , Control, Optimization and Calculus of Variations, 22(2016), pp

A. Agrachev, Yu.Baryshnikov and A.Sarychev , Ensemble Controllability by Lie Algebraic Methods , Control, Optimization and Calculus of Variations, 22(2016), pp. 921-938

work page 2016
[2]

Agrachev and M

A. Agrachev and M. Caponigro , Controllability on the group of diﬀeomorphisms, Ann. Inst. H. Poincar` e: Analyse Non Lin` eaire, 26 (2009), pp. 2503-2509

work page 2009
[3]

USSR Sbornik, 35(1979), pp

A.Agrachev and R.Gamkrelidze , The exponential representa- tion of ﬂows and the chronological calculus , Math. USSR Sbornik, 35(1979), pp. 727-785

work page 1979
[4]

Agrachev and Yu

A. Agrachev and Yu. Sachkov , Control Theory from the Ge- ometric Viewpoint , Springer-Verlag, Berlin-Heidelberg-New York, 2004

work page 2004
[5]

Beauchard, J.-M.Coron and P.Rouchon

K. Beauchard, J.-M.Coron and P.Rouchon . Controllabil- ity issues for continuous-spectrum systems and ensemble co ntrol- lability of Bloch equations , Comm. Math. Phys., 296(2)(2010), pp.525557

work page 2010
[6]

Belhadj, J

M. Belhadj, J. Salomon, and G. Turinici . Ensemble control- lability and discrimination of perturbed bilinear control systems on connected, simple, compact Lie groups , European J. of Control, 22(2015), pp. 23 29

work page 2015
[7]

Dudnikov and S.N

P.I. Dudnikov and S.N. Samborsky , Controllability criterion for the systems in Banach space (a generalization of Chow theo - rem), Ukrainsky Matematichesky Zhurnal, 32(1980), pp. 649-653 . 23

work page 1980
[8]

Fuhrmann and U

P. Fuhrmann and U. Helmke . The Mathematics of Networks of Linear Systems , Springer International Publishing, Switzerland, 2015

work page 2015
[9]

Guillemin

M.Golubitsky and V. Guillemin . Stable Mappings and Their Singularities, Springer Verlag, New York, 1973

work page 1973
[10]

V.Jurdjevic, Geometric Control Theory , Cambridge University Press, 1996

work page 1996
[11]

Ledyaev , Extension of Chronological Calculus for Dynamical Systems on Manifolds , J

R.Kipka and Yu. Ledyaev , Extension of Chronological Calculus for Dynamical Systems on Manifolds , J. Diﬀerential Equations, 258(2015), pp. 1765-1790

work page 2015
[12]

Li and N

J.S. Li and N. Khaneja , Control of inhomogeneous quantum ensembles, Phys. Rev. A, 73(2006), pp.030302

work page 2006
[13]

Li and N

J.S. Li and N. Khaneja , Ensemble Control of Bloch Equations , IEEE Trans. on Automatic Control, 54 (2009), pp. 528-536

work page 2009
[14]

Lobry , Une propriete generique des couples de champs de vecteurs, Czechoslovak Mathem

C. Lobry , Une propriete generique des couples de champs de vecteurs, Czechoslovak Mathem. Journal, 22(1972) pp. 230-237

work page 1972
[15]

Nikiforov A

A. Nikiforov A. and V. Uvarov , Special Functions of Mathe- matical Physics , Birkh¨ auser Verlag, Basel, 1988. 24

work page 1988

[1] [1]

Agrachev, Yu.Baryshnikov and A.Sarychev , Ensemble Controllability by Lie Algebraic Methods , Control, Optimization and Calculus of Variations, 22(2016), pp

A. Agrachev, Yu.Baryshnikov and A.Sarychev , Ensemble Controllability by Lie Algebraic Methods , Control, Optimization and Calculus of Variations, 22(2016), pp. 921-938

work page 2016

[2] [2]

Agrachev and M

A. Agrachev and M. Caponigro , Controllability on the group of diﬀeomorphisms, Ann. Inst. H. Poincar` e: Analyse Non Lin` eaire, 26 (2009), pp. 2503-2509

work page 2009

[3] [3]

USSR Sbornik, 35(1979), pp

A.Agrachev and R.Gamkrelidze , The exponential representa- tion of ﬂows and the chronological calculus , Math. USSR Sbornik, 35(1979), pp. 727-785

work page 1979

[4] [4]

Agrachev and Yu

A. Agrachev and Yu. Sachkov , Control Theory from the Ge- ometric Viewpoint , Springer-Verlag, Berlin-Heidelberg-New York, 2004

work page 2004

[5] [5]

Beauchard, J.-M.Coron and P.Rouchon

K. Beauchard, J.-M.Coron and P.Rouchon . Controllabil- ity issues for continuous-spectrum systems and ensemble co ntrol- lability of Bloch equations , Comm. Math. Phys., 296(2)(2010), pp.525557

work page 2010

[6] [6]

Belhadj, J

M. Belhadj, J. Salomon, and G. Turinici . Ensemble control- lability and discrimination of perturbed bilinear control systems on connected, simple, compact Lie groups , European J. of Control, 22(2015), pp. 23 29

work page 2015

[7] [7]

Dudnikov and S.N

P.I. Dudnikov and S.N. Samborsky , Controllability criterion for the systems in Banach space (a generalization of Chow theo - rem), Ukrainsky Matematichesky Zhurnal, 32(1980), pp. 649-653 . 23

work page 1980

[8] [8]

Fuhrmann and U

P. Fuhrmann and U. Helmke . The Mathematics of Networks of Linear Systems , Springer International Publishing, Switzerland, 2015

work page 2015

[9] [9]

Guillemin

M.Golubitsky and V. Guillemin . Stable Mappings and Their Singularities, Springer Verlag, New York, 1973

work page 1973

[10] [10]

V.Jurdjevic, Geometric Control Theory , Cambridge University Press, 1996

work page 1996

[11] [11]

Ledyaev , Extension of Chronological Calculus for Dynamical Systems on Manifolds , J

R.Kipka and Yu. Ledyaev , Extension of Chronological Calculus for Dynamical Systems on Manifolds , J. Diﬀerential Equations, 258(2015), pp. 1765-1790

work page 2015

[12] [12]

Li and N

J.S. Li and N. Khaneja , Control of inhomogeneous quantum ensembles, Phys. Rev. A, 73(2006), pp.030302

work page 2006

[13] [13]

Li and N

J.S. Li and N. Khaneja , Ensemble Control of Bloch Equations , IEEE Trans. on Automatic Control, 54 (2009), pp. 528-536

work page 2009

[14] [14]

Lobry , Une propriete generique des couples de champs de vecteurs, Czechoslovak Mathem

C. Lobry , Une propriete generique des couples de champs de vecteurs, Czechoslovak Mathem. Journal, 22(1972) pp. 230-237

work page 1972

[15] [15]

Nikiforov A

A. Nikiforov A. and V. Uvarov , Special Functions of Mathe- matical Physics , Birkh¨ auser Verlag, Basel, 1988. 24

work page 1988