Showing 1–50 of 119 results for author: Baldwin, A

Pessimistic asynchronous sampling in high-cost Bayesian optimization

Authors: Amanda A. Volk, Kristofer G. Reyes, Jeffrey G. Ethier, Luke A. Baldwin

Abstract: Asynchronous Bayesian optimization is a recently implemented technique that allows for parallel operation of experimental systems and disjointed workflows. Contrasting with serial Bayesian optimization which individually selects experiments one at a time after conducting a measurement for each experiment, asynchronous policies sequentially assign multiple experiments before measurements can be tak… ▽ More Asynchronous Bayesian optimization is a recently implemented technique that allows for parallel operation of experimental systems and disjointed workflows. Contrasting with serial Bayesian optimization which individually selects experiments one at a time after conducting a measurement for each experiment, asynchronous policies sequentially assign multiple experiments before measurements can be taken and evaluate new measurements continuously as they are made available. This technique allows for faster data generation and therefore faster optimization of an experimental space. This work extends the capabilities of asynchronous optimization methods beyond prior studies by evaluating four additional policies that incorporate pessimistic predictions in the training data set. Combined with a conventional greedy policy, the five total policies were evaluated in a simulated environment and benchmarked with serial sampling. Under some conditions and parameter space dimensionalities, the pessimistic asynchronous policy reached optimum experimental conditions in significantly fewer experiments than equivalent serial policies and proved to be less susceptible to convergence onto local optima at higher dimensions. Without accounting for the faster sampling rate, the pessimistic asynchronous algorithm presented in this work could result in more efficient algorithm driven optimization of high-cost experimental spaces. Accounting for sampling rate, the presented asynchronous algorithm could allow for faster optimization in experimental spaces where multiple experiments can be run before results are collected. △ Less

Submitted 21 June, 2024; originally announced June 2024.

ACM Class: J.m

Torus knots, the A-polynomial, and SL(2,C)

Authors: John A. Baldwin, Steven Sivek

Abstract: The A-polynomial of a knot is defined in terms of SL(2,C) representations of the knot group, and encodes information about essential surfaces in the knot complement. In 2005, Dunfield-Garoufalidis and Boyer-Zhang proved that it detects the unknot using Kronheimer-Mrowka's work on the Property P conjecture. Here we use more recent results from instanton Floer homology to prove that a version of the… ▽ More The A-polynomial of a knot is defined in terms of SL(2,C) representations of the knot group, and encodes information about essential surfaces in the knot complement. In 2005, Dunfield-Garoufalidis and Boyer-Zhang proved that it detects the unknot using Kronheimer-Mrowka's work on the Property P conjecture. Here we use more recent results from instanton Floer homology to prove that a version of the A-polynomial distinguishes torus knots from all other knots, and in particular detects the torus knot T_{a,b} if and only if one of |a| or |b| is $2$ or both are prime powers. These results enable progress towards a folklore conjecture about boundary slopes of non-torus knots. Finally, we use similar ideas to prove that a knot in the 3-sphere admits infinitely many SL(2,C)-abelian Dehn surgeries if and only if it is a torus knot, affirming a variant of a conjecture due to Sivek-Zentner. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: 21 pages

Ricci Flat Metrics, Flat Connections and $G_{2}$-Manifolds

Authors: Bobby Samir Acharya, Daniel Andrew Baldwin

Abstract: Inspired by considerations in $M$-theory, we prove the equivalence between the moduli spaces of (suitably complexified) torsion free $G_{2}$-structures on 7-manifolds which are families of hyperKähler ALE 4-manifolds fibered over compact flat 3-manifolds $T^{3}/K$ and certain moduli spaces of flat $G^{\mathbb{C}}_{ADE}$ connections on $T^{3}/K$. Inspired by considerations in $M$-theory, we prove the equivalence between the moduli spaces of (suitably complexified) torsion free $G_{2}$-structures on 7-manifolds which are families of hyperKähler ALE 4-manifolds fibered over compact flat 3-manifolds $T^{3}/K$ and certain moduli spaces of flat $G^{\mathbb{C}}_{ADE}$ connections on $T^{3}/K$. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Coulomb and Higgs Phases of $G_2$-manifolds

Authors: Bobby Samir Acharya, Daniel Andrew Baldwin

Abstract: Ricci flat manifolds of special holonomy are a rich framework as models of the extra dimensions in string/$M$-theory. At special points in vacuum moduli space, special kinds of singularities occur and demand a physical interpretation. In this paper we show that the topologically distinct $G_2$-holonomy manifolds arising from desingularisations of codimension four orbifold singularities due to Joyc… ▽ More Ricci flat manifolds of special holonomy are a rich framework as models of the extra dimensions in string/$M$-theory. At special points in vacuum moduli space, special kinds of singularities occur and demand a physical interpretation. In this paper we show that the topologically distinct $G_2$-holonomy manifolds arising from desingularisations of codimension four orbifold singularities due to Joyce and Karigiannis correspond physically to Coulomb and Higgs phases of four dimensional gauge theories. The results suggest generalisations of the Joyce-Karigiannis construction to arbitrary ADE-singularities and higher order twists which we explore in detail in explicitly solvable local models. These models allow us to derive an isomorphism between moduli spaces of Ricci flat metrics on these non-compact $G_2$-manifolds and flat ADE-connections on compact flat 3-manifolds which we establish explicitly for $\operatorname{SU}(n)$. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 22 pages

Small Heegaard genus and SU(2)

Authors: John A. Baldwin, Steven Sivek

Abstract: Let $Y$ be a closed, orientable 3-manifold with Heegaard genus 2. We prove that if $H_1(Y;\mathbb{Z})$ has order $1$, $3$, or $5$, then there is a representation $π_1(Y) \to \mathrm{SU}(2)$ with non-abelian image. Similarly, if $H_1(Y;\mathbb{Z})$ has order $2$ then we find a non-abelian representation $π_1(Y) \to \mathrm{SO}(3)$. We also prove that a knot $K$ in $S^3$ is a trefoil if and only if… ▽ More Let $Y$ be a closed, orientable 3-manifold with Heegaard genus 2. We prove that if $H_1(Y;\mathbb{Z})$ has order $1$, $3$, or $5$, then there is a representation $π_1(Y) \to \mathrm{SU}(2)$ with non-abelian image. Similarly, if $H_1(Y;\mathbb{Z})$ has order $2$ then we find a non-abelian representation $π_1(Y) \to \mathrm{SO}(3)$. We also prove that a knot $K$ in $S^3$ is a trefoil if and only if there is a unique conjugacy class of irreducible representations $π_1(S^3\setminus K) \to \mathrm{SU}(2)$ sending a fixed meridian to $\left(\begin{smallmatrix}i&0\\0&-i\end{smallmatrix}\right)$. △ Less

Submitted 24 May, 2024; v1 submitted 18 September, 2023; originally announced September 2023.

Comments: 19 pages; v2: added another example to the introduction; v3: minor changes, accepted version

Zero-surgery characterizes infinitely many knots

Authors: John A. Baldwin, Steven Sivek

Abstract: We prove that 0 is a characterizing slope for infinitely many knots, namely the genus-1 knots whose knot Floer homology is 2-dimensional in the top Alexander grading, which we classified in recent work and which include all $(-3,3,2n+1)$ pretzel knots. This was previously only known for $5_2$ and its mirror, as a corollary of that classification, and for the unknot, trefoils, and the figure eight… ▽ More We prove that 0 is a characterizing slope for infinitely many knots, namely the genus-1 knots whose knot Floer homology is 2-dimensional in the top Alexander grading, which we classified in recent work and which include all $(-3,3,2n+1)$ pretzel knots. This was previously only known for $5_2$ and its mirror, as a corollary of that classification, and for the unknot, trefoils, and the figure eight by work of Gabai from 1987. △ Less

Submitted 16 October, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: 9 pages, 1 figure; v2: minor changes, accepted version

An instanton take on some knot detection results

Authors: John A. Baldwin, Steven Sivek

Abstract: We give new proofs that Khovanov homology detects the figure eight knot and the cinquefoils, and that HOMFLY homology detects $5_2$ and each of the $P(-3,3,2n+1)$ pretzel knots. For all but the figure eight these mostly follow the same lines as in previous work. The key difference is that in honor of Tom Mrowka's 60th birthday, the arguments here use instanton Floer homology rather than knot Floer… ▽ More We give new proofs that Khovanov homology detects the figure eight knot and the cinquefoils, and that HOMFLY homology detects $5_2$ and each of the $P(-3,3,2n+1)$ pretzel knots. For all but the figure eight these mostly follow the same lines as in previous work. The key difference is that in honor of Tom Mrowka's 60th birthday, the arguments here use instanton Floer homology rather than knot Floer homology. △ Less

Submitted 7 June, 2023; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: 17 pages; written for the proceedings of "Frontiers in Geometry and Topology," a conference in honor of Tom Mrowka's 60th birthday. v2: accepted version

Efficiently computing the Uhlmann fidelity for density matrices

Authors: Andrew J. Baldwin, Jonathan A. Jones

Abstract: We consider the problem of efficiently computing the Uhlmann fidelity in the case when explicit density matrix descriptions are available. We derive an alternative formula which is simpler to evaluate numerically, saving a factor of 10 in time for large matrices. We consider the problem of efficiently computing the Uhlmann fidelity in the case when explicit density matrix descriptions are available. We derive an alternative formula which is simpler to evaluate numerically, saving a factor of 10 in time for large matrices. △ Less

Submitted 12 January, 2023; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: Phys. Rev A (in press). 3 pages, no figures. Slightly revised following comments from reviewers and others

Journal ref: Phys. Rev. A 107, 012427 (2023)

Characterizing slopes for $5_2$

Authors: John A. Baldwin, Steven Sivek

Abstract: We prove that all rational slopes are characterizing for the knot $5_2$, except possibly for positive integers. Along the way, we classify the Dehn surgeries on knots in $S^3$ that produce the Brieskorn sphere $Σ(2,3,11)$, and we study knots on which large integral surgeries are almost L-spaces. We prove that all rational slopes are characterizing for the knot $5_2$, except possibly for positive integers. Along the way, we classify the Dehn surgeries on knots in $S^3$ that produce the Brieskorn sphere $Σ(2,3,11)$, and we study knots on which large integral surgeries are almost L-spaces. △ Less

Submitted 9 May, 2024; v1 submitted 20 September, 2022; originally announced September 2022.

Comments: 54 pages, 5 figures; v2: accepted version

Journal ref: J. Lond. Math. Soc. 109 (2024), no. 6, paper no. e12951

Floer homology and non-fibered knot detection

Authors: John A. Baldwin, Steven Sivek

Abstract: We prove that knot Floer homology and Khovanov homology can detect non-fibered knots, including the knot $5_2$, and that HOMFLY homology detects infinitely many such knots. This is the first time that a Floer theory or any of the Khovanov-Rozansky link homology theories has been shown to detect non-fibered knots, or infinitely many knots. These results rely on our main theorem, which gives a compl… ▽ More We prove that knot Floer homology and Khovanov homology can detect non-fibered knots, including the knot $5_2$, and that HOMFLY homology detects infinitely many such knots. This is the first time that a Floer theory or any of the Khovanov-Rozansky link homology theories has been shown to detect non-fibered knots, or infinitely many knots. These results rely on our main theorem, which gives a complete classification of genus-1 knots in $S^3$ whose knot Floer homology in the top Alexander grading is 2-dimensional. △ Less

Submitted 5 August, 2022; originally announced August 2022.

Comments: 65 pages, 30 figures

Framed instanton homology and concordance, II

Authors: John A. Baldwin, Steven Sivek

Abstract: We continue our study of the integer-valued knot invariants $ν^\sharp(K)$ and $r_0(K)$, which together determine the dimensions of the framed instanton homologies of all nonzero Dehn surgeries on $K$. We first establish a "conjugation" symmetry for the decomposition of cobordism maps constructed in our earlier work, and use this to prove, among many other things, that $ν^\sharp(K)$ is always eithe… ▽ More We continue our study of the integer-valued knot invariants $ν^\sharp(K)$ and $r_0(K)$, which together determine the dimensions of the framed instanton homologies of all nonzero Dehn surgeries on $K$. We first establish a "conjugation" symmetry for the decomposition of cobordism maps constructed in our earlier work, and use this to prove, among many other things, that $ν^\sharp(K)$ is always either zero or odd. We then apply these technical results to study linear independence in the homology cobordism group, to define an instanton Floer analogue $ε^\sharp(K)$ of Hom's $ε$-invariant in Heegaard Floer homology, and to the problem of characterizing a given 3-manifold as Dehn surgery on a knot in $S^3$. △ Less

Submitted 23 June, 2022; originally announced June 2022.

Comments: 40 pages

Floer homology and right-veering monodromy

Authors: John A. Baldwin, Yi Ni, Steven Sivek

Abstract: We prove that the knot Floer complex of a fibered knot detects whether the monodromy of its fibration is right-veering. In particular, this leads to a purely knot Floer-theoretic characterization of tight contact structures, by the work of Honda, Kazez, and Matic. Our proof makes use of the relationship between the Heegaard Floer homology of map** tori and the symplectic Floer homology of area-p… ▽ More We prove that the knot Floer complex of a fibered knot detects whether the monodromy of its fibration is right-veering. In particular, this leads to a purely knot Floer-theoretic characterization of tight contact structures, by the work of Honda, Kazez, and Matic. Our proof makes use of the relationship between the Heegaard Floer homology of map** tori and the symplectic Floer homology of area-preserving surface diffeomorphisms. We describe applications of this work to Dehn surgeries and taut foliations. △ Less

Submitted 8 April, 2022; originally announced April 2022.

Comments: 29 pages, 4 figures

Small Dehn surgery and SU(2)

Authors: John A. Baldwin, Zhenkun Li, Steven Sivek, Fan Ye

Abstract: We prove that the fundamental group of 3-surgery on a nontrivial knot in the 3-sphere always admits an irreducible SU(2)-representation. This answers a question of Kronheimer and Mrowka dating from their work on the Property P conjecture. An important ingredient in our proof is a relationship between instanton Floer homology and the symplectic Floer homology of genus-2 surface diffeomorphisms, due… ▽ More We prove that the fundamental group of 3-surgery on a nontrivial knot in the 3-sphere always admits an irreducible SU(2)-representation. This answers a question of Kronheimer and Mrowka dating from their work on the Property P conjecture. An important ingredient in our proof is a relationship between instanton Floer homology and the symplectic Floer homology of genus-2 surface diffeomorphisms, due to Ivan Smith. We use similar arguments at the end to extend our main result to infinitely many surgery slopes in the interval [3,5). △ Less

Submitted 6 October, 2021; originally announced October 2021.

Comments: 28 pages

Pre-Quantized Deep Learning Models Codified in ONNX to Enable Hardware/Software Co-Design

Authors: Ulf Hanebutte, Andrew Baldwin, Senad Durakovic, Igor Filipovich, Chien-Chun, Chou, Damian Adamowicz, Derek Chickles, David Hawkes

Abstract: This paper presents a methodology to separate the quantization process from the hardware-specific model compilation stage via a pre-quantized deep learning model description in standard ONNX format. Separating the quantization process from the model compilation stage enables independent development. The methodology is expressive to convey hardware-specific operations and to embed key quantization… ▽ More This paper presents a methodology to separate the quantization process from the hardware-specific model compilation stage via a pre-quantized deep learning model description in standard ONNX format. Separating the quantization process from the model compilation stage enables independent development. The methodology is expressive to convey hardware-specific operations and to embed key quantization parameters into a ONNX model which enables hardware/software co-design. Detailed examples are given for both MLP and CNN based networks, which can be extended to other networks in a straightforward fashion. △ Less

Submitted 4 October, 2021; originally announced October 2021.

Comments: 5 pages, 6 figures

Synthesis and Tailored Properties Towards Designer Covalent Organic Framework Thin Films and Heterostructures

Authors: Lucas K. Beagle, Qiyi Fang, Ly D. Tran, Luke A. Baldwin, Christopher Muratore, Jun Lou, Nicholas R. Glavin

Abstract: Porous polymeric covalent organic frameworks (COFs) have been under intense synthetic investigation with over 100 unique structural motifs known. In order to realize the true potential of these materials, converting the powders into thin films with strict control of thickness and morphology is necessary and accomplished through techniques including interfacial synthesis, chemical exfoliation and m… ▽ More Porous polymeric covalent organic frameworks (COFs) have been under intense synthetic investigation with over 100 unique structural motifs known. In order to realize the true potential of these materials, converting the powders into thin films with strict control of thickness and morphology is necessary and accomplished through techniques including interfacial synthesis, chemical exfoliation and mechanical delamination. Recent progress in the construction and tailored properties of thin film COFs are highlighted in this review, addressing mechanical properties as well as application-focused properties in filtration, electronics, sensors, electrochemical, magnetics, optoelectronics and beyond. Additionally, heterogeneous integration of these thin films with other inorganic and organic materials is discussed, revealing exciting opportunities to integrate COF thin films with other state of the art material and device systems. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Khovanov homology and the cinquefoil

Authors: John A. Baldwin, Ying Hu, Steven Sivek

Abstract: We prove that Khovanov homology with coefficients in $\mathbb{Z}/2\mathbb{Z}$ detects the $(2,5)$ torus knot. Our proof makes use of a wide range of deep tools in Floer homology, Khovanov homology, and Khovanov homotopy. We combine these tools with classical results on the dynamics of surface homeomorphisms to reduce the detection question to a problem about mutually braided unknots, which we then… ▽ More We prove that Khovanov homology with coefficients in $\mathbb{Z}/2\mathbb{Z}$ detects the $(2,5)$ torus knot. Our proof makes use of a wide range of deep tools in Floer homology, Khovanov homology, and Khovanov homotopy. We combine these tools with classical results on the dynamics of surface homeomorphisms to reduce the detection question to a problem about mutually braided unknots, which we then solve with computer assistance. △ Less

Submitted 26 January, 2022; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: 21 pages, 1 figure; v2: added new Theorem 1.2, greatly simplified the computations in section 4; v3: accepted version

Instanton L-spaces and splicing

Authors: John A. Baldwin, Steven Sivek

Abstract: We prove that the 3-manifold obtained by gluing the complements of two nontrivial knots in homology 3-sphere instanton L-spaces, by a map which identifies meridians with Seifert longitudes, cannot be an instanton L-space. This recovers the recent theorem of Lidman, Pinzon-Caicedo, and Zentner that the fundamental group of every closed, oriented, toroidal 3-manifold admits a nontrivial SU(2)-repres… ▽ More We prove that the 3-manifold obtained by gluing the complements of two nontrivial knots in homology 3-sphere instanton L-spaces, by a map which identifies meridians with Seifert longitudes, cannot be an instanton L-space. This recovers the recent theorem of Lidman, Pinzon-Caicedo, and Zentner that the fundamental group of every closed, oriented, toroidal 3-manifold admits a nontrivial SU(2)-representation, and consequently Zentner's earlier result that the fundamental group of every closed, oriented 3-manifold besides the 3-sphere admits a nontrivial SL(2,C)-representation. △ Less

Submitted 6 May, 2022; v1 submitted 14 March, 2021; originally announced March 2021.

Comments: 18 pages, 8 figures; v2: accepted version

Journal ref: Ann. Henri Lebesgue 5 (2022), pp. 1213-1233

Risk Management Framework for Machine Learning Security

Authors: Jakub Breier, Adrian Baldwin, Helen Balinsky, Yang Liu

Abstract: Adversarial attacks for machine learning models have become a highly studied topic both in academia and industry. These attacks, along with traditional security threats, can compromise confidentiality, integrity, and availability of organization's assets that are dependent on the usage of machine learning models. While it is not easy to predict the types of new attacks that might be developed over… ▽ More Adversarial attacks for machine learning models have become a highly studied topic both in academia and industry. These attacks, along with traditional security threats, can compromise confidentiality, integrity, and availability of organization's assets that are dependent on the usage of machine learning models. While it is not easy to predict the types of new attacks that might be developed over time, it is possible to evaluate the risks connected to using machine learning models and design measures that help in minimizing these risks. In this paper, we outline a novel framework to guide the risk management process for organizations reliant on machine learning models. First, we define sets of evaluation factors (EFs) in the data domain, model domain, and security controls domain. We develop a method that takes the asset and task importance, sets the weights of EFs' contribution to confidentiality, integrity, and availability, and based on implementation scores of EFs, it determines the overall security state in the organization. Based on this information, it is possible to identify weak links in the implemented security measures and find out which measures might be missing completely. We believe our framework can help in addressing the security issues related to usage of machine learning models in organizations and guide them in focusing on the adequate security measures to protect their assets. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Sutured instanton homology and Heegaard diagrams

Authors: John A. Baldwin, Zhenkun Li, Fan Ye

Abstract: Suppose H is an admissible Heegaard diagram for a balanced sutured manifold (M,γ). We prove that the number of generators of the associated sutured Heegaard Floer complex is an upper bound on the dimension of the sutured instanton homology of (M,γ). It follows, in particular, that strong L-spaces are instanton L-spaces. Suppose H is an admissible Heegaard diagram for a balanced sutured manifold (M,γ). We prove that the number of generators of the associated sutured Heegaard Floer complex is an upper bound on the dimension of the sutured instanton homology of (M,γ). It follows, in particular, that strong L-spaces are instanton L-spaces. △ Less

Submitted 18 November, 2020; originally announced November 2020.

Comments: 17 pages, 9 figures

Local energy landscape drives long exciton diffusion in 2D halide perovskite semiconductors

Authors: Alan Baldwin, Géraud Delport, Kai Leng, Rosemonde Chahbazian, Krzysztof Galkowski, Kian ** Loh, Samuel D. Stranks

Abstract: Halide perovskites have emerged as disruptive semiconductors for applications including photovoltaics and light emitting devices, with modular optoelectronic properties realisable through composition and dimensionality tuning. Layered Ruddlesden-Popper perovskites of the form BA2MAn-1PbnI3n+1, where n is the number of lead-halide and methylammonium (MA) sheets spaced by longer butylammonium (BA) c… ▽ More Halide perovskites have emerged as disruptive semiconductors for applications including photovoltaics and light emitting devices, with modular optoelectronic properties realisable through composition and dimensionality tuning. Layered Ruddlesden-Popper perovskites of the form BA2MAn-1PbnI3n+1, where n is the number of lead-halide and methylammonium (MA) sheets spaced by longer butylammonium (BA) cations, are particularly interesting due to their unique two-dimensional character and charge carrier dynamics dominated by strongly bound excitons. However, long-range energy transport through exciton diffusion in these materials is not understood or realised. Here, we employ local time-resolved luminescence map** techniques to visualise exciton transport in high-quality exfoliated flakes of the BA2MAn-1PbnI3n+1 perovskite family. We uncover two distinct transport regimes, depending on the temperature range studied. At temperatures above 100 K, diffusion is mediated by thermally activated hop** processes between localised states. At lower temperatures, a non-uniform energetic landscape emerges in which exciton transport is dominated by energy funnelling processes to lower energy states, leading to long range transport over hundreds of nanometres even in the absence of exciton-phonon coupling and in the presence of local optoelectronic heterogeneity. Efficient, long-range and switchable excitonic funnelling offers exciting possibilities of controlled directional long-range transport in these 2D materials for new device applications. △ Less

Submitted 29 October, 2020; originally announced October 2020.

Instanton Floer homology of almost-rational plumbings

Authors: Antonio Alfieri, John A. Baldwin, Irving Dai, Steven Sivek

Abstract: We show that if $Y$ is the boundary of an almost-rational plumbing, then the framed instanton Floer homology $\smash{I^\#(Y)}$ is isomorphic to the Heegaard Floer homology $\smash{\widehat{\mathit{HF}}(Y; \mathbb{C})}$. This class of 3-manifolds includes all Seifert fibered rational homology spheres with base orbifold $S^2$ (we establish the isomorphism for the remaining Seifert fibered rational h… ▽ More We show that if $Y$ is the boundary of an almost-rational plumbing, then the framed instanton Floer homology $\smash{I^\#(Y)}$ is isomorphic to the Heegaard Floer homology $\smash{\widehat{\mathit{HF}}(Y; \mathbb{C})}$. This class of 3-manifolds includes all Seifert fibered rational homology spheres with base orbifold $S^2$ (we establish the isomorphism for the remaining Seifert fibered rational homology spheres$\unicode{x2014}$with base $\mathbb{RP}^2$$\unicode{x2014}$directly). Our proof utilizes lattice homology, and relies on a decomposition theorem for instanton Floer cobordism maps recently established by Baldwin and Sivek. △ Less

Submitted 7 September, 2022; v1 submitted 8 October, 2020; originally announced October 2020.

Comments: 41 pages, 9 figures; fixed minor typos, to appear in Geometry & Topology

Journal ref: Geom. Topol. 26 (2022) 2237-2294

Fast Molecular Compression by a Hyperthermal Collision Gives Bond-Selective Mechanochemistry

Authors: Lukas Krumbein, Kelvin Anggara, Martina Stella, Tomasz Michnowicz, Hannah Ochner, Sabine Abb, Gordon Rinke, André Portz, Michael Dürr, Uta Schlickum, Andrew Baldwin, Andrea Floris, Klaus Kern, Stephan Rauschenbach

Abstract: Using electrospray ion beam deposition, we collide the complex molecule Reichardt's Dye (C41H30NO+) at low, hyperthermal translational energy (2-50 eV) with a Cu(100) surface and image the outcome at single-molecule level by scanning tunneling microscopy. We observe bond-selective reaction induced by the translational kinetic energy. The collision impulse compresses the molecule and bends specific… ▽ More Using electrospray ion beam deposition, we collide the complex molecule Reichardt's Dye (C41H30NO+) at low, hyperthermal translational energy (2-50 eV) with a Cu(100) surface and image the outcome at single-molecule level by scanning tunneling microscopy. We observe bond-selective reaction induced by the translational kinetic energy. The collision impulse compresses the molecule and bends specific bonds, prompting them to react selectively. This dynamics drives the system to seek thermally inaccessible reactive pathways, since the compression timescale (sub-ps) is much shorter than the thermalization timescale (ns), thereby yielding reaction products that are unobtainable thermally. △ Less

Submitted 14 December, 2020; v1 submitted 8 July, 2020; originally announced July 2020.

Journal ref: Phys. Rev. Lett. 126, 056001 (2021)

Directed Energy Transfer from Monolayer $WS_{2}$ to NIR Emitting PbS-CdS Quantum Dots

Authors: Arelo O. A Tanoh, Nicolas Gauriot, Géraud Delport, James Xiao, Raj Pandya, Joo Young Sung, Jesse Allardice, Zhaojun Li, Cyan A. Williams, Alan Baldwin, Samuel D. Stranks, Akshay Rao

Abstract: Heterostructures of two-dimensional (2D) transition metal dichalcogenides (TMDs) and inorganic semiconducting zero-dimensional (0D) quantum dots (QDs) offer unique charge and energy transfer pathways which could form the basis of novel optoelectronic devices. To date, most has focused on charge transfer and energy transfer from QDs to TMDs, i.e. from 0D to 2D. Here, we present a study of the energ… ▽ More Heterostructures of two-dimensional (2D) transition metal dichalcogenides (TMDs) and inorganic semiconducting zero-dimensional (0D) quantum dots (QDs) offer unique charge and energy transfer pathways which could form the basis of novel optoelectronic devices. To date, most has focused on charge transfer and energy transfer from QDs to TMDs, i.e. from 0D to 2D. Here, we present a study of the energy transfer process from a 2D to 0D material, specifically exploring energy transfer from monolayer tungsten disulphide ($WS_{2}$) to near infrared (NIR) emitting lead sulphide-cadmium sulphide (PbS-CdS) QDs. The high absorption cross section of $WS_{2}$ in the visible region combined with the potentially high photoluminescence (PL) efficiency of PbS QD systems, make this an interesting donor-acceptor system that can effectively use the WS2 as an antenna and the QD as a tuneable emitter, in this case downshifting the emission energy over hundreds of meV. We study the energy transfer process using photoluminescence excitation (PLE) and PL microscopy, and show that 58% of the QD PL arises due to energy transfer from the $WS_{2}$. Time resolved photoluminescence (TRPL) microscopy studies show that the energy transfer process is faster than the intrinsic PL quenching by trap states in the $WS_{2}$, thus allowing for efficient energy transfer. Our results establish that QDs could be used as tuneable and high PL efficiency emitters to modify the emission properties of TMDs. Such TMD/QD heterostructures could have applications in light emitting technologies, artificial light harvesting systems or be used to read out the state of TMD devices optically in various logic and computing applications △ Less

Submitted 3 July, 2020; originally announced July 2020.

Khovanov homology detects the figure-eight knot

Authors: John A. Baldwin, Nathan Dowlin, Adam Simon Levine, Tye Lidman, Radmila Sazdanovic

Abstract: Using Dowlin's spectral sequence from Khovanov homology to knot Floer homology, we prove that reduced Khovanov homology (over $\mathbb{Q}$) detects the figure-eight knot. Using Dowlin's spectral sequence from Khovanov homology to knot Floer homology, we prove that reduced Khovanov homology (over $\mathbb{Q}$) detects the figure-eight knot. △ Less

Submitted 2 July, 2020; originally announced July 2020.

MSC Class: 57K18

Emergence of bimodal motility in active droplets

Authors: Babak Vajdi Hokmabad, Ranabir Dey, Maziyar Jalaal, Devaditya Mohanty, Madina Almukambetova, Kyle A Baldwin, Detlef Lohse, Corinna C Maass

Abstract: To explore and react to their environment, living micro-swimmers have developed sophisticated strategies for locomotion - in particular, motility with multiple gaits. To understand the physical principles associated with such a behavioural variability,synthetic model systems capable of mimicking it are needed. Here, we demonstrate bimodal gait switching in autophoretic droplet swimmers. This minim… ▽ More To explore and react to their environment, living micro-swimmers have developed sophisticated strategies for locomotion - in particular, motility with multiple gaits. To understand the physical principles associated with such a behavioural variability,synthetic model systems capable of mimicking it are needed. Here, we demonstrate bimodal gait switching in autophoretic droplet swimmers. This minimal experimental system is isotropic at rest, a symmetry that can be spontaneously broken due to the nonlinear coupling between hydrodynamic and chemical fields, inducing a variety of flow patterns that lead to different propulsive modes. We report a dynamical transition from quasi-ballistic to bimodal chaotic motion, controlled by the viscosity of the swimming medium. By simultaneous visualisation of the chemical and hydrodynamic fields, supported quantitatively by an advection-diffusion model, we show that higher hydrodynamic modes become excitable with increasing viscosity, while the recurrent mode-switching is driven by the droplet's interaction with self-generated chemical gradients. We further demonstrate that this gradient interaction results in anomalous diffusive swimming akin to self-avoiding spatial exploration strategies observed in nature. △ Less

Submitted 6 March, 2021; v1 submitted 26 May, 2020; originally announced May 2020.

Journal ref: Phys. Rev. X 11, 011043 (2021)

Framed instanton homology and concordance

Authors: John A. Baldwin, Steven Sivek

Abstract: We define two concordance invariants of knots using framed instanton homology. These invariants $ν^\sharp$ and $τ^\sharp$ provide bounds on slice genus and maximum self-linking number, and the latter is a concordance homomorphism which agrees in all known cases with the $τ$ invariant in Heegaard Floer homology. We use $ν^\sharp$ and $τ^\sharp$ to compute the framed instanton homology of all nonzer… ▽ More We define two concordance invariants of knots using framed instanton homology. These invariants $ν^\sharp$ and $τ^\sharp$ provide bounds on slice genus and maximum self-linking number, and the latter is a concordance homomorphism which agrees in all known cases with the $τ$ invariant in Heegaard Floer homology. We use $ν^\sharp$ and $τ^\sharp$ to compute the framed instanton homology of all nonzero rational Dehn surgeries on: 20 of the 35 nontrivial prime knots through 8 crossings, infinite families of twist and pretzel knots, and instanton L-space knots; and of 19 of the first 20 closed hyperbolic manifolds in the Hodgson--Weeks census. In another application, we determine when the cable of a knot is an instanton L-space knot. Finally, we discuss applications to the spectral sequence from odd Khovanov homology to the framed instanton homology of branched double covers, and to the behaviors of $τ^\sharp$ and $τ$ under genus-2 mutation. △ Less

Submitted 14 September, 2021; v1 submitted 18 April, 2020; originally announced April 2020.

Comments: 64 pages, 15 figures; v2: added another family of examples; v3: accepted version, to appear in Journal of Topology

Journal ref: J. Topology 14 (2021), no. 4, 1113-1175

L-space knots are fibered and strongly quasipositive

Authors: John A. Baldwin, Steven Sivek

Abstract: We give a new, conceptually simpler proof of the fact that knots in $S^3$ with positive L-space surgeries are fibered and strongly quasipositive. Our motivation for doing so is that this new proof uses comparatively little Heegaard Floer-specific machinery and can thus be translated to other forms of Floer homology. We carried this out for instanton Floer homology in our recent article "Instantons… ▽ More We give a new, conceptually simpler proof of the fact that knots in $S^3$ with positive L-space surgeries are fibered and strongly quasipositive. Our motivation for doing so is that this new proof uses comparatively little Heegaard Floer-specific machinery and can thus be translated to other forms of Floer homology. We carried this out for instanton Floer homology in our recent article "Instantons and L-space surgeries", and used it to generalize Kronheimer and Mrowka's results on $SU(2)$ representations of fundamental groups of Dehn surgeries. △ Less

Submitted 5 November, 2019; originally announced November 2019.

Comments: 12 pages, 2 figures

Journal ref: Open Book Series 5 (2022) 81-94

Instantons and L-space surgeries

Authors: John A. Baldwin, Steven Sivek

Abstract: We prove that instanton L-space knots are fibered and strongly quasipositive. Our proof differs conceptually from proofs of the analogous result in Heegaard Floer homology, and includes a new decomposition theorem for cobordism maps in framed instanton Floer homology akin to the $\textrm{Spin}^c$ decompositions of cobordism maps in other Floer homology theories. As our main application, we prove (… ▽ More We prove that instanton L-space knots are fibered and strongly quasipositive. Our proof differs conceptually from proofs of the analogous result in Heegaard Floer homology, and includes a new decomposition theorem for cobordism maps in framed instanton Floer homology akin to the $\textrm{Spin}^c$ decompositions of cobordism maps in other Floer homology theories. As our main application, we prove (modulo a mild nondegeneracy condition) that for $r$ a positive rational number and $K$ a nontrivial knot in the $3$-sphere, there exists an irreducible homomorphism \[π_1(S^3_r(K)) \to SU(2)\] unless $r \geq 2g(K)-1$ and $K$ is both fibered and strongly quasipositive, broadly generalizing results of Kronheimer and Mrowka. We also answer a question of theirs from 2004, proving that there is always an irreducible homomorphism from the fundamental group of 4-surgery on a nontrivial knot to $SU(2)$. In another application, we show that a slight enhancement of the A-polynomial detects infinitely many torus knots, including the trefoil. △ Less

Submitted 8 April, 2021; v1 submitted 29 October, 2019; originally announced October 2019.

Comments: 79 pages, 1 figure; v2: accepted version

Journal ref: J. Eur. Math. Soc. 25 (2023), no. 10, 4033-4122

Lagrangian cobordisms and Legendrian invariants in knot Floer homology

Authors: John A. Baldwin, Tye Lidman, C. -M. Michael Wong

Abstract: We prove that the LOSS and GRID invariants of Legendrian links in knot Floer homology behave in certain functorial ways with respect to decomposable Lagrangian cobordisms in the symplectization of the standard contact structure on $\mathbb{R}^3$. Our results give new, computable, and effective obstructions to the existence of such cobordisms. We prove that the LOSS and GRID invariants of Legendrian links in knot Floer homology behave in certain functorial ways with respect to decomposable Lagrangian cobordisms in the symplectization of the standard contact structure on $\mathbb{R}^3$. Our results give new, computable, and effective obstructions to the existence of such cobordisms. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: 28 pages, 16 figures, 1 table

MSC Class: 57R17 (Primary) 57R58; 57R90 (Secondary)

Topological Stabilization and Dynamics of Self-propelling Nematic Shells

Authors: Babak Vajdi Hokmabad, Kyle A. Baldwin, Carsten Krüger, Christian Bahr, Corinna C. Maass

Abstract: Liquid shells (e.g. double emulsions, vesicles etc.) are susceptible to interfacial instability and rupturing when driven out of mechanical equilibrium. This poses a significant challenge for the design of liquid shell based micro-machines, where the goal is to maintain stability and dynamical control in combination with motility. Here we present our solution to this problem with controllable self… ▽ More Liquid shells (e.g. double emulsions, vesicles etc.) are susceptible to interfacial instability and rupturing when driven out of mechanical equilibrium. This poses a significant challenge for the design of liquid shell based micro-machines, where the goal is to maintain stability and dynamical control in combination with motility. Here we present our solution to this problem with controllable self-propelling liquid shells, which we have stabilized using the soft topological constraints imposed by a nematogen oil. We demonstrate, through experiments and simulations, that anisotropic elasticity can counterbalance the destabilizing effect of viscous drag induced by shell motility, and inhibit rupturing. We analyze their propulsion dynamics, and identify a peculiar meandering behavior driven by a combination of topological and chemical spontaneously broken symmetries. Based on our understanding of these symmetry breaking mechanisms, we provide routes to control shell motion via topology, chemical signaling and hydrodynamic interactions. △ Less

Submitted 8 July, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

Journal ref: Phys. Rev. Lett. 123, 178003 (2019)

Khovanov homology detects the Hopf links

Authors: John A. Baldwin, Steven Sivek, Yi Xie

Abstract: We prove that any link in $S^3$ whose Khovanov homology is the same as that of a Hopf link must be isotopic to that Hopf link. This holds for both reduced and unreduced Khovanov homology, and with coefficients in either $\mathbb{Z}$ or $\mathbb{Z}/2\mathbb{Z}$. We prove that any link in $S^3$ whose Khovanov homology is the same as that of a Hopf link must be isotopic to that Hopf link. This holds for both reduced and unreduced Khovanov homology, and with coefficients in either $\mathbb{Z}$ or $\mathbb{Z}/2\mathbb{Z}$. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Comments: 6 pages

Journal ref: Math. Res. Lett. 26 (2019), no. 5, 1281-1290

Magnetic Levitation Stabilized by Streaming Fluid Flows

Authors: K. A. Baldwin, J. -B. de Fouchier, P. Atkinson, R. J. A. Hill, M. R. Swift, D. J. Fairhurst

Abstract: We demonstrate that the ubiquitous laboratory magnetic stirrer provides a simple passive method of magnetic levitation, in which the so-called `flea' levitates indefinitely. We study the onset of levitation and quantify the flea's motion (a combination of vertical oscillation, spinning and "waggling"), finding excellent agreement with a mechanical analytical model. The waggling motion drives recir… ▽ More We demonstrate that the ubiquitous laboratory magnetic stirrer provides a simple passive method of magnetic levitation, in which the so-called `flea' levitates indefinitely. We study the onset of levitation and quantify the flea's motion (a combination of vertical oscillation, spinning and "waggling"), finding excellent agreement with a mechanical analytical model. The waggling motion drives recirculating flow, producing a centripetal reaction force that stabilises the flea. Our findings have implications for the locomotion of artificial swimmers, for the development of bidirectional microfluidic pumps and provide an alternative to sophisticated commercial levitators. △ Less

Submitted 24 May, 2018; v1 submitted 22 May, 2018; originally announced May 2018.

Comments: 5 pages, 3 figures, SI material included as pdf

Journal ref: Phys. Rev. Lett. 121, 064502 (2018)

Khovanov homology detects the trefoils

Authors: John A. Baldwin, Steven Sivek

Abstract: We prove that Khovanov homology detects the trefoils. Our proof incorporates an array of ideas in Floer homology and contact geometry. It uses open books; the contact invariants we defined in the instanton Floer setting; a bypass exact triangle in sutured instanton homology, proven here; and Kronheimer and Mrowka's spectral sequence relating Khovanov homology with singular instanton knot homology.… ▽ More We prove that Khovanov homology detects the trefoils. Our proof incorporates an array of ideas in Floer homology and contact geometry. It uses open books; the contact invariants we defined in the instanton Floer setting; a bypass exact triangle in sutured instanton homology, proven here; and Kronheimer and Mrowka's spectral sequence relating Khovanov homology with singular instanton knot homology. As a byproduct, we also strengthen a result of Kronheimer and Mrowka on $SU(2)$ representations of the knot group. △ Less

Submitted 13 April, 2021; v1 submitted 23 January, 2018; originally announced January 2018.

Comments: 54 pages, 23 figures; v2: accepted version

Journal ref: Duke Math. J. 171 (2022), no. 4, 885-956

A note on the knot Floer homology of fibered knots

Authors: John A. Baldwin, David Shea Vela-Vick

Abstract: We prove that the knot Floer homology of a fibered knot is nontrivial in its next-to-top Alexander grading. Immediate applications include new proofs of Krcatovich's result that knots with $L$-space surgeries are prime and Hedden and Watson's result that the rank of knot Floer homology detects the trefoil among knots in the 3--sphere. We also generalize the latter result, proving a similar theorem… ▽ More We prove that the knot Floer homology of a fibered knot is nontrivial in its next-to-top Alexander grading. Immediate applications include new proofs of Krcatovich's result that knots with $L$-space surgeries are prime and Hedden and Watson's result that the rank of knot Floer homology detects the trefoil among knots in the 3--sphere. We also generalize the latter result, proving a similar theorem for nullhomologous knots in any 3--manifold. We note that our method of proof inspired Baldwin and Sivek's recent proof that Khovanov homology detects the trefoils. As part of this work, we also introduce a numerical refinement of the Ozsváth-Szabó contact invariant. This refinement was the inspiration for Hubbard and Saltz's annular refinement of Plamenevskaya's transverse link invariant in Khovanov homology. △ Less

Submitted 19 January, 2018; originally announced January 2018.

Comments: 18 pages, 5 figures

MSC Class: 57M27; 57R58; 57R17

Journal ref: Algebr. Geom. Topol. 18 (2018) 3669-3690

On the complexity of torus knot recognition

Authors: John A. Baldwin, Steven Sivek

Abstract: We show that the problem of recognizing that a knot diagram represents a specific torus knot, or any torus knot at all, is in the complexity class ${\sf NP} \cap {\sf co\text{-}NP}$, assuming the generalized Riemann hypothesis. We also show that satellite knot detection is in ${\sf NP}$ under the same assumption, and that cabled knot detection and composite knot detection are unconditionally in… ▽ More We show that the problem of recognizing that a knot diagram represents a specific torus knot, or any torus knot at all, is in the complexity class ${\sf NP} \cap {\sf co\text{-}NP}$, assuming the generalized Riemann hypothesis. We also show that satellite knot detection is in ${\sf NP}$ under the same assumption, and that cabled knot detection and composite knot detection are unconditionally in ${\sf NP}$. Our algorithms are based on recent work of Kuperberg and of Lackenby on detecting knottedness. △ Less

Submitted 6 September, 2017; v1 submitted 14 June, 2017; originally announced June 2017.

Comments: 23 pages; v2: reorganized section 2, other minor changes

Journal ref: Trans. Amer. Math. Soc. 371 (2019), no. 6, 3831-3855

HST proper motions in Galactic globular clusters

Authors: Laura L. Watkins, Roeland P. van der Marel, Andrea Bellini, A. T. Baldwin, P. Bianchini, J. Anderson

Abstract: Proper motions (PMs) are crucial to fully understand the internal dynamics of globular clusters (GCs). To that end, the Hubble Space Telescope (HST) Proper Motion (HSTPROMO) collaboration has constructed large, high-quality PM catalogues for 22 Galactic GCs. We highlight some of our exciting recent results: the first directly-measured radial anisotropy profiles for a large sample of GCs; the first… ▽ More Proper motions (PMs) are crucial to fully understand the internal dynamics of globular clusters (GCs). To that end, the Hubble Space Telescope (HST) Proper Motion (HSTPROMO) collaboration has constructed large, high-quality PM catalogues for 22 Galactic GCs. We highlight some of our exciting recent results: the first directly-measured radial anisotropy profiles for a large sample of GCs; the first dynamical distance and mass-to-light (M/L) ratio estimates for a large sample of GCs; and the first dynamically-determined masses for hundreds of blue-straggler stars (BSSs) across a large GC sample. △ Less

Submitted 27 January, 2017; originally announced January 2017.

Comments: 4 pages, 6 figures, conference proceedings from MODEST-16, 18-22 April 2016, Bologna, Italy

Journal ref: Memorie della Societa Astronomica Italiana, v.87, p.610 (2016)

Stein fillings and SU(2) representations

Authors: John A. Baldwin, Steven Sivek

Abstract: We recently defined invariants of contact 3-manifolds using a version of instanton Floer homology for sutured manifolds. In this paper, we prove that if several contact structures on a 3-manifold are induced by Stein structures on a single 4-manifold with distinct Chern classes modulo torsion then their contact invariants in sutured instanton homology are linearly independent. As a corollary, we s… ▽ More We recently defined invariants of contact 3-manifolds using a version of instanton Floer homology for sutured manifolds. In this paper, we prove that if several contact structures on a 3-manifold are induced by Stein structures on a single 4-manifold with distinct Chern classes modulo torsion then their contact invariants in sutured instanton homology are linearly independent. As a corollary, we show that if a 3-manifold bounds a Stein domain that is not an integer homology ball then its fundamental group admits a nontrivial homomorphism to SU(2). We give several new applications of these results, proving the existence of nontrivial and irreducible SU(2) representations for a variety of 3-manifold groups. △ Less

Submitted 17 November, 2016; originally announced November 2016.

Comments: 53 pages, 8 figures

Journal ref: Geom. Topol. 22 (2018) 4307-4380

JLab Measurements of the 3He Form Factors at Large Momentum Transfers

Authors: A. Camsonne, A. T. Katramatou, M. Olson, A. Acha, K. Allada, B. D. Anderson, J. Arrington, A. Baldwin, J. -P. Chen, S. Choi, E. Chudakov, E. Cisbani, B. Craver, P. Decowski, C. Dutta, E. Folts, S. Frullani, F. Garibaldi, R. Gilman, J. Gomez, B. Hahn, J. -O. Hansen, D. W. Higinbotham, T. Holmstrom, J. Huang , et al. (44 additional authors not shown)

Abstract: The charge and magnetic form factors, FC and FM, of 3He have been extracted in the kinematic range 25 fm-2 < Q2 < 61 fm-2 from elastic electron scattering by detecting 3He recoil nuclei and electrons in coincidence with the High Resolution Spectrometers of the Hall A Facility at Jefferson Lab. The measurements are indicative of a second diffraction minimum for the magnetic form factor, which was p… ▽ More The charge and magnetic form factors, FC and FM, of 3He have been extracted in the kinematic range 25 fm-2 < Q2 < 61 fm-2 from elastic electron scattering by detecting 3He recoil nuclei and electrons in coincidence with the High Resolution Spectrometers of the Hall A Facility at Jefferson Lab. The measurements are indicative of a second diffraction minimum for the magnetic form factor, which was predicted in the Q2 range of this experiment, and of a continuing diffractive structure for the charge form factor. The data are in qualitative agreement with theoretical calculations based on realistic interactions and accurate methods to solve the three-body nuclear problem. △ Less

Submitted 24 October, 2016; originally announced October 2016.

Journal ref: Phys. Rev. Lett. 119, 162501 (2017)

Light scattering study of the "pseudo-layer" compression elastic constant in a twist-bend nematic liquid crystal

Authors: Z. Parsouzi, Shokir A. Pardaev, C. Welch, Z. Ahmed, G. H. Mehl, A. R. Baldwin, J. T. Gleeson, O. D. Lavrentovich, D. W. Allender, J. V. Selinger, A. Jakli, S. Sprunt

Abstract: The nematic twist-bend (TB) phase, exhibited by certain achiral thermotropic liquid crystalline (LC) dimers, features a nanometer-scale, heliconical rotation of the average molecular long axis (director) with equally probable left- and right-handed domains. On meso to macroscopic scales, the TB phase may be considered as a stack of equivalent slabs or "pseudo-layers", each one helical pitch in thi… ▽ More The nematic twist-bend (TB) phase, exhibited by certain achiral thermotropic liquid crystalline (LC) dimers, features a nanometer-scale, heliconical rotation of the average molecular long axis (director) with equally probable left- and right-handed domains. On meso to macroscopic scales, the TB phase may be considered as a stack of equivalent slabs or "pseudo-layers", each one helical pitch in thickness. The long wavelength fluctuation modes should then be analogous to those of a smectic-A phase, and in particular the hydrodynamic mode combining "layer" compression and bending ought to be characterized by an effective layer compression elastic constant $B_{eff}$ and average director splay constant $K_1^{eff}$. The magnitude of $K_1^{eff}$ is expected to be similar to the splay constant of an ordinary nematic LC, but due to the absence of a true mass density wave, $B_{eff}$ could differ substantially from the typical value of $\sim 10^6$ Pa in a conventional smectic-A. Here we report the results of a dynamic light scattering study, which confirms the "pseudo-layer" structure of the TB phase with $B_{eff}$ in the range $\sim 10^3-10^4$ Pa. We show additionally that the temperature dependence of $B_{eff}$ at the TB to nematic transition is accurately described by a coarse-grained free energy density, which is based on a Landau-deGennes expansion in terms of a heli-polar order parameter that characterizes the TB state and is linearly coupled to bend distortion of the director. △ Less

Submitted 14 September, 2016; originally announced September 2016.

Comments: 9 pages, 7 figures

Hubble Space Telescope proper motion (HSTPROMO) catalogs of Galactic globular clusters. IV. Kinematic profiles and average masses of blue straggler stars

Authors: A. T. Baldwin, L. L. Watkins, R. P. van der Marel, P. Bianchini, A. Bellini, J. Anderson

Abstract: We make use of the Hubble Space Telescope proper-motion catalogs derived by Bellini et al. (2014) to produce the first radial velocity-dispersion profiles sigma(R) for blue straggler stars (BSSs) in Galactic globular clusters (GCs), as well as the first dynamical estimates for the average mass of the entire BSS population. We show that BSSs typically have lower velocity dispersions than stars with… ▽ More We make use of the Hubble Space Telescope proper-motion catalogs derived by Bellini et al. (2014) to produce the first radial velocity-dispersion profiles sigma(R) for blue straggler stars (BSSs) in Galactic globular clusters (GCs), as well as the first dynamical estimates for the average mass of the entire BSS population. We show that BSSs typically have lower velocity dispersions than stars with mass equal to the main-sequence turnoff mass, as one would expect for a more massive population of stars. Since GCs are expected to experience some degree of energy equipartition, we use the relation sigma~M^-eta, where eta is related to the degree of energy equipartition, along with our velocity-dispersion profiles to estimate BSS masses. We estimate eta as a function of cluster relaxation from recent Monte Carlo cluster simulations by Bianchini et al. (2016b) and then derive an average mass ratio M_BSS /M_MSTO=1.50+/-0.14 and an average mass M_BSS=1.22+/-0.12 M_Sun from 598 BSSs across 19 GCs. The final error bars include any systematic errors that are random between different clusters, but not any potential biases inherent to our methodology. Our results are in good agreement with the average mass of M_BSS=1.22+/-0.06 M_Sun for the 35 BSSs in Galactic GCs in the literature with properties that have allowed individual mass determination. △ Less

Submitted 2 June, 2016; originally announced June 2016.

Comments: 12 pages, 8 figures, 3 tables. Accepted for publication in ApJ

The Rotating Rayleigh-Taylor Instability

Authors: Matthew M. Scase, Kyle A. Baldwin, Richard J. A. Hill

Abstract: The effect of rotation upon the classical two-layer Rayleigh-Taylor instability is considered theoretically and compared with previous experimental results. In particular we consider a two-layer system with an axis of rotation that is perpendicular to the interface between the layers. In general we find that a wave mode's growth rate may be reduced by rotation. We further show that in some cases,… ▽ More The effect of rotation upon the classical two-layer Rayleigh-Taylor instability is considered theoretically and compared with previous experimental results. In particular we consider a two-layer system with an axis of rotation that is perpendicular to the interface between the layers. In general we find that a wave mode's growth rate may be reduced by rotation. We further show that in some cases, unstable axisymmetric wave modes may be stabilized by rotating the system above a critical rotation rate associated with the mode's wavelength, the Atwood number and the flow's aspect ratio. We compare our theory with experiments conducted in a magnetic field using 'heavy' diamagnetic and 'light' paramagnetic fluids and present comparisons between the theoretical predictions and experimental observations. △ Less

Submitted 2 March, 2016; originally announced March 2016.

On the equivalence of contact invariants in sutured Floer homology theories

Authors: John A. Baldwin, Steven Sivek

Abstract: We recently defined an invariant of contact manifolds with convex boundary in Kronheimer and Mrowka's sutured monopole Floer homology theory. Here, we prove that there is an isomorphism between sutured monopole Floer homology and sutured Heegaard Floer homology which identifies our invariant with the contact class defined by Honda, Kazez and Matić in the latter theory. One consequence is that the… ▽ More We recently defined an invariant of contact manifolds with convex boundary in Kronheimer and Mrowka's sutured monopole Floer homology theory. Here, we prove that there is an isomorphism between sutured monopole Floer homology and sutured Heegaard Floer homology which identifies our invariant with the contact class defined by Honda, Kazez and Matić in the latter theory. One consequence is that the Legendrian invariants in knot Floer homology behave functorially with respect to Lagrangian concordance. In particular, these invariants provide computable and effective obstructions to the existence of such concordances. Our work also provides the first proof which does not rely on the relative Giroux correspondence that the vanishing or non-vanishing of Honda, Kazez and Matić's contact class is a well-defined invariant of contact manifolds. △ Less

Submitted 14 July, 2020; v1 submitted 19 January, 2016; originally announced January 2016.

Comments: 63 pages, 13 figures; v2: corrected Lemma 3.3 and subsequent material, many other small changes; v3: accepted version, substantially revised to correct the proof of the main theorem

Journal ref: Geom. Topol. 25 (2021) 1087-1164

Interpreting the Ionization Sequence in Star-Forming Galaxy Emission-Line Spectra

Authors: Chris T. Richardson, James T. Allen, Jack A. Baldwin, Paul C. Hewett, Gary J. Ferland, Anthony Crider, Helen Meskhidze

Abstract: High ionization star forming (SF) galaxies are easily identified with strong emission line techniques such as the BPT diagram, and form an obvious ionization sequence on such diagrams. We use a locally optimally emitting cloud model to fit emission line ratios that constrain the excitation mechanism, spectral energy distribution, abundances and physical conditions along the star-formation ionizati… ▽ More High ionization star forming (SF) galaxies are easily identified with strong emission line techniques such as the BPT diagram, and form an obvious ionization sequence on such diagrams. We use a locally optimally emitting cloud model to fit emission line ratios that constrain the excitation mechanism, spectral energy distribution, abundances and physical conditions along the star-formation ionization sequence. Our analysis takes advantage of the identification of a sample of pure star-forming galaxies, to define the ionization sequence, via mean field independent component analysis. Previous work has suggested that the major parameter controlling the ionization level in SF galaxies is the metallicity. Here we show that the observed SF- sequence could alternatively be interpreted primarily as a sequence in the distribution of the ionizing flux incident on gas spread throughout a galaxy. Metallicity variations remain necessary to model the SF-sequence, however, our best models indicate that galaxies with the highest and lowest observed ionization levels (outside the range -0.37 < log [O III]/H\b{eta} < -0.09) require the variation of an additional physical parameter other than metallicity, which we determine to be the distribution of ionizing flux in the galaxy. △ Less

Submitted 13 January, 2016; originally announced January 2016.

Comments: 41 pages, 17 figures, 9 tables, accepted to MNRAS

Khovanov homology and knot Floer homology for pointed links

Authors: John A. Baldwin, Adam Simon Levine, Sucharit Sarkar

Abstract: A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this paper, we describe a framework that might be used to prove this conjecture. We construct a modified version of Khovanov homology for links with multiple basepoints… ▽ More A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this paper, we describe a framework that might be used to prove this conjecture. We construct a modified version of Khovanov homology for links with multiple basepoints and show that it mimics the behavior of knot Floer homology. We also introduce a new spectral sequence converging to knot Floer homology whose $E_1$ page is conjecturally isomorphic to our new version of Khovanov homology; this would prove that the conjecture stated above holds over the field $\mathbb{Z}_2$. △ Less

Submitted 20 July, 2021; v1 submitted 16 December, 2015; originally announced December 2015.

Comments: Published version. 46 pages, 5 figures

MSC Class: 57M25; 57R58

Journal ref: Journal of Knot Theory and its Ramifications 26 (2017), no. 2

On the functoriality of Khovanov-Floer theories

Authors: John A. Baldwin, Matthew Hedden, Andrew Lobb

Abstract: We introduce the notion of a Khovanov-Floer theory. Roughly, such a theory assigns a filtered chain complex over Z/2 to a link diagram such that (1) the E_2 page of the resulting spectral sequence is naturally isomorphic to the Khovanov homology of the link; (2) this filtered complex behaves nicely under planar isotopy, disjoint union, and 1-handle addition; and (3) the spectral sequence collapses… ▽ More We introduce the notion of a Khovanov-Floer theory. Roughly, such a theory assigns a filtered chain complex over Z/2 to a link diagram such that (1) the E_2 page of the resulting spectral sequence is naturally isomorphic to the Khovanov homology of the link; (2) this filtered complex behaves nicely under planar isotopy, disjoint union, and 1-handle addition; and (3) the spectral sequence collapses at the E_2 page for any diagram of the unlink. We prove that a Khovanov-Floer theory naturally yields a functor from the link cobordism category to the category of spectral sequences. In particular, every page (after E_1) of the spectral sequence accompanying a Khovanov-Floer theory is a link invariant, and an oriented cobordism in R^3 \times [0,1] between links in R^3 induces a map between each page of their spectral sequences, invariant up to smooth isotopy of the cobordism rel boundary. We then show that the spectral sequences relating Khovanov homology to Heegaard Floer homology and singular instanton knot homology are induced by Khovanov-Floer theories and are therefore functorial in the manner described above, as has been conjectured for some time. We further show that Szabo's geometric spectral sequence comes from a Khovanov-Floer theory, and is thus functorial as well. In addition, we illustrate how our framework can be used to give another proof that Lee's spectral sequence is functorial and that Rasmussen's invariant is a knot invariant. Finally, we use this machinery to define some potentially new knot invariants. △ Less

Submitted 18 June, 2018; v1 submitted 15 September, 2015; originally announced September 2015.

Comments: 42 pages. v2: 43 pages, very slight rewrite, role of basepoints treated in more detail

MSC Class: 57M27

Propulsion of a two-sphere swimmer

Authors: Daphne Klotsa, Kyle A. Baldwin, Richard J. A. Hill, Roger M. Bowley, Michael R. Swift

Abstract: We describe experiments and simulations demonstrating the propulsion of a neutrally-buoyant swimmer that consists of a pair of spheres attached by a spring, immersed in a vibrating fluid. The vibration of the fluid induces relative motion of the spheres which, for sufficiently large amplitudes, can lead to motion of the center of mass of the two spheres. We find that the swimming speed obtained fr… ▽ More We describe experiments and simulations demonstrating the propulsion of a neutrally-buoyant swimmer that consists of a pair of spheres attached by a spring, immersed in a vibrating fluid. The vibration of the fluid induces relative motion of the spheres which, for sufficiently large amplitudes, can lead to motion of the center of mass of the two spheres. We find that the swimming speed obtained from both experiment and simulation agree and collapse onto a single curve if plotted as a function of the streaming Reynolds number, suggesting that the propulsion is related to streaming flows. There appears to be a critical onset value of the streaming Reynolds number for swimming to occur. We observe a change in the streaming flows as the Reynolds number increases, from that generated by two independent oscillating spheres to a collective flow pattern around the swimmer as a whole. The mechanism for swimming is traced to a strengthening of a jet of fluid in the wake of the swimmer. △ Less

Submitted 19 July, 2016; v1 submitted 21 January, 2015; originally announced January 2015.

Comments: 5 pages, 4 figures

Short-Timescale monitoring of the X-ray, UV and broad double-peak emission line of the nucleus of NGC 1097

Authors: Jaderson S. Schimoia, Thaisa Storchi-Bergmann, Dirk Grupe, Michael Eracleous, Bradley M. Peterson, Jack A. Baldwin, Rodrigo S. Nemmen, Cláudia Winge

Abstract: Recent studies have suggested that the short-timescale ($\lesssim7$ days) variability of the broad ($\sim$10,000 km s$^{-1}$) double-peaked H$α$ profile of the LINER nucleus of NGC1097 could be driven by a variable X-ray emission from a central radiatively inefficient accretion flow (RIAF). To test this scenario, we have monitored the NGC1097 nucleus in X-ray and UV continuum with Swift and the H… ▽ More Recent studies have suggested that the short-timescale ($\lesssim7$ days) variability of the broad ($\sim$10,000 km s$^{-1}$) double-peaked H$α$ profile of the LINER nucleus of NGC1097 could be driven by a variable X-ray emission from a central radiatively inefficient accretion flow (RIAF). To test this scenario, we have monitored the NGC1097 nucleus in X-ray and UV continuum with Swift and the H$α$ flux and profile in the optical spectrum using SOAR and Gemini-South from 2012 August to 2013 February. During the monitoring campaign, the H$α$ flux remained at a very low level --- 3 times lower than the maximum flux observed in previous campaigns and showing only limited ($\sim 20\%$) variability. The X-ray variations were small, only $\sim 13\%$ throughout the campaign, while the UV did not show significant variations. We concluded that the timescale of the H$α$ profile variation is close to the sampling interval of the optical observations, which results in only marginal correlation between the X-ray and H$α$ fluxes. We have caught the AGN in NGC1097 in a very low activity state, in which the ionizing source was very weak and capable of ionizing just the innermost part of the gas in the disk. Nonetheless, the data presented here still support the picture in which the gas that emits the broad double-peaked Balmer lines is illuminated/ionized by a source of high-energy photons which is located interior to the inner radius of the line-emitting part of the disk. △ Less

Submitted 17 November, 2014; originally announced November 2014.

Comments: The paper contains 14 pages, 7 figures and is accepted for publication at the Astrophysical Journal

Unusual Magnetic Response of an $S = 1$ Antiferromagetic Linear-Chain Material

Authors: Jian-Sheng Xia, Andrzej Ozarowski, Peter M. Spurgeon, Adora G. Baldwin, Jamie L. Manson, Mark W. Meisel

Abstract: An $S=1$ antiferromagnetic polymeric chain, [Ni(HF$_2$)(3-Clpy)$_4$]BF$_4$ (py = pyridine), has previously been identified to have intrachain, nearest-neighbor antiferromagnetic interaction strength $J/k_{\mathrm{B}} = 4.86$ K and single-ion anisotropy (zero-field splitting) $D/k_{\mathrm{B}} = 4.3$ K, so the ratio $D/J = 0.88$ places this system close to the $D/J \approx 1$ gapless critical point… ▽ More An $S=1$ antiferromagnetic polymeric chain, [Ni(HF$_2$)(3-Clpy)$_4$]BF$_4$ (py = pyridine), has previously been identified to have intrachain, nearest-neighbor antiferromagnetic interaction strength $J/k_{\mathrm{B}} = 4.86$ K and single-ion anisotropy (zero-field splitting) $D/k_{\mathrm{B}} = 4.3$ K, so the ratio $D/J = 0.88$ places this system close to the $D/J \approx 1$ gapless critical point between the topologically distinct Haldane and Large-$D$ phases. The magnetization was studied over a range of temperatures, 50 mK $\leq T \leq 1$ K, and magnetic fields, $B \leq 10$ T, in an attempt to identify a critical field, $B_{\mathrm{c}}$, associated with the closing of the Haldane gap, and the present work places an upper bound of $B_{\mathrm{c}} \leq (35 \pm 10)$ mT. At higher fields, the observed magnetic response is qualitatively similar to the "excess" signal observed by other workers at 0.5 K and below 3 T. The high-field (up to 14.5 T), multi-frequency (nomially 200 GHz to 425 GHz) ESR spectra at 3 K reveal several broad features considered to be associated with the linear-chain sample. △ Less

Submitted 21 September, 2014; originally announced September 2014.

Comments: 5 pages, 4 figures

Variability of Optical Counterparts in the Chandra Galactic Bulge Survey

Authors: Christopher T. Britt, R. I. Hynes, C. B. Johnson, A. Baldwin, P. G. Jonker, G. Nelemans, M. A. P. Torres, T. Maccarone, D. Steeghs, S. Greiss, C. Heinke, C. G. Bassa, A. Collazzi, A. Villar, M. Gabb, L. Gossen

Abstract: We present optical lightcurves of variable stars consistent with the positions of X-ray sources identified with the Chandra X-ray Observatory for the Chandra Galactic Bulge Survey. Using data from the Mosaic-II instrument on the Blanco 4m Telescope at CTIO, we gathered time-resolved photometric data on timescales from $\sim2$ hr to 8 days over the $\frac{3}{4}$ of the X-ray survey containing sourc… ▽ More We present optical lightcurves of variable stars consistent with the positions of X-ray sources identified with the Chandra X-ray Observatory for the Chandra Galactic Bulge Survey. Using data from the Mosaic-II instrument on the Blanco 4m Telescope at CTIO, we gathered time-resolved photometric data on timescales from $\sim2$ hr to 8 days over the $\frac{3}{4}$ of the X-ray survey containing sources from the initial GBS catalog. Among the lightcurve morphologies we identify are flickering in interacting binaries, eclipsing sources, dwarf nova outbursts, ellipsoidal variations, long period variables, spotted stars, and flare stars. $87\%$ of X-ray sources have at least one potential optical counterpart. $24\%$ of these candidate counterparts are detectably variable; a much greater fraction than expected for randomly selected field stars, which suggests that most of these variables are real counterparts. We discuss individual sources of interest, provide variability information on candidate counterparts, and discuss the characteristics of the variable population. △ Less

Submitted 9 July, 2014; v1 submitted 8 July, 2014; originally announced July 2014.

Comments: Accepted for publication in the Astrophysical Journal Supplements

Instanton Floer homology and contact structures

Authors: John A. Baldwin, Steven Sivek

Abstract: We define an invariant of contact 3-manifolds with convex boundary using Kronheimer and Mrowka's sutured instanton Floer homology theory. To the best of our knowledge, this is the first invariant of contact manifolds -- with or without boundary -- defined in the instanton Floer setting. We prove that our invariant vanishes for overtwisted contact structures and is nonzero for contact manifolds wit… ▽ More We define an invariant of contact 3-manifolds with convex boundary using Kronheimer and Mrowka's sutured instanton Floer homology theory. To the best of our knowledge, this is the first invariant of contact manifolds -- with or without boundary -- defined in the instanton Floer setting. We prove that our invariant vanishes for overtwisted contact structures and is nonzero for contact manifolds with boundary which embed into Stein fillable contact manifolds. Moreover, we propose a strategy by which our contact invariant might be used to relate the fundamental group of a closed contact 3-manifold to properties of its Stein fillings. Our construction is inspired by a reformulation of a similar invariant in the monopole Floer setting defined by the authors in [1]. △ Less

Submitted 13 May, 2014; originally announced May 2014.

Comments: 32 pages, 7 figures; this paper was originally part of arXiv:1403.1930

Journal ref: Selecta Math. 22 (2016), no. 2, 939--978