Related papers: Exact-Sequence Stability and Ambient Realizations …
We study the class of pseudocompact C*-algebras, which are the logical limits of finite-dimensional C*-algebras. The pseudocompact C*-algebras are unital, stably finite, real rank zero, stable rank one, and tracial. We show that the…
In this paper, we construct a seven-term exact sequence involving the cohomology groups of a group extension. Although the existence of such a sequence can be derived using spectral sequence arguments, there is little knowledge about some…
By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm…
Strictly proper kernel scores are well-known tool in probabilistic forecasting, while characteristic kernels have been extensively investigated in the machine learning literature. We first show that both notions coincide, so that insights…
Let $\mathscr{A}$ be an abelian category and $\mathscr{C}$ an additive full subcategory of $\mathscr{A}$. We provide a method to construct a proper $\mathscr{C}$-resolution (resp. coproper $\mathscr{C}$-coresolution) of one term in a short…
Continuous actions of topological groups on compact Hausdorff spaces $X$ are investigated which induce almost periodic functions in the corresponding commutative C*-algebra. The unique invariant mean on the group resulting from averaging…
In this article, we generalize a previously defined set of axioms for a closure operation that induces balanced big Cohen-Macaulay modules. While the original axioms were only defined in terms of finitely generated modules, these new ones…
Approximate morphisms have seen significant study across many areas of mathematics, for instance, in the theory of Absolute (Neighborhood) Retracts in topology, or of almost-commuting unitary matrices in analysis. This paper initiates study…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
We show that certain C*-algebras which have been studied among others by Arzumanian, Vershik, Deaconu, and Renault in connection to a measure preserving transformation of a measure space and/or to a covering map of a compact space are…
Weak-memory models are standard formal specifications of concurrency across hardware, programming languages, and distributed systems. A fundamental computational problem is consistency testing: is the observed execution of a concurrent…
This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…
A group may be considered $C^*$-stable if almost representations of the group in a $C^*$-algebra are always close to actual representations. We initiate a systematic study of which discrete groups are $C^*$-stable or only stable with…
A mapping $f: {\mathcal M} \to {\mathcal N}$ between Hilbert $C^*$-modules approximately preserves the inner product if \[\|< f(x), f(y)> - < x, y> \| \leq \phi(x, y),\] for an appropriate control function $\phi(x,y)$ and all $x, y \in…
Fourth-order accurate compact schemes for variable coefficient convection diffusion equations are considered. A sufficient condition for the stability of the fully discrete problem is derived using a difference equation based approach. The…
We extend McCarthy's stabilization construction to exact $\infty$-categories. This is achieved by constructing, for any functor from exact $\infty$-categories to a fixed stable $\infty$-category $\mathcal{A}$, a coherent chain complex in…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
We present necessary and sufficient optimality conditions for finite time optimal control problems for a class of hybrid systems described by linear complementarity models. Although these optimal control problems are difficult in general…
Multiprocess systems, including grid systems, multiprocessors and multicore computers, incorporate a variety of specialized hardware and software mechanisms, which speed computation, but result in complex memory behavior. As a consequence,…
Let $(C,\underline{w})$ be a polarized nodal reducible curve. In this paper we consider coherent systems of type $(r,d,k)$ on $C$ with $k < r$. We prove that the moduli spaces of $(\underline{w},\alpha)$-stable coherent systems stabilize…