Showing 1–27 of 27 results for author: Zapata, C A I

The étale sectional number is either 1 or infinity

Authors: Cesar A. Ipanaque Zapata

Abstract: In this work, we show that the étale sectional number (\text{Étale-sec$(-)$}), i.e., the sectional number in the category of topological spaces with the étale quasi Grothendieck topology (as defined in arXiv:2410.22515), is either 1 or infinity. Specifically, given a continuous map $f:X\to Y$, we demonstrate that \[\text{Étale-sec$(f)$}=\begin{cases} 1,&\hbox{ if $f$ is locally sectionable,} \… ▽ More In this work, we show that the étale sectional number (\text{Étale-sec$(-)$}), i.e., the sectional number in the category of topological spaces with the étale quasi Grothendieck topology (as defined in arXiv:2410.22515), is either 1 or infinity. Specifically, given a continuous map $f:X\to Y$, we demonstrate that \[\text{Étale-sec$(f)$}=\begin{cases} 1,&\hbox{ if $f$ is locally sectionable,} \infty,&\hbox{ if $f$ is not locally sectionable.} \end{cases} \] Additionally, for a path-connected space $X$, the étale topological complexity satisfies \[\text{TC}_{\text{étale}}(X)=\begin{cases} 1,&\hbox{ if $X$ is locally contractible,} \infty,&\hbox{ if $X$ is not locally contractible.} \end{cases} \] These results provide a way to understand the \aspas{complexity} of maps and spaces within the context of the étale quasi Grothendieck topology, a structure that considers local behavior of maps and spaces. The classification into values of 1 or infinity reflects a dichotomy in the local geometric structure of the map or space, with the presence or absence of local sections or contractibility significantly influencing the outcome. △ Less

Submitted 14 March, 2025; originally announced March 2025.

Comments: 8 pages. Comments are welcome

(Injective) hom-complexity between graphs

Authors: Cesar A. Ipanaque Zapata, Josué A. Aguirre Enciso, Wilman Francisco Cuba Ramos

Abstract: We present the notion of hom-complexity, $\text{C}(G;H)$, for two graphs $G$ and $H$, along with basic results for this numerical invariant. This invariant $\text{C}(G;H)$ is a number that measures the \aspas{complexity} of the question: when is there a homomorphism $G\to H$? More precisely, $\text{C}(G;H)$ is the least positive integer $k$ such that there are $k$ different subgraphs $G_j$ of $G$… ▽ More We present the notion of hom-complexity, $\text{C}(G;H)$, for two graphs $G$ and $H$, along with basic results for this numerical invariant. This invariant $\text{C}(G;H)$ is a number that measures the \aspas{complexity} of the question: when is there a homomorphism $G\to H$? More precisely, $\text{C}(G;H)$ is the least positive integer $k$ such that there are $k$ different subgraphs $G_j$ of $G$ such that $G=G_1\cup\cdots\cup G_k$, and for each $G_j$, there is a homomorphism $G_j\to H$. Likewise, we introduce the notion of injective hom-complexity, $\text{IC}(G;H)$. The (injective) hom-complexity is a graph invariant. Additionally, these invariants can be used to show the nonexistence of homomorphisms. We explore the sub-additivity of (injective) hom-complexity and study products. We describe bounds for the hom-complexity in terms of chromatic number $χ$ and clique number $ω$. We provide the formula \[\text{C}(G;H)=\lceil\log_{χ(H)}χ(G)\rceil\] whenever $ω(H)=χ(H)$. For example, we obtain $\text{C}(G;K_\ell)=\lceil\log_{\ell}χ(G)\rceil$. Moreover, we discuss a connection between the (injective) hom-complexity and several well-known covering numbers. For instance, we provide a lower bound for the clique covering number in terms of the injective hom-complexity. Additionally, we show that the hom-complexity $\mathrm{C}(G;K_{\ell})$ coincides with the $\ell$-particity $β_\ell(G)$ of $G$, and the hom-complexity $\mathrm{C}(K_n;K_{2})$ coincides with the bipartite dimension $\mathrm{d}(K_n)$ of $K_n$. As a consequence, we recover the well-known formulas $β_\ell(G)=\lceil\log_{\ell}χ(G)\rceil$ and $\mathrm{d}(K_n)=\lceil\log_{2}n\rceil$. △ Less

Submitted 3 July, 2025; v1 submitted 25 November, 2024; originally announced November 2024.

Comments: 33 pages. It is a completely new version which is pitched more clearly at the readership and direction of some specific journal. We also discuss a connection between the (injective) hom-complexity and several well-known covering numbers. Comments are welcome

Sectional number of a morphism

Authors: Cesar A. Ipanaque Zapata

Abstract: The genus of a fibration was introduced by Schwarz in 1962. Given a continuous map $g:A\to B$, the usual sectional number $\text{sec}_u(g)$ is the least integer~$m$ such that $B$ can be covered by $m$ open subsets, each of which admits a local section of~$g$. Likewise, the sectional category $\text{secat}(g)$ is the least integer~$m$ such that $B$ can be covered by $m$ open subsets, each of which… ▽ More The genus of a fibration was introduced by Schwarz in 1962. Given a continuous map $g:A\to B$, the usual sectional number $\text{sec}_u(g)$ is the least integer~$m$ such that $B$ can be covered by $m$ open subsets, each of which admits a local section of~$g$. Likewise, the sectional category $\text{secat}(g)$ is the least integer~$m$ such that $B$ can be covered by $m$ open subsets, each of which admits a local homotopy section of~$g$. In the case that $g$ is a fibration, the usual sectional number and the sectional category of $g$ coincide with the Schwarz's genus of $g$. In this paper, we introduce a notion of sectional number for a morphism in a category with covers, which extends the usual sectional number and sectional category (and, of course, Schwarz's notion). We study the invariance property, the behaviour under weak pullbacks and continuous functors, and present upper bounds in terms of a notion of LS category and projective covering number for an object. In addition, we introduce a notion of multiplicative cohomology theory on a category with covers, and we use it to present a cohomological lower bound for the sectional number. Several examples of this invariant are presented to support this theory. For instance, our sectional number yields a family of new numerical invariants in Top; we also express the twin prime conjecture and Goldbach's conjecture in terms of sectional numbers in the category of sets. Our unified concept is relevant in this new setting because it provides a foundation for sectional theory in category theory and builds bridges between new areas in mathematics. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Comments: 52 pages. Comments are welcome

Relative sectional number and the coincidence property

Authors: Cesar A. Ipanaque Zapata, Felipe A. Torres Estrella

Abstract: For a Hausdorff space $Y$, a topological space $X$ and a map $g:X\to Y$, we present a connection between the relative sectional number of the first coordinate projection $π_{2,1}^Y:F(Y,2)\to Y$ with respect to $g$, and the coincidence property (CP) for $(X,Y;g)$, where $(X,Y;g)$ has the coincidence property (CP) if, for every map $f:X\to Y$, there is a point $x$ of $X$ such that $f(x)=g(x)$. Expli… ▽ More For a Hausdorff space $Y$, a topological space $X$ and a map $g:X\to Y$, we present a connection between the relative sectional number of the first coordinate projection $π_{2,1}^Y:F(Y,2)\to Y$ with respect to $g$, and the coincidence property (CP) for $(X,Y;g)$, where $(X,Y;g)$ has the coincidence property (CP) if, for every map $f:X\to Y$, there is a point $x$ of $X$ such that $f(x)=g(x)$. Explicitly, we demonstrate that $(X,Y;g)$ has the CP if and only if 2 is the minimal cardinality of open covers $\{U_i\}$ of $X$ such that each $U_i$ admits a local lifting for $g$ with respect to $π_{2,1}^Y$. This characterisation connects a standard problem in coincidence theory to current research trends in sectional category and topological robotics. Motivated by this connection, we introduce the notion of relative topological complexity of a map. △ Less

Submitted 14 August, 2024; originally announced August 2024.

Comments: 15 pages. Comments are welcome

The Injective category number on continuous maps

Authors: Cesar A. Ipanaque Zapata, Roland Rabanal

Abstract: We present the notion of injective category number of a map $f\colon X\to Y$ with basic results about this numerical invariant. For instance, we explore the injective category number under pullbacks and compositions. In the case that $f$ is the quotient map $q:X\to X/τ$, where $X$ is a normal space and $τ:X\to X$ is a fixed-point free involution, we show that the injective category of $q$ is equal… ▽ More We present the notion of injective category number of a map $f\colon X\to Y$ with basic results about this numerical invariant. For instance, we explore the injective category number under pullbacks and compositions. In the case that $f$ is the quotient map $q:X\to X/τ$, where $X$ is a normal space and $τ:X\to X$ is a fixed-point free involution, we show that the injective category of $q$ is equal to the index of $(X,τ)$ plus $2$. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Comments: 10 pages. Comments are welcome

Sectional Category and the parametrized Borsuk-Ulam property

Authors: Cesar A. Ipanaque Zapata, Daciberg L. Gonçalves

Abstract: In this paper, for fibrations $p:E\to B$, $p':E'\to B$ over $B$ and a free involution $τ:E\to E$ which satisfy the equality $p\circτ=p$, we discover a connection between the sectional category of the double covers $q:E\to E/τ$ and $q^Y:F_{p'}(E',2)\to F_{p'}(E',2)/\mathbb{Z}_2$ from the $2$-ordered fibre-wise configuration space $F_{p'}(E',2)$ to its unordered quotient… ▽ More In this paper, for fibrations $p:E\to B$, $p':E'\to B$ over $B$ and a free involution $τ:E\to E$ which satisfy the equality $p\circτ=p$, we discover a connection between the sectional category of the double covers $q:E\to E/τ$ and $q^Y:F_{p'}(E',2)\to F_{p'}(E',2)/\mathbb{Z}_2$ from the $2$-ordered fibre-wise configuration space $F_{p'}(E',2)$ to its unordered quotient $ F_{p'}(E',2)/\mathbb{Z}_2$, and the parametrized Borsuk-Ulam property (PBUP) for the triple $\left((p,τ);p'\right)$. Explicitly, we demonstrate that the triple $\left((p,τ);p'\right)$ satisfies the PBUP if the sectional category of $q$ is bigger than the sectional category of $q^{p'}$. This property connects a standard problem in parametrized Borsuk-Ulam theory to current research trends in sectional category. As applictions of our results, we explore the PBUP for $E, E'$ one of the following fibrations: trivial fibration, Hopf fibration and the Fadell-Neuwirth fibration. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 20 pages. Comments are welcome

Category of a map and nonlinear analysis

Authors: Cesar A. Ipanaque Zapata

Abstract: A classic problem in analysis is to solve nonlinear equations of the form \begin{equation*} F(x)=0, \end{equation*} where $F:D^n\to \mathbb{R}^m$ is a continuous map of the closed unit disk $D^n\subset\mathbb{R}^n$ in $\mathbb{R}^m$. A topological technique, which exists in the literature, for the existence of solutions of nonlinear equations is the topological degree theory. In this work, we will… ▽ More A classic problem in analysis is to solve nonlinear equations of the form \begin{equation*} F(x)=0, \end{equation*} where $F:D^n\to \mathbb{R}^m$ is a continuous map of the closed unit disk $D^n\subset\mathbb{R}^n$ in $\mathbb{R}^m$. A topological technique, which exists in the literature, for the existence of solutions of nonlinear equations is the topological degree theory. In this work, we will use the category of a map theory to solve the problem of existence of solutions of nonlinear equations. This theory, as we will show in this work, provides an alternative topological technique to study nonlinear equations. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Comments: In spanish. 44 pages. To appear in Pro Mathematica

Topological complexity of Milnor fibration

Authors: Cesar A. Ipanaque Zapata, Taciana O. Souza

Abstract: In this paper we discover a connection between the Milnor fibration theory and current research trends in topological robotics. The configuration space and workspace are often described as subspaces of some Euclidean spaces. The work map is a continuous map which assigns to each state of the configuration space the position of the end-effector at that state. The tasking planning problem consists i… ▽ More In this paper we discover a connection between the Milnor fibration theory and current research trends in topological robotics. The configuration space and workspace are often described as subspaces of some Euclidean spaces. The work map is a continuous map which assigns to each state of the configuration space the position of the end-effector at that state. The tasking planning problem consists in study the complexity and design of algorithms controlling the task performed by the robot manipulator. We study the tasking planning problem for the Milnor fibration of analytic map germs. We see that the tasking planning algorithms strongly depend of the Milnor fibration theorem. We conjecture that the topological complexity of Milnor fibration coincides with the topological complexity of its base. △ Less

Submitted 28 September, 2024; v1 submitted 19 January, 2024; originally announced January 2024.

Comments: 16 pages. Minor changes. Comments are welcome

Index and Sectional Category

Authors: Cesar Augusto Ipanaque Zapata, Daciberg Lima Gonçalves

Abstract: Let $G$ be a finite group with order $|G|=\ell$ and $2\leq q\leq \ell$. For a free $G$-space $X$, we introduce a notion of $q$-th index of $(X,G)$, denoted by $\text{ind}_q(X,G)$. Our concept is relevant in the Borsuk-Ulam theory. We draw general estimates for the $q$-th index in terms of the sectional category of the quotient map $X\to X/G$, denoted by $\text{secat}(X\to X/G)$. This property conn… ▽ More Let $G$ be a finite group with order $|G|=\ell$ and $2\leq q\leq \ell$. For a free $G$-space $X$, we introduce a notion of $q$-th index of $(X,G)$, denoted by $\text{ind}_q(X,G)$. Our concept is relevant in the Borsuk-Ulam theory. We draw general estimates for the $q$-th index in terms of the sectional category of the quotient map $X\to X/G$, denoted by $\text{secat}(X\to X/G)$. This property connects a standard problem in Borsuk-Ulam theory to current research trends in sectional category. Under certain hypothesis we observed that $\text{secat}(X\to X/G)=\text{ind}_2(X,G)+1$. As an application of our results, we present new results in Borsuk-Ulam theory and sectional category. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 15 pages. Comments are welcome

Transversal motion planning

Authors: Cesar A. Ipanaque Zapata, Fernando R. Chu Rivera

Abstract: In this paper, we introduce the notion of transversal topological complexity (TTC) for a smooth manifold $X$ with respect to a submanifold of codimension 1 together with basic results about this numerical invariant. In addition, we present several examples of explicit transversal algorithms. In this paper, we introduce the notion of transversal topological complexity (TTC) for a smooth manifold $X$ with respect to a submanifold of codimension 1 together with basic results about this numerical invariant. In addition, we present several examples of explicit transversal algorithms. △ Less

Submitted 12 March, 2023; originally announced March 2023.

Comments: 12 pages. Comments are welcome

Higher topological complexity of a map

Authors: Cesar A. Ipanaque Zapata, Jesús González

Abstract: The higher topological complexity of a space $X$, $\text{TC}_r(X)$, $r=2,3,\ldots$, and the topological complexity of a map $f$, $\text{TC}(f)$, have been introduced by Rudyak and Pavešić, respectively, as natural extensions of Farber's topological complexity of a space. In this paper we introduce a notion of higher topological complexity of a map~$f$, $\text{TC}_{r,s}(f)$, for… ▽ More The higher topological complexity of a space $X$, $\text{TC}_r(X)$, $r=2,3,\ldots$, and the topological complexity of a map $f$, $\text{TC}(f)$, have been introduced by Rudyak and Pavešić, respectively, as natural extensions of Farber's topological complexity of a space. In this paper we introduce a notion of higher topological complexity of a map~$f$, $\text{TC}_{r,s}(f)$, for $1\leq s\leq r\geq2$, which simultaneously extends Rudyak's and Pavešić's notions. Our unified concept is relevant in the $r$-multitasking motion planning problem associated to a robot devise when the forward kinematics map plays a role in $s$ prescribed stages of the motion task. We study the homotopy invariance and the behavior of $\text{TC}_{r,s}$ under products and compositions of maps, as well as the dependence of $\text{TC}_{r,s}$ on $r$ and $s$. We draw general estimates for $\text{TC}_{r,s}(f\colon X\to Y)$ in terms of categorical invariants associated to $X$, $Y$ and $f$. In particular, we describe within one the value of $\text{TC}_{r,s}$ in the case of the non-trivial double covering over real projective spaces, as well as for their complex counterparts. △ Less

Submitted 23 March, 2023; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: 27 pages. Improved presentation

Borsuk-Ulam property and Sectional Category

Authors: Cesar A. Ipanaque Zapata, Daciberg L. Gonçalves

Abstract: For a Hausdorff space $X$, a free involution $τ:X\to X$ and a Hausdorff space $Y$, we discover a connection between the sectional category of the double covers $q:X\to X/τ$ and $q^Y:F(Y,2)\to D(Y,2)$ from the ordered configuration space $F(Y,2)$ to its unordered quotient $D(Y,2)=F(Y,2)/Σ_2$, and the Borsuk-Ulam property (BUP) for the triple $\left((X,τ);Y\right)$. Explicitly, we demonstrate that t… ▽ More For a Hausdorff space $X$, a free involution $τ:X\to X$ and a Hausdorff space $Y$, we discover a connection between the sectional category of the double covers $q:X\to X/τ$ and $q^Y:F(Y,2)\to D(Y,2)$ from the ordered configuration space $F(Y,2)$ to its unordered quotient $D(Y,2)=F(Y,2)/Σ_2$, and the Borsuk-Ulam property (BUP) for the triple $\left((X,τ);Y\right)$. Explicitly, we demonstrate that the triple $\left((X,τ);Y\right)$ satisfies the BUP if the sectional category of $q$ is bigger than the sectional category of $q^Y$. This property connects a standard problem in Borsuk-Ulam theory to current research trends in sectional category. As an application of our results, we show that the index of $(X,τ)$ coincides with the sectional category of the quotient map $q:X\to X/τ$ minus 1 for any paracompact space $X$. In addition, we present some new results relating Borsuk-Ulam theory and sectional category. △ Less

Submitted 11 September, 2023; v1 submitted 1 October, 2022; originally announced October 2022.

Comments: 19 pages. We present a proof that the index of $(X,τ)$ always coincides with the sectional category of the quotient map $q:X\to X/τ$ minus 1 for any paracompact space $X$ (Theorem 3.39)

Journal ref: Bulletin of the Iranian Mathematical Society. 49, 41 (2023)

On the topology of the Milnor fibration

Authors: Taciana O. Souza, Cesar A. Ipanaque Zapata

Abstract: In this paper we present new results about the topology of the Milnor fibrations of analytic function-germs with a special attention to the topology of the fibers. In particular, we provide a short review on the existence of the Milnor fibrations in the real and complex cases. This allows us to compare our results with the previous ones. In this paper we present new results about the topology of the Milnor fibrations of analytic function-germs with a special attention to the topology of the fibers. In particular, we provide a short review on the existence of the Milnor fibrations in the real and complex cases. This allows us to compare our results with the previous ones. △ Less

Submitted 6 December, 2022; v1 submitted 22 August, 2022; originally announced August 2022.

Comments: Final version. To appear in the Bulletin of the Brazilian Mathematical Society, New Series

Introducción a la teoría de complejidad topológica

Authors: Cesar A. Ipanaque Zapata, Rodolfo J. Gálvez Pérez

Abstract: In this work we will review the notion of topological complexity, introduced by Michael Farber in 2003. We will use this theory of topological complexity to solve the motion planning problem of a mobile robot that navigates in the Euclidean plane avoiding colliding with an obstacle. Specifically, we calculate topological complexity and design explicit algorithms. In this work we will review the notion of topological complexity, introduced by Michael Farber in 2003. We will use this theory of topological complexity to solve the motion planning problem of a mobile robot that navigates in the Euclidean plane avoiding colliding with an obstacle. Specifically, we calculate topological complexity and design explicit algorithms. △ Less

Submitted 17 May, 2021; originally announced May 2021.

Comments: In spanish. Keywords: Topological complexity, Motion planning problem, Algoritms

Report number: PESQUIMAT Vol. 24 N\'um. 1 (2021)

Journal ref: 2021

Parametrised collision-free optimal motion planning algorithms in Euclidean spaces

Authors: Cesar A. Ipanaque Zapata, Jesús González

Abstract: We describe parametrised motion planning algorithms for systems controlling objects represented by points that move without collisions in an even dimensional Euclidean space and in the presence of up to three obstacles with \emph{a priori} unknown positions. Our algorithms are optimal in the sense that the parametrised local planners have minimal posible size. We describe parametrised motion planning algorithms for systems controlling objects represented by points that move without collisions in an even dimensional Euclidean space and in the presence of up to three obstacles with \emph{a priori} unknown positions. Our algorithms are optimal in the sense that the parametrised local planners have minimal posible size. △ Less

Submitted 24 June, 2023; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: 16 pages. Final version. To appear in Morfismos

MSC Class: Primary 55R80; Secondary 55M30; 55P10; 68T40

Algebraic properties of configuration sets for groups

Authors: Cesar A. Ipanaque Zapata

Abstract: Let $G$ be any group and $k\geq 1$ be an integer number. The ordered configuration set of $k$ points in $G$ is given by the subset $F(G,k)=\{(g_1,\ldots,g_k)\in G\times \cdots\times G: g_i\neq g_j \text{ for } i\neq j\}\subset G^k$. In this work, we will study the configuration set $F(G,k)$ in algebraic terms as a subset of the product $G^k=G\times \cdots\times G$. As we will see, we develop pract… ▽ More Let $G$ be any group and $k\geq 1$ be an integer number. The ordered configuration set of $k$ points in $G$ is given by the subset $F(G,k)=\{(g_1,\ldots,g_k)\in G\times \cdots\times G: g_i\neq g_j \text{ for } i\neq j\}\subset G^k$. In this work, we will study the configuration set $F(G,k)$ in algebraic terms as a subset of the product $G^k=G\times \cdots\times G$. As we will see, we develop practical tools for dealing with the configuration set of $k$ points in $G$, which, to our knowledge, can not be found in literature. △ Less

Submitted 24 January, 2021; originally announced January 2021.

Comments: 9 pages

MSC Class: Primary 55R80; 20F05; Secondary 20F99

Sequential collision-free optimal motion planning algorithms in punctured Euclidean spaces

Authors: Cesar A. Ipanaque Zapata, Jesús González

Abstract: In robotics, a topological theory of motion planning was initiated by M. Farber. The multitasking motion planning problem is new and its theoretical part via topological complexity has hardly been developed, but the concrete implementations are still non-existent, and in fact this work takes the first step in this last direction (producing explicit algorithms.) We present optimal motion planning a… ▽ More In robotics, a topological theory of motion planning was initiated by M. Farber. The multitasking motion planning problem is new and its theoretical part via topological complexity has hardly been developed, but the concrete implementations are still non-existent, and in fact this work takes the first step in this last direction (producing explicit algorithms.) We present optimal motion planning algorithms which can be used in designing practical systems controlling objects moving in Euclidean space without collisions between them and avoiding obstacles. Furthermore, we present the multitasking version of the algorithms. △ Less

Submitted 8 December, 2019; originally announced December 2019.

Comments: 10 pages, 4 figures. arXiv admin note: substantial text overlap with arXiv:1911.03859; text overlap with arXiv:1906.03239

Journal ref: Bulletin of the Australian Mathematical Society, 102(3), 506-516 (2020)

Sectional category and The Fixed Point Property

Authors: Cesar A. Ipanaque Zapata, Jesús González

Abstract: For a Hausdorff space $X$, we exhibit an unexpected connection between the sectional number of the Fadell-Neuwirth fibration $π_{2,1}^X:F(X,2)\to X$, and the fixed point property (FPP) for self-maps on $X$. Explicitly, we demonstrate that a space $X$ has the FPP if and only if 2 is the minimal cardinality of open covers $\{U_i\}$ of $X$ such that each $U_i$ admits a continuous local section for… ▽ More For a Hausdorff space $X$, we exhibit an unexpected connection between the sectional number of the Fadell-Neuwirth fibration $π_{2,1}^X:F(X,2)\to X$, and the fixed point property (FPP) for self-maps on $X$. Explicitly, we demonstrate that a space $X$ has the FPP if and only if 2 is the minimal cardinality of open covers $\{U_i\}$ of $X$ such that each $U_i$ admits a continuous local section for $π_{2,1}^X$. This characterization connects a standard problem in fixed point theory to current research trends in topological robotics. △ Less

Submitted 24 January, 2021; v1 submitted 7 December, 2019; originally announced December 2019.

Comments: 16 pages

MSC Class: Fixed point property; Configuration spaces; Sectional category; Motion planning problem

Journal ref: Topol. Methods Nonlinear Anal. Volume 56, Number 2 (2020), 559-578

Collision-free spatial motion of rigid bodies via topological complexity

Authors: Cesar A. Ipanaque Zapata

Abstract: The Topological complexity a la Farber $\text{TC}(-)$ is a homotopy invariant which have interesting applications in Robotics, specifically, in the robot motion planning problem. In this work we calculate the topological complexity of the configuration space of $k$ distinct rigid bodies without collisions in $\mathbb{R}^d$, for $d=2,3$. Furthermore, we present optimal algorithms which can be used… ▽ More The Topological complexity a la Farber $\text{TC}(-)$ is a homotopy invariant which have interesting applications in Robotics, specifically, in the robot motion planning problem. In this work we calculate the topological complexity of the configuration space of $k$ distinct rigid bodies without collisions in $\mathbb{R}^d$, for $d=2,3$. Furthermore, we present optimal algorithms which can be used in designing practical systems controlling motion of many rigid bodies moving in space without collisions. The motion planning algorithms we present in this work are easily implementable in practice. △ Less

Submitted 10 November, 2019; originally announced November 2019.

Comments: 12 pages, 1 figure. Comments are welcome!

Cross-sections of Milnor fibrations and Motion planning

Authors: Cesar A. I. Zapata

Abstract: Consider a fibration \[p:E\to S^{p-1}\] with fiber $F$. We have the following natural question: Under what conditions does this fibration admit a cross-section? Our purpose is to discuss this problem when the fibration $p$ is the Milnor fibration $f_{\mid}:f^{-1}(S^{p-1}_δ)\cap D^{n}_ε\to S^{p-1}_δ$ with Milnor fiber $F_f$ and the Milnor fibration of arrangements… ▽ More Consider a fibration \[p:E\to S^{p-1}\] with fiber $F$. We have the following natural question: Under what conditions does this fibration admit a cross-section? Our purpose is to discuss this problem when the fibration $p$ is the Milnor fibration $f_{\mid}:f^{-1}(S^{p-1}_δ)\cap D^{n}_ε\to S^{p-1}_δ$ with Milnor fiber $F_f$ and the Milnor fibration of arrangements $Q:\mathcal{M}(\mathcal{A})\to \mathbb{C}^\ast$ with fiber $F=F(\mathcal{A})$. Furthermore, we use our results to study the tasking planning problem for the Milnor fibration as a work map and we give the tasking algorithms. △ Less

Submitted 30 September, 2019; originally announced October 2019.

Comments: 13 pages, 1 figure. Comments are welcome!

Multitasking collision-free motion planning algorithms in Euclidean spaces

Authors: Cesar A. Ipanaque Zapata, Jesus Gonzalez

Abstract: We present optimal motion planning algorithms which can be used in designing practical systems controlling objects moving in Euclidean space without collisions. Our algorithms are optimal in a very concrete sense, namely, they have the minimal possible number of local planners. Our algorithms are motivated by those presented by Mas-Ku and Torres-Giese (as streamlined by Farber), and are developed… ▽ More We present optimal motion planning algorithms which can be used in designing practical systems controlling objects moving in Euclidean space without collisions. Our algorithms are optimal in a very concrete sense, namely, they have the minimal possible number of local planners. Our algorithms are motivated by those presented by Mas-Ku and Torres-Giese (as streamlined by Farber), and are developed within the more general context of the multitasking (a.k.a.~higher) motion planning problem. In addition, an eventual implementation of our algorithms is expected to work more efficiently than previous ones when applied to systems with a large number of moving objects. △ Less

Submitted 24 January, 2021; v1 submitted 30 May, 2019; originally announced June 2019.

Comments: 17 pages

MSC Class: Primary 55R80; Secondary 55M30; 55P10; 68T40

Journal ref: Discrete Mathematics, Algorithms and Applications, v. 12, no. 3 (2020)

Equivariant category of wedges

Authors: Cesar A Ipanaque Zapata, Denise de Mattos

Abstract: We prove the formula \begin{equation*} \text{cat}_G(X\vee Y)=\max\{\text{cat}_G(X),\text{cat}_G(Y)\} \end{equation*} for the equivariant category of the wedge $X\vee Y$. As a direct application, we have that the wedge $\bigvee_{i=1}^m X_i$ is $G$-contractible if and only if each $X_i$ is $G$-contractible, for each $i=1,\ldots,m$. One further application is to compute the equivariant category of… ▽ More We prove the formula \begin{equation*} \text{cat}_G(X\vee Y)=\max\{\text{cat}_G(X),\text{cat}_G(Y)\} \end{equation*} for the equivariant category of the wedge $X\vee Y$. As a direct application, we have that the wedge $\bigvee_{i=1}^m X_i$ is $G$-contractible if and only if each $X_i$ is $G$-contractible, for each $i=1,\ldots,m$. One further application is to compute the equivariant category of the quotient $X/A$, for a $G$-space $X$ and an invariant subset $A$ such that the inclusion $A\hookrightarrow X$ is $G$-homotopic to a constant map $\overline{x_0}:A\to X$, for some $x_0\in X^G$. Additionally, we also discuss the equivariant and invariant topological complexities for wedges. For instance, as applications of our results, we obtain the following equalities: \begin{align*} \text{TC}_G(X\vee Y)&=\max\{\text{TC}_G(X),\text{TC}_G(Y),\text{cat}_G(X\times Y)\}, \text{TC}^G(X\vee Y)&=\max\{\text{TC}^G(X),\text{TC}^G(Y),_{X\vee Y}\text{cat}_{G\times G}(X\times Y)\}, \end{align*} for $G$-connected $G$-CW-complexes $X$ and $Y$ under certain conditions. △ Less

Submitted 29 January, 2025; v1 submitted 24 September, 2018; originally announced September 2018.

Comments: 26 pages. We added a section in which we also discuss the equivariant and invariant topological complexities. Comments are welcome

MSC Class: (Equivariant) Lusternik-Schnirelmann category; Topological transformation groups

Topological Complexity of wedges

Authors: Cesar A. Ipanaque Zapata

Abstract: We prove the formula \begin{equation*} TC(X\vee Y)=\max\{TC(X),TC(Y),cat(X\times Y)\} \end{equation*} for the topological complexity of the wedge $X\vee Y$. We prove the formula \begin{equation*} TC(X\vee Y)=\max\{TC(X),TC(Y),cat(X\times Y)\} \end{equation*} for the topological complexity of the wedge $X\vee Y$. △ Less

Submitted 24 January, 2021; v1 submitted 18 December, 2017; originally announced December 2017.

Comments: There is a mistake in the Proof of Theorem 1.4. The statement "any two of these sets intersect at a single point $w_0=((x_0,y_0),(x_0,y_0))$" is wrong

Category and Topological Complexity of the configuration space $F(G\times \mathbb{R}^n,2)$

Authors: Cesar A. Ipanaque Zapata

Abstract: The Lusternik-Schnirelmann category cat and topological complexity TC are related homotopy invariants. The topological complexity TC has applications to the robot motion planning problem. We calculate the Lusternik-Schnirelmann category and topological complexity of the ordered configuration space of two distinct points in the product $G\times\mathbb{R}^n$ and apply the results to the planar and s… ▽ More The Lusternik-Schnirelmann category cat and topological complexity TC are related homotopy invariants. The topological complexity TC has applications to the robot motion planning problem. We calculate the Lusternik-Schnirelmann category and topological complexity of the ordered configuration space of two distinct points in the product $G\times\mathbb{R}^n$ and apply the results to the planar and spatial motion of two rigid bodies in $\mathbb{R}^2$ and $\mathbb{R}^3$ respectively. △ Less

Submitted 15 April, 2019; v1 submitted 5 November, 2017; originally announced November 2017.

Comments: 10 pages, 1 figure. Final version. To appear in Bulletin of the Australian Mathematical Society

Journal ref: Bulletin of the Australian Mathematical Society, v 100, n3, p. 507-517, 2019

Collision-free motion planning on manifolds with boundary

Authors: Cesar A. Ipanaque Zapata

Abstract: This paper concerns the study of the homotopy type of the ordered configuration space for manifolds with boundary and as an application we will study the collision free motion planning problem on manifolds with boundary. This paper concerns the study of the homotopy type of the ordered configuration space for manifolds with boundary and as an application we will study the collision free motion planning problem on manifolds with boundary. △ Less

Submitted 1 October, 2017; originally announced October 2017.

Non-contractible configuration spaces

Authors: Cesar Augusto Ipanaque Zapata

Abstract: Let $F(M,k)$ be the configuration space of ordered $k-$tuples of distinct points in the manifold $M$. Using the Fadell-Neuwirth fibration, we prove that the configuration spaces $F(M,k)$ are never contractible, for $k\geq 2$. As applications of our results, we will calculate the LS category and topological complexity for its loop space and suspension. Let $F(M,k)$ be the configuration space of ordered $k-$tuples of distinct points in the manifold $M$. Using the Fadell-Neuwirth fibration, we prove that the configuration spaces $F(M,k)$ are never contractible, for $k\geq 2$. As applications of our results, we will calculate the LS category and topological complexity for its loop space and suspension. △ Less

Submitted 24 August, 2018; v1 submitted 2 September, 2017; originally announced September 2017.

Comments: 9 pages, 1 figure. Readability was improved as requested by the referee. Final version. To appear in Morfismos

Journal ref: MORFISMOS, v. 22, p.27-39, 2018

Lusternik-Schnirelmann category of the configuration space of complex projective space

Authors: Cesar A. Ipanaque Zapata

Abstract: The Lusternik-Schnirelmann category $cat(X)$ is a homotopy invariant which is a numerical bound on the number of critical points of a smooth function on a manifold. Another similar invariant is the topological complexity $TC(X)$ (a la Farber) which has interesting applications in Robotics, specifically, in the robot motion planning problem. In this paper we calculate the Lusternik-Schnirelmann cat… ▽ More The Lusternik-Schnirelmann category $cat(X)$ is a homotopy invariant which is a numerical bound on the number of critical points of a smooth function on a manifold. Another similar invariant is the topological complexity $TC(X)$ (a la Farber) which has interesting applications in Robotics, specifically, in the robot motion planning problem. In this paper we calculate the Lusternik-Schnirelmann category and as a consequence we calculate the topological complexity of the two-point ordered configuration space of $\mathbb{CP}^n$ for every $n\geq 1$. △ Less

Submitted 13 July, 2018; v1 submitted 19 August, 2017; originally announced August 2017.

Comments: 5 pages, 1 figure. Revised version. Accepted for publication in Topology Proceedings

Journal ref: Topology Proceedings, v. 54, p. 103-108, 2018