Related papers: Standard versus Bounded Real Lemma with infinite-d…
In this paper, we study Birkhoff-James orthogonality of bounded linear operators and give a complete characterization of Birkhoff-James orthogonality of bounded linear operators on infinite dimensional real normed linear spaces. As an…
The transfer-matrix methodology is used to solve linear systems of differential equations, such as those that arise when solving Schr\"odinger's equation, in situations where the solutions of interest are in the continuous part of the…
The mathematical properties and data-driven learning of the Koopman operator, which represents nonlinear dynamics as a linear mapping on a properly defined functional spaces, have become key problems in nonlinear system identification and…
We present a novel passivity enforcement (passivation) method, called KLAP, for linear time-invariant systems based on the Kalman-Yakubovich-Popov (KYP) lemma and the closely related Lur'e equations. The passivation problem in our framework…
Markov chains provide a foundational framework for modeling sequential stochastic processes, with the transition probability matrix characterizing the dynamics of state evolution. While classical estimation methods such as maximum…
We develop a unified second-order parameterized complexity theory for spaces of integrable functions. This generalizes the well-established case of second-order parameterized complexity theory for spaces of continuous functions.…
We study the potential theory of a large class of infinite dimensional L\'evy processes, including Brownian motion on abstract Wiener spaces. The key result is the construction of compact Lyapunov functions, i.e. excessive functions with…
In the thesis we present an analytic approach towards exact description for steady state density operators of nonequilibrium quantum dynamics in the framework of open systems. We employ the so-called quantum Markovian semi-group evolution,…
We present a peculiar transition triggered by infinitesimal dissipation in the interpolating Dicke-Tavis-Cummings model. The model describes a ubiquitous light-matter setting using a collection of two-level systems interacting with quantum…
We are concerned with multidimensional stochastic balance laws. We identify a class of nonlinear balance laws for which uniform spatial $BV$ bounds for vanishing viscosity approximations can be achieved. Moreover, we establish temporal…
The Koopman operator allows for handling nonlinear systems through a (globally) linear representation. In general, the operator is infinite-dimensional - necessitating finite approximations - for which there is no overarching framework.…
In this paper, we study various theoretical properties of a class of prioritized inverse kinematics (PIK) solutions that can be considered as a class of (output regulation or tracking) control laws of a dynamical system with prioritized…
Ill-posed linear inverse problems appear in many image processing applications, such as deblurring, super-resolution and compressed sensing. Many restoration strategies involve minimizing a cost function, which is composed of fidelity and…
We consider large deviations of empirical measures of diffusion processes. In a first part, we present conditions to obtain a large deviations principle (LDP) for a precise class of unbounded functions. This provides an analogue to the…
This paper develops a new framework, \emph{simultaneous saturation}, designed to quantify the size of sets whose elements are simultaneously large. The framework establishes a correspondence between the magnitude of such sets and a system…
The main result of this paper shows that "test configurations" give new lower bounds on the $L^{2}$ norm of the scalar curvature on a Kahler manifold. This is closely analogous to the analysis of the Yang-Mills functional over Riemann…
We say that a random vector $X=(X_1,...,X_n)$ in $R^n$ is an $n$-dimensional version of a random variable $Y$ if for any $a\in R^n$ the random variables $\sum a_iX_i$ and $\gamma(a) Y$ are identically distributed, where $\gamma:R^n\to…
The applicability of model checking is hindered by the state space explosion problem in combination with limited amounts of main memory. To extend its reach, the large available capacities of secondary storage such as hard disks can be…
We develop a synthetic, variational framework for deriving comparison principles in infinite-dimensional Banach spaces. Unlike traditional approaches that rely on the regularity of minimizers and Euler--Lagrange equations, our method…
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a…