Showing 1–50 of 99 results for author: Davis, G

Towards Distributed Quantum Computing by Qubit and Gate Graph Partitioning Techniques

Authors: Marc Grau Davis, Joaquin Chung, Dirk Englund, Rajkumar Kettimuthu

Abstract: Distributed quantum computing is motivated by the difficulty in building large-scale, individual quantum computers. To solve that problem, a large quantum circuit is partitioned and distributed to small quantum computers for execution. Partitions running on different quantum computers share quantum information using entangled Bell pairs. However, entanglement generation and purification introduces… ▽ More Distributed quantum computing is motivated by the difficulty in building large-scale, individual quantum computers. To solve that problem, a large quantum circuit is partitioned and distributed to small quantum computers for execution. Partitions running on different quantum computers share quantum information using entangled Bell pairs. However, entanglement generation and purification introduces both a runtime and memory overhead on distributed quantum computing. In this paper we study that trade-off by proposing two techniques for partitioning large quantum circuits and for distribution to small quantum computers. Our techniques map a quantum circuit to a graph representation. We study two approaches: one that considers only gate teleportation, and another that considers both gate and state teleportation to achieve the distributed execution. Then we apply the METIS graph partitioning algorithm to obtain the partitions and the number of entanglement requests between them. We use the SeQUeNCe quantum communication simulator to measure the time required for generating all the entanglements required to execute the distributed circuit. We find that the best partitioning technique will depend on the specific circuit of interest. △ Less

Submitted 5 October, 2023; originally announced October 2023.

Comments: Presented at IEEE Quantum Week 2023 (QCE23)

A continuous $p$-adic action on the $K(2)$-local algebraic $K$-theory of $p$-adic complex $K$-theory

Authors: Daniel G. Davis

Abstract: Let $p$ be a prime, let $KU_p$ be $p$-complete complex $K$-theory, and let $\mathbb{Z}_p^\times$ denote the group of units in the $p$-adic integers. The $p$-adic Adams operations induce an action of the profinite group $\mathbb{Z}_p^\times$ on $KU_p$, and hence, on the algebraic $K$-theory spectrum $K(KU_p)$. For $p \geq 5$, we give an elementary construction of the continuous homotopy fixed point… ▽ More Let $p$ be a prime, let $KU_p$ be $p$-complete complex $K$-theory, and let $\mathbb{Z}_p^\times$ denote the group of units in the $p$-adic integers. The $p$-adic Adams operations induce an action of the profinite group $\mathbb{Z}_p^\times$ on $KU_p$, and hence, on the algebraic $K$-theory spectrum $K(KU_p)$. For $p \geq 5$, we give an elementary construction of the continuous homotopy fixed point spectrum $(L_{K(2)}K(KU_p))^{hG}$, where $K(2)$ is the second Morava $K$-theory and $G$ is any closed subgroup of $\mathbb{Z}_p^\times$. Also, for each $G$, we show that there is an associated strongly convergent homotopy fixed point spectral sequence whose $E_2$-term is given by Jannsen's continuous group cohomology, with $E_2^{s,\ast} = 0$, for all $s > 2$. This work is related to a conjecture of Ausoni and Rognes. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Comments: 9 pages

MSC Class: 19D55; 55N15; 55P42; 55T25

Scalable Quantum Networks: Congestion-Free Hierarchical Entanglement Routing with Error Correction

Authors: Hyeongrak Choi, Marc G. Davis, Álvaro G. Iñesta, Dirk R. Englund

Abstract: We introduce Quantum Tree Networks (QTN), an architecture for hierarchical multi-flow entanglement routing. The network design is a $k$-ary tree where end nodes are situated on the leaves and routers at the internal nodes, with each node connected to $k$ nodes in the child layer. The channel length between nodes grows with a rate $a_k$, increasing as one ascends from the leaf to the root node. Thi… ▽ More We introduce Quantum Tree Networks (QTN), an architecture for hierarchical multi-flow entanglement routing. The network design is a $k$-ary tree where end nodes are situated on the leaves and routers at the internal nodes, with each node connected to $k$ nodes in the child layer. The channel length between nodes grows with a rate $a_k$, increasing as one ascends from the leaf to the root node. This construction allows for congestion-free and error-corrected operation with qubit-per-node overhead to scale sublinearly with the number of end nodes, $N$. The overhead for a $k$-ary QTN scales as $\mathcal{O}(N^{\log_k a_k} \cdot \log_k N)$ and is sublinear for all $k$ with minimal surface-covering end nodes. More specifically, the overhead of quarternary ($k=4$) QTN is $\sim \mathcal{O}(N^{0.25}\cdot\log_4 N)$. Alternatively, when end nodes are distributed over a square lattice, the quaternary tree routing gives the overhead $\sim \mathcal{O}(\sqrt{N}\cdot\log_4 N)$. Our network-level simulations demonstrate a size-independent threshold behavior of QTNs. Moreover, tree network routing avoids the necessity for intricate multi-path finding algorithms, streamlining the network operation. With these properties, the QTN architecture satisfies crucial requirements for scalable quantum networks. △ Less

Submitted 12 September, 2023; v1 submitted 15 June, 2023; originally announced June 2023.

Comments: 13 pages, 5 figures

Several homotopy fixed point spectral sequences in telescopically localized algebraic $K$-theory

Authors: Daniel G. Davis

Abstract: Let $n \geq 1$, $p$ a prime, and $T(n)$ any representative of the Bousfield class of the telescope $v_n^{-1}F(n)$ of a finite type $n$ complex. Also, let $E_n$ be the Lubin-Tate spectrum, $K(E_n)$ its algebraic $K$-theory spectrum, and $G_n$ the extended Morava stabilizer group, a profinite group. Motivated by an Ausoni-Rognes conjecture, we show that there are two spectral sequences \[{^{I}}\mspa… ▽ More Let $n \geq 1$, $p$ a prime, and $T(n)$ any representative of the Bousfield class of the telescope $v_n^{-1}F(n)$ of a finite type $n$ complex. Also, let $E_n$ be the Lubin-Tate spectrum, $K(E_n)$ its algebraic $K$-theory spectrum, and $G_n$ the extended Morava stabilizer group, a profinite group. Motivated by an Ausoni-Rognes conjecture, we show that there are two spectral sequences \[{^{I}}\mspace{-3mu}E_2^{s,t} \Longrightarrow π_{t-s}((L_{T(n+1)}K(E_n))^{hG_n}) \Longleftarrow {^{II}}\mspace{-2mu}E_2^{s,t}\] with common abutment $π_\ast(-)$ of the continuous homotopy fixed points of $L_{T(n+1)}K(E_n)$, where ${^{I}}\mspace{-3mu}E_2^{s,t}$ is continuous cohomology with coefficients in a certain tower of discrete $G_n$-modules. If the tower satisfies the Mittag-Leffler condition, then there are continuous cochain cohomology groups \[{^{I}}\mspace{-3mu}E_2^{\ast,\ast} \cong H^\ast_\mathrm{cts}(G_n, π_\ast(L_{T(n+1)}K(E_n))) \cong {^{II}}\mspace{-2mu}E_2^{\ast,\ast}.\] We isolate two hypotheses, the first of which is true when $(n,p) = (1,2)$, that imply $(L_{T(n+1)}K(E_n))^{hG_n} \simeq L_{T(n+1)}K(L_{K(n)}S^0)$. Also, we show that there is a spectral sequence \[H^s_\mathrm{cts}(G_n, π_t(K(E_n) \otimes T(n+1))) \Longrightarrow π_{t-s}((K(E_n) \otimes T(n+1))^{hG_n}).\] △ Less

Submitted 27 February, 2023; originally announced February 2023.

Comments: 18 pages, submitted for publication

MSC Class: 19D55 (Primary) 55P42; 55P43; 55T99 (Secondary)

Twist and Measure: Characterizing the Effective Radius of Strings and Bundles under Twisting Contraction

Authors: Jesse M. Hanlan, Gabrielle E. Davis, Douglas J. Durian

Abstract: We test the standard model for the length contraction of a bundle of strings under twist, and find deviation that is significantly greater than typically appreciated and that has a different nature at medium and large twist angles. By including volume conservation, we achieve better fits to data for single-, double-, and triple-stranded bundles of Nylon monofilament as an ideal test case. This giv… ▽ More We test the standard model for the length contraction of a bundle of strings under twist, and find deviation that is significantly greater than typically appreciated and that has a different nature at medium and large twist angles. By including volume conservation, we achieve better fits to data for single-, double-, and triple-stranded bundles of Nylon monofilament as an ideal test case. This gives a well-defined procedure for extracting an effective twist radius that characterizes contraction behavior. While our approach accounts for the observed faster-than-expected contraction up to medium twist angles, we also find that the contraction is nevertheless slower than expected at large twist angles for both Nylon monofilament bundles and several other string types. The size of this effect varies with the individual-string braid structure and with the number of strings in the bundle. We speculate that it may be related to elastic deformation within the material. However, our first modeling attempt does not fully capture the observed behavior. △ Less

Submitted 7 April, 2023; v1 submitted 17 January, 2023; originally announced January 2023.

Comments: 8 pages, 8 figures

Journal ref: Soft Matter 19, 4315-22 (2023)

NeuroCERIL: Robotic Imitation Learning via Hierarchical Cause-Effect Reasoning in Programmable Attractor Neural Networks

Authors: Gregory P. Davis, Garrett E. Katz, Rodolphe J. Gentili, James A. Reggia

Abstract: Imitation learning allows social robots to learn new skills from human teachers without substantial manual programming, but it is difficult for robotic imitation learning systems to generalize demonstrated skills as well as human learners do. Contemporary neurocomputational approaches to imitation learning achieve limited generalization at the cost of data-intensive training, and often produce opa… ▽ More Imitation learning allows social robots to learn new skills from human teachers without substantial manual programming, but it is difficult for robotic imitation learning systems to generalize demonstrated skills as well as human learners do. Contemporary neurocomputational approaches to imitation learning achieve limited generalization at the cost of data-intensive training, and often produce opaque models that are difficult to understand and debug. In this study, we explore the viability of develo** purely-neural controllers for social robots that learn to imitate by reasoning about the underlying intentions of demonstrated behaviors. We present NeuroCERIL, a brain-inspired neurocognitive architecture that uses a novel hypothetico-deductive reasoning procedure to produce generalizable and human-readable explanations for demonstrated behavior. This approach combines bottom-up abductive inference with top-down predictive verification, and captures important aspects of human causal reasoning that are relevant to a broad range of cognitive domains. Our empirical results demonstrate that NeuroCERIL can learn various procedural skills in a simulated robotic imitation learning domain. We also show that its causal reasoning procedure is computationally efficient, and that its memory use is dominated by highly transient short-term memories, much like human working memory. We conclude that NeuroCERIL is a viable neural model of human-like imitation learning that can improve human-robot collaboration and contribute to investigations of the neurocomputational basis of human cognition. △ Less

Submitted 11 November, 2022; originally announced November 2022.

Numerical study of experimentally inspired stratified turbulence forced by waves

Authors: Jason Reneuve, Clément Savaro, Géraldine Davis, Costanza Rodda, Nicolas Mordant, Pierre Augier

Abstract: Stratified flows forced by internal waves similar to those obtained in the Coriolis platform (LEGI, Grenoble, France) \cite{Savaro2020} are studied by pseudospectral triply-periodic simulations. The experimental forcing mechanism consisting in large oscillating vertical panels is mimicked by a penalization method. The analysis of temporal and spatiotemporal spectra reveals that the flow for the st… ▽ More Stratified flows forced by internal waves similar to those obtained in the Coriolis platform (LEGI, Grenoble, France) \cite{Savaro2020} are studied by pseudospectral triply-periodic simulations. The experimental forcing mechanism consisting in large oscillating vertical panels is mimicked by a penalization method. The analysis of temporal and spatiotemporal spectra reveals that the flow for the strongest forcing in the experiments is composed of two superposed large and quasi-steady horizontal vortices, of internal waves in box modes and of much weaker waves outside the modes. Spatial spectra and spectral energy budget confirm that the flow is in an intermediate regime for very small horizontal Froude number $F_h$ and buoyancy Reynolds number $R$ close to unity. Since the forcing frequency $ω_f$ is just slightly smaller than the Brunt-Väisälä frequency $N$, there are energy transfers towards slower waves and large vortices, which correspond to an upscale energy flux over the horizontal. Two other experimentally feasible sets of parameters are investigated. A larger amplitude forcing shows that it would indeed be possible to produce in huge apparatus like the Coriolis platform stratified turbulence forced by waves for small $F_h$ and buoyancy Reynolds number $R$ of order 10. Forcing slower waves for $ω_f = 0.40 N$ leaves space between $ω_f$ and $N$ for "down-time-scale" transfers through weakly nonlinear interactions with temporal spectra consistent with $ω^{-2}$ slope. However, for this set of parameters, the large scales of the flow are strongly dissipative and there is no downscale energy cascade. △ Less

Submitted 6 October, 2022; originally announced October 2022.

SymphonyDB: A Polyglot Model for Knowledge Graph Query Processing

Authors: Masoud Salehpour, Joseph G. Davis

Abstract: Unlocking the full potential of Knowledge Graphs (KGs) to enable or enhance various semantic and other applications requires Data Management Systems (DMSs) to efficiently store and process the content of KGs. However, the increases in the size and variety of KG datasets as well as the growing diversity of KG queries pose efficiency challenges for the current generation of DMSs to the extent that t… ▽ More Unlocking the full potential of Knowledge Graphs (KGs) to enable or enhance various semantic and other applications requires Data Management Systems (DMSs) to efficiently store and process the content of KGs. However, the increases in the size and variety of KG datasets as well as the growing diversity of KG queries pose efficiency challenges for the current generation of DMSs to the extent that the performance of representative DMSs tends to vary significantly across diverse query types and no single platform dominates performance. We present our extensible prototype, SymphonyDB, as an approach to addressing this problem based on a polyglot model of query processing as part of a multi-database system supported by a unified access layer that can analyze/translate individual queries just-in-time and match each to the likely best-performing DMS among Virtuoso, Blazegraph, RDF-3X, and MongoDB as representative DMSs that are included in our prototype at this time. The results of our experiments with the prototype over well-known KG benchmark datasets and queries point to the efficiency and consistency of its performance across different query types and datasets. △ Less

Submitted 10 September, 2022; originally announced September 2022.

Comments: arXiv admin note: text overlap with arXiv:2004.06203

Towards Diversity-tolerant RDF-stores

Authors: Masoud Salehpour, Joseph G. Davis

Abstract: We propose a novel approach to designing RDF-stores with the goal of improving the consistency and predictability of query performance. When designing these systems, three properties are commonly desired: support for the full range of SPARQL query features (Q), support for widely varying RDF datasets in terms of structuredness and size (S), and high performance (P). We develop the empirical SPQ co… ▽ More We propose a novel approach to designing RDF-stores with the goal of improving the consistency and predictability of query performance. When designing these systems, three properties are commonly desired: support for the full range of SPARQL query features (Q), support for widely varying RDF datasets in terms of structuredness and size (S), and high performance (P). We develop the empirical SPQ conjecture which states that it may be impossible to achieve all the three desiderata simultaneously. We present a strong case for its plausibility based on our experimental results. The tradeoffs among the three and design guidelines based on the SPQ conjecture are also discussed. △ Less

Submitted 10 September, 2022; originally announced September 2022.

Comments: This is the author version of the paper. It is also available at Proceedings of the 37th ACM SIGAPP Symposium on Applied Computing, April 2022

Experimental observations of internal wave turbulence transition in a stratified fluid

Authors: Costanza Rodda, Clément Savaro, Géraldine Davis, Jason Reneuve, Pierre Augier, Joël Sommeria, Thomas Valran, Samuel Viboud, Nicolas Mordant

Abstract: Recent developments of the weak turbulence theory applied to internal waves exhibit a power-law solution of the kinetic energy equation close to the oceanic Garrett \& Munk spectrum, confirming weakly nonlinear wave interactions as a likely explanation of the observed oceanic spectra. However, finite-size effects can hinder wave interactions in bounded domains, and observations often differ from t… ▽ More Recent developments of the weak turbulence theory applied to internal waves exhibit a power-law solution of the kinetic energy equation close to the oceanic Garrett \& Munk spectrum, confirming weakly nonlinear wave interactions as a likely explanation of the observed oceanic spectra. However, finite-size effects can hinder wave interactions in bounded domains, and observations often differ from theoretical predictions. This article studies the dynamical regimes experimentally develo** in a stratified fluid forced by internal gravity waves in a pentagonal domain. We find that by changing the shape and increasing the dimensions of the domain, finite-size effects diminish and wave turbulence is observed. In this regime, the temporal spectra decay with a slope compatible with the Garrett-Munk spectra. Different regimes appear by changing the forcing conditions, namely discrete wave turbulence, weak wave turbulence, and strongly stratified turbulence. The buoyancy Reynolds number $Re_b$ marks well the transitions between the regimes, with weak wave turbulence occurring for $1\lesssim Re_b\lesssim 3.5$ and strongly non-linear stratified turbulence for higher $Re_b$. △ Less

Submitted 8 September, 2022; originally announced September 2022.

Comments: submitted to Physical Review Fluids

Optimal Transport Tools (OTT): A JAX Toolbox for all things Wasserstein

Authors: Marco Cuturi, Laetitia Meng-Papaxanthos, Yingtao Tian, Charlotte Bunne, Geoff Davis, Olivier Teboul

Abstract: Optimal transport tools (OTT-JAX) is a Python toolbox that can solve optimal transport problems between point clouds and histograms. The toolbox builds on various JAX features, such as automatic and custom reverse mode differentiation, vectorization, just-in-time compilation and accelerators support. The toolbox covers elementary computations, such as the resolution of the regularized OT problem,… ▽ More Optimal transport tools (OTT-JAX) is a Python toolbox that can solve optimal transport problems between point clouds and histograms. The toolbox builds on various JAX features, such as automatic and custom reverse mode differentiation, vectorization, just-in-time compilation and accelerators support. The toolbox covers elementary computations, such as the resolution of the regularized OT problem, and more advanced extensions, such as barycenters, Gromov-Wasserstein, low-rank solvers, estimation of convex maps, differentiable generalizations of quantiles and ranks, and approximate OT between Gaussian mixtures. The toolbox code is available at \texttt{https://github.com/ott-jax/ott} △ Less

Submitted 28 January, 2022; originally announced January 2022.

Comments: 4 pages

The human brain and mathematics: recent research and educational questions

Authors: Gary E. Davis, Mercedes A. McGowen

Abstract: New understandings of the functioning of human brains engaged in mathematics raise interesting questions for mathematics educators. Novel lines of research are suggested by neuroscientific findings, and new light is shed on some longstanding issues in mathematics education. New understandings of the functioning of human brains engaged in mathematics raise interesting questions for mathematics educators. Novel lines of research are suggested by neuroscientific findings, and new light is shed on some longstanding issues in mathematics education. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Comments: 21 pages, 11 figures

MSC Class: 97. Education

The EXO-200 detector, part II: Auxiliary Systems

Authors: N. Ackerman, J. Albert, M. Auger, D. J. Auty, I. Badhrees, P. S. Barbeau, L. Bartoszek, E. Baussan, V. Belov, C. Benitez-Medina, T. Bhatta, M. Breidenbach, T. Brunner, G. F. Cao, W. R. Cen, C. Chambers, B. Cleveland, R. Conley, S. Cook, M. Coon, W. Craddock, A. Craycraft, W. Cree, T. Daniels, L. Darroch , et al. (135 additional authors not shown)

Abstract: The EXO-200 experiment searched for neutrinoless double-beta decay of $^{136}$Xe with a single-phase liquid xenon detector. It used an active mass of 110 kg of 80.6%-enriched liquid xenon in an ultra-low background time projection chamber with ionization and scintillation detection and readout. This paper describes the design and performance of the various support systems necessary for detector op… ▽ More The EXO-200 experiment searched for neutrinoless double-beta decay of $^{136}$Xe with a single-phase liquid xenon detector. It used an active mass of 110 kg of 80.6%-enriched liquid xenon in an ultra-low background time projection chamber with ionization and scintillation detection and readout. This paper describes the design and performance of the various support systems necessary for detector operation, including cryogenics, xenon handling, and controls. Novel features of the system were driven by the need to protect the thin-walled detector chamber containing the liquid xenon, to achieve high chemical purity of the Xe, and to maintain thermal uniformity across the detector. △ Less

Submitted 22 October, 2021; v1 submitted 13 July, 2021; originally announced July 2021.

Comments: Manuscript updated in response to JINST reviewer comments

LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach

Authors: Ethan Smith, Marc G. Davis, Jeffrey Larson, Ed Younis, Costin Iancu, Wim Lavrijsen

Abstract: While showing great promise, circuit synthesis techniques that combine numerical optimization with search over circuit structures face scalability challenges due to a large number of parameters, exponential search spaces, and complex objective functions. The LEAP algorithm improves scaling across these dimensions using iterative circuit synthesis, incremental re-optimization, dimensionality reduct… ▽ More While showing great promise, circuit synthesis techniques that combine numerical optimization with search over circuit structures face scalability challenges due to a large number of parameters, exponential search spaces, and complex objective functions. The LEAP algorithm improves scaling across these dimensions using iterative circuit synthesis, incremental re-optimization, dimensionality reduction, and improved numerical optimization. LEAP draws on the design of the optimal synthesis algorithm QSearch by extending it with an incremental approach to determine constant prefix solutions for a circuit. By narrowing the search space, LEAP improves scalability from four to six qubit circuits. LEAP was evaluated with known quantum circuits such as QFT and physical simulation circuits like the VQE, TFIM, and QITE. LEAP can compile four qubit unitaries up to $59\times$ faster than QSearch and five and six qubit unitaries with up to $1.2\times$ fewer CNOTs compared to the QFAST package. LEAP can reduce the CNOT count by up to $36\times$, or $7\times$ on average, compared to the CQC Tket compiler. Despite its heuristics, LEAP has generated optimal circuits for many test cases with a priori known solutions. The techniques introduced by LEAP are applicable to other numerical-optimization-based synthesis approaches. △ Less

Submitted 17 December, 2021; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 21 pages

Drone-based AI and 3D Reconstruction for Digital Twin Augmentation

Authors: Alex To, Maican Liu, Muhammad Hazeeq Bin Muhammad Hairul, Joseph G. Davis, Jeannie S. A. Lee, Henrik Hesse, Hoang D. Nguyen

Abstract: Digital Twin is an emerging technology at the forefront of Industry 4.0, with the ultimate goal of combining the physical space and the virtual space. To date, the Digital Twin concept has been applied in many engineering fields, providing useful insights in the areas of engineering design, manufacturing, automation, and construction industry. While the nexus of various technologies opens up new o… ▽ More Digital Twin is an emerging technology at the forefront of Industry 4.0, with the ultimate goal of combining the physical space and the virtual space. To date, the Digital Twin concept has been applied in many engineering fields, providing useful insights in the areas of engineering design, manufacturing, automation, and construction industry. While the nexus of various technologies opens up new opportunities with Digital Twin, the technology requires a framework to integrate the different technologies, such as the Building Information Model used in the Building and Construction industry. In this work, an Information Fusion framework is proposed to seamlessly fuse heterogeneous components in a Digital Twin framework from the variety of technologies involved. This study aims to augment Digital Twin in buildings with the use of AI and 3D reconstruction empowered by unmanned aviation vehicles. We proposed a drone-based Digital Twin augmentation framework with reusable and customisable components. A proof of concept is also developed, and extensive evaluation is conducted for 3D reconstruction and applications of AI for defect detection. △ Less

Submitted 19 May, 2021; originally announced June 2021.

Low-level jets and the convergence of Mars data assimilation algorithms

Authors: Todd A. Mooring, Gabrielle E. Davis, Steven J. Greybush

Abstract: Data assimilation is an increasingly popular technique in Mars atmospheric science, but its effect on the mean states of the underlying atmosphere models has not been thoroughly examined. The robustness of results to the choice of model and assimilation algorithm also warrants further study. We investigate these issues using two Mars general circulation models (MGCMs), with particular emphasis on… ▽ More Data assimilation is an increasingly popular technique in Mars atmospheric science, but its effect on the mean states of the underlying atmosphere models has not been thoroughly examined. The robustness of results to the choice of model and assimilation algorithm also warrants further study. We investigate these issues using two Mars general circulation models (MGCMs), with particular emphasis on zonal wind and temperature fields. When temperature retrievals from the Mars Global Surveyor Thermal Emission Spectrometer (TES) are assimilated into the U.K.-Laboratoire de Météorologie Dynamique (UK-LMD) MGCM to create the Mars Analysis Correction Data Assimilation (MACDA) reanalysis, low-level zonal jets in the winter northern hemisphere shift equatorward and weaken relative to a free-running control simulation from the same MGCM. The Ensemble Mars Atmosphere Reanalysis System (EMARS) reanalysis, which is also based on TES temperature retrievals, also shows jet weakening (but less if any shifting) relative to a control simulation performed with the underlying Geophysical Fluid Dynamics Laboratory (GFDL) MGCM. Examining higher levels of the atmosphere, monthly mean three-dimensional temperature and zonal wind fields are in generally better agreement between the two reanalyses than between the two control simulations. In conjunction with information about the MGCMs' physical parametrizations, intercomparisons between the various reanalyses and control simulations suggest that overall the EMARS control run is plausibly less biased (relative to the true state of the Martian atmosphere) than the MACDA control run. Implications for future observational studies are discussed. △ Less

Submitted 7 May, 2021; originally announced May 2021.

Comments: 25 pages, 6 figures

A computational reduction for many base cases in profinite telescopic algebraic $K$-theory

Authors: Daniel G. Davis

Abstract: For primes $p\geq 5 $, $K(KU_p)$ -- the algebraic $K$-theory spectrum of $(KU)^{\wedge}_p$, Morava $K$-theory $K(1)$, and Smith-Toda complex $V(1)$, Ausoni and Rognes conjectured (alongside related conjectures) that $L_{K(1)}S^0 \mspace{-1.5mu}\xrightarrow{\mspace{-2mu}\text{unit} \, i}~\mspace{-7mu}(KU)^{\wedge}_p$ induces a map… ▽ More For primes $p\geq 5 $, $K(KU_p)$ -- the algebraic $K$-theory spectrum of $(KU)^{\wedge}_p$, Morava $K$-theory $K(1)$, and Smith-Toda complex $V(1)$, Ausoni and Rognes conjectured (alongside related conjectures) that $L_{K(1)}S^0 \mspace{-1.5mu}\xrightarrow{\mspace{-2mu}\text{unit} \, i}~\mspace{-7mu}(KU)^{\wedge}_p$ induces a map $K(L_{K(1)}S^0) \wedge v_2^{-1}V(1) \to K(KU_p)^{h\mathbb{Z}^\times_p} \wedge v_2^{-1}V(1)$ that is an equivalence. Since the definition of this map is not well understood, we consider $K(L_{K(1)}S^0) \wedge v_2^{-1}V(1) \to (K(KU_p) \wedge v_2^{-1}V(1))^{h\mathbb{Z}^\times_p}$, which is induced by $i$ and also should be an equivalence. We show that for any closed $G < \mathbb{Z}^\times_p$, $π_\ast((K(KU_p) \wedge v_2^{-1}V(1))^{hG})$ is a direct sum of two pieces given by (co)invariants and a coinduced module, for $K(KU_p)_\ast(V(1))[v_2^{-1}]$. When $G = \mathbb{Z}^\times_p$, the direct sum is, conjecturally, $K(L_{K(1)}S^0)_\ast(V(1))[v_2^{-1}]$ and, by using $K(L_p)_\ast(V(1))[v_2^{-1}]$, where $L_p = ((KU)^{\wedge}_p)^{h\mathbb{Z}/((p-1)\mathbb{Z})}$, the summands simplify. The Ausoni-Rognes conjecture suggests that in \[(-)^{h\mathbb{Z}^\times_p} \wedge v_2^{-1}V(1) \simeq (K(KU_p) \wedge v_2^{-1}V(1))^{h\mathbb{Z}^\times_p},\] $K(KU_p)$ fills in the blank; we show that for any $G$, the blank can be filled by $(K(KU_p))^\mathrm{dis}_\mathcal{O}$, a discrete $\mathbb{Z}^\times_p$-spectrum built out of $K(KU_p)$. △ Less

Submitted 9 April, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 20 pages; resubmitted for publication; Section 1.1 is new; updated several references

MSC Class: 19D55; 55N15; 55P42; 55T25

QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis

Authors: Xin-Chuan Wu, Marc Grau Davis, Frederic T. Chong, Costin Iancu

Abstract: The current phase of quantum computing is in the Noisy Intermediate-Scale Quantum (NISQ) era. On NISQ devices, two-qubit gates such as CNOTs are much noisier than single-qubit gates, so it is essential to minimize their count. Quantum circuit synthesis is a process of decomposing an arbitrary unitary into a sequence of quantum gates, and can be used as an optimization tool to produce shorter circu… ▽ More The current phase of quantum computing is in the Noisy Intermediate-Scale Quantum (NISQ) era. On NISQ devices, two-qubit gates such as CNOTs are much noisier than single-qubit gates, so it is essential to minimize their count. Quantum circuit synthesis is a process of decomposing an arbitrary unitary into a sequence of quantum gates, and can be used as an optimization tool to produce shorter circuits to improve overall circuit fidelity. However, the time-to-solution of synthesis grows exponentially with the number of qubits. As a result, synthesis is intractable for circuits on a large qubit scale. In this paper, we propose a hierarchical, block-by-block optimization framework, QGo, for quantum circuit optimization. Our approach allows an exponential cost optimization to scale to large circuits. QGo uses a combination of partitioning and synthesis: 1) partition the circuit into a sequence of independent circuit blocks; 2) re-generate and optimize each block using quantum synthesis; and 3) re-compose the final circuit by stitching all the blocks together. We perform our analysis and show the fidelity improvements in three different regimes: small-size circuits on real devices, medium-size circuits on noise simulations, and large-size circuits on analytical models. Using a set of NISQ benchmarks, we show that QGo can reduce the number of CNOT gates by 29.9% on average and up to 50% when compared with industrial compilers such as t|ket>. When executed on the IBM Athens system, shorter depth leads to higher circuit fidelity. We also demonstrate the scalability of our QGo technique to optimize circuits of 60+ qubits. Our technique is the first demonstration of successfully employing and scaling synthesis in the compilation toolchain for large circuits. Overall, our approach is robust for direct incorporation in production compiler toolchains. △ Less

Submitted 23 March, 2022; v1 submitted 17 December, 2020; originally announced December 2020.

A construction of some objects in many base cases of an Ausoni-Rognes conjecture

Authors: Daniel G. Davis

Abstract: Let $p$ be a prime, $n \geq 1$, $K(n)$ the $n$th Morava $K$-theory spectrum, $\mathbb{G}_n$ the extended Morava stabilizer group, and $K(A)$ the algebraic $K$-theory spectrum of a commutative $S$-algebra $A$. For a type $n+1$ complex $V_n$, Ausoni and Rognes conjectured that (a) the unit map $i_n: L_{K(n)}(S^0) \to E_n$ from the $K(n)$-local sphere to the Lubin-Tate spectrum induces a map \[K(L_{K… ▽ More Let $p$ be a prime, $n \geq 1$, $K(n)$ the $n$th Morava $K$-theory spectrum, $\mathbb{G}_n$ the extended Morava stabilizer group, and $K(A)$ the algebraic $K$-theory spectrum of a commutative $S$-algebra $A$. For a type $n+1$ complex $V_n$, Ausoni and Rognes conjectured that (a) the unit map $i_n: L_{K(n)}(S^0) \to E_n$ from the $K(n)$-local sphere to the Lubin-Tate spectrum induces a map \[K(L_{K(n)}(S^0)) \wedge v_{n+1}^{-1}V_n \to (K(E_n))^{h\mathbb{G}_n} \wedge v_{n+1}^{-1}V_n\] that is a weak equivalence, where (b) since $\mathbb{G}_n$ is profinite, $(K(E_n))^{h\mathbb{G}_n}$ denotes a continuous homotopy fixed point spectrum, and (c) $π_\ast(-)$ of the target of the above map is the abutment of a homotopy fixed point spectral sequence. For $n = 1$, $p \geq 5$, and $V_1 = V(1)$, we give a way to realize the above map and (c), by proving that $i_1$ induces a map \[K(L_{K(1)}(S^0)) \wedge v_{2}^{-1}V_1 \to (K(E_1) \wedge v_{2}^{-1}V_1)^{h\mathbb{G}_1},\] where the target of this map is a continuous homotopy fixed point spectrum, with an associated homotopy fixed point spectral sequence. Also, we prove that there is an equivalence \[(K(E_1) \wedge v_{2}^{-1}V_1)^{h\mathbb{G}_1} \simeq (K(E_1))^{\widetilde{h}\mathbb{G}_1} \wedge v_2^{-1}V_1,\] where $(K(E_1))^{\widetilde{h}\mathbb{G}_1}$ is the homotopy fixed points with $\mathbb{G}_1$ regarded as a discrete group. △ Less

Submitted 11 December, 2020; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: 32 pages; submitted for publication; updated description of status of $(K(E_n))^{h\mathbb{G}_n}$ by adding Remark 1.5 and modifying the paragraph that precedes it (and removing description of status from abstract); sharpened the writing in various places

MSC Class: 19D55; 55N15; 55P42; 55T99

Succession of resonances to achieve internal wave turbulence

Authors: Géraldine Davis, Timothée Jamin, Julie Deleuze, Sylvain Joubaud, Thierry Dauxois

Abstract: We study experimentally the interaction of nonlinear internal waves in a stratified fluid confined in a trapezoidal tank. The set-up has been designed to produce internal wave turbulence from monochromatic and polychromatic forcing through three processes. The first is a linear transfer in wavelength obtained by wave reflection on inclined slopes, leading to an internal wave attractor which has a… ▽ More We study experimentally the interaction of nonlinear internal waves in a stratified fluid confined in a trapezoidal tank. The set-up has been designed to produce internal wave turbulence from monochromatic and polychromatic forcing through three processes. The first is a linear transfer in wavelength obtained by wave reflection on inclined slopes, leading to an internal wave attractor which has a broad wavenumber spectrum. Second is the broad banded time-frequency spectrum of the trapezoidal geometry, as shown by the impulse response of the system. The third one is a nonlinear transfer in frequencies and wavevectors via triadic interactions, which results at large forcing amplitudes in a power law decay of the wavenumber power spectrum. This first experimental spectrum of internal wave turbulence displays a $k^{-3}$ behavior. △ Less

Submitted 27 April, 2020; originally announced April 2020.

Journal ref: Phys. Rev. Lett. 124, 204502 (2020)

Knowledge Graphs for Processing Scientific Data: Challenges and Prospects

Authors: Masoud Salehpour, Joseph G. Davis

Abstract: There is growing interest in the use of Knowledge Graphs (KGs) for the representation, exchange, and reuse of scientific data. While KGs offer the prospect of improving the infrastructure for working with scalable and reusable scholarly data consistent with the FAIR (Findability, Accessibility, Interoperability, and Reusability) principles, the state-of-the-art Data Management Systems (DMSs) for p… ▽ More There is growing interest in the use of Knowledge Graphs (KGs) for the representation, exchange, and reuse of scientific data. While KGs offer the prospect of improving the infrastructure for working with scalable and reusable scholarly data consistent with the FAIR (Findability, Accessibility, Interoperability, and Reusability) principles, the state-of-the-art Data Management Systems (DMSs) for processing large KGs leave somewhat to be desired. In this paper, we studied the performance of some of the major DMSs in the context of querying KGs with the goal of providing a finely-grained, comparative analysis of DMSs representing each of the four major DMS types. We experimented with four well-known scientific KGs, namely, Allie, Cellcycle, DrugBank, and LinkedSPL against Virtuoso, Blazegraph, RDF-3X, and MongoDB as the representative DMSs. Our results suggest that the DMSs display limitations in processing complex queries on the KG datasets. Depending on the query type, the performance differentials can be several orders of magnitude. Also, no single DMS appears to offer consistently superior performance. We present an analysis of the underlying issues and outline two integrated approaches and proposals for resolving the problem. △ Less

Submitted 8 April, 2020; originally announced April 2020.

Comments: arXiv admin note: text overlap with arXiv:2004.04286, arXiv:2004.05648

A Comparative Analysis of Knowledge Graph Query Performance

Authors: Masoud Salehpour, Joseph G. Davis

Abstract: As Knowledge Graphs (KGs) continue to gain widespread momentum for use in different domains, storing the relevant KG content and efficiently executing queries over them are becoming increasingly important. A range of Data Management Systems (DMSs) have been employed to process KGs. This paper aims to provide an in-depth analysis of query performance across diverse DMSs and KG query types. Our aim… ▽ More As Knowledge Graphs (KGs) continue to gain widespread momentum for use in different domains, storing the relevant KG content and efficiently executing queries over them are becoming increasingly important. A range of Data Management Systems (DMSs) have been employed to process KGs. This paper aims to provide an in-depth analysis of query performance across diverse DMSs and KG query types. Our aim is to provide a fine-grained, comparative analysis of four major DMS types, namely, row-, column-, graph-, and document-stores, against major query types, namely, subject-subject, subject-object, tree-like, and optional joins. In particular, we analyzed the performance of row-store Virtuoso, column-store Virtuoso, Blazegraph (i.e., graph-store), and MongoDB (i.e., document-store) using five well-known benchmarks, namely, BSBM, WatDiv, FishMark, BowlognaBench, and BioBench-Allie. Our results show that no single DMS displays superior query performance across the four query types. In particular, row- and column-store Virtuoso are a factor of 3-8 faster for tree-like joins, Blazegraph performs around one order of magnitude faster for subject-object joins, and MongoDB performs over one order of magnitude faster for high-selective queries. △ Less

Submitted 8 April, 2020; originally announced April 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:2004.04286

The Effects of Different JSON Representations on Querying Knowledge Graphs

Authors: Masoud Salehpour, Joseph G. Davis

Abstract: Knowledge Graphs (KGs) have emerged as the de-facto standard for modeling and querying datasets with a graph-like structure in the Semantic Web domain. Our focus is on the performance challenges associated with querying KGs. We developed three informationally equivalent JSON-based representations for KGs, namely, Subject-based Name/Value (JSON-SNV), Documents of Triples (JSON-DT), and Chain-based… ▽ More Knowledge Graphs (KGs) have emerged as the de-facto standard for modeling and querying datasets with a graph-like structure in the Semantic Web domain. Our focus is on the performance challenges associated with querying KGs. We developed three informationally equivalent JSON-based representations for KGs, namely, Subject-based Name/Value (JSON-SNV), Documents of Triples (JSON-DT), and Chain-based Name/Value (JSON-CNV). We analyzed the effects of these representations on query performance by storing them on two prominent document-based Data Management Systems (DMSs), namely, MongoDB and Couchbase and executing a set of benchmark queries over them. We also compared the execution times with row-store Virtuoso, column-store Virtuoso, and \mbox{Blazegraph} as three major DMSs with different architectures (aka, RDF-stores). Our results indicate that the representation type has a significant performance impact on query execution. For instance, the JSON-SNV outperforms others by nearly one order of magnitude to execute subject-subject join queries. This and the other results presented in this paper can assist in more accurate benchmarking of the emerging DMSs. △ Less

Submitted 8 April, 2020; originally announced April 2020.

Defect-Free Axially-Stacked GaAs/GaAsP Nanowire Quantum Dots with Strong Carrier Confinement

Authors: Yunyan Zhang, Anton V. Velichko, H. Aruni Fonseka, Patrick Parkinson, George Davis, James A. Gott, Martin Aagesen, Ana M. Sanchez, David Mowbray, Huiyun Liu

Abstract: Axially-stacked quantum dots (QDs) in nanowires (NWs) have important applications in fabricating nanoscale quantum devices and lasers. Although their performances are very sensitive to crystal quality and structures, there is relatively little study on defect-free growth with Au-free mode and structure optimisation for achiving high performances. Here, we report a detailed study of the first self-… ▽ More Axially-stacked quantum dots (QDs) in nanowires (NWs) have important applications in fabricating nanoscale quantum devices and lasers. Although their performances are very sensitive to crystal quality and structures, there is relatively little study on defect-free growth with Au-free mode and structure optimisation for achiving high performances. Here, we report a detailed study of the first self-catalyzed defect-free axially-stacked deep NWQDs. High structural quality is maintained when 50 GaAs QDs are placed in a single GaAsP NW. The QDs have very sharp interfaces (1.8~3.6 nm) and can be closely stacked with very similar structural properties. They exhibit the deepest carrier confinement (~90 meV) and largest exciton-biexciton splitting (~11 meV) among non-nitride III-V NWQDs, and can maintain good optical properties after being stored in ambient atmosphere for over 6 months due to excellent stability. Our study sets a solid foundation to build high-performance axially-stacked NWQD devices that are compatible with CMOS technologies. △ Less

Submitted 25 February, 2021; v1 submitted 4 February, 2020; originally announced February 2020.

Comments: 38 pages, 9 figures, 1 table

Heuristics for Quantum Compiling with a Continuous Gate Set

Authors: Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu

Abstract: We present an algorithm for compiling arbitrary unitaries into a sequence of gates native to a quantum processor. As accurate CNOT gates are hard for the foreseeable Noisy- Intermediate-Scale Quantum devices era, our A* inspired algorithm attempts to minimize their count, while accounting for connectivity. We discuss the search strategy together with metrics to expand the solution frontier. For a… ▽ More We present an algorithm for compiling arbitrary unitaries into a sequence of gates native to a quantum processor. As accurate CNOT gates are hard for the foreseeable Noisy- Intermediate-Scale Quantum devices era, our A* inspired algorithm attempts to minimize their count, while accounting for connectivity. We discuss the search strategy together with metrics to expand the solution frontier. For a workload of circuits with complexity appropriate for the NISQ era, we produce solutions well within the best upper bounds published in literature and match or exceed hand tuned implementations, as well as other existing synthesis alternatives. In particular, when comparing against state-of-the-art available synthesis packages we show 2.4x average (up to 5.3x) reduction in CNOT count. We also show how to re-target the algorithm for a different chip topology and native gate set, while obtaining similar quality results. We believe that empirical tools like ours can facilitate algorithmic exploration, gate set discovery for quantum processor designers, as well as providing useful optimization blocks within the quantum compilation tool-chain. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Comments: Presented at the 3rd International Workshop on Quantum Compilation as part of the International Conference On Computer Aided Design 2019

Canada and the SKA from 2020-2030

Authors: Kristine Spekkens, Cynthia Chiang, Roland Kothes, Erik Rosolowsky, Michael Rupen, Samar Safi-Harb, Jonathan Sievers, Greg Sivakoff, Ingrid Stairs, Nienke van der Marel, Bob Abraham, Rachel Alexandroff, Norbert Bartel, Stefi Baum, Michael Bietenholz, Aaron Boley, Dick Bond, Joanne Brown, Toby Brown, Gary Davis, Jayanne English, Greg Fahlman, Laura Ferrarese, James Di Francesco, Bryan Gaensler , et al. (35 additional authors not shown)

Abstract: This white paper submitted for the 2020 Canadian Long-Range Planning process (LRP2020) presents the prospects for Canada and the Square Kilometre Array (SKA) from 2020-2030, focussing on the first phase of the project (SKA1) scheduled to begin construction early in the next decade. SKA1 will make transformational advances in our understanding of the Universe across a wide range of fields, and Cana… ▽ More This white paper submitted for the 2020 Canadian Long-Range Planning process (LRP2020) presents the prospects for Canada and the Square Kilometre Array (SKA) from 2020-2030, focussing on the first phase of the project (SKA1) scheduled to begin construction early in the next decade. SKA1 will make transformational advances in our understanding of the Universe across a wide range of fields, and Canadians are poised to play leadership roles in several. Canadian key SKA technologies will ensure a good return on capital investment in addition to strong scientific returns, positioning Canadian astronomy for future opportunities well beyond 2030. We therefore advocate for Canada's continued scientific and technological engagement in the SKA from 2020-2030 through participation in the construction and operations phases of SKA1. △ Less

Submitted 8 November, 2019; originally announced November 2019.

Comments: 14 pages, 4 figures, 2020 Canadian Long-Range Plan (LRP2020) white paper

Energy budget in internal wave attractors experiment

Authors: Géraldine Davis, Thierry Dauxois, Timothée Jamin, Sylvain Joubaud

Abstract: The current paper presents an experimental study of the energy budget of a two-dimensional internal wave attractor in a trapezoidal domain filled with uniformly stratified fluid. The injected energy flux and the dissipation rate are simultaneously measured from a \ch{two-dimensional, two components,} experimental velocity field. The pressure perturbation field needed to quantify the injected energ… ▽ More The current paper presents an experimental study of the energy budget of a two-dimensional internal wave attractor in a trapezoidal domain filled with uniformly stratified fluid. The injected energy flux and the dissipation rate are simultaneously measured from a \ch{two-dimensional, two components,} experimental velocity field. The pressure perturbation field needed to quantify the injected energy is determined from the linear inviscid theory. The dissipation rate in the bulk of the domain is directly computed from the measurements, while the energy sink occurring in the boundary layers are estimated using the theoretical expression of the velocity field in the boundary layers, derived recently by Beckebanze et al. (J. Fluid Mech. 841, 614 (2018)). In the linear regime, we show that the energy budget is closed, in the steady-state and also in the transient regime, by taking into account the bulk dissipation and, more important, the dissipation in the boundary layers without any adjustable parameters. The dependence of the different sources on the thickness of the experimental set-up is also discussed. In the nonlinear regime, the analysis is extended by estimating the dissipation due to the secondary waves generated by triadic resonant instabilities showing the importance of the energy transfer from large scales to small scales. The method tested here on internal wave attractors can be generalized straightforwardly to any quasi two-dimensional stratified flow. △ Less

Submitted 3 November, 2019; originally announced November 2019.

Journal ref: Journal of Fluid Mechanics 880, 743-763 (2019)

A lift from group cohomology to spectra for trivial profinite actions

Authors: Daniel G. Davis

Abstract: Let $G$ be a profinite group, $X$ a discrete $G$-spectrum with trivial action, and $X^{hG}$ the continuous homotopy fixed points. For any $N \trianglelefteq_o G$ ("$o$" for open), $X = X^N$ is a $G/N$-spectrum with trivial action. We construct a zigzag $\text{colim}\,_N \,X^{hG/N} \buildrelΦ\over\longrightarrow \text{colim}\,_N \,(X^{hN})^{hG/N} \buildrelΨ\over\longleftarrow X^{hG}$, where $Ψ$ is… ▽ More Let $G$ be a profinite group, $X$ a discrete $G$-spectrum with trivial action, and $X^{hG}$ the continuous homotopy fixed points. For any $N \trianglelefteq_o G$ ("$o$" for open), $X = X^N$ is a $G/N$-spectrum with trivial action. We construct a zigzag $\text{colim}\,_N \,X^{hG/N} \buildrelΦ\over\longrightarrow \text{colim}\,_N \,(X^{hN})^{hG/N} \buildrelΨ\over\longleftarrow X^{hG}$, where $Ψ$ is a weak equivalence. When $Φ$ is a weak equivalence, this zigzag gives an interesting model for $X^{hG}$ (for example, its Spanier-Whitehead dual is $\text{holim}\,_N \,F(X^{hG/N}, S^0)$). We prove that this happens in the following cases: (1) $|G| < \infty$; (2) $X$ is bounded above; (3) there exists $\{U\}$ cofinal in $\{N\}$, such that for each $U$, $H^s_c(U, π_\ast(X)) = 0$, for $s > 0$. Given (3), for each $U$, there is a weak equivalence $X \buildrel\simeq\over\longrightarrow X^{hU}$ and $X^{hG} \simeq X^{hG/U}$. For case (3), we give a series of corollaries and examples. As one instance of a family of examples, if $p$ is a prime, $K(n_p,p)$ the $n_p$th Morava $K$-theory $K(n_p)$ at $p$ for some $n_p \geq 1$, and $\mathbb{Z}_p$ the $p$-adic integers, then for each $m \geq 2$, (3) is satisfied when $G \leqslant \prod_{p \leq m} \mathbb{Z}_p$ is closed, $X = \bigvee_{p > m} (H\mathbb{Q} \vee K(n_p,p))$, and $\{U\} := \{N_G \mid N_G \trianglelefteq_o G\}$. △ Less

Submitted 5 August, 2019; originally announced August 2019.

Comments: 18 pages; submitted for publication

MSC Class: 55P42; 55P91

A First Course in Data Science

Authors: Donghui Yan, Gary E. Davis

Abstract: Data science is a discipline that provides principles, methodology and guidelines for the analysis of data for tools, values, or insights. Driven by a huge workforce demand, many academic institutions have started to offer degrees in data science, with many at the graduate, and a few at the undergraduate level. Curricula may differ at different institutions, because of varying levels of faculty ex… ▽ More Data science is a discipline that provides principles, methodology and guidelines for the analysis of data for tools, values, or insights. Driven by a huge workforce demand, many academic institutions have started to offer degrees in data science, with many at the graduate, and a few at the undergraduate level. Curricula may differ at different institutions, because of varying levels of faculty expertise, and different disciplines (such as Math, computer science, and business etc) in develo** the curriculum. The University of Massachusetts Dartmouth started offering degree programs in data science from Fall 2015, at both the undergraduate and the graduate level. Quite a few articles have been published that deal with graduate data science courses, much less so dealing with undergraduate ones. Our discussion will focus on undergraduate course structure and function, and specifically, a first course in data science. Our design of this course centers around a concept called the data science life cycle. That is, we view tasks or steps in the practice of data science as forming a process, consisting of states that indicate how it comes into life, how different tasks in data science depend on or interact with others until the birth of a data product or the reach of a conclusion. Naturally, different pieces of the data science life cycle then form individual parts of the course. Details of each piece are filled up by concepts, techniques, or skills that are popular in industry. Consequently, the design of our course is both "principled" and practical. A significant feature of our course philosophy is that, in line with activity theory, the course is based on the use of tools to transform real data in order to answer strongly motivated questions related to the data. △ Less

Submitted 8 May, 2019; originally announced May 2019.

Comments: 25 pages, 5 figures

Journal ref: Journal of Statistics Education, 2019

Understanding Perceptions of Problematic Facebook Use: When People Experience Negative Life Impact and a Lack of Control

Authors: Justin Cheng, Moira Burke, Elena Goetz Davis

Abstract: While many people use social network sites to connect with friends and family, some feel that their use is problematic, seriously affecting their sleep, work, or life. Pairing a survey of 20,000 Facebook users measuring perceptions of problematic use with behavioral and demographic data, we examined Facebook activities associated with problematic use as well as the kinds of people most likely to e… ▽ More While many people use social network sites to connect with friends and family, some feel that their use is problematic, seriously affecting their sleep, work, or life. Pairing a survey of 20,000 Facebook users measuring perceptions of problematic use with behavioral and demographic data, we examined Facebook activities associated with problematic use as well as the kinds of people most likely to experience it. People who feel their use is problematic are more likely to be younger, male, and going through a major life event such as a breakup. They spend more time on the platform, particularly at night, and spend proportionally more time looking at profiles and less time browsing their News Feeds. They also message their friends more frequently. While they are more likely to respond to notifications, they are also more likely to deactivate their accounts, perhaps in an effort to better manage their time. Further, they are more likely to have seen content about social media or phone addiction. Notably, people reporting problematic use rate the site as more valuable to them, highlighting the complex relationship between technology use and well-being. A better understanding of problematic Facebook use can inform the design of context-appropriate and supportive tools to help people become more in control. △ Less

Submitted 6 May, 2019; originally announced May 2019.

Comments: CHI 2019

ACM Class: J.4; H.5.m

A Centroid for Sections of a Cube in a Function Space, with application to Colorimetry

Authors: Glenn Davis

Abstract: The definition of the centroid in finite dimensions does not apply in a function space because of the lack of a translation invariant measure. Another approach, suggested by Nik Weaver, is to use a suitable collection of finite-dimensional subspaces. For a specific collection of subspaces of $L^1[0,1]$, this approach is shown to be successful when the subset is the intersection of a cube with a cl… ▽ More The definition of the centroid in finite dimensions does not apply in a function space because of the lack of a translation invariant measure. Another approach, suggested by Nik Weaver, is to use a suitable collection of finite-dimensional subspaces. For a specific collection of subspaces of $L^1[0,1]$, this approach is shown to be successful when the subset is the intersection of a cube with a closed affine subspace of finite codimension. The techniques used are the classical Laplace Transform and saddlepoint method for asymptotics. Applications to spectral reflectance estimation in colorimetry are presented. △ Less

Submitted 13 March, 2020; v1 submitted 2 November, 2018; originally announced November 2018.

Comments: 41 pages, 10 figures. In v2 revised argument in section 5; the new argument uses the Jordan-Brouwer separation theorem, instead of a global diffeomorphism theorem of Hadamard. In v3 section 5, added two variants of a key lemma. In v4 added remarks about the Langevin function, and more references

MSC Class: 45Q05; 65R32; 41A60; 44A10

Diversity, Productivity, and Growth of Open Source Developer Communities

Authors: Qingye Jiang, Young Choon Lee, Joseph G. Davis, Ablert Y. Zomaya

Abstract: The open source development model has become a paradigm shift from traditional in-house/closed-source software development model, with many successes. Traditionally, open source projects were characterized essentially by their individual volunteer developers. Such tradition has changed significantly with the participation of many organizations in particular. However, there exists a knowledge gap c… ▽ More The open source development model has become a paradigm shift from traditional in-house/closed-source software development model, with many successes. Traditionally, open source projects were characterized essentially by their individual volunteer developers. Such tradition has changed significantly with the participation of many organizations in particular. However, there exists a knowledge gap concerning how open source developer communities evolve. In this paper, we present some observations on open source developer communities. In particular, we analyze git repositories of 20 well-known open source projects, with over 3 million commit activities in total. The analysis has been carried out in three respects, productivity, diversity and growth using the Spearman's rank correlation coefficient, diversity index and the Gompertz/logistic curves, respectively. We find out that (a) the Spearman's rank correlation coefficient between active contributors and commit activities reveals how changes in the size of the developer community impacts the productivity of the community; (b) the diversity index of an open source developer community reveals the structure of the community; and (c) the growth of open source developer communities can be described using different phases of growth curves as in many organic matters. △ Less

Submitted 11 September, 2018; originally announced September 2018.

Comments: 10 pages, 6 figures

The Turtleback Diagram for Conditional Probability

Authors: Donghui Yan, Gary E. Davis

Abstract: We elaborate on an alternative representation of conditional probability to the usual tree diagram. We term the representation `turtleback diagram' for its resemblance to the pattern on turtle shells. Adopting the set theoretic view of events and the sample space, the turtleback diagram uses elements from Venn diagrams---set intersection, complement and partition---for conditioning, with the addit… ▽ More We elaborate on an alternative representation of conditional probability to the usual tree diagram. We term the representation `turtleback diagram' for its resemblance to the pattern on turtle shells. Adopting the set theoretic view of events and the sample space, the turtleback diagram uses elements from Venn diagrams---set intersection, complement and partition---for conditioning, with the additional notion that the area of a set indicates probability whereas the ratio of areas for conditional probability. Once parts of the diagram are drawn and properly labeled, the calculation of conditional probability involves only simple arithmetic on the area of relevant sets. We discuss turtleback diagrams in relation to other visual representations of conditional probability, and detail several scenarios in which turtleback diagrams prove useful. By the equivalence of recursive space partition and the tree, the turtleback diagram is seen to be equally expressive as the tree diagram for representing abstract concepts. We also provide empirical data on the use of turtleback diagrams with undergraduate students in elementary statistics or probability courses. △ Less

Submitted 21 August, 2018; originally announced August 2018.

Comments: 23 pages, 14 figures

Journal ref: The Open Journal of Statistics, Vol 8(4), 684-705, 2018

Correcting Nuisance Variation using Wasserstein Distance

Authors: Gil Tabak, Minjie Fan, Samuel J. Yang, Stephan Hoyer, Geoff Davis

Abstract: Profiling cellular phenotypes from microscopic imaging can provide meaningful biological information resulting from various factors affecting the cells. One motivating application is drug development: morphological cell features can be captured from images, from which similarities between different drug compounds applied at different doses can be quantified. The general approach is to find a funct… ▽ More Profiling cellular phenotypes from microscopic imaging can provide meaningful biological information resulting from various factors affecting the cells. One motivating application is drug development: morphological cell features can be captured from images, from which similarities between different drug compounds applied at different doses can be quantified. The general approach is to find a function map** the images to an embedding space of manageable dimensionality whose geometry captures relevant features of the input images. An important known issue for such methods is separating relevant biological signal from nuisance variation. For example, the embedding vectors tend to be more correlated for cells that were cultured and imaged during the same week than for those from different weeks, despite having identical drug compounds applied in both cases. In this case, the particular batch in which a set of experiments were conducted constitutes the domain of the data; an ideal set of image embeddings should contain only the relevant biological information (e.g. drug effects). We develop a general framework for adjusting the image embeddings in order to `forget' domain-specific information while preserving relevant biological information. To achieve this, we minimize a loss function based on distances between marginal distributions (such as the Wasserstein distance) of embeddings across domains for each replicated treatment. For the dataset we present results with, the only replicated treatment happens to be the negative control treatment, for which we do not expect any treatment-induced cell morphology changes. We find that for our transformed embeddings (i) the underlying geometric structure is not only preserved but the embeddings also carry improved biological signal; and (ii) less domain-specific information is present. △ Less

Submitted 17 June, 2019; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: 21 pages, 20 figures, 6 tables

An Optimal Energy Estimator to Reduce Correlated Noise for the EXO-200 Light Readout

Authors: EXO-200 Collaboration, :, C. G. Davis, C. Hall, J. B. Albert, P. S. Barbeau, D. Beck, V. Belov, M. Breidenbach, T. Brunner, A. Burenkov, G. F. Cao, W. R. Cen, C. Chambers, B. Cleveland, M. Coon, A. Craycraft, T. Daniels, M. Danilov, S. J. Daugherty, J. Davis, S. Delaquis, A. Der Mesrobian-Kabakian, R. DeVoe, T. Didberidze , et al. (63 additional authors not shown)

Abstract: The energy resolution of the EXO-200 detector is limited by electronics noise in the measurement of the scintillation response. Here we present a new technique to extract optimal scintillation energy measurements for signals split across multiple channels in the presence of correlated noise. The implementation of these techniques improves the energy resolution of the detector at the neutrinoless d… ▽ More The energy resolution of the EXO-200 detector is limited by electronics noise in the measurement of the scintillation response. Here we present a new technique to extract optimal scintillation energy measurements for signals split across multiple channels in the presence of correlated noise. The implementation of these techniques improves the energy resolution of the detector at the neutrinoless double beta decay Q-value from $\left[1.9641\pm 0.0039\right]\%$ to $\left[1.5820\pm 0.0044\right]\%$. △ Less

Submitted 22 March, 2017; v1 submitted 20 May, 2016; originally announced May 2016.

Comments: 21 pages, 8 figures, 1 table

Journal ref: JINST 11 P07015 (2016)

First Search for Lorentz and CPT Violation in Double Beta Decay with EXO-200

Authors: EXO-200 Collaboration, :, J. B. Albert, P. S. Barbeau, D. Beck, V. Belov, M. Breidenbach, T. Brunner, A. Burenkov, G. F. Cao, C. Chambers, B. Cleveland, M. Coon, A. Craycraft, T. Daniels, M. Danilov, S. J. Daugherty, C. G. Davis, J. Davis, S. Delaquis, A. Der Mesrobian-Kabakian, R. DeVoe, J. S. Díaz, T. Didberidze, J. Dilling , et al. (65 additional authors not shown)

Abstract: A search for Lorentz- and CPT-violating signals in the double beta decay spectrum of $^{136}$Xe has been performed using an exposure of 100 kg$\cdot$yr with the EXO-200 detector. No significant evidence of the spectral modification due to isotropic Lorentz-violation was found, and a two-sided limit of… ▽ More A search for Lorentz- and CPT-violating signals in the double beta decay spectrum of $^{136}$Xe has been performed using an exposure of 100 kg$\cdot$yr with the EXO-200 detector. No significant evidence of the spectral modification due to isotropic Lorentz-violation was found, and a two-sided limit of $-2.65 \times 10^{-5 } \; \textrm{GeV} < \mathring{a}^{(3)}_{\text{of}} < 7.60 \times 10^{-6} \; \textrm{GeV}$ (90% C.L.) is placed on the relevant coefficient within the Standard-Model Extension (SME). This is the first experimental study of the effect of the SME-defined oscillation-free and momentum-independent neutrino coupling operator on the double beta decay process. △ Less

Submitted 3 April, 2016; v1 submitted 27 January, 2016; originally announced January 2016.

Comments: 6 pages, 3 figures

Journal ref: Phys. Rev. D 93, 072001 (2016)

Reanalysis of Uranus' cloud scattering properties from IRTF/SpeX observations using a self-consistent scattering cloud retrieval scheme

Authors: P. G. J. Irwin, D. S. Tice, L. N. Fletcher, J. K. Barstow, N. A. Teanby, G. S. Orton, G. R. Davis

Abstract: We have developed a new retrieval approach to modelling near-infrared spectra of Uranus that represents a significant improvement over previous modelling methods. We reanalysed IRTF/SpeX observations of Uranus observed in 2009 covering the wavelength range 0.8 to 1.8 microns and reported by Tice et al. (2013). By retrieving the imaginary refractive index spectra of cloud particles we are able to c… ▽ More We have developed a new retrieval approach to modelling near-infrared spectra of Uranus that represents a significant improvement over previous modelling methods. We reanalysed IRTF/SpeX observations of Uranus observed in 2009 covering the wavelength range 0.8 to 1.8 microns and reported by Tice et al. (2013). By retrieving the imaginary refractive index spectra of cloud particles we are able to consistently define the real part of the refractive index spectra, through a Kramers-Kronig analysis, and thus determine self-consistent extinction cross-section, single-scattering and phase-function spectra for the clouds and hazes in Uranus' atmosphere. We tested two different cloud-modelling schemes used in conjunction with the temperature/methane profile of Baines et al. (1995), a reanalysis of the Voyager-2 radio-occultation observations performed by Sromovsky, Fry and Tomasko (2011), and a recent determination from Spitzer (Orton et al., 2014). We find that both cloud-modelling schemes represent the observed centre-of-disc spectrum of Uranus well, and both require similar cloud scattering properties of the main cloud residing at approximately 2 bars. However, a modified version of the Sromovsky, Fry and Tomasko (2011) model, with revised spectral properties of the lowest cloud layer, fits slightly better at shorter wavelengths and is more consistent with the expected vertical position of Uranus' methane cloud. We find that the bulk of the reflected radiance from Uranus arises from a thick cloud at approximately the 2 bar level, composed of particles that are significantly more absorbing at wavelengths > 1.0 micron than they are at wavelengths < 1.0 micron. This spectral information provides a possible constraint on the identity of the main particle type. △ Less

Submitted 12 January, 2016; originally announced January 2016.

Comments: 52 Pages, 14 Figures

Journal ref: Icarus, Vol. 250, pp 464-476, 2015

Spectral analysis of Uranus' 2014 bright storm with VLT/SINFONI

Authors: Patrick G. J. Irwin, Leigh N. Fletcher, Peter L. Read, Dane Tice, Imke de Pater, Glenn S. Orton, Nicholas A. Teanby, Gary R. Davis

Abstract: An extremely bright storm system observed in Uranus' atmosphere by amateur observers in September 2014 triggered an international campaign to observe this feature with many telescopes across the world. Observations of the storm system in the near infrared were acquired in October and November 2014 with SINFONI on ESO's Very Large Telescope (VLT) in Chile. SINFONI is an Integral Field Unit spectrom… ▽ More An extremely bright storm system observed in Uranus' atmosphere by amateur observers in September 2014 triggered an international campaign to observe this feature with many telescopes across the world. Observations of the storm system in the near infrared were acquired in October and November 2014 with SINFONI on ESO's Very Large Telescope (VLT) in Chile. SINFONI is an Integral Field Unit spectrometer returning 64x64 pixel images with 2048 wavelengths. Image cubes in the H-band (1.43 - 1.87 microns) were obtained at spatial resolutions of ~0.1". The observations show that the centre of the storm feature shifts markedly with increasing altitude, moving in the retrograde direction and slightly poleward with increasing altitude. We also see a faint 'tail' of more reflective material to the immediate south of the storm, which again trails in the retrograde direction. The observed spectra were analysed with the radiative transfer and retrieval code, NEMESIS. We find that the storm is well-modelled using either two main cloud layers of a 5-layer aerosol model based on Sromovsky et al. (2011) or by the simpler two-cloud-layer model of Tice et al. (2013). The deep component appears to be due to an increase in reflectivity and altitude of the main tropospheric cloud deck at 2 - 3 bars for both models, while the upper component of the feature was modelled as being due to either a thickening of the tropospheric haze of the 2-layer model or a vertical extension of the upper tropospheric cloud of the 5-layer model, assumed to be composed of methane ice and based at the methane condensation level at 1.23 bar. During the twelve days between our sets of observations the higher-altitude component of the feature was observed to have brightened significantly and extended to even higher altitudes, while the deeper component faded. △ Less

Submitted 8 October, 2015; originally announced October 2015.

Comments: 18 pages

Journal ref: Icarus 264 (2016) 72 - 89

Measurements of the ion fraction and mobility of alpha and beta decay products in liquid xenon using EXO-200

Authors: J. B. Albert, D. J. Auty, P. S. Barbeau, D. Beck, V. Belov, M. Breidenbach, T. Brunner, A. Burenkov, G. F. Cao, C. Chambers, B. Cleveland, M. Coon, A. Craycraft, T. Daniels, M. Danilov, S. J. Daugherty, C. G. Davis, J. Davis, S. Delaquis, A. Der Mesrobian-Kabakian, R. DeVoe, T. Didberidze, A. Dolgolenko, M. J. Dolinski, M. Dunford , et al. (60 additional authors not shown)

Abstract: Alpha decays in the EXO-200 detector are used to measure the fraction of charged $^{218}\mathrm{Po}$ and $^{214}\mathrm{Bi}$ daughters created from alpha and beta decays, respectively. $^{222}\mathrm{Rn}$ alpha decays in liquid xenon (LXe) are found to produce $^{218}\mathrm{Po}^{+}$ ions $50.3 \pm 3.0\%$ of the time, while the remainder of the $^{218}\mathrm{Po}$ atoms are neutral. The fraction o… ▽ More Alpha decays in the EXO-200 detector are used to measure the fraction of charged $^{218}\mathrm{Po}$ and $^{214}\mathrm{Bi}$ daughters created from alpha and beta decays, respectively. $^{222}\mathrm{Rn}$ alpha decays in liquid xenon (LXe) are found to produce $^{218}\mathrm{Po}^{+}$ ions $50.3 \pm 3.0\%$ of the time, while the remainder of the $^{218}\mathrm{Po}$ atoms are neutral. The fraction of $^{214}\mathrm{Bi}^{+}$ from $^{214}\mathrm{Pb}$ beta decays in LXe is found to be $76.4 \pm 5.7\%$, inferred from the relative rates of $^{218}\mathrm{Po}$ and $^{214}\mathrm{Po}$ alpha decays in the LXe. The average velocity of $^{218}\mathrm{Po}$ ions is observed to decrease for longer drift times. Initially the ions have a mobility of $0.390 \pm 0.006~\mathrm{cm}^2/(\mathrm{kV}~\mathrm{s})$, and at long drift times the mobility is $0.219 \pm 0.004~\mathrm{cm}^2/(\mathrm{kV}~\mathrm{s})$. Time constants associated with the change in mobility during drift of the $^{218}\mathrm{Po}^{+}$ ions are found to be proportional to the electron lifetime in the LXe. △ Less

Submitted 3 April, 2017; v1 submitted 31 May, 2015; originally announced June 2015.

Journal ref: Phys. Rev. C 92, 045504 (2015)

Investigation of radioactivity-induced backgrounds in EXO-200

Authors: J. B. Albert, D. J. Auty, P. S. Barbeau, D. Beck, V. Belov, C. Benitez-Medina, M. Breidenbach, T. Brunner, A. Burenkov, G. F. Cao, C. Chambers, B. Cleveland, M. Coon, A. Craycraft, T. Daniels, M. Danilov, S. J. Daugherty, C. G. Davis, J. Davis, S. Delaquis, A. Der Mesrobian-Kabakian, R. DeVoe, T. Didberidze, A. Dolgolenko, M. J. Dolinski , et al. (61 additional authors not shown)

Abstract: The search for neutrinoless double-beta decay (0νββ) requires extremely low background and a good understanding of their sources and their influence on the rate in the region of parameter space relevant to the 0νββ signal. We report on studies of various β- and γ-backgrounds in the liquid- xenon-based EXO-200 0νββ experiment. With this work we try to better understand the location and strength of… ▽ More The search for neutrinoless double-beta decay (0νββ) requires extremely low background and a good understanding of their sources and their influence on the rate in the region of parameter space relevant to the 0νββ signal. We report on studies of various β- and γ-backgrounds in the liquid- xenon-based EXO-200 0νββ experiment. With this work we try to better understand the location and strength of specific background sources and compare the conclusions to radioassay results taken before and during detector construction. Finally, we discuss the implications of these studies for EXO-200 as well as for the next-generation, tonne-scale nEXO detector. △ Less

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

Comments: 9 pages, 7 figures, 3 tables

Journal ref: Phys. Rev. C 92 015503 (2015)

Antenna-coupled TES bolometers used in BICEP2, Keck array, and SPIDER

Authors: P. A. R. Ade, R. W. Aikin, M. Amiri, D. Barkats, S. J. Benton, C. A. Bischoff, J. J. Bock, J. A. Bonetti, J. A. Brevik, I. Buder, E. Bullock, G. Chattopadhyay, G. Davis, P. K. Day, C. D. Dowell, L. Duband, J. P. Filippini, S. Fliescher, S. R. Golwala, M. Halpern, M. Hasselfield, S. R. Hildebrandt, G. C. Hilton, V. Hristov, H. Hui , et al. (42 additional authors not shown)

Abstract: We have developed antenna-coupled transition-edge sensor (TES) bolometers for a wide range of cosmic microwave background (CMB) polarimetry experiments, including BICEP2, Keck Array, and the balloon borne SPIDER. These detectors have reached maturity and this paper reports on their design principles, overall performance, and key challenges associated with design and production. Our detector arrays… ▽ More We have developed antenna-coupled transition-edge sensor (TES) bolometers for a wide range of cosmic microwave background (CMB) polarimetry experiments, including BICEP2, Keck Array, and the balloon borne SPIDER. These detectors have reached maturity and this paper reports on their design principles, overall performance, and key challenges associated with design and production. Our detector arrays repeatedly produce spectral bands with 20%-30% bandwidth at 95, 150, or 220~GHz. The integrated antenna arrays synthesize symmetric co-aligned beams with controlled side-lobe levels. Cross-polarized response on boresight is typically ~0.5%, consistent with cross-talk in our multiplexed readout system. End-to-end optical efficiencies in our cameras are routinely 35% or higher, with per detector sensitivities of NET~300 uKrts. Thanks to the scalability of this design, we have deployed 2560 detectors as 1280 matched pairs in Keck Array with a combined instantaneous sensitivity of ~9 uKrts, as measured directly from CMB maps in the 2013 season. Similar arrays have recently flown in the SPIDER instrument, and development of this technology is ongoing. △ Less

Submitted 2 February, 2015; originally announced February 2015.

Comments: 16 pgs, 20 figs

Search for Majoron-emitting modes of double-beta decay of $^{136}$Xe with EXO-200

Authors: EXO-200 Collaboration, :, J. B. Albert, D. J. Auty, P. S. Barbeau, E. Beauchamp, D. Beck, V. Belov, C. Benitez-Medina, M. Breidenbach, T. Brunner, A. Burenkov, G. F. Cao, C. Chambers, J. Chaves, B. Cleveland, M. Coon, A. Craycraft, T. Daniels, M. Danilov, S. J. Daugherty, C. G. Davis, J. Davis, R. DeVoe, S. Delaquis , et al. (68 additional authors not shown)

Abstract: EXO-200 is a single phase liquid xenon detector designed to search for neutrinoless double-beta decay of $^{136}$Xe. Here we report on a search for various Majoron-emitting modes based on 100 kg$\cdot$yr exposure of $^{136}$Xe. A lower limit of $T^{^{136}Xe}_{1/2} >1.2 \cdot 10^{24}$ yr at 90% C.L. on the half-life of the spectral index = 1 Majoron decay was obtained, corresponding to a constraint… ▽ More EXO-200 is a single phase liquid xenon detector designed to search for neutrinoless double-beta decay of $^{136}$Xe. Here we report on a search for various Majoron-emitting modes based on 100 kg$\cdot$yr exposure of $^{136}$Xe. A lower limit of $T^{^{136}Xe}_{1/2} >1.2 \cdot 10^{24}$ yr at 90% C.L. on the half-life of the spectral index = 1 Majoron decay was obtained, corresponding to a constraint on the Majoron-neutrino coupling constant of $|< g^{M}_{ee} >|<$ (0.8-1.7)$\cdot$10$^{-5}$. △ Less

Submitted 18 November, 2014; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: Published in PRD. Version 2: Referee comments addressed, journal reference added

Journal ref: Phys. Rev. D 90, 092004 (2014)

An apparatus to manipulate and identify individual Ba ions from bulk liquid Xe

Authors: K. Twelker, S. Kravitz, M. Montero Díez, G. Gratta, W. Fairbank Jr., J. B. Albert, D. J. Auty, P. S. Barbeau, D. Beck, C. Benitez-Medina, M. Breidenbach, T. Brunner, G. F. Cao, C. Chambers, B. Cleveland, M. Coon, A. Craycraft, T. Daniels, S. J. Daugherty, C. G. Davis, R. DeVoe, S. Delaquis, T. Didberidze, J. Dilling, M. J. Dolinski , et al. (55 additional authors not shown)

Abstract: We describe a system to transport and identify barium ions produced in liquid xenon, as part of R&D towards the second phase of a double beta decay experiment, nEXO. The goal is to identify the Ba ion resulting from an extremely rare nuclear decay of the isotope $^{136}$Xe, hence providing a confirmation of the occurrence of the decay. This is achieved through Resonance Ionization Spectroscopy (RI… ▽ More We describe a system to transport and identify barium ions produced in liquid xenon, as part of R&D towards the second phase of a double beta decay experiment, nEXO. The goal is to identify the Ba ion resulting from an extremely rare nuclear decay of the isotope $^{136}$Xe, hence providing a confirmation of the occurrence of the decay. This is achieved through Resonance Ionization Spectroscopy (RIS). In the test setup described here, Ba ions can be produced in liquid xenon or vacuum and collected on a clean substrate. This substrate is then removed to an analysis chamber under vacuum, where laser-induced thermal desorption and RIS are used with time-of-flight (TOF) mass spectroscopy for positive identification of the barium decay product. △ Less

Submitted 22 March, 2017; v1 submitted 2 July, 2014; originally announced July 2014.

Comments: 12 pages, 13 figures

Canadian Hydrogen Intensity Map** Experiment (CHIME) Pathfinder

Authors: Kevin Bandura, Graeme E. Addison, Mandana Amiri, J. Richard Bond, Duncan Campbell-Wilson, Liam Connor, Jean-Francois Cliche, Greg Davis, Meiling Deng, Nolan Denman, Matt Dobbs, Mateus Fandino, Kenneth Gibbs, Adam Gilbert, Mark Halpern, David Hanna, Adam D. Hincks, Gary Hinshaw, Carolin Hofer, Peter Klages, Tom L. Landecker, Kiyoshi Masui, Juan Mena, Laura B. Newburgh, Ue-Li Pen , et al. (9 additional authors not shown)

Abstract: A pathfinder version of CHIME (the Canadian Hydrogen Intensity Map** Experiment) is currently being commissioned at the Dominion Radio Astrophysical Observatory (DRAO) in Penticton, BC. The instrument is a hybrid cylindrical interferometer designed to measure the large scale neutral hydrogen power spectrum across the redshift range 0.8 to 2.5. The power spectrum will be used to measure the baryo… ▽ More A pathfinder version of CHIME (the Canadian Hydrogen Intensity Map** Experiment) is currently being commissioned at the Dominion Radio Astrophysical Observatory (DRAO) in Penticton, BC. The instrument is a hybrid cylindrical interferometer designed to measure the large scale neutral hydrogen power spectrum across the redshift range 0.8 to 2.5. The power spectrum will be used to measure the baryon acoustic oscillation (BAO) scale across this poorly probed redshift range where dark energy becomes a significant contributor to the evolution of the Universe. The instrument revives the cylinder design in radio astronomy with a wide field survey as a primary goal. Modern low-noise amplifiers and digital processing remove the necessity for the analog beamforming that characterized previous designs. The Pathfinder consists of two cylinders 37\,m long by 20\,m wide oriented north-south for a total collecting area of 1,500 square meters. The cylinders are stationary with no moving parts, and form a transit instrument with an instantaneous field of view of $\sim$100\,degrees by 1-2\,degrees. Each CHIME Pathfinder cylinder has a feedline with 64 dual polarization feeds placed every $\sim$30\,cm which Nyquist sample the north-south sky over much of the frequency band. The signals from each dual-polarization feed are independently amplified, filtered to 400-800\,MHz, and directly sampled at 800\,MSps using 8 bits. The correlator is an FX design, where the Fourier transform channelization is performed in FPGAs, which are interfaced to a set of GPUs that compute the correlation matrix. The CHIME Pathfinder is a 1/10th scale prototype version of CHIME and is designed to detect the BAO feature and constrain the distance-redshift relation. △ Less

Submitted 9 June, 2014; originally announced June 2014.

Comments: 20 pages, 12 figures. submitted to Proc. SPIE, Astronomical Telescopes + Instrumentation (2014)

Individual gain and engagement with mathematical understanding

Authors: Mercedes A. McGowen, Gary E. Davis

Abstract: We examine a measure of individual student gain by preservice elementary teachers, related to Richard Hakes use of mean gain in the study of reform classes in undergraduate physics. The gain statistic assesses the amount individual students increase their test scores from initial test to final test, as a proportion of the possible increase for each student. We examine the written work in mathemati… ▽ More We examine a measure of individual student gain by preservice elementary teachers, related to Richard Hakes use of mean gain in the study of reform classes in undergraduate physics. The gain statistic assesses the amount individual students increase their test scores from initial test to final test, as a proportion of the possible increase for each student. We examine the written work in mathematics classes of preservice elementary teachers with very high gain and those with very low gain and show that these groups exhibit distinct psychological attitudes and dispositions to learning mathematics. We show a statistically significant, small, increase in average gain when course goals focus on patterns, connections, and meaning making in mathematics. A common belief is that students with low initial test scores will have higher gains, and students with high initial-test scores will have lower gains. We show that this is not correct for a cohort of preservice elementary teachers. △ Less

Submitted 5 June, 2014; originally announced June 2014.

Comments: 14 pages, 5 figures, 3 tables

Calibrating CHIME, A New Radio Interferometer to Probe Dark Energy

Authors: Laura B. Newburgh, Graeme E. Addison, Mandana Amiri, Kevin Bandura, J. Richard Bond, Liam Connor, Jean-François Cliche, Greg Davis, Meiling Deng, Nolan Denman, Matt Dobbs, Mateus Fandino, Heather Fong, Kenneth Gibbs, Adam Gilbert, Elizabeth Griffin, Mark Halpern, David Hanna, Adam D. Hincks, Gary Hinshaw, Carolin Höfer, Peter Klages, Tom Landecker, Kiyoshi Masui, Juan Mena Parra , et al. (10 additional authors not shown)

Abstract: The Canadian Hydrogen Intensity Map** Experiment (CHIME) is a transit interferometer currently being built at the Dominion Radio Astrophysical Observatory (DRAO) in Penticton, BC, Canada. We will use CHIME to map neutral hydrogen in the frequency range 400 -- 800\,MHz over half of the sky, producing a measurement of baryon acoustic oscillations (BAO) at redshifts between 0.8 -- 2.5 to probe dark… ▽ More The Canadian Hydrogen Intensity Map** Experiment (CHIME) is a transit interferometer currently being built at the Dominion Radio Astrophysical Observatory (DRAO) in Penticton, BC, Canada. We will use CHIME to map neutral hydrogen in the frequency range 400 -- 800\,MHz over half of the sky, producing a measurement of baryon acoustic oscillations (BAO) at redshifts between 0.8 -- 2.5 to probe dark energy. We have deployed a pathfinder version of CHIME that will yield constraints on the BAO power spectrum and provide a test-bed for our calibration scheme. I will discuss the CHIME calibration requirements and describe instrumentation we are develo** to meet these requirements. △ Less

Submitted 9 June, 2014; originally announced June 2014.

Journal ref: Proc. SPIE 9145, Ground-based and Airborne Telescopes V (2014)

BICEP2 II: Experiment and Three-Year Data Set

Authors: BICEP2 Collaboration, P. A. R Ade, R. W. Aikin, M. Amiri, D. Barkats, S. J. Benton, C. A. Bischoff, J. J. Bock, J. A. Brevik, I. Buder, E. Bullock, G. Davis, C. D. Dowell, L. Duband, J. P. Filippini, S. Fliescher, S. R. Golwala, M. Halpern, M. Hasselfield, S. R. Hildebrandt, G. C. Hilton, V. V. Hristov, K. D. Irwin, K. S. Karkare, J. P. Kaufman , et al. (27 additional authors not shown)

Abstract: We report on the design and performance of the BICEP2 instrument and on its three-year data set. BICEP2 was designed to measure the polarization of the cosmic microwave background (CMB) on angular scales of 1 to 5 degrees ($\ell$=40-200), near the expected peak of the B-mode polarization signature of primordial gravitational waves from cosmic inflation. Measuring B-modes requires dramatic improvem… ▽ More We report on the design and performance of the BICEP2 instrument and on its three-year data set. BICEP2 was designed to measure the polarization of the cosmic microwave background (CMB) on angular scales of 1 to 5 degrees ($\ell$=40-200), near the expected peak of the B-mode polarization signature of primordial gravitational waves from cosmic inflation. Measuring B-modes requires dramatic improvements in sensitivity combined with exquisite control of systematics. The BICEP2 telescope observed from the South Pole with a 26~cm aperture and cold, on-axis, refractive optics. BICEP2 also adopted a new detector design in which beam-defining slot antenna arrays couple to transition-edge sensor (TES) bolometers, all fabricated on a common substrate. The antenna-coupled TES detectors supported scalable fabrication and multiplexed readout that allowed BICEP2 to achieve a high detector count of 500 bolometers at 150 GHz, giving unprecedented sensitivity to B-modes at degree angular scales. After optimization of detector and readout parameters, BICEP2 achieved an instrument noise-equivalent temperature of 15.8 $μ$K sqrt(s). The full data set reached Stokes Q and U map depths of 87.2 nK in square-degree pixels (5.2 $μ$K arcmin) over an effective area of 384 square degrees within a 1000 square degree field. These are the deepest CMB polarization maps at degree angular scales to date. The power spectrum analysis presented in a companion paper has resulted in a significant detection of B-mode polarization at degree scales. △ Less

Submitted 31 July, 2014; v1 submitted 17 March, 2014; originally announced March 2014.

Comments: 30 pages, 24 figures

Journal ref: ApJ 792, 62 (2014)

Search for Majorana neutrinos with the first two years of EXO-200 data

Authors: EXO-200 Collaboration, :, J. B. Albert, D. J. Auty, P. S. Barbeau, E. Beauchamp, D. Beck, V. Belov, C. Benitez-Medina, J. Bonatt, M. Breidenbach, T. Brunner, A. Burenkov, G. F. Cao, C. Chambers, J. Chaves, B. Cleveland, M. Coon, A. Craycraft, T. Daniels, M. Danilov, S. J. Daugherty, C. G. Davis, J. Davis, R. DeVoe , et al. (70 additional authors not shown)

Abstract: Many extensions of the Standard Model of particle physics suggest that neutrinos should be Majorana-type fermions, but this assumption is difficult to confirm. Observation of neutrinoless double-beta decay ($0νββ$), a spontaneous transition that may occur in several candidate nuclei, would verify the Majorana nature of the neutrino and constrain the absolute scale of the neutrino mass spectrum. Re… ▽ More Many extensions of the Standard Model of particle physics suggest that neutrinos should be Majorana-type fermions, but this assumption is difficult to confirm. Observation of neutrinoless double-beta decay ($0νββ$), a spontaneous transition that may occur in several candidate nuclei, would verify the Majorana nature of the neutrino and constrain the absolute scale of the neutrino mass spectrum. Recent searches carried out with $^{76}$Ge (GERDA experiment) and $^{136}$Xe (KamLAND-Zen and EXO-200 experiments) have established the lifetime of this decay to be longer than $10^{25}$ yr, corresponding to a limit on the neutrino mass of 0.2-0.4 eV. Here we report new results from EXO-200 based on 100 kg$\cdot$yr of $^{136}$Xe exposure, representing an almost fourfold increase from our earlier published datasets. We have improved the detector resolution at the $^{136}$Xe double-beta-decay Q-value to $σ$/E = 1.53% and revised the data analysis. The obtained half-life sensitivity is $1.9\cdot10^{25}$ yr, an improvement by a factor of 2.7 compared to previous EXO-200 results. We find no statistically significant evidence for $0νββ$ decay and set a half-life limit of $1.1\cdot10^{25}$ yr at 90% CL. The high sensitivity holds promise for further running of the EXO-200 detector and future $0νββ$ decay searches with nEXO. △ Less

Submitted 4 June, 2014; v1 submitted 27 February, 2014; originally announced February 2014.

Comments: 9 pages, 6 figures

Journal ref: Nature 510, 229-234 (12 June 2014)

Profinite and discrete G-spectra and iterated homotopy fixed points

Authors: Daniel G. Davis, Gereon Quick

Abstract: For a profinite group $G$, let $(\text{-})^{hG}$, $(\text{-})^{h_dG}$, and $(\text{-})^{h'G}$ denote continuous homotopy fixed points for profinite $G$-spectra, discrete $G$-spectra, and continuous $G$-spectra (coming from towers of discrete $G$-spectra), respectively. We establish some connections between the first two notions, and by using Postnikov towers, for $K \vartriangleleft_c G$ (a closed… ▽ More For a profinite group $G$, let $(\text{-})^{hG}$, $(\text{-})^{h_dG}$, and $(\text{-})^{h'G}$ denote continuous homotopy fixed points for profinite $G$-spectra, discrete $G$-spectra, and continuous $G$-spectra (coming from towers of discrete $G$-spectra), respectively. We establish some connections between the first two notions, and by using Postnikov towers, for $K \vartriangleleft_c G$ (a closed normal subgroup), give various conditions for when the iterated homotopy fixed points $(X^{hK})^{hG/K}$ exist and are $X^{hG}$. For the Lubin-Tate spectrum $E_n$ and $G <_c G_n$, the extended Morava stabilizer group, our results show that $E_n^{hK}$ is a profinite $G/K$-spectrum with $(E_n^{hK})^{hG/K} \simeq E_n^{hG}$, by an argument that possesses a certain technical simplicity not enjoyed by either the proof that $(E_n^{h'K})^{h'G/K} \simeq E_n^{h'G}$ or the Devinatz-Hopkins proof (which requires $|G/K| < \infty$) of $(E_n^{dhK})^{h_dG/K} \simeq E_n^{dhG}$, where $E_n^{dhK}$ is a construction that behaves like continuous homotopy fixed points. Also, we prove that (in general) the $G/K$-homotopy fixed point spectral sequence for $π_\ast((E_n^{hK})^{hG/K})$, with $E_2^{s,t} = H^s_c(G/K; π_t(E_n^{hK}))$ (continuous cohomology), is isomorphic to both the strongly convergent Lyndon-Hochschild-Serre spectral sequence of Devinatz for $π_\ast(E_n^{dhG})$, with $E_2^{s,t} = H^s_c(G/K; π_t(E_n^{dhK}))$, and the descent spectral sequence for $π_\ast((E_n^{h'K})^{h'G/K})$. △ Less

Submitted 20 October, 2015; v1 submitted 28 January, 2014; originally announced January 2014.

Comments: 36 pages. Made some changes based on the referee's comments. New content: Remarks 4.11 and 4.26, the last 5 lines of Remark 4.19, two comments about the G_n-action in 1st par. of Section 5, two entries in the References. We simplified the argument in the par. after Remark 4.17 and rewrote the first 7 lines of Remark 4.12. The writing was improved in a few other places

MSC Class: 55P43 (Primary); 55Q91; 55T15 (Secondary)

Journal ref: Algebr. Geom. Topol. 16 (2016) 2257-2303

Algorithms for Closed Under Rational Behavior (CURB) Sets

Authors: Michael Benisch, George B. Davis, Tuomas Sandholm

Abstract: We provide a series of algorithms demonstrating that solutions according to the fundamental game-theoretic solution concept of closed under rational behavior (CURB) sets in two-player, normal-form games can be computed in polynomial time (we also discuss extensions to n-player games). First, we describe an algorithm that identifies all of a player's best responses conditioned on the belief that th… ▽ More We provide a series of algorithms demonstrating that solutions according to the fundamental game-theoretic solution concept of closed under rational behavior (CURB) sets in two-player, normal-form games can be computed in polynomial time (we also discuss extensions to n-player games). First, we describe an algorithm that identifies all of a player's best responses conditioned on the belief that the other player will play from within a given subset of its strategy space. This algorithm serves as a subroutine in a series of polynomial-time algorithms for finding all minimal CURB sets, one minimal CURB set, and the smallest minimal CURB set in a game. We then show that the complexity of finding a Nash equilibrium can be exponential only in the size of a game's smallest CURB set. Related to this, we show that the smallest CURB set can be an arbitrarily small portion of the game, but it can also be arbitrarily larger than the supports of its only enclosed Nash equilibrium. We test our algorithms empirically and find that most commonly studied academic games tend to have either very large or very small minimal CURB sets. △ Less

Submitted 16 January, 2014; originally announced January 2014.

Journal ref: Journal Of Artificial Intelligence Research, Volume 38, pages 513-534, 2010