tractable semi algebraic approximation using christoffel
play

Tractable semi-algebraic approximation using Christoffel-Darboux - PowerPoint PPT Presentation

Tractable semi-algebraic approximation using Christoffel-Darboux kernel Didier HENRION IWOTA - Lisbon - July 2019 arXiv:1904.01833 Joint work with Swann Edouard Tillmann Jean Bernard Marx Pauwels Weisser Lasserre Partly funded by ERC


  1. Tractable semi-algebraic approximation using Christoffel-Darboux kernel Didier HENRION IWOTA - Lisbon - July 2019 arXiv:1904.01833

  2. Joint work with Swann Edouard Tillmann Jean Bernard Marx Pauwels Weisser Lasserre Partly funded by ERC and GAˇ CR

  3. Consider the classical Burgers PDE ∂y 2 ( t, x ) ∂y ( t, x ) + 1 = 0 , ∀ t ∈ [0 , 1] , ∀ x ∈ [ − 1 , 1] ∂t 4 ∂x with the following discontinuous initial condition � 1 if x < 0 y (0 , x ) = 0 if x > 0 In the talk by Swann Marx, we saw that solving this nonlinear PDE amounts to solving a linear moment problem Numerically we rely on the Lasserre moment-SOS hierarchy and convex optimization

  4. The unique analytical solution is if x < t � 1 4 y ( t, x ) = if x > t 0 4 i.e. the discontinuity propagates linearly Solving the moment problem up to degree 12 with our interface GloptiPoly for Matlab and the semidefinite programming solver MOSEK, we end up with the following moments: � y k dµ t,x ( y ) dx dt ) k =0 , 1 ,... = (1 . 0000 , 0 . 6250 , 0 . 6250 , 0 . 6250 , 0 . 6250 , . . . ) ( which correspond (up to numerical accuracy) exactly with the moments of the analytic solution dµ t,x = δ y ( t,x )

  5. How do we compute the graph from the moments ?

  6. Let f : X → Y �→ y x be a bounded measurable function from a given compact set X ⊂ R p − 1 to a given compact set Y ⊂ R Given a vector of polynomials b ( x , y ) of total degree d , let � X b ( x , f ( x )) b ( x , f ( x )) ⊤ d x be the moment matrix of order d supported on the graph { ( x , f ( x )) : x ∈ X } ⊂ X × Y Problem [from moments to graph] : Given the moment matrix of order d , compute an approximation f d of function f , with convergence guarantees when d → ∞

  7. The moment matrix just introduced can also be written � b ( x , y ) b ( x , y ) ⊤ dµ ( x , y ) M µ,d := for the measure dµ ( x , y ) := I X ( x ) d x δ f ( x ) ( dy ) concentrated on the graph { ( x , f ( x )) : x ∈ X } of function f , where I X denotes the indicator function of X , and δ f ( x ) denotes the Dirac measure at f ( x )

  8. If M µ,d is invertible, then it is known that the sublevel sets of the Christoffel-Darboux polynomial q µ,d ( x , y ) := b ( x , y ) ⊤ M − 1 µ,d b ( x , y ) approximate spt µ with convergence guarantees when d → ∞ , see J. B. Lasserre, E. Pauwels. The empirical Christoffel function with applications in data analysis. Advances in Computational Mathematics, 45(3), 2019. arXiv:1701.02886 However, if µ is concentrated on a graph, M µ,d may be singular

  9. Given a regularization parameter β > 0, define the regularized Christoffel-Darboux polynomial q µ + βµ 0 ,d ( x , y ) := b ( x , y ) ⊤ ( M µ,d + βI ) − 1 b ( x , y ) where reference measure µ 0 is absolutely continuous with respect to the Lebesgue measure with compact support, and basis b is orthonormal with respect to the bilinear form induced by µ 0 Polynomial q µ + βµ 0 ,d can be computed numerically by a spectral decomposition of the positive semi-definite matrix M µ,d , and it can be expressed as a polynomial SOS

  10. Instead of trying to approximate the (possibly discontinuous) function f with polynomials, we approximate it with a class of semi-algebraic functions Define the semi-algebraic approximant f d,β ( x ) := min { argmin y ∈ Y q µ + βµ 0 ,d ( x , y ) } as the minimum of the argument of the minimum of the regu- larized Christoffel-Darboux polynomial, always well defined since this polynomial is SOS

  11. Example: sign function as SOS partial minimum The polynomial p ( x , y ) = 4 − 3 x y − 4 y 2 + x y 3 + 2 y 4 is such that argmin y ∈ Y p 2 ( x , y ) = sign( x ) for all x ∈ X := [ − 1 , 1] and Y ⊂ R

  12. 40 x=-1 x=-0.6 35 x=-0.2 x=0.2 x=0.6 30 x=1 25 q(x,y) 20 15 10 5 0 -1.5 -1 -0.5 0 0.5 1 1.5 y

  13. Recall that we propose to approximate the function f ( x ) with the semi-algebraic function f d,β ( x ) := min { argmin y ∈ Y q µ + βµ 0 ,d ( x , y ) } √ Theorem ( L 1 convergence) : letting β d := 2 3 − d , if the set S ⊂ X of continuity points of f is such that X \ S has Lebesgue measure zero, then d →∞ f d,β d ( x ) = f ( x ) lim for almost all x ∈ X , and d →∞ � f − f d,β d � L 1 ( X ) = 0 lim

  14. Theorem (convergence rate for Lipschitz functions) : if f is L -Lipschitz on X for some L > 0, then for any r > p it holds δ 0 � f − f d,β d � L 1 ( X ) ≤ vol( X ) √ d − 1 (1 + L ) p 2 + diam( Y ) 8( m + m 0 )(3 r ) 2 r e d p p e 2 r − p d r − p where m := µ ( R p ) , m 0 := µ 0 ( R p ) δ 0 := diam(spt( µ + µ 0 )) , Letting r := p + 1 / 2 yields an O ( d − 1 / 2 ) convergence rate We observe in practice a much faster convergence

  15. Examples

  16. Let us approximate x �→ f ( x ) := sign( x ) 1.5 1.5 1 1 0.5 0.5 0 y 0 y -0.5 -0.5 -1 -1 -1.5 -1.5 -1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1 x x The Chebsyhev polynomial interpolants of degrees 4 (left gray) and 20 (left black) illustrate the typical Gibbs phenomenon The Christoffel-Darboux approximant f 2 (right black) with 15 moments of degree 4 cannot be distinguished from f (red)

  17. Degree 10 approximation (black) of discontinuous function (red) 1 0.8 0.6 0.4 0.2 y 0 -0.2 -0.4 -0.6 -0.8 -1 -1 -0.5 0 0.5 1 x

  18. Degree 4 Christoffel-Darboux approximation (left) and high degree Chebyshev polynomial approximation (right) of the indicator function of a disk

  19. Degree 8 (left) and degree 16 (right) approximations of the superposition of signed indicator functions of two disks

  20. Contour plots of the error for the degree 8 (left) and degree 16 (right) approximations of the two disks 1 1 1 1 0.8 0.8 0.9 0.9 0.6 0.6 0.8 0.8 0.4 0.4 0.7 0.7 0.2 0.2 0.6 0.6 x 2 x 2 0 0 0.5 0.5 -0.2 0.4 -0.2 0.4 -0.4 0.3 -0.4 0.3 -0.6 0.2 -0.6 0.2 -0.8 -0.8 0.1 0.1 -1 -1 0 0 -1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1 x 1 x 1

  21. For our motivating application, namely recovering discontinuous solutions of non-linear PDEs from their approximate moments, here are the numerical results

  22. space

  23. Tractable semi-algebraic approximation using Christoffel-Darboux kernel Didier HENRION IWOTA - Lisbon - July 2019 arXiv:1904.01833

Recommend


More recommend