differential-equations / Control theory

The Homogeneous Polynomial Lyapunov Converse Conjecture

Does every globally asymptotically stable homogeneous polynomial vector field admit a homogeneous polynomial Lyapunov function? No. A planar homogeneous cubic vector field with integer coefficients is globally asymptotically stable yet admits no positive definite homogeneous polynomial with nonpositive Lie derivative, and no real-analytic Lyapunov function even locally, though it does have exponential and rational strict Lyapunov functions.

15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

differential-equationsJul 17, 2026Significance 15/100Registry: unreviewed

The Homogeneous Polynomial Lyapunov Converse Conjecture

Prior state unknowndisproved

Does every globally asymptotically stable homogeneous polynomial vector field admit a homogeneous polynomial Lyapunov function? No. A planar homogeneous cubic vector field with integer coefficients is globally asymptotically stable yet admits no positive definite homogeneous polynomial with nonpositive Lie derivative, and no real-analytic Lyapunov function even locally, though it does have exponential and rational…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Does every globally asymptotically stable homogeneous polynomial vector field admit a homogeneous polynomial Lyapunov function? No. A planar homogeneous cubic vector field with integer coefficients is globally asymptotically stable yet admits no positive definite homogeneous polynomial with nonpositive Lie derivative, and no real-analytic Lyapunov function even locally, though it does have exponential and rational strict Lyapunov functions.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.