Related papers: Affine functions on CAT(kappa) spaces

We consider the approximation properties of finite element spaces on quadrilateral meshes. The finite element spaces are constructed starting with a given finite dimensional space of functions on a square reference element, which is then…

Given a Banach space $E$ consisting of functions, we ask whether there exists a reproducing kernel Hilbert space $H$ with bounded kernel such that $E\subset H$. More generally, we consider the question, whether for a given Banach space…

Let $X$ be a nilpotent space such that there exists $p\geq 1$ with $H^p(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>p$. Let $Y$ be a m-connected space with $m\geq p+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We…

A mapping $f:X\to Y$ between metric spaces is called \emph{little Lipschitz} if the quantity $$ \operatorname{lip}(f(x)=\liminf_{r\to0}\frac{\operatorname{diam} f(B(x,r))}{r} $$ is finite for every $x\in X$. We prove that if a compact (or,…

Special functions are often defined as a Fourier or Laplace transform of a positive measure, and the positivity of the measure manifests as positive definiteness of certain matrices. The purpose of this expository note is to give a sample…

In a Hilbert space, we study the strong convergence of alternating projections between two inconsistent affine subspaces with varying relaxation on one side. New convergence results are obtained by seeing the alternating projections as a…

We introduce the sketch of construction of a Lipschitz function $f: \mathcal{C} \to H$, here the set $\mathcal{C}$ consists of all compact convex subsets of the Hadamard space $H$. Note that $f(\{x\})=\{x\}$ for any point $x \in H$.

Let k be at most 0, and let X be a locally-finite CAT(k) polyhedral 2-complex X, each face with constant curvature k. Let E be a closed, rectifiably-connected subset of X with trivial first singular homology. We show that E, under the…

We initiate a systematic study of intrinsic dimensional versions of classical functional inequalities which capture refined properties of the underlying objects. We focus on model spaces: Euclidean space, Hamming cube, and manifolds of…

An affine model of computation is defined as a subset of iterated immediate-snapshot runs, capturing a wide variety of shared-memory systems, such as wait-freedom, t-resilience, k-concurrency, and fair shared-memory adversaries. The…

We examine two questions regarding Fourier frequencies for a class of iterated function systems (IFS). These are iteration limits arising from a fixed finite families of affine and contractive mappings in $\br^d$, and the ``IFS'' refers to…

Let $F,E\subseteq \mathbb{R}^2$ be two self similar sets. First, assuming $F$ is generated by an IFS $\Phi$ with strong separation, we characterize the affine maps $g:\mathbb{R}^2 \rightarrow \mathbb{R}^2$ such that $g(F)\subseteq F$. Our…

The well-known theory of "rational canonical form of an operator" describes the invariant factors, or elementary divisors, as a complete set of invariants of a similarity class of an operator on a finite-dimensional vector space $\V$ over a…

We consider local modifications $\omega_n+f^*\omega_d$ of the Fubini-Study metric (with associated $(1,1)$-form $\omega_n$) on an open subset $\Omega\subset \bC\bP^n$ induced by a local holomorphic mapping $f\colon \Omega\to \bP^d$. Our…

We study lax epimorphisms in 2-categories, with special attention to $\mathsf{Cat}$ and $\mathcal{V}$-$\mathsf{Cat}$. We show that any 2-category with convenient colimits has an orthogonal $LaxEpi$-factorization system, and we give a…

We study several cardinal, and ordinal--valued functions that are relatives of Hanf numbers. Let kappa be an infinite cardinal, and let T subseteq L_{kappa^+, omega} be a theory of cardinality <= kappa, and let gamma be an ordinal >=…

In this paper, influenced by the ideas from A. Mihail, The canonical projection between the shift space of an IIFS and its attractor as a fixed point, Fixed Point Theory Appl., 2015, Paper No. 75, 15 p., we associate to every generalized…

A space-filling function is a bijection from the unit line segment to the unit square, cube, or hypercube. The function from the unit line segment is continuous. The inverse function, while well-defined, is not continuous. Space-filling…

We prove that every open subset of a euclidean building is a finite dimensional absolute neighborhood retract. This implies in particular that such a set has the homotopy type of a finite dimensional simplicial complex. We also include a…

In this paper we apply proof mining techniques to compute, in the setting of CAT$(\kappa)$ spaces (with $\kappa >0$), effective and highly uniform rates of asymptotic regularity and metastability for a nonlinear generalization of the…