Showing 1–34 of 34 results for author: Fox, K

Ancestry-specific analyses of genome-wide data confirm the settlement sequence of Polynesia

Authors: Alexander G. Ioannidis, Javier Blanco-Portillo, Erika Hagelberg, Juan Esteban Rodríguez-Rodríguez, Keolu Fox, Adrian V. S. Hill, Carlos D. Bustamante, Marcus W. Feldman, Alexander J. Mentzer, Andrés Moreno-Estrada

Abstract: By demonstrating the role that historical population replacements and waves of admixture have played around the world, the genetics work of Reich and colleagues has provided a paradigm for understanding human history [Reich et al. 2009; Reich et al. 2012; Patterson et al. 2012]. Although we show in Ioannidis et al. [2021] that the peopling of Polynesia was a range expansion, and not, as suggested… ▽ More By demonstrating the role that historical population replacements and waves of admixture have played around the world, the genetics work of Reich and colleagues has provided a paradigm for understanding human history [Reich et al. 2009; Reich et al. 2012; Patterson et al. 2012]. Although we show in Ioannidis et al. [2021] that the peopling of Polynesia was a range expansion, and not, as suggested by Huang et al. [2022], yet another example of waves of admixture and large-scale gene flow between populations, we believe that our result in this recently settled oceanic expanse is the exception that proves the rule. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: 6 pages, 1 figure

Faster Algorithm for Maximum Flow in Directed Planar Graphs with Vertex Capacities

Authors: Julian Enoch, Kyle Fox, Dor Mesica, Shay Mozes

Abstract: We give an $O(k^3 n \log n \min(k,\log^2 n) \log^2(nC))$-time algorithm for computing maximum integer flows in planar graphs with integer arc {\em and vertex} capacities bounded by $C$, and $k$ sources and sinks. This improves by a factor of $\max(k^2,k\log^2 n)$ over the fastest algorithm previously known for this problem [Wang, SODA 2019]. The speedup is obtained by two independent ideas. Firs… ▽ More We give an $O(k^3 n \log n \min(k,\log^2 n) \log^2(nC))$-time algorithm for computing maximum integer flows in planar graphs with integer arc {\em and vertex} capacities bounded by $C$, and $k$ sources and sinks. This improves by a factor of $\max(k^2,k\log^2 n)$ over the fastest algorithm previously known for this problem [Wang, SODA 2019]. The speedup is obtained by two independent ideas. First we replace an iterative procedure of Wang that uses $O(k)$ invocations of an $O(k^3 n \log^3 n)$-time algorithm for maximum flow algorithm in a planar graph with $k$ apices [Borradaile et al., FOCS 2012, SICOMP 2017], by an alternative procedure that only makes one invocation of the algorithm of Borradaile et al. Second, we show two alternatives for computing flows in the $k$-apex graphs that arise in our modification of Wang's procedure faster than the algorithm of Borradaile et al. In doing so, we introduce and analyze a sequential implementation of the parallel highest-distance push-relabel algorithm of Goldberg and Tarjan~[JACM 1988]. △ Less

Submitted 12 August, 2021; v1 submitted 27 January, 2021; originally announced January 2021.

Comments: This version contains an improvement for the case there $k=o(\log^2 n)$

Progress towards 3D-printing diamond for medical implants: A review

Authors: Aaqil Rifai, Shadi Houshyar, Kate Fox

Abstract: Additive manufacturing or 3D-printing is used to create bespoke items in many fields, such as defence, aerospace and medicine. Despite the progress made in 3D-printed orthopaedic implants, significant challenges remain in terms of creating a material capable of osseointegration while inhibiting bacterial colonisation of the implant. Diamond is rapidly emerging as a material with an extensive range… ▽ More Additive manufacturing or 3D-printing is used to create bespoke items in many fields, such as defence, aerospace and medicine. Despite the progress made in 3D-printed orthopaedic implants, significant challenges remain in terms of creating a material capable of osseointegration while inhibiting bacterial colonisation of the implant. Diamond is rapidly emerging as a material with an extensive range of biomedical applications, especially due to its excellent biocompatibility. However, diamond is a difficult material to fabricate, owing to its extreme level of hardness and its brittleness. New methods of fabrication including additive manufacturing, have overcome some of these challenges and given rise to an increase in the use of diamond-based implants in both soft and hard tissue applications. Therefore, due to the unique properties of diamond, it is being considered as a facilitator of bone growth and subsequent tissue integration. This review outlines the recent progress in fabricating diamond for orthopaedic application, specifically focusing on the different fabrication approaches and their applicability in vitro and in vivo. The prospects and challenges for using diamond in medical implant technologies are also discussed. △ Less

Submitted 18 October, 2020; originally announced October 2020.

Report number: STLM-D-20-00002

Quantifying the effect of oxygen on micro-mechanical properties of a near-alpha titanium alloy

Authors: H. M. Gardner, P. Gopon, C. M. Magazzeni, A. Radecka, K. Fox, D. Rugg, J. Wade, D. E. J. Armstrong, M. P. Moody, P. A. J. Bagot

Abstract: Atom probe tomography (APT), electron probe microanalysis (EPMA) and nanoindentation were used to characterise the oxygen-rich layer on an in-service jet engine compressor disc, manufactured from the titanium alloy TIMETAL 834. Oxygen ingress was quantified and related to changes in mechanical properties through nanoindentation studies. The relationship between oxygen concentration, microstructure… ▽ More Atom probe tomography (APT), electron probe microanalysis (EPMA) and nanoindentation were used to characterise the oxygen-rich layer on an in-service jet engine compressor disc, manufactured from the titanium alloy TIMETAL 834. Oxygen ingress was quantified and related to changes in mechanical properties through nanoindentation studies. The relationship between oxygen concentration, microstructure, crystal orientation and hardness has been explored through correlative hardness mapping, EPMA and electron backscatter diffraction (EBSD). The role of microstructure on oxygen ingress has been studied and oxygen ingress along a potential alpha/ beta interface was directly observed on the nanoscale using APT. △ Less

Submitted 10 September, 2020; originally announced September 2020.

Approximating the (Continuous) Fréchet Distance

Authors: Connor Colombe, Kyle Fox

Abstract: We describe the first strongly subquadratic time algorithm with subexponential approximation ratio for approximately computing the Fréchet distance between two polygonal chains. Specifically, let $P$ and $Q$ be two polygonal chains with $n$ vertices in $d$-dimensional Euclidean space, and let $α\in [\sqrt{n}, n]$. Our algorithm deterministically finds an $O(α)$-approximate Fréchet correspondence i… ▽ More We describe the first strongly subquadratic time algorithm with subexponential approximation ratio for approximately computing the Fréchet distance between two polygonal chains. Specifically, let $P$ and $Q$ be two polygonal chains with $n$ vertices in $d$-dimensional Euclidean space, and let $α\in [\sqrt{n}, n]$. Our algorithm deterministically finds an $O(α)$-approximate Fréchet correspondence in time $O((n^3 / α^2) \log n)$. In particular, we get an $O(n)$-approximation in near-linear $O(n \log n)$ time, a vast improvement over the previously best know result, a linear time $2^{O(n)}$-approximation. As part of our algorithm, we also describe how to turn any approximate decision procedure for the Fréchet distance into an approximate optimization algorithm whose approximation ratio is the same up to arbitrarily small constant factors. The transformation into an approximate optimization algorithm increases the running time of the decision procedure by only an $O(\log n)$ factor. △ Less

Submitted 27 March, 2021; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: To appear in SoCG 2021

Minimum Cuts in Surface Graphs

Authors: Erin W. Chambers, Jeff Erickson, Kyle Fox, Amir Nayyeri

Abstract: We describe algorithms to efficiently compute minimum $(s,t)$-cuts and global minimum cuts of undirected surface-embedded graphs. Given an edge-weighted undirected graph $G$ with $n$ vertices embedded on an orientable surface of genus $g$, our algorithms can solve either problem in $g^{O(g)} n \log \log n$ or $2^{O(g)} n \log n$ time, whichever is better. When $g$ is a constant, our… ▽ More We describe algorithms to efficiently compute minimum $(s,t)$-cuts and global minimum cuts of undirected surface-embedded graphs. Given an edge-weighted undirected graph $G$ with $n$ vertices embedded on an orientable surface of genus $g$, our algorithms can solve either problem in $g^{O(g)} n \log \log n$ or $2^{O(g)} n \log n$ time, whichever is better. When $g$ is a constant, our $g^{O(g)} n \log \log n$ time algorithms match the best running times known for computing minimum cuts in planar graphs. Our algorithms for minimum cuts rely on reductions to the problem of finding a minimum-weight subgraph in a given $\mathbb{Z}_2$-homology class, and we give efficient algorithms for this latter problem as well. If $G$ is embedded on a surface with $b$ boundary components, these algorithms run in $(g + b)^{O(g + b)} n \log \log n$ and $2^{O(g + b)} n \log n$ time. We also prove that finding a minimum-weight subgraph homologous to a single input cycle is NP-hard, showing it is likely impossible to improve upon the exponential dependencies on $g$ for this latter problem. △ Less

Submitted 9 October, 2019; originally announced October 2019.

Comments: Unifies and improves upon contributions by different subsets of the authors that appeared in SoCG 2009, SODA 2011, and SODA 2012

Confederated Machine Learning on Horizontally and Vertically Separated Medical Data for Large-Scale Health System Intelligence

Authors: Dianbo Liu, Kathe Fox, Griffin Weber, Tim Miller

Abstract: Health information is generally fragmented across silos. Though it is technically feasible to unite data for analysis in a manner that underpins a rapid learning healthcare system, privacy concerns and regulatory barriers limit data centralization. Machine learning can be conducted in a federated manner on patient datasets with the same set of variables, but separated across sites of care. But fed… ▽ More Health information is generally fragmented across silos. Though it is technically feasible to unite data for analysis in a manner that underpins a rapid learning healthcare system, privacy concerns and regulatory barriers limit data centralization. Machine learning can be conducted in a federated manner on patient datasets with the same set of variables, but separated across sites of care. But federated learning cannot handle the situation where different data types for a given patient are separated vertically across different organizations and when patient ID matching across different institutions is difficult. We call methods that enable machine learning model training on data separated by two or more degrees confederated machine learning. We proposed and evaluated a confederated learning to training machine learning model to stratify the risk of several diseases among when data are horizontally separated by individual, vertically separated by data type, and separated by identity without patient ID matching. △ Less

Submitted 9 December, 2020; v1 submitted 4 October, 2019; originally announced October 2019.

Approximating the Geometric Edit Distance

Authors: Kyle Fox, Xinyi Li

Abstract: Edit distance is a measurement of similarity between two sequences such as strings, point sequences, or polygonal curves. Many matching problems from a variety of areas, such as signal analysis, bioinformatics, etc., need to be solved in a geometric space. Therefore, the geometric edit distance (GED) has been studied. In this paper, we describe the first strictly sublinear approximate near-linear… ▽ More Edit distance is a measurement of similarity between two sequences such as strings, point sequences, or polygonal curves. Many matching problems from a variety of areas, such as signal analysis, bioinformatics, etc., need to be solved in a geometric space. Therefore, the geometric edit distance (GED) has been studied. In this paper, we describe the first strictly sublinear approximate near-linear time algorithm for computing the GED of two point sequences in constant dimensional Euclidean space. Specifically, we present a randomized (O(n\log^2n)) time (O(\sqrt n))-approximation algorithm. Then, we generalize our result to give a randomized $α$-approximation algorithm for any $α\in [\sqrt{\log n}, \sqrt{n / \log n}]$, running in time $O(n^2/α^2 \log n)$. Both algorithms are Monte Carlo and return approximately optimal solutions with high probability. △ Less

Submitted 9 September, 2020; v1 submitted 2 October, 2019; originally announced October 2019.

Comments: 16 pages, ISAAC 2019

ACM Class: F.2.2

A near-linear time approximation scheme for geometric transportation with arbitrary supplies and spread

Authors: Kyle Fox, Jiashuai Lu

Abstract: The geometric transportation problem takes as input a set of points $P$ in $d$-dimensional Euclidean space and a supply function $μ: P \to \mathbb{R}$. The goal is to find a transportation map, a non-negative assignment $τ: P \times P \to \mathbb{R}_{\geq 0}$ to pairs of points, so the total assignment leaving each point is equal to its supply, i.e.,… ▽ More The geometric transportation problem takes as input a set of points $P$ in $d$-dimensional Euclidean space and a supply function $μ: P \to \mathbb{R}$. The goal is to find a transportation map, a non-negative assignment $τ: P \times P \to \mathbb{R}_{\geq 0}$ to pairs of points, so the total assignment leaving each point is equal to its supply, i.e., $\sum_{r \in P} τ(q, r) - \sum_{p \in P} τ(p, q) = μ(q)$ for all points $q \in P$. The goal is to minimize the weighted sum of Euclidean distances for the pairs, $\sum_{(p, q) \in P \times P} τ(p, q) \cdot ||q - p||_2$. We describe the first algorithm for this problem that returns, with high probability, a $(1 + \varepsilon)$-approximation to the optimal transportation map in $n\varepsilon^{-O(d)}\log^{O(d)}{n}$ time. In contrast to the previous best algorithms for this problem, our near-linear running time bound is independent of the spread of $P$ and the magnitude of its real-valued supplies. △ Less

Submitted 29 April, 2022; v1 submitted 9 July, 2019; originally announced July 2019.

Comments: 19 pages, accepted to Journal of Computational Geometry, 2022

Faster Algorithms for the Geometric Transportation Problem

Authors: Pankaj K. Agarwal, Kyle Fox, Debmalya Panigrahi, Kasturi R. Varadarajan, Allen Xiao

Abstract: Let $R$ and $B$ be two point sets in $\mathbb{R}^d$, with $|R|+ |B| = n$ and where $d$ is a constant. Next, let $λ: R \cup B \to \mathbb{N}$ such that $\sum_{r \in R } λ(r) = \sum_{b \in B} λ(b)$ be demand functions over $R$ and $B$. Let $\|\cdot\|$ be a suitable distance function such as the $L_p$ distance. The transportation problem asks to find a map $τ: R \times B \to \mathbb{N}$ such that… ▽ More Let $R$ and $B$ be two point sets in $\mathbb{R}^d$, with $|R|+ |B| = n$ and where $d$ is a constant. Next, let $λ: R \cup B \to \mathbb{N}$ such that $\sum_{r \in R } λ(r) = \sum_{b \in B} λ(b)$ be demand functions over $R$ and $B$. Let $\|\cdot\|$ be a suitable distance function such as the $L_p$ distance. The transportation problem asks to find a map $τ: R \times B \to \mathbb{N}$ such that $\sum_{b \in B}τ(r,b) = λ(r)$, $\sum_{r \in R}τ(r,b) = λ(b)$, and $\sum_{r \in R, b \in B} τ(r,b) \|r-b\|$ is minimized. We present three new results for the transportation problem when $\|r-b\|$ is any $L_p$ metric: - For any constant $\varepsilon > 0$, an $O(n^{1+\varepsilon})$ expected time randomized algorithm that returns a transportation map with expected cost $O(\log^2(1/\varepsilon))$ times the optimal cost. - For any $\varepsilon > 0$, a $(1+\varepsilon)$-approximation in $O(n^{3/2}\varepsilon^{-d} \operatorname{polylog}(U) \operatorname{polylog}(n))$ time, where $U = \max_{p\in R\cup B} λ(p)$. - An exact strongly polynomial $O(n^2 \operatorname{polylog}n)$ time algorithm, for $d = 2$. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Comments: 33 pages, 6 figures, full version of a paper that appeared in SoCG 2017

ACM Class: F.2.2

Journal ref: Symposium on Computational Geometry 2017: 7:1-7:16

Holiest Minimum-Cost Paths and Flows in Surface Graphs

Authors: Jeff Erickson, Kyle Fox, Luvsandondov Lkhamsuren

Abstract: Let $G$ be an edge-weighted directed graph with $n$ vertices embedded on an orientable surface of genus $g$. We describe a simple deterministic lexicographic perturbation scheme that guarantees uniqueness of minimum-cost flows and shortest paths in $G$. The perturbations take $O(gn)$ time to compute. We use our perturbation scheme in a black box manner to derive a deterministic $O(n \log \log n)$… ▽ More Let $G$ be an edge-weighted directed graph with $n$ vertices embedded on an orientable surface of genus $g$. We describe a simple deterministic lexicographic perturbation scheme that guarantees uniqueness of minimum-cost flows and shortest paths in $G$. The perturbations take $O(gn)$ time to compute. We use our perturbation scheme in a black box manner to derive a deterministic $O(n \log \log n)$ time algorithm for minimum cut in \emph{directed} edge-weighted planar graphs and a deterministic $O(g^2 n \log n)$ time proprocessing scheme for the multiple-source shortest paths problem of computing a shortest path oracle for all vertices lying on a common face of a surface embedded graph. The latter result yields faster deterministic near-linear time algorithms for a variety of problems in constant genus surface embedded graphs. Finally, we open the black box in order to generalize a recent linear-time algorithm for multiple-source shortest paths in unweighted undirected planar graphs to work in arbitrary orientable surfaces. Our algorithm runs in $O(g^2 n \log g)$ time in this setting, and it can be used to give improved linear time algorithms for several problems in unweighted undirected surface embedded graphs of constant genus including the computation of minimum cuts, shortest topologically non-trivial cycles, and minimum homology bases. △ Less

Submitted 3 April, 2018; originally announced April 2018.

Comments: 29 pages, 2 figures, to appear at STOC 2018

An Efficient Algorithm for Computing High-Quality Paths amid Polygonal Obstacles

Authors: Pankaj K. Agarwal, Kyle Fox, Oren Salzman

Abstract: We study a path-planning problem amid a set $\mathcal{O}$ of obstacles in $\mathbb{R}^2$, in which we wish to compute a short path between two points while also maintaining a high clearance from $\mathcal{O}$; the clearance of a point is its distance from a nearest obstacle in $\mathcal{O}$. Specifically, the problem asks for a path minimizing the reciprocal of the clearance integrated over the le… ▽ More We study a path-planning problem amid a set $\mathcal{O}$ of obstacles in $\mathbb{R}^2$, in which we wish to compute a short path between two points while also maintaining a high clearance from $\mathcal{O}$; the clearance of a point is its distance from a nearest obstacle in $\mathcal{O}$. Specifically, the problem asks for a path minimizing the reciprocal of the clearance integrated over the length of the path. We present the first polynomial-time approximation scheme for this problem. Let $n$ be the total number of obstacle vertices and let $\varepsilon \in (0,1]$. Our algorithm computes in time $O(\frac{n^2}{\varepsilon ^2} \log \frac{n}{\varepsilon})$ a path of total cost at most $(1+\varepsilon)$ times the cost of the optimal path. △ Less

Submitted 9 June, 2017; originally announced June 2017.

Comments: A preliminary version of this work appear in the Proceedings of the 27th Annual ACM-SIAM Symposium on Discrete Algorithms

Introduction: Toward an interdisciplinary science of spontaneous thought

Authors: Kieran C. R. Fox, Kalina Christoff

Abstract: Enormous questions still loom for the emerging science of spontaneous thought: what, exactly, is spontaneous thought? Why does our brain engage in spontaneous forms of thinking, and when is this most likely to occur? And perhaps the question most interesting and accessible from a scientific perspective: how does the brain generate, elaborate, and evaluate its own spontaneous creations? The central… ▽ More Enormous questions still loom for the emerging science of spontaneous thought: what, exactly, is spontaneous thought? Why does our brain engage in spontaneous forms of thinking, and when is this most likely to occur? And perhaps the question most interesting and accessible from a scientific perspective: how does the brain generate, elaborate, and evaluate its own spontaneous creations? The central aim of this volume is to bring together views from neuroscience, psychology, philosophy, phenomenology, history, education, contemplative traditions, and clinical practice in order to begin to address the ubiquitous but poorly understood mental phenomena that we collectively call 'spontaneous thought.' Perhaps no other mental experience is so familiar to us in daily life, and yet so difficult to understand and explain scientifically. The present volume represents the first effort to bring such highly diverse perspectives to bear on answering the what, when, why, and how of spontaneous thought. △ Less

Submitted 20 April, 2017; originally announced April 2017.

The Neuroscience of Spontaneous Thought: An Evolving, Interdisciplinary Field

Authors: Jessica R. Andrews-Hanna, Zachary C. Irving, Kieran C. R. Fox, R. Nathan Spreng, Kalina Christoff

Abstract: An often-overlooked characteristic of the human mind is its propensity to wander. Despite growing interest in the science of mind-wandering, most studies operationalize mind-wandering by its task-unrelated contents, which may be orthogonal to the processes constraining how thoughts are evoked and unfold over time. In this chapter, we emphasize the importance of incorporating such processes into cu… ▽ More An often-overlooked characteristic of the human mind is its propensity to wander. Despite growing interest in the science of mind-wandering, most studies operationalize mind-wandering by its task-unrelated contents, which may be orthogonal to the processes constraining how thoughts are evoked and unfold over time. In this chapter, we emphasize the importance of incorporating such processes into current definitions of mind-wandering, and proposing that mind-wandering and other forms of spontaneous thought (such as dreaming and creativity) are mental states that arise and transition relatively freely due to an absence of constraints on cognition. We review existing psychological, philosophical, and neuroscientific research on spontaneous thought through the lens of this framework, and call for additional research into the dynamic properties of the mind and brain. △ Less

Submitted 8 April, 2017; originally announced April 2017.

Neural origins of self-generated thought: Insights from intracranial electrical stimulation and recordings in humans

Authors: Kieran C. R. Fox

Abstract: Functional magnetic resonance imaging (fMRI) has begun to narrow down the neural correlates of self-generated forms of thought, with current evidence pointing toward central roles for the default, frontoparietal, and visual networks. Recent work has linked the arising of thoughts more specifically to default network activity, but the limited temporal resolution of fMRI has precluded more detailed… ▽ More Functional magnetic resonance imaging (fMRI) has begun to narrow down the neural correlates of self-generated forms of thought, with current evidence pointing toward central roles for the default, frontoparietal, and visual networks. Recent work has linked the arising of thoughts more specifically to default network activity, but the limited temporal resolution of fMRI has precluded more detailed conclusions about where in the brain self-created mental content is generated and how this is achieved. Here I argue that the unparalleled spatiotemporal resolution of intracranial electrophysiology (iEEG) in human epilepsy patients can begin to provide answers to questions about the specific neural origins of self-generated thought. I review the extensive body of literature from iEEG studies over the past few decades and show that many studies involving passive recording or direct electrical stimulation throughout the brain all point to the medial temporal lobe as a key site of thought-generation. At the same time, null effects from other brain regions suggest that various other default network hubs, such as the posterior cingulate cortex and inferior parietal lobule, might have only a marginal role (if any) in the self-generation or initiation of mental content like dreams, visual imagery, memories, and prospective simulations. Ultimately, combining a variety of neuroscientific methods that compensate for each other's weaknesses and complement each other's strengths may prove to be the most effective way to understand the brain's remarkable ability to decouple from the immediate environment and generate its own experiences. △ Less

Submitted 30 March, 2017; originally announced March 2017.

Neural correlates of self-generated imagery and cognition throughout the sleep cycle

Authors: Kieran C. R. Fox, Manesh Girn

Abstract: Humans have been aware for thousands of years that sleep comes in many forms, accompanied by different kinds of mental content. We review the first-person report literature on the frequency and type of content experienced in various stages of sleep, showing that different sleep stages are dissociable at the subjective level. We then relate these subjective differences to the growing literature dif… ▽ More Humans have been aware for thousands of years that sleep comes in many forms, accompanied by different kinds of mental content. We review the first-person report literature on the frequency and type of content experienced in various stages of sleep, showing that different sleep stages are dissociable at the subjective level. We then relate these subjective differences to the growing literature differentiating the various sleep stages at the neurophysiological level, including evidence from electrophysiology, neurochemistry, and functional neuroimaging. We suggest that there is emerging evidence for relationships between sleep stage, neurophysiological activity, and subjective experiences. Specifically, we emphasize that functional neuroimaging work suggests a parallel between activation and deactivation of default network and visual network brain areas and the varying frequency and intensity of imagery and dream mentation across sleep stages; additionally, frontoparietal control network activity across sleep stages may parallel levels of cognitive control and meta-awareness. Together these findings suggest intriguing brain-mind isomorphisms and may serve as a first step toward a comprehensive understanding of the relationship between neurophysiology and psychology in sleep and dreaming. △ Less

Submitted 5 October, 2016; originally announced October 2016.

The multiplicity of memory enhancement: Practical and ethical implications of the diverse neural substrates underlying human memory systems

Authors: Kieran C. R. Fox, Nicholas S. Fitz, Peter B. Reiner

Abstract: The neural basis of human memory is incredibly complex. We argue that the diversity of neural systems underlying various forms of memory suggests that any discussion of enhancing 'memory' per se is too broad, thus obfuscating the biopolitical debate about human enhancement. Memory can be differentiated into at least four major (and several minor) systems with largely dissociable (i.e., non-overlap… ▽ More The neural basis of human memory is incredibly complex. We argue that the diversity of neural systems underlying various forms of memory suggests that any discussion of enhancing 'memory' per se is too broad, thus obfuscating the biopolitical debate about human enhancement. Memory can be differentiated into at least four major (and several minor) systems with largely dissociable (i.e., non-overlapping) neural substrates. We outline each system, and discuss both the practical and the ethical implications of these diverse neural substrates. In practice, distinct neural bases imply the possibility, and likely the necessity, of specific approaches for the safe and effective enhancement of various memory systems. In the debate over the ethical and social implications of enhancement technologies, this fine-grained perspective clarifies - and may partially mitigate - certain common concerns in enhancement debates, including issues related to safety, fairness, coercion, and authenticity. While many researchers certainly appreciate the neurobiological complexity of memory, the political debate tends to revolve around a monolithic one-size-fits-all conception. The overall project - exploring how human enhancement technologies affect society - stands to benefit from a deeper appreciation of memory's neurobiological diversity. △ Less

Submitted 26 September, 2016; originally announced September 2016.

Minimum cycle and homology bases of surface embedded graphs

Authors: Glencora Borradaile, Erin Wolf Chambers, Kyle Fox, Amir Nayyeri

Abstract: We study the problems of finding a minimum cycle basis (a minimum weight set of cycles that form a basis for the cycle space) and a minimum homology basis (a minimum weight set of cycles that generates the $1$-dimensional ($\mathbb{Z}_2$)-homology classes) of an undirected graph embedded on a surface. The problems are closely related, because the minimum cycle basis of a graph contains its minimum… ▽ More We study the problems of finding a minimum cycle basis (a minimum weight set of cycles that form a basis for the cycle space) and a minimum homology basis (a minimum weight set of cycles that generates the $1$-dimensional ($\mathbb{Z}_2$)-homology classes) of an undirected graph embedded on a surface. The problems are closely related, because the minimum cycle basis of a graph contains its minimum homology basis, and the minimum homology basis of the $1$-skeleton of any graph is exactly its minimum cycle basis. For the minimum cycle basis problem, we give a deterministic $O(n^ω+2^{2g}n^2+m)$-time algorithm for graphs embedded on an orientable surface of genus $g$. The best known existing algorithms for surface embedded graphs are those for general graphs: an $O(m^ω)$ time Monte Carlo algorithm and a deterministic $O(nm^2/\log n + n^2 m)$ time algorithm. For the minimum homology basis problem, we give a deterministic $O((g+b)^3 n \log n + m)$-time algorithm for graphs embedded on an orientable or non-orientable surface of genus $g$ with $b$ boundary components, assuming shortest paths are unique, improving on existing algorithms for many values of $g$ and $n$. The assumption of unique shortest paths can be avoided with high probability using randomization or deterministically by increasing the running time of the homology basis algorithm by a factor of $O(\log n)$. △ Less

Submitted 18 July, 2016; originally announced July 2016.

Comments: A preliminary version of this work was presented at the 32nd Annual International Symposium on Computational Geometry

ACM Class: F.2.2

The neurobiology of self-generated thought from cells to systems: Integrating evidence from lesion studies, human intracranial electrophysiology, neurochemistry, and neuroendocrinology

Authors: Kieran C. R. Fox, Jessica R. Andrews-Hanna, Kalina Christoff

Abstract: Investigation of the neural basis of self-generated thought is moving beyond a simple identification with default network activation toward a more comprehensive view recognizing the role of the frontoparietal control network and other areas. A major task ahead is to unravel the functional roles and temporal dynamics of the widely distributed brain regions recruited during self-generated thought. W… ▽ More Investigation of the neural basis of self-generated thought is moving beyond a simple identification with default network activation toward a more comprehensive view recognizing the role of the frontoparietal control network and other areas. A major task ahead is to unravel the functional roles and temporal dynamics of the widely distributed brain regions recruited during self-generated thought. We argue that various other neuroscientific methods - including lesion studies, human intracranial electrophysiology, and manipulation of neurochemistry - have much to contribute to this project. These diverse data have yet to be synthesized with the growing understanding of self-generated thought gained from neuroimaging, however. Here, we highlight several areas of ongoing inquiry and illustrate how evidence from other methodologies corroborates, complements, and clarifies findings from functional neuroimaging. Each methodology has particular strengths: functional neuroimaging reveals much about the variety of brain areas and networks reliably recruited. Lesion studies point to regions critical to generating and consciously experiencing self-generated thought. Human intracranial electrophysiology illuminates how and where in the brain thought is generated and where this activity subsequently spreads. Finally, measurement and manipulation of neurotransmitter and hormone levels can clarify what kind of neurochemical milieu drives or facilitates self-generated cognition. Integrating evidence from multiple complementary modalities will be a critical step on the way to improving our understanding of the neurobiology of functional and dysfunctional forms of self-generated thought. △ Less

Submitted 4 July, 2016; originally announced July 2016.

Functional neuroimaging of psychedelic experience: An overview of psychological and neural effects and their relevance to research on creativity, daydreaming, and dreaming

Authors: Kieran C. R. Fox, Manesh Girn, Cameron C. Parro, Kalina Christoff

Abstract: Humans have employed an incredible variety of plant-derived substances over the millennia in order to alter consciousness and perception. Among the innumerable narcotics, analgesics, 'ordeal' drugs, and other psychoactive substances discovered and used in ritualistic contexts by cultures around the world, one class in particular stands out not only for its radical psychological effects, but also f… ▽ More Humans have employed an incredible variety of plant-derived substances over the millennia in order to alter consciousness and perception. Among the innumerable narcotics, analgesics, 'ordeal' drugs, and other psychoactive substances discovered and used in ritualistic contexts by cultures around the world, one class in particular stands out not only for its radical psychological effects, but also for the highly charged political and legal atmosphere that has surrounded it since its widespread adoption about 50 years ago: so-called psychedelic substances. We review functional neuroimaging investigations of the neural correlates of the psychedelic experience, and highlight relationships with the psychological and neural bases of creativity, daydreaming, and dreaming. △ Less

Submitted 23 May, 2016; originally announced May 2016.

Increasing cognitive-emotional flexibility with meditation and hypnosis: The cognitive neuroscience of de-automatization

Authors: Kieran C. R. Fox, Yoona Kang, Michael Lifshitz, Kalina Christoff

Abstract: Meditation and hypnosis both aim to facilitate cognitive-emotional flexibility, i.e., the "de-automatization" of thought and behavior. However, little research or theory has addressed how internal thought patterns might change after such interventions, even though alterations in the internal flow of consciousness may precede externally observable changes in behavior. This chapter outlines three me… ▽ More Meditation and hypnosis both aim to facilitate cognitive-emotional flexibility, i.e., the "de-automatization" of thought and behavior. However, little research or theory has addressed how internal thought patterns might change after such interventions, even though alterations in the internal flow of consciousness may precede externally observable changes in behavior. This chapter outlines three mechanisms by which meditation or hypnosis might alter or reduce automatic associations and elaborations of spontaneous thought: by an overall reduction of the chaining of thoughts into an associative stream; by de-automatizing and diversifying the content of thought chains (i.e., increasing thought flexibility or variety); and, finally, by re-automatizing chains of thought along desired or valued paths (i.e., forming new, voluntarily chosen mental habits). The authors discuss behavioral and cognitive neuroscientific evidence demonstrating the influence of hypnosis and meditation on internal cognition and highlight the putative neurobiological basis, as well as potential benefits, of these forms of de-automatization. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Functional neuroanatomy of meditation: A review and meta-analysis of 78 functional neuroimaging investigations

Authors: Kieran C. R. Fox, Matthew L. Dixon, Savannah Nijeboer, Manesh Girn, James L. Floman, Michael Lifshitz, Melissa Ellamil, Peter Sedlmeier, Kalina Christoff

Abstract: Meditation is a family of mental practices that encompasses a wide array of techniques employing distinctive mental strategies. We systematically reviewed 78 functional neuroimaging (fMRI and PET) studies of meditation, and used activation likelihood estimation to meta-analyze 257 peak foci from 31 experiments involving 527 participants. We found reliably dissociable patterns of brain activation a… ▽ More Meditation is a family of mental practices that encompasses a wide array of techniques employing distinctive mental strategies. We systematically reviewed 78 functional neuroimaging (fMRI and PET) studies of meditation, and used activation likelihood estimation to meta-analyze 257 peak foci from 31 experiments involving 527 participants. We found reliably dissociable patterns of brain activation and deactivation for four common styles of meditation (focused attention, mantra recitation, open monitoring, and compassion/loving-kindness), and suggestive differences for three others (visualization, sense-withdrawal, and non-dual awareness practices). Overall, dissociable activation patterns are congruent with the psychological and behavioral aims of each practice. Some brain areas are recruited consistently across multiple techniques - including insula, pre/supplementary motor cortices, dorsal anterior cingulate cortex, and frontopolar cortex - but convergence is the exception rather than the rule. A preliminary effect-size meta-analysis found medium effects for both activations (d = .59) and deactivations (d = -.74), suggesting potential practical significance. Our meta-analysis supports the neurophysiological dissociability of meditation practices, but also raises many methodological concerns and suggests avenues for future research. △ Less

Submitted 21 March, 2016; originally announced March 2016.

Approximating Dynamic Time Warping and Edit Distance for a Pair of Point Sequences

Authors: Pankaj K. Agarwal, Kyle Fox, Jiangwei Pan, Rex Ying

Abstract: We give the first subquadratic-time approximation schemes for dynamic time warping (DTW) and edit distance (ED) of several natural families of point sequences in $\mathbb{R}^d$, for any fixed $d \ge 1$. In particular, our algorithms compute $(1+\varepsilon)$-approximations of DTW and ED in time near-linear for point sequences drawn from k-packed or k-bounded curves, and subquadratic for backbone s… ▽ More We give the first subquadratic-time approximation schemes for dynamic time warping (DTW) and edit distance (ED) of several natural families of point sequences in $\mathbb{R}^d$, for any fixed $d \ge 1$. In particular, our algorithms compute $(1+\varepsilon)$-approximations of DTW and ED in time near-linear for point sequences drawn from k-packed or k-bounded curves, and subquadratic for backbone sequences. Roughly speaking, a curve is $κ$-packed if the length of its intersection with any ball of radius $r$ is at most $κ\cdot r$, and a curve is $κ$-bounded if the sub-curve between two curve points does not go too far from the two points compared to the distance between the two points. In backbone sequences, consecutive points are spaced at approximately equal distances apart, and no two points lie very close together. Recent results suggest that a subquadratic algorithm for DTW or ED is unlikely for an arbitrary pair of point sequences even for $d=1$. Our algorithms work by constructing a small set of rectangular regions that cover the entries of the dynamic programming table commonly used for these distance measures. The weights of entries inside each rectangle are roughly the same, so we are able to use efficient procedures to approximately compute the cheapest paths through these rectangles. △ Less

Submitted 7 January, 2016; v1 submitted 6 December, 2015; originally announced December 2015.

ACM Class: F.2.2

Computing the Gromov-Hausdorff Distance for Metric Trees

Authors: Pankaj K. Agarwal, Kyle Fox, Abhinandan Nath, Anastasios Sidiropoulos, Yusu Wang

Abstract: The Gromov-Hausdorff (GH) distance is a natural way to measure distance between two metric spaces. We prove that it is $\mathrm{NP}$-hard to approximate the Gromov-Hausdorff distance better than a factor of $3$ for geodesic metrics on a pair of trees. We complement this result by providing a polynomial time $O(\min\{n, \sqrt{rn}\})$-approximation algorithm for computing the GH distance between a p… ▽ More The Gromov-Hausdorff (GH) distance is a natural way to measure distance between two metric spaces. We prove that it is $\mathrm{NP}$-hard to approximate the Gromov-Hausdorff distance better than a factor of $3$ for geodesic metrics on a pair of trees. We complement this result by providing a polynomial time $O(\min\{n, \sqrt{rn}\})$-approximation algorithm for computing the GH distance between a pair of metric trees, where $r$ is the ratio of the longest edge length in both trees to the shortest edge length. For metric trees with unit length edges, this yields an $O(\sqrt{n})$-approximation algorithm. △ Less

Submitted 13 June, 2017; v1 submitted 18 September, 2015; originally announced September 2015.

Comments: Appeared in Proceedings of the 26th International Symposium on Algorithms and Computation

A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection

Authors: Kyle Fox, Philip N. Klein, Shay Mozes

Abstract: Given an undirected graph with edge costs and node weights, the minimum bisection problem asks for a partition of the nodes into two parts of equal weight such that the sum of edge costs between the parts is minimized. We give a polynomial time bicriteria approximation scheme for bisection on planar graphs. Specifically, let $W$ be the total weight of all nodes in a planar graph $G$. For any con… ▽ More Given an undirected graph with edge costs and node weights, the minimum bisection problem asks for a partition of the nodes into two parts of equal weight such that the sum of edge costs between the parts is minimized. We give a polynomial time bicriteria approximation scheme for bisection on planar graphs. Specifically, let $W$ be the total weight of all nodes in a planar graph $G$. For any constant $\varepsilon > 0$, our algorithm outputs a bipartition of the nodes such that each part weighs at most $W/2 + \varepsilon$ and the total cost of edges crossing the partition is at most $(1+\varepsilon)$ times the total cost of the optimal bisection. The previously best known approximation for planar minimum bisection, even with unit node weights, was $O(\log n)$. Our algorithm actually solves a more general problem where the input may include a target weight for the smaller side of the bipartition. △ Less

Submitted 29 April, 2015; originally announced April 2015.

Comments: To appear in STOC 2015

ACM Class: G.2.2

Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs

Authors: Kyle Fox

Abstract: Let G be a graph embedded on a surface of genus g with b boundary cycles. We describe algorithms to compute multiple types of non-trivial cycles in G, using different techniques depending on whether or not G is an undirected graph. If G is undirected, then we give an algorithm to compute a shortest non-separating cycle in 2^O(g) n log log n time. Similar algorithms are given to compute a shortest… ▽ More Let G be a graph embedded on a surface of genus g with b boundary cycles. We describe algorithms to compute multiple types of non-trivial cycles in G, using different techniques depending on whether or not G is an undirected graph. If G is undirected, then we give an algorithm to compute a shortest non-separating cycle in 2^O(g) n log log n time. Similar algorithms are given to compute a shortest non-contractible or non-null-homologous cycle in 2^O(g+b) n log log n time. Our algorithms for undirected G combine an algorithm of Kutz with known techniques for efficiently enumerating homotopy classes of curves that may be shortest non-trivial cycles. Our main technical contributions in this work arise from assuming G is a directed graph with possibly asymmetric edge weights. For this case, we give an algorithm to compute a shortest non-contractible cycle in G in O((g^3 + g b)n log n) time. In order to achieve this time bound, we use a restriction of the infinite cyclic cover that may be useful in other contexts. We also describe an algorithm to compute a shortest non-null-homologous cycle in G in O((g^2 + g b)n log n) time, extending a known algorithm of Erickson to compute a shortest non-separating cycle. In both the undirected and directed cases, our algorithms improve the best time bounds known for many values of g and b. △ Less

Submitted 19 September, 2012; v1 submitted 29 November, 2011; originally announced November 2011.

Comments: Accepted to SODA 2013. Updated for reviewer comments, to include new results for undirected graphs, and to include new title

Upper Bounds for Maximally Greedy Binary Search Trees

Authors: Kyle Fox

Abstract: At SODA 2009, Demaine et al. presented a novel connection between binary search trees (BSTs) and subsets of points on the plane. This connection was independently discovered by Derryberry et al. As part of their results, Demaine et al. considered GreedyFuture, an offline BST algorithm that greedily rearranges the search path to minimize the cost of future searches. They showed that GreedyFuture is… ▽ More At SODA 2009, Demaine et al. presented a novel connection between binary search trees (BSTs) and subsets of points on the plane. This connection was independently discovered by Derryberry et al. As part of their results, Demaine et al. considered GreedyFuture, an offline BST algorithm that greedily rearranges the search path to minimize the cost of future searches. They showed that GreedyFuture is actually an online algorithm in their geometric view, and that there is a way to turn GreedyFuture into an online BST algorithm with only a constant factor increase in total search cost. Demaine et al. conjectured this algorithm was dynamically optimal, but no upper bounds were given in their paper. We prove the first non-trivial upper bounds for the cost of search operations using GreedyFuture including giving an access lemma similar to that found in Sleator and Tarjan's classic paper on splay trees. △ Less

Submitted 29 April, 2011; v1 submitted 23 February, 2011; originally announced February 2011.

Comments: To appear, WADS 2011. rev 1: Fixed accidental upload of out-of-date Fig. 1; rev 2: Added figures and made updates based on reviewer comments

Online Scheduling on Identical Machines using SRPT

Authors: Kyle Fox, Benjamin Moseley

Abstract: Due to its optimality on a single machine for the problem of minimizing average flow time, Shortest-Remaining-Processing-Time (\srpt) appears to be the most natural algorithm to consider for the problem of minimizing average flow time on multiple identical machines. It is known that $\srpt$ achieves the best possible competitive ratio on multiple machines up to a constant factor. Using resource au… ▽ More Due to its optimality on a single machine for the problem of minimizing average flow time, Shortest-Remaining-Processing-Time (\srpt) appears to be the most natural algorithm to consider for the problem of minimizing average flow time on multiple identical machines. It is known that $\srpt$ achieves the best possible competitive ratio on multiple machines up to a constant factor. Using resource augmentation, $\srpt$ is known to achieve total flow time at most that of the optimal solution when given machines of speed $2- \frac{1}{m}$. Further, it is known that $\srpt$'s competitive ratio improves as the speed increases; $\srpt$ is $s$-speed $\frac{1}{s}$-competitive when $s \geq 2- \frac{1}{m}$. However, a gap has persisted in our understanding of $\srpt$. Before this work, the performance of $\srpt$ was not known when $\srpt$ is given $(1+\eps)$-speed when $0 < \eps < 1-\frac{1}{m}$, even though it has been thought that $\srpt$ is $(1+\eps)$-speed $O(1)$-competitive for over a decade. Resolving this question was suggested in Open Problem 2.9 from the survey "Online Scheduling" by Pruhs, Sgall, and Torng \cite{PruhsST}, and we answer the question in this paper. We show that $\srpt$ is \emph{scalable} on $m$ identical machines. That is, we show $\srpt$ is $(1+\eps)$-speed $O(\frac{1}{\eps})$-competitive for $\eps >0$. We complement this by showing that $\srpt$ is $(1+\eps)$-speed $O(\frac{1}{\eps^2})$-competitive for the objective of minimizing the $\ell_k$-norms of flow time on $m$ identical machines. Both of our results rely on new potential functions that capture the structure of \srpt. Our results, combined with previous work, show that $\srpt$ is the best possible online algorithm in essentially every aspect when migration is permissible. △ Less

Submitted 9 November, 2010; originally announced November 2010.

Comments: Accepted for publication at SODA. This version fixes an error in a preliminary version

Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs

Authors: Ken Samuel, Leo Obrst, Suzette Stoutenberg, Karen Fox, Paul Franklin, Adrian Johnson, Ken Laskey, Deborah Nichols, Steve Lopez, Jason Peterson

Abstract: To appear in Theory and Practice of Logic Programming (TPLP), 2008. We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to develop an integrated ontology/rule language, and 2) layering rules on top of an ontology with RuleML and OWL. Toward this end, we are developing the SWORIER sys… ▽ More To appear in Theory and Practice of Logic Programming (TPLP), 2008. We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to develop an integrated ontology/rule language, and 2) layering rules on top of an ontology with RuleML and OWL. Toward this end, we are developing the SWORIER system, which enables efficient automated reasoning on ontologies and rules, by translating all of them into Prolog and adding a set of general rules that properly capture the semantics of OWL. We have also enabled the user to make dynamic changes on the fly, at run time. This work addresses several of the concerns expressed in previous work, such as negation, complementary classes, disjunctive heads, and cardinality, and it discusses alternative approaches for dealing with inconsistencies in the knowledge base. In addition, for efficiency, we implemented techniques called extensionalization, avoiding reanalysis, and code minimization. △ Less

Submitted 21 November, 2007; originally announced November 2007.

Comments: 21 pages, 5 figures, 19 tables. To appear in Theory and Practice of Logic Programming (TPLP), 2008

Experimental Characterization of 1-D Velocity Selection

Authors: S. H. Myrskog, J. K. Fox, A. M. Jofre, L. R. Segal, S. R. Mishra, A. M. Steinberg

Abstract: We demonstrate a 1-D velocity selection technique which relies on combining magnetic and optical potentials. We have selected atom clouds with temperatures as low as 2.9% of the initial temperature, with an efficiency of 1%. The efficiency (percentage of atoms selected) of the technique can vary as slowly as the square root of the final temperature. In addition to selecting the coldest atoms fro… ▽ More We demonstrate a 1-D velocity selection technique which relies on combining magnetic and optical potentials. We have selected atom clouds with temperatures as low as 2.9% of the initial temperature, with an efficiency of 1%. The efficiency (percentage of atoms selected) of the technique can vary as slowly as the square root of the final temperature. In addition to selecting the coldest atoms from a cloud, this technique imparts a sharp cut-off in the velocity distribution. The cold selected atoms are confined in a small well, spatially separated from higher energy atoms. Such a non-thermal distribution may be useful for atom optics experiments, such as studies of atom tunneling. △ Less

Submitted 3 March, 2005; originally announced March 2005.

Comments: 9 pages, 4 figures

Classical and Quantum Analysis of One Dimensional Velocity Selection for Ultracold Atoms

Authors: J. K. Fox, H. A. Kim, S. R. Mishra, S. H. Myrskog, A. M. Jofre, L. R. Segal, J. B. Kim, A. M. Steinberg

Abstract: We discuss a velocity selection technique for obtaining cold atoms, in which all atoms below a certain energy are spatially selected from the surrounding atom cloud. Velocity selection can in some cases be more efficient than other cooling techniques for the preparation of ultracold atom clouds in one dimension. With quantum mechanical and classical simulations and theory we present a scheme usi… ▽ More We discuss a velocity selection technique for obtaining cold atoms, in which all atoms below a certain energy are spatially selected from the surrounding atom cloud. Velocity selection can in some cases be more efficient than other cooling techniques for the preparation of ultracold atom clouds in one dimension. With quantum mechanical and classical simulations and theory we present a scheme using a dipole force barrier to select the coldest atoms from a magnetically trapped atom cloud. The dipole and magnetic potentials create a local minimum which traps the coldest atoms. A unique advantage of this technique is the sharp cut-off in the velocity distribution of the sample of selected atoms. Such a non-thermal distribution should prove useful for a variety of experiments, including proposed studies of atomic tunneling and scattering from quantum potentials. We show that when the rms size of the atom cloud is smaller than the local minimum in which the selected atoms are trapped, the velocity selection technique can be more efficient in 1-D than some common techniques such as evaporative cooling. For example, one simulation shows nearly 6% of the atoms retained at a temperature 100 times lower than the starting condition. △ Less

Submitted 2 March, 2005; originally announced March 2005.

Comments: 13 pages, 7 figures

Quantum Process Tomography on Vibrational States of Atoms in an Optical Lattice

Authors: S. H. Myrskog, J. K. Fox, M. W. Mitchell, A. M. Steinberg

Abstract: Quantum process tomography is used to fully characterize the evolution of the quantum vibrational state of atoms. Rubidium atoms are trapped in a shallow optical lattice supporting only two vibrational states, which we charcterize by reconstructing the 2x2 density matrix. Repeating this process for a complete set of inputs allows us to completely characterize both the system's intrinsic decohere… ▽ More Quantum process tomography is used to fully characterize the evolution of the quantum vibrational state of atoms. Rubidium atoms are trapped in a shallow optical lattice supporting only two vibrational states, which we charcterize by reconstructing the 2x2 density matrix. Repeating this process for a complete set of inputs allows us to completely characterize both the system's intrinsic decoherence and resonant coupling. △ Less

Submitted 29 December, 2003; originally announced December 2003.

Comments: 5 pages, 4 figures, submitted to Phys. Rev. Lett

Ultraviolet and visible spectropolarimetric variability in P Cygni

Authors: K. H. Nordsieck, J. Wisniewski, B. L. Babler, M. R. Meade, C. M. Anderson, K. S. Bjorkman, A. D. Code, G. K. Fox, J. J. Johnson, A. J. Weitenbeck, N. E. B. Zellner, O. L. Lupie

Abstract: We report on new data, including four vacuum ultraviolet spectropolarimetric observations by the Wisconsin Ultraviolet Photo-Polarimeter Experiment ("WUPPE") on the Astro-1 (one observation) and Astro-2 (three observations) shuttle missions, and 15 new visible-wavelength observations obtained by the HPOL CCD spectropolarimeter at the Pine Bluff Observatory of the University of Wisconsin. This in… ▽ More We report on new data, including four vacuum ultraviolet spectropolarimetric observations by the Wisconsin Ultraviolet Photo-Polarimeter Experiment ("WUPPE") on the Astro-1 (one observation) and Astro-2 (three observations) shuttle missions, and 15 new visible-wavelength observations obtained by the HPOL CCD spectropolarimeter at the Pine Bluff Observatory of the University of Wisconsin. This includes three HPOL observations made within 12 hours of each of the three Astro-2 WUPPE observations, giving essentially simultaneous observations extending from 1500 to 10500 Angstroms. An analysis of these data yields estimates on the properties of wind "clumps" when they are detectable by the polarization of their scattered light. We find that the clumps must be detected near the base of the wind, r/R* = 1.3 - 2.5. At this time the clump density is at least 10^13 cm^-3, 20 times the mean wind, and the temperature is roughly 10,000 K, about 20% cooler than the mean wind. The clumps leading to the largest observed polarization must have electron optical depth of 0.1 - 1 and an angular extent of 0.1 - 1 ster, and account for at most 2% of the wind mass loss. The H and HeI emission lines from the wind are unpolarized, but their P Cygni absorption is enhanced by a factor of 4 in the scattered light. We speculate on the possible relationship of the clumps detected polarimetrically to those seen as Discrete Absorption Features (DACs) and in interferometry. △ Less

Submitted 5 February, 2001; originally announced February 2001.

Comments: 12 pages latex, 7 figures. To appear in "P Cygni 2000 - 400 Years of Progress", a conference held at Armagh, Northern Ireland, 21 -23 Aug, 2000

Modified "delta kick cooling" for studies of atomic tunneling

Authors: S. H. Myrskog, J. K. Fox, H. S. Moon, H. A. Kim, J. B. Kim, A. M. Steinberg

Abstract: We present progress towards a planned experiment on atomic tunneling of ultra-cold Rb atoms. As a first step in this experiment we present a realization of an improved form of "delta-kick cooling." By application of a pulsed magnetic field, laser cooled Rb atoms are further cooled by a factor of 10 (in 1-D) over the temperature out of molasses. Temperatures below 700 nK are observed. The techniq… ▽ More We present progress towards a planned experiment on atomic tunneling of ultra-cold Rb atoms. As a first step in this experiment we present a realization of an improved form of "delta-kick cooling." By application of a pulsed magnetic field, laser cooled Rb atoms are further cooled by a factor of 10 (in 1-D) over the temperature out of molasses. Temperatures below 700 nK are observed. The technique can be used not only to cool without fundamental limit (but conserving phase-space density), but also to focus atoms, and as a spin-dependent probe. △ Less

Submitted 31 March, 1999; v1 submitted 14 December, 1998; originally announced December 1998.

Comments: LaTeX, 8 pages 10 figures