a fresh look at the bayes theorem from information theory
play

A Fresh Look at the Bayes Theorem from Information Theory Tan - PowerPoint PPT Presentation

A Fresh Look at the Bayes Theorem from Information Theory Tan Bui-Thanh Computational Engineering and Optimization (CEO) Group Department of Aerospace Engineering and Engineering Mechanics Institute for Computational Engineering and Sciences


  1. A Fresh Look at the Bayes’ Theorem from Information Theory Tan Bui-Thanh Computational Engineering and Optimization (CEO) Group Department of Aerospace Engineering and Engineering Mechanics Institute for Computational Engineering and Sciences (ICES) The University of Texas at Austin Babuska Series, ICES Sep 9, 2016 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 1 / 28

  2. Outline Bayesian Inversion Framework 1 Entropy 2 Relative Entropy 3 Bayes’ Theorem and Information Theory 4 Conclusions 5 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 2 / 28

  3. Large-scale computation under uncertainty Inverse electromagnetic scattering Randomness Random errors in measurements are unavoidable Inadequacy of the mathematical model (Maxwell equations) Challenge How to invert for the invisible shape/medium using computational � 10 6 � electromagnetics with O degree of freedoms? (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 3 / 28

  4. Large-scale computation under uncertainty Full wave form seismic inversion Randomness Random errors in seismometer measurements are unavoidable Inadequacy of the mathematical model (elastodynamics) Challenge How to image the earth interior using forward computational model with � 10 9 � with O degree of freedoms? (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 4 / 28

  5. Inverse Shape Electromagnetic Scattering Problem Maxwell Equations: r ⇥ E = � µ @ H @ t , (Faraday) r ⇥ H = ✏@ E @ t , (Ampere) E : Electric field, H : Magnetic field, µ : permeability, ✏ : permittivity (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 5 / 28

  6. Inverse Shape Electromagnetic Scattering Problem Maxwell Equations: r ⇥ E = � µ @ H @ t , (Faraday) r ⇥ H = ✏@ E @ t , (Ampere) E : Electric field, H : Magnetic field, µ : permeability, ✏ : permittivity Forward problem (discontinuous Galerkin discretization) d = G ( x ) where G maps shape parameters x to electric/magnetic field d at the measurement points (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 5 / 28

  7. Inverse Shape Electromagnetic Scattering Problem Maxwell Equations: r ⇥ E = � µ @ H @ t , (Faraday) r ⇥ H = ✏@ E @ t , (Ampere) E : Electric field, H : Magnetic field, µ : permeability, ✏ : permittivity Forward problem (discontinuous Galerkin discretization) d = G ( x ) where G maps shape parameters x to electric/magnetic field d at the measurement points Inverse Problem Given (possibly noise-corrupted) measurements on d , infer x ? (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 5 / 28

  8. The Bayesian Statistical Inversion Framework (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 6 / 28

  9. The Bayesian Statistical Inversion Framework (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 6 / 28

  10. The Bayesian Statistical Inversion Framework Bayes Theorem ⇡ post ( x | d ) / ⇡ like ( d | x ) ⇥ ⇡ prior ( x ) (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 6 / 28

  11. Bayes theorem for inverse electromagnetic scattering Prior knowledge: The obstacle is smooth: Z 2 π ✓ ◆ ⇡ pr ( x ) / exp � � r 00 ( x ) d ✓ 0 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 7 / 28

  12. Bayes theorem for inverse electromagnetic scattering Prior knowledge: The obstacle is smooth: Z 2 π ✓ ◆ ⇡ pr ( x ) / exp � � r 00 ( x ) d ✓ 0 Likelihood: Additive Gaussian noise, for example, ✓ ◆ � 1 2 k G ( x ) � d k 2 ⇡ like ( d | x ) / exp C noise (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 7 / 28

  13. Outline Bayesian Inversion Framework 1 Entropy 2 Relative Entropy 3 Bayes’ Theorem and Information Theory 4 Conclusions 5 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 8 / 28

  14. Entropy Definition We define the uncertainty in a random variable X distributed by 0  ⇡ ( x )  1 as Z H ( X ) = � ⇡ ( x ) log ⇡ ( x ) dx � 0 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 9 / 28

  15. Entropy (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 10 / 28

  16. Entropy Wiener and Shannon Kolmogorov Copied from Sergio Verdu (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 10 / 28

  17. Entropy Wiener and Shannon Kolmogorov Copied from Sergio Verdu Wiener: “...for it belongs to the two of us equally” (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 10 / 28

  18. Entropy Wiener and Shannon Kolmogorov Copied from Sergio Verdu Wiener: “...for it belongs to the two of us equally” Shannon: “...a mathematical pun” (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 10 / 28

  19. Entropy Wiener and Shannon Kolmogorov Copied from Sergio Verdu Wiener: “...for it belongs to the two of us equally” Shannon: “...a mathematical pun” Kolmogorov: “...has no physical interpretation” (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 10 / 28

  20. Entropy Entropy of uniform distribution (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 11 / 28

  21. Entropy Entropy of uniform distribution Let U be a uniform random variable with values in X , and | X | < 1 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 11 / 28

  22. Entropy Entropy of uniform distribution Let U be a uniform random variable with values in X , and | X | < 1 ⇡ ( u ) := 1 | X | ) H ( U ) = log ( | X | ) (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 11 / 28

  23. Entropy Entropy of uniform distribution Let U be a uniform random variable with values in X , and | X | < 1 ⇡ ( u ) := 1 | X | ) H ( U ) = log ( | X | ) How uncertain is the uniform random variable? (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 11 / 28

  24. Entropy Entropy of uniform distribution Let U be a uniform random variable with values in X , and | X | < 1 ⇡ ( u ) := 1 | X | ) H ( U ) = log ( | X | ) How uncertain is the uniform random variable? H ( X )  H ( U ) (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 11 / 28

  25. 100 years of uniform distribution source: Christoph Aistleitner (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 12 / 28

  26. 100 years of uniform distribution source: Christoph Aistleitner Hermann Weyl (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 12 / 28

  27. and Maximum entropy Maximum entropy distribution X with known mean and variance (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 13 / 28

  28. and Maximum entropy Maximum entropy distribution X with known mean and variance ⇡ ( x )? with maximum entropy (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 13 / 28

  29. and Maximum entropy Maximum entropy distribution X with known mean and variance ⇡ ( x )? with maximum entropy Z max π ( x ) H ( X ) = � ⇡ ( x ) log( ⇡ ( x )) dx subject to Z x ⇡ ( x ) dx = µ Z ( x � µ ) 2 ⇡ ( x ) dx = � 2 Z ⇡ ( x ) dx = 1 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 13 / 28

  30. Gaussian and Maximum entropy Maximum entropy distribution X with known mean and variance ⇡ ( x )? with maximum entropy Z max π ( x ) H ( X ) = � ⇡ ( x ) log( ⇡ ( x )) dx subject to Z x ⇡ ( x ) dx = µ Z ( x � µ ) 2 ⇡ ( x ) dx = � 2 Z ⇡ ( x ) dx = 1 � µ, � 2 � Gaussian distribution: ⇡ ( x ) = N (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 13 / 28

  31. Outline Bayesian Inversion Framework 1 Entropy 2 Relative Entropy 3 Bayes’ Theorem and Information Theory 4 Conclusions 5 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 14 / 28

  32. Relative Entropy Abraham Wald (1945) Harold Je ff reys (1945) Z ✓ ⇡ ( x ) ◆ D ( ⇡ || q ) := ⇡ ( x ) log dx q ( x ) (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 15 / 28

  33. Kullback-Leibler divergence = Relative Entropy Solomon Kullback Richard Leibler (1951) (1951) ✓ ⇡ ( x ) ◆ Z D ( ⇡ || q ) := ⇡ ( x ) log dx q ( x ) (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 16 / 28

  34. Kullback-Leibler divergence = Relative Entropy Solomon Kullback Richard Leibler (1951) (1951) ✓ ⇡ ( x ) ◆ ✓ ⇡ i ◆ Z X dx discrete D ( ⇡ || q ) := ⇡ ( x ) log = ⇡ i log q ( x ) q i (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 16 / 28

  35. Information Inequality The most important inequality in information theory D ( ⇡ || q ) � 0 Can we see it easily? (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 17 / 28

  36. Information Inequality The most important inequality in information theory D ( ⇡ || q ) � 0 Can we see it easily? (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 17 / 28

  37. Outline Bayesian Inversion Framework 1 Entropy 2 Relative Entropy 3 Bayes’ Theorem and Information Theory 4 Conclusions 5 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 18 / 28

  38. From Relative Entropy to Bayes’ Theorem Toss n times an k th dimensional dice with the prior distribution of k X each face { p i } k i =1 : p i = 1 i =1 (CEO Group UT Austin) Bayes’ Theorem Bayesian Inversions 19 / 28

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend