{"634261":{"#nid":"634261","#data":{"type":"event","title":"PhD Defense by Kisun Lee","body":[{"value":"\u003Cp\u003EFinding and cerifying roots of sytems of equations\u003C\/p\u003E\r\n\r\n\u003Cp\u003EKisun Lee\u003C\/p\u003E\r\n\r\n\u003Cp\u003E73 Pages\u003C\/p\u003E\r\n\r\n\u003Cp\u003EDirected by Dr. Anton Leykin\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003ENumerical algebraic geometry studies methods to approach problems in algebraic geometry numerically. Especially, finding roots of systems of equations using theory in algebraic geometry involves symbolic algorithm which requires expensive computations, numerical techniques often provides faster methods to tackle these problems. This thesis establishes numerical techniques to approximate roots of systems of equations and ways to certify its correctness.\u003C\/p\u003E\r\n\r\n\u003Cp\u003EAs techniques for approximating roots of systems of equations, homotopy continuation method will be introduced. Especially, combining homotopy method with monodromy group action, we solve parametrized polynomial systems. Since numerical approaches rely on heuristic method, we study how to certify numerical roots of systems of equations. Based on Newton\u0026rsquo;s method, we study Krawczyk method using interval arithmetic and Smale\u0026rsquo;s alpha theory. These two method will be mainly used for certifying regular roots of systems. Furthermore, as an approach for multiple roots, we establish the local separation bound of a multiple root. For multiple roots whose deflation process terminates by only one iteration, we give their local separation bound and study how to certify an approximation of such multiple roots.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003ECOmmittee:\u003C\/p\u003E\r\n\r\n\u003Cp\u003EAnton Leykin (thesis advisor) School of Mathematics\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003EGreg Blekherman, School of Mathematics\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003ELuca Dieci, School of Mathematics\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003EJosephine Yu, School of Mathematics\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003EMichael Burr, Clemson University Department of Mathematics.\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"Finding and cerifying roots of sytems of equations"}],"uid":"27707","created_gmt":"2020-04-10 15:10:45","changed_gmt":"2020-04-10 15:10:45","author":"Tatianna Richardson","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2020-04-21T04:00:00-04:00","event_time_end":"2020-04-21T12:00:00-04:00","event_time_end_last":"2020-04-21T12:00:00-04:00","gmt_time_start":"2020-04-21 08:00:00","gmt_time_end":"2020-04-21 16:00:00","gmt_time_end_last":"2020-04-21 16:00:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"groups":[{"id":"221981","name":"Graduate Studies"}],"categories":[],"keywords":[{"id":"100811","name":"Phd Defense"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1788","name":"Other\/Miscellaneous"}],"invited_audience":[{"id":"78761","name":"Faculty\/Staff"},{"id":"78771","name":"Public"},{"id":"174045","name":"Graduate students"},{"id":"78751","name":"Undergraduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}