相关论文: On the $(s,r)$-contractive multi-valued operator a…
We analyze the informal semantic conception of proof and axiomatize the proof relation and the provability operator. A self referential propositional calculus which admits provable liar type sentences is introduced and proven consistent. We…
Based on a careful analysis of functional models for contractive multi-analytic operators we establish a one-to-one correspondence between unitary equivalence classes of minimal contractive liftings of a row contraction and injective…
We consider a scalar-valued implicit function of many variables, and provide two closed formulae for all of its partial derivatives. One formula is based on products of partial derivatives of the defining function, the other one involves…
Almost everywhere convergence on the solution of Schr\"odinger equation is an important problem raised by Carleson, which was essentially solved by Du-Guth-Li and Du-Zhang. In this note, we obtain the sharp pointwise convergence on the…
We obtain a solution to the Bessis-Moussa-Villani conjecture for a trace-class perturbation of a semi-bounded operator and answer affirmatively the question on positivity of higher order spectral shift functions in the setting of…
This paper is an introduction to the theory of multivector functions of a real variable. The notions of limit, continuity and derivative for these objects are given. The theory of multivector functions of a real variable, even being similar…
We establish an eigenfunctional theorem for positive operators, evocative of the Krein--Rutman theorem. A more general version gives a joint eigenfunctional for commuting operators.
We establish higher order trace formulas for pairs of contractions along a multiplicative path generated by a self-adjoint operator in a Schatten-von Neumann ideal, removing earlier stringent restrictions on the kernel and defect operator…
This note deals with the operator $T^*T$, where $T$ is a densely defined operator on a complex Hilbert space. We reprove a recent result of Z. Sebesty\'en and Zs. Tarcsay [13]: If $T^*T$ and $TT^*$ are self-adjoint, then $T$ is closed. In…
The purpose of this paper is two-fold. In Part 1 we introduce a new theory of operadic categories and their operads. This theory is, in our opinion, of an independent value. In Part 2 we use this new theory together with our previous…
We prove that the curved Ovsienko--Redou operators and a related family of differential operators are formally self-adjoint. This verifies two conjectures of Case, Lin, and Yuan.
Replacing operators with continuous operator-valued functions, we prove time-dependent versions of well-known results on compressions and diagonals of bounded operators. The setting of smooth functions is also addressed. Our results have no…
A degenerate oblique derivative problem is studied for uniformly elliptic operators with low regular coefficients in the framework of Sobolev's classes $W^{2,p}(\Omega)$ for {\em arbitrary} $p>1.$ The boundary operator is prescribed in…
We study the operad of associative algebras equipped with a derivation. We show that it is determined by polynomials in several variables and substitution. Replacing polynomials by rational functions gives an operad which is isomorphic to…
We find classical open string solutions in the $AdS_5\times S^5/\Zop_2$ orientifold with angular momenta along the five-sphere. The energy of these solutions has an expansion in integral powers of $\lambda$ with sigma-model corrections…
We consider Schr\"odinger operators with dynamically defined potentials arising from continuous sampling along orbits of strictly ergodic transformations. The Gap Labeling Theorem states that the possible gaps in the spectrum can be…
In this article we consider a class of integrable operators and investigate its connections with the following theories:the spectral theory of non-self-adjoint operators, the Riemann-Hilbert problem, the canonical differential systems and…
The compact explicit expressions for formal exact operator solutions to Cauchy problem for sufficiently general systems of nonlinear differential equations (ODEs and PDEs) in the form of chronological operator exponents are given. The…
A family $f_1,...,f_n$ of operators on a complete metric space $X$ is called contractive if there exists a positive $\lambda < 1$ such that for any $x,y$ in $X$ we have $d(f_i(x),f_i(y)) \leq \lambda d(x,y)$ for some $i$. Austin conjectured…
An open question in quantum complexity theory is whether or not the class $\operatorname{MIP}^{co}$, consisting of languages that can be efficiently verified using interacting provers sharing quantum resources according to the quantum…