Polynomial growth conjecture for reachable sets

At least 9 years old · documented by

Let X\mathcal{X} be a real analytic control system that is small-time locally controllable from x0x_0. Write RX(<t,x0)\mathrm{R}_{\mathcal{X}}(<t,x_0) for the set reachable from x0x_0 in time less than tt, and let B‾(x0,r)\overline{\mathrm{B}}(x_0,r) denote the closed ball of radius rr centered at x0x_0.

Polynomial growth conjecture. There exist N∈NN\in\mathbb{N} and T,C>0T,C>0 such that

B‾(x0,CtN)⊆RX(<t,x0),∀t≤T.\overline{\mathrm{B}}(x_0,Ct^N)\subseteq \mathrm{R}_{\mathcal{X}}(<t,x_0),\qquad \forall t\leq T.

This conjecture asserts a uniform polynomial lower bound on the size of reachable sets near the initial point. It is presented as a proposed characterization of the rate of growth associated with small-time local controllability; the source gives no resolution.

References

Primary source

Saber Jafarpour, “On small-time local controllability”, arXiv:1604.02432 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.