Related papers: The implicit function theorem and free algebraic s…

Consider the algebra Q<<x_1,x_2,...>> of formal power series in countably many noncommuting variables over the rationals. The subalgebra Pi(x_1,x_2,...) of symmetric functions in noncommuting variables consists of all elements invariant…

The analytic implicit function theorem is extended. The function f of the theorem is integrated with respect to the dependent variable of the implicit function. A geometrical interpretation is given for the sub-geometry of the integral…

We study a class of noncommutative gauge theory models on 2-dimensional Moyal space from the viewpoint of matrix models and explore some related properties. Expanding the action around symmetric vacua generates non local matrix models with…

It is well known that over an infinite field the ring of symmetric functions in a finite number of variables is isomorphic to the one of polynomial functions on matrices that are invariants by the action of conjugation by general linear…

A version of the classical Vieta theorem for free noncommuting variables is given. It leads to a new start in a construction of noncommutative symmetric functions

We show that Lieb's concavity theorem holds more generally for any unitarily invariant matrix function $\phi:\mathbf{H}^n_+\rightarrow \mathbb{R}$ that is monotone and concave. Concretely, we prove the joint concavity of the function $(A,B)…

This paper concerns matrix "convex" functions of (free) noncommuting variables, $x = (x_1, \ldots, x_g)$. Helton and McCullough showed that a polynomial in $x$ which is matrix convex is of degree two or less. We prove a more general result:…

Let k be an algebraically closed field. A polynomial F in k[X,Y] is said to be "generally rational" if, for almost all c in k, the curve " F= c '' is rational. It is well known that, if char(k)=0, F is generally rational iff there exists G…

It is shown that a polynomial map $(P,Q)\in \mathbb{Q}[x,y]^2$ with $P_xQ_y-P_yQ_x \equiv 1$ has an inverse map in $\mathbb{Q}[x,y]^2$ if the fiber $P=0$ contains an infinite subset of $ d^{-1}\mathbb{Z}^2$ for an integer $d$.

In this paper we describe a condition under which a given function that commute with an idempotent function on an infinite set is a Cayley function using its functional digraph.

We show that polynomial-time randomness (p-randomness) is preserved under a variety of familiar operations, including addition and multiplication by a nonzero polynomial-time computable real number. These results follow from a general…

Let $\Rx$ denote the ring of polynomials in $g$ freely non-commuting variables $x=(x_1,...,x_g)$. There is a natural involution * on $\Rx$ determined by $x_j^*=x_j$ and $(pq)^*=q^* p^*$ and a free polynomial $p\in\Rx$ is symmetric if it is…

The present author recently proposed and proved a relationship theorem between nonlinear polynomial equations and the corresponding Jacobian matrix. By using this theorem, this paper derives a Newton iterative formula without requiring the…

To each real continuous function f there is an associated trace function on real symmetric matrices Tr f. The classical Klein lemma states that f is convex if and only if Tr f is convex. In this note we present an algebraic strengthening of…

We consider uniformly continuous surjections between $C_p(X)$ and $C_p(Y)$ (resp, $C_p^*(X)$ and $C_p^*(Y$)) and show that if $X$ has some dimensional-like properties, then so does $Y$. In particular, we prove that if $T:C_p(X)\to C_p(Y)$…

Let ${\mathbb Z}_p$ denote the ring of all $p$-adic integers and call $${\mathcal U}=\{(x_1,\ldots,x_n):\,a_1x_1+\ldots+a_nx_n+b=0\}$$ a hyperplane over ${\mathbb Z}_p^n$, where at least one of $a_1,\ldots,a_n$ is not divisible by $p$. We…

Stanley associated with a graph G a symmetric function X_G which reduces to G's chromatic polynomial under a certain specialization of variables. He then proved various theorems generalizing results about the chromatic polynomial, as well…

We obtain the following embedding theorem for symbolic dynamical systems. Let $G$ be a countable amenable group with the comparison property. Let $X$ be a strongly aperiodic subshift over $G$. Let $Y$ be a strongly irreducible shift of…

This paper introduces arithmetic geometry for polynomial identity algebras using non-commutative (formal) deformation theory. Since formal deformation theory is inherently local the arithmetic and geometric results that follow give local…

We argue that there should exist a "noncommutative Fourier transform" which should identify functions of noncommutative variables (say, of matrices of indeterminate size) and ordinary functions or measures on the space of paths. Some…