Related papers: Free analysis, convexity and LMI domains
LMI (Linear Matrix Inequalities) regions is an important class of convex subsets of $\mathbb C$ arising in control theory. An LMI region $\mathfrak D$ is defined by its matrix-valued characteristic function $f_{\mathfrak D}(z) = {\mathbf L}…
We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real…
The goal of this paper is to develop some fundamental and important nonlinear analysis for single-valued mappings under the framework of p-vector spaces, in particular, for locally p-convex spaces for p in (0, 1]. More precisely, based on…
A higher dimensional generalization of the cross product is associated with an adequate matrix multiplication. This index-free view allows for a better understanding of the underlying algebraic structures, among which are generalizations of…
Graph independence (also known as $\epsilon$-independence or $\lambda$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain…
The key result in the paper concerns two transformations, Phi(rho, psi) and B_t(psi) on states on the algebra of non-commutative polynomials, or equivalently on joint distributions of d-tuples of non-commuting operators. These…
Matrix convexity generalizes convexity to the dimension free setting and has connections to many mathematical and applied pursuits including operator theory, quantum information, noncommutative optimization, and linear control systems. In…
The Hamiltonian formulation for a non-Abelian gauge theory in two spatial dimensions is carried out in terms of a gauge-invariant matrix parametrization of the fields. The Jacobian for the relevant transformation of variables is given in…
There has been a surge of works bridging MCMC sampling and optimization, with a specific focus on translating non-asymptotic convergence guarantees for optimization problems into the analysis of Langevin algorithms in MCMC sampling. A…
We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to…
We develop a new, coordinate-free formulation of Hamiltonian mechanics on the dual of a Lie algebroid. Our approach uses a connection, rather than coordinates in a local trivialization, to obtain global expressions for the horizontal and…
A generalized Fock-Bargmann-Hartogs domain $D_n^{\mathbf{m},\mathbf{p}}$ is defined as a domain fibered over $\mathbb{C}^{n}$ with the fiber over $z\in \mathbb{C}^{n}$ being a generalized complex ellipsoid…
We prove a boundary version of the open mapping theorem for holomorphic maps between strongly pseudoconvex domains. That is, we prove that the local image of a holomorphic map $f:D\to D'$ close to a boundary regular contact point $p\in \de…
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…
The present paper provides a generalization of the previous authors' work on Bellman functions for integral functionals on $\mathrm{BMO}$. Those Bellman functions are the minimal locally concave functions on parabolic strips in the plane.…
Geometric lower and upper estimates are obtained for invariant metrics on $\Bbb C$-convex domains containing no complex lines.
Brain structural networks are often represented as discrete adjacency matrices with elements summarizing the connectivity between pairs of regions of interest (ROIs). These ROIs are typically determined a-priori using a brain atlas. The…
This is an introduction to noncommutative geometry, from an affine viewpoint, that is, by using coordinates. The spaces $\mathbb R^N,\mathbb C^N$ have no free analogues in the operator algebra sense, but the corresponding unit spheres…
Recently, open systems with balanced, spatially separated loss and gain have been realized and studied using non-Hermitian Hamiltonians that are invariant under the combined parity and time-reversal ($\mathcal{PT}$) operations. Here, we…
The Bopp's shifts will be generalized through symplectic formalism. A special procedure, like a "diagonalization", which drives the completely deformed symplectic matrix to the standard symplectic form was found as suggested by…