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.
Safety is an essential requirement as well as a major bottleneck for legged robots in the real world. Particularly for learning-based methods, their trial-and-error nature and unexplainable policy have raised widespread concerns. Existing methods usually treat this challenge as a trade-off between safety assurance and task performance. One reason for this drawback stems from the inaccurate inference for the robot’s safety. In this paper, we re-examine the segmentation of the robot’s state space in terms of safety. According to the current state and the prediction of the state transition trajectory, the states of legged robots are classified into safe, recoverable, unsafe, and failure, and a safety verification method is introduced to online infer the robot’s safety. Then, task, recovery, and fall protection policies are trained to ensure the robot’s safety in different states, forming a safety supervision framework independently from the learning algorithm. To validate the proposed method and framework, experiment results are conducted both in the simulation and on the real-world robot, indicating improvements in terms of safety and efficiency.
This chapter introduces quantum resource theories (QRTs), tracing their evolution and key principles, starting from physics’ quest to unify distinct phenomena into a single framework. It highlights the unification of electricity and magnetism as a pivotal advancement, setting a precedent for QRTs in quantum information science. Quantum resource theories categorize physical system attributes as “resources,” notably transforming the role of quantum entanglement from mere theoretical interest to a crucial element in quantum communication and computation.
The chapter further describes the book’s layout and educational strategy, designed to offer a comprehensive understanding of QRTs. It explores the application of quantum resources in fields like quantum computing and thermodynamics, presenting a unique viewpoint on subjects such as entropy and nonlocality. Emphasizing on axiomatic beginning followed by practical uses, the book serves as a vital resource for both beginners and experts in quantum information science, preparing readers to navigate the complex terrain of QRTs and highlighting their potential to advance quantum science and technology.
Chapter 4 delves into the concept of majorization, an essential mathematical framework critical for understanding the intricate structures within quantum resource theories. At its core, majorization establishes a preorder relationship between probability vectors, revealing a structured approach to compare the dispersion or concentration of probabilistic distributions. The chapter systematically deconstructs majorization into comprehensible segments, incorporating axiomatic, constructive, and operational perspectives. It further explores the mathematical foundations of majorization through an in-depth look at doubly stochastic matrices and T-transforms. Additionally, the chapter examines various forms of majorization, including approximate, relative, trumping, catalytic, and conditional majorization. This exploration not only encompasses the theoretical facets but also offers practical insights derived from games of chance.
This chapter illuminates some of the hidden costs of the federal agencies’ use of automated legal guidance to explain the law to the public. It highlights the following features of these tools: they make statements that deviate from the formal law; they fail to provide notice to users about the accuracy and legal value of their statements; and they induce reliance in ways that impose inequitable burdens among different user populations. The chapter also considers how policymakers should weigh these costs against the benefits of automated legal guidance when contemplating whether to adopt, or increase, agencies’ use of these tools.
Chapter 14 transitions the focus to multipartite entanglement, a realm that broadens the discussion from bipartite systems to those involving multiple parties. This complex form of entanglement plays a crucial role in quantum computing, cryptography, and communication networks. The chapter introduces the foundational concepts of multipartite entanglement, including its characterization and the challenges associated with its classification. Significant attention is given to the classification of multipartite entangled states through SL-invariant polynomials, which provide tools for understanding the structure and properties of these states. Stochastic Local Operations and Classical Communication (SLOCC) are introduced as a means to classify entanglement. Furthermore, the chapter explores the entanglement of assistance and the monogamy of entanglement, two concepts that illustrate the limitations and potential for distributing entanglement among multiple parties. Through detailed explanations and examples in three and four qubits, this chapter offers insights into the intricate world of multipartite entanglement, revealing both its potential and challenges.
This chapter describes the results of the authors' research of automated legal guidance tools across the federal government, conducted over a five-year period from 2019 through 2023. The authors first began this study in preparation for a conference on tax law and artificial intelligence in 2019, and were able to expand it significantly, under the auspices of the Administrative Conference of the United States (ACUS), in 2021. ACUS is an independent US government agency charged with recommending improvements to administrative process and procedure. The goals of this study were to understand how federal agencies use automated legal guidance and to offer recommendations based on these findings. During their research, the authors examined the automated legal guidance activities of every US federal agency. This research found that agencies used automation extensively to offer guidance to the public, albeit with varying levels of sophistication and legal content. This chapter focuses on two well-developed forms of automated legal guidance currently employed by federal agencies: the US Citizenship Immigration Services’ “Emma” and the Internal Revenue Service’s “Interactive Tax Assistant.”