-
Fukaya categories of hyperplane arrangements
Authors:
Sukjoo Lee,
Yin Li,
Si-Yang Liu,
Cheuk Yu Mak
Abstract:
To a simple polarized hyperplane arrangement (not necessarily cyclic) $\mathbb{V}$, one can associate a stopped Liouville manifold (equivalently, a Liouville sector) $\left(M(\mathbb{V}),ξ\right)$, where $M(\mathbb{V})$ is the complement of finitely many hyperplanes in $\mathbb{C}^d$, obtained as the complexifications of the real hyperplanes in $\mathbb{V}$. The Liouville structure on…
▽ More
To a simple polarized hyperplane arrangement (not necessarily cyclic) $\mathbb{V}$, one can associate a stopped Liouville manifold (equivalently, a Liouville sector) $\left(M(\mathbb{V}),ξ\right)$, where $M(\mathbb{V})$ is the complement of finitely many hyperplanes in $\mathbb{C}^d$, obtained as the complexifications of the real hyperplanes in $\mathbb{V}$. The Liouville structure on $M(\mathbb{V})$ comes from a very affine embedding, and the stop $ξ$ is determined by the polarization. In this article, we study the symplectic topology of $\left(M(\mathbb{V}),ξ\right)$. In particular, we prove that their partially wrapped Fukaya categories are generated by Lagrangian submanifolds associated to the bounded and feasible chambers of $\mathbb{V}$. A computation of the Fukaya $A_\infty$-algebra of these Lagrangians then enables us to identity these wrapped Fukaya categories with the $\mathbb{G}_m^d$-equivariant hypertoric convolution algebras $\widetilde{B}(\mathbb{V})$ associated to $\mathbb{V}$. This confirms a conjecture of Lauda-Licata-Manion (arXiv:2009.03981) and provides evidence for the general conjecture of Lekili-Segal (arXiv:2304.10969) on the equivariant Fukaya categories of symplectic manifolds with Hamiltonian torus actions.
△ Less
Submitted 3 June, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Automatic Build Repair for Test Cases using Incompatible Java Versions
Authors:
Ching Hang Mak,
Shing-Chi Cheung
Abstract:
Context: Bug bisection is a common technique used to identify a revision that introduces a bug or indirectly fixes a bug, and often involves executing multiple revisions of a project to determine whether the bug is present within the revision. However, many legacy revisions often cannot be successfully compiled due to changes in the programming language or tools used in the compilation process, ad…
▽ More
Context: Bug bisection is a common technique used to identify a revision that introduces a bug or indirectly fixes a bug, and often involves executing multiple revisions of a project to determine whether the bug is present within the revision. However, many legacy revisions often cannot be successfully compiled due to changes in the programming language or tools used in the compilation process, adding complexity and preventing automation in the bisection process.
Objective: In this paper, we introduce an approach to repair test cases of Java projects by performing dependency minimization. Our approach aims to remove classes and methods that are not required for the execution of one or more test cases. Unlike existing state-of-the-art techniques, our approach performs minimization at source-level, which allows compile-time errors to be fixed.
Method: A standalone Java tool implementing our technique was developed, and we evaluated our technique using subjects from Defects4J retargeted against Java 8 and 17.
Results: Our evaluation showed that a majority of subjects can be repaired solely by performing minimization, including replicating the test results of the original version. Furthermore, our technique is also shown to achieve accurate minimized results, while only adding a small overhead to the bisection process.
Conclusion: Our proposed technique is shown to be effective for repairing build failures with minimal overhead, making it suitable for use in automated bug bisection. Our tool can also be adapted for use cases such as bug corpus creation and refactoring.
△ Less
Submitted 3 May, 2024; v1 submitted 27 April, 2024;
originally announced April 2024.
-
Implantable silicon neural probes with nanophotonic phased arrays for single-lobe beam steering
Authors:
Fu-Der Chen,
Ankita Sharma,
Tianyuan Xue,
Youngho Jung,
Alperen Govdeli,
Jason C. C. Mak,
Homeira Moradi Chameh,
Mandana Movahed,
Michael G. K. Brunk,
Xianshu Luo,
Hongyao Chua,
Patrick Guo-Qiang Lo,
Taufik A Valiante,
Wesley D. Sacher,
Joyce K. S. Poon
Abstract:
In brain activity map** experiments using optogenetics, patterned illumination is crucial for deterministic and localized stimulation of neurons. However, due to optical scattering in brain tissue, light-emitting implantable devices are needed to bring precise patterned illumination to deep brain regions. A promising solution is silicon neural probes with integrated nanophotonic circuits that fo…
▽ More
In brain activity map** experiments using optogenetics, patterned illumination is crucial for deterministic and localized stimulation of neurons. However, due to optical scattering in brain tissue, light-emitting implantable devices are needed to bring precise patterned illumination to deep brain regions. A promising solution is silicon neural probes with integrated nanophotonic circuits that form tailored beam emission patterns without lenses. Here, we demonstrate neural probes with grating-based light emitters that generate a single steerable light beam across $> 60\%$ of the steering range with $\ge 4$ dB of background suppression for optogenetic photostimulation. The light emitters, optimized for blue or amber light, combine end-fire optical phased arrays with slab gratings to suppress higher-order sidelobes.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Treatment Outcome Prediction for Intracerebral Hemorrhage via Generative Prognostic Model with Imaging and Tabular Data
Authors:
Wenao Ma,
Cheng Chen,
Jill Abrigo,
Calvin Hoi-Kwan Mak,
Yuqi Gong,
Nga Yan Chan,
Chu Han,
Zaiyi Liu,
Qi Dou
Abstract:
Intracerebral hemorrhage (ICH) is the second most common and deadliest form of stroke. Despite medical advances, predicting treat ment outcomes for ICH remains a challenge. This paper proposes a novel prognostic model that utilizes both imaging and tabular data to predict treatment outcome for ICH. Our model is trained on observational data collected from non-randomized controlled trials, providin…
▽ More
Intracerebral hemorrhage (ICH) is the second most common and deadliest form of stroke. Despite medical advances, predicting treat ment outcomes for ICH remains a challenge. This paper proposes a novel prognostic model that utilizes both imaging and tabular data to predict treatment outcome for ICH. Our model is trained on observational data collected from non-randomized controlled trials, providing reliable predictions of treatment success. Specifically, we propose to employ a variational autoencoder model to generate a low-dimensional prognostic score, which can effectively address the selection bias resulting from the non-randomized controlled trials. Importantly, we develop a variational distributions combination module that combines the information from imaging data, non-imaging clinical data, and treatment assignment to accurately generate the prognostic score. We conducted extensive experiments on a real-world clinical dataset of intracerebral hemorrhage. Our proposed method demonstrates a substantial improvement in treatment outcome prediction compared to existing state-of-the-art approaches. Code is available at https://github.com/med-air/TOP-GPM
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Hameomorphism Groups of Positive Genus Surfaces
Authors:
Cheuk Yu Mak,
Ibrahim Trifa
Abstract:
In their previous works arXiv:2105.11026, arXiv:2206.10749, Cristofaro-Gardiner, Humilière, Mak, Seyfaddini and Smith defined links spectral invariants on connected compact surfaces and used them to show various results on the algebraic structure of the group of area-preserving homeomorphisms of surfaces, particularly in cases where the surfaces have genus zero. We show that on surfaces with highe…
▽ More
In their previous works arXiv:2105.11026, arXiv:2206.10749, Cristofaro-Gardiner, Humilière, Mak, Seyfaddini and Smith defined links spectral invariants on connected compact surfaces and used them to show various results on the algebraic structure of the group of area-preserving homeomorphisms of surfaces, particularly in cases where the surfaces have genus zero. We show that on surfaces with higher genus, for a certain class of links, the invariants will satisfy a local quasimorphism property. Subsequently, we generalize their results to surfaces of any genus. This extension includes the non-simplicity of (i) the group of hameomorphisms of a closed surface, and (ii) the kernel of the Calabi homomorphism inside the group of hameomorphisms of a surface with non-empty boundary. Moreover, we prove that the Calabi homomorphism extends (non-canonically) to the $C^0$-closure of the set of Hamiltonian diffeomorphisms of any surface. The local quasimorphism property is a consequence of a quantitative Künneth formula for a connected sum in Heegaard Floer homology, inspired by results of Ozsváth and Szabó.
△ Less
Submitted 15 June, 2023; v1 submitted 10 June, 2023;
originally announced June 2023.
-
Coulomb branch algebras via symplectic cohomology
Authors:
Eduardo Gonzalez,
Cheuk Yu Mak,
Daniel Pomerleano
Abstract:
Let $(\bar{M}, ω)$ be a compact symplectic manifold with convex boundary and $c_1(T\bar{M})=0$. Suppose that $(\bar{M}, ω)$ is equipped with a convex Hamiltonian $G$-action for some connected, compact Lie group $G$. We construct an action of the pure Coulomb branch of $G$ on the $G$-equivariant symplectic cohomology of $\bar{M}.$ Building on work of Teleman, we use this construction to characteriz…
▽ More
Let $(\bar{M}, ω)$ be a compact symplectic manifold with convex boundary and $c_1(T\bar{M})=0$. Suppose that $(\bar{M}, ω)$ is equipped with a convex Hamiltonian $G$-action for some connected, compact Lie group $G$. We construct an action of the pure Coulomb branch of $G$ on the $G$-equivariant symplectic cohomology of $\bar{M}.$ Building on work of Teleman, we use this construction to characterize the Coulomb branches of Braverman-Finkelberg-Nakajima in terms of equivariant symplectic cohomology.
△ Less
Submitted 7 May, 2023;
originally announced May 2023.
-
A characterization of heaviness in terms of relative symplectic cohomology
Authors:
Cheuk Yu Mak,
Yuhan Sun,
Umut Varolgunes
Abstract:
For a compact subset $K$ of a closed symplectic manifold $(M, ω)$, we prove that $K$ is heavy if and only if its relative symplectic cohomology over the Novikov field is non-zero. As an application we show that if two compact sets are not heavy and Poisson commuting, then their union is also not heavy. A discussion on superheaviness together with some partial results are also included.
For a compact subset $K$ of a closed symplectic manifold $(M, ω)$, we prove that $K$ is heavy if and only if its relative symplectic cohomology over the Novikov field is non-zero. As an application we show that if two compact sets are not heavy and Poisson commuting, then their union is also not heavy. A discussion on superheaviness together with some partial results are also included.
△ Less
Submitted 5 February, 2024; v1 submitted 29 January, 2023;
originally announced January 2023.
-
Microwave heating as a universal method to transform confined molecules into armchair graphene nanoribbons
Authors:
Haoyuan Zhang,
Yingzhi Chen,
Kunpeng Tang,
Ziheng Lin,
Xuan Li,
Hongwei Zhang,
Yifan Zhang,
Takeshi Saito,
Chi Ho Wong,
Chi Wah Leung,
Chee Leung Mak,
Yuan Hu,
Weili Cui,
Kecheng Cao,
Lei Shi
Abstract:
Armchair graphene nanoribbons (AGNRs) with sub-nanometer width are potential materials for fabrication of novel nanodevices thanks to their moderate direct band gaps. AGNRs are usually synthesized by polymerizing precursor molecules on substrate surface. However, it is time-consuming and not suitable for large-scale production. AGNRs can also be grown by transforming precursor molecules inside sin…
▽ More
Armchair graphene nanoribbons (AGNRs) with sub-nanometer width are potential materials for fabrication of novel nanodevices thanks to their moderate direct band gaps. AGNRs are usually synthesized by polymerizing precursor molecules on substrate surface. However, it is time-consuming and not suitable for large-scale production. AGNRs can also be grown by transforming precursor molecules inside single-walled carbon nanotubes via furnace annealing, but the obtained AGNRs are normally twisted. In this work, microwave heating is applied for transforming precursor molecules into AGNRs. The fast heating process allows synthesizing the AGNRs in seconds. Several different molecules were successfully transformed into AGNRs, suggesting that it is a universal method. More importantly, as demonstrated by Raman spectroscopy, aberration-corrected high-resolution transmission electron microscopy and theoretical calculations, less twisted AGNRs are synthesized by the microwave heating than the furnace annealing. Our results reveal a route for rapid production of AGNRs in large scale, which would benefit future applications in novel AGNRs-based semiconductor devices.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
Simulation of environmental impacts on the synthesis of carbyne with more than 6000 atoms for emerging continuously tunable energy barriers in CNT-based transistors
Authors:
Chi Ho Wong,
Yan Ming Yeung,
Xin Zhao,
Wing Cheung Law,
Chak-yin Tang,
Chee Leung Mak,
Chi Wah Leung,
Lei Shi,
Rolf Lortz
Abstract:
Transistors made up of carbon nanotubes CNT have demonstrated excellent current-voltage characteristics which outperform some high-grade silicon-based transistors. A continuously tunable energy barrier across semiconductor interfaces is desired to make the CNT-based transistors more robust. Despite the direct band gap of carbyne inside a CNT can be widely tuned by strain, the size of carbyne canno…
▽ More
Transistors made up of carbon nanotubes CNT have demonstrated excellent current-voltage characteristics which outperform some high-grade silicon-based transistors. A continuously tunable energy barrier across semiconductor interfaces is desired to make the CNT-based transistors more robust. Despite the direct band gap of carbyne inside a CNT can be widely tuned by strain, the size of carbyne cannot be controlled easily. The production of a monoatomic chain with more than 6000 carbon atoms is an enormous technological challenge. To predict the optimal chain length of a carbyne in different molecular environments, we have developed a Monte Carlo model in which a finite-length carbyne with a size of 4000-15000 atoms is encapsulated by a CNT at finite temperatures. Our simulation shows that the stability of the carbyne@nanotube is strongly influenced by the nature and porosity of the CNT, the external pressure, the temperature and the chain length. We have observed an initiation of chain-breaking process in a compressed carbyne@nanotube. Our work provides much needed input for optimising the carbyne length to produce carbon chains much longer than 6000 atoms at ~300K. Design rules are proposed for synthesizing ~1% strained carbyne@(6,5)CNT as a component in CNT-based transistors to tune the energy barriers continuously.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
Diffusion Model based Semi-supervised Learning on Brain Hemorrhage Images for Efficient Midline Shift Quantification
Authors:
Shizhan Gong,
Cheng Chen,
Yuqi Gong,
Nga Yan Chan,
Wenao Ma,
Calvin Hoi-Kwan Mak,
Jill Abrigo,
Qi Dou
Abstract:
Brain midline shift (MLS) is one of the most critical factors to be considered for clinical diagnosis and treatment decision-making for intracranial hemorrhage. Existing computational methods on MLS quantification not only require intensive labeling in millimeter-level measurement but also suffer from poor performance due to their dependence on specific landmarks or simplified anatomical assumptio…
▽ More
Brain midline shift (MLS) is one of the most critical factors to be considered for clinical diagnosis and treatment decision-making for intracranial hemorrhage. Existing computational methods on MLS quantification not only require intensive labeling in millimeter-level measurement but also suffer from poor performance due to their dependence on specific landmarks or simplified anatomical assumptions. In this paper, we propose a novel semi-supervised framework to accurately measure the scale of MLS from head CT scans. We formulate the MLS measurement task as a deformation estimation problem and solve it using a few MLS slices with sparse labels. Meanwhile, with the help of diffusion models, we are able to use a great number of unlabeled MLS data and 2793 non-MLS cases for representation learning and regularization. The extracted representation reflects how the image is different from a non-MLS image and regularization serves an important role in the sparse-to-dense refinement of the deformation field. Our experiment on a real clinical brain hemorrhage dataset has achieved state-of-the-art performance and can generate interpretable deformation fields.
△ Less
Submitted 1 January, 2023;
originally announced January 2023.
-
Nonparametric Involutive Markov Chain Monte Carlo
Authors:
Carol Mak,
Fabian Zaiser,
Luke Ong
Abstract:
A challenging problem in probabilistic programming is to develop inference algorithms that work for arbitrary programs in a universal probabilistic programming language (PPL). We present the nonparametric involutive Markov chain Monte Carlo (NP-iMCMC) algorithm as a method for constructing MCMC inference algorithms for nonparametric models expressible in universal PPLs. Building on the unifying in…
▽ More
A challenging problem in probabilistic programming is to develop inference algorithms that work for arbitrary programs in a universal probabilistic programming language (PPL). We present the nonparametric involutive Markov chain Monte Carlo (NP-iMCMC) algorithm as a method for constructing MCMC inference algorithms for nonparametric models expressible in universal PPLs. Building on the unifying involutive MCMC framework, and by providing a general procedure for driving state movement between dimensions, we show that NP-iMCMC can generalise numerous existing iMCMC algorithms to work on nonparametric models. We prove the correctness of the NP-iMCMC sampler. Our empirical study shows that the existing strengths of several iMCMC algorithms carry over to their nonparametric extensions. Applying our method to the recently proposed Nonparametric HMC, an instance of (Multiple Step) NP-iMCMC, we have constructed several nonparametric extensions (all of which new) that exhibit significant performance improvements.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
Some cute applications of Lagrangian cobordisms towards examples in quantitative symplectic geometry
Authors:
Jeff Hicks,
Cheuk Yu Mak
Abstract:
We provide some constructions using Lagrangian cobordisms which improve known examples for some symplectic squeezing problems. Additionally, we prove a flexibility result that Lagrangian submanifolds which are Lagrangian isotopic are also Lagrangian cobordant.
We provide some constructions using Lagrangian cobordisms which improve known examples for some symplectic squeezing problems. Additionally, we prove a flexibility result that Lagrangian submanifolds which are Lagrangian isotopic are also Lagrangian cobordant.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Microcantilever-integrated photonic circuits for broadband laser beam scanning
Authors:
Saeed Sharif Azadeh,
Jason C. C. Mak,
Hong Chen,
Xianshu Luo,
Fu-Der Chen,
Hongyao Chua,
Frank Weiss,
Christopher Alexiev,
Andrei Stalmashonak,
Youngho Jung,
John N. Straguzzi,
Guo-Qiang Lo,
Wesley D. Sacher,
Joyce K. S. Poon
Abstract:
Laser beam scanning is central to many applications, including displays, microscopy, three-dimensional map**, and quantum information. Reducing the scanners to microchip form factors has spurred the development of very-large-scale photonic integrated circuits of optical phased arrays and focal plane switched arrays. An outstanding challenge remains to simultaneously achieve a compact footprint,…
▽ More
Laser beam scanning is central to many applications, including displays, microscopy, three-dimensional map**, and quantum information. Reducing the scanners to microchip form factors has spurred the development of very-large-scale photonic integrated circuits of optical phased arrays and focal plane switched arrays. An outstanding challenge remains to simultaneously achieve a compact footprint, broad wavelength operation, and low power consumption. Here, we introduce a laser beam scanner that meets these requirements. Using microcantilevers embedded with silicon nitride nanophotonic circuitry, we demonstrate broadband, one- and two-dimensional steering of light with wavelengths from 410 nm to 700 nm. The microcantilevers have ultracompact ~0.1 mm$^2$ areas, consume ~31 to 46 mW of power, are simple to control, and emit a single light beam. The microcantilevers are monolithically integrated in an active photonic platform on 200-mm silicon wafers. The microcantilever-integrated photonic circuits miniaturize and simplify light projectors to enable versatile, power-efficient, and broadband laser scanner microchips.
△ Less
Submitted 11 October, 2022; v1 submitted 25 July, 2022;
originally announced July 2022.
-
Subleading asymptotics of link spectral invariants and homeomorphism groups of surfaces
Authors:
Dan Cristofaro-Gardiner,
Vincent Humilière,
Cheuk Yu Mak,
Sobhan Seyfaddini,
Ivan Smith
Abstract:
In previous work, we defined "link spectral invariants" for any compact surface and used these to study the algebraic structure of the group of area-preserving homeomorphisms; in particular, we showed that the kernel of Fathi's mass-flow homomorphism is never simple. A key idea for this was a kind of Weyl law, showing that asymptotically the link spectral invariants recover the classical Calabi in…
▽ More
In previous work, we defined "link spectral invariants" for any compact surface and used these to study the algebraic structure of the group of area-preserving homeomorphisms; in particular, we showed that the kernel of Fathi's mass-flow homomorphism is never simple. A key idea for this was a kind of Weyl law, showing that asymptotically the link spectral invariants recover the classical Calabi invariant.
In the present work, we use the subleading asymptotics in this Weyl law to learn more about the algebraic structure of these homeomorphism groups in the genus zero case. In particular, when the surface has boundary, we show that the kernel of the Calabi homomorphism on the group of hameomorphisms is not simple, answering an old question of Oh and Müller; this contrasts the smooth case, where the kernel of Calabi is simple. We similarly show that the group of hameomorphisms of the two-sphere is not simple. Related considerations allow us to extend the Calabi homomorphism to the full group of compactly supported area-preserving homeomorphisms, answering a longstanding question of Fathi. In fact, we produce infinitely many distinct extensions.
Central to the applications is that we show that the subleading asymptotics for smooth, possibly time-dependent, Hamiltonians are always $O(1)$, and for certain autonomous maps recover the Ruelle invariant. The construction of a hameomorphism with "infinite Ruelle invariant" then shows that a normal subgroup with $O(1)$ subleading asymptotics is proper.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
Monolithically integrated, broadband, high-efficiency silicon nitride-on-silicon waveguide photodetectors in a visible-light integrated photonics platform
Authors:
Yiding Lin,
Zheng Yong,
Xianshu Luo,
Saeed Sharif Azadeh,
Jared Mikkelsen,
Ankita Sharma,
Hong Chen,
Jason C. C. Mak,
Patrick G. -Q. Lo,
Wesley D. Sacher,
Joyce K. S. Poon
Abstract:
Visible and near-infrared spectrum photonic integrated circuits are quickly becoming a key technology to address the scaling challenges in quantum information and biosensing. Thus far, integrated photonic platforms in this spectral range have lacked integrated photodetectors. Here, we report the first silicon nitride-on-silicon waveguide photodetectors that are monolithically integrated in a visib…
▽ More
Visible and near-infrared spectrum photonic integrated circuits are quickly becoming a key technology to address the scaling challenges in quantum information and biosensing. Thus far, integrated photonic platforms in this spectral range have lacked integrated photodetectors. Here, we report the first silicon nitride-on-silicon waveguide photodetectors that are monolithically integrated in a visible light photonic platform on silicon. Owing to a leaky-wave silicon nitride-on-silicon design, the devices achieved a high external quantum efficiency of > 60% across a record wavelength span from $λ$ ~400 nm to ~640 nm, an opto-electronic bandwidth up to 9 GHz, and an avalanche gain-bandwidth product up to 173 $\pm$ 30 GHz. As an example, a photodetector was integrated with a wavelength-tunable microring in a single chip for on-chip power monitoring.
△ Less
Submitted 21 September, 2022; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Affine nil-Hecke algebras and Quantum cohomology
Authors:
Eduardo González,
Cheuk Yu Mak,
Dan Pomerleano
Abstract:
Let $G$ be a compact, connected Lie group and $T \subset G$ a maximal torus. Let $(M,ω)$ be a monotone closed symplectic manifold equipped with a Hamiltonian action of $G$. We construct a module action of the affine nil-Hecke algebra $\hat{H}_*^{S^1 \times T}(LG/T)$ on the $S^1 \times T$-equivariant quantum cohomology of $M$, $QH^*_{S^1 \times T}(M).$ Our construction generalizes the theory of shi…
▽ More
Let $G$ be a compact, connected Lie group and $T \subset G$ a maximal torus. Let $(M,ω)$ be a monotone closed symplectic manifold equipped with a Hamiltonian action of $G$. We construct a module action of the affine nil-Hecke algebra $\hat{H}_*^{S^1 \times T}(LG/T)$ on the $S^1 \times T$-equivariant quantum cohomology of $M$, $QH^*_{S^1 \times T}(M).$ Our construction generalizes the theory of shift operators for Hamiltonian torus actions [OP,LJ]. We show that, as in the abelian case, this action behaves well with respect to the quantum connection. As an application of our construction, we show that when $G$ is semi-simple, the $G$-equivariant quantum cohomology $QH_G^*(M)$ defines a canonical holomorphic Lagrangian subvariety $\mathbb{L}_G(M) \hookrightarrow BFM(G_{\mathbb{C}}^{\vee})$ in the BFM-space of the Langlands dual group, confirming an expectation of Teleman from [T1].
△ Less
Submitted 29 April, 2022; v1 submitted 11 February, 2022;
originally announced February 2022.
-
Ab Initio Nucleic Acid Folding Simulations Using a Physics-Based Atomistic Free Energy Model
Authors:
Chi H. Mak
Abstract:
Performing full-resolution atomistic simulations of nucleic acid folding has remained a challenge for biomolecular modeling. Understanding how nucleic acids fold and how they transition between different folded structures as they unfold and refold has important implications for biology. This paper reports a theoretical model and computer simulation of the ab initio folding of DNA inverted repeat s…
▽ More
Performing full-resolution atomistic simulations of nucleic acid folding has remained a challenge for biomolecular modeling. Understanding how nucleic acids fold and how they transition between different folded structures as they unfold and refold has important implications for biology. This paper reports a theoretical model and computer simulation of the ab initio folding of DNA inverted repeat sequences. The formulation is based on an all-atom conformational model of the sugar-phosphate backbone via chain closure, and it incorporates three major molecular-level driving forces - base stacking, counterion-induced backbone self-interactions and base pairing - via separate analytical theories designed to capture and reproduce the effects of the solvent without requiring explicit water and ions in the simulation. To accelerate computational throughput, a mixed numerical/analytical algorithm for the calculation of the backbone conformational volume is incorporated into the Monte Carlo simulation, and special stochastic sampling techniques were employed to achieve the computational efficiency needed to fold nucleic acids from scratch. This paper describes implementation details, benchmark results and the advantages and technical challenges with this approach.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
Nonparametric Hamiltonian Monte Carlo
Authors:
Carol Mak,
Fabian Zaiser,
Luke Ong
Abstract:
Probabilistic programming uses programs to express generative models whose posterior probability is then computed by built-in inference engines. A challenging goal is to develop general purpose inference algorithms that work out-of-the-box for arbitrary programs in a universal probabilistic programming language (PPL). The densities defined by such programs, which may use stochastic branching and r…
▽ More
Probabilistic programming uses programs to express generative models whose posterior probability is then computed by built-in inference engines. A challenging goal is to develop general purpose inference algorithms that work out-of-the-box for arbitrary programs in a universal probabilistic programming language (PPL). The densities defined by such programs, which may use stochastic branching and recursion, are (in general) nonparametric, in the sense that they correspond to models on an infinite-dimensional parameter space. However standard inference algorithms, such as the Hamiltonian Monte Carlo (HMC) algorithm, target distributions with a fixed number of parameters. This paper introduces the Nonparametric Hamiltonian Monte Carlo (NP-HMC) algorithm which generalises HMC to nonparametric models. Inputs to NP-HMC are a new class of measurable functions called "tree representable", which serve as a language-independent representation of the density functions of probabilistic programs in a universal PPL. We provide a correctness proof of NP-HMC, and empirically demonstrate significant performance improvements over existing approaches on several nonparametric examples.
△ Less
Submitted 1 November, 2022; v1 submitted 18 June, 2021;
originally announced June 2021.
-
Quantitative Heegaard Floer cohomology and the Calabi invariant
Authors:
Daniel Cristofaro-Gardiner,
Vincent Humilière,
Cheuk Yu Mak,
Sobhan Seyfaddini,
Ivan Smith
Abstract:
We define a new family of spectral invariants associated to certain Lagrangian links in compact and connected surfaces of any genus. We show that our invariants recover the Calabi invariant of Hamiltonians in their limit. As applications, we resolve several open questions from topological surface dynamics and continuous symplectic topology: we show that the group of Hamiltonian homeomorphisms of a…
▽ More
We define a new family of spectral invariants associated to certain Lagrangian links in compact and connected surfaces of any genus. We show that our invariants recover the Calabi invariant of Hamiltonians in their limit. As applications, we resolve several open questions from topological surface dynamics and continuous symplectic topology: we show that the group of Hamiltonian homeomorphisms of any compact surface with (possibly empty) boundary is not simple; we extend the Calabi homomorphism to the group of Hameomorphisms constructed by Oh-Müller; and, we construct an infinite dimensional family of quasimorphisms on the group of area and orientation preserving homeomorphisms of the two-sphere. Our invariants are inspired by recent work of Polterovich and Shelukhin defining and applying spectral invariants for certain classes of links in the two-sphere.
△ Less
Submitted 29 March, 2024; v1 submitted 23 May, 2021;
originally announced May 2021.
-
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
Authors:
Carol Mak,
C. -H. Luke Ong,
Hugo Paquet,
Dominik Wagner
Abstract:
We study the differential properties of higher-order statistical probabilistic programs with recursion and conditioning. Our starting point is an open problem posed by Hongseok Yang: what class of statistical probabilistic programs have densities that are differentiable almost everywhere? To formalise the problem, we consider Statistical PCF (SPCF), an extension of call-by-value PCF with real numb…
▽ More
We study the differential properties of higher-order statistical probabilistic programs with recursion and conditioning. Our starting point is an open problem posed by Hongseok Yang: what class of statistical probabilistic programs have densities that are differentiable almost everywhere? To formalise the problem, we consider Statistical PCF (SPCF), an extension of call-by-value PCF with real numbers, and constructs for sampling and conditioning. We give SPCF a sampling-style operational semantics a la Borgstrom et al., and study the associated weight (commonly referred to as the density) function and value function on the set of possible execution traces. Our main result is that almost-surely terminating SPCF programs, generated from a set of primitive functions (e.g. the set of analytic functions) satisfying mild closure properties, have weight and value functions that are almost-everywhere differentiable. We use a stochastic form of symbolic execution to reason about almost-everywhere differentiability. A by-product of this work is that almost-surely terminating deterministic (S)PCF programs with real parameters denote functions that are almost-everywhere differentiable. Our result is of practical interest, as almost-everywhere differentiability of the density function is required to hold for the correctness of major gradient-based inference algorithms.
△ Less
Submitted 21 June, 2021; v1 submitted 8 April, 2020;
originally announced April 2020.
-
Circular spherical divisors and their contact topology
Authors:
Tian-Jun Li,
Cheuk Yu Mak,
Jie Min
Abstract:
This paper investigates the symplectic and contact topology associated to circular spherical divisors. We classify, up to toric equivalence, all concave circular spherical divisors $ D $ that can be embedded symplectically into a closed symplectic 4-manifold and show they are all realized as symplectic log Calabi-Yau pairs if their complements are minimal. We then determine the Stein fillability a…
▽ More
This paper investigates the symplectic and contact topology associated to circular spherical divisors. We classify, up to toric equivalence, all concave circular spherical divisors $ D $ that can be embedded symplectically into a closed symplectic 4-manifold and show they are all realized as symplectic log Calabi-Yau pairs if their complements are minimal. We then determine the Stein fillability and rational homology type of all minimal symplectic fillings for the boundary torus bundles of such $D$. When $ D $ is anticanonical and convex, we give explicit betti number bounds for Stein fillings of its boundary contact torus bundle.
△ Less
Submitted 5 January, 2022; v1 submitted 24 February, 2020;
originally announced February 2020.
-
A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
Authors:
Carol Mak,
Luke Ong
Abstract:
Building on the observation that reverse-mode automatic differentiation (AD) -- a generalisation of backpropagation -- can naturally be expressed as pullbacks of differential 1-forms, we design a simple higher-order programming language with a first-class differential operator, and present a reduction strategy which exactly simulates reverse-mode AD. We justify our reduction strategy by interpreti…
▽ More
Building on the observation that reverse-mode automatic differentiation (AD) -- a generalisation of backpropagation -- can naturally be expressed as pullbacks of differential 1-forms, we design a simple higher-order programming language with a first-class differential operator, and present a reduction strategy which exactly simulates reverse-mode AD. We justify our reduction strategy by interpreting our language in any differential $λ$-category that satisfies the Hahn-Banach Separation Theorem, and show that the reduction strategy precisely captures reverse-mode AD in a truly higher-order setting.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
Non-displaceable Lagrangian links in four-manifolds
Authors:
Cheuk Yu Mak,
Ivan Smith
Abstract:
Let $ω$ denote an area form on $S^2$. Consider the closed symplectic 4-manifold $M=(S^2\times S^2, Aω\oplus a ω)$ with $0<a<A$. We show that there are families of displaceable Lagrangian tori $L_{0,x},\, L_{1,x} \subset M$, for $x \in [0,1]$, such that the two-component link $L_{0,x} \cup L_{1,x}$ is non-displaceable for each $x$.
Let $ω$ denote an area form on $S^2$. Consider the closed symplectic 4-manifold $M=(S^2\times S^2, Aω\oplus a ω)$ with $0<a<A$. We show that there are families of displaceable Lagrangian tori $L_{0,x},\, L_{1,x} \subset M$, for $x \in [0,1]$, such that the two-component link $L_{0,x} \cup L_{1,x}$ is non-displaceable for each $x$.
△ Less
Submitted 22 February, 2021; v1 submitted 21 September, 2019;
originally announced September 2019.
-
Fukaya-Seidel categories of Hilbert schemes and parabolic category $\mathcal{O}$
Authors:
Cheuk Yu Mak,
Ivan Smith
Abstract:
We realise Stroppel's extended arc algebra in the Fukaya-Seidel category of a natural Lefschetz fibration on the generic fiber of the adjoint quotient map on a type $A$ nilpotent slice with two Jordan blocks, and hence obtain a symplectic interpretation of certain parabolic two-block versions of Bernstein-Gelfan'd-Gelfan'd category $\mathcal{O}$. As an application, we give a new geometric construc…
▽ More
We realise Stroppel's extended arc algebra in the Fukaya-Seidel category of a natural Lefschetz fibration on the generic fiber of the adjoint quotient map on a type $A$ nilpotent slice with two Jordan blocks, and hence obtain a symplectic interpretation of certain parabolic two-block versions of Bernstein-Gelfan'd-Gelfan'd category $\mathcal{O}$. As an application, we give a new geometric construction of the spectral sequence from annular to ordinary Khovanov homology. The heart of the paper is the development of a cylindrical model to compute Fukaya categories of (affine open subsets of) Hilbert schemes of quasi-projective surfaces, which may be of independent interest.
△ Less
Submitted 10 March, 2020; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Tropically constructed Lagrangians in mirror quintic threefolds
Authors:
Cheuk Yu Mak,
Helge Ruddat
Abstract:
We use tropical curves and toric degeneration techniques to construct closed embedded Lagrangian rational homology spheres in a lot of Calabi-Yau threefolds.
We apply this construction to the tropical curves obtained from the 2875 lines on the quintic Calabi-Yau threefold.
Each admissible tropical curve gives a Lagrangian rational homology sphere in the corresponding mirror quintic threefold a…
▽ More
We use tropical curves and toric degeneration techniques to construct closed embedded Lagrangian rational homology spheres in a lot of Calabi-Yau threefolds.
We apply this construction to the tropical curves obtained from the 2875 lines on the quintic Calabi-Yau threefold.
Each admissible tropical curve gives a Lagrangian rational homology sphere in the corresponding mirror quintic threefold and disjoint curves give pairwise homologous but non-Hamiltonian isotopic Lagrangians.
We check in an example that $>300$ mutually disjoint curves (and hence Lagrangians) arise.
We show that the weight of each of these Lagrangians equals to the multiplicity of the corresponding tropical curve.
△ Less
Submitted 11 October, 2020; v1 submitted 26 April, 2019;
originally announced April 2019.
-
Spherical twists and Lagrangian spherical manifolds
Authors:
Cheuk Yu Mak,
Weiwei Wu
Abstract:
We study Dehn twists along Lagrangian submanifolds that are finite quotients of spheres. We decribe the induced auto-equivalences to the derived Fukaya category and explain its relation to twists along spherical functors.
We study Dehn twists along Lagrangian submanifolds that are finite quotients of spheres. We decribe the induced auto-equivalences to the derived Fukaya category and explain its relation to twists along spherical functors.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
Geometry of symplectic log Calabi-Yau pairs
Authors:
Tian-Jun Li,
Cheuk Yu Mak
Abstract:
We will survey some aspects of the smooth topology, algebraic geometry, symplectic geometry and contact geometry of anti-canonical pairs in complex dimension two.
We will survey some aspects of the smooth topology, algebraic geometry, symplectic geometry and contact geometry of anti-canonical pairs in complex dimension two.
△ Less
Submitted 6 May, 2018;
originally announced May 2018.
-
The Kodaira dimension of contact 3-manifolds and geography of symplectic fillings
Authors:
Tian-Jun Li,
Cheuk Yu Mak
Abstract:
We introduce the Kodaira dimension of contact 3-manifolds and establish some basic properties. In particular, contact 3-manifolds with distinct Kodaria dimensions behave differently when it comes to the geography of various kinds of fillings. On the other hand, we also prove that, given any contact 3-manifold, there is a lower bound of $2χ+3σ$ for all its minimal symplectic fillings. This is motiv…
▽ More
We introduce the Kodaira dimension of contact 3-manifolds and establish some basic properties. In particular, contact 3-manifolds with distinct Kodaria dimensions behave differently when it comes to the geography of various kinds of fillings. On the other hand, we also prove that, given any contact 3-manifold, there is a lower bound of $2χ+3σ$ for all its minimal symplectic fillings. This is motivated by the bound of Stipsicz for Stein fillings. Finally, we discuss various aspects of exact self cobordisms of fillable 3-manifolds.
△ Less
Submitted 21 October, 2016;
originally announced October 2016.
-
Symplectic log Calabi-Yau surface---deformation class
Authors:
Tian-Jun Li,
Cheuk Yu Mak
Abstract:
We study the symplectic analogue of log Calabi-Yau surfaces and show that the symplectic deformation classes of these surfaces are completely determined by the homological information.
We study the symplectic analogue of log Calabi-Yau surfaces and show that the symplectic deformation classes of these surfaces are completely determined by the homological information.
△ Less
Submitted 21 October, 2015;
originally announced October 2015.
-
Dehn twists exact sequences through Lagrangian cobordism
Authors:
Cheuk Yu Mak,
Weiwei Wu
Abstract:
In this paper we introduce the following new ingredients: (1) rework on part of the Lagrangian surgery theory; (2) constructions of Lagrangian cobordisms on product symplectic manifolds; (3) extending Biran-Cornea Lagrangian cobordism theory to the immersed category.
As a result, we manifest Seidel's exact sequences (both the Lagrangian version and the symplectomorphism version), as well as Wehr…
▽ More
In this paper we introduce the following new ingredients: (1) rework on part of the Lagrangian surgery theory; (2) constructions of Lagrangian cobordisms on product symplectic manifolds; (3) extending Biran-Cornea Lagrangian cobordism theory to the immersed category.
As a result, we manifest Seidel's exact sequences (both the Lagrangian version and the symplectomorphism version), as well as Wehrheim-Woodward's family Dehn twist sequence (including the codimension-1 case missing in the literature) as consequences of our surgery/cobordism constructions.
Moreover, we obtain an expression of the autoequivalence of Fukaya category induced by Dehn twists along Lagrangian $\mathbb{RP}^n$, $\mathbb{CP}^n$ and $\mathbb{HP}^n$, which matches Huybrechts-Thomas's mirror prediction of the $\mathbb{CP}^n$ case modulo connecting maps. We also prove the split generation of any symplectomorphism by Dehn twists in $ADE$-type Milnor fibers.
△ Less
Submitted 5 October, 2015; v1 submitted 26 September, 2015;
originally announced September 2015.
-
Automatic Resonance Alignment of High-Order Microring Filters
Authors:
Jason C. C. Mak,
Wesley D. Sacher,
Tianyuan Xue,
Jared C. Mikkelsen,
Zheng Yong,
Joyce K. S. Poon
Abstract:
Automatic resonance alignment tuning is performed in high-order series coupled microring filters using a feedback system. By inputting only a reference wavelength, a filter is tuned such that passband ripples are dramatically reduced compared to the initial detuned state and the passband becomes centered at the reference. The method is tested on 5th order microring filters fabricated in a standard…
▽ More
Automatic resonance alignment tuning is performed in high-order series coupled microring filters using a feedback system. By inputting only a reference wavelength, a filter is tuned such that passband ripples are dramatically reduced compared to the initial detuned state and the passband becomes centered at the reference. The method is tested on 5th order microring filters fabricated in a standard silicon photonics foundry process. Repeatable tuning is demonstrated for filters on multiple dies from the wafer and for arbitrary reference wavelengths within the free spectral range of the microrings.
△ Less
Submitted 8 July, 2015;
originally announced July 2015.
-
Calabi-Yau Caps, Uniruled Caps and Symplectic Fillings
Authors:
Tian-Jun Li,
Cheuk Yu Mak,
Kouichi Yasui
Abstract:
We introduce symplectic Calabi-Yau caps to obtain new obstructions to exact fillings. In particular, it implies that any exact filling of the standard unit cotangent bundle of a hyperbolic surface has vanishing first Chern class and has the same integral homology and intersection form as its disk cotangent bundle. This gives evidence to a conjecture that all of its exact fillings are diffeomorphic…
▽ More
We introduce symplectic Calabi-Yau caps to obtain new obstructions to exact fillings. In particular, it implies that any exact filling of the standard unit cotangent bundle of a hyperbolic surface has vanishing first Chern class and has the same integral homology and intersection form as its disk cotangent bundle. This gives evidence to a conjecture that all of its exact fillings are diffeomorphic to the disk cotangent bundle. As a result, we also obtain the first infinitely family of Stein fillable contact 3-manifolds with uniform bounds on the Betti numbers of its exact fillings but admitting minimal strong fillings of arbitrarily large $b_2$.
Moreover, we introduce the notion of symplectic uniruled/adjunction caps and uniruled/adjunction contact structures to present a unified picture to the existing finiteness results on the topological invariants of exact/strong fillings of a contact 3-manifold. As a byproduct, we find new classes of contact 3-manifolds with the finiteness property and extend Wand's obstruction of planar contact 3-manifolds to uniruled/adjunction contact structures with complexity zero. structures with complexity zero.
△ Less
Submitted 10 October, 2016; v1 submitted 10 December, 2014;
originally announced December 2014.
-
Symplectic Divisorial Cap** in Dimension 4
Authors:
Tian-Jun Li,
Cheuk Yu Mak
Abstract:
We investigate the notion of symplectic divisorial compactification for symplectic 4-manifolds with either convex or concave type boundary. This is motivated by the notion of compactifying divisors for open algebraic surfaces. We give a sufficient and necessary criterion, which is simple and also works in higher dimensions, to determine whether an arbitrarily small concave/convex neighborhood exis…
▽ More
We investigate the notion of symplectic divisorial compactification for symplectic 4-manifolds with either convex or concave type boundary. This is motivated by the notion of compactifying divisors for open algebraic surfaces. We give a sufficient and necessary criterion, which is simple and also works in higher dimensions, to determine whether an arbitrarily small concave/convex neighborhood exist for an $ω$-orthogonal symplectic divisor (a symplectic plumbing). If deformation of symplectic form is allowed, we show that a symplectic divisor has either a concave or convex neighborhood whenever the symplectic form is exact on the boundary of its plumbing. As an application, we classify symplectic compactifying divisors having finite boundary fundamental group. We also obtain a finiteness result of fillings when the boundary can be capped by a symplectic divisor with finite boundary fundamental group.
△ Less
Submitted 10 November, 2014; v1 submitted 2 July, 2014;
originally announced July 2014.
-
Temperature Integration: an efficient procedure for calculation of free energy differences
Authors:
Asaf Farhi,
Guy Hed,
Michael Bon,
Nestor Caticha,
Chi H Mak,
Eytan Domany
Abstract:
We propose a method, Temperature Integration, which allows an efficient calculation of free energy differences between two systems of interest, with the same degrees of freedom, which may have rough energy landscapes. The method is based on calculating, for each single system, the difference between the values of lnZ at two temperatures, using a Parallel Tempering procedure. If our two systems of…
▽ More
We propose a method, Temperature Integration, which allows an efficient calculation of free energy differences between two systems of interest, with the same degrees of freedom, which may have rough energy landscapes. The method is based on calculating, for each single system, the difference between the values of lnZ at two temperatures, using a Parallel Tempering procedure. If our two systems of interest have the same phase space volume, they have the same values of lnZ at high-T, and we can obtain the free energy difference between them, using the two single-system calculations described above. If the phase space volume of a system is known, our method can be used to calculate its absolute (versus relative) free energy as well. We apply our method and demonstrate its efficiency on a toy model of hard rods on a 1-dimensional ring.
△ Less
Submitted 31 May, 2013; v1 submitted 17 December, 2012;
originally announced December 2012.
-
Directional limits on persistent gravitational waves using LIGO S5 science data
Authors:
B. P. Abbott,
R. Abbott,
M. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
R. Adhikari,
P. Ajith,
B. Allen,
G. S. Allen,
E. Amador Ceron,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
F. Antonucci,
M. A. Arain,
M. C. Araya,
M. Aronsson,
K. G. Arun,
Y. Aso,
S. M. Aston,
P. Astone,
D. Atkinson,
P. Aufmuth,
C. Aulbert
, et al. (689 additional authors not shown)
Abstract:
The gravitational-wave (GW) sky may include nearby pointlike sources as well as astrophysical and cosmological stochastic backgrounds. Since the relative strength and angular distribution of the many possible sources of GWs are not well constrained, searches for GW signals must be performed in a model-independent way. To that end we perform two directional searches for persistent GWs using data fr…
▽ More
The gravitational-wave (GW) sky may include nearby pointlike sources as well as astrophysical and cosmological stochastic backgrounds. Since the relative strength and angular distribution of the many possible sources of GWs are not well constrained, searches for GW signals must be performed in a model-independent way. To that end we perform two directional searches for persistent GWs using data from the LIGO S5 science run: one optimized for pointlike sources and one for arbitrary extended sources. The latter result is the first of its kind. Finding no evidence to support the detection of GWs, we present 90% confidence level (CL) upper-limit maps of GW strain power with typical values between 2-20x10^-50 strain^2 Hz^-1 and 5-35x10^-49 strain^2 Hz^-1 sr^-1 for pointlike and extended sources respectively. The limits on pointlike sources constitute a factor of 30 improvement over the previous best limits. We also set 90% CL limits on the narrow-band root-mean-square GW strain from interesting targets including Sco X-1, SN1987A and the Galactic Center as low as ~7x10^-25 in the most sensitive frequency range near 160 Hz. These limits are the most constraining to date and constitute a factor of 5 improvement over the previous best limits.
△ Less
Submitted 9 September, 2011; v1 submitted 8 September, 2011;
originally announced September 2011.
-
Search for gravitational waves from binary black hole inspiral, merger and ringdown
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
M. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
R. Adhikari,
P. Ajith,
B. Allen,
G. S. Allen,
E. Amador Ceron,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
F. Antonucci,
M. A. Arain,
M. C. Araya,
M. Aronsson,
Y. Aso,
S. M. Aston,
P. Astone,
D. Atkinson
, et al. (699 additional authors not shown)
Abstract:
We present the first modeled search for gravitational waves using the complete binary black hole gravitational waveform from inspiral through the merger and ringdown for binaries with negligible component spin. We searched approximately 2 years of LIGO data taken between November 2005 and September 2007 for systems with component masses of 1-99 solar masses and total masses of 25-100 solar masses.…
▽ More
We present the first modeled search for gravitational waves using the complete binary black hole gravitational waveform from inspiral through the merger and ringdown for binaries with negligible component spin. We searched approximately 2 years of LIGO data taken between November 2005 and September 2007 for systems with component masses of 1-99 solar masses and total masses of 25-100 solar masses. We did not detect any plausible gravitational-wave signals but we do place upper limits on the merger rate of binary black holes as a function of the component masses in this range. We constrain the rate of mergers for binary black hole systems with component masses between 19 and 28 solar masses and negligible spin to be no more than 2.0 per Mpc^3 per Myr at 90% confidence.
△ Less
Submitted 18 February, 2011;
originally announced February 2011.
-
A search for gravitational waves associated with the August 2006 timing glitch of the Vela pulsar
Authors:
The LIGO Scientific Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
R. Adhikari,
P. Ajith,
B. Allen,
G. Allen,
E. Amador Ceron,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
M. A. Arain,
M. Araya,
Y. Aso,
S. Aston,
P. Aufmuth,
C. Aulbert,
S. Babak,
P. Baker,
S. Ballmer,
D. Barker,
B. Barr,
P. Barriga,
L. Barsotti
, et al. (477 additional authors not shown)
Abstract:
The physical mechanisms responsible for pulsar timing glitches are thought to excite quasi-normal mode oscillations in their parent neutron star that couple to gravitational wave emission. In August 2006, a timing glitch was observed in the radio emission of PSR B0833-45, the Vela pulsar. At the time of the glitch, the two co-located Hanford gravitational wave detectors of the Laser Interferometer…
▽ More
The physical mechanisms responsible for pulsar timing glitches are thought to excite quasi-normal mode oscillations in their parent neutron star that couple to gravitational wave emission. In August 2006, a timing glitch was observed in the radio emission of PSR B0833-45, the Vela pulsar. At the time of the glitch, the two co-located Hanford gravitational wave detectors of the Laser Interferometer Gravitational-wave observatory (LIGO) were operational and taking data as part of the fifth LIGO science run (S5). We present the first direct search for the gravitational wave emission associated with oscillations of the fundamental quadrupole mode excited by a pulsar timing glitch. No gravitational wave detection candidate was found. We place Bayesian 90% confidence upper limits of 6.3e-21 to 1.4e-20 on the peak intrinsic strain amplitude of gravitational wave ring-down signals, depending on which spherical harmonic mode is excited. The corresponding range of energy upper limits is 5.0e44 to 1.3e45 erg.
△ Less
Submitted 23 November, 2010; v1 submitted 5 November, 2010;
originally announced November 2010.
-
Calibration of the LIGO Gravitational Wave Detectors in the Fifth Science Run
Authors:
LIGO Scientific Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
M,
Abernathy,
C. Adams,
R. Adhikari,
P. Ajith,
B. Allen,
G. Allen,
E. Amador Ceron,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
M. A. Arain,
M. Araya,
M. Aronsson,
Y. Aso,
S. Aston,
D. E. Atkinson,
P. Aufmuth,
C. Aulbert,
S. Babak,
P. Baker
, et al. (516 additional authors not shown)
Abstract:
The Laser Interferometer Gravitational Wave Observatory (LIGO) is a network of three detectors built to detect local perturbations in the space-time metric from astrophysical sources. These detectors, two in Hanford, WA and one in Livingston, LA, are power-recycled Fabry-Perot Michelson interferometers. In their fifth science run (S5), between November 2005 and October 2007, these detectors accumu…
▽ More
The Laser Interferometer Gravitational Wave Observatory (LIGO) is a network of three detectors built to detect local perturbations in the space-time metric from astrophysical sources. These detectors, two in Hanford, WA and one in Livingston, LA, are power-recycled Fabry-Perot Michelson interferometers. In their fifth science run (S5), between November 2005 and October 2007, these detectors accumulated one year of triple coincident data while operating at their designed sensitivity. In this paper, we describe the calibration of the instruments in the S5 data set, including measurement techniques and uncertainty estimation.
△ Less
Submitted 22 July, 2010;
originally announced July 2010.
-
First search for gravitational waves from the youngest known neutron star
Authors:
LIGO Scientific Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
M. Abernathy,
C. Adams,
R. Adhikari,
P. Ajith,
B. Allen,
G. Allen,
E. Amador Ceron,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
M. A. Arain,
M. Araya,
M. Aronsson,
Y. Aso,
S. Aston,
D. E. Atkinson,
P. Aufmuth,
C. Aulbert,
S. Babak,
P. Baker,
S. Ballmer
, et al. (515 additional authors not shown)
Abstract:
We present a search for periodic gravitational waves from the neutron star in the supernova remnant Cassiopeia A. The search coherently analyzes data in a 12-day interval taken from the fifth science run of the Laser Interferometer Gravitational-Wave Observatory. It searches gravitational wave frequencies from 100 to 300 Hz, and covers a wide range of first and second frequency derivatives appropr…
▽ More
We present a search for periodic gravitational waves from the neutron star in the supernova remnant Cassiopeia A. The search coherently analyzes data in a 12-day interval taken from the fifth science run of the Laser Interferometer Gravitational-Wave Observatory. It searches gravitational wave frequencies from 100 to 300 Hz, and covers a wide range of first and second frequency derivatives appropriate for the age of the remnant and for different spin-down mechanisms. No gravitational wave signal was detected. Within the range of search frequencies, we set 95% confidence upper limits of 0.7--1.2e-24 on the intrinsic gravitational wave strain, 0.4--4e-4 on the equatorial ellipticity of the neutron star, and 0.005--0.14 on the amplitude of r-mode oscillations of the neutron star. These direct upper limits beat indirect limits derived from energy conservation and enter the range of theoretical predictions involving crystalline exotic matter or runaway r-modes. This is the first gravitational wave search to present upper limits on r-modes.
△ Less
Submitted 9 September, 2010; v1 submitted 13 June, 2010;
originally announced June 2010.
-
Sensitivity to Gravitational Waves from Compact Binary Coalescences Achieved during LIGO's Fifth and Virgo's First Science Run
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
M Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
R. Adhikari,
P. Ajith,
B. Allen,
G. Allen,
E. Amador Ceron,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
F. Antonucci,
S. Aoudia,
M. A. Arain,
M. Araya,
M. Aronsson,
K. G. Arun,
Y. Aso,
S. Aston
, et al. (685 additional authors not shown)
Abstract:
We summarize the sensitivity achieved by the LIGO and Virgo gravitational wave detectors for compact binary coalescence (CBC) searches during LIGO's fifth science run and Virgo's first science run. We present noise spectral density curves for each of the four detectors that operated during these science runs which are representative of the typical performance achieved by the detectors for CBC sear…
▽ More
We summarize the sensitivity achieved by the LIGO and Virgo gravitational wave detectors for compact binary coalescence (CBC) searches during LIGO's fifth science run and Virgo's first science run. We present noise spectral density curves for each of the four detectors that operated during these science runs which are representative of the typical performance achieved by the detectors for CBC searches. These spectra are intended for release to the public as a summary of detector performance for CBC searches during these science runs.
△ Less
Submitted 1 June, 2010; v1 submitted 12 March, 2010;
originally announced March 2010.
-
Predictions for the Rates of Compact Binary Coalescences Observable by Ground-based Gravitational-wave Detectors
Authors:
LIGO Scientific Collaboration,
Virgo Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
M Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
R. Adhikari,
P. Ajith,
B. Allen,
G. Allen,
E. Amador Ceron,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
F. Antonucci,
S. Aoudia,
M. A. Arain,
M. Araya,
M. Aronsson,
K. G. Arun,
Y. Aso,
S. Aston
, et al. (687 additional authors not shown)
Abstract:
We present an up-to-date, comprehensive summary of the rates for all types of compact binary coalescence sources detectable by the Initial and Advanced versions of the ground-based gravitational-wave detectors LIGO and Virgo. Astrophysical estimates for compact-binary coalescence rates depend on a number of assumptions and unknown model parameters, and are still uncertain. The most confident amo…
▽ More
We present an up-to-date, comprehensive summary of the rates for all types of compact binary coalescence sources detectable by the Initial and Advanced versions of the ground-based gravitational-wave detectors LIGO and Virgo. Astrophysical estimates for compact-binary coalescence rates depend on a number of assumptions and unknown model parameters, and are still uncertain. The most confident among these estimates are the rate predictions for coalescing binary neutron stars which are based on extrapolations from observed binary pulsars in our Galaxy. These yield a likely coalescence rate of 100 per Myr per Milky Way Equivalent Galaxy (MWEG), although the rate could plausibly range from 1 per Myr per MWEG to 1000 per Myr per MWEG. We convert coalescence rates into detection rates based on data from the LIGO S5 and Virgo VSR2 science runs and projected sensitivities for our Advanced detectors. Using the detector sensitivities derived from these data, we find a likely detection rate of 0.02 per year for Initial LIGO-Virgo interferometers, with a plausible range between 0.0002 and 0.2 per year. The likely binary neutron-star detection rate for the Advanced LIGO-Virgo network increases to 40 events per year, with a range between 0.4 and 400 per year.
△ Less
Submitted 26 March, 2010; v1 submitted 12 March, 2010;
originally announced March 2010.
-
Search for gravitational-wave inspiral signals associated with short Gamma-Ray Bursts during LIGO's fifth and Virgo's first science run
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. Accadia,
F. Acernese,
R. Adhikari,
P. Ajith,
B. Allen,
G. Allen,
E. Amador Ceron,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
F. Antonucci,
S. Aoudia,
M. A. Arain,
M. Araya,
K. G. Arun,
Y. Aso,
S. Aston,
P. Astone,
P. Aufmuth,
C. Aulbert
, et al. (643 additional authors not shown)
Abstract:
Progenitor scenarios for short gamma-ray bursts (short GRBs) include coalescenses of two neutron stars or a neutron star and black hole, which would necessarily be accompanied by the emission of strong gravitational waves. We present a search for these known gravitational-wave signatures in temporal and directional coincidence with 22 GRBs that had sufficient gravitational-wave data available in…
▽ More
Progenitor scenarios for short gamma-ray bursts (short GRBs) include coalescenses of two neutron stars or a neutron star and black hole, which would necessarily be accompanied by the emission of strong gravitational waves. We present a search for these known gravitational-wave signatures in temporal and directional coincidence with 22 GRBs that had sufficient gravitational-wave data available in multiple instruments during LIGO's fifth science run, S5, and Virgo's first science run, VSR1. We find no statistically significant gravitational-wave candidates within a [-5, +1) s window around the trigger time of any GRB. Using the Wilcoxon-Mann-Whitney U test, we find no evidence for an excess of weak gravitational-wave signals in our sample of GRBs. We exclude neutron star-black hole progenitors to a median 90% CL exclusion distance of 6.7 Mpc.
△ Less
Submitted 3 March, 2010; v1 submitted 4 January, 2010;
originally announced January 2010.
-
A New Monte Carlo Method and Its Implications for Generalized Cluster Algorithms
Authors:
C. H. Mak,
Arun K. Sharma
Abstract:
We describe a novel switching algorithm based on a ``reverse'' Monte Carlo method, in which the potential is stochastically modified before the system configuration is moved. This new algorithm facilitates a generalized formulation of cluster-type Monte Carlo methods, and the generalization makes it possible to derive cluster algorithms for systems with both discrete and continuous degrees of fr…
▽ More
We describe a novel switching algorithm based on a ``reverse'' Monte Carlo method, in which the potential is stochastically modified before the system configuration is moved. This new algorithm facilitates a generalized formulation of cluster-type Monte Carlo methods, and the generalization makes it possible to derive cluster algorithms for systems with both discrete and continuous degrees of freedom. The roughening transition in the sine-Gordon model has been studied with this method, and high-accuracy simulations for system sizes up to $1024^2$ were carried out to examine the logarithmic divergence of the surface roughness above the transition temperature, revealing clear evidence for universal scaling of the Kosterlitz-Thouless type.
△ Less
Submitted 12 April, 2007;
originally announced April 2007.
-
Stochastic Potential Switching Algorithm for Monte Carlo Simulations of Complex Systems
Authors:
C. H. Mak
Abstract:
This paper describes a new Monte Carlo method based on a novel stochastic potential switching algorithm. This algorithm enables the equilibrium properties of a system with potential $V$ to be computed using a Monte Carlo simulation for a system with a possibly less complex stochastically altered potential $\tilde V$. By proper choices of the stochastic switching and transition probabilities, it…
▽ More
This paper describes a new Monte Carlo method based on a novel stochastic potential switching algorithm. This algorithm enables the equilibrium properties of a system with potential $V$ to be computed using a Monte Carlo simulation for a system with a possibly less complex stochastically altered potential $\tilde V$. By proper choices of the stochastic switching and transition probabilities, it is shown that detailed balance can be strictly maintained with respect to the original potential $V$. The validity of the method is illustrated with a simple one-dimensional example. The method is then generalized to multidimensional systems with any additive potential, providing a framework for the design of more efficient algorithms to simulate complex systems. A near-critical Lennard-Jones fluid with more than 20000 particles is used to illustrate the method. The new algorithm produced a much smaller dynamic scaling exponent compared to the Metropolis method and improved sampling efficiency by over an order of magnitude.
△ Less
Submitted 13 February, 2006;
originally announced February 2006.
-
Large-Scale Simulations of the Two-Dimensional Melting of Hard Disks
Authors:
C. H. Mak
Abstract:
Large-scale computer simulations involving more than a million particles have been performed to study the melting transition in a two-dimensional hard disk fluid. The van der Waals loop previously observed in the pressure-density relationship of smaller simulations is shown to be an artifact of finite-size effects. Together with a detailed scaling analysis of the bond orientation order, the new…
▽ More
Large-scale computer simulations involving more than a million particles have been performed to study the melting transition in a two-dimensional hard disk fluid. The van der Waals loop previously observed in the pressure-density relationship of smaller simulations is shown to be an artifact of finite-size effects. Together with a detailed scaling analysis of the bond orientation order, the new results provide compelling evidence for the Halperin-Nelson-Young picture. Scaling analysis of the translational order also yields a lower bound for the melting density that is much higher than previously thought.
△ Less
Submitted 8 February, 2005;
originally announced February 2005.
-
Slowdown and splitting of gap solitons in apodized Bragg gratings
Authors:
William C. K. Mak,
Boris A. Malomed,
Pak L. Chu
Abstract:
We study the motion of gap solitons in two models of apodized nonlinear fiber Bragg gratings (BGs), with the local reflectivity (LR) varying along the fiber. A single step of LR, and a periodic array of alternating steps with opposite signs (a "Bragg superstructure") are considered. A challenging possibility is to slow down and eventually halt the soliton by passing it through the step of increa…
▽ More
We study the motion of gap solitons in two models of apodized nonlinear fiber Bragg gratings (BGs), with the local reflectivity (LR) varying along the fiber. A single step of LR, and a periodic array of alternating steps with opposite signs (a "Bragg superstructure") are considered. A challenging possibility is to slow down and eventually halt the soliton by passing it through the step of increasing reflectivity, thus capturing a pulse of standing light. First, we develop an analytical approach, assuming adiabatic evolution of the soliton, and making use of the energy conservation and balance equation for the momentum. Comparison with simulations shows that the analytical approximation is quite accurate (unless the inhomogeneity is too steep): the soliton is either transmitted across the step or bounces back. If the step is narrow, systematic simulations demontrate that the soliton splits into transmitted and reflected pulses (splitting of a BG soliton which hits a chirped grating was observed in experiments). Moving through the periodic "superstructure", the soliton accummulates distortion and suffers radiation loss if the structure is composed of narrow steps. The soliton moves without any loss or irreversible deformation through the array of sufficiently broad steps.
△ Less
Submitted 14 May, 2004;
originally announced May 2004.
-
A Multigrid Algorithm for Sampling Imaginary-Time Paths in Quantum Monte Carlo Simulations
Authors:
C. H. Mak,
Sergei Zakharov
Abstract:
We describe a novel simulation method that eliminates the slowing-down problem in the Monte Carlo simulations of imaginary-time path integrals near the continuum limit. This method combines a stochastic blocking procedure with the multigrid method to rapidly accelerate the sampling of paths in a quantum Monte Carlo simulation, making its dynamics more ergodic. The effectiveness and efficiency of…
▽ More
We describe a novel simulation method that eliminates the slowing-down problem in the Monte Carlo simulations of imaginary-time path integrals near the continuum limit. This method combines a stochastic blocking procedure with the multigrid method to rapidly accelerate the sampling of paths in a quantum Monte Carlo simulation, making its dynamics more ergodic. The effectiveness and efficiency of this method are demonstrated for several one-dimensional quantum systems and compared to other standard and accelerated methods.
△ Less
Submitted 5 February, 2004;
originally announced February 2004.
-
Formation of a Standing-Light Pulse through Collision of Gap Solitons
Authors:
William C. K. Mak,
Boris A. Malomed,
Pak L. Chu
Abstract:
Results of a systematic theoretical study of collisions between moving solitons in a fiber grating are presented. Various outcomes of the collision are identified, the most interesting one being merger of the solitons into a single zero-velocity pulse, which suggests a way to create pulses of ``standing light". The merger occurs with the solitons whose energy takes values between 0.15 and 0.35 o…
▽ More
Results of a systematic theoretical study of collisions between moving solitons in a fiber grating are presented. Various outcomes of the collision are identified, the most interesting one being merger of the solitons into a single zero-velocity pulse, which suggests a way to create pulses of ``standing light". The merger occurs with the solitons whose energy takes values between 0.15 and 0.35 of the limit value, while their velocity is limited by about 0.2 of the limit light velocity in the fiber. If the energy is larger, another noteworthy outcome is acceleration of the solitons as a result of the collision. In the case of mutual passage of the solitons, inelasticity of the collision is quantified by the energy-loss share. Past the soliton's stability limit, the collision results in strong deformation and subsequent destruction of the solitons. Simulations of multiple collisions of two solitons in a fiber-loop configuration are performed too. In this case, the maximum velocity admitting the merger increases to about 0.4 of the limit velocity. Influence of an attractive local defect on the collision is also studied, with a conclusion that the defect does not alter the overall picture, although it traps a small-amplitude pulse. Related effects in single-soliton dynamics are considered too, such as transformation of an input sech signal into a gap soliton (which is quantified by the share of lost energy), and the rate of decay of a quiescent gap soliton in a finite fiber grating, due to energy leakage through loose edges.
△ Less
Submitted 14 April, 2003;
originally announced April 2003.
-
Interaction of a soliton with a local defect in a fiber Bragg grating
Authors:
William C. K. Mak,
Pak L. Chu,
Boris A. Malomed
Abstract:
We study the interactions of a Bragg-grating soliton with a localized attractive defect which is a combined perturbation of the grating and refractive index. A family of exact analytical solutions for solitons trapped by the delta-like defect is found. Direct simulations demonstrate that, up to the numerical accuracy available, the trapped soliton is stable at a single value of its intrinsic par…
▽ More
We study the interactions of a Bragg-grating soliton with a localized attractive defect which is a combined perturbation of the grating and refractive index. A family of exact analytical solutions for solitons trapped by the delta-like defect is found. Direct simulations demonstrate that, up to the numerical accuracy available, the trapped soliton is stable at a single value of its intrinsic parameter ("mass"). Trapped solitons with larger mass relax to the stable one through the emission of radiation, while the solitons with smaller mass decay. Depending on values of parameters, simulations of collisions between moving solitons and the defect show that the soliton can get captured, pass through, or even bounce from the defect. If the defect is strong and the soliton is heavy enough, it may split, as a result of the collision, into three fragments: trapped, transmitted, and reflected ones.
△ Less
Submitted 12 December, 2002;
originally announced December 2002.
-
Interaction of a soliton with a localized gain in a fiber Bragg grating
Authors:
William C. K. Mak,
Pak L. Chu,
Boris A. Malomed
Abstract:
A model of a lossy nonlinear fiber grating with a "hot spot", which combines a local gain and an attractive perturbation of the refractive index, is introduced. A family of exact solutions for pinned solitons is found in the absence of loss and gain. In the presence of the loss and localized gain, an instability threshold of the zero solution is found. If the loss and gain are small, it is predi…
▽ More
A model of a lossy nonlinear fiber grating with a "hot spot", which combines a local gain and an attractive perturbation of the refractive index, is introduced. A family of exact solutions for pinned solitons is found in the absence of loss and gain. In the presence of the loss and localized gain, an instability threshold of the zero solution is found. If the loss and gain are small, it is predicted what soliton is selected by the energy-balance condition. Direct simulations demonstrate that only one pinned soliton is stable in the conservative model: solitons with a larger energy relax to it via emission of radiation, while those with a smaller energy decay. In the model with the loss and gain, stable pinned pulses demonstrate persistent internal vibrations and emission of radiation. If these solitons are nearly stationary, the prediction based on the energy balance underestimates the necessary gain by 10% to 15% (due to radiation loss). If the loss and gain are larger, the intrinsic vibrations of the pinned soliton become chaotic. The local gain alone, without the attractive perturbation of the local refractive index, cannot maintain a stable pinned soliton. For collisions of moving solitons with the "hot spot", passage and capture regimes are identified, the capture actually implying splitting of the soliton.
△ Less
Submitted 3 December, 2002;
originally announced December 2002.