FFTs in Graphics and Vision. Rotational and Reflective Symmetry Detection

Size: px
Start display at page:

Download "FFTs in Graphics and Vision. Rotational and Reflective Symmetry Detection"

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 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 information

CMSC 425: Lecture 4 Geometry and Geometric Programming

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 information

Singular Frégier Conics in Non-Euclidean Geometry

Singular 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 information

1 Properties of Spherical Harmonics

1 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 information

AMS10 HW1 Grading Rubric

AMS10 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.

= ( 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 information

Participation Factors. However, it does not give the influence of each state on the mode.

Participation 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 information

PHYS 301 HOMEWORK #9-- SOLUTIONS

PHYS 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 information

Quaternionic Projective Space (Lecture 34)

Quaternionic 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 information

Solutions to Problem Set 5

Solutions 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 information

Review of Matrices and Vectors 1/45

Review 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 information

Dirac s Hole Theory and the Pauli Principle: Clearing up the Confusion

Dirac 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 information

Central Force Motion Challenge Problems

Central 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 information

Scaling Multiple Point Statistics for Non-Stationary Geostatistical Modeling

Scaling 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

( ) 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 information

Surfaces of Revolution with Constant Mean Curvature in Hyperbolic 3-Space

Surfaces 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 information

Categorical Background (Lecture 2)

Categorical 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 information

On Lattice Structure of the Probability Functions on L *

On 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 information

ANALYSIS OF ULTRA LOW CYCLE FATIGUE PROBLEMS WITH THE BARCELONA PLASTIC DAMAGE MODEL

ANALYSIS 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 information

Introduction to Group Theory Note 1

Introduction 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 information

Principles of Computed Tomography (CT)

Principles 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 information

1 such that v k g. v g. u g

1 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 information

MATH 361: NUMBER THEORY ELEVENTH LECTURE

MATH 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 information

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015

Elliptic 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 information

A Family of Binary Sequences from Interleaved Construction and their Cryptographic Properties

A 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 information

Computational Acoustic Attenuation Performance of Helicoidal Resonators Comparable to Experiment

Computational 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 information

Complex Analysis Homework 1

Complex 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 information

Problem set 6 for Quantum Field Theory course

Problem 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 information

Hermite subdivision on manifolds via parallel transport

Hermite 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 information

Numerical Linear Algebra

Numerical 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 information

Towards 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. 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 information

arxiv: v1 [math.dg] 22 Mar 2017

arxiv: 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 information

Notes on Serre fibrations

Notes 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 information

Lecture 8: The First Fundamental Form Table of contents

Lecture 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 information

Chapter 2 Arithmetic Functions and Dirichlet Series.

Chapter 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 information

Cheng, N. S., and Law, A. W. K. (2003). Exponential formula for computing effective viscosity. Powder Technology. 129(1-3),

Cheng, 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 information

LECTURE 6: FIBER BUNDLES

LECTURE 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 information

Lecture 1.2 Pose in 2D and 3D. Thomas Opsahl

Lecture 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 information

DIFFERENTIAL GEOMETRY. LECTURES 9-10,

DIFFERENTIAL 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 information

On the relationship between sound intensity and wave impedance

On 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 information

Some Unitary Space Time Codes From Sphere Packing Theory With Optimal Diversity Product of Code Size

Some 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 information

Surfaces 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 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 information

Outline. 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) 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 information

A Geometric Review of Linear Algebra

A 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 information

LINEAR SYSTEMS WITH POLYNOMIAL UNCERTAINTY STRUCTURE: STABILITY MARGINS AND CONTROL

LINEAR 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 information

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

ANALYTIC 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 information

CSE 599d - Quantum Computing When Quantum Computers Fall Apart

CSE 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 information

INJECTIVITY 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 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 information

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems

Various 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

SECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY

SECTION 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 information

8.7 Associated and Non-associated Flow Rules

8.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 information

SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS

SECTION 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 information

Semicontinuous filter limits of nets of lattice groupvalued

Semicontinuous 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 information

Lift forces on a cylindrical particle in plane Poiseuille flow of shear thinning fluids

Lift 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 information

Statics and dynamics: some elementary concepts

Statics 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 information

Chater Matrix Norms and Singular Value Decomosition Introduction In this lecture, we introduce the notion of a norm for matrices The singular value de

Chater 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 information

HEAT AND LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL VARIABLES IN WEIGHTED BERGMAN SPACES

HEAT 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 information

Approximating min-max k-clustering

Approximating 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 information

0.1 Practical Guide - Surface Integrals. C (0,0,c) A (0,b,0) A (a,0,0)

0.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 information

Lecture 6. 2 Recurrence/transience, harmonic functions and martingales

Lecture 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 information

Comptes rendus de l Academie bulgare des Sciences, Tome 59, 4, 2006, p POSITIVE DEFINITE RANDOM MATRICES. Evelina Veleva

Comptes 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 information

SYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY

SYMPLECTIC 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 information

Exercise. Accelerated Math : Monday, May 6, 2013, 7:40 PM Mr. J. Ziarno Ziarno-1st James Ziarno

Exercise. 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 information

Dot-Product Steering A New Control Law for Satellites and Spacecrafts

Dot-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 information

Computer arithmetic. Intensive Computation. Annalisa Massini 2017/2018

Computer 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 information

TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES

TRACES 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 information

Lecture 8 Optimization

Lecture 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 information

CMSC 425: Lecture 7 Geometric Programming: Sample Solutions

CMSC 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 information

Calculation of gravity due to a vertical cylinder using a spherical harmonic series and numerical integration

Calculation 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 information

Simplifications to Conservation Equations

Simplifications 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 information

Chapter 11 Collision Theory

Chapter 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 information

Node-voltage method using virtual current sources technique for special cases

Node-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 information

Economics 101. Lecture 7 - Monopoly and Oligopoly

Economics 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 information

On Nonpermutational Transformation Semigroups with an Application to Syntactic Complexity

On 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 information

Unit 11: Vectors in the Plane

Unit 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 information

On Closing the Constitutive Gap Between Forming and Crash Simulation

On 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 information

Categories and Natural Transformations

Categories 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 information

Problem Set. Problems on Unordered Summation. Math 5323, Fall Februray 15, 2001 ANSWERS

Problem 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 information

Categories and Quantum Informatics: Monoidal categories

Categories 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 information

Spanning Tree Based State Encoding for Low Power Dissipation

Spanning 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 information

Cybernetic Interpretation of the Riemann Zeta Function

Cybernetic 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 information

FLOW MEASUREMENT IN CLOSED CONDUIT

FLOW 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 information

Round-off Errors and Computer Arithmetic - (1.2)

Round-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.

ε 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 information

Robustness of classifiers to uniform l p and Gaussian noise Supplementary material

Robustness 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 information

Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science Electric Machinery

Massachusetts 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 information

PROFIT MAXIMIZATION. π = p y Σ n i=1 w i x i (2)

PROFIT 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 information

SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES

SOME 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 information

CSC165H, Mathematical expression and reasoning for computer science week 12

CSC165H, 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 information

E( x ) [b(n) - a(n, m)x(m) ]

E( 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 information

2.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.

2.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 information

44 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

44 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 information

Numerical Methods: Structured vs. unstructured grids. General Introduction: Why numerical methods? Numerical methods and their fields of application

Numerical 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 information

ENSC327 Communications Systems 2: Fourier Representations. School of Engineering Science Simon Fraser University

ENSC327 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 information

jf 00 (x)j ds (x) = [1 + (f 0 (x)) 2 ] 3=2 (t) = jjr0 (t) r 00 (t)jj jjr 0 (t)jj 3

jf 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 information

Topic 7: Using identity types

Topic 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

The Arm Prime Factors Decomposition

The 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 information

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction

GOOD 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 information

MATH 2710: NOTES FOR ANALYSIS

MATH 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 information

Planar Transformations and Displacements

Planar 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