Related papers: A Model Theoretic Perspective on Matrix Rings
We find evidence for a duality between the standard matrix formulations of M theory and a background independent theory which extends loop quantum gravity by replacing SU(2) with a supersymmetric and quantum group extension of SU(16). This…
We investigate the problem of completing partial matrices to rank-one matrices in the standard simplex. The motivation for studying this problem comes from statistics: A lack of eligible completion can provide a falsification test for…
We describe the design of a quantifier elimination framework for the complex numbers in the language of ordered rings supplemented with symbols for the imaginary unit, real parts, imaginary parts, and conjugates. Technically, we use a…
We prove that if R is a principal ideal ring and A\in\M_n(R) is a matrix with trace zero, then A is a commutator, that is, A=XY-YX for some X,Y\in\M_n(R). This generalises the corresponding result over fields due to Albert and Muckenhoupt,…
Random matrices are used in fields as different as the study of multi-orthogonal polynomials or the enumeration of discrete surfaces. Both of them are based on the study of a matrix integral. However, this term can be confusing since the…
Small M-theories unify various models of a given family in the same way as the M-theory unifies a variety of superstring models. We consider this idea in application to the family of eigenvalue matrix models: their M-theory unifies various…
While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking. Since the…
Suppose $\Gamma$ is a submonoid of a lattice, not containing a line. In this note, we use the natural $\Gamma$-grading on the monoid algebra $R[\Gamma]$ to prove structural results about the relative $K$-theory $K(R[\Gamma], R)$. When $R$…
In this paper we consider reduced (non-normal) commutative noetherian rings $R$. With the help of conductor ideals and trace ideals of certain $R$-modules we deduce a criterion for a reflexive $R$-module to be closed under multiplication…
Systems of neutral interacting mesons are investigated, concerning in particular the validity of their description by an effective hamiltonian. First, I study its connection to quantum field theory and show that the spectrum of such systems…
We show how the separability problem is dual to that of decomposing any given matrix into a conic combination of rank-one partial isometries, thus offering a duality approach different to the positive maps characterization problem. Several…
In this contribution we revisit regular model checking, a powerful framework that has been successfully applied for the verification of infinite-state systems, especially parameterized systems (concurrent systems with an arbitrary number of…
Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves…
A possible avenue towards the covariant formulation of the bosonic Matrix Theory is explored. The approach is guided by the known covariant description of the bosonic membrane. We point out various problems with this particular…
This paper presents an extension of the concept of NR-clean introduced in [12] to graded ring theory. We define and explore graded NR-clean rings, which generalize the class of graded U-nil clean previously studied in [15]. We provide…
It is shown that most possibly truncated power series rings admit uncountably many filtered lambda-ring structures. The question of how many of these filtered lambda-ring structures are topologically realizable by the K-theory of…
We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism…
We compute K-theory for ring C*-algebras in the case of higher roots of unity and thereby completely determine the K-theory for ring C*-algebras attached to rings of integers in arbitrary number fields.
The theory of generalized inverses of matrices and operators is closely connected with projections, i.e., idempotent (bounded) linear transformations. We show that a similar situation occurs in any associative ring $\mathcal{R}$ with a unit…
We consider a matrix model with d matrices NxN and show that in the limit of large N and d=0 the model describes the knot diagrams. The same limit in matrix string theory is also discussed. We speculate that a prototypical M(atrix) without…