Related papers: A construction of inductive limit for operator sys…
We introduce a sound and complete coinductive proof system for reachability properties in transition systems generated by logically constrained term rewriting rules over an order-sorted signature modulo builtins. A key feature of the…
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.
The integrability of a classical Calogero systems with anti-periodic boundary condition is studied. This system is equivalent to the periodic model in the presence of a magnetic field. Gauge momentum operators for the anti-periodic Calogero…
This paper is an introduction to a series of papers in which we give combinatorial models for certain important operads (including A-infinity and E-infinity operads, the little n-cubes operads, and the framed little disks operad) and…
We prove a real interpolation characterization for some non Euclidean H\"older spaces, built on the Lie structure induced by a class of ultra-parabolic Kolmogorov-type operators satisfying the H\"ormander condition. As a by-product we also…
This paper is about the logarithmic limit sets of real semi-algebraic sets, and, more generally, about the logarithmic limit sets of sets definable in an o-minimal, polynomially bounded structure. We prove that most of the properties of the…
We discuss a general scheme for a construction of linear conformally invariant differential operators from curved Casimir operators; we then explicitly carry this out for several examples. Apart from demonstrating the efficacy of the…
A sharp version of the Central Limit Theorem for linear combinations of iterates of an inner function is proved. The authors previously showed this result assuming a suboptimal condition on the coefficients of the linear combination. Here…
We study port-Hamiltonian systems on a familiy of intervals and characterise all boundary conditions leading to $m$-accretive realisations of the port-Hamiltonian operator and thus to generators of contractive semigroups. The proofs are…
In this paper, we examine applications of the theory of operator-valued processes to algebraic methods in probability theory. We show a central limit theorem for general conservation operator processes. Utilizing this, we analyze the…
We establish necessary and sufficient conditions for the boundedness and compactness of weighted composition operators acting on weighted Dirichlet spaces and determine the spectrum of a certain class of such operators. Our results extend…
Motivated by the recent developments of pseudo-hermitian quantum mechanics, we analyze the structure of unbounded metric operators in a Hilbert space. It turns out that such operators generate a canonical lattice of Hilbert spaces, that is,…
In this note we consider weighted conditional type operators between different Orlicz spaces and generalized conditional type Holder inequality that we defined in [2]. Then we give some necessary and sufficient conditions for boundedness of…
This paper proposes a method to identify a Koopman model of a feedback-controlled system given a known controller. The Koopman operator allows a nonlinear system to be rewritten as an infinite-dimensional linear system by viewing it in…
What does it take to build mobile manipulation systems that can competently operate on previously unseen objects in previously unseen environments? This work answers this question using opening of articulated structures as a mobile…
Possible forms of obstructed atomic limits in quasi-one-dimensional systems are studied using line group symmetry. This is accomplished by revisiting the standard theory with an emphasis on its group-theoretical background, synthesizing the…
In this paper we present equivalence results for several types of unbounded operator functions. A generalization of the concept equivalence after extension is introduced and used to prove equivalence and linearization for classes of…
An extension of the Super KdV integrable system in terms of operator valued functions is obtained. Following the ideas of Gardner, a general algebraic approach for finding the infinitely many conserved quantities of integrable systems is…
We give an alternative proof, valid in all characteristics, of a result of Lascar characterising the bounded automorphisms of an algebraically closed field. We generalise this method to various fields equipped with operators.
The modular operator approach of Tomita-Takesaki to von Neumann algebras is elucidated in the algebraic structure of certain supersymmetric quantum mechanical systems. A von Neumann algebra is constructed from the operators of the system.…