2025/08/09 by Ameneh Babaee, Babaee, Ameneh, Hanıeh Mırebrahımı +3
Mathematics · Computer Science · #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis #Digital Image Processing Techniques
paper · pdf · doi:10.48550/arxiv.2508.07052
In this paper, we investigate discrete topological complexity TC(K) introduced for situations where the configuration space possesses a simplicial structure. %Simplicial complexes are well-known and commonly used in programming for robotic motion. Let K be a complex and let L be a subcomplex considered as the target of the motion. We introduce targeted simplicial complexity TC(K,L), which yields smaller values than the discrete version TC(K). We then demonstrate that targeted simplicial complexity is strongly homotopy invariant and it varies between simplicial LS-categories of K and K ∏ K. Utilizing this information, we calculate targeted simplicial complexity for scenarios such as strongly collapsible complexes. Finally, we compare targeted simplicial complexity with relative topological complexity and we show that TC(|K|, |L|) ≤ TC (K,L) where |⋅| denotes the geometric realization functor. Although relative topological complexity is generally lower than targeted simplicial complexity, they are equal in certain cases, such as arbitrary wedges of triangulated circles.