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

We show that compactness of the $\overline{\partial}$-Neumann operator is independent of the metric, and we give a new proof of this independence for subellipticity. We define an abstract obstruction to compactness, namely the common zero…

We show that many invariant subspaces M for d-shifts (S_1,...,S_d) of finite rank have the property that the projection P onto M almost commutes with the S_k in the sense that the commutators PS_k - S_kP belong to the Schatten-von Neumann…

We generalize to the setting of Arveson's maximal subdiagonal subalgebras of finite von Neumann algebras, the Szeg\"o $L^p$-distance estimate, and classical theorems of F. and M. Riesz, Gleason and Whitney, and Kolmogorov. In so doing, we…

Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…

The corepresentation theory of continuous groups is presented without the assumption that the subgroup $G$ of the group with antilinear operations is unitary. The formulas of the corepresentation theory with unitary groups $G$ can be…

We consider continuous, translation-commuting transformations of compact, translation-invariant families of mappingsfrom finitely generated groups into finite alphabets. It is well-known that such transformations and spaces can be described…

We construct bisymmetric, strictly increasing binary operations on real intervals which are not continuous. This answers a natural question in the theory of bisymmetric and mean-type operations by showing that continuity may fail for…

We generalize Loewner's method for proving that matrix monotone functions are operator monotone. The relation x \leq y on bounded operators is our model for a definition for C*-relations of being residually finite dimensional. Our main…

We introduce infinitary action logic with exponentiation -- that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allows some of the structural rules…

The concept of polytopes was a milestone in elementary integral group theory. In this article, we will extend the concept of contra-linearly stochastic lines to H-Positive Definite Monoids. We will show that by adding the Non-Gaussian…

We characterize inclusions of compact noncommutative convex sets with the property that every continuous affine function on the smaller set can be extended to a continuous affine function on the larger set with a uniform bound. As an…

We prove a number of results linking properties of actions by compact groups (both quantum and classical) on Banach spaces, such as uniform continuity, spectrum finiteness and extensibility of the actions across several constructions.…

Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always been described only negatively, by the property it does not…

Many iterative optimization algorithms involve compositions of special cases of Lipschitz continuous operators, namely firmly nonexpansive, averaged and nonexpansive operators. The structure and properties of the compositions are of…

We develop the compactness theory of multilinear singular integrals on product spaces using a modern point of view. The first main result is a compact $T1$ theorem for multilinear Calder\'{o}n--Zygmund operators on product spaces. More…

Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear…

We study maximal monotone operators $A : X \rightrightarrows X^*$ whose Fitzpatrick family reduces to a singleton; such operators will be called uniquely representable. We show that every such operator is cyclically monotone (hence,…

Let $\mathbb F$ be a finite field and let $\mathcal A$ and $\mathcal B$ be vector spaces of $\mathbb F$-valued continuous functions defined on locally compact spaces $X$ and $Y$, respectively. We look at the representation of linear…

The c-functions, related to a reductive symmetric space G/H and a fixed representation of a maximal compact subgroup K of G, are shown to satisfy polynomial bounds in imaginary directions.

A theorem of Gerald Schwarz [24, Thm. 1] says that for a linear action of a compact Lie group $G$ on a finite dimensional real vector space $V$ any smooth $G$-invariant function on $V$ can be written as a composite with the Hilbert map. We…