Related papers: Algebraic And\^{o} Dilation
$\lambda$-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations.
Evidences have suggested that counting representations are sometimes tractable even when the corresponding classification problem is almost impossible, or "wild" in a precise sense. Such counting problems are directly related to matrix…
Differential calculus on metric spaces is contained in the algebraic study of normed groupoids with $\delta$-structures. Algebraic study of normed groups endowed with dilatation structures is contained in the differential calculus on metric…
Given a graph G and k pairs of vertices (s_1,t_1), ..., (s_k,t_k), the k-Vertex-Disjoint Paths problem asks for pairwise vertex-disjoint paths P_1, ..., P_k such that P_i goes from s_i to t_i. Schrijver [SICOMP'94] proved that the…
Given an array $X$ of $N+1$ strictly ordered floating point numbers and a floating point number $z$ in the interval $[X_0,X_N)$, a common problem is to find the index $i$ of the interval $[X_{i},X_{i+1})$ containing $z$. This problem arises…
The problem of classification of decomposable (in the sense of Stormer) positive maps between matrix algebras is presented. We propose the new notion of "finite" version of decomposability ($k$-decomposabilty). The characterisation of…
We prove that the PPT$^2$ conjecture holds for linear maps between matrix algebras which are covariant under the action of the diagonal unitary group. Many salient examples, like the Choi-type maps, depolarizing maps, dephasing maps,…
In the paper I considered linear and antilinear automorphisms of quaternion algebra. I proved the theorem that there is unique expansion of R-linear mapping of quaternion algebra relative to the given set of linear and antilinear…
We present a powerful and easy-to-implement iterative algorithm for solving large-scale optimization problems that involve $L_1$/total-variation (TV) regularization. The method is based on combining the Alternating Directions Method of…
In the present paper we introduce and investigate the notion of 2-local linear map on vector spaces. A sufficient condition is obtained for linearity of a 2-local linear map on finite dimensional vector spaces. Based on this result we prove…
We give some remarks on geodesics in the space of K\"ahler metrics that are defined for all time. Such curves are conjecturally induced by holomorphic vector fields, and we show that this is indeed so for regular geodesics, whereas the…
Let $\mathcal H$ be a complex Hilbert space and $\mathcal F_s (\mathcal H)$ the real vector space of all self-adjoint finite rank bounded operators on $\mathcal H$. We generalize the famous Wigner's theorem by characterizing linear maps on…
This paper gives a short introduction into the metric theory of spaces with dilations.
The explicit constructions of minimal isometric, and minimal unitary dilations of an arbitrary linear pencil of operators $T(\lambda)=T_0+\lambda T_1$ consisting of contractions on a separable Hilbert space for $|\lambda |=1$, which…
We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian…
We provide a computational definition of the notions of vector space and bilinear functions. We use this result to introduce a minimal language combining higher-order computation and linear algebra. This language extends the Lambda-calculus…
This paper proposes a framework that formulates a wide range of graph combinatorial optimization problems using permutation-based representations. These problems include the travelling salesman problem, maximum independent set, maximum cut,…
We study when an additive mapping preserving orthogonality between two complex inner product spaces is automatically complex-linear or conjugate-linear. Concretely, let $H$ and $K$ be complex inner product spaces with dim$(H)\geq 2$, and…
This paper examines actions of right LCM semigroups by endomorphisms of C*-algebras that encode an additional structure of the right LCM semigroup. We define contractive covariant representations for these semigroup dynamical systems and…
In this paper we continue the study of dilatation structures, introduced in math.MG/0608536 . A dilatation structure on a metric space is a kind of enhanced self-similarity. By way of examples this is explained here with the help of the…