SlideShare a Scribd company logo
Signal Processing
and
Representation Theory
Lecture 1
Outline:
• Algebra Review
– Numbers
– Groups
– Vector Spaces
– Inner Product Spaces
– Orthogonal / Unitary Operators
• Representation Theory
Algebra Review
Numbers (Reals)
Real numbers, ℝ, are the set of numbers that we
express in decimal notation, possibly with infinite,
non-repeating, precision.
Algebra Review
Numbers (Reals)
Example: π=3.141592653589793238462643383279502884197…
Completeness: If a sequence of real numbers gets
progressively “tighter” then it must converge to a
real number.
Size: The size of a real number a∈ℝ is the square
root of its square norm:
2
aa =
Algebra Review
Numbers (Complexes)
Complex numbers, , are the set of numbers that weℂ
express as a+ib, where a,b∈ andℝ i= .
Example: eiθ
=cosθ+isinθ
1−
Algebra Review
Numbers (Complexes)
Let p(x)=xn
+an-1xn-1
+…+a1x1
+a0 be a polynomial with
ai∈ .ℂ
Algebraic Closure:
p(x) must have a root, x0 in :ℂ
p(x0)=0.
Algebra Review
Numbers (Complexes)
Conjugate: The conjugate of a complex number a+ib
is:
Size: The size of a real number a+ib∈ℂ is the square
root of its square norm:
ibaiba −=+
22
)()( baibaibaiba +=++=+
Algebra Review
Groups
A group G is a set with a composition rule + that
takes two elements of the set and returns another
element, satisfying:
– Asscociativity: (a+b)+c=a+(b+c) for all a,b,c∈G.
– Identity: There exists an identity element 0∈G such
that 0+a=a+0=a for all a∈G.
– Inverse: For every a∈G there exists an element -a∈G
such that a+(-a)=0.
If the group satisfies a+b=b+a for all a,b∈G, then
the group is called commutative or abelian.
Algebra Review
Groups
Examples:
– The integers, under addition, are a commutative group.
– The positive real numbers, under multiplication, are a
commutative group.
– The set of complex numbers without 0, under
multiplication, are a commutative group.
– Real/complex invertible matrices, under multiplication
are a non-commutative group.
– The rotation matrices, under multiplication, are a non-
commutative group. (Except in 2D when they are
commutative)
Algebra Review
(Real) Vector Spaces
A real vector space is a set of objects that can be
added together and scaled by real numbers.
Formally:
A real vector space V is a commutative group with a scaling operator:
(a,v)→av,
a∈ ,ℝ v∈V, such that:
1. 1v=v for all v∈V.
2. a(v+w)=av+aw for all a∈ ,ℝ v,w∈V.
3. (a+b)v=av+bv for all a,b∈ ,ℝ v∈V.
4. (ab)v=a(bv) for all a,b∈ ,ℝ v∈V.
Algebra Review
(Real) Vector Spaces
Examples:
• The set of n-dimensional arrays with real coefficients is a
vector space.
• The set of mxn matrices with real entries is a vector
space.
• The sets of real-valued functions defined in 1D, 2D, 3D,
… are all vector spaces.
• The sets of real-valued functions defined on the circle,
disk, sphere, ball,… are all vector spaces.
• Etc.
Algebra Review
(Complex) Vector Spaces
A complex vector space is a set of objects that can be
added together and scaled by complex numbers.
Formally:
A complex vector space V is a commutative group with a scaling operator:
(a,v)→av,
a∈ ,ℂ v∈V, such that:
1. 1v=v for all v∈V.
2. a(v+w)=av+aw for all a∈ ,ℂ v,w∈V.
3. (a+b)v=av+bv for all a,b∈ ,ℂ v∈V.
4. (ab)v=a(bv) for all a,b∈ ,ℂ v∈V.
Algebra Review
(Complex) Vector Spaces
Examples:
• The set of n-dimensional arrays with complex coefficients
is a vector space.
• The set of mxn matrices with complex entries is a vector
space.
• The sets of complex-valued functions defined in 1D, 2D,
3D,… are all vector spaces.
• The sets of complex-valued functions defined on the
circle, disk, sphere, ball,… are all vector spaces.
• Etc.
Algebra Review
(Real) Inner Product Spaces
A real inner product space is a real vector space V
with a mapping 〈V,V〉→ℝ that takes a pair of vectors
and returns a real number, satisfying:
〈u,v+w〉= 〈u,v〉+ 〈u,w〉 for all u,v,w∈V.
〈αu,v〉=α〈u,v〉 for all u,v∈V and all α∈ℝ.
〈u,v〉= 〈v,u〉 for all u,v∈V.
〈v,v〉≥0 for all v∈V, and 〈v,v〉=0 if and only if v=0.
Algebra Review
(Real) Inner Product Spaces
Examples:
– The space of n-dimensional arrays with real
coefficients is an inner product space.
If v=(v1,…,vn) and w=(w1,…,wn) then:
〈v,w〉=v1w1+…+vnwn
– If M is a symmetric matrix (M=Mt
) whose eigen-
values are all positive, then the space of n-
dimensional arrays with real coefficients is an inner
product space.
If v=(v1,…,vn) and w=(w1,…,wn) then:
〈v,w〉M=vMwt
Algebra Review
(Real) Inner Product Spaces
Examples:
– The space of mxn matrices with real coefficients is an
inner product space.
If M and N are two mxn matrices then:
〈M,N〉=Trace(Mt
N)
Algebra Review
(Real) Inner Product Spaces
Examples:
– The spaces of real-valued functions defined in 1D,
2D, 3D,… are real inner product space.
If f and g are two functions in 1D, then:
– The spaces of real-valued functions defined on the
circle, disk, sphere, ball,… are real inner product
spaces.
If f and g are two functions defined on the circle, then:
∫
∞
∞−
= dxxgxfgf )()(,
∫=
π
θθθ
2
0
)()(, dgfgf
Algebra Review
(Complex) Inner Product Spaces
A complex inner product space is a complex vector
space V with a mapping 〈V,V〉→ℂ that takes a pair of
vectors and returns a complex number, satisfying:
〈u,v+w〉= 〈u,v〉+ 〈u,w〉 for all u,v,w∈V.
〈αu,v〉=α〈u,v〉 for all u,v∈V and all α∈ℝ.
– for all u,v∈V.
〈v,v〉≥0 for all v∈V, and 〈v,v〉=0 if and only if v=0.
uv,vu, =
Algebra Review
(Complex) Inner Product Spaces
Examples:
– The space of n-dimensional arrays with complex
coefficients is an inner product space.
If v=(v1,…,vn) and w=(w1,…,wn) then:
– If M is a conjugate symmetric matrix ( ) whose
eigen-values are all positive, then the space of n-
dimensional arrays with complex coefficients is an
inner product space.
If v=(v1,…,vn) and w=(w1,…,wn) then:
〈v,w〉M=vMwt
nn11 wv...wvwv, ++=
t
MM =
Algebra Review
(Complex) Inner Product Spaces
Examples:
– The space of mxn matrices with real coefficients is an
inner product space.
If M and N are two mxn matrices then:
( )NMNM, t
Trace=
Algebra Review
(Complex) Inner Product Spaces
Examples:
– The spaces of complex-valued functions defined in
1D, 2D, 3D,… are real inner product space.
If f and g are two functions in 1D, then:
– The spaces of real-valued functions defined on the
circle, disk, sphere, ball,… are real inner product
spaces.
If f and g are two functions defined on the circle, then:
∫
∞
∞−
= dxxgxfgf )()(,
∫=
π
θθθ
2
0
)()(, dgfgf
Algebra Review
Inner Product Spaces
If V1,V2⊂V, then V is the direct sum of subspaces V1,
V2, written V=V1⊕V2, if:
– Every vector v∈V can be written uniquely as:
for some vectors v1∈V1 and v2∈V2.
21 vvv +=
Algebra Review
Inner Product Spaces
Example:
If V is the vector space of 4-dimensional arrays, then
V is the direct sum of the vector spaces V1,V2⊂V
where:
– V1=(x1,x2,0,0)
– V2=(0,0,x3,x4)
Algebra Review
Orthogonal / Unitary Operators
If V is a real / complex inner product space, then a
linear map A:V→V is orthogonal / unitary if it
preserves the inner product:
〈v,w〉= 〈Av,Aw〉
for all v,w∈V.
Algebra Review
Orthogonal / Unitary Operators
Examples:
– If V is the space of real, two-dimensional, vectors and
A is any rotation or reflection, then A is orthogonal.
A=
v2
v1
A(v2)
A(v1)
Algebra Review
Orthogonal / Unitary Operators
Examples:
– If V is the space of real, three-dimensional, vectors
and A is any rotation or reflection, then A is
orthogonal.
A=
Algebra Review
Orthogonal / Unitary Operators
Examples:
– If V is the space of functions defined in 1D and A is
any translation, then A is orthogonal.
A=
Algebra Review
Orthogonal / Unitary Operators
Examples:
– If V is the space of functions defined on a circle and A
is any rotation or reflection, then A is orthogonal.
A=
Algebra Review
Orthogonal / Unitary Operators
Examples:
– If V is the space of functions defined on a sphere and
A is any rotation or reflection, then A is orthogonal.
A=
Outline:
• Algebra Review
• Representation Theory
– Orthogonal / Unitary Representations
– Irreducible Representations
– Why Do We Care?
Representation Theory
Orthogonal / Unitary Representation
An orthogonal / unitary representation of a group G
onto an inner product space V is a map Φ that sends
every element of G to an orthogonal / unitary
transformation, subject to the conditions:
1. Φ(0)v=v, for all v∈V, where 0 is the identity element.
2. Φ(gh)v=Φ(g) Φ(h)v
Representation Theory
Orthogonal / Unitary Representation
Examples:
– If G is any group and V is any vector space, then:
is an orthogonal / unitary representation.
– If G is the group of rotations and reflections and V is
any vector space, then:
is an orthogonal / unitary representation.
vvg =Φ )(
vgvg )det()( =Φ
Representation Theory
Orthogonal / Unitary Representation
Examples:
– If G is the group of nxn orthogonal / unitary
matrices, and V is the space of n-dimensional arrays,
then:
is an orthogonal / unitary representation.
( )vgvg =Φ )(
Representation Theory
Orthogonal / Unitary Representation
Examples:
– If G is the group of 2x2 rotation matrices, and V is
the vector space of 4-dimensional real / complex
arrays, then:
is an orthogonal / unitary representation.
( ) ( )),(),,(,,,)( 43214321 xxgxxgxxxxg =Φ
Representation Theory
Irreducible Representations
A representation Φ, of a group G onto a vector space
V is irreducible if cannot be broken up into smaller
representation spaces.
That is, if there exist W⊂V such that:
Φ(G)W⊂W
Then either W=V or W=∅.
Representation Theory
Irreducible Representations
If W⊂V is a sub-representation of G, and W⊥
is the
space of vectors perpendicular to W:
〈v,w〉=0
for all v∈W⊥
and w∈W, then V=W⊕W⊥
and W⊥
is also
a sub-representation of V.
For any g∈G, v∈W⊥
, and w∈W, we have:
So if a representation is reducible, it can be broken
up into the direct sum of two sub-representations.
( ) ( ) ( ) ( ) ( ) wvgwggvgwgv ,,,0 11
ΦΦΦΦ=Φ= −−
Representation Theory
Irreducible Representations
Examples:
– If G is any group and V is any vector space with
dimension larger than one, then:
is not an irreducible representation.
vvg =Φ )(
Representation Theory
Irreducible Representations
Examples:
– If G is the group of 2x2 rotation matrices, and V is
the vector space of 4-dimensional real / complex
arrays, then:
is not an irreducible representation since it maps the
space W=(x1,x2,0,0) back into itself.
( ) ( )),(),,(,,,)( 43214321 xxgxxgxxxxg =Φ
Representation Theory
Why do we care?
Representation Theory
Why we care
In shape matching we have to deal with the fact that
rotations do not change the shape of a model.
=
Representation Theory
Exhaustive Search
If vM is a spherical function representing model M
and vn is a spherical function representing model N,
we want to find the minimum over all rotations T of
the equation:
( )
( )NMNM
NMNM
vTvvv
vTvvvT
,2
),,(
22
2
−+=
−=D
Representation Theory
Exhaustive Search
If V is the space of spherical functions then we can
consider the representation of the group of rotations
on this space.
By decomposing V into a direct sum of its
irreducible representations, we get a better
framework for finding the best rotation.
Representation Theory
Exhaustive Search (Brute Force)
Suppose that {v1,…,vn} is some orthogonal basis for
V, then we can express the shape descriptors in terms
of this basis:
vM=a1v1+…+anvn
vN=b1v1+…+bnvn
Representation Theory
Exhaustive Search (Brute Force)
Then the dot-product of M and N at a rotation T is
equal to:
( )
( )
( )∑
∑∑
∑∑
=
==
==
=
=








=
n
ji
jiji
n
j
jj
n
i
ii
n
j
jj
n
i
iiNM
vTvba
vTbva
vbTvavTv
1,
11
11
,
,
,,
( ) ( )∑=
=
n
ji
jijiNM vTvbavTv
1,
,,
Representation Theory
Exhaustive Search (Brute Force)
So that the nxn cross-multiplications are needed:
T(vn)
vM
v1
v2
vn
=
+
+
+
T(v1)
=
+
+
+
T(v2)
T(vN)
…
…
Representation Theory
Exhaustive Search (w/ Rep. Theory)
Now suppose that we can decompose V into a
collection of one-dimensional representations.
That is, there exists an orthogonal basis {w1,…,wn} of
functions such that T(wi)∈wiℂ for all rotations T and
hence:
〈wi,T(wj)〉=0 for all i≠j.
Representation Theory
Exhaustive Search (w/ Rep. Theory)
Then we can express the shape descriptors in terms
of this basis:
vM=α1w1+…+αnwn
vN=β1w1+…+βnwn
Representation Theory
Exhaustive Search (w/ Rep. Theory)
And the dot-product of M and N at a rotation T is
equal to:
( )
( )
( )
( )∑
∑
∑∑
∑∑
=
=
==
==
=
=
=








=
n
i
iiii
n
ji
jiji
n
j
jj
n
i
ii
n
j
jj
n
i
iiNM
wTw
wTw
wTw
wTwvTv
1
1,
11
11
,
,
,
,,
βα
βα
βα
βα
( ) ( )∑=
=
n
i
iiiiNM wTwvTv
1
,, βα
Representation Theory
Exhaustive Search (w/ Rep. Theory)
So that only n multiplications are needed:
T(wn)
vM
w1
w2
wn
=
+
+
+
T(w1)
=
+
+
+
T(w2)
T(vN)
…
…

More Related Content

PDF
IVR - Chapter 1 - Introduction
PDF
Non-sampling functional approximation of linear and non-linear Bayesian Update
PDF
On the Jensen-Shannon symmetrization of distances relying on abstract means
PDF
Solvability of Matrix Riccati Inequality Talk Slides
PDF
On the Design of a Galculator
DOCX
Advanced algebra (some terminologies)
PDF
ABC with data cloning for MLE in state space models
PDF
Madrid easy
IVR - Chapter 1 - Introduction
Non-sampling functional approximation of linear and non-linear Bayesian Update
On the Jensen-Shannon symmetrization of distances relying on abstract means
Solvability of Matrix Riccati Inequality Talk Slides
On the Design of a Galculator
Advanced algebra (some terminologies)
ABC with data cloning for MLE in state space models
Madrid easy

What's hot (20)

PPTX
Lecture 12 orhogonality - 6.1 6.2 6.3
PDF
Classification with mixtures of curved Mahalanobis metrics
PDF
The dual geometry of Shannon information
PDF
Bregman divergences from comparative convexity
PPTX
Lecture 11 diagonalization & complex eigenvalues - 5-3 & 5-5
PDF
A series of maximum entropy upper bounds of the differential entropy
PDF
Divergence clustering
PDF
Inference for stochastic differential equations via approximate Bayesian comp...
PDF
Accelerated approximate Bayesian computation with applications to protein fol...
PDF
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Appli...
PPTX
Csr2011 june18 14_00_sudan
PDF
Intro to Approximate Bayesian Computation (ABC)
PDF
Divergence center-based clustering and their applications
PDF
Stochastic calculus
PPT
Eigen value , eigen vectors, caley hamilton theorem
PPT
Lecture 3 section 1-7, 1-8 and 1-9
PDF
Interpolation of Cubic Splines
PPTX
Maths-->>Eigenvalues and eigenvectors
PPT
1619 quantum computing
PDF
Sienna 10 dynamic
Lecture 12 orhogonality - 6.1 6.2 6.3
Classification with mixtures of curved Mahalanobis metrics
The dual geometry of Shannon information
Bregman divergences from comparative convexity
Lecture 11 diagonalization & complex eigenvalues - 5-3 & 5-5
A series of maximum entropy upper bounds of the differential entropy
Divergence clustering
Inference for stochastic differential equations via approximate Bayesian comp...
Accelerated approximate Bayesian computation with applications to protein fol...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Appli...
Csr2011 june18 14_00_sudan
Intro to Approximate Bayesian Computation (ABC)
Divergence center-based clustering and their applications
Stochastic calculus
Eigen value , eigen vectors, caley hamilton theorem
Lecture 3 section 1-7, 1-8 and 1-9
Interpolation of Cubic Splines
Maths-->>Eigenvalues and eigenvectors
1619 quantum computing
Sienna 10 dynamic
Ad

Viewers also liked (20)

PDF
Analyze ball screw feeding system dynamics simulation Based on the ADAMS
PPT
Understanding Media Control
PPT
Representation theory essay
DOC
MET 304 Belt drives
PPT
Block diagram reduction techniques
PDF
Modern Control - Lec 02 - Mathematical Modeling of Systems
PDF
DSP_FOEHU - MATLAB 03 - The z-Transform
PPTX
Newspapers’ target audiences
PPTX
spectrum analyzers ppt
PPTX
Pid controllers
PPT
Solid State Control of Electric Drive
PPT
Control chap3
PPTX
Instrumentation and process control fundamentals
PDF
Electrical drives lectures
PPTX
Hypodermic needle theory
PPTX
Hydraulic and pneumatic systems
PPT
Hypodermic needle model
PPTX
Voltmeter
PPTX
PID Controller
PDF
Proportional-Derivative-Integral (PID) Control
Analyze ball screw feeding system dynamics simulation Based on the ADAMS
Understanding Media Control
Representation theory essay
MET 304 Belt drives
Block diagram reduction techniques
Modern Control - Lec 02 - Mathematical Modeling of Systems
DSP_FOEHU - MATLAB 03 - The z-Transform
Newspapers’ target audiences
spectrum analyzers ppt
Pid controllers
Solid State Control of Electric Drive
Control chap3
Instrumentation and process control fundamentals
Electrical drives lectures
Hypodermic needle theory
Hydraulic and pneumatic systems
Hypodermic needle model
Voltmeter
PID Controller
Proportional-Derivative-Integral (PID) Control
Ad

Similar to 1625 signal processing and representation theory (20)

PDF
notes.pdf
PDF
A Practical Approach To Linear Algebra Prabhat Choudhary
PPT
Linear vector space
PDF
Ch_12 Review of Matrices and Vectors (PPT).pdf
PDF
vector spaces algebras geometries
PPTX
TN 112_Lecture_6_22nd_Jan_2025 (1).pptx g
PDF
Vector spaces
PDF
Linear algebra done right
PPTX
vector-spaces-advanced.pptx
PDF
2 vectors notes
PPT
signal space analysis.ppt
PPTX
Lecture-2 Vector Spaces-24 (1) linear algebra.pptx
PDF
Mathematical Economics 23lec03slides.pdf
PDF
Mathematical Economics 23lec03slides.pdf
PDF
Mathematical Economics 23lec03slides.pdf
PPT
PPTX
Vector space, subspace, linear span .pptx
PDF
Linear-Algebra-Friedberg-Insel-Spence-4th-E.pdf
PDF
Vector space interpretation_of_random_variables
PPT
Eigen values and eigen vectors engineering
notes.pdf
A Practical Approach To Linear Algebra Prabhat Choudhary
Linear vector space
Ch_12 Review of Matrices and Vectors (PPT).pdf
vector spaces algebras geometries
TN 112_Lecture_6_22nd_Jan_2025 (1).pptx g
Vector spaces
Linear algebra done right
vector-spaces-advanced.pptx
2 vectors notes
signal space analysis.ppt
Lecture-2 Vector Spaces-24 (1) linear algebra.pptx
Mathematical Economics 23lec03slides.pdf
Mathematical Economics 23lec03slides.pdf
Mathematical Economics 23lec03slides.pdf
Vector space, subspace, linear span .pptx
Linear-Algebra-Friedberg-Insel-Spence-4th-E.pdf
Vector space interpretation_of_random_variables
Eigen values and eigen vectors engineering

More from Dr Fereidoun Dejahang (20)

DOCX
27 j20 my news punch -dr f dejahang 27-01-2020
DOCX
28 dej my news punch rev 28-12-2019
DOCX
16 fd my news punch rev 16-12-2019
PPT
029 fast-tracking projects
PPT
028 fast-tracking projects & cost overrun
PPT
027 fast-tracked projects-materials
PPT
026 fast react-productivity improvement
PPT
025 enterprise resources management
PPT
022 b construction productivity-write
PPT
022 a construction productivity (2)
PPT
021 construction productivity (1)
PPTX
019 competencies-managers
PPT
018 company productivity
PPT
017 communication
PPT
016 communication in construction sector
PPTX
015 changes-process model
PPTX
014 changes-cost overrun measurement
PPTX
013 changes in construction projects
PPT
012 bussiness planning process
PPT
011 business performance management
27 j20 my news punch -dr f dejahang 27-01-2020
28 dej my news punch rev 28-12-2019
16 fd my news punch rev 16-12-2019
029 fast-tracking projects
028 fast-tracking projects & cost overrun
027 fast-tracked projects-materials
026 fast react-productivity improvement
025 enterprise resources management
022 b construction productivity-write
022 a construction productivity (2)
021 construction productivity (1)
019 competencies-managers
018 company productivity
017 communication
016 communication in construction sector
015 changes-process model
014 changes-cost overrun measurement
013 changes in construction projects
012 bussiness planning process
011 business performance management

Recently uploaded (20)

PDF
Anesthesia in Laparoscopic Surgery in India
PPTX
Institutional Correction lecture only . . .
PPTX
Cell Structure & Organelles in detailed.
PDF
The Lost Whites of Pakistan by Jahanzaib Mughal.pdf
PDF
Black Hat USA 2025 - Micro ICS Summit - ICS/OT Threat Landscape
PDF
ANTIBIOTICS.pptx.pdf………………… xxxxxxxxxxxxx
PPTX
GDM (1) (1).pptx small presentation for students
PDF
O7-L3 Supply Chain Operations - ICLT Program
PDF
Sports Quiz easy sports quiz sports quiz
PPTX
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...
PDF
Complications of Minimal Access Surgery at WLH
PDF
Computing-Curriculum for Schools in Ghana
PDF
Insiders guide to clinical Medicine.pdf
PPTX
Microbial diseases, their pathogenesis and prophylaxis
PDF
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
PDF
Classroom Observation Tools for Teachers
PDF
FourierSeries-QuestionsWithAnswers(Part-A).pdf
PDF
01-Introduction-to-Information-Management.pdf
PDF
Module 4: Burden of Disease Tutorial Slides S2 2025
PPTX
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
Anesthesia in Laparoscopic Surgery in India
Institutional Correction lecture only . . .
Cell Structure & Organelles in detailed.
The Lost Whites of Pakistan by Jahanzaib Mughal.pdf
Black Hat USA 2025 - Micro ICS Summit - ICS/OT Threat Landscape
ANTIBIOTICS.pptx.pdf………………… xxxxxxxxxxxxx
GDM (1) (1).pptx small presentation for students
O7-L3 Supply Chain Operations - ICLT Program
Sports Quiz easy sports quiz sports quiz
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...
Complications of Minimal Access Surgery at WLH
Computing-Curriculum for Schools in Ghana
Insiders guide to clinical Medicine.pdf
Microbial diseases, their pathogenesis and prophylaxis
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
Classroom Observation Tools for Teachers
FourierSeries-QuestionsWithAnswers(Part-A).pdf
01-Introduction-to-Information-Management.pdf
Module 4: Burden of Disease Tutorial Slides S2 2025
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...

1625 signal processing and representation theory

  • 2. Outline: • Algebra Review – Numbers – Groups – Vector Spaces – Inner Product Spaces – Orthogonal / Unitary Operators • Representation Theory
  • 3. Algebra Review Numbers (Reals) Real numbers, ℝ, are the set of numbers that we express in decimal notation, possibly with infinite, non-repeating, precision.
  • 4. Algebra Review Numbers (Reals) Example: π=3.141592653589793238462643383279502884197… Completeness: If a sequence of real numbers gets progressively “tighter” then it must converge to a real number. Size: The size of a real number a∈ℝ is the square root of its square norm: 2 aa =
  • 5. Algebra Review Numbers (Complexes) Complex numbers, , are the set of numbers that weℂ express as a+ib, where a,b∈ andℝ i= . Example: eiθ =cosθ+isinθ 1−
  • 6. Algebra Review Numbers (Complexes) Let p(x)=xn +an-1xn-1 +…+a1x1 +a0 be a polynomial with ai∈ .ℂ Algebraic Closure: p(x) must have a root, x0 in :ℂ p(x0)=0.
  • 7. Algebra Review Numbers (Complexes) Conjugate: The conjugate of a complex number a+ib is: Size: The size of a real number a+ib∈ℂ is the square root of its square norm: ibaiba −=+ 22 )()( baibaibaiba +=++=+
  • 8. Algebra Review Groups A group G is a set with a composition rule + that takes two elements of the set and returns another element, satisfying: – Asscociativity: (a+b)+c=a+(b+c) for all a,b,c∈G. – Identity: There exists an identity element 0∈G such that 0+a=a+0=a for all a∈G. – Inverse: For every a∈G there exists an element -a∈G such that a+(-a)=0. If the group satisfies a+b=b+a for all a,b∈G, then the group is called commutative or abelian.
  • 9. Algebra Review Groups Examples: – The integers, under addition, are a commutative group. – The positive real numbers, under multiplication, are a commutative group. – The set of complex numbers without 0, under multiplication, are a commutative group. – Real/complex invertible matrices, under multiplication are a non-commutative group. – The rotation matrices, under multiplication, are a non- commutative group. (Except in 2D when they are commutative)
  • 10. Algebra Review (Real) Vector Spaces A real vector space is a set of objects that can be added together and scaled by real numbers. Formally: A real vector space V is a commutative group with a scaling operator: (a,v)→av, a∈ ,ℝ v∈V, such that: 1. 1v=v for all v∈V. 2. a(v+w)=av+aw for all a∈ ,ℝ v,w∈V. 3. (a+b)v=av+bv for all a,b∈ ,ℝ v∈V. 4. (ab)v=a(bv) for all a,b∈ ,ℝ v∈V.
  • 11. Algebra Review (Real) Vector Spaces Examples: • The set of n-dimensional arrays with real coefficients is a vector space. • The set of mxn matrices with real entries is a vector space. • The sets of real-valued functions defined in 1D, 2D, 3D, … are all vector spaces. • The sets of real-valued functions defined on the circle, disk, sphere, ball,… are all vector spaces. • Etc.
  • 12. Algebra Review (Complex) Vector Spaces A complex vector space is a set of objects that can be added together and scaled by complex numbers. Formally: A complex vector space V is a commutative group with a scaling operator: (a,v)→av, a∈ ,ℂ v∈V, such that: 1. 1v=v for all v∈V. 2. a(v+w)=av+aw for all a∈ ,ℂ v,w∈V. 3. (a+b)v=av+bv for all a,b∈ ,ℂ v∈V. 4. (ab)v=a(bv) for all a,b∈ ,ℂ v∈V.
  • 13. Algebra Review (Complex) Vector Spaces Examples: • The set of n-dimensional arrays with complex coefficients is a vector space. • The set of mxn matrices with complex entries is a vector space. • The sets of complex-valued functions defined in 1D, 2D, 3D,… are all vector spaces. • The sets of complex-valued functions defined on the circle, disk, sphere, ball,… are all vector spaces. • Etc.
  • 14. Algebra Review (Real) Inner Product Spaces A real inner product space is a real vector space V with a mapping 〈V,V〉→ℝ that takes a pair of vectors and returns a real number, satisfying: 〈u,v+w〉= 〈u,v〉+ 〈u,w〉 for all u,v,w∈V. 〈αu,v〉=α〈u,v〉 for all u,v∈V and all α∈ℝ. 〈u,v〉= 〈v,u〉 for all u,v∈V. 〈v,v〉≥0 for all v∈V, and 〈v,v〉=0 if and only if v=0.
  • 15. Algebra Review (Real) Inner Product Spaces Examples: – The space of n-dimensional arrays with real coefficients is an inner product space. If v=(v1,…,vn) and w=(w1,…,wn) then: 〈v,w〉=v1w1+…+vnwn – If M is a symmetric matrix (M=Mt ) whose eigen- values are all positive, then the space of n- dimensional arrays with real coefficients is an inner product space. If v=(v1,…,vn) and w=(w1,…,wn) then: 〈v,w〉M=vMwt
  • 16. Algebra Review (Real) Inner Product Spaces Examples: – The space of mxn matrices with real coefficients is an inner product space. If M and N are two mxn matrices then: 〈M,N〉=Trace(Mt N)
  • 17. Algebra Review (Real) Inner Product Spaces Examples: – The spaces of real-valued functions defined in 1D, 2D, 3D,… are real inner product space. If f and g are two functions in 1D, then: – The spaces of real-valued functions defined on the circle, disk, sphere, ball,… are real inner product spaces. If f and g are two functions defined on the circle, then: ∫ ∞ ∞− = dxxgxfgf )()(, ∫= π θθθ 2 0 )()(, dgfgf
  • 18. Algebra Review (Complex) Inner Product Spaces A complex inner product space is a complex vector space V with a mapping 〈V,V〉→ℂ that takes a pair of vectors and returns a complex number, satisfying: 〈u,v+w〉= 〈u,v〉+ 〈u,w〉 for all u,v,w∈V. 〈αu,v〉=α〈u,v〉 for all u,v∈V and all α∈ℝ. – for all u,v∈V. 〈v,v〉≥0 for all v∈V, and 〈v,v〉=0 if and only if v=0. uv,vu, =
  • 19. Algebra Review (Complex) Inner Product Spaces Examples: – The space of n-dimensional arrays with complex coefficients is an inner product space. If v=(v1,…,vn) and w=(w1,…,wn) then: – If M is a conjugate symmetric matrix ( ) whose eigen-values are all positive, then the space of n- dimensional arrays with complex coefficients is an inner product space. If v=(v1,…,vn) and w=(w1,…,wn) then: 〈v,w〉M=vMwt nn11 wv...wvwv, ++= t MM =
  • 20. Algebra Review (Complex) Inner Product Spaces Examples: – The space of mxn matrices with real coefficients is an inner product space. If M and N are two mxn matrices then: ( )NMNM, t Trace=
  • 21. Algebra Review (Complex) Inner Product Spaces Examples: – The spaces of complex-valued functions defined in 1D, 2D, 3D,… are real inner product space. If f and g are two functions in 1D, then: – The spaces of real-valued functions defined on the circle, disk, sphere, ball,… are real inner product spaces. If f and g are two functions defined on the circle, then: ∫ ∞ ∞− = dxxgxfgf )()(, ∫= π θθθ 2 0 )()(, dgfgf
  • 22. Algebra Review Inner Product Spaces If V1,V2⊂V, then V is the direct sum of subspaces V1, V2, written V=V1⊕V2, if: – Every vector v∈V can be written uniquely as: for some vectors v1∈V1 and v2∈V2. 21 vvv +=
  • 23. Algebra Review Inner Product Spaces Example: If V is the vector space of 4-dimensional arrays, then V is the direct sum of the vector spaces V1,V2⊂V where: – V1=(x1,x2,0,0) – V2=(0,0,x3,x4)
  • 24. Algebra Review Orthogonal / Unitary Operators If V is a real / complex inner product space, then a linear map A:V→V is orthogonal / unitary if it preserves the inner product: 〈v,w〉= 〈Av,Aw〉 for all v,w∈V.
  • 25. Algebra Review Orthogonal / Unitary Operators Examples: – If V is the space of real, two-dimensional, vectors and A is any rotation or reflection, then A is orthogonal. A= v2 v1 A(v2) A(v1)
  • 26. Algebra Review Orthogonal / Unitary Operators Examples: – If V is the space of real, three-dimensional, vectors and A is any rotation or reflection, then A is orthogonal. A=
  • 27. Algebra Review Orthogonal / Unitary Operators Examples: – If V is the space of functions defined in 1D and A is any translation, then A is orthogonal. A=
  • 28. Algebra Review Orthogonal / Unitary Operators Examples: – If V is the space of functions defined on a circle and A is any rotation or reflection, then A is orthogonal. A=
  • 29. Algebra Review Orthogonal / Unitary Operators Examples: – If V is the space of functions defined on a sphere and A is any rotation or reflection, then A is orthogonal. A=
  • 30. Outline: • Algebra Review • Representation Theory – Orthogonal / Unitary Representations – Irreducible Representations – Why Do We Care?
  • 31. Representation Theory Orthogonal / Unitary Representation An orthogonal / unitary representation of a group G onto an inner product space V is a map Φ that sends every element of G to an orthogonal / unitary transformation, subject to the conditions: 1. Φ(0)v=v, for all v∈V, where 0 is the identity element. 2. Φ(gh)v=Φ(g) Φ(h)v
  • 32. Representation Theory Orthogonal / Unitary Representation Examples: – If G is any group and V is any vector space, then: is an orthogonal / unitary representation. – If G is the group of rotations and reflections and V is any vector space, then: is an orthogonal / unitary representation. vvg =Φ )( vgvg )det()( =Φ
  • 33. Representation Theory Orthogonal / Unitary Representation Examples: – If G is the group of nxn orthogonal / unitary matrices, and V is the space of n-dimensional arrays, then: is an orthogonal / unitary representation. ( )vgvg =Φ )(
  • 34. Representation Theory Orthogonal / Unitary Representation Examples: – If G is the group of 2x2 rotation matrices, and V is the vector space of 4-dimensional real / complex arrays, then: is an orthogonal / unitary representation. ( ) ( )),(),,(,,,)( 43214321 xxgxxgxxxxg =Φ
  • 35. Representation Theory Irreducible Representations A representation Φ, of a group G onto a vector space V is irreducible if cannot be broken up into smaller representation spaces. That is, if there exist W⊂V such that: Φ(G)W⊂W Then either W=V or W=∅.
  • 36. Representation Theory Irreducible Representations If W⊂V is a sub-representation of G, and W⊥ is the space of vectors perpendicular to W: 〈v,w〉=0 for all v∈W⊥ and w∈W, then V=W⊕W⊥ and W⊥ is also a sub-representation of V. For any g∈G, v∈W⊥ , and w∈W, we have: So if a representation is reducible, it can be broken up into the direct sum of two sub-representations. ( ) ( ) ( ) ( ) ( ) wvgwggvgwgv ,,,0 11 ΦΦΦΦ=Φ= −−
  • 37. Representation Theory Irreducible Representations Examples: – If G is any group and V is any vector space with dimension larger than one, then: is not an irreducible representation. vvg =Φ )(
  • 38. Representation Theory Irreducible Representations Examples: – If G is the group of 2x2 rotation matrices, and V is the vector space of 4-dimensional real / complex arrays, then: is not an irreducible representation since it maps the space W=(x1,x2,0,0) back into itself. ( ) ( )),(),,(,,,)( 43214321 xxgxxgxxxxg =Φ
  • 40. Representation Theory Why we care In shape matching we have to deal with the fact that rotations do not change the shape of a model. =
  • 41. Representation Theory Exhaustive Search If vM is a spherical function representing model M and vn is a spherical function representing model N, we want to find the minimum over all rotations T of the equation: ( ) ( )NMNM NMNM vTvvv vTvvvT ,2 ),,( 22 2 −+= −=D
  • 42. Representation Theory Exhaustive Search If V is the space of spherical functions then we can consider the representation of the group of rotations on this space. By decomposing V into a direct sum of its irreducible representations, we get a better framework for finding the best rotation.
  • 43. Representation Theory Exhaustive Search (Brute Force) Suppose that {v1,…,vn} is some orthogonal basis for V, then we can express the shape descriptors in terms of this basis: vM=a1v1+…+anvn vN=b1v1+…+bnvn
  • 44. Representation Theory Exhaustive Search (Brute Force) Then the dot-product of M and N at a rotation T is equal to: ( ) ( ) ( )∑ ∑∑ ∑∑ = == == = =         = n ji jiji n j jj n i ii n j jj n i iiNM vTvba vTbva vbTvavTv 1, 11 11 , , ,,
  • 45. ( ) ( )∑= = n ji jijiNM vTvbavTv 1, ,, Representation Theory Exhaustive Search (Brute Force) So that the nxn cross-multiplications are needed: T(vn) vM v1 v2 vn = + + + T(v1) = + + + T(v2) T(vN) … …
  • 46. Representation Theory Exhaustive Search (w/ Rep. Theory) Now suppose that we can decompose V into a collection of one-dimensional representations. That is, there exists an orthogonal basis {w1,…,wn} of functions such that T(wi)∈wiℂ for all rotations T and hence: 〈wi,T(wj)〉=0 for all i≠j.
  • 47. Representation Theory Exhaustive Search (w/ Rep. Theory) Then we can express the shape descriptors in terms of this basis: vM=α1w1+…+αnwn vN=β1w1+…+βnwn
  • 48. Representation Theory Exhaustive Search (w/ Rep. Theory) And the dot-product of M and N at a rotation T is equal to: ( ) ( ) ( ) ( )∑ ∑ ∑∑ ∑∑ = = == == = = =         = n i iiii n ji jiji n j jj n i ii n j jj n i iiNM wTw wTw wTw wTwvTv 1 1, 11 11 , , , ,, βα βα βα βα
  • 49. ( ) ( )∑= = n i iiiiNM wTwvTv 1 ,, βα Representation Theory Exhaustive Search (w/ Rep. Theory) So that only n multiplications are needed: T(wn) vM w1 w2 wn = + + + T(w1) = + + + T(w2) T(vN) … …