It uses an L 2 hybrid norm characterized by a residual of transition between 1 and 2 for data 64257tting and another for model styling Both the steepest descent and conjugate direction methods are included The 1D blind decon volution problem is form ID: 62210
Download Pdf The PPT/PDF document "Blocky models via the LL hybrid norm Jon..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Claerbout2Blockymodels:L1/L2hybridnorm IwasrstattractedtostrictL1byitspotentialforblockymodels.ButthenIrealizedforeachnonspike(zero)onthetimeaxis,theorysaysIwouldneeda\basisequation".Thatimpliesanimmensenumberofiterations,soitisunacceptableinimagingapplications.Withthehybridsolvers,insteadofexactzeroswehavealargeregiondrivendownbytheL2normandasmallL1regionwherelargespikesarewelcomed.MODELDERIVATIVESHereistheusualdenitionofresidualrioftheoreticaldataPjFi;jmjfromobserveddatadiri=(XjFi;jmj)diorr=Fmd:(1)LetC()beaconvexfunction(C000)ofascalar.Thepenaltyfunction(ornormofresidualsisexpressedbyN(m)=XiC(ri)(2)Wedenoteacolumnvectorgwithcomponentsgibyg=vec(gi).WesoonrequirethederivativeofC(r)ateachresidualri:g=vec@C(ri) @ri(3)Weoftenupdatemodelsinthedirectionofthegradientofthenormoftheresidual.m=@N @mk=Xi@C(ri) @ri@ri @mk=Xig(ri)Fi;k=F0g(4)Deneamodelupdatedirectionbym=F0g.Sincer=Fmd,weseetheresidualupdatedirectionwillber=Fm.Tondthedistancetomoveinthosedirectionsm m+m (5) r r+r (6) wechoosethescalartominimizeN()=XiC(ri+ri)(7)Thesuminequation(7)isasumof\dishes",shapesbetweenL2parabolasandL1V's.Thei-thdishiscenteredon=ri=ri.Itissteepandnarrowifriislarge, SEP{139 Claerbout4Blockymodels:L1/L2hybridnorm PLANESEARCHThemostuniversallyusedmethodofsolvingimmenselinearregressionssuchasimag-ingproblemsistheConjugateGradient(CG)method.Ithastheremarkablepropertythatinthepresenceofexactarithmetic,theexactsolutionisfoundinanitenumberofiterations.AsimplermethodwiththesamepropertyistheConjugateDirectionmethod.Itisdebatablewhichhasthebetternumericalroundoproperties,sowegenerallyusetheConjugateDirectionmethodasitissimplertocomprehend.Itsaysnottomovealongthegradientdirectionline,butsomewhereintheplaneofthegradientandthepreviousstep.Thebestmoveinthatplanerequiresustondtwoscalars,onetoscalethegradient,theothertoscalethepreviousstep.ThatisallforL2optimization.Weproceedhereinthesamewaywithothernormsandhopeforthebest.Sohereweare,embeddedinagiantmultivariateregressionwherewehaveabivariateregression(twounknowns).Fromthemultivarateregressionwearegiventhreevectorsindataspace.ri,giandsi.Youwillrecognizetheseasthecurrentresidual,thegradient(ri),andthepreviousstep.(Thegradientandpreviousstepappearingherehavepreviouslybeentransformedtodataspace(theconjugatespace)bytheoperatorF.)Ournextresidualwillbeaperturbationoftheoldone.ri=ri+gi+si(20)Weseektominimizebyvariationof(;)N(;)=XiC(ri+gi+si)(21)Letthecoecients(Ci;C0i;C00i)refertoaTaylorexpansionofC(r)aboutri.N(;)=XiCi+(gi+si)C0i+(gi+si)2C00i=2(22)Wehavetwounknowns,(;)inaquadraticform.Wesettozerothederivativeofthequadraticform,likewisethederivativegetting00=XiC0igisi+C00i@ @@ @(gi+si)(gi+si)(23)resultingina22setofequationstosolveforand.(XiC00igisi(gisi))=XiC0igisi(24)Thesolutionofany22setofsimultaneousequationsisgenerallytrivial.Theonlydicultiesarisewhenthedeterminantvanisheswhichhereiseasy(luckily)to SEP{139 Claerbout6Blockymodels:L1/L2hybridnorm scalars(independentlyforeachz).loopoveralltimepointsfm=d=(1+2)#Thesearescalars!loopovernon-lineariterationsfrd=mdrm=mGetderivativesofhybridnormB0(rd)andB00(rd)fordatagoal.GetderivativesofhybridnormC0(rm)andC00(rm)formodelgoal.#Plantondtoupdatem=m+#TaylorseriesfordatapenaltyN(rd)=B+B0+B002=2#TaylorseriesformodelpenaltyN(rm)=C+C0+C002=2#0=@ @(N(rd)+N(rm))=(B0+C0)=(B00+C00)m=m+gendofloopovernon-lineariterationsgendofloopoveralltimepointsTohelpusunderstandthechoiceofparametersRd,Rm,and,WeexaminethetheoreticalrelationbetweenmanddimpliedbytheabovecodeasafunctionofandRmatRd!1,inotherwords,whenthedatahasnormalbehaviorandwearemostlyinterestedintheroleoftheregularizationdrawingweaksignalsdowntowardszero.ThedatattingpenaltyisB=(md)2=2anditsderivativeB0=md.Thederivativeofthemodelpenalty(fromequation(15))isC0=m=p 1+m2=R2m.Settingthesumofthederivativestozerowehave0=B0+C0=md+m p 1+m2=R2m(27)Thissaysmismostlyalittlesmallerthand,butitgetsmoreinterestingnear(m;d)0.Theretheslopem=d=1=(1+)whichsaysan=4willdampthesignal(wheresmall)byafactorof5.Movingawayfromm=0weseethedampingpowerofdiminishesuniformlyasmexceedsRm.UNKNOWNSHOTWAVEFORMAone-dimensionalseismogramd(t)isunknownre ectivityc(t)convolvedwithun-knownsourcewaveforms(t).ThenumberofdatapointsNDNCislessthanthenumberofunknownsNC+NS.Clearlyweneeda"smart"regularization.Letusseehowthisproblemcanbesetupsore ectivityc(t)comesoutwithsparsespikessotheintegralofc(t)isblocky.Thisisanonlinearproblembecausetheconvolutionoftheunknownsismadeoftheirproduct.Nonlinearproblemselicitwell-warrantedfearofmultiplesolutionsleadingtousgettingstuckinthewrongone.Thekeytoavoidingthispitfallis SEP{139 Claerbout8Blockymodels:L1/L2hybridnorm Weneedderivativesofeachnormateachresidual.WebasetheseontheconvexfunctionC(r)oftheHybridnorm.LetuscalltheseAiforthedatatting,andBiforthemodelstyling.Ai=C(Rd;ri) (33) Bi=C(Rm;ci) (34) (Actually,wedon'tneedAi(becauseforLeastSquares,A0i=riandA00i=1),butIincludeithereincasewewishtodealwithnoiseburstsinthedata.)Asearlier,expandingthenormsinTaylorseries,equation(32)becomes0=XiA0iri+XiA00ir2i+ XiB0ici+XiB00ic2i!(35)whichgivestheweneedtoupdatethemodelcandtheresidualrd.=PiA0iri+PiB0ici PiA00ir2i+PiB00ic2i(36)Thisisthesteepestdescentmethod.Fortheconjugatedirectionsmethodthereisa22equationlikeequation(24).Non-linearsolverThenon-linearapproachisalittlemorecomplicatedbutitexplicitlydealswiththeinteractionbetweensandcsoitconvergesfaster.Werepresenteverythingasa\known"partplusaperturbationpartwhichwewillndandaddintotheknownpart.ThisismosteasilyexpressedintheFourierdomain.0(S+S)(C+C)D(37)LinearizebydroppingSC.0SC+CS+(CSD)(38)Letuschangetothetimedomainwithamatrixnotation.PuttheunknownsCandSinvectors~cand~s.PuttheknownsCandSinconvolutionmatricesCandS.ExpressCSDasacolumnvectord.Itstimedomaincoecientsared0=c0s0d0andd1=c0s1+c1s0d1,etc.Thedatattingregressionisnow0S~c+C~s+d(39)Thisregressionisexpressedmoreexplicitlybelow. SEP{139 Claerbout10Blockymodels:L1/L2hybridnorm Thatwassteepestdescent.Theextensiontoconjugatedirectionisstraightforward.Aswithallnonlinearproblemsthereisthedangerofbizarrebehaviorandmultipleminima.Toavoidfrustration,whilelearningyoushouldspendabouthalfofyoureortdirectedtowardndingagoodstartingsolution.Thisnormallyamountstodeningandsolvingoneortwolinearproblems.Inthisapplicationwemightgetourstartingsolutionfors(t)andc(t)fromconventionaldeconvolutionanalysis,orwemightgetitfromtheblockcyclicsolver. SEP{139