Invariance Entropy in the Dust
Pith reviewed 2026-07-03 08:20 UTC · model grok-4.3
The pith
A single control system shows finite strict invariance entropy need not equal ordinary invariance entropy and fails lower semicontinuity under Hausdorff perturbations.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct a continuous-time control system whose state includes a Cantor coordinate that stores an infinite symbolic instruction sequence, an exponentially contracting coordinate that renders late mismatches geometrically invisible, and a compact matching graph that forces exact symbolic agreement. In this system finite strict invariance entropy does not coincide with ordinary invariance entropy, and strict invariance entropy is not lower semicontinuous under Hausdorff perturbations of the initial set. The source of the information complexity is the persistence of exact viability constraints under thin invariant geometry together with the order of limits used in the entropy definitions.
What carries the argument
Continuous-time control system with Cantor coordinate storing symbolic instructions, exponentially contracting coordinate rendering late mismatches invisible, and compact matching graph enforcing exact symbolic agreement.
If this is right
- Finite strict invariance entropy need not coincide with ordinary invariance entropy.
- Strict invariance entropy need not be lower semicontinuous under Hausdorff perturbations of the initial set.
- Information complexity can arise from persistence of exact viability constraints rather than from dynamical expansion.
- The order of limits in the definition of invariance entropy affects its value in systems with thin invariant geometry.
Where Pith is reading between the lines
- Numerical schemes that approximate invariance entropy may need to track the precise order of limits when the underlying geometry is Cantor-like rather than expansive.
- The same separation technique could be tested in discrete-time or networked control settings to determine whether the distinction is tied to continuous time.
- Robustness guarantees that assume continuity of entropy measures with respect to set perturbations may require re-examination in systems with exact matching constraints.
Load-bearing premise
The constructed continuous-time control system with its Cantor coordinate, exponentially contracting coordinate, and compact matching graph actually produces finite strict invariance entropy distinct from the ordinary version and violates lower semicontinuity.
What would settle it
A calculation showing that strict and ordinary invariance entropy coincide in this specific system, or that strict invariance entropy remains lower semicontinuous under the stated Hausdorff perturbations, would refute the separation.
read the original abstract
We answer negatively two natural general forms of Kawan's questions on invariance entropy for control systems, open for more than fifteen years, by a single construction. We show that finite strict invariance entropy need not coincide with ordinary invariance entropy, and that strict invariance entropy need not be lower semicontinuous under Hausdorff perturbations of the initial set. The construction is a continuous-time control system in which a Cantor coordinate stores an infinite symbolic instruction, an exponentially contracting coordinate makes late mismatches geometrically invisible, and a compact matching graph forces exact symbolic agreement. It identifies a source of information complexity not generated by dynamical expansion, but by the persistence of exact viability constraints under thin invariant geometry and by the order of limits in invariance entropy.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs a continuous-time control system featuring a Cantor coordinate that encodes infinite symbolic instructions, an exponentially contracting coordinate that renders late mismatches geometrically invisible, and a compact matching graph that enforces exact symbolic agreement. This single explicit construction provides negative answers to two questions of Kawan by showing that finite strict invariance entropy need not coincide with ordinary invariance entropy and that strict invariance entropy need not be lower semicontinuous under Hausdorff perturbations of the initial set. The source of the discrepancy is identified as the persistence of exact viability constraints under thin invariant geometry rather than dynamical expansion.
Significance. If the construction is verified, the result is significant for control theory because it resolves two open questions from more than fifteen years ago with concrete counterexamples. The explicit nature of the construction (Cantor coordinate, contracting coordinate, matching graph) supplies a falsifiable object that can be checked directly against the standard definitions of invariance entropy, which strengthens the contribution.
minor comments (2)
- A schematic diagram of the compact matching graph and the interaction between the three coordinates would improve readability of the construction in §3.
- The notation for the two forms of invariance entropy (strict vs. ordinary) should be introduced with a short comparison table early in the paper to avoid repeated parenthetical explanations.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation to accept the manuscript.
Circularity Check
No significant circularity
full rationale
The paper supplies an explicit continuous-time control system construction (Cantor coordinate for infinite symbolic instructions, exponentially contracting coordinate to hide late mismatches, compact matching graph for exact viability) that serves as a counterexample to two open questions on invariance entropy. No derivation step reduces by definition or by fitted parameter to its own inputs; the claims rest on the internal consistency of the constructed system with standard definitions rather than on self-citation chains, ansatzes smuggled via prior work, or renaming of known results. The central result is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard assumptions of continuous-time control systems and dynamical systems theory hold.
invented entities (3)
-
Cantor coordinate
no independent evidence
-
exponentially contracting coordinate
no independent evidence
-
compact matching graph
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Nair, Girish N. and Evans, Robin J. and Mareels, Iven M. Y. and Moran, William , title =. IEEE Trans. Automat. Control , volume =. 2004 , doi =
work page 2004
-
[2]
Colonius, Fritz and Kawan, Christoph , title =. SIAM J. Control Optim. , volume =. 2009 , doi =
work page 2009
- [3]
-
[4]
Kawan, Christoph , title =. SIAM J. Control Optim. , volume =. 2011 , doi =
work page 2011
-
[5]
Kawan, Christoph , title =. Nonlinearity , volume =. 2011 , doi =
work page 2011
-
[6]
Kawan, Christoph , title =. Discrete Contin. Dyn. Syst. , volume =. 2011 , doi =
work page 2011
-
[7]
Colonius, Fritz , title =. SIAM J. Control Optim. , volume =. 2012 , doi =
work page 2012
-
[8]
A note on topological feedback entropy and invariance entropy , journal =. 2013 , issn =. doi:10.1016/j.sysconle.2013.01.008 , author =
- [9]
-
[10]
Da Silva, Adriano and Kawan, Christoph , title =. Discrete Contin. Dyn. Syst. , volume =. 2016 , doi =
work page 2016
-
[11]
Robustness of critical bit rates for practical stabilization of networked control systems , journal =. 2018 , issn =. doi:10.1016/j.automatica.2018.03.042 , author =
-
[12]
Exponential state estimation, entropy and. Systems Control Lett. , volume =. 2018 , issn =. doi:10.1016/j.sysconle.2018.01.011 , author =
-
[13]
Invariance Pressure of Control Sets , journal =
Colonius, Fritz and Cossich, Jo. Invariance Pressure of Control Sets , journal =. 2018 , doi =
work page 2018
-
[14]
Huang, Yu and Zhong, Xingfu , title =. Systems Control Lett. , volume =. 2018 , doi =
work page 2018
-
[15]
Wang, Tao and Huang, Yu and Sun, Hai-Wei , title =. SIAM J. Control Optim. , volume =. 2019 , doi =
work page 2019
-
[16]
Garcia, Nicolas and Kawan, Christoph and Y. Ergodicity Conditions for Controlled Stochastic Nonlinear Systems under Information Constraints: A Volume Growth Approach , journal =. 2021 , doi =
work page 2021
-
[17]
Colonius, Fritz and Hamzi, Boumediene , title =. SIAM J. Control Optim. , volume =. 2021 , doi =
work page 2021
-
[18]
Chen, Hu and Huang, Yu and Zhong, Xingfu , title =. J. Differential Equations , volume =. 2026 , doi =
work page 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.