-
An annotated bibliography for comparative prime number theory
Authors:
Greg Martin,
Pu Justin Scarfy Yang,
Aram Bahrini,
Prajeet Bajpai,
Kübra Benli,
Jenna Downey,
Yuan Yuan Li,
Xiaoxuan Liang,
Amir Parvardi,
Reginald Simpson,
Ethan Patrick White,
Chi Hoi Yip
Abstract:
The goal of this annotated bibliography is to record every publication on the topic of comparative prime number theory together with a summary of its results. We use a unified system of notation for the quantities being studied and for the hypotheses under which results are obtained. We encourage feedback on this manuscript (see the end of Section~1 for details).
The goal of this annotated bibliography is to record every publication on the topic of comparative prime number theory together with a summary of its results. We use a unified system of notation for the quantities being studied and for the hypotheses under which results are obtained. We encourage feedback on this manuscript (see the end of Section~1 for details).
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Accelerating LSTM-based High-Rate Dynamic System Models
Authors:
Ehsan Kabir,
Daniel Coble,
Joud N. Satme,
Austin R. J. Downey,
Jason D. Bakos,
David Andrews,
Miaoqing Huang
Abstract:
In this paper, we evaluate the use of a trained Long Short-Term Memory (LSTM) network as a surrogate for a Euler-Bernoulli beam model, and then we describe and characterize an FPGA-based deployment of the model for use in real-time structural health monitoring applications. The focus of our efforts is the DROPBEAR (Dynamic Reproduction of Projectiles in Ballistic Environments for Advanced Research…
▽ More
In this paper, we evaluate the use of a trained Long Short-Term Memory (LSTM) network as a surrogate for a Euler-Bernoulli beam model, and then we describe and characterize an FPGA-based deployment of the model for use in real-time structural health monitoring applications. The focus of our efforts is the DROPBEAR (Dynamic Reproduction of Projectiles in Ballistic Environments for Advanced Research) dataset, which was generated as a benchmark for the study of real-time structural modeling applications. The purpose of DROPBEAR is to evaluate models that take vibration data as input and give the initial conditions of the cantilever beam on which the measurements were taken as output. DROPBEAR is meant to serve an exemplar for emerging high-rate "active structures" that can be actively controlled with feedback latencies of less than one microsecond. Although the Euler-Bernoulli beam model is a well-known solution to this modeling problem, its computational cost is prohibitive for the time scales of interest. It has been previously shown that a properly structured LSTM network can achieve comparable accuracy with less workload, but achieving sub-microsecond model latency remains a challenge. Our approach is to deploy the LSTM optimized specifically for latency on FPGA. We designed the model using both high-level synthesis (HLS) and hardware description language (HDL). The lowest latency of 1.42 $μ$S and the highest throughput of 7.87 Gops/s were achieved on Alveo U55C platform for HDL design.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
The iCanClean Algorithm: How to Remove Artifacts using Reference Noise Recordings
Authors:
Ryan J. Downey,
Daniel P. Ferris
Abstract:
Data recordings are often corrupted by noise, and it can be difficult to isolate clean data of interest. For example, mobile electroencephalography is commonly corrupted by motion artifact, which limits its use in real-world settings. Here, we describe a novel noise-canceling algorithm that uses canonical correlation analysis to find and remove subspaces of corrupted data recordings that are most…
▽ More
Data recordings are often corrupted by noise, and it can be difficult to isolate clean data of interest. For example, mobile electroencephalography is commonly corrupted by motion artifact, which limits its use in real-world settings. Here, we describe a novel noise-canceling algorithm that uses canonical correlation analysis to find and remove subspaces of corrupted data recordings that are most strongly correlated with subspaces of reference noise recordings. The algorithm, termed iCanClean, is computationally efficient, which may be useful for real-time applications, such as brain computer interfaces. In future work, we will quantify the algorithm's performance and compare it with alternative cleaning methods.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Counting multiplicative groups with prescribed subgroups
Authors:
Jenna Downey,
Greg Martin
Abstract:
We examine two counting problems that seem very group-theoretic on the surface but, on closer examination, turn out to concern integers with restrictions on their prime factors.
First, given an odd prime $q$ and a finite abelian $q$-group $H$, we consider the set of integers $n\le x$ such that the Sylow $q$-subgroup of the multiplicative group $(\mathbb Z/n\mathbb Z)^\times$ is isomorphic to…
▽ More
We examine two counting problems that seem very group-theoretic on the surface but, on closer examination, turn out to concern integers with restrictions on their prime factors.
First, given an odd prime $q$ and a finite abelian $q$-group $H$, we consider the set of integers $n\le x$ such that the Sylow $q$-subgroup of the multiplicative group $(\mathbb Z/n\mathbb Z)^\times$ is isomorphic to $H$. We show that the counting function of this set of integers is asymptotic to $K x(\log\log x)^\ell/(\log x)^{1/(q-1)}$ for explicit constants $K$ and $\ell$ depending on $q$ and $H$.
Second, we consider the set of integers $n\le x$ such that the multiplicative group $(\mathbb Z/n\mathbb Z)^\times$ is "maximally non-cyclic", that is, such that all of its prime-power subgroups are elementary groups. We show that the counting function of this set of integers is asymptotic to $A x/(\log x)^{1-ξ}$ for an explicit constant $A$, where $ξ$ is Artin's constant.
As it turns out, both of these group-theoretic problems can be reduced to problems of counting integers with restrictions on their prime factors, allowing them to be addressed by classical techniques of analytic number theory.
△ Less
Submitted 18 July, 2020;
originally announced July 2020.
-
The Apache Point Observatory Galactic Evolution Experiment (APOGEE) Spectrographs
Authors:
J. C. Wilson,
F. R. Hearty,
M. F. Skrutskie,
S. R. Majewski,
J. A. Holtzman,
D. Eisenstein,
J. Gunn,
B. Blank,
C. Henderson,
S. Smee,
M. Nelson,
D. Nidever,
J. Arns,
R. Barkhouser,
J. Barr,
S. Beland,
M. A. Bershady,
M. R. Blanton,
S. Brunner,
A. Burton,
L. Carey,
M. Carr,
J. P. Colque,
J. Crane,
G. J. Damke
, et al. (64 additional authors not shown)
Abstract:
We describe the design and performance of the near-infrared (1.51--1.70 micron), fiber-fed, multi-object (300 fibers), high resolution (R = lambda/delta lambda ~ 22,500) spectrograph built for the Apache Point Observatory Galactic Evolution Experiment (APOGEE). APOGEE is a survey of ~ 10^5 red giant stars that systematically sampled all Milky Way populations (bulge, disk, and halo) to study the Ga…
▽ More
We describe the design and performance of the near-infrared (1.51--1.70 micron), fiber-fed, multi-object (300 fibers), high resolution (R = lambda/delta lambda ~ 22,500) spectrograph built for the Apache Point Observatory Galactic Evolution Experiment (APOGEE). APOGEE is a survey of ~ 10^5 red giant stars that systematically sampled all Milky Way populations (bulge, disk, and halo) to study the Galaxy's chemical and kinematical history. It was part of the Sloan Digital Sky Survey III (SDSS-III) from 2011 -- 2014 using the 2.5 m Sloan Foundation Telescope at Apache Point Observatory, New Mexico. The APOGEE-2 survey is now using the spectrograph as part of SDSS-IV, as well as a second spectrograph, a close copy of the first, operating at the 2.5 m du Pont Telescope at Las Campanas Observatory in Chile. Although several fiber-fed, multi-object, high resolution spectrographs have been built for visual wavelength spectroscopy, the APOGEE spectrograph is one of the first such instruments built for observations in the near-infrared. The instrument's successful development was enabled by several key innovations, including a "gang connector" to allow simultaneous connections of 300 fibers; hermetically sealed feedthroughs to allow fibers to pass through the cryostat wall continuously; the first cryogenically deployed mosaic volume phase holographic grating; and a large refractive camera that includes mono-crystalline silicon and fused silica elements with diameters as large as ~ 400 mm. This paper contains a comprehensive description of all aspects of the instrument including the fiber system, optics and opto-mechanics, detector arrays, mechanics and cryogenics, instrument control, calibration system, optical performance and stability, lessons learned, and design changes for the second instrument.
△ Less
Submitted 3 February, 2019;
originally announced February 2019.
-
ARbis Pictus: A Study of Language Learning with Augmented Reality
Authors:
Adam Ibrahim,
Brandon Huynh,
Jonathan Downey,
Tobias Höllerer,
Dorothy Chun,
John O'Donovan
Abstract:
This paper describes "ARbis Pictus" --a novel system for immersive language learning through dynamic labeling of real-world objects in augmented reality. We describe a within-subjects lab-based study (N=52) that explores the effect of our system on participants learning nouns in an unfamiliar foreign language, compared to a traditional flashcard-based approach. Our results show that the immersive…
▽ More
This paper describes "ARbis Pictus" --a novel system for immersive language learning through dynamic labeling of real-world objects in augmented reality. We describe a within-subjects lab-based study (N=52) that explores the effect of our system on participants learning nouns in an unfamiliar foreign language, compared to a traditional flashcard-based approach. Our results show that the immersive experience of learning with virtual labels on real-world objects is both more effective and more enjoyable for the majority of participants, compared to flashcards. Specifically, when participants learned through augmented reality, they scored significantly better by 7% (p=0.011) on productive recall tests performed same-day, and significantly better by 21% (p=0.001) on 4-day delayed productive recall post tests than when they learned using the flashcard method. We believe this result is an indication of the strong potential for language learning in augmented reality, particularly because of the improvement shown in sustained recall compared to the traditional approach.
△ Less
Submitted 17 June, 2019; v1 submitted 30 November, 2017;
originally announced November 2017.
-
Autonomy Infused Teleoperation with Application to BCI Manipulation
Authors:
Katharina Muelling,
Arun Venkatraman,
Jean-Sebastien Valois,
John Downey,
Jeffrey Weiss,
Shervin Javdani,
Martial Hebert,
Andrew B. Schwartz,
Jennifer L. Collinger,
J. Andrew Bagnell
Abstract:
Robot teleoperation systems face a common set of challenges including latency, low-dimensional user commands, and asymmetric control inputs. User control with Brain-Computer Interfaces (BCIs) exacerbates these problems through especially noisy and erratic low-dimensional motion commands due to the difficulty in decoding neural activity. We introduce a general framework to address these challenges…
▽ More
Robot teleoperation systems face a common set of challenges including latency, low-dimensional user commands, and asymmetric control inputs. User control with Brain-Computer Interfaces (BCIs) exacerbates these problems through especially noisy and erratic low-dimensional motion commands due to the difficulty in decoding neural activity. We introduce a general framework to address these challenges through a combination of computer vision, user intent inference, and arbitration between the human input and autonomous control schemes. Adjustable levels of assistance allow the system to balance the operator's capabilities and feelings of comfort and control while compensating for a task's difficulty. We present experimental results demonstrating significant performance improvement using the shared-control assistance framework on adapted rehabilitation benchmarks with two subjects implanted with intracortical brain-computer interfaces controlling a seven degree-of-freedom robotic manipulator as a prosthetic. Our results further indicate that shared assistance mitigates perceived user difficulty and even enables successful performance on previously infeasible tasks. We showcase the extensibility of our architecture with applications to quality-of-life tasks such as opening a door, pouring liquids from containers, and manipulation with novel objects in densely cluttered environments.
△ Less
Submitted 7 June, 2015; v1 submitted 18 March, 2015;
originally announced March 2015.
-
Tracking Control for FES-Cycling based on Force Direction Efficiency with Antagonistic Bi-Articular Muscles
Authors:
Hiroyuki Kawai,
Matthew J. Bellman,
Ryan J. Downey,
Warren E. Dixon
Abstract:
A functional electrical stimulation (FES)-based tracking controller is developed to enable cycling based on a strategy to yield force direction efficiency by exploiting antagonistic bi-articular muscles. Given the input redundancy naturally occurring among multiple muscle groups, the force direction at the pedal is explicitly determined as a means to improve the efficiency of cycling. A model of a…
▽ More
A functional electrical stimulation (FES)-based tracking controller is developed to enable cycling based on a strategy to yield force direction efficiency by exploiting antagonistic bi-articular muscles. Given the input redundancy naturally occurring among multiple muscle groups, the force direction at the pedal is explicitly determined as a means to improve the efficiency of cycling. A model of a stationary cycle and rider is developed as a closed-chain mechanism. A strategy is then developed to switch between muscle groups for improved efficiency based on the force direction of each muscle group. Stability of the developed controller is analyzed through Lyapunov-based methods.
△ Less
Submitted 1 October, 2013;
originally announced October 2013.
-
Stationary Cycling Induced by Switched Functional Electrical Stimulation Control
Authors:
Matthew J. Bellman,
Teng-Hu Cheng,
Ryan J. Downey,
Warren E. Dixon
Abstract:
Functional electrical stimulation (FES) is used to activate the dysfunctional lower limb muscles of individuals with neuromuscular disorders to produce cycling as a means of exercise and rehabilitation. However, FES-cycling is still metabolically inefficient and yields low power output at the cycle crank compared to able-bodied cycling. Previous literature suggests that these problems are symptoma…
▽ More
Functional electrical stimulation (FES) is used to activate the dysfunctional lower limb muscles of individuals with neuromuscular disorders to produce cycling as a means of exercise and rehabilitation. However, FES-cycling is still metabolically inefficient and yields low power output at the cycle crank compared to able-bodied cycling. Previous literature suggests that these problems are symptomatic of poor muscle control and non-physiological muscle fiber recruitment. The latter is a known problem with FES in general, and the former motivates investigation of better control methods for FES-cycling.In this paper, a stimulation pattern for quadriceps femoris-only FES-cycling is derived based on the effectiveness of knee joint torque in producing forward pedaling. In addition, a switched sliding-mode controller is designed for the uncertain, nonlinear cycle-rider system with autonomous state-dependent switching. The switched controller yields ultimately bounded tracking of a desired trajectory in the presence of an unknown, time-varying, bounded disturbance, provided a reverse dwell-time condition is satisfied by appropriate choice of the control gains and a sufficient desired cadence. Stability is derived through Lyapunov methods for switched systems, and experimental results demonstrate the performance of the switched control system under typical cycling conditions.
△ Less
Submitted 13 March, 2014; v1 submitted 30 September, 2013;
originally announced September 2013.
-
Supporting Lemmas for RISE-based Control Methods
Authors:
Rushikesh Kamalapurkar,
Joel A. Rosenfeld,
Justin Klotz,
Ryan J. Downey,
Warren E. Dixon
Abstract:
A class of continuous controllers termed Robust Integral of the Signum of the Error (RISE) have been published over the last decade as a means to yield asymptotic convergence of the tracking error for classes of nonlinear systems that are subject to exogenous disturbances and/or modeling uncertainties. The development of this class of controllers relies on a property related to the integral of the…
▽ More
A class of continuous controllers termed Robust Integral of the Signum of the Error (RISE) have been published over the last decade as a means to yield asymptotic convergence of the tracking error for classes of nonlinear systems that are subject to exogenous disturbances and/or modeling uncertainties. The development of this class of controllers relies on a property related to the integral of the signum of an error signal. A proof for this property is not available in previous literature. The stability of some RISE controllers is analyzed using differential inclusions. Such results rely on the hypothesis that a set of points is Lebesgue negligible. This paper states and proves two lemmas related to the properties.
△ Less
Submitted 26 May, 2015; v1 submitted 14 June, 2013;
originally announced June 2013.
-
Demonstration of Communication using Neutrinos
Authors:
D. D. Stancil,
P. Adamson,
M. Alania,
L. Aliaga,
M. Andrews,
C. Araujo Del Castillo,
L. Bagby,
J. L. Bazo Alba,
A. Bodek,
D. Boehnlein,
R. Bradford,
W. K. Brooks,
H. Budd,
A. Butkevich,
D. A. M. Caicedo,
D. P. Capista,
C. M. Castromonte,
A. Chamorro,
E. Charlton,
M. E. Christy,
J. Chvojka,
P. D. Conrow,
I. Danko,
M. Day,
J. Devan
, et al. (87 additional authors not shown)
Abstract:
Beams of neutrinos have been proposed as a vehicle for communications under unusual circumstances, such as direct point-to-point global communication, communication with submarines, secure communications and interstellar communication. We report on the performance of a low-rate communications link established using the NuMI beam line and the MINERvA detector at Fermilab. The link achieved a decode…
▽ More
Beams of neutrinos have been proposed as a vehicle for communications under unusual circumstances, such as direct point-to-point global communication, communication with submarines, secure communications and interstellar communication. We report on the performance of a low-rate communications link established using the NuMI beam line and the MINERvA detector at Fermilab. The link achieved a decoded data rate of 0.1 bits/sec with a bit error rate of 1% over a distance of 1.035 km, including 240 m of earth.
△ Less
Submitted 9 April, 2012; v1 submitted 13 March, 2012;
originally announced March 2012.