Related papers: Extension of positive definite functions

In this paper we formulate a conjecture which is a strengthening of an extension theorem of Bakonyi and Timotin for positive definite functions on the free group on two generators. We prove that this conjecture implies Connes' embedding…

It is shown that the extension of $\R$ by a generic smooth function restricted to the unit cube is o-minimal. The generalization to countably many generic smooth functions is indicated. Possible applications are sketched.

We give necessary and sufficient conditions on a function $f:[0,1]\to {0,1,2,...,\omega,\continuum}$ under which there exists a continuous function $F:[0,1]\to [0,1]$ such that for every $y\in[0,1]$ we have $|F^{-1}(y)|=f(y)$.

We give a statement on extension with estimates of convex functions defined on a linear subspace, inspired by similar extension results concerning metrics on positive line bundles

We discuss equivariance for linear liftings of measurable functions. Existence is established when a transformation group acts amenably, as e.g. the Moebius group of the projective line. Since the general proof is very simple but not…

We study the properly discontinuous and isometric actions on the unit sphere of infinite dimensional Hilbert spaces and we get some new examples of Hilbert manifold with costant positive sectional curvature. We prove some necessary…

Let $X$ be a Banach space, let $(\Omega,\mu)$ be a $\sigma$-finite measure space and let $A,B\colon\Omega\to B(X)$ be strongly measurable $\gamma$-bounded functions. We show that for all $x\in X$ and all $x^*\in X^*$, there exist a Hilbert…

This paper answers affirmatively Problem 32 posted in \cite{GMM2012}, proving that, for every stationary fuzzy metric space $(X, M, *)$, the function $M_y(x):=M(x,y)$ defined therein is $\mathbb{R}$-uniformly continuous for all $y\in X$,…

We show that the classical strong maximum principle, concerning positive supersolutions of linear elliptic equations vanishing on the boundary of the domain $\Omega $ can be extended, under suitable conditions, to the case in which the…

We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…

We show that if $p \colon M \to N$ is a normal Riemannian covering, with $N$ closed, and $M$ has exponential volume growth, then there are non-constant, positive harmonic functions on $M$. This was conjectured by Lyons and Sullivan in…

The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…

If $V$ is an analytic set in a pseudoconvex domain $\Omega$, we show there is always a pseudoconvex domain $G \subseteq \Omega$ that contains $V$ and has the property that every bounded holomorphic function on $V$ extends to a bounded…

The following representation theorem is proven: A partially ordered commutative ring $R$ is a subring of a ring of almost everywhere defined continuous real-valued functions on a compact Hausdorff space $X$ if and only if $R$ is archimedean…

This paper deals with the equation $-\Delta u+\mu u=f$ on high-dimensional spaces $\mathbb{R}^m$ where $\mu$ is a positive constant. If the right-hand side $f$ is a rapidly converging series of separable functions, the solution $u$ can be…

Let $H$ be an infinite dimensional separable Hilbert space, $B(H)$ the $C^*$-algebra of all bounded linear operators on $H,$ $U(B(H))$ the unitary group of $B(H)$ and ${\cal K}\subset B(H)$ the ideal of compact operators. Let $G$ be a…

We investigate continuous functions definable in a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group (DCULOAS structure). We prove a variant of the Arzela-Ascoli theorem…

Let D be a bounded domain in the complex plane whose boundary consists of finitely many pairwise disjoint simple closed curves. Give bD the standard orientation and let A(D) be the algebra of all continuous functions on the closure of D…

We show that there are well separated families of quantum expanders with asymptotically the maximal cardinality allowed by a known upper bound. This has applications to the "growth" of certain operator spaces: It implies asymptotically…

We study the function $(1 - \|x\|)\slash (1 - \|x\|^r),$ and its reciprocal, on the Euclidean space $\mathbb{R}^n,$ with respect to properties like being positive definite, conditionally positive definite, and infinitely divisible.