Related papers: A bounded operator approach to technical indicator…
We introduce a method to infer lead-lag networks of agents' actions in complex systems. These networks open the way to both microscopic and macroscopic states prediction in such systems. We apply this method to trader-resolved data in the…
As demand for Real-Time applications rises among the general public, the importance of enabling large-scale, unbound algorithms to solve conventional problems with low to no latency is critical for product viability. Timer algorithms are…
We investigate a class of Fourier integral operators with weakened symbols, which satisfy a multi-parameter differential inequality in $\R^n$. We establish that these operators retain the classical $L^p$ boundedness and the $H^1$ to $L^1$…
With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by construction. A small step operational semantic (and hence an…
We define a class of stochastic processes based on evolutions and measurements of quantum systems, and consider the complexity of predicting their long-term behavior. It is shown that a very general class of decision problems regarding…
Interested in formalizing the generation of fast running code for linear algebra applications, the authors show how an index-free, calculational approach to matrix algebra can be developed by regarding matrices as morphisms of a category…
The tools, ideas, and insights from linear algebra, abstract algebra, and functional analysis can be extremely useful to signal processing and system theory in various areas of engineering, science, and social science including…
Identification of fractional order systems is considered from an algebraic point of view. It allows for a simultaneous estimation of model parameters and fractional (or integer) orders from input and output data. It is exact in that no…
This article is concerned with crossed products and their applications to random operators. We study the von Neumann algebra of a dynamical system using the underlying Hilbert algebra structure. This gives a particularly easy way to…
Alloy is formal modeling language based on first-order relational logic, with no specific support for specifying reactive systems. We propose the usage of temporal logic to specify such systems, and show how bounded model checking can be…
We study band-dominated operators on (subspaces of) $L_p$-spaces over metric measure spaces of bounded geometry satisfying an additional property. We single out core assumptions to obtain, in an abstract setting, definitions of limit…
We study the algorithmic complexity of the problem of deciding whether a Linear Time Invariant dynamical system with rational coefficients has bounded trajectories. Despite its ubiquitous and elementary nature in Systems and Control, it…
Linear regression is a basic and widely-used methodology in data analysis. It is known that some quantum algorithms efficiently perform least squares linear regression of an exponentially large data set. However, if we obtain values of the…
We study a classical iterative algorithm for balancing matrices in the $L_\infty$ norm via a scaling transformation. This algorithm, which goes back to Osborne and Parlett \& Reinsch in the 1960s, is implemented as a standard preconditioner…
Kolmogorov nonlinear averaging is complemented by a natural axiom. For this averaging, we prove a theorem on large deviations as well as establish the relationship to the tunnel canonical operator.
For operators defined on locally convex spaces we define the notions of boundedness and ergodicity associated to an infinite matrix. Given two matrices $ A$ and $ B$, we study when $ A$-bounded operators are $ B$-ergodic. Using this…
A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the systems of pebbles (flexible constants)…
We study the notion of recurrence and some of its variations for linear operators acting on Banach spaces. We characterize recurrence for several classes of linear operators such as weighted shifts, composition operators and multiplication…
We study the Spectral Analysis for a class of bounded linear operators T = D + F in a non Archimedean Hilbert space E, where D is a diagonal linear operator and where F is a finite rank linear operator. In this study of the Spectral…
In the paper, we consider integral operators with non-negative kernels satisfying conditions, which are less restrictive than conditions studied earlier. We establish criteria for the boundedness of these operators in Lebesgue spaces.