Related papers: Proper Analytic Free Maps
We present an algorithmic equivalent statement to the Jacobian conjecture. Given a polynomial map F on an affine space of dimension n, our algorithm constructs n sequences of polynomials such that F is invertible if and only if the zero…
Let $\A$ be an algebra and let $f(x_1,...,x_d)$ be a multilinear polynomial in noncommuting indeterminates $x_i$. We consider the problem of describing linear maps $\phi:\A\to \A$ that preserve zeros of $f$. Under certain technical…
Motivated by the asymptotic collective behavior of random and deterministic matrices, we propose an approximation (called "free deterministic equivalent") to quite general random matrix models, by replacing the matrices with operators…
It is well-known that a function on an open set in $\mathbb R^d$ is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance, a real…
Consider a monic linear pencil $L(x) = I - A_1x_1 - \cdots - A_gx_g$ whose coefficients $A_j$ are $d \times d$ matrices. It is naturally evaluated at $g$-tuples of matrices $X$ using the Kronecker tensor product, which gives rise to its…
An independent set in a graph is a set of pairwise non-adjacent vertices, and alpha(G) is the size of a maximum independent set in the graph G. A matching is a set of non-incident edges, while mu(G) is the cardinality of a maximum matching.…
A commutative algebra is exact if its multiplication endomorphisms are trace-free and is Killing metrized if its Killing type trace-form is nondegenerate and invariant. A Killing metrized exact commutative algebra is necessarily neither…
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no…
We consider algebras of rational power series over an alphabet $\Sigma$ with coefficients in a commutative semiring $K$ and characterize them as the free algebras in various classes of algebraic structures.
The free closed semialgebraic set $D_f$ determined by a hermitian noncommutative polynomial $f$ is the closure of the connected component of $\{(X,X^*)\mid f(X,X^*)>0\}$ containing the origin. When $L$ is a hermitian monic linear pencil,…
Leavitt path algebras are free algebras subject to relations induced by directed graphs. This paper investigates the ideals of Leavitt path algebras, with an emphasis on the relationship between graph-theoretic properties of a directed…
We construct non-commutative analogs of transport maps among free Gibbs state satisfying a certain convexity condition. Unlike previous constructions, our approach is non-perturbative in nature and thus can be used to construct transport…
Let $\mathcal{A}$ denote the class of analytic functions $f$ on the unit disc $\mathbb{D}=\{z\in\mathbb{C}:\;|z|<1\}$ normalized by $f(0)=0$ and $f^{\prime}(0)=1$. In the present article, we consider and $\mathcal{F}(c)$ the subclasses of…
We consider analytic maps and vector fields defined in $\mathbb{R}^2 \times \mathbb{T}^d$, having a $d$-dimensional invariant torus $\mathcal{T}$. The map (resp. vector field) restricted to $\mathcal{T}$ defines a rotation of frequency…
We study smooth maps that arise in derived algebraic geometry. Given a map $A \to B$ between non-positive commutative noetherian DG-rings which is of flat dimension $0$, we show that it is smooth in the sense of To\"{e}n-Vezzosi if and only…
A proof is reconstructed for a useful theorem on the zeros of derivatives of analytic functions due to H. M. Macdonald, which appears to be now little known. The Theorem states that, if a function $f(z)$ is analytic inside a bounded region…
Deterministic variables are variables that are fully explained by one or more parent variables. They commonly arise when a variable has been algebraically constructed from one or more parent variables, as with composite variables, and in…
Analytic self-maps of the unit disc whose hyperbolic derivative is uniformly bounded by a constant smaller than one, are called contractive. We describe these maps in terms of their Aleksandrov-Clark measures and in terms of their…
We give a combinatorial characterization of nodal curves admitting a natural d-th Abel map to their Picard scheme, for any positive integer d. "Natural" here means compatible with and independent of specialization.
Given a finite collection of $C^1$ vector fields on a $C^2$ manifold which span the tangent space at every point, we consider the question of when there is locally a coordinate system in which these vector fields are real analytic. We give…