-
The Future of Research on Social Technologies: CCC Workshop Visioning Report
Authors:
Motahhare Eslami,
Eric Gilbert,
Sarita Schoenebeck,
Eric P. S. Baumer,
Eshwar Chandrasekharan,
Michelle De Mooy,
Karrie Karahalios,
David Karger,
Tressie McMillan Cottom,
Andrés Monroy-Hernández,
Loren Terveen,
John Wihbey
Abstract:
Social technologies are the systems, interfaces, features, infrastructures, and architectures that allow people to interact with each other online. These technologies dramatically shape the fabric of our everyday lives, from the information we consume to the people we interact with to the foundations of our culture and politics. While the benefits of social technologies are well documented, the ha…
▽ More
Social technologies are the systems, interfaces, features, infrastructures, and architectures that allow people to interact with each other online. These technologies dramatically shape the fabric of our everyday lives, from the information we consume to the people we interact with to the foundations of our culture and politics. While the benefits of social technologies are well documented, the harms, too, have cast a long shadow. To address widespread problems like harassment, disinformation, information access, and mental health concerns, we need to rethink the foundations of how social technologies are designed, sustained, and governed.
This report is based on discussions at the Computing Community Consortium Workshop, The Future of Research on Social Technologies, that was held November 2-3, 2023 in Washington, DC. The visioning workshop came together to focus on two questions. What should we know about social technologies, and what is needed to get there? The workshop brought together over 50 information and computer scientists, social scientists, communication and journalism scholars, and policy experts. We used a discussion format, with one day of guiding topics and a second day using an unconference model where participants created discussion topics. The interdisciplinary group of attendees discussed gaps in existing scholarship and the methods, resources, access, and collective effort needed to address those gaps. We also discussed approaches for translating scholarship for various audiences including citizens, funders, educators, industry professionals, and policymakers.
This report presents a synthesis of major themes during our discussions. The themes presented are not a summary of what we know already, they are an exploration of what we do not know enough about, and what we should spend more effort and investment on in the coming years.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
Gromov-Hausdorff distances, Borsuk-Ulam theorems, and Vietoris-Rips complexes
Authors:
Henry Adams,
Johnathan Bush,
Nate Clause,
Florian Frick,
Mario Gómez,
Michael Harrison,
R. Amzi Jeffs,
Evgeniya Lagoda,
Sunhyuk Lim,
Facundo Mémoli,
Michael Moy,
Nikola Sadovek,
Matt Superdock,
Daniel Vargas,
Qingsong Wang,
Ling Zhou
Abstract:
We explore emerging relationships between the Gromov-Hausdorff distance, Borsuk-Ulam theorems, and Vietoris-Rips simplicial complexes. The Gromov-Hausdorff distance between two metric spaces $X$ and $Y$ can be lower bounded by the distortion of (possibly discontinuous) functions between them. The more these functions must distort the metrics, the larger the Gromov-Hausdorff distance must be. Topol…
▽ More
We explore emerging relationships between the Gromov-Hausdorff distance, Borsuk-Ulam theorems, and Vietoris-Rips simplicial complexes. The Gromov-Hausdorff distance between two metric spaces $X$ and $Y$ can be lower bounded by the distortion of (possibly discontinuous) functions between them. The more these functions must distort the metrics, the larger the Gromov-Hausdorff distance must be. Topology has few tools to obstruct the existence of discontinuous functions. However, an arbitrary function $f\colon X\to Y$ induces a continuous map between their Vietoris-Rips simplicial complexes, where the allowable choices of scale parameters depend on how much the function $f$ distorts distances. We can then use equivariant topology to obstruct the existence of certain continuous maps between Vietoris-Rips complexes. With these ideas we bound how discontinuous an odd map between spheres $S^k\to S^n$ with $k>n$ must be, generalizing a result by Dubins and Schwarz (1981), which is the case $k=n+1$. As an application, we recover or improve upon all of the lower bounds from Lim, Mémoli, and Smith (2022) on the Gromov-Hausdorff distances between spheres of different dimensions. We also provide new upper bounds on the Gromov-Hausdorff distance between spheres of adjacent dimensions.
△ Less
Submitted 31 December, 2022;
originally announced January 2023.
-
Vietoris-Rips Metric Thickenings of the Circle
Authors:
Michael Moy
Abstract:
Vietoris-Rips metric thickenings have previously been proposed as an alternate approach to understanding Vietoris-Rips simplicial complexes and their persistent homology. Recent work has shown that for totally bounded metric spaces, Vietoris-Rips metric thickenings have persistent homology barcodes that agree with those of Vietoris-Rips simplicial complexes, ignoring whether endpoints of bars are…
▽ More
Vietoris-Rips metric thickenings have previously been proposed as an alternate approach to understanding Vietoris-Rips simplicial complexes and their persistent homology. Recent work has shown that for totally bounded metric spaces, Vietoris-Rips metric thickenings have persistent homology barcodes that agree with those of Vietoris-Rips simplicial complexes, ignoring whether endpoints of bars are open or closed. Combining this result with the known homotopy types and barcodes of the Vietoris-Rips simplicial complexes of the circle, the barcodes of the Vietoris-Rips metric thickenings of the circle can be deduced up to endpoints, and conjectures have been made about their homotopy types. We confirm these conjectures are correct, proving that the Vietoris-Rips metric thickenings of the circle are homotopy equivalent to odd-dimensional spheres at the expected scale parameters. Our approach is to find quotients of the metric thickenings that preserve homotopy type and show that the quotient spaces can be described as CW complexes. The quotient maps are also natural with respect to the scale parameter and thus provide a direct proof of the persistent homology of the metric thickenings.
△ Less
Submitted 7 June, 2022;
originally announced June 2022.
-
Constraints on the structure and seasonal variations of Triton's atmosphere from the 5 October 2017 stellar occultation and previous observations
Authors:
J. Marques Oliveira,
B. Sicardy,
A. R. Gomes-Júnior,
J. L. Ortiz,
D. F. Strobel,
T. Bertrand,
F. Forget,
E. Lellouch,
J. Desmars,
D. Bérard,
A. Doressoundiram,
J. Lecacheux,
R. Leiva,
E. Meza,
F. Roques,
D. Souami,
T. Widemann,
P. Santos-Sanz,
N. Morales,
R. Duffard,
E. Fernández-Valenzuela,
A. J. Castro-Tirado,
F. Braga-Ribas,
B. E. Morgado,
M. Assafin
, et al. (212 additional authors not shown)
Abstract:
A stellar occultation by Neptune's main satellite, Triton, was observed on 5 October 2017 from Europe, North Africa, and the USA. We derived 90 light curves from this event, 42 of which yielded a central flash detection.
We aimed at constraining Triton's atmospheric structure and the seasonal variations of its atmospheric pressure since the Voyager 2 epoch (1989). We also derived the shape of th…
▽ More
A stellar occultation by Neptune's main satellite, Triton, was observed on 5 October 2017 from Europe, North Africa, and the USA. We derived 90 light curves from this event, 42 of which yielded a central flash detection.
We aimed at constraining Triton's atmospheric structure and the seasonal variations of its atmospheric pressure since the Voyager 2 epoch (1989). We also derived the shape of the lower atmosphere from central flash analysis. We used Abel inversions and direct ray-tracing code to provide the density, pressure, and temperature profiles in the altitude range $\sim$8 km to $\sim$190 km, corresponding to pressure levels from 9 μbar down to a few nanobars.
Results. (i) A pressure of 1.18$\pm$0.03 μbar is found at a reference radius of 1400 km (47 km altitude). (ii) A new analysis of the Voyager 2 radio science occultation shows that this is consistent with an extrapolation of pressure down to the surface pressure obtained in 1989. (iii) A survey of occultations obtained between 1989 and 2017 suggests that an enhancement in surface pressure as reported during the 1990s might be real, but debatable, due to very few high S/N light curves and data accessible for reanalysis. The volatile transport model analysed supports a moderate increase in surface pressure, with a maximum value around 2005-2015 no higher than 23 μbar. The pressures observed in 1995-1997 and 2017 appear mutually inconsistent with the volatile transport model presented here. (iv) The central flash structure does not show evidence of an atmospheric distortion. We find an upper limit of 0.0011 for the apparent oblateness of the atmosphere near the 8 km altitude.
△ Less
Submitted 25 January, 2022;
originally announced January 2022.
-
The Persistent Topology of Optimal Transport Based Metric Thickenings
Authors:
Henry Adams,
Facundo Mémoli,
Michael Moy,
Qingsong Wang
Abstract:
A metric thickening of a given metric space $X$ is any metric space admitting an isometric embedding of $X$. Thickenings have found use in applications of topology to data analysis, where one may approximate the shape of a dataset via the persistent homology of an increasing sequence of spaces. We introduce two new families of metric thickenings, the $p$-Vietoris-Rips and $p$-Čech metric thickenin…
▽ More
A metric thickening of a given metric space $X$ is any metric space admitting an isometric embedding of $X$. Thickenings have found use in applications of topology to data analysis, where one may approximate the shape of a dataset via the persistent homology of an increasing sequence of spaces. We introduce two new families of metric thickenings, the $p$-Vietoris-Rips and $p$-Čech metric thickenings for all $1\le p\le \infty$, which include all measures on $X$ whose $p$-diameter or $p$-radius is bounded from above, equipped with an optimal transport metric. The $p$-diameter (resp. $p$-radius) of a measure is a certain $\ell_p$ relaxation of the usual notion of diameter (resp. radius) of a subset of a metric space. These families recover the previously studied Vietoris-Rips and Čech metric thickenings when $p=\infty$. As our main contribution, we prove a stability theorem for the persistent homology of $p$-Vietoris-Rips and $p$-Čech metric thickenings, which is novel even in the case $p=\infty$. In the specific case $p=2$, we prove a Hausmann-type theorem for thickenings of manifolds, and we derive the complete list of homotopy types of the $2$-Vietoris-Rips thickenings of the $n$-sphere as the scale increases.
△ Less
Submitted 7 May, 2022; v1 submitted 30 September, 2021;
originally announced September 2021.
-
An Optimised Flow for Futures: From Theory to Practice
Authors:
Nicolas Chappe,
Ludovic Henrio,
Amaury Maillé,
Matthieu Moy,
Hadrien Renaud
Abstract:
A future is an entity representing the result of an ongoing computation. A synchronisation with a "get" operation blocks the caller until the computation is over, to return the corresponding value. When a computation in charge of fulfilling a future delegates part of its processing to another task, mainstream languages return nested futures, and several "get" operations are needed to retrieve the…
▽ More
A future is an entity representing the result of an ongoing computation. A synchronisation with a "get" operation blocks the caller until the computation is over, to return the corresponding value. When a computation in charge of fulfilling a future delegates part of its processing to another task, mainstream languages return nested futures, and several "get" operations are needed to retrieve the computed value (we call such futures "control-flow futures"). Several approaches were proposed to tackle this issues: the "forward" construct, that allows the programmer to make delegation explicit and avoid nested futures, and "data-flow explicit futures" which natively collapse nested futures into plain futures. This paper supports the claim that data-flow explicit futures form a powerful set of language primitives, on top of which other approaches can be built. We prove the equivalence, in the context of data-flow explicit futures, between the "forward" construct and classical "return" from functions. The proof relies on a branching bisimulation between a program using "forward" and its "return" counterpart. This result allows language designers to consider "forward" as an optimisation directive rather than as a language primitive. Following the principles of the Godot system, we provide a library implementation of control-flow futures, based on data-flow explicit futures implemented in the compiler. This small library supports the claim that the implementation of classical futures based on data-flow ones is easier than the opposite. Our benchmarks show the viability of the approach from a performance point of view.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
Topology Applied to Machine Learning: From Global to Local
Authors:
Henry Adams,
Michael Moy
Abstract:
Through the use of examples, we explain one way in which applied topology has evolved since the birth of persistent homology in the early 2000s. The first applications of topology to data emphasized the global shape of a dataset, such as the three-circle model for $3 \times 3$ pixel patches from natural images, or the configuration space of the cyclo-octane molecule, which is a sphere with a Klein…
▽ More
Through the use of examples, we explain one way in which applied topology has evolved since the birth of persistent homology in the early 2000s. The first applications of topology to data emphasized the global shape of a dataset, such as the three-circle model for $3 \times 3$ pixel patches from natural images, or the configuration space of the cyclo-octane molecule, which is a sphere with a Klein bottle attached via two circles of singularity. In these studies of global shape, short persistent homology bars are disregarded as sampling noise. More recently, however, persistent homology has been used to address questions about the local geometry of data. For instance, how can local geometry be vectorized for use in machine learning problems? Persistent homology and its vectorization methods, including persistence landscapes and persistence images, provide popular techniques for incorporating both local geometry and global topology into machine learning. Our meta-hypothesis is that the short bars are as important as the long bars for many machine learning tasks. In defense of this claim, we survey applications of persistent homology to shape recognition, agent-based modeling, materials science, archaeology, and biology. Additionally, we survey work connecting persistent homology to geometric features of spaces, including curvature and fractal dimension, and various methods that have been used to incorporate persistent homology into machine learning.
△ Less
Submitted 22 April, 2021; v1 submitted 9 March, 2021;
originally announced March 2021.
-
Path Optimization Sheaves
Authors:
Michael Moy,
Robert Cardona,
Robert Green,
Jacob Cleveland,
Alan Hylton,
Robert Short
Abstract:
Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the se…
▽ More
Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the second is created specifically to capture the decision making of Dijkstra's algorithm. In both cases, Dijkstra's algorithm can be described as a systematic process of extending local sections to global sections. We discuss the relationship between the two sheaves and summarize how other pathfinding algorithms can be interpreted in a similar way. While the sheaves presented here address paths and pathfinding algorithms, we suggest that future work could explore connections to other concepts from graph theory and other networking algorithms. This work was supported by the NASA Internship Project and SCaN Internship Project during the summer of 2020.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
A Review of Critical Features and General Issues of Freely Available mHealth Apps For Dietary Assessment
Authors:
Ghalib Ahmed Tahir,
Chu Kiong Loo,
Foong Ming Moy,
Nadine Kong
Abstract:
Obesity is known to lower the quality of life substantially. It is often associated with increased chances of non-communicable diseases such as diabetes, cardiovascular problems, various cancers, etc. Evidence suggests that diet-related mobile applications play a vital role in assisting individuals in making healthier choices and kee** track of food intake. However, due to an abundance of simila…
▽ More
Obesity is known to lower the quality of life substantially. It is often associated with increased chances of non-communicable diseases such as diabetes, cardiovascular problems, various cancers, etc. Evidence suggests that diet-related mobile applications play a vital role in assisting individuals in making healthier choices and kee** track of food intake. However, due to an abundance of similar applications, it becomes pertinent to evaluate each of them in terms of functionality, usability, and possible design issues to truly determine state-of-the-art solutions for the future. Since these applications involve implementing multiple user requirements and recommendations from different dietitians, the evaluation becomes quite complex. Therefore, this study aims to review existing dietary applications at length to highlight key features and problems that enhance or undermine an application's usability. For this purpose, we have examined the published literature from various scientific databases of the PUBMED, CINAHL (January 2010-December 2019) and Science Direct (2010-2019). We followed PRISMA guidelines, and out of our findings, fifty-six primary studies met our inclusion criteria after identification, screening, eligibility and full-text evaluation. We analyzed 35 apps from the selected studies and extracted the data of each of the identified apps.Following our detailed analysis on the comprehensiveness of freely available mHealth applications, we specified potential future research challenges and stated recommendations to help grow clinically accurate diet-related applications.
△ Less
Submitted 11 July, 2021; v1 submitted 22 August, 2020;
originally announced August 2020.
-
PAGAI: a path sensitive static analyzer
Authors:
Julien Henry,
David Monniaux,
Matthieu Moy
Abstract:
We describe the design and the implementation of PAGAI, a new static analyzer working over the LLVM compiler infrastructure, which computes inductive invariants on the numerical variables of the analyzed program. PAGAI implements various state-of-the-art algorithms combining abstract interpretation and decision procedures (SMT-solving), focusing on distinction of paths inside the control flow grap…
▽ More
We describe the design and the implementation of PAGAI, a new static analyzer working over the LLVM compiler infrastructure, which computes inductive invariants on the numerical variables of the analyzed program. PAGAI implements various state-of-the-art algorithms combining abstract interpretation and decision procedures (SMT-solving), focusing on distinction of paths inside the control flow graph while avoiding systematic exponential enumerations. It is parametric in the abstract domain in use, the iteration algorithm, and the decision procedure. We compared the time and precision of various combinations of analysis algorithms and abstract domains, with extensive experiments both on personal benchmarks and widely available GNU programs.
△ Less
Submitted 17 July, 2012;
originally announced July 2012.
-
Succinct Representations for Abstract Interpretation
Authors:
Julien Henry,
David Monniaux,
Matthieu Moy
Abstract:
Abstract interpretation techniques can be made more precise by distinguishing paths inside loops, at the expense of possibly exponential complexity. SMT-solving techniques and sparse representations of paths and sets of paths avoid this pitfall. We improve previously proposed techniques for guided static analysis and the generation of disjunctive invariants by combining them with techniques for su…
▽ More
Abstract interpretation techniques can be made more precise by distinguishing paths inside loops, at the expense of possibly exponential complexity. SMT-solving techniques and sparse representations of paths and sets of paths avoid this pitfall. We improve previously proposed techniques for guided static analysis and the generation of disjunctive invariants by combining them with techniques for succinct representations of paths and symbolic representations for transitions based on static single assignment. Because of the non-monotonicity of the results of abstract interpretation with widening operators, it is difficult to conclude that some abstraction is more precise than another based on theoretical local precision results. We thus conducted extensive comparisons between our new techniques and previous ones, on a variety of open-source packages.
△ Less
Submitted 19 June, 2012;
originally announced June 2012.
-
Efficient and Playful Tools to Teach Unix to New Students
Authors:
Matthieu Moy
Abstract:
Teaching Unix to new students is a common tasks in many higher schools. This paper presents an approach to such course where the students progress autonomously with the help of the teacher. The traditional textbook is complemented with a wiki, and the main thread of the course is a game, in the form of a treasure hunt. The course finishes with a lab exam, where students have to perform practical m…
▽ More
Teaching Unix to new students is a common tasks in many higher schools. This paper presents an approach to such course where the students progress autonomously with the help of the teacher. The traditional textbook is complemented with a wiki, and the main thread of the course is a game, in the form of a treasure hunt. The course finishes with a lab exam, where students have to perform practical manipulations similar to the ones performed during the treasure hunt. The exam is graded fully automatically. This paper discusses the motivations and advantages of the approach, and gives an overall view of the tools we developed. The tools are available from the web, and open-source, hence re-usable outside the Ensimag.
△ Less
Submitted 9 March, 2011;
originally announced March 2011.
-
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Authors:
Karine Altisen,
Yanhong Liu,
Matthieu Moy
Abstract:
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem. In…
▽ More
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem. In this paper, we propose a framework of granularity-based interfacing to speed up the analysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granularities and then based on RTC theory, we derive lower and upper bounds on arrival patterns of the fine output streams using the causality closure algorithm. Our framework can help to achieve tradeoffs between precision and analysis time.
△ Less
Submitted 25 June, 2010;
originally announced June 2010.
-
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Authors:
Karine Altisen,
Yanhong Liu,
Matthieu Moy
Abstract:
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem. I…
▽ More
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem. In this paper, we propose a framework of granularity-based interfacing to speed up the analysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granularities and then based on RTC theory, we derive lower and upper bounds on arrival patterns of the fine output streams using the causality closure algorithm. Our framework can help to achieve tradeoffs between precision and analysis time.
△ Less
Submitted 15 April, 2010;
originally announced April 2010.
-
A systematic study of polarized electron emission from strained GaAs/GaAsP superlattice photocathodes
Authors:
T. Maruyama,
D. -A. Luh,
A. Brachmann,
J. E. Clendenin,
E. L. Garwin,
S. Harvey,
J. Jiang,
R. E. Kirby,
C. Y. Prescott,
R. Prepost,
A. M. Moy
Abstract:
Spin-polarized electron photoemission has been studied for GaAs/GaAs$_{1-x}$P$_x$ strained superlattice cathodes grown by gas-source molecular beam epitaxy. The superlattice structural parameters are systematically varied to optimize the photoemission characteristics. The heavy-hole and light-hole transitions are reproducibly observed in quantum efficiency spectra, enabling direct measurement of…
▽ More
Spin-polarized electron photoemission has been studied for GaAs/GaAs$_{1-x}$P$_x$ strained superlattice cathodes grown by gas-source molecular beam epitaxy. The superlattice structural parameters are systematically varied to optimize the photoemission characteristics. The heavy-hole and light-hole transitions are reproducibly observed in quantum efficiency spectra, enabling direct measurement of the band energies and the energy splitting. Electron-spin polarization as high as 86% with over 1% quantum efficiency has been observed.
△ Less
Submitted 16 December, 2004;
originally announced December 2004.
-
The steady state quantum statistics of a non-Markovian atom laser
Authors:
J. J. Hope,
G. M. Moy,
M. J. Collett,
C. M. Savage
Abstract:
We present a fully quantum mechanical treatment of a single-mode atomic cavity with a pum** mechanism and an output coupling to a continuum of external modes. This system is a schematic description of an atom laser. In the dilute limit where atom-atom interactions are negligible, we have been able to solve this model without making the Born and Markov approximations. When coupling into free sp…
▽ More
We present a fully quantum mechanical treatment of a single-mode atomic cavity with a pum** mechanism and an output coupling to a continuum of external modes. This system is a schematic description of an atom laser. In the dilute limit where atom-atom interactions are negligible, we have been able to solve this model without making the Born and Markov approximations. When coupling into free space, it is shown that for reasonable parameters there is a bound state which does not disperse, which means that there is no steady state. This bound state does not exist when gravity is included, and in that case the system reaches a steady state. We develop equations of motion for the two-time correlation in the presence of pum** and gravity in the output modes. We then calculate the steady-state output energy flux from the laser.
△ Less
Submitted 2 July, 1999;
originally announced July 1999.
-
The linewidth of a non-Markovian atom laser
Authors:
J. J. Hope,
G. M. Moy,
M. J. Collett,
C. M. Savage
Abstract:
We present a fully quantum mechanical treatment of a single mode atom laser including pum** and output coupling. By ignoring atom-atom interactions, we have solved this model without making the Born-Markov approximation. We find substantially less gain narrowing than is predicted under that approximation.
We present a fully quantum mechanical treatment of a single mode atom laser including pum** and output coupling. By ignoring atom-atom interactions, we have solved this model without making the Born-Markov approximation. We find substantially less gain narrowing than is predicted under that approximation.
△ Less
Submitted 27 January, 1999;
originally announced January 1999.
-
The steady state of a pumped and damped atom laser
Authors:
J. J. Hope,
G. M. Moy,
C. M. Savage
Abstract:
This paper has been withdrawn, as further work has shown that an atom laser as described by the model herein does not have a steady state, so it doesn't matter much what it would look like.
This paper has been withdrawn, as further work has shown that an atom laser as described by the model herein does not have a steady state, so it doesn't matter much what it would look like.
△ Less
Submitted 14 May, 1998; v1 submitted 4 February, 1998;
originally announced February 1998.
-
The Born and Markov approximations for atom lasers
Authors:
G. M. Moy,
J. J. Hope,
C. M. Savage
Abstract:
We discuss the use of the Born and Markov approximations in describing the dynamics of an atom laser. In particular, we investigate the applicability of the quantum optical Born-Markov master equation for describing output coupling. We derive conditions based on the atomic reservoir, and atom dispersion relations for when the Born-Markov approximations are valid and discuss parameter regimes whe…
▽ More
We discuss the use of the Born and Markov approximations in describing the dynamics of an atom laser. In particular, we investigate the applicability of the quantum optical Born-Markov master equation for describing output coupling. We derive conditions based on the atomic reservoir, and atom dispersion relations for when the Born-Markov approximations are valid and discuss parameter regimes where these approximations fail in our atom laser model. Differences between the standard optical laser model and the atom laser are due to a combination of factors, including the parameter regimes in which a typical atom laser would operate, the different reservoir state which is appropriate for atoms, and the different dispersion relations between atoms and photons. We present results based on an exact method in the regimes in which the Born-Markov approximation fails. The exact solutions in some experimentally relavent parameter regimes give non-exponential loss of atoms from a cavity.
△ Less
Submitted 21 September, 1998; v1 submitted 22 January, 1998;
originally announced January 1998.
-
Output coupling for an atom laser by state change
Authors:
G. M. Moy,
C. M. Savage
Abstract:
We calculate the spectrum of a beam of atoms output from a single mode atomic cavity. The output coupling uses an internal state change to an untrapped state. We present an analytical solution for the output energy spectrum from a broadband coupler of this type. An example of such an output coupler, which we discuss in detail uses a Raman transition to produce a non-trapped state.
We calculate the spectrum of a beam of atoms output from a single mode atomic cavity. The output coupling uses an internal state change to an untrapped state. We present an analytical solution for the output energy spectrum from a broadband coupler of this type. An example of such an output coupler, which we discuss in detail uses a Raman transition to produce a non-trapped state.
△ Less
Submitted 24 March, 1997;
originally announced March 1997.
-
An Atom Laser Based on Raman Transitions
Authors:
G. M. Moy,
J. J. Hope,
C. M. Savage
Abstract:
In this paper we present an atom laser scheme using a Raman transition for the output coupling of atoms. A beam of thermal atoms (bosons) in a metastable atomic state $|1 >$ are pumped into a multimode atomic cavity. This cavity is coupled through spontaneous emission to a single mode of another cavity for the ground atomic state, $|2 >$. Above a certain threshold pum** rate a large number of…
▽ More
In this paper we present an atom laser scheme using a Raman transition for the output coupling of atoms. A beam of thermal atoms (bosons) in a metastable atomic state $|1 >$ are pumped into a multimode atomic cavity. This cavity is coupled through spontaneous emission to a single mode of another cavity for the ground atomic state, $|2 >$. Above a certain threshold pum** rate a large number of atoms, $N_2$, builds up in this single quantum state and transitions to the ground state of the cavity become enhanced by a factor $(N_2 + 1)$. Atoms in this state are then coupled to the outside of the cavity with a Raman transition. This changes the internal state of the atom and imparts a momentum kick, allowing the atoms to leave the system.
△ Less
Submitted 24 March, 1997; v1 submitted 4 April, 1996;
originally announced April 1996.