Showing 1–50 of 150 results for author: Jackson, S

Using graph neural networks to reconstruct charged pion showers in the CMS High Granularity Calorimeter

Authors: M. Aamir, B. Acar, G. Adamov, T. Adams, C. Adloff, S. Afanasiev, C. Agrawal, C. Agrawal, A. Ahmad, H. A. Ahmed, S. Akbar, N. Akchurin, B. Akgul, B. Akgun, R. O. Akpinar, E. Aktas, A. AlKadhim, V. Alexakhin, J. Alimena, J. Alison, A. Alpana, W. Alshehri, P. Alvarez Dominguez, M. Alyari, C. Amendola , et al. (550 additional authors not shown)

Abstract: A novel method to reconstruct the energy of hadronic showers in the CMS High Granularity Calorimeter (HGCAL) is presented. The HGCAL is a sampling calorimeter with very fine transverse and longitudinal granularity. The active media are silicon sensors and scintillator tiles readout by SiPMs and the absorbers are a combination of lead and Cu/CuW in the electromagnetic section, and steel in the hadr… ▽ More A novel method to reconstruct the energy of hadronic showers in the CMS High Granularity Calorimeter (HGCAL) is presented. The HGCAL is a sampling calorimeter with very fine transverse and longitudinal granularity. The active media are silicon sensors and scintillator tiles readout by SiPMs and the absorbers are a combination of lead and Cu/CuW in the electromagnetic section, and steel in the hadronic section. The shower reconstruction method is based on graph neural networks and it makes use of a dynamic reduction network architecture. It is shown that the algorithm is able to capture and mitigate the main effects that normally hinder the reconstruction of hadronic showers using classical reconstruction methods, by compensating for fluctuations in the multiplicity, energy, and spatial distributions of the shower's constituents. The performance of the algorithm is evaluated using test beam data collected in 2018 prototype of the CMS HGCAL accompanied by a section of the CALICE AHCAL prototype. The capability of the method to mitigate the impact of energy leakage from the calorimeter is also demonstrated. △ Less

Submitted 30 June, 2024; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: Prepared for submission to JINST

Rotational and Near-IR Spectra of PbF: Characterization of the Coupled $X_1\,^2Π_{1/2}$ and $X_2\,^2Π_{3/2}$ States

Authors: Sean Jackson, Luke Kim, Andreas Biekert, Alex Nguyen, Richard J Mawhorter, Trevor J. Sears, Leonid V. Skripnikov, Vera V. Baturo, Alexander N. Petrov, Jens-Uwe Grabow

Abstract: Observations of the rotational spectrum of lead monofluoride, PbF, have been extended up to transitions in the \textit{v} = 7 level for $^{208}$PbF in the lowest $X_1\,^2Π_{1/2}$ state of the radical and \textit{v} = 5 for the $^{207}$Pb and $^{206}$Pb isotopologues. The data also include a few measurements for $^{204}$PbF in \textit{v} = 0. These new measurements have been combined with existing… ▽ More Observations of the rotational spectrum of lead monofluoride, PbF, have been extended up to transitions in the \textit{v} = 7 level for $^{208}$PbF in the lowest $X_1\,^2Π_{1/2}$ state of the radical and \textit{v} = 5 for the $^{207}$Pb and $^{206}$Pb isotopologues. The data also include a few measurements for $^{204}$PbF in \textit{v} = 0. These new measurements have been combined with existing near-IR measurements of the $X_2 - X_1$ fine-structure transition and a simultaneous multi-isotope fit of the data to an effective isotope-independent ro-vibronic Hamiltonian has been carried out. The resulting parameters fully characterize the vibrational, rotational and hyperfine structure of the combined $X_1 \, / \, X_2$ state of the radical. A pair of opposite parity levels with total angular momentum quantum number, $F=1/2$, in the lowest rotational level, $J=1/2$ of \PbF \,are close in energy and their spacing decreases with vibrational excitation. The experimental results show the spacing decreases to less than 20 MHz at $v=7$ and 8. The experimental work is complemented by new \textit{ab initio} calculations which support the results and allow predictions outside the experimental data range. The calculated radiative lifetimes of the relevant vibrationally excited states are of the order of 50 ms. This work was motivated by interest in using \PbF\, as a vehicle for future probes of the standard model of physics such as placing limits on the electron's electric dipole moment (\eEDM), molecular charge-parity non-conservation and Born-Oppenheimer breakdown effects for example. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: 36 pages, 4 figures, 5 page Appendix

Solving the $KP$ problem with the Global Cartan Decomposition

Authors: Elija Perrier, Christopher S. Jackson

Abstract: Geometric methods have useful application for solving problems in a range of quantum information disciplines, including the synthesis of time-optimal unitaries in quantum control. In particular, the use of Cartan decompositions to solve problems in optimal control, especially lambda systems, has given rise to a range of techniques for solving the so-called $KP$-problem, where target unitaries belo… ▽ More Geometric methods have useful application for solving problems in a range of quantum information disciplines, including the synthesis of time-optimal unitaries in quantum control. In particular, the use of Cartan decompositions to solve problems in optimal control, especially lambda systems, has given rise to a range of techniques for solving the so-called $KP$-problem, where target unitaries belong to a semi-simple Lie group manifold $G$ whose Lie algebra admits a $\mathfrak{g}=\mathfrak{k} \oplus \mathfrak{p}$ decomposition and time-optimal solutions are represented by subRiemannian geodesics synthesised via a distribution of generators in $\mathfrak{p}$. In this paper, we propose a new method utilising global Cartan decompositions $G=KAK$ of symmetric spaces $G/K$ for generating time-optimal unitaries for targets $-iX \in [\frak{p},\frak{p}] \subset \frak{k}$ with controls $-iH(t) \in \frak{p}$. Target unitaries are parametrised as $U=kac$ where $k,c \in K$ and $a = e^{iΘ}$ with $Θ\in \frak{a}$. We show that the assumption of $dΘ=0$ equates to the corresponding time-optimal unitary control problem being able to be solved analytically using variational techniques. We identify how such control problems correspond to the holonomies of a compact globally Riemannian symmetric space, where local translations are generated by $\mathfrak{p}$ and local rotations are generated by $[\mathfrak{p},\mathfrak{p}]$. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: This article is a preliminary draft, put together by Elija. Chris is currently working with Elija on an updated revised draft for release in coming weeks (April 2024)

Borel Combinatorics of Abelian Group Actions

Authors: Su Gao, Steve Jackson, Edward Krohne, Brandon Seward

Abstract: We study the free part of the Bernoulli action of $\mathbb{Z}^n$ for $n\geq 2$ and the Borel combinatorics of the associated Schreier graphs. We construct orthogonal decompositions of the spaces into marker sets with various additional properties. In general, for Borel graphs $Γ$ admitting weakly orthogonal decompositions, we show that $χ_B(Γ)\leq 2χ(Γ)-1$ under some mild assumptions. As a consequ… ▽ More We study the free part of the Bernoulli action of $\mathbb{Z}^n$ for $n\geq 2$ and the Borel combinatorics of the associated Schreier graphs. We construct orthogonal decompositions of the spaces into marker sets with various additional properties. In general, for Borel graphs $Γ$ admitting weakly orthogonal decompositions, we show that $χ_B(Γ)\leq 2χ(Γ)-1$ under some mild assumptions. As a consequence, we deduce that the Borel chromatic number for $F(2^{\mathbb{Z}^n})$ is $3$ for all $n\geq 2$. Weakly orthogonal decompositions also give rise to Borel unlayered toast structures. We also construct orthogonal decompositions of $F(2^{\mathbb{Z}^2})$ with strong topological regularity, in particular with all atoms homeomorphic to a disk. This allows us to show that there is a Borel perfect matching for $F(2^{\mathbb{Z}^n})$ for all $n\geq 2$ and that there is a Borel lining of $F(2^{\mathbb{Z}^2})$. △ Less

Submitted 24 January, 2024; originally announced January 2024.

MSC Class: Primary 03E15; 05C63; Secondary 05A18; 05C15

MLCommons Cloud Masking Benchmark with Early Stop**

Authors: Varshitha Chennamsetti, Gregor von Laszewski, Ruochen Gu, Laiba Mehnaz, Juri Papay, Samuel Jackson, Jeyan Thiyagalingam, Sergey V. Samsonau, Geoffrey C. Fox

Abstract: In this paper, we report on work performed for the MLCommons Science Working Group on the cloud masking benchmark. MLCommons is a consortium that develops and maintains several scientific benchmarks that aim to benefit developments in AI. The benchmarks are conducted on the High Performance Computing (HPC) Clusters of New York University and University of Virginia, as well as a commodity desktop.… ▽ More In this paper, we report on work performed for the MLCommons Science Working Group on the cloud masking benchmark. MLCommons is a consortium that develops and maintains several scientific benchmarks that aim to benefit developments in AI. The benchmarks are conducted on the High Performance Computing (HPC) Clusters of New York University and University of Virginia, as well as a commodity desktop. We provide a description of the cloud masking benchmark, as well as a summary of our submission to MLCommons on the benchmark experiment we conducted. It includes a modification to the reference implementation of the cloud masking benchmark enabling early stop**. This benchmark is executed on the NYU HPC through a custom batch script that runs the various experiments through the batch queuing system while allowing for variation on the number of epochs trained. Our submission includes the modified code, a custom batch script to modify epochs, documentation, and the benchmark results. We report the highest accuracy (scientific metric) and the average time taken (performance metric) for training and inference that was achieved on NYU HPC Greene. We also provide a comparison of the compute capabilities between different systems by running the benchmark for one epoch. Our submission can be found in a Globus repository that is accessible to MLCommons Science Working Group. △ Less

Submitted 30 May, 2024; v1 submitted 11 December, 2023; originally announced January 2024.

Comments: NYU did not approve the publication of the paper

Asymmetric Bethe Ansatz

Authors: Steven G. Jackson, Gregory E. Astrakharchik, Maxim Olshanii

Abstract: The recently proposed exact quantum solution for two $δ$-function-interacting particles with a mass-ratio $3\!:\!1$ in a hard-wall box [Y. Liu, F. Qi, Y. Zhang and S. Chen, iScience 22, 181 (2019)] seemingly violates the conventional necessary condition for a Bethe Ansatz integrability for a system of semitransparent $δ$-function mirrors: if two mirrors of a Bethe-Ansatz-solvable model cross at a… ▽ More The recently proposed exact quantum solution for two $δ$-function-interacting particles with a mass-ratio $3\!:\!1$ in a hard-wall box [Y. Liu, F. Qi, Y. Zhang and S. Chen, iScience 22, 181 (2019)] seemingly violates the conventional necessary condition for a Bethe Ansatz integrability for a system of semitransparent $δ$-function mirrors: if two mirrors of a Bethe-Ansatz-solvable model cross at a dihedral angle $π/(\text{odd number})$, these mirrors must be assigned equal coupling constants. In our article, we find a way to relax this condition: it turns out that one can take a conventional integrable system and replace some of its semi-transparent mirrors by perfectly reflecting ones. The latter set must be represented by the mirrors of a reflection subgroup of the symmetry group of the conventional system. This subgroup is \emph{not} required to be symmetric with respect to the symmetries original system, hence the proposed name for the method: Asymmetric Bethe Ansatz (ABA). We show that the exact solution of the Liu-Qi-Zhang-Chen problem is a particular instance of the ABA. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Physical modelling of near-Earth asteroid (23187) 2000 PN9 with ground-based optical and radar observations

Authors: L. Dover, S. C. Lowry, A. Rożek, B. Rozitis, S. L. Jackson, T. Zegmott, Yu. N. Krugly, I. N. Belskaya, A. Fitzsimmons, S. F. Green, C. Snodgrass, P. R. Weissman, M. Brozović, L. A. M. Benner, M. W. Busch, V. R. Ayvazian, V. Chiorny, R. Ya. Inasaridze, M. Krugov, S. Mykhailova, I. Reva, J. Hibbert

Abstract: We present a physical model and spin-state analysis of the potentially hazardous asteroid (23187) 2000 PN9. As part of a long-term campaign to make direct detections of the YORP effect, we collected optical lightcurves of the asteroid between 2006 and 2020. These observations were combined with planetary radar data to develop a detailed shape model which was used to search for YORP acceleration. W… ▽ More We present a physical model and spin-state analysis of the potentially hazardous asteroid (23187) 2000 PN9. As part of a long-term campaign to make direct detections of the YORP effect, we collected optical lightcurves of the asteroid between 2006 and 2020. These observations were combined with planetary radar data to develop a detailed shape model which was used to search for YORP acceleration. We report that 2000 PN9 is a relatively large top-shaped body with a sidereal rotation period of 2.53216$\pm$0.00015 h. Although we find no evidence for rotational acceleration, YORP torques smaller than $\sim$10$^{-8}$$\,\rm rad/day^{2}$ cannot be ruled out. It is likely that 2000 PN9 is a YORP-evolved object, and may be an example of YORP equilibrium or self limitation. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: Accepted for publication in Monthly Notices of the Royal Astronomical Society. Main paper: 15 pages, 12 figures. Appendix: 9 pages, 8 figures

Simultaneous Measurements of Noncommuting Observables. Positive Transformations and Instrumental Lie Groups

Authors: Christopher S. Jackson, Carlton M. Caves

Abstract: We formulate a general program for [...] analyzing continuous, differential weak, simultaneous measurements of noncommuting observables, which focuses on describing the measuring instrument autonomously, without states. The Kraus operators of such measuring processes are time-ordered products of fundamental differential positive transformations, which generate nonunitary transformation groups that… ▽ More We formulate a general program for [...] analyzing continuous, differential weak, simultaneous measurements of noncommuting observables, which focuses on describing the measuring instrument autonomously, without states. The Kraus operators of such measuring processes are time-ordered products of fundamental differential positive transformations, which generate nonunitary transformation groups that we call instrumental Lie groups. The temporal evolution of the instrument is equivalent to the diffusion of a Kraus-operator distribution function defined relative to the invariant measure of the instrumental Lie group [...]. This way of considering instrument evolution we call the Instrument Manifold Program. We relate the Instrument Manifold Program to state-based stochastic master equations. We then explain how the Instrument Manifold Program can be used to describe instrument evolution in terms of a universal cover[,] the universal instrumental Lie group, which is independent [...] of Hilbert space. The universal instrument is generically infinite dimensional, in which situation the instrument's evolution is chaotic. Special simultaneous measurements have a finite-dimensional universal instrument, in which case the instrument is considered to be principal and can be analyzed within the [...] universal instrumental Lie group. Principal instruments belong at the foundation of quantum mechanics. We consider the three most fundamental examples: measurement of a single observable, of position and momentum, and of the three components of angular momentum. These measurements limit to strong simultaneous measurements. For a single observable, this gives the standard decay of coherence between inequivalent irreps; for the latter two, it gives a collapse within each irrep onto the canonical or spherical phase space, locating phase space at the boundary of these instrumental Lie groups. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 47 pages, 1 figure

Journal ref: Entropy, Vol. 25, Article No. 1254, 2023

Simultaneous Momentum and Position Measurement and the Instrumental Weyl-Heisenberg Group

Authors: Christopher S. Jackson, Carlton M. Caves

Abstract: The canonical commutation relation, $[Q,P] = i\hbar$, stands at the foundation of quantum theory and the original Hilbert space. The interpretation of $P$ & $Q$ as observables has always relied on the analogies that exist between the unitary transformations of Hilbert space and the canonical (a.k.a. contact) transformations of classical phase space. Now that the theory of quantum measurement is es… ▽ More The canonical commutation relation, $[Q,P] = i\hbar$, stands at the foundation of quantum theory and the original Hilbert space. The interpretation of $P$ & $Q$ as observables has always relied on the analogies that exist between the unitary transformations of Hilbert space and the canonical (a.k.a. contact) transformations of classical phase space. Now that the theory of quantum measurement is essentially complete (this took a while), it is possible to revisit the canonical commutation relation in a way that sets the foundation of quantum theory not on unitary transformations, but on positive transformations. This paper shows how the concept of simultaneous measurement leads to a fundamental differential geometric problem whose solution shows us the following: The simultaneous $P$ & $Q$ measurement (SPQM) defines a universal measuring instrument, which takes the shape of a 7-dimensional manifold, a universal covering group we call the Instrumental Weyl-Heisenberg Group, IWH. The group IWH connects the identity to classical phase space in unexpected ways that are significant enough that the positive-operator-valued measure (POVM) offers a complete alternative to energy quantization. Five of the dimensions define processes that can be easily recognized and understood. The other two dimensions, the normalization and phase in the center of IWH, are less familiar. The normalization, in particular, requires special handling in order to describe and understand the SPQM instrument. △ Less

Submitted 14 June, 2023; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: 53 pages, 0 figures (so sorry), v2 updates references and affiliation

Journal ref: Entropy 2023, 25(8), 1221

The descriptive complexity of the set of Poisson generic numbers

Authors: Verónica Becher, Stephen Jackson, Dominik Kwietniak, Bill Mance

Abstract: Let $b\ge 2$ be an integer. We show that the set of real numbers that are Poisson generic in base $b$ is $\boldsymbolΠ^0_3$-complete in the Borel hierarchy of subsets of the real line. Furthermore, the set of real numbers that are Borel normal in base $b$ and not Poisson generic in base $b$ is complete for the class given by the differences between $\boldsymbolΠ^0_3$ sets. We also show that the ef… ▽ More Let $b\ge 2$ be an integer. We show that the set of real numbers that are Poisson generic in base $b$ is $\boldsymbolΠ^0_3$-complete in the Borel hierarchy of subsets of the real line. Furthermore, the set of real numbers that are Borel normal in base $b$ and not Poisson generic in base $b$ is complete for the class given by the differences between $\boldsymbolΠ^0_3$ sets. We also show that the effective versions of these results hold in the effective Borel hierarchy. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Comments: 15 pages

Bayes Linear Analysis for Statistical Modelling with Uncertain Inputs

Authors: Samuel E. Jackson, David C. Woods

Abstract: Statistical models typically capture uncertainties in our knowledge of the corresponding real-world processes, however, it is less common for this uncertainty specification to capture uncertainty surrounding the values of the inputs to the model, which are often assumed known. We develop general modelling methodology with uncertain inputs in the context of the Bayes linear paradigm, which involves… ▽ More Statistical models typically capture uncertainties in our knowledge of the corresponding real-world processes, however, it is less common for this uncertainty specification to capture uncertainty surrounding the values of the inputs to the model, which are often assumed known. We develop general modelling methodology with uncertain inputs in the context of the Bayes linear paradigm, which involves adjustment of second-order belief specifications over all quantities of interest only, without the requirement for probabilistic specifications. In particular, we propose an extension of commonly-employed second-order modelling assumptions to the case of uncertain inputs, with explicit implementation in the context of regression analysis, stochastic process modelling, and statistical emulation. We apply the methodology to a regression model for extracting aluminium by electrolysis, and emulation of the motivating epidemiological simulator chain to model the impact of an airborne infectious disease. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: 37 pages, 2 figures

Synthesis parameter effect detection using quantitative representations and high dimensional distribution distances

Authors: Alex Hagen, Shane Jackson

Abstract: Detection of effects of the parameters of the synthetic process on the microstructure of materials is an important, yet elusive goal of materials science. We develop a method for detecting effects based on copula theory, high dimensional distribution distances, and permutational statistics to analyze a designed experiment synthesizing plutonium oxide from Pu(III) Oxalate. We detect effects of stri… ▽ More Detection of effects of the parameters of the synthetic process on the microstructure of materials is an important, yet elusive goal of materials science. We develop a method for detecting effects based on copula theory, high dimensional distribution distances, and permutational statistics to analyze a designed experiment synthesizing plutonium oxide from Pu(III) Oxalate. We detect effects of strike order and oxalic acid feed on the microstructure of the resulting plutonium oxide, which match the literature well. We also detect excess bivariate effects between the pairs of acid concentration, strike order and precipitation temperature. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 6 pages, 2 figures

The FluidFlower International Benchmark Study: Process, Modeling Results, and Comparison to Experimental Data

Authors: Bernd Flemisch, Jan M. Nordbotten, Martin Fernø, Ruben Juanes, Holger Class, Mojdeh Delshad, Florian Doster, Jonathan Ennis-King, Jacques Franc, Sebastian Geiger, Dennis Gläser, Christopher Green, James Gunning, Hadi Hajibeygi, Samuel J. Jackson, Mohamad Jammoul, Satish Karra, Jiawei Li, Stephan K. Matthäi, Terry Miller, Qi Shao, Catherine Spurin, Philip Stauffer, Hamdi Tchelepi, Xiaoming Tian , et al. (8 additional authors not shown)

Abstract: Successful deployment of geological carbon storage (GCS) requires an extensive use of reservoir simulators for screening, ranking and optimization of storage sites. However, the time scales of GCS are such that no sufficient long-term data is available yet to validate the simulators against. As a consequence, there is currently no solid basis for assessing the quality with which the dynamics of la… ▽ More Successful deployment of geological carbon storage (GCS) requires an extensive use of reservoir simulators for screening, ranking and optimization of storage sites. However, the time scales of GCS are such that no sufficient long-term data is available yet to validate the simulators against. As a consequence, there is currently no solid basis for assessing the quality with which the dynamics of large-scale GCS operations can be forecasted. To meet this knowledge gap, we have conducted a major GCS validation benchmark study. To achieve reasonable time scales, a laboratory-size geological storage formation was constructed (the "FluidFlower"), forming the basis for both the experimental and computational work. A validation experiment consisting of repeated GCS operations was conducted in the FluidFlower, providing what we define as the true physical dynamics for this system. Nine different research groups from around the world provided forecasts, both individually and collaboratively, based on a detailed physical and petrophysical characterization of the FluidFlower sands. The major contribution of this paper is a report and discussion of the results of the validation benchmark study, complemented by a description of the benchmarking process and the participating computational models. The forecasts from the participating groups are compared to each other and to the experimental data by means of various indicative qualitative and quantitative measures. By this, we provide a detailed assessment of the capabilities of reservoir simulators and their users to capture both the injection and post-injection dynamics of the GCS operations. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Investigation of process history and phenomenology of plutonium oxides using vector quantizing variational autoencoder

Authors: Connor Hainje, Cody Nizinski, Shane Jackson, Richard Clark, Forrest Heller, Ian Schwerdt, Edgar Buck, David Meier, Alexander Hagen

Abstract: Accurate, high throughput, and unbiased analysis of plutonium oxide particles is needed for analysis of the phenomenology associated with process parameters in their synthesis. Compared to qualitative and taxonomic descriptors, quantitative descriptors of particle morphology through scanning electron microscopy (SEM) have shown success in analyzing process parameters of uranium oxides. We utilize… ▽ More Accurate, high throughput, and unbiased analysis of plutonium oxide particles is needed for analysis of the phenomenology associated with process parameters in their synthesis. Compared to qualitative and taxonomic descriptors, quantitative descriptors of particle morphology through scanning electron microscopy (SEM) have shown success in analyzing process parameters of uranium oxides. We utilize a VQ-VAE to quantitatively describe plutonium dioxide (PuO2) particles created in a designed experiment and investigate their phenomenology and prediction of their process parameters. PuO2 was calcined from Pu(III) oxalates that were precipitated under varying synthetic conditions that related to concentrations, temperature, addition and digestion times, precipitant feed, and strike order; the surface morphology of the resulting PuO2 powders were analyzed by SEM. A pipeline was developed to extract and quantify useful image representations for individual particles with the VQ-VAE to perform multiple classification tasks simultaneously. The reduced feature space could predict process parameters with greater than 80% accuracies for some parameters with a single particle. They also showed utility for grou** particles with similar surface morphology characteristics together. Both the clustering and classification results reveal valuable information regarding which chemical process parameters chiefly influence the PuO2 particle morphologies: strike order and oxalic acid feedstock. Doing the same analysis with multiple particles was shown to improve the classification accuracy on each process parameter over the use of a single particle, with statistically significant results generally seen with as few as four particles in a sample. △ Less

Submitted 23 December, 2022; v1 submitted 1 December, 2022; originally announced December 2022.

Comments: 23 pages, 13 figures

Do Neural Networks Trained with Topological Features Learn Different Internal Representations?

Authors: Sarah McGuire, Shane Jackson, Tegan Emerson, Henry Kvinge

Abstract: There is a growing body of work that leverages features extracted via topological data analysis to train machine learning models. While this field, sometimes known as topological machine learning (TML), has seen some notable successes, an understanding of how the process of learning from topological features differs from the process of learning from raw data is still limited. In this work, we begi… ▽ More There is a growing body of work that leverages features extracted via topological data analysis to train machine learning models. While this field, sometimes known as topological machine learning (TML), has seen some notable successes, an understanding of how the process of learning from topological features differs from the process of learning from raw data is still limited. In this work, we begin to address one component of this larger issue by asking whether a model trained with topological features learns internal representations of data that are fundamentally different than those learned by a model trained with the original raw data. To quantify ``different'', we exploit two popular metrics that can be used to measure the similarity of the hidden representations of data within neural networks, neural stitching and centered kernel alignment. From these we draw a range of conclusions about how training with topological features does and does not change the representations that a model learns. Perhaps unsurprisingly, we find that structurally, the hidden representations of models trained and evaluated on topological features differ substantially compared to those trained and evaluated on the corresponding raw data. On the other hand, our experiments show that in some cases, these representations can be reconciled (at least to the degree required to solve the corresponding task) using a simple affine transformation. We conjecture that this means that neural networks trained on raw data may extract some limited topological features in the process of making predictions. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Comments: To appear at NeurIPS 2022 Workshop on Symmetry and Geometry in Neural Representations (NeurReps)

Complexity and Ramsey Largeness of Sets of Oracles Separating Complexity Classes

Authors: Alex Creiner, Stephen Jackson

Abstract: We prove two sets of results concerning computational complexity classes. The first concerns a variation of the random oracle hypothesis posed by Bennett and Gill after they showed that relative to a randomly chosen oracle, P not equal NP with probability 1. This hypothesis was quickly disproven in several ways, most famously in 1992 with the result that IP equals PSPACE, in spite of the classes b… ▽ More We prove two sets of results concerning computational complexity classes. The first concerns a variation of the random oracle hypothesis posed by Bennett and Gill after they showed that relative to a randomly chosen oracle, P not equal NP with probability 1. This hypothesis was quickly disproven in several ways, most famously in 1992 with the result that IP equals PSPACE, in spite of the classes being shown unequal with probability 1. Here we propose a variation of what it means to be ``large'' using the Ellentuck topology. In this new context, we demonstrate that the set of oracles separating NP and co-NP is not small, and obtain similar results for the separation of PSPACE from PH along with the separation of NP from BQP. We demonstrate that this version of the hypothesis turns it into a sufficient condition for unrelativized relationships, at least in the three cases considered here. Second, we example the descriptive complexity of the classes of oracles providing the separations for these various classes, and determine their exact placement in the Borel hierarchy. △ Less

Submitted 21 October, 2022; originally announced October 2022.

MSC Class: 03E15; 03D15; 68Q12

The photodetector, the heterodyne instrument, and the principle of instrument autonomy

Authors: Christopher S. Jackson

Abstract: Measuring instruments, especially ones that observe continually over time, have a reality to them that is independent of the states that stimulate their senses. This is the Principle of Instrument Autonomy. Although the mathematical concept of an instrument implicitly embodies this principle, the conventional analysis of continual observation has become overwhelmingly focused on state evolution ra… ▽ More Measuring instruments, especially ones that observe continually over time, have a reality to them that is independent of the states that stimulate their senses. This is the Principle of Instrument Autonomy. Although the mathematical concept of an instrument implicitly embodies this principle, the conventional analysis of continual observation has become overwhelmingly focused on state evolution rather than on descriptions of instruments themselves. Because of this, it can be hard to appreciate that an instrument that observes for a finite amount of time has an evolution of its own, a stochastic evolution that precedes the Born rule and Schrödinger equation of the measured system. In this article, the two most established of the continually observing instruments, the Srinivas-Davies photodetector and the Goetsch-Graham-Wiseman heterodyne detector, are reviewed with an emphasis on the autonomous instrument evolution they define, made explicit by application of the recently introduced Kraus-operator distribution function. It is then pointed out how the heterodyne instrument evolution is a complete alternative to the original idea of energy quantization, where the usual ideas of \emph{temperature} and \emph{energy} of a \emph{state} are replaced by the \emph{time} and \emph{positivity} of the \emph{instrument}. △ Less

Submitted 26 October, 2022; v1 submitted 20 October, 2022; originally announced October 2022.

Comments: 13 pages, first released at 24th Annual SQuInT Workshop, v2 contains minor edits

Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property

Authors: Konrad Deka, Steve Jackson, Dominik Kwietniak, Bill Mance

Abstract: We study the descriptive complexity of sets of points defined by placing restrictions on statistical behaviour of their orbits in dynamical systems on Polish spaces. A particular examples of such sets are the set of generic points of a $T$-invariant Borel probability measure, but we also consider much more general sets (for example, $α$-Birkhoff regular sets and the irregular set appearing in mult… ▽ More We study the descriptive complexity of sets of points defined by placing restrictions on statistical behaviour of their orbits in dynamical systems on Polish spaces. A particular examples of such sets are the set of generic points of a $T$-invariant Borel probability measure, but we also consider much more general sets (for example, $α$-Birkhoff regular sets and the irregular set appearing in multifractal analysis of ergodic averages of a continuous real-valued function). We show that many of these sets are Borel. In fact, all these sets are Borel when we assume that our space is compact. We provide examples of these sets being non-Borel, properly placed at the first level of the projective hierarchy (they are complete analytic or co-analytic). This proves that the compactness assumption is in some cases necessary to obtain Borelness. When these sets are Borel, we use the Borel hierarchy to measure their descriptive complexity. We show that the sets of interest are located at most at the third level of the hierarchy. We also use a modified version of the specification property to show that for many dynamical systems these sets are properly located at the third level. To demonstrate that the specification property is a sufficient, but not necessary condition for maximal descriptive complexity of a set of generic points, we provide an example of a compact minimal system with an invariant measure whose set of generic points is $Π^0_3$-complete. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 26 pages

Suslin cardinals and cutpoints in mouse limits

Authors: Stephan Jackson, Grigor Sargsyan, John Steel

Abstract: We obtain a partial result on the following conjecture. Conjecture. Let (P, Σ) be a projectum stable mouse pair, and let κbe a cardinal of V such that κ< o(M_\infty(P, Σ)); then the following are equivalent: (1) κis a Suslin cardinal, (2) κis a cutpoint of M_\infty(P, Σ). We obtain a partial result on the following conjecture. Conjecture. Let (P, Σ) be a projectum stable mouse pair, and let κbe a cardinal of V such that κ< o(M_\infty(P, Σ)); then the following are equivalent: (1) κis a Suslin cardinal, (2) κis a cutpoint of M_\infty(P, Σ). △ Less

Submitted 8 July, 2022; originally announced July 2022.

Simulating a pulsed power-driven plasma with ideal MHD

Authors: A. Beresnyak, A. L. Velikovich, J. L. Giuliani, S. L. Jackson, J. T. Engelbrecht, A. S. Richardson, A. Dasgupta

Abstract: We describe a simple practical numerical method for simulating plasma driven within a vacuum chamber by a pulsed power generator. Typically, in this type of simulation, the vacuum region adjacent to the plasma is approximated as a highly resistive, light fluid; this involves computationally expensive solvers describing the diffusion of the magnetic field through this fluid. Instead, we provide a r… ▽ More We describe a simple practical numerical method for simulating plasma driven within a vacuum chamber by a pulsed power generator. Typically, in this type of simulation, the vacuum region adjacent to the plasma is approximated as a highly resistive, light fluid; this involves computationally expensive solvers describing the diffusion of the magnetic field through this fluid. Instead, we provide a recipe for coupling pulsed power generators to the MHD domain by approximating the perfectly insulating vacuum as a light, perfectly conducting, inviscid MHD fluid and discuss the applicability of this counter-intuitive technique. This, much more affordable ideal MHD representation, is particularly useful in situations where a plasma exhibits interesting three-dimensional phenomena, either due to the design of the experiment or due to develo** instabilities. We verified that this coupling recipe works by modeling an exactly solvable flux compression generator as well as a self-similar Noh-like solution and demonstrated convergence to the theoretical solution. We also showed examples of simulating complex three-dimensional pulsed power devices with this technique. We release our code implementation to the public. △ Less

Submitted 6 May, 2022; originally announced May 2022.

Comments: 10 pages, 10 figures, accepted to PoP

The Effect of Aspect Changes on Near-Earth Asteroid Phase Curves

Authors: Samuel L. Jackson, Benjamin Rozitis, Lord R. Dover, Simon F. Green, Ulrich C. Kolb, Allison E. Andrews, Stephen C. Lowry

Abstract: Phase curves of asteroids are typically considered to depend solely on the scattering properties of airless particulate surfaces and the size of the object being studied. In this study, we demonstrate the additional dependence of phase curves on object shape, rotation pole orientation, and viewing geometry over an apparition. Variations in the phase curve of near-Earth asteroid (159402) 1999 AP10… ▽ More Phase curves of asteroids are typically considered to depend solely on the scattering properties of airless particulate surfaces and the size of the object being studied. In this study, we demonstrate the additional dependence of phase curves on object shape, rotation pole orientation, and viewing geometry over an apparition. Variations in the phase curve of near-Earth asteroid (159402) 1999 AP10 over its apparition from July 2020 - January 2021 are verified to be due to aspect changes over the apparition. This is achieved through shape modelling of the asteroid and simulation of the phase curve over the apparition. We present simulations of asteroid phase curves over a range of geometries to understand the potential magnitude of this aspect effect, and under which circumstances it can begin to dominate in the phase curves. This dependence on aspect may introduce significant additional uncertainty in the properties derived from phase curve data. We provide and demonstrate software code to estimate the aspect-related uncertainty in near-Earth asteroid phase curves through simulation and model fitting of a randomly generated sample of ellipsoidal asteroid models over the observed viewing geometry. We demonstrate how ignoring this effect may lead to misleading interpretations of the data and underestimation of uncertainties in further studies, such as those in the infrared that use phase curve derived parameters when fitting physical properties of an asteroid. △ Less

Submitted 12 April, 2022; originally announced April 2022.

Comments: Accepted for publication in Monthly Notices of the Royal Astronomical Society. 14 pages, 11 figures, 5 tables

A comparative study of paired versus unpaired deep learning methods for physically enhancing digital rock image resolution

Authors: Yufu Niu, Samuel J. Jackson, Naif Alqahtani, Peyman Mostaghimi, Ryan T. Armstrong

Abstract: X-ray micro-computed tomography (micro-CT) has been widely leveraged to characterise pore-scale geometry in subsurface porous rock. Recent developments in super resolution (SR) methods using deep learning allow the digital enhancement of low resolution (LR) images over large spatial scales, creating SR images comparable to the high resolution (HR) ground truth. This circumvents traditional resolut… ▽ More X-ray micro-computed tomography (micro-CT) has been widely leveraged to characterise pore-scale geometry in subsurface porous rock. Recent developments in super resolution (SR) methods using deep learning allow the digital enhancement of low resolution (LR) images over large spatial scales, creating SR images comparable to the high resolution (HR) ground truth. This circumvents traditional resolution and field-of-view trade-offs. An outstanding issue is the use of paired (registered) LR and HR data, which is often required in the training step of such methods but is difficult to obtain. In this work, we rigorously compare two different state-of-the-art SR deep learning techniques, using both paired and unpaired data, with like-for-like ground truth data. The first approach requires paired images to train a convolutional neural network (CNN) while the second approach uses unpaired images to train a generative adversarial network (GAN). The two approaches are compared using a micro-CT carbonate rock sample with complicated micro-porous textures. We implemented various image based and numerical verifications and experimental validation to quantitatively evaluate the physical accuracy and sensitivities of the two methods. Our quantitative results show that unpaired GAN approach can reconstruct super-resolution images as precise as paired CNN method, with comparable training times and dataset requirement. This unlocks new applications for micro-CT image enhancement using unpaired deep learning methods; image registration is no longer needed during the data processing stage. Decoupled images from data storage platforms can be exploited more efficiently to train networks for SR digital rock applications. This opens up a new pathway for various applications of multi-scale flow simulation in heterogeneous porous media. △ Less

Submitted 16 December, 2021; originally announced December 2021.

Comments: 26 pages, 11 figures, 4 tables

On the Borel complexity of continued fraction normal, absolutely abnormal numbers

Authors: Steve Jackson, Bill Mance, Joseph Vandehey

Abstract: We show that normality for continued fractions expansions and normality for base-$b$ expansions are maximally logically separate. In particular, the set of numbers that are normal with respect to the continued fraction expansion but not base-$b$ normal for a fixed $b\ge 2$ is $D_2(\boldsymbolΠ_3^0)$-complete. Moreover, the set of numbers that are normal with respect to the continued fraction expan… ▽ More We show that normality for continued fractions expansions and normality for base-$b$ expansions are maximally logically separate. In particular, the set of numbers that are normal with respect to the continued fraction expansion but not base-$b$ normal for a fixed $b\ge 2$ is $D_2(\boldsymbolΠ_3^0)$-complete. Moreover, the set of numbers that are normal with respect to the continued fraction expansion but not normal to \emph{any} base-$b$ expansion is $D_2(\boldsymbolΠ_3^0)$-hard, confirming the existence of uncountably many such numbers, which was previously only known assuming the generalized Riemann hypothesis. By varying the method of proof we are also able to show that the set of base-$2$ normal, base-$3$ non-normal numbers is also $D_2(\boldsymbolΠ_3^0)$-complete. We also prove an auxiliary result on the normality properties of the continued fraction expansions of fractions with a fixed denominator. △ Less

Submitted 22 November, 2021; originally announced November 2021.

Comments: Video talk by first author on this and related topics: https://u-paris.zoom.us/rec/share/ZxCzwWYl8DkuaH7FArc9266D2Gkdja08bl5xRsRM3MwHKnmoaTB8mWqw7WtS24Ah.cE6teTB2hkXNdRPw

MSC Class: 11K16; 03E15 (Primary) 11K50; 26A21; 11U99 (Secondary)

The effect of viscosity ratio and Peclet number on miscible viscous fingering in a Hele-Shaw cell: A combined numerical and experimental study

Authors: Daniel Keable, Alistair Jones, Samuel Krevor, Ann Muggeridge, Samuel J. Jackson

Abstract: The results from a series of well characterised, unstable, miscible displacement experiments in a Hele Shaw cell with a quarter five-spot source-sink geometry are presented, with comparisons to detailed numerical simulation. We perform repeated experiments at adverse viscosity ratios from 1 - 20 and Peclet numbers from 10$^4$ - 10$^6$ capturing the transition from 2D to 3D radial fingering and exp… ▽ More The results from a series of well characterised, unstable, miscible displacement experiments in a Hele Shaw cell with a quarter five-spot source-sink geometry are presented, with comparisons to detailed numerical simulation. We perform repeated experiments at adverse viscosity ratios from 1 - 20 and Peclet numbers from 10$^4$ - 10$^6$ capturing the transition from 2D to 3D radial fingering and experimental uncertainty. The open-access dataset provides time-lapse images of the fingering patterns, transient effluent profiles, and meta-information for use in model validation. We find the complexity of the fingering pattern increases with viscosity ratio and Peclet number, and the onset of fingering is delayed compared to linear displacements, likely due to Taylor dispersion stabilisation. The transition from 2D to 3D fingering occurs at a critical Peclet number that is consistent with recent experiments in the literature. 2D numerical simulations with hydrodynamic dispersion and different mesh orientations provide good predictions of breakthrough times and sweep efficiency obtained at intermediate Peclet numbers across the range of viscosity ratios tested, generally within the experimental uncertainty. Specific finger wavelengths, tip shapes, and growth are hard to replicate; model predictions using velocity dependent longitudinal dispersion or simple molecular diffusion bound the fingering evolution seen in the experiments, but neither fully capture both fine-scale and macroscopic measures. In both cases simulations predict sharper fingers than the experiment. A weaker dispersion stabilisation seems necessary to capture the experimental fingering at high viscosity ratio, which may also require anisotropic components. 3D models with varying dispersion formulations should be explored in future developments to capture the full range of effects at high viscosity ratio and Peclet number. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Comments: 24 pages, 9 figures

Deep learning of multi-resolution X-Ray micro-CT images for multi-scale modelling

Authors: Samuel J. Jackson, Yufu Niu, Sojwal Manoorkar, Peyman Mostaghimi, Ryan T. Armstrong

Abstract: Field-of-view and resolution trade-offs in X-Ray micro-computed tomography (micro-CT) imaging limit the characterization, analysis and model development of multi-scale porous systems. To this end, we developed an applied methodology utilising deep learning to enhance low resolution images over large sample sizes and create multi-scale models capable of accurately simulating experimental fluid dyna… ▽ More Field-of-view and resolution trade-offs in X-Ray micro-computed tomography (micro-CT) imaging limit the characterization, analysis and model development of multi-scale porous systems. To this end, we developed an applied methodology utilising deep learning to enhance low resolution images over large sample sizes and create multi-scale models capable of accurately simulating experimental fluid dynamics from the pore (microns) to continuum (centimetres) scale. We develop a 3D Enhanced Deep Super Resolution (EDSR) convolutional neural network to create super resolution (SR) images from low resolution images, which alleviates common micro-CT hardware/reconstruction defects in high-resolution (HR) images. When paired with pore-network simulations and parallel computation, we can create large 3D continuum-scale models with spatially varying flow & material properties. We quantitatively validate the workflow at various scales using direct HR/SR image similarity, pore-scale material/flow simulations and continuum scale multiphase flow experiments (drainage immiscible flow pressures and 3D fluid volume fractions). The SR images and models are comparable to the HR ground truth, and generally accurate to within experimental uncertainty at the continuum scale across a range of flow rates. They are found to be significantly more accurate than their LR counterparts, especially in cases where a wide distribution of pore-sizes are encountered. The applied methodology opens up the possibility to image, model and analyse truly multi-scale heterogeneous systems that are otherwise intractable. △ Less

Submitted 15 March, 2022; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: 21 pages, 9 figures

MSC Class: 76S05 ACM Class: I.4.3

Diode pumped silicate fiber for visible laser emission

Authors: Matthew R. Majewski, Stuart D. Jackson

Abstract: We demonstrate yellow laser emission using silicate glass fiber as the gain medium. By employing core pum** using widely available GaN diode lasers with emission at 445 nm, we show that Dy3+-doped aluminosilicate glass fiber can be readily excited creating sufficient gain at 581 nm. In this proof of concept demonstration, the maximum output power generated was 3 mW with a slope efficiency approx… ▽ More We demonstrate yellow laser emission using silicate glass fiber as the gain medium. By employing core pum** using widely available GaN diode lasers with emission at 445 nm, we show that Dy3+-doped aluminosilicate glass fiber can be readily excited creating sufficient gain at 581 nm. In this proof of concept demonstration, the maximum output power generated was 3 mW with a slope efficiency approximately 1.8% with respect to injected pump. △ Less

Submitted 13 October, 2021; originally announced October 2021.

The no-$β$ McMullen game and the perfect set property

Authors: Logan Crone, Lior Fishman, Stephen Jackson

Abstract: Given a target set $A\subseteq \mathbb{R}^d$ and a real number $β\in (0,1)$, McMullen introduced the notion of $A$ being an absolutely $β$-winning set. This involves a two player game which we call the $β$-McMullen game. We consider the version of this game in which the parameter $β$ is removed, which we call the no-$β$ McMullen game. More generally, we consider the game with respect to arbitrary… ▽ More Given a target set $A\subseteq \mathbb{R}^d$ and a real number $β\in (0,1)$, McMullen introduced the notion of $A$ being an absolutely $β$-winning set. This involves a two player game which we call the $β$-McMullen game. We consider the version of this game in which the parameter $β$ is removed, which we call the no-$β$ McMullen game. More generally, we consider the game with respect to arbitrary norms on $\mathbb{R}^d$, and even more generally with respect to general convex sets. We show that for strictly convex sets in $\mathbb{R}^d$, polytopes in $\mathbb{R}^d$, and general convex sets in $\mathbb{R}^2$, that player $\boldsymbol{I}$ wins the no-$β$ McMullen game iff $A$ contains a perfect set and player $\boldsymbol{I}\kern-0.05cm\boldsymbol{I}$ wins iff $A$ is countable. So, the no-$β$ McMullen game is equivalent to the perfect set game for $A$ in these cases. The proofs of these results use a connection between the geometry of the game and techniques from logic. Because of the geometry of this game, this result has strong implications for the geometry of uncountable sets in $\mathbb{R}^d$. We also present an example of a compact, convex set in $\mathbb{R}^3$ to which our methods do not apply, and also an example due to D.\ Simmons of a closed, convex set in $\ell_2(\mathbb{R})$ which illustrate the obstacles in extending the results further. △ Less

Submitted 6 October, 2021; originally announced October 2021.

MSC Class: 54H05; 03E15; 52A21

On the existence of numbers with matching continued fraction and decimal expansions

Authors: Pieter Allaart, Stephen Jackson, Taylor Jones, David Lambert

Abstract: A Trott number is a number $x\in(0,1)$ whose continued fraction expansion is equal to its base $b$ expansion for a given base $b$, in the following sense: If $x=[0;a_1,a_2,\dots]$, then $x=(0.\hat{a}_1\hat{a}_2\dots)_b$, where $\hat{a}_i$ is the string of digits resulting from writing $a_i$ in base $b$. In this paper we characterize the set of bases for which Trott numbers exist, and show that for… ▽ More A Trott number is a number $x\in(0,1)$ whose continued fraction expansion is equal to its base $b$ expansion for a given base $b$, in the following sense: If $x=[0;a_1,a_2,\dots]$, then $x=(0.\hat{a}_1\hat{a}_2\dots)_b$, where $\hat{a}_i$ is the string of digits resulting from writing $a_i$ in base $b$. In this paper we characterize the set of bases for which Trott numbers exist, and show that for these bases, the set $T_b$ of Trott numbers is a complete $G_δ$ set. We prove moreover that the union $T:=\bigcup_{b\geq 2} T_b$ is nowhere dense and has Hausdorff dimension less than one. Finally, we give several sufficient conditions on bases $b$ and $b'$ such that $T_b\cap T_{b'}=\emptyset$, and conjecture that this is the case for all $b\neq b'$. This question has connections with some deep theorems in Diophantine approximation. △ Less

Submitted 4 February, 2022; v1 submitted 8 August, 2021; originally announced August 2021.

Comments: 30 pages, new title and a somewhat expanded introduction

MSC Class: Primary:11A63; 11A55; Secondary: 11D75; 11J86; 28A78

How to perform the coherent measurement of a curved phase space by continuous isotropic measurement. I. Spin and the Kraus-operator geometry of $\mathrm{SL}(2,\mathbb{C})$

Authors: Christopher S. Jackson, Carlton M. Caves

Abstract: The generalized $Q$-function of a spin system can be considered the outcome probability distribution of a state subjected to a measurement represented by the spin-coherent-state (SCS) positive-operator-valued measure (POVM). As fundamental as the SCS POVM is to the 2-sphere phase-space representation of spin systems, it has only recently been reported that the SCS POVM can be performed for any spi… ▽ More The generalized $Q$-function of a spin system can be considered the outcome probability distribution of a state subjected to a measurement represented by the spin-coherent-state (SCS) positive-operator-valued measure (POVM). As fundamental as the SCS POVM is to the 2-sphere phase-space representation of spin systems, it has only recently been reported that the SCS POVM can be performed for any spin system by continuous isotropic measurement of the three total spin components [E. Shojaee, C. S. Jackson, C. A. Riofrio, A. Kalev, and I. H. Deutsch, Phys. Rev. Lett. 121, 130404 (2018)]. This article develops the theoretical details of the continuous isotropic measurement and places it within the general context of curved-phase-space correspondences for quantum systems. The analysis is in terms of the Kraus operators that develop over the course of a continuous isotropic measurement. The Kraus operators of any spin $j$ are shown to represent elements of the Lie group $\mathrm{SL}(2,{\mathbb C})\cong\mathrm{Spin}(3,{\mathbb C})$, a complex version of the usual unitary operators that represent elements of $\mathrm{SU}(2)\cong\mathrm{Spin}(3,{\mathbb R})$. Consequently, the associated POVM elements represent points in the symmetric space $\mathrm{SU}(2)\backslash\mathrm{SL}(2,{\mathbb C})$, which can be recognized as the 3-hyperboloid. Three equivalent stochastic techniques, (Wiener) path integral, (Fokker-Planck) diffusion equation, and stochastic differential equations, are applied to show that the continuous isotropic POVM quickly limits to the SCS~\hbox{POVM}, placing spherical phase space at the boundary of the fundamental Lie group $\mathrm{SL}(2,{\mathbb C})$ in an operationally meaningful way. The Kraus-operator-centric analysis is representation independent -- and therefore geometric (independent of any spectral information about the spin components). △ Less

Submitted 9 August, 2023; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: 60 pages, 3 figures; final version has minor changes for publication in Quantum, plus changes in notation to be consistent with the authors' subsequent publications; abstract shortened from that in the paper

Journal ref: Quantum 7, 1085 (2023)

Asteroid Photometry with PIRATE: Optimizations and Techniques for Small Aperture Telescopes

Authors: Samuel L. Jackson, Ulrich C. Kolb, Simon F. Green

Abstract: Small aperture telescopes provide the opportunity to conduct high frequency, targeted observations of near-Earth Asteroids that are not feasible with larger facilities due to highly competitive time allocation requirements. Observations of asteroids with these types of facilities often focus on rotational brightness variations rather than longer-term phase angle dependent variations (phase curves)… ▽ More Small aperture telescopes provide the opportunity to conduct high frequency, targeted observations of near-Earth Asteroids that are not feasible with larger facilities due to highly competitive time allocation requirements. Observations of asteroids with these types of facilities often focus on rotational brightness variations rather than longer-term phase angle dependent variations (phase curves) due to the difficulty of achieving high precision photometric calibration. We have developed an automated asteroid light curve extraction and calibration pipeline for images of moving objects from the 0.43 m Physics Innovations Robotic Telescope Explorer (PIRATE). This allows for the frequency and quality of observations required to construct asteroid phase curves. Optimisations in standard data reduction procedures are identified that may allow for similar small aperture facilities, constructed from commercially available/off-the-shelf components, to improve image and subsequent data quality. A demonstration of the hardware and software capabilities is expressed through observation statistics from a 10 month observing campaign, and through the photometric characterisation of near-Earth Asteroids 8014 (1990 MF) and 19764 (2000 NF5). △ Less

Submitted 9 July, 2021; originally announced July 2021.

Comments: 41 pages, 15 figures, 2 tables, 1 appendix. Accepted for publication in PASP

Journal ref: PASP, 133, 075003 (2021)

Accelerated Computation of a High Dimensional Kolmogorov-Smirnov Distance

Authors: Alex Hagen, Shane Jackson, James Kahn, Jan Strube, Isabel Haide, Karl Pazdernik, Connor Hainje

Abstract: Statistical testing is widespread and critical for a variety of scientific disciplines. The advent of machine learning and the increase of computing power has increased the interest in the analysis and statistical testing of multidimensional data. We extend the powerful Kolmogorov-Smirnov two sample test to a high dimensional form in a similar manner to Fasano (Fasano, 1987). We call our result th… ▽ More Statistical testing is widespread and critical for a variety of scientific disciplines. The advent of machine learning and the increase of computing power has increased the interest in the analysis and statistical testing of multidimensional data. We extend the powerful Kolmogorov-Smirnov two sample test to a high dimensional form in a similar manner to Fasano (Fasano, 1987). We call our result the d-dimensional Kolmogorov-Smirnov test (ddKS) and provide three novel contributions therewith: we develop an analytical equation for the significance of a given ddKS score, we provide an algorithm for computation of ddKS on modern computing hardware that is of constant time complexity for small sample sizes and dimensions, and we provide two approximate calculations of ddKS: one that reduces the time complexity to linear at larger sample sizes, and another that reduces the time complexity to linear with increasing dimension. We perform power analysis of ddKS and its approximations on a corpus of datasets and compare to other common high dimensional two sample tests and distances: Hotelling's T^2 test and Kullback-Leibler divergence. Our ddKS test performs well for all datasets, dimensions, and sizes tested, whereas the other tests and distances fail to reject the null hypothesis on at least one dataset. We therefore conclude that ddKS is a powerful multidimensional two sample test for general use, and can be calculated in a fast and efficient manner using our parallel or approximate methods. Open source implementations of all methods described in this work are located at https://github.com/pnnl/ddks. △ Less

Submitted 25 June, 2021; originally announced June 2021.

Comments: Submitted to IEEE Transactions on Pattern Analysis and Machine Intelligence

A boundary element method for the solution of finite mobility ratio immiscible displacement in a Hele-Shaw cell

Authors: S. J. Jackson, D. Stevens, H. Power, D. Giddings

Abstract: In this paper, the interaction between two immiscible fluids with a finite mobility ratio is investigated numerically within a Hele-Shaw cell. Fingering instabilities initiated at the interface between a low viscosity fluid and a high viscosity fluid are analysed at varying capillary numbers and mobility ratios using a finite mobility ratio model. The present work is motivated by the possible deve… ▽ More In this paper, the interaction between two immiscible fluids with a finite mobility ratio is investigated numerically within a Hele-Shaw cell. Fingering instabilities initiated at the interface between a low viscosity fluid and a high viscosity fluid are analysed at varying capillary numbers and mobility ratios using a finite mobility ratio model. The present work is motivated by the possible development of interfacial instabilities that can occur in porous media during the process of CO$_2$ sequestration, but does not pretend to analyse this complex problem. Instead, we present a detailed study of the analogous problem occurring in a Hele-Shaw cell, giving indications of possible plume patterns that can develop during the CO$_2$ injection. The numerical scheme utilises a boundary element method in which the normal velocity at the interface of the two fluids is directly computed through the evaluation of a hypersingular integral. The boundary integral equation is solved using a Neumann convergent series with cubic B-Spline boundary discretisation, exhibiting 6th order spatial convergence. The convergent series allows the long term non-linear dynamics of growing viscous fingers to be explored accurately and efficiently. Simulations in low mobility ratio regimes reveal large differences in fingering patterns compared to those predicted by previous high mobility ratio models. Most significantly, classical finger shielding between competing fingers is inhibited. Secondary fingers can possess significant velocity, allowing greater interaction with primary fingers compared to high mobility ratio flows. Eventually, this interaction can lead to base thinning and the breaking of fingers into separate bubbles. △ Less

Submitted 31 March, 2021; originally announced March 2021.

Comments: post-print, peer reviewed paper. 31 pages

Journal ref: Int. J. Numer. Meth. Fluids, 78, 521-551 (2015)

Deep Underground Neutrino Experiment (DUNE) Near Detector Conceptual Design Report

Authors: A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, G. Adamov, D. Adams, M. Adinolfi, A. Aduszkiewicz, Z. Ahmad, J. Ahmed, T. Alion, S. Alonso Monsalve, M. Alrashed, C. Alt, A. Alton, P. Amedo, J. Anderson, C. Andreopoulos, M. P. Andrews, F. Andrianala, S. Andringa, N. Anfimov, A. Ankowski, M. Antonova, S. Antusch , et al. (1041 additional authors not shown)

Abstract: This report describes the conceptual design of the DUNE near detector This report describes the conceptual design of the DUNE near detector △ Less

Submitted 25 March, 2021; originally announced March 2021.

Comments: 314 pages, 185 figures

Report number: FERMILAB-PUB-21-067-E-LBNF-PPD-SCD-T

Dynamic wetting effects in finite mobility ratio Hele-Shaw flow

Authors: S. J. Jackson, D. Stevens, D. Giddings, H. Power

Abstract: In this paper we study the effects of dynamic wetting on the immiscible displacement of a high viscosity fluid subject to the radial injection of a less viscous fluid in a Hele-Shaw cell. The displaced fluid can leave behind a trailing film that coats the cell walls, dynamically affecting the pressure drop at the fluid interface. By considering the non-linear pressure drop in a boundary element fo… ▽ More In this paper we study the effects of dynamic wetting on the immiscible displacement of a high viscosity fluid subject to the radial injection of a less viscous fluid in a Hele-Shaw cell. The displaced fluid can leave behind a trailing film that coats the cell walls, dynamically affecting the pressure drop at the fluid interface. By considering the non-linear pressure drop in a boundary element formulation, we construct a Picard scheme to iteratively predict the interfacial velocity and subsequent displacement in finite mobility ratio flow regimes. Dynamic wetting delays the onset of finger bifurcation in the late stages of interfacial growth, and at high local capillary numbers can alter the fundamental mode of bifurcation, producing vastly different finger morphologies. In low mobility ratio regimes, we see that finger interaction is reduced and characteristic finger breaking mechanisms are delayed but never fully inhibited. In high mobility ratio regimes, finger shielding is reduced when dynamic wetting is present. Finger bifurcation is delayed which allows the primary fingers to advance further into the domain before secondary fingers are generated, reducing the level of competition. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 12 pages. Post-print before final copyedit

Journal ref: Physical Review E 92(2), 023021 (2015)

Australian Square Kilometre Array Pathfinder: I. System Description

Authors: A. W. Hotan, J. D. Bunton, A. P. Chippendale, M. Whiting, J. Tuthill, V. A. Moss, D. McConnell, S. W. Amy, M. T. Huynh, J. R. Allison, C. S. Anderson, K. W. Bannister, E. Bastholm, R. Beresford, D. C. -J. Bock, R. Bolton, J. M. Chapman, K. Chow, J. D. Collier, F. R. Cooray, T. J. Cornwell, P. J. Diamond, P. G. Edwards, I. J. Feain, T. M. O. Franzen , et al. (41 additional authors not shown)

Abstract: In this paper we describe the system design and capabilities of the Australian Square Kilometre Array Pathfinder (ASKAP) radio telescope at the conclusion of its construction project and commencement of science operations. ASKAP is one of the first radio telescopes to deploy phased array feed (PAF) technology on a large scale, giving it an instantaneous field of view that covers 31 square degrees… ▽ More In this paper we describe the system design and capabilities of the Australian Square Kilometre Array Pathfinder (ASKAP) radio telescope at the conclusion of its construction project and commencement of science operations. ASKAP is one of the first radio telescopes to deploy phased array feed (PAF) technology on a large scale, giving it an instantaneous field of view that covers 31 square degrees at 800 MHz. As a two-dimensional array of 36x12m antennas, with baselines ranging from 22m to 6km, ASKAP also has excellent snapshot imaging capability and 10 arcsecond resolution. This, combined with 288 MHz of instantaneous bandwidth and a unique third axis of rotation on each antenna, gives ASKAP the capability to create high dynamic range images of large sky areas very quickly. It is an excellent telescope for surveys between 700 MHz and 1800 MHz and is expected to facilitate great advances in our understanding of galaxy formation, cosmology and radio transients while opening new parameter space for discovery of the unknown. △ Less

Submitted 2 February, 2021; originally announced February 2021.

Comments: 38 pages, 24 figures, accepted for publication in PASA

Journal ref: Publ. Astron. Soc. Aust. 38 (2021) e009

Ultrafast 3.5 μm fiber laser

Authors: Nathaniel Bawden, Ori Henderson-Sapir, Stuart D. Jackson, David J. Ottaway

Abstract: We report the first mode-locked fiber laser to operate in the femtosecond regime well beyond 3 μm. The laser uses dual-wavelength pum** and non-linear polarisation rotation to produce 3.5 μm wavelength pulses with minimum duration of 580 fs at a repetition rate of 68 MHz. The pulse energy is 3.2 nJ, corresponding to a peak power of 5.5 kW. We report the first mode-locked fiber laser to operate in the femtosecond regime well beyond 3 μm. The laser uses dual-wavelength pum** and non-linear polarisation rotation to produce 3.5 μm wavelength pulses with minimum duration of 580 fs at a repetition rate of 68 MHz. The pulse energy is 3.2 nJ, corresponding to a peak power of 5.5 kW. △ Less

Submitted 10 January, 2021; originally announced January 2021.

A non-Borel special alpha-limit set in the square

Authors: Steve Jackson, Bill Mance, Samuel Roth

Abstract: We consider the complexity of special $α$-limit sets, a kind of backward limit set for non-invertible dynamical systems. We show that these sets are always analytic, but not necessarily Borel, even in the case of a surjective map on the unit square. This answers a question posed by Kolyada, Misiurewicz, and Snoha. We consider the complexity of special $α$-limit sets, a kind of backward limit set for non-invertible dynamical systems. We show that these sets are always analytic, but not necessarily Borel, even in the case of a surjective map on the unit square. This answers a question posed by Kolyada, Misiurewicz, and Snoha. △ Less

Submitted 10 November, 2020; originally announced November 2020.

Comments: See https://www.youtube.com/watch?v=Ugwkg8mT7y8 for a short video explaining this paper

Physics-informed Neural-Network Software for Molecular Dynamics Applications

Authors: Taufeq Mohammed Razakh, Beibei Wang, Shane Jackson, Rajiv K. Kalia, Aiichiro Nakano, Ken-ichi Nomura, Priya Vashishta

Abstract: We have developed a novel differential equation solver software called PND based on the physics-informed neural network for molecular dynamics simulators. Based on automatic differentiation technique provided by Pytorch, our software allows users to flexibly implement equation of atom motions, initial and boundary conditions, and conservation laws as loss function to train the network. PND comes w… ▽ More We have developed a novel differential equation solver software called PND based on the physics-informed neural network for molecular dynamics simulators. Based on automatic differentiation technique provided by Pytorch, our software allows users to flexibly implement equation of atom motions, initial and boundary conditions, and conservation laws as loss function to train the network. PND comes with a parallel molecular dynamics (MD) engine in order for users to examine and optimize loss function design, and different conservation laws and boundary conditions, and hyperparameters, thereby accelerate the PINN-based development for molecular applications. △ Less

Submitted 21 November, 2020; v1 submitted 6 November, 2020; originally announced November 2020.

Descriptive complexity in Cantor series

Authors: Dylain Airey, Steve Jackson, Bill Mance

Abstract: A Cantor series expansion for a real number $x$ with respect to a basic sequence $Q=(q_1,q_2,\dots)$, where $q_i \geq 2$, is a representation of the form $x=a_0 + \sum_{i=1}^\infty \frac{a_i}{q_1q_2\cdots q_i}$ where $0 \leq a_i<q_i$. These generalize ordinary base $b$ expansions where $q_i=b$. Ki and Linton showed that for ordinary base $b$ expansions the set of normal numbers is a… ▽ More A Cantor series expansion for a real number $x$ with respect to a basic sequence $Q=(q_1,q_2,\dots)$, where $q_i \geq 2$, is a representation of the form $x=a_0 + \sum_{i=1}^\infty \frac{a_i}{q_1q_2\cdots q_i}$ where $0 \leq a_i<q_i$. These generalize ordinary base $b$ expansions where $q_i=b$. Ki and Linton showed that for ordinary base $b$ expansions the set of normal numbers is a $\boldsymbolΠ^0_3$-complete set, establishing the exact complexity of this set. In the case of Cantor series there are three natural notions of normality: normality, ratio normality,and distribution normality (these notions are equivalent for base $b$ expansions). We show that for any $Q$ the set $\mathscr{DN}(Q)$ of distribution normal number is $\boldsymbolΠ^0_3$-complete, and if $Q$ is $1$-divergent (i.e., $\sum_{i=1}^\infty \frac{1}{q_i}$ diverges) then the sets $\mathscr{N}(Q)$ and $\mathscr{RN}(Q)$ of normal and ratio normal numbers are $\boldsymbolΠ^0_3$-complete. We further show that all five non-trivial differences of these sets are $D_2(\boldsymbolΠ^0_3)$-complete if $\lim_i q_i=\infty$ and $Q$ is $1$-divergent (the trivial case is $\mathscr{N}(Q)\setminus \mathscr{RN}(Q)=\emptyset$). This shows that except for the containment $\mathscr{N}(Q)\subseteq \mathscr{RN}(Q)$, these three notions are as independent as possible. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Comments: 22 pages

Borel asymptotic dimension and hyperfinite equivalence relations

Authors: Clinton Conley, Steve Jackson, Andrew Marks, Brandon Seward, Robin Tucker-Drob

Abstract: A long standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we prove that this question always has a positive answer when the acting group is polycyclic, and we obtain a positive answer for all free actions of a large class of groups including the lampl… ▽ More A long standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we prove that this question always has a positive answer when the acting group is polycyclic, and we obtain a positive answer for all free actions of a large class of groups including the lamplighter group and all virtually solvable groups having finite Prüfer rank. This marks the first time that a group of exponential volume-growth has been verified to have this property. In obtaining this result we introduce a new tool for studying Borel equivalence relations by extending Gromov's notion of asymptotic dimension to the Borel setting. We show that countable Borel equivalence relations of finite Borel asymptotic dimension are hyperfinite, and more generally we prove under a mild compatibility assumption that increasing unions of such equivalence relations are hyperfinite. As part of our main theorem, we prove for a large class of solvable groups that all of their free Borel actions have finite Borel asymptotic dimension (and finite dynamic asymptotic dimension in the case of a continuous action on a zero-dimensional space). We also provide applications to Borel chromatic numbers, Borel and continuous Folner tilings, topological dynamics, and $C^*$-algebras. △ Less

Submitted 21 November, 2022; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: Corrected a typo in the proof of Theorem 4.8

Technique for rapid mass determination of airborne micro-particles based on release and recapture from an optical dipole force trap

Authors: Gehrig Carlse, Kevin B. Borsos, Hermina C. Beica, Thomas Vacheresse, Alex Pouliot, Jorge Perez-Garcia, Andrejs Vorozcovs, Boris Barron, Shira Jackson, Louis Marmet, A. Kumarakrishnan

Abstract: We describe a new method for the rapid determination of the mass of particles confined in a free-space optical dipole-force trap. The technique relies on direct imaging of drop-and-restore experiments without the need for a vacuum environment. In these experiments, the trap** light is rapidly shuttered with an acousto-optic modulator causing the particle to be released from and subsequently reca… ▽ More We describe a new method for the rapid determination of the mass of particles confined in a free-space optical dipole-force trap. The technique relies on direct imaging of drop-and-restore experiments without the need for a vacuum environment. In these experiments, the trap** light is rapidly shuttered with an acousto-optic modulator causing the particle to be released from and subsequently recaptured by the trap** force. The trajectories of both the falls and restorations, imaged using a high-speed CMOS sensor, are combined to determine the particle mass. We corroborate these measurements using an analysis of position autocorrelation functions of the trapped particles. We report a statistical uncertainty of less than 2% for masses on the order of $5\times10^{-14}$ kg using a data acquisition time of approximately 90 seconds. △ Less

Submitted 1 June, 2020; originally announced June 2020.

Journal ref: Phys. Rev. Applied 14, 024017 (2020)

Hausdorff Dimension Regularity Properties and Games

Authors: Logan Crone, Lior Fishman, Stephen Jackson

Abstract: The Hausdorff $δ$-dimension game was introduced by Das, Fishman, Simmons and {Urba{ń}ski} and shown to characterize sets in $\mathbb{R}^d$ having Hausdorff dimension $\leq δ$. We introduce a variation of this game which also characterizes Hausdorff dimension and for which we are able to prove an unfolding result similar to the basic unfolding property for the Banach-Mazur game for category. We use… ▽ More The Hausdorff $δ$-dimension game was introduced by Das, Fishman, Simmons and {Urba{ń}ski} and shown to characterize sets in $\mathbb{R}^d$ having Hausdorff dimension $\leq δ$. We introduce a variation of this game which also characterizes Hausdorff dimension and for which we are able to prove an unfolding result similar to the basic unfolding property for the Banach-Mazur game for category. We use this to derive a number of consequences for Hausdorff dimension. We show that under $\mathsf{AD}$ any wellordered union of sets each of which has Hausdorff dimension $\leq δ$ has dimension $\leq δ$. We establish a continuous uniformization result for Hausdorff dimension. The unfolded game also provides a new proof that every $\boldsymbolΣ^1_1$ set of Hausdorff dimension $\geq δ$ contains a compact subset of dimension $\geq δ'$ for any $δ'<δ$, and this result generalizes to arbitrary sets under $\mathsf{AD}$. △ Less

Submitted 25 March, 2020; originally announced March 2020.

MSC Class: 03E15; 03E60; 28A78

Dysprosium mid-infrared lasers: current status and future prospects

Authors: R. I. Woodward, M. R. Majewski, S. D. Jackson

Abstract: With growing interest in the mid-infrared spectral region, dysprosium has recently been revisited for efficient high-performance infrared source development. Despite historically receiving less attention than other rare earth ions, in recent years lasers utilizing the dysprosium ion as the laser material have set record mid-infrared performance, including tunability from 2.8 to 3.4 um (in addition… ▽ More With growing interest in the mid-infrared spectral region, dysprosium has recently been revisited for efficient high-performance infrared source development. Despite historically receiving less attention than other rare earth ions, in recent years lasers utilizing the dysprosium ion as the laser material have set record mid-infrared performance, including tunability from 2.8 to 3.4 um (in addition to 4.3 um lasing), continuous wave powers exceeding 10 W, greater than 73% slope efficiencies, and even ultrafast pulsed operation. Herein, the unique energy level structure and spectroscopy of the dysprosium ion are examined and the major developments that have led to this resurgence of interest and subsequent record mid-infrared laser performance are surveyed. Also mid-infrared applications of emerging dysprosium lasers are highlighted, in addition to surveying the many opportunities that lie ahead. △ Less

Submitted 12 March, 2020; originally announced March 2020.

Journal ref: Laser & Photonics Reviews 14, 1900195 (2020)

Equivalence Relations and Determinacy

Authors: Logan Crone, Lior Fishman, Stephen Jackson

Abstract: We introduce the notion of $(Γ,E)$-determinacy for $Γ$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\{0,1\}$ or $S=ω$. We show that for all shift actions by countable groups $G$, and any "reasonable" pointclass $Γ$, that $(Γ,E_G)$-determinacy implies $Γ$-determinacy.… ▽ More We introduce the notion of $(Γ,E)$-determinacy for $Γ$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\{0,1\}$ or $S=ω$. We show that for all shift actions by countable groups $G$, and any "reasonable" pointclass $Γ$, that $(Γ,E_G)$-determinacy implies $Γ$-determinacy. We also prove a corresponding result when $E$ is a subshift of finite type of the shift map on $2^\mathbb{Z}$. △ Less

Submitted 4 March, 2020; originally announced March 2020.

Comments: 13 pages

MSC Class: 03E15; 03E60

Trust in Data Science: Collaboration, Translation, and Accountability in Corporate Data Science Projects

Authors: Samir Passi, Steven J. Jackson

Abstract: The trustworthiness of data science systems in applied and real-world settings emerges from the resolution of specific tensions through situated, pragmatic, and ongoing forms of work. Drawing on research in CSCW, critical data studies, and history and sociology of science, and six months of immersive ethnographic fieldwork with a corporate data science team, we describe four common tensions in app… ▽ More The trustworthiness of data science systems in applied and real-world settings emerges from the resolution of specific tensions through situated, pragmatic, and ongoing forms of work. Drawing on research in CSCW, critical data studies, and history and sociology of science, and six months of immersive ethnographic fieldwork with a corporate data science team, we describe four common tensions in applied data science work: (un)equivocal numbers, (counter)intuitive knowledge, (in)credible data, and (in)scrutable models. We show how organizational actors establish and re-negotiate trust under messy and uncertain analytic conditions through practices of skepticism, assessment, and credibility. Highlighting the collaborative and heterogeneous nature of real-world data science, we show how the management of trust in applied corporate data science settings depends not only on pre-processing and quantification, but also on negotiation and translation. We conclude by discussing the implications of our findings for data science research and practice, both within and beyond CSCW. △ Less

Submitted 9 February, 2020; originally announced February 2020.

Journal ref: Proc. ACM Hum.-Comput. Interact. 2, CSCW, Article 136 (November 2018), 28 pages

Data Vision: Learning to See Through Algorithmic Abstraction

Authors: Samir Passi, Steven J. Jackson

Abstract: Learning to see through data is central to contemporary forms of algorithmic knowledge production. While often represented as a mechanical application of rules, making algorithms work with data requires a great deal of situated work. This paper examines how the often-divergent demands of mechanization and discretion manifest in data analytic learning environments. Drawing on research in CSCW and t… ▽ More Learning to see through data is central to contemporary forms of algorithmic knowledge production. While often represented as a mechanical application of rules, making algorithms work with data requires a great deal of situated work. This paper examines how the often-divergent demands of mechanization and discretion manifest in data analytic learning environments. Drawing on research in CSCW and the social sciences, and ethnographic fieldwork in two data learning environments, we show how an algorithm's application is seen sometimes as a mechanical sequence of rules and at other times as an array of situated decisions. Casting data analytics as a rule-based (rather than rule-bound) practice, we show that effective data vision requires would-be analysts to straddle the competing demands of formal abstraction and empirical contingency. We conclude by discussing how the notion of data vision can help better leverage the role of human work in data analytic learning, research, and practice. △ Less

Submitted 9 February, 2020; originally announced February 2020.

Journal ref: In Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. ACM, New York, NY, USA, 2436-2447

The Measure Game

Authors: Logan Crone, Lior Fishman, Stephen Jackson, Houston Schuerger, David Simmons

Abstract: We study a game first introduced by Martin (actually we use a slight variation of this game) which plays a role for measure analogous to the Banach-Mazur game for category. We first present proofs for the basic connections between this game and measure, and then use the game to prove fundamental measure theoretic results such as Fubini's theorem, the Borel-Cantelli lemma, and a general unfolding r… ▽ More We study a game first introduced by Martin (actually we use a slight variation of this game) which plays a role for measure analogous to the Banach-Mazur game for category. We first present proofs for the basic connections between this game and measure, and then use the game to prove fundamental measure theoretic results such as Fubini's theorem, the Borel-Cantelli lemma, and a general unfolding result for the game which gives, for example, the measurability of $\boldsymbolΣ^1_1$ sets. We also use the game to give a new, more constructive, proof of a strong form of the Rényi-Lamperti lemma, an important result in probability theory with many applications to number theory. The proofs we give are all direct combinatorial arguments using the game, and do not depend on known measure theoretic arguments. △ Less

Submitted 24 October, 2019; originally announced October 2019.

Efficient Emulation of Computer Models Utilising Multiple Known Boundaries of Differing Dimensions

Authors: Samuel E. Jackson, Ian Vernon

Abstract: Emulation has been successfully applied across a wide variety of scientific disciplines for efficiently analysing computationally intensive models. We develop known boundary emulation strategies which utilise the fact that, for many computer models, there exist hyperplanes in the input parameter space for which the model output can be evaluated far more efficiently, whether this be analytically or… ▽ More Emulation has been successfully applied across a wide variety of scientific disciplines for efficiently analysing computationally intensive models. We develop known boundary emulation strategies which utilise the fact that, for many computer models, there exist hyperplanes in the input parameter space for which the model output can be evaluated far more efficiently, whether this be analytically or just significantly faster using a more efficient and simpler numerical solver. The information contained on these known hyperplanes, or boundaries, can be incorporated into the emulation process via analytical update, thus involving no additional computational cost. In this article, we show that such analytical updates are available for multiple boundaries of various dimensions. We subsequently demonstrate which configurations of boundaries such analytical updates are available for, in particular by presenting a set of conditions that such a set of boundaries must satisfy. We demonstrate the powerful computational advantages of the known boundary emulation techniques developed on both an illustrative low-dimensional simulated example and a scientifically relevant and high-dimensional systems biology model of hormonal crosstalk in the roots of an Arabidopsis plant. △ Less

Submitted 13 March, 2020; v1 submitted 19 October, 2019; originally announced October 2019.

Comments: 41 pages, 3 figures

Bayes Linear Emulation of Simulator Networks

Authors: Samuel E. Jackson, David C. Woods

Abstract: Computationally expensive simulators, implementing mathematical models in computer codes, are commonly approximated using statistical emulators. We develop and assess novel emulation methods for systems best modelled via a chain, series or network of simulators. Using a Bayes linear framework, we link statistical emulators of the component simulators to explicitly account for the simulator input u… ▽ More Computationally expensive simulators, implementing mathematical models in computer codes, are commonly approximated using statistical emulators. We develop and assess novel emulation methods for systems best modelled via a chain, series or network of simulators. Using a Bayes linear framework, we link statistical emulators of the component simulators to explicitly account for the simulator input uncertainty induced by links between models in arbitrarily large networks. We demonstrate the advantages of these methods compared to use of a single emulator of the composite simulator network for a variety of examples, including the motivating epidemiological simulator chain to model the impact of an airborne infectious disease. △ Less

Submitted 25 August, 2021; v1 submitted 17 October, 2019; originally announced October 2019.

Comments: 25 pages, 7 figures

Machine Learning and Big Scientific Data

Authors: Tony Hey, Keith Butler, Sam Jackson, Jeyarajan Thiyagalingam

Abstract: This paper reviews some of the challenges posed by the huge growth of experimental data generated by the new generation of large-scale experiments at UK national facilities at the Rutherford Appleton Laboratory site at Harwell near Oxford. Such "Big Scientific Data" comes from the Diamond Light Source and Electron Microscopy Facilities, the ISIS Neutron and Muon Facility, and the UK's Central Lase… ▽ More This paper reviews some of the challenges posed by the huge growth of experimental data generated by the new generation of large-scale experiments at UK national facilities at the Rutherford Appleton Laboratory site at Harwell near Oxford. Such "Big Scientific Data" comes from the Diamond Light Source and Electron Microscopy Facilities, the ISIS Neutron and Muon Facility, and the UK's Central Laser Facility. Increasingly, scientists are now needing to use advanced machine learning and other AI technologies both to automate parts of the data pipeline and also to help find new scientific discoveries in the analysis of their data. For commercially important applications, such as object recognition, natural language processing and automatic translation, deep learning has made dramatic breakthroughs. Google's DeepMind has now also used deep learning technology to develop their AlphaFold tool to make predictions for protein folding. Remarkably, they have been able to achieve some spectacular results for this specific scientific problem. Can deep learning be similarly transformative for other scientific problems? After a brief review of some initial applications of machine learning at the Rutherford Appleton Laboratory, we focus on challenges and opportunities for AI in advancing materials science. Finally, we discuss the importance of develo** some realistic machine learning benchmarks using Big Scientific Data coming from a number of different scientific domains. We conclude with some initial examples of our "SciML" benchmark suite and of the research challenges these benchmarks will enable. △ Less

Submitted 12 October, 2019; originally announced October 2019.

Comments: 42 Pages with full colour images