相关论文: Deductive Nonmonotonic Inference Operations: Antit…

Let X = S \oplus G, where S is a countable abelian semigroup and G is a countably infinite abelian group such that {2g : g in G} is infinite. Let pi: X \to G be the projection map defined by pi(s,g) = g for all x =(s,g) in X. Let f:X \to…

This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…

Every CSP(B) for a finite structure B is either in P or it is NP-complete but the proofs of the finite-domain CSP dichotomy by Andrei Bulatov and Dimitryi Zhuk not only show the computational complexity separation but also confirm the…

We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are…

Recent decades have provided a host of examples and applications motivating the study of nonlocal differential operators. We discuss a class of such operators acting on bounded domains, focusing on those with integrable kernels having…

By using Cauchy integral formula in the theory of complex functions, the authors establish some integral representations for the principal branches of several complex functions involving the logarithmic function, find some properties, such…

We prove extension theorems for several geometric properties such as asymptotic property C (APC), finite decomposition complexity (FDC), strict finite decomposition complexity (sFDC) which are weakenings of Gromov's finite asymptotic…

Let $X=(X(n))_{n \in \mathbb{Z_+}}$ be a standard subproduct system of $C^*$-correspondences over a $C^*$-algebra $\mathcal M.$ Assume $T=(T_n)_{n \in \mathbb{Z_+}}$ to be a pure completely contractive, covariant representation of $X$ on a…

Harmonic and polyanalytic functional calculi have been recently defined for bounded commuting operators. Their definitions are based on the Cauchy formula of slice hyperholomorphic functions and on the factorization of the Laplace operator…

Operator monotone functions, introduced by Lowner in 1934, are an important class of real-valued functions. They arise naturally in matrix and operator theory and have various applications in other branches of mathematics and related…

We prove two main results on Denjoy-Carleman classes: (1) a composite function theorem which asserts that a function f(x) in a quasianalytic Denjoy-Carleman class Q, which is formally composite with a generically submersive mapping y=h(x)…

The author makes use of infinite compositions and a limiting function to construct a $\mathcal{C}^\infty$ tetration function $\mathcal{F}(t) = e \tet t$. As a tetration function, $\mathcal{F}$ satisfies $e^{\mathcal{F}(t)} =…

Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper…

We study the action of Hamiltonian diffeomorphisms of a compact symplectic manifold ($X,\omega$) on $C^\infty(X)$ and on functions $C^\infty(X)\to \mathbb R$. We describe various properties of invariant convex functions on $C^\infty(X)$.…

For an unbounded operator $S$ on a Banach space the existence of invariant subspaces corresponding to its spectrum in the left and right half-plane is proved. The general assumption on $S$ is the uniform boundedness of the resolvent along…

We establish several deep existence criteria for conditional expectations on von Neumann algebras, and then apply this theory to develop a noncommutative theory of representing measures of characters of a function algebra. Our main cycle of…

We show that (for the weak operator topology) the set of unitary operators on a separable infinite-dimensional Hilbert space is residual in the set of all contractions. The analogous result holds for isometries and the strong operator…

We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions…

The main result of this paper is the extension of the Schur-Horn Theorem to infinite sequences: For two nonincreasing nonsummable sequences x and y that converge to 0, there exists a compact operator A with eigenvalue list y and diagonal…

An \textit{ideal} of $N$-tuples of operators is a class invariant with respect to unitary equivalence which contains direct sums of arbitrary collections of its members as well as their (reduced) parts. New decomposition theorems (with…