Related papers: Taking the path computably travelled

This work presents a new path classification criterion to distinguish paths geometrically and topologically from the workspace, which is divided through cell decomposition, generating a medial-axis-like skeleton structure. We use this…

Let $\pi_{0}$ and $\pi_{1}$ be two distributions on the Borel space $(\mathbb{R}^{d},\mathcal{B}(\mathbb{R}^{d}))$. Any measurable function $T:\mathbb{R}^{d}\rightarrow\mathbb{R}^{d}$ such that $Y=T(X)\sim\pi_{1}$ if $X\sim\pi_{0}$ is…

A vector space is commonly defined as a set that satisfies several conditions related to addition and scalar multiplication. However, for beginners, it may be hard to immediately grasp the essence of these conditions. There are probably a…

We prove that the lower density operator associated with the Baire category density points in the real line has Borel values of class $\pmb \Pi^0_3$ which is analogous to the measure case. We also introduce the notion of the Baire category…

We show that, if a simple $C^{*}$-algebra $A$ is topologically finite-dimensional in a suitable sense, then not only $K_{0}(A)$ has certain good properties, but $A$ is even accessible to Elliott's classification program. More precisely, we…

We develop the theory of halving spaces to obtain lower bounds in real enumerative geometry. Halving spaces are topological spaces with an action of a Lie group $\Gamma$ with additional cohomological properties. For $\Gamma=\mathbb{Z}_2$ we…

We prove the following results. 1. If $X$ is a $\alpha$-favourable space, $Y$ is a regular space, in which every separable closed set is compact, and $f:X\times Y\to\mathbb R$ is a separately continuous everywhere jointly discontinuous…

We compute the integral homology of the space of paths in $\mathbb{C}P^n$ with endpoints in $\mathbb{R}P^n$, $n \ge 1$ and its algebra structure with respect to the Pontryagin-Chas-Sullivan product with $\mathbb{Z}/2$-coefficients.

The lowest Landau level Hilbert space, or the Bargmann-Fock space, admits a quantized trace for the commutator of its position coordinate operators. We exploit the Carey-Pincus theory of principal functions of trace class commutators to…

We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…

We illustrate some simple ideas that can be used for obtaining a classification of small-dimensional solvable Lie algebras.Using these we obtain the classification of 3 and 4 dimensional solvable Lie algebras (over fields of any…

A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in…

We call an algebra $A$ commutator-simple if $[A,A]$ does not contain nonzero ideals of $A$. After providing several examples, we show that in these algebras derivations are determined by a condition that is applicable to the study of local…

By a Cantor group we mean a topological group homeomorphic to the Cantor set. The author earlier proved that every compact metric space of rational cohomological dimension n can be obtained as the orbit space of a Cantor group action on a…

We study the continuous reducibility of isomorphism relations in the space of regresive functions in $\kappa^\kappa$. We show for inaccessible $\kappa$, that if $\mathcal{T}$ is a theory with less than $\kappa$ non-isomorphic models of size…

Let R be an associative ring with identity. We study an elementary generalization of the classical Zariski topology, applied to the set of isomorphism classes of simple left R-modules (or, more generally, simple objects in a complete…

For an associative algebra $A$ with a simple module $M$ with trivial endomorphisms and trivial annihilator we verify the countable separation property (CSP), i.e. we prove that there exists a list of nonzero elements $a_1, a_2,\ldots$ of…

A canonical transformation is performed on the phase space of a number of homogeneous cosmologies to simplify the form of the scalar (or, Hamiltonian) constraint. Using the new canonical coordinates, it is then easy to obtain explicit…

We consider the inclusion of the space of algebraic (regular) maps between real algebraic varieties in the space of all continuous maps. For a certain class of real algebraic varieties, which include real projective spaces, it is well known…

The relation between a recently proposed path integral for minisuperspaces and different canonical quantizations is established. The step of the procedure where a choice between non equivalent theories is made is identified. Coordinates…