Abstract:One of the fundamental problems of interest for discrete-time linear systems is whether its input sequence may be recovered given its output sequence, a.k.a. the left inversion problem. Many conditions on the state space geometry, dynamics, and spectral structure of a system have been used to characterize the well-posedness of this problem, without assumptions on the inputs. However, certain structural assumptions, such as input sparsity, have been shown to translate to practical gains in the performance of inversion algorithms, surpassing classical guarantees. Establishing necessary and sufficient conditions for left invertibility of systems with sparse inputs is therefore a crucial step toward understanding the performance limits of system inversion under structured input assumptions. In this work, we provide the first necessary and sufficient characterizations of left invertibility for linear systems with sparse inputs, echoing classic characterizations for standard linear systems. The key insight in deriving these results is in establishing the existence of two novel geometric invariants unique to the sparse-input setting, the weakly unobservable and strongly reachable subspace arrangements. By means of a concrete example, we demonstrate the utility of these characterizations. We conclude by discussing extensions and applications of this framework to several related problems in sparse control.

ON WEAK INVERTIBILITY OF NONLINEAR FINITE AUTOMATA

A Full-Invariant Theorem and Some Applications

A Consequence of Invertibility on the Normal Form of a MIMO Nonlinear Systems

Some Stationary Weak Solutions to Inhomogeneous Landau-Lifshitz Equations in Three Dimensions

Strong Convergence Theorems for Relatively Nonexpansive Mappings and Variational Inclusions in Banach Spaces

On The Equivalence Classes Of Linear Non-Autonomous Systems

Invertibility in Weak-Star Closed Algebras of Analytic Functions

On the Weak Regularity of Semigroup Rings

Invertibility of Discrete-Time Linear Systems with Sparse Inputs

A Strong Convergence Theorem for Solutions of Equilibrium Problems and Asymptotically Quasi-Φ-nonexpansive Mappings in the Intermediate Sense

On Two-Way Nondeterministic Finite Automata with One Reversal-Bounded Counter

A Necessary and Sufficient Condition for Convergence of the Lax–Oleinik Semigroup for Reversible Hamiltonians on R

On linear non-uniform cellular automata: duality and dynamics

Sufficient and Necessary Conditions of Existence of Implicit Functions

On Weakly Reversible Rings and Strongly Reversible Rings

Weighted Pseudo Almost Automorphic Functions and WPAA Solutions to Semilinear Evolution Equations

Decision algorithms for reversibility of one-dimensional non-linear cellular automata under null boundary conditions

A KAM Theorem for Reversible Systems of Infinite Dimension

Automorphism of solutions to Ramanujan's differential equations and other results

A Study on Non-autonomous Second Order Evolution Equations with Nonlocal Conditions

Infinite transition solutions for an Allen-Cahn equation