-
Constraints on the Cosmic Neutrino Background from NGC 1068
Authors:
Jack Franklin,
Ivan Martinez-Soler,
Yuber F. Perez-Gonzalez,
Jessica Turner
Abstract:
We use recent evidence of TeV neutrino events from NGC 1068, detected by the IceCube experiment, to constrain the overdensity of relic neutrinos locally and globally. Since these high-energy neutrinos have travelled long distances through a sea of relic neutrinos, they could have undergone scattering, altering their observed flux on Earth. Considering only Standard Model interactions, we constrain…
▽ More
We use recent evidence of TeV neutrino events from NGC 1068, detected by the IceCube experiment, to constrain the overdensity of relic neutrinos locally and globally. Since these high-energy neutrinos have travelled long distances through a sea of relic neutrinos, they could have undergone scattering, altering their observed flux on Earth. Considering only Standard Model interactions, we constrain the relic overdensity to be $η\leq 3.85 \times 10^8 (5.39 \times 10^{11})$ at the 95$\%$ confidence level for overdensities with a radius of 14 Mpc (10 kpc), assuming the sum of neutrino masses saturates the cosmological bound, $\sum_i m_i = 0.13$ eV. We demonstrate that this limit improves with larger neutrino masses and how it depends on the scale of the overdensity region.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Performance of a modular ton-scale pixel-readout liquid argon time projection chamber
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
A. Alton,
R. Alvarez,
T. Alves,
H. Amar,
P. Amedo,
J. Anderson,
D. A. Andrade
, et al. (1340 additional authors not shown)
Abstract:
The Module-0 Demonstrator is a single-phase 600 kg liquid argon time projection chamber operated as a prototype for the DUNE liquid argon near detector. Based on the ArgonCube design concept, Module-0 features a novel 80k-channel pixelated charge readout and advanced high-coverage photon detection system. In this paper, we present an analysis of an eight-day data set consisting of 25 million cosmi…
▽ More
The Module-0 Demonstrator is a single-phase 600 kg liquid argon time projection chamber operated as a prototype for the DUNE liquid argon near detector. Based on the ArgonCube design concept, Module-0 features a novel 80k-channel pixelated charge readout and advanced high-coverage photon detection system. In this paper, we present an analysis of an eight-day data set consisting of 25 million cosmic ray events collected in the spring of 2021. We use this sample to demonstrate the imaging performance of the charge and light readout systems as well as the signal correlations between the two. We also report argon purity and detector uniformity measurements, and provide comparisons to detector simulations.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Do** Liquid Argon with Xenon in ProtoDUNE Single-Phase: Effects on Scintillation Light
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
A. Alton,
R. Alvarez,
H. Amar Es-sghir,
P. Amedo,
J. Anderson,
D. A. Andrade,
C. Andreopoulos
, et al. (1300 additional authors not shown)
Abstract:
Do** of liquid argon TPCs (LArTPCs) with a small concentration of xenon is a technique for light-shifting and facilitates the detection of the liquid argon scintillation light. In this paper, we present the results of the first do** test ever performed in a kiloton-scale LArTPC. From February to May 2020, we carried out this special run in the single-phase DUNE Far Detector prototype (ProtoDUN…
▽ More
Do** of liquid argon TPCs (LArTPCs) with a small concentration of xenon is a technique for light-shifting and facilitates the detection of the liquid argon scintillation light. In this paper, we present the results of the first do** test ever performed in a kiloton-scale LArTPC. From February to May 2020, we carried out this special run in the single-phase DUNE Far Detector prototype (ProtoDUNE-SP) at CERN, featuring 770 t of total liquid argon mass with 410 t of fiducial mass. The goal of the run was to measure the light and charge response of the detector to the addition of xenon, up to a concentration of 18.8 ppm. The main purpose was to test the possibility for reduction of non-uniformities in light collection, caused by deployment of photon detectors only within the anode planes. Light collection was analysed as a function of the xenon concentration, by using the pre-existing photon detection system (PDS) of ProtoDUNE-SP and an additional smaller set-up installed specifically for this run. In this paper we first summarize our current understanding of the argon-xenon energy transfer process and the impact of the presence of nitrogen in argon with and without xenon dopant. We then describe the key elements of ProtoDUNE-SP and the injection method deployed. Two dedicated photon detectors were able to collect the light produced by xenon and the total light. The ratio of these components was measured to be about 0.65 as 18.8 ppm of xenon were injected. We performed studies of the collection efficiency as a function of the distance between tracks and light detectors, demonstrating enhanced uniformity of response for the anode-mounted PDS. We also show that xenon do** can substantially recover light losses due to contamination of the liquid argon by nitrogen.
△ Less
Submitted 9 February, 2024; v1 submitted 2 February, 2024;
originally announced February 2024.
-
Section Rings of $\mathbb{Q}$-Divisors on Genus $1$ Curves
Authors:
Michael Cerchia,
Jesse Franklin,
Evan O'Dorney
Abstract:
We compute generators and relations for the section ring of a rational divisor on an elliptic curve. Our technique generalizes the work of O'Dorney (in genus zero) and Voight--Zureick-Brown (for specific divisors arising from the study of stacky curves). For effective divisors supported on at most two points, we give explicit descriptions of the generators and the leading terms of the relations fo…
▽ More
We compute generators and relations for the section ring of a rational divisor on an elliptic curve. Our technique generalizes the work of O'Dorney (in genus zero) and Voight--Zureick-Brown (for specific divisors arising from the study of stacky curves). For effective divisors supported on at most two points, we give explicit descriptions of the generators and the leading terms of the relations for a minimal presentation. As in the genus zero case, the generators are parametrized by best lower approximations to the coefficients, but there are added wrinkles. Following Landesman, Ruhm and Zhang we can bound the degrees of generators for the section ring of an effective divisor supported at any finite number of points.
△ Less
Submitted 1 March, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
The DUNE Far Detector Vertical Drift Technology, Technical Design Report
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
A. Alton,
R. Alvarez,
H. Amar,
P. Amedo,
J. Anderson,
D. A. Andrade,
C. Andreopoulos
, et al. (1304 additional authors not shown)
Abstract:
DUNE is an international experiment dedicated to addressing some of the questions at the forefront of particle physics and astrophysics, including the mystifying preponderance of matter over antimatter in the early universe. The dual-site experiment will employ an intense neutrino beam focused on a near and a far detector as it aims to determine the neutrino mass hierarchy and to make high-precisi…
▽ More
DUNE is an international experiment dedicated to addressing some of the questions at the forefront of particle physics and astrophysics, including the mystifying preponderance of matter over antimatter in the early universe. The dual-site experiment will employ an intense neutrino beam focused on a near and a far detector as it aims to determine the neutrino mass hierarchy and to make high-precision measurements of the PMNS matrix parameters, including the CP-violating phase. It will also stand ready to observe supernova neutrino bursts, and seeks to observe nucleon decay as a signature of a grand unified theory underlying the standard model.
The DUNE far detector implements liquid argon time-projection chamber (LArTPC) technology, and combines the many tens-of-kiloton fiducial mass necessary for rare event searches with the sub-centimeter spatial resolution required to image those events with high precision. The addition of a photon detection system enhances physics capabilities for all DUNE physics drivers and opens prospects for further physics explorations. Given its size, the far detector will be implemented as a set of modules, with LArTPC designs that differ from one another as newer technologies arise.
In the vertical drift LArTPC design, a horizontal cathode bisects the detector, creating two stacked drift volumes in which ionization charges drift towards anodes at either the top or bottom. The anodes are composed of perforated PCB layers with conductive strips, enabling reconstruction in 3D. Light-trap-style photon detection modules are placed both on the cryostat's side walls and on the central cathode where they are optically powered.
This Technical Design Report describes in detail the technical implementations of each subsystem of this LArTPC that, together with the other far detector modules and the near detector, will enable DUNE to achieve its physics goals.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Mott insulating negative thermal expansion perovskite TiF3
Authors:
Donal Sheets,
Kaitlin Lyszak,
Menka Jain,
Gayanath W. Fernando,
Ilya Sochnikov,
Jacob Franklin,
R. Mattias Geilhufe,
Jason N. Hancock
Abstract:
We characterize perovskite TiF_3, a material which displays significant negative thermal expansion at elevated temperatures above its cubic-to-rhombohedral structural phase transition at 330 K. We find the optical response favors an insulating state in both structural phases, which we show can be produced in density functional theory calculations only through the introduction of an on-site Coulomb…
▽ More
We characterize perovskite TiF_3, a material which displays significant negative thermal expansion at elevated temperatures above its cubic-to-rhombohedral structural phase transition at 330 K. We find the optical response favors an insulating state in both structural phases, which we show can be produced in density functional theory calculations only through the introduction of an on-site Coulomb repulsion. Analysis of the magnetic susceptibility data gives a S=1/2 local moment per Ti+3 ion and an antiferromagnetic exchange coupling. Together, these results show that TiF_3 is a strongly correlated electron system, a fact which constrains possible mechanisms of strong negative thermal expansion in the Sc_1-xTi_xF3 system. We consider the relative strength of the Jahn-Teller and electric dipole interactions in driving the structural transition.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
The Geometry of Drinfeld Modular Forms
Authors:
Jesse Franklin
Abstract:
We give a geometric perspective on the algebra of Drinfeld modular forms for congruence subgroups $Γ\leq\operatorname{GL}_2(\mathbb{F}_q[T])$ by means of $Γ_2\leqΓ$ the subgroup of matrices which have square determinants. First, we find an isomorphism between the section ring of a line bundle on the stacky modular curve for $Γ_2$ and the algebra of Drinfeld modular forms for $Γ_2,$ which allows on…
▽ More
We give a geometric perspective on the algebra of Drinfeld modular forms for congruence subgroups $Γ\leq\operatorname{GL}_2(\mathbb{F}_q[T])$ by means of $Γ_2\leqΓ$ the subgroup of matrices which have square determinants. First, we find an isomorphism between the section ring of a line bundle on the stacky modular curve for $Γ_2$ and the algebra of Drinfeld modular forms for $Γ_2,$ which allows one to compute the latter ring by geometric invariants using the techniques of Voight, Zureick-Brown and O'Dorney. We show how to decompose the algebra of modular forms for $Γ_2$ into a direct sum of two algebras of modular forms for $Γ$ and generalize this result to a larger class of congruence subgroups.
△ Less
Submitted 10 November, 2023; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Radiation reaction on an accelerating point charge
Authors:
Jerrold Franklin
Abstract:
A point charge accelerating under the influence of an external force emits electromagnetic radiation that reduces the increase in its mechanical energy. This causes a reduction in the particle's acceleration. We derive the decrease in acceleration due to radiation reaction for a particle accelerating parallel to its velocity, and show that it has a negligible effect.
A point charge accelerating under the influence of an external force emits electromagnetic radiation that reduces the increase in its mechanical energy. This causes a reduction in the particle's acceleration. We derive the decrease in acceleration due to radiation reaction for a particle accelerating parallel to its velocity, and show that it has a negligible effect.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
Observation of c-axis Magnetization at Low Temperatures in Weak Ferromagnet FeBO$_3$ Reveals a Spin-Reorientation Transition
Authors:
Jacob Franklin,
Jacob Pfund,
Joshua Bedard,
Weiguo Zhang,
P. Shiv Halasyamani,
Menka Jain,
Ilya Sochnikov
Abstract:
The weak ferromagnet FeBO$_3$ is well known for being a unique system for modelling and testing magnetic dynamics primarily due to relatively simple and localized magnetic structure and its interesting spin wave dynamics. At room temperature, it has slightly canted iron moments lying in the a-b plane that result in a strong antiferromagnetic moment and a weak ferromagnetic moment, which results in…
▽ More
The weak ferromagnet FeBO$_3$ is well known for being a unique system for modelling and testing magnetic dynamics primarily due to relatively simple and localized magnetic structure and its interesting spin wave dynamics. At room temperature, it has slightly canted iron moments lying in the a-b plane that result in a strong antiferromagnetic moment and a weak ferromagnetic moment, which results in pronounced ferromagnetic and antiferromagnetic spin modes. However, some previous studies have shown unusual low-temperature behavior that suggests a phase transition. By performing low-temperature magnetization measurements, both in bulk and on the mesoscale, we have observed a low temperature magnetic texture in this material in which a large c-axis magnetization occurs. Magnetic fields along the c-axis as high as 1300 Oe were observed close to the sample surface. This presents evidence for the onset of a Morin transition or another type of spin-reorientation phase transition wherein the Fe3+ moments would acquire a c-axis component to their canting below a critical temperature. The observation of this c-axis magnetization suggests that there is a different ground state in this material than has been previously expected and could be due to as yet unexplored intricacies of the Dzyaloshinskii-Moriya interaction.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
JUNO as a Probe of the Pseudo-Dirac Nature using Solar Neutrinos
Authors:
Jack Franklin,
Yuber F. Perez-Gonzalez,
Jessica Turner
Abstract:
It remains a possibility that neutrinos are pseudo-Dirac states, such that a generation is composed of two maximally mixed Majorana neutrinos separated by a very small mass difference. We explore the physics potential of the JUNO experiment in constraining this possibility using the measurement of solar neutrinos. In particular, we investigate cases where one or three sterile states are present in…
▽ More
It remains a possibility that neutrinos are pseudo-Dirac states, such that a generation is composed of two maximally mixed Majorana neutrinos separated by a very small mass difference. We explore the physics potential of the JUNO experiment in constraining this possibility using the measurement of solar neutrinos. In particular, we investigate cases where one or three sterile states are present in addition to the active states. We consider two scenarios: one where JUNO's energy threshold allows for the measurement of $pp$ solar neutrinos, and the case where JUNO can only measure $^7$Be neutrinos and above. We find that JUNO will be able to constrain pseudo-Dirac mass splittings of $δm^2 \gtrsim 2.9\times 10^{-13}~{\rm eV^2}$ for the scenario including $pp$ solar neutrinos, and $δm^2 \gtrsim 1.9\times 10^{-12}~{\rm eV^2}$ when the measurement only considers $^7$Be monochromatic neutrinos, at the $3σ$ C.L. Thus, including $pp$ neutrinos will be crucial for JUNO to improve current constraints on the pseudo-Dirac scenario from solar neutrinos.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Versatile Millikelvin Hybrid Cooling Platform for Superconductivity Research
Authors:
Jacob Franklin,
Joshua Bedard,
Ilya Sochnikov
Abstract:
Closed cycle $He^{3}-He^{4}$ dilution cryostats became the platform of choice in quantum sciences in the era of helium shortage. However, in many experiments, the mechanical vibrations induced by the pulsed cryocoolers present a significant drawback reflected both in electronic and mechanical noises. Here, we present a hybrid dilution cryostat platform; we have automated a commercial closed-cycle…
▽ More
Closed cycle $He^{3}-He^{4}$ dilution cryostats became the platform of choice in quantum sciences in the era of helium shortage. However, in many experiments, the mechanical vibrations induced by the pulsed cryocoolers present a significant drawback reflected both in electronic and mechanical noises. Here, we present a hybrid dilution cryostat platform; we have automated a commercial closed-cycle system to operate on a cryocooler or on a liquid helium battery. We implemented a scanning SQUID microscope in the hybrid dilution refrigerator. In this work we show the design of the hybrid setup and how its operation eliminates vibration artefacts in magnetic imaging.
△ Less
Submitted 11 February, 2023;
originally announced February 2023.
-
Free structures and limiting density
Authors:
Johanna N. Y. Franklin,
Meng-Che "Turbo" Ho,
Julia Knight
Abstract:
Gromov asked what a typical (finitely presented) group looks like, and he suggested a way to make the question precise in terms of limiting density. The typical finitely generated group is known to share some important properties with the non-abelian free groups. We ask Gromov's question more generally, for structures in an arbitrary algebraic variety (in the sense of universal algebra), with pres…
▽ More
Gromov asked what a typical (finitely presented) group looks like, and he suggested a way to make the question precise in terms of limiting density. The typical finitely generated group is known to share some important properties with the non-abelian free groups. We ask Gromov's question more generally, for structures in an arbitrary algebraic variety (in the sense of universal algebra), with presentations of a specific form. We focus on elementary properties. We give examples illustrating different behaviors of the limiting density. Based on the examples, we identify sufficient conditions for the elementary first-order theory of the free structure to match that of the typical structure; i.e., a sentence is true in the free structure iff it has limiting density 1.
△ Less
Submitted 8 September, 2022;
originally announced September 2022.
-
Partial Product Aware Machine Learning on DNA-Encoded Libraries
Authors:
Polina Binder,
Meghan Lawler,
LaShadric Grady,
Neil Carlson,
Sumudu Leelananda,
Svetlana Belyanskaya,
Joe Franklin,
Nicolas Tilmans,
Henri Palacci
Abstract:
DNA encoded libraries (DELs) are used for rapid large-scale screening of small molecules against a protein target. These combinatorial libraries are built through several cycles of chemistry and DNA ligation, producing large sets of DNA-tagged molecules. Training machine learning models on DEL data has been shown to be effective at predicting molecules of interest dissimilar from those in the orig…
▽ More
DNA encoded libraries (DELs) are used for rapid large-scale screening of small molecules against a protein target. These combinatorial libraries are built through several cycles of chemistry and DNA ligation, producing large sets of DNA-tagged molecules. Training machine learning models on DEL data has been shown to be effective at predicting molecules of interest dissimilar from those in the original DEL. Machine learning chemical property prediction approaches rely on the assumption that the property of interest is linked to a single chemical structure. In the context of DNA-encoded libraries, this is equivalent to assuming that every chemical reaction fully yields the desired product. However, in practice, multi-step chemical synthesis sometimes generates partial molecules. Each unique DNA tag in a DEL therefore corresponds to a set of possible molecules. Here, we leverage reaction yield data to enumerate the set of possible molecules corresponding to a given DNA tag. This paper demonstrates that training a custom GNN on this richer dataset improves accuracy and generalization performance.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
A Hippocratic Oath for mathematicians? Map** the landscape of ethics in mathematics
Authors:
Dennis Müller,
Maurice Chiodo,
James Franklin
Abstract:
While the consequences of mathematically-based software, algorithms and strategies have become ever wider and better appreciated, ethical reflection on mathematics has remained primitive. We review the somewhat disconnected suggestions of commentators in recent decades with a view to piecing together a coherent approach to ethics in mathematics. Calls for a Hippocratic Oath for mathematicians are…
▽ More
While the consequences of mathematically-based software, algorithms and strategies have become ever wider and better appreciated, ethical reflection on mathematics has remained primitive. We review the somewhat disconnected suggestions of commentators in recent decades with a view to piecing together a coherent approach to ethics in mathematics. Calls for a Hippocratic Oath for mathematicians are examined and it is concluded that while lessons can be learned from the medical profession, the relation of mathematicians to those affected by their work is significantly different. There is something to be learned also from the codes of conduct of cognate but professionalised quantitative disciplines such as engineering and accountancy, as well as from legal principles bearing on professional work. We conclude with recommendations that professional societies in mathematics should sponsor an (international) code of ethics, institutional mission statements for mathematicians and syllabuses for incorporation into mathematics degrees.
△ Less
Submitted 13 December, 2021;
originally announced December 2021.
-
Structural Highness Notions
Authors:
Wesley Calvert,
Johanna N. Y. Franklin,
Dan Turetsky
Abstract:
We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and several other problems related to computing isomorphisms. These other problems include Scott analysis (in the form of back-and-forth relations), jump hierarchies,…
▽ More
We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and several other problems related to computing isomorphisms. These other problems include Scott analysis (in the form of back-and-forth relations), jump hierarchies, and computing descending sequences in linear orders.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Directional field-dependence of tunable magnetic domains in noncentrosymmetric ferromagnetic Weyl semimetal CeAlSi
Authors:
Bochao Xu,
Jacob Franklin,
Hung-Yu Yang,
Fazel Tafti,
Ilya Sochnikov
Abstract:
Dynamics and textures of magnetic domain walls (DWs) may largely alter the electronic behaviors in a Weyl semimetal system via emergent gauge fields. However, very little is known about even the basic properties of these domain walls in Weyl materials. In this work, we imaged the spontaneous magnetization and magnetic susceptibility of a ferromagnetic (FM) Weyl semimetal CeAlSi using scanning SQUI…
▽ More
Dynamics and textures of magnetic domain walls (DWs) may largely alter the electronic behaviors in a Weyl semimetal system via emergent gauge fields. However, very little is known about even the basic properties of these domain walls in Weyl materials. In this work, we imaged the spontaneous magnetization and magnetic susceptibility of a ferromagnetic (FM) Weyl semimetal CeAlSi using scanning SQUID microscopy. We observed the ferromagnetic DWs lined-up with the [100] direction (or other degenerate directions). We also discovered the coexistence of stable and metastable domain phases, which arise likely due to magnetoelastic and magnetostriction effects and are expected to be highly tunable with small strains. We applied an in-plane external field as the CeAlSi sample was cooled down to below the magnetic phase transition of 8.3K, showing that the pattern of FM domains is strongly correlated with both the amplitude and the orientation of the external field even for weak fields of a few Gauss. The area of stable domains increases with field and reaches maximum when the field is parallel to the main crystallographic axes of the CeAlSi crystal. Our results suggest that the manipulation of these heterogeneous phases can provide a practical way to study the interplay between magnetism and electronic properties in Weyl systems, and that these systems can even serve as a new platform for magnetic sensors.
△ Less
Submitted 29 May, 2021;
originally announced May 2021.
-
Electromagnetic Power Emitted by an Accelerating Point Charge
Authors:
Jerrold Franklin
Abstract:
We derive the rate of emission of electromagnetic energy by an accelerating point charge, with the acceleration and velocity in the result being taken at the present time in the motion of the accelerating charge. This contrasts with the usual textbook derivation, which calculates the energy radiated through the surface of a large sphere, and gives the rate of radiated energy in terms of the accele…
▽ More
We derive the rate of emission of electromagnetic energy by an accelerating point charge, with the acceleration and velocity in the result being taken at the present time in the motion of the accelerating charge. This contrasts with the usual textbook derivation, which calculates the energy radiated through the surface of a large sphere, and gives the rate of radiated energy in terms of the acceleration and velocity at an arbitrary retarded time.
△ Less
Submitted 5 April, 2022; v1 submitted 9 March, 2021;
originally announced March 2021.
-
Colossal Magnetoresistance without Mixed Valence in a Layered Phosphide Crystal
Authors:
Zhi-Cheng Wang,
Jared D. Rogers,
Xiaohan Yao,
Renee Nichols,
Kemal Atay,
Bochao Xu,
Jacob Franklin,
Ilya Sochnikov,
Philip J. Ryan,
Daniel Haskel,
Fazel Tafti
Abstract:
Materials with strong magnetoresistive responses are the backbone of spintronic technology, magnetic sensors, and hard drives. Among them, manganese oxides with a mixed valence and a cubic perovskite structure stand out due to their colossal magnetoresistance (CMR). A double exchange interaction underlies the CMR in manganates, whereby charge transport is enhanced when the spins on neighboring Mn3…
▽ More
Materials with strong magnetoresistive responses are the backbone of spintronic technology, magnetic sensors, and hard drives. Among them, manganese oxides with a mixed valence and a cubic perovskite structure stand out due to their colossal magnetoresistance (CMR). A double exchange interaction underlies the CMR in manganates, whereby charge transport is enhanced when the spins on neighboring Mn3+ and Mn4+ ions are parallel. Prior efforts to find different materials or mechanisms for CMR resulted in a much smaller effect. Here we show an enormous CMR at low temperatures in EuCd2P2 without manganese, oxygen, mixed valence, or cubic perovskite structure. EuCd2P2 has a layered trigonal lattice and exhibits antiferromagnetic ordering at 11 K. The magnitude of CMR (104 percent) in as-grown crystals of EuCd2P2 rivals the magnitude in optimized thin films of manganates. Our magnetization, transport, and synchrotron X-ray data suggest that strong magnetic fluctuations are responsible for this phenomenon. The realization of CMR at low temperatures without heterovalency leads to a new regime for materials and technologies related to antiferromagnetic spintronics.
△ Less
Submitted 30 January, 2021;
originally announced February 2021.
-
Scanning SQUID characterization of extremely overdoped $La_{2-x}Sr_{x}CuO_{4}$
Authors:
Chloe Herrera,
Jacob Franklin,
Ivan Božović,
Xi He,
Ilya Sochnikov
Abstract:
Recently, advances in film synthesis methods have enabled a study of extremely overdoped $La_{2-x}Sr_{x}CuO_{4}$. This has revealed a surprising behavior of the superfluid density as a function of do** and temperature, the explanation of which is vividly debated. One popular class of models posits electronic phase separation, where the superconducting phase fraction decreases with do**, while…
▽ More
Recently, advances in film synthesis methods have enabled a study of extremely overdoped $La_{2-x}Sr_{x}CuO_{4}$. This has revealed a surprising behavior of the superfluid density as a function of do** and temperature, the explanation of which is vividly debated. One popular class of models posits electronic phase separation, where the superconducting phase fraction decreases with do**, while some competing phase (e.g. ferromagnetic) progressively takes over. A problem with this scenario is that all the way up to the dome edge the superconducting transition remains sharp, according to mutual inductance measurements. However, the physically relevant scale is the Pearl penetration depth, $Λ_{P}$, and this technique probes the sample on a length scale $L$ that is much larger than $Λ_{P}$. In the present paper, we use local scanning SQUID measurements that probe the susceptibility of the sample on the scale $L << Λ_{P}$. Our SQUID maps show uniform landscapes of susceptibility and excellent overall agreement of the local penetration depth data with the bulk measurements. These results contribute an important piece to the puzzle of how high-temperature superconductivity vanishes on the overdoped side of the cuprates phase diagram.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Picoscale Magnetoelasticity Governs Heterogeneous Magnetic Domains in a Noncentrosymmetric Ferromagnetic Weyl Semimetal
Authors:
Bochao Xu,
Jacob Franklin,
Hung-Yu Yang,
Fazel Tafti,
Ilya Sochnikov
Abstract:
Magnetic Weyl semimetals are predicted to host emergent electromagnetic fields at heterogeneous strained phases or at the magnetic domain walls. Tunability and control of the topological and magnetic properties is crucial for revealing these phenomena, which are not well understood or fully realized yet. Here, we use a scanning SQUID microscope to image spontaneous magnetization and magnetic susce…
▽ More
Magnetic Weyl semimetals are predicted to host emergent electromagnetic fields at heterogeneous strained phases or at the magnetic domain walls. Tunability and control of the topological and magnetic properties is crucial for revealing these phenomena, which are not well understood or fully realized yet. Here, we use a scanning SQUID microscope to image spontaneous magnetization and magnetic susceptibility of CeAlSi, a noncentrosymmetric ferromagnetic Weyl semimetal candidate. We observe large metastable domains alongside stable ferromagnetic domains. The metastable domains most likely embody a type of frustrated or glassy magnetic phase, with excitations that may be of an emergent and exotic nature. We find evidence that the heterogeneity of the two types of domains arises from magnetoelastic or magnetostriction effects. We show how these domains form, how they interact, and how they can be manipulated or stabilized with estimated lattice strains on picometer levels. CeAlSi is a frontier material for straintronics in correlated topological systems.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Computable classifications of continuous, transducer, and regular functions
Authors:
Johanna N. Y. Franklin,
Rupert Hölzl,
Alexander Melnikov,
Keng Meng Ng,
Daniel Turetsky
Abstract:
We develop a systematic algorithmic framework that unites global and local classification problems for functional separable spaces and apply it to attack classification problems concerning the Banach space C[0,1] of real-valued continuous functions on the unit interval. We prove that the classification problem for continuous (binary) regular functions among almost everywhere linear, pointwise line…
▽ More
We develop a systematic algorithmic framework that unites global and local classification problems for functional separable spaces and apply it to attack classification problems concerning the Banach space C[0,1] of real-valued continuous functions on the unit interval. We prove that the classification problem for continuous (binary) regular functions among almost everywhere linear, pointwise linear-time Lipshitz functions is $Σ^0_2$-complete. We show that a function $f\colon [0,1] \rightarrow \mathbb{R}$ is (binary) transducer if and only if it is continuous regular; interestingly, this peculiar and nontrivial fact was overlooked by experts in automata theory. As one of many consequences, our $Σ^0_2$-completeness result covers the class of transducer functions as well. Finally, we show that the Banach space $C[0,1]$ of real-valued continuous functions admits an arithmetical classification among separable Banach spaces. Our proofs combine methods of abstract computability theory, automata theory, and functional analysis.
△ Less
Submitted 2 October, 2022; v1 submitted 19 October, 2020;
originally announced October 2020.
-
A Magnetic Velocity Verlet Method
Authors:
A. Chambliss,
J. Franklin
Abstract:
We discuss an extension of the velocity Verlet method that accurately approximates the kinetic-energy-conserving charged particle motion that comes from magnetic forcing. For a uniform magnetic field, the method is shown to conserve both particle kinetic energy and magnetic dipole moment better than midpoint Runge-Kutta. We then use the magnetic velocity Verlet method to generate trapped particle…
▽ More
We discuss an extension of the velocity Verlet method that accurately approximates the kinetic-energy-conserving charged particle motion that comes from magnetic forcing. For a uniform magnetic field, the method is shown to conserve both particle kinetic energy and magnetic dipole moment better than midpoint Runge-Kutta. We then use the magnetic velocity Verlet method to generate trapped particle trajectories, both in a cylindrical magnetic mirror machine setup, and for dipolar fields like the earth's magnetic field. Finally, the method is used to compute an example of (single) mirror motion in the presence of a magnetic monopole field, where the trajectory can be described in closed form.
△ Less
Submitted 26 August, 2020;
originally announced August 2020.
-
A new noncollinear ferromagnetic Weyl semimetal with anisotropic anomalous Hall effect
Authors:
Hung-Yu Yang,
Bahadur Singh,
Jonathan Gaudet,
Baozhu Lu,
Cheng-Yi Huang,
Wei-Chi Chiu,
Shin-Ming Huang,
Baokai Wang,
Faranak Bahrami,
Bochao Xu,
Jacob Franklin,
Ilya Sochnikov,
David E. Graf,
Guangyong Xu,
Yang Zhao,
Christina M. Hoffman,
Hsin Lin,
Darius H. Torchinsky,
Collin L. Broholm,
Arun Bansil,
Fazel Tafti
Abstract:
A develo** frontier in condensed matter physics is the emergence of novel electromagnetic responses, such as topological and anomalous Hall effect (AHE), in ferromagnetic Weyl semimetals (FM-WSMs). Candidates of FM-WSM are limited to materials that preserve inversion symmetry and generate Weyl crossings by breaking time-reversal symmetry. These materials share three common features: a centrosymm…
▽ More
A develo** frontier in condensed matter physics is the emergence of novel electromagnetic responses, such as topological and anomalous Hall effect (AHE), in ferromagnetic Weyl semimetals (FM-WSMs). Candidates of FM-WSM are limited to materials that preserve inversion symmetry and generate Weyl crossings by breaking time-reversal symmetry. These materials share three common features: a centrosymmetric lattice, a collinear FM ordering, and a large AHE observed when the field is parallel to the magnetic easy-axis. Here, we present CeAlSi as a new type of FM-WSM, where the Weyl nodes are stabilized by breaking inversion symmetry, but their positions are tuned by breaking time-reversal symmetry. Unlike the other FM-WSMs, CeAlSi has a noncentrosymmetric lattice, a noncollinear FM ordering, and a novel AHE that is anisotropic between the easy- and hard-axes. It also exhibits large FM domains that are promising for both device applications and an interplay between the Weyl nodes and FM domain walls.
△ Less
Submitted 18 March, 2021; v1 submitted 14 June, 2020;
originally announced June 2020.
-
Fast and Reliable Missing Data Contingency Analysis with Predicate-Constraints
Authors:
Xi Liang,
Zechao Shang,
Aaron J. Elmore,
Sanjay Krishnan,
Michael J. Franklin
Abstract:
Today, data analysts largely rely on intuition to determine whether missing or withheld rows of a dataset significantly affect their analyses. We propose a framework that can produce automatic contingency analysis, i.e., the range of values an aggregate SQL query could take, under formal constraints describing the variation and frequency of missing data tuples. We describe how to process SUM, COUN…
▽ More
Today, data analysts largely rely on intuition to determine whether missing or withheld rows of a dataset significantly affect their analyses. We propose a framework that can produce automatic contingency analysis, i.e., the range of values an aggregate SQL query could take, under formal constraints describing the variation and frequency of missing data tuples. We describe how to process SUM, COUNT, AVG, MIN, and MAX queries in these conditions resulting in hard error bounds with testable constraints. We propose an optimization algorithm based on an integer program that reconciles a set of such constraints, even if they are overlap**, conflicting, or unsatisfiable, into such bounds. Our experiments on real-world datasets against several statistical imputation and inference baselines show that statistical techniques can have a deceptively high error rate that is often unpredictable. In contrast, our framework offers hard bounds that are guaranteed to hold if the constraints are not violated. In spite of these hard bounds, we show competitive accuracy to statistical baselines.
△ Less
Submitted 8 April, 2020;
originally announced April 2020.
-
Key developments in algorithmic randomness
Authors:
Johanna N. Y. Franklin,
Christopher P. Porter
Abstract:
The goal of this introductory survey is to present the major developments of algorithmic randomness with an eye toward its historical development. While two highly comprehensive books and one thorough survey article have been written on the subject, our goal is to provide an introduction to algorithmic randomness that will be both useful for newcomers who want to develop a sense of the field quick…
▽ More
The goal of this introductory survey is to present the major developments of algorithmic randomness with an eye toward its historical development. While two highly comprehensive books and one thorough survey article have been written on the subject, our goal is to provide an introduction to algorithmic randomness that will be both useful for newcomers who want to develop a sense of the field quickly and interesting for researchers already in the field who would like to see these results presented in chronological order.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Quark model relations for b-baryon decay
Authors:
Jerrold Franklin
Abstract:
Properties of b-baryon decay matrix elements (amplitudes) have been derived in a nonsymmetric quark model without any use of SU(6), SU(3), or SU(2) (isotopic spin) groups. Equalities between pairs of amplitudes are derived, and $Λ-Σ$ mixing is used to calculate the branching ratio for the transition $Λ_b\rightarrow Σ^0$.
Properties of b-baryon decay matrix elements (amplitudes) have been derived in a nonsymmetric quark model without any use of SU(6), SU(3), or SU(2) (isotopic spin) groups. Equalities between pairs of amplitudes are derived, and $Λ-Σ$ mixing is used to calculate the branching ratio for the transition $Λ_b\rightarrow Σ^0$.
△ Less
Submitted 12 May, 2020; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Giant Grüneisen parameter in a strain-tuned superconducting quantum paraelectric: A consequence of the vanishing ferroelectric phonon energy
Authors:
Jacob Franklin,
Bochao Xu,
Donovan Davino,
Alexander V. Balatsky,
Ulrich Aschauer,
Ilya Sochnikov
Abstract:
Superconductivity and ferroelectricity are typically incompatible because the former needs free carriers, but the latter is usually suppressed by free carriers, unless their concentration is low. In the case of strontium titanate with low carrier concentration, unconventional superconductivity and ferroelectricity were shown to be correlated. Here, we report theoretically and experimentally evalua…
▽ More
Superconductivity and ferroelectricity are typically incompatible because the former needs free carriers, but the latter is usually suppressed by free carriers, unless their concentration is low. In the case of strontium titanate with low carrier concentration, unconventional superconductivity and ferroelectricity were shown to be correlated. Here, we report theoretically and experimentally evaluated Grüneisen parameters whose divergence under tensile stress indicates that the dominant phonon mode that enhances the superconducting order is the ferroelectric transverse soft-mode. This finding rules out all other phonon modes as the main contributors to the enhanced superconductivity in strained strontium titanate. This methodology shown here can be applied to many other quantum materials.
△ Less
Submitted 17 March, 2020;
originally announced March 2020.
-
Understanding and Optimizing Packed Neural Network Training for Hyper-Parameter Tuning
Authors:
Rui Liu,
Sanjay Krishnan,
Aaron J. Elmore,
Michael J. Franklin
Abstract:
As neural networks are increasingly employed in machine learning practice, how to efficiently share limited training resources among a diverse set of model training tasks becomes a crucial issue. To achieve better utilization of the shared resources, we explore the idea of jointly training multiple neural network models on a single GPU in this paper. We realize this idea by proposing a primitive,…
▽ More
As neural networks are increasingly employed in machine learning practice, how to efficiently share limited training resources among a diverse set of model training tasks becomes a crucial issue. To achieve better utilization of the shared resources, we explore the idea of jointly training multiple neural network models on a single GPU in this paper. We realize this idea by proposing a primitive, called pack. We further present a comprehensive empirical study of pack and end-to-end experiments that suggest significant improvements for hyperparameter tuning. The results suggest: (1) packing two models can bring up to 40% performance improvement over unpacked setups for a single training step and the improvement increases when packing more models; (2) the benefit of the pack primitive largely depends on a number of factors including memory capacity, chip architecture, neural network structure, and batch size; (3) there exists a trade-off between packing and unpacking when training multiple neural network models on limited resources; (4) a pack-aware Hyperband is up to 2.7x faster than the original Hyperband, with this improvement growing as memory size increases and subsequently the density of models packed.
△ Less
Submitted 24 April, 2021; v1 submitted 7 February, 2020;
originally announced February 2020.
-
Data Market Platforms: Trading Data Assets to Solve Data Problems
Authors:
Raul Castro Fernandez,
Pranav Subramaniam,
Michael J. Franklin
Abstract:
Data only generates value for a few organizations with expertise and resources to make data shareable, discoverable, and easy to integrate. Sharing data that is easy to discover and integrate is hard because data owners lack information (who needs what data) and they do not have incentives to prepare the data in a way that is easy to consume by others.
In this paper, we propose data market platf…
▽ More
Data only generates value for a few organizations with expertise and resources to make data shareable, discoverable, and easy to integrate. Sharing data that is easy to discover and integrate is hard because data owners lack information (who needs what data) and they do not have incentives to prepare the data in a way that is easy to consume by others.
In this paper, we propose data market platforms to address the lack of information and incentives and tackle the problems of data sharing, discovery, and integration. In a data market platform, data owners want to share data because they will be rewarded if they do so. Consumers are encouraged to share their data needs because the market will solve the discovery and integration problem for them in exchange for some form of currency.
We consider internal markets that operate within organizations to bring down data silos, as well as external markets that operate across organizations to increase the value of data for everybody. We outline a research agenda that revolves around two problems. The problem of market design, or how to design rules that lead to the outcomes we want, and the systems problem, how to implement the market and enforce the rules. Treating data as a first-class asset is sorely needed to extend the value of data to more organizations, and we propose data market platforms as one mechanism to achieve this goal.
△ Less
Submitted 1 July, 2020; v1 submitted 3 February, 2020;
originally announced February 2020.
-
Millikelvin-compatible apparatus for studies of quantum materials under uniaxial stress
Authors:
Donovan Davino,
Jacob Franklin,
Ilya Sochnikov
Abstract:
Various new phenomena emerge in quantum materials under elastic deformations, such as hydrostatic or uniaxial stresses. In particular, using uniaxial strain or stress can help to tune or uncover specific structural or electronic orders in materials with multiple coexisting phases. Those phases may be associated with a quantum phase transition requiring a millikelvin environment combined with multi…
▽ More
Various new phenomena emerge in quantum materials under elastic deformations, such as hydrostatic or uniaxial stresses. In particular, using uniaxial strain or stress can help to tune or uncover specific structural or electronic orders in materials with multiple coexisting phases. Those phases may be associated with a quantum phase transition requiring a millikelvin environment combined with multiple experimental probes. Here, we describe our unique apparatus, which allows in situ tuning of strain in large samples inside a dilution refrigerator while the samples are monitored via an optical microscope. We describe the engineering details and show some typical results of characterizing superconducting strontium titanate under stress. This letter should serve as a practical reference for experts in ultra-low temperature experimental physics involving uniaxial stresses or strains.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Degrees of and lowness for isometric isomorphism
Authors:
Johanna N. Y. Franklin,
Timothy H. McNicholl
Abstract:
We contribute to the program of extending computable structure theory to the realm of metric structures by investigating lowness for isometric isomorphism of metric structures. We show that lowness for isomorphism coincides with lowness for isometric isomorphism and with lowness for isometry of metric spaces. We also examine certain restricted notions of lowness for isometric isomorphism with resp…
▽ More
We contribute to the program of extending computable structure theory to the realm of metric structures by investigating lowness for isometric isomorphism of metric structures. We show that lowness for isomorphism coincides with lowness for isometric isomorphism and with lowness for isometry of metric spaces. We also examine certain restricted notions of lowness for isometric isomorphism with respect to fixed computable presentations, and, in this vein, we obtain classifications of the degrees that are low for isometric isomorphism with respect to the standard copies of certain Lebesgue spaces.
△ Less
Submitted 13 November, 2019;
originally announced November 2019.
-
Lowness for isomorphism, countable ideals, and computable traceability
Authors:
Johanna N. Y. Franklin,
Reed Solomon
Abstract:
We show that every countable ideal of degrees that are low for isomorphism is contained in a principal ideal of degrees that are low for isomorphism by adapting an exact pair construction. We further show that within the hyperimmune-free degrees, lowness for isomorphism is entirely independent of computable traceability.
We show that every countable ideal of degrees that are low for isomorphism is contained in a principal ideal of degrees that are low for isomorphism by adapting an exact pair construction. We further show that within the hyperimmune-free degrees, lowness for isomorphism is entirely independent of computable traceability.
△ Less
Submitted 12 September, 2019;
originally announced September 2019.
-
Taking the path computably travelled
Authors:
Johanna N. Y. Franklin,
Dan Turetsky
Abstract:
We define a real $A$ to be low for paths in Baire space (or Cantor space) if every $Π^0_1$ class with an $A$-computable element has a computable element. We prove that lowness for paths in Baire space and lowness for paths in Cantor space are equivalent and, furthermore, that these notions are also equivalent to lowness for isomorphism.
We define a real $A$ to be low for paths in Baire space (or Cantor space) if every $Π^0_1$ class with an $A$-computable element has a computable element. We prove that lowness for paths in Baire space and lowness for paths in Cantor space are equivalent and, furthermore, that these notions are also equivalent to lowness for isomorphism.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
DLHub: Model and Data Serving for Science
Authors:
Ryan Chard,
Zhuozhao Li,
Kyle Chard,
Logan Ward,
Yadu Babuji,
Anna Woodard,
Steve Tuecke,
Ben Blaiszik,
Michael J. Franklin,
Ian Foster
Abstract:
While the Machine Learning (ML) landscape is evolving rapidly, there has been a relative lag in the development of the "learning systems" needed to enable broad adoption. Furthermore, few such systems are designed to support the specialized requirements of scientific ML. Here we present the Data and Learning Hub for science (DLHub), a multi-tenant system that provides both model repository and ser…
▽ More
While the Machine Learning (ML) landscape is evolving rapidly, there has been a relative lag in the development of the "learning systems" needed to enable broad adoption. Furthermore, few such systems are designed to support the specialized requirements of scientific ML. Here we present the Data and Learning Hub for science (DLHub), a multi-tenant system that provides both model repository and serving capabilities with a focus on science applications. DLHub addresses two significant shortcomings in current systems. First, its selfservice model repository allows users to share, publish, verify, reproduce, and reuse models, and addresses concerns related to model reproducibility by packaging and distributing models and all constituent components. Second, it implements scalable and low-latency serving capabilities that can leverage parallel and distributed computing resources to democratize access to published models through a simple web interface. Unlike other model serving frameworks, DLHub can store and serve any Python 3-compatible model or processing function, plus multiple-function pipelines. We show that relative to other model serving systems including TensorFlow Serving, SageMaker, and Clipper, DLHub provides greater capabilities, comparable performance without memoization and batching, and significantly better performance when the latter two techniques can be employed. We also describe early uses of DLHub for scientific applications.
△ Less
Submitted 27 November, 2018;
originally announced November 2018.
-
Towards a New Paradigm of UAV Safety
Authors:
Juan-Pablo Afman,
Laurent Ciarletta,
Eric Feron,
John Franklin,
Thomas Gurriet,
Eric N. Johnson
Abstract:
With the rising popularity of UAVs in the civilian world, we are currently witnessing and paradim shift in terms of operational safety of flying vehicles. Safe and ubiquitous human-system interaction shall remain the core requirement but those prescribed in general aviation are not adapted for UAVs. Yet we believe it is possible to leverage the specific aspects of unmanned aviation to meet accepta…
▽ More
With the rising popularity of UAVs in the civilian world, we are currently witnessing and paradim shift in terms of operational safety of flying vehicles. Safe and ubiquitous human-system interaction shall remain the core requirement but those prescribed in general aviation are not adapted for UAVs. Yet we believe it is possible to leverage the specific aspects of unmanned aviation to meet acceptable safety requirements. We start this paper with by discussing the new operational context of civilian UAVs and investigate the meaning of safety in light of this new context. Next, we explore the different approaches to ensuring system safety from an avionics point of view. Subsets of operational requirements such as geofencing or mechanical systems for termination or impact limitation can easily be implemented. These are presented with the goal of limiting the collateral damages of a system failure. We then present some experimental results regarding two of the major problems with UAVs. With actual impacts, we demonstrate how dangerous uncontrolled crashes can be. Furthermore, with the large number of runaway drone experiences during civilian operations, the risk is even higher as they can travel a long way before crashing. We provide data on such a case where the software controller is working, kee** the UAV in the air, but the operator is unable to actually control the system. It should be terminated! Finally, after having analyzed the context and some actual solutions, based on a minimal set of requirement and our own experience, we are proposing a simple mechanical based safety system. It unequivocally terminates the flight in the most efficient way by instantly removing parts of the propellers leaving a minimal lifting surface. It takes advantage of what controllability may remain but with a deterministic ending: a definite landing.
△ Less
Submitted 23 March, 2018;
originally announced March 2018.
-
BoostClean: Automated Error Detection and Repair for Machine Learning
Authors:
Sanjay Krishnan,
Michael J. Franklin,
Ken Goldberg,
Eugene Wu
Abstract:
Predictive models based on machine learning can be highly sensitive to data error. Training data are often combined with a variety of different sources, each susceptible to different types of inconsistencies, and new data streams during prediction time, the model may encounter previously unseen inconsistencies. An important class of such inconsistencies is domain value violations that occur when a…
▽ More
Predictive models based on machine learning can be highly sensitive to data error. Training data are often combined with a variety of different sources, each susceptible to different types of inconsistencies, and new data streams during prediction time, the model may encounter previously unseen inconsistencies. An important class of such inconsistencies is domain value violations that occur when an attribute value is outside of an allowed domain. We explore automatically detecting and repairing such violations by leveraging the often available clean test labels to determine whether a given detection and repair combination will improve model accuracy. We present BoostClean which automatically selects an ensemble of error detection and repair combinations using statistical boosting. BoostClean selects this ensemble from an extensible library that is pre-populated general detection functions, including a novel detector based on the Word2Vec deep learning model, which detects errors across a diverse set of domains. Our evaluation on a collection of 12 datasets from Kaggle, the UCI repository, real-world data analyses, and production datasets that show that Boost- Clean can increase absolute prediction accuracy by up to 9% over the best non-ensembled alternatives. Our optimizations including parallelism, materialization, and indexing techniques show a 22.2x end-to-end speedup on a 16-core machine.
△ Less
Submitted 3 November, 2017;
originally announced November 2017.
-
MARVEL analysis of the measured high-resolution rovibrational spectra of C2H2
Authors:
Katy L. Chubb,
Megan Joseph,
Jack Franklin,
Naail Choudhury,
Tibor Furtenbacher,
Attila G. Csàszàr,
Glenda Gaspard,
Patari Oguoko,
Adam Kelly,
Sergei N. Yurchenko,
Jonathan Tennyson,
Clara Sousa-Silva
Abstract:
Rotation-vibration energy levels are determined for the electronic ground state of the acetylene molecule, $^{12}$C$_2$H$_2$, using the Measured Active Rotational-Vibrational Energy Levels (MARVEL) technique. 37,813 measured transitions from 61 publications are considered. The distinct components of the spectroscopic network linking ortho and para states are considered separately. The 20,717 ortho…
▽ More
Rotation-vibration energy levels are determined for the electronic ground state of the acetylene molecule, $^{12}$C$_2$H$_2$, using the Measured Active Rotational-Vibrational Energy Levels (MARVEL) technique. 37,813 measured transitions from 61 publications are considered. The distinct components of the spectroscopic network linking ortho and para states are considered separately. The 20,717 ortho and 17,096 para transitions measured experimentally are used to determine 6013 ortho and 5200 para energy levels. The MARVEL results are compared with alternative compilations based on the use of effective Hamiltonians.
△ Less
Submitted 11 September, 2017;
originally announced September 2017.
-
The (Weak) Gravitational Field of a Dirac Monopole
Authors:
E. Banyas,
J. Franklin
Abstract:
We establish the gravitational detectability of a Dirac monopole using a weak-field limit of general relativity, which can be developed from the Newtonian gravitational potential by including energy as a source. The resulting potential matches (by construction) the weak-field limit of two different solutions to Einstein's equations of general relativity: one associated with the magnetically monopo…
▽ More
We establish the gravitational detectability of a Dirac monopole using a weak-field limit of general relativity, which can be developed from the Newtonian gravitational potential by including energy as a source. The resulting potential matches (by construction) the weak-field limit of two different solutions to Einstein's equations of general relativity: one associated with the magnetically monopolar spray of field lines emerging from the half-infinite solenoid that makes up the Dirac monopole, the other associated with the field-energetic source of the solenoid itself (the Dirac string). The string's gravitational effect dominates, and we suggest that the primary strong-field contribution of the Dirac configuration is that of a half-infinite line of energy, whose GR solution is known.
△ Less
Submitted 17 August, 2017;
originally announced August 2017.
-
Collaborative-controlled LASSO for Constructing Propensity Score-based Estimators in High-Dimensional Data
Authors:
Cheng Ju,
Richard Wyss,
Jessica M. Franklin,
Sebastian Schneeweiss,
Jenny Häggström,
Mark J. van der Laan
Abstract:
Propensity score (PS) based estimators are increasingly used for causal inference in observational studies. However, model selection for PS estimation in high-dimensional data has received little attention. In these settings, PS models have traditionally been selected based on the goodness-of-fit for the treatment mechanism itself, without consideration of the causal parameter of interest. Collabo…
▽ More
Propensity score (PS) based estimators are increasingly used for causal inference in observational studies. However, model selection for PS estimation in high-dimensional data has received little attention. In these settings, PS models have traditionally been selected based on the goodness-of-fit for the treatment mechanism itself, without consideration of the causal parameter of interest. Collaborative minimum loss-based estimation (C-TMLE) is a novel methodology for causal inference that takes into account information on the causal parameter of interest when selecting a PS model. This "collaborative learning" considers variable associations with both treatment and outcome when selecting a PS model in order to minimize a bias-variance trade off in the estimated treatment effect. In this study, we introduce a novel approach for collaborative model selection when using the LASSO estimator for PS estimation in high-dimensional covariate settings. To demonstrate the importance of selecting the PS model collaboratively, we designed quasi-experiments based on a real electronic healthcare database, where only the potential outcomes were manually generated, and the treatment and baseline covariates remained unchanged. Results showed that the C-TMLE algorithm outperformed other competing estimators for both point estimation and confidence interval coverage. In addition, the PS model selected by C-TMLE could be applied to other PS-based estimators, which also resulted in substantive improvement for both point estimation and confidence interval coverage. We illustrate the discussed concepts through an empirical example comparing the effects of non-selective nonsteroidal anti-inflammatory drugs with selective COX-2 inhibitors on gastrointestinal complications in a population of Medicare beneficiaries.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
Scalable Collaborative Targeted Learning for High-Dimensional Data
Authors:
Cheng Ju,
Susan Gruber,
Samuel D. Lendle,
Antoine Chambaz,
Jessica M. Franklin,
Richard Wyss,
Sebastian Schneeweiss,
Mark J. van der Laan
Abstract:
Robust inference of a low-dimensional parameter in a large semi-parametric model relies on external estimators of infinite-dimensional features of the distribution of the data. Typically, only one of the latter is optimized for the sake of constructing a well behaved estimator of the low-dimensional parameter of interest. Optimizing more than one of them for the sake of achieving a better bias-var…
▽ More
Robust inference of a low-dimensional parameter in a large semi-parametric model relies on external estimators of infinite-dimensional features of the distribution of the data. Typically, only one of the latter is optimized for the sake of constructing a well behaved estimator of the low-dimensional parameter of interest. Optimizing more than one of them for the sake of achieving a better bias-variance trade-off in the estimation of the parameter of interest is the core idea driving the general template of the collaborative targeted minimum loss-based estimation (C-TMLE) procedure. The original implementation/instantiation of the C-TMLE template can be presented as a greedy forward stepwise C-TMLE algorithm. It does not scale well when the number $p$ of covariates increases drastically. This motivates the introduction of a novel instantiation of the C-TMLE template where the covariates are pre-ordered. Its time complexity is $\mathcal{O}(p)$ as opposed to the original $\mathcal{O}(p^2)$, a remarkable gain. We propose two pre-ordering strategies and suggest a rule of thumb to develop other meaningful strategies. Because it is usually unclear a priori which pre-ordering strategy to choose, we also introduce another implementation/instantiation called SL-C-TMLE algorithm that enables the data-driven choice of the better pre-ordering strategy given the problem at hand. Its time complexity is $\mathcal{O}(p)$ as well. The computational burden and relative performance of these algorithms were compared in simulation studies involving fully synthetic data or partially synthetic data based on a real world large electronic health database; and in analyses of three real, large electronic health databases. In all analyses involving electronic health databases, the greedy C-TMLE algorithm is unacceptably slow. Simulation studies indicate our scalable C-TMLE and SL-C-TMLE algorithms work well.
△ Less
Submitted 7 March, 2017;
originally announced March 2017.
-
Propensity score prediction for electronic healthcare databases using Super Learner and High-dimensional Propensity Score Methods
Authors:
Cheng Ju,
Mary Combs,
Samuel D Lendle,
Jessica M Franklin,
Richard Wyss,
Sebastian Schneeweiss,
Mark J. van der Laan
Abstract:
The optimal learner for prediction modeling varies depending on the underlying data-generating distribution. Super Learner (SL) is a generic ensemble learning algorithm that uses cross-validation to select among a "library" of candidate prediction models. The SL is not restricted to a single prediction model, but uses the strengths of a variety of learning algorithms to adapt to different database…
▽ More
The optimal learner for prediction modeling varies depending on the underlying data-generating distribution. Super Learner (SL) is a generic ensemble learning algorithm that uses cross-validation to select among a "library" of candidate prediction models. The SL is not restricted to a single prediction model, but uses the strengths of a variety of learning algorithms to adapt to different databases. While the SL has been shown to perform well in a number of settings, it has not been thoroughly evaluated in large electronic healthcare databases that are common in pharmacoepidemiology and comparative effectiveness research. In this study, we applied and evaluated the performance of the SL in its ability to predict treatment assignment using three electronic healthcare databases. We considered a library of algorithms that consisted of both nonparametric and parametric models. We also considered a novel strategy for prediction modeling that combines the SL with the high-dimensional propensity score (hdPS) variable selection algorithm. Predictive performance was assessed using three metrics: the negative log-likelihood, area under the curve (AUC), and time complexity. Results showed that the best individual algorithm, in terms of predictive performance, varied across datasets. The SL was able to adapt to the given dataset and optimize predictive performance relative to any individual learner. Combining the SL with the hdPS was the most consistent prediction method and may be promising for PS estimation and prediction modeling in electronic healthcare databases.
△ Less
Submitted 14 March, 2017; v1 submitted 7 March, 2017;
originally announced March 2017.
-
Clipper: A Low-Latency Online Prediction Serving System
Authors:
Daniel Crankshaw,
Xin Wang,
Giulio Zhou,
Michael J. Franklin,
Joseph E. Gonzalez,
Ion Stoica
Abstract:
Machine learning is being deployed in a growing number of applications which demand real-time, accurate, and robust predictions under heavy query load. However, most machine learning frameworks and systems only address model training and not deployment.
In this paper, we introduce Clipper, a general-purpose low-latency prediction serving system. Interposing between end-user applications and a wi…
▽ More
Machine learning is being deployed in a growing number of applications which demand real-time, accurate, and robust predictions under heavy query load. However, most machine learning frameworks and systems only address model training and not deployment.
In this paper, we introduce Clipper, a general-purpose low-latency prediction serving system. Interposing between end-user applications and a wide range of machine learning frameworks, Clipper introduces a modular architecture to simplify model deployment across frameworks and applications. Furthermore, by introducing caching, batching, and adaptive model selection techniques, Clipper reduces prediction latency and improves prediction throughput, accuracy, and robustness without modifying the underlying machine learning frameworks. We evaluate Clipper on four common machine learning benchmark datasets and demonstrate its ability to meet the latency, accuracy, and throughput demands of online serving applications. Finally, we compare Clipper to the TensorFlow Serving system and demonstrate that we are able to achieve comparable throughput and latency while enabling model composition and online learning to improve accuracy and render more robust predictions.
△ Less
Submitted 28 February, 2017; v1 submitted 9 December, 2016;
originally announced December 2016.
-
On the Design and Optimization of an Autonomous Microgravity Enabling Aerial Robot
Authors:
Juan-Pablo Afman,
John Franklin,
Mark L. Mote,
Thomas Gurriet,
Eric Feron
Abstract:
This paper describes the process and challenges behind the design and development of a micro-gravity enabling aerial robot. The vehicle, designed to provide at minimum 4 seconds of micro-gravity at an accuracy of .001 g's, is designed with suggestions and constraints from both academia and industry as well a regulatory agency. The feasibility of the flight mission is validated using a simulation e…
▽ More
This paper describes the process and challenges behind the design and development of a micro-gravity enabling aerial robot. The vehicle, designed to provide at minimum 4 seconds of micro-gravity at an accuracy of .001 g's, is designed with suggestions and constraints from both academia and industry as well a regulatory agency. The feasibility of the flight mission is validated using a simulation environment, where models obtained from system identification of existing hardware are implemented to increase the fidelity of the simulation. The current development of a physical test bed is described. The vehicle employs both control and autonomy logic, which is developed in the Simulink environment and executed in a Pixhawk flight control board.
△ Less
Submitted 23 November, 2016;
originally announced November 2016.
-
KeystoneML: Optimizing Pipelines for Large-Scale Advanced Analytics
Authors:
Evan R. Sparks,
Shivaram Venkataraman,
Tomer Kaftan,
Michael J. Franklin,
Benjamin Recht
Abstract:
Modern advanced analytics applications make use of machine learning techniques and contain multiple steps of domain-specific and general-purpose processing with high resource requirements. We present KeystoneML, a system that captures and optimizes the end-to-end large-scale machine learning applications for high-throughput training in a distributed environment with a high-level API. This approach…
▽ More
Modern advanced analytics applications make use of machine learning techniques and contain multiple steps of domain-specific and general-purpose processing with high resource requirements. We present KeystoneML, a system that captures and optimizes the end-to-end large-scale machine learning applications for high-throughput training in a distributed environment with a high-level API. This approach offers increased ease of use and higher performance over existing systems for large scale learning. We demonstrate the effectiveness of KeystoneML in achieving high quality statistical accuracy and scalable training using real world datasets in several domains. By optimizing execution KeystoneML achieves up to 15x training throughput over unoptimized execution on a real image classification application.
△ Less
Submitted 29 October, 2016;
originally announced October 2016.
-
Pieces-of-parts for supervoxel segmentation with global context: Application to DCE-MRI tumour delineation
Authors:
Benjamin Irving,
James M Franklin,
Bartlomiej W Papiez,
Ewan M Anderson,
Ricky A Sharma,
Fergus V Gleeson,
Sir Michael Brady,
Julia A Schnabel
Abstract:
Rectal tumour segmentation in dynamic contrast-enhanced MRI (DCE-MRI) is a challenging task, and an automated and consistent method would be highly desirable to improve the modelling and prediction of patient outcomes from tissue contrast enhancement characteristics - particularly in routine clinical practice. A framework is developed to automate DCE-MRI tumour segmentation, by introducing: perfus…
▽ More
Rectal tumour segmentation in dynamic contrast-enhanced MRI (DCE-MRI) is a challenging task, and an automated and consistent method would be highly desirable to improve the modelling and prediction of patient outcomes from tissue contrast enhancement characteristics - particularly in routine clinical practice. A framework is developed to automate DCE-MRI tumour segmentation, by introducing: perfusion-supervoxels to over-segment and classify DCE-MRI volumes using the dynamic contrast enhancement characteristics; and the pieces-of-parts graphical model, which adds global (anatomic) constraints that further refine the supervoxel components that comprise the tumour. The framework was evaluated on 23 DCE-MRI scans of patients with rectal adenocarcinomas, and achieved a voxelwise area-under the receiver operating characteristic curve (AUC) of 0.97 compared to expert delineations. Creating a binary tumour segmentation, 21 of the 23 cases were segmented correctly with a median Dice similarity coefficient (DSC) of 0.63, which is close to the inter-rater variability of this challenging task. A sec- ond study is also included to demonstrate the method's generalisability and achieved a DSC of 0.71. The framework achieves promising results for the underexplored area of rectal tumour segmentation in DCE-MRI, and the methods have potential to be applied to other DCE-MRI and supervoxel segmentation problems
△ Less
Submitted 18 April, 2016;
originally announced April 2016.
-
The Dynamics of the Schrodinger-Newton System with Self-Field Coupling
Authors:
J. Franklin,
Y. Guo,
K. Cole Newton,
M. Schlosshauer
Abstract:
We probe the dynamics of a modified form of the Schrodinger-Newton system of gravity coupled to single particle quantum mechanics. At the masses of interest here, the ones associated with the onset of "collapse" (where the gravitational attraction is competitive with the quantum mechanical dissipation), we show that the Schrodinger ground state energies match the Dirac ones with an error of ~ 10%.…
▽ More
We probe the dynamics of a modified form of the Schrodinger-Newton system of gravity coupled to single particle quantum mechanics. At the masses of interest here, the ones associated with the onset of "collapse" (where the gravitational attraction is competitive with the quantum mechanical dissipation), we show that the Schrodinger ground state energies match the Dirac ones with an error of ~ 10%. At the Planck mass scale, we predict the critical mass at which a potential collapse could occur for the self-coupled gravitational case, m ~ 3.3 Planck mass, and show that gravitational attraction opposes Gaussian spreading at around this value, which is a factor of two higher than the one predicted (and verified) for the Schrodinger-Newton system. Unlike the Schrodinger-Newton dynamics, we do not find that the self-coupled case tends to decay towards its ground state; there is no collapse in this case.
△ Less
Submitted 10 March, 2016;
originally announced March 2016.
-
Scalable Linear Causal Inference for Irregularly Sampled Time Series with Long Range Dependencies
Authors:
Francois W. Belletti,
Evan R. Sparks,
Michael J. Franklin,
Alexandre M. Bayen,
Joseph E. Gonzalez
Abstract:
Linear causal analysis is central to a wide range of important application spanning finance, the physical sciences, and engineering. Much of the existing literature in linear causal analysis operates in the time domain. Unfortunately, the direct application of time domain linear causal analysis to many real-world time series presents three critical challenges: irregular temporal sampling, long ran…
▽ More
Linear causal analysis is central to a wide range of important application spanning finance, the physical sciences, and engineering. Much of the existing literature in linear causal analysis operates in the time domain. Unfortunately, the direct application of time domain linear causal analysis to many real-world time series presents three critical challenges: irregular temporal sampling, long range dependencies, and scale. Moreover, real-world data is often collected at irregular time intervals across vast arrays of decentralized sensors and with long range dependencies which make naive time domain correlation estimators spurious. In this paper we present a frequency domain based estimation framework which naturally handles irregularly sampled data and long range dependencies while enabled memory and communication efficient distributed processing of time series data. By operating in the frequency domain we eliminate the need to interpolate and help mitigate the effects of long range dependencies. We implement and evaluate our new work-flow in the distributed setting using Apache Spark and demonstrate on both Monte Carlo simulations and high-frequency financial trading that we can accurately recover causal structure at scale.
△ Less
Submitted 10 March, 2016;
originally announced March 2016.
-
Complete Lorentz transformation of a charge-current density
Authors:
Jerrold Franklin
Abstract:
It is generally assumed in the literature that a Lorentz transformation on a neutral current loop results in a moving current loop with a nonvanishing charge distribution and an electric dipole moment. We show in this paper that this is not, in fact, correct. The derivation that leads to the charge distribution was based on an incomplete Lorentz transformation, which transforms the charge-current…
▽ More
It is generally assumed in the literature that a Lorentz transformation on a neutral current loop results in a moving current loop with a nonvanishing charge distribution and an electric dipole moment. We show in this paper that this is not, in fact, correct. The derivation that leads to the charge distribution was based on an incomplete Lorentz transformation, which transforms the charge-current four-vector $j^μ=[ρ({\bf r},t),{\bf j(r},t)]$, but not the space-time four-vector $x^μ=(t,{\bf r})$.
We show that completing the Lorentz transformation by using the variable $t'$ in the moving frame, rather than kee** the rest frame time variable $t$, results in there being no induced charge density and no resulting electric dipole moment.
△ Less
Submitted 26 May, 2020; v1 submitted 6 March, 2016;
originally announced March 2016.
-
Algorithmic randomness and Fourier analysis
Authors:
Johanna Franklin,
Timothy McNicholl,
Jason Rute
Abstract:
Suppose $1 < p < \infty$. Carleson's Theorem states that the Fourier series of any function in $L^p[-π, π]$ converges almost everywhere. We show that the Schnorr random points are precisely those that satisfy this theorem for every $f \in L^p[-π, π]$ given natural computability conditions on $f$ and $p$.
Suppose $1 < p < \infty$. Carleson's Theorem states that the Fourier series of any function in $L^p[-π, π]$ converges almost everywhere. We show that the Schnorr random points are precisely those that satisfy this theorem for every $f \in L^p[-π, π]$ given natural computability conditions on $f$ and $p$.
△ Less
Submitted 5 March, 2016;
originally announced March 2016.
-
Classical and Quantum Mechanical Motion in Magnetic Fields
Authors:
J. Franklin,
K. Cole Newton
Abstract:
We study the motion of a particle in a particular magnetic field configuration both classically and quantum mechanically. For flux-free radially symmetric magnetic fields defined on circular regions, we establish that particle escape speeds depend, classically, on a gauge-fixed magnetic vector potential, and demonstrate some trajectories associated with this special type of magnetic field. Then we…
▽ More
We study the motion of a particle in a particular magnetic field configuration both classically and quantum mechanically. For flux-free radially symmetric magnetic fields defined on circular regions, we establish that particle escape speeds depend, classically, on a gauge-fixed magnetic vector potential, and demonstrate some trajectories associated with this special type of magnetic field. Then we show that some of the geometric features of the classical trajectory (perpendicular exit from the field region, trapped and escape behavior) are reproduced quantum mechanically using a numerical method that extends the norm-preserving Crank-Nicolson method to problems involving magnetic fields. While there are similarities between the classical trajectory and the position expectation value of the quantum mechanical solution, there are also differences, and we demonstrate some of these.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.