arxiv: 2604.08940 · v1 · submitted 2026-04-10 · 📡 eess.SY · cs.SY· math.DS

Recognition: 2 theorem links

· Lean Theorem

Linear Systems as Representations of Time Groups

Subhrajit Sinha

Authors on Pith no claims yet

Pith reviewed 2026-05-10 17:47 UTC · model grok-4.3

classification 📡 eess.SY cs.SYmath.DS

keywords linear systemsrepresentation theorydiscrete timetime groupsfinite fieldsinvariant decompositionsmodule structuresstate space

0 comments

The pith

Discrete-time linear systems are representations of time groups acting on vector spaces.

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

The paper develops a representation-theoretic formulation for discrete-time linear systems. It shows that such systems arise as the action of a time group on the state vector space, which supplies the state space with a canonical algebraic structure. This creates a unified framework across different base fields, where invariant state-space decompositions become invariant subrepresentations and distinctions between real, complex, and finite-field systems follow from the field's algebraic properties and the group's structure. For finite fields the systems correspond to representations of finite cyclic time groups and therefore carry module structures over polynomial quotient rings. The resulting language supplies a systematic alternative to spectral analysis when eigenvalue methods are not the most natural choice.

Core claim

Discrete-time linear systems are naturally viewed as representations of time groups acting on vector spaces, thereby endowing the state space with a canonical algebraic structure. Invariant decompositions of the state space correspond to invariant subrepresentations. The distinctions between real, complex, and finite-field systems emerge from the algebraic properties of the base field and the time group. Linear systems over finite fields correspond to representations of finite cyclic time groups, leading to module structures over polynomial quotient rings. This formulation provides a systematic alternative to spectral analysis in settings where eigenvalue-based methods are not the most apt.

What carries the argument

The representation of a time group acting on the state vector space. This mechanism translates the system's linear dynamics into the language of group actions, so that structural features such as invariant subspaces become subrepresentations.

If this is right

Invariant decompositions of the state space correspond to invariant subrepresentations.
Distinctions between real, complex, and finite-field systems arise from the algebraic properties of the base field and the time group.
Linear systems over finite fields correspond to representations of finite cyclic time groups, yielding module structures over polynomial quotient rings.
The approach supplies a unified framework for linear systems over different fields.
It offers a systematic alternative to spectral analysis when eigenvalue methods are less natural.

Where Pith is reading between the lines

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

The representation perspective could allow standard tools from group representation theory to be imported for studying controllability or reachability questions.
Finite-field control problems may admit new computational methods based on algorithms for modules over polynomial rings.
The same group-action identification might be tested on small explicit systems to check whether all standard linear-algebraic invariants are recovered as representation invariants.

Load-bearing premise

The discrete-time evolution operator can always be identified with the action of a group on the state vector space without loss of the system's linear structure or dynamics for arbitrary initial conditions and inputs.

What would settle it

A concrete discrete-time linear system over a finite field in which the state evolution fails to induce a module structure over the corresponding polynomial quotient ring, or in which an invariant subspace is not an invariant subrepresentation under the time-group action.

read the original abstract

In this paper, we develop a representation-theoretic formulation of discrete-time linear systems. We show that such systems are naturally viewed as representations of time groups acting on vector spaces, thereby endowing the state space with a canonical algebraic structure. This perspective provides a unified framework for linear systems over different fields, in which familiar structural properties arise from the underlying representation. In particular, invariant decompositions of the state space correspond to invariant subrepresentations, while the distinctions between real, complex, and finite-field systems emerge from the algebraic properties of the base field and the time group. We further show that linear systems over finite fields naturally correspond to representations of finite cyclic time groups, leading to module structures over polynomial quotient rings. This provides a systematic alternative to spectral analysis in settings where eigenvalue-based methods are not the most natural organizing language.

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.

Desk Editor's Note private letter to a colleague

The paper reframes discrete linear systems as time-group representations but risks overstating the group structure for non-invertible cases.

read the letter

The core idea is to treat the state evolution of a discrete-time linear system as a group representation of the time axis acting on the vector space. This turns invariant decompositions into subrepresentations and, for finite fields, maps the system to a module over a polynomial quotient ring. That last step is the clearest new angle: it recasts the rational canonical form in representation language rather than just matrix algebra. The abstract does a clean job of showing how the base field and the time group together explain differences between real, complex, and finite-field behavior without extra machinery. If the full paper spells out the homomorphism explicitly and gives a short example where the representation view shortens a standard proof, that would be useful for people already comfortable with modules and representations. The main soft spot is the unstated requirement that the transition matrix be invertible. A group action needs inverses, so negative time shifts must exist; standard discrete systems allow singular or nilpotent A, which only gives a monoid action. The abstract calls the group view “natural” without noting this restriction, and the finite-field module claim is routed through cyclic group representations even though the module structure itself works regardless of invertibility. That narrows the claimed unified framework more than the wording suggests. The paper is conceptual rather than computational, so it stands or falls on whether the later sections supply the missing derivations and handle the non-invertible case explicitly. It is aimed at control theorists who already use algebraic methods or finite-field models and want a different organizing language. A reader working on module-theoretic approaches to systems would get the most out of it. The thinking looks honest and engaged with the literature, even if the scope needs tightening. I would send it to peer review so the authors can clarify the invertibility point and show concrete payoff.

Referee Report

3 major / 2 minor

Summary. The paper develops a representation-theoretic formulation of discrete-time linear systems, claiming that such systems are naturally viewed as representations of time groups (typically Z or finite cyclic) acting on vector spaces. This endows the state space with canonical algebraic structure, with invariant decompositions corresponding to invariant subrepresentations; distinctions across fields (real, complex, finite) arise from the base field and group properties. For finite-field systems, the approach yields module structures over polynomial quotient rings, providing a systematic alternative to spectral analysis.

Significance. If the central identification holds without unstated restrictions, the perspective could offer a unified algebraic language for linear systems across fields, potentially clarifying invariant subspace decompositions via representation theory. However, the finite-field module correspondence is already standard via the rational canonical form, so the added value would lie in whether the group-representation route produces new theorems, algorithms, or insights not recoverable from existing methods. No machine-checked proofs, reproducible code, or falsifiable predictions are indicated in the provided material.

major comments (3)

[Abstract, §1] Abstract and §1 (formulation): The central claim that discrete-time linear systems are 'naturally viewed as representations of time groups' requires the state-transition matrix A to be invertible so that the evolution defines a group homomorphism to GL(V) (including negative powers). The manuscript does not state this restriction or justify why non-invertible (singular or nilpotent) A are excluded or handled separately; without it, the dynamics form only a monoid action under non-negative powers of A, undermining the 'unified framework' for arbitrary linear systems.
[Abstract] Abstract (finite-field case): The asserted correspondence between linear systems over finite fields and representations of finite cyclic time groups leading to modules over polynomial quotient rings is load-bearing for the 'alternative to spectral analysis' claim. This module structure is already obtained directly from the rational canonical form (or companion-matrix decomposition) without invoking group representations; the paper must show explicitly (e.g., via a theorem or example) what new structural results or computational advantages arise from routing through the cyclic-group action that are not already available.
[§2 or §3] §2 or §3 (invariant decompositions): The statement that 'invariant decompositions of the state space correspond to invariant subrepresentations' is presented as a direct consequence of the representation viewpoint. If the time-group action is only a monoid action for non-invertible A, the correspondence between invariant subspaces and subrepresentations may fail to be bijective or canonical in the same way; the manuscript should provide a precise statement (with proof sketch) that holds for general A or explicitly restricts the scope.

minor comments (2)

[§1] Notation for the time group and its action (e.g., generator symbol, whether the group is additive or multiplicative) should be introduced consistently in the first section where the representation is defined.
[Abstract] The abstract refers to 'familiar structural properties' arising from the representation; a brief enumerated list of which properties (Kalman decomposition, controllability, etc.) are recovered would improve readability.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful and constructive review. We agree that several points require clarification regarding the scope of the group-representation framework and will make revisions to address them explicitly. Below we respond point by point to the major comments.

read point-by-point responses

Referee: [Abstract, §1] Abstract and §1 (formulation): The central claim that discrete-time linear systems are 'naturally viewed as representations of time groups' requires the state-transition matrix A to be invertible so that the evolution defines a group homomorphism to GL(V) (including negative powers). The manuscript does not state this restriction or justify why non-invertible (singular or nilpotent) A are excluded or handled separately; without it, the dynamics form only a monoid action under non-negative powers of A, undermining the 'unified framework' for arbitrary linear systems.

Authors: We agree that the group homomorphism property requires A to be invertible. The manuscript uses the term 'time groups' to indicate this setting, but the restriction is not stated explicitly. We will revise the abstract and §1 to specify that the framework applies to invertible discrete-time linear systems, where the evolution defines a representation of the time group (Z or a finite cyclic group) in GL(V). For non-invertible A we will add a short paragraph noting that the dynamics yield a monoid action of the non-negative integers, which can be treated as a semigroup representation but lacks the full group-theoretic structure (e.g., inverses). This makes the scope of the unified framework precise rather than claiming it covers all linear systems. revision: yes
Referee: [Abstract] Abstract (finite-field case): The asserted correspondence between linear systems over finite fields and representations of finite cyclic time groups leading to modules over polynomial quotient rings is load-bearing for the 'alternative to spectral analysis' claim. This module structure is already obtained directly from the rational canonical form (or companion-matrix decomposition) without invoking group representations; the paper must show explicitly (e.g., via a theorem or example) what new structural results or computational advantages arise from routing through the cyclic-group action that are not already available.

Authors: The referee is correct that the module structure over a polynomial quotient ring is equivalent to the rational canonical form for cyclic actions. The manuscript presents the correspondence as part of a uniform representation-theoretic treatment across base fields. To meet the request for explicit added value, we will insert a new paragraph or short example in §3 that illustrates how the cyclic-group representation viewpoint permits direct application of standard group-representation algorithms (e.g., finding invariant subspaces via projection onto isotypic components) that are not the usual first step when starting from the companion-matrix decomposition. If this does not yield a genuinely new theorem, we will adjust the abstract wording to emphasize the unifying language rather than claiming a computational alternative. revision: partial
Referee: [§2 or §3] §2 or §3 (invariant decompositions): The statement that 'invariant decompositions of the state space correspond to invariant subrepresentations' is presented as a direct consequence of the representation viewpoint. If the time-group action is only a monoid action for non-invertible A, the correspondence between invariant subspaces and subrepresentations may fail to be bijective or canonical in the same way; the manuscript should provide a precise statement (with proof sketch) that holds for general A or explicitly restricts the scope.

Authors: We agree that the bijective correspondence between invariant subspaces and subrepresentations holds cleanly only when the action is a group representation. We will revise §2 to state: 'When the state-transition matrix A is invertible, the invariant subspaces of the linear system are precisely the invariant subrepresentations of the time-group action.' A brief proof sketch will be added, noting that subrepresentations are subspaces stable under both positive and negative powers of A. For general (possibly singular) A we will explicitly note that the correspondence is to invariant subspaces under the monoid action of non-negative powers, which remains useful for decomposition but does not inherit the full representation-theoretic machinery. This revision restricts the main claims to the invertible case while preserving the utility of the monoid viewpoint. revision: yes

Circularity Check

0 steps flagged

No circularity in the group-representation reformulation of linear systems

full rationale

The paper advances a conceptual reframing in which discrete-time linear systems are viewed as representations of time groups (Z or finite cyclic) acting on the state space. This is presented as a change of perspective that endows the state space with algebraic structure, with invariant decompositions corresponding to subrepresentations and finite-field cases yielding modules over polynomial rings. No equations, fitted parameters, or predictions appear that reduce by construction to prior inputs; the claims follow directly from applying standard representation theory to the evolution operator without self-referential loops or load-bearing self-citations. The framework is self-contained as a mathematical reorganization rather than a derivation whose outputs are forced by its own fitted quantities or prior author results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on the standard axioms of group representation theory together with the domain assumption that discrete-time linear evolution is exactly a group action on the state space. No free parameters or new postulated entities are introduced in the abstract.

axioms (2)

standard math Standard axioms of linear representations of groups on vector spaces over a field
Invoked when the paper states that systems are representations and that invariant subspaces correspond to subrepresentations.
domain assumption Discrete-time linear dynamics can be identified with the action of a time group (typically cyclic) on the state vector space
This is the central modeling step that allows all subsequent algebraic structure to be inherited from representation theory.

pith-pipeline@v0.9.0 · 5430 in / 1537 out tokens · 59599 ms · 2026-05-10T17:47:55.616987+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat ≃ Nat; embed into R+ via generator orbit echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

a linear system naturally gives rise to the map ρ: Z → GL(R^n), t ↦ A^t ... equivalent to giving V the structure of a left k[G]-module ... when G = Z/TZ, k[G] ≅ k[x]/(x^T − 1)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3 from linking) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

linear systems over finite fields naturally correspond to representations of finite cyclic time groups

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references

[1]

Kailath,Linear Systems

T. Kailath,Linear Systems. Prentice-Hall, 1980

1980
[2]

Serre,Linear Representations of Finite Groups, ser

J.-P. Serre,Linear Representations of Finite Groups, ser. Graduate Texts in Mathematics. Springer, 1977, vol. 42

1977
[3]

D. S. Dummit and R. M. Foote,Abstract Algebra. Wiley, 2004

2004
[4]

Lang,Algebra, 3rd ed., ser

S. Lang,Algebra, 3rd ed., ser. Graduate Texts in Mathematics. Springer, 2002, vol. 211

2002
[5]

Lidl and H

R. Lidl and H. Niederreiter,Finite Fields, 2nd ed., ser. Encyclopedia of Mathematics and Its Applications. Cambridge University Press, 1997, vol. 20

1997
[6]

From time series to linear system—part i. finite- dimensional linear time-invariant systems,

J. C. Willems, “From time series to linear system—part i. finite- dimensional linear time-invariant systems,”Automatica, vol. 22, no. 5, pp. 561–580, 1986

1986
[7]

J. W. Polderman and J. C. Willems,Introduction to Mathematical Systems Theory: A Behavioral Approach. Springer, 1998

1998
[8]

Springer, 1998, vol

——,Introduction to mathematical systems theory: a behavioral approach. Springer, 1998, vol. 1

1998
[9]

Multidimensional constant linear systems,

U. Oberst, “Multidimensional constant linear systems,”Acta Applican- dae Mathematicae, vol. 20, no. 1-2, pp. 1–175, 1990

1990
[10]

J. J. Rotman,An Introduction to the Theory of Groups, 4th ed., ser. Graduate Texts in Mathematics. Springer, 1995, vol. 148

1995
[11]

Lie-algebraic stability criteria for switched systems,

A. A. Agrachev and D. Liberzon, “Lie-algebraic stability criteria for switched systems,”SIAM Journal on Control and Optimization, vol. 40, no. 1, pp. 253–269, 2001

2001
[12]

Dynamical systems on homogeneous spaces,

S. Dani, “Dynamical systems on homogeneous spaces,” 1976

1976
[13]

Colonius and W

F. Colonius and W. Kliemann,Dynamical systems and linear algebra. American Mathematical Society, 2014, vol. 158

2014
[14]

Lie groups, lie algebras, and representations,

B. C. Hall, “Lie groups, lie algebras, and representations,” inQuantum Theory for Mathematicians. Springer, 2013, pp. 333–366

2013