Lecture 1.2 Pose in 2D and 3D. Thomas Opsahl
|
|
- Solomon Bailey
- 5 years ago
- Views:
Transcription
1 Lecture 1.2 Pose in 2D and 3D Thomas Osahl
2 Motivation For the inhole camera, the corresondence between observed 3D oints in the world and 2D oints in the catured image is given by straight lines through a common oint (inhole) This corresondence can be described by a mathematical model known as the ersective camera model or the inhole camera model This model can be used to describe the imaging geometry of many modern cameras, hence it lays a central art in comuter vision 2
3 Motivation efore we can study the ersective camera model in detail, we need to exand our mathematical toolbox We need to be able to mathematically describe the osition and orientation of the camera relative to the world coordinate frame lso we need to get familiar with some basic elements of rojective geometry, since this will make it MUCH easier to describe and work with the ersective camera model 3
4 Introduction In comuter vision we are often interested in the geometrical asects of imaging Points in the world ixels in an image Pixels in image 1 ixels in image 2 In order to exress and study geometrical roblems related to imaging, we first need to know how to describe the osition and orientation of objects Position and orientation is together known as ose 4
5 Introduction y reresenting all relevant objects by coordinate frames, it is ossible to numerically reresent the ose of one object relative to another In the following we will look at ose General roerties Reresentation in 2D Reresentation in 3D 5
6 General roerties y y x ξ x Let us denote by ξ the ose of frame relative to frame We can think of ξ as the translation and rotation required in order to make coincide with 6
7 General roerties y y P x ξ x oint P can be described with resect to either frame These descritions are related by the ose Formally we write this as = ξ 7
8 General roerties y y P x x ξ Note that and are different vectors!!! oint P can be described with resect to either frame These descritions are related by the ose Formally we write this as = ξ 8
9 General roerties P y ction on oints = ξ y ξ x x 9
10 General roerties P y ction on oints = ξ y ξ x Comosition ξ C = ξ ξ C y x ξ y x ξ C y C x ξ C C x C 10
11 General roerties P y ction on oints = ξ y ξ x Comosition ξ C = ξ ξ C y x ξ y x ξ C y C x ξ C C x C What about ξ ξ? 12
12 General roerties P y ction on oints = ξ y ξ x Comosition ξ C Inverse = ξ ξ C ξ = ξ Neutral element 0 = ξ 0 ξ = ξ ξ 0 = ξ ξ ξ = 0 ξ ξ = 0 y y x ξ x x ξ y y ξ C x x ξ C y C C x C 13
13 Examle Point observed by the camera P Camera C W V World Vehicle 14
14 Examle Point observed by the camera P Camera C C V ξ C W V W ξ V World Vehicle 15
15 Examle Point observed by the camera P Camera C C W ξ C = W ξ V V ξ C W ξ C V ξ C W V W ξ V World Vehicle 16
16 Examle P Point with a known osition relative to the camera Camera C C V V W ξ C W ξ C = W ξ V = Vξ C V ξ C C V ξ C W V W ξ V World Vehicle 17
17 Examle P Point with a known osition relative to the camera Camera C C V W V W ξ C = W ξ V = Vξ C V ξ C C W ξ C W = W ξ V Vξ C C V ξ C W V W ξ V World Vehicle 18
18 Investigating ose in 2D y y P x ξ x Given two 2D frames, and, how can we reresent the ose ξ? We need a numerical reresentation in order to comute = ξ 19
19 Investigating ose in 2D y y P x ξ x Recall that we can think of ξ as the translation and rotation required in order to make coincide with 20
20 Investigating ose in 2D y y P θ x t x Recall that we can think of ξ as the translation and rotation required in order to make coincide with To coincide with, must undergo a translation t and a rotation by an angle θ 21
21 Investigating ose in 2D y y y P y x x t θ t t x x Let = x, y T, = x, y T and t = t, t T 22
22 Investigating ose in 2D y y y P t y x θ x t t x x Let = x, y T, = x, y T and t = t, t T From the figure we can see that x= t + xcosθ ysinθ x y= t + xsinθ + ycosθ y 23
23 Investigating ose in 2D y y y P t y x θ x t t x x Let = x, y T, = x, y T and t = t, t T xcosθ From the figure we can see that x= t + xcosθ ysinθ x y= t + xsinθ + ycosθ y ysinθ θ y ysinθ x θ xcosθ 24
24 Investigating ose in 2D y y y P t y x θ x t t x x In matrix form x t x cosθ sinθ x = + y t y sinθ cosθ y = t + R 25
25 Investigating ose in 2D x t x cosθ sinθ x = + y t y sinθ cosθ y = t + R Can we reresent the ose ξ by the air R, t? 26
26 Investigating ose in 2D x t x cosθ sinθ x = + y t y sinθ cosθ y = t + R Can we reresent the ose ξ by the air R, t? = ξ = R + t ( R, t ) ( R R, R t t ) ( R, R t ) ξ = ξ ξ = + C C C C C C ξ T T C C C 27
27 Investigating ose in 2D x t x cosθ sinθ x = + y t y sinθ cosθ y = t + R Can we reresent the ose ξ by the air R, t? = ξ = R + t ( R, t ) ( R R, R t t ) ( R, R t ) ξ = ξ ξ = + C C C C C C ξ T T C C C Yes, but there is a better otion! 29
28 Investigating ose in 2D Observe the following equivalence x x x x R t R = + t y y y y = = R + t = T 30
29 Investigating ose in 2D Observe the following equivalence x x x x R t R = + t y y y y = = R + t = T Can we reresent the ose ξ by the matrix T? 31
30 Investigating ose in 2D Observe the following equivalence x x x x R t R = + t y y y y = = R + t = T Can we reresent the ose ξ by the matrix T? = ξ = T ξc = ξ ξc TC = T TC 1 ξ T Yes, and the algebraic roerties are nice! 32
31 Investigating ose in 2D ut x x x x R t R = + t y y y y = T We are describing oints in the lane with 3 coordinates desite that they only have 2 degrees of freedom The non linear transformation then becomes a linear transformation What is going on? 34
32 Investigating ose in 2D We have discovered some basic constructions from rojective geometry x x R = + y y x x R t y = y T t 35
33 Investigating ose in 2D We have discovered some basic constructions from rojective geometry Non-linear transformation of the Euclidean lane R 2 Points in the Euclidean lane are described by Cartesian coordinates x x R = + y y x x R t y = y T t 36
34 Investigating ose in 2D We have discovered some basic constructions from rojective geometry Non-linear transformation of the Euclidean lane R 2 Points in the Euclidean lane are described by Cartesian coordinates x x R = + y y x x R t y = y T t Linear transformation of the rojective lane 2 Points in the rojective lane are described by homogeneous coordinates This means that they are only unique u to scale, i.e. x, y, 1 = λλ, λλ, λ λ R\ 0 The matrix reresenting the rojective transformation is also homogeneous, i.e. T = λ T λ R\ 0 37
35 Investigating ose in 2D Euclidean geometry ξ R, t Comlicated algebra Projective geometry ξ T = R Simle algebra t 0 1 = ξ = R + t ( R, t ) ( R R, R t t ) ( R, R t ) ξ = ξ ξ = + C C C C C C ξ T T C C C = ξ = T ξc = ξ ξc TC = T TC 1 ξ T Many roblems in comuter vision are easier to exress and solve if we choose to think of oints and transformations in terms of rojective geometry lgebra and comutations become simler 38
36 Reresenting ose in 2D The ose of relative to can be reresented by a homogeneous transformation T SS 2 cosθ sinθ t x R t ξ T = = sinθ cosθ ty Points are reresented in homogeneous coordinates = T x x R t y = y Proerties = ξ = T ξc = ξ ξc TC = T TC 1 ξ T y P ξ y x x 39
37 Examle P y y θ x t x Let t = 4,1 T, = 2,3 T and θ = 27 Determine the ose of of relative to, i.e. T Determine the coordinates of P in, i.e. 40
38 Examle From the revious slides we know that T cosθ sinθ t x cos 27 sin = sinθ cosθ t y sin 27 cos = This allows us to comute = T x y = = = This can also be verified by drawing [ ] T 41
39 Examle y P 4 y 3 3 x t x 42
40 Examle You can visualize this examle in matlab using the toolboxes created by Peter Cork Robotics Toolbox Machine Vision Toolbox 43
41 Reresenting ose in 3D The ose of relative to can be reresented by a homogeneous transformation T SS x R t r21 r22 r23 ty ξ T 0 1 r31 r32 r33 tz Proerties r r r t = = = ξ = T ξc = ξ ξc TC = T TC 1 ξ T Points are reresented in homogeneous coordinates = T y x x y R t y = z z 1 1 P y ξ z x z x 44
42 Reresenting ose in 3D The main difference between 3D and 2D is that rotation is far less intuitive in 3D lso there are several different reresentations of rotation in 3D Orthonormal rotation matrix R SS 3 Euler angles θ 1, θ 2, θ 3 ngle-axis θ, e or just θ = θe Unit quaternions q = r + xx + yy + zz Hence there are several ways to reresent ose Rotation matrix and translation vector R, t Homogeneous transformation T Euler angles and translation vector θ 1, θ 2, θ 3, t ngle-axis and translation vector θ, e, t Unit quaternion and translation vector q, t 45
43 Reresenting rotation in 3D y Orientation of relative to How should rotate to coincide with y v x Orthonormal rotation matrix R SS 3 r11 r12 r13 R = r21 r22 r 23 r31 r32 r 33 Proerties ( R ) det = 1 R = R 1 T RC = R RC v = R v z z Nice algebraic roerties Comutations are simle Provides little intuitive understanding x 46
44 Reresenting rotation in 3D R R R x y z θ = 0 cosθ sinθ 0 sinθ cosθ cosθ 0 sinθ = sinθ 0 cosθ cosθ sinθ 0 θ = sinθ cosθ ( ) ( θ ) ( ) Euler angles θ 1, θ 2, θ 3 describes rotation in terms of basic rotations about 3 coordinate axis that must be secified 12 comositions: xxx, xxx, yyy, yyy, zzz, zzz, xxx, xxx, yyy, yyy, zzz, zzz E.g. R xxx = R x θ 1 R y θ 2 R z θ 3 Suffers from singularities θ 2 = ± π for sequences without reetition 2 θ 2 0, π for sequences with reetition It is ossible to determine the Euler angles that corresonds to a given rotation matrix 2 2 ( r r r ) π π θy = atan2, + < θy < 2 2 r r r R = r r r θ = π < θ < π r23 r33 xyz x atan2, x cosθy cosθ y r31 r32 r 33 = r r < < θz atan2, π θz π cosθy cosθ y 47
45 Reresenting rotation in 3D n angle-axis air θ, v describes rotation in terms of an angle and an axis of revolution θ v Euler s rotation theorem states that any sequence of rotations in 3 dimensions is equivalent to a single rotation θ about an axis v The rotation matrix R corresonding to an angle-axis air θ, v can be found by Rodrigues rotation formula T [ v] ( θ)( vv ) R= I + sinθ + 1 cos I 3 3 Where v is the matrix reresentation of the cross roduct 0 v3 v2 [ v] = v3 0 v 1 v2 v1 0 The angle-axis air θ, v corresonding to a rotation matrix R can be found from the eigenvalues and eigenvectors of R 48
46 Reresenting rotation in 3D Unit quaternions are commonly used to work with rotation/orientation in 3D quaternion q is a number, with 1 real term and 3 imaginary terms q = q 0 + q 1 i + q 2 j + q 3 k = q 0 + v i 2 = j 2 = k = iii = 1 Conjugate quaternion q = q 0 q 1 i q 2 j q 3 k = q 0 v unit quaternion satisfy q = q q = q + q + q + q = * θ Quaternion multilication q = q + v + w ( )( ) 0 0 = q 0 0 v w+ q0w+ 0v+ v w Comosing two unit quaternions takes 16 multilications and 12 additions, while comosing two rotation matrixes takes 27 multilications and 18 additions v θ q0 = cos 2 θ v = sin e
47 Reresenting rotation in 3D The unit quaternion corresonding to the rotation matrix R is given by 1 q = 1 + r + r + r 2 r32 r23 q1 = 4q0 r13 r31 q2 = 4q0 r21 r12 q3 = 4q The rotation matrix corresonding to the unit quaternion q = q 0 + q 1 i + q 2 j + q 3 k is given by 2 2 q2 q3 ( qq 1 2 qq 0 3) ( qq 1 3+ qq 0 2) 2 2 ( ) 1 3 ( ) 2 2 ( qq qq) ( qq + qq) q q R= 2 qq + qq 1 2q 2q 2 qq qq SLERP Sherical linear interolation n algorithm for determining a rotation artway between two given rotations Useful for visualizing rotations 50
48 Summary Pose General roerties dditional information Szeliski 2.1.1, 2.1.2, Reresenting ose in 2D Homogeneous transformations Reresenting ose in 3D Homogeneous transformations Other alternatives Reresenting rotation in 3D Rotation matrix Euler angles ngle-axis Unit quaternion 51
CMSC 425: Lecture 4 Geometry and Geometric Programming
CMSC 425: Lecture 4 Geometry and Geometric Programming Geometry for Game Programming and Grahics: For the next few lectures, we will discuss some of the basic elements of geometry. There are many areas
More informationNumerical Linear Algebra
Numerical Linear Algebra Numerous alications in statistics, articularly in the fitting of linear models. Notation and conventions: Elements of a matrix A are denoted by a ij, where i indexes the rows and
More informationLinear Algebra & Geometry why is linear algebra useful in computer vision?
Linear Algebra & Geometry why is linear algebra useful in computer vision? References: -Any book on linear algebra! -[HZ] chapters 2, 4 Some of the slides in this lecture are courtesy to Prof. Octavia
More information0.1 Practical Guide - Surface Integrals. C (0,0,c) A (0,b,0) A (a,0,0)
. Practical Guide - urface Integrals urface integral,means to integrate over a surface. We begin with the stud of surfaces. The easiest wa is to give as man familiar eamles as ossible ) a lane surface
More informationLinear Algebra & Geometry why is linear algebra useful in computer vision?
Linear Algebra & Geometry why is linear algebra useful in computer vision? References: -Any book on linear algebra! -[HZ] chapters 2, 4 Some of the slides in this lecture are courtesy to Prof. Octavia
More informationQuaternionic Projective Space (Lecture 34)
Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question
More information1 Properties of Spherical Harmonics
Proerties of Sherical Harmonics. Reetition In the lecture the sherical harmonics Y m were introduced as the eigenfunctions of angular momentum oerators lˆz and lˆ2 in sherical coordinates. We found that
More informationSolution sheet ξi ξ < ξ i+1 0 otherwise ξ ξ i N i,p 1 (ξ) + where 0 0
Advanced Finite Elements MA5337 - WS7/8 Solution sheet This exercise sheets deals with B-slines and NURBS, which are the basis of isogeometric analysis as they will later relace the olynomial ansatz-functions
More informationElliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015
18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to
More informationPretest (Optional) Use as an additional pacing tool to guide instruction. August 21
Trimester 1 Pretest (Otional) Use as an additional acing tool to guide instruction. August 21 Beyond the Basic Facts In Trimester 1, Grade 8 focus on multilication. Daily Unit 1: Rational vs. Irrational
More informationPanHomc'r I'rui;* :".>r '.a'' W"»' I'fltolt. 'j'l :. r... Jnfii<on. Kslaiaaac. <.T i.. %.. 1 >
5 28 (x / &» )»(»»» Q ( 3 Q» (» ( (3 5» ( q 2 5 q 2 5 5 8) 5 2 2 ) ~ ( / x {» /»»»»» (»»» ( 3 ) / & Q ) X ] Q & X X X x» 8 ( &» 2 & % X ) 8 x & X ( #»»q 3 ( ) & X 3 / Q X»»» %» ( z 22 (»» 2» }» / & 2 X
More informationComplex Analysis Homework 1
Comlex Analysis Homework 1 Steve Clanton Sarah Crimi January 27, 2009 Problem Claim. If two integers can be exressed as the sum of two squares, then so can their roduct. Proof. Call the two squares that
More informationLOWELL WEEKI.Y JOURINAL
/ $ 8) 2 {!»!» X ( (!!!?! () ~ x 8» x /»!! $?» 8! ) ( ) 8 X x /! / x 9 ( 2 2! z»!!»! ) / x»! ( (»»!» [ ~!! 8 X / Q X x» ( (!»! Q ) X x X!! (? ( ()» 9 X»/ Q ( (X )!» / )! X» x / 6!»! }? ( q ( ) / X! 8 x»
More informationChapter 6. Phillip Hall - Room 537, Huxley
Chater 6 6 Partial Derivatives.................................................... 72 6. Higher order artial derivatives...................................... 73 6.2 Matrix of artial derivatives.........................................74
More informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationCMSC 425: Lecture 7 Geometric Programming: Sample Solutions
CMSC 425: Lecture 7 Geometric Programming: Samle Solutions Samles: In the last few lectures, we have been discussing affine and Euclidean geometr, coordinate frames and affine transformations, and rotations.
More informationPrinciples of Computed Tomography (CT)
Page 298 Princiles of Comuted Tomograhy (CT) The theoretical foundation of CT dates back to Johann Radon, a mathematician from Vienna who derived a method in 1907 for rojecting a 2-D object along arallel
More informationPretest (Optional) Use as an additional pacing tool to guide instruction. August 21
Trimester 1 Pretest (Otional) Use as an additional acing tool to guide instruction. August 21 Beyond the Basic Facts In Trimester 1, Grade 7 focus on multilication. Daily Unit 1: The Number System Part
More informationCHAPTER 3: TANGENT SPACE
CHAPTER 3: TANGENT SPACE DAVID GLICKENSTEIN 1. Tangent sace We shall de ne the tangent sace in several ways. We rst try gluing them together. We know vectors in a Euclidean sace require a baseoint x 2
More informationSection 0.10: Complex Numbers from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative
Section 0.0: Comlex Numbers from Precalculus Prerequisites a.k.a. Chater 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license.
More informationCHAPTER 5 TANGENT VECTORS
CHAPTER 5 TANGENT VECTORS In R n tangent vectors can be viewed from two ersectives (1) they cature the infinitesimal movement along a ath, the direction, and () they oerate on functions by directional
More informationToday. CS-184: Computer Graphics. Introduction. Some Examples. 2D Transformations
Toda CS-184: Comuter Grahics Lecture #3: 2D Transformations Prof. James O Brien Universit of California, Berkele V2005F-03-1.0 2D Transformations Primitive Oerations Scale, Rotate, Shear, Fli, Translate
More informationDesigning Information Devices and Systems I Discussion 2A
EECS 16A Spring 218 Designing Information Devices and Systems I Discussion 2A 1. Visualizing Matrices as Operations This problem is going to help you visualize matrices as operations. For example, when
More informationPlanar Transformations and Displacements
Chater Planar Transformations and Dislacements Kinematics is concerned with the roerties of the motion of oints. These oints are on objects in the environment or on a robot maniulator. Two features that
More informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More informationChapter 2 Arithmetic Functions and Dirichlet Series.
Chater 2 Arithmetic Functions and Dirichlet Series. [4 lectures] Definition 2.1 An arithmetic function is any function f : N C. Examles 1) The divisor function d (n) (often denoted τ (n)) is the number
More informationMODELING THE RELIABILITY OF C4ISR SYSTEMS HARDWARE/SOFTWARE COMPONENTS USING AN IMPROVED MARKOV MODEL
Technical Sciences and Alied Mathematics MODELING THE RELIABILITY OF CISR SYSTEMS HARDWARE/SOFTWARE COMPONENTS USING AN IMPROVED MARKOV MODEL Cezar VASILESCU Regional Deartment of Defense Resources Management
More informationPosition and orientation of rigid bodies
Robotics 1 Position and orientation of rigid bodies Prof. Alessandro De Luca Robotics 1 1 Position and orientation right-handed orthogonal Reference Frames RF A A z A p AB B RF B z B x B y A rigid body
More informationPROFIT MAXIMIZATION. π = p y Σ n i=1 w i x i (2)
PROFIT MAXIMIZATION DEFINITION OF A NEOCLASSICAL FIRM A neoclassical firm is an organization that controls the transformation of inuts (resources it owns or urchases into oututs or roducts (valued roducts
More informationAlmost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)
Chater 5 Pell s Equation One of the earliest issues graled with in number theory is the fact that geometric quantities are often not rational. For instance, if we take a right triangle with two side lengths
More informationIntroduction to Group Theory Note 1
Introduction to Grou Theory Note July 7, 009 Contents INTRODUCTION. Examles OF Symmetry Grous in Physics................................. ELEMENT OF GROUP THEORY. De nition of Grou................................................
More informationModel checking, verification of CTL. One must verify or expel... doubts, and convert them into the certainty of YES [Thomas Carlyle]
Chater 5 Model checking, verification of CTL One must verify or exel... doubts, and convert them into the certainty of YES or NO. [Thomas Carlyle] 5. The verification setting Page 66 We introduce linear
More informationFind the equation of a plane perpendicular to the line x = 2t + 1, y = 3t + 4, z = t 1 and passing through the point (2, 1, 3).
CME 100 Midterm Solutions - Fall 004 1 CME 100 - Midterm Solutions - Fall 004 Problem 1 Find the equation of a lane erendicular to the line x = t + 1, y = 3t + 4, z = t 1 and assing through the oint (,
More informationUniform Law on the Unit Sphere of a Banach Space
Uniform Law on the Unit Shere of a Banach Sace by Bernard Beauzamy Société de Calcul Mathématique SA Faubourg Saint Honoré 75008 Paris France Setember 008 Abstract We investigate the construction of a
More informationIntroduction to quaternions
. Introduction Introduction to uaternions Invented and developed by William Hamilton in 843, uaternions are essentially a generalization of complex numbers to four dimensions (one real dimension, three
More informationPosition and orientation of rigid bodies
Robotics 1 Position and orientation of rigid bodies Prof. Alessandro De Luca Robotics 1 1 Position and orientation right-handed orthogonal Reference Frames RF A A p AB B RF B rigid body position: A p AB
More informationSets of Real Numbers
Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact
More informationOrthogonal Polynomial Ensembles
Chater 11 Orthogonal Polynomial Ensembles 11.1 Orthogonal Polynomials of Scalar rgument Let wx) be a weight function on a real interval, or the unit circle, or generally on some curve in the comlex lane.
More informationChapter 7 Rational and Irrational Numbers
Chater 7 Rational and Irrational Numbers In this chater we first review the real line model for numbers, as discussed in Chater 2 of seventh grade, by recalling how the integers and then the rational numbers
More informationMTH234 Chapter 15 - Multiple Integrals Michigan State University
MTH24 Chater 15 - Multile Integrals Michigan State University 6 Surface Area Just as arc length is an alication of a single integral, surface area is an alication of double integrals. In 15.6 we comute
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationPrincipal Components Analysis and Unsupervised Hebbian Learning
Princial Comonents Analysis and Unsuervised Hebbian Learning Robert Jacobs Deartment of Brain & Cognitive Sciences University of Rochester Rochester, NY 1467, USA August 8, 008 Reference: Much of the material
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 12
8.3: Algebraic Combinatorics Lionel Levine Lecture date: March 7, Lecture Notes by: Lou Odette This lecture: A continuation of the last lecture: comutation of µ Πn, the Möbius function over the incidence
More information4. Score normalization technical details We now discuss the technical details of the score normalization method.
SMT SCORING SYSTEM This document describes the scoring system for the Stanford Math Tournament We begin by giving an overview of the changes to scoring and a non-technical descrition of the scoring rules
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationTRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES
Khayyam J. Math. DOI:10.22034/kjm.2019.84207 TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES ISMAEL GARCÍA-BAYONA Communicated by A.M. Peralta Abstract. In this aer, we define two new Schur and
More informationChapter 1 Fundamentals
Chater Fundamentals. Overview of Thermodynamics Industrial Revolution brought in large scale automation of many tedious tasks which were earlier being erformed through manual or animal labour. Inventors
More informationFORMAL DEFINITION OF TOLERANCING IN CAD AND METROLOGY
P. SERRÉ, A. CLÉENT, A. RIVIÈRE FORAL DEFINITION OF TOLERANCING IN CAD AND ETROLOGY Abstract: Our aim is to unify mathematically the secification and the metrological verification of a given geometrical
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationInverting: Representing rotations and translations between coordinate frames of reference. z B. x B x. y B. v = [ x y z ] v = R v B A. y B.
Kinematics Kinematics: Given the joint angles, comute the han osition = Λ( q) Inverse kinematics: Given the han osition, comute the joint angles to attain that osition q = Λ 1 ( ) s usual, inverse roblems
More informationTowards understanding the Lorenz curve using the Uniform distribution. Chris J. Stephens. Newcastle City Council, Newcastle upon Tyne, UK
Towards understanding the Lorenz curve using the Uniform distribution Chris J. Stehens Newcastle City Council, Newcastle uon Tyne, UK (For the Gini-Lorenz Conference, University of Siena, Italy, May 2005)
More informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
More informationAn Inverse Problem for Two Spectra of Complex Finite Jacobi Matrices
Coyright 202 Tech Science Press CMES, vol.86, no.4,.30-39, 202 An Inverse Problem for Two Sectra of Comlex Finite Jacobi Matrices Gusein Sh. Guseinov Abstract: This aer deals with the inverse sectral roblem
More informationNotes on Instrumental Variables Methods
Notes on Instrumental Variables Methods Michele Pellizzari IGIER-Bocconi, IZA and frdb 1 The Instrumental Variable Estimator Instrumental variable estimation is the classical solution to the roblem of
More informationTopic 7: Using identity types
Toic 7: Using identity tyes June 10, 2014 Now we would like to learn how to use identity tyes and how to do some actual mathematics with them. By now we have essentially introduced all inference rules
More informationδ(xy) = φ(x)δ(y) + y p δ(x). (1)
LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material
More informationAnalysis of cold rolling a more accurate method
Analysis of cold rolling a more accurate method 1.1 Rolling of stri more accurate slab analysis The revious lecture considered an aroximate analysis of the stri rolling. However, the deformation zone in
More informationGalois Fields, Linear Feedback Shift Registers and their Applications
Galois Fields, Linear Feedback Shift Registers and their Alications With 85 illustrations as well as numerous tables, diagrams and examles by Ulrich Jetzek ISBN (Book): 978-3-446-45140-7 ISBN (E-Book):
More informationExamples from Elements of Theory of Computation. Abstract. Introduction
Examles from Elements of Theory of Comutation Mostafa Ghandehari Samee Ullah Khan Deartment of Comuter Science and Engineering University of Texas at Arlington, TX-7609, USA Tel: +(87)7-5688, Fax: +(87)7-784
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationGeometric Constraint Solving in 2D
Universitat Politècnica de Catalunya Deartament de Llenguatges i Sistemes Informàtics PhD Thesis Geometric Constraint Solving in 2D November, 1998 Antoni Soto i Riera Advisor: Robert Joan i Arinyo Contents
More informationThe Arm Prime Factors Decomposition
The Arm Prime Factors Decomosition Arm Boris Nima arm.boris@gmail.com Abstract We introduce the Arm rime factors decomosition which is the equivalent of the Taylor formula for decomosition of integers
More informationA Special Case Solution to the Perspective 3-Point Problem William J. Wolfe California State University Channel Islands
A Secial Case Solution to the Persective -Point Problem William J. Wolfe California State University Channel Islands william.wolfe@csuci.edu Abstract In this aer we address a secial case of the ersective
More information0.6 Factoring 73. As always, the reader is encouraged to multiply out (3
0.6 Factoring 7 5. The G.C.F. of the terms in 81 16t is just 1 so there is nothing of substance to factor out from both terms. With just a difference of two terms, we are limited to fitting this olynomial
More informationSTA 250: Statistics. Notes 7. Bayesian Approach to Statistics. Book chapters: 7.2
STA 25: Statistics Notes 7. Bayesian Aroach to Statistics Book chaters: 7.2 1 From calibrating a rocedure to quantifying uncertainty We saw that the central idea of classical testing is to rovide a rigorous
More informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over
More informationSession 5: Review of Classical Astrodynamics
Session 5: Review of Classical Astrodynamics In revious lectures we described in detail the rocess to find the otimal secific imulse for a articular situation. Among the mission requirements that serve
More informationUse of Transformations and the Repeated Statement in PROC GLM in SAS Ed Stanek
Use of Transformations and the Reeated Statement in PROC GLM in SAS Ed Stanek Introduction We describe how the Reeated Statement in PROC GLM in SAS transforms the data to rovide tests of hyotheses of interest.
More informationSolutions to Problem Set 5
Solutions to Problem Set Problem 4.6. f () ( )( 4) For this simle rational function, we see immediately that the function has simle oles at the two indicated oints, and so we use equation (6.) to nd the
More informationCR extensions with a classical Several Complex Variables point of view. August Peter Brådalen Sonne Master s Thesis, Spring 2018
CR extensions with a classical Several Comlex Variables oint of view August Peter Brådalen Sonne Master s Thesis, Sring 2018 This master s thesis is submitted under the master s rogramme Mathematics, with
More informationSimplifications to Conservation Equations
Chater 5 Simlifications to Conservation Equations 5.1 Steady Flow If fluid roerties at a oint in a field do not change with time, then they are a function of sace only. They are reresented by: ϕ = ϕq 1,
More informationMATH 6210: SOLUTIONS TO PROBLEM SET #3
MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form
More informationδq T = nr ln(v B/V A )
hysical Chemistry 007 Homework assignment, solutions roblem 1: An ideal gas undergoes the following reversible, cyclic rocess It first exands isothermally from state A to state B It is then comressed adiabatically
More information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More informationEigenvalues and Eigenvectors
LECTURE 3 Eigenvalues and Eigenvectors Definition 3.. Let A be an n n matrix. The eigenvalue-eigenvector problem for A is the problem of finding numbers λ and vectors v R 3 such that Av = λv. If λ, v are
More informationA Solution for the Dark Matter Mystery based on Euclidean Relativity
Long Beach 2010 PROCEEDINGS of the NPA 1 A Solution for the Dark Matter Mystery based on Euclidean Relativity Frédéric Lassiaille Arcades, Mougins 06250, FRANCE e-mail: lumimi2003@hotmail.com The study
More informationAnalysis of the Effect of Number of Knots in a Trajectory on Motion Characteristics of a 3R Planar Manipulator
Analysis of the Effect of Number of Knots in a Trajectory on Motion Characteristics of a Planar Maniulator Suarno Bhattacharyya & Tarun Kanti Naskar Mechanical Engineering Deartment, Jadavur University,
More informationENGG 2420: Fourier series and partial differential equations
ENGG 2420: Fourier series and artial differential equations Prof. Thierry Blu e-mail: tblu@ee.cuhk.edu.hk web: www.ee.cuhk.edu.hk/~tblu/ Deartment of Electronic Engineering The Chinese University of Hong
More informationCOMP 175 COMPUTER GRAPHICS. Lecture 04: Transform 1. COMP 175: Computer Graphics February 9, Erik Anderson 04 Transform 1
Lecture 04: Transform COMP 75: Computer Graphics February 9, 206 /59 Admin Sign up via email/piazza for your in-person grading Anderson@cs.tufts.edu 2/59 Geometric Transform Apply transforms to a hierarchy
More informationCombinatorics of topmost discs of multi-peg Tower of Hanoi problem
Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of
More informationHEAT, WORK, AND THE FIRST LAW OF THERMODYNAMICS
HET, ORK, ND THE FIRST L OF THERMODYNMIS 8 EXERISES Section 8. The First Law of Thermodynamics 5. INTERPRET e identify the system as the water in the insulated container. The roblem involves calculating
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More information(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury
Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing
More information01. Simplest example phenomena
(March, 20) 0. Simlest examle henomena Paul Garrett garrett@math.umn.edu htt://www.math.umn.edu/ garrett/ There are three tyes of objects in lay: rimitive/rimordial (integers, rimes, lattice oints,...)
More information(IV.D) PELL S EQUATION AND RELATED PROBLEMS
(IV.D) PELL S EQUATION AND RELATED PROBLEMS Let d Z be non-square, K = Q( d). As usual, we take S := Z[ [ ] d] (for any d) or Z 1+ d (only if d 1). We have roved that (4) S has a least ( fundamental )
More informationOn the Toppling of a Sand Pile
Discrete Mathematics and Theoretical Comuter Science Proceedings AA (DM-CCG), 2001, 275 286 On the Toling of a Sand Pile Jean-Christohe Novelli 1 and Dominique Rossin 2 1 CNRS, LIFL, Bâtiment M3, Université
More informationMath 121: Calculus 1 - Fall 2012/2013 Review of Precalculus Concepts
Introduction Math : Calculus - Fall 0/0 Review of Precalculus Concets Welcome to Math - Calculus, Fall 0/0! This roblems in this acket are designed to hel you review the toics from Algebra and Precalculus
More informationUncorrelated Multilinear Discriminant Analysis with Regularization and Aggregation for Tensor Object Recognition
Uncorrelated Multilinear Discriminant Analysis with Regularization and Aggregation for Tensor Object Recognition Haiing Lu, K.N. Plataniotis and A.N. Venetsanooulos The Edward S. Rogers Sr. Deartment of
More informationBeginnings of the Helicity Basis in the (S, 0) (0, S) Representations of the Lorentz Group
Beginnings of the Helicity Basis in the (S, 0 (0, S Reresentations of the Lorentz Grou Valeriy V. Dvoeglazov UAF, Universidad Autónoma de Zacatecas, México E-mail: valeri@fisica.uaz.edu.mx Abstract We
More informationParticipation Factors. However, it does not give the influence of each state on the mode.
Particiation Factors he mode shae, as indicated by the right eigenvector, gives the relative hase of each state in a articular mode. However, it does not give the influence of each state on the mode. We
More information1 Gambler s Ruin Problem
Coyright c 2017 by Karl Sigman 1 Gambler s Ruin Problem Let N 2 be an integer and let 1 i N 1. Consider a gambler who starts with an initial fortune of $i and then on each successive gamble either wins
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationINJECTIVITY RADIUS AND DIAMETER OF THE MANIFOLDS OF FLAGS IN THE PROJECTIVE PLANES
INJECTIVITY RADIUS AND DIAMETER OF THE MANIFOLDS OF FLAGS IN THE PROJECTIVE PLANES THOMAS PÜTTMANN Abstract. The manifolds of flags in the rojective lanes RP, CP, HP, and OP are among the very few comact
More informationLecture Note 4: General Rigid Body Motion
ECE5463: Introduction to Robotics Lecture Note 4: General Rigid Body Motion Prof. Wei Zhang Department of Electrical and Computer Engineering Ohio State University Columbus, Ohio, USA Spring 2018 Lecture
More informationDIFFERENTIAL GEOMETRY. LECTURES 9-10,
DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator
More informationRobotics & Automation. Lecture 03. Representation of SO(3) John T. Wen. September 3, 2008
Robotics & Automation Lecture 03 Representation of SO(3) John T. Wen September 3, 2008 Last Time Transformation of vectors: v a = R ab v b Transformation of linear transforms: L a = R ab L b R ba R SO(3)
More informationME Machine Design I
ME 5 - Machine Design I Summer Semester 008 Name Lab. Div. EXAM. OEN BOOK AND CLOSED NOTES. Wednesday, July 16th, 008 Write your solutions on the blank paper that is provided. Write on one side of the
More informationResearch Article Circle Numbers for Star Discs
International Scholarly Research Network ISRN Geometry Volume 211, Article ID 479262, 16 ages doi:1.542/211/479262 Research Article Circle Numbers for Star Discs W.-D. Richter Institute of Mathematics,
More informationIntroduction to Probability for Graphical Models
Introduction to Probability for Grahical Models CSC 4 Kaustav Kundu Thursday January 4, 06 *Most slides based on Kevin Swersky s slides, Inmar Givoni s slides, Danny Tarlow s slides, Jaser Snoek s slides,
More information