36
Pattern Theory and Its Applications Rudolf Kulhavý Institute of Information Theory and Automation Academy of Sciences of the Czech Republic, Prague

Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

Embed Size (px)

Citation preview

Page 1: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

Pattern Theory and Its Applications

Rudolf KulhavýInstitute of Information Theory and AutomationAcademy of Sciences of the Czech Republic, Prague

Page 2: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

2

Ulf Grenander

A Swedish mathematician, since 1966 with Division of Applied Mathematics at Brown UniversityHighly influential research in time series analysis, probability on algebraic structures, pattern recognition, and image analysis.The founder of Pattern Theory1976, 1978, 1981: Lectures in Pattern Theory1993: General Pattern Theory1996: Elements of Pattern Theory2007: Pattern Theory

Page 3: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

3

See initial chapters for good introduction

Ulf Grenander Michael Miller

Further referred to as [PT07]

Page 4: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

4

Agenda

1. Intuitive concepts

2. General pattern theory

3. Illustrative applications

4. Takeaway points

Page 5: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

5

Why should one pay attention?

Pattern Theory is a mathematical representation of objects with large and incompressible complexity in terms of atom-like blocks and bonds between them, similar to chemical structures.1

Pattern Theory gives an algebraic framework for describing patterns as structures regulated by rules, both local and global. Probability measures are sometimes superimposed on the image algebras to account for variability of the patterns.2

1 Yuri Tarnopolsky, Molecules and Thoughts, 20032 Ulf Grenander and Michael I. Miller, Representations of knowledge in complex systems, 1994.

Page 6: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

6

Board game analogy

Game board

Page 7: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

7

Board game analogy

Game boardGame stones

Page 8: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

8

Board game analogy

Game boardGame stonesGame situations

Page 9: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

9

Board game analogy

Game boardGame stonesGame situationsGame rulesWhich situations - are allowed?- are likely?

Page 10: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

10

Sample "games"

Molecular geometryChemical structuresBiological shapes and anatomiesPixelated images and digital videosVisual scene representationFormal languages and grammarsEconomies and marketsHuman organizationsSocial networksProtein foldingHistoric eventsThoughts, ideas, theories …

Page 11: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

11

Agenda

1. Intuitive concepts

2. General pattern theory

3. Illustrative applications

4. Takeaway points

Page 12: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

12

Configurations

Connector graph

Generators

Bonds

Configurations

Page 13: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

13

Typical connector typesSource: [PT07]

Page 14: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

14

Strict regularity

Bond function

Regular configuration

Space of regular configurations

Single graph

Multiple graphs

Page 15: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

15

Example: Mitochondria shape

Generators

Bonds

Regularity conditions

Source: [PT07]

Page 16: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

16

Weak regularity

Probability of configuration

Normalization What’s the motivation behind this

form?

Matching bonds

Page 17: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

17

Markov random field

A set of random variables, X, indexed over is a Markov random field on a graph if

1.

2.

Neighborhood

for all

for each

Two sites are neighborsif connected by an edge in the connector graph.

Page 18: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

18

Gibbs distribution

Gibbs distribution

Energy function

Clique potentials

A set of sites forms a clique if every two distinct sites in the set are neighbors.

A systemof cliques

Normalizationconstant

Only sitesin the clique

Page 19: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

19

Hammersley-Clifford theorem

Markov random field

Gibbs distribution

for all

for each

Equivalentproperties

Page 20: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

20

Canonical representation

Pairwisegeneratorcliques are

enough

Source: [PT07]

Page 21: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

21

Weak regularity

Gibbs distribution

Normalization

Pairwise potentials

Energy function

Page 22: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

22

Board game analogy

Connector graph

~ Game board

Generators and bonds

~ Game stones

Regularity conditions

~ Game rules

Regular configurations

~ Permitted game situations

~ Likely game situations

Page 23: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

23

Images and deformed images

Identification rule

Image algebra (quotient space)

Image (equiv. class)

Deformed image

The concept of imageformalizes the idea of

an observable

Think of 3D scene by means of 2D

images

Page 24: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

24

Patterns

Similarity group

Pattern family (quotient space)

Patterns are thought of asimages modulo the invariancesrepresented by the similaritygroup

"Square" pattern

"Rectangle" pattern

Page 25: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

25

Bayesian inference

Bayes rule

Numerical implementation– Markov chain Monte Carlo methods

Gibbs samplerLangevin samplerJump-diffusion dynamics

– Mean field approximation– Renormalization group

Page 26: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

26

Agenda

1. Intuitive concepts

2. General pattern theory

3. Illustrative applications

4. Takeaway points

Page 27: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

27

Energy of configuration

Probability of configuration

Ising model

+1 for positive spin–1 for negative spin

>0 if attractive<0 if repulsive Property of material, >0

External magnetic field

Universal constantTemperature

Normalizing constant

A row of binary elements

Neighbors

Configurations that require high energy

are less likely

Configurations that require high energy

are less likely

Configur-ation

Page 28: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

28

Pixelated image model

Black-and-white image

Energy of configuration given a noisy image

Probability of configuration

s, t : sitess~t : neighborsgs : original image pixelsIs : noisy image pixels

Smoothing factor, >0 +1 for black–1 for white

Neighbors

Page 29: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

29

N

N

II

I

I

I

L

L

L

LL

LP

P

PP

Market network model

ActorsConsumer (C)Producer (P)Labor (L)Investor (I)Nature (N)

ExchangesConsumers’ goodsor goods of the 1st order

Producers’ goods or goods of higher orderor factors of production

P

C

C

C

Page 30: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

30

Sample markets

Page 31: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

31

Phrase structure grammarsSource: [PT07]

Page 32: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

32

MRI images

Template

Transformed templates Target sections

Whole brain maps in the macaque monkey

Source: Ulf Grenander and Michael I. Miller, Computational anatomy: an emerging discipline, 1996

Page 33: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

33

Agenda

1. Intuitive concepts

2. General pattern theory

3. Illustrative applications

4. Takeaway points

Page 34: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

34

When to think of Pattern Theory

Representations of complex systems composed of atomic blocks interacting locallyRepresentations that accommodate structure and variability simultaneouslyTypical applications include– Speech recognition– Computational linguistics– Image analysis– Computer vision– Target recognition

Page 35: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

35

Further reading

Julian Besag, Spatial interaction and the statistical analysis of lattice systems. Journal of the Royal Statistical Society, Series B, Vol. 36, No. 2, pp. 192-236, 1974.David Griffeath, Introduction to random fields, in J.G. Kemeny, J. L. Snell and A. W. Knapp, Denumerable Markov Chains, 2nd ed., Springer-Verlag, New York, 1976.Ross Kindermann and J. Laurie Snell, Markov Random Fields and Their Applications. American Mathematical Society, Providence, RI, 1980.Stuart Geman and Donald Geman, Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images. IEEE Trans. on Pattern Analysis and Machine Intelligence, Vol. 6, No. 6, pp. 721-741, 1984.Ulf Grenander and Michael I. Miller, Representations of knowledge in complex systems. Journal of the Royal Statistical Society, Series B, Vol. 56, No. 4, pp. 549-603, 1994.

Page 36: Pattern Theory and Its Applications - Welcome to UTIAstaff.utia.cas.cz/kulhavy/phd09s.pdf · Mathematics at Brown University ... Hammersley-Clifford theorem ... IEEE Trans. on Pattern

36

Further reading (contd.)

Gerhard Winkler, Image Analysis, Random Fields and Dynamic Monte Carlo Methods: A Mathematical Introduction, Springer-Verlag, Berlin, 1995.Ulf Grenander, Geometries of knowledge, Proceedings of the National Academy of Sciences of the USA, vol. 94, pp. 783-789, 1997.Anuj Srivastava et al., Monte Carlo techniques for automated pattern recognition. In A. Doucet, N. de Freitasand N. Gordon (eds.), Sequential Monte Carlo Methods in Practice, Springer-Verlag, Berlin, 2001.David Mumford, Pattern theory: the mathematics of perception. Proceedings of the International Congress of Mathematicians, Beijing, 2002.Ulf Grenander and Michael I. Miller, Pattern Theory from Representation to Inference, Oxford University Press, 2007.Yuri Tarnopolsky, Introduction to Pattern Chemistry, URL: http://spirospero.net, 2009.