arXiv 2301.097522023-01math.DScs.FLcs.LO

Reachability in Injective Piecewise Affine Maps

Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine

英文摘要：

One of the most basic, longstanding open problems in the theory of dynamical systems is whether reachability is decidable for one-dimensional piecewise affine maps with two intervals. In this paper we prove that for injective maps, it is decidable. We also study various related problems, in each case either establishing decidability, or showing that they are closely connected to Diophantine properties of certain transcendental numbers, analogous to the positivity problem for linear recurrence sequences. Lastly, we consider topological properties of orbits of one-dimensional piecewise affine maps, not necessarily with two intervals, and negatively answer a question of Bournez, Kurganskyy, and Potapov, about the set of orbits in expanding maps.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于贝尔曼算子的分段仿射可达性

On Piecewise Affine Reachability with Bellman Operators

TU Wien（维也纳工业大学）；National Institute of Informatics（信息学国立研究所）；The Graduate University for Advanced Studies (SOKENDAI)（高级研究大学院大学）

本文研究了贝尔曼算子的可达性问题，证明在特定条件下该问题在任意维度下均可判定，且在二维情况下对任意初始和目标向量均成立。

2026-01-26cs.DMcs.LOmath.DS

Complexity of injective piecewise contracting interval maps

We study the complexity of the itineraries of injective piecewise contracting maps on the interval. We prove that for any such map the complexity function of any itinerary is eventually affine. We also prove that the growth rate of the complexity is bounded from above by the number $N-1$ of discontinuities of the map. To show that this bound is optimal, we construct piecewise affine contracting maps whose itineraries all have the complexity $(N-1)n +1$. In these examples, the asymptotic dynamics takes place in a minimal Cantor set containing all the discontinuities.

2017-02-13math.DS

分段压缩映射

Piecewise Contractions

本文研究紧集上分段单射压缩映射，证明通有情况下吸引子与不连续点集不相交且由周期轨道组成，并进一步证明此类映射通有拓扑稳定。

2024-08-29math.DS

Dynamics of 2-interval piecewise affine maps and Hecke-Mahler series

Let $f : [0,1)\rightarrow [0,1)$ be a $2$-interval piecewise affine increasing map which is injective but not surjective. Such a map $f$ has a rotation number and can be parametrized by three real numbers. We make fully explicit the dynamics of $f$ thanks to two specific functions $δ$ and $ϕ$ depending on these parameters whose definitions involve Hecke-Mahler series. As an application, we show that the rotation number of $f$ is rational, when the three parameters are algebraic numbers.

2019-07-19math.DSmath.NT

Dynamics of piecewise contractions of the interval

We study the asymptotical behaviour of iterates of piecewise contractive maps of the interval. It is known that Poincaré first return maps induced by some Cherry flows on transverse intervals are, up to topological conjugacy, piecewise contractions. These maps also appear in discretely controlled dynamical systems, describing the time evolution of manufacturing process adopting some decision-making policies. An injective map $f:[0,1)\to [0,1)$ is a {\it piecewise contraction of $n$ intervals}, if there exists a partition of the interval $[0,1)$ into $n$ intervals $I_1$,..., $I_n$ such that for…

2012-06-25math.DS

Rotation number of 2-interval piecewise affine maps

We study maps of the unit interval whose graph is made up of two increasing segments and which are injective in an extended sense. Such maps $f_{\p}$ are parametrized by a quintuple $\p$ of real numbers satisfying inequations. Viewing $f_{\p}$ as a circle map, we show that it has a rotation number $ρ(f_{\p})$ and we compute $ρ(f_{\p})$ as a function of $\p$ in terms of Hecke-Mahler series. As a corollary, we prove that $ρ(f_{\p})$ is a rational number when the components of $\p$ are algebraic numbers.

2022-12-21math.DS

更多相关论文收起更多论文

Invariant measures for piecewise continuous maps

We say that $f:[0,1]\to [0,1]$ is a {\it piecewise continuous interval map} if there exists a partition $0=x_0<x_1<\cdots<x_{d}<x_{d+1}=1$ of $[0,1]$ such that $f\vert_{(x_{i-1},x_i)}$ is continuous and the lateral limits $w_0^+=\lim_{x\to 0^+} f(x)$, $w_{d+1}^-=\lim_{x\to 1^-} f(x)$, \mbox{$w_i^{-}=\lim_{x\to x_i^-} f(x)$} and $w_i^{+}=\lim_{x\to x_i^+} f(x)$ exist for each $i$. We prove that every piecewise continuous interval map without connections admits an invariant Borel probability measure. We also prove that every injective piecewise continuous interval map with no connections and no …

2016-03-08math.DS

A spectral decomposition of the attractor of piecewise contracting maps of the interval

We study the asymptotic dynamics of piecewise contracting maps defined on a compact interval. For maps that are not necessarily injective, but have a finite number of local extrema and discontinuity points, we prove the existence of a decomposition of the support of the asymptotic dynamics into a finite number of minimal components. Each component is either a periodic orbit or a minimal Cantor set and such that the $ω$-limit set of (almost) every point in the interval is exactly one of these components. Moreover, we show that each component is the $ω$-limit set, or the closure of the orbit, of…

2019-11-11math.DS

区间上的分段压缩映射：豪斯多夫维数、熵与吸引子

Piecewise contracting maps on the interval: Hausdorff dimension, entropy and attractors

Escuela de Ingeniería, Facultad de Ingeniería y Empresa – Universidad Católica Silva Henríquez（天主教希尔瓦·恩里克兹大学工程学院、工商学院）；Department of Engineering Mathematics – University of Bristol（布里斯托大学工程数学系）

本文研究紧区间上单射分段压缩映射的吸引子，利用轨道复杂度证明其拓扑熵与豪斯多夫维数均为零。

2023-09-17math.DS

Dimension groups for interval maps II: the transitive case

Any continuous, transitive, piecewise monotonic map is determined up to a binary choice by its dimension module with the associated finite sequence of generators. The dimension module by itself determines the topological entropy of any transitive piecewise monotonic map, and determines any transitive unimodal map up to conjugacy. For a transitive piecewise monotonic map which is not essentially injective, the associated dimension group is a direct sum of simple dimension groups, each with a unique state.

2005-10-14math.DSmath.OA

Circle maps and C*-algebras

We consider a construction of C*-algebras from continuous piecewise monotone maps on the circle which generalizes the crossed product construction for homeomorphisms and more generally the construction of Renault, Deaconu and Anantharaman-Delaroche for local homeomorphisms. Assuming that the map is surjective and not locally injective we give necessary and sufficient conditions for the simplicity of the C*-algebra and show that it is then a Kirchberg algebra. We provide tools for the calculation of the K-theory groups and turn them into an algorithmic method for Markov maps.

2013-01-19math.DSmath.OA