Related papers: Ultrafilters in Reverse Mathematics
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…
We give a complete description of the anti-involutions that preserve the principal gradation of the algebra of matrix quantum pseudodifferential operators and we describe the Lie subalgebras of its minus fixed points.
We consider the properties weak cancellation, K_1-surjectivity, good index theory, and K_1-injectivity for the class of extremally rich C*-algebras, and for the smaller class of isometrically rich C*-algebras. We establish all four…
We show that there are exactly two anti-involution $\sigma_{\pm}$ of the algebra of differential operators on the circle that are a multiple of $p(t\partial_t)$ preserving the principal gradation ($p\in\CC[x]$ non-constant). We classify the…
The aim of Reverse Mathematics(RM for short)is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. These minimal axioms are almost always equivalent to the theorem, working over the base theory of RM, a weak…
We begin the study of the consequences of the existence of certain infinite matrices. Our present application is to compactness of products of topological spaces.
We present an elementary treatment of the Optional Decomposition Theorem for continuous semimartingales and general filtrations. This treatment does not assume the existence of equivalent local martingale measure(s), only that of strictly…
We extend the recently developed converse NMR approach [T. Thonhauser, D. Ceresoli, A. Mostofi, N. Marzari, R. Resta, and D. Vanderbilt, J. Chem. Phys. \textbf{131}, 101101 (2009)] such that it can be used in conjunction with…
Anomaly detection is widely used for identifying critical errors and suspicious behaviors, but current methods lack interpretability. We leverage common properties of existing methods and recent advances in generative models to introduce…
The theory of matrix splitting is a useful tool for finding solution of rectangular linear system of equations, iteratively. The purpose of this paper is two-fold. Firstly, we revisit theory of weak regular splittings for rectangular…
A four dimensional non-trivial extension of the Poincar\'e algebra different from supersymmetry is explicitly studied. Representation theory is investigated and an invariant Lagrangian is exhibited. Some discussion on the Noether theorem is…
We use sequences which depend on two parameters to define families of ultradifferentiable functions which contain Gevrey classes. It is shown that such families are closed under superposition, and therefore inverse closed as well.…
Time-reversal (TR) refocusing of waves is one of fundamental principles in wave physics. Using the TR approach, "Time-reversal mirrors" can physically create a time-reversed wave that exactly refocus back, in space and time, to its original…
This article surveys results regarding the Tukey theory of ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey…
We defined (n+1)-ary derivations of $n$-ary algebras. We described (n+1)-derivations of simple and semisimple finite-dimensional Filippov algebras over algebraically closed field zero characteristic. We constructed new examples of…
We initiate the representation theory of restricted Lie superalgebras over an algebraically closed field of characteristic p>2. A superalgebra generalization of the celebrated Kac-Weisfeiler Conjecture is formulated, which exhibits a…
We consider fragments of uniform reflection for formulas in the analytic hierarchy over theories of second order arithmetic. The main result is that for any second order arithmetic theory $T_0$ extending ${\sf RCA}_0$ and axiomatizable by a…
In this paper, we derive explicit reconstruction formulas for two common measurement geometries: a plane and a sphere. The problem is formulated as inverting the forward operator $R^a$, which maps the initial source to the measured wave…
We briefly review the general structure of integrable particle theories in 1+1 dimensions having N=1 supersymmetry. Examples are specific perturbed superconformal field theories (of Yang-Lee type) and the N=1 supersymmetric sine-Gordon…
In arXiv:math/0603621 we introduced the notion of a partial translation $C^*$-algebra for a discrete metric space. Here we demonstrate that several important classical $C^*$-algebras and extensions arise naturally by considering partial…