To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
I introduce an important way to think about and construct a DCM: by implementing a yaw–pitch–roll sequence of rotations on a model aircraft. This does away with the widespread but rather involved method of describing the relative orientation of two axis sets by drawing them with a common origin. For this, we must distinguish the idea of a rotation in a sequence being about either a ‘space-fixed’ axis or a ‘carried-along’ axis. Users of these terms tend to fall into two groups, ‘active’ and ‘passive’. I state the ‘fundamental theorem of rotation sequences’, which does away with any need for the reader to stand in one group or the other. I also discuss the extraction of Euler angles from a DCM, and examine infinitesimal rotations. I discuss two methods of interpolating from an initial to a final orientation; one of these is used widely in computer graphics, but both methods must be discussed for the computer-graphics method to be understood. I end with a calculation of the position and attitude of a robot arm.
This chapter covers the quantum algorithmic primitives of amplitude amplification and amplitude estimation. Amplitude amplification is a generalization of Grover’s quantum algorithm for the unstructured search problem. Amplitude estimation can be understood in a similar framework, where it utilizes quantum phase estimation to estimate the value of the amplitude or probability associated with a quantum state. Both amplitude amplification and amplitude estimation provide a quadratic speedup over their classical counterparts, and feature prominently as an ingredient in many end-to-end algorithms.
This chapter covers applications of quantum computing in the area of quantum chemistry, where the goal is to predict the physical properties and behaviors of atoms, molecules, and materials. We discuss algorithms for simulating electrons in molecules and materials, including both static properties such as ground state energies and dynamic properties. We also discuss algorithms for simulating static and dynamic aspects of vibrations in molecules and materials.
This chapter covers applications of quantum computing in the area of condensed matter physics. We discuss algorithms for simulating the Fermi-Hubbard model, which is used to study high-temperature superconductivity and other physical phenomena. We also discuss algorithms for simulating spin models such as the Ising model and Heisenberg model. Finally, we cover algorithms for simulating the Sachdev-Ye-Kitaev (SYK) model of strongly interacting fermions, which is used to model quantum chaos and has connections to black holes.
This chapter covers applications of quantum computing in the area of combinatorial optimization. This area is related to operations research, and it encompasses many tasks that appear in science and industry, such as scheduling, routing, and supply chain management. We cover specific problems where a quadratic quantum speedup may be available via Grover’s quantum algorithm for unstructured search. We also cover several more recent proposals for achieving superquadratic speedups, including the quantum adiabatic algorithm, the quantum approximate optimization algorithm (QAOA), and the short-path algorithm.
An important set of coordinates to understand is that of our oblate Earth. I derive the equations transforming latitude/longitude/height to and from the ECEF cartesian axes. I use the model aircraft of a previous chapter as an aid to visualise the rotation sequences that are useful for calculating NED or ENU coordinates at a given point on or near Earth’s surface. I use these in a detailed example of sighting a distant aircraft. This leads to a description of the ‘DIS standard’ designed for such scenarios. I also use these ideas in a detailed example of estimating Earth’s gravity at a given point, which is necessary for implementing inertial navigation systems.
The initial excitement as well as considerable hype from software companies, AI developers and technology commentators following the launch of ChatGPT and other GenAI products in late 2022 and into 2023 has died down to a large extent. The ‘magic’ of seeing text and images being created in seconds from a few simple prompts is now just another clever thing that computers can do and is becoming part of many people's daily workflows. It was the same with e-mail, the World Wide Web (WWW), mobile phones and social media when they first became available. They are all now part of the warp and weft of everyday life. In time, GenAI and the applications that incorporate it will be no different. However, ‘time’ is the watchword here. This will not happen overnight for all the reasons discussed in this book. Developers need to demonstrate the value AI offers to organisations through real use cases and solid evidence of a return on investment. Adopting organisations need to be confident that the benefits outweigh the risks and this requires further work from developers and vendors in removing problems such as hallucinations and privacy breaches. If agentic AI is to take hold, then trust in such systems will be key. Alongside this, regulators and public policy makers will need to adapt their approaches as the technology evolves and its opportunities and risks become clearer. Finally, education will be a vital factor in helping workers, existing and yet to enter the workforce, adapt to this transformative technology, as well as teaching all individuals what they can and cannot trust online. This last requirement is, perhaps, the most important as it touches on foundational issues such as literacy and democracy.
A short chapter that describes the book’s content. It covers the core principles, and discusses some ways in which the book’s description of them differs from that of less technical descriptions.
This chapter covers variational quantum algorithms, which act as a primitive ingredient for larger quantum algorithms in several application areas, including quantum chemistry, combinatorial optimization, and machine learning. Variational quantum algorithms are parameterized quantum circuits where the parameters are trained to optimize a certain cost function. They are often shallow circuits, which potentially makes them suitable for near-term devices that are not error corrected.
I introduce quaternions by recounting the story of how Hamilton discovered them, but in far more detail than other authors give. This detail is necessary for the reader to understand why Hamilton wrote his quaternion equations in the way that he did. I describe the role of quaternions in rotation, show how to convert between them and matrices, and discuss their role in modern computer graphics. I describe a modern problem in detail whereby Hamilton’s original definition has been ‘hijacked’ in a way that has now produced much confusion. I end by describing how quaternions play a role in topology and quantum mechanics.
This chapter covers a number of disparate applications of quantum computing in the area of machine learning. We only consider situations where the dataset is classical (rather than quantum). We cover quantum algorithms for big-data problems relying upon high-dimensional linear algebra, such as Gaussian process regression and support vector machines. We discuss the prospect of achieving a quantum speedup with these algorithms, which face certain input/output caveats and must compete against quantum-inspired classical algorithms. We also cover heuristic quantum algorithms for energy-based models, which are generative machine learning models that learn to produce outputs similar to those in a training dataset. Next, we cover a quantum algorithm for the tensor principal component analysis problem, where a quartic speedup may be available, as well as quantum algorithms for topological data analysis, which aim to compute topologically invariant properties of a dataset. We conclude by covering quantum neural networks and quantum kernel methods, where the machine learning model itself is quantum in nature.
When using machine learning to model environmental systems, it is often a model’s ability to predict extreme behaviors that yields the highest practical value to policy makers. However, most existing error metrics used to evaluate the performance of environmental machine learning models weigh error equally across test data. Thus, routine performance is prioritized over a model’s ability to robustly quantify extreme behaviors. In this work, we present a new error metric, termed Reflective Error, which quantifies the degree at which our model error is distributed around our extremes, in contrast to existing model evaluation methods that aggregate error over all events. The suitability of our proposed metric is demonstrated on a real-world hydrological modeling problem, where extreme values are of particular concern.
Reduced-order models encapsulating complex whole-body dynamics have facilitated stable walking in various bipedal robots. These models have enabled intermittent control methods by applying control inputs intermittently (alternating between zero input and feedback input), allowing robots to follow natural dynamics and provide energetically and computationally efficient walking. However, due to their inability to derive closed-form solutions for the angular momentum generated by swing motions and other dynamic actions, constructing a precise model for the walking phase with zero input is challenging, and controlling walking behavior using an intermittent controller remains problematic. This paper proposes an intermittent controller for bipedal robots, modeled as a multi-mass system consisting of an inverted pendulum and an additional mass representing the swing leg. The proposed controller alternates between feedback control during the double support (DS) phase and zero-input control during the single support (SS) phase. By deriving a constrained trajectory, the system behaves as a conservative system during the SS phase, enabling closed-form solutions to the equations of motion. This constraint allows the robot to track the target behavior accurately, intermittently adjusting energy during the DS phase. The effectiveness of the proposed method is validated through simulations and experiments with a bipedal robot, demonstrating its capability to accurately and stably track the target walking velocity using intermittent control.
Tunnel boring machines (TBMs) are essential equipment for tunnel excavation. The main component of TBMs for breaking rock is the disc cutter. The effectiveness and productivity of TBM operations are directly impacted by the disc cutter design and performance. This study investigates the effects of confining stress on the breaking force of disc cutters with various diameters. Both saturated and dry rock, such as low-strength concrete, medium-strength marble, and high-strength granite, are used in the tests. It is found that disc cutters with larger diameter can reduce the influence of the confining stress. Moreover, this research indicates that the influence of confining stress is more notable in rocks with higher strengths, especially in dry condition as opposed to saturated condition. The failure load is related to the confining stress, cutter diameter, and compressive strength of the rock in a multivariate linear regression model, suggesting that the confining stress is more significant than the other variables. These results highlight the importance of considering in-situ stress conditions when excavating tunnels by TBMs.
We investigate causal computations, which take sequences of inputs to sequences of outputs such that the $n$th output depends on the first $n$ inputs only. We model these in category theory via a construction taking a Cartesian category $\mathbb{C}$ to another category $\mathrm{St}(\mathbb{C})$ with a novel trace-like operation called “delayed trace,” which misses yanking and dinaturality axioms of the usual trace. The delayed trace operation provides a feedback mechanism in $\mathrm{St}(\mathbb{C})$ with an implicit guardedness guarantee. When $\mathbb{C}$ is equipped with a Cartesian differential operator, we construct a differential operator for $\mathrm{St}(\mathbb{C})$ using an abstract version of backpropagation through time (BPTT), a technique from machine learning based on unrolling of functions. This obtains a swath of properties for BPTT, including a chain rule and Schwartz theorem. Our differential operator is also able to compute the derivative of a stateful network without requiring the network to be unrolled.
Peat is formed by the accumulation of organic material in water-saturated soils. Drainage of peatlands and peat extraction contribute to carbon emissions and biodiversity loss. Most peat extracted for commercial purposes is used for energy production or as a growing substrate. Many countries aim to reduce peat usage but this requires tools to detect its presence in substrates. We propose a decision support system based on deep learning to detect peat-specific testate amoeba in microscopy images. We identified six taxa that are peat-specific and frequent in European peatlands. The shells of two taxa (Archerella sp. and Amphitrema sp.) were well preserved in commercial substrate and can serve as indicators of peat presence. Images from surface and commercial samples were combined into a training set. A separate test set exclusively from commercial substrates was also defined. Both datasets were annotated and YOLOv8 models were trained to detect the shells. An ensemble of eight models was included in the decision support system. Test set performance (average precision) reached values above 0.8 for Archerella sp. and above 0.7 for Amphitrema sp. The system processes thousands of images within minutes and returns a concise list of crops of the most relevant shells. This allows a human operator to quickly make a final decision regarding peat presence. Our method enables the monitoring of peat presence in commercial substrates. It could be extended by including more species for applications in restoration ecology and paleoecology.