Published June 3, 2026 | Version version 1
Preprint Open

Operational Mathematics of Robotic Operations: Extending the Iteration Count of Robot Perception, Planning, Control, and Learning to the Complex Domain

  • 1. ROR icon Peking University

Description

This work systematically develops the operational mathematics of robotic operations, extending the iteration count of fundamental robot functionalities—including perception, planning, control, and learning—from natural numbers to integers, rational numbers, real numbers, and complex numbers. A self-contained axiomatic system (seven independent axioms) is introduced, covering recursion, initial conditions, zero iteration, existence of inverses (with an operational principal branch), analytic continuation, compatibility with fractional calculus, and regularity. It is shown that for all levels n ≥ 2 the hyperoperation hierarchy collapses to level2, making the base operation ◦2 universal. Using Schröder’s and Abel’s equations, fractional and real-order iterations are constructed for hyperbolic, parabolic and superattracting fixed points. The Kneser construction is adapted to robotic operations that possess complex attracting fixed points, and the iteration count is extended to complex orders, revealing a rich singularity structure: mixed algebraic branch points (from kinematic singularities) and logarithmic branch points (from joint-angle periodicity), with the negative real axis as a natural boundary. The theory develops a full robotic fractional calculus (fractional integrals and derivatives, Sobolev spaces, Euler-Lagrange equations, and a Noether theorem) as well as spectral theory (infinitesimal generator, Koopman operator, ergodicity). A categorical equivalence is established between the additive group of complex numbers and the semigroup of robotic iteration shifts. The complete hierarchy collapse, non-idempotence, weighted parametrized families, multi-robot systems (coupled iterations and mean-field limits) and high-precision numerical algorithms with rigorous error bounds are also treated. The framework is applied to iterative learning control, fractional PID, fractional path planning, fractional Kalman filtering, and fractional meta-learning. The results provide a unified algebraic and analytic foundation for extending robotic operations to continuous and complex iteration counts, opening new directions for algorithm design, control, and learning in robotics.

Files

robot_operational_math.pdf

Files (950.1 kB)

Name Size Download all
md5:5b1ad932ba117df5e118fe7fc5b21433
950.1 kB Preview Download

Additional details

Additional titles

Alternative title (English)
Operational Mathematics of Robotic Operations

Dates

Submitted
2025-12-31

References

  • Bibliography [1] S. Liu, "Operational Mathematics: A Theory of Extending the Number Field of Operation Counts," Preprint, 2026. DOI:10.5281/zenodo.19372608. [2] H. Kneser, "Reelle analytische Lösungen der Gleichung ϕ(ϕ(x)) = ex und verwandter Funk tionalgleichungen," Journal für die reine und angewandte Mathematik, vol. 187, pp. 56–67, 1949. DOI:10.1515/crll.1949.187.56. [3] E. Schröder, "Über iterirte Functionen," Mathematische Annalen, vol. 3, pp. 296–322, 1871. DOI:10.1007/BF01443970. [4] N. H. Abel, "Untersuchung der Functionen zweier unabhängig veränderlichen Grössen x und y," Journal für die reine und angewandte Mathematik, vol. 1, pp. 11–15, 1826. [5] G. Koenigs, "Recherches sur les intégrales de certaines équations fonctionnelles," Annales Scientifiques de l'École Normale Supérieure, vol. 1, pp. 3–41, 1884. DOI:10.24033/asens.54. [6] J. Milnor, Dynamics in One Complex Variable, 3rd ed. Princeton University Press, 2006. DOI:10.1515/9781400838114. [7] S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach, 1993. [8] I. Podlubny, Fractional Differential Equations. Academic Press, 1999. DOI:10.1016/S0076 5392(99)80000-6. [9] K. B. Oldham and J. Spanier, The Fractional Calculus. Academic Press, 1974. [10] M. Kuczma, B. Choczewski, and R. Ger, Iterative Functional Equations. Cambridge Uni versity Press, 1990. DOI:10.1017/CBO9781139086639. [11] S. Mac Lane, Categories for the Working Mathematician. Springer, 1971. [12] S. G. Krantz and H. R. Parks, The Implicit Function Theorem: History, Theory, and Ap plications. Birkhäuser, 2002. [13] G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists, 7th ed. Academic Press, 2012. [14] B. Siciliano, L. Sciavicco, L. Villani, and G. Oriolo, Robotics: Modelling, Planning and Control. Springer, 2009. DOI:10.1007/978-1-84628-642-1. [15] R. M. Murray, Z. Li, and S. S. Sastry, A Mathematical Introduction to Robotic Manipulation. CRC Press, 1994. [16] H. K. Khalil, Nonlinear Systems, 3rd ed. Prentice Hall, 2002. [17] K. J. Åström and R. M. Murray, Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press, 2008.