Skip to content
DraconiticResearch
Search Sources API
197,768 studies31 sourcesUpdated 12 min ago
PreprintCC BY 4.0HAL

Aperiodic maximisers of Lyapunov dimension: A counterexample to the unrestricted form of Eden's conjecture

Abstract

We disprove the unrestricted form of Eden's conjecture, which asserts that the maximal local Lyapunov dimension on a compact global attractor is attained at an equilibrium or a periodic orbit. For each c>4, we construct a polynomial differential equation on ℝ5 with uniformly negative divergence. Its compact global attractor has Lyapunov dimension 4+4/c, attained precisely on an invariant two-torus carrying an irrational linear flow. The maximum over all equilibria and periodic orbits is $3$. These conclusions hold both for the local dimension defined by singular values at every positive time and for the asymptotic Kaplan--Yorke dimension. The proof uses an exact singular-value identity on the whole attractor. The results of this paper are also formally verified in Lean.

Related

  1. From Dimension Drop to Aperiodic Order
    Natalia Jurga, Dmytro Karvatskyi
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryDynamical systemsarXiv
  2. A counterexample to a conjecture of Duncan on versal actions
    Federico Scavia
    HALPreprintLicence not statedAlgebra & number theoryHAL
  3. A Counterexample to the Eventual Stability Conjecture
    Thomas J. Tucker, Zheng Zhu
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  4. A non-klt counterexample to Shokurov's index conjecture
    Yusuke Nakamura, Kohsuke Shibata
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  5. A counterexample to the wrapping number conjecture
    Qiuyu Ren
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
BibTeX
@misc{colbrook2026aperiodic,
  title = {{Aperiodic maximisers of Lyapunov dimension: A counterexample to the unrestricted form of Eden's conjecture}},
  author = {Matthew J. Colbrook},
  howpublished = {HAL},
  year = {2026},
  month = sep,
  url = {https://hal.science/hal-05757958v1},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Aperiodic maximisers of Lyapunov dimension: A counterexample to the unrestricted form of Eden's conjecture
AU  - Matthew J. Colbrook
PY  - 2026
DA  - 2026/09/21
PB  - HAL
UR  - https://hal.science/hal-05757958v1
AB  - We disprove the unrestricted form of Eden's conjecture, which asserts that the maximal local Lyapunov dimension on a compact global attractor is attained at an equilibrium or a periodic orbit. For each c>4, we construct a polynomial differential equation on ℝ^5 with uniformly negative divergence. Its compact global attractor has Lyapunov dimension 4+4/c, attained precisely on an invariant two-torus carrying an irrational linear flow. The maximum over all equilibria and periodic orbits is $3$. These conclusions hold both for the local dimension defined by singular values at every positive time and for the asymptotic Kaplan--Yorke dimension. The proof uses an exact singular-value identity on the whole attractor. The results of this paper are also formally verified in Lean.
ER  -