Related papers: A Model Theoretic Perspective on Matrix Rings

We build on our previous paper \cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for the classical quaternions, octonions, as well as other…

We consider realization and isomorphism problems for formal matrix rings over a given ring. Principal multiplier matrices of such rings play an important role in this case.\\ The work of A.A.Tuganbaev is supported by Russian Scientific…

The nature of M-theory on K3 X I, where I is a line interval, is considered, with a view towards formulating a `matrix theory' representation of that situation. Various limits of this compactification of M-theory yield a number of well…

We introduce a version of algebraic $K$-theory for coefficient systems of rings which is valued in genuine $G$-spectra for a finite group $G$. We use this construction to build a genuine $G$-spectrum $K_G(\mathbb{Z}[\underline{\pi_1(X)}])$…

For ${n \in \mathbb{N}}$, the $n$-truncation of a matroid $M$ of rank at least $n$ is the matroid whose bases are the $n$-element independent sets of $M$. One can extend this definition to negative integers by letting the $(-n)$-truncation…

We study the implications of scale invariance in four-dimensional quantum field theories. Imposing unitarity, we find that infinitely many matrix elements vanish in a suitable kinematical configuration. This vanishing is a nontrivial…

We associate reduced and full C*-algebras to arbitrary rings and study the inner structure of these ring C*-algebras. As a result, we obtain conditions for them to be purely infinite and simple. We also discuss several examples.…

Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the matrix $B$ can…

Unitary 1-matrix models are shown to be exactly equivalent to hermitian 1-matrix models coupled to 2N vectors with appropriate potentials, to all orders in the 1/N expansion. This fact allows us to use all the techniques developed and…

A simple cubic matrix model is presented, which has truncations that, it is argued, lead at the classical level to a variety of theories of gauge fields and gravity. These include Chern-Simons theory in d=3, and BF theory and general…

The matrix model formulation of M-theory can be generalized by compactification to ten-dimensional type II string theory, formulated in the infinite momentum frame. Both the type IIA and IIB string theories can be formulated in this way. In…

In order to construct a representation of the tangle category one needs an enhanced R-matrix. In this paper we define a sufficient and necessary condition for enhancement that can be checked easily for any R-matrix. If the R-matrix can be…

For an extension A/B of neither necessarily associative nor necessarily unital rings, we investigate the connection between simplicity of A with a property that we call A-simplicity of B. By this we mean that there is no non-trivial ideal I…

First we survey generating function methods for obtaining useful probability estimates about random matrices in the finite classical groups. Then we describe a probabilistic picture of conjugacy classes which is coherent and beautiful.…

Every commuting set of normal matrices with entries in an AW*-algebra can be simultaneously diagonalized. To establish this, a dimension theory for properly infinite projections in AW*-algebras is developed. As a consequence, passing to…

Let $M_n$ denote the algebra of complex $n\times n $ matrices and write $M$ for the direct sum of the $M_n$. So a typical element of $M$ has the form \[x = x_1\oplus x_2 \... \oplus x_n \oplus \...,\] where $x_n \in M_n$ and $\|x\| =…

We review aspects of entanglement entropy in the quantum mechanics of $N\times N$ matrices, i.e. matrix quantum mechanics (MQM), at large $N$. In doing so we review standard models of MQM and their relation to string theory, D-brane…

Effective theories are non-local at the scale of the eliminated heavy particles modes. The gradient expansion which represents such non-locality must be truncated to have treatable models. This step leads to the proliferation of the degrees…

We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples…

The study of word equations (or the existential theory of equations over free monoids) is a central topic in mathematics and theoretical computer science. The problem of deciding whether a given word equation has a solution was shown to be…