Related papers: Injectivity and the Law of Demand
One of the aims of this article is to provide a class of polynomial mappings for which the Jacobian conjecture is true. Also, we state and prove several global univalence theorems and present a couple of applications of them.
The real Jacobian conjecture claims that if $F=\left(f^1,\ldots,f^n\right):\mathbb{R}^n\rightarrow \mathbb{R}^n$ is a polynomial map such that $\det DF$ is nowhere zero, then $F$ is a global injective. The first part is to study the…
Jacobian conjecture states that if $F:\ \mathbb C^n(\mathbb R^n)\rightarrow \mathbb C^n(\mathbb R^n)$ is a polynomial map such that the Jacobian of $F$ is a nonzero constant, then $F$ is injective. This conjecture is still open for all…
The Jacobian Conjecture would follow if it were known that real polynomial maps with a unipotent Jacobian matrix are injective. The conjecture that this is true even for $C^1$ maps is explored here. Some results known in the polynomial case…
We give sufficient conditions for a planar quasiregular mapping to be injective in terms of the range of the differential matrix.
We present a framework for characterizing injectivity of classes of maps (on cosets of a linear subspace) by injectivity of classes of matrices. Using our formalism, we characterize injectivity of several classes of maps, including…
This paper presents sufficient graph-theoretic conditions for injectivity of collections of differentiable functions on rectangular subsets of R^n. The results have implications for the possibility of multiple fixed points of maps and…
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…
The real Jacobian conjecture was posed by Randall in 1983. This conjecture asserts that if $F=\left(f_1,\ldots ,f_n\right):\mathbb{R}^n\rightarrow\mathbb{R}^n$ is a polynomial map such that $\det DF\left(\mathbf{x}\right)\neq0$ for all…
We propose a handful of definitions of injectivity for a parametrized family of maps and study its link with a global nonuniform stability conjecture for nonautonomous differential systems, which has been recently introduced. This relation…
The main result given in Theorem~1.1 is a condition for a map $X$, defined on the complement of a disk $D$ in R^2 with values in R^2, to be extended to a topological embedding of R^2, not necessarily surjective. The map $X$ is supposed to…
Based on many experts' former work in the Jacobian conjecture and an essential analysis of intrinsic topology of linear maps, I completely prove the Jacobian conjecture by demonstrating the injectivity of real Keller map of any…
A necessary and sufficient condition for 1-distillability is formulated in terms of decomposable positive maps. As an application we provide insight into why all states violating the reduction criterion map are distillable and demonstrate…
The present paper is devoted to investigating the two-dimensional real Jacobian conjecture. This conjecture claims that if $F=\left(f,g\right):\mathbb{R}^2\rightarrow \mathbb{R}^2$ is a polynomial map with $\det DF\left(x,y\right)\ne0$ for…
The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic…
From physical perspective, derivatives can be viewed as mathematical idealizations of the linear growth. The linear growth condition has special properties, which make it preferred. The manuscript investigates the general properties of the…
Injectivity of objects with respect to a set $\ch$ of morphisms is an important concept of algebra, model theory and homotopy theory. Here we study the logic of injectivity consequences of $\ch$, by which we understand morphisms $h$ such…
Object queries are essential in information seeking and decision making in vast areas of applications. However, a query may involve complex conditions on objects and sets, which can be arbitrarily nested and aliased. The objects and sets…
We consider the semigroup of \'etale polynomial mappings $\mathbb{C}^2\rightarrow\mathbb{C}^2$ where the binary operation is composition. We prove that both the right and the left composition operators on this semigroup are injective. This…
For any integer $d \geq 1$, we verify the Jacobian Conjecture for a $d$-linear map in two variables. We prove that almost all the coefficients of the formal inverse are in the ideal specified by the Jacobian condition. We find expressions…