Related papers: Lieb's concavity theorem, matrix geometric means, …
A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example. We also discuss an implementation of the algorithm in the language of the…
We construct planar bi-Sobolev mappings whose local volume distortion is bounded from below by a given function $f\in L^p$ with $p>1$, i.e. bi-Sobolev solutions for the prescribed Jacobian inequality in the plane for right-hand sides $f\in…
In this paper we prove that a quiver scheme in characteristic zero is reduced if the moment map is flat. We use the reducedness result to show that the equivariant integration formula computes the K-theoretic Nekrasov partition function of…
The present paper is concerned with some representatons of linear mappings of continuous functions into locally convex vector spaces, namely: If X is a complete Hausdorff locally convex vector space, then a general form of weakly compact…
We apply some recent developments of Baldoni-Beck-Cochet-Vergne on vector partition function, to Kostant's and Steinberg's formulae, for classical Lie algebras $A\_r$, $B\_r$, $C\_r$, $D\_r$. We therefore get efficient {\tt Maple} programs…
We show that the closed convex hull of any one-dimensional semi-algebraic subset of R^n has a semidefinite representation, meaning that it can be written as a linear projection of the solution set of some linear matrix inequality. This is…
Symmetry is the essential element of lifted inference that has recently demon- strated the possibility to perform very efficient inference in highly-connected, but symmetric probabilistic models models. This raises the question, whether…
We here extend the well known Positive Real Lemma (also known as the Kalman-Yakubovich-Popov Lemma) to complex matrix-valued generalized positive rational function, when non-minimal realizations are considered. We then exploit this result…
Necessary and sufficient conditions for the exponentiation of finite-dimensional real Lie algebras of linear operators on complete Hausdorff locally convex spaces are obtained, focused on the equicontinuous case - in particular, necessary…
Contractions (and graded contractions) of Lie algebra, Lie bialgebra and Hopf algebra are discussed. It is noticed the fundamental role of E.In{\"o}n{\"u} and E.P.Wigner idea of degenerate transformations. A constructive algorithm for…
We prove solvability theorems for relaxed one-sided Lipschitz multivalued mappings in Hilbert spaces and for composed mappings in the Gelfand triple setting. From these theorems, we deduce properties of the inverses of such mappings and…
The matrix convexity and the matrix monotony of a real $C^1$ function $f$ on $(0,\infty)$ are characterized in terms of the conditional negative or positive definiteness of the Loewner matrices associated with $f$, $tf(t)$, and $t^2f(t)$.…
For each positive integer k, we describe a map f from the complex plane to a suitable non-complete complex locally convex space such that f is k times continuously complex differentiable but not k+1 times, and hence not complex analytic. We…
Affine invariant points and maps for sets were introduced by Gr\"unbaum to study the symmetry structure of convex sets. We extend these notions to a functional setting. The role of symmetry of the set is now taken by evenness of the…
We realize the enveloping algebra of the positive part of a semisimple complex Lie algebra as a convolution algebra of constructible functions on module varieties of some Iwanaga-Gorenstein algebras of dimension 1.
In [Mulmuley, 1987], Mulmuley gave an algorithm reducing the computation of the matrix rank function to that of determinants, of which the proof for the verification is elementary. In this article, we formalize this argument in the bounded…
This note has two purposes. First we establish that the map defined in [L, $\S 40.2.5$ (a)] is an isomorphism for certain admissible sequences. Second we show the map gives rise to a convex basis of Poincar\'e--Birkhoff--Witt (PBW) type for…
We prove that any classical affine W-algebra W(g,f), where g is a classical Lie algebra and f is an arbitrary nilpotent element of g, carries an integrable Hamiltonian hierarchy of Lax type equations. This is based on the theories of…
We consider the cotangent bundle $T^*F_\lambda$ of a $GL_n$ partial flag variety, $\lambda=(\lambda_1,...,\lambda_N)$, $|\lambda|=\sum_i\lambda_i=n$, and the torus $T=(\C^\times)^{n+1}$ equivariant K-theory algebra $K_T(T^*F_\lambda)$. We…
Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the…