arXiv Science⌕ Search

arXiv subjects

Shiva Shankar

Publications and source records attributed to Shiva Shankar.

10 recordsLinked to original sources
arXiv2026

The Indefinite Summation Problem for the Laurent Ring

This article solves the Indefinite Summation Problem (ISP) for the difference ring $(A, \alpha)$, where $A$ is the Laurent ring of shift operators on the lattice $\Z^n$, and $\alpha$ is any ring automorphism of $A$ of finite order. The solution translates to a finite procedure involving a matrix multiplication, where the size of the matrix can be estimated. It follows that the arithmetic complexity of the solution can also be determined. These results extend to a solution of the ISP for the ring of functions on $\Z^n$, on which $\alpha$ acts by duality. The article points out that the solution to the ISP amounts to calculating the group cohomologies $H^i([\alpha], A), i = 0, 1$, where $[\alpha]$ is the cyclic group generated by $\alpha$.

cs.SC↗
arXiv2023

Symmetric Solutions to Symmetric Partial Difference Equations

This paper studies systems of linear difference equations on the lattice $\Z^n$ that are invariant under a finite group of symmetries, and shows that there exist solutions to such systems that are also invariant under this group of symmetries.

math.CA↗
arXiv2021

The coarsest lattice that determines a discrete multidimensional system

A discrete multidimensional system is the set of solutions to a system of linear partial difference equations defined on the lattice $\Z^n$. This paper shows that it is determined by a unique coarsest sublattice, in the sense that the solutions of the system on this sublattice determine the solutions on $\Z^n$; it is therefore the correct domain of definition of the discrete system. In turn, the defining sublattice is determined by a Galois group of symmetries that leave invariant the equations defining the system. These results find application in understanding properties of the system such as controllability and autonomy, and in its order reduction.

math.OC↗
arXiv2020

The Canonical Controller for Distributed Systems

This paper generalises results of Willems-Trentelman, and van der Schaft, on achievable behaviours, to the case of linear distributed systems defined by partial differential or difference equations. It shows that the `minimal' controller which achieves a particular subsystem is the canonical controller of van der Schaft, thereby answering the `open problem' of \cite{sc} in the setting of infinite dimensional and $n-D$ systems. This result is used to describe the collection of all linear subsystems of the electro-magnetic field, containing the vacuum solutions, that can be achieved by suitable choices of electric charge and current density.

math.OC↗
arXiv2019

Controllability and Vector Potential

Kalman's fundamental notion of a controllable state space system \cite{k} has been generalised to higher order systems by Willems \cite{w}, and further to distributed systems defined by partial differential equations \cite{ps}. It turns out, that for systems defined in several important spaces of distributions, controllability is now identical to the notion of vector potential in physics, or of vanishing homology in mathematics. These notes will explain this relationship, and a few of its consequences. It will also pose an important question: does a controllable system, in any space of distributions, always admit a vector potential? In other words, is Kalman's notion of a controllable system, suitably generalised, nothing more -- nor less -- than the possibility of describing the dynamics of the system by means of a vector potential? Furthermore, it also turns out that the category of distributed systems bears many formal similarities to the category of affine algebraic sets. This raises a second important question: what is the category for which these distributed systems are `local models', just as affine algebraic sets are local models for the category of algebraic varieties? It would then be possible to extend the theory of control described in these notes to this larger category of systems.

math.OC↗
arXiv2018

The Generic Degree of Autonomy

This paper calculates the degree of autonomy of a generic autonomous n-D system given by the kernel of a partial difference operator. The calculation implies that attaching a generic controller to a non-autonomous system, results in a controlled system whose degree of autonomy is the maximum possible. Thus a generic controller is maximally efficient with respect to the criterion of maximising degree of autonomy. The term generic here refers to an open (dense) subset of the set of all n-D systems with the Zariski topology.

math.OC↗
arXiv2010

Periodic behaviors

This paper studies behaviors that are defined on a torus, or equivalently, behaviors defined in spaces of periodic functions, and establishes their basic properties analogous to classical results of Malgrange, Palamodov, Oberst et al. for behaviors on R^n. These properties - in particular the Nullstellensatz describing the Willems closure - are closely related to integral and rational points on affine algebraic varieties.

math.OC↗