Initial-State Precision as a Predictive Resource: From Tori to Strange Nonchaotic Attractors and Chaos
Abstract
How much initial-state precision is required to predict a nonlinear system to a prescribed accuracy over a finite horizon? We formulate this inverse prediction problem through a one-shot resource , defined as the number of binary refinement bits required in the initial state by a specified local sensing architecture. Within a common scale-separable error-growth regime, changing a fixed tolerance changes only by an -independent offset. An exactly solvable circle/Chebyshev map provides the chaotic calibration .
We then apply the framework to the quasiperiodically forced logistic map under phase-only initial uncertainty. Over the resolved horizons, representative smooth-torus, strange-nonchaotic-attractor (SNA), and chaotic regimes exhibit a three-level precision-resource hierarchy: bounded, logarithmic-like, and linear-like growth, respectively. For the SNA, algebraic phase sensitivity implies an admissible initial uncertainty of order , and therefore a precision cost proportional to . Phase-grid refinement shows that the sampled worst-case maxima are numerically stable with increasing phase resolution. Near the torus–SNA fractalization point, derivative-based phase sensitivity can already grow while finite perturbations remain below a fixed operational tolerance for more than iterations, revealing exceptionally long activation horizons. Thus an SNA can occupy an intermediate finite-precision resource class between a smooth torus and ordinary chaos, while its operational manifestation can occur on a much longer timescale than its derivative-based sensitivity.
1 Introduction
Prediction is often characterized by forward error growth: nearby states separate, finite-size perturbations amplify, and Lyapunov exponents or related quantities summarize that instability. A physical measurement problem is naturally posed in the opposite direction. Given a target, an allowed error, and a finite prediction horizon, how accurately must the initial condition be specified?
We address that inverse problem with a deliberately restricted resource architecture. The resource is the local physical resolution of the initial state or of a declared initial coordinate. It is not an unrestricted source code: an encoder that already knows the exact state and may transmit the future target directly would bypass the dynamical prediction problem. The question is instead how the required initial measurement precision scales with the horizon.
This viewpoint is related to finite-size Lyapunov analysis and -dependent entropy [1, 2], predictive rate-distortion theory [3], metric mean dimension [4], and finite-rate state estimation [5], but the resource considered here is different: all of it is spent at the initial time. A complementary formulation optimizes the shape of a fixed uncertainty budget among predictive directions [6]; here we ask how the amount of required resolution grows with prediction horizon.
Strange nonchaotic attractors (SNAs) provide a particularly useful test. They are geometrically strange while the largest nontrivial Lyapunov exponent can remain nonpositive [7, 8]. At the same time, their response to the phase of quasiperiodic forcing can become unbounded, as quantified by the phase-sensitivity construction of Pikovsky and Feudel [9]. Thus a smooth torus, an SNA, and ordinary chaos provide three qualitatively different forms of sensitivity against which an initial-precision resource can be calibrated.
The paper is organized around that comparison. We first define a horizon-wide one-shot precision resource and record two elementary consequences needed for its interpretation. An exactly solvable expanding circle/Chebyshev system then provides a closed-form chaotic calibration. The main numerical result is obtained for the quasiperiodically forced logistic map: representative torus, SNA, and chaotic regimes show bounded, logarithmic-like, and linear-like precision growth, respectively. We then explain why algebraic phase sensitivity produces logarithmic precision demand, test the numerical worst-case approximation with phase grids up to thousands of samples, and finally study the very long activation horizons near the torus–SNA onset. Additional accuracy crossovers and broader parameter scans are reported in the Appendices.
2 Initial precision as an operational resource
Let be a metric state space, a deterministic one-step map, and the scalar prediction target. Starting from ,
| (1) |
For a horizon , define the target trajectory
| (2) |
with
| (3) |
A sensing architecture is specified by a nested family of local uncertainty cells , with and larger representing coarser initial information. A metric ball is the standard isotropic example, but the formulation also allows a declared coordinate-selective sensor, such as phase-only uncertainty in the forced system below. The resource is therefore always conditional on the stated sensing architecture.
Three associated error quantities are useful. The worst-case trajectory diameter is
| (4) |
The minimax prediction radius is
| (5) |
where is the trajectory estimate chosen for the uncertainty cell. If instead the trajectory from the central state is used as predictor, the nominal-trajectory error is
| (6) |
They obey
| (7) |
For scalar trajectory sets under the sup norm, .
Fix a reference half-width . For a minimax tolerance , define
| (8) |
and the one-shot initial precision resource
| (9) |
For a one-dimensional uniform sensor, is the additional number of binary resolution bits required relative to , up to integer rounding. The full horizon dependence is retained because a linear rate cannot distinguish bounded from logarithmic or other sublinear growth.
2.1 Scale-separable resource law
The following proposition provides an organizing calibration.
Proposition 1 (Scale-separable resource law).
Suppose that, for all sufficiently large and all relevant sufficiently small , there exist , constants , and a positive amplification function such that
| (10) |
Then every fixed accuracy whose optimal resolution eventually remains in this regime satisfies
| (11) |
Hence two fixed accuracies in the same regime differ by only bits.
The proof is immediate by inverting the two inequalities in Eq. (10). The point is operational rather than algebraic: accuracy cannot change the horizon-scaling class while the same uniform scale-separable law remains active. A class change therefore signals departure from that common regime, not merely a different numerical value of the tolerance.
The hierarchy follows directly:
| (12) |
while gives
| (13) |
Define
| (14) |
Then implies , whereas implies . This bounded/unbounded separation is closely related to familiar sensitivity and equicontinuity scales; what matters here is the growth law of below the scale.
3 Exactly solvable circle/Chebyshev calibration
Consider the expanding circle map
| (15) |
with the circle metric
| (16) |
and observable
| (17) |
For this calibration the declared uncertainty cell is the phase ball . Thus two admissible phases may differ by as much as .
If , the exact horizon-wide output diameter is
| (18) |
Once , the uncertainty interval contains a half-turn separation at or before horizon , and the cosine reaches its full diameter . For the minimax architecture, therefore, every fixed fine tolerance has
| (19) |
and, for fixed ,
| (20) |
Thus all fixed fine accuracies eventually have the same linear resource class and differ by a constant number of bits.
The familiar Chebyshev form follows by defining
| (21) |
Using ,
| (22) |
The orbit is therefore available in closed form. Here the Chebyshev representation serves as an exactly solvable calibration of the initial-precision resource in ordinary chaos: exponential instability gives , while changing a fixed fine accuracy changes only the additive offset.
4 Quasiperiodically forced logistic map
We study
| (23) | ||||
| (24) |
where is the fiber coordinate, is the phase of the quasiperiodic drive, is the logistic control parameter, is the drive amplitude, and
| (25) |
Following the standard parametrization of the forced-logistic SNA literature, we use
| (26) |
Along this line a fractalization route from a smooth torus to an SNA occurs near [10, 8].
The fiber Lyapunov exponent is
| (27) |
Representative numerical values are negative for the torus (, ), weakly negative for the SNA (, ), and positive for chaos (, ); only the sign and regime assignment are used below.
For phase sensitivity define
| (28) |
Differentiating Eq. (23),
| (29) |
with
| (30) | ||||
| (31) |
For one initial state,
| (32) |
The conventional phase-sensitivity function takes an attractor-wide minimum over sampled initial states,
| (33) |
where denotes the sampled post-transient initial-state set. Its unbounded growth is an established SNA diagnostic [9, 8].
4.1 Numerical sensing architecture
The resource calculation isolates uncertainty in the initial forcing phase. The corresponding continuum uncertainty cell is
| (34) |
so the fiber coordinate is known exactly within this declared architecture and only the initial phase is uncertain. Equations (4)–(7) apply to this cell just as they do to a metric ball.
Numerically, after a transient, a base state is selected and the continuum cell is sampled at four signed offsets,
| (35) |
Here labels the sampled base state and is the nominal phase half-width. The unperturbed trajectory has .
The finite-ensemble nominal-trajectory deviation is
| (36) |
After monotonizing the sampled relation in , let be the largest sampled phase half-width for which , where is the declared reference-trajectory deviation tolerance. The numerical resource is
| (37) |
The unit phase interval is the reference scale. The notation is kept distinct from the minimax tolerance because the numerical predictor is the nominal trajectory rather than the cell-optimal minimax trajectory. For the same continuum phase-only cell, Eq. (7) bounds the ideal minimax, nominal-trajectory, and diameter errors within a factor of two in error scale. The finite set of base phases and four offsets used in introduce a separate sampling approximation.
5 Main result: three initial-precision resource classes
At the common numerical tolerance , Figure 1 compares the three representative regimes on the axes that expose their observed horizon dependence. The torus saturates, the SNA is approximately linear when plotted against , and chaos is approximately linear in over the resolved finite-perturbation window. The figure therefore displays the central numerical hierarchy directly: bounded, logarithmic-like, and linear-like precision demand.
Thus the numerical hierarchy is
| (38) |
The class labels in Eq. (38) describe the resolved horizon windows of the forced-logistic calculation and are not asymptotic classifications. The circle/Chebyshev benchmark in Eq. (20) is the analytic result; the three forced-logistic scaling labels are finite-window numerical observations.
The SNA result is the central nontrivial case. A negative fiber Lyapunov exponent does not imply bounded initial phase precision. Direct finite-perturbation fits give logarithmic slopes of order a few bits per doubling of horizon, with the coefficient depending on tolerance, fitting window, and worst-case aggregation. The growth form is more robust than any one fitted coefficient.
5.1 Why algebraic SNA sensitivity gives logarithmic precision demand
The mechanism is simple once the operational resource is written explicitly. Suppose that, over a local-response regime relevant to the prediction task, the largest operational phase gain obeys
| (39) |
Then a small initial phase error produces
| (40) |
Keeping the phase-only nominal-trajectory error therefore requires
| (41) |
For the corresponding ideal reference-trajectory resource , this gives
| (42) |
Polynomial sensitivity becomes logarithmic precision cost because the resource is the logarithm of the inverse admissible initial scale.
This relation explains the intermediate SNA class without identifying its coefficient with a universal geometric dimension. The conventional Pikovsky–Feudel statistic in Eq. (33) uses a minimum over initial conditions, while is worst-case in spirit. Their exponents and prefactors therefore need not coincide. In the present data the conventional SNA phase-sensitivity fit is algebraic over the resolved window ( with ), whereas the direct resource gives a somewhat different logarithmic coefficient. The physically relevant statement is the shared subexponential, algebraic character rather than equality of the two fitted numbers. Figure 2 shows this distinction directly: the torus phase-sensitivity curve stays bounded over the resolved window, whereas the SNA curve continues to grow algebraically, providing the sensitivity mechanism behind Eq. (42).
For ordinary chaos the corresponding local gain is exponential, , and the same inversion gives , consistent with the exact Chebyshev calibration and the direct chaotic numerics.
6 Extreme-value convergence of the sampled worst case
Because a finite maximum can underestimate a true supremum, especially on an SNA, we test the sampled worst case by nested phase-grid refinement. For an -point grid, let denote the maximum, over its base phases, of the horizon-wide deviation obtained from the four offsets in Eq. (35). For each , equally spaced initial phases were propagated for transient iterations from to generate base states. Nested dyadic subsets with
| (43) |
were then evaluated using the four offsets in Eq. (35). For the most sensitive check the grid was extended to .
For the SNA at and , the sampled maximum at changes from at to at , at , and at . The change is about relative. At , the larger change associated with rarer extreme events is already only relative between and . For chaos at and , the corresponding maxima stabilize near , with changes below relative from to for all three tested perturbation scales. Figure 3 visualizes the SNA refinement directly: the sampled maximum rises at coarse phase resolution and then forms a clear plateau, showing that the reported long-horizon envelope is numerically stable to further phase-grid refinement.
This convergence study does not prove the mathematical supremum over phase. It does, however, show that the long-horizon envelope near is not an artifact of a 16–256 point phase sample. The complete convergence table, including the chaotic case, is provided in Appendix C.
7 Long activation horizons near the torus–SNA onset
The second main numerical result concerns the time needed for SNA sensitivity to reach a finite operational scale. Immediately above the reported fractalization point, derivative-based phase sensitivity can already grow while a finite perturbation remains microscopically small for extremely long horizons.
Define the sampled activation horizon
| (44) |
with if the threshold is not crossed during the simulated interval. For and , several parameter values in did not cross the operational scale by
| (45) |
At the sampled crossing occurred near , while at it occurred near . The dependence on is strongly nonmonotonic, so no critical power law is inferred from these data. Figure 4 makes both features visible: a broad near-onset interval remains unactivated up to the maximum simulated horizon, while nearby parameter values can activate orders of magnitude earlier.
The relevant classification is therefore not exhausted by a dynamical label. For a finite-precision observer one must distinguish
| (46) |
A system can already be strange in an asymptotic diagnostic while remaining operationally torus-like at a fixed finite tolerance for a very long time.
8 Discussion
The central result is the resource hierarchy in Eq. (38). The exact circle/Chebyshev map shows that exponential instability produces a linear initial-precision cost. In the forced-logistic calculation, the representative smooth torus shows bounded phase-precision demand over the resolved horizons, while the representative SNA exhibits the intermediate logarithmic-like burden associated with algebraic phase sensitivity. This is an operational classification: it does not redefine the underlying attractors, and it does not identify the fitted resource coefficient with a universal fractal dimension or Lyapunov quantity.
Accuracy provides a second operational control, distinct from dynamical class. Proposition 1 shows that fixed accuracies inside one common scale-separable regime differ only by a constant bit offset. The fine-accuracy curves indeed show this approximate offset equivalence. At much coarser tolerances, however, finite-scale structure can become operationally irrelevant. At fixed SNA dynamics () the sampled crossover is near , while at fixed chaotic dynamics () it lies near – in the present nominal-trajectory convention. These are finite-horizon masking scales, not claimed asymptotic invariants; detailed scans are reported in Appendix A.
The inverse horizon interpretation is useful experimentally. If
| (47) |
with logarithmic slope and tolerance-dependent offset , then in an SNA-like regime a fixed precision budget gives
| (48) |
One extra initial bit therefore multiplies the accessible horizon. In a chaotic regime with linear slope ,
| (49) |
one instead obtains
| (50) |
so additional bits extend the horizon additively.
The framework connects directly to several established ideas. In particular, the phase-sensitivity diagnostic of SNAs [9] is inverted here into a one-shot initial measurement requirement. Finite-size Lyapunov exponents already describe scale-dependent error growth [2, 1]; here the classified quantity is the initial resolution required by a fixed horizon-wide task. Predictive rate-distortion and metric mean dimension allow much more general encodings [3, 4], whereas the present architecture intentionally keeps a local physical sensor. Restoration entropy concerns a continuing communication rate [5]; is paid once, at the initial time.
Several limitations delimit the scope of these results. The phase grid remains finite, so the true supremum is not proved. The order of and is delicate near the SNA onset. The resource depends on the declared sensing coordinate and metric; if the forcing phase is supplied by an exact external clock rather than measured, phase precision is not the relevant resource. Finally, the present requirement is horizon-wide; terminal-time prediction can behave differently in folded bounded maps.
9 Conclusion
Initial precision can be treated as an operational resource for prediction. In a common scale-separable regime, changing a fixed tolerance changes only a constant number of bits. The exactly solvable circle/Chebyshev map provides the calibration for ordinary exponential chaos.
The forced logistic map adds the nontrivial intermediate case. Under a declared phase-only sensing architecture, a smooth torus, an SNA, and chaos exhibit bounded, logarithmic-like, and linear-like precision demand over the resolved horizons. For the SNA, the mechanism is the conversion of algebraic phase sensitivity into a logarithmic cost in inverse initial scale. Nested phase grids up to thousands of samples show that the extreme-value envelopes used in this conclusion are numerically stable, while the near-onset calculations reveal activation horizons that can exceed one million iterations.
Finite-precision prediction therefore depends on more than the asymptotic dynamical label. The measurement architecture, required accuracy, and horizon determine which dynamical structure must actually be resolved.
Acknowledgments
This work was supported by the research grant SP016 from SOBIN Institute LLC.
Appendix A Accuracy masking at fixed dynamics
At fixed dynamics, coarse tolerances can mask a resource class that becomes visible at finer tolerance. These scans are secondary to the torus–SNA–chaos hierarchy because the crossover values depend on finite horizon, sampling, and the nominal-trajectory error convention.
For the SNA at , the sampled crossover is near . Below it, the direct resource continues to grow over the resolved horizon; sufficiently above it, the resource nearly saturates. Figure 5 shows this masking transition: curves below the crossover retain pronounced horizon dependence, whereas coarser tolerances flatten toward a bounded-looking response over the same finite window.
For chaos at , the analogous sampled crossover lies near –. Figure 6 shows the corresponding finite-horizon masking in the chaotic regime: sufficiently coarse tolerances hide the growth that is recovered once the tolerance resolves smaller-scale separation.
Appendix B Fine-accuracy offset equivalence
The same inversion used in Proposition 1 predicts a bounded difference between two reference-trajectory resource curves when remains in one scale-separable branch. For , the measured mean bit difference between the latter two tolerances is close to
| (51) |
with values approximately (torus), (SNA), and (chaos) in the stored numerical test. Figure 7 shows the SNA case after subtracting the predicted tolerance offset: the three curves nearly collapse, which is the expected signature of a common local scale-separable resource law.
The wider sweeps in Figs. 8 and 9 place that local offset equivalence in context. In the SNA and chaotic cases alike, fine tolerances preserve the underlying horizon-dependent burden, while sufficiently coarse tolerances move into a masked finite-scale regime.
Appendix C Extreme-value convergence table
The nested-grid convergence calculation used equally spaced initial phases and dyadic subsets, so every smaller grid is contained in the next larger grid. Table 1 gives selected maximum deviations from the nested-grid calculation.
| 2.70 | 32768 | 256 | 0.46187 | |
| 2.70 | 32768 | 2048 | 0.46884 | |
| 2.70 | 32768 | 4096 | 0.46896 | |
| 2.70 | 32768 | 256 | 0.46959 | |
| 2.70 | 32768 | 4096 | 0.46979 | |
| 2.70 | 32768 | 8192 | 0.46982 | |
| 2.75 | 4096 | 256 | 0.61543 | |
| 2.75 | 4096 | 4096 | 0.61628 | |
| 2.75 | 4096 | 256 | 0.61611 | |
| 2.75 | 4096 | 8192 | 0.61627 |
Figure 10 gives the chaotic counterpart of the SNA convergence test. Its sampled maxima likewise approach a plateau with increasing phase count, showing that the chaotic long-horizon envelope is not set by the coarsest phase grid.
Appendix D Near-onset phase-sensitivity diagnostics
Finite-window phase-sensitivity exponents vary strongly and nonmonotonically near the fractalization threshold. Minimum-, median-, and maximum-based summaries over sampled initial phases need not agree because they answer different aggregation questions. Figure 11 shows this separation explicitly: the three aggregation rules can yield substantially different effective exponents at the same control parameter, so no single near-onset exponent is treated as universal.
Appendix E Empirical parameter–tolerance map
Figure 12 summarizes the finite-horizon numerical classification over a wider grid. It should not be read as a rigorous phase diagram: the boundary depends on the finite horizon and numerical classification criterion.
Appendix F Numerical reproducibility notes
The main resource scans used post-transient base states, four signed phase offsets as in Eq. (35), and a monotone inversion of sampled maximum deviation versus initial half-width. The Lyapunov sweeps used long-time averages of Eq. (27); phase-sensitivity recurrences used Eq. (29). Near-onset activation scans followed selected perturbations to iterations.
The convergence calculation uses transient iterations, equally spaced phase grids, nested dyadic subsets, and the same four signed offsets as the resource calculation.
References
- [1] M. Cencini, M. Falcioni, E. Olbrich, H. Kantz, and A. Vulpiani, “Chaos or noise: Difficulties of a distinction,” Phys. Rev. E 62, 427–437 (2000), doi:10.1103/PhysRevE.62.427.
- [2] G. Boffetta, P. Giuliani, G. Paladin, and A. Vulpiani, “An Extension of the Lyapunov Analysis for the Predictability Problem,” J. Atmos. Sci. 55, 3409–3416 (1998), doi:10.1175/1520-0469(1998)055<3409:AEOTLA>2.0.CO;2.
- [3] S. E. Marzen and J. P. Crutchfield, “Predictive Rate-Distortion for Infinite-Order Markov Processes,” J. Stat. Phys. 163, 1312–1338 (2016), doi:10.1007/s10955-016-1520-1.
- [4] E. Lindenstrauss and M. Tsukamoto, “From Rate Distortion Theory to Metric Mean Dimension: Variational Principle,” IEEE Trans. Inf. Theory 64, 3590–3609 (2018), doi:10.1109/TIT.2018.2806219.
- [5] C. Kawan, A. S. Matveev, and A. Y. Pogromsky, “Remote state estimation problem: Towards the data-rate limit along the avenue of the second Lyapunov method,” Automatica 125, 109467 (2021), doi:10.1016/j.automatica.2020.109467.
- [6] S.-J. Kim, “Requirement-Induced Predictive Geometry for Finite-Resource Prediction in Dynamical Systems,” arXiv:2609.16351 [nlin.CD] (2026), doi:10.48550/arXiv.2609.16351.
- [7] C. Grebogi, E. Ott, S. Pelikan, and J. A. Yorke, “Strange attractors that are not chaotic,” Physica D 13, 261–268 (1984), doi:10.1016/0167-2789(84)90282-3.
- [8] A. Prasad, S. S. Negi, and R. Ramaswamy, “Strange nonchaotic attractors,” Int. J. Bifurcation Chaos 11, 291–309 (2001), doi:10.1142/S0218127401002195.
- [9] A. S. Pikovsky and U. Feudel, “Characterizing strange nonchaotic attractors,” Chaos 5, 253–260 (1995), doi:10.1063/1.166074.
- [10] A. Prasad, V. Mehra, and R. Ramaswamy, “Strange nonchaotic attractors in the quasiperiodically forced logistic map,” Phys. Rev. E 57, 1576–1584 (1998), doi:10.1103/PhysRevE.57.1576.