title: ALL-IN meta-analysis: breathing life into living systematic reviews

abstract: Science is idolized as a cumulative process ("standing on the shoulders of giants"), yet scientific knowledge is typically built on a patchwork of research contributions without much coordination. This lack of efficiency has specifically been addressed in clinical research by recommendations for living systematic reviews and against research waste. We propose to further those recommendations with ALL-IN meta-analysis: Anytime Live and Leading INterim meta-analysis. ALL-IN provides statistical methodology for a meta-analysis that can be updated at any time -- reanalyzing after each new observation while retaining type-I error guarantees, live -- no need to prespecify the looks, and leading -- in the decisions on whether individual studies should be initiated, stopped or expanded, the meta-analysis can be the leading source of information. We illustrate the method for time-to-event data, showing how synthesizing data at interim stages of studies can increase efficiency when studies are slow in themselves to provide the necessary number of events for completion. The meta-analysis can be performed on interim data, but does not have to. The analysis design requires no information about the number of patients in trials or the number of trials eventually included. So it can breathe life into living systematic reviews, through better and simpler statistics, efficiency, collaboration and communication.


title: Periodicity in Cryptocurrency Volatility and Liquidity

abstract: We study recurrent patterns in volatility and volume for major cryptocurrencies, Bitcoin and Ether, using data from two centralized exchanges (Coinbase Pro and Binance) and a decentralized exchange (Uniswap V2). We find systematic patterns in both volatility and volume across day-of-the-week, hour-of-the-day, and within the hour. These patterns have grown stronger over the years and can be related to algorithmic trading and funding times in futures markets. We also document that price formation mainly takes place on the centralized exchanges while price adjustments on the decentralized exchanges can be sluggish.


title: Weather of the Dorm WIFI Ecosystem at the University of Colorado Boulder for Fall Semester 2019 to Spring Semester 2020 a Case Study of WIFI and a Campus Response to the COVID-19 Perturbation

abstract: Growing use of network technology in Higher Education means that there has been increasing demand to adapt technology platforms and tools that transform student learning strategies, faculty teaching, research modalities, as well as general operations. Many of the new modalities are necessary for IHE business. In August 2019, we began collecting and analyzing data from the campus WIFI network. A goal of the research was to answer question like what passive sensing of the IHE WIFI might tell us about the dynamics of the WIFI weather in the IHE ecosystem and what does anonymized data tell us about the IHE ecosystem. The analogy with weather prediction seemed appropriate and a viable approach. Starting Fall 2019, data were collected in the observational phase. In the analysis phase, we applied Singular Spectrum Analysis decomposition, to deconstruct WIFI data from dorms, the central campus dining cafeteria, the recreation center, and other buildings on campus. That analysis led to the identification of clusters of buildings that behaved similarly. Just as in the case of models of the weather, a final component of this research was forecasting. We found that weekly forecast of WIFI behavior in the Fall 2019, were straight forward using SSA and seemed to present behavior of a low dimensional dynamical system. However, in Spring 2020, and the COVID perturbation, the campus ecosystem received a shock and data show that the campus changed very quickly. We found that as the campus moved to conduct remote learning, teaching, the closure of research labs, and the edict to work remotely, SSA forecasting techniques not trained on the Spring 2020, data after the shock, performed poorly. While SSA forecasting trained on a portion of the data did better.


title: Spatial Aggregation and Temporal Convolution Networks for Real-time Kriging

abstract: Spatiotemporal kriging is an important application in spatiotemporal data analysis, aiming to recover/interpolate signals for unsampled/unobserved locations based on observed signals. The principle challenge for spatiotemporal kriging is how to effectively model and leverage the spatiotemporal dependencies within the data. Recently, graph neural networks (GNNs) have shown great promise for spatiotemporal kriging tasks. However, standard GNNs often require a carefully designed adjacency matrix and specific aggregation functions, which are inflexible for general applications/problems. To address this issue, we present SATCN -- Spatial Aggregation and Temporal Convolution Networks -- a universal and flexible framework to perform spatiotemporal kriging for various spatiotemporal datasets without the need for model specification. Specifically, we propose a novel spatial aggregation network (SAN) inspired by Principal Neighborhood Aggregation, which uses multiple aggregation functions to help one node gather diverse information from its neighbors. To exclude information from unsampled nodes, a masking strategy that prevents the unsampled sensors from sending messages to their neighborhood is introduced to SAN. We capture temporal dependencies by the temporal convolutional networks, which allows our model to cope with data of diverse sizes. To make SATCN generalizable to unseen nodes and even unseen graph structures, we employ an inductive strategy to train SATCN. We conduct extensive experiments on three real-world spatiotemporal datasets, including traffic speed and climate recordings. Our results demonstrate the superiority of SATCN over traditional and GNN-based kriging models.


title: Enhancement of non-Gaussianity and nonclassicality of photon added displaced Fock state: A quantitative approach

abstract: Non-Gaussian and nonclassical states and processes are already found to be important resources for performing various tasks related to quantum gravity and quantum information processing. The effect of non-Gaussianity inducing operators on the nonclassicality of quantum states has also been studied rigorously. Considering these facts, a quantitative analysis of the nonclassical and non-Gaussian features is performed here for photon added displaced Fock state, as a test case, using a set of measures like entanglement potential, Wigner Yanese skew information, Wigner logarithmic negativity and relative entropy of non-Gaussianity. It is observed that photon addition (Fock parameter) significantly increases the amount of nonclassicalty and non-Gaussianity for small (large) values of the displacement parameter, which decreases both the quantum features monotonically. In this respect, the role of Fock parameter is found to be more prominent and stronger compared to photon addition. Finally, the dynamics of Wigner function under the effect of photon loss channel is used to show that only highly efficient detectors are able to detect Wigner negativity.


title: Discovery of a multiphase OVI and OVII absorber in the circumgalactic/intergalactic transition region

abstract: The observational constraints on the baryon content of the WHIM rely almost entirely on FUV measurements. However, cosmological, hydrodynamical simulations predict strong correlations between the spatial distributions of FUV and X-ray absorbing WHIM. In this work we investigate this prediction by analyzing XMM-Newton X-ray counterparts of FUV-detected intergalactic OVI absorbers known from FUSE and HST/STIS data, and compare this information to the predictions of simulations. We study the X-ray absorption at the redshift of the only significantly detected OVI absorber in the TonS180 sightline's FUV spectrum, found at $z=0.04579\pm0.00001$. We characterize the spectral properties of the OVI-OVIII absorbers and explore the ionization processes behind the measured absorption. The observational results are compared to the predicted warm-hot gas properties in the EAGLE simulation to infer the physical conditions of the absorber. We detect both OVI and OVII absorption at a $5\sigma$ confidence level, whereas OVIII absorption is not detected. CIE modeling constrains the X-ray absorbing gas temperature to log$\,T_{CIE}$(K)$=6.22\pm0.05$ with a total hydrogen column density $N_H=5.8_{-2.2}^{+3.0}\times Z_{sun}/Z_{abs}\times10^{19}$ cm$^{-2}$. This model predicts an OVI column density consistent with that measured in the FUV, but our limits on the OVI line width indicate >90 % likelihood that the FUV-detected OVI arises from a different, cooler phase. We find that the observed absorber lies about a factor of two further away from the detected galaxies than is the case for similar systems in EAGLE. Understanding the abundance of the systems similar to the one considered in this work helps to define the landscape for WHIM searches with future X-ray telescopes.


title: Trajectory Distribution Control for Model Predictive Path Integral Control using Covariance Steering

abstract: This paper presents a novel control approach for autonomous systems operating under uncertainty. We combine Model Predictive Path Integral (MPPI) control with Covariance Steering (CS) theory to obtain a robust controller for general nonlinear systems. The proposed Covariance-Controlled Model Predictive Path Integral (CC-MPPI) controller addresses the performance degradation observed in some MPPI implementations owing to unexpected disturbances and uncertainties. Namely, in cases where the environment changes too fast or the simulated dynamics during the MPPI rollouts do not capture the noise and uncertainty in the actual dynamics, the baseline MPPI implementation may lead to divergence. The proposed CC-MPPI controller avoids divergence by controlling the dispersion of the rollout trajectories at the end of the prediction horizon. Furthermore, the CC-MPPI has adjustable trajectory sampling distributions that can be changed according to the environment to achieve efficient sampling. Numerical examples using a ground vehicle navigating in challenging environments demonstrate the proposed approach.


title: Background Field Method and Generalized Field Redefinitions in Effective Field Theories

abstract: We study the non-linear background field redefinitions arising at the quantum level in a spontaneously broken effective gauge field theory. The non-linear field redefinitions are crucial for the symmetric (i.e. fulfilling all the relevant functional identities of the theory) renormalization of gauge-invariant operators. In a general $R_\xi$-gauge the classical background-quantum splitting is also non-linearly deformed by radiative corrections. In the Landau gauge these deformations vanish to all orders in the loop expansion.


title: Airfoil's Aerodynamic Coefficients Prediction using Artificial Neural Network

abstract: Figuring out the right airfoil is a crucial step in the preliminary stage of any aerial vehicle design, as its shape directly affects the overall aerodynamic characteristics of the aircraft or rotorcraft. Besides being a measure of performance, the aerodynamic coefficients are used to design additional subsystems such as a flight control system, or predict complex dynamic phenomena such as aeroelastic instability. The coefficients in question can either be obtained experimentally through wind tunnel testing or, depending upon the accuracy requirements, by numerically simulating the underlying fundamental equations of fluid dynamics. In this paper, the feasibility of applying Artificial Neural Networks (ANNs) to estimate the aerodynamic coefficients of differing airfoil geometries at varying Angle of Attack, Mach and Reynolds number is investigated. The ANNs are computational entities that have the ability to learn highly nonlinear spatial and temporal patterns. Therefore, they are increasingly being used to approximate complex real-world phenomenon. However, despite their significant breakthrough in the past few years, ANNs' spreading in the field of Computational Fluid Dynamics (CFD) is fairly recent, and many applications within this field remain unexplored. This study thus compares different network architectures and training datasets in an attempt to gain insight as to how the network perceives the given airfoil geometries, while producing an acceptable neuronal model for faster and easier prediction of lift, drag and moment coefficients in steady state, incompressible flow regimes. This data-driven method produces sufficiently accurate results, with the added benefit of saving high computational and experimental costs.


title: The effect of boundary conditions on the stability of two-dimensional flows in an annulus with permeable boundary

abstract: We consider the stability of two-dimensional viscous flows in an annulus with permeable boundary. In the basic flow, the velocity has nonzero azimuthal and radial components, and the direction of the radial flow can be from the inner cylinder to the outer one or vice versa. In most earlier studies, all components of the velocity were assumed to be given on the entire boundary of the flow domain. Our aim is to study the effect of different boundary conditions on the stability of such flows. We focus on the following boundary conditions: at the inflow part if the boundary (which may be either inner or outer cylinder) all components of the velocity are known; at the outflow part of the boundary (the other cylinder), the normal stress and either the tangential velocity or the tangential stress are prescribed. Both types of boundary conditions are relevant to certain real flows: the first one - to porous cylinders, the second - to flows, where the fluid leaves the flow domain to an ambient fluid which is at rest. It turns out that both sets of boundary conditions make the corresponding steady flows more unstable (compared with earlier works where all components of the velocity are prescribed on the entire boundary). In particular, it is demonstrated that even the classical (purely azimuthal) Couette-Taylor flow becomes unstable to two-dimensional perturbations if one of the cylinders is porous and the normal stress (rather than normal velocity) is prescribed on that cylinder.


title: AI Explainability 360: Impact and Design

abstract: As artificial intelligence and machine learning algorithms become increasingly prevalent in society, multiple stakeholders are calling for these algorithms to provide explanations. At the same time, these stakeholders, whether they be affected citizens, government regulators, domain experts, or system developers, have different explanation needs. To address these needs, in 2019, we created AI Explainability 360 (Arya et al. 2020), an open source software toolkit featuring ten diverse and state-of-the-art explainability methods and two evaluation metrics. This paper examines the impact of the toolkit with several case studies, statistics, and community feedback. The different ways in which users have experienced AI Explainability 360 have resulted in multiple types of impact and improvements in multiple metrics, highlighted by the adoption of the toolkit by the independent LF AI & Data Foundation. The paper also describes the flexible design of the toolkit, examples of its use, and the significant educational material and documentation available to its users.


title: Canonical fundamental skew-t linear mixed models

abstract: In clinical trials, studies often present longitudinal data or clustered data. These studies are commonly analyzed using linear mixed models (LMMs), usually considering Gaussian assumptions for random effect and error terms. Recently, several proposals extended the restrictive assumptions from traditional LMM by more flexible ones that can accommodate skewness and heavy-tails and consequently are more robust to outliers. This work proposes a canonical fundamental skew-t linear mixed model (ST-LMM), that allows for asymmetric and heavy-tailed random effects and errors and includes several important cases as special cases, which are presented and considered for model selection. For this robust and flexible model, we present an efficient EM-type algorithm for parameter estimation via maximum likelihood, implemented in a closed form by exploring the hierarchical representation of the ST-LMM. In addition, the estimation of standard errors and random effects is discussed. The methodology is illustrated through an application to schizophrenia data and some simulation studies.


title: Mixed-precision explicit stabilized Runge-Kutta methods for single- and multi-scale differential equations

abstract: Mixed-precision algorithms combine low- and high-precision computations in order to benefit from the performance gains of reduced-precision without sacrificing accuracy. In this work, we design mixed-precision Runge-Kutta-Chebyshev (RKC) methods, where high precision is used for accuracy, and low precision for stability. Generally speaking, RKC methods are low-order explicit schemes with a stability domain growing quadratically with the number of function evaluations. For this reason, most of the computational effort is spent on stability rather than accuracy purposes. In this paper, we show that a na\"ive mixed-precision implementation of any Runge-Kutta scheme can harm the convergence order of the method and limit its accuracy, and we introduce a new class of mixed-precision RKC schemes that are instead unaffected by this limiting behaviour. We present three mixed-precision schemes: a first- and a second-order RKC method, and a first-order multirate RKC scheme for multiscale problems. These schemes perform only the few function evaluations needed for accuracy (1 or 2 for first- and second-order methods respectively) in high precision, while the rest are performed in low precision. We prove that while these methods are essentially as cheap as their fully low-precision equivalent, they retain the stability and convergence order of their high-precision counterpart. Indeed, numerical experiments confirm that these schemes are as accurate as the corresponding high-precision method.


title: The first supermassive black hole mass measurement in active galactic nuclei using the polarization of broad emission line Mg II

abstract: Spectropolarimetric efforts in the last few years have provided an efficient method that is based on the profiles of the polarization plane position angle of broad emission lines in active galactic nuclei (AGNs). Here we present black hole measurements of SBS 1419+538 using spectropolarimetric observations in the Mg II spectral band. The observations are performed by 6m telescope of SAO RAS using SCORPIO-2. We found a good agreement for the estimated supermassive black hole (SMBH) mass for this object using spectropolarimetry when compared with the mass obtained using other methods.


title: Learning-based Initialization Strategy for Safety of Multi-Vehicle Systems

abstract: Multi-vehicle collision avoidance is a highly crucial problem due to the soaring interests of introducing autonomous vehicles into the real world in recent years. The safety of these vehicles while they complete their objectives is of paramount importance. Hamilton-Jacobi (HJ) reachability is a promising tool for guaranteeing safety for low-dimensional systems. However, due to its exponential complexity in computation time, no reachability-based methods have been able to guarantee safety for more than three vehicles successfully in unstructured scenarios. For systems with four or more vehicles,we can only empirically validate their safety performance.While reachability-based safety methods enjoy a flexible least-restrictive control strategy, it is challenging to reason about long-horizon trajectories online because safety at any given state is determined by looking up its safety value in a pre-computed table that does not exhibit favorable properties that continuous functions have. This motivates the problem of improving the safety performance of unstructured multi-vehicle systems when safety cannot be guaranteed given any least-restrictive safety-aware collision avoidance algorithm while avoiding online trajectory optimization. In this paper, we propose a novel approach using supervised learning to enhance the safety of vehicles by proposing new initial states in very close neighborhood of the original initial states of vehicles. Our experiments demonstrate the effectiveness of our proposed approach and show that vehicles are able to get to their goals with better safety performance with our approach compared to a baseline approach in wide-ranging scenarios.


title: Model-free Bootstrap and Conformal Prediction in Regression: Conditionality, Conjecture Testing, and Pertinent Prediction Intervals

abstract: Predictive inference under a general regression setting is gaining more interest in the big-data era. In terms of going beyond point prediction to develop prediction intervals, two main threads of development are conformal prediction and Model-free prediction. Recently, Chernozhukov et al.(2021) proposed a new conformal prediction approach exploiting the same uniformization procedure as in the Model-free Bootstrap of Politis (2015). Hence, it is of interest to compare and further investigate the performance of the two methods. In the paper at hand, we contrast the two approaches via theoretical analysis and numerical experiments with a focus on conditional coverage of prediction intervals. We discuss suitable scenarios for applying each algorithm, underscore the importance of conditional vs. unconditional coverage, and show that, under mild conditions, the Model-free bootstrap yields prediction intervals with guaranteed better conditional coverage compared to quantile estimation. We also extend the concept of `pertinence' of prediction intervals in Politis (2015) to the nonparametric regression setting, and give concrete examples where its importance emerges under finite sample scenarios. Finally, we define the new notion of `conjecture testing' that is the analog of hypothesis testing as applied to the prediction problem; we also devise a modified conformal score to allow conformal prediction to handle one-sided 'conjecture tests', and compare to the Model-free bootstrap.


title: Slices and distances: on two problems of Furstenberg and Falconer

abstract: We survey the history and recent developments around two decades-old problems that continue to attract a great deal of interest: the slicing $\times 2$, $\times 3$ conjecture of H. Furstenberg in ergodic theory, and the distance set problem in geometric measure theory introduced by K. Falconer. We discuss some of the ideas behind our solution of Furstenberg's slicing conjecture, and recent progress in Falconer's problem. While these two problems are on the surface rather different, we emphasize some common themes in our approach: analyzing fractals through a combinatorial description in terms of ``branching numbers'', and viewing the problems through a ``multiscale projection'' lens.


title: A Wong-Zakai theorem for SDEs with singular drift

abstract: We study stochastic differential equations (SDEs) with multiplicative Stratonovich-type noise of the form $ dX_t = b(X_t) dt + \sigma(X_t)\circ d W_t, X_0=x_0\in\mathbb{R}^d, t\geq0,$ with a possibly singular drift $b\in L^{{p}}(\mathbb{R}^d)$, $p>d$ and $p\geq 2$, and show that such SDEs can be approximated by random ordinary differential equations by smoothing the noise and the singular drift at the same time. We further prove a support theorem for this class of SDEs in a rather simple way using the Girsanov theorem.


title: The Barabanov norm is generically unique, simple, and easily computed

abstract: Every irreducible discrete-time linear switching system possesses an invariant convex Lyapunov function (Barabanov norm), which provides a very refined analysis of trajectories. Until recently that notion remained rather theoretical apart from special cases. In 2015 N.Guglielmi and M.Zennaro showed that many systems possess at least one simple Barabanov norm, which moreover, can be efficiently computed. In this paper we classify all possible Barabanov norms for discrete-time systems. We prove that, under mild assumptions, such norms are unique and are either piecewise-linear or piecewise quadratic. Those assumptions can be verified algorithmically and the numerical experiments show that a vast majority of systems satisfy them. For some narrow classes of systems, there are more complicated Barabanov norms but they can still be classified and constructed. Using those results we find all trajectories of the fastest growth. They turn out to be eventually periodic with special periods. Examples and numerical results are presented.


title: Steady-state nonlinear optical response of excitons in monolayer MoSe$_2$

abstract: Monolayer transition metal dichalcogenide (TMD) semiconductors such as MoSe$_2$ host strongly bound excitons which are known to exhibit a strong resonant third-order nonlinear response. Although there have been numerous studies of the ultrafast nonlinear response of monolayer TMDs, a study of the steady-state nonlinear response is lacking. We report a comprehensive study of the steady-state two-color nonlinear response of excitons in hBN-encapsulated monolayer MoSe$_2$ at 7 K. We observe differential transmission (DT) signals associated with the neutral and charged exciton species, which is strongly dependent on the polarization of the pump and probe. Our results are compared to a theoretical model based on a T-matrix formulation for exciton-exciton, exciton-trion, and trion-trion correlations. The parameters are chosen such that the theory accurately reproduces the experimental DT spectrum, which is found to be dominated by two-exciton correlations without strong biexciton binding, exciton-trion attractive interactions, and strong spin mixing through incoherent relaxation.


title: Deep Neural Networks for Blind Image Quality Assessment: Addressing the Data Challenge

abstract: The enormous space and diversity of natural images is usually represented by a few small-scale human-rated image quality assessment (IQA) datasets. This casts great challenges to deep neural network (DNN) based blind IQA (BIQA), which requires large-scale training data that is representative of the natural image distribution. It is extremely difficult to create human-rated IQA datasets composed of millions of images due to constraints of subjective testing. While a number of efforts have focused on design innovations to enhance the performance of DNN based BIQA, attempts to address the scarcity of labeled IQA data remain surprisingly missing. To address this data challenge, we construct so far the largest IQA database, namely Waterloo Exploration-II, which contains 3,570 pristine reference and around 3.45 million singly and multiply distorted images. Since subjective testing for such a large dataset is nearly impossible, we develop a novel mechanism that synthetically assigns perceptual quality labels to the distorted images. We construct a DNN-based BIQA model called EONSS, train it on Waterloo Exploration-II, and test it on nine subject-rated IQA datasets, without any retraining or fine-tuning. The results show that with a straightforward DNN architecture, EONSS is able to outperform the very state-of-the-art in BIQA, both in terms of quality prediction performance and execution speed. This study strongly supports the view that the quantity and quality of meaningfully annotated training data, rather than a sophisticated network architecture or training strategy, is the dominating factor that determines the performance of DNN-based BIQA models. (Note: Since this is an ongoing project, the final versions of Waterloo Exploration-II database, quality annotations, and EONSS, will be made publicly available in the future when it culminates.)


title: POSSE: Patterns of Systems During Software Encryption

abstract: This research recasts ransomware detection using performance monitoring and statistical machine learning. The work builds a test environment with 41 input variables to label and compares three computing states: idle, encryption and compression. A common goal of this behavioral detector seeks to anticipate and short-circuit the final step of hard-drive locking with encryption and the demand for payment to return the file system to its baseline. Comparing machine learning techniques, linear regression outperforms random forest, decision trees, and support vector machines (SVM). All algorithms classified the 3 possible classes (idle, encryption, and compression) with greater than 91% accuracy.


title: Is the Finite-Time Lyapunov Exponent Field a Koopman Eigenfunction?

abstract: This work serves as a bridge between two approaches to analysis of dynamical systems: the local, geometric analysis and the global, operator theoretic, Koopman analysis. We explicitly construct vector fields where the instantaneous Lyapunov exponent field is a Koopman eigenfunction. Restricting ourselves to polynomial vector fields to make this construction easier, we find that such vector fields do exist, and we explore whether such vector fields have a special structure, thus making a link between the geometric theory and the transfer operator theory.

categories: math.DS cond-mat.stat-mech math.SP nlin.CD


title: Bayesian non-parametric non-negative matrix factorization for pattern identification in environmental mixtures

abstract: Environmental health researchers may aim to identify exposure patterns that represent sources, product use, or behaviors that give rise to mixtures of potentially harmful environmental chemical exposures. We present Bayesian non-parametric non-negative matrix factorization (BN^2MF) as a novel method to identify patterns of chemical exposures when the number of patterns is not known a priori. We placed non-negative continuous priors on pattern loadings and individual scores to enhance interpretability and used a clever non-parametric sparse prior to estimate the pattern number. We further derived variational confidence intervals around estimates; this is a critical development because it quantifies the model's confidence in estimated patterns. These unique features contrast with existing pattern recognition methods employed in this field which are limited by user-specified pattern number, lack of interpretability of patterns in terms of human understanding, and lack of uncertainty quantification.


title: On Non-uniqueness of continuous entropy solutions to the isentropic compressible Euler equations

abstract: We consider the Cauchy problem for the isentropic compressible Euler equations in a three-dimensional periodic domain under general pressure laws. For any smooth initial density away from the vacuum, we construct infinitely many entropy solutions with no presence of shock. In particular, the constructed density is smooth and the momentum is $\alpha$-H\"older continuous for $\alpha<1/7$. Also, we provide a continuous entropy solution satisfying the entropy inequality strictly.


title: Psychological dimension of adaptive trading in cryptocurrency markets

abstract: In this paper we extend the analysis of an agent-based model for adaptive trading, called asynchronous stochastic price pump (ASPP) introduced by Perepelitsa and Timofeyev (2019), to the model with heterogeneous distribution of psychological parameters of speculative optimism and pessimism across the population of traders. We show that the new model has a range of qualitatively different dynamics when the correlation between those factors ranges from low negative to large positive values. A statistical parameter estimation suggests a heterogeneous ASPP with negative correlation as a model of price variations of Bitcoin.


title: Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance

abstract: Many aspects of blockchain-based decentralized finance can be understood as an extension of classical distributed computing. In this paper, we trace the evolution of two interrelated notions: failure and fault-tolerance. In classical distributed computing, a failure to complete a multi-party protocol is typically attributed to hardware malfunctions. A fault-tolerant protocol is one that responds to such failures by rolling the system back to an earlier consistent state. In the presence of Byzantine failures, a failure may be the result of an attack, and a fault-tolerant protocol is one that ensures that attackers will be punished and victims compensated. In modern decentralized finance however, failure to complete a protocol can be considered a legitimate option, not a transgression. A fault-tolerant protocol is one that ensures that the party offering the option cannot renege, and the party purchasing the option provides fair compensation (in the form of a fee) to the offering party. We sketch the evolution of such protocols, starting with two-phase commit, and finishing with timed hashlocked smart contracts.


title: Fast generation of time-stationary spin-1 squeezed states by non-adiabatic control

abstract: A protocol for the creation of time-stationary squeezed states in a spin-1 Bose condensate is proposed. The method consists of a pair of controlled quenches of an external magnetic field, which allows tuning of the system Hamiltonian in the vicinity of a phase transition. The quantum fluctuations of the system are well described by quantum harmonic oscillator dynamics in the limit of large system size, and the method can be applied to a spin-1 gas prepared in the low or high energy polar states.


title: Unsupervised Cross-Modality Domain Adaptation for Segmenting Vestibular Schwannoma and Cochlea with Data Augmentation and Model Ensemble

abstract: Magnetic resonance images (MRIs) are widely used to quantify vestibular schwannoma and the cochlea. Recently, deep learning methods have shown state-of-the-art performance for segmenting these structures. However, training segmentation models may require manual labels in target domain, which is expensive and time-consuming. To overcome this problem, domain adaptation is an effective way to leverage information from source domain to obtain accurate segmentations without requiring manual labels in target domain. In this paper, we propose an unsupervised learning framework to segment the VS and cochlea. Our framework leverages information from contrast-enhanced T1-weighted (ceT1-w) MRIs and its labels, and produces segmentations for T2-weighted MRIs without any labels in the target domain. We first applied a generator to achieve image-to-image translation. Next, we ensemble outputs from an ensemble of different models to obtain final segmentations. To cope with MRIs from different sites/scanners, we applied various 'online' augmentations during training to better capture the geometric variability and the variability in image appearance and quality. Our method is easy to build and produces promising segmentations, with a mean Dice score of 0.7930 and 0.7432 for VS and cochlea respectively in the validation set.


title: Molecular Understanding of the Effect of Hydrogen on Graphene Growth by Plasma-Enhanced Chemical Vapor Deposition

abstract: Plasma-enhanced chemical vapor deposition (PECVD) provides a low-temperature, highly-efficient, and catalyst-free route to fabricate graphene materials by virtue of the unique properties of plasma. In this paper, we conduct reactive molecular dynamics simulations to theoretically study the detailed growth process of graphene by PECVD at the atomic scale. Hydrocarbon radicals with different carbon/hydrogen (C/H) ratios are employed as dissociated precursors in the plasma environment during the growth process. The simulation results show that hydrogen content in the precursors significantly affects the growth behavior and critical properties of graphene. The highest number of hexagonal carbon rings formed in the graphene sheets, which is an indicator of their quality, is achieved for a C/H ratio of 1:1 in the precursors. Moreover, increasing the content of hydrogen in the precursors is shown to reduce the growth rate of carbon clusters, and prevent the formation of curved carbon structures during the growth process. The findings provide a detailed understanding of the fundamental mechanisms regarding the effects of hydrogen on the growth of graphene in a PECVD process.


title: NICE: Robust Scheduling through Reinforcement Learning-Guided Integer Programming

abstract: Integer programs provide a powerful abstraction for representing a wide range of real-world scheduling problems. Despite their ability to model general scheduling problems, solving large-scale integer programs (IP) remains a computational challenge in practice. The incorporation of more complex objectives such as robustness to disruptions further exacerbates the computational challenge. We present NICE (Neural network IP Coefficient Extraction), a novel technique that combines reinforcement learning and integer programming to tackle the problem of robust scheduling. More specifically, NICE uses reinforcement learning to approximately represent complex objectives in an integer programming formulation. We use NICE to determine assignments of pilots to a flight crew schedule so as to reduce the impact of disruptions. We compare NICE with (1) a baseline integer programming formulation that produces a feasible crew schedule, and (2) a robust integer programming formulation that explicitly tries to minimize the impact of disruptions. Our experiments show that, across a variety of scenarios, NICE produces schedules resulting in 33% to 48% fewer disruptions than the baseline formulation. Moreover, in more severely constrained scheduling scenarios in which the robust integer program fails to produce a schedule within 90 minutes, NICE is able to build robust schedules in less than 2 seconds on average.


title: Cusps and Commensurability Classes of Hyperbolic 4-Manifolds

abstract: There are six orientable, compact, flat 3-manifolds that can occur as cusp cross-sections of hyperbolic 4-manifolds. This paper provides criteria for exactly when a given commensurability class of arithmetic hyperbolic 4-manifolds contains a representative with a given cusp type. In particular, for three of the six cusp types, we provide infinitely many examples of commensurability classes that contain no manifolds with cusps of the given type; no such examples were previously known for any cusp type.


title: The K2 Galactic Archaeology Program: Overview, target selection and survey properties

abstract: K2 was a community-driven NASA mission where all targets were proposed through guest observer programs. Among those, the K2 Galactic Archaeology Program (K2GAP) was devoted to measuring asteroseismic signals from giant stars to inform studies of the Galaxy, with about 25% of the observed K2 targets being allocated to this program. Here, we provide an overview of this program. We discuss in detail the target selection procedure and provide a python code that implements the selection function, see https://github.com/sanjibs/k2gap . Additionally, we discuss the detection completeness of the asteroseismic parameters $\nu_{\rm max}$ and $\Delta \nu$. Broadly speaking, the targets were selected based on 2MASS color $J-Ks > 0.5$, with finely tuned adjustments for each campaign. Making use of the selection function we compare the observed distribution of asteroseismic masses to theoretical predictions. The median asteroseismic mass is higher by about 4% compared to predictions. Additionally, the number of seismic detections is on average 14% lower than expected. We provide a selection-function-matched mock catalog of stars based on a synthetic model of the Galaxy for the community to be used in subsequent analyses of the K2GAP data set, see http://www.physics.usyd.edu.au/k2gap .


title: Leveraging Pretrained Models for Automatic Summarization of Doctor-Patient Conversations

abstract: Fine-tuning pretrained models for automatically summarizing doctor-patient conversation transcripts presents many challenges: limited training data, significant domain shift, long and noisy transcripts, and high target summary variability. In this paper, we explore the feasibility of using pretrained transformer models for automatically summarizing doctor-patient conversations directly from transcripts. We show that fluent and adequate summaries can be generated with limited training data by fine-tuning BART on a specially constructed dataset. The resulting models greatly surpass the performance of an average human annotator and the quality of previous published work for the task. We evaluate multiple methods for handling long conversations, comparing them to the obvious baseline of truncating the conversation to fit the pretrained model length limit. We introduce a multistage approach that tackles the task by learning two fine-tuned models: one for summarizing conversation chunks into partial summaries, followed by one for rewriting the collection of partial summaries into a complete summary. Using a carefully chosen fine-tuning dataset, this method is shown to be effective at handling longer conversations, improving the quality of generated summaries. We conduct both an automatic evaluation (through ROUGE and two concept-based metrics focusing on medical findings) and a human evaluation (through qualitative examples from literature, assessing hallucination, generalization, fluency, and general quality of the generated summaries).


title: Data-driven control via Petersen's lemma

abstract: We address the problem of designing a stabilizing closed-loop control law directly from input and state measurements collected in an open-loop experiment. In the presence of noise in data, we have that a set of dynamics could have generated the collected data and we need the designed controller to stabilize such set of data-consistent dynamics robustly. For this problem of data-driven control with noisy data, we advocate the use of a popular tool from robust control, Petersen's lemma. In the cases of data generated by linear and polynomial systems, we conveniently express the uncertainty captured in the set of data-consistent dynamics through a matrix ellipsoid, and we show that a specific form of this matrix ellipsoid makes it possible to apply Petersen's lemma to all of the mentioned cases. In this way, we obtain necessary and sufficient conditions for data-driven stabilization of linear systems through a linear matrix inequality. The matrix ellipsoid representation enables insights and interpretations of the designed control laws. In the same way, we also obtain sufficient conditions for data-driven stabilization of polynomial systems through (convex) sum-of-squares programs. The findings are illustrated numerically.


title: On the Fairness of Swarm Learning in Skin Lesion Classification

abstract: in healthcare. However, the existing AI model may be biased in its decision marking. The bias induced by data itself, such as collecting data in subgroups only, can be mitigated by including more diversified data. Distributed and collaborative learning is an approach to involve training models in massive, heterogeneous, and distributed data sources, also known as nodes. In this work, we target on examining the fairness issue in Swarm Learning (SL), a recent edge-computing based decentralized machine learning approach, which is designed for heterogeneous illnesses detection in precision medicine. SL has achieved high performance in clinical applications, but no attempt has been made to evaluate if SL can improve fairness. To address the problem, we present an empirical study by comparing the fairness among single (node) training, SL, centralized training. Specifically, we evaluate on large public available skin lesion dataset, which contains samples from various subgroups. The experiments demonstrate that SL does not exacerbate the fairness problem compared to centralized training and improves both performance and fairness compared to single training. However, there still exists biases in SL model and the implementation of SL is more complex than the alternative two strategies.


title: From Bench to Bedside: The First Live Robotic Surgery on the dVRK to Enable Remote Telesurgery with Motion Scaling

abstract: Innovations from surgical robotic research rarely translates to live surgery due to the significant difference between the lab and a live environment. Live environments require considerations that are often overlooked during early stages of research such as surgical staff, surgical procedure, and the challenges of working with live tissue. One such example is the da Vinci Research Kit (dVRK) which is used by over 40 robotics research groups and represents an open-sourced version of the da Vinci Surgical System. Despite dVRK being available for nearly a decade and the ideal candidate for translating research to practice on over 5,000 da Vinci Systems used in hospitals around the world, not one live surgery has been conducted with it. In this paper, we address the challenges, considerations, and solutions for translating surgical robotic research from bench-to-bedside. This is explained from the perspective of a remote telesurgery scenario where motion scaling solutions previously experimented in a lab setting are translated to a live pig surgery. This study presents results from the first ever use of a dVRK in a live animal and discusses how the surgical robotics community can approach translating their research to practice.


title: MLIM: Vision-and-Language Model Pre-training with Masked Language and Image Modeling

abstract: Vision-and-Language Pre-training (VLP) improves model performance for downstream tasks that require image and text inputs. Current VLP approaches differ on (i) model architecture (especially image embedders), (ii) loss functions, and (iii) masking policies. Image embedders are either deep models like ResNet or linear projections that directly feed image-pixels into the transformer. Typically, in addition to the Masked Language Modeling (MLM) loss, alignment-based objectives are used for cross-modality interaction, and RoI feature regression and classification tasks for Masked Image-Region Modeling (MIRM). Both alignment and MIRM objectives mostly do not have ground truth. Alignment-based objectives require pairings of image and text and heuristic objective functions. MIRM relies on object detectors. Masking policies either do not take advantage of multi-modality or are strictly coupled with alignments generated by other models. In this paper, we present Masked Language and Image Modeling (MLIM) for VLP. MLIM uses two loss functions: Masked Language Modeling (MLM) loss and image reconstruction (RECON) loss. We propose Modality Aware Masking (MAM) to boost cross-modality interaction and take advantage of MLM and RECON losses that separately capture text and image reconstruction quality. Using MLM + RECON tasks coupled with MAM, we present a simplified VLP methodology and show that it has better downstream task performance on a proprietary e-commerce multi-modal dataset.


title: Constrained Optimization with Qualitative Preferences

abstract: The Conditional Preference Network (CP-net) graphically represents user's qualitative and conditional preference statements under the ceteris paribus interpretation. The constrained CP-net is an extension of the CP-net, to a set of constraints. The existing algorithms for solving the constrained CP-net require the expensive dominance testing operation. We propose three approaches to tackle this challenge. In our first solution, we alter the constrained CP-net by eliciting additional relative importance statements between variables, in order to have a total order over the outcomes. We call this new model, the constrained Relative Importance Network (constrained CPR-net). Consequently, We show that the Constrained CPR-net has one single optimal outcome (assuming the constrained CPR-net is consistent) that we can obtain without dominance testing. In our second solution, we extend the Lexicographic Preference Tree (LP-tree) to a set of constraints. Then, we propose a recursive backtrack search algorithm, that we call Search-LP, to find the most preferable outcome. We prove that the first feasible outcome returned by Search-LP (without dominance testing) is also preferable to any other feasible outcome. Finally, in our third solution, we preserve the semantics of the CP-net and propose a divide and conquer algorithm that compares outcomes according to dominance testing.


title: How contact patterns destabilize and modulate epidemic outbreaks

abstract: The spread of a contagious disease clearly depends on when infected individuals come into contact with susceptible ones. Such effects, however, have remained largely unexplored in the study of epidemic outbreaks. In particular, it remains unclear how the timing of contacts interacts with the latent and infectious stages of the disease. Here, we use real-world physical proximity data to study this interaction and find that the temporal statistics of actual human contact patterns i) destabilize epidemic outbreaks and ii) modulate the basic reproduction number. We explain both observations by distinct aspects of the observed contact patterns. On the one hand, we find the destabilization of outbreaks to be caused by temporal clustering of contacts leading to over-dispersed offspring distributions and increased probabilities of otherwise rare events (zero- and super-spreading). Notably, our analysis enables us to disentangle previously elusive sources of over-dispersion in empirical offspring distributions. On the other hand, we find the modulation of R0 to be caused by a periodically varying contact rate. Both mechanisms are a direct consequence of the memory in contact behavior, and we showcase a generative process that reproduces these non-Markovian statistics. Our results point to the importance of including non-Markovian contact timings into studies of epidemic outbreaks.


title: Assouad-Nagata dimension and gap for ordered metric spaces

abstract: We prove that all spaces of finite Assouad-Nagata dimension admit a good order for Travelling Salesman Problem, and provide sufficient conditions under which the converse is true. We formulate a conjectural characterisation of spaces of finite $AN$-dimension, which would yield a gap statement for the efficiency of orders on metric spaces. Under assumption of doubling, we prove a stronger gap phenomenon about all orders on a given metric space.


title: A thermomechanical model for frost heave and subglacial frozen fringe

abstract: Ice-infiltrated sediment, known as a frozen fringe, leads to phenomena such as frost heave, ice lenses, and meters of debris-rich ice under glaciers. Understanding the dynamics of frozen fringe development is important as frost heave is responsible for damaging infrastructure at high latitudes and frozen sediments at the base of glaciers can modulate glacier flow, influencing the rate of global sea level rise. Here we study the fluid physics of interstitial freezing water in sediments and focus on the conditions relevant for subglacial environments. We describe the thermomechanics of liquid water flow through and freezing in ice-saturated frozen sediments. The force balance that governs the frozen fringe thickness depends on the weight of the overlying material, the thermomolecular force between ice and sediments across premelted films of liquid, and the water pressure within liquid films that is required by flow according to Darcy's law. We combine this mechanical model with an enthalpy method which conserves energy across phase change interfaces on a fixed computational grid. The force balance and enthalpy model together determine the evolution of the frozen fringe thickness and our simulations predict frost heave rates and ice lens spacing. Our model accounts for premelting at ice-sediment contacts, partial ice saturation of the pore space, water flow through the fringe, the thermodynamics of the ice-water-sediment interface, and vertical force balance. We explicitly account for the formation of ice lenses, regions of pure ice that cleave the fringe at the depth where the interparticle force vanishes. Our model results allow us to predict the thickness of a frozen fringe and the spacing of ice lenses at the base of glaciers.


title: Noise induced order for skew-products over a non-uniformly expanding base

abstract: Noise-induced order is the phenomenon by which the chaotic regime of a deterministic system is destroyed in the presence of noise. In this manuscript, we establish noise-induced order for a natural class of systems of dimension $\geq 2$ consisting of a fiber-contracting skew product a over nonuniformly-expanding 1-dimensional system.


title: Reduced order modeling of nonlinear microstructures through Proper Orthogonal Decomposition

abstract: We apply the Proper Orthogonal Decomposition (POD) method for the efficient simulation of several scenarios undergone by Micro-Electro-Mechanical-Systems, involving nonlinearites of geometric and electrostatic nature. The former type of nonlinearity, associated to the large displacements of the devices, leads to polynomial terms up to cubic order that are reduced through exact projection onto a low-dimensional subspace spanned by the Proper Orthogonal Modes (POMs). On the contrary, electrostatic nonlinearities are modeled resorting to precomputed manifolds in terms of the amplitudes of the electrically active POMs. We extensively test the reliability of the assumed linear trial space in challenging applications focusing on resonators, micromirrors and arches also displaying internal resonances. We discuss several options to generate the matrix of snapshots using both classical time marching schemes and more advanced Harmonic Balance (HB) approaches. Furthermore, we propose a comparison between the periodic orbits computed with POD and the invariant manifold approximated with Direct Parametrization approaches, further stressing the reliability of the technique and its remarkable predictive capabilities, e.g., in terms of estimation of the frequency response function of selected output quantities of interest.


title: Message Delivery in the Plane by Robots with Different Speeds

abstract: We study a fundamental cooperative message-delivery problem on the plane. Assume $n$ robots which can move in any direction, are placed arbitrarily on the plane. Robots each have their own maximum speed and can communicate with each other face-to-face (i.e., when they are at the same location at the same time). There are also two designated points on the plane, $S$ (the source) and $D$ (the destination). The robots are required to transmit the message from the source to the destination as quickly as possible by face-to-face message passing. We consider both the offline setting where all information (the locations and maximum speeds of the robots) are known in advance and the online setting where each robot knows only its own position and speed along with the positions of $S$ and $D$. In the offline case, we discover an important connection between the problem for two-robot systems and the well-known Apollonius circle which we employ to design an optimal algorithm. We also propose a $\sqrt 2$ approximation algorithm for systems with any number of robots. In the online setting, we provide an algorithm with competitive ratio $\frac 17 \left( 5+ 4 \sqrt{2} \right)$ for two-robot systems and show that the same algorithm has a competitive ratio less than $2$ for systems with any number of robots. We also show these results are tight for the given algorithm. Finally, we give two lower bounds (employing different arguments) on the competitive ratio of any online algorithm, one of $1.0391$ and the other of $1.0405$.


title: Aristotle Cloud Federation: Container Runtimes Technical Report

abstract: A National Science Foundation-sponsored container runtimes investigation was conducted by the Aristotle Cloud Federation to better understand the challenges of selecting and using Docker, Singularity, and X-Containers. The main goal of this investigation was to identify the "pain points" experienced by users when selecting and using containers for scientific research and to share lessons learned. Application performance characteristics are included in this report as well as user experiences with Kubernetes and container orchestration on cloud and HPC platforms. Scientists, research computing practitioners, and educators may find value in this report when considering the use and/or deployment of containers or when preparing students to meet the unique challenges of using containers in scientific research.


title: Generic Green's Conjecture and Generic Geometric Syzygy Conjecture in Positive Characteristic

abstract: We study the syzygies of canonical curves of genus $g$ over an algebraically closed field $\mathbb{F}$ with Char $\mathbb{F}=p>0$. We give a new proof of generic Green's Conjecture for $p\geq\frac{g+4}{2}$. With the ingredients in the proof of even genus case, we prove Geometric Syzygy Conjecture for a general smooth curve of even genus $g=2k$ assuming $p>2k$.


title: Predicting Attention Sparsity in Transformers

abstract: Transformers' quadratic complexity with respect to the input sequence length has motivated a body of work on efficient sparse approximations to softmax. An alternative path, used by entmax transformers, consists of having built-in exact sparse attention; however this approach still requires quadratic computation. In this paper, we propose Sparsefinder, a simple model trained to identify the sparsity pattern of entmax attention before computing it. We experiment with three variants of our method, based on distances, quantization, and clustering, on two tasks: machine translation (attention in the decoder) and masked language modeling (encoder-only). Our work provides a new angle to study model efficiency by doing extensive analysis of the tradeoff between the sparsity and recall of the predicted attention graph. This allows for detailed comparison between different models along their Pareto curves, important to guide future benchmarks for sparse attention models.


title: Un principe d'Ax-Kochen-Ershov imaginaire

abstract: We study interpretable sets in henselian and sigma-henselian valued fields with value group elementarily equivalent to Q or Z. Our first result is an Ax-Kochen-Ershov type principle for weak elimination of imaginaries in finitely ramified characteristic zero henselian fields -- relative to value group imaginaries and residual linear imaginaries. We extend this result to the valued difference context and show, in particular, that existentially closed equicharacteristic zero multiplicative difference valued fields eliminate imaginaries in the geometric sorts; the omega-increasing case corresponds to the theory of the non-standard Frobenius automorphism acting on an algebraically closed valued field. On the way, we establish some auxiliary results on separated pairs of characteristic zero henselian fields and on imaginaries in linear structures which are also of independent interest.


title: Human genetic admixture through the lens of population genomics

abstract: Over the last fifty years, geneticists have made great strides in understanding how our species' evolutionary history gave rise to current patterns of human genetic diversity classically summarized by Lewontin in his 1972 paper, 'The Apportionment of Human Diversity'. One evolutionary process that requires special attention in both population genetics and statistical genetics is admixture: gene flow between two or more previously separated source populations to form a new admixed population. The admixture process introduces unique patterns of genetic variation within and between populations, which in turn influences the inference of demographic histories, identification genetic targets of selection, and prediction of phenotypes. In this review, we highlight recent studies and methodological advances that have leveraged genomic signatures of admixture to gain insights into human history, natural selection, and complex trait architecture. We also outline some challenges for admixture population genetics, including limitations of applying methods designed for single-ancestry populations to the study of admixed populations.


title: NanoBatch Privacy: Enabling fast Differentially Private learning on the IPU

abstract: Differentially private SGD (DPSGD) has recently shown promise in deep learning. However, compared to non-private SGD, the DPSGD algorithm places computational overheads that can undo the benefit of batching in GPUs. Micro-batching is a common method to alleviate this and is fully supported in the TensorFlow Privacy library (TFDP). However, it degrades accuracy. We propose NanoBatch Privacy, a lightweight add-on to TFDP to be used on Graphcore IPUs by leveraging batch size of 1 (without microbatching) and gradient accumulation. This allows us to achieve large total batch sizes with minimal impacts to throughput. Second, we illustrate using Cifar-10 how larger batch sizes are not necessarily optimal from a privacy versus utility perspective. On ImageNet, we achieve more than 15x speedup over TFDP versus 8x A100s and significant speedups even across libraries such as Opacus. We also provide two extensions: 1) DPSGD for pipelined models and 2) per-layer clipping that is 15x faster than the Opacus implementation on 8x A100s. Finally as an application case study, we apply NanoBatch training for use on private Covid-19 chest CT prediction.


title: What Truly Matters? Using Linguistic Cues for Analyzing the #BlackLivesMatter Movement and its Counter Protests: 2013 to 2020

abstract: Since the fatal shooting of 17-year old Black teenager Trayvon Martin in February 2012 by a White neighborhood watchman, George Zimmerman in Sanford, Florida, there has been a significant increase in digital activism addressing police-brutality related and racially-motivated incidents in the United States. In this work, we administer an innovative study of digital activism by exploiting social media as an authoritative tool to examine and analyze the linguistic cues and thematic relationships in these three mediums. We conduct a multi-level text analysis on 36,984,559 tweets to investigate users' behaviors to examine the language used and understand the impact of digital activism on social media within each social movement on a sentence-level, word-level, and topic-level. Our results show that excessive use of racially-related or prejudicial hashtags were used by the counter protests which portray potential discriminatory tendencies. Consequently, our findings highlight that social activism done by Black Lives Matter activists does not diverge from the social issues and topics involving police-brutality related and racially-motivated killings of Black individuals due to the shape of its topical graph that topics and conversations encircling the largest component directly relate to the topic of Black Lives Matter. Finally, we see that both Blue Lives Matter and All Lives Matter movements depict a different directive, as the topics of Blue Lives Matter or All Lives Matter do not reside in the center. These findings suggest that topics and conversations within each social movement are skewed, random or possessed racially-related undertones, and thus, deviating from the prominent social injustice issues.


title: Spectral properties of near-Earth objects with low-Jovian Tisserand invariant

abstract: The near-Earth objects with low-Jovian Tisserand invariant ($T_J$) represent about 9 per cent of the known objects orbiting in the near-Earth space, being subject of numerous planetary encounters and large temperature variations. We aim to make a spectral characterization for a large sample of NEOs with $T_J$ $\leq$ 3.1. Consequently, we can estimate the fraction of bodies with a cometary origin. We report new spectral observations for 26 low-T$_J$ NEOs. The additional spectra, retrieved from different public databases, allowed us to perform the analysis over a catalogue of 150 objects. We classified them with respect to Bus-DeMeo taxonomic system. The results are discussed regarding their orbital parameters. The taxonomic distribution of low-$T_J$ NEOs differs from the entire NEOs population. Consequently, $T_J$$\sim$3 can act as a composition border too. We found that 56.2 per cent of low-T$_J$ NEOs have comet-like spectra and they become abundant (79.7 per cent) for T$_J$ $\leq$ 2.8. 16 D-type objects have been identified in this population, distributed on orbits with an average T$_J$ = 2.65 $\pm$ 0.6. Using two dynamical criteria, together with the comet-like spectral classification as an identification method and by applying an observational bias correction, we estimate that the fraction of NEOs with a cometary nature and H $\in$ (14, 21) mag has the lower and upper bounds (1.5 $\pm$ 0.15) and (10.4 $\pm$ 2.2) per cent. Additionally, our observations show that all extreme cases of low-perihelion asteroids (q $\leq$ 0.3 au) belong to S-complex.


title: Universal Payment Channels: An Interoperability Platform for Digital Currencies

abstract: With the innovation of distributed ledger technology (DLT), often known as blockchain technology, there has been significant growth of digital tokens in the form of cryptocurrencies, stablecoins, and central bank digital currencies. As the number of DLT networks increases, each with varying design characteristics, the likelihood that transacting parties are on the same network decreases. Thus, it is crucial to facilitate payments that are universal across networks, scalable to massive loads, and highly available. We envision a future payment network that may be built on top of DLT networks without being subject to their limitations on interoperability, scalability, and availability faced by DLT payment solutions today. Specifically, we propose a hub-and-spoke payment route, referred to here as Universal Payment Channels (UPC), that can be used to support digital token transfers of funds across different networks through payment channels. We further discuss the potential use cases of the UPC technology to support, and not complicate, an already robust digital payment ecosystem. Finally, through the paper, we share some future directions of the UPC technology.


title: A Manifesto for Modern Fog and Edge Computing: Vision, New Paradigms, Opportunities, and Future Directions

abstract: The advancements in the use of Internet of Things (IoT) devices is increasing continuously and generating huge amounts of data in a fast manner. Cloud computing is an important paradigm which processes and manages user data effectively. Further, fog and edge computing paradigms are introduced to improve user service by reducing latency and response time. This chapter presents a manifesto for modern fog and edge computing systems based on the current research trends. Further, architectures and applications of fog and edge computing are explained. Moreover, research opportunities and promising future directions are presented with respect to the new paradigms, which will be helpful for practitioners, researchers, and academicians to continue their research.


title: Automated Market-Making for Fiat Currencies

abstract: We present an automated market-making (AMM) cross-settlement mechanism for digital assets on interoperable blockchains, focusing on central bank digital currencies (CBDCs) and stable coins. We develop an innovative approach for generating fair exchange rates for on-chain assets consistent with traditional off-chain markets. We illustrate the efficacy of our approach on realized FX rates for G-10 currencies.


title: Search for subsolar-mass binaries in the first half of Advanced LIGO and Virgo's third observing run

abstract: We report on a search for compact binary coalescences where at least one binary component has a mass between 0.2 $M_\odot$ and 1.0 $M_\odot$ in Advanced LIGO and Advanced Virgo data collected between 1 April 2019 1500 UTC and 1 October 2019 1500 UTC. We extend previous analyses in two main ways: we include data from the Virgo detector and we allow for more unequal mass systems, with mass ratio $q \geq 0.1$. We do not report any gravitational-wave candidates. The most significant trigger has a false alarm rate of 0.14 $\mathrm{yr}^{-1}$. This implies an upper limit on the merger rate of subsolar binaries in the range $[220-24200] \mathrm{Gpc}^{-3} \mathrm{yr}^{-1}$, depending on the chirp mass of the binary. We use this upper limit to derive astrophysical constraints on two phenomenological models that could produce subsolar-mass compact objects. One is an isotropic distribution of equal-mass primordial black holes. Using this model, we find that the fraction of dark matter in primordial black holes is $f_\mathrm{PBH} \equiv \Omega_\mathrm{PBH} / \Omega_\mathrm{DM} \lesssim 6\%$. The other is a dissipative dark matter model, in which fermionic dark matter can collapse and form black holes. The upper limit on the fraction of dark matter black holes depends on the minimum mass of the black holes that can be formed: the most constraining result is obtained at $M_\mathrm{min}=1 M_\odot$, where $f_\mathrm{DBH} \equiv \Omega_\mathrm{PBH} / \Omega_\mathrm{DM} \lesssim 0.003\%$. These are the tightest limits on spinning subsolar-mass binaries to date.


title: Wasserstein Contraction Bounds on Closed Convex Domains with Applications to Stochastic Adaptive Control

abstract: This paper is motivated by the problem of quantitatively bounding the convergence of adaptive control methods for stochastic systems to a stationary distribution. Such bounds are useful for analyzing statistics of trajectories and determining appropriate step sizes for simulations. To this end, we extend a methodology from (unconstrained) stochastic differential equations (SDEs) which provides contractions in a specially chosen Wasserstein distance. This theory focuses on unconstrained SDEs with fairly restrictive assumptions on the drift terms. Typical adaptive control schemes place constraints on the learned parameters and their update rules violate the drift conditions. To this end, we extend the contraction theory to the case of constrained systems represented by reflected stochastic differential equations and generalize the allowable drifts. We show how the general theory can be used to derive quantitative contraction bounds on a nonlinear stochastic adaptive regulation problem.


title: On Combinatorial Models for Affine Crystals

abstract: The tableau model for Kirillov-Reshetikhin (KR) crystals, which are finite dimensional crystals corresponding to certain affine Lie algebras, is commonly used for its ease of crystal operator calculations. However, its simplicity makes quite complex the calculation of statistics such as: keys (used to express Demazure characters), the crystal energy function (an affine grading on tensor products of KR crystals), and the combinatorial R-matrix (an affine crystal isomorphism permuting factors in a tensor product of KR crystals). It has been shown that these calculations are much simpler with the added structure in the quantum alcove model for KR crystals. In this paper, we give an explicit description of the crystal isomorphism between the mentioned realizations of KR crystals in all classical Lie types.


title: String theory at order $\alpha'^2$ and the generalized Bergshoeff-de Roo identification

abstract: It has been shown by Marques and Nunez that the first $\alpha'$-correction to the bosonic and heterotic string can be captured in the $O(D,D)$ covariant formalism of Double Field Theory via a certain two-parameter deformation of the double Lorentz transformations. This deformation in turn leads to an infinite tower of $\alpha'$-corrections and it has been suggested that they can be captured by a generalization of the Bergshoeff-de Roo identification between Lorentz and gauge degrees of freedom in an extended DFT formalism. Here we provide strong evidence that this indeed gives the correct $\alpha'^2$-corrections to the bosonic and heterotic string by showing that it leads to a cubic Riemann term for the former but not for the latter, in agreement with the known structure of these corrections including the coefficient of Riemann cubed.


title: Connecting science fundamentals and career proficiency -- Development of multi-disciplinary science curriculum

abstract: The current conventional approach in teaching STEM seems inadequate; it is failing both the students and the work-force demands in several aspects. Perhaps it is succeeding in equipping students with information and facts but surely falls short in developing them intellectually and in sparking their passion for science. Mixing research with learning by adding components in courses to enforce creativity, reasoning, and to connect the dots between different topics and different subjects can be an effective counter to this tendency. Multi-disciplinary science curriculum connecting the dots between different subjects and the dots between fundamentals and applications and demonstrating clear path to current and future industrial jobs can offer a good approach for STEM education. An example for mutli-disciplinary science course is presented.


title: Stochastic paths controlling speed and dissipation

abstract: Near equilibrium, thermodynamic intuition suggests that fast, irreversible processes will dissipate more energy and entropy than slow, quasistatic processes connecting the same initial and final states. Here, we test the hypothesis that this relationship between speed and dissipation holds for stochastic processes far from equilibrium. To analyze these processes on finite timescales, we derive an exact expression for the path probabilities of continuous-time Markov chains from the path summation solution of the master equation. Applying this formula to a model for nonequilibrium self-assembly, we show that more speed can lead to less dissipation when there are strong nonequilibrium currents. In the model, the relative energies of the initial and target states control the speed, and the nonequilibrium currents of a cycle situated between these states control the path-level dissipation. This model serves as a minimal prototype for designing kinetics to sculpt the nonequilibrium path space, so that faster structure-forming paths dissipate less.


title: Autonomous Inversion of In Situ Deformation Measurement Data for CO2 Storage Decision Support

abstract: Current methods of estimating the change in stress caused by injecting fluid into subsurface formations require choosing the type of constitutive model and the model parameters based on core, log, and geophysical data during the characterization phase, with little feedback from operational observations to validate or refine these choices. It is shown that errors in the assumed constitutive response, even when informed by laboratory tests on core samples, are likely to be common, large, and underestimate the magnitude of stress change caused by injection. Recent advances in borehole-based strain instruments and borehole and surface-based tilt and displacement instruments have now enabled monitoring of the deformation of the storage system throughout its operational lifespan. This data can enable validation and refinement of the knowledge of the geomechanical properties and state of the system, but brings with it a challenge to transform the raw data into actionable knowledge. We demonstrate a method to perform a gradient-based deterministic inversion of geomechanical monitoring data. This approach allows autonomous integration of the instrument data without the need for time consuming manual interpretation and selection of updated model parameters. The approach presented is very flexible as to what type of geomechanical constitutive response can be used. The approach is easily adaptable to nonlinear physics-based constitutive models to account for common rock behaviors such as creep and plasticity. The approach also enables training of machine learning-based constitutive models by allowing back propagation of errors through the finite element calculations. This enables strongly enforcing known physics, such as conservation of momentum and continuity, while allowing data-driven models to learn the truly unknown physics such as the constitutive or petrophysical responses.


title: MIIDL: a Python package for microbial biomarkers identification powered by interpretable deep learning

abstract: Detecting microbial biomarkers used to predict disease phenotypes and clinical outcomes is crucial for disease early-stage screening and diagnosis. Most methods for biomarker identification are linear-based, which is very limited as biological processes are rarely fully linear. The introduction of machine learning to this field tends to bring a promising solution. However, identifying microbial biomarkers in an interpretable, data-driven and robust manner remains challenging. We present MIIDL, a Python package for the identification of microbial biomarkers based on interpretable deep learning. MIIDL innovatively applies convolutional neural networks, a variety of interpretability algorithms and plenty of pre-processing methods to provide a one-stop and robust pipeline for microbial biomarkers identification from high-dimensional and sparse data sets.


title: Toolbox Release: A WiFi-Based Relative Bearing Sensor for Robotics

abstract: This paper presents the WiFi-Sensor-for-Robotics (WSR) toolbox, an open source C++ framework. It enables robots in a team to obtain relative bearing to each other, even in non-line-of-sight (NLOS) settings which is a very challenging problem in robotics. It does so by analyzing the phase of their communicated WiFi signals as the robots traverse the environment. This capability, based on the theory developed in our prior works, is made available for the first time as an opensource tool. It is motivated by the lack of easily deployable solutions that use robots' local resources (e.g WiFi) for sensing in NLOS. This has implications for localization, ad-hoc robot networks, and security in multi-robot teams, amongst others. The toolbox is designed for distributed and online deployment on robot platforms using commodity hardware and on-board sensors. We also release datasets demonstrating its performance in NLOS and line-of-sight (LOS) settings for a multi-robot localization usecase. Empirical results show that the bearing estimation from our toolbox achieves mean accuracy of 5.10 degrees. This leads to a median error of 0.5m and 0.9m for localization in LOS and NLOS settings respectively, in a hardware deployment in an indoor office environment.


title: Compound Krylov subspace methods for parametric linear systems

abstract: In this work, we propose a reduced basis method for efficient solution of parametric linear systems. The coefficient matrix is assumed to be a linear matrix-valued function that is symmetric and positive definite for admissible values of the parameter $\mathbf{\sigma}\in \mathbb{R}^s$. We propose a solution strategy where one first computes a basis for the appropriate compound Krylov subspace and then uses this basis to compute a subspace solution for multiple $\mathbf{\sigma}$. Three kinds of compound Krylov subspaces are discussed. Error estimate is given for the subspace solution from each of these spaces. Theoretical results are demonstrated by numerical examples related to solving parameter dependent elliptic PDEs using the finite element method (FEM).


title: The hazard ratio is interpretable as an odds or a probability under the assumption of proportional hazards

abstract: Three statistical studies, all published between 2004 and 2008 but without referring to one another, assert a useful equivalence involving the hazard ratio, a parameter estimated for time to event data by the frequently used proportional hazards model. Stated generally, when the assumption of proportional hazards is justified, the hazard ratio is equivalent to the odds that a randomly chosen person from the group whose hazard is represented in the ratio's numerator will experience the event of interest before a randomly chosen person from the group represented by the ratio's denominator.


title: Group boundaries for semidirect products with Z

abstract: Bestvina's notion of a Z-structure provides a general framework for group boundaries that includes Gromov boundaries of hyperbolic groups and visual boundaries of CAT(0) groups as special cases. A refinement, known as an EZ-structure has proven useful in attacks on the Novikov Conjecture and related problems. Characterizations of groups admitting a Z- or EZ-structure are longstanding open problems. In this paper, we examine semidirect products of a group G with the integers. For example, we show that, if G is torsion-free and admits a Z-structure, then so does every semidirect product of this type. We prove a similar theorem for EZ-structures, under an additional hypothesis. As applications, we show that all closed 3-manifold groups admit Z-structures, as do all strongly polycyclic groups, and all groups of polynomial growth. In those latter two cases our Z-boundaries are always spheres. This allows one to make strong conclusions about the group cohomology and end invariants of those groups. In another direction, we expand upon the notion of an EZ-structure and discuss new applications to the Novikov Conjecture.


title: Finding Taint-Style Vulnerabilities in Linux-based Embedded Firmware with SSE-based Alias Analysis

abstract: Although the importance of using static analysis to detect taint-style vulnerabilities in Linux-based embedded firmware is widely recognized, existing approaches are plagued by three major limitations. (a) Approaches based on symbolic execution may miss alias information and therefore suffer from a high false-negative rate. (b) Approaches based on VSA (value set analysis) often provide an over-approximate pointer range. As a result, many false positives could be produced. (c) Existing work for detecting taint-style vulnerability does not consider indirect call resolution, whereas indirect calls are frequently used in Internet-facing embedded devices. As a result, many false negatives could be produced. In this work, we propose a precise demand-driven flow-, context- and field-sensitive alias analysis approach. Based on this new approach, we also design a novel indirect call resolution scheme. Combined with sanitization rule checking, our solution discovers taint-style vulnerabilities by static taint analysis. We implemented our idea with a prototype called EmTaint and evaluated it against 35 real-world embedded firmware samples from six popular vendors. EmTaint discovered at least 192 bugs, including 41 n-day bugs and 151 0-day bugs. At least 115 CVE/PSV numbers have been allocated from a subset of the reported vulnerabilities at the time of writing. Compared to state-of-the-art tools such as KARONTE and SaTC, EmTaint found significantly more bugs on the same dataset in less time.


title: The Multipartite Ramsey numbers $m_j(C_3, C_m, n_1K_2,n_2K_2,\ldots, n_iK_2)$

abstract: Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1, G_2,\ldots, G_n$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2, \ldots,G_n)$ is the smallest integer $t$ such that for any $n$-edge-coloring $(G^1,G^2,\ldots, G^n)$ of the edges of $K_{j\times t}$, $G^i$ contains a monochromatic copy of $G_i$ for at least on $i$. C. J. Jayawardene, E. T. Baskoro et al. $(2016)$ gave the size of M-R-numbe $m_j(nK_2, C_7)$ for $j \geq 2 $ and $n\leq 6$. Y. Rowshan et al. $(2021)$ gave the size of M-R-number $m_j(nK_2, C_7)$ for $j = 2,3, 4$ and $n\geq 2$. Y. Rowshan $(2021)$ gave the size of M-R-number $m_j(nK_2,C_7)$, for each $j\geq 5$ and $n\geq 2$. In this article we compute the size of M-R-number $m_j(C_3,C_3, nK_2)$ for each $j\geq 7$, $n\geq 1$, $m_j(C_3,C_3, n_1K_2,n_2K_,\ldots,n_iK_2)$ for each $2\leq j\leq 6$, $i\geq 2, n_i\geq 1$, and M-R-number $m_j(C_3,C_4, nK_2)$, for each $n\geq 1$, and small $j$.


title: Style Control for Schema-Guided Natural Language Generation

abstract: Natural Language Generation (NLG) for task-oriented dialogue systems focuses on communicating specific content accurately, fluently, and coherently. While these attributes are crucial for a successful dialogue, it is also desirable to simultaneously accomplish specific stylistic goals, such as response length, point-of-view, descriptiveness, sentiment, formality, and empathy. In this work, we focus on stylistic control and evaluation for schema-guided NLG, with joint goals of achieving both semantic and stylistic control. We experiment in detail with various controlled generation methods for large pretrained language models: specifically, conditional training, guided fine-tuning, and guided decoding. We discuss their advantages and limitations, and evaluate them with a broad range of automatic and human evaluation metrics. Our results show that while high style accuracy and semantic correctness are easier to achieve for more lexically-defined styles with conditional training, stylistic control is also achievable for more semantically complex styles using discriminator-based guided decoding methods. The results also suggest that methods that are more scalable (with less hyper-parameters tuning) and that disentangle content generation and stylistic variations are more effective at achieving semantic correctness and style accuracy.


title: An animated picture says at least a thousand words: Selecting Gif-based Replies in Multimodal Dialog

abstract: Online conversations include more than just text. Increasingly, image-based responses such as memes and animated gifs serve as culturally recognized and often humorous responses in conversation. However, while NLP has broadened to multimodal models, conversational dialog systems have largely focused only on generating text replies. Here, we introduce a new dataset of 1.56M text-gif conversation turns and introduce a new multimodal conversational model Pepe the King Prawn for selecting gif-based replies. We demonstrate that our model produces relevant and high-quality gif responses and, in a large randomized control trial of multiple models replying to real users, we show that our model replies with gifs that are significantly better received by the community.


title: Adaptive Sampling Quasi-Newton Methods for Zeroth-Order Stochastic Optimization

abstract: We consider unconstrained stochastic optimization problems with no available gradient information. Such problems arise in settings from derivative-free simulation optimization to reinforcement learning. We propose an adaptive sampling quasi-Newton method where we estimate the gradients of a stochastic function using finite differences within a common random number framework. We develop modified versions of a norm test and an inner product quasi-Newton test to control the sample sizes used in the stochastic approximations and provide global convergence results to the neighborhood of the optimal solution. We present numerical experiments on simulation optimization problems to illustrate the performance of the proposed algorithm. When compared with classical zeroth-order stochastic gradient methods, we observe that our strategies of adapting the sample sizes significantly improve performance in terms of the number of stochastic function evaluations required.


title: Analysis of Different Sets of Spin-Adapted Substitution Operators in Open-Shell Coupled Cluster Theory

abstract: In spin-adapted open-shell coupled cluster (CC) theory, the choice of spin-free spatial substitution operators is generally not unique. Due to an increasing linear dependence of the cluster operator (with increasing substitution level), the options to span identical linear spaces increase rapidly. In this work several sets of non-orthogonal as well as orthogonal spin-adapted substitution operators are generated and used in consecutive Configuration Interaction (CI) and CC calculations. All (full) operator sets were generated to span the same linear space. The results are analyzed in terms of the produced wave function quality and the amount of recovered correlation energy w.r.t. full CI. In particular, the influence of different amounts of spectators, the influence of orthogonality as well as the effect of spin incompleteness was investigated. It was found that CC calculations involving fewer spectators lead to more accurate results in general. Here correlation energy differences of up to 0.32\% for minimal to maximal spectating sets were obtained. As expected, all conducted calculations led to identical results for non-orthogonal and orthogonal operator sets. Spin completeness on the other hand was found to be of great importance. Spin-incomplete Cluster operators led to significant errors in both the correlation energies and the FCI overlap.


title: Learning non-monotone optimal individualized treatment regimes

abstract: We propose a new modeling and estimation approach to select the optimal treatment regime from different options through constructing a robust estimating equation. The method is protected against misspecification of the propensity score model, the outcome regression model for the non-treated group, or the potential non-monotonic treatment difference model. Our method also allows residual errors to depend on covariates. A single index structure is incorporated to facilitate the nonparametric estimation of the treatment difference. We then identify the optimal treatment through maximizing the value function. Theoretical properties of the treatment assignment strategy are established. We illustrate the performance and effectiveness of our proposed estimators through extensive simulation studies and a real dataset on the effect of maternal smoking on baby birth weight.


title: Simulating properties of emission line galaxies from Nancy Grace Roman Space Telescope

abstract: We simulate the emission line galaxy properties for the Nancy Grace Roman Space Telescope by creating a 4 deg$^{2}$ galaxy mock catalog using Galacticus, a semi-analytic model (SAM) for galaxy formation and evolution. The simulated galaxy properties include emission line luminosity, equivalent width (EW), broad band photometry, and spectral energy distribution (SED). We compare this mock catalog with the latest observational data from WISP and MOSDEF. We find that our Galacticus model makes predictions consistent with observational data, over a wide redshift range for multiple emission lines. We use this validated galaxy mock catalog to forecast the photometric completeness of H$\alpha$ and [OIII] emission lines as a function of line flux cut and H band magnitdue cut, for both Roman and Euclid-like surveys. Our prediction for the photometric completeness of a Euclid-like survey is in good agreement with previous work based on WISP data. Our predictions for the photometric completeness of possible implementations of the Roman High Latitude Wide Area Spectroscopic Survey (HLWASS) provides key input for the planning of such a survey. We find that at H = 24, a Euclid-like survey to the line flux limit of 2$\times 10^{-16}\,$erg/s/cm$^2$ is 97\% complete, while a Roman HLWASS to the line flux limit of $10^{-16}\,$erg/s/cm$^2$ is only 94.6\% complete (it becomes 98\% complete at H = 25).


title: Egyptian Fractions with Denominators from Sequences Closed Under Doubling

abstract: Resolving a conjecture of Zhi-Wei Sun, we prove that every rational number can be represented as a sum of distinct unit fractions whose denominators are practical numbers. The same method applies to allowed denominators that are closed under multiplication by two and include a multiple of every positive integer, including the odious numbers, evil numbers, Hardy-Ramanujan numbers, Jordan-Polya numbers, and fibbinary numbers.


title: Long-Range Transformers for Dynamic Spatiotemporal Forecasting

abstract: Multivariate time series forecasting focuses on predicting future values based on historical context. State-of-the-art sequence-to-sequence models rely on neural attention between timesteps, which allows for temporal learning but fails to consider distinct spatial relationships between variables. In contrast, methods based on graph neural networks explicitly model variable relationships. However, these methods often rely on predefined graphs that cannot change over time and perform separate spatial and temporal updates without establishing direct connections between each variable at every timestep. Our work addresses these problems by translating multivariate forecasting into a "spatiotemporal sequence" formulation where each Transformer input token represents the value of a single variable at a given time. Long-Range Transformers can then learn interactions between space, time, and value information jointly along this extended sequence. Our method, which we call Spacetimeformer, achieves competitive results on benchmarks from traffic forecasting to electricity demand and weather prediction while learning spatiotemporal relationships purely from data.


title: Influence of Mobility Restrictions on Transmission of COVID-19 in the state of Maryland -- the USA

abstract: Background: The novel coronavirus, COVID-19, was first detected in the United States in January 2020. To curb the spread of the disease in mid-March, different states issued mandatory stay-at-home (SAH) orders. These nonpharmaceutical interventions were mandated based on prior experiences, such as the 1918 influenza epidemic. Hence, we decided to study the impact of restrictions on mobility on reducing COVID-19 transmission. Methods: We designed an ecological time series study with our exposure variable as Mobility patterns in the state of Maryland for March- December 2020 and our outcome variable as the COVID-19 hospitalizations for the same period. We built an Extreme Gradient Boosting (XGBoost) ensemble machine learning model and regressed the lagged COVID-19 hospitalizations with Mobility volume for different regions of Maryland. Results: We found an 18% increase in COVID-19 hospitalizations when mobility was increased by a factor of five, similarly a 43% increase when mobility was further increased by a factor of ten. Conclusion: The findings of our study demonstrated a positive linear relationship between mobility and the incidence of COVID-19 cases. These findings are partially consistent with other studies suggesting the benefits of mobility restrictions. Although more detailed approach is needed to precisely understand the benefits and limitations of mobility restrictions as part of a response to the COVID-19 pandemic.


title: Measurement of the Double-Differential Muon-neutrino Charged-Current Inclusive Cross Section in the NOvA Near Detector

abstract: We report cross-section measurements of the final-state muon kinematics for \numu charged-current interactions in the NOvA near detector using an accumulated 8.09$\times10^{20}$ protons-on-target (POT) in the NuMI beam. We present the results as a double-differential cross section in the observed outgoing muon energy and angle, as well as single-differential cross sections in the derived neutrino energy, $E_\nu$, and square of the four-momentum transfer, $Q^2$. We compare the results to inclusive cross-section predictions from various neutrino event generators via $\chi^2$ calculations using a covariance matrix that accounts for bin-to-bin correlations of systematic uncertainties. These comparisons show a clear discrepancy between the data and each of the tested predictions at forward muon angle and low $Q^2$, indicating a missing suppression of the cross section in current neutrino-nucleus scattering models.


title: Ground material classification for UAV-based photogrammetric 3D data A 2D-3D Hybrid Approach

abstract: In recent years, photogrammetry has been widely used in many areas to create photorealistic 3D virtual data representing the physical environment. The innovation of small unmanned aerial vehicles (sUAVs) has provided additional high-resolution imaging capabilities with low cost for mapping a relatively large area of interest. These cutting-edge technologies have caught the US Army and Navy's attention for the purpose of rapid 3D battlefield reconstruction, virtual training, and simulations. Our previous works have demonstrated the importance of information extraction from the derived photogrammetric data to create semantic-rich virtual environments (Chen et al., 2019). For example, an increase of simulation realism and fidelity was achieved by segmenting and replacing photogrammetric trees with game-ready tree models. In this work, we further investigated the semantic information extraction problem and focused on the ground material segmentation and object detection tasks. The main innovation of this work was that we leveraged both the original 2D images and the derived 3D photogrammetric data to overcome the challenges faced when using each individual data source. For ground material segmentation, we utilized an existing convolutional neural network architecture (i.e., 3DMV) which was originally designed for segmenting RGB-D sensed indoor data. We improved its performance for outdoor photogrammetric data by introducing a depth pooling layer in the architecture to take into consideration the distance between the source images and the reconstructed terrain model. To test the performance of our improved 3DMV, a ground truth ground material database was created using data from the One World Terrain (OWT) data repository. Finally, a workflow for importing the segmented ground materials into a virtual simulation scene was introduced, and visual results are reported in this paper.