key: cord-0503669-vi5qbruh authors: Atchade-Adelomou, Parfait; Alonso-Linaje, Guillermo; Albo-Canals, Jordi; Casado-Fauli, Daniel title: qRobot: A Quantum computing approach in mobile robot order picking and batching problem solver optimization date: 2021-05-11 journal: nan DOI: nan sha: 1d75390749dd2db7e69080e7765a357a57e4c800 doc_id: 503669 cord_uid: vi5qbruh This article aims to bring quantum computing to robotics. A quantum algorithm is developed to minimize the distance travelled in warehouses and distribution centres where order picking is applied. For this, a proof of concept is proposed through a Raspberry Pi 4, generating a quantum combinatorial optimization algorithm that saves the distance travelled and the batch of orders to be made. In case of computational need, the robot will be able to parallelize part of the operations in hybrid computing (quantum + classical), accessing CPUs and QPUs distributed in a public or private cloud. Before this, we must develop a stable environment (ARM64) inside the robot (Raspberry) to run gradient operations and other quantum algorithms on IBMQ, Amazon Braket, D'wave and Pennylane locally or remotely. The proof of concept will run in such quantum environments above. From DHL, Gartner and others [1] [2] [3] , we know that the first wave of automation using smart robotics has reached the logistics industry. Driven by rapid technological advancements and increased affordability, robotic solutions (software and hardware) are forcibly entering labour logistics, supporting flawless processes and boosting productivity. Robots, especially mobile, will adopt more roles in the supply chain, helping workers with storage, transportation and little by little, they will expand their service. In fact, in some countries, there are already robotic delivery services [4] . We are already living an exponential increment of mailorder shopping, online shopping and supply chain systems, requiring large-scale logistic centers. Almost everyone can order products remotely, and the logistic center increases its functionalities, including keeping and shipping products. While there was a tendency to increase the adoption of automated systems based on robots powered by AI to increase efficiency [5] [6] [7] , COVID-19 introduced the concept of touch-less online shopping that reduces the risk of infections. Smart Warehouses are the epicenter of the cost-efficiency of any e-commerce company [8] . The emerging field of hybrid (quantum-classical) algorithms joins CPU, and QPU [9] to speed up specific calculations within a classical algorithm. This allows for * parfait.atchade@salle.url.edu † parfait.atchade@lighthouse-dig.com ‡ guillermo.alonso.alonso-linaje@alumnos.uva.es shorter quantum runs that are less susceptible to the cumulative effects of noise and work well in current devices. This article is intended to explore the performance of a quantum picking model. A hybrid system is proposed that effectively replaces the current ones and opens the doors to quantum computing in robotics. After Section I, the document is organized as follows; Section II shows previous work on both assembly techniques and approaches to picking and batch management systems; then, Section III presents the quantum fundamentals needed from this era to solve this problem; next, the implementation of the proposed strategy and the creation of the qRobot performed in Section IV are explained; to continue, Section V, which shows the results of our experimental analysis, and Section VI, in which some open problems are summarized, compared and presented; and finally, Section VII concludes the previous results and describes the future work. According to [10] [11] [12] , supply chains, warehouses and distribution centres occupy a very important position when storing and serving customer demand. Today, in order to be competitive within this sector, Logistics 4.0 has been created, which is known as the set of artificial intelligence technologies and techniques that seek the efficiency of the movements of materials and products in a factory or warehouse. Better time management helps logistics companies find and locate a material, reduce fatigue and possible workplace accidents, and spend less time documenting items. Many works of literature highlight these factors as the arXiv:2105.04865v1 [quant-ph] 11 May 2021 main ones where the loss of time and resources in a process require an urgent solution, and precisely, it is technologies such as Artificial Intelligence and the Internet of Things (IoT), which today allow us to optimize them [13] [14] [15] . Only in the last decade, researchers focused on addressing the multiple order picking planning problems. The study of the efficiency of a Warehouse can be addressed based on multiple parameters. According to [16] , there are three key considerations: 1) Performance Measure (time, cost, productivity, and service), 2) How we model the warehouse (Analytical model, Mathematical Model, or Simulation), and the combination of factors (storage location assignment, routing, order batching, or other order picking planning problems). Based on data from [16] , we can see the percentage of relevance of the considered order picking planning problems based on the percentage of papers that are related to such challenges: Order preparation (picking) is one of the most frequent and costly operations in labour [10, 11] since it is responsible for recovering the items required by the orders of customer orders (could also be supplied, but in this article, we focus exclusively on sales orders). And to create the batches, grouping several orders of orders in a picking list to collect all the batch demands in a single warehouse tour. In this last part of order preparation, our quantum algorithm comes into action to optimize the routes travelled to achieve efficient picking. There are many techniques and strategies for solving the picking problem. The most striking are "The selected techniques for evaluation include A *" [17] , "Potential Fields (PF)", "Rapidly-Exploring Random Trees * (RRT *)" [18] [19] [20] and "Variations of the Fast-Marching Method (FMM)" [21] . Other strategies have explored using the TSP and the VRP as algorithms to solve the picking problem. In this case, if the number of order orders per lot is greater than two [22] , picking becomes an NP-Hard problem in which the number of possible lots and binary variables increase exponentially with the number of purchase orders [22] . From there, several heuristic techniques, methods and algorithms (for example, genetic) were born to relax these difficulties [10, 12, 15, [23] [24] [25] . However, and as mentioned above, depending on the volume of data, the computational cost of the algorithm becomes intractable for classical computing. The latter leads us to explore new approaches to the large-scale picking problem, and one of the approaches to take into account to solve this task is quantum computing [6] . Quantum computing could help us change the degree of complexity of the problem, enhanced by its high computing power. Among the great fields where quantum computing is called to stand out is constraint satisfaction problems (CSP) [26] . One of the useful algorithms in this field is Quadratic Unconstrained Binary Optimization (QUBO) problems [27] . From Alan Turing, [28] to Richard Feyman's idea of considering the simulation of systems in quantum mechanics by other quantum systems [29] , interest in creating new ways of solving them has grown dramatically. This, together with the consequences of the well-known Moore's Law, gave way to the idea of building quantum computers. Over the past decades, before demonstrating the superiority of quantum computing, David Deutsch published this article [30] in which he proposed how a universal quantum computer could be. Years later, the worth of these new computers has been demonstrated to solve some specific problems such as factoring prime numbers using Shor's [31] algorithm or searching in disordered sets with Grover's [32] algorithm, although all this limited to the number of qubits available. We are currently in the NISQ era [33] in which we have computers between 50 and 100 qubits (Gate-Based Quantum Computer), opening the way to the emerging field of hybrid quantum-classical computing. Within this, different algorithms have been developed, such as "VQE" [34] , "QAOA" [35] or, "Quantum Machine Learning (QML)" [36] [37] [38] [39] [40] , which we will focus on with this article. There are two dominant techniques for quantum computing. Continuous-Time Quantum Computing [41] used by D-Wave in which the problem to solve is mapped in quantum hamiltonians and the natural dynamics of physical systems, and the Gate based Quantum Computing [42] [43] [44] led by IBM, in which the computation is made through a series of discrete gate operations. The Ref. [41] argues how Quantum Walk (QW), Quantum Annealing (QA), and Adiabatic Quantum Computing (AQC) are related. QW and AQC are pure quantum evolutions (unitary), while QA involves external cooling. The Adiabatic Quantum Computing proposed by Farhi [45, 46] , is based on the adiabatic theorem [42] and was the first quantum computing technique. Quantum Annealing, based on the adiabatic quantum computing paradigm, was initially introduced by Kadowaki and Nishimori [47] . Since its proposal, the QA technique was a light for solving combinatorial optimisation problems. This technique tries to solve problems similar to how optimisation problems are solved using the classical simulated annealing [42] . From a multivariate function formed from an energy landscape so, the ground state corresponds to the optimal solution of the problem. The QA process must be repeated until finding the optimal solution to the problem. The most significant advantage of quantum annealing is its high degree of parallelism over classical code execution. Because it analyses all possible inputs in parallel to find the optimal solution, this is very useful when we want to reduce the complexity of the NP-complete problems. QA has confirmed its ability to solve a broad range of combinatorial optimisation problems. And also in other fields, such as quantum chemistry (One of the fields that are taking great advantage of capacity and the era in which quantum computing is right now) [42] , bioinformatics [42] and routing [48] , to cite a few. We can categorise combinatorial optimisation problems into several groups. Where the need for adequate techniques for solving such problems. One of the standardised optimisation problems is the aforementioned QUBO [42, 47, 49] . QUBO, as NP-hard, refers to a pattern matching technique that, among other applications, can be used in machine learning and optimisation and which involves minimising a quadratic polynomial on binary variables [42] . QUBO has demonstrated its potential in solving some standard combinatorial optimisation problems such as the colouring of graphics, workshop planning, vehicle routing and programming, neural networks, the partition problem, 3-SAT, and machine learning where the parameters of the problem can be expressed as Boolean variables [42, 47, 49] . Only to remember that Adiabatic quantum annealing techniques are also used to solve multi-objective optimisation problems [50] . The QUBO formulation is suitable for running a D-Wave architecture; nevertheless, QUBO can be mapped on the Ising model [42] . Advances in quantum computing offer a way forward for efficient solutions to many cases of substantial eigenvalue problems unsolvable in a traditional way [51] . Quantum approaches to finding eigenvalues previously relied on the Quantum Phase Estimation (QPE) algorithm. The QPE is one of the essential subroutines in quantum computation. It serves as a central building block for many quantum algorithms and offers exponential acceleration compared to classical methods, and requires several quantum operations O 1 p to obtain an estimate with precision p [51, 52] . Variational Quantum Eigensolver (VQE) proposed by Peruzzo [51] based on the variational principle and form, estimates the ground state energy of the Hamiltonian of the problem [53] . The VQE is a hybrid quantum/classical algorithm originally proposed to approximate the ground state of a quantum system (the state attaining the minimum energy). Quantum Approximate optimisation Algorithms (QAOA), based on the principles of adiabatic quantum computation [42, 52, 54] , is used to solve QUBO problems. Farhi and Harrow showed the advantages of QAOA compared to classical approaches [45, 46] . While Rebentrost [55] just debated the problems of constrained polynomial optimisation using adiabatic quantum computation methods. Other scientists such as Vyskocil and Djidjev [56] worked on how to apply restrictions in QUBO systems to avoid the use of large numbers of the coefficients so, thus more qubits, resulting from the use of quadratic penalties, they proposed a new combinatorial design which involved solving problems of linear programming of mixed integers to adapt applications restitution. Anuradha Mahasinghe, Richard Hua, Michael J. Dinneen, and Rajni Goyal [57] investigated and solved the Hamiltonian cycle problem in computational frameworks such as quantum circuits, quantum walks, and adiabatic quantum computing. All of these advances in quantum computing have been applied to routing and scheduling techniques. The researcher Lucas contributed an expansive vision and discussions on Ising formulations for various NP-complete and NP-hard optimisation problems, emphasising using as few as possible qubits. In the same way, there have been many works of literature on the VRP [58] and its variants. Amazon Braket [59] is a cloud-based ( Fig. (2) and Fig.(3) ), fully managed quantum computing service that helps researchers and developers get started into quantum world technology to accelerate research and discovery. Amazon Braket provides a development environment to explore and create, test and run quantum algorithms, quantum circuit simulators, and different quantum hardware technologies. We will take advantage of all these related works to define an appropriate strategy for our proposal in this NISQ era. Studying and comparing different optimisation methods of warehouse's challenge, like picking and batching, [16] propose three options: analytical models, simulation experiments, and mathematical programming. In our approach, we consider the latter. We use a set of mathematical expressions that describe the problem, represented by an objective mathematical function and constraints within the classical context and translate it to the quantum domain. While reviewing state of the art, this reference [60] was found. The integrated order routing and the batch problem is modelled in such systems as an extended multitank vehicle routing problem with network flow formulations of three indices and two commodities. Such a variable neighbourhood search algorithm provides close to optimal solutions within a computational time acceptable for classical but not quantum computing. This article intends to bring quantum computing to robotics by proposing an approach that combines the experience of classical robotics computing with the computation of complex and high-cost processes by quantum computing. We suggest preparing an environment to execute the quantum algorithms in the mobile and autonomous robot remotely and locally and design a quantum algorithm that helps the efficiency of the warehouse management. Quantum circuits are defined mathematically as actions in an initial quantum state. Quantum computing largely uses quantum states constructed from qubits, namely, binary states represented by |ψ = α |0 + β |1 . Its number of qubits n commonly defines the states of a quantum circuit, and normally, the initial state of the circuit |ψ 0 is the zero state |0 . Mostly, a quantum circuit implements an internal unit operation U in the initial state |ψ 0 to transform it into the final output state |ψ f . This U gate is normally fixed and is known for algorithms or problems. In contrast, others define its internal operation through a fixed structure, called Ansatz [61] , and adjustable parameters θ [62] . Parameterized circuits are beneficial and have interesting properties in this quantum era, as they broadly define the definition of ML and offer the flexibility and viability of unit operations with arbitrary accuracy [36] [37] [38] 63 ]. The Variational Quantum Eigensolver (VQE) [34] is a classical hybrid quantum algorithm that combines aspects of quantum mechanics with the classical algorithm ( Fig.(5) ). Its great contribution is to find approximate solutions to combinatorial problems. Its operation is based on mapping the combinatorial problems in a physics problem. That is, about a problem that can be formulated in terms of a Hamiltonian Ising model. Therefore, identifying the solution to the combinatorial problem is linked to finding the ground state of this physics problem. Thus, the goal is to find the ground state of this Hamiltonian. The unknown eigenvectors are prepared by varying the experimental parameters and calculating the Rayleigh-Ritz ratio [64] in a classical minimization (Fig. (6) ). At the end of the algorithm, the reconstruction of the eigenvector stored in the final set of experimental parameters that define the state will be done. From the variational principle, the following equation With λ i as eigenvector and H ψ − → θ as the expected value. By this way, the VQE finds (1) such an optimal choice of parameters − → θ , that the expected value is minimized and that a lower eigenvalue is located. We will use the VQE (Fig. (6) ) to find the minima of our objective function translated to the Ising model. To carry out the implementation of our proof of concept (Fig.(4) and Fig.(16) ), we must first prepare the programming environment. Considering that the core of our robot will be the Raspberry Pi 4 [65] , the first thing to do is prepare it so that it can execute quantum algorithms with the guarantees required for the proposed application and especially for future operations on gradients. It is necessary to install an ARM64 operating system [66, 67] with all the needed packages to run all the required environments to carry out this project. We took advantage of the work for Raspberry Pi Os Desktop (32-bit) on which the author describes how to install and run Qiskit -IBM's open-source quantum computing software framework[68]-on a Raspberry Pi to turn it into a quantum computing simulator and use it to access real IBM quantum computers. In our case, we do need ARM64 because we need to execute at least the Tensor-Flow's version 3.2.1. The tasks to convert the Raspberry Pi 4 in our "quantum computer" are in the Appendix A. After setting up the environment, we'll focus on designing and experimenting with the announced proof of concept. In this formulation, we will seek to optimize the collection of the products and, later, we will make the batches. To carry it out, we will consider the following assumptions: We propose a robot that prepares batches and increases the efficiency of picking in a warehouse, taking advantage of the classic Machine Learning experience and leveraging hybrid computing (classical + quantum) in the cloud and distributed. This robot uses the Optimal routing strategy to calculate the shortest route, regardless of the layout or location of the items. 1. The strategy we will follow is the picking routing problem to retrieve each lot which the total distance travelled to retrieve all the items in a lot will be calculated. 2. The warehouse configuration is given in figure (9). 3. For the orders of the storage positions, more than one picking robot can be used. 4. Movements in height are not considered. 5. Each product is stored in a single storage position, and only one product is stored in each storage position. 6. Each picking route begins and ends at the Depot. 7. The load capacity for each order will not exceed the load capacity of the picking robot. 8. At the moment, the division of order orders is not contemplated. That is, only the batches of closed orders can be prepared. 9 . The concept testing will be done on all AWS-Braket, Pennylane, D-Wave and Qiskit environments. And we'll stick with the scenario that best benefits our proof of concept. 10 . We use the docplex [69] to model our formulation. FIG. 7. Scenario 1, Independent lots. The robot receives the orders and calculates which order is the most optimal according to the coordinates in which each product is found. In this example, lot 4 is the most optimal. The formulation is represented as follows. In this scenario, the travel load is represented according to the number of robots we have. Let's imagine that we have several robots and that each of them makes a single trip. It would be the same as saying that we have a single robot that makes n trips. Let N 0 be the origin node, let N 1 . . . N n be the nodes of the products, let W 1 . . . W n be the weights in kg associated with For each product, let d i,j be the distance from node i to j, let M be the maximum load of the qRobots, let K be the number of qRobots available, let t be the instant, i the node (product), and p the robot and let x t,i,p our binary variable (for example, for x 2,3,2 = 1. It means that at time 2, the qRobot 2 is at node 3). In FIG. 8. Scenario 2, Collecting products in the same route from different batches. The robot will calculate a path that includes all the products to optimize their collection in a single journey. For example, if the product from Lot 2 is next to one from Lot 1, the robot will pick it up and store it in the basket from Lot 2. our formulation, time really tells us the order, that is to say t = 0 will be the origin t = 1 the moment in which it goes for the first batch. At t = 2 it will be the moment of the second so on. The equation (2) is our new objective function. Here we minimize the total distance. We add the distance of all the robots travelling all the time, and we will check the distances of the nodes. Restriction (3) establishes that all the qRobots start from Depot. The restriction (4)) establishes that all the qRobots end at Depot. The constraint (5) establishes any robot p can carry more load than allowed. The constraint (6) declares that each robot can only be one node at any time. (7) establish that throughout the entire route, the robots together pass each node only once and the restriction (8) describes that x t,i,p are binary variables. The number of the qubits to perform this algorithm is equal to K(n + 1)(n + 2) + K log 2 M . At this point, we can only map our objective function in quantum and then solve it with a VQE. C. Mapping the classical to quantum optimization A common method for mapping classic optimization problems to quantum hardware is by coding it into the Hamiltonian [70] of an Ising model [71] . Where σ i is the product of n identity matrices I except a gate Z in the i-th position and σ i σ j product of identities minus gates Z in positions i and j. As we already can build our objective function as a QUBO in the form x T |Q|x , now we can map our QUBO to Ising Hamiltonian formulation leads to calculating the values of J ij and h i . The transformation between QUBO and Ising Hamiltonian and is z i = 2x i − 1, where z i is a new variable that can take the values −1 or 1. This means that by writing an algorithm for QUBO with this single variable change, we will have the algorithm in Ising form. That is very useful to have the algorithm for various platforms that are based on quantum gates (IBM Q and Pennylane) or quantum annealing (meanly D-Wave) in case of going from the Hamiltonian form. we can now solve our Picking and Batching Problem with VQE ψ(θ)|H|ψ(θ) . FIG. 9. Structure of our warehouse with pick locations. The warehouse has a rectangular layout with no unused space. We use all the parallel corridors. This proof of concept contemplates a single warehouse used to take the order and deliver it, and it is also divided into blocks, which contain slots for storing products, and transverse aisles separate them. The cross aisles do not have any products but allow the collector to navigate in the warehouse. We base our picking strategy on minimizing the route and optimizing batch preparation. We do not contemplate shelving of different levels. Before analyzing in detail all the results of our proof of concept, it is of the utmost importance that we validate its operation globally and affirm that qRobot does meet our expectations and works as we expected. Let's split the results of this proof of concept in two. 1, the configuration and conversion results of the Raspberry Pi 4 in a quantum computing environment (Fig.(12) to Fig.(15) ) and 2, the picking and batching algorithm results represented by tables (I) to (III) on one side and Fig.(10) and (11) on the other. The steps to convert the Raspberry Pi 4 into a "quantum computer" are in the Appendix A. Table (I) shows the experimentation results by setting the number of qRobots as their capacities (maximum load) at 1 and 45, respectively. We compare the execution time of our algorithm with different public access simulators on the market during this experimentation, solving the problem of picking and batching. We observed that, for issues of this nature, and especially due to the number of qubits required in each scenario, the be-haviour of the D-Wave is the desired one at the temporal level, comparing it with Gate based Quantum Computing. However, it should be taken into account that, for experiments with numbers of qubits less than 20, the behaviour of these simulators is equated with the D-Wave. This experimentation helps to have a clear vision about the feasibility of this proof of concept. Continuing with the analysis of the results, table (II) shows us the computational results of our picking and batching algorithm considering 1 qRobot through AWS-Braket and on the real quantum computer D-Wave Advantage system1 [72] . The time value is an average and not counting latency time, job creation, and job return time. We also analyze the latency time when running the algorithm from the qRobot to the quantum computer. The quantum computer was in Oregon (US) and our qRobot in Barcelona (Spain) in the tests we've done. Out of all the tests we've run, we've had an average latency time of around 2 seconds plus all job management processes rising to roughly 8 seconds. For the number of qubits greater than 30, it is very convenient to use AWS-Braket (Advantage system1.1) instead of Qiskit or Pennylane for the number of qubits and the execution time; it is differentially better. This scenario makes very viable the use of quantum in robotics. For tests with a value of M less than those in the table, the number of qubits is relaxed, and the execution time is improved. This leads us to normalize the weights of the batches. Since the number of qubits follows the formula K(n + 1)(n + 2) + K log 2 M , where the K log 2 M qubits are needed as ancillaries qubits. We also analyze the quantum real-time execution deeply through table (III). We have measured the execution time without counting the latency time, creating jobs, and returning the work. Fig.(10) offers us the algorithm results in different scenarios where we analyze some important case, which helped us determine viable strategies within our proof of concept. It is important to note that our algorithm minimizes the distance travelled and optimizes the number of qRobots. The Fig.(11) repeats almost the same scenario but now considering 7 items with the same number of qRobots. We have achieved that, given a warehouse with a single robot, a list of several products with their respective loads and a list of batches, our system minimizes the distance to collect all the products and prepare the batches. This formulation solves the order in which the robot could manage all the products and make the batches passing through the depot. Another important achievement that offers this approach is that each robot makes a single trip. However, it is possible to band the code so that if we find ourselves in a situation where there are many batches to create and few robots to do the picking, these robots can be made to make the necessary trips if we have k qRobots that make at most one trip (we will never need more with n batches). In this way, we will obtain all the packages for trips that we are interested in doing. A more understandable way of explaining it would be that when the first qRobot has finished its journey, it should only be ordered to do the one that would have made the qRobot k + 1, which does not exist. And so on with all the qRobots k + 2, k + 3, k + 4 ... until all scheduled batches are finished. Right now, in addition to the processor, quantum computing simulation is closely related to memory. What takes up memory is to simulate a quantum computer, but the quantum computer does not need that memory, so it is assumed that it will end up being better. In this proof of concept, using 8GB of RAM on the Raspberry Pi 4, we got the following results. The algorithm of collection and generation of packages take between 2 and 450 seconds to generate the batches and picking. If you want the qRobot to do all these tasks, we need to calculate the path before forming the packs. That said, we must bear in mind that if what we want is to recalculate new routes when the robot has already left, we must take into account a lower latency time but close to said interval. A possible solution would be to choose a Raspberry with more RAM capacity. For example, if we had a 64GB Raspberry Pi, this time would be cut to 2/8, and it would take approximately 56.25 seconds (less than a minute) to create the batches. However, in this era of quantum computing, it is not representative to compare times since the computational differences will be noticed when the problems begin to grow, not on the small scales that we are currently dealing with. Effective viability for today's warehouses would consist of splitting the tasks of the robots and having a qRobot that centralizes all the requests and passes them to the fleet of n qRobots so that they collect the products belonging to each batch. We also did tests and developed a system that allows us to model the problem and run it on a Dwave. Despite the optimization of the algorithm, the number of necessary qubits (K(n + 1)(n + 2) + K log 2 M ) and the need for low latency make this code adapted to the Annealing model. For this reason, we have prepared the Raspberry PI so that it can run D'wave directly and under Amazonbraket-ocean-plugin. For more information, see the steps in Appendix A. With this scenario, one could have a "reasonable" latency for low data volume. Things that today, computers based on quantum gates cannot offer. As we have seen, the problem raised throughout this work offers us an efficient way of managing a series of K qRobots to collect a set of orders, optimizing the number of robots used. The provided approach applies to a We compare the execution time of our algorithm in the different public access simulators in the market, solving the picking and batching problem. We see that for issues of this nature, and especially for the number of qubits required in each scenario, the behaviour of the D-Wave is the desired one at the temporal level, comparing it with technologies based on quantum gates. However, it should be noted that for the experiments on numbers of qubits less than 20, the behaviour of these simulators is equated with the D-Wave. This experimentation helps to have a clear vision about the feasibility of this proof of concept. "central computer" capable of carrying out all the calculations and then giving each of the robots' orders. However, when we begin to deal with very large problems both in the number of products and in the number of robots, the number of qubits required will tend to grow too large. A possible solution is to distribute the calculation of a central computer to each of the robots in such a way that each one has to calculate its route given a list of products to be collected. In this case, the equations of the problem would not change, just take K = 1 for each qRobot and apply the technique mentioned at the beginning of the discussion. Although it may not be possible to reach such the best solutions, this process of distribution of the calculation would suppose a significant computational cost reduction despite the need to create the batches beforehand. This search for batch creation will be studied in future projects. On the other hand, it is important to note that the problem dealt with has a QUBO-type formulation, which allows it to be executed in annealing-type quantum computers. This makes a big difference in today's era (NISQ) as we have managed to work with 200 qubits versus the 30 qubits that we would have with a gate-based quantum computer. Finally, note that the defined problem seeks to minimize the total distance travelled by the robots, making it worth-while for not all the robots to come out. For future line, we will address the same problem. Still, we will try to reduce the total times instead of the distance travelled (as done in this previous work [82] ) since this situation is also very important in warehouse logistics. The authors greatly thank the AWS-Braket and IBM team, mainly Simone Severini and Steve Wood respectively. P.A. thanks Jennifer Ramírez Molino for his support and comments on the manuscript. In these graphs, we can observe the results of the algorithm in different scenarios. A different colour represents each qRobots; qRobot number 1 is red, next is blue, and the third is yellow, so on. While the depot is the 0 node in yellow color and the rest of the nodes are represented in blue. The weights of each item (not normalized) in kg are w0 = 0, w1 = 8, w2 = 8, w3 = 3 and w4 = 3. The maximum capacity of each qRobots is 45. In this case, we have 4 items and the possibility of using up to 3 qRobots. Reading the images from left to right, we see that the nodes and their respective distances are shown in the first image. In the second image, show the result of the algorithm having a qRobot. In the third and fourth images, we can see two different cases solved by two qRobots. And finally, in the fifth and sixth images, we can see two other issues solved by three qRobots. It is important to highlight that our algorithm in this proof of concept minimizes the distance travelled and optimizes the number of qRobots necessary to solve the cases presented. If it judges that the task can be performed with a single qRobot, it will not send 2 qRobots. Appendix A: Installation of ARM64 on Raspberry Pi 4 This section will describe step by step and delve into how installing and running Pennylane, AWS-Braket, D-Wave-Ocean, Qiskit, on a Raspberry Pi 4 under the ARM64 [67] operating system torn it into a quantum computing simulator and use it to access real quantum computers from IBMQ [68, 78] , AWS-Braket [73] , D-Wave [79] , and Regetti [77] . These frameworks and packages are required for the proof of concept that we propose. 11 . In these graphs, we can observe the results of the algorithm in different scenarios. A different colour represents each qRobots; qRobot number 1 is red, next is blue, and the third is yellow, so on. While the depot is the 0 node in yellow color and the rest of the nodes are represented in blue. The weights of each item (not normalized) in kg are w0 = 0, w1 = 8, w2 = 8, w3 = 3w4 = 3, w5 = 1, w6 = 2 and w7 = 4. The maximum capacity of each qRobots is 45. In this case, we have 7 items and the possibility of using up to 4 qRobots. Reading the images from left to right, we see that the nodes and their respective distances are shown in the first image. In the second image, show the result of the algorithm having a qRobot. In the third and fourth images, we can see two different cases solved by two qRobots. And finally, in the fifth and sixth images, we can see two other issues solved by three qRobots. It is important to highlight that our algorithm in this proof of concept minimizes the distance travelled and optimizes the number of qRobots necessary to solve the cases presented. If it judges that the task can be performed with a single qRobot, it will not send 2 qRobots. 39 The whole shortcut procedure is found below . The wheel was too large to store at GitHub , so Google drive is used . Please make sure you have the latest pip3 and python3 version installed ; otherwise , pip may come with the message " . whl is not a supported wheel on this platform " . 40 FIG. 15 . In these figures, we see several notebook tests in operation. Works with the Qiskit, Pennylane [74] and AWS-Braket frameworks [73] . It was also tested with quantum computers, Rigetti [77] , qiskit [68, 78] and D-Wave [79] . In the figure of the terminal, you can observe the executions in progress. We can see from qiskit the docplex [69] in execution. From AWS and Pennylane [80, 81] we can see how to call the quantum device from the Raspberry. FIG. 16 . We have installed the following frameworks successfully (Qiskit, Pennylane, AWS-Braket) on our Raspberry Pi 4 under the ARM64 operating system. 69 70 When the installation is successful , you should get the following screendump by executing : 71 $ python3 72 >>> import tensorflow as tf 73 1 -cp37 -cp37m -linux_aarch64 . whl . Undoubtedly , the Python version will upgrade over time and you will need a different wheel # get a fresh start ( remember , the 64 -bit OS is still under development ) $ sudo apt -get install python -pip python3 -pip 47 # remove old versions , if not placed in a virtual environment $ sudo apt -get install libhdf5 -dev libc -ares -dev libeigen3 -dev $ sudo apt -get install libatlas -base -dev libopenblas -dev libblas -dev $ sudo apt -get install liblapack -dev ? id =1 jbkp2rSZZ3YY -A M 1 v u H y B 9 h I 0 5 z r Z G H g 67 # install TensorFlow $ sudo -H pip3 install tensorflow -2.3.1 -cp37 -cp37m -linux_aarch64 New technology trends and their transformative impact on logistics and supply chain processes Benchmarking in omnichannel logistics 50th anniversary invited article-city logistics: Challenges and opportunities Urban robotic experimentation: San francisco, tokyo and dubai Robotic process automation-a driver of digital transformation? Towards intelligent robotic process automation for bpmers Facilities planning A quantum-classical cloud platform optimized for variational hybrid algorithms Cancer statistics in china Slaughterhouse wastewater characteristics, treatment, and management in the meat processing industry: A review on trends and advances A grouping genetic algorithm for the order batching problem in distribution warehouses The multi-period incremental service facility location problem Order batching operations: an overview of classification, solution techniques, and future research Muhamad Zameri Mat Saman, and Kuan Yew Wong. Order batching in warehouses by minimizing total tardiness: a hybrid approach of weighted association rule mining and genetic algorithms Designing efficient order picking systems by combining planning problems: State-of-theart classification and review Path planning with modified a star algorithm for a mobile robot Rapidly-exploring random trees: Progress and prospects Rapidly-exploring random trees: A new tool for path planning Resolution complete rapidly-exploring random trees The fast marching method: an effective tool for tomographic imaging and tracking multiple phases in complex layered media Order batching to minimize total travel time in a Incivility in the workplace: Incidence and impact Batching orders in warehouses by minimizing travel distance with genetic algorithms Using a multiple-ga method to solve the batch picking problem: considering travel distance and order due time Foundations of constraint satisfaction: the classic text The unconstrained binary quadratic programming problem: a survey On computable numbers, with an application to the entscheidungsproblem Simulating physics with computers Quantum theory, the church-turing principle and the universal quantum computer Algorithms for quantum computation: discrete logarithms and factoring A fast quantum mechanical algorithm for database search Quantum computing in the nisq era and beyond. Quantum Accelerated variational quantum eigensolver A quantum approximate optimization algorithm An introduction to quantum machine learning. Contemporary Quantum machine learning Data re-uploading for a universal quantum classifier Using the parameterized quantum circuit combined with variational-quantumeigensolver (vqe) to create an intelligent social workers' schedule problem solver Elisabet Golobardes-Ribe, and Xavier Vilasis-Cardona. quantum case-based reasoning (qcbr) Quantum computing using continuoustime evolution Adiabatic Quantum Computation and Quantum Annealing Theory and Practice. Synthesis Lectures computing Quantum computation and quantum information Ph410 physics of quantum computa-tion1 Fundamental concepts of hamiltonian pauli terms quantum computation Quantum supremacy through the quantum approximate optimization algorithm Quantum annealing in the transverse ising model The vehicle routing problem: An overview of exact and approximate algorithm Quantum computer architecture: Towards full-stack quantum accelerators Multi-objective genetic algorithms for vehicle routing problem with time windows A variational eigenvalue solver on a photonic quantum processor Qaoa for max-cut requires hundreds of qubits for quantum speed-up The clifford group, stabilizer states, and linear and quadratic operations over gf(2) An introduction to quantum optimization approximation algorithm Quantum gradient descent and newton's method for constrained polynomial optimization Djidjev Tomas Vyskocil and Hristo. Embedding equality constraints of optimization problems into a quantum annealer Solving the hamiltonian cycle problem using a quantum computer Wolfgang Mauerer, and Claudia Linhoff-Popien. A hybrid solution method for the capacitated vehicle routing problem using a quantum annealer Amazon braket services Formulating and solving integrated order batching and routing in multi-depot agv-assisted mixed-shelves warehouses Bethe ansatz for quantum strings Expressibility and entangling capability of parameterized quantum circuits for hybrid quantum-classical algorithms Using the variationalquantum-eigensolver (vqe) to create an intelligent social workers schedule problem solver On rayleigh-ritz ratios of a generalized laplacian matrix of directed graphs Raspberry Pi Foundation Arm architecture and systems The power of arm64 in public clouds IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID) Ibm's qiskit tool chain: Working with and developing for real quantum computers Docplex python modeling api Quantum physics of atoms, molecules, solids, nuclei, and particles Ising formulations of many np problems Benchmarking hamiltonian noise in the d-wave quantum annealer Amazon Braket. github amazon braket Pennylane: Automatic differentiation of hybrid quantumclassical computations Configuration of the raspberry pi A functional architecture for scalable quantum computing Stefan Filipp, et al. Qiskit backend specifications for openqasm and openpulse experiments D-wave computer Pennylane-braket plugin Pennylane-braket plugin Formulation of the social workers' problem in quadratic unconstrained binary optimization form and solve it on a quantum computer Need to set if you specify directly with boto3 , it would be like this but you are using PennyLane 157 https :// boto3 . amazonaws . com / v1 / documentation / api / latest / guide / configuration . html 158 https :// boto3 . amazonaws . com / v1 / documentation / api / latest / guide / configuration . html # using -aconfiguration -file 159 a w s _ a c c e s s _ k e y _ i d and a w s _ s e c r e t _ a c c e s s _ k e y will also be required , which are associated with AWS IAM User . You can configure to access as local and access the Jupyter notebook interface using the URL http :// raspberrypi :8888/ from a browser on