Related papers: A construction of inductive limit for operator sys…

This work explores the application of deep operator learning principles to a problem in statistical physics. Specifically, we consider the linear kinetic equation, consisting of a differential advection operator and an integral collision…

In this paper, we propose a compositional approach to construct opacity-preserving finite abstractions (a.k.a symbolic models) for networks of discrete-time nonlinear control systems. Particularly, we introduce new notions of simulation…

By using some elementary techniques from operator theory, we prove constructively prove the existence of solutions to Dirichl\'et problems for planar Jordan domains with at least two boundary curves. An iterative method is thus obtained,…

We study an extremal projection principle for families of operators ordered by domination, induced by fixed bounded linear mappings acting on a source with an additive baseline. Stability is defined through domination of second--order…

We provide a precise coupling of the finite circular beta ensembles and their limit process via their operator representations. We prove explicit bounds on the distance of the operators and the corresponding point processes. We also prove…

We theoretically propose and experimentally demonstrate optically tunable nonlinear mechanical damping in a cavity optomechanical system utilizing a partly resolved sideband regime. Optomechanical coupling provides a delayed nonlinear…

An operator Riccati equation from systems theory is considered in the case that all entries of the associated Hamiltonian are unbounded. Using a certain dichotomy property of the Hamiltonian and its symmetry with respect to two different…

In this paper we develop a unified framework to study the coherent control of trapped ions subject to state-dependent forces. Taking different limits in our theory, we can reproduce two different designs of a two-qubit quantum gate --the…

We exploit (co)inductive specifications and proofs to approach the evaluation of low-level programs for the Unlimited Register Machine (URM) within the Coq system, a proof assistant based on the Calculus of (Co)Inductive Constructions type…

We study a composition operator on Lorentz spaces. In particular we provide necessary and sufficient conditions under which a measurable mapping induces a bounded composition operator.

Boolean circuits abstract away from physical details to focus on the logical structure and computational behaviour of digital components. Although such circuits have been studied for many decades, compositionality has been widely ignored or…

We study numerically two versions of the monopole creation operators proposed by Frohlich and Marchetti. The disadvantage of the old version of the monopole creation operator is due to visibility of the Dirac string entering the definition…

Motivated by its connection to the limit behaviour of imprecise Markov chains, we introduce and study the so-called convergence of upper transition operators: the condition that for any function, the orbit resulting from iterated…

In this paper, we explore the limiting weak-type behaviors of some integral operators including maximal operators, singular and fractional integral operators and maximal truncated singular integrals et al. Some optimal limiting weak-type…

It is hard to identify nonlinear biological models strictly from data, with results that are often sensitive to experimental conditions. Automated experimental workflows and liquid handling enables unprecedented throughput, as well as the…

We prove a boundedness criterion for a class of dyadic multilinear forms acting on two-dimensional functions. Their structure is more general than the one of classical multilinear Calder\'{o}n-Zygmund operators as several functions can now…

We present a construction of curved analogues of the nonstandard operators on Grassmannians parallel to the construction of the Paneitz operator via the curved Casimir operator, but technically more demanding. In particular, the…

This paper reports a theory of Koopman operators for a class of hybrid dynamical systems with globally asymptotically stable periodic orbits, called hybrid limit-cycling systems. We leverage smooth structures intrinsic to the hybrid…

The minimal work principle asserts that work done on a thermally isolated equilibrium system, is minimal for the slowest (adiabatic) realization of a given process. This principle, one of the formulations of the second law, is operationally…

This paper examines operad structures derived from poset matrices by formulating a set of new construction rules for poset matrices. In this direction, eleven different partial composition operations will be introduced as the basis for the…