Related papers: Letter to the editor: A short complex-variable pro…

In this paper we show that a split central simple algebra with quadratic pair which decomposes into a tensor product of quaternion algebras with involution and a quaternion algebra with quadratic pair is adjoint to a quadratic Pfister form.…

The paper gives the following characterization of the disc algebra in terms of the argument principle: A continuous function f on the unit circle T extends holomorphically through the unit disc if and only if for each polynomial P such that…

Motivated by the study of H\"ormander's sums-of-squares operators and their generalizations, we define the convolution algebra of transverse distributions associated to a singular foliation. We prove that this algebra is represented as…

We present a simple proof of the fundamental theorem of Galois theory, which establishes a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof is based on the…

We present several application of simple topological arguments in problems of Kolmogorov complexity. Basically we use the standard fact from topology that the disk is simply connected. It proves to be enough to construct strings with some…

The aim of this paper is sketch a theory of divisibility and factorisation in topological monoids, where finite products are replaced by convergent products. The algebraic case can then be viewed as the special case of discretely…

We explicate the combinatorial/geometric ingredients of Arthur's proof of the convergence and polynomiality, in a truncation parameter, of his non-invariant trace formula. Starting with a fan in a real, finite dimensional, vector space and…

Computer algebra systems are really good at factoring polynomials, i.e. writing f as a product of irreducible factors. It is relatively easy to verify that we have a factorisation, but verifying that these factors are irreducible is a much…

We prove an interpolation theorem for bounded free holomorphic functions.

In this paper I present a kind of proof for classical Euclidean geometric problems which relies on both synthetic and analytic geometry. Using the elementary tools of polynomial algebra and multivariate calculus we manage to reduce the…

Let $K[x]$ be a polynomial algebra in a variable $x$ over a commutative $\Q$-algebra $K$, and $\G'$ be the monoid of $K$-algebra monomorphisms of $K[x]$ of the type $\s : x\mapsto x+\l_2x^2+... +\l_nx^n$, $\l_i\in K$, $\l_n$ is a unit of…

This paper is devoted to give a simplified proof of the trace theorem for functions of bounded deformation defined on bounded Lipschitz domains of $\mathbb{R}^n$. As a consequence, the existence of one-sided Lebesgue limits on countably…

The aim of this short note is to present an elementary, self-contained, and direct proof for the classical Lebesgue decomposition theorem.

This text is an updated version of material used for a course at Universit\'e de Nantes, part of `Functor homology and applications', April 23-27, 2012. The proof by Touz\'e of my conjecture on cohomological finite generation (CFG) has been…

We prove that each isometric isomorphism, between the monoids of all nonegative 1-Lipschitz maps defined on invariant metric groups and equiped with the inf-convolution law, is given canonically from an isometric isomorphism between their…

We compute the renormalization and evolution of the soft-quark function that appears in the factorization theorem for Higgs-boson decays to two photons through a $b$-quark loop. Our computation confirms a conjecture by Liu, Mecaj, Neubert,…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

A theorem of Thompson provides a non-self-adjoint variant of the classical Schur-Horn theorem by characterizing the possible diagonal values of a matrix with given singular values. We prove an analogue of Thompson's theorem for II_1…

In 1976 Suffridge proved an intruiging theorem regarding the convolution of polynomials with zeros only on the unit circle. His result generalizes a special case of the fundamental Grace-Szeg\"o convolution theorem, but so far it is an open…

This is a short review of some recent results obtained by the author. These results are related the problem of obtaining polynomial identities (computational formulas) for some matrix functions by means of the known polarization theorem,…