{
  "id": "2203.15131",
  "version": "v1",
  "published": "2022-03-28T22:38:50.000Z",
  "updated": "2022-03-28T22:38:50.000Z",
  "title": "A dynamical approach to validated numerics",
  "authors": [
    "Oliver Jenkinson",
    "Mark Pollicott"
  ],
  "comment": "32 pages",
  "categories": [
    "math.DS"
  ],
  "abstract": "We describe a method, using periodic points and determinants, for giving alternative expressions for dynamical quantities (including Lyapunov exponents and Hausdorff dimension of invariant sets) associated to analytic hyperbolic systems. This leads to validated numerical estimates on their values",
  "revisions": [
    {
      "version": "v1",
      "updated": "2022-03-28T22:38:50.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "11K55",
      "37F35",
      "37D35"
    ],
    "keywords": [
      "dynamical approach",
      "validated numerics",
      "analytic hyperbolic systems",
      "lyapunov exponents",
      "hausdorff dimension"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 32,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}