-
Solving optimal control problems with non-smooth solutions using an integrated residual method and flexible mesh
Authors:
Lucian Nita,
Eric C. Kerrigan,
Eduardo M. G. Vila,
Yuanbo Nie
Abstract:
Solutions to optimal control problems can be discontinuous, even if all the functionals defining the problem are smooth. This can cause difficulties when numerically computing solutions to these problems. While conventional numerical methods assume state and input trajectories are continuous and differentiable or smooth, our method is able to capture discontinuities in the solution by introducing…
▽ More
Solutions to optimal control problems can be discontinuous, even if all the functionals defining the problem are smooth. This can cause difficulties when numerically computing solutions to these problems. While conventional numerical methods assume state and input trajectories are continuous and differentiable or smooth, our method is able to capture discontinuities in the solution by introducing time-mesh nodes as decision variables. This allows one to obtain a higher accuracy solution for the same number of mesh nodes compared to a fixed time-mesh approach. Furthermore, we propose to first solve a sequence of suitably-defined least-squares problems to ensure that the error in the dynamic equation is below a given tolerance. The cost functional is then minimized subject to an inequality constraint on the dynamic equation residual. We demonstrate our implementation on an optimal control problem that has a chattering solution. Solving such a problem is difficult, since the solution involves infinitely many switches of decreasing duration. This simulation shows how the flexible mesh is able to capture discontinuities present in the solution and achieve superlinear convergence as the number of mesh intervals is increased.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
-
Fast and accurate method for computing non-smooth solutions to constrained control problems
Authors:
Lucian Nita,
Eduardo M. G. Vila,
Marta A. Zagorowska,
Eric C. Kerrigan,
Yuanbo Nie,
Ian McInerney,
Paola Falugi
Abstract:
Introducing flexibility in the time-discretisation mesh can improve convergence and computational time when solving differential equations numerically, particularly when the solutions are discontinuous, as commonly found in control problems with constraints. State-of-the-art methods use fixed mesh schemes, which cannot achieve superlinear convergence in the presence of non-smooth solutions. In thi…
▽ More
Introducing flexibility in the time-discretisation mesh can improve convergence and computational time when solving differential equations numerically, particularly when the solutions are discontinuous, as commonly found in control problems with constraints. State-of-the-art methods use fixed mesh schemes, which cannot achieve superlinear convergence in the presence of non-smooth solutions. In this paper, we propose using a flexible mesh in an integrated residual method. The locations of the mesh nodes are introduced as decision variables, and constraints are added to set upper and lower bounds on the size of the mesh intervals. We compare our approach to a uniform fixed mesh on a real-world satellite reorientation example. This example demonstrates that the flexible mesh enables the solver to automatically locate the discontinuities in the solution, has superlinear convergence and faster solve times, while achieving the same accuracy as a fixed mesh.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Quantum Games and Interactive Tools for Quantum Technologies Outreach and Education
Authors:
Zeki C. Seskir,
Piotr Migdał,
Carrie Weidner,
Aditya Anupam,
Nicky Case,
Noah Davis,
Chiara Decaroli,
İlke Ercan,
Caterina Foti,
Paweł Gora,
Klementyna Jankiewicz,
Brian R. La Cour,
Jorge Yago Malo,
Sabrina Maniscalco,
Azad Naeemi,
Laurentiu Nita,
Nassim Parvin,
Fabio Scafirimuto,
Jacob F. Sherson,
Elif Surer,
James Wootton,
Lia Yeh,
Olga Zabello,
Marilù Chiofalo
Abstract:
In this article, we provide an extensive overview of a wide range of quantum games and interactive tools that have been employed by the community in recent years. The paper presents selected tools, as described by their developers. The list includes Hello Quantum, Hello Qiskit, Particle in a Box, Psi and Delta, QPlayLearn, Virtual Lab by Quantum Flytrap, Quantum Odyssey, ScienceAtHome, and The Vir…
▽ More
In this article, we provide an extensive overview of a wide range of quantum games and interactive tools that have been employed by the community in recent years. The paper presents selected tools, as described by their developers. The list includes Hello Quantum, Hello Qiskit, Particle in a Box, Psi and Delta, QPlayLearn, Virtual Lab by Quantum Flytrap, Quantum Odyssey, ScienceAtHome, and The Virtual Quantum Optics Laboratory. Additionally, we present events for quantum game development: hackathons, game jams, and semester projects. Furthermore, we discuss the Quantum Technologies Education for Everyone (QUTE4E) pilot project, which illustrates an effective integration of these interactive tools with quantum outreach and education activities. Finally, we aim at providing guidelines for incorporating quantum games and interactive tools in pedagogic materials to make quantum technologies more accessible for a wider population.
△ Less
Submitted 30 July, 2022; v1 submitted 15 February, 2022;
originally announced February 2022.
-
Inclusive learning for quantum computing: supporting the aims of quantum literacy using the puzzle game Quantum Odyssey
Authors:
Laurentiu Nita,
Nicholas Chancellor,
Laura Mazzoli Smith,
Helen Cramman,
Gulsah Dost
Abstract:
With a vast domain of applications and now having quantum computing hardware available for commercial use, an education challenge arises in getting people of various background to become quantum literate. Quantum Odyssey is a new piece of computer software that promises to be a medium where people can learn quantum computing without any previous requirements. It aims to achieve this through visual…
▽ More
With a vast domain of applications and now having quantum computing hardware available for commercial use, an education challenge arises in getting people of various background to become quantum literate. Quantum Odyssey is a new piece of computer software that promises to be a medium where people can learn quantum computing without any previous requirements. It aims to achieve this through visual cues and puzzle play, without requiring the user to possess a background in computer coding or even linear algebra, which are traditionally a must to work on quantum algorithms. In this paper we report our findings on an UKRI Citizen Science grant that involves using Quantum Odyssey to teach how to construct quantum computing algorithms. Sessions involved 30 minutes of play, with 10 groups of 5 students, ranging between 11 to 18 years old, in two schools in the UK. Results show the Quantum Odyssey visual methods are efficient in portraying counterintuitive quantum computational logic in a visual and interactive form. This enabled untrained participants to quickly grasp difficult concepts in an intuitive way and solve problems that are traditionally given today in Masters level courses in a mathematical form. The results also show an increased interest in quantum physics after play, a higher openness and curiosity to learn the mathematics behind computing on quantum systems. Participants developed a visual, rather than mathematical intuition, that enabled them to understand and correctly answer entry level technical quantum information science.
△ Less
Submitted 13 June, 2021;
originally announced June 2021.
-
Towards a Framework for Nonlinear Predictive Control using Derivative-Free Optimization
Authors:
Ian McInerney,
Lucian Nita,
Yuanbo Nie,
Alberto Oliveri,
Eric C. Kerrigan
Abstract:
The use of derivative-based solvers to compute solutions to optimal control problems with non-differentiable cost or dynamics often requires reformulations or relaxations that complicate the implementation or increase computational complexity. We present an initial framework for using the derivative-free Mesh Adaptive Direct Search (MADS) algorithm to solve Nonlinear Model Predictive Control probl…
▽ More
The use of derivative-based solvers to compute solutions to optimal control problems with non-differentiable cost or dynamics often requires reformulations or relaxations that complicate the implementation or increase computational complexity. We present an initial framework for using the derivative-free Mesh Adaptive Direct Search (MADS) algorithm to solve Nonlinear Model Predictive Control problems with non-differentiable features without the need for reformulation. The MADS algorithm performs a structured search of the input space by simulating selected system trajectories and computing the subsequent cost value. We propose handling the path constraints and the Lagrange cost term by augmenting the system dynamics with additional states to compute the violation and cost value alongside the state trajectories, eliminating the need for reconstructing the state trajectories in a separate phase. We demonstrate the practicality of this framework by solving a robust rocket control problem, where the objective is to reach a target altitude as close as possible, given a system with uncertain parameters. This example uses a non-differentiable cost function and simulates two different system trajectories simultaneously, with each system having its own free final time.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
An energetic perspective on rapid quenches in quantum annealing
Authors:
Adam Callison,
Max Festenstein,
Jie Chen,
Laurentiu Nita,
Viv Kendon,
Nicholas Chancellor
Abstract:
There are well developed theoretical tools to analyse how quantum dynamics can solve computational problems by varying Hamiltonian parameters slowly, near the adiabatic limit. On the other hand, there are relatively few tools to understand the opposite limit of rapid quenches, as used in quantum annealing and (in the limit of infinitely rapid quenches) in quantum walks. In this paper, we develop s…
▽ More
There are well developed theoretical tools to analyse how quantum dynamics can solve computational problems by varying Hamiltonian parameters slowly, near the adiabatic limit. On the other hand, there are relatively few tools to understand the opposite limit of rapid quenches, as used in quantum annealing and (in the limit of infinitely rapid quenches) in quantum walks. In this paper, we develop several tools which are applicable in the rapid quench regime. Firstly, we analyse the energy expectation value of different elements of the Hamiltonian. From this, we show that monotonic quenches, where the strength of the problem Hamiltonian is consistently increased relative to fluctuation (driver) terms, will yield a better result on average than random guessing. Secondly, we develop methods to determine whether dynamics will occur locally under rapid quench Hamiltonians, and identify cases where a rapid quench will lead to a substantially improved solution. In particular, we find that a technique we refer to as "pre-annealing" can significantly improve the performance of quantum walks. We also show how these tools can provide efficient heuristic estimates for Hamiltonian parameters, a key requirement for practical application of quantum annealing.
△ Less
Submitted 5 March, 2021; v1 submitted 22 July, 2020;
originally announced July 2020.
-
The challenge and opportunities of quantum literacy for future education and transdisciplinary problem-solving
Authors:
Laurentiu Nita,
Laura Mazzoli Smith,
Nicholas Chancellor,
Helen Cramman
Abstract:
Resulting from cross-disciplinary dialogue between physicists, computer scientists, educationalists, and industrial end users, we propose the concept of quantum literacy as one means of addressing the transdisciplinary nature of the complex problems that we see at the heart of issues around global sustainability. In this way, quantum literacy can contribute to UN Sustainable Development Goal 4, Qu…
▽ More
Resulting from cross-disciplinary dialogue between physicists, computer scientists, educationalists, and industrial end users, we propose the concept of quantum literacy as one means of addressing the transdisciplinary nature of the complex problems that we see at the heart of issues around global sustainability. In this way, quantum literacy can contribute to UN Sustainable Development Goal 4, Quality Education. We argue that quantum literacy, as defined here, addresses the challenges of learning and skills acquisition within a highly bounded discipline and of access to the kind of powerful knowledge that should be more accessible to a wide group of learners throughout the life course, both students and professionals. It is increasingly important that the knowledge of quantum technologies is accessible to those who work with real world applications in a more inclusive way. We therefore argue for the importance of addressing pedagogic issues when powerful knowledge consists of dense concepts, as well as complex and hierarchical relations between concepts, in addition to presenting a strong barrier to entry in the form of mathematics. We introduce a specific puzzle visualization learning tool through which to achieve these pedagogic ends with respect to quantum computation. Visualization through puzzles can enable non-specialists to develop an intuitive, but still rigorous, understanding of universal quantum computation and provide a facility for non-specialists to discover increasingly complex and new quantum algorithms. Using the Hong-Ou-Mandel optical effect from quantum mechanics, we demonstrate how visual methods such as those made possible through the puzzle visualization tool, can be very useful for understanding underlying complex processes in quantum physics and beyond and therefore support the aims of quantum literacy.
△ Less
Submitted 17 May, 2020; v1 submitted 14 April, 2020;
originally announced April 2020.
-
A 4 tonne demonstrator for large-scale dual-phase liquid argon time projection chambers
Authors:
B. Aimard,
Ch. Alt,
J. Asaadi,
M. Auger,
V. Aushev,
D. Autiero,
M. M. Badoi,
A. Balaceanu,
G. Balik,
L. Balleyguier,
E. Bechetoille,
D. Belver,
A. M. Blebea-Apostu,
S. Bolognesi,
S. Bordoni,
N. Bourgeois,
B. Bourguille,
J. Bremer,
G. Brown,
G. Brunetti,
L. Brunetti,
D. Caiulo,
M. Calin,
E. Calvo,
M. Campanelli
, et al. (147 additional authors not shown)
Abstract:
A 10 kilo-tonne dual-phase liquid argon TPC is one of the detector options considered for the Deep Underground Neutrino Experiment (DUNE). The detector technology relies on amplification of the ionisation charge in ultra-pure argon vapour and oers several advantages compared to the traditional single-phase liquid argon TPCs. A 4.2 tonne dual-phase liquid argon TPC prototype, the largest of its kin…
▽ More
A 10 kilo-tonne dual-phase liquid argon TPC is one of the detector options considered for the Deep Underground Neutrino Experiment (DUNE). The detector technology relies on amplification of the ionisation charge in ultra-pure argon vapour and oers several advantages compared to the traditional single-phase liquid argon TPCs. A 4.2 tonne dual-phase liquid argon TPC prototype, the largest of its kind, with an active volume of 3x1x1 $m^3$ has been constructed and operated at CERN. In this paper we describe in detail the experimental setup and detector components as well as report on the operation experience. We also present the first results on the achieved charge amplification, prompt scintillation and electroluminescence detection, and purity of the liquid argon from analyses of a collected sample of cosmic ray muons.
△ Less
Submitted 19 October, 2018; v1 submitted 8 June, 2018;
originally announced June 2018.
-
Operators on Spaces of Functions and Measures. Vector Invariant (Fractal) Measures
Authors:
Ion Chiţescu,
Loredana Ioana,
Radu Miculescu,
Lucian Niţă
Abstract:
We consider a general schema involving measure spaces, contractions and linear and continuous operators. Within the framework of this schema we use our sesquilinear uniform integral and introduce some integral operators on continuous vector functions spaces, which lead us to operators on spaces of vector measures. Using these last operators, we generalize the Markov operators, obtaining via contra…
▽ More
We consider a general schema involving measure spaces, contractions and linear and continuous operators. Within the framework of this schema we use our sesquilinear uniform integral and introduce some integral operators on continuous vector functions spaces, which lead us to operators on spaces of vector measures. Using these last operators, we generalize the Markov operators, obtaining via contractions vector invariant (fractal) measures. Concrete examples are provided.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
Self-similar vector measures of Markov-type operators
Authors:
Ion Chiţescu,
Loredana Ioana,
Radu Miculescu,
Lucian Niţă
Abstract:
We consider iterated function systems (finite or countable), together with linear and continuous operators on Hilbert spaces, which enable us to construct Markov-type operators. Under suitable conditions, these Markov-type operators have fixed points, which are self-similar (invariant) vector measures, thus generalizing the classic Hutchinson self-similar measures. Several models with concrete com…
▽ More
We consider iterated function systems (finite or countable), together with linear and continuous operators on Hilbert spaces, which enable us to construct Markov-type operators. Under suitable conditions, these Markov-type operators have fixed points, which are self-similar (invariant) vector measures, thus generalizing the classic Hutchinson self-similar measures. Several models with concrete computations are introduced.
△ Less
Submitted 27 January, 2017;
originally announced January 2017.
-
LBNO-DEMO: Large-scale neutrino detector demonstrators for phased performance assessment in view of a long-baseline oscillation experiment
Authors:
L. Agostino,
B. Andrieu,
R. Asfandiyarov,
D. Autiero,
O. Bésida,
F. Bay,
R. Bayes,
A. M. Blebea-Apostu,
A. Blondel,
M. Bogomilov,
S. Bolognesi,
S. Bordoni,
A. Bravar,
M. Buizza-Avanzini,
F. Cadoux,
D. Caiulo,
M. Calin,
M. Campanelli,
C. Cantini,
L. Chaussard,
D. Chesneanu,
N. Colino,
P. Crivelli,
I. De Bonis,
Y. Déclais
, et al. (90 additional authors not shown)
Abstract:
In June 2012, an Expression of Interest for a long-baseline experiment (LBNO) has been submitted to the CERN SPSC. LBNO considers three types of neutrino detector technologies: a double-phase liquid argon (LAr) TPC and a magnetised iron detector as far detectors. For the near detector, a high-pressure gas TPC embedded in a calorimeter and a magnet is the baseline design. A mandatory milestone is a…
▽ More
In June 2012, an Expression of Interest for a long-baseline experiment (LBNO) has been submitted to the CERN SPSC. LBNO considers three types of neutrino detector technologies: a double-phase liquid argon (LAr) TPC and a magnetised iron detector as far detectors. For the near detector, a high-pressure gas TPC embedded in a calorimeter and a magnet is the baseline design. A mandatory milestone is a concrete prototy** effort towards the envisioned large-scale detectors, and an accompanying campaign of measurements aimed at assessing the detector associated systematic errors. The proposed $6\times 6\times 6$m$^3$ DLAr is an industrial prototype of the design discussed in the EoI and scalable to 20 kton or 50~kton. It is to be constructed and operated in a controlled laboratory and surface environment with test beam access, such as the CERN North Area (NA). Its successful operation and full characterisation will be a fundamental milestone, likely opening the path to an underground deployment of larger detectors. The response of the DLAr demonstrator will be measured and understood with an unprecedented precision in a charged particle test beam (0.5-20 GeV/c). The exposure will certify the assumptions and calibrate the response of the detector, and allow to develop and to benchmark sophisticated reconstruction algorithms, such as those of 3-dimensional tracking, particle ID and energy flow in liquid argon. All these steps are fundamental for validating the correctness of the physics performance described in the LBNO EoI.
△ Less
Submitted 14 September, 2014;
originally announced September 2014.
-
Monge-Kantorovich norms on spaces of vector measures
Authors:
Ion Chitescu,
Radu Miculescu,
Lucian Nita,
Loredana Ioana
Abstract:
One considers Hilbert space valued measures on the Borel sets of a compact metric space. A natural numerical valued integral of vector valued continuous functions with respect to vector valued functions is defined. Using this integral, different norms (we called them Monge-Kantorovich norm, modified Monge-Kantorovich norm and Hanin norm) on the space of measures are introduced, generalizing the th…
▽ More
One considers Hilbert space valued measures on the Borel sets of a compact metric space. A natural numerical valued integral of vector valued continuous functions with respect to vector valued functions is defined. Using this integral, different norms (we called them Monge-Kantorovich norm, modified Monge-Kantorovich norm and Hanin norm) on the space of measures are introduced, generalizing the theory of (weak) convergence for probability measures on metric spaces. These norms introduce new (equivalent) metrics on the initial compact metric space.
△ Less
Submitted 19 April, 2014;
originally announced April 2014.