This paper proposes a notion of reduction for the proof nets of Linear Logic modulo an equivalence relation on the contraction links, that essentially amounts to consider the contraction as an associative commutative binary operator that can float freely in and out of proof net boxes. The need for such a system comes, on one side, from the desire to make proof nets an even more parallel syntax ...

The description of all solutions to the relaxed commutant lifting problem in terms of an underlying contraction, obtained earlier in joint work of the author with A.E. Frazho and M.A. Kaashoek, is transformed into a linear fractional Redheffer state space form. Under certain additional conditions the coefficient functions in this representation are described explicitly in terms of the original ...

A d-contraction is a d-tuple (T1, . . . , Td) of mutually commuting operators acting on a common Hilbert space H such that ‖T1ξ1 + T2ξ2 + · · ·+ Tdξd‖ 2 ≤ ‖ξ1‖ 2 + ‖ξ2‖ 2 + · · ·+ ‖ξd‖ 2 for all ξ1, ξ2, . . . , ξd ∈ H. These are the higher dimensional counterparts of contractions. We show that many of the operator-theoretic aspects of function theory in the unit disk generalize to the unit ball...

Theory of fractional calculus with singular and non-singular kernels is pioneering has garnered significant interest recently. Fair amount literature on the qualitative properties differential integral equations involving different types operators available. This manuscript aims to analyze stability a class nonlinear equation in terms Atangana-Baleanu-Caputo operator. Sufficient conditions for ...

‎in this short note‎, ‎we present some inequalities for relative operator entropy which are generalizations of some results obtained by zou [operator inequalities associated with tsallis relative operator entropy‎, ‎{em math‎. ‎inequal‎. ‎appl.}‎ ‎{18} (2015)‎, ‎no‎. ‎2‎, ‎401--406]‎. ‎meanwhile‎, ‎we also show some new lower and upper bounds for relative operator entropy and tsallis relative o...

Trapezoidal intuitionistic fuzzy numbers (TrIFNs) express abundant and flexible information in a suitable manner and  are very useful to depict the decision information in the procedure of decision making. In this paper, some new aggregation operators, such as, trapezoidal intuitionistic fuzzy weighted power harmonic mean (TrIFWPHM) operator, trapezoidal intuitionistic fuzzy ordered weighted po...

We give a complete characterization of the closed subsets of the complex plane that can serve as spectra of completely nonunitary contractions of class Cu. Let Jfbe a complex Hilbert space, and denote by £^(Jff) the algebra of all (continuous, linear) operators acting onJf. An operator T g Sí'(Jíf) is a contraction if \\T\\ < 1. A contraction T g J¡f( Jf ) is said to be a C,,-contraction if lim...

It is a longstanding unsolved problem to characterize the optimal feedback controls for general linear quadratic control of stochastic evolution equation with random coefficients. A solution this given in [22] under some assumptions which can be verified interesting concrete models, such as controlled wave equations, Schrödinger etc. More precisely, authors establish equivalence between existen...

we introduce a new concept of general $g$-$eta$-monotone operator generalizing the general $(h,eta)$-monotone operator cite{arvar2, arvar1}, general $h-$ monotone operator cite{xiahuang} in banach spaces, and also generalizing $g$-$eta$-monotone operator cite{zhang}, $(a, eta)$-monotone operator cite{verma2}, $a$-monotone operator cite{verma0}, $(h, eta)$-monotone operator cite{fanghuang}...

In ‎the present ‎paper, ‎we ‎introduce the ‎two-wavelet ‎localization ‎operator ‎for ‎the square ‎integrable ‎representation ‎of a‎ ‎homogeneous space‎ with respect to a relatively invariant measure. ‎We show that it is a bounded linear operator. We investigate ‎some ‎properties ‎of the ‎two-wavelet ‎localization ‎operator ‎and ‎show ‎that ‎it ‎is a‎ ‎compact ‎operator ‎and is ‎contained ‎in‎ a...