Quantum Investigations from Logic to Computers and Robots

Alfredo Pereira, Roberson Saraiva Polli

Paola Zizzi

The logic which describes quantum robots is not orthodox quantum logic, but a deductive calculus which reproduces the quantum tasks (computational processes, and actions) taking into account quantum superposition and quantum entanglement. A way toward the realization of intelligent quantum robots is to adopt a quantum metalanguage to control quantum robots. A physical implementation of a quantum metalanguage might be the use of coherent states in brain signals.

George Svetlichny

Javier González Villasmil

Multi-Agent Path Finding (MAPF) remains a fundamental challenge in robotics, where classical centralized approaches exhibit exponential growth in joint-state complexity as the number of agents increases. This paper investigates Quadratic Unconstrained Binary Optimization (QUBO) as a structurally scalable alternative for simultaneous multi-robot path planning. This approach is a robotics-oriented QUBO formulation incorporating BFS-based logical pre-processing (achieving over 95% variable reduction), adaptive penalty design for collision and constraint enforcement, and a time-windowed decomposition strategy that enables execution within current hardware limitations. An experimental evaluation in grid environments with up to four robots demonstrated near-optimal solutions in dense scenarios and favorable scaling behavior compared to sequential classical planning. These results establish a practical and reproducible baseline for future quantum and quantum-inspired multi-robot coordinations.

Maria Mannone, Valeria Seidita, Antonio Chella

Quantum computing is a branch of computer science derived from the fundamental laws of quantum mechanics, such as state superposition, multi-value logic and destructive measure. An open challenge in itself is to re-think in quantum terms classic problems and solving techniques. Another nature-inspired field is the development of swarm-based robotic applications, where the challenge is catching the fundamental laws governing swarm dynamics, such as pattern formation and target reaching. Here, we review some recent approaches on swarm dynamics, the organizational rules of which are formalized according to quantum computing. In this way, the shades of probability in decision-making for multiple-robot systems can be expressed according to the multi-value logic underlying quantum computing. In our review, specific quantum circuits are sketched to give an idea of how these problems have been faced in computational terms. The article is enriched by references to sonification, a strategy adding one more sensory dimension to data representation, a human-friendly tool to navigate the complexity of swarm-robotic movements in a given arena.This article is part of the theme issue 'The road forward with swarm systems'.