pith. sign in

arxiv: 1906.11969 · v1 · pith:JDTZEHBFnew · submitted 2019-06-27 · 🧮 math.DS

Constructing robust chaos: invariant manifolds and expanding cones

Paul A. Glendinning , David J.W. Simpson This is my paper

Pith reviewed 2026-05-25 14:01 UTC · model grok-4.3

classification 🧮 math.DS
keywords border-collision normal formrobust chaostrapping regionexpanding coneLyapunov exponentspiecewise-linear maptopological attractorinvariant manifold
0
0 comments X

The pith

A trapping region and expanding cone establish robust chaos for the border-collision normal form in its original parameter regime.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves the existence of a topological attractor in an open set of parameters for a piecewise-linear map by constructing a trapping region in phase space. It then shows that an invariant expanding cone in tangent space forces all tangent vectors to expand, implying that no invariant set can have only negative Lyapunov exponents. This formally establishes robust chaos in the regime first identified in 1998. Under further assumptions the attractor is characterized as the closure of an unstable manifold of a fixed point. Such results matter because they confirm that chaotic behavior can persist over intervals of parameters rather than at isolated points.

Core claim

In the two-dimensional border-collision normal form, within the parameter regime of Banerjee, Yorke and Grebogi, a trapping region exists that proves a topological attractor. An invariant expanding cone is constructed that proves tangent vectors expand, so no invariant set can have only negative Lyapunov exponents. Under additional assumptions the attractor is the closure of the unstable manifold of a fixed point.

What carries the argument

The invariant expanding cone in tangent space, which guarantees expansion of all tangent vectors and rules out negative Lyapunov exponents for any invariant set.

If this is right

  • A topological attractor exists in the specified open parameter regime.
  • Tangent vectors expand under iteration, preventing invariant sets with solely negative Lyapunov exponents.
  • The attractor can be characterized as the closure of the unstable manifold of a fixed point when additional conditions hold.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The constructive approach using trapping regions and cones could be adapted to prove robust chaos in other piecewise continuous maps.
  • This strengthens the case that border-collision bifurcations can produce persistent chaotic attractors in applications like switching systems.
  • One might test whether similar cones exist outside the original regime to extend the region of robust chaos.

Load-bearing premise

The trapping region and expanding cone exist only when the map parameters are restricted to the open regime identified in the 1998 reference.

What would settle it

An explicit computation showing an invariant set with all negative Lyapunov exponents inside the parameter regime would falsify the expansion property of the cone.

Figures

Figures reproduced from arXiv: 1906.11969 by David J.W. Simpson, Paul A. Glendinning.

Figure 1
Figure 1. Figure 1: Initial portions of the stable and unstable manifolds of the [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Lyapunov exponents Let Σ∞ ⊆ R 2 be the set of points whose forward orbits intersect x = 0. Then the Jacobian matrix Df n (z) is well-defined for all z ∈ R 2 \ Σ∞ and all n ≥ 1. The Lyapunov exponent of a point z ∈ R 2 \ Σ∞ in a direction v ∈ TR 2 is defined as λ(z, v) = limn→∞ 1 n ln(kDf n (z)vk), (2.10) assuming this limit exists. Oseledets’ theorem [21, 22, 23] gives conditions under which (2.10) is well… view at source ↗
Figure 3
Figure 3. Figure 3: Initial portions of the stable and unstable manifolds of the [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: A phase portrait of (1.1) using the parameter values (2.14 [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The forward invariant region Ω and its image [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The trapping region Ωtrap. 10 [PITH_FULL_IMAGE:figures/full_fig_p010_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The functions p (4.9), q (4.5), and r (4.6) for τ > δ + 1 and a fixed value of δ ∈ (0, 1). 12 [PITH_FULL_IMAGE:figures/full_fig_p012_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The slope maps (4.14). GL(m) and GR(m) are the slopes of ALv and ARv, respectively, where v has slope m. 15 [PITH_FULL_IMAGE:figures/full_fig_p015_8.png] view at source ↗
read the original abstract

Chaotic attractors in the two-dimensional border-collision normal form (a piecewise-linear map) can persist throughout open regions of parameter space. Such robust chaos has been established rigorously in some parameter regimes. Here we provide formal results for robust chaos in the original parameter regime of [S. Banerjee, J.A. Yorke, C. Grebogi, Robust Chaos, Phys. Rev. Lett. 80(14):3049--3052, 1998]. We first construct a trapping region in phase space to prove the existence of a topological attractor. We then construct an invariant expanding cone in tangent space to prove that tangent vectors expand and so no invariant set can have only negative Lyapunov exponents. Under additional assumptions we also characterise an attractor as the closure of the unstable manifold of a fixed point.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript proves the existence of robust chaos for the two-dimensional border-collision normal form in the open parameter regime identified by Banerjee, Yorke and Grebogi (1998). It constructs an explicit trapping region in phase space to establish a topological attractor and an invariant expanding cone in tangent space to show uniform expansion of tangent vectors, implying that no invariant set can possess only negative Lyapunov exponents. Under further assumptions the attractor is identified with the closure of the unstable manifold of a fixed point.

Significance. If the constructions are correct, the work supplies the first rigorous geometric proof of robust chaos inside the original B-Y-G regime for this piecewise-linear map. The explicit, finite-check nature of the cone-invariance and trapping-region arguments (enabled by piecewise linearity) is a clear strength and moves the subject beyond the original numerical observations.

minor comments (3)
  1. [§2] §2, definition of the normal form: the switching manifold is stated as x=0, but the subsequent cone construction in §4 refers to the images of the two linear pieces; a short diagram or explicit coordinate change would clarify the orientation of the cone relative to the manifold.
  2. [Theorem 3.1] Theorem 3.1 and Theorem 4.2: the parameter inequalities that define the open regime are listed in the statements, but the proofs invoke them only after several pages; collecting the inequalities into a single displayed block at the beginning of each theorem would improve readability.
  3. [§5] §5, final characterization: the additional assumptions required to identify the attractor with the closure of the unstable manifold are stated clearly, yet no discussion is given of how restrictive they are within the open regime; a brief remark on the measure of the set of parameters satisfying them would be useful.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the explicit constructions, and recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; explicit geometric constructions are self-contained

full rationale

The paper's central claims rest on direct constructions of a trapping region in phase space and an invariant expanding cone in tangent space for the piecewise-linear border-collision map, performed explicitly inside the open parameter regime identified by the external 1998 reference (Banerjee, Yorke, Grebogi). These reduce to finitely many linear-algebraic checks on the two constant derivative pieces once the regime inequalities are imposed, with no reduction of the claimed expansion or trapping properties to fitted quantities, self-definitions, or load-bearing self-citations. The 1998 citation supplies only the parameter domain and is not used to justify uniqueness or ansatzes; the additional characterization of the attractor under further assumptions is likewise an explicit manifold argument. The derivation chain is therefore independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of the trapping region and expanding cone within the chosen parameter regime of the border-collision normal form; no free parameters are fitted and no new entities are postulated.

axioms (2)
  • domain assumption The map belongs to the two-dimensional border-collision normal form family with the stated piecewise-linear structure.
    All constructions are performed inside this fixed family of maps.
  • standard math Standard properties of continuous piecewise-linear maps on the plane (continuity across the switching manifold, linear action on each side).
    Invoked implicitly when defining the derivative and the cone field.

pith-pipeline@v0.9.0 · 5662 in / 1435 out tokens · 38225 ms · 2026-05-25T14:01:47.820476+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    van Strien

    S. van Strien. One-parameter families of smooth interval maps: Density of hyperbolicity and robust chaos. Proc. Amer. Math. Soc. , 138(12):4443–4446, 2010

    work page 2010

  2. [2]

    Kocarev and S

    L. Kocarev and S. Lian, editors. Chaos-Based Cryptography. Theory, Algorithms and Applications. Springer, New York, 2011

    work page 2011

  3. [3]

    ´Alvarez, F

    G. ´Alvarez, F. Montoya, M. Romera, and G. Pastor. Cryptanalysis of a discrete chaotic cryptosystem using external key. Phys. Lett. A , 319:334–339, 2003

    work page 2003

  4. [4]

    period two to period three

    H.E. Nusse and J.A. Yorke. Border-collision bifurcations including “ period two to period three” for piecewise smooth systems. Phys. D , 57:39–57, 1992

    work page 1992

  5. [5]

    D.J.W. Simpson. Border-collision bifurcations in Rn. SIAM Rev. , 58(2):177–226, 2016

    work page 2016

  6. [6]

    Banerjee and C

    S. Banerjee and C. Grebogi. Border collision bifurcations in two-d imensional piecewise smooth maps. Phys. Rev. E , 59(4):4052–4061, 1999

    work page 1999

  7. [7]

    D.J.W. Simpson. On the relative coexistence of fixed points and per iod-two solutions near border-collision bifurcations. Appl. Math. Lett. , 38:162–167, 2014

    work page 2014

  8. [8]

    Simpson and J.D

    D.J.W. Simpson and J.D. Meiss. Neimark-Sacker bifurcations in plana r, piecewise- smooth, continuous maps. SIAM J. Appl. Dyn. Sys. , 7(3):795–824, 2008

    work page 2008

  9. [9]

    Sushko and L

    I. Sushko and L. Gardini. Center bifurcation for two-dimensiona l border-collision normal form. Int. J. Bifurcation Chaos , 18(4):1029–1050, 2008

    work page 2008

  10. [10]

    Zhusubaliyev, E

    Z.T. Zhusubaliyev, E. Mosekilde, S. Maity, S. Mohanan, and S. Ba nerjee. Border colli- sion route to quasiperiodicity: Numerical investigation and experime ntal confirmation. Chaos, 16(2):023122, 2006

    work page 2006

  11. [11]

    Banerjee, J.A

    S. Banerjee, J.A. Yorke, and C. Grebogi. Robust chaos. Phys. Rev. Lett. , 80(14):3049– 3052, 1998

    work page 1998

  12. [12]

    Misiurewicz

    M. Misiurewicz. Strange attractors for the Lozi mappings. In R.G. Helleman, editor, Nonlinear dynamics, Annals of the New York Academy of Scienc es, pages 348–358, 1980

    work page 1980

  13. [13]

    Benedicks and L

    M. Benedicks and L. Carleson. The dynamics of the Henon map. Ann. Math., 133(1):73– 169, 1991

    work page 1991

  14. [14]

    Collet and Y

    P. Collet and Y. Levy. Ergodic properties of the Lozi mappings. Commun. Math. Phys. , 93:461–481, 1984

    work page 1984

  15. [15]

    Hunt, J.A

    B.R. Hunt, J.A. Kennedy, T.-Y. Li, and H.E. Nusse. SLYRB measur es: natural invariant measures for chaotic systems. Phys. D , 170:50–71, 2002

    work page 2002

  16. [16]

    Glendinning

    P. Glendinning. Bifurcation from stable fixed point to 2D attract or in the border collision normal form. IMA J. Appl. Math. , 81(4):699–710, 2016. 21

    work page 2016

  17. [17]

    Kowalczyk

    P. Kowalczyk. Robust chaos and border-collision bifurcations in non-invertible piecewise- linear maps. Nonlinearity, 18:485–504, 2005

    work page 2005

  18. [18]

    Cao and Z

    Y. Cao and Z. Liu. Strange attractors in the orientation-pres erving Lozi map. Chaos Solitons Fractals, 9(11):1857–1863, 1998

    work page 1998

  19. [19]

    Glendinning

    P. Glendinning. Robust chaos revisited. Eur. Phys. J. Special Topics , 226(9):1721–1738, 2017

    work page 2017

  20. [20]

    L.-S. Young. Bowen-Ruelle measures for certain piecewise hype rbolic maps. Trans. Amer. Math. Soc. , 287(1):41–48, 1985

    work page 1985

  21. [21]

    Barreira and Y

    L. Barreira and Y. Pesin. Nonuniform Hyperbolicity. Dynamics of systems with nonzer o Lyapunov exponents. , volume 115 of Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge, 2007

    work page 2007

  22. [22]

    Eckmann and D

    J.-P. Eckmann and D. Ruelle. Ergodic theory of chaos and stran ge attractors. Rev. Mod. Phys. , 57(3):617–656, 1985

    work page 1985

  23. [23]

    M. Viana. Lectures on Lyapunov Exponents. , volume 145 of Cambridge studies in ad- vanced mathematics. Cambridge University Press, Cambridge, 2014

    work page 2014

  24. [24]

    J.-P. Duval. G´ en´ eration d’une section des classes de conjuga ison et arbre des mots de Lyndon de longueur born´ ee. Theoret. Comput. Sci. , 60:255–283, 1988. In French

    work page 1988

  25. [25]

    Edwards, J.J

    R. Edwards, J.J. McDonald, and M.J. Tsatsomeros. On matrices with common invariant cones with applications in neural and gene networks. Linear Algebra Appl. , 398:37–67, 2005

    work page 2005

  26. [26]

    Protasov

    V.Yu. Protasov. When do several linear operators share an inv ariant cone? Linear Algebra Appl., 433:781–789, 2010

    work page 2010

  27. [27]

    Rodman, H

    L. Rodman, H. Seyalioglu, and I.M. Spitkovsky. On common invaria nt cones for families of matrices. Linear Algebra Appl. , 432:911–926, 2010

    work page 2010

  28. [28]

    Cornelis and M

    E. Cornelis and M. Wojtkowski. A criterion for the positivity of th e Liapunov charac- teristic exponent. Ergod. Th. & Dynam. Sys. , 4:527–539, 1984

    work page 1984

  29. [29]

    Das and J.A

    S. Das and J.A. Yorke. Multichaos from quasiperiodicity. SIAM J. Appl. Dyn. Syst. , 16(4), 2017

    work page 2017

  30. [30]

    Wojtkowski

    M. Wojtkowski. Invariant families of cones and Lyapunov expon ents. Ergod. Th. & Dynam. Sys. , 5:145–161, 1985

    work page 1985

  31. [31]

    D.J.W. Simpson. The stability of fixed points on switching manifolds o f piecewise-smooth continuous maps. Submitted., 2018. 22

    work page 2018