DOCSLIB.ORG

Bidirectional Heuristic Search for Motion Planning with an Extend Operator

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Bidirectional Heuristic Search for Motion Planning with an Extend Operator Bidirectional Heuristic Search for Motion Planning with an Extend Operator Allen Cheng, Dhruv Mauria Saxena, and Maxim Likhachev Abstract— Sampling-based approaches are often favored in inconsistent and exhibit high variance, whereas those found robotics for high-dimensional motion planning for their fast by the more deterministic search-based planners are fairly exploration of the search space. However, at best they offer consistent with each other.1 asymptotic guarantees on solution quality due to their inherent stochasticity. While planning, the majority of effort is often Nicholson first proposed bidirectional search as two sep- spent near the start and goal configurations with a large arate searches initialized from both the start and goal [2]. amount of free space in between. Bidirectional approaches In theory, these planners can exponentially reduce the num- such as RRT-Connect exploit this fact by greedily extending ber of expanded states, making them an attractive class and connecting search frontiers that simultaneously propagate of algorithms. It is well-known that informative heuristics from the start and goal configurations of a planning problem. In this work, we use such an extend operator for bidirectional significantly improve search efficiency for unidirectional heuristic search-based planners, which typically struggle with search, so using them for both searches in a bidirectional high-dimensionality. In doing so, we address the difficulty that algorithm is an intuitive extension. In practice, however, the these bidirectional planners face with connecting frontiers of frontiers of both search efforts often miss each other entirely, both search efforts while providing suboptimality bounds on without any overlap in the search space. The searches can solution quality. We validate our simple approach on high- dimensional manipulation tasks, demonstrating significantly end up expending significantly more effort in these cases, reduced search effort when compared against other popular contrary to the motivating intuition. This problem is exacer- bidirectional algorithms, both search-based and sampling. Our bated in high-dimensional state spaces, which are commonly algorithm maintains theoretical guarantees on suboptimality found in robotic motion planning problems. Bidirectional and completeness for a given resolution. In addition, the sampling-based approaches on the other hand, such as the solutions found by our planner are of higher quality compared to those found by the other baseline algorithms. RRT-Connect algorithm [3], offer fast planning performance and scale well with high-dimensionality but at the cost of I. INTRODUCTION deterministic theoretical guarantees on solution quality and completeness. Consider the manipulation problem of pick-and-place in In our work, we present a simple but effective extension cluttered environments with a high degree-of-freedom (DoF) that aims to overcome the known shortcomings of bidirec- robotic arm, a challenge commonly faced in industrial set- tional heuristic search with the use of an extend operator. tings. Successful grasping often requires tight and minimal The extend operator is used to connect the search frontiers tolerances due to clutter around the start and goal configura- being explored simultaneously but independently from the tions. This demands a large amount of search effort around start and goal configurations. This operator was originally the start and goal region, but the majority of the intermediate proposed as a greedy heuristic for connecting forward and path is typically collision-free. Naive search-based planners backward searches in bidirectional sampling-based planners require procedural reasoning over the possible arm configu- [3]. Motivated by the example described earlier, we adopt rations when planning through this free space to maintain op- this operator for the heuristic search setting to efficiently timality guarantees. To increase planning efficiency in these reason through free space in high DoF motion planning. With scenarios, biased heuristics may be used, but they suffer our modification, we maintain consistency and deterministic when presented with cluttered environments that induce local bounds on the suboptimality of found solutions, for a given minima. Planning with adaptive dimensionality [1] exploits resolution of action and state space. this insight to quickly find paths in low-dimensional repre- sentations before executing a high-dimensional search in a II. RELATED WORK tunnel around those paths. Despite these advances, sampling- A. Bidirectional Planning Algorithms based approaches are often still favored for planning in high-dimensions due to their attractive planning speeds. 1) RRT-Connect: The RRT-Connect algorithm [3] first By abandoning deterministic guarantees on optimality of introduced the extend function in the context of motion found solutions, sampling-based planners randomly probe planning without kinodynamic constraints. The sampling- the configuration space to quickly find feasible trajectories. based planner dynamically constructs two rapidly-exploring As a result, the solutions found by these planners can be random trees [4] (from the start and goal configurations). It attempts to connect both trees using an EXTEND operator. All authors are affiliated with The Robotics Institute, Carnegie Mellon University, Pittsburgh, USA fallenc1, dsaxena, 1Consistency refers to the likeness between paths with similar start-goal [email protected] pairs with respect to some metric. This operator takes a single, fixed-size step towards the heuristic to guide front-to-front search, an extend operator nearest-neighbor in the opposite tree. A CONNECT function is used to greedily extend to the opposite tree. repeatedly executes EXTEND until a node in the opposite B. Tree Extension tree is reached or an obstacle blocks any further extension attempts. The greedy nature of RRT-Connect leads to fast 1) EXTEND/ CONNECT Operators: The extend operator performance and its sampling behavior allows it to trans- responsible for connecting pairs of states has been widely late well to high-dimensional motion planning problems. explored in robotic motion planning. The extend operator’s However, the algorithm has no guarantees on optimality job is two-fold: it must select a state as a local goal or bounded suboptimality, and solution quality can vary using a distance metric and perform the extension itself. greatly. Recent work [5], [6] has attempted to address this For bidirectional sampling-based methods, nearest-neighbors by adopting the local rewiring procedure from RRT* [7], but (NN) are selected as extension targets. For problems with these approaches can only guarantee asymptotic optimality. kinematic or kinodynamic constraints, the extension must 2) Heuristic Search-Based Algorithms: Pohl first ex- solve a two-point boundary value problem (BVP). Lavalle plored the combination of bidirectional and heuristic search [15] proposes motion primitives that describe a predefined with the classical front-to-back bidirectional heuristic search set of discretized control actions, but this does not fully solve algorithm, BHPA [8]. However, the theoretical benefits were the BVP. Prior research has offered solutions that include the never consistently reflected in experiments. It was later noted use of optimal controllers [16] and splines [17]. Since we use that the frontiers for forward and backward search often the same nearest-neighbors extend operator in our approach, missed or crossed through each other in practice [9]. This these methodologies and adaptations to various domains can observation, considered to be crux of bidirectional heuristic be easily adopted into our algorithm. search, motivated Champeaux and Sint to develop the Bidi- 2) Adaptive Motion Primitives: Cohen, et al. use adaptive rectional Heuristic Front-to-Front Algorithm (BHFFA) [10]. motion primitives [18] that are generated on-the-fly during BHFFA achieves reduced expansions compared to BHPA at search. In the example scenario we introduced previously, the cost of having to exhaustively compute a front-to-front they are used to connect the search frontier to the goal con- distance for entire frontiers. For high-dimensional motion figuration. The goal may be underdefined vis-a-vis´ degrees- planning, this is prohibitively expensive to compute. Recent of-freedom of the robot and thus differ from the dimensional- research has focused on ensuring the two search efforts ity of the search space. For example, we may specify a 6 DoF “meet in the middle” through the use of a unique priority goal pose in SE(3) while planning for a 7 DoF robot arm function [11]. However, this property has no clear use in (i.e. planning for 7 joints). The redundant joint allows for the context of complex motion planning, where frontier a set of states that satisfy the goal constraint. An analytical intersection may not always be in the middle. inverse kinematics (IK) solver is used to generate a valid 3) A*-Connect: The recently introduced A*-Connect al- state when the search is sufficiently close to the goal. A gorithm [12] leverages a Multi-Heuristic A* (MHA*) [13] dynamically constructed motion primitive is used to reach framework to guide search bidirectionally towards both the the goal state. For the robotic arm, this translates into to opposite root and frontier in parallel. MHA* provides a a linearly-interpolated path between the valid search state structured framework enabling the use of multiple inadmis- and the goal
Load more

Recommended publications
  • 1 Notation for States
    The S-Matrix1 D. E. Soper2 University of Oregon Physics 634, Advanced Quantum Mechanics November 2000 1 Notation for states In these notes we discuss scattering nonrelativistic quantum mechanics. We will use states with the nonrelativistic normalization h~p |~ki = (2π)3δ(~p − ~k). (1) Recall that in a relativistic theory there is an extra factor of 2E on the right hand side of this relation, where E = [~k2 + m2]1/2. We will use states in the “Heisenberg picture,” in which states |ψ(t)i do not depend on time. Often in quantum mechanics one uses the Schr¨odinger picture, with time dependent states |ψ(t)iS. The relation between these is −iHt |ψ(t)iS = e |ψi. (2) Thus these are the same at time zero, and the Schrdinger states obey d i |ψ(t)i = H |ψ(t)i (3) dt S S In the Heisenberg picture, the states do not depend on time but the op- erators do depend on time. A Heisenberg operator O(t) is related to the corresponding Schr¨odinger operator OS by iHt −iHt O(t) = e OS e (4) Thus hψ|O(t)|ψi = Shψ(t)|OS|ψ(t)iS. (5) The Heisenberg picture is favored over the Schr¨odinger picture in the case of relativistic quantum mechanics: we don’t have to say which reference 1Copyright, 2000, D. E. Soper [email protected] 1 frame we use to define t in |ψ(t)iS. For operators, we can deal with local operators like, for instance, the electric field F µν(~x, t).
    [Show full text]
  • Motion of the Reduced Density Operator
    Motion of the Reduced Density Operator Nicholas Wheeler, Reed College Physics Department Spring 2009 Introduction. Quantum mechanical decoherence, dissipation and measurements all involve the interaction of the system of interest with an environmental system (reservoir, measurement device) that is typically assumed to possess a great many degrees of freedom (while the system of interest is typically assumed to possess relatively few degrees of freedom). The state of the composite system is described by a density operator ρ which in the absence of system-bath interaction we would denote ρs ρe, though in the cases of primary interest that notation becomes unavailable,⊗ since in those cases the states of the system and its environment are entangled. The observable properties of the system are latent then in the reduced density operator ρs = tre ρ (1) which is produced by “tracing out” the environmental component of ρ. Concerning the specific meaning of (1). Let n) be an orthonormal basis | in the state space H of the (open) system, and N) be an orthonormal basis s !| " in the state space H of the (also open) environment. Then n) N) comprise e ! " an orthonormal basis in the state space H = H H of the |(closed)⊗| composite s e ! " system. We are in position now to write ⊗ tr ρ I (N ρ I N) e ≡ s ⊗ | s ⊗ | # ! " ! " ↓ = ρ tr ρ in separable cases s · e The dynamics of the composite system is generated by Hamiltonian of the form H = H s + H e + H i 2 Motion of the reduced density operator where H = h I s s ⊗ e = m h n m N n N $ | s| % | % ⊗ | % · $ | ⊗ $ | m,n N # # $% & % &' H = I h e s ⊗ e = n M n N M h N | % ⊗ | % · $ | ⊗ $ | $ | e| % n M,N # # $% & % &' H = m M m M H n N n N i | % ⊗ | % $ | ⊗ $ | i | % ⊗ | % $ | ⊗ $ | m,n M,N # # % &$% & % &'% & —all components of which we will assume to be time-independent.
    [Show full text]
  • An S-Matrix for Massless Particles Arxiv:1911.06821V2 [Hep-Th]
    An S-Matrix for Massless Particles Holmfridur Hannesdottir and Matthew D. Schwartz Department of Physics, Harvard University, Cambridge, MA 02138, USA Abstract The traditional S-matrix does not exist for theories with massless particles, such as quantum electrodynamics. The difficulty in isolating asymptotic states manifests itself as infrared divergences at each order in perturbation theory. Building on insights from the literature on coherent states and factorization, we construct an S-matrix that is free of singularities order-by-order in perturbation theory. Factorization guarantees that the asymptotic evolution in gauge theories is universal, i.e. independent of the hard process. Although the hard S-matrix element is computed between well-defined few particle Fock states, dressed/coherent states can be seen to form as intermediate states in the calculation of hard S-matrix elements. We present a framework for the perturbative calculation of hard S-matrix elements combining Lorentz-covariant Feyn- man rules for the dressed-state scattering with time-ordered perturbation theory for the asymptotic evolution. With hard cutoffs on the asymptotic Hamiltonian, the cancella- tion of divergences can be seen explicitly. In dimensional regularization, where the hard cutoffs are replaced by a renormalization scale, the contribution from the asymptotic evolution produces scaleless integrals that vanish. A number of illustrative examples are given in QED, QCD, and N = 4 super Yang-Mills theory. arXiv:1911.06821v2 [hep-th] 24 Aug 2020 Contents 1 Introduction1 2 The hard S-matrix6 2.1 SH and dressed states . .9 2.2 Computing observables using SH ........................... 11 2.3 Soft Wilson lines . 14 3 Computing the hard S-matrix 17 3.1 Asymptotic region Feynman rules .
    [Show full text]
  • 5 the Dirac Equation and Spinors
    5 The Dirac Equation and Spinors In this section we develop the appropriate wavefunctions for fundamental fermions and bosons. 5.1 Notation Review The three dimension differential operator is : ∂ ∂ ∂ = , , (5.1) ∂x ∂y ∂z We can generalise this to four dimensions ∂µ: 1 ∂ ∂ ∂ ∂ ∂ = , , , (5.2) µ c ∂t ∂x ∂y ∂z 5.2 The Schr¨odinger Equation First consider a classical non-relativistic particle of mass m in a potential U. The energy-momentum relationship is: p2 E = + U (5.3) 2m we can substitute the differential operators: ∂ Eˆ i pˆ i (5.4) → ∂t →− to obtain the non-relativistic Schr¨odinger Equation (with = 1): ∂ψ 1 i = 2 + U ψ (5.5) ∂t −2m For U = 0, the free particle solutions are: iEt ψ(x, t) e− ψ(x) (5.6) ∝ and the probability density ρ and current j are given by: 2 i ρ = ψ(x) j = ψ∗ ψ ψ ψ∗ (5.7) | | −2m − with conservation of probability giving the continuity equation: ∂ρ + j =0, (5.8) ∂t · Or in Covariant notation: µ µ ∂µj = 0 with j =(ρ,j) (5.9) The Schr¨odinger equation is 1st order in ∂/∂t but second order in ∂/∂x. However, as we are going to be dealing with relativistic particles, space and time should be treated equally. 25 5.3 The Klein-Gordon Equation For a relativistic particle the energy-momentum relationship is: p p = p pµ = E2 p 2 = m2 (5.10) · µ − | | Substituting the equation (5.4), leads to the relativistic Klein-Gordon equation: ∂2 + 2 ψ = m2ψ (5.11) −∂t2 The free particle solutions are plane waves: ip x i(Et p x) ψ e− · = e− − · (5.12) ∝ The Klein-Gordon equation successfully describes spin 0 particles in relativistic quan- tum field theory.
    [Show full text]
  • Chapter 5 ANGULAR MOMENTUM and ROTATIONS
    Chapter 5 ANGULAR MOMENTUM AND ROTATIONS In classical mechanics the total angular momentum L~ of an isolated system about any …xed point is conserved. The existence of a conserved vector L~ associated with such a system is itself a consequence of the fact that the associated Hamiltonian (or Lagrangian) is invariant under rotations, i.e., if the coordinates and momenta of the entire system are rotated “rigidly” about some point, the energy of the system is unchanged and, more importantly, is the same function of the dynamical variables as it was before the rotation. Such a circumstance would not apply, e.g., to a system lying in an externally imposed gravitational …eld pointing in some speci…c direction. Thus, the invariance of an isolated system under rotations ultimately arises from the fact that, in the absence of external …elds of this sort, space is isotropic; it behaves the same way in all directions. Not surprisingly, therefore, in quantum mechanics the individual Cartesian com- ponents Li of the total angular momentum operator L~ of an isolated system are also constants of the motion. The di¤erent components of L~ are not, however, compatible quantum observables. Indeed, as we will see the operators representing the components of angular momentum along di¤erent directions do not generally commute with one an- other. Thus, the vector operator L~ is not, strictly speaking, an observable, since it does not have a complete basis of eigenstates (which would have to be simultaneous eigenstates of all of its non-commuting components). This lack of commutivity often seems, at …rst encounter, as somewhat of a nuisance but, in fact, it intimately re‡ects the underlying structure of the three dimensional space in which we are immersed, and has its source in the fact that rotations in three dimensions about di¤erent axes do not commute with one another.
    [Show full text]
  • 13 the Dirac Equation
    13 The Dirac Equation A two-component spinor a χ = b transforms under rotations as iθn J χ e− · χ; ! with the angular momentum operators, Ji given by: 1 Ji = σi; 2 where σ are the Pauli matrices, n is the unit vector along the axis of rotation and θ is the angle of rotation. For a relativistic description we must also describe Lorentz boosts generated by the operators Ki. Together Ji and Ki form the algebra (set of commutation relations) Ki;Kj = iεi jkJk − ε Ji;Kj = i i jkKk ε Ji;Jj = i i jkJk 1 For a spin- 2 particle Ki are represented as i Ki = σi; 2 giving us two inequivalent representations. 1 χ Starting with a spin- 2 particle at rest, described by a spinor (0), we can boost to give two possible spinors α=2n σ χR(p) = e · χ(0) = (cosh(α=2) + n σsinh(α=2))χ(0) · or α=2n σ χL(p) = e− · χ(0) = (cosh(α=2) n σsinh(α=2))χ(0) − · where p sinh(α) = j j m and Ep cosh(α) = m so that (Ep + m + σ p) χR(p) = · χ(0) 2m(Ep + m) σ (pEp + m p) χL(p) = − · χ(0) 2m(Ep + m) p 57 Under the parity operator the three-moment is reversed p p so that χL χR. Therefore if we 1 $ − $ require a Lorentz description of a spin- 2 particles to be a proper representation of parity, we must include both χL and χR in one spinor (note that for massive particles the transformation p p $ − can be achieved by a Lorentz boost).
    [Show full text]
  • Structure of a Spin ½ B
    Structure of a spin ½ B. C. Sanctuary Department of Chemistry, McGill University Montreal Quebec H3H 1N3 Canada Abstract. The non-hermitian states that lead to separation of the four Bell states are examined. In the absence of interactions, a new quantum state of spin magnitude 1/√2 is predicted. Properties of these states show that an isolated spin is a resonance state with zero net angular momentum, consistent with a point particle, and each resonance corresponds to a degenerate but well defined structure. By averaging and de-coherence these structures are shown to form ensembles which are consistent with the usual quantum description of a spin. Keywords: Bell states, Bell’s Inequalities, spin theory, quantum theory, statistical interpretation, entanglement, non-hermitian states. PACS: Quantum statistical mechanics, 05.30. Quantum Mechanics, 03.65. Entanglement and quantum non-locality, 03.65.Ud 1. INTRODUCTION In spite of its tremendous success in describing the properties of microscopic systems, the debate over whether quantum mechanics is the most fundamental theory has been going on since its inception1. The basic property of quantum mechanics that belies it as the most fundamental theory is its statistical nature2. The history is well known: EPR3 showed that two non-commuting operators are simultaneously elements of physical reality, thereby concluding that quantum mechanics is incomplete, albeit they assumed locality. Bohr4 replied with complementarity, arguing for completeness; thirty years later Bell5, questioned the locality assumption6, and the conclusion drawn that any deeper theory than quantum mechanics must be non-local. In subsequent years the idea that entangled states can persist to space-like separations became well accepted7.
    [Show full text]
  • Hamilton Equations, Commutator, and Energy Conservation †
    quantum reports Article Hamilton Equations, Commutator, and Energy Conservation † Weng Cho Chew 1,* , Aiyin Y. Liu 2 , Carlos Salazar-Lazaro 3 , Dong-Yeop Na 1 and Wei E. I. Sha 4 1 College of Engineering, Purdue University, West Lafayette, IN 47907, USA; [email protected] 2 College of Engineering, University of Illinois at Urbana-Champaign, Urbana, IL 61820, USA; [email protected] 3 Physics Department, University of Illinois at Urbana-Champaign, Urbana, IL 61820, USA; [email protected] 4 College of Information Science and Electronic Engineering, Zhejiang University, Hangzhou 310058, China; [email protected] * Correspondence: [email protected] † Based on the talk presented at the 40th Progress In Electromagnetics Research Symposium (PIERS, Toyama, Japan, 1–4 August 2018). Received: 12 September 2019; Accepted: 3 December 2019; Published: 9 December 2019 Abstract: We show that the classical Hamilton equations of motion can be derived from the energy conservation condition. A similar argument is shown to carry to the quantum formulation of Hamiltonian dynamics. Hence, showing a striking similarity between the quantum formulation and the classical formulation. Furthermore, it is shown that the fundamental commutator can be derived from the Heisenberg equations of motion and the quantum Hamilton equations of motion. Also, that the Heisenberg equations of motion can be derived from the Schrödinger equation for the quantum state, which is the fundamental postulate. These results are shown to have important bearing for deriving the quantum Maxwell’s equations. Keywords: quantum mechanics; commutator relations; Heisenberg picture 1. Introduction In quantum theory, a classical observable, which is modeled by a real scalar variable, is replaced by a quantum operator, which is analogous to an infinite-dimensional matrix operator.
    [Show full text]
  • Velocity Operator and Velocity Field for Spinning Particles in (Non-Relativistic) Quantum Mechanics
    TH%X)246 ISTITUTO NAZIONALE DI FISICA NUCLEARE Sezione di Milano JT AJfh/- -95-15 INFN/AE-95/15 23 Giugno 1995 E. Recami, G. Salesi: VELOCITY OPERATOR AND VELOCITY FIELD FOR SPINNING PARTICLES IN (NON-RELATIVISTIC) QUANTUM MECHANICS DlgJRIB^nOjj OF THIS DOCUMENT IS UNVOTED FOREIGN sales prohibited SlS-Pubblicazioni dei Laboratori Nazionali di Frascati DISCLAIMER Portions of this document may be illegible in electronic image products. Images are produced from the best available original document INFN - Istituto Nazionaie di Fisica Nucleare Sezione di Milano iwrw/AE-yg/is 23 Giugno 1995 VELOCITY OPERATOR AND VELOCITY FIELD FOR SPINNING PARTICLES IN (NON-RELATIVISTIC) QUANTUM MECHANICS* E. Recami, Facolth di Ingegneria, University Statale di Bergamo, 1-24044 Dalmine (BG), (Italy) INFN-Sezione di Milano, Via Celoria 16,1-20133 Milano, Italy and Dept, of Applied Math., State University at Campinas, Campinas, S.P., Brazil G. Sales! Dipartimento di Fisica University Statale di Catania, 1-95129 Catania, (Italy) and INFN—Sezione di Catania, Corso Italia 57,1 —95129 Catania, (Italy) Abstract — Starting from the formal expressions of the hydrodynamical (or "local") quantities employed in the applications of Clifford Algebras to quantum me­ chanics, we introduce —in terms of the ordinary tensorial framework— a new definition for the field of a generic quantity. By translating from Clifford into^tensor algebra, we also propose a new (non-relativistic) velocity operator for a spini \ /particle. This operator is the sum of the ordinary part p/m describing the mean motion (the motion of the center-of-mass), and of a second part associated with the so-called zitterbewe- gung, which is the spin “internal” motion observed in the center-of-mass frame.
    [Show full text]
  • Derivation of the Momentum Operator
    Physics H7C May 12, 2019 Derivation of the Momentum Operator c Joel C. Corbo, 2008 This set of notes describes one way of deriving the expression for the position-space representation of the momentum operator in quantum mechanics. First of all, we need to meet a new mathematical friend, the Dirac delta function δ(x − x0), which is defined by its action when integrated against any function f(x): Z 1 δ(x − x0)f(x)dx = f(x0): (1) −∞ In particular, for f(x) = 1, we have Z 1 δ(x − x0)dx = 1: (2) −∞ Speaking roughly, one can say that δ(x−x0) is a \function" that diverges at the point x = x0 but is zero for all other x, such that the \area" under it is 1. We can construct some interesting integrals using the Dirac delta function. For example, using Eq. (1), we find 1 1 Z −ipx 1 −ipy p δ(x − y)e ~ dx = p e ~ : (3) 2π −∞ 2π Notice that this has the form of a Fourier transform: 1 Z 1 F (k) = p f(x)e−ikxdx (4a) 2π −∞ 1 Z 1 f(x) = p F (k)eikxdk; (4b) 2π −∞ where F (k) is the Fourier transform of f(x). This means we can rewrite Eq. (3) as Z 1 1 ip (x−y) e ~ dx = δ(x − y): (5) 2π −∞ 1 Derivation of the Momentum Operator That's enough math; let's start talking physics. The expectation value of the position of a particle, in the position representation (that is, in terms of the position- space wavefunction) is given by Z 1 hxi = ∗(x)x (x)dx: (6) −∞ Similarly, the expectation value of the momentum of a particle, in the momentum representation (that is, in terms of the momentum-space wavefunction) is given by Z 1 hpi = φ∗(p)pφ(p)dp: (7) −∞ Let's try to calculate the expectation value of the momentum of a particle in the position representation (that is, in terms of (x), not φ(p)).
    [Show full text]
  • Relativistic Quantum Mechanics 1
    Relativistic Quantum Mechanics 1 The aim of this chapter is to introduce a relativistic formalism which can be used to describe particles and their interactions. The emphasis 1.1 SpecialRelativity 1 is given to those elements of the formalism which can be carried on 1.2 One-particle states 7 to Relativistic Quantum Fields (RQF), which underpins the theoretical 1.3 The Klein–Gordon equation 9 framework of high energy particle physics. We begin with a brief summary of special relativity, concentrating on 1.4 The Diracequation 14 4-vectors and spinors. One-particle states and their Lorentz transforma- 1.5 Gaugesymmetry 30 tions follow, leading to the Klein–Gordon and the Dirac equations for Chaptersummary 36 probability amplitudes; i.e. Relativistic Quantum Mechanics (RQM). Readers who want to get to RQM quickly, without studying its foun- dation in special relativity can skip the first sections and start reading from the section 1.3. Intrinsic problems of RQM are discussed and a region of applicability of RQM is defined. Free particle wave functions are constructed and particle interactions are described using their probability currents. A gauge symmetry is introduced to derive a particle interaction with a classical gauge field. 1.1 Special Relativity Einstein’s special relativity is a necessary and fundamental part of any Albert Einstein 1879 - 1955 formalism of particle physics. We begin with its brief summary. For a full account, refer to specialized books, for example (1) or (2). The- ory oriented students with good mathematical background might want to consult books on groups and their representations, for example (3), followed by introductory books on RQM/RQF, for example (4).
    [Show full text]
  • Observable Operator Models 1 Introduction
    AUSTRIAN JOURNAL OF STATISTICS Volume 36 (2007), Number 1, 41–52 Observable Operator Models Ilona Spanczer´ 1 Dept. of Mathematics, Budapest University of Technology and Economics Abstract: This paper describes a new approach to model discrete stochastic processes, called observable operator models (OOMs). The OOMs were in- troduced by Jaeger as a generalization of hidden Markov models (HMMs). The theory of OOMs makes use of both probabilistic and linear algebraic tools, which has an important advantage: using the tools of linear algebra a very simple and efficient learning algorithm can be developed for OOMs. This seems to be better than the known algorithms for HMMs. This learning algorithm is presented in detail in the second part of the article. Zusammenfassung: Dieser Aufsatz beschreibt eine neue Vorgehensweise um diskrete stochastische Prozesse zu modellieren, so genannte Observable Operator Modelle (OOMs). Derartige OOMs wurden bereits von Jaeger als Verallgemeinerung der Hidden Markov Modelle (HMMs) eingefuhrt.¨ Die Theorie der OOMs verwendet probabilistische wie auch lineare algebraische Hilfsmittel, was einen ganz wichtigen Vorteil hat: Mit den Werkzeugen der Linearen Algebra kann ein sehr einfacher und effizienter Lern-Algorithmus fur¨ OOMs hergeleitet werden. Dieser scheint besser zu sein als die bekannten Algorithmen fur¨ HMMs. Der Lern-Algorithmus wird im zweiten Teil dieser Arbeit in aller Genauigkeit prasentiert.¨ Keywords: Stochastic Process, Learning Algorithm. 1 Introduction The theory of hidden Markov models (HMMs) was developed in the 1960’s (Baum and Petrie, 1966). In the 1980’s this model became very popular in applications, first of all in speech recognition. Since then the hidden Markov models proved to be very useful in nanotechnology (Hunter, Jones, Sagar, and Lafontaine, 1995), telecommunication (Shue, Dey, Anderson, and Bruyne, 1999), speech recognition (Huang, Ariki, and Jack, 1990), financial mathematics (Elliott, Malcolm, and Tsoi, 2002) and astronomy (Berger, 1997).
    [Show full text]