Download presentation

Presentation is loading. Please wait.

Published byTyrone Batty Modified over 2 years ago

1
euler calculus for data focm : budapest : july : 2011 robert ghrist andrea mitchell university professor of mathematics & electrical/systems engineering the university of pennsylvania

2
motivation

3
tools

4
∫ h d χ geometry probability topology networks kashiwara macpherson schapira viro blaschke hadwiger rota chen adler taylor euler calculus

5
χ = Σ (-1) k # { k-cells } k χ = 7 χ = 3 χ = 2 χ = 3 = Σ (-1) k rank k ingredient #1: χ HkHk HcHc k χ (AuB) = χ (A)+ χ (B) – χ (A B) u

6
results fix category of “tame” or “definable” sets (semialgebraic, subanalytic, …) all functions in CF(X) are of the form h = Σ c i 1 U i for U i definable all definable sets are triangulable & have a well-defined euler characteristic ingredient #2: CF(X) CF(X) = Z-valued functions whose level sets are locally finite and definable

7
explicit definition: euler integral ∫ h d χ = ∫ ( Σ c i 1 U i ) d χ = Σ ( c i ∫ 1 U i ) d χ = Σ c i χ (U i ) integration: explicit χ (AuB) = χ (A)+ χ (B) – χ (A B) u the integral is independent of how the integrand is decomposed… …thanks to mayer-vietoris

8
integration: implicit [schapira; via kashiwara, macpherson, 1970’s] the right-derived direct image on CF is the correct way to understand d χ F*F* in the case where Y is a point, CF(Y)=Z, and the pushforward is a homomorphism from CF(X) to Z which respects all the gluings implicit in sheaves... XY CF(X)CF(Y) F X pt CF(X)CF( pt )=Z ∫ d χ corollary: [schapira, viro; 1980’s] fubini theorem F*F* XY CF(X)CF(Y) F pt CF( pt )=Z ∫ d χ

9
a network of “anonymous” sensors returns target counts without IDs = 0= 1= 2= 3= 4 problem

10

11
theorem: [BG] assuming target supports with uniform χ (U i )=N # targets = ( 1/N ) ∫ X h d χ ∫ h d χ = ∫ ( Σ 1 U i ) d χ = Σ ( ∫ 1 U i d χ ) = Σ χ (U i ) = N # i let W = “target space” = space where finite # of targets live let X = “sensor space” = space which parameterizes sensors target i is detected on a target support U i in X sensor field on X returns h(x) = #{ i : x lies in U i } h:X → Z 2 N ≠ 0 enumeration

12
integrals with respect to d χ are computable via ∫ h d χ = Σ s χ ({ h=s }) s=0 ∞ = Σ χ ({ h>s })- χ ({ h<-s }) s=0 ∞ level set upper excursion set computation

13
h>3 : χ = 2 h>2 : χ = 3 h>1 : χ = 3 h>0 : χ = -1 net integral = = 7 = Σ χ { h(x)>s } s=0 ∞ ∫ h d χ example

14
numerical integration

15

16
theorem: [BG] if the upper semicontinuous function h:R 2 → N is sampled over a network in a way that correctly samples the connectivity of upper and lower excursion sets, then the exact value of the euler integral is Σ( #comp{ h≥s } - #comp{ h~~
{
"@context": "http://schema.org",
"@type": "ImageObject",
"contentUrl": "http://images.slideplayer.com/2401909/9/slides/slide_15.jpg",
"name": "theorem: [BG] if the upper semicontinuous function h:R 2 → N is sampled over a network in a way that correctly samples the connectivity of upper and lower excursion sets, then the exact value of the euler integral is Σ( #comp{ h≥s } - #comp{ h~~~~
~~

17
prop: [BG] if a sum of characteristic functions of convex annuli in general position in the plane is sampled over a sufficiently dense lattice, then #annuli = ½ ∫ theother ∫ oneway h d χ d χ this takes advantage of the errors implicit in numerical integration & fubini w / yuliy baryshnikov exploiting numerical error

18
integral transforms

19
W X S ∫ X h d χ = N ∫ W 1 T d χ = N #T h = integral transform of 1 T the topological radon transform R S : CF(W) CF(X) R S (R S h) = (μ – λ)h + λ1 W ∫ h d χ theorem: [schapira] if fibers of S are regular, then R S is self-invertible radon transform

20
the microlocal fourier(-sato) transform MF : CF(R n ) CF(R n ) ∫ S n-1 ∫ MF(h)(x,ξ) d χ (x) dξ = vol(S n-1 ) ∫ h d χ theorem: [cf. brocker-kuppe] averaging the MF over ξ yields corollary: for X definable in R n the ξ - average of MF(1 X ) is microlocal fourier transform χ (X) = ∫ S n-1 ∫ MF(1 X )(x,ξ) d χ (x) dξ vol(S n-1 ) 1 x ξ ∫X dκ∫X dκ [gauss-bonnet] MF(h)(x,ξ) = lim ∫ 1 ξ ● (x-y)≥0 h(y) d χ (y) B(ε,x) ε → 0 +

21
toward numerical analysis…

22
it’s helpful to have a well-defined integration theory for R-valued integrands: Def(X) = R-valued functions whose graphs are “tame” (definable) a riemann-sum definition ∫ h d χ = lim 1/n ∫ nh d χ ∫ h d χ = lim 1/n ∫ nh d χ real-valued integrands ≠ w / yuliy baryshnikov

23
if h is affine on an open simplex σ, then ∫ h d χ = χ (σ) inf h ∫ h d χ = χ (σ) sup h h lemma real-valued integrands ∫ x d χ + ∫ 1-x d χ (0,1) =0 + 0 ∫ 1 d χ (0,1) = –1 ∫ d χ nonlinear fubini fails however… w / yuliy baryshnikov there is a strong connection to morse theory…

24
intuition: the two measures correspond to the stratified morse indices of the graph of h:X→R with respect to two graph axis directions… ∫ h d χ = ∫ h Ind ↑ (h) d χ theorem: [BG] for h in Def(X) ∩ C(X) ∫ h d χ = ∫ h Ind ↓ (h) d χ morse interpretation Ind ↑, Ind ↓ : Def(X)→CF(X) Ind ↑ (h)(x) = lim χ ( B ε (x) ∩ {h

25
intuition: the two measures correspond to the stratified morse indices of h or -h ∫ h d χ = ∫ h LMDI(-h) d χ theorem: [BG] for h in Def(X) ∩ C(X) ∫ h d χ = ∫ h LMDI(h) d χ morse interpretation LMDI : Def(X)→CF(X) LMDI(h)(x) = lim χ ( B ε (x) ∩ {h>h(x) – ε’ } ) ε’<< ε → 0 + w / yuliy baryshnikov

26
∫ h d χ = Σ h(p) (-1) n- μ (p) crit(h) = Σ h(p) (-1) μ (p) crit(h) ∫ h d χ corollary: [BG] if h : X → R is morse on an n-manifold, then morse interpretation corollary: [BG] if h is univariate, then ∫ h d χ = totvar(h)/2 = – ∫ h d χ w / yuliy baryshnikov ∫ h d χ = 1+1-c

27
integral transforms

28
euler-fourier transform

29
euler-bessel transform

30
the euler-bessel transform B: CF(R n ) Def(R n ) Bh(x) = ∫ ∫ d(x,y)=s h(y) d χ ds 0 ∞ B1 A (x)= ∫ ∂A+ d x d χ - ∫ ∂A- d x d χ theorem: [GR] for A codimension-0 submanifold (w/corners) B1 A (x)= ∫ ∂A d x d χ cor: in even dimensions, this yields an index theory for computing B euler-bessel transform w / michael robinson

31
the euler-bessel transform B: CF(R n ) Def(R n ) Bh(x) = ∫ ∫ d(x,y)=s h(y) d χ ds 0 ∞ euler-bessel transform w / michael robinson = ∫ ∫ h(y) ds d χ 0 ∞ this yields index-theoretic formulae for fast computation of the transform

32
shape discrimination an L 2 bessel transform detects circular targets from anonymous counts w / michael robinson

33
shape discrimination an L ∞ bessel transform + SVA detects square targets up to rotation w / michael robinson

34
concluding postscript…

35
w / yasu hiraoka network coding sheaves w / michael robinson 0 → H 0 (X,A;S) → H 0 (X;S) → H 0 (A;S) → H 1 (X,A;S) → H 1 (X;S) → sheaf cohomology → global information flows for a network flow sheaf S on X with cut A, H 1 (X,A;S) is the obstruction to max-cut/min-flow constructible sheaves data enable output network switching sheaves

36
applied topology

37
closing credits… research sponsored by professional support a.j. friend, stanford university of pennsylvania andrea mitchell darpa (stomp program) air force office of scientific research office of naval research primary collaboratorsyuliy baryshnikov, univ. illinois java codedavid lipsky, penn naveen kasthuri, penn michael robinson, penn david lipsky, penn

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google