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

We prove a non-smooth generalization of the global implicit function theorem. More precisely we use the non-smooth local implicit function theorem and the non-smooth critical point theory in order to prove a non-smooth global implicit…

We prove an inverse function theorem of Nash-Moser type for maps between Fr\'echet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome…

An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be…

This paper presents a noncommutative theory of symmetric functions, based on the notion of quasi-determinant. We begin with a formal theory, corresponding to the case of symmetric functions in an infinite number of independent variables.…

For linear operators which factor with suitable assumptions concerning commutativity of the factors, we introduce several notions of a decomposition. When any of these hold then questions of null space and range are subordinated to the same…

In this paper we prove Implicit Function Theorems (IFT) for algebraic varieties defined by regular quadratic equations and, more generally, regular NTQ systems over free groups. In the model theoretic language these results state the…

The symmetric function theorem states that a polynomial that is invariant under permutation of variables, is a polynomial in the elementary symmetric polynomials. We deduce this classical result, in the analytic setting, from the…

We establish an analogue of the fundamental theorem of algebra for polynomial matrix equations, in which the matrices-coefficients and unknown matrix are assumed to be circulant matrices.

Let K be an algebraically closed field of characteristic zero and let f(x,y) be a nonzero polynomial of K[x,y]. We prove that if the generic element of the family $(f-\lambda)\_{\lambda}$ is a rational polynomial, and if the Jacobian J(f,g)…

One of the main applications of free probability is to show that for appropriately chosen independent copies of $d$ random matrix models, any noncommutative polynomial in these $d$ variables has a spectral distribution that converges…

The paper is devoted to the implicit function theorem involving singular mappings.We also discuss the form of the tangent cone to the solution set of the generalized equations in singular case and give some examples of applications to…

In the context of the stream calculus, we present an Implicit Function Theorem (IFT) for polynomial systems, and discuss its relations with the classical IFT from calculus. In particular, we demonstrate the advantages of the stream IFT from…

We prove a version of both Jacobi's and Montel's Theorems for the case of continuous functions defined over the field $\mathbb{Q}_p$ of $p$-adic numbers. In particular, we prove that, if \[ \Delta_{h_0}^{m+1}f(x)=0 \ \ \text{for all}…

We show that the ring of multisymmetric functions over a commutative ring is isomorphic to the ring generated by the coefficients of the characteristic polynomial of polynomials in commuting generic matrices. As a consequence we give a…

We prove two versions of a global implicit function theorem, which involve no loss of derivative, for Keller's $ C_c^1 $-mappings between arbitrary Fr\'{e}chet spaces. Subsequently, within this framework, we apply these theorems to…

Let X be a closed subscheme and let HF(X,-) and hp(X,-) denote, respectively, the Hilbert function and the Hilbert polynomial of X. We say that X has bipolynomial Hilbert function if HF(X,d)=min{hp(P^n,d),hp(X,d)} for every non-negative…

Let a and x denote tuples of (jointly) freely noncommuting variables. A square matrix valued polynomial p in these variables is naturally evaluated at a tuple (A,X) of symmetric matrices with the result p(A,X) a square matrix. The…

In this note we prove a selection of commutativity theorems for various classes of semigroups. For instance, if in a separative or completely regular semigroup $S$ we have $x^p y^p = y^p x^p$ and $x^q y^q = y^q x^q$ for all $x,y\in S$ where…

Let $K$ be an algebraically closed field and $\mathrm{M}(2,K)$ be the $2\times 2$ matrix algebra over $K$ and $\mathrm{GL}(2,K)$ be the invertible elements in $\mathrm{M}(2,K)$. We explore the image of polynomials with constants, namely…

In this note, we discuss a generalization of the well-known implicit function theorem to the time-delay case. We show that the latter problem is closely related to the bicausal changes of coordinates of time-delay systems. An iterative…