Related papers: Are two given maps homotopic? An algorithmic viewp…

Let $P$ and $Q$ be finite point sets of the same cardinality in $\mathbb{R}^2$, each labelled from $1$ to $n$. Two noncrossing geometric graphs $G_P$ and $G_Q$ spanning $P$ and $Q$, respectively, are called compatible if for every face $f$…

The optimal transport problem has many applications in machine learning, physics, biology, economics, etc. Although its goal is very clear and mathematically well-defined, finding its optimal solution can be challenging for large datasets…

Let $f,g:M \rightarrow N$ be two maps between simply-connected smooth manifolds $M$ and $N$, such that $M$ is compact and $N$ is of finite $\mathbb{R}$-type. The goal of this paper is to use integration of certain differential forms to…

We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In…

A central problem of algebraic topology is to understand the homotopy groups $\pi_d(X)$ of a topological space $X$. For the computational version of the problem, it is well known that there is no algorithm to decide whether the fundamental…

The author proposes a method for investigating actions of finite groups on aspherical spaces. Complete homotopy classification of free actions of finite groups on aspherical spaces is obtained. Also there are some results about non-free…

For any finite group $G$, we define the notion of a Bredon homotopy action of $G$, modelled on the diagram of fixed point sets $(X_H)_{H\leq G}$ for a $G$-space $X$, together with a pointed homotopy action of the group $N_{G}H/H$ on…

Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…

We consider the problem of computing the distance-dependent two-point function of general planar maps and hypermaps, i.e. the problem of counting such maps with two marked points at a prescribed distance. The maps considered here may have…

We claimed that there is a polynomial algorithm to test if two graphs are isomorphic. But the algorithm is wrong. It only tests if the adjacency matrices of two graphs have the same eigenvalues. There is a counterexample of two…

Let $\mathsf P$ be an operad acted upon by a group $G$, and let $\mathsf Q=\mathsf P\rtimes G$ be the corresponding framed operad. We relate the homotopy automorphism groups of $\mathsf P$ and $\mathsf Q$. We apply the result to compute the…

This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the…

In this paper we study the realizability question for commuting graphs of finite groups: Given an undirected graph $X$ is it the commuting graph of a group $G$? And if so, to determine such a group. We seek efficient algorithms for this…

We consider the following two algorithmic problems: given a graph $G$ and a subgraph $H\subseteq G$, decide whether $H$ is an isometric or a geodesically convex subgraph of $G$. It is relatively easy to see that the problems can be solved…

A smooth map having only fold singularities is called a fold-map. We will give effective conditions for a continuous map to be homotopic to a fold-map from the viewpoint of the homotopy principle.

We describe the relation of $r$-similarity and finite-order invariants on the homotopy set $[S^1,Y]=\pi_1(Y)$.

Let $f:X\to Y$ be a pointed map between connected CW-complexes. As a generalization of the evaluation subgroup $G_*(Y,X;f)$, we will define the {\it relaxed evaluation subgroup} ${\mathcal G}_*(Y,X;f)$ in the homotopy group $\pi_*(Y)$ of…

We build model structures on the category of equivariant simplicial operads with a fixed set of colors, with weak equivalences determined by families of subgroups. In particular, by specifying to the family of graph subgroups (or, more…

Let M be a homogeneous space admitting a left translation by a connected Lie group G. The adjoint to the action gives rise to a map from G to the monoid of self-homotopy equivalences of M.The purpose of this paper is to investigate the…

By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…