-
Geophysical Observations of the 24 September 2023 OSIRIS-REx Sample Return Capsule Re-Entry
Authors:
Elizabeth A. Silber,
Daniel C. Bowman,
Chris G. Carr,
David P. Eisenberg,
Brian R. Elbing,
Benjamin Fernando,
Milton A. Garcés,
Robert Haaser,
Siddharth Krishnamoorthy,
Charles A. Langston,
Yasuhiro Nishikawa,
Jeremy Webster,
Jacob F. Anderson,
Stephen Arrowsmith,
Sonia Bazargan,
Luke Beardslee,
Brant Beck,
Jordan W. Bishop,
Philip Blom,
Grant Bracht,
David L. Chichester,
Anthony Christe,
Kenneth Cummins,
James Cutts,
Lisa Danielson
, et al. (57 additional authors not shown)
Abstract:
Sample Return Capsules (SRCs) entering Earth's atmosphere at hypervelocity from interplanetary space are a valuable resource for studying meteor phenomena. The 24 September 2023 arrival of the OSIRIS-REx (Origins, Spectral Interpretation, Resource Identification, and Security-Regolith Explorer) SRC provided an unprecedented chance for geophysical observations of a well-characterized source with kn…
▽ More
Sample Return Capsules (SRCs) entering Earth's atmosphere at hypervelocity from interplanetary space are a valuable resource for studying meteor phenomena. The 24 September 2023 arrival of the OSIRIS-REx (Origins, Spectral Interpretation, Resource Identification, and Security-Regolith Explorer) SRC provided an unprecedented chance for geophysical observations of a well-characterized source with known parameters, including timing and trajectory. A collaborative effort involving researchers from 16 institutions executed a carefully planned geophysical observational campaign at strategically chosen locations, deploying over 400 ground-based sensors encompassing infrasound, seismic, distributed acoustic sensing (DAS), and GPS technologies. Additionally, balloons equipped with infrasound sensors were launched to capture signals at higher altitudes. This campaign (the largest of its kind so far) yielded a wealth of invaluable data anticipated to fuel scientific inquiry for years to come. The success of the observational campaign is evidenced by the near-universal detection of signals across instruments, both proximal and distal. This paper presents a comprehensive overview of the collective scientific effort, field deployment, and preliminary findings. The early findings have the potential to inform future space missions and terrestrial campaigns, contributing to our understanding of meteoroid interactions with planetary atmospheres. Furthermore, the dataset collected during this campaign will improve entry and propagation models as well as augment the study of atmospheric dynamics and shock phenomena generated by meteoroids and similar sources.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
An Observation About Weak Solutions of Linear Differential Equations in Hilbert Spaces
Authors:
Vittorino Pata,
Justin T. Webster
Abstract:
In this note we propose a definition of weak solution for an abstract Cauchy problem in a Hilbert space, and we discuss existence and uniqueness results.
In this note we propose a definition of weak solution for an abstract Cauchy problem in a Hilbert space, and we discuss existence and uniqueness results.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Safe Start Regions for Medical Steerable Needle Automation
Authors:
Janine Hoelscher,
Inbar Fried,
Spiros Tsalikis,
Jason Akulian,
Robert J. Webster III,
Ron Alterovitz
Abstract:
Steerable needles are minimally invasive devices that enable novel medical procedures by following curved paths to avoid critical anatomical obstacles. Planning algorithms can be used to find a steerable needle motion plan to a target. Deployment typically consists of a physician manually inserting the steerable needle into tissue at the motion plan's start pose and handing off control to a robot,…
▽ More
Steerable needles are minimally invasive devices that enable novel medical procedures by following curved paths to avoid critical anatomical obstacles. Planning algorithms can be used to find a steerable needle motion plan to a target. Deployment typically consists of a physician manually inserting the steerable needle into tissue at the motion plan's start pose and handing off control to a robot, which then autonomously steers it to the target along the plan. The handoff between human and robot is critical for procedure success, as even small deviations from the start pose change the steerable needle's workspace and there is no guarantee that the target will still be reachable. We introduce a metric that evaluates the robustness to such start pose deviations. When measuring this robustness to deviations, we consider the tradeoff between being robust to changes in position versus changes in orientation. We evaluate our metric through simulation in an abstract, a liver, and a lung planning scenario. Our evaluation shows that our metric can be combined with different motion planners and that it efficiently determines large, safe start regions.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Accounting for Hysteresis in the Forward Kinematics of Nonlinearly-Routed Tendon-Driven Continuum Robots via a Learned Deep Decoder Network
Authors:
Brian Y. Cho,
Daniel S. Esser,
Jordan Thompson,
Bao Thach,
Robert J. Webster III,
Alan Kuntz
Abstract:
Tendon-driven continuum robots have been gaining popularity in medical applications due to their ability to curve around complex anatomical structures, potentially reducing the invasiveness of surgery. However, accurate modeling is required to plan and control the movements of these flexible robots. Physics-based models have limitations due to unmodeled effects, leading to mismatches between model…
▽ More
Tendon-driven continuum robots have been gaining popularity in medical applications due to their ability to curve around complex anatomical structures, potentially reducing the invasiveness of surgery. However, accurate modeling is required to plan and control the movements of these flexible robots. Physics-based models have limitations due to unmodeled effects, leading to mismatches between model prediction and actual robot shape. Recently proposed learning-based methods have been shown to overcome some of these limitations but do not account for hysteresis, a significant source of error for these robots. To overcome these challenges, we propose a novel deep decoder neural network that predicts the complete shape of tendon-driven robots using point clouds as the shape representation, conditioned on prior configurations to account for hysteresis. We evaluate our method on a physical tendon-driven robot and show that our network model accurately predicts the robot's shape, significantly outperforming a state-of-the-art physics-based model and a learning-based model that does not account for hysteresis.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Spread Construction for (36,15,6) Hadamard Difference Sets
Authors:
Ken Smith,
Jordan Webster
Abstract:
There are exactly 35 inequivalent (36, 15, 6) difference sets in nine groups. Eight of the nine groups have a normal Sylow 3-subgroup. We give a straightforward spread construction which explains the 32 inequivalent difference sets in these eight groups. An interesting variation on this construction provides the three difference sets in the ninth group.
There are exactly 35 inequivalent (36, 15, 6) difference sets in nine groups. Eight of the nine groups have a normal Sylow 3-subgroup. We give a straightforward spread construction which explains the 32 inequivalent difference sets in these eight groups. An interesting variation on this construction provides the three difference sets in the ninth group.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Advances in Tabulating Carmichael Numbers
Authors:
Andrew Shallue,
Jonathan Webster
Abstract:
We report that there are $49679873$ Carmichael numbers less than $10^{22}$ which is an order of magnitude improvement on the previous bound. The tabulation finds Carmichael numbers of the form $n = Pqr$ and is bifurcated by the size of $P$ with respect to the tabulation bound $B$. For $P < 7 \cdot 10^7$, we found $35985331$ Carmichael numbers and $1202914$ of them were less than $10^{22}$. When…
▽ More
We report that there are $49679873$ Carmichael numbers less than $10^{22}$ which is an order of magnitude improvement on the previous bound. The tabulation finds Carmichael numbers of the form $n = Pqr$ and is bifurcated by the size of $P$ with respect to the tabulation bound $B$. For $P < 7 \cdot 10^7$, we found $35985331$ Carmichael numbers and $1202914$ of them were less than $10^{22}$. When $P > 7 \cdot 10^7$, we found $48476959$ Carmichael numbers less than $10^{22}$. We provide a comprehensive overview of both cases of the algorithm. For the large case, we show and implement asymptotically faster ways to tabulate compared to the prior tabulation. We also provide an asymptotic estimate of the cost of this algorithm. It is interesting that Carmichael numbers are worst case inputs to this algorithm. So, providing a more robust asymptotic analysis of the cost of the algorithm would likely require resolution of long-standing open questions regarding the asymptotic density of Carmichael numbers.
△ Less
Submitted 7 June, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
An algorithm and computation to verify Legendre's Conjecture up to $3.33\cdot10^{13}$
Authors:
Jonathan Sorenson,
Jonathan Webster
Abstract:
We state a general purpose algorithm for quickly finding primes in evenly divided sub-intervals. Legendre's conjecture claims that for every positive integer $n$, there exists a prime between $n^2$ and $(n+1)^2$. Oppermann's conjecture subsumes Legendre's conjecture by claiming there are primes between $n^2$ and $n(n+1)$ and also between $n(n+1)$ and $(n+1)^2$. Using Cramér's conjecture as the bas…
▽ More
We state a general purpose algorithm for quickly finding primes in evenly divided sub-intervals. Legendre's conjecture claims that for every positive integer $n$, there exists a prime between $n^2$ and $(n+1)^2$. Oppermann's conjecture subsumes Legendre's conjecture by claiming there are primes between $n^2$ and $n(n+1)$ and also between $n(n+1)$ and $(n+1)^2$. Using Cramér's conjecture as the basis for a heuristic run-time analysis, we show that our algorithm can verify Oppermann's conjecture, and hence also Legendre's conjecture, for all $n\le N$ in time $O( N \log N \log \log N)$ and space $N^{O(1/\log \log N)}$. We implemented a parallel version of our algorithm and improved the empirical verification of Oppermann's conjecture from the previous $N = 2\cdot 10^{9}$ up to $N = 3.33\cdot 10^{13}$, so we were finding $27$ digit primes. The computation ran for about half a year on four Intel Xeon Phi $7210$ processors using a total of $256$ cores.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Weak and Strong Solutions for A Fluid-Poroelastic-Structure Interaction via A Semigroup Approach
Authors:
George Avalos,
Elena Gurvich,
Justin T. Webster
Abstract:
A filtration system, comprising a Biot poroelastic solid coupled to an incompressible Stokes free-flow, is considered in 3D. Across the flat 2D interface, the Beavers-Joseph-Saffman coupling conditions are taken. In the inertial, linear, and non-degenerate case, the hyperbolic-parabolic coupled problem is posed through a dynamics operator on an appropriate energy space, adapted from Stokes-Lamé co…
▽ More
A filtration system, comprising a Biot poroelastic solid coupled to an incompressible Stokes free-flow, is considered in 3D. Across the flat 2D interface, the Beavers-Joseph-Saffman coupling conditions are taken. In the inertial, linear, and non-degenerate case, the hyperbolic-parabolic coupled problem is posed through a dynamics operator on an appropriate energy space, adapted from Stokes-Lamé coupled dynamics. A semigroup approach is utilized to circumvent issues associated to mismatched trace regularities at the interface. $C_0$-semigroup generation for the dynamics operator is obtained with a non-standard maximality argument. The latter employs a mixed-variational formulation in order to invoke the Babuška-Brezzi theorem. The Lumer-Philips theorem yields semigroup generation, and thereby, strong and generalized solutions are obtained. As the dynamics are linear, a standard argument by density obtains weak solutions; we extend this argument to the case where the Biot compressibility of constituents degenerates. Thus, for the inertial Biot-Stokes filtration, we provide a clear elucidation of strong and weak solutions, as well as their regularity through associated estimates.
△ Less
Submitted 15 March, 2024; v1 submitted 8 January, 2024;
originally announced January 2024.
-
Multi-scale observation of magnetotail reconnection onset: 2. microscopic dynamics
Authors:
K. J. Genestreti,
C. Farrugia,
S. Lu,
S. K. Vines,
P. H. Reiff,
T. -D. Phan,
D. N. Baker,
T. W. Leonard,
J. L. Burch,
S. T. Bingham,
I. J. Cohen,
J. R. Shuster,
D. J. Gershman,
C. G. Mouikis,
A. T. Rogers,
R. B. Torbert,
K. J. Trattner,
J. M. Webster,
L. -J. Chen,
B. L. Giles,
N. Ahmadi,
R. E. Ergun,
C. T. Russell,
R. J. Strangeway,
R. Nakamura
, et al. (1 additional authors not shown)
Abstract:
We analyze the local dynamics of magnetotail reconnection onset using Magnetospheric Multiscale (MMS) data. In conjunction with MMS, the macroscopic dynamics of this event were captured by a number of other ground and space-based observatories, as is reported in a companion paper. We find that the local dynamics of the onset were characterized by the rapid thinning of the cross-tail current sheet…
▽ More
We analyze the local dynamics of magnetotail reconnection onset using Magnetospheric Multiscale (MMS) data. In conjunction with MMS, the macroscopic dynamics of this event were captured by a number of other ground and space-based observatories, as is reported in a companion paper. We find that the local dynamics of the onset were characterized by the rapid thinning of the cross-tail current sheet below the ion inertial scale, accompanied by the growth of flap** waves and the subsequent onset of electron tearing. Multiple kinetic-scale magnetic islands were detected coincident with the growth of an initially sub-Alfvénic, demagnetized tailward ion exhaust. The onset and rapid enhancement of parallel electron inflow at the exhaust boundary was a remote signature of the intensification of reconnection Earthward of the spacecraft. Two secondary reconnection sites are found embedded within the exhaust from a primary X-line. The primary X-line was designated as such on the basis that (1) while multiple jet reversals were observed in the current sheet, only one reversal of the electron inflow was observed at the high-latitude exhaust boundary, (2) the reconnection electric field was roughly 5 times larger at the primary X-line than the secondary X-lines, and (3) energetic electron fluxes increased and transitioned from anti-field-aligned to isotropic during the primary X-line crossing, indicating a change in magnetic topology. The results are consistent with the idea that a primary X-line mediates the reconnection of lobe magnetic field lines and accelerates electrons more efficiently than its secondary X-line counterparts.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Multi-scale observation of magnetotail reconnection onset: 1. macroscopic dynamics
Authors:
K. J. Genestreti,
C. Farrugia,
S. Lu,
S. K. Vines,
P. H. Reiff,
T. -D. Phan,
D. N. Baker,
T. W. Leonard,
J. L. Burch,
S. T. Bingham,
I. J. Cohen,
J. R. Shuster,
D. J. Gershman,
C. G. Mouikis,
A. T. Rogers,
R. B. Torbert,
K. J. Trattner,
J. M. Webster,
L. -J. Chen,
B. L. Giles,
N. Ahmadi,
R. E. Ergun,
C. T. Russell,
R. J. Strangeway,
R. Nakamura
Abstract:
We analyze a magnetotail reconnection onset event on 3 July 2017 that was observed under otherwise quiescent magnetospheric conditions by a fortuitous conjunction of six space and ground-based observatories. The study investigates the large-scale coupling of the solar wind - magnetosphere system that precipitated the onset of the magnetotail reconnection, focusing on the processes that thinned and…
▽ More
We analyze a magnetotail reconnection onset event on 3 July 2017 that was observed under otherwise quiescent magnetospheric conditions by a fortuitous conjunction of six space and ground-based observatories. The study investigates the large-scale coupling of the solar wind - magnetosphere system that precipitated the onset of the magnetotail reconnection, focusing on the processes that thinned and stretched the cross-tail current layer in the absence of significant flux loading during a two-hour-long preconditioning phase. It is demonstrated with data in the (1) upstream solar wind, (2) at the low-latitude magnetopause, (3) in the high-latitude polar cap, and (4) in the magnetotail that the typical picture of solar wind-driven current sheet thinning via flux loading does not appear relevant for this particular event. We find that the current sheet thinning was, instead, initiated by a transient solar wind pressure pulse and that the current sheet thinning continued even as the magnetotail and solar wind pressures decreased. We suggest that field line curvature induced scattering (observed by Magnetospheric Multiscale (MMS)) and precipitation (observed by Defense Meteorological Satellite Program (DMSP)) of high-energy thermal protons may have evacuated plasma sheet thermal energy, which may require a thinning of the plasma sheet to preserve pressure equilibrium with the solar wind.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Tabulating Absolute Lucas Pseudoprimes
Authors:
Chloe Helmreich,
Jonathan Webster
Abstract:
In 1977, Hugh Williams studied Lucas pseudoprimes to all Lucas sequences of a fixed discriminant. These are composite numbers analogous to Carmichael numbers and they satisfy a Korselt-like criterion: $n$ must be a product of distinct primes and $p_i - δ_{p_i} | n - δ_n $ where $δ_n$ is a Legendre symbol with the first argument being the discriminant of the Lucas sequence. Motivated by tabulation…
▽ More
In 1977, Hugh Williams studied Lucas pseudoprimes to all Lucas sequences of a fixed discriminant. These are composite numbers analogous to Carmichael numbers and they satisfy a Korselt-like criterion: $n$ must be a product of distinct primes and $p_i - δ_{p_i} | n - δ_n $ where $δ_n$ is a Legendre symbol with the first argument being the discriminant of the Lucas sequence. Motivated by tabulation algorithms for Carmichael numbers, we give algorithms to tabulate these numbers and provide some asymptotic analysis of the algorithms. We show that there are only finitely many absolute Lucas pseudoprimes $n = \prod_{i = 1}^k p_i$ with a given set of $k-2$ prime factors. We also provide the first known tabulation for discriminant $5$.
△ Less
Submitted 30 June, 2023;
originally announced June 2023.
-
The LHCb upgrade I
Authors:
LHCb collaboration,
R. Aaij,
A. S. W. Abdelmotteleb,
C. Abellan Beteta,
F. Abudinén,
C. Achard,
T. Ackernley,
B. Adeva,
M. Adinolfi,
P. Adlarson,
H. Afsharnia,
C. Agapopoulou,
C. A. Aidala,
Z. Ajaltouni,
S. Akar,
K. Akiba,
P. Albicocco,
J. Albrecht,
F. Alessio,
M. Alexander,
A. Alfonso Albero,
Z. Aliouche,
P. Alvarez Cartelle,
R. Amalric,
S. Amato
, et al. (1298 additional authors not shown)
Abstract:
The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their select…
▽ More
The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their selection in real time. The experiment's tracking system has been completely upgraded with a new pixel vertex detector, a silicon tracker upstream of the dipole magnet and three scintillating fibre tracking stations downstream of the magnet. The whole photon detection system of the RICH detectors has been renewed and the readout electronics of the calorimeter and muon systems have been fully overhauled. The first stage of the all-software trigger is implemented on a GPU farm. The output of the trigger provides a combination of totally reconstructed physics objects, such as tracks and vertices, ready for final analysis, and of entire events which need further offline reprocessing. This scheme required a complete revision of the computing model and rewriting of the experiment's software.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Reef-insight: A framework for reef habitat map** with clustering methods via remote sensing
Authors:
Saharsh Barve,
Jody M. Webster,
Rohitash Chandra
Abstract:
Environmental damage has been of much concern, particularly in coastal areas and the oceans, given climate change and the drastic effects of pollution and extreme climate events. Our present-day analytical capabilities, along with advancements in information acquisition techniques such as remote sensing, can be utilised for the management and study of coral reef ecosystems. In this paper, we prese…
▽ More
Environmental damage has been of much concern, particularly in coastal areas and the oceans, given climate change and the drastic effects of pollution and extreme climate events. Our present-day analytical capabilities, along with advancements in information acquisition techniques such as remote sensing, can be utilised for the management and study of coral reef ecosystems. In this paper, we present Reef-Insight, an unsupervised machine learning framework that features advanced clustering methods and remote sensing for reef habitat map**. Our framework compares different clustering methods for reef habitat map** using remote sensing data. We evaluate four major clustering approaches based on qualitative and visual assessments which include k-means, hierarchical clustering, Gaussian mixture model, and density-based clustering. We utilise remote sensing data featuring the One Tree Island reef in Australia's Southern Great Barrier Reef. Our results indicate that clustering methods using remote sensing data can well identify benthic and geomorphic clusters in reefs when compared with other studies. Our results indicate that Reef-Insight can generate detailed reef habitat maps outlining distinct reef habitats and has the potential to enable further insights for reef restoration projects.
△ Less
Submitted 27 June, 2023; v1 submitted 25 January, 2023;
originally announced January 2023.
-
Spatiotemporal k-means
Authors:
Olga Dorabiala,
Devavrat Vivek Dabke,
Jennifer Webster,
Nathan Kutz,
Aleksandr Aravkin
Abstract:
Spatiotemporal data is increasingly available due to emerging sensor and data acquisition technologies that track moving objects. Spatiotemporal clustering addresses the need to efficiently discover patterns and trends in moving object behavior without human supervision. One application of interest is the discovery of moving clusters, where clusters have a static identity, but their location and c…
▽ More
Spatiotemporal data is increasingly available due to emerging sensor and data acquisition technologies that track moving objects. Spatiotemporal clustering addresses the need to efficiently discover patterns and trends in moving object behavior without human supervision. One application of interest is the discovery of moving clusters, where clusters have a static identity, but their location and content can change over time. We propose a two phase spatiotemporal clustering method called spatiotemporal k-means (STkM) that is able to analyze the multi-scale relationships within spatiotemporal data. By optimizing an objective function that is unified over space and time, the method can track dynamic clusters at both short and long timescales with minimal parameter tuning and no post-processing. We begin by proposing a theoretical generating model for spatiotemporal data and prove the efficacy of STkM in this setting. We then evaluate STkM on a recently developed collective animal behavior benchmark dataset and show that STkM outperforms baseline methods in the low-data limit, which is a critical regime of consideration in many emerging applications. Finally, we showcase how STkM can be extended to more complex machine learning tasks, particularly unsupervised region of interest detection and tracking in videos.
△ Less
Submitted 14 April, 2024; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Autonomous Medical Needle Steering In Vivo
Authors:
Alan Kuntz,
Maxwell Emerson,
Tayfun Efe Ertop,
Inbar Fried,
Mengyu Fu,
Janine Hoelscher,
Margaret Rox,
Jason Akulian,
Erin A. Gillaspie,
Yueh Z. Lee,
Fabien Maldonado,
Robert J. Webster III,
Ron Alterovitz
Abstract:
The use of needles to access sites within organs is fundamental to many interventional medical procedures both for diagnosis and treatment. Safe and accurate navigation of a needle through living tissue to an intra-tissue target is currently often challenging or infeasible due to the presence of anatomical obstacles in the tissue, high levels of uncertainty, and natural tissue motion (e.g., due to…
▽ More
The use of needles to access sites within organs is fundamental to many interventional medical procedures both for diagnosis and treatment. Safe and accurate navigation of a needle through living tissue to an intra-tissue target is currently often challenging or infeasible due to the presence of anatomical obstacles in the tissue, high levels of uncertainty, and natural tissue motion (e.g., due to breathing). Medical robots capable of automating needle-based procedures in vivo have the potential to overcome these challenges and enable an enhanced level of patient care and safety. In this paper, we show the first medical robot that autonomously navigates a needle inside living tissue around anatomical obstacles to an intra-tissue target. Our system leverages an aiming device and a laser-patterned highly flexible steerable needle, a type of needle capable of maneuvering along curvilinear trajectories to avoid obstacles. The autonomous robot accounts for anatomical obstacles and uncertainty in living tissue/needle interaction with replanning and control and accounts for respiratory motion by defining safe insertion time windows during the breathing cycle. We apply the system to lung biopsy, which is critical in the diagnosis of lung cancer, the leading cause of cancer-related death in the United States. We demonstrate successful performance of our system in multiple in vivo porcine studies and also demonstrate that our approach leveraging autonomous needle steering outperforms a standard manual clinical technique for lung nodule access.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Mathematical Effects of Linear Visco-elasticity in Quasi-static Biot Models
Authors:
Lorena Bociu,
Boris Muha,
Justin T. Webster
Abstract:
We investigate and clarify the mathematical properties of linear poro-elastic systems in the presence of classical (linear, Kelvin-Voigt) visco-elasticity. In particular, we quantify the time-regularizing and dissipative effects of visco-elasticity in the context of the quasi-static Biot equations. The full, coupled pressure-displacement presentation of the system is utilized, as well as the frame…
▽ More
We investigate and clarify the mathematical properties of linear poro-elastic systems in the presence of classical (linear, Kelvin-Voigt) visco-elasticity. In particular, we quantify the time-regularizing and dissipative effects of visco-elasticity in the context of the quasi-static Biot equations. The full, coupled pressure-displacement presentation of the system is utilized, as well as the framework of implicit, degenerate evolution equations, to demonstrate such effects and characterize linear poro-visco-elastic systems. We consider a simple presentation of the dynamics (with convenient boundary conditions, etc.) for clarity in exposition across several relevant parameter ranges. Clear well-posedness results are provided, with associated a priori estimates on the solutions. In addition, precise statements of admissible initial conditions in each scenario are given.
△ Less
Submitted 4 February, 2023; v1 submitted 24 August, 2022;
originally announced August 2022.
-
Performance of the LHCb RICH detectors during LHC Run 2
Authors:
R. Calabrese,
M. Fiorini,
E. Luppi,
L. Minzoni,
I. Slazyk,
L. Tomassetti,
M. Bartolini,
R. Cardinale,
F. Fontanelli,
A. Petrolini,
A. Pistone,
M. Calvi,
C. Matteuzzi,
A. Lupato,
G. Simi,
M. Kucharczyk,
B. Malecki,
M. Witek,
S. Benson,
M. Blago,
G. Cavallero,
A. Contu,
C. D'Ambrosio,
C. Frei,
T. Gys
, et al. (57 additional authors not shown)
Abstract:
The performance of the ring-imaging Cherenkov detectors at the LHCb experiment is determined during the LHC Run 2 period between 2015 and 2018. The stability of the Cherenkov angle resolution and number of detected photons with time and running conditions is measured. The particle identification performance is evaluated with data and found to satisfy the requirements of the physics programme.
The performance of the ring-imaging Cherenkov detectors at the LHCb experiment is determined during the LHC Run 2 period between 2015 and 2018. The stability of the Cherenkov angle resolution and number of detected photons with time and running conditions is measured. The particle identification performance is evaluated with data and found to satisfy the requirements of the physics programme.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
Strong Stabilization of a 3D Potential Flow via a Weakly Damped von Karman Plate
Authors:
Abhishek Balakrishna,
Irena Lasiecka,
Justin T. Webster
Abstract:
The elimination of aeroelastic instability (resulting in sustained oscillations of bridges, buildings, airfoils) is a central engineering and design issue. Mathematically, this translates to strong asymptotic stabilization of a 3D flow by a 2D elastic structure. The stabilization (convergence to the stationary set) of a aerodynamic wave-plate model is established here. A 3D potential flow on the h…
▽ More
The elimination of aeroelastic instability (resulting in sustained oscillations of bridges, buildings, airfoils) is a central engineering and design issue. Mathematically, this translates to strong asymptotic stabilization of a 3D flow by a 2D elastic structure. The stabilization (convergence to the stationary set) of a aerodynamic wave-plate model is established here. A 3D potential flow on the half-space has a spatially-bounded von Karman plate embedded in the boundary. The physical model, then, is a Neumann wave equation with low regularity of coupling conditions. Motivated on empirical observations, we examine if intrinsic panel dam** can stabilize the subsonic flow-plate system to a stationary point. Several partial results have been established through partial regularization of the model. Without doing so, classical approaches attempting to treat the given wave boundary data have fallen short, owing to the failure of the Lopatinski condition (in the sense of Kreiss, Sakamoto) and the associated regularity defect of the hyperbolic Neumann map**. Here, we operate on the panel model as in the engineering literature with no regularization or modifications; we completely resolve the question of stability by demonstrating that weak plate dam** strongly stabilizes system trajectories. This is accomplished by microlocalizing the wave data (given by the plate) and observing an "anisotropic" a microlocal compensation by the plate dynamics precisely where the regularity of the 3D wave is compromsed (in the characteristic sector). Several additional stability results for both wave and plate subsystems are established to "push" strong stability of the plate onto the flow.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
Log-Coulomb gases in the projective line of a $p$-field
Authors:
Joe Webster
Abstract:
This article extends recent results on log-Coulomb gases in a $p$-field $K$ (i.e., a nonarchimedean local field) to those in its projective line $\mathbb{P}^1(K)$, where the latter is endowed with the $PGL_2$-invariant Borel probability measure and spherical metric. Our first main result is an explicit combinatorial formula for the canonical partition function of log-Coulomb gases in…
▽ More
This article extends recent results on log-Coulomb gases in a $p$-field $K$ (i.e., a nonarchimedean local field) to those in its projective line $\mathbb{P}^1(K)$, where the latter is endowed with the $PGL_2$-invariant Borel probability measure and spherical metric. Our first main result is an explicit combinatorial formula for the canonical partition function of log-Coulomb gases in $\mathbb{P}^1(K)$ with arbitrary charge values. Our second main result is called the "$(q+1)$th Power Law", which relates the grand canonical partition functions for one-component gases in $\mathbb{P}^1(K)$ (where all particles have charge 1) to those in the open and closed unit balls of $K$ in a simple way. The final result is a quadratic recurrence for the canonical partition functions for one-component gases in both unit balls of $K$ and in $\mathbb{P}^1(K)$. In addition to efficient computation of the canonical partition functions, the recurrence provides their "$q\to 1$" limits and "$q\mapsto q^{-1}$" functional equations.
△ Less
Submitted 15 October, 2021;
originally announced October 2021.
-
When can relative risks provide causal estimates?
Authors:
A. J. Webster
Abstract:
It is emphasised that for epidemiological studies where disease incidence is rare, results from conventional proportional hazards models can often correctly estimate causal associations. The well-known "backdoor criteria" from causal-inference is applied to the common epidemiological study of rare diseases with a proportional hazards model, providing an example of when and how estimates from conve…
▽ More
It is emphasised that for epidemiological studies where disease incidence is rare, results from conventional proportional hazards models can often correctly estimate causal associations. The well-known "backdoor criteria" from causal-inference is applied to the common epidemiological study of rare diseases with a proportional hazards model, providing an example of when and how estimates from conventional proportional hazards studies can be used. A similar study with the "frontdoor criteria", that allows studies with unmeasured confounders, finds similar results to conventional mediation analysis with measured confounders. Reasons for this are discussed.
△ Less
Submitted 4 October, 2021;
originally announced October 2021.
-
Characterisation of signal-induced noise in Hamamatsu R11265 Multianode Photomultiplier Tubes
Authors:
M. Andreotti,
S. Capelli,
G. Cavallero,
S. Chiozzi,
A. Cotta Ramusino,
C. D'Ambrosio,
M. Fiorini,
E. Franzoso,
C. Frei,
S. Gallorini,
S. Gambetta,
C. Giugliano,
C. Gotti,
T. Gys,
F. Keizer,
M. Maino,
B. Malecki,
L. Minzoni,
S. Mitchell,
I. Neri,
A. Petrolini,
D. Piedigrossi,
G. Robertson,
A. Sergi,
G. Simi
, et al. (4 additional authors not shown)
Abstract:
Signal-induced noise is observed in Hamamatsu R11265 Multianode Photomultiplier Tubes, manifesting up to several microseconds after the single photoelectron response signal and localised in specific anodes. The mean number of noise pulses varies between devices, and shows significant dependence on the applied high-voltage. The characterisation of this noise and the mitigation strategies to perform…
▽ More
Signal-induced noise is observed in Hamamatsu R11265 Multianode Photomultiplier Tubes, manifesting up to several microseconds after the single photoelectron response signal and localised in specific anodes. The mean number of noise pulses varies between devices, and shows significant dependence on the applied high-voltage. The characterisation of this noise and the mitigation strategies to perform optimal single-photon counting at 40 MHz, as required by the LHCb Ring-Imaging Cherenkov detectors, are reported.
△ Less
Submitted 23 November, 2021; v1 submitted 2 October, 2021;
originally announced October 2021.
-
Weak Solutions in Nonlinear Poroelasticity with Incompressible Constituents
Authors:
Lorena Bociu,
Boris Muha,
Justin T. Webster
Abstract:
We consider quasi-static poroelastic systems with incompressible constituents. The nonlinear permeability is taken to be dependent on solid dilation, and physical types of boundary conditions (Dirichlet, Neumann, and mixed) for the fluid pressure are considered. Such dynamics are motivated by applications in biomechanics and, in particular, tissue perfusion. This system represents a nonlinear, imp…
▽ More
We consider quasi-static poroelastic systems with incompressible constituents. The nonlinear permeability is taken to be dependent on solid dilation, and physical types of boundary conditions (Dirichlet, Neumann, and mixed) for the fluid pressure are considered. Such dynamics are motivated by applications in biomechanics and, in particular, tissue perfusion. This system represents a nonlinear, implicit, degenerate evolution problem. We provide a direct fixed point strategy for proving the existence of weak solutions, which is made possible by a novel result on the uniqueness of weak solution to the associated linear system (the permeability a given function of space and time). The linear uniqueness proof is based on novel energy estimates for arbitrary weak solutions, rather than just for constructed solutions (as limits of approximants). The results of this work provide a foundation for addressing strong solutions, as well uniqueness of weak solutions for the nonlinear porous media system.
△ Less
Submitted 22 February, 2022; v1 submitted 24 August, 2021;
originally announced August 2021.
-
Kurt Hensel on Common Inessential Discriminant Divisors, 1894
Authors:
Fernando Q. Gouvêa,
Jonathan Webster
Abstract:
The problem of the "common inessential discriminant divisors" attracted the attention of Dedekind, Kronecker, and Hensel in the early days of algebraic number theory. Four sources are particularly important: Dedekind's announcement, in 1871, of the second edition of Dirichlet's lectures \cite{anzeige}, Dedekind's 1878 paper, the 25th section of Kronecker's 1882 \textit{Grundzüge}, and Hensel's 189…
▽ More
The problem of the "common inessential discriminant divisors" attracted the attention of Dedekind, Kronecker, and Hensel in the early days of algebraic number theory. Four sources are particularly important: Dedekind's announcement, in 1871, of the second edition of Dirichlet's lectures \cite{anzeige}, Dedekind's 1878 paper, the 25th section of Kronecker's 1882 \textit{Grundzüge}, and Hensel's 1894 paper, which is our focus here. Both of the key papers of Dedekind were translated and annotated in our paper "Dedekind on higher congruences and index divisors, 1871 and 1878." (arXiv:2107.08905}. We here present an annotated translation of Kurt Hensel's "Arithmetische Untersuchungen über die gemeinsamen ausserwesentlichen Discriminantentheiler einer Gattung" (\textit{Journal für die Reine und Angewandte Mathematik}, \textbf{113} (1894), 128--160).
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Dedekind on Higher Congruences and Index Divisors, 1871 and 1878
Authors:
Fernando Q. Gouvêa,
Jonathan Webster
Abstract:
Dedekind's theorem connecting ideal theory and polynomial congruences appears in all textbooks on algebraic number theory, but few books note its connection to the problem of ``common index divisors.'' As part of a project to study the history of this problem, we present an annotated translation of two of Dedekind's papers on the subject: a notice about the first publication of Dedekind's ideal th…
▽ More
Dedekind's theorem connecting ideal theory and polynomial congruences appears in all textbooks on algebraic number theory, but few books note its connection to the problem of ``common index divisors.'' As part of a project to study the history of this problem, we present an annotated translation of two of Dedekind's papers on the subject: a notice about the first publication of Dedekind's ideal theory in 1871 and a paper of 1878 giving proofs of the results announced in 1871 and giving a necessary and sufficient condition for the existence of common index divisors. A separate paper will analyze Hensel's 1894 paper containing the same theorem.
△ Less
Submitted 19 July, 2021;
originally announced July 2021.
-
Dynamic Equations of Motion for Inextensible Beams and Plates
Authors:
Maria Deliyianni,
Kevin McHugh,
Justin T. Webster,
Earl Dowell
Abstract:
The large deflections of cantilevered beams and plates are modeled and discussed. Traditional nonlinear elastic models (e.g., that of von Karman) employ elastic restoring forces based on the effect of stretching on bending, and these are less applicable to cantilevers. Recent experimental work indicates that elastic cantilevers are subject to nonlinear inertial and stiffness effects. We review a r…
▽ More
The large deflections of cantilevered beams and plates are modeled and discussed. Traditional nonlinear elastic models (e.g., that of von Karman) employ elastic restoring forces based on the effect of stretching on bending, and these are less applicable to cantilevers. Recent experimental work indicates that elastic cantilevers are subject to nonlinear inertial and stiffness effects. We review a recently established (quasilinear and nonlocal) cantilevered beam model, and consider some natural extensions to two dimensions -- namely, inextensible plates. Our principal configuration is that of a thin, isotropic, homogeneous rectangular plate, clamped on one edge and free on the remaining three. We proceed through the geometric and elastic modeling to obtain equations of motion via Hamilton's principle for the appropriately specified energies. We enforce {\em effective} inextensibility constraints through Lagrange multipliers. Multiple plate analogs of the established 1D model are obtained, based on various assumptions. For each plate model, we present the modeling hypotheses and the resulting equations of motion. It total, we present three distinct nonlinear partial differential equation models, and, additionally, describe a class of ``higher order" models. Each model has particular advantages and drawbacks for both mathematical and engineering analyses. We conclude with an in depth discussion and comparison of the various systems and some analytical problems.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
Weak Solutions for a Poro-elastic Plate System
Authors:
Elena Gurvich,
Justin T. Webster
Abstract:
We consider a recent plate model obtained as a scaled limit of the three dimensional Biot system of poro-elasticity. The result is a "2.5" dimensional linear system that couples traditional Euler-Bernoulli plate dynamics to a pressure equation in three dimensions, where diffusion acts only transversely. We alow the permeability function to be time-dependent, making the problem non-autonomous and d…
▽ More
We consider a recent plate model obtained as a scaled limit of the three dimensional Biot system of poro-elasticity. The result is a "2.5" dimensional linear system that couples traditional Euler-Bernoulli plate dynamics to a pressure equation in three dimensions, where diffusion acts only transversely. We alow the permeability function to be time-dependent, making the problem non-autonomous and disqualifying much of the standard abstract theory. Weak solutions are defined in the so called quasi-static case, and the problem is framed abstractly as an implicit, degenerate evolution problem. Utilizing the theory for weak solutions to implicit evolution equations, we obtain existence of solutions. Uniqueness is obtained under additional hypotheses on the regularity of the permeability. We address the inertial case in an appendix, by way of semigroup theory. The work here provides a baseline theory of weak solutions for the poro-elastic plate, and exposits a variety of interesting related models and associated analytical investigations.
△ Less
Submitted 25 May, 2021; v1 submitted 12 March, 2021;
originally announced March 2021.
-
Multilayered Poroelasticity Interacting with Stokes Flow
Authors:
Lorena Bociu,
Sunčica Čanić,
Boris Muha,
Justin T. Webster
Abstract:
We consider the interaction between an incompressible, viscous fluid modeled by the dynamic Stokes equation and a multilayered poroelastic structure which consists of a thin, linear, poroelastic plate layer (in direct contact with the free Stokes flow) and a thick Biot layer. The fluid flow and the elastodynamics of the multilayered poroelastic structure are fully coupled across a fixed interface…
▽ More
We consider the interaction between an incompressible, viscous fluid modeled by the dynamic Stokes equation and a multilayered poroelastic structure which consists of a thin, linear, poroelastic plate layer (in direct contact with the free Stokes flow) and a thick Biot layer. The fluid flow and the elastodynamics of the multilayered poroelastic structure are fully coupled across a fixed interface through physical coupling conditions (including the Beavers-Joseph-Saffman condition), which present mathematical challenges related to the regularity of associated velocity traces. We prove existence of weak solutions to this fluid-structure interaction problem with either (i) a linear, dynamic Biot model, or (ii) a nonlinear quasi-static Biot component, where the permeability is a nonlinear function of the fluid content (as motivated by biological applications). The proof is based on constructing approximate solutions through Rothe's method, and using energy methods and a version of Aubin-Lions compactness lemma (in the nonlinear case) to recover the weak solution as the limit of approximate subsequences. We also provide uniqueness criteria and show that constructed weak solutions are indeed strong solutions to the coupled problem if one assumes additional regularity.
△ Less
Submitted 13 August, 2021; v1 submitted 25 November, 2020;
originally announced November 2020.
-
Nonlinear Quasi-static Poroelasticity
Authors:
Lorena Bociu,
Justin T. Webster
Abstract:
We analyze a quasi-static Biot system of poroelasticity for both compressible and incompressible constituents. The main feature of this model is a nonlinear coupling of pressure and dilation through the system's permeability tensor. Such a model has been analyzed previously from the point of view of constructing weak solutions through a fully discretized approach. In this treatment, we consider si…
▽ More
We analyze a quasi-static Biot system of poroelasticity for both compressible and incompressible constituents. The main feature of this model is a nonlinear coupling of pressure and dilation through the system's permeability tensor. Such a model has been analyzed previously from the point of view of constructing weak solutions through a fully discretized approach. In this treatment, we consider simplified Dirichlet type boundary conditions in both the elastic displacement and pressure variables and give a full treatment of weak solutions. Our construction of weak solutions for the nonlinear problem is based on a priori estimates, a requisite feature in addressing the nonlinearity. We utilize a spatial semi-discretization and employ a multi-valued fixed point argument for a clear construction of weak solutions. We also provide regularity criteria for uniqueness of solutions.
△ Less
Submitted 22 March, 2021; v1 submitted 24 November, 2020;
originally announced November 2020.
-
Exploring data subsets with vtree
Authors:
Nick Barrowman,
Richard J. Webster
Abstract:
Variable trees are a new method for the exploration of discrete multivariate data. They display nested subsets and corresponding frequencies and percentages. Manual calculation of these quantities can be laborious, especially when there are many multi-level factors and missing data. Here we introduce variable trees and their implementation in the vtree R package, draw comparisons with existing met…
▽ More
Variable trees are a new method for the exploration of discrete multivariate data. They display nested subsets and corresponding frequencies and percentages. Manual calculation of these quantities can be laborious, especially when there are many multi-level factors and missing data. Here we introduce variable trees and their implementation in the vtree R package, draw comparisons with existing methods (contingency tables, mosaic plots, Venn/Euler diagrams, and UpSet), and illustrate their utility using two case studies. Variable trees can be used to (1) reveal patterns in nested subsets, (2) explore missing data, and (3) generate study flow diagrams (e.g., CONSORT diagrams) directly from data frames, to support reproducible research and open science.
△ Less
Submitted 4 February, 2021; v1 submitted 25 October, 2020;
originally announced October 2020.
-
Participatory Research for Low-resourced Machine Translation: A Case Study in African Languages
Authors:
Wilhelmina Nekoto,
Vukosi Marivate,
Tshinondiwa Matsila,
Timi Fasubaa,
Tajudeen Kolawole,
Taiwo Fagbohungbe,
Solomon Oluwole Akinola,
Shamsuddeen Hassan Muhammad,
Salomon Kabongo,
Salomey Osei,
Sackey Freshia,
Rubungo Andre Niyongabo,
Ricky Macharm,
Perez Ogayo,
Orevaoghene Ahia,
Musie Meressa,
Mofe Adeyemi,
Masabata Mokgesi-Selinga,
Lawrence Okegbemi,
Laura Jane Martinus,
Kolawole Tajudeen,
Kevin Degila,
Kelechi Ogueji,
Kathleen Siminyu,
Julia Kreutzer
, et al. (23 additional authors not shown)
Abstract:
Research in NLP lacks geographic diversity, and the question of how NLP can be scaled to low-resourced languages has not yet been adequately solved. "Low-resourced"-ness is a complex problem going beyond data availability and reflects systemic problems in society. In this paper, we focus on the task of Machine Translation (MT), that plays a crucial role for information accessibility and communicat…
▽ More
Research in NLP lacks geographic diversity, and the question of how NLP can be scaled to low-resourced languages has not yet been adequately solved. "Low-resourced"-ness is a complex problem going beyond data availability and reflects systemic problems in society. In this paper, we focus on the task of Machine Translation (MT), that plays a crucial role for information accessibility and communication worldwide. Despite immense improvements in MT over the past decade, MT is centered around a few high-resourced languages. As MT researchers cannot solve the problem of low-resourcedness alone, we propose participatory research as a means to involve all necessary agents required in the MT development process. We demonstrate the feasibility and scalability of participatory research with a case study on MT for African languages. Its implementation leads to a collection of novel translation datasets, MT benchmarks for over 30 languages, with human evaluations for a third of them, and enables participants without formal training to make a unique scientific contribution. Benchmarks, models, data, code, and evaluation results are released under https://github.com/masakhane-io/masakhane-mt.
△ Less
Submitted 6 November, 2020; v1 submitted 5 October, 2020;
originally announced October 2020.
-
Bayesian information criteria for clustering normally distributed data
Authors:
Anthony J. Webster
Abstract:
Maximum likelihood estimates (MLEs) are asymptotically normally distributed, and this property is used in meta-analyses to test the heterogeneity of estimates, either for a single cluster or for several sub-groups. More recently, MLEs for associations between risk factors and diseases have been hierarchically clustered to search for diseases with shared underlying causes, but an objective statisti…
▽ More
Maximum likelihood estimates (MLEs) are asymptotically normally distributed, and this property is used in meta-analyses to test the heterogeneity of estimates, either for a single cluster or for several sub-groups. More recently, MLEs for associations between risk factors and diseases have been hierarchically clustered to search for diseases with shared underlying causes, but an objective statistical criterion is needed to determine the number and composition of clusters. To tackle this problem, conventional statistical tests are briefly reviewed, before considering the posterior distribution for a partition of data into clusters. The posterior distribution is calculated by marginalising out the unknown cluster centres, and is different to the likelihood associated with mixture models. The calculation is equivalent to that used to obtain the Bayesian Information Criterion (BIC), but is exact, without a Laplace approximation. The result includes a sum of squares term, and terms that depend on the number and composition of clusters, that penalise the number of free parameters in the model. The usual BIC is shown to be unsuitable for clustering applications unless the number of items in each individual cluster is sufficiently large.
△ Less
Submitted 24 February, 2022; v1 submitted 10 August, 2020;
originally announced August 2020.
-
Long-time dynamics of a hinged-free plate driven by a non-conservative force
Authors:
Denis Bonheure,
Filippo Gazzola,
Irena Lasiecka,
Justin T. Webster
Abstract:
A partially hinged, partially free rectangular plate is considered, with the aim to address the possible unstable end behaviors of a suspension bridge subject to wind. This leads to a nonlinear plate evolution equation with a nonlocal stretching active in the span-wise direction. The wind-flow in the chord-wise direction is modeled through a piston-theoretic approximation, which provides both weak…
▽ More
A partially hinged, partially free rectangular plate is considered, with the aim to address the possible unstable end behaviors of a suspension bridge subject to wind. This leads to a nonlinear plate evolution equation with a nonlocal stretching active in the span-wise direction. The wind-flow in the chord-wise direction is modeled through a piston-theoretic approximation, which provides both weak (frictional) dissipation and non-conservative forces. The long-time behavior of solutions is analyzed from various points of view. Compact global attractors, as well as fractal exponential attractors, are constructed using the recent quasi-stability theory. The non-conservative nature of the dynamics requires the direct construction of a uniformly absorbing ball, and this relies on the superlinearity of the stretching. For some parameter ranges, the non-triviality of the attractor is shown through the spectral analysis of the stationary linearized (non self-adjoint) equation and the existence of multiple unimodal solutions is shown. Several stability results, obtained through energy estimates under various smallness conditions and/or assumptions on the equilibrium set, are also provided. Finally, the existence of a finite set of determining modes for the dynamics is demonstrated, justifying the usual modal truncation in engineering for the study of the qualitative behavior of suspension bridge dynamics.
△ Less
Submitted 3 July, 2020;
originally announced July 2020.
-
Theory of Solutions for An Inextensible Cantilever
Authors:
Maria Deliyianni,
Justin T. Webster
Abstract:
Recent equations of motion for the large deflections of a cantilevered elastic beam are analyzed. In the traditional theory of beam (and plate) large deflections, nonlinear restoring forces are due to the effect of stretching on bending; for an inextensible cantilever, the enforcement of arc-length preservation leads to quasilinear stiffness effects and inertial effects that are both nonlinear and…
▽ More
Recent equations of motion for the large deflections of a cantilevered elastic beam are analyzed. In the traditional theory of beam (and plate) large deflections, nonlinear restoring forces are due to the effect of stretching on bending; for an inextensible cantilever, the enforcement of arc-length preservation leads to quasilinear stiffness effects and inertial effects that are both nonlinear and nonlocal. For this model, smooth solutions are constructed via a spectral Galerkin approach. Additional compactness is needed to pass to the limit, and this is obtained through a complex procession of higher energy estimates. Uniqueness is obtained through a non-trivial decomposition of the nonlinearity. The confounding effects of nonlinear inertia are overcome via the addition of structural (Kelvin-Voigt) dam** to the equations of motion. Local well-posedness of smooth solutions is shown first in the absence of nonlinear inertial effects, and then shown with these inertial effects present, taking into account structural dam**. With dam** in force, global-in-time, strong well-posedness result is obtained by achieving exponential decay for small data.
△ Less
Submitted 2 April, 2021; v1 submitted 24 May, 2020;
originally announced May 2020.
-
Neural Machine Translation for South Africa's Official Languages
Authors:
Laura Martinus,
Jason Webster,
Joanne Moonsamy,
Moses Shaba Jnr,
Ridha Moosa,
Robert Fairon
Abstract:
Recent advances in neural machine translation (NMT) have led to state-of-the-art results for many European-based translation tasks. However, despite these advances, there is has been little focus in applying these methods to African languages. In this paper, we seek to address this gap by creating an NMT benchmark BLEU score between English and the ten remaining official languages in South Africa.
Recent advances in neural machine translation (NMT) have led to state-of-the-art results for many European-based translation tasks. However, despite these advances, there is has been little focus in applying these methods to African languages. In this paper, we seek to address this gap by creating an NMT benchmark BLEU score between English and the ten remaining official languages in South Africa.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
Large Deflections of A Structurally Damped Panel in A Subsonic Flow
Authors:
Abhishek Balakrishna,
Justin T. Webster
Abstract:
The large deflections of panels in subsonic flow are considered. Specifically, a fully clamped von Karman plate accounting for both rotational inertia in plate filaments and structural dam** of square root type is considered. The panel is taken to be embedded in the boundary of a linear, subsonic potential flow on the positive halfspace in $\mathbb R^3$. Solutions are constructed via a semigroup…
▽ More
The large deflections of panels in subsonic flow are considered. Specifically, a fully clamped von Karman plate accounting for both rotational inertia in plate filaments and structural dam** of square root type is considered. The panel is taken to be embedded in the boundary of a linear, subsonic potential flow on the positive halfspace in $\mathbb R^3$. Solutions are constructed via a semigroup approach despite the lack of natural dissipativity associated to the generator of the linear dynamics. The flow-plate dynamics are then reduced---via an explicit Neumann-to-Dirichlet (downwash-to-pressure) solver for the flow---to a memory-type dynamical system for the plate. For the non-conservative plate dynamics, a global attractor is explicitly constructed via Lyapunov and quasi-stability methods. Finally, it is shown that via the compactness of the attractor and finiteness of the dissipation integral, that all trajectories converge strongly to the set of stationary states.
△ Less
Submitted 20 March, 2020;
originally announced March 2020.
-
Multi-scale coupling during magnetopause reconnection: the interface between the electron and ion diffusion regions
Authors:
K. J. Genestreti,
Y. -H. Liu,
T. -D. Phan,
R. E. Denton,
R. B. Torbert,
J. L. Burch,
J. M. Webster,
S. Wang,
K. J. Trattner,
M. R. Argall,
L. -J. Chen,
S. A. Fuselier,
N. Ahmadi,
R. E. Ergun,
B. L. Giles,
C. T. Russell,
R. J. Strangeway,
S. Eriksson
Abstract:
Magnetospheric Multiscale (MMS) encountered the primary low-latitude magnetopause reconnection site when the inter-spacecraft separation exceeded the upstream ion inertial length. Classical signatures of the ion diffusion region (IDR), including a sub-ion-Alfvénic de-magnetized ion exhaust, a super-ion-Alfvénic magnetized electron exhaust, and Hall electromagnetic fields, are identified. The openi…
▽ More
Magnetospheric Multiscale (MMS) encountered the primary low-latitude magnetopause reconnection site when the inter-spacecraft separation exceeded the upstream ion inertial length. Classical signatures of the ion diffusion region (IDR), including a sub-ion-Alfvénic de-magnetized ion exhaust, a super-ion-Alfvénic magnetized electron exhaust, and Hall electromagnetic fields, are identified. The opening angle between the magnetopause and magnetospheric separatrix is $30^\circ\pm5^\circ$. The exhaust preferentially expands sunward, displacing the magnetosheath. Intense pileup of reconnected magnetic flux occurs between the magnetosheath separatrix and the magnetopause in a narrow channel intermediate between the ion and electron scales. The strength of the pileup (normalized values of 0.3-0.5) is consistent with the large angle at which the magnetopause is inclined relative to the overall reconnection coordinates. MMS-4, which was two ion inertial lengths closer to the X-line than the other three spacecraft, observed intense electron-dominated currents and kinetic-to-electromagnetic-field energy conversion within the pileup. MMS-1, 2, and 3 did not observe the intense currents nor the particle-to-field energy conversion but did observe the pileup, indicating that the edge of the generation region was contained within the tetrahedron. Comparisons with particle-in-cell simulations reveal that the electron currents and large inclination angle of the magnetopause are interconnected features of the asymmetric Hall effect. Between the separatrix and the magnetopause, high-density inflowing magnetosheath electrons brake and turn into the outflow direction, imparting energy to the normal magnetic field and generating the pileup. The findings indicate that electron dynamics are likely an important influence on the magnetic field structure within the ion diffusion region.
△ Less
Submitted 9 July, 2020; v1 submitted 5 March, 2020;
originally announced March 2020.
-
log-Coulomb gas with norm-density in $p$-fields
Authors:
Joe Webster
Abstract:
The main result of this paper is a formula for the integral $$\int_{K^N}ρ(x)\big(\max_{i<j}|x_i-x_j|\big)^a\big(\min_{i<j}|x_i-x_j|\big)^b\prod_{i<j}|x_i-x_j|^{s_{ij}}|dx|,$$ where $K$ is a $p$-field (i.e., a nonarchimedean local field) with canonical absolute value $|\cdot|$, $N\geq 2$, $a,b\in\mathbb{C}$, the function $ρ:K^N\to\mathbb{C}$ has mild growth and decay conditions and factors through…
▽ More
The main result of this paper is a formula for the integral $$\int_{K^N}ρ(x)\big(\max_{i<j}|x_i-x_j|\big)^a\big(\min_{i<j}|x_i-x_j|\big)^b\prod_{i<j}|x_i-x_j|^{s_{ij}}|dx|,$$ where $K$ is a $p$-field (i.e., a nonarchimedean local field) with canonical absolute value $|\cdot|$, $N\geq 2$, $a,b\in\mathbb{C}$, the function $ρ:K^N\to\mathbb{C}$ has mild growth and decay conditions and factors through the norm $\|x\|=\max_i|x_i|$, and $|dx|$ is the usual Haar measure on $K^N$. The formula is a finite sum of functions described explicitly by combinatorial data, and the largest open domain of complex tuples $(s_{ij})_{i<j}$ on which the integral converges absolutely is given explicitly in terms of these data and the parameters $a$, $b$, $N$, and $K$. We then specialize the formula to $s_{ij}=\mathfrak{q}_i\mathfrak{q}_jβ$, where $\mathfrak{q}_1,\mathfrak{q}_2,\dots,\mathfrak{q}_N>0$ represent the charges of an $N$-particle log-Coulomb gas in $K$ with background density $ρ$ and inverse temperature $β$. From this specialization we obtain a mixed-charge $p$-field analogue of Mehta's integral formula, as well as formulas and low-temperature limits for the joint moments of $\max_{i<j}|x_i-x_j|$ (the diameter of the gas) and $\min_{i<j}|x_i-x_j|$ (the minimum distance between its particles).
△ Less
Submitted 16 October, 2020; v1 submitted 12 January, 2020;
originally announced January 2020.
-
A Turing Test for Crowds
Authors:
Jamie Webster,
Martyn Amos
Abstract:
The realism and believability of crowd simulations underpins computational studies of human collective behaviour, with implications for urban design, policing, security and many other areas. Realism concerns the closeness of the fit between a simulation and observed data, and believability concerns the human perception of plausibility. In this paper, we ask two questions, via a so-called "Turing T…
▽ More
The realism and believability of crowd simulations underpins computational studies of human collective behaviour, with implications for urban design, policing, security and many other areas. Realism concerns the closeness of the fit between a simulation and observed data, and believability concerns the human perception of plausibility. In this paper, we ask two questions, via a so-called "Turing Test" for crowds: (1) Can human observers distinguish between real and simulated crowds, and (2) Can human observers identify real crowds versus simulated crowds? In a study with student volunteers (n=384), we find convincing evidence that non-specialist individuals are able to reliably distinguish between real and simulated crowds. A rather more surprising result is that such individuals are overwhelmingly unable to identify real crowds. That is, they can tell real from simulated crowds, but are unable to say which is which. Our main conclusion is that (to the lay-person, at least) realistic crowds are not believable (and vice versa).
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Large Deflections of Inextensible Cantilevers: Modeling, Theory, and Simulation
Authors:
Maria Deliyianni,
Varun Gudibanda,
Jason Howell,
Justin T. Webster
Abstract:
A recent large deflection cantilever model is considered. The principal nonlinear effects come through the beam's inextensibility---local arc length preservation---rather than traditional extensible effects attributed to fully restricted boundary conditions. Enforcing inextensibility leads to: nonlinear stiffness terms, which appear as quasilinear and semilinear effects, as well as nonlinear inert…
▽ More
A recent large deflection cantilever model is considered. The principal nonlinear effects come through the beam's inextensibility---local arc length preservation---rather than traditional extensible effects attributed to fully restricted boundary conditions. Enforcing inextensibility leads to: nonlinear stiffness terms, which appear as quasilinear and semilinear effects, as well as nonlinear inertia effects, appearing as nonlocal terms that make the beam implicit in the acceleration.
In this paper we discuss the derivation of the equations of motion via Hamilton's principle with a Lagrange multiplier to enforce the effective inextensibility constraint. We then provide the functional framework for weak and strong solutions before presenting novel results on the existence and uniqueness of strong solutions. A distinguishing feature is that the two types of nonlinear terms prevent independent challenges: the quasilinear nature of the stiffness forces higher topologies for solutions, while the nonlocal inertia requires the consideration of Kelvin-Voigt type dam** to close estimates. Finally, a modal approach is used to produce mathematically-oriented numerical simulations that provide insight to the features and limitations of the inextensible model.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
Universality of lower hybrid waves at Earth's magnetopause
Authors:
D. B. Graham,
Yu. V. Khotyaintsev,
C. Norgren,
A. Vaivads,
M. Andre,
J. F. Drake,
J. Egedal,
M. Zhou,
O. Le Contel,
J. M. Webster,
B. Lavraud,
I. Kacem,
V. Genot,
C. Jacquey,
A. C. Rager,
D. J. Gershman,
J. L. Burch,
R. E. Ergun
Abstract:
Waves around the lower hybrid frequency are frequently observed at Earth's magnetopause, and readily reach very large amplitudes. Determining the properties of lower hybrid waves is crucial because they are thought to contribute to electron and ion heating, cross-field particle diffusion, anomalous resistivity, and energy transfer between electrons and ions. All these processes could play an impor…
▽ More
Waves around the lower hybrid frequency are frequently observed at Earth's magnetopause, and readily reach very large amplitudes. Determining the properties of lower hybrid waves is crucial because they are thought to contribute to electron and ion heating, cross-field particle diffusion, anomalous resistivity, and energy transfer between electrons and ions. All these processes could play an important role in magnetic reconnection at the magnetopause and the evolution of the boundary layer. In this paper, the properties of lower hybrid waves at Earth's magnetopause are investigated using the Magnetospheric Multiscale (MMS) mission. For the first time, the properties of the waves are investigated using fields and direct particle measurements. The highest-resolution electron moments resolve the velocity and density fluctuations of lower hybrid waves, confirming that electrons remain approximately frozen in at lower hybrid wave frequencies. Using fields and particle moments the dispersion relation is constructed and the wave-normal angle is estimated to be close to $90^{\circ}$ to the background magnetic field. The waves are shown to have a finite parallel wave vector, suggesting that they can interact with parallel propagating electrons. The observed wave properties are shown to agree with theoretical predictions, the previously used single-spacecraft method, and four-spacecraft timing analyses. These results show that single-spacecraft methods can accurately determine lower hybrid wave properties.
△ Less
Submitted 28 August, 2019;
originally announced August 2019.
-
Algorithms for the Multiplication Table Problem
Authors:
Richard Brent,
Carl Pomerance,
David Purdum,
Jonathan Webster
Abstract:
Let $M(n)$ denote the number of distinct entries in the $n \times n$ multiplication table. The function $M(n)$ has been studied by Erdős, Tenenbaum, Ford, and others, but the asymptotic behaviour of $M(n)$ as $n \to \infty$ is not known precisely. Thus, there is some interest in algorithms for computing $M(n)$ either exactly or approximately. We compare several algorithms for computing $M(n)$ exac…
▽ More
Let $M(n)$ denote the number of distinct entries in the $n \times n$ multiplication table. The function $M(n)$ has been studied by Erdős, Tenenbaum, Ford, and others, but the asymptotic behaviour of $M(n)$ as $n \to \infty$ is not known precisely. Thus, there is some interest in algorithms for computing $M(n)$ either exactly or approximately. We compare several algorithms for computing $M(n)$ exactly, and give a new algorithm that has a subquadratic running time. We also present two Monte Carlo algorithms for approximate computation of $M(n)$. We give the results of exact computations for values of $n$ up to $2^{30}$, and of Monte Carlo computations for $n$ up to $2^{100,000,000}$, and compare our experimental results with Ford's order-of-magnitude result.
△ Less
Submitted 5 May, 2021; v1 submitted 12 August, 2019;
originally announced August 2019.
-
An Algorithm and Estimates for the Erdős-Selfridge Function (work in progress)
Authors:
Brianna Sorenson,
Jonathan P Sorenson,
Jonathan Webster
Abstract:
Let $p(n)$ denote the smallest prime divisor of the integer $n$. Define the function $g(k)$ to be the smallest integer $>k+1$ such that $p(\binom{g(k)}{k})>k$. So we have $g(2)=6$ and $g(3)=g(4)=7$. In this paper we present the following new results on the Erdős-Selfridge function $g(k)$: We present a new algorithm to compute the value of $g(k)$, and use it to both verify previous work and compute…
▽ More
Let $p(n)$ denote the smallest prime divisor of the integer $n$. Define the function $g(k)$ to be the smallest integer $>k+1$ such that $p(\binom{g(k)}{k})>k$. So we have $g(2)=6$ and $g(3)=g(4)=7$. In this paper we present the following new results on the Erdős-Selfridge function $g(k)$: We present a new algorithm to compute the value of $g(k)$, and use it to both verify previous work and compute new values of $g(k)$, with our current limit being $$ g(323)= 1\ 69829\ 77104\ 46041\ 21145\ 63251\ 22499. $$ We define a new function $\hat{g}(k)$, and under the assumption of our Uniform Distribution Heuristic we show that $$ \log g(k) = \log \hat{g}(k) + O(\log k) $$ with high "probability". We also provide computational evidence to support our claim that $\hat{g}(k)$ estimates $g(k)$ reasonably well in practice. There are several open conjectures on the behavior of $g(k)$ which we are able to prove for $\hat{g}(k)$, namely that $$ 0.525\ldots +o(1) \quad \le \quad \frac{\log \hat{g}(k)}{k/\log k} \quad \le \quad 1+o(1), $$ and that $$ \limsup_{k\rightarrow\infty} \frac{\hat{g}(k+1)}{\hat{g}(k)}=\infty.$$ Let $G(x,k)$ count the number of integers $n\le x$ such that $p(\binom{n}{k})>k$. Unconditionally, we prove that for large $x$, $G(x,k)$ is asymptotic to $x/\hat{g}(k)$. And finally, we show that the running time of our new algorithm is at most $g(k) \exp[ -c (k\log\log k) /(\log k)^2 (1+o(1))]$ for a constant $c>0$.
△ Less
Submitted 1 June, 2021; v1 submitted 19 July, 2019;
originally announced July 2019.
-
Attractors and Determining Functionals for A Flutter Model: Finite Dimensionality Out of Thin Air
Authors:
Justin T. Webster
Abstract:
We establish the effective {\em finite dimensionality} of the dynamics corresponding to a flow-plate interaction PDE model arising in aeroelasticity: a nonlinear panel, in the absence of rotational inertia, immersed in an inviscid potential flow. An intrinsic component of the analysis is the study of a plate equation with a {\it delay} term---a fundamentally non-gradient dynamics. First, we constr…
▽ More
We establish the effective {\em finite dimensionality} of the dynamics corresponding to a flow-plate interaction PDE model arising in aeroelasticity: a nonlinear panel, in the absence of rotational inertia, immersed in an inviscid potential flow. An intrinsic component of the analysis is the study of a plate equation with a {\it delay} term---a fundamentally non-gradient dynamics. First, we construct a compact global attractor and observe that the attractor is smooth, with finite fractal dimension in the state space. Secondly, by fattening the attractor, we obtain an exponential attractor, though with finite dimension only in an extended space. Lastly, we show that a finite set of {\em determining functionals} exists by considering the {\em completeness defect} for some practical functionals on $H_0^2(Ω)$ (e.g., nodes, modes, and averages). The primary tool here is the recent quasi-stability theory of Chueshov and Lasiecka. All of the main results require {\em no imposed structural dam**}, as dissipative effects are contributed by the flow through the coupling. In the final section, we discuss additional results and conjectures when imposed structural dam** is present.
△ Less
Submitted 24 June, 2020; v1 submitted 24 April, 2019;
originally announced April 2019.
-
A Thorough Look at the (In)Stability of Piston-theoretic Beams
Authors:
Jason Howell,
Katelynn Huneycutt,
Justin T. Webster,
Spencer Wilder
Abstract:
We consider a beam model representing the transverse deflections of a one dimensional elastic structure immersed in an axial fluid flow. The model includes a nonlinear elastic restoring force, with dam** and non-conservative terms provided through the flow effects. Three different configurations are considered: a clamped panel, a hinged panel, and a flag (a cantilever clamped at the leading edge…
▽ More
We consider a beam model representing the transverse deflections of a one dimensional elastic structure immersed in an axial fluid flow. The model includes a nonlinear elastic restoring force, with dam** and non-conservative terms provided through the flow effects. Three different configurations are considered: a clamped panel, a hinged panel, and a flag (a cantilever clamped at the leading edge, free at the trailing edge). After providing the functional framework for the dynamics, recent results on well-posedness and long-time behavior of the associated dynamical system for solutions are presented. Having provided this theoretical context, in-depth numerical stability analyses are provided, focusing both at the onset of flow-induced instability (flutter), and qualitative properties of the post-flutter dynamics across configurations. Modal approximations are utilized, as well as finite difference schemes.
△ Less
Submitted 18 April, 2019; v1 submitted 17 March, 2019;
originally announced March 2019.
-
Center of Gravity-based Approach for Modeling Dynamics of Multisection Continuum Arms
Authors:
Isuru S. Godage,
Robert J. Webster III,
Ian D. Walker
Abstract:
Multisection continuum arms offer complementary characteristics to those of traditional rigid-bodied robots. Inspired by biological appendages, such as elephant trunks and octopus arms, these robots trade rigidity for compliance, accuracy for safety, and therefore exhibit strong potential for applications in human-occupied spaces. Prior work has demonstrated their superiority in operation in conge…
▽ More
Multisection continuum arms offer complementary characteristics to those of traditional rigid-bodied robots. Inspired by biological appendages, such as elephant trunks and octopus arms, these robots trade rigidity for compliance, accuracy for safety, and therefore exhibit strong potential for applications in human-occupied spaces. Prior work has demonstrated their superiority in operation in congested spaces and manipulation of irregularly-shaped objects. However, they are yet to be widely applied outside laboratory spaces. One key reason is that, due to compliance, they are difficult to control. Sophisticated and numerically efficient dynamic models are a necessity to implement dynamic control. In this paper, we propose a novel, numerically stable, center of gravity-based dynamic model for variable-length multisection continuum arms. The model can accommodate continuum robots having any number of sections with varying physical dimensions. The dynamic algorithm is of O(n2) complexity, runs at 9.5 kHz, simulates 6-8 times faster than real-time for a three-section continuum robot, and therefore is ideally suited for real-time control implementations. The model accuracy is validated numerically against an integral-dynamic model proposed by the authors and experimentally for a three-section, pneumatically actuated variable-length multisection continuum arm. This is the first sub real-time dynamic model based on a smooth continuous deformation model for variable-length multisection continuum arms.
△ Less
Submitted 5 January, 2019;
originally announced January 2019.
-
Multi-stage models for the failure of complex systems, cascading disasters, and the onset of disease
Authors:
A. J. Webster
Abstract:
Complex systems can fail through different routes, often progressing through a series of (rate-limiting) steps and modified by environmental exposures. The onset of disease, cancer in particular, is no different. Multi-stage models provide a simple but very general mathematical framework for studying the failure of complex systems, or equivalently, the onset of disease. They include the Armitage D…
▽ More
Complex systems can fail through different routes, often progressing through a series of (rate-limiting) steps and modified by environmental exposures. The onset of disease, cancer in particular, is no different. Multi-stage models provide a simple but very general mathematical framework for studying the failure of complex systems, or equivalently, the onset of disease. They include the Armitage Doll multi-stage cancer model as a particular case, and have potential to provide new insights into how failures and disease, arise and progress. A method described by E.T. Jaynes is developed to provide an analytical solution for a large class of these models, and highlights connections between the convolution of Laplace transforms, sums of random variables, and Schwinger/Feynman parameterisations. Examples include: exact solutions to the Armitage-Doll model, the sum of Gamma-distributed variables with integer-valued shape parameters, a clonal-growth cancer model, and a model for cascading disasters. Applications and limitations of the approach are discussed in the context of recent cancer research. The model is sufficiently general to be used in many contexts, such as engineering, project management, disease progression, and disaster risk for example, allowing the estimation of failure rates in complex systems and projects. The intended result is a mathematical toolkit for applying multi-stage models to the study of failure rates in complex systems and to the onset of disease, cancer in particular.
△ Less
Submitted 30 April, 2019; v1 submitted 22 November, 2018;
originally announced November 2018.
-
Using Machine Learning to Discern Eruption in Noisy Environments: A Case Study using CO2-driven Cold-Water Geyser in Chimayo, New Mexico
Authors:
B. Yuan,
Y. J. Tan,
M. K. Mudunuru,
O. E. Marcillo,
A. A. Delorey,
P. M. Roberts,
J. D. Webster,
C. N. L. Gammans,
S. Karra,
G. D. Guthrie,
P. A. Johnson
Abstract:
We present an approach based on machine learning (ML) to distinguish eruption and precursory signals of Chimayó geyser (New Mexico, USA) under noisy environments. This geyser can be considered as a natural analog of $\mathrm{CO}_2$ intrusion into shallow water aquifers. By studying this geyser, we can understand upwelling of $\mathrm{CO}_2$-rich fluids from depth, which has relevance to leak monit…
▽ More
We present an approach based on machine learning (ML) to distinguish eruption and precursory signals of Chimayó geyser (New Mexico, USA) under noisy environments. This geyser can be considered as a natural analog of $\mathrm{CO}_2$ intrusion into shallow water aquifers. By studying this geyser, we can understand upwelling of $\mathrm{CO}_2$-rich fluids from depth, which has relevance to leak monitoring in a $\mathrm{CO}_2$ sequestration project. ML methods such as Random Forests (RF) are known to be robust multi-class classifiers and perform well under unfavorable noisy conditions. However, the extent of the RF method's accuracy is poorly understood for this $\mathrm{CO}_2$-driven geysering application. The current study aims to quantify the performance of RF-classifiers to discern the geyser state. Towards this goal, we first present the data collected from the seismometer that is installed near the Chimayó geyser. The seismic signals collected at this site contain different types of noises such as daily temperature variations, seasonal trends, animal movement near the geyser, and human activity. First, we filter the signals from these noises by combining the Butterworth-Highpass filter and an Autoregressive method in a multi-level fashion. We show that by combining these filtering techniques, in a hierarchical fashion, leads to reduction in the noise in the seismic data without removing the precursors and eruption event signals. We then use RF on the filtered data to classify the state of geyser into three classes -- remnant noise, precursor, and eruption states. We show that the classification accuracy using RF on the filtered data is greater than 90\%.These aspects make the proposed ML framework attractive for event discrimination and signal enhancement under noisy conditions, with strong potential for application to monitoring leaks in $\mathrm{CO}_2$ sequestration.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
A Linearized Viscous, Compressible Flow-Plate Interaction with Non-dissipative Coupling
Authors:
George Avalos,
Pelin Guven Geredeli,
Justin T. Webster
Abstract:
We address semigroup well-posedness for a linear, compressible viscous fluid interacting at its boundary with an elastic plate. We derive the model by linearizing the compressible Navier-Stokes equations about an arbitrary flow state, so the fluid PDE includes an ambient flow profile $\mathbf{U}$. In contrast to model in [Avalos, Geredeli, Webster, 2017], we track the effect of this term at the fl…
▽ More
We address semigroup well-posedness for a linear, compressible viscous fluid interacting at its boundary with an elastic plate. We derive the model by linearizing the compressible Navier-Stokes equations about an arbitrary flow state, so the fluid PDE includes an ambient flow profile $\mathbf{U}$. In contrast to model in [Avalos, Geredeli, Webster, 2017], we track the effect of this term at the flow-structure interface, yielding a velocity matching condition involving the material derivative of the structure; this destroys the dissipative nature of the coupling of the dynamics. We adopt here a Lumer-Phillips approach, with a view of associating fluid-structure solutions with a $C_{0}$-semigroup $\left\{e^{\mathcal{A}t}\right\} _{t\geq 0}$ on a chosen finite energy space of data. Given this approach, the challenge becomes establishing the maximal dissipativity of an operator $\mathcal{A}$, yielding the flow-structure dynamics.
△ Less
Submitted 15 August, 2018;
originally announced August 2018.
-
Bayesreef: A Bayesian inference framework for modelling reef growth in response to environmental change and biological dynamics
Authors:
Jodie Pall,
Rohitash Chandra,
Danial Azam,
Tristan Salles,
Jody M. Webster,
Richard Scalzo,
Sally Cripps
Abstract:
Estimating the impact of environmental processes on vertical reef development in geological time is a very challenging task. pyReef-Core is a deterministic carbonate stratigraphic forward model designed to simulate the key biological and environmental processes that determine vertical reef accretion and assemblage changes in fossil reef drill cores. We present a Bayesian framework called Bayesreef…
▽ More
Estimating the impact of environmental processes on vertical reef development in geological time is a very challenging task. pyReef-Core is a deterministic carbonate stratigraphic forward model designed to simulate the key biological and environmental processes that determine vertical reef accretion and assemblage changes in fossil reef drill cores. We present a Bayesian framework called Bayesreef for the estimation and uncertainty quantification of parameters in pyReef-Core that represent environmental conditions affecting the growth of coral assemblages on geological timescales. We demonstrate the existence of multimodal posterior distributions and investigate the challenges of sampling using Markov chain Monte-Carlo (MCMC) methods, which includes parallel tempering MCMC. We use synthetic reef-core to investigate fundamental issues and then apply the methodology to a selected reef-core from the Great Barrier Reef in Australia. The results show that Bayesreef accurately estimates and provides uncertainty quantification of the selected parameters that represent the environment and ecological conditions in pyReef-Core. Bayesreef provides insights into the complex posterior distributions of parameters in pyReef-Core, which provides the groundwork for future research in this area.
△ Less
Submitted 6 March, 2020; v1 submitted 6 August, 2018;
originally announced August 2018.
-
Two Algorithms to Find Primes in Patterns
Authors:
Jonathan P. Sorenson,
Jonathan Webster
Abstract:
Let $k\ge 1$ be an integer, and let $P= (f_1(x), \ldots, f_k(x) )$ be $k$ admissible linear polynomials over the integers, or \textit{the pattern}. We present two algorithms that find all integers $x$ where $\max{ \{f_i(x) \} } \le n$ and all the $f_i(x)$ are prime.
Our first algorithm takes at most $O_P(n/(\log\log n)^k)$ arithmetic operations using $O(k\sqrt{n})$ space.
Our second algorithm…
▽ More
Let $k\ge 1$ be an integer, and let $P= (f_1(x), \ldots, f_k(x) )$ be $k$ admissible linear polynomials over the integers, or \textit{the pattern}. We present two algorithms that find all integers $x$ where $\max{ \{f_i(x) \} } \le n$ and all the $f_i(x)$ are prime.
Our first algorithm takes at most $O_P(n/(\log\log n)^k)$ arithmetic operations using $O(k\sqrt{n})$ space.
Our second algorithm takes slightly more time, $O_P(n/(\log \log n)^{k-1})$ arithmetic operations, but uses only $n^{1/c}$ space for a constant $c>2$. We prove correctness unconditionally, but the running time relies on two unproven but reasonable conjectures.
We are unaware of any previous complexity results for this problem beyond the use of a prime sieve. We also implemented several parallel versions of our second algorithm to show it is viable in practice. In particular, we found some new Cunningham chains of length 15, and we found all quadruplet primes up to $10^{17}$.
△ Less
Submitted 31 October, 2019; v1 submitted 23 July, 2018;
originally announced July 2018.