-
Are Graph Neural Networks Optimal Approximation Algorithms?
Authors:
Morris Yau,
Eric Lu,
Nikolaos Karalias,
Jessica Xu,
Stefanie Jegelka
Abstract:
In this work we design graph neural network architectures that capture optimal approximation algorithms for a large class of combinatorial optimization problems, using powerful algorithmic tools from semidefinite programming (SDP). Concretely, we prove that polynomial-sized message-passing algorithms can represent the most powerful polynomial time algorithms for Max Constraint Satisfaction Problem…
▽ More
In this work we design graph neural network architectures that capture optimal approximation algorithms for a large class of combinatorial optimization problems, using powerful algorithmic tools from semidefinite programming (SDP). Concretely, we prove that polynomial-sized message-passing algorithms can represent the most powerful polynomial time algorithms for Max Constraint Satisfaction Problems assuming the Unique Games Conjecture. We leverage this result to construct efficient graph neural network architectures, OptGNN, that obtain high-quality approximate solutions on landmark combinatorial optimization problems such as Max-Cut, Min-Vertex-Cover, and Max-3-SAT. Our approach achieves strong empirical results across a wide range of real-world and synthetic datasets against solvers and neural baselines. Finally, we take advantage of OptGNN's ability to capture convex relaxations to design an algorithm for producing bounds on the optimal solution from the learned embeddings of OptGNN.
△ Less
Submitted 7 February, 2024; v1 submitted 30 September, 2023;
originally announced October 2023.
-
Tensor Decompositions Meet Control Theory: Learning General Mixtures of Linear Dynamical Systems
Authors:
Ainesh Bakshi,
Allen Liu,
Ankur Moitra,
Morris Yau
Abstract:
Recently Chen and Poor initiated the study of learning mixtures of linear dynamical systems. While linear dynamical systems already have wide-ranging applications in modeling time-series data, using mixture models can lead to a better fit or even a richer understanding of underlying subpopulations represented in the data. In this work we give a new approach to learning mixtures of linear dynamical…
▽ More
Recently Chen and Poor initiated the study of learning mixtures of linear dynamical systems. While linear dynamical systems already have wide-ranging applications in modeling time-series data, using mixture models can lead to a better fit or even a richer understanding of underlying subpopulations represented in the data. In this work we give a new approach to learning mixtures of linear dynamical systems that is based on tensor decompositions. As a result, our algorithm succeeds without strong separation conditions on the components, and can be used to compete with the Bayes optimal clustering of the trajectories. Moreover our algorithm works in the challenging partially-observed setting. Our starting point is the simple but powerful observation that the classic Ho-Kalman algorithm is a close relative of modern tensor decomposition methods for learning latent variable models. This gives us a playbook for how to extend it to work with more complicated generative models.
△ Less
Submitted 23 July, 2023; v1 submitted 12 July, 2023;
originally announced July 2023.
-
A New Approach to Learning Linear Dynamical Systems
Authors:
Ainesh Bakshi,
Allen Liu,
Ankur Moitra,
Morris Yau
Abstract:
Linear dynamical systems are the foundational statistical model upon which control theory is built. Both the celebrated Kalman filter and the linear quadratic regulator require knowledge of the system dynamics to provide analytic guarantees. Naturally, learning the dynamics of a linear dynamical system from linear measurements has been intensively studied since Rudolph Kalman's pioneering work in…
▽ More
Linear dynamical systems are the foundational statistical model upon which control theory is built. Both the celebrated Kalman filter and the linear quadratic regulator require knowledge of the system dynamics to provide analytic guarantees. Naturally, learning the dynamics of a linear dynamical system from linear measurements has been intensively studied since Rudolph Kalman's pioneering work in the 1960's. Towards these ends, we provide the first polynomial time algorithm for learning a linear dynamical system from a polynomial length trajectory up to polynomial error in the system parameters under essentially minimal assumptions: observability, controllability, and marginal stability. Our algorithm is built on a method of moments estimator to directly estimate Markov parameters from which the dynamics can be extracted. Furthermore, we provide statistical lower bounds when our observability and controllability assumptions are violated.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
Special Hamiltonian $S^1$-actions on symplectic 4-manifolds
Authors:
Mei-Lin Yau
Abstract:
In this paper we consider symplectic 4-manifolds $(M,ω)$ with $c_1(M,ω)=0$ which admit a Hamiltonian $S^1$-action together with an equivariant Maslov condition on orbits of the group action. We call such spaces {\em special Hamiltonian $S^1$-spaces}. It turns out that there are no compact special Hamiltonian $S^1$-spaces. We classify all exact special Hamiltonian $S^1$-spaces and show that all of…
▽ More
In this paper we consider symplectic 4-manifolds $(M,ω)$ with $c_1(M,ω)=0$ which admit a Hamiltonian $S^1$-action together with an equivariant Maslov condition on orbits of the group action. We call such spaces {\em special Hamiltonian $S^1$-spaces}. It turns out that there are no compact special Hamiltonian $S^1$-spaces. We classify all exact special Hamiltonian $S^1$-spaces and show that all of them admit the structure of a Stein surface.
△ Less
Submitted 30 December, 2023; v1 submitted 2 December, 2022;
originally announced December 2022.
-
Approximating Nash Equilibrium in Random Graphical Games
Authors:
Morris Yau
Abstract:
Computing Nash equilibrium in multi-agent games is a longstanding challenge at the interface of game theory and computer science. It is well known that a general normal form game in N players and k strategies requires exponential space simply to write down. This Curse of Multi-Agents prompts the study of succinct games which can be written down efficiently. A canonical example of a succinct game i…
▽ More
Computing Nash equilibrium in multi-agent games is a longstanding challenge at the interface of game theory and computer science. It is well known that a general normal form game in N players and k strategies requires exponential space simply to write down. This Curse of Multi-Agents prompts the study of succinct games which can be written down efficiently. A canonical example of a succinct game is the graphical game which models players as nodes in a graph interacting with only their neighbors in direct analogy with markov random fields. Graphical games have found applications in wireless, financial, and social networks. However, computing the nash equilbrium of graphical games has proven challenging. Even for polymatrix games, a model where payoffs to an agent can be written as the sum of payoffs of interactions with the agent's neighbors, it has been shown that computing an epsilon approximate nash equilibrium is PPAD hard for epsilon smaller than a constant. The focus of this work is to circumvent this computational hardness by considering average case graph models i.e random graphs. We provide a quasipolynomial time approximation scheme (QPTAS) for computing an epsilon approximate nash equilibrium of polymatrix games on random graphs with edge density greater than poly(k, 1/epsilon, ln(N))$ with high probability. Furthermore, with the same runtime we can compute an epsilon-approximate Nash equilibrium that epsilon-approximates the maximum social welfare of any nash equilibrium of the game. Our primary technical innovation is an "accelerated rounding" of a novel hierarchical convex program for the nash equilibrium problem. Our accelerated rounding also yields faster algorithms for Max-2CSP on the same family of random graphs, which may be of independent interest.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
Kalman Filtering with Adversarial Corruptions
Authors:
Sitan Chen,
Frederic Koehler,
Ankur Moitra,
Morris Yau
Abstract:
Here we revisit the classic problem of linear quadratic estimation, i.e. estimating the trajectory of a linear dynamical system from noisy measurements. The celebrated Kalman filter gives an optimal estimator when the measurement noise is Gaussian, but is widely known to break down when one deviates from this assumption, e.g. when the noise is heavy-tailed. Many ad hoc heuristics have been employe…
▽ More
Here we revisit the classic problem of linear quadratic estimation, i.e. estimating the trajectory of a linear dynamical system from noisy measurements. The celebrated Kalman filter gives an optimal estimator when the measurement noise is Gaussian, but is widely known to break down when one deviates from this assumption, e.g. when the noise is heavy-tailed. Many ad hoc heuristics have been employed in practice for dealing with outliers. In a pioneering work, Schick and Mitter gave provable guarantees when the measurement noise is a known infinitesimal perturbation of a Gaussian and raised the important question of whether one can get similar guarantees for large and unknown perturbations.
In this work we give a truly robust filter: we give the first strong provable guarantees for linear quadratic estimation when even a constant fraction of measurements have been adversarially corrupted. This framework can model heavy-tailed and even non-stationary noise processes. Our algorithm robustifies the Kalman filter in the sense that it competes with the optimal algorithm that knows the locations of the corruptions. Our work is in a challenging Bayesian setting where the number of measurements scales with the complexity of what we need to estimate. Moreover, in linear dynamical systems past information decays over time. We develop a suite of new techniques to robustly extract information across different time steps and over varying time scales.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
Eigenspectrum, Chern Numbers and Phase Diagrams of Ultracold Color-orbit Coupled SU(3) Fermions in Optical Lattices
Authors:
Man Hon Yau,
C. A. R. Sá de Melo
Abstract:
We study ultracold color fermions with three internal states Red, Green and Blue with ${\rm SU(3)}$ symmetry in optical lattices, when color-orbit coupling and color-flip fields are present. This system corresponds to a generalization of two-internal state fermions with ${\rm SU(2)}$ symmetry in the presence of spin-orbit coupling and spin-flip** Zeeman fields. We investigate the eigenspectrum a…
▽ More
We study ultracold color fermions with three internal states Red, Green and Blue with ${\rm SU(3)}$ symmetry in optical lattices, when color-orbit coupling and color-flip fields are present. This system corresponds to a generalization of two-internal state fermions with ${\rm SU(2)}$ symmetry in the presence of spin-orbit coupling and spin-flip** Zeeman fields. We investigate the eigenspectrum and Chern numbers to describe different topological phases that emerge in the phase diagrams of color-orbit coupled fermions in optical lattices. We obtain the phases as a function of artificial magnetic, color-orbit and color-flip fields that can be independently controlled. For fixed artificial magnetic flux ratio, we identify topological quantum phases and phase transitions in the phase diagrams of chemical potential versus color-flip fields or color-orbit coupling, where the chirality and number of midgap edge states changes. The topologically non-trivial phases are classified in three groups: the first group has total non-zero chirality and exhibit only the quantum charge Hall effect; the second group has total non-zero chirality and exhibit both quantum charge and quantum color Hall effects; and the third group has total zero chirality, but exhibit the quantum color Hall effect. These phases are generalizations of the quantum Hall and quantum spin Hall phases for charged spin-$1/2$ fermions. Lastly, we also describe the color density of states and a staircase structure in the total and color filling factors versus chemical potential for fixed color-orbit, color-flip and magnetic flux ratio. We show the existence of incompressible states at rational filling factors precisely given by a gap-labelling theorem that relates the filling factors to the magnetic flux ratio and topological quantum numbers.
△ Less
Submitted 13 November, 2020;
originally announced November 2020.
-
Online and Distribution-Free Robustness: Regression and Contextual Bandits with Huber Contamination
Authors:
Sitan Chen,
Frederic Koehler,
Ankur Moitra,
Morris Yau
Abstract:
In this work we revisit two classic high-dimensional online learning problems, namely linear regression and contextual bandits, from the perspective of adversarial robustness. Existing works in algorithmic robust statistics make strong distributional assumptions that ensure that the input data is evenly spread out or comes from a nice generative model. Is it possible to achieve strong robustness g…
▽ More
In this work we revisit two classic high-dimensional online learning problems, namely linear regression and contextual bandits, from the perspective of adversarial robustness. Existing works in algorithmic robust statistics make strong distributional assumptions that ensure that the input data is evenly spread out or comes from a nice generative model. Is it possible to achieve strong robustness guarantees even without distributional assumptions altogether, where the sequence of tasks we are asked to solve is adaptively and adversarially chosen?
We answer this question in the affirmative for both linear regression and contextual bandits. In fact our algorithms succeed where conventional methods fail. In particular we show strong lower bounds against Huber regression and more generally any convex M-estimator. Our approach is based on a novel alternating minimization scheme that interleaves ordinary least-squares with a simple convex program that finds the optimal reweighting of the distribution under a spectral constraint. Our results obtain essentially optimal dependence on the contamination level $η$, reach the optimal breakdown point, and naturally apply to infinite dimensional settings where the feature vectors are represented implicitly via a kernel map.
△ Less
Submitted 10 June, 2021; v1 submitted 8 October, 2020;
originally announced October 2020.
-
On the generalizability of artificial neural networks in spin models
Authors:
Hon Man Yau,
Nan Su
Abstract:
The applicability of artificial neural networks (ANNs) is typically limited to the models they are trained with and little is known about their generalizability, which is a pressing issue in the practical application of trained ANNs to unseen problems. Here, by using the task of identifying phase transitions in spin models, we establish a systematic generalizability such that simple ANNs trained w…
▽ More
The applicability of artificial neural networks (ANNs) is typically limited to the models they are trained with and little is known about their generalizability, which is a pressing issue in the practical application of trained ANNs to unseen problems. Here, by using the task of identifying phase transitions in spin models, we establish a systematic generalizability such that simple ANNs trained with the two-dimensional ferromagnetic Ising model can be applied to the ferromagnetic $q$-state Potts model in different dimensions for $q \geq 2$. The same scheme can be applied to the highly nontrivial antiferromagnetic $q$-state Potts model. We demonstrate that similar results can be obtained by reducing the exponentially large state space spanned by the training data to one that comprises only three representative configurations artificially constructed through symmetry considerations. We expect our findings to simplify and accelerate the development of machine learning-assisted tasks in spin-model related disciplines in physics and materials science.
△ Less
Submitted 8 August, 2022; v1 submitted 26 June, 2020;
originally announced June 2020.
-
Classification Under Misspecification: Halfspaces, Generalized Linear Models, and Connections to Evolvability
Authors:
Sitan Chen,
Frederic Koehler,
Ankur Moitra,
Morris Yau
Abstract:
In this paper we revisit some classic problems on classification under misspecification. In particular, we study the problem of learning halfspaces under Massart noise with rate $η$. In a recent work, Diakonikolas, Goulekakis, and Tzamos resolved a long-standing problem by giving the first efficient algorithm for learning to accuracy $η+ ε$ for any $ε> 0$. However, their algorithm outputs a compli…
▽ More
In this paper we revisit some classic problems on classification under misspecification. In particular, we study the problem of learning halfspaces under Massart noise with rate $η$. In a recent work, Diakonikolas, Goulekakis, and Tzamos resolved a long-standing problem by giving the first efficient algorithm for learning to accuracy $η+ ε$ for any $ε> 0$. However, their algorithm outputs a complicated hypothesis, which partitions space into $\text{poly}(d,1/ε)$ regions. Here we give a much simpler algorithm and in the process resolve a number of outstanding open questions:
(1) We give the first proper learner for Massart halfspaces that achieves $η+ ε$. We also give improved bounds on the sample complexity achievable by polynomial time algorithms.
(2) Based on (1), we develop a blackbox knowledge distillation procedure to convert an arbitrarily complex classifier to an equally good proper classifier.
(3) By leveraging a simple but overlooked connection to evolvability, we show any SQ algorithm requires super-polynomially many queries to achieve $\mathsf{OPT} + ε$.
Moreover we study generalized linear models where $\mathbb{E}[Y|\mathbf{X}] = σ(\langle \mathbf{w}^*, \mathbf{X}\rangle)$ for any odd, monotone, and Lipschitz function $σ$. This family includes the previously mentioned halfspace models as a special case, but is much richer and includes other fundamental models like logistic regression. We introduce a challenging new corruption model that generalizes Massart noise, and give a general algorithm for learning in this setting. Our algorithms are based on a small set of core recipes for learning to classify in the presence of misspecification.
Finally we study our algorithm for learning halfspaces under Massart noise empirically and find that it exhibits some appealing fairness properties.
△ Less
Submitted 20 September, 2023; v1 submitted 8 June, 2020;
originally announced June 2020.
-
List Decodable Mean Estimation in Nearly Linear Time
Authors:
Yeshwanth Cherapanamjeri,
Sidhanth Mohanty,
Morris Yau
Abstract:
Learning from data in the presence of outliers is a fundamental problem in statistics. Until recently, no computationally efficient algorithms were known to compute the mean of a high dimensional distribution under natural assumptions in the presence of even a small fraction of outliers. In this paper, we consider robust statistics in the presence of overwhelming outliers where the majority of the…
▽ More
Learning from data in the presence of outliers is a fundamental problem in statistics. Until recently, no computationally efficient algorithms were known to compute the mean of a high dimensional distribution under natural assumptions in the presence of even a small fraction of outliers. In this paper, we consider robust statistics in the presence of overwhelming outliers where the majority of the dataset is introduced adversarially. With only an $α< 1/2$ fraction of "inliers" (clean data) the mean of a distribution is unidentifiable. However, in their influential work, [CSV17] introduces a polynomial time algorithm recovering the mean of distributions with bounded covariance by outputting a succinct list of $O(1/α)$ candidate solutions, one of which is guaranteed to be close to the true distributional mean; a direct analog of 'List Decoding' in the theory of error correcting codes. In this work, we develop an algorithm for list decodable mean estimation in the same setting achieving up to constants the information theoretically optimal recovery, optimal sample complexity, and in nearly linear time up to polylogarithmic factors in dimension. Our conceptual innovation is to design a descent style algorithm on a nonconvex landscape, iteratively removing minima to generate a succinct list of solutions. Our runtime bottleneck is a saddle-point optimization for which we design custom primal dual solvers for generalized packing and covering SDP's under Ky-Fan norms, which may be of independent interest.
△ Less
Submitted 21 January, 2021; v1 submitted 19 May, 2020;
originally announced May 2020.
-
High-temperature Anomalous Hall Effect in Transition Metal Dichalcogenide-Ferromagnetic Insulator Heterostructure
Authors:
Sheung Mei Ng,
Hui Chao Wang,
Yu Kuai Liu,
Hon Fai Wong,
Hei Man Yau,
Chun Hung Suen,
Ze Han Wu,
Chi Wah Leung,
Ji Yan Dai
Abstract:
Integration of transition metal dichalcogenides (TMDs) on ferromagnetic materials (FM) may yield fascinating physics and promise for electronics and spintronic applications. In this work, high-temperature anomalous Hall effect (AHE) in the TMD ZrTe2 thin film using heterostructure approach by depositing it on ferrimagnetic insulator YIG (Y3Fe5O12, yttrium iron garnet) is demonstrated. In this hete…
▽ More
Integration of transition metal dichalcogenides (TMDs) on ferromagnetic materials (FM) may yield fascinating physics and promise for electronics and spintronic applications. In this work, high-temperature anomalous Hall effect (AHE) in the TMD ZrTe2 thin film using heterostructure approach by depositing it on ferrimagnetic insulator YIG (Y3Fe5O12, yttrium iron garnet) is demonstrated. In this heterostructure, significant anomalous Hall effect can be observed at temperatures up to at least 400 K, which is a record high temperature for the observation of AHE in TMDs, and the large RAHE is more than one order of magnitude larger than those previously reported value in topological insulators or TMDs based heterostructures. The magnetization of interfacial reaction-induced ZrO2 between YIG and ZrTe2 is believed to play a crucial role for the induced high-temperature anomalous Hall effect in the ZrTe2. These results reveal a promising system for the room-temperature spintronic device applications, and it may also open a new avenue toward introducing magnetism to TMDs and exploring the quantum AHE at higher temperatures considering the prediction of nontrivial topology in ZrTe2.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
List Decodable Subspace Recovery
Authors:
Prasad Raghavendra,
Morris Yau
Abstract:
Learning from data in the presence of outliers is a fundamental problem in statistics. In this work, we study robust statistics in the presence of overwhelming outliers for the fundamental problem of subspace recovery. Given a dataset where an $α$ fraction (less than half) of the data is distributed uniformly in an unknown $k$ dimensional subspace in $d$ dimensions, and with no additional assumpti…
▽ More
Learning from data in the presence of outliers is a fundamental problem in statistics. In this work, we study robust statistics in the presence of overwhelming outliers for the fundamental problem of subspace recovery. Given a dataset where an $α$ fraction (less than half) of the data is distributed uniformly in an unknown $k$ dimensional subspace in $d$ dimensions, and with no additional assumptions on the remaining data, the goal is to recover a succinct list of $O(\frac{1}α)$ subspaces one of which is nontrivially correlated with the planted subspace. We provide the first polynomial time algorithm for the 'list decodable subspace recovery' problem, and subsume it under a more general framework of list decoding over distributions that are "certifiably resilient" capturing state of the art results for list decodable mean estimation and regression.
△ Less
Submitted 7 February, 2020;
originally announced February 2020.
-
List Decodable Learning via Sum of Squares
Authors:
Prasad Raghavendra,
Morris Yau
Abstract:
In the list-decodable learning setup, an overwhelming majority (say a $1-β$-fraction) of the input data consists of outliers and the goal of an algorithm is to output a small list $\mathcal{L}$ of hypotheses such that one of them agrees with inliers. We develop a framework for list-decodable learning via the Sum-of-Squares SDP hierarchy and demonstrate it on two basic statistical estimation proble…
▽ More
In the list-decodable learning setup, an overwhelming majority (say a $1-β$-fraction) of the input data consists of outliers and the goal of an algorithm is to output a small list $\mathcal{L}$ of hypotheses such that one of them agrees with inliers. We develop a framework for list-decodable learning via the Sum-of-Squares SDP hierarchy and demonstrate it on two basic statistical estimation problems
{\it Linear regression:} Suppose we are given labelled examples $\{(X_i,y_i)\}_{i \in [N]}$ containing a subset $S$ of $βN$ {\it inliers} $\{X_i \}_{i \in S}$ that are drawn i.i.d. from standard Gaussian distribution $N(0,I)$ in $\mathbb{R}^d$, where the corresponding labels $y_i$ are well-approximated by a linear function $\ell$. We devise an algorithm that outputs a list $\mathcal{L}$ of linear functions such that there exists some $\hat{\ell} \in \mathcal{L}$ that is close to $\ell$.
This yields the first algorithm for linear regression in a list-decodable setting. Our results hold for any distribution of examples whose concentration and anticoncentration can be certified by Sum-of-Squares proofs.
{\it Mean Estimation:}
Given data points $\{X_i\}_{i \in [N]}$ containing a subset $S$ of $βN$ {\it inliers} $\{X_i \}_{i \in S}$ that are drawn i.i.d. from a Gaussian distribution $N(μ,I)$ in $\mathbb{R}^d$, we devise an algorithm that generates a list $\mathcal{L}$ of means such that there exists $\hatμ \in \mathcal{L}$ close to $μ$.
The recovery guarantees of the algorithm are analogous to the existing algorithms for the problem by Diakonikolas \etal and Kothari \etal.
In an independent and concurrent work, Karmalkar \etal \cite{KlivansKS19} also obtain an algorithm for list-decodable linear regression using the Sum-of-Squares SDP hierarchy.
△ Less
Submitted 12 May, 2019;
originally announced May 2019.
-
Topological Color-Hall Insulators: SU(3) Fermions in Optical Lattices
Authors:
Man Hon Yau,
C. A. R. Sá de Melo
Abstract:
We discuss the emergence of topological color insulators in optical lattices as quantum phases of SU(3) ultra-cold neutral fermions. We construct the Chern matrix and classify all insulating phases in terms of three topological invariants: the charge-charge, the color-charge and the color-color Chern numbers. Our classification transcends that of SU(2) systems which require only the charge-charge…
▽ More
We discuss the emergence of topological color insulators in optical lattices as quantum phases of SU(3) ultra-cold neutral fermions. We construct the Chern matrix and classify all insulating phases in terms of three topological invariants: the charge-charge, the color-charge and the color-color Chern numbers. Our classification transcends that of SU(2) systems which require only the charge-charge (charge-Hall) and spin-charge (spin-Hall) Chern numbers. To illustrate the topological classification of the insulating phases of SU(3) fermions, we construct phase diagrams of chemical potential and color-orbit parameter versus color-flip fields for fixed magnetic flux ratio.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Chern number spectrum of ultra-cold fermions in optical lattices tuned independently via artificial magnetic, Zeeman and spin-orbit fields
Authors:
Man Hon Yau,
C. A. R. Sa de Melo
Abstract:
We discuss the Chern number spectrum of ultra-cold fermions in square optical lattices as a function of artificial magnetic, Zeeman and spin-orbit fields that can be tuned independently. We show the existence of topological quantum phase transitions induced by Zeeman and spin-orbit fields, where the total number and chirality of edge states change for fixed magnetic flux ratio, thus leading to top…
▽ More
We discuss the Chern number spectrum of ultra-cold fermions in square optical lattices as a function of artificial magnetic, Zeeman and spin-orbit fields that can be tuned independently. We show the existence of topological quantum phase transitions induced by Zeeman and spin-orbit fields, where the total number and chirality of edge states change for fixed magnetic flux ratio, thus leading to topological-insulator phases which are different from those found at zero Zeeman and spin-orbit fields. We construct phase diagrams of chemical potential versus Zeeman field or spin-orbit coupling and characterize all insulating phases by their topological invariants. Lastly, we obtain a staircase structure in the filling factor versus chemical potential for various Zeeman and spin-orbit fields, showing the existence of incompressible states at rational filling factors derived from a generalized Diophantine equation.
△ Less
Submitted 31 October, 2018;
originally announced November 2018.
-
Semicrystalline block copolymers in rigid confining nanopores
Authors:
Man Yan Eric Yau,
Ilja Gunkel,
Brigitte Hartmann-Azanza,
Wajiha Akram,
Yong Wang,
Thomas Thurn-Albrecht,
Martin Steinhart
Abstract:
We have investigated PLLA crystallization in lamellae-forming PS-b-PLLA confined to straight cylindrical nanopores under weak confinement (nanopore diameter D / equilibrium PS-b-PLLA period L0 larger than 4.8). Molten PS-b-PLLA predominantly forms concentric lamellae along the nanopores, but intertwined helices occur even for D/L0 = 7.3. Quenching PS-b-PLLA melts below TG(PS) results in PLLA cold…
▽ More
We have investigated PLLA crystallization in lamellae-forming PS-b-PLLA confined to straight cylindrical nanopores under weak confinement (nanopore diameter D / equilibrium PS-b-PLLA period L0 larger than 4.8). Molten PS-b-PLLA predominantly forms concentric lamellae along the nanopores, but intertwined helices occur even for D/L0 = 7.3. Quenching PS-b-PLLA melts below TG(PS) results in PLLA cold crystallization strictly confined by the vitrified PS domains. Above TG(PS), PLLA crystallization is templated by the PS-b-PLLA melt domain structure in the nanopore centers, while adsorption on the nanopore walls stabilizes the outermost cylindrical PS-b-PLLA shell. In between, the nanoscopic PS-b-PLLA melt domain structure apparently ripens to reduce frustrations transmitted from the outermost immobilized PS-b-PLLA layer. The onset of PLLA crystallization catalyzes the ripening while transient ripening states are arrested by advancing PLLA crystallization. Certain helical structure motifs persist PLLA crystallization even if PS is soft. The direction of fastest PLLA crystal growth is preferentially aligned with the nanopore axes to the same degree as for PLLA homopolymer, independent of whether PS is vitreous or soft.
△ Less
Submitted 24 November, 2017;
originally announced November 2017.
-
Exact Lagrangian tori in $T^*\mathbb{T}^n$
Authors:
Mei-Lin Yau
Abstract:
We show that for $n\geq 2$ there exists an exact Lagrangian submanifold $L$ in the cotangent bundle $T^*\mathbb{T}^n$ of the $n$-dimensional torus $\mathbb{T}^n$ such that $L$ is symplectically but not Hamiltonian isotopic to the zero section of $T^*\mathbb{T}^n$.
We show that for $n\geq 2$ there exists an exact Lagrangian submanifold $L$ in the cotangent bundle $T^*\mathbb{T}^n$ of the $n$-dimensional torus $\mathbb{T}^n$ such that $L$ is symplectically but not Hamiltonian isotopic to the zero section of $T^*\mathbb{T}^n$.
△ Less
Submitted 2 April, 2016; v1 submitted 30 March, 2016;
originally announced March 2016.
-
Isotropic tori in $\mathbb{C}^m$ revisited
Authors:
Mei-Lin Yau
Abstract:
We show that for $m>n\geq 2$, there are at least two exact isotropic $n$-tori in $\mathbb{C}^m$ which are not Hamiltonian isotopic in $\mathbb{C}^m$, even though they are smoothly isotopic as isotropic $n$-tori. We apply this discovery to obtain more distinct non-exact isotropic tori in $\mathbb{C}^m$.
We show that for $m>n\geq 2$, there are at least two exact isotropic $n$-tori in $\mathbb{C}^m$ which are not Hamiltonian isotopic in $\mathbb{C}^m$, even though they are smoothly isotopic as isotropic $n$-tori. We apply this discovery to obtain more distinct non-exact isotropic tori in $\mathbb{C}^m$.
△ Less
Submitted 26 April, 2016; v1 submitted 30 March, 2016;
originally announced March 2016.
-
Surgery and Invariants of Lagrangian Surfaces
Authors:
Mei-Lin Yau
Abstract:
We considered a surgery, called Lagrangian attaching disk surgery, that can be applied to a Lagrangian surface L at the presence of a Lagrangian attaching disk D, to obtain a new Lagrangian surface L' which is always smoothly isotopic to L. We showed that this type of surgery includes all even generalized Dehn twists as constructed by Paul Seidel. We also constructed a new symplectic invariant, ca…
▽ More
We considered a surgery, called Lagrangian attaching disk surgery, that can be applied to a Lagrangian surface L at the presence of a Lagrangian attaching disk D, to obtain a new Lagrangian surface L' which is always smoothly isotopic to L. We showed that this type of surgery includes all even generalized Dehn twists as constructed by Paul Seidel. We also constructed a new symplectic invariant, called y-index, for orientable closed Lagrangian surfaces immersed in a parallelizable symplectic 4-manifold W. With y-index we proved that L and L' are not Hamiltonian isotopic. We also obtained new examples of nullhomologous Lagrangian tori which are smooth isotopic but not Hamiltonian isotopic.
△ Less
Submitted 7 September, 2013; v1 submitted 22 June, 2013;
originally announced June 2013.
-
Monodromy groups of Lagrangian tori in the symplectic 4-space
Authors:
Mei-Lin Yau
Abstract:
We determine the Lagrangian monodromy group L(T) and the smooth monodromy group S(T) of a Clifford torus T in the symplectic 4-space. We show that L(T) is isomorphic to the infinite dihedral group, and S(T) is generated by three reflections. We give explicit formulas for both groups. We also show that if a Lagrangian torus is smoothly isotopic to a Clifford torus then the smooth isotopy can be cho…
▽ More
We determine the Lagrangian monodromy group L(T) and the smooth monodromy group S(T) of a Clifford torus T in the symplectic 4-space. We show that L(T) is isomorphic to the infinite dihedral group, and S(T) is generated by three reflections. We give explicit formulas for both groups. We also show that if a Lagrangian torus is smoothly isotopic to a Clifford torus then the smooth isotopy can be chosen to be Lagrangian outside of a disc.
△ Less
Submitted 18 December, 2011; v1 submitted 24 May, 2009;
originally announced May 2009.
-
Monodromy and isotopy of monotone Lagrangian tori
Authors:
Mei-Lin Yau
Abstract:
We define new Hamiltonian isotopy invariants for a monotone Lagrangian torus embedded in a symplectic 4-manifold. We show that, in the standard symplectic 4-space, these invariants distinguish a monotone Clifford torus from a Chekanov torus.
We define new Hamiltonian isotopy invariants for a monotone Lagrangian torus embedded in a symplectic 4-manifold. We show that, in the standard symplectic 4-space, these invariants distinguish a monotone Clifford torus from a Chekanov torus.
△ Less
Submitted 23 May, 2009; v1 submitted 22 July, 2008;
originally announced July 2008.
-
Vanishing of the contact homology of overtwisted contact 3--manifolds
Authors:
Mei-Lin Yau
Abstract:
We give a proof of, for the case of contact structures defined by global contact 1-forms, a Theorem stated by Eliashberg that for any overtwisted contact structure on a closed 3-manifold, its contact homology is 0. A different proof is also outlined in the appendix by Yakov Eliashberg.
We give a proof of, for the case of contact structures defined by global contact 1-forms, a Theorem stated by Eliashberg that for any overtwisted contact structure on a closed 3-manifold, its contact homology is 0. A different proof is also outlined in the appendix by Yakov Eliashberg.
△ Less
Submitted 17 February, 2005; v1 submitted 31 October, 2004;
originally announced November 2004.
-
Invariants of Lagrangian surfaces
Authors:
Mei-Lin Yau
Abstract:
We define a nonnegative integer $\la(L,L_0;φ)$ for a pair of diffeomorphic closed Lagrangian surfaces $L_0,L$ embedded in a symplectic 4-manifold $(M,\w)$ and a diffeomorphism $φ\in\Diff^+(M)$ satisfying $φ(L_0)=L$. We prove that if there exists $φ\in\Diff^+_o(M)$ with $φ(L_0)=L$ and $\la(L,L_0;φ)=0$, then $L_0,L$ are symplectomorphic. We also define a second invariant…
▽ More
We define a nonnegative integer $\la(L,L_0;φ)$ for a pair of diffeomorphic closed Lagrangian surfaces $L_0,L$ embedded in a symplectic 4-manifold $(M,\w)$ and a diffeomorphism $φ\in\Diff^+(M)$ satisfying $φ(L_0)=L$. We prove that if there exists $φ\in\Diff^+_o(M)$ with $φ(L_0)=L$ and $\la(L,L_0;φ)=0$, then $L_0,L$ are symplectomorphic. We also define a second invariant $n(L_1,L_0;[L_t])=n(L_1,L_0,[φ_t])$ for a smooth isotopy $L_t=φ_t(L_0)$ between two Lagrangian surfaces $L_0$ and $L_1$ with $\la (L_1,L_0;φ_1)=0$, which serves as an obstruction of deforming $L_t$ to a Lagrangian isotopy with $L_0,L_1$ preserved.
△ Less
Submitted 2 November, 2004; v1 submitted 29 October, 2004;
originally announced October 2004.
-
Cylindrical contact homology of subcritical Stein-fillable contact manifolds
Authors:
Mei-Lin Yau
Abstract:
We use contact handle decompositions and a stabilization process to compute the cylindrical contact homology of a subcritical
Stein-fillable contact manifold with vanishing first Chern class, and show that it is completely determined by the homology of a subcritical Stein-filling of the contact manifold.
We use contact handle decompositions and a stabilization process to compute the cylindrical contact homology of a subcritical
Stein-fillable contact manifold with vanishing first Chern class, and show that it is completely determined by the homology of a subcritical Stein-filling of the contact manifold.
△ Less
Submitted 30 September, 2004; v1 submitted 28 September, 2004;
originally announced September 2004.
-
A Holomorphic 0-Surgery Model for Open Books with Application to Cylindrical Contact Homology
Authors:
Mei-Lin Yau
Abstract:
We give a simple model in the complex plane of the 0-surgery along a fibered knot of a closed 3-manifold M to yield a map** torus M'. This model allows explicit relations between pseudoholomorphic curves in the symplectizations of M and M'. As an application we use it to compute the cylindrical contact homology of open books resulting from a positive Dehn twist on a torus with boundary.
We give a simple model in the complex plane of the 0-surgery along a fibered knot of a closed 3-manifold M to yield a map** torus M'. This model allows explicit relations between pseudoholomorphic curves in the symplectizations of M and M'. As an application we use it to compute the cylindrical contact homology of open books resulting from a positive Dehn twist on a torus with boundary.
△ Less
Submitted 13 June, 2005; v1 submitted 15 September, 2004;
originally announced September 2004.