-
On the Security and Design of Cryptosystems Using Gabidulin-Kronecker Product Codes
Authors:
Terry Shue Chien Lau,
Zhe Sun,
Sook-Chin Yip,
Ji-Jian Chin,
Choo-Yee Ting
Abstract:
This paper is a preliminary study on the security and design of cryptosystems using Gabidulin-Kronecker Product Codes. In particular, we point out the design impracticality of the system, and propose ways to improve it.
This paper is a preliminary study on the security and design of cryptosystems using Gabidulin-Kronecker Product Codes. In particular, we point out the design impracticality of the system, and propose ways to improve it.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
Beyond Functionality: Co-Designing Voice User Interfaces for Older Adults' Well-being
Authors:
Xinhui Hu,
Smit Desai,
Morgan Lundy,
Jessie Chin
Abstract:
The global population is rapidly aging, necessitating technologies that promote healthy aging. Voice User Interfaces (VUIs), leveraging natural language interaction, offer a promising solution for older adults due to their ease of use. However, current design practices often overemphasize functionality, neglecting older adults' complex aspirations, psychological well-being, and social connectednes…
▽ More
The global population is rapidly aging, necessitating technologies that promote healthy aging. Voice User Interfaces (VUIs), leveraging natural language interaction, offer a promising solution for older adults due to their ease of use. However, current design practices often overemphasize functionality, neglecting older adults' complex aspirations, psychological well-being, and social connectedness. To address this gap, we conducted co-design sessions with 20 older adults employing an empathic design approach. Half of the participants interacted with a probe involving health information learning, while the others focused on a probe related to exercise. This method engaged participants in collaborative activities to uncover non-functional requirements early in the design process. Results indicate that when encouraged to share their needs within a social context, older adults revealed a range of sensory, aesthetic, hedonic, and social preferences and, more importantly, the specific personas of VUIs. These insights inform the relative importance of these factors in VUI design.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
Learning to Deliver: a Foundation Model for the Montreal Capacitated Vehicle Routing Problem
Authors:
Samuel J. K. Chin,
Matthias Winkenbach,
Akash Srivastava
Abstract:
In this paper, we present the Foundation Model for the Montreal Capacitated Vehicle Routing Problem (FM-MCVRP), a novel Deep Learning (DL) model that approximates high-quality solutions to a variant of the Capacitated Vehicle Routing Problem (CVRP) that characterizes many real-world applications. The so-called Montreal Capacitated Vehicle Routing Problem (MCVRP), first formally described by Bengio…
▽ More
In this paper, we present the Foundation Model for the Montreal Capacitated Vehicle Routing Problem (FM-MCVRP), a novel Deep Learning (DL) model that approximates high-quality solutions to a variant of the Capacitated Vehicle Routing Problem (CVRP) that characterizes many real-world applications. The so-called Montreal Capacitated Vehicle Routing Problem (MCVRP), first formally described by Bengio et al. (2021), is defined on a fixed and finite graph, which is analogous to a city. Each MCVRP instance is essentially the sub-graph connecting a randomly sampled subset of the nodes in the fixed graph, which represent a set of potential addresses in a real-world delivery problem on a given day. Our work exploits this problem structure to frame the MCVRP as an analogous Natural Language Processing (NLP) task. Specifically, we leverage a Transformer architecture embedded in a Large Language Model (LLM) framework to train our model in a supervised manner on computationally inexpensive, sub-optimal MCVRP solutions obtained algorithmically. Through comprehensive computational experiments, we show that FM-MCVRP produces better MCVRP solutions than the training data and generalizes to larger sized problem instances not seen during training. Even when compared to near-optimal solutions from state-of-the-art heuristics, FM-MCVRP yields competitive results despite being trained on inferior data. For instance, for 400-customer problems, FM-MCVRP solutions on average fall within 2% of the benchmark. Our results further demonstrate that unlike prior works in the literature, FM-MCVRP is a unified model, which performs consistently and reliably on a range of problem instance sizes and parameter values such as the vehicle capacity.
△ Less
Submitted 28 February, 2024;
originally announced March 2024.
-
BrainVis: Exploring the Bridge between Brain and Visual Signals via Image Reconstruction
Authors:
Honghao Fu,
Zhiqi Shen,
Jing Jih Chin,
Hao Wang
Abstract:
Analyzing and reconstructing visual stimuli from brain signals effectively advances the understanding of human visual system. However, the EEG signals are complex and contain significant noise. This leads to substantial limitations in existing works of visual stimuli reconstruction from EEG, such as difficulties in aligning EEG embeddings with the fine-grained semantic information and a heavy reli…
▽ More
Analyzing and reconstructing visual stimuli from brain signals effectively advances the understanding of human visual system. However, the EEG signals are complex and contain significant noise. This leads to substantial limitations in existing works of visual stimuli reconstruction from EEG, such as difficulties in aligning EEG embeddings with the fine-grained semantic information and a heavy reliance on additional large self-collected dataset for training. To address these challenges, we propose a novel approach called BrainVis. Firstly, we divide the EEG signals into various units and apply a self-supervised approach on them to obtain EEG time-domain features, in an attempt to ease the training difficulty. Additionally, we also propose to utilize the frequency-domain features to enhance the EEG representations. Then, we simultaneously align EEG time-frequency embeddings with the interpolation of the coarse and fine-grained semantics in the CLIP space, to highlight the primary visual components and reduce the cross-modal alignment difficulty. Finally, we adopt the cascaded diffusion models to reconstruct images. Using only 10\% training data of the previous work, our proposed BrainVis outperforms state of the arts in both semantic fidelity reconstruction and generation quality. The code is available at https://github.com/RomGai/BrainVis.
△ Less
Submitted 3 September, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
Game Solving with Online Fine-Tuning
Authors:
Ti-Rong Wu,
Hung Guei,
Ting Han Wei,
Chung-Chin Shih,
Jui-Te Chin,
I-Chen Wu
Abstract:
Game solving is a similar, yet more difficult task than mastering a game. Solving a game typically means to find the game-theoretic value (outcome given optimal play), and optionally a full strategy to follow in order to achieve that outcome. The AlphaZero algorithm has demonstrated super-human level play, and its powerful policy and value predictions have also served as heuristics in game solving…
▽ More
Game solving is a similar, yet more difficult task than mastering a game. Solving a game typically means to find the game-theoretic value (outcome given optimal play), and optionally a full strategy to follow in order to achieve that outcome. The AlphaZero algorithm has demonstrated super-human level play, and its powerful policy and value predictions have also served as heuristics in game solving. However, to solve a game and obtain a full strategy, a winning response must be found for all possible moves by the losing player. This includes very poor lines of play from the losing side, for which the AlphaZero self-play process will not encounter. AlphaZero-based heuristics can be highly inaccurate when evaluating these out-of-distribution positions, which occur throughout the entire search. To address this issue, this paper investigates applying online fine-tuning while searching and proposes two methods to learn tailor-designed heuristics for game solving. Our experiments show that using online fine-tuning can solve a series of challenging 7x7 Killall-Go problems, using only 23.54% of computation time compared to the baseline without online fine-tuning. Results suggest that the savings scale with problem size. Our method can further be extended to any tree search algorithm for problem solving. Our code is available at https://rlg.iis.sinica.edu.tw/papers/neurips2023-online-fine-tuning-solver.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Like My Aunt Dorothy: Effects of Conversational Styles on Perceptions, Acceptance and Metaphorical Descriptions of Voice Assistants during Later Adulthood
Authors:
Jessie Chin,
Smit Desai,
Sheny Lin,
Shannon Mejia
Abstract:
Little research has investigated the design of conversational styles of voice assistants (VA) for adults in their later adulthood with varying personalities. In this Wizard of Oz experiment, 34 middle-aged (50 to 64 years old) and 24 older adults (65 to 80 years old) participated in a user study at a simulated home, interacting with a VA using either formal or informal language. Older adults with…
▽ More
Little research has investigated the design of conversational styles of voice assistants (VA) for adults in their later adulthood with varying personalities. In this Wizard of Oz experiment, 34 middle-aged (50 to 64 years old) and 24 older adults (65 to 80 years old) participated in a user study at a simulated home, interacting with a VA using either formal or informal language. Older adults with higher agreeableness perceived VA as being more likeable than middle-aged adults. Middle-aged adults showed similar technology acceptance toward the informal and formal VA, and older adults preferred using informal VA, especially those with low agreeableness. Further, while both middle-aged and older adults frequently anthropomorphized VAs by using human metaphors for them, older adults compared formal VA with professionals (e.g., librarians, teachers) and informal VA with their close ones (e.g., spouses, relatives). Overall, the conversational style showed differential effects on the perceptions of middle-aged and older adults, suggesting personalized design implications.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
CAN Bus: The Future of Additive Manufacturing (3D Printing)
Authors:
Jun-Cheng Chin,
Tyler Cultice,
Himanshu Thapliyal
Abstract:
Additive Manufacturing (AM) is gaining renewed popularity and attention due to low-cost fabrication systems proliferating the market. Current communication protocols used in AM limit the connection flexibility between the control board and peripherals; they are often complex in their wiring and thus restrict their avenue of expansion. Thus, the Controller Area Network (CAN) bus is an attractive pa…
▽ More
Additive Manufacturing (AM) is gaining renewed popularity and attention due to low-cost fabrication systems proliferating the market. Current communication protocols used in AM limit the connection flexibility between the control board and peripherals; they are often complex in their wiring and thus restrict their avenue of expansion. Thus, the Controller Area Network (CAN) bus is an attractive pathway for inter-hardware connections due to its innate quality. However, the combination of CAN and AM is not well explored and documented in existing literature. This article aims to provide examples of CAN bus applications in AM.
△ Less
Submitted 27 October, 2022;
originally announced November 2022.
-
Daytime calibration and testing of the Keck All sky Precision Adaptive Optics Tomography System
Authors:
Avinash Surendran,
Jacques R. Delorme,
Carlos M. Correia,
Steve Doyle,
Sam Ragland,
Paul Richards,
Peter Wizinowich,
Philip M. Hinz,
Daren Dillon,
Cesar Laguna,
Sylvain Cetre,
Scott Lilley,
Ed Wetherell,
Jason C. Y. Chin,
Eduardo Marin
Abstract:
The development of the Keck All sky Precision Adaptive optics (KAPA) project was initiated in September 2018 to upgrade the Keck I adaptive optics (AO) system to enable laser tomography adaptive optics (LTAO) with a four laser guide star (LGS) asterism. The project includes the replacement of the existing LMCT laser with a Toptica laser, the implementation of a new real-time controller (RTC) and w…
▽ More
The development of the Keck All sky Precision Adaptive optics (KAPA) project was initiated in September 2018 to upgrade the Keck I adaptive optics (AO) system to enable laser tomography adaptive optics (LTAO) with a four laser guide star (LGS) asterism. The project includes the replacement of the existing LMCT laser with a Toptica laser, the implementation of a new real-time controller (RTC) and wavefront sensor optics and camera, and a new daytime calibration and test platform to provide the required infrastructure for laser tomography. The work presented here describes the new daytime calibration infrastructure to test the performance for the KAPA tomographic algorithms. This paper outlines the hardware infrastructure for daytime calibration and performance assessment of tomographic algorithms. This includes the implementation of an asterism simulator having fiber-coupled light sources simulating four Laser Guide Stars (LGS) and two Natural Guide Stars (NGS) at the AO bench focus, as well as the upgrade of the existing TelSim on the AO bench to simulate focal anisoplanatism and wind driven atmospheric turbulence. A phase screen, that can be adjusted in effective altitude, is used to simulate wind speeds up to 10 m/s for a duration of upto 3 s.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
Machine-Learning Inspired Clustering of Distributed Energy Resources
Authors:
Jun-Xing Chin,
Gabriela Hug
Abstract:
With the increasing penetration of distributed energy resources (DERs) in distribution grids, their impact on grid operations can no longer be ignored. However, the individual control of these increasingly ubiquitous devices remains a challenge due to their numbers. One solution is to control them in groups via virtual power plants. Previous work has typically focused on optimally dispatching a fi…
▽ More
With the increasing penetration of distributed energy resources (DERs) in distribution grids, their impact on grid operations can no longer be ignored. However, the individual control of these increasingly ubiquitous devices remains a challenge due to their numbers. One solution is to control them in groups via virtual power plants. Previous work has typically focused on optimally dispatching a fixed set of DERs, eschewing methods for optimally determining set membership. Intuitively, these fixed sets may not be optimal from a control perspective. Here, we propose a method to cluster the DERs based on a proxy for their covariances, with the goal of minimising the maximum variance across all DER clusters. This method does not require the enumeration and evaluation of all DER combinations, which are required for brute force techniques. Simulation results show that while there is typically a loss in optimality, it is generally small. More importantly, computational tractability is greatly improved when compared to other methods, which require some form of enumeration and evaluation of the DER combinations.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Mental Health Pandemic during the COVID-19 Outbreak: Social Media as a Window to Public Mental Health
Authors:
Michelle Bak,
Chungyi Chiu,
Jessie Chin
Abstract:
Intensified preventive measures during the COVID-19 pandemic, such as lockdown and social distancing, heavily increased the perception of social isolation (i.e., a discrepancy between one's social needs and the provisions of the social environment) among young adults. Social isolation is closely associated with situational loneliness (i.e., loneliness emerging from environmental change), a risk fa…
▽ More
Intensified preventive measures during the COVID-19 pandemic, such as lockdown and social distancing, heavily increased the perception of social isolation (i.e., a discrepancy between one's social needs and the provisions of the social environment) among young adults. Social isolation is closely associated with situational loneliness (i.e., loneliness emerging from environmental change), a risk factor for depressive symptoms. Prior research suggested vulnerable young adults are likely to seek support from an online social platform such as Reddit, a perceived comfortable environment for lonely individuals to seek mental health help through anonymous communication with a broad social network. Therefore, this study aims to identify and analyze depression-related dialogues on loneliness subreddits during the COVID-19 outbreak, with the implications on depression-related infoveillance during the pandemic. Our study utilized logistic regression and topic modeling to classify and examine depression-related discussions on loneliness subreddits before and during the pandemic. Our results showed significant increases in the volume of depression-related discussions (i.e., topics related to mental health, social interaction, family, and emotion) where challenges were reported during the pandemic. We also found a switch in dominant topics emerging from depression-related discussions on loneliness subreddits, from dating (prepandemic) to online interaction and community (pandemic), suggesting the increased expressions or need of online social support during the pandemic. The current findings suggest the potential of social media to serve as a window for monitoring public mental health. Our future study will clinically validate the current approach, which has implications for designing a surveillance system during the crisis.
△ Less
Submitted 25 April, 2023; v1 submitted 1 March, 2022;
originally announced March 2022.
-
Neural-guided, Bidirectional Program Search for Abstraction and Reasoning
Authors:
Simon Alford,
Anshula Gandhi,
Akshay Rangamani,
Andrzej Banburski,
Tony Wang,
Sylee Dandekar,
John Chin,
Tomaso Poggio,
Peter Chin
Abstract:
One of the challenges facing artificial intelligence research today is designing systems capable of utilizing systematic reasoning to generalize to new tasks. The Abstraction and Reasoning Corpus (ARC) measures such a capability through a set of visual reasoning tasks. In this paper we report incremental progress on ARC and lay the foundations for two approaches to abstraction and reasoning not ba…
▽ More
One of the challenges facing artificial intelligence research today is designing systems capable of utilizing systematic reasoning to generalize to new tasks. The Abstraction and Reasoning Corpus (ARC) measures such a capability through a set of visual reasoning tasks. In this paper we report incremental progress on ARC and lay the foundations for two approaches to abstraction and reasoning not based in brute-force search. We first apply an existing program synthesis system called DreamCoder to create symbolic abstractions out of tasks solved so far, and show how it enables solving of progressively more challenging ARC tasks. Second, we design a reasoning algorithm motivated by the way humans approach ARC. Our algorithm constructs a search graph and reasons over this graph structure to discover task solutions. More specifically, we extend existing execution-guided program synthesis approaches with deductive reasoning based on function inverse semantics to enable a neural-guided bidirectional search algorithm. We demonstrate the effectiveness of the algorithm on three domains: ARC, 24-Game tasks, and a 'double-and-add' arithmetic puzzle.
△ Less
Submitted 26 October, 2021; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Finding Bugs with Specification-Based Testing is Easy!
Authors:
Janice Chin,
David Pearce
Abstract:
Automated specification-based testing has a long history with several notable tools having emerged. For example, QuickCheck for Haskell focuses on testing against user-provided properties. Others, such as JMLUnit, use specifications in the form of pre- and post-conditions to drive testing. An interesting (and under-explored) question is how effective this approach is at finding bugs in practice…
▽ More
Automated specification-based testing has a long history with several notable tools having emerged. For example, QuickCheck for Haskell focuses on testing against user-provided properties. Others, such as JMLUnit, use specifications in the form of pre- and post-conditions to drive testing. An interesting (and under-explored) question is how effective this approach is at finding bugs in practice. In general, one would assume automated testing is less effective at bug finding than static verification. But, how much less effective? To shed light on this question, we consider automated testing of programs written in Whiley -- a language with first-class support for specifications. Whilst originally designed with static verification in mind, we have anecdotally found automated testing for Whiley surprisingly useful and cost-effective. For example, when an error is detected with automated testing, a counterexample is always provided. This has motivated the more rigorous empirical examination presented in this paper. To that end, we provide a technical discussion of the implementation behind an automated testing tool for Whiley. Here, a key usability concern is the ability to parameterise the input space, and we present novel approaches for references and lambdas. We then report on several large experiments investigating the tool's effectiveness at bug finding using a range of benchmarks, including a suite of 1800+ mutants. The results indicate the automated testing is effective in many cases, and that sampling offers useful performance benefits with only modest reductions in bug-finding capability. Finally, we report on some real-world uses of the tool where it has proved effective at finding bugs (such as in the standard library).
△ Less
Submitted 26 February, 2021;
originally announced March 2021.
-
Consumer Privacy Protection using Flexible Thermal Loads: Theoretical Limits and Practical Considerations
Authors:
Jun-Xing Chin,
Kyri Baker,
Gabriela Hug
Abstract:
The increasing adoption of smart meters introduces growing concerns about consumer privacy risks stemming from high resolution metering data. To counter these risks, there have been various works in actively shaping the grid-visible energy consumption profile using controllable loads such as energy storage systems (ESSs) and flexible consumer loads. In this paper, we compare the use of flexible th…
▽ More
The increasing adoption of smart meters introduces growing concerns about consumer privacy risks stemming from high resolution metering data. To counter these risks, there have been various works in actively shaping the grid-visible energy consumption profile using controllable loads such as energy storage systems (ESSs) and flexible consumer loads. In this paper, we compare the use of flexible thermal-based consumer loads (FTLs) against ESSs for consumer privacy protection. By first assuming ideal conditions, and subsequently bringing them closer to reality, the limitations of using FTLs for privacy protection are identified. Through theoretical analyses and realistic simulations, it is shown that, due to the limitations in the operation of FTLs, without significant over-sizing of systems and sacrifices in consumer comfort, FTLs of much higher equivalent energy storage capacity are required to afford the same level of protection as ESSs. Nonetheless, given their increasing ubiquity, controllable FTLs should be considered for use in consumer privacy protection.
△ Less
Submitted 28 October, 2020; v1 submitted 13 February, 2020;
originally announced February 2020.
-
Tracking the evolution of magmas from heterogeneous mantle sources to eruption
Authors:
Ananya Mallik,
Sarah Lambart,
Emily J. Chin
Abstract:
This contribution reviews the effects of source heterogeneities, melt-rock reactions and intracrustal differentiation on magma chemistry across mid-ocean ridges, intraplate settings and subduction zones using experimental studies and natural data. We compare melting behaviors of pyroxenites and peridotites and their relative contributions to magmas as functions of composition, mantle potential tem…
▽ More
This contribution reviews the effects of source heterogeneities, melt-rock reactions and intracrustal differentiation on magma chemistry across mid-ocean ridges, intraplate settings and subduction zones using experimental studies and natural data. We compare melting behaviors of pyroxenites and peridotites and their relative contributions to magmas as functions of composition, mantle potential temperatures and lithospheric thickness. We also discuss the fate of chemically distinct melts derived from heterogeneities as they travel through a peridotitic mantle. Using nearly 60,000 natural major element compositions of volcanic rocks, melt inclusions, and crystalline cumulates, we assess broad petrogenetic trends in as large of a global dataset as possible. Consistent with previous studies, major element chemistry of mid-ocean ridge basalts (MORBs) and their cumulates favor a first-order control of intracrustal crystal-liquid segregation, while trace element studies emphasize the role of melt-rock reactions, highlighting the decoupling between the two. Ocean island basalts (OIB) show a larger compositional variability than MORB, partly attributed to large variations of pyroxenite proportions in the mantle source. However, the estimated proportions vary considerably with heterogeneity composition, melting model and thermal structure of the mantle. For arcs, we highlight current views on the role of the downgoing slab into the source of primary arc magmas, and the role of the overriding lithosphere as a magmatic chemical filter and as the repository of voluminous arc cumulates. Our approach of simultaneously looking at a large database of volcanic + deep crustal rocks across diverse tectonic settings underscores the challenge of deciphering the source signal versus intracrustal/lithospheric processes.
△ Less
Submitted 3 January, 2020;
originally announced January 2020.
-
Aggregating Privacy-Conscious Distributed Energy Resources for Grid Service Provision
Authors:
Jun-Xing Chin,
Andrey Bernstein,
Gabriela Hug
Abstract:
The increasing adoption of advanced metering infrastructure has led to growing concerns regarding privacy risks stemming from the high resolution measurements. This has given rise to privacy protection techniques that physically alter the consumer's energy load profile, masking private information by using localised devices, e.g. batteries or flexible loads. Meanwhile, there has also been increasi…
▽ More
The increasing adoption of advanced metering infrastructure has led to growing concerns regarding privacy risks stemming from the high resolution measurements. This has given rise to privacy protection techniques that physically alter the consumer's energy load profile, masking private information by using localised devices, e.g. batteries or flexible loads. Meanwhile, there has also been increasing interest in aggregating the distributed energy resources (DERs) of residential consumers to provide services to the grid. In this paper, we propose an online distributed algorithm to aggregate the DERs of privacy-conscious consumers to provide services to the grid, whilst preserving their privacy. Results show that the optimisation solution from the distributed method converges to one close to the optimum computed using an ideal centralised solution method, balancing between grid service provision, consumer preferences and privacy protection. More importantly, the distributed method preserves consumer privacy, and does not require high-bandwidth two-way communications infrastructure.
△ Less
Submitted 25 October, 2020; v1 submitted 3 September, 2019;
originally announced September 2019.
-
Privacy-Protecting Energy Management Unit through Model-Distribution Predictive Control
Authors:
Jun-Xing Chin,
Tomas Tinoco De Rubira,
Gabriela Hug
Abstract:
The roll-out of smart meters in electricity networks introduces risks for consumer privacy due to increased measurement frequency and granularity. Through various Non-Intrusive Load Monitoring techniques, consumer behavior may be inferred from their metering data. In this paper, we propose an energy management method that reduces energy cost and protects privacy through the minimization of informa…
▽ More
The roll-out of smart meters in electricity networks introduces risks for consumer privacy due to increased measurement frequency and granularity. Through various Non-Intrusive Load Monitoring techniques, consumer behavior may be inferred from their metering data. In this paper, we propose an energy management method that reduces energy cost and protects privacy through the minimization of information leakage. The method is based on a Model Predictive Controller that utilizes energy storage and local generation, and that predicts the effects of its actions on the statistics of the actual energy consumption of a consumer and that seen by the grid. Computationally, the method requires solving a Mixed-Integer Quadratic Program of manageable size whenever new meter readings are available. We simulate the controller on generated residential load profiles with different privacy costs in a two-tier time-of-use energy pricing environment. Results show that information leakage is effectively reduced at the expense of increased energy cost. The results also show that with the proposed controller the consumer load profile seen by the grid resembles a mixture between that obtained with Non-Intrusive Load Leveling and Lazy Stepping.
△ Less
Submitted 27 June, 2017; v1 submitted 15 December, 2016;
originally announced December 2016.
-
ConceptNet 5.5: An Open Multilingual Graph of General Knowledge
Authors:
Robyn Speer,
Joshua Chin,
Catherine Havasi
Abstract:
Machine learning about language can be improved by supplying it with specific knowledge and sources of external information. We present here a new version of the linked open data resource ConceptNet that is particularly well suited to be used with modern NLP techniques such as word embeddings.
ConceptNet is a knowledge graph that connects words and phrases of natural language with labeled edges.…
▽ More
Machine learning about language can be improved by supplying it with specific knowledge and sources of external information. We present here a new version of the linked open data resource ConceptNet that is particularly well suited to be used with modern NLP techniques such as word embeddings.
ConceptNet is a knowledge graph that connects words and phrases of natural language with labeled edges. Its knowledge is collected from many sources that include expert-created resources, crowd-sourcing, and games with a purpose. It is designed to represent the general knowledge involved in understanding language, improving natural language applications by allowing the application to better understand the meanings behind the words people use.
When ConceptNet is combined with word embeddings acquired from distributional semantics (such as word2vec), it provides applications with understanding that they would not acquire from distributional semantics alone, nor from narrower resources such as WordNet or DBPedia. We demonstrate this with state-of-the-art results on intrinsic evaluations of word relatedness that translate into improvements on applications of word vectors, including solving SAT-style analogies.
△ Less
Submitted 11 December, 2018; v1 submitted 12 December, 2016;
originally announced December 2016.
-
Asymptotic Analysis of Equivalences and Core-Structures in Kronecker-Style Graph Models
Authors:
Alex J. Chin,
Timothy D. Goodrich,
Michael P. O'Brien,
Felix Reidl,
Blair D. Sullivan,
Andrew van der Poel
Abstract:
Growing interest in modeling large, complex networks has spurred significant research into generative graph models. Kronecker-style models (SKG and R-MAT) are often used due to their scalability and ability to mimic key properties of real-world networks. Although a few papers theoretically establish these models' behavior for specific parameters, many claims used to justify their use are supported…
▽ More
Growing interest in modeling large, complex networks has spurred significant research into generative graph models. Kronecker-style models (SKG and R-MAT) are often used due to their scalability and ability to mimic key properties of real-world networks. Although a few papers theoretically establish these models' behavior for specific parameters, many claims used to justify their use are supported only empirically. In this work, we prove several results using asymptotic analysis which illustrate that empirical studies may not fully capture the true behavior of the models.
Paramount to the widespread adoption of Kronecker-style models was the introduction of a linear-time edge-sampling variant (R-MAT), which existing literature typically treats as interchangeable with SKG. We prove that although several R-MAT formulations are asymptotically equivalent, their behavior diverges from that of SKG. Further, we show these results are observable even at relatively small graph sizes. Second, we consider a case where asymptotic analysis reveals unexpected behavior within a given model.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
An Ensemble Method to Produce High-Quality Word Embeddings (2016)
Authors:
Robyn Speer,
Joshua Chin
Abstract:
A currently successful approach to computational semantics is to represent words as embeddings in a machine-learned vector space. We present an ensemble method that combines embeddings produced by GloVe (Pennington et al., 2014) and word2vec (Mikolov et al., 2013) with structured knowledge from the semantic networks ConceptNet (Speer and Havasi, 2012) and PPDB (Ganitkevitch et al., 2013), merging…
▽ More
A currently successful approach to computational semantics is to represent words as embeddings in a machine-learned vector space. We present an ensemble method that combines embeddings produced by GloVe (Pennington et al., 2014) and word2vec (Mikolov et al., 2013) with structured knowledge from the semantic networks ConceptNet (Speer and Havasi, 2012) and PPDB (Ganitkevitch et al., 2013), merging their information into a common representation with a large, multilingual vocabulary. The embeddings it produces achieve state-of-the-art performance on many word-similarity evaluations. Its score of $ρ= .596$ on an evaluation of rare words (Luong et al., 2013) is 16% higher than the previous best known system.
△ Less
Submitted 19 December, 2019; v1 submitted 6 April, 2016;
originally announced April 2016.
-
Random subtrees of complete graphs
Authors:
Alex J. Chin,
Gary Gordon,
Kellie J. MacPhee,
Charles Vincent
Abstract:
We study the asymptotic behavior of four statistics associated with subtrees of complete graphs: the uniform probability $p_n$ that a random subtree is a spanning tree of $K_n$, the weighted probability $q_n$ (where the probability a subtree is chosen is proportional to the number of edges in the subtree) that a random subtree spans and the two expectations associated with these two probabilities.…
▽ More
We study the asymptotic behavior of four statistics associated with subtrees of complete graphs: the uniform probability $p_n$ that a random subtree is a spanning tree of $K_n$, the weighted probability $q_n$ (where the probability a subtree is chosen is proportional to the number of edges in the subtree) that a random subtree spans and the two expectations associated with these two probabilities. We find $p_n$ and $q_n$ both approach $e^{-e^{-1}}\approx .692$, while both expectations approach the size of a spanning tree, i.e., a random subtree of $K_n$ has approximately $n-1$ edges.
△ Less
Submitted 21 August, 2013;
originally announced August 2013.
-
Fast and accurate simulations of transmission-line metamaterials using transmission-matrix method
Authors:
Hui Feng Ma,
Tie Jun Cui,
Jessie Yao Chin,
Qiang Cheng
Abstract:
Recently, two-dimensional (2D) periodically L and C loaded transmission-line (TL) networks have been applied to represent metamaterials. The commercial Agilent's Advanced Design System (ADS) is a commonly-used tool to simulate the TL metamaterials. However, it takes a lot of time to set up the TL network and perform numerical simulations using ADS, making the metamaterial analysis inefficient, e…
▽ More
Recently, two-dimensional (2D) periodically L and C loaded transmission-line (TL) networks have been applied to represent metamaterials. The commercial Agilent's Advanced Design System (ADS) is a commonly-used tool to simulate the TL metamaterials. However, it takes a lot of time to set up the TL network and perform numerical simulations using ADS, making the metamaterial analysis inefficient, especially for large-scale TL networks. In this paper, we propose transmission-matrix method (TMM) to simulate and analyze the TL-network metamaterials efficiently. Compared to the ADS commercial software, TMM provides nearly the same simulation results for the same networks. However, the model-process and simulation time has been greatly reduced. The proposed TMM can serve as an efficient tool to study the TL-network metamaterials.
△ Less
Submitted 16 July, 2009;
originally announced July 2009.
-
Resolving the Multiple Outflows in the Egg Nebula with Keck II Laser Guide Star Adaptive Optics
Authors:
D. Le Mignant,
R. Sahai,
A. Bouchez,
R. Campbell,
M. van Dam,
J. Chin,
E. Johansson,
S. Hartman,
R. Lafon,
J. Lyke,
P. Stomski,
D. Summers,
P. Wizinowich
Abstract:
The Egg Nebula has been regarded as the archetype of bipolar proto-planetary nebulae, yet we lack a coherent model that can explain the morphology and kinematics of the nebular and dusty components observed at high-spatial and spectral resolution. Here, we report on two sets of observations obtained with the Keck Adaptive Optics Laser Guide Star: H to M-band NIRC2 imaging, and narrow bandpath K-…
▽ More
The Egg Nebula has been regarded as the archetype of bipolar proto-planetary nebulae, yet we lack a coherent model that can explain the morphology and kinematics of the nebular and dusty components observed at high-spatial and spectral resolution. Here, we report on two sets of observations obtained with the Keck Adaptive Optics Laser Guide Star: H to M-band NIRC2 imaging, and narrow bandpath K-band OSIRIS 3-D imaging-spectroscopy (through the H2 2.121micron emission line). While the central star or engine remains un-detected at all bands, we clearly resolve the dusty components in the central region and confirm that peak A is not a companion star. The spatially-resolved spectral analysis provide kinematic information of the H_2 emission regions in the eastern and central parts of the nebula and show projected velocities for the H_2 emission higher than 100 km/s. We discuss these observations against a possible formation scenario for the nebular components.
△ Less
Submitted 4 September, 2007;
originally announced September 2007.
-
Critical velocity for superfluid flow across the BEC-BCS crossover
Authors:
D. E. Miller,
J. K. Chin,
C. A. Stan,
Y. Liu,
W. Setiawan,
C. Sanner,
W. Ketterle
Abstract:
Critical velocities have been observed in an ultracold superfluid Fermi gas throughout the BEC-BCS crossover. A pronounced peak of the critical velocity at unitarity demonstrates that superfluidity is most robust for resonant atomic interactions. Critical velocities were determined from the abrupt onset of dissipation when the velocity of a moving one dimensional optical lattice was varied. The…
▽ More
Critical velocities have been observed in an ultracold superfluid Fermi gas throughout the BEC-BCS crossover. A pronounced peak of the critical velocity at unitarity demonstrates that superfluidity is most robust for resonant atomic interactions. Critical velocities were determined from the abrupt onset of dissipation when the velocity of a moving one dimensional optical lattice was varied. The dependence of the critical velocity on lattice depth and on the inhomogeneous density profile was studied.
△ Less
Submitted 16 July, 2007;
originally announced July 2007.
-
Evidence for Superfluidity of Ultracold Fermions in an Optical Lattice
Authors:
J. K. Chin,
D. E. Miller,
Y. Liu,
C. Stan,
W. Setiawan,
C. Sanner,
K. Xu,
W. Ketterle
Abstract:
The study of superfluid fermion pairs in a periodic potential has important ramifications for understanding superconductivity in crystalline materials. Using cold atomic gases, various condensed matter models can be studied in a highly controllable environment. Weakly repulsive fermions in an optical lattice could undergo d-wave pairing at low temperatures, a possible mechanism for high temperat…
▽ More
The study of superfluid fermion pairs in a periodic potential has important ramifications for understanding superconductivity in crystalline materials. Using cold atomic gases, various condensed matter models can be studied in a highly controllable environment. Weakly repulsive fermions in an optical lattice could undergo d-wave pairing at low temperatures, a possible mechanism for high temperature superconductivity in the cuprates. The lattice potential could also strongly increase the critical temperature for s-wave superfluidity. Recent experimental advances in the bulk include the observation of fermion pair condensates and high-temperature superfluidity. Experiments with fermions and bosonic bound pairs in optical lattices have been reported, but have not yet addressed superfluid behavior. Here we show that when a condensate of fermionic atom pairs was released from an optical lattice, distinct interference peaks appear, implying long range order, a property of a superfluid. Conceptually, this implies that strong s-wave pairing and superfluidity have now been established in a lattice potential, where the transport of atoms occurs by quantum mechanical tunneling and not by simple propagation. These observations were made for unitarity limited interactions on both sides of a Feshbach resonance. For larger lattice depths, the coherence was lost in a reversible manner, possibly due to a superfluid to insulator transition. Such strongly interacting fermions in an optical lattice can be used to study a new class of Hamiltonians with interband and atom-molecule couplings.
△ Less
Submitted 28 September, 2006; v1 submitted 3 July, 2006;
originally announced July 2006.
-
A low density of 0.8 g/cc for the Trojan binary asteroid 617 Patroclus
Authors:
Franck Marchis,
Daniel Hestroffer,
Pascal Descamps,
Jerome Berthier,
Antonin H. Bouchez,
Randall D. Campbell,
Jason C. Y. Chin,
Marcos A. van Dam,
Scott K. Hartman,
Erik M. Johansson,
Robert E. Lafon,
David Le Mignant,
Imke de Pater,
Paul J. Stomski,
Doug M. Summers,
Frederic Vachier,
Peter L. Wizinovich,
Michael H. Wong
Abstract:
The Trojan population consists of two swarms of asteroids following the same orbit as Jupiter and located at the L4 and L5 Lagrange points of the Jupiter-Sun system (leading and following Jupiter by 60 degrees). The asteroid 617 Patroclus is the only known binary Trojan (Merline et al. 2001). The orbit of this double system was hitherto unknown. Here we report that the components, separated by 6…
▽ More
The Trojan population consists of two swarms of asteroids following the same orbit as Jupiter and located at the L4 and L5 Lagrange points of the Jupiter-Sun system (leading and following Jupiter by 60 degrees). The asteroid 617 Patroclus is the only known binary Trojan (Merline et al. 2001). The orbit of this double system was hitherto unknown. Here we report that the components, separated by 680 km, move around the system centre of mass, describing roughly a circular orbit. Using the orbital parameters, combined with thermal measurements to estimate the size of the components, we derive a very low density of 0.8 g/cc. The components of Patroclus are therefore very porous or composed mostly of water ice, suggesting that they could have been formed in the outer part of the solar system.
△ Less
Submitted 1 February, 2006;
originally announced February 2006.
-
Observation of Strong Quantum Depletion in a Gaseous Bose-Einstein Condensate
Authors:
K. Xu,
Y. Liu,
D. E. Miller,
J. K. Chin,
W. Setiawan,
W. Ketterle
Abstract:
We studied quantum depletion in a gaseous Bose-Einstein condensate. An optical lattice enhanced the atomic interactions and modified the dispersion relation resulting in strong quantum depletion. The depleted fraction was directly observed as a diffuse background in the time-of-flight images. Bogoliubov theory provided a semi-quantitative description for our observations of depleted fractions in…
▽ More
We studied quantum depletion in a gaseous Bose-Einstein condensate. An optical lattice enhanced the atomic interactions and modified the dispersion relation resulting in strong quantum depletion. The depleted fraction was directly observed as a diffuse background in the time-of-flight images. Bogoliubov theory provided a semi-quantitative description for our observations of depleted fractions in excess of 50%.
△ Less
Submitted 10 May, 2006; v1 submitted 9 January, 2006;
originally announced January 2006.
-
Fractional-Period Excitations in Continuum Periodic Systems
Authors:
H. E. Nistazakis,
Mason A. Porter,
P. G. Kevrekidis,
D. J. Frantzeskakis,
A. Nicolin,
J. K. Chin
Abstract:
We investigate the generation of fractional-period states in continuum periodic systems. As an example, we consider a Bose-Einstein condensate confined in an optical-lattice potential. We show that when the potential is turned on non-adiabatically, the system explores a number of transient states whose periodicity is a fraction of that of the lattice. We illustrate the origin of fractional-perio…
▽ More
We investigate the generation of fractional-period states in continuum periodic systems. As an example, we consider a Bose-Einstein condensate confined in an optical-lattice potential. We show that when the potential is turned on non-adiabatically, the system explores a number of transient states whose periodicity is a fraction of that of the lattice. We illustrate the origin of fractional-period states analytically by treating them as resonant states of a parametrically forced Duffing oscillator and discuss their transient nature and potential observability.
△ Less
Submitted 2 October, 2006; v1 submitted 26 October, 2005;
originally announced October 2005.
-
Satellites of the largest Kuiper belt objects
Authors:
M. E. Brown,
M. A. van Dam,
A. H. Bouchez,
D. Le Mignant,
R. D. Campbell,
J. C. Y. Chin,
A. Conrad,
S. K. Hartman,
E. M. Johansson,
R. E. Lafon,
D. L. Rabinowitz,
P. J. Stomski, Jr.,
D. M. Summers,
C. A. Trujillo,
P. L. Wizinowich
Abstract:
We have searched the four brightest objects in the Kuiper belt for the presence of satellites using the newly commissioned Keck Observatory Laser Guide Star Adaptive Optics system. Satellites are seen around three of the four objects: Pluto (whose satellite Charon is well-known), 2003 EL61, and 2003 UB313. The object 2005 FY9, the brightest Kuiper belt object after Pluto, does not have a satelli…
▽ More
We have searched the four brightest objects in the Kuiper belt for the presence of satellites using the newly commissioned Keck Observatory Laser Guide Star Adaptive Optics system. Satellites are seen around three of the four objects: Pluto (whose satellite Charon is well-known), 2003 EL61, and 2003 UB313. The object 2005 FY9, the brightest Kuiper belt object after Pluto, does not have a satellite detectable within 0.4 arcseconds with a brightness of more than 0.5% of the primary. The presence of satellites to 3 of the 4 brightest Kuiper belt objects is inconsistent with the fraction of satellites in the Kuiper belt at large at the 99.1% confidence level, suggesting a different formation mechanism for these largest KBO satellites. The satellites of 2003 EL61 and 2003 UB313, with fractional brightnesses of 5% and 2% of their primaries, respectively, are significantly fainter relative to their primaries than other known Kuiper belt object satellites, again pointing to possible differences in their origin.
△ Less
Submitted 2 October, 2005;
originally announced October 2005.
-
The First Laser Guide Star Adaptive Optics Observations of the Galactic Center: Sgr A*'s Infrared Color and the Extended Red Emission in its Vicinity
Authors:
A. M. Ghez,
S. D. Hornstein,
J. Lu,
A. Bouchez,
D. Le Mignant,
M. A. van Dam,
P. Wizinowich,
K. Matthews,
M. Morris,
E. E. Becklin,
R. D. Campbell,
J. C. Y. Chin,
S. K. Hartman,
E. M. Johansson,
R. E. Lafon,
P. J. Stomski,
D. M. Summers
Abstract:
(Abridged) We present the first Laser Guide Star Adaptive Optics (LGS-AO) observations of the Galactic center. LGS-AO has dramatically improved the quality, robustness, and versatility with which high angular resolution infrared images of the Galactic center can be obtained with the W. M. Keck II 10-meter telescope. Specifically, Strehl ratios of 0.7 and 0.3 at L'[3.8 micron] and K'[2.1 micron],…
▽ More
(Abridged) We present the first Laser Guide Star Adaptive Optics (LGS-AO) observations of the Galactic center. LGS-AO has dramatically improved the quality, robustness, and versatility with which high angular resolution infrared images of the Galactic center can be obtained with the W. M. Keck II 10-meter telescope. Specifically, Strehl ratios of 0.7 and 0.3 at L'[3.8 micron] and K'[2.1 micron], respectively, are achieved in these LGS-AO images. During our observations, the infrared counterpart to the central supermassive black hole, Sgr A*-IR, showed significant infrared intensity variations, with observed L' magnitudes ranging from 12.6 to 14.5 mag. The faintest end of our L' detections, 1.3 mJy (dereddened), is the lowest level of emission yet observed for this source by a factor of 3. No significant variation in the location of SgrA*-IR is detected as a function of either wavelength or intensity. Near a peak in its intensity, we obtained the first measurement of SgrA*-IR's K'-L' color (3.0 +- 0.2 mag, observed), which corresponds to an intrinsic spectral index of -0.5 +- 0.3. This is significantly bluer than other recent infrared measurements. Because our measurement was taken at a time when Sgr A* was ~6 times brighter in the infrared than the other measurements, we posit that the spectral index of the emission arising from the vicinity of our Galaxy's central black hole may depend on the strength of the flare, with stronger flares giving rise to a higher fraction of high energy electrons in the emitting region.
△ Less
Submitted 30 August, 2005;
originally announced August 2005.
-
Sodium Bose-Einstein Condensates in an Optical Lattice
Authors:
K. Xu,
Y. Liu,
J. R. Abo-Shaeer,
T. Mukaiyama,
J. K. Chin,
D. E. Miller,
W. Ketterle,
Kevin M. Jones,
Eite Tiesinga
Abstract:
The phase transition from a superfluid to a Mott insulator has been observed in a $^{23}$Na Bose-Einstein condensate. A dye laser detuned $\approx 5$nm red of the Na $3^2$S$ \to 3^2$P$_{1/2}$ transition was used to form the three dimensional optical lattice. The heating effects of the small detuning as well as the three-body decay processes constrained the timescale of the experiment. Certain la…
▽ More
The phase transition from a superfluid to a Mott insulator has been observed in a $^{23}$Na Bose-Einstein condensate. A dye laser detuned $\approx 5$nm red of the Na $3^2$S$ \to 3^2$P$_{1/2}$ transition was used to form the three dimensional optical lattice. The heating effects of the small detuning as well as the three-body decay processes constrained the timescale of the experiment. Certain lattice detunings were found to induce a large loss of atoms. These loss features were shown to be due to photoassociation of atoms to vibrational levels in the Na$_2$ $(1) ^3Σ_g^+$ state.
△ Less
Submitted 12 July, 2005;
originally announced July 2005.
-
Merging Galaxies in Goods-s: First Extragalactic Results from Keck Laser Adaptive Optics
Authors:
J. Melbourne,
S. A. Wright,
M. Barczys,
A. H. Bouchez,
J. Chin,
M. A. van Dam,
S. Hartman,
E. Johansson,
D. C. Koo,
R. Lafon,
J. Larkin,
D. Le Mignant,
J. Lotz,
C. E. Max,
D. M. Pennington,
P. J. Stomski,
D. Summers,
P. L. Wizinowich
Abstract:
The Center for Adaptive Optics Treasury Survey (CATS) aims to combine deep HST images in the optical with deep Keck adaptive optics (AO) data in the near-infrared (NIR) to study distant galaxies, AGN, and supernovae. We recently achieved an important new milestone by securing the first Keck laser guide star AO image of faint galaxies. Six galaxies with redshifts ranging from 0.3-1.0 were targete…
▽ More
The Center for Adaptive Optics Treasury Survey (CATS) aims to combine deep HST images in the optical with deep Keck adaptive optics (AO) data in the near-infrared (NIR) to study distant galaxies, AGN, and supernovae. We recently achieved an important new milestone by securing the first Keck laser guide star AO image of faint galaxies. Six galaxies with redshifts ranging from 0.3-1.0 were targeted in one pointing in the GOODS-S field. Two are Chandra Deep Field South sources, XID-56 and XID-536, with complex morphologies suggestive of recent merger activity. Substructures seen in the NIR AO image (FWHM ~ 0.1"), including multiple tight knots in XID-56 and a double nucleus in XID-536, are confirmed in the optical HST images. These structures are unresolved in the best seeing-limited (FWHM ~ 0.5") NIR images. Stellar population synthesis models of the substructures indicate that XID-56 is a gas rich merger with a recent burst of star formation and significant amounts of dust. XID-536 appears to be a merger of two evolved stellar populations.
△ Less
Submitted 7 April, 2005;
originally announced April 2005.
-
Large-scale lattice Boltzmann simulations of complex fluids: advances through the advent of computational grids
Authors:
J. Harting,
J. Chin,
M. Venturoli,
P. V. Coveney
Abstract:
During the last two years the RealityGrid project has allowed us to be one of the few scientific groups involved in the development of computational grids. Since smoothly working production grids are not yet available, we have been able to substantially influence the direction of software development and grid deployment within the project. In this paper we review our results from large scale thr…
▽ More
During the last two years the RealityGrid project has allowed us to be one of the few scientific groups involved in the development of computational grids. Since smoothly working production grids are not yet available, we have been able to substantially influence the direction of software development and grid deployment within the project. In this paper we review our results from large scale three-dimensional lattice Boltzmann simulations performed over the last two years. We describe how the proactive use of computational steering and advanced job migration and visualization techniques enabled us to do our scientific work more efficiently. The projects reported on in this paper are studies of complex fluid flows under shear or in porous media, as well as large-scale parameter searches, and studies of the self-organisation of liquid cubic mesophases.
Movies are available at http://www.ica1.uni-stuttgart.de/~jens/pub/05/05-PhilTransReview.html
△ Less
Submitted 11 January, 2005;
originally announced January 2005.
-
High-Contrast Interference in a Thermal Cloud of Atoms
Authors:
D. E. Miller,
J. R. Anglin,
J. R. Abo-Shaeer,
K. Xu,
J. K. Chin,
W. Ketterle
Abstract:
The coherence properties of a gas of bosonic atoms above the BEC transition temperature were studied. Bragg diffraction was used to create two spatially separated wave packets, which interfere during expansion. Given sufficient expansion time, high fringe contrast could be observed in a cloud of arbitrary temperature. Fringe visibility greater than 90% was observed, which decreased with increasi…
▽ More
The coherence properties of a gas of bosonic atoms above the BEC transition temperature were studied. Bragg diffraction was used to create two spatially separated wave packets, which interfere during expansion. Given sufficient expansion time, high fringe contrast could be observed in a cloud of arbitrary temperature. Fringe visibility greater than 90% was observed, which decreased with increasing temperature, in agreement with a simple model. When the sample was "filtered" in momentum space using long, velocity-selective Bragg pulses, the contrast was significantly enhanced in contrast to predictions.
△ Less
Submitted 7 February, 2005; v1 submitted 23 December, 2004;
originally announced December 2004.
-
Coherent Molecular Optics using Sodium Dimers
Authors:
J. R. Abo-Shaeer,
D. E. Miller,
J. K. Chin,
K. Xu,
T. Mukaiyama,
W. Ketterle
Abstract:
Coherent molecular optics is performed using two-photon Bragg scattering. Molecules were produced by sweeping an atomic Bose-Einstein condensate through a Feshbach resonance. The spectral width of the molecular Bragg resonance corresponded to an instantaneous temperature of 20 nK, indicating that atomic coherence was transferred directly to the molecules. An autocorrelating interference techniqu…
▽ More
Coherent molecular optics is performed using two-photon Bragg scattering. Molecules were produced by sweeping an atomic Bose-Einstein condensate through a Feshbach resonance. The spectral width of the molecular Bragg resonance corresponded to an instantaneous temperature of 20 nK, indicating that atomic coherence was transferred directly to the molecules. An autocorrelating interference technique was used to observe the quadratic spatial dependence of the phase of an expanding molecular cloud. Finally, atoms initially prepared in two momentum states were observed to cross-pair with one another, forming molecules in a third momentum state. This process is analogous to sum-frequency generation in optics.
△ Less
Submitted 13 December, 2004; v1 submitted 13 September, 2004;
originally announced September 2004.
-
Detection and tracking of defects in the gyroid mesophase
Authors:
Jens Harting,
Matthew J. Harvey,
Jonathan Chin,
Peter V. Coveney
Abstract:
Certain systems, such as amphiphile solutions or diblock copolymer melts, may assemble into structures called ``mesophases'', with properties intermediate between those of a solid and a liquid. These mesophases can be of very regular structure, but may contain defects and grain boundaries. Different visualization techniques such as volume rendering or isosurfacing of fluid density distributions…
▽ More
Certain systems, such as amphiphile solutions or diblock copolymer melts, may assemble into structures called ``mesophases'', with properties intermediate between those of a solid and a liquid. These mesophases can be of very regular structure, but may contain defects and grain boundaries. Different visualization techniques such as volume rendering or isosurfacing of fluid density distributions allow the human eye to detect and track defects in liquid crystals because humans are easily capable of finding imperfections in repetitive spatial structures. However, manual data analysis becomes too time consuming and algorithmic approaches are needed when there are large amounts of data. We present and compare two different approaches we have developed to study defects in gyroid mesophases of amphiphilic ternary fluids. While the first method is based on a pattern recognition algorithm, the second uses the particular structural properties of gyroid mesophases to detect defects.
△ Less
Submitted 7 September, 2004;
originally announced September 2004.
-
A High-Level Reconfigurable Computing Platform Software Frameworks
Authors:
Darran Nathan,
Kelvin Lim Mun Kit,
Kelly Choo Hon Min,
Philip Wong Jit Chin,
Andreas Weisensee
Abstract:
Reconfigurable computing refers to the use of processors, such as Field Programmable Gate Arrays (FPGAs), that can be modified at the hardware level to take on different processing tasks. A reconfigurable computing platform describes the hardware and software base on top of which modular extensions can be created, depending on the desired application. Such reconfigurable computing platforms can…
▽ More
Reconfigurable computing refers to the use of processors, such as Field Programmable Gate Arrays (FPGAs), that can be modified at the hardware level to take on different processing tasks. A reconfigurable computing platform describes the hardware and software base on top of which modular extensions can be created, depending on the desired application. Such reconfigurable computing platforms can take on varied designs and implementations, according to the constraints imposed and features desired by the scope of applications. This paper introduces a PC-based reconfigurable computing platform software frameworks that is flexible and extensible enough to abstract the different hardware types and functionality that different PCs may have. The requirements of the software platform, architectural issues addressed, rationale behind the decisions made, and frameworks design implemented are discussed.
△ Less
Submitted 4 May, 2004;
originally announced May 2004.
-
Dissociation and Decay of Ultra-cold Sodium Molecules
Authors:
T. Mukaiyama,
J. R. Abo-Shaeer,
K. Xu,
J. K. Chin,
W. Ketterle
Abstract:
The dissociation of ultracold molecules is studied by ramping an external magnetic field through a Feshbach resonance. The observed dissociation energy shows non-linear dependence on the ramp speed and directly yields the strength of the atom-molecule coupling. In addition, inelastic molecule-molecule and molecule-atom collisions are characterized.
The dissociation of ultracold molecules is studied by ramping an external magnetic field through a Feshbach resonance. The observed dissociation energy shows non-linear dependence on the ramp speed and directly yields the strength of the atom-molecule coupling. In addition, inelastic molecule-molecule and molecule-atom collisions are characterized.
△ Less
Submitted 25 November, 2003;
originally announced November 2003.
-
Formation of Quantum-Degenerate Sodium Molecules
Authors:
K. Xu,
T. Mukaiyama,
J. R. Abo-Shaeer,
J. K. Chin,
D. E. Miller,
W. Ketterle
Abstract:
Ultra-cold sodium molecules were produced from an atomic Bose-Einstein condensate by ramping an applied magnetic field across a Feshbach resonance. More than $10^5$ molecules were generated with a conversion efficiency of $\sim$4%. Using laser light resonant with an atomic transition, the remaining atoms could be selectively removed, preventing fast collisional relaxation of the molecules. Time-…
▽ More
Ultra-cold sodium molecules were produced from an atomic Bose-Einstein condensate by ramping an applied magnetic field across a Feshbach resonance. More than $10^5$ molecules were generated with a conversion efficiency of $\sim$4%. Using laser light resonant with an atomic transition, the remaining atoms could be selectively removed, preventing fast collisional relaxation of the molecules. Time-of-flight analysis of the pure molecular sample yielded an instantaneous phase-space density greater than 20.
△ Less
Submitted 22 December, 2003; v1 submitted 1 October, 2003;
originally announced October 2003.
-
Steering in computational science: mesoscale modelling and simulation
Authors:
J. Chin,
J. Harting,
S. Jha,
P. V. Coveney,
A. R. Porter,
S. M. Pickles
Abstract:
This paper outlines the benefits of computational steering for high performance computing applications. Lattice-Boltzmann mesoscale fluid simulations of binary and ternary amphiphilic fluids in two and three dimensions are used to illustrate the substantial improvements which computational steering offers in terms of resource efficiency and time to discover new physics. We discuss details of our…
▽ More
This paper outlines the benefits of computational steering for high performance computing applications. Lattice-Boltzmann mesoscale fluid simulations of binary and ternary amphiphilic fluids in two and three dimensions are used to illustrate the substantial improvements which computational steering offers in terms of resource efficiency and time to discover new physics. We discuss details of our current steering implementations and describe their future outlook with the advent of computational grids.
△ Less
Submitted 11 July, 2003;
originally announced July 2003.
-
Amplification of Local Instabilities in a Bose-Einstein Condensate with Attractive Interactions
Authors:
J. K. Chin,
J. M. Vogels,
W. Ketterle
Abstract:
We study the collapse of large homogeneous Bose-Einstein condensates due to intrinsic attractive interactions. We observe the amplification of a local instability by seeding a momentum state $\bf{p}$ and suddenly switching the scattering length negative via a Feshbach resonance. As required by momentum conservation, we also observe the appearance of atoms in the conjugate momentum state. The tim…
▽ More
We study the collapse of large homogeneous Bose-Einstein condensates due to intrinsic attractive interactions. We observe the amplification of a local instability by seeding a momentum state $\bf{p}$ and suddenly switching the scattering length negative via a Feshbach resonance. As required by momentum conservation, we also observe the appearance of atoms in the conjugate momentum state. The time scale for this depletion process is found to be comparable to that for global collapse, implying that this process will be the primary decay channel for large homogeneous condensates.
△ Less
Submitted 23 December, 2002;
originally announced December 2002.
-
Simulations of amphiphilic fluids using mesoscale lattice-Boltzmann and lattice-gas methods
Authors:
P. J. Love,
M. Nekovee,
J. Chin,
N. Gonzalez-Segredo,
P. V. Coveney
Abstract:
We compare two recently developed mesoscale models of binary immiscible and ternary amphiphilic fluids. We describe and compare the algorithms in detail and discuss their stability properties. The simulation results for the cases of self-assembly of ternary droplet phases and binary water-amphiphile sponge phases are compared and discussed. Both models require parallel implementation and deploym…
▽ More
We compare two recently developed mesoscale models of binary immiscible and ternary amphiphilic fluids. We describe and compare the algorithms in detail and discuss their stability properties. The simulation results for the cases of self-assembly of ternary droplet phases and binary water-amphiphile sponge phases are compared and discussed. Both models require parallel implementation and deployment on large scale parallel computing resources in order to achieve reasonable simulation times for three-dimensional models. The parallelisation strategies and performance on two distinct parallel architectures are compared and discussed. Large scale three dimensional simulations of multiphase fluids requires the extensive use of high performance visualisation techniques in order to enable the large quantities of complex data to be interpreted. We report on our experiences with two commercial visualisation products: AVS and VTK. We also discuss the application and use of novel computational steering techniques for the more efficient utilisation of high performance computing resources. We close the paper with some suggestions for the future development of both models.
△ Less
Submitted 6 December, 2002;
originally announced December 2002.
-
Coherent Collisions between Bose-Einstein Condensates
Authors:
J. M. Vogels,
J. K. Chin,
W. Ketterle
Abstract:
We study the non-degenerate parametric amplifier for matter waves, implemented by colliding two Bose-Einstein condensates. The coherence of the amplified waves is shown by observing high contrast interference with a reference wave and by reversing the amplification process. Since our experiments also place limits on all known sources of decoherence, we infer that relative number squeezing is mos…
▽ More
We study the non-degenerate parametric amplifier for matter waves, implemented by colliding two Bose-Einstein condensates. The coherence of the amplified waves is shown by observing high contrast interference with a reference wave and by reversing the amplification process. Since our experiments also place limits on all known sources of decoherence, we infer that relative number squeezing is most likely present between the amplified modes. Finally, we suggest that reversal of the amplification process may be used to detect relative number squeezing without requiring single-particle detection.
△ Less
Submitted 3 September, 2002;
originally announced September 2002.