Related papers: Elementary Complexity and von Neumann Algebras
We introduce the notion of implicative algebra, a simple algebraic structure intended to factorize the model constructions underlying forcing and realizability (both in intuitionistic and classical logic). The salient feature of this…
We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification Rosenthal compacta, to identify new complexity classes. We use the language of…
There has been much recent interest in the necessity of an observer degree of freedom in the description of local algebras in semiclassical gravity. In this work, we describe an example where the observer can be constructed intrinsically…
This paper exhibits a series of semantic characterisations of sublinear nondeterministic complexity classes. These results fall into the general domain of logic-based approaches to complexity theory and so-called implicit computational…
We carry out a careful study of operator algebras associated with Delone dynamical systems. A von Neumann algebra is defined using noncommutative integration theory. Features of these algebras and the operators they contain are discussed.…
In this paper we use the viewpoint of the formal calculus underlying vertex operator algebra theory to study certain aspects of the classical umbral calculus and we introduce and study certain operators generalizing the classical umbral…
The classical theory of $G$-structures, which include almost-complex structures, explains the relationship between the curvature of compatible connections and integrability. This note is an effort to understand how the curvature of…
In an impressive series of papers, Krivine showed at the edge of the last decade how classical realizability provides a surprising technique to build models for classical theories. In particular, he proved that classical realizability…
In the mid thirties Murray and von Neumann found a natural way to associate a von Neumann algebra $L(\Gamma)$ to any countable discrete group $\Gamma$. Classifying $L(\Gamma)$ in term of $\Gamma$ is a notoriously complex problem as in…
In this paper we analyze the structure of some sets of non-commutative moments of elements in a finite von Neumann algebra M. If the fundamental group of M is R_+\{0}, then the moment sets are convex, and if M is isomorphic to M tensor M,…
This paper presents a novel possible worlds semantics, designed to elucidate the underpinnings of ultrafinitism. By constructing a careful modification of the well-known Kripke models for inuitionistic logic, we seek to extend our…
Many possible definitions have been proposed for fractional derivatives and integrals, starting from the classical Riemann-Liouville formula and its generalisations and modifying it by replacing the power function kernel with other kernel…
This is the first of a series of papers in which we study deep computations (ultracomputations) and deep iterates, formalizing the ideas of "asymptotic limit" of computations and compositional iterates, respectively. In this first paper of…
We outline refined versions of two major quantum algorithms for performing principal component analysis and solving linear equations. Our methods are exponentially faster than their classical counterparts and even previous quantum…
We show that the discrete complex, and numerous hypercomplex, Fourier transforms defined and used so far by a number of researchers can be unified into a single framework based on a matrix exponential version of Euler's formula…
In this note, we developed several results concerning abelian von Neumann algebras, their spectrums, and their tensor products with other von Neumann algebras. In particular, we developed a theory connecting elements of the spectrum of…
We study the learnability of a class of compact operators known as Schatten--von Neumann operators. These operators between infinite-dimensional function spaces play a central role in a variety of applications in learning theory and inverse…
In this paper, we study the structure of operators in a type $\mathrm{I}_{n}$ von Neumann algebra $\mathscr{A}$. Inspired by the Jordan canonical form theorem, our main motivation is to figure out the relation between the structure of an…
We study and derive algorithms for nonlinear eigenvalue problems, where the system matrix depends on the eigenvector, or several eigenvectors (or their corresponding invariant subspace). The algorithms are derived from an implicit…
In a previous work, we have associated a complete differential graded Lie algebra to any finite simplicial complex in a functorial way. Similarly, we have also a realization functor from the category of complete differential graded Lie…