Seminars and Colloquia by Series

Finding and cerifying roots of systems of equations

Series
Dissertation Defense
Time
Tuesday, April 21, 2020 - 14:00 for 1 hour (actually 50 minutes)
Location
https://gatech.bluejeans.com/481175204
Speaker
Kisun LeeGeorgia Tech

Numerical 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. We establish numerical techniques to approximate roots of systems of equations and ways to certify its correctness.

As techniques for approximating roots of systems of equations, homotopy continuation method will be introduced. Combining homotopy method with monodromy group action, we introduce techniques for solving parametrized polynomial systems. Since numerical approaches rely on heuristic method, we study how to certify numerical roots of systems of equations. Based on Newton’s method, we study Krawczyk method and Smale’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.

 

Spectrum Reconstruction Technique and Improved Naive Bayes Models for Text Classification Problems

Series
Dissertation Defense
Time
Thursday, April 16, 2020 - 14:00 for 1 hour (actually 50 minutes)
Location
Bluejeans Meeting 866242745
Speaker
Zhibo DaiGeorgia Tech

My thesis studies two topics. In the first part, we study the spectrum reconstruction technique. As is known to all, eigenvalues play an important role in many research fields and are foundation to many practical techniques such like PCA (Principal Component Analysis). We believe that related algorithms should perform better with more accurate spectrum estimation. There was an approximation formula proposed by Prof. Matzinger. However, they didn't give any proof. In our research, we show why the formula works. And when both number of features and dimension of space go to infinity, we find the order of error for the approximation formula, which is related to a constant C-the ratio of dimension of space and number of features.

In the second part, we focus on some applications of Naive Bayes models in text classification problems. Especially we focus on two special situations: 1) there is insufficient data for model training; 2) partial labeling problem. We choose Naive Bayes as our base model and do some improvement on the model to achieve better performance in those two situations. To improve model performance and to utilize as many information as possible, we introduce a correlation factor, which somehow relaxes the conditional independence assumption of Naive Bayes. The new estimates are biased estimation compared to the traditional Naive Bayes estimate, but have much smaller variance, which give us a better prediction result.

The Maxwell-Pauli Equations

Series
Dissertation Defense
Time
Tuesday, March 10, 2020 - 15:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Forrest KiefferGeorgia Institute of Technology

Please Note: Thesis Defense

Energetic stability of matter in quantum mechanics, which refers to the ques-
tion of whether the ground state energy of a many-body quantum mechanical
system is finite, has long been a deep question of mathematical physics. For a
system of many non-relativistic electrons interacting with many nuclei in the
absence of electromagnetic fields this question traces back to the seminal work
of Tosio Kato in 1951 and Freeman Dyson and Andrew Lenard in 1967/1968.
In particular, Dyson and Lenard showed the ground state energy of the many-
body Schrödinger Hamiltonian is bounded below by a constant times the total
particle number, regardless of the size of the nuclear charges. This says such a
system is energetically stable (of the second kind). This situation changes dra-
matically when electromagnetic fields and spin interactions are present in the
problem. Even for a single electron with spin interacting with a single nucleus
of charge $Z > 0$ in an external magnetic field, Jurg Fröhlich, Elliot Lieb, and
Michael Loss in 1986 showed that there is no ground state energy if $Z$ exceeds
a critical charge $Z_c$ and the ground state energy exists if $Z < Z_c$ . In other
words, if the nuclear charge is too large, the one-electron atom is energetically
unstable.


Another notion of stability in quantum mechanics is that of dynamic stabil-
ity, which refers to the question of global well-posedness for a system of partial
differential equations that models the dynamics of many electrons coupled to
their self-generated electromagnetic field and interacting with many nuclei. The
central motivating question of our PhD thesis is whether energetic stability has
any influence over dynamic stability. Concerning this question, we study the
quantum mechanical many-body problem of $N \geq 1$ non-relativistic electrons with
spin interacting with their self-generated classical electromagnetic field and $K \geq 0$
static nuclei. We model the dynamics of the electrons and their self-generated
electromagnetic field using the so-called many-body Maxwell-Pauli equations.
The main result presented is the construction time global, finite-energy, weak
solutions to the many-body Maxwell-Pauli equations under the assumption that
the fine structure constant $\alpha$ and the nuclear charges are sufficiently small to
ensure energetic stability of this system. This result represents an initial step
towards understanding the relationship between energetic stability and dynamic
stability. If time permits, we will discuss several open problems that remain.


Committee members: Prof. Michael Loss (Advisor, School of Mathematics,
Georgia Tech), Prof. Brian Kennedy (School of Physics, Georgia Tech), Prof.
Evans Harrell (School of Mathematics, Georgia Tech), Prof. Federico Bonetto
(School of Mathematics, Georgia Tech), Prof. Chongchun Zeng (School of Math-
ematics, Georgia Tech).

Small torsion generating sets for mapping class groups

Series
Dissertation Defense
Time
Monday, March 9, 2020 - 11:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Justin LanierGeorgia Tech

A surface of genus $g$ has many symmetries. These form the surface’s mapping class group $Mod(S_g)$, which is finitely generated. The most commonly used generating sets for $Mod(S_g)$ are comprised of infinite order elements called Dehn twists; however, a number of authors have shown that torsion generating sets are also possible. For example, Brendle and Farb showed that $Mod(S_g)$ is generated by six involutions for $g \geq 3$. We will discuss our extension of these results to elements of arbitrary order: for $k > 5$ and $g$ sufficiently large, $Mod(S_g)$ is generated by three elements of order $k$. Generalizing this idea, in joint work with Margalit we showed that for $g \geq 3$ every nontrivial periodic element that is not a hyperelliptic involution normally generates $Mod(S_g)$. This result raises a question: does there exist an $N$, independent of $g$, so that if $f$ is a periodic normal generator of $Mod(S_g)$, then $Mod(S_g)$ is generated by $N$ conjugates of $f$? We show that in general there does not exist such an $N$, but that there does exist such a universal bound for the class of non-involution normal generators.

The proxy point method for rank-structured matrices

Series
Dissertation Defense
Time
Friday, October 25, 2019 - 13:30 for 1.5 hours (actually 80 minutes)
Location
Skiles 311
Speaker
Xin XingSchool of Mathematics, Georgia Tech

Rank-structured matrix representations, e.g., H2 and HSS, are commonly used to reduce computation and storage cost for dense matrices defined by interactions between many bodies. The main bottleneck for their applications is the expensive computation required to represent a matrix in a rank-structured matrix format which involves compressing specific matrix blocks into low-rank form.
We focus on the study and application of a class of hybrid analytic-algebraic compression methods, called the proxy point method. We address several critical problems concerning this underutilized method which limit its applicability. A general form of the method is proposed, paving the way for its wider application in the construction of different rank-structured matrices with kernel functions that are more general than those usually used. Further, we extend the applicability of the proxy point method to compress matrices defined by electron repulsion integrals, which accelerates one of the main computational steps in quantum chemistry. 

Committee members: Prof. Edmond Chow (Advisor, School of CSE, Georgia Tech), Prof. David Sherrill (School of Chemistry and Biochemistry, Georgia Tech), Prof. Jianlin Xia (Department of Mathematics, Purdue University), Prof. Yuanzhe Xi (Department of Mathematics, Emory University), and Prof. Haomin Zhou (School of Mathematics, Georgia Tech).

6-connected graphs are two-three linked

Series
Dissertation Defense
Time
Thursday, October 24, 2019 - 13:40 for 1.5 hours (actually 80 minutes)
Location
Skiles 005
Speaker
Shijie XieSchool of Mathematics, Georgia Tech

Let $G$ be a graph and $a_0, a_1, a_2, b_1,$ and $b_2$ be distinct vertices of $G$. Motivated by their work on Four Color Theorem, Hadwiger's conjecture for $K_6$, and Jorgensen's conjecture, Robertson and Seymour asked when does $G$ contain disjoint connected subgraphs $G_1, G_2$, such that $\{a_0, a_1, a_2\}\subseteq V(G_1)$ and $\{b_1, b_2\}\subseteq V(G_2)$. We prove that if $G$ is 6-connected then such $G_1,G_2$ exist. Joint work with Robin Thomas and Xingxing Yu.

Advisor: Dr. Xingxing Yu (School of Mathematics, Georgia Institute of Technology)

Committee: Dr. Robin Thomas (School of Mathematics, Georgia Institute of Technology), Dr. Prasad Tetali (School of Mathematics, Georgia Institute of Technology), Dr. Lutz Warnke (School of Mathematics, Georgia Institute of Technology), Dr. Richard Peng (School of Computer Science, Georgia Institute of Technology)

Reader: Dr. Gexin Yu (Department of Mathematics, College of William and Mary)

Topics On the Length of the Longest Common Subsequences With Blocks In Binary Random Words

Series
Dissertation Defense
Time
Thursday, August 8, 2019 - 13:00 for
Location
Skiles 246
Speaker
Yuze ZhangGeorgia Institute of Technology

The study of LIn, the length of the longest increasing subsequences, and of LCIn, the length of the longest common and increasing subsequences in random words is classical in computer science and bioinformatics, and has been well explored over the last few decades. This dissertation studies a generalization of LCIn for two binary random words, namely, it analyzes the asymptotic behavior of LCbBn, the length of the longest common subsequences containing a fixed number, b, of blocks. We first prove that after proper centerings and scalings, LCbBn, for two sequences of i.i.d. Bernoulli random variables with possibly two different parameters, converges in law towards limits we identify. This dissertation also includes an alternative approach to the one-sequence LbBn problem, and Monte-Carlo simulations on the asymptotics of LCbBn and on the growth order of the limiting functional, as well as several extensions of the LCbBn problem to the Markov context and some connection with percolation theory.

Quantum torus methods for Kauffman bracket skein modules

Series
Dissertation Defense
Time
Friday, July 26, 2019 - 10:00 for 1 hour (actually 50 minutes)
Location
Skiles 114
Speaker
Jonathan PaprockiGeorgia Institute of Technology

We investigate aspects of Kauffman bracket skein algebras of surfaces and modules of 3-manifolds using quantum torus methods. These methods come in two flavors: embedding the skein algebra into a quantum torus related to quantum Teichmuller space, or filtering the algebra and obtaining an associated graded algebra that is a monomial subalgebra of a quantum torus. We utilize the former method to generalize the Chebyshev homomorphism of Bonahon and Wong between skein algebras of surfaces to a Chebyshev-Frobenius homomorphism between skein modules of marked 3-manifolds, in the course of which we define a surgery theory, and whose image we show is either transparent or (skew)-transparent. The latter method is used to show that skein algebras of surfaces are maximal orders, which implies a refined unicity theorem, shows that SL_2C-character varieties are normal, and suggests a conjecture on how this result may be utilized for topological quantum compiling.

On the Independent Spanning Tree Conjectures and Related Problems

Series
Dissertation Defense
Time
Wednesday, July 10, 2019 - 10:30 for 1.5 hours (actually 80 minutes)
Location
Skiles 006
Speaker
Alexander HoyerGeorgia Institute of Technology

We say that trees with common root are (edge-)independent if, for any vertex in their intersection, the paths to the root induced by each tree are internally (edge-)disjoint. The relationship between graph (edge-)connectivity and the existence of (edge-)independent spanning trees is explored. The (Edge-)Independent Spanning Tree Conjecture states that every k-(edge-)connected graph has k-(edge-)independent spanning trees with arbitrary root.

We prove the case k=4 of the Edge-Independent Spanning Tree Conjecture using a graph decomposition similar to an ear decomposition, and give polynomial-time algorithms to construct the decomposition and the trees. We provide alternate geometric proofs for the cases k=3 of both the Independent Spanning Tree Conjecture and Edge-Independent Spanning Tree Conjecture by embedding the vertices or edges in a 2-simplex, and conjecture higher-dimension generalizations. We provide a partial result towards a generalization of the Independent Spanning Tree Conjecture, in which local connectivity between the root and a vertex set S implies the existence of trees whose independence properties hold only in S. Finally, we prove and generalize a theorem of Györi and Lovász on partitioning a k-connected graph, and give polynomial-time algorithms for the cases k=2,3,4 using the graph decompositions used to prove the corresponding cases of the Independent Spanning Tree Conjecture.

Pages