Title:Properties of Allen--Cahn min-max constructions on 3-manifolds
Abstract:
I will describe recent joint work with C. Mantoulidis in which we study the properties of bounded Morse index solutions to the Allen--Cahn equation on 3-manifolds. One consequence of our work is that a generic Riemannian 3-manifold contains an embedded minimal surface with Morse index p, for each positive integer p.
Lecture 2
Speaker: Ved Datar
Time/place: Surge 284 4:40~5:30
Title: Hermitian-Yang-Mills connections on collapsing K3 surfaces
Abstract:
Let $X$ be an elliptically fibered K3 surface with a fixed $SU(n)$ bundle $\mathcal{E}$. I will talk about degenerations of connections on $\mathcal{E}$ that are Hermitian-Yang-Mills with respect to a collapsing family of Ricci flat metrics. This can be thought of as a vector bundle analog of the degeneration of Ricci flat metrics studied by Gross-Wilson and Gross-Tosatti-Zhang. I will show that under some mild conditions on the bundle, the restriction of the connections to a generic elliptic fiber converges to a flat connection. I will also talk about some ongoing work on strengthening this result. This is based on joint work with Adam Jacob and Yuguang Zhang.
Event on Elections and Voting, with Panels on the Technology, Law, & Policy of Election Hacking, 1:30 - 7:30 pm
The Technology of Voting: Risks & Opportunities
Josh Benaloh (Microsoft Research)
Alex Halderman (University of Michigan)
Hovav Shacham (UC San Diego) Panel moderated by Alice Silverberg (UC Irvine), 3:30 pm - 4:40 pm
How complicated are countable torsion-free abelian groups? In particular, are they as complicated as countable graphs? In recent joint work with Shelah, we show it is consistent with ZFC that countable torsion-free abelian groups are $a \Delta^1_2$ complete; in other words, countable graphs can be encoded into them via an absolutely $\Delta^1_2$-map. I discuss this, and the related result: assuming large cardinals, it is independent of ZFC if there is an absolutely $\Delta^1_2$ reduction from Graphs to Colored Trees, which takes non-isomorphic graphs to non-biembeddable colored trees.
Congratulations to Professor Tom Trogdon! He has been awarded an NSF CAREER Award. This is one of the most prestigious awards available to a junior faculty member. Recipients are "junior faculty who exemplify the role of teacher-scholars through outstanding research, excellent education and the integration of education and research within the context of the mission of their organizations. Such activities should build a firm foundation for a lifetime of leadership in integrating education and research."
First, I will present the Laplacian smoothing gradient descent proposed recently by Prof. Stan Osher. We show that when applied to a variety of machine learning models including softmax regression, convolutional neural nets, generative adversarial nets, and deep reinforcement learning, this very simple surrogate of gradient descent can dramatically reduce the variance and improve the accuracy of the generalization. The new algorithm, (which depends on one nonnegative parameter) when applied to non-convex minimization, tends to avoid sharp local minima. Instead it seeks somewhat flatter local(and often global) minima. The method only involves preconditioning the gradient by the inverse of a tri-diagonal matrix that is positive definite. The motivation comes from the theory of Hamilton-Jacobi partial differential equations. This theory demonstrates that the new algorithm is almost the same as doing gradient descent on a new function which (a) has the same global minima as the original function and (b) is "more convex". Second, I will talk about modeling, simulation, and experiments of the micro-encapsulation of droplets. This is a work joint with Professors Andrea Bertozzi, Dino Di Carlo, and Stan Osher’s groups.
In the first part of this talk, we study a convex-constrained nonsmooth DC program
in which the concave summand of the objective is an infimum of possibly infinitely many smooth
concave functions. We propose some algorithms by using nonmonotone linear search and extrapolation
techniques for possible acceleration for this problem, and analyze their global convergence, sequence
convergence and also iteration complexity. We also propose randomized counterparts for them
and discuss their convergence.
In the second part we consider a class of DC constrained nonsmooth DC programs. We propose penalty and
augmented Lagrangian methods for solving them and show that they converge to a B-stationary
point under much weaker assumptions than those imposed in the literature.
A major project in set theory aims to explore the connection between large cardinals and so-called generic absoluteness principles, which assert that forcing notions from a certain class cannot change the truth value of (projective, for instance) statements about the real numbers. For example, in the 80s Kunen showed that absoluteness to ccc forcing extensions is equiconsistent with a weakly compact cardinal. More recently, Schindler showed that absoluteness to proper forcing extensions is equiconsistent with a remarkable cardinal. (Remarkable cardinals will be defined in the talk.) Schindler's proof does not resemble Kunen's, however, using almost-disjoint coding instead of Kunen's innovative method of coding along branchless trees. We show how to reconcile these two proofs, giving a new proof of Schindler's theorem that generalizes Kunen's methods and suggests further investigation of non-thin trees.
Since Fermat characterized (without proof) those integers represented by the quadratic form x^2+y^2, number theorists have been extending these results. Recently a paper appeared in Journal of Number Theory answering the question for x^2 ± xy ± y^2. It turns out that this was not news (although JNT refuses to correct or retract). Naively, today's speaker extended these results, through elementary means. This talk will outline these methods, and contrast them with more traditional techniques.