FFTs in Graphics and Vision. Rotational and Reflective Symmetry Detection
|
|
- Alexandrina Kennedy
- 5 years ago
- Views:
Transcription
1 FFTs in Grahics and Vision Rotational and Relectie Symmetry Detection
2 Outline Reresentation Theory Symmetry Detection Rotational Symmetry Relectie Symmetry
3 Reresentation Theory Recall: A rou is a set o elements G with a binary oeration oten denoted such that or all h G the ollowin roerties are satisied: Closure: h G Associatiity: h= h Identity: There exists an identity element G s.t.: = = Inerse: Eery element has an inerse - s.t.: - = - =
4 Reresentation Theory Obseration : Gien a rou G={ n } or any G the set-theoretic ma that multilies the elements o G on the let by is inertible. The inerse is the ma multilyin the elements o G on the let by -.
5 Reresentation Theory Obseration : In articular this imlies that the set { n } is just a re-orderin o the set { n }. Or more simly G=G.
6 Reresentation Theory Obseration : In articular this imlies that the set { n } is just a re-orderin o the set { n }. Or more simly G=G. Similarly the set { - n - } is just a reorderin o the set { n }. Or more simly G - =G.
7 Reresentation Theory Recall: A Hermitian inner roduct is a ma rom VxV into the comlex numbers that is:. Linear: For all uw V and any real scalar u w u w w w w. Conjuate Symmetric: For all u V w w 3. Positie Deinite: For all V:
8 Reresentation Theory Obseration : Gien a Hermitian inner-roduct sace V and ien a set o ectors { n } V the ector minimizin the sum o squared distances is the aerae o { n }: n n ar min n V
9 Reresentation Theory Recall: A unitary reresentation o a rou G on a Hermitian inner-roduct sace V is a ma sends eery element in G to an orthoonal transormation on V satisyin: or all h G. h h that
10 Reresentation Theory Deinition: We say that a ector V is inariant under the action o G i G sends bac to itsel: or all G.
11 Reresentation Theory Notation: We denote by V G the set o ectors in V that are inariant under the action o G: V G V G
12 Reresentation Theory Obseration 3: Note that the set V G is a ector sub-sace o V.
13 Reresentation Theory Obseration 3: Note that the set V G is a ector sub-sace o V. I w V G then or any G we hae: and w w
14 Reresentation Theory Obseration 3: Note that the set V G is a ector sub-sace o V. I w V G then or any G we hae: and w And or all scalars and we hae: w w w w
15 Reresentation Theory Obseration 3: Note that the set V G is a ector sub-sace o V. I w V G then or any G we hae: and w And or all scalars and we hae: So + w V G as well. w w w w
16 Reresentation Theory Obseration 4: Gien a inite rou G and ien ector V the ector obtained by aerain oer G: Aerae G G G is inariant under the action o G.
17 Reresentation Theory Obseration 4: To see this let h be any element in G. We would lie to show that h mas the aerae bac to itsel: Aerae G Aerae G h
18 Reresentation Theory Obseration 4: To see this let h be any element in G. We would lie to show that h mas the aerae bac to itsel: Aerae G Aerae G Exandin the riht hand side we et: h h Aerae G h G G
19 Reresentation Theory Obseration 4: h Aerae G h G G By the linearity o the reresentation we et: h Aerae G h G G
20 Reresentation Theory Obseration 4: h Aerae G h G G Since the reresentation reseres the rou structure we et: h Aerae G h G G
21 Reresentation Theory Obseration 4: h Aerae G h G G But this can be re-written as a summation oer the set hg: h Aerae G G hg
22 Reresentation Theory Obseration 4: h Aerae G G hg And since hg=g this imlies that: h Aerae G G G Aerae G
23 Reresentation Theory Obseration 5: Gien a inite rou G and ien a ector V the aerae o oer G is the closest G-inariant ector to : Aerae G ar min V G
24 Reresentation Theory Obseration 5: Aerae G ar min V G Since is inariant under the action o G we can write out the squared distances as: G G
25 Reresentation Theory Obseration 5: Since the reresentation is unitary we can rewrite this as: G G G G
26 Reresentation Theory Obseration 5: Since the reresentation reseres the rou structure we et: G G G G
27 Reresentation Theory Obseration 5: Re-writin this as a summation oer G - we et: G G G G
28 Reresentation Theory Obseration 5: And inally usin the act that the set G - is just a re-orderin o the set G we et: G G G G
29 Reresentation Theory Obseration 5: G G Thus is the G-inariant ector minimizin the squared distance to i and only i it minimizes the sum o squared distances to the ectors: n
30 Reresentation Theory Obseration 5: G G Thus is the G-inariant ector minimizin the squared distance to i and only i it minimizes the sum o squared distances to the ectors: n So must be the aerae o these ectors: Aerae G G G
31 Reresentation Theory Note: Since the aerae ma: Aerae G G is a linear ma returnin the closest G-inariant ector to the aerae ma is just the rojection ma rom V to V G : G G Aerae G
32 Outline Reresentation Theory Symmetry Detection Rotational Symmetry Relectie Symmetry
33 Symmetry Detection For unctions on a circle we deined measures o: Relectie Symmetry: or eery axis o relectie symmetry. Rotational Symmetry: or eery order o rotational symmetry. o 45 o Relectie 3-Fold Rotational 8-Fold Rotational
34 Symmetry Detection For unctions on a shere we would lie to deine a measure o: Relectie Symmetry: or eery lane o relectie symmetry.
35 Symmetry Detection For unctions on a shere we would lie to deine a measure o: Relectie Symmetry: or eery lane o relectie symmetry. Rotational Symmetry: or eery axis assin throuh the oriin and eery order o rotational symmetry.
36 Symmetry Detection Goal: Relectie Symmetry: Comute the sherical unction iin the measure o relectie symmetry about the lane erendicular to eery axis throuh the oriin. Rotational Symmetry: For eery order o rotational symmetry :» Comute the sherical unction iin the measure o -old symmetry about eery axis throuh the oriin.
37 Symmetry Detection Goal: Relectie Symmetries -Fold Rotational Symmetries Model 3-Fold Rotational Symmetries 4-Fold Rotational Symmetries
38 Symmetry Detection Aroach: As in the D case we will comute the symmetries o a shae by reresentin the shae by a sherical unction. Model Sherical Extent Function
39 Symmetry Detection Recall: To comute the measure o symmetry o a unction we: Associated a rou G o transormations to each tye o symmetry
40 Symmetry Detection Recall: To comute the measure o symmetry o a unction we: Associated a rou G o transormations to each tye o symmetry Deined the measure o symmetry as the size o the closest G-inariant unction: Sym G G
41 Symmetry Detection Recall: Usin the act that nearest symmetric unction was the aerae o the unction under the imae o the rou we ot: Sym G G G
42 Outline Reresentation Theory Symmetry Detection Rotational Symmetry Relectie Symmetry
43 Rotational Symmetry Gien a unction on the shere and ien a ixed order o rotational symmetry we would lie to deine a unction whose alue at eery oint oint is the measure o -old rotational symmetry about the associated axis. = =3 =5
44 Rotational Symmetry To do this we need to associate a rou to eery axis assin throuh the oriin.
45 Rotational Symmetry To do this we need to associate a rou to eery axis assin throuh the oriin. In articular i we denote by G the rou o - old rotations about the axis throuh : / y z x
46 Rotational Symmetry To do this we need to associate a rou to eery axis assin throuh the oriin. In articular i we denote by G the rou o - old rotations about the axis throuh the elements o the rou are the y rotations: j R corresondin to rotations about by the anle j /. x j z /
47 Rotational Symmetry Usin this notation the equation or the measure o -old symmetry o a unction about the axis becomes: Sym G j j
48 Rotational Symmetry Usin this notation the equation or the measure o -old symmetry o a unction about the axis becomes: Exandin this exression in terms o dotroducts we et: Sym j G j Sym j i G j i
49 Rotational Symmetry Usin this notation the equation or the measure o -old symmetry o a unction about the axis becomes: Usin the linearity o the inner-roduct we et: Sym j i G j i Sym j i G j i
50 Rotational Symmetry Usin this notation the equation or the measure o -old symmetry o a unction about the axis becomes: And usin the act that the reresentation is unitary we et: Sym j i G j i Sym j i G i j
51 Rotational Symmetry We can urther simliy this exression by obserin that the rotation j-i only deends on the dierence between the index j and i. Sym j j i G j i j
52 Rotational Symmetry We can urther simliy this exression by obserin that the rotation j-i only deends on the dierence between the index j and i. In articular usin the act that eery index in the rane [ can be exressed in exactly dierent ways as the dierence j-i with ji [ we et : Sym j j i G j i j
53 Rotational Symmetry Thus the measure o -old rotational symmetry about the axis can be comuted by tain the aerae o the dot-roducts o the unction with its rotations about the axis. Sym G j j
54 Rotational Symmetry Sym G j j So comutin the measures o rotational symmetry reduces to the roblem o comutin the correlation o with itsel: Dot R R
55 Rotational Symmetry Sym G j j So comutin the measures o rotational symmetry reduces to the roblem o comutin the correlation o with itsel: Dot R And this is somethin that we can do usin the Winer D-transorm rom last lecture. R
56 Rotational Symmetry Sym G j j Alorithm: Gien a unction : Comute the auto-correlation o. For each order o symmetry :» Comute the sherical unction whose alue at is the aerae o the correlation alues at rotations R j/ j.
57 Rotational Symmetry Sym G j j Comlexity: Comute the auto-correlation: On 3 lo n For each order o symmetry : Comute the sherical unction: On For a total comutational comlexity o On 4 to comute all rotational symmetries.
58 Rotational Symmetry Sym G Comlexity: Note: There is a lot o redundancy Comute the auto-correlation: On 3 lo n in this comutation. For each order o symmetry : Comute the sherical unction: On j j For a total comutational comlexity o On 4 to comute all rotational symmetries.
59 Rotational Symmetry Sym G Comlexity: Note: There is a lot o redundancy Comute the auto-correlation: On 3 lo n in this comutation. For Examle: each order Comutin o symmetry the -old : symmetries Comute the sherical unction: On we re-comute the -old symmetry allowin or a -old imroement in eiciency For a total comutational comlexity o On 4 to comute all rotational symmetries. j j
60 Outline Reresentation Theory Symmetry Detection Rotational Symmetry Relectie Symmetry
61 Relectie Symmetry Gien a sherical unction we would lie to comute a unction whose alue at a oint is the measure o relectie symmetry with resect to the lane erendicular to.
62 Relectie Symmetry Relections throuh the lane erendicular to corresond to a rou with two elements: G Id Re
63 Relectie Symmetry Relections throuh the lane erendicular to corresond to a rou with two elements: G Id Re So the measure o relectie symmetry becomes: Sym G Re Re
64 Relectie Symmetry Relections throuh the lane erendicular to corresond to a rou with two elements: G Id Re So the measure o relectie symmetry becomes: Sym G Re Re
65 Relectie Symmetry How do we comute the dot-roduct o the unction with the relection o throuh the lane erendicular to?
66 Relectie Symmetry How do we comute the dot-roduct o the unction with the relection o throuh the lane erendicular to? Since relections are not rotations they hae determinant - we cannot use the alues o the autocorrelation.
67 Relectie Symmetry General Aroach: I we hae two relections S and T we can set R to be the transormation: R TS
68 Relectie Symmetry General Aroach: I we hae two relections S and T we can set R to be the transormation: R TS Since S and T are both orthoonal the roduct R must also be orthoonal.
69 Relectie Symmetry General Aroach: I we hae two relections S and T we can set R to be the transormation: R TS Since S and T are both orthoonal the roduct R must also be orthoonal. Since both S and T hae determinant - R must hae determinant.
70 Relectie Symmetry General Aroach: I we hae two relections S and T we can set R to be the transormation: R Thus R must be a rotation and we hae: RS TS so T is just the relection S ollowed by some rotation. T
71 Relectie Symmetry General Aroach: Thus i we comute the correlation o with some relection S : Dot R S We can obtain the dot roduct o with its relection throuh the lane erendicular to by ealuatin: Re Dot S R Re S Rotation S
72 Relectie Symmetry Sym Alorithm: Gien a unction : G Dot Re Comute the correlation o with the relection S Comute the sherical unction whose alue at is the aerae o the size o and the dot-roduct o with the rotation o S by Re S -. S S
73 Relectie Symmetry Sym Comlexity: G Dot Re Comute the correlation: On 3 lo n Comute the sherical unction: On S S For a total comutational comlexity o On 3 lo n to comute all relectie symmetries.
74 Relectie Symmetry Sym Comlexity: G Dot Re Comute the correlation: On 3 lo n For comutin relectie symmetries the comutation o the correlation is oerill as we don t use most o the correlation alues. Comute the sherical unction: On For a total comutational comlexity o On 3 lo n to comute all relectie symmetries. S S
75 Relectie Symmetry There are many dierent choices or the relection S we use to comute: Dot S T
76 Relectie Symmetry There are many dierent choices or the relection S we use to comute: Dot T The simlest relection we can use is the antiodal ma: S S
77 Relectie Symmetry The adantae o usin the antiodal ma is that it maes it easy to exress Re S -.
78 Relectie Symmetry The adantae o usin the antiodal ma is that it maes it easy to exress Re S -. In articular ixin a oint we can thin o S as the combination o two mas: A relection throuh the lane erendicular to and A rotation by 8 o about the axis throuh.
79 Relectie Symmetry Thus a relection throuh the lane erendicular to can be exressed as the roduct o the antiodal ma and a rotation by 8 o around the axis throuh : Re R S
80 Relectie Symmetry Thus settin S to be the antiodal ma we et: Sym G R S
81 Relectie Symmetry Usin the sherical harmonics we et a simle exression or S :
82 Relectie Symmetry Y Im Y Y Re Y Im Y Im Y Y Re Y Re Y Im Y 3 3 Im Y 3 Im Y 3 Y 3 Re Y Re 3 Y 3 Re 3 Y 3
83 Relectie Symmetry Usin the sherical harmonics we et a simle exression or S : S l l ˆ l m l m l Y m l
84 Relectie Symmetry Additionally i the unction is antiodally symmetric: the equation or the relectie symmetries becomes: S Sym Sym R S R G G
85 Relectie Symmetry Additionally i the unction is antiodally symmetric: the equation or the relectie symmetries becomes: S Sym Sym R S R G G
86 Relectie Symmetry Additionally i the unction is antiodally symmetric: the equation or the relectie symmetries becomes: S Sym Sym R S R G G
87 Relectie Symmetry That is in the case that is antiodally symmetric the relectie symmetries o and the -old rotational symmetries o are equal. -Fold Symmetry Benzene Relectie Symmetry
FFTs in Graphics and Vision. Rotational and Reflective Symmetry Detection
FFTs in Graphics and Vision Rotational and Reflective Symmetry Detection Outline Representation Theory Symmetry Detection Rotational Symmetry Reflective Symmetry Representation Theory Recall: A group is
More informationCMSC 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 informationSingular Frégier Conics in Non-Euclidean Geometry
Singular Frégier onics in on-euclidean Geometry Hans-Peter Schröcker University o Innsbruck, Austria arxiv:1605.07437v1 [math.mg] 24 May 2016 May 25, 2016 The hyotenuses o all right triangles inscribed
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 informationAMS10 HW1 Grading Rubric
AMS10 HW1 Grading Rubric Problem 1 (16ts- ts/each). Left hand side is shown to equal right hand side using examles with real vectors. A vector sace is a set V on which two oerations, vector addition and
More information= ( 2) = p 5.
MATH 0 Exam (Version ) Solutions Setember, 00 S. F. Ellermeyer Name Instructions. Your work on this exam will be raded accordin to two criteria: mathematical correctness clarity of resentation. In other
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 informationPHYS 301 HOMEWORK #9-- SOLUTIONS
PHYS 0 HOMEWORK #9-- SOLUTIONS. We are asked to use Dirichlet' s theorem to determine the value of f (x) as defined below at x = 0, ± /, ± f(x) = 0, - < x
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 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 informationReview of Matrices and Vectors 1/45
Reiew of Matrices and Vectors /45 /45 Definition of Vector: A collection of comple or real numbers, generally put in a column [ ] T "! Transpose + + + b a b a b b a a " " " b a b a Definition of Vector
More informationDirac s Hole Theory and the Pauli Principle: Clearing up the Confusion
Adv. Studies Theor. Phys., Vol. 3, 29, no. 9, 323-332 Dirac s Hole Theory and the Pauli Princile: Clearing u the Conusion Dan Solomon Rauland-Borg Cororation 82 W. Central Road Mount Prosect, IL 656, USA
More informationCentral Force Motion Challenge Problems
Central Force Motion Challenge Problems Problem 1: Ellitic Orbit A satellite of mass m s is in an ellitical orbit around a lanet of mass m which is located at one focus of the ellise. The satellite has
More informationScaling Multiple Point Statistics for Non-Stationary Geostatistical Modeling
Scaling Multile Point Statistics or Non-Stationary Geostatistical Modeling Julián M. Ortiz, Steven Lyster and Clayton V. Deutsch Centre or Comutational Geostatistics Deartment o Civil & Environmental Engineering
More information( ) x y z. 3 Functions 36. SECTION D Composite Functions
3 Functions 36 SECTION D Composite Functions By the end o this section you will be able to understand what is meant by a composite unction ind composition o unctions combine unctions by addition, subtraction,
More informationSurfaces of Revolution with Constant Mean Curvature in Hyperbolic 3-Space
Surfaces of Revolution with Constant Mean Curvature in Hyerbolic 3-Sace Sungwook Lee Deartment of Mathematics, University of Southern Mississii, Hattiesburg, MS 39401, USA sunglee@usm.edu Kinsey-Ann Zarske
More informationCategorical Background (Lecture 2)
Cateorical Backround (Lecture 2) February 2, 2011 In the last lecture, we stated the main theorem o simply-connected surery (at least or maniolds o dimension 4m), which hihlihts the importance o the sinature
More informationOn Lattice Structure of the Probability Functions on L *
Available at htt://vamuedu/aam Al Al Math ISSN: 93-9466 Vol 7 Issue (June 0) 7 98 Alications Alied Mathematics: An International Journal (AAM) On attice Structure o the Probability Functions on * Mashaallah
More informationANALYSIS OF ULTRA LOW CYCLE FATIGUE PROBLEMS WITH THE BARCELONA PLASTIC DAMAGE MODEL
XII International Conerence on Comutational Plasticity. Fundamentals and Alications COMPLAS XII E. Oñate, D.R.J. Owen, D. Peric and B. Suárez (Eds) ANALYSIS OF ULTRA LOW CYCLE FATIGUE PROBLEMS WITH THE
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 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 information1 such that v k g. v g. u g
Mesoscale Meteoroloy: Quasi-Geostrohic Theory 4, 6 February 7 Wait this is a mesoscale class why do we care about a tenet o synotic meteoroloy?? On the synotic-scale, scale analysis o the orcin terms in
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 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 informationA Family of Binary Sequences from Interleaved Construction and their Cryptographic Properties
Contemorary Mathematics A Family of Binary Sequences from Interleaed Construction and their Crytograhic Proerties Jing Jane He, Daniel Panario, and Qiang Wang Abstract. Families of seudorandom sequences
More informationComputational Acoustic Attenuation Performance of Helicoidal Resonators Comparable to Experiment
Comutational Acoustic Attenuation Perormance o Helicoidal Resonators Comarable to Exeriment PhD. Eng. Wojciech LAPKA Poznan University o Technology Institute o Alied Mechanics Division o Vibroacoustics
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 informationProblem set 6 for Quantum Field Theory course
Problem set 6 or Quantum Field Theory course 2018.03.13. Toics covered Scattering cross-section and decay rate Yukawa theory and Yukawa otential Scattering in external electromagnetic ield, Rutherord ormula
More informationHermite subdivision on manifolds via parallel transport
Adances in Comutational Mathematics manuscrit No. (will be inserted by the editor Hermite subdiision on manifolds ia arallel transort Caroline Moosmüller Receied: date / Acceted: date Abstract We roose
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 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 informationarxiv: v1 [math.dg] 22 Mar 2017
HARNACK INEQUALITIES FOR CURVATURE FLOWS IN RIEMANNIAN AND LORENTZIAN MANIFOLDS arxiv:1703.07493v1 [math.dg] 22 Mar 2017 PAUL BRYAN, MOHAMMAD N. IVAKI, AND JULIAN SCHEUER Abstract. We obtain Harnack estimates
More informationNotes on Serre fibrations
Notes on Serre ibrations Stehen A. Mitchell Auust 2001 1 Introduction Many roblems in tooloy can be ormulated abstractly as extension roblems A i h X or litin roblems X h Here the solid arrows reresent
More informationLecture 8: The First Fundamental Form Table of contents
Math 38 Fall 2016 Lecture 8: The First Fundamental Form Disclaimer. As we have a textbook, this lecture note is for guidance and sulement only. It should not be relied on when rearing for exams. In this
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 informationCheng, N. S., and Law, A. W. K. (2003). Exponential formula for computing effective viscosity. Powder Technology. 129(1-3),
THIS PAPER SHOULD BE CITED AS Cheng, N. S., and Law, A. W. K. (2003). Exonential ormula or comuting eective viscosity. Powder Technology. 129(1-3), 156 160. EXPONENTIAL FORMULA FOR COMPUTING EFFECTIVE
More informationLECTURE 6: FIBER BUNDLES
LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class o ibrations given by iber bundles. Fiber bundles lay an imortant role in many geometric contexts. For examle, the Grassmaniann
More informationLecture 1.2 Pose in 2D and 3D. Thomas Opsahl
Lecture 1.2 Pose in 2D and 3D Thomas Osahl 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
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 informationOn the relationship between sound intensity and wave impedance
Buenos Aires 5 to 9 Setember, 16 Acoustics for the 1 st Century PROCEEDINGS of the nd International Congress on Acoustics Sound Intensity and Inverse Methods in Acoustics: Paer ICA16-198 On the relationshi
More informationSome Unitary Space Time Codes From Sphere Packing Theory With Optimal Diversity Product of Code Size
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 5, NO., DECEMBER 4 336 Some Unitary Sace Time Codes From Shere Packing Theory With Otimal Diversity Product of Code Size Haiquan Wang, Genyuan Wang, and Xiang-Gen
More informationSurfaces of Revolution with Constant Mean Curvature H = c in Hyperbolic 3-Space H 3 ( c 2 )
Surfaces of Revolution with Constant Mean Curvature H = c in Hyerbolic 3-Sace H 3 ( c 2 Kinsey-Ann Zarske Deartment of Mathematics, University of Southern Mississii, Hattiesburg, MS 39406, USA E-mail:
More informationOutline. EECS150 - Digital Design Lecture 26 Error Correction Codes, Linear Feedback Shift Registers (LFSRs) Simple Error Detection Coding
Outline EECS150 - Digital Design Lecture 26 Error Correction Codes, Linear Feedback Shift Registers (LFSRs) Error detection using arity Hamming code for error detection/correction Linear Feedback Shift
More informationA Geometric Review of Linear Algebra
A Geometric Reiew of Linear Algebra The following is a compact reiew of the primary concepts of linear algebra. The order of presentation is unconentional, with emphasis on geometric intuition rather than
More informationLINEAR SYSTEMS WITH POLYNOMIAL UNCERTAINTY STRUCTURE: STABILITY MARGINS AND CONTROL
LINEAR SYSTEMS WITH POLYNOMIAL UNCERTAINTY STRUCTURE: STABILITY MARGINS AND CONTROL Mohammad Bozorg Deatment of Mechanical Engineering University of Yazd P. O. Box 89195-741 Yazd Iran Fax: +98-351-750110
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationCSE 599d - Quantum Computing When Quantum Computers Fall Apart
CSE 599d - Quantum Comuting When Quantum Comuters Fall Aart Dave Bacon Deartment of Comuter Science & Engineering, University of Washington In this lecture we are going to begin discussing what haens to
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 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 informationSECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY
SECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY In the revious section, we exloited the interlay between (relative) CW comlexes and fibrations to construct the Postnikov and Whitehead towers aroximating
More information8.7 Associated and Non-associated Flow Rules
8.7 Associated and Non-associated Flow Rules Recall the Levy-Mises flow rule, Eqn. 8.4., d ds (8.7.) The lastic multilier can be determined from the hardening rule. Given the hardening rule one can more
More informationSECTION 5: FIBRATIONS AND HOMOTOPY FIBERS
SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS In this section we will introduce two imortant classes of mas of saces, namely the Hurewicz fibrations and the more general Serre fibrations, which are both obtained
More informationSemicontinuous filter limits of nets of lattice groupvalued
Semicontinuous ilter limits o nets o lattice grouvalued unctions THEMATIC UNIT: MATHEMATICS AND APPLICATIONS A Boccuto, Diartimento di Matematica e Inormatica, via Vanvitelli, I- 623 Perugia, Italy, E-mail:
More informationLift forces on a cylindrical particle in plane Poiseuille flow of shear thinning fluids
Lit orces on a cylindrical article in lane Poiseuille low o shear thinning luids J. Wang and D. D. Joseh Deartment o Aerosace Engineering and Mechanics, University o Minnesota, Aril 3 Abstract Lit orces
More informationStatics and dynamics: some elementary concepts
1 Statics and dynamics: some elementary concets Dynamics is the study of the movement through time of variables such as heartbeat, temerature, secies oulation, voltage, roduction, emloyment, rices and
More informationChater Matrix Norms and Singular Value Decomosition Introduction In this lecture, we introduce the notion of a norm for matrices The singular value de
Lectures on Dynamic Systems and Control Mohammed Dahleh Munther A Dahleh George Verghese Deartment of Electrical Engineering and Comuter Science Massachuasetts Institute of Technology c Chater Matrix Norms
More informationHEAT AND LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL VARIABLES IN WEIGHTED BERGMAN SPACES
Electronic Journal of ifferential Equations, Vol. 207 (207), No. 236,. 8. ISSN: 072-669. URL: htt://ejde.math.txstate.edu or htt://ejde.math.unt.edu HEAT AN LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL
More informationApproximating min-max k-clustering
Aroximating min-max k-clustering Asaf Levin July 24, 2007 Abstract We consider the roblems of set artitioning into k clusters with minimum total cost and minimum of the maximum cost of a cluster. The cost
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 informationLecture 6. 2 Recurrence/transience, harmonic functions and martingales
Lecture 6 Classification of states We have shown that all states of an irreducible countable state Markov chain must of the same tye. This gives rise to the following classification. Definition. [Classification
More informationComptes rendus de l Academie bulgare des Sciences, Tome 59, 4, 2006, p POSITIVE DEFINITE RANDOM MATRICES. Evelina Veleva
Comtes rendus de l Academie bulgare des ciences Tome 59 4 6 353 36 POITIVE DEFINITE RANDOM MATRICE Evelina Veleva Abstract: The aer begins with necessary and suicient conditions or ositive deiniteness
More informationSYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY
SYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY FEDERICA PASQUOTTO 1. Descrition of the roosed research 1.1. Introduction. Symlectic structures made their first aearance in
More informationExercise. Accelerated Math : Monday, May 6, 2013, 7:40 PM Mr. J. Ziarno Ziarno-1st James Ziarno
of 9 Accelerated Math : Monday, May 6, 0, 7:40 PM Mr. J. Ziarno Melourne Central Catholic Hih School Form Numer 90 (Rerint). Is f ( x ) = x + a one-to-one function?. Determine which of the followin is
More informationDot-Product Steering A New Control Law for Satellites and Spacecrafts
The First International Bhurban Conerence on Alied Sciences and Technologies Bhurban, Pakistan. June 1-15,,. 178-184 Dot-Product Steering A New Control Law or Satellites and Sacecrats Sed Ari Kamal 1 Deartments
More informationComputer arithmetic. Intensive Computation. Annalisa Massini 2017/2018
Comuter arithmetic Intensive Comutation Annalisa Massini 7/8 Intensive Comutation - 7/8 References Comuter Architecture - A Quantitative Aroach Hennessy Patterson Aendix J Intensive Comutation - 7/8 3
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 informationLecture 8 Optimization
4/9/015 Lecture 8 Optimization EE 4386/5301 Computational Methods in EE Spring 015 Optimization 1 Outline Introduction 1D Optimization Parabolic interpolation Golden section search Newton s method Multidimensional
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 informationCalculation of gravity due to a vertical cylinder using a spherical harmonic series and numerical integration
CSIRO PUBISHING Exloration Geohysics htt://dx.doi.org/.7/eg43 Calculation of gravity due to a vertical cylinder using a sherical harmonic series and numerical integration Sung-Ho Na,3 Hyoungrea Rim,3,4
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 informationChapter 11 Collision Theory
Chapter Collision Theory Introduction. Center o Mass Reerence Frame Consider two particles o masses m and m interacting ia some orce. Figure. Center o Mass o a system o two interacting particles Choose
More informationNode-voltage method using virtual current sources technique for special cases
Node-oltage method using irtual current sources technique for secial cases George E. Chatzarakis and Marina D. Tortoreli Electrical and Electronics Engineering Deartments, School of Pedagogical and Technological
More informationEconomics 101. Lecture 7 - Monopoly and Oligopoly
Economics 0 Lecture 7 - Monooly and Oligooly Production Equilibrium After having exlored Walrasian equilibria with roduction in the Robinson Crusoe economy, we will now ste in to a more general setting.
More informationOn Nonpermutational Transformation Semigroups with an Application to Syntactic Complexity
Acta Cybernetica 22 (2016) 687 701. On Nonpermutational Transormation Semiroups with an Application to Syntactic Complexity Szabolcs Iván and Judit Nay-Györy Abstract We ive an upper bound o n((n 1)! (n
More informationUnit 11: Vectors in the Plane
135 Unit 11: Vectors in the Plane Vectors in the Plane The term ector is used to indicate a quantity (such as force or elocity) that has both length and direction. For instance, suppose a particle moes
More informationOn Closing the Constitutive Gap Between Forming and Crash Simulation
0 th International LS-DYNA Users Conerence etal Forming (3) On Closing the Constitutive Ga Between Forming and Crash Simulation F. Neukamm *,. Feucht *, A. Haue **, K. Roll * * Daimler AG, 7059 Sindelingen,
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationProblem Set. Problems on Unordered Summation. Math 5323, Fall Februray 15, 2001 ANSWERS
Problem Set Problems on Unordered Summation Math 5323, Fall 2001 Februray 15, 2001 ANSWERS i 1 Unordered Sums o Real Terms In calculus and real analysis, one deines the convergence o an ininite series
More informationCategories and Quantum Informatics: Monoidal categories
Cateories and Quantum Inormatics: Monoidal cateories Chris Heunen Sprin 2018 A monoidal cateory is a cateory equipped with extra data, describin how objects and morphisms can be combined in parallel. This
More informationSpanning Tree Based State Encoding for Low Power Dissipation
Sannin Tree Based State Encodin or Low Power Dissiation Winried Nöth and Reiner Kolla Lehrstuhl ür Technische Inormatik, Universität Würzbur, 97070 Würzbur, Germany Abstract In this aer we address the
More informationCybernetic Interpretation of the Riemann Zeta Function
Cybernetic Interretation of the Riemann Zeta Function Petr Klán, Det. of System Analysis, University of Economics in Prague, Czech Reublic, etr.klan@vse.cz arxiv:602.05507v [cs.sy] 2 Feb 206 Abstract:
More informationFLOW MEASUREMENT IN CLOSED CONDUIT
FLOW MEASUREMENT IN CLOSED CONDUIT Closed conduit flow: It is a flow with boundaries and runs full. As in the case of oen channel flow, the surface is not exosed to atmoshere. Since it runs full it is
More informationRound-off Errors and Computer Arithmetic - (1.2)
Round-off Errors and Comuter Arithmetic - (.). Round-off Errors: Round-off errors is roduced when a calculator or comuter is used to erform real number calculations. That is because the arithmetic erformed
More informationε i (E j )=δj i = 0, if i j, form a basis for V, called the dual basis to (E i ). Therefore, dim V =dim V.
Covectors Definition. Let V be a finite-dimensional vector sace. A covector on V is real-valued linear functional on V, that is, a linear ma ω : V R. The sace of all covectors on V is itself a real vector
More informationRobustness of classifiers to uniform l p and Gaussian noise Supplementary material
Robustness of classifiers to uniform l and Gaussian noise Sulementary material Jean-Yves Franceschi Ecole Normale Suérieure de Lyon LIP UMR 5668 Omar Fawzi Ecole Normale Suérieure de Lyon LIP UMR 5668
More informationMassachusetts Institute of Technology Department of Electrical Engineering and Computer Science Electric Machinery
Massachusetts Institute of Technoloy Deartment of Electrical Enineerin and Comuter Science 6.685 Electric Machinery Class Notes 5: Windin Inductances Setember 5, 005 c 005 James L. Kirtley Jr. 1 Introduction
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 informationSOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES
Kragujevac Journal of Mathematics Volume 411) 017), Pages 33 55. SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES SILVESTRU SEVER DRAGOMIR 1, Abstract. Some new trace ineualities for oerators in
More informationCSC165H, Mathematical expression and reasoning for computer science week 12
CSC165H, Mathematical exression and reasoning for comuter science week 1 nd December 005 Gary Baumgartner and Danny Hea hea@cs.toronto.edu SF4306A 416-978-5899 htt//www.cs.toronto.edu/~hea/165/s005/index.shtml
More informationE( x ) [b(n) - a(n, m)x(m) ]
Homework #, EE5353. An XOR network has two inuts, one hidden unit, and one outut. It is fully connected. Gie the network's weights if the outut unit has a ste actiation and the hidden unit actiation is
More information2.9 Dirac Notation Vectors ji that are orthonormal hk ji = k,j span a vector space and express the identity operator I of the space as (1.
14 Fourier Series 2.9 Dirac Notation Vectors ji that are orthonormal hk ji k,j san a vector sace and exress the identity oerator I of the sace as (1.132) I NX jihj. (2.99) Multilying from the right by
More information44 CHAPTER 5. PERFORMACE OF SMALL SIGAL SETS In digital communications, we usually focus entirely on the code, and do not care what encoding ma is use
Performance of small signal sets Chater 5 In this chater, we show how to estimate the erformance of small-to-moderate-sized signal constellations on the discrete-time AWG channel. With equirobable signal
More informationNumerical Methods: Structured vs. unstructured grids. General Introduction: Why numerical methods? Numerical methods and their fields of application
Numerical Methods: Structured vs. unstructured grids The goals o this course General : Why numerical methods? Numerical methods and their ields o alication Review o inite dierences Goals: Understanding
More informationENSC327 Communications Systems 2: Fourier Representations. School of Engineering Science Simon Fraser University
ENSC37 Communications Systems : Fourier Representations School o Engineering Science Simon Fraser University Outline Chap..5: Signal Classiications Fourier Transorm Dirac Delta Function Unit Impulse Fourier
More informationjf 00 (x)j ds (x) = [1 + (f 0 (x)) 2 ] 3=2 (t) = jjr0 (t) r 00 (t)jj jjr 0 (t)jj 3
M73Q Multivariable Calculus Fall 7 Review Problems for Exam The formulas in the box will be rovided on the exam. (s) dt jf (x)j ds (x) [ + (f (x)) ] 3 (t) jjt (t)jj jjr (t)jj (t) jjr (t) r (t)jj jjr (t)jj
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 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 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 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 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 information