Related papers: Absolutely Continuous Representations and a Kaplan…
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…
We show that capacity can be computed with locally Lipschitz functions in locally complete and separable metric spaces. Further, we show that if $(X,d,\mu)$ is a locally complete and separable metric measure space, then continuous functions…
In the first part of this series of papers we propose a functional integral representation for local Archimedean L-factors given by products of the Gamma-functions. In particular we derive a representation of the Gamma-function as a…
We show that every (continuous) faithful product system admits a (continuous) faithful nondegenerate representation. For Hilbert spaces this is equivalent to Arveson's result that every Arveson system comes from an E_0-semigroup. We point…
In the spirit of very recent articles by J. Bonet, W. Lusky and J. Taskinen we are studying the so-called solid hulls and cores of spaces of weighted entire functions when the weights are given in terms of associated weight functions coming…
Let $(G,\theta)$ be a Banach--Lie group with involutive automorphism $\theta$, $\g = \fh \oplus \fq$ be the $\theta$-eigenspaces in the Lie algebra $\g$ of $G$, and $H = (G^\theta)_0$ be the identity component of its group of fixed points.…
In this paper we study stable finiteness of ample groupoid algebras with applications to inverse semigroup algebras and Leavitt path algebras, recovering old results and proving some new ones. In addition, we develop a theory of (faithful)…
Certain integrable models are described by pairs (X,Y) of ADET Dynkin diagrams. At high energy these models are expected to have a conformally invariant limit. The S-matrix of the model determines algebraic equations, whose solutions are…
We obtain a complete classification of the continuous unitary representations of oligomorphic permutation groups (those include the infinite permutation group $S_\infty$, the automorphism group of the countable dense linear order, the…
Let $L/K$ be a cyclic extension of degree $n = 2m$. It is known that the space $\text{Alt}_K(L)$ of alternating $K$-bilinear forms (skew-forms) on $L$ decomposes into a direct sum of $K$-subspaces $A^{\sigma^i}$ indexed by the elements of…
In this paper we study the large linear and algebraic size of the family of unbounded continuous and integrable functions in $[0,+\infty)$ and of the family of sequences of these functions converging to zero uniformly on compacta and in…
Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational…
In this paper, we show that for a broad class of pseudoconvex formal-analytic arithmetic surfaces over $\text{Spec}(\mathbb{Z})$, those which admit a nonconstant monic such regular function, that a conjecture of Bost-Charles that the ring…
Convolution semigroups of states on a quantum group form the natural noncommutative analogue of convolution semigroups of probability measures on a locally compact group. Here we initiate a theory of weakly continuous convolution semigroups…
The density conjecture of Katz and Sarnak predicts that, for natural families of L-functions, the distribution of zeros lying near the real axis is governed by a group of symmetry. In the case of the universal family of automorphic forms of…
Fell's absorption principle states that the left regular representation of a group absorbs any unitary representation of the group when tensored with it. In a weakened form, this result carries over to the left regular representation of a…
We present a new and very short proof of the fact that, for positive $C_0$-semigroups on spaces of continuous functions, the spectral and the growth bound coincide. Our argument, inspired by an idea of Vogt, makes the role of the underlying…
Approximate algebraic structures play a defining role in arithmetic combinatorics and have found remarkable applications to basic questions in number theory and pseudorandomness. Here we study approximate representations of finite groups:…
An approach to generalize any kind of collinear functionals in density functional theory to non-collinear functionals is proposed. This approach, for the very first time, satisfies the correct collinear limit for any kind of functionals,…
Certain operator algebras A on a Hilbert space have the property that every densely defined linear transformation commuting with A is closable. Such algebras are said to have the closability property. They are important in the study of the…