title: Circularly Symmetric Tests of Goodness-of-Fit

abstract: It is realized that existing powerful tests of goodness-of-fit are all based on sorted uniforms and, consequently, can suffer from the confounded effect of different locations and various signal frequencies in the deviations of the distributions under the alternative hypothesis from those under the null. This paper proposes circularly symmetric tests that are obtained by circularizing reweighted Anderson-Darling tests, with the focus on the circularized versions of Anderson-Darling and Zhang test statistics. Two specific types of circularization are considered, one is obtained by taking the average of the corresponding so-called scan test statistics and the other by using the maximum. To a certain extent, this circularization technique effectively eliminates the location effect and allows the weights to focus on the various signal frequencies. A limited but arguably convincing simulation study on finite-sample performance demonstrates that the circularized Zhang method outperforms the circularized Anderson-Darling and that the circularized tests outperform their parent methods. Large-sample theoretical results are also obtained for the average type of circularization. The results show that both the circularized Anderson-Darling and circularized Zhang have asymptotic distributions that are a weighted sum of an infinite number of independent squared standard normal random variables. In addition, the kernel matrices and functions are circulant. As a result, asymptotic approximations are computationally efficient via the fast Fourier transform.


title: Efficient Climate Simulation via Machine Learning Method

abstract: Hybrid modeling combining data-driven techniques and numerical methods is an emerging and promising research direction for efficient climate simulation. However, previous works lack practical platforms, making developing hybrid modeling a challenging programming problem. Furthermore, the lack of standard data sets and evaluation metrics may hamper researchers from comprehensively comparing various algorithms under a uniform condition. To address these problems, we propose a framework called NeuroClim for hybrid modeling under the real-world scenario, a basic setting to simulate the real climate that we live in. NeuroClim consists of three parts: (1) Platform. We develop a user-friendly platform NeuroGCM for efficiently developing hybrid modeling in climate simulation. (2) Dataset. We provide an open-source dataset for data-driven methods in hybrid modeling. We investigate the characteristics of the data, i.e., heterogeneity and stiffness, which reveals the difficulty of regressing climate simulation data; (3) Metrics. We propose a methodology for quantitatively evaluating hybrid modeling, including the approximation ability of machine learning models and the stability during simulation. We believe that NeuroClim allows researchers to work without high level of climate-related expertise and focus only on machine learning algorithm design, which will accelerate hybrid modeling research in the AI-Climate intersection. The codes and data are released at https://github.com/x-w19/NeuroClim.


title: Nanostructured Pt-Doped 2D MoSe$_2$: An Efficient Bifunctional Electrocatalyst for both Hydrogen Evolution and Oxygen Reduction Reactions

abstract: TMDs are a new family of 2D materials with features that make them appealing for potential applications in nanomaterials science and engineering. Although, the edges of the 2D TMDs show excellent electrocatalytic performance, their basal plane is inert which hinders the industrial applications for electrocatalysis. Here, we have computationally designed the 2D monolayer MoSe$_2$ and studied its electronic properties with electrocatalytic activities. Pt-atom has been doped in the pristine 2D MoSe$_2$ to activate the inert basal plane resulting zero bandgap. This study reveals that the Pt-MoSe$_2$ is an excellent bifunctional electrocatalyst for both the hydrogen evolution reaction (HER) and oxygen reduction reaction (ORR) with the aid of the DFT. Periodic hybrid DFT method has been applied to compute the electronic properties of both the pristine MoSe$_2$ and Pt-MoSe$_2$. To determine both the HER and ORR mechanisms on the surface of the Pt-MoSe2 material, a non-periodic DFT calculation has been performed by considering a molecular Pt1-Mo$_9$Se${21}$ cluster model. The present study shows that the 2D Pt-MoSe$_2$ follows Volmer-Heyrovsky mechanism for HER with the energy barriers about 9.29 kcal/mol and 10.55 kcal.mol-1 during the H-migration and Heyrovsky reactions. The ORR is achieved by four-electron transfer mechanism with the formation of two transition energy barriers about 14.94 kcal/mol and 11.10 kcal/mol, respectively. The lower energy barriers and high turnover frequency during the reactions expose that the Pt-MoSe$_2$ can be adopted as an efficient bifunctional electrocatalyst for both the HER and ORR. The present studies demonstrate that the exceptional HER and ORR activity and stability performance shown by the MoSe$_2$ electrocatalyst can be enhanced by Pt-doping, opening a promising concept for the sensible design of high-performance catalyst for H2 production and O2 reduction.


title: A VLA Study of Newly-Discovered Southern Latitude Non-Thermal Filaments in the Galactic Center: Radio Continuum Total-intensity and Spectral Index Properties

abstract: The non-thermal filament (NTF) radio structures clustered within a few hundred parsecs of the Galactic Center (GC) are apparently unique to this region of the Galaxy. Recent radio images of the GC using MeerKAT at 1 GHz have revealed a multitude of faint, previously unknown NTF bundles (NTFBs), some of which are comprised of as many as 10 or more individual filaments. In this work we present Very Large Array (VLA) observations at C- and X-bands (4 - 12 GHz) at arcsecond-scale resolutions of three of these newly-discovered NTFBs, all located at southern Galactic latitudes. These observations allow us to compare their total-intensity properties with those of the larger NTF population. We find that these targets generally possess properties similar to what is observed in the larger NTF population. However, the larger NTF population generally has steeper spectral index values than what we observe for our chosen targets. The results presented here based on the total-intensity properties of these structures indicate that the NTFs are likely all formed from Cosmic Rays (CRs). These CRs are either generated by a nearby compact source and then diffuse along the NTF lengths or are generated by extended, magnetized structures whose magnetic field undergoes reconnection with the NTF magnetic field.


title: Analyzing the Impact of Sentiments of Scientific Articles on COVID-19 Vaccination Rates

abstract: At the peak of the COVID-19 pandemic, numerous countries worldwide sought to mobilize vaccination campaigns in an attempt to curb the spread and number of deaths caused by the virus. One avenue in which information regarding COVID vaccinations is propagated is that of scientific articles, which provide a certain level of credibility regarding this. Hence, this increases the probability that people who view these articles would get vaccinated if the articles convey a positive message on vaccinations and conversely decreases the probability of vaccinations if the articles convey a negative message. This being said, this study aims to investigate the correlation between article sentiments and the corresponding increase or decrease in vaccinations in the United States. To do this, a lexicon-based sentiment analysis was performed in two steps: first, article content was scraped via a Python library called BeautifulSoup, and second, VADER was used to obtain the sentiment analysis scores for each article based on the scraped text content. Results suggest that there was a relatively weak correlation between the average sentiment score of articles and the corresponding increase or decrease in COVID vaccination rates in the US.


title: Breather Solutions to a Two-dimensional Nonlinear Schr\"odinger Equation with Non-local Derivatives

abstract: We consider the nonlinear Schr\"odinger equation with non-local derivatives in a two-dimensional periodic domain. For certain orders of derivatives, we find a new type of breather solution dominating the field evolution at low nonlinearity levels. With the increase of nonlinearity, the breathers break down, giving way to wave turbulence (or Rayleigh-Jeans) spectra. Phase-space trajectories associated with the breather solutions are found to be close to that of the linear system, revealing a connection between the breather solution and Kolmogorov-Arnold-Moser (KAM) theory.


title: Discreteness and completeness for $\Theta_n$-models of $(\infty,n)$-categories

abstract: We establish cartesian model structures for variants of $\Theta_n$-spaces in which we replace some or all of the completeness conditions by discreteness conditions. We prove that they are all equivalent to each other and to the $\Theta_n$-space model, and we give a criterion for which combinations of discreteness and completeness give non-overlapping models. These models can be thought of as generalizations of Segal categories in the framework of $\Theta_n$-diagrams. In the process, we give a characterization of the Dwyer-Kan equivalences in the $\Theta_n$-space model, generalizing the one given by Rezk for complete Segal spaces.


title: Furthur developements regarding Euler equation xyz(x+y+z)=a

abstract: In this paper, we derived the parametric solution of Euler and Elkies, xyz(x+y+z) = a, in an elementary manner. In addition we proved there are infinitely many parametric solutions of Euler's and Elkies's family of solutions.


title: A Category of Ordered Algebras Equivalent to the Category of Multialgebras

abstract: It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a correspondence induces an equivalence between the opposite category of $\textbf{Set}$ and the category of CABA's. We extend this result by taking multialgebras over a signature $\Sigma$, specifically those whose non-deterministic operations cannot return the empty-set, to CABA's with their zero element removed and a structure of $\Sigma$-algebra compatible with its order; reciprocally, one of these "almost Boolean" $\Sigma$-algebras is taken to its set of atomic elements equipped with a structure of multialgebra over $\Sigma$. This leads to an equivalence between the category of $\Sigma$-multialgebras and a category of ordered $\Sigma$-algebras. The intuition, here, is that if one wishes to do so, non-determinism may be replaced by a sufficiently rich ordering of the underlying structures.


title: Computing analytic Bayes factors from summary statistics in repeated-measures designs

abstract: Bayes factors are an increasingly popular tool for indexing evidence from experiments. For two competing population models, the Bayes factor reflects the relative likelihood of observing some data under one model compared to the other. In general, computing a Bayes factor is difficult, because computing the marginal likelihood of each model requires integrating the product of the likelihood and a prior distribution on the population parameter(s). In this paper, we develop a new analytic formula for computing Bayes factors directly from minimal summary statistics in repeated-measures designs. This work is an improvement on previous methods for computing Bayes factors from summary statistics (e.g., the BIC method), which produce Bayes factors that violate the Sellke upper bound of evidence for smaller sample sizes. The new approach taken in this paper extends requires knowing only the $F$-statistic and degrees of freedom, both of which are commonly reported in most empirical work. In addition to providing computational examples, we report a simulation study that benchmarks the new formula against other methods for computing Bayes factors in repeated-measures designs. Our new method provides an easy way for researchers to compute Bayes factors directly from a minimal set of summary statistics, allowing users to index the evidential value of their own data, as well as data reported in published studies.


title: Breaking the Speed Limit for Perfect Quantum State Transfer

abstract: We describe a protocol for perfectly transferring a quantum state from one party to another under the dynamics of a fixed, engineered Hamiltonian. Our protocol combines the concepts of fractional revival, dual rail encoding, and a rare glimpse of the anti-Zeno effect. Remarkably, the transfer happens faster than the speed limit for perfect quantum state transfer [1, 2].


title: Predicting the Mpemba Effect Using Machine Learning

abstract: The Mpemba Effect can be studied with Markovian dynamics in a non-equilibrium thermodynamics framework. The Markovian Mpemba Effect can be observed in a variety of systems including the Ising model. We demonstrate that the Markovian Mpemba Effect can be predicted in the Ising model with several machine learning methods: the decision tree algorithm, neural networks, linear regression, and non-linear regression with the LASSO method. The positive and negative accuracy of these methods are compared. Additionally, we find that machine learning methods can be used to accurately extrapolate to data outside the range which they were trained. Neural Networks can even predict the existence of the Mpemba Effect when they are trained only on data in which the Mpemba Effect does not occur. This indicates that information about which coefficients result in the Mpemba Effect is contained in coefficients where the results does not occur. Furthermore, neural networks can predict that the Mpemba effect does not occur for positive $J$, corresponding to the ferromagnetic ising model even when they are only trained on negative $J$, corresponding to the anti-ferromagnetic ising model. All of these results demonstrate that the Mpemba Effect can be predicted in complex, computationally expensive systems, without explicit calculations of the eigenvectors.


title: Uncertainty Quantification of Collaborative Detection for Self-Driving

abstract: Sharing information between connected and autonomous vehicles (CAVs) fundamentally improves the performance of collaborative object detection for self-driving. However, CAVs still have uncertainties on object detection due to practical challenges, which will affect the later modules in self-driving such as planning and control. Hence, uncertainty quantification is crucial for safety-critical systems such as CAVs. Our work is the first to estimate the uncertainty of collaborative object detection. We propose a novel uncertainty quantification method, called Double-M Quantification, which tailors a moving block bootstrap (MBB) algorithm with direct modeling of the multivariant Gaussian distribution of each corner of the bounding box. Our method captures both the epistemic uncertainty and aleatoric uncertainty with one inference pass based on the offline Double-M training process. And it can be used with different collaborative object detectors. Through experiments on the comprehensive collaborative perception dataset, we show that our Double-M method achieves more than 4X improvement on uncertainty score and more than 3% accuracy improvement, compared with the state-of-the-art uncertainty quantification methods. Our code is public on https://coperception.github.io/double-m-quantification.


title: Belief Revision based Caption Re-ranker with Visual Semantic Information

abstract: In this work, we focus on improving the captions generated by image-caption generation systems. We propose a novel re-ranking approach that leverages visual-semantic measures to identify the ideal caption that maximally captures the visual information in the image. Our re-ranker utilizes the Belief Revision framework (Blok et al., 2003) to calibrate the original likelihood of the top-n captions by explicitly exploiting the semantic relatedness between the depicted caption and the visual context. Our experiments demonstrate the utility of our approach, where we observe that our re-ranker can enhance the performance of a typical image-captioning system without the necessity of any additional training or fine-tuning.


title: Solutions of the Variational Equation for an nth Order Boundary Value Problem with an Integral Boundary Condition

abstract: In this paper, we discuss differentiation of solutions to the boundary value problem $y^{(n)} = f(x, y, y^{'}, y^{''}, \ldots, y^{(n-1)}), \; a<x<b,\; y^{(i)}(x_j) = y_{ij},\; 0\leq i \leq m_j, \; 1 \leq j \leq k-1$, and $y^{(i)}(x_k) + \int_c^d p y(x)\;dx = y_{ik}, \;0 \leq i \leq m_k,\;\sum_{i=1}^km_i=n$ with respect to the boundary data. We show that under certain conditions, partial derivatives of the solution $y(x)$ of the boundary value problem with respect to the various boundary data exist and solve the associated variational equation along $y(x)$.


title: A Decade of Code Comment Quality Assessment: A Systematic Literature Review

abstract: Code comments are important artifacts in software systems and play a paramount role in many software engineering (SE) tasks related to maintenance and program comprehension. However, while it is widely accepted that high quality matters in code comments just as it matters in source code, assessing comment quality in practice is still an open problem. First and foremost, there is no unique definition of quality when it comes to evaluating code comments. The few existing studies on this topic rather focus on specific attributes of quality that can be easily quantified and measured. Existing techniques and corresponding tools may also focus on comments bound to a specific programming language, and may only deal with comments with specific scopes and clear goals (e.g., Javadoc comments at the method level, or in-body comments describing TODOs to be addressed). In this paper, we present a Systematic Literature Review (SLR) of the last decade of research in SE to answer the following research questions: (i) What types of comments do researchers focus on when assessing comment quality? (ii) What quality attributes (QAs) do they consider? (iii) Which tools and techniques do they use to assess comment quality?, and (iv) How do they evaluate their studies on comment quality assessment in general? Our evaluation, based on the analysis of 2353 papers and the actual review of 47 relevant ones, shows that (i) most studies and techniques focus on comments in Java code, thus may not be generalizable to other languages, and (ii) the analyzed studies focus on four main QAs of a total of 21 QAs identified in the literature, with a clear predominance of checking consistency between comments and the code. We observe that researchers rely on manual assessment and specific heuristics rather than the automated assessment of the comment quality attributes.


title: The trace reconstruction problem for spider graphs

abstract: We study the trace reconstruction problem for spider graphs. Let $n$ be the number of nodes of a spider and $d$ be the length of each leg, and suppose that we are given independent traces of the spider from a deletion channel in which each non-root node is deleted with probability $q$. This is a natural generalization of the string trace reconstruction problem in theoretical computer science, which corresponds to the special case where the spider has one leg. In the regime where $d\ge \log_{1/q}(n)$, the problem can be reduced to the vanilla string trace reconstruction problem. We thus study the more interesting regime $d\le \log_{1/q}(n)$, in which entire legs of the spider are deleted with non-negligible probability. We describe an algorithm that reconstructs spiders with high probability using $\exp\left(\mathcal{O}\left(\frac{(nq^d)^{1/3}}{d^{1/3}}(\log n)^{2/3}\right)\right)$ traces. Our algorithm works for all deletion probabilities $q\in(0,1)$.


title: Quantum Vision Transformers

abstract: In this work, quantum transformers are designed and analysed in detail by extending the state-of-the-art classical transformer neural network architectures known to be very performant in natural language processing and image analysis. Building upon the previous work, which uses parametrised quantum circuits for data loading and orthogonal neural layers, we introduce three types of quantum transformers for training and inference, including a quantum transformer based on compound matrices, which guarantees a theoretical advantage of the quantum attention mechanism compared to their classical counterpart both in terms of asymptotic run time and the number of model parameters. These quantum architectures can be built using shallow quantum circuits and produce qualitatively different classification models. The three proposed quantum attention layers vary on the spectrum between closely following the classical transformers and exhibiting more quantum characteristics. As building blocks of the quantum transformer, we propose a novel method for loading a matrix as quantum states as well as two new trainable quantum orthogonal layers adaptable to different levels of connectivity and quality of quantum computers. We performed extensive simulations of the quantum transformers on standard medical image datasets that showed competitively, and at times better performance compared to the classical benchmarks, including the best-in-class classical vision transformers. The quantum transformers we trained on these small-scale datasets require fewer parameters compared to standard classical benchmarks. Finally, we implemented our quantum transformers on superconducting quantum computers and obtained encouraging results for up to six qubit experiments.


title: FluTO: Graded Multiscale Fluid Topology Optimization using Neural Networks

abstract: Fluid-flow devices with low dissipation, but high contact area, are of importance in many applications. A well-known strategy to design such devices is multi-scale topology optimization (MTO), where optimal microstructures are designed within each cell of a discretized domain. Unfortunately, MTO is computationally very expensive since one must perform homogenization of the evolving microstructures, during each step of the homogenization process. As an alternate, we propose here a graded multiscale topology optimization (GMTO) for designing fluid-flow devices. In the proposed method, several pre-selected but size-parameterized and orientable microstructures are used to fill the domain optimally. GMTO significantly reduces the computation while retaining many of the benefits of MTO. In particular, GMTO is implemented here using a neural-network (NN) since: (1) homogenization can be performed off-line, and used by the NN during optimization, (2) it enables continuous switching between microstructures during optimization, (3) the number of design variables and computational effort is independent of number of microstructure used, and, (4) it supports automatic differentiation, thereby eliminating manual sensitivity analysis. Several numerical results are presented to illustrate the proposed framework.


title: Value Summation: A Novel Scoring Function for MPC-based Model-based Reinforcement Learning

abstract: This paper proposes a novel scoring function for the planning module of MPC-based reinforcement learning methods to address the inherent bias of using the reward function to score trajectories. The proposed method enhances the learning efficiency of existing MPC-based MBRL methods using the discounted sum of values. The method utilizes optimal trajectories to guide policy learning and updates its state-action value function based on real-world and augmented onboard data. The learning efficiency of the proposed method is evaluated in selected MuJoCo Gym environments as well as in learning locomotion skills for a simulated model of the Cassie robot. The results demonstrate that the proposed method outperforms the current state-of-the-art algorithms in terms of learning efficiency and average reward return.


title: Adaptation for Validation of a Consolidated Control Barrier Function based Control Synthesis

abstract: We develop a novel adaptation-based technique for safe control design in the presence of multiple control barrier function (CBF) constraints. Specifically, we introduce an approach for synthesizing any number of candidate CBFs into one consolidated CBF candidate, and propose a parameter adaptation law for the weights of its constituents such that the controllable dynamics of the consolidated CBF are non-vanishing. We then prove that the use of our adaptation law serves to certify the consolidated CBF candidate as valid for a class of nonlinear, control-affine, multi-agent systems, which permits its use in a quadratic program based control law. We highlight the success of our approach in simulation on a multi-robot goal-reaching problem in a crowded warehouse environment, and further demonstrate its efficacy experimentally in the laboratory via AION ground rovers operating amongst other vehicles behaving both aggressively and conservatively.


title: Deep learning for reconstructing protein structures from cryo-EM density maps: recent advances and future directions

abstract: Cryo-Electron Microscopy (cryo-EM) has emerged as a key technology to determine the structure of proteins, particularly large protein complexes and assemblies in recent years. A key challenge in cryo-EM data analysis is to automatically reconstruct accurate protein structures from cryo-EM density maps. In this review, we briefly overview various deep learning methods for building protein structures from cryo-EM density maps, analyze their impact, and discuss the challenges of preparing high-quality data sets for training deep learning models. Looking into the future, more advanced deep learning models of effectively integrating cryo-EM data with other sources of complementary data such as protein sequences and AlphaFold-predicted structures need to be developed to further advance the field.


title: Weakly Supervised Medical Image Segmentation With Soft Labels and Noise Robust Loss

abstract: Recent advances in deep learning algorithms have led to significant benefits for solving many medical image analysis problems. Training deep learning models commonly requires large datasets with expert-labeled annotations. However, acquiring expert-labeled annotation is not only expensive but also is subjective, error-prone, and inter-/intra- observer variability introduces noise to labels. This is particularly a problem when using deep learning models for segmenting medical images due to the ambiguous anatomical boundaries. Image-based medical diagnosis tools using deep learning models trained with incorrect segmentation labels can lead to false diagnoses and treatment suggestions. Multi-rater annotations might be better suited to train deep learning models with small training sets compared to single-rater annotations. The aim of this paper was to develop and evaluate a method to generate probabilistic labels based on multi-rater annotations and anatomical knowledge of the lesion features in MRI and a method to train segmentation models using probabilistic labels using normalized active-passive loss as a "noise-tolerant loss" function. The model was evaluated by comparing it to binary ground truth for 17 knees MRI scans for clinical segmentation and detection of bone marrow lesions (BML). The proposed method successfully improved precision 14, recall 22, and Dice score 8 percent compared to a binary cross-entropy loss function. Overall, the results of this work suggest that the proposed normalized active-passive loss using soft labels successfully mitigated the effects of noisy labels.


title: Covariance regression with random forests

abstract: Capturing the conditional covariances or correlations among the elements of a multivariate response vector based on covariates is important to various fields including neuroscience, epidemiology and biomedicine. We propose a new method called Covariance Regression with Random Forests (CovRegRF) to estimate the covariance matrix of a multivariate response given a set of covariates, using a random forest framework. Random forest trees are built with a splitting rule specially designed to maximize the difference between the sample covariance matrix estimates of the child nodes. We also propose a significance test for the partial effect of a subset of covariates. We evaluate the performance of the proposed method and significance test through a simulation study which shows that the proposed method provides accurate covariance matrix estimates and that the Type-1 error is well controlled. An application of the proposed method to thyroid disease data is also presented. CovRegRF is implemented in a freely available R package on CRAN.


title: Confidence-Guided Data Augmentation for Improved Semi-Supervised Training

abstract: We propose a new strategy to improve the accuracy and robustness of image classification. First, we train a baseline CNN model. Then, we identify challenging regions in the feature space by identifying all misclassified samples, and correctly classified samples with low confidence values. These samples are then used to train a Variational AutoEncoder (VAE). Next, the VAE is used to generate synthetic images. Finally, the generated synthetic images are used in conjunction with the original labeled images to train a new model in a semi-supervised fashion. Empirical results on benchmark datasets such as STL10 and CIFAR-100 show that the synthetically generated samples can further diversify the training data, leading to improvement in image classification in comparison with the fully supervised baseline approaches using only the available data.


title: Geometric Eisenstein Series, Intertwining Operators, and Shin's Averaging Formula

abstract: In the geometric Langlands program over function fields, Braverman-Gaitsgory and Laumon constructed geometric Eisenstein functors which geometrize the classical construction of Eisenstein series. Fargues and Scholze very recently constructed a general candidate for the local Langlands correspondence, via a geometric Langlands correspondence occurring over the Fargues-Fontaine curve. We carry some of the theory of geometric Eisenstein series over to the Fargues-Fontaine setting. Namely, given a quasi-split connected reductive group $G/\mathbb{Q}_{p}$ with simply connected derived group and maximal torus $T$, we construct an Eisenstein functor $\mathrm{nEis}(-)$, which takes sheaves on $Bun_{T}$ to sheaves on $Bun_{G}$. We show that, given a sufficiently nice $L$-parameter $\phi_{T}: W_{\mathbb{Q}_{p}} \rightarrow \phantom{}^{L}T$, there is a Hecke eigensheaf on $Bun_{G}$ with eigenvalue $\phi$, given by applying $\mathrm{nEis}(-)$ to the Hecke eigensheaf $\mathcal{S}_{\phi_{T}}$ on $Bun_{T}$ attached to $\phi_{T}$ by Fargues and Zou. We show that $\mathrm{nEis}(\mathcal{S}_{\phi_{T}})$ interacts well with Verdier duality, and, assuming compatibility of the Fargues-Scholze correspondence with a suitably nice form of the local Langlands correspondence, provide an explicit formula for the stalks of the eigensheaf in terms of parabolic inductions of the character $\chi$ attached to $\phi_{T}$. This has several surprising consequences. First, it recovers special cases of an averaging formula of Shin for the cohomology of local Shimura varieties with rational coefficients, and generalizes it to the non-minuscule case. Second, it refines the averaging formula in the cases where the parameter $\phi$ is sufficiently nice, giving an explicit formula for the degrees of cohomology that certain parabolic inductions sit in, and this refined formula holds even with torsion coefficients.


title: OysterNet: Enhanced Oyster Detection Using Simulation

abstract: Oysters play a pivotal role in the bay living ecosystem and are considered the living filters for the ocean. In recent years, oyster reefs have undergone major devastation caused by commercial over-harvesting, requiring preservation to maintain ecological balance. The foundation of this preservation is to estimate the oyster density which requires accurate oyster detection. However, systems for accurate oyster detection require large datasets obtaining which is an expensive and labor-intensive task in underwater environments. To this end, we present a novel method to mathematically model oysters and render images of oysters in simulation to boost the detection performance with minimal real data. Utilizing our synthetic data along with real data for oyster detection, we obtain up to 35.1% boost in performance as compared to using only real data with our OysterNet network. We also improve the state-of-the-art by 12.7%. This shows that using underlying geometrical properties of objects can help to enhance recognition task accuracy on limited datasets successfully and we hope more researchers adopt such a strategy for hard-to-obtain datasets.


title: CompF2: Theoretical Calculations and Simulation Topical Group Report

abstract: This report summarizes the work of the Computational Frontier topical group on theoretical calculations and simulation for Snowmass 2021. We discuss the challenges, potential solutions, and needs facing six diverse but related topical areas that span the subject of theoretical calculations and simulation in high energy physics (HEP): cosmic calculations, particle accelerator modeling, detector simulation, event generators, perturbative calculations, and lattice QCD (quantum chromodynamics). The challenges arise from the next generations of HEP experiments, which will include more complex instruments, provide larger data volumes, and perform more precise measurements. Calculations and simulations will need to keep up with these increased requirements. The other aspect of the challenge is the evolution of computing landscape away from general-purpose computing on CPUs and toward special-purpose accelerators and coprocessors such as GPUs and FPGAs. These newer devices can provide substantial improvements for certain categories of algorithms, at the expense of more specialized programming and memory and data access patterns.


title: Three-dimensional non-kinematic simulation of post-emergence evolution of bipolar magnetic regions and Babcock-Leighton dynamo of the Sun

abstract: The Babcock-Leighton (BL) flux-transport model is a widely-accepted dynamo model of the Sun. This dynamo model has been extensively studied in a two-dimensional (2D) mean-field framework in both kinematic and non-kinematic regimes. Recent three-dimensional (3D) models have been restricted to the kinematic regime. In these models, the surface poloidal flux is produced by the emergence of bipolar magnetic regions (BMRs) that are tilted according to Joy's law. We investigate the prescription for emergence of a BMR in 3D non-kinematic simulations. We also report initial results of cyclic BL dynamo simulation. We extend a conventional 2D mean-field model of the BL flux-transport dynamo into 3D non-kinematic regime. The large-scale mean flows are driven by the parameterized $\Lambda$-effect in this model. For the induction equation, we use a BL source term by which the surface BMRs are produced in response to the dynamo-generated toroidal field inside the convection zone. We find that, in the 3D non-kinematic regime, the tilt angle of a newly-emerged BMR is very sensitive to the prescription for the subsurface structure of the BMR. Anti-Joy tilt angles are found unless the BMR is deeply embedded in the convection zone. We also find that the leading spot tends to become stronger than the following spot. The anti-Joy's law trend and the morphological asymmetry of the BMRs can be explained by the Coriolis force acting on the Lorentz-force-driven flows. Furthermore, we demonstrate that the solar-like magnetic cycles can be successfully obtained if the Joy's law is explicitly given in the BL $\alpha$-effect. In these cyclic dynamo simulation, a strong Lorentz force feedback leads to cycle modulations in the differential rotation and meridional circulation. The non-axisymmetric components of the flows are found to exist as inertial modes such as the equatorial Rossby modes.


title: Cell Attention Networks

abstract: Since their introduction, graph attention networks achieved outstanding results in graph representation learning tasks. However, these networks consider only pairwise relationships among nodes and then they are not able to fully exploit higher-order interactions present in many real world data-sets. In this paper, we introduce Cell Attention Networks (CANs), a neural architecture operating on data defined over the vertices of a graph, representing the graph as the 1-skeleton of a cell complex introduced to capture higher order interactions. In particular, we exploit the lower and upper neighborhoods, as encoded in the cell complex, to design two independent masked self-attention mechanisms, thus generalizing the conventional graph attention strategy. The approach used in CANs is hierarchical and it incorporates the following steps: i) a lifting algorithm that learns {\it edge features} from {\it node features}; ii) a cell attention mechanism to find the optimal combination of edge features over both lower and upper neighbors; iii) a hierarchical {\it edge pooling} mechanism to extract a compact meaningful set of features. The experimental results show that CAN is a low complexity strategy that compares favorably with state of the art results on graph-based learning tasks.


title: Mitigating Filter Bubbles within Deep Recommender Systems

abstract: Recommender systems, which offer personalized suggestions to users, power many of today's social media, e-commerce and entertainment. However, these systems have been known to intellectually isolate users from a variety of perspectives, or cause filter bubbles. In our work, we characterize and mitigate this filter bubble effect. We do so by classifying various datapoints based on their user-item interaction history and calculating the influences of the classified categories on each other using the well known TracIn method. Finally, we mitigate this filter bubble effect without compromising accuracy by carefully retraining our recommender system.


title: General History of X-Ray Polarimetry in Astrophysics

abstract: Soon after the discovery of the first extrasolar X-Ray sources it was suggested that polarimetry could play a major role as a diagnostic tool. Attempts to measure polarization of X-Ray sources was performed by the team of Columbia University lead by Robert Novick. The technique of Bragg diffraction at 45{\deg} was successful to detect the polarization of the Crab with rockets and with OSO-8 satellite. In the following evolution of X-Ray Astronomy, Polarimetry was too mismatched with the improved sensitivity of imaging and spectroscopy, based on the use of optics. As a consequence no polarimeter was flown any more. At the beginning of the century a new class of instruments based on the photoelectric effect were developed. In the focus of an X-Ray telescope they can perform angular, energy and time resolved polarimetry and benefit of the large increase of sensitivity due to the optics. The Imaging X-Ray Polarimetry Explorer, exploiting this technique, was launched at the end of 2021.


title: The Interstellar Interlopers

abstract: Interstellar interlopers are bodies formed outside of the solar system but observed passing through it. The first two identified interlopers, 1I/`Oumuamua and 2I/Borisov, exhibited unexpectedly different physical properties. 1I/`Oumuamua appeared unresolved and asteroid-like whereas 2I/Borisov was a more comet-like source of both gas and dust. Both objects moved under the action of non-gravitational acceleration. These interlopers and their divergent properties provide our only window so far onto an enormous and previously unknown galactic population. The number density of such objects is $\sim$ 0.1 AU$^{-3}$ which, if uniform across the galactic disk, would imply 10$^{25}$ to 10$^{26}$ similar objects in the Milky Way. The interlopers likely formed in, and were ejected from, the protoplanetary disks of young stars. However, we currently possess too little data to firmly reject other explanations.


title: Optimal Scaling for Locally Balanced Proposals in Discrete Spaces

abstract: Optimal scaling has been well studied for Metropolis-Hastings (M-H) algorithms in continuous spaces, but a similar understanding has been lacking in discrete spaces. Recently, a family of locally balanced proposals (LBP) for discrete spaces has been proved to be asymptotically optimal, but the question of optimal scaling has remained open. In this paper, we establish, for the first time, that the efficiency of M-H in discrete spaces can also be characterized by an asymptotic acceptance rate that is independent of the target distribution. Moreover, we verify, both theoretically and empirically, that the optimal acceptance rates for LBP and random walk Metropolis (RWM) are $0.574$ and $0.234$ respectively. These results also help establish that LBP is asymptotically $O(N^\frac{2}{3})$ more efficient than RWM with respect to model dimension $N$. Knowledge of the optimal acceptance rate allows one to automatically tune the neighborhood size of a proposal distribution in a discrete space, directly analogous to step-size control in continuous spaces. We demonstrate empirically that such adaptive M-H sampling can robustly improve sampling in a variety of target distributions in discrete spaces, including training deep energy based models.


title: Engineering Chemo-Mechanical Properties of Zn Surfaces via Alucone Coating

abstract: Aqueous zinc (Zn)-ion batteries (AZIB) are promising candidates for the next-generation energy store systems due to their high capacity and low cost. Despite their nominal performance, Zn anodes tend to rapidly develop dendrite and fracture, leading to substantial capacity loss and cycling stability failure. Well-controlled coating using organic-inorganic hybrid molecules is highly promising to substantially improve their chemo-mechanical stability without compromising their performance. We herein present a critical assessment of the chemical and mechanical stability of alucone-coated Zn surfaces using first-principles simulations. Negative adsorption energies indicate strong cohesive strengths between alucone and the selected Zn surfaces. Energetically favorable alucone coatings are further verified by charge transfer at interfaces as seen through Bader charge analysis. Negative surface stress profiles at alucone coated interface are mostly responsible for surface reconstruction. The contributions of surface elastic constants are dependent on the selection of slip planes and the thickness of the thin film. By considering plane stress conditions, we calculate the mechanical properties which indicate the ductility of the alucone-coated basal thin film.


title: LEARNEST: LEARNing Enhanced Model-based State ESTimation for Robots using Knowledge-based Neural Ordinary Differential Equations

abstract: State estimation is an important aspect in many robotics applications. In this work, we consider the task of obtaining accurate state estimates for robotic systems by enhancing the dynamics model used in state estimation algorithms. Existing frameworks such as moving horizon estimation (MHE) and the unscented Kalman filter (UKF) provide the flexibility to incorporate nonlinear dynamics and measurement models. However, this implies that the dynamics model within these algorithms has to be sufficiently accurate in order to warrant the accuracy of the state estimates. To enhance the dynamics models and improve the estimation accuracy, we utilize a deep learning framework known as knowledge-based neural ordinary differential equations (KNODEs). The KNODE framework embeds prior knowledge into the training procedure and synthesizes an accurate hybrid model by fusing a prior first-principles model with a neural ordinary differential equation (NODE) model. In our proposed LEARNEST framework, we integrate the data-driven model into two novel model-based state estimation algorithms, which are denoted as KNODE-MHE and KNODE-UKF. These two algorithms are compared against their conventional counterparts across a number of robotic applications; state estimation for a cartpole system using partial measurements, localization for a ground robot, as well as state estimation for a quadrotor. Through simulations and tests using real-world experimental data, we demonstrate the versatility and efficacy of the proposed learning-enhanced state estimation framework.


title: Sobolev orthogonal polynomials on the conic surface

abstract: Orthogonal polynomials with respect to the weight function $w_{\beta,\gamma}(t) = t^\beta (1-t)^\gamma$, $\gamma > -1$, on the conic surface $\{(x,t): \|x\| = t, \, x \in \mathbb{R}^d, \, t \le 1\}$ are studied recently, and they are shown to be eigenfunctions of a second order differential operator $\mathcal{D}_\gamma$ when $\beta =-1$. We extend the setting to the Sobolev inner product, defined as the integration of the $s$-th partial derivatives in $t$ variable with respect to $w_{\beta+s,0}$ over the conic surface plus a sum of integrals over the rim of the cone. Our main results provide an explicit construction of an orthogonal basis and a formula for the orthogonal projection operators; the latter is used to exploit the interaction of differential operators and the projection operator, which allows us to study the convergence of the Fourier orthogonal series. The study can be regarded as an extension of the orthogonal structure to the weight function $w_{\beta, -s}$ for a positive integer $s$. It shows, in particular, that the Sobolev orthogonal polynomials are eigenfunctions of $\mathcal{D}_{\gamma}$ when $\gamma = -1$.


title: Modeling Quantum Enhanced Sensing on a Quantum Computer

abstract: Quantum computers allow for direct simulation of the quantum interference and entanglement used in modern interferometry experiments with applications ranging from biological sensing to gravitational wave detection. Inspired by recent developments in quantum sensing at the Laser Interferometer Gravitational-wave Observatory (LIGO), here we present two quantum circuit models that demonstrate the role of quantum mechanics and entanglement in modern precision sensors. We implemented these quantum circuits on IBM quantum processors, using a single qubit to represent independent photons traveling through the LIGO interferometer and two entangled qubits to illustrate the improved sensitivity that LIGO has achieved by using non-classical states of light. The one-qubit interferometer illustrates how projection noise in the measurement of independent photons corresponds to phase sensitivity at the standard quantum limit. In the presence of technical noise on a real quantum computer, this interferometer achieves the sensitivity of 11\% above the standard quantum limit. The two-qubit interferometer demonstrates how entanglement circumvents the limits imposed by the quantum shot noise, achieving the phase sensitivity 17\% below the standard quantum limit. These experiments illustrate the role that quantum mechanics plays in setting new records for precision measurements on platforms like LIGO. The experiments are broadly accessible, remotely executable activities that are well suited for introducing undergraduate students to quantum computation, error propagation, and quantum sensing on real quantum hardware.


title: Valley-Spin Hall Effect-based Nonvolatile Memory with Exchange-Coupling-Enabled Electrical Isolation of Read and Write Paths

abstract: Valley-spin hall (VSH) effect in monolayer WSe2 has been shown to exhibit highly beneficial features for nonvolatile memory (NVM) design. Key advantages of VSH-based magnetic random-access memory (VSH-MRAM) over spin orbit torque (SOT)-MRAM include access transistor-less compact bit-cell and low power switching of perpendicular magnetic anisotropy (PMA) magnets. Nevertheless, large device resistance in the read path (RS) due to low mobility of WSe2 and Schottky contacts deteriorates sense margin, offsetting the benefits of VSH-MRAM. To address this limitation, we propose another flavor of VSH-based MRAM that (while inheriting most of the benefits of VSH-MRAM) achieves lower RS in the read path by electrically isolating the read and write terminals. This is enabled by coupling VSH with electrically-isolated but magnetically-coupled PMA magnets via interlayer exchange-coupling. Designing the proposed devices using object oriented micro magnetic framework (OOMMF) simulation, we ensure the robustness of the exchange-coupled PMA system under process variations. To maintain a compact memory footprint, we share the read access transistor across multiple bit-cells. Compared to the existing VSH-MRAMs, our design achieves 39%-42% and 36%-46% reduction in read time and energy, respectively, along with 1.1X-1.3X larger sense margin at a comparable area. This comes at the cost of 1.7X and 2.0X increase in write time and energy, respectively. Thus, the proposed design is suitable for applications in which reads are more dominant than writes.


title: CLAIRE -- Parallelized Diffeomorphic Image Registration for Large-Scale Biomedical Imaging Applications

abstract: We study the performance of CLAIRE -- a diffeomorphic multi-node, multi-GPU image-registration algorithm, and software -- in large-scale biomedical imaging applications with billions of voxels. At such resolutions, most existing software packages for diffeomorphic image registration are prohibitively expensive. As a result, practitioners first significantly downsample the original images and then register them using existing tools. Our main contribution is an extensive analysis of the impact of downsampling on registration performance. We study this impact by comparing full-resolution registrations obtained with CLAIRE to lower-resolution registrations for synthetic and real-world imaging datasets. Our results suggest that registration at full resolution can yield a superior registration quality -- but not always. For example, downsampling a synthetic image from $1024^3$ to $256^3$ decreases the Dice coefficient from 92% to 79%. However, the differences are less pronounced for noisy or low-contrast high-resolution images. CLAIRE allows us not only to register images of clinically relevant size in a few seconds but also to register images at unprecedented resolution in a reasonable time. The highest resolution considered is CLARITY images of size $2816\times3016\times1162$. To the best of our knowledge, this is the first study on image registration quality at such resolutions.


title: Site-Net: Using global self-attention and real-space supercells to capture long-range interactions in crystal structures

abstract: Site-Net is a transformer architecture that models the periodic crystal structures of inorganic materials as a labelled point set of atoms and relies entirely on global self-attention and geometric information to guide learning. Site-Net processes standard crystallographic information files to generate a large real-space supercell, and the importance of interactions between all atomic sites is flexibly learned by the model for the prediction task presented. The attention mechanism is probed to reveal Site-Net can learn long-range interactions in crystal structures, and that specific attention heads become specialized to deal with primarily short- or long-range interactions. We perform a preliminary hyperparameter search and train Site-Net using a single graphics processing unit (GPU), and show Site-Net achieves state-of-the-art performance on a standard band gap regression task.


title: Probing the pressure dependence of sound speed and attenuation in bubbly media: Experimental observations, a theoretical model and numerical calculations

abstract: The problem of attenuation and sound speed of bubbly media has remained partially unsolved. Comprehensive data regarding pressure-dependent changes of the attenuation and sound speed of a bubbly medium are not available. Our theoretical understanding of the problem is limited to linear or semi-linear theoretical models, which are not accurate in the regime of large amplitude bubble oscillations. Here, by controlling the size of the lipid coated bubbles (mean diameter of ~5.4um), we report the first time observation and characterization of the simultaneous pressure dependence of sound speed and attenuation in bubbly water below, at and above MBs resonance (frequency range between 1-3MHz). With increasing acoustic pressure (between 12.5-100kPa), the frequency of the attenuation and sound speed peaks decreases while maximum and minimum amplitudes of the sound speed increase. We propose a nonlinear model for the estimation of the pressure dependent sound speed and attenuation with good agreement with the experiments. The model calculations are validated by comparing with the linear and semi-linear models predictions. One of the major challenges of the previously developed models is the significant overestimation of the attenuation at the bubble resonance at higher void fractions (e.g. 0.005). We addressed this problem by incorporating bubble-bubble interactions and comparing the results to experiments. Influence of the bubble-bubble interactions increases with increasing pressure. Within the examined exposure parameters, we numerically show that, even for low void fractions (e.g. 5.1*10-6) with increasing pressure the sound speed may become 4 times higher than the sound speed in the non-bubbly medium.


title: Linear TreeShap

abstract: Decision trees are well-known due to their ease of interpretability. To improve accuracy, we need to grow deep trees or ensembles of trees. These are hard to interpret, offsetting their original benefits. Shapley values have recently become a popular way to explain the predictions of tree-based machine learning models. It provides a linear weighting to features independent of the tree structure. The rise in popularity is mainly due to TreeShap, which solves a general exponential complexity problem in polynomial time. Following extensive adoption in the industry, more efficient algorithms are required. This paper presents a more efficient and straightforward algorithm: Linear TreeShap. Like TreeShap, Linear TreeShap is exact and requires the same amount of memory.


title: Field effect two-dimensional electron gases in modulation-doped InSb surface quantum wells

abstract: We report on transport characteristics of field effect two-dimensional electron gases (2DEG) in surface indium antimonide quantum wells. The topmost 5 nm of the 30 nm wide quantum well is doped and shown to promote the formation of reliable, low resistance Ohmic contacts to surface InSb 2DEGs. High quality single-subband magnetotransport with clear quantized integer quantum Hall plateaus are observed to filling factor $\nu=1$ in magnetic fields of up to $B=18$ T. We show that the electron density is gate-tunable, reproducible, and stable from pinch-off to 4$\times 10^{11}$ cm$^{-2}$, and peak mobilities exceed 24,000 cm$^2$/Vs. Large Rashba spin-orbit coefficients up to 110 meV$\cdot$\r{A} are obtained through weak anti-localization measurements. An effective mass of 0.019$m_e$ is determined from temperature-dependent magnetoresistance measurements, and a g-factor of 41 at a density of 3.6$\times 10^{11}$ cm$^{-2}$ is obtained from coincidence measurements in tilted magnetic fields. By comparing two heterostructures with and without a delta-doped layer beneath the quantum well, we find that the carrier density is stable with time when doping in the ternary Al$_{0.1}$In$_{0.9}$Sb barrier is not present. Finally, the effect of modulation doping on structural asymmetry between the two heterostructures is characterized.


title: PPT: token-Pruned Pose Transformer for monocular and multi-view human pose estimation

abstract: Recently, the vision transformer and its variants have played an increasingly important role in both monocular and multi-view human pose estimation. Considering image patches as tokens, transformers can model the global dependencies within the entire image or across images from other views. However, global attention is computationally expensive. As a consequence, it is difficult to scale up these transformer-based methods to high-resolution features and many views. In this paper, we propose the token-Pruned Pose Transformer (PPT) for 2D human pose estimation, which can locate a rough human mask and performs self-attention only within selected tokens. Furthermore, we extend our PPT to multi-view human pose estimation. Built upon PPT, we propose a new cross-view fusion strategy, called human area fusion, which considers all human foreground pixels as corresponding candidates. Experimental results on COCO and MPII demonstrate that our PPT can match the accuracy of previous pose transformer methods while reducing the computation. Moreover, experiments on Human 3.6M and Ski-Pose demonstrate that our Multi-view PPT can efficiently fuse cues from multiple views and achieve new state-of-the-art results.


title: On R\'enyi universality formula of charged flat black holes from Hawking-Page phase transition

abstract: Probing the thermodynamic properties of the Hawking-Page phase transition of asymptotically-flat black holes in R\'enyi statistics. We reveal the evidence for the persisting of the dual universal formula associated with the Hawking-Page (HP) and minimum black hole thermodynamical transition points. Our study unveils the universal properties of the black holes in different statistics, in particular beyond the Gibbs-Boltzmann formalism, and motivates a further promising bridge between the nonextensivity R\'enyi parameter {\lambda} and the cosmological constant ? . Besides, we discover that universal ratios related to horizon radius, R\'enyi temperature, and entropy can be shown to appear in presence of such a transition.


title: Lossless SIMD Compression of LiDAR Range and Attribute Scan Sequences

abstract: As LiDAR sensors have become ubiquitous, the need for an efficient LiDAR data compression algorithm has increased. Modern LiDARs produce gigabytes of scan data per hour and are often used in applications with limited compute, bandwidth, and storage resources. We present a fast, lossless compression algorithm for LiDAR range and attribute scan sequences including multiple-return range, signal, reflectivity, and ambient infrared. Our algorithm -- dubbed "Jiffy" -- achieves substantial compression by exploiting spatiotemporal redundancy and sparsity. Speed is accomplished by maximizing use of single-instruction-multiple-data (SIMD) instructions. In autonomous driving, infrastructure monitoring, drone inspection, and handheld mapping benchmarks, the Jiffy algorithm consistently outcompresses competing lossless codecs while operating at speeds in excess of 65M points/sec on a single core. In a typical autonomous vehicle use case, single-threaded Jiffy achieves 6x compression of centimeter-precision range scans at 500+ scans per second. To ensure reproducibility and enable adoption, the software is freely available as an open source library.


title: Thompson Sampling with Virtual Helping Agents

abstract: We address the problem of online sequential decision making, i.e., balancing the trade-off between exploiting the current knowledge to maximize immediate performance and exploring the new information to gain long-term benefits using the multi-armed bandit framework. Thompson sampling is one of the heuristics for choosing actions that address this exploration-exploitation dilemma. We first propose a general framework that helps heuristically tune the exploration versus exploitation trade-off in Thompson sampling using multiple samples from the posterior distribution. Utilizing this framework, we propose two algorithms for the multi-armed bandit problem and provide theoretical bounds on the cumulative regret. Next, we demonstrate the empirical improvement in the cumulative regret performance of the proposed algorithm over Thompson Sampling. We also show the effectiveness of the proposed algorithm on real-world datasets. Contrary to the existing methods, our framework provides a mechanism to vary the amount of exploration/ exploitation based on the task at hand. Towards this end, we extend our framework for two additional problems, i.e., best arm identification and time-sensitive learning in bandits and compare our algorithm with existing methods.


title: Grid-Free MIMO Beam Alignment through Site-Specific Deep Learning

abstract: Beam alignment is a critical bottleneck in millimeter wave (mmWave) communication. An ideal beam alignment technique should achieve high beamforming (BF) gain with low latency, scale well to systems with higher carrier frequencies, larger antenna arrays and multiple user equipments (UEs), and not require hard-to-obtain context information (CI). These qualities are collectively lacking in existing methods. We depart from the conventional codebook-based (CB) approach where the optimal beam is chosen from quantized codebooks and instead propose a grid-free (GF) beam alignment method that directly synthesizes the transmit (Tx) and receive (Rx) beams from the continuous search space using measurements from a few site-specific probing beams that are found via a deep learning (DL) pipeline. In realistic settings, the proposed method achieves a far superior signal-to-noise ratio (SNR)-latency trade-off compared to the CB baselines: it aligns near-optimal beams 100x faster or equivalently finds beams with 10-15 dB better average SNR in the same number of searches, relative to an exhaustive search over a conventional codebook.


title: ScreenQA: Large-Scale Question-Answer Pairs over Mobile App Screenshots

abstract: We present a new task and dataset, ScreenQA, for screen content understanding via question answering. The existing screen datasets are focused either on structure and component-level understanding, or on a much higher-level composite task such as navigation and task completion. We attempt to bridge the gap between these two by annotating 86K question-answer pairs over the RICO dataset in hope to benchmark the screen reading comprehension capacity.


title: Deep Labeling of fMRI Brain Networks Using Cloud Based Processing

abstract: Resting state fMRI is an imaging modality which reveals brain activity localization through signal changes, in what is known as Resting State Networks (RSNs). This technique is gaining popularity in neurosurgical pre-planning to visualize the functional regions and assess regional activity. Labeling of rs-fMRI networks require subject-matter expertise and is time consuming, creating a need for an automated classification algorithm. While the impact of AI in medical diagnosis has shown great progress; deploying and maintaining these in a clinical setting is an unmet need. We propose an end-to-end reproducible pipeline which incorporates image processing of rs-fMRI in a cloud-based workflow while using deep learning to automate the classification of RSNs. We have architected a reproducible Azure Machine Learning cloud-based medical imaging concept pipeline for fMRI analysis integrating the popular FMRIB Software Library (FSL) toolkit. To demonstrate a clinical application using a large dataset, we compare three neural network architectures for classification of deeper RSNs derived from processed rs-fMRI. The three algorithms are: an MLP, a 2D projection-based CNN, and a fully 3D CNN classification networks. Each of the net-works was trained on the rs-fMRI back-projected independent components giving >98% accuracy for each classification method.


title: Combinatorics for Certain Skew Young Tableaux, Dyck Paths, Triangulations, and Dissections

abstract: We present combinatorial bijections and identities between certain skew Young tableaux, Dyck paths, triangulations, and dissections.


title: The no-hair theorem and black hole shadows

abstract: The successful observation of M87 supermassive black hole by the Black Hole Event Horizon Telescope(EHT) provides a very good opportunity to study the theory of gravity. In this work, we obtain the exact solution for the short hair black hole (BH) in the rotation situation, and calculate in detail how hairs affect the BH shadow. For the exact solution part, using the Newman-Janis algorithm, we generalize the spherically symmetric short-hair black hole metric to the rotation case (space-time lie element (2.25)). For the BH shadow part, we study two hairy BH models. In model 1, the properties of scalar hair are determined by the parameters $\alpha_{0}$ and $L$. In model 2, the scalar hair of the BH is short hair. In this model, the shape of the BH shadow is determined by scalar charge $Q_{m}$ and $k$. In general, various BH hairs have different effects on the shadows, such as non-monotonic properties and intersection phenomena mentioned in this work. Using these characteristics, it is possible to test the no-hair theorem in future EHT observations, so as to have a deeper understanding of the quantum effect of BHs. In future work, we will use numerical simulations to study the effects of various hairs on BHs and their observed properties.


title: ChemNLP: A Natural Language Processing based Library for Materials Chemistry Text Data

abstract: In this work, we present the ChemNLP library that can be used for 1) curating open access datasets for materials and chemistry literature, developing and comparing traditional machine learning, transformers and graph neural network models for 2) classifying and clustering texts, 3) named entity recognition for large-scale text-mining, 4) abstractive summarization for generating titles of articles from abstracts, 5) text generation for suggesting abstracts from titles, 6) integration with density functional theory dataset for identifying potential candidate materials such as superconductors, and 7) web-interface development for text and reference query. We primarily use the publicly available arXiv and Pubchem datasets but the tools can be used for other datasets as well. Moreover, as new models are developed, they can be easily integrated in the library. ChemNLP is available at the websites: https://github.com/usnistgov/chemnlp and https://jarvis.nist.gov/jarvischemnlp.


title: Unusual magnetotransport in twisted bilayer graphene from strain-induced open Fermi surfaces

abstract: Anisotropic hopping in a toy Hofstadter model was recently invoked to explain a rich and surprising Landau spectrum measured in twisted bilayer graphene away from the magic angle. Suspecting that such anisotropy could arise from unintended uniaxial strain, we extend the Bistritzer-MacDonald model to include uniaxial heterostrain. We find that such strain strongly influences band structure, shifting the three otherwise-degenerate van Hove points to different energies. Coupled to a Boltzmann magnetotransport calculation, this reproduces previously-unexplained non-saturating $B^2$ magnetoresistance over broad ranges of density near filling $\nu=\pm 2$, and predicts subtler features that had not been noticed in the experimental data. In contrast to these distinctive signatures in longitudinal resistivity, the Hall coefficient is barely influenced by strain, to the extent that it still shows a single sign change on each side of the charge neutrality point -- surprisingly, this sign change no longer occurs at a van Hove point. The theory also predicts a marked rotation of the electrical transport principal axes as a function of filling even for fixed strain and for rigid bands. More careful examination of interaction-induced nematic order versus strain effects in twisted bilayer graphene could thus be in order.


title: Necessity Specifications for Robustness

abstract: Robust modules guarantee to do only what they are supposed to do - even in the presence of untrusted, malicious clients, and considering not just the direct behaviour of individual methods, but also the emergent behaviour from calls to more than one method. Necessity is a language for specifying robustness, based on novel necessity operators capturing temporal implication, and a proof logic that derives explicit robustness specifications from functional specifications. Soundness and an exemplar proof are mechanised in Coq.


title: Selective Token Generation for Few-shot Natural Language Generation

abstract: Natural language modeling with limited training data is a challenging problem, and many algorithms make use of large-scale pretrained language models (PLMs) for this due to its great generalization ability. Among them, additive learning that incorporates a task-specific adapter on top of the fixed large-scale PLM has been popularly used in the few-shot setting. However, this added adapter is still easy to disregard the knowledge of the PLM especially for few-shot natural language generation (NLG) since an entire sequence is usually generated by only the newly trained adapter. Therefore, in this work, we develop a novel additive learning algorithm based on reinforcement learning (RL) that selectively outputs language tokens between the task-general PLM and the task-specific adapter during both training and inference. This output token selection over the two generators allows the adapter to take into account solely the task-relevant parts in sequence generation, and therefore makes it more robust to overfitting as well as more stable in RL training. In addition, to obtain the complementary adapter from the PLM for each few-shot task, we exploit a separate selecting module that is also simultaneously trained using RL. Experimental results on various few-shot NLG tasks including question answering, data-to-text generation and text summarization demonstrate that the proposed selective token generation significantly outperforms the previous additive learning algorithms based on the PLMs.


title: APPDIA: A Discourse-aware Transformer-based Style Transfer Model for Offensive Social Media Conversations

abstract: Using style-transfer models to reduce offensiveness of social media comments can help foster a more inclusive environment. However, there are no sizable datasets that contain offensive texts and their inoffensive counterparts, and fine-tuning pretrained models with limited labeled data can lead to the loss of original meaning in the style-transferred text. To address this issue, we provide two major contributions. First, we release the first publicly-available, parallel corpus of offensive Reddit comments and their style-transferred counterparts annotated by expert sociolinguists. Then, we introduce the first discourse-aware style-transfer models that can effectively reduce offensiveness in Reddit text while preserving the meaning of the original text. These models are the first to examine inferential links between the comment and the text it is replying to when transferring the style of offensive Reddit text. We propose two different methods of integrating discourse relations with pretrained transformer models and evaluate them on our dataset of offensive comments from Reddit and their inoffensive counterparts. Improvements over the baseline with respect to both automatic metrics and human evaluation indicate that our discourse-aware models are better at preserving meaning in style-transferred text when compared to the state-of-the-art discourse-agnostic models.


title: Anisotropic resistivity tensor from disk geometry magneto-conductance

abstract: Magneto-transport measurements on two dimensional van der Waals heterostructures have recently shown signatures of uniaxial anisotropy. Such measurements are almost exclusively performed in a Hall bar geometry which makes it difficult to extract the full resistivity tensor. The goal of this paper is to theoretically analyze anisotropic magneto-conductance in a homogeneous disk geometry and to provide a closed form expression for the electrical potential anywhere on the disk if the current source and drain are located somewhere on the circumference. This expression can then be used to experimentally extract the full conductivity tensor, and by a simple inversion, the full resistivity tensor.


title: RISE-Based Adaptive Control with Mass-Inertia Parameter Estimation for Aerial Transportation of Multi-Rotor UAVs

abstract: This paper proposes an adaptive tracking strategy with mass-inertia estimation for aerial transportation problems of multi-rotor UAVs. The dynamic model of multi-rotor UAVs with disturbances is firstly developed with a linearly parameterized form. Subsequently, a cascade controller with the robust integral of the sign of the error (RISE) terms is applied to smooth the control inputs and address bounded disturbances. Then, adaptive estimation laws for mass-inertia parameters are designed based on a filter operation. Such operation is introduced to extract estimation errors exploited to theoretically guarantee the finite-time (FT) convergence of estimation errors. Finally, simulations are conducted to verify the effectiveness of the designed controller. The results show that the proposed method provides better tracking and estimation performance than traditional adaptive controllers based on sliding mode control algorithms and gradient-based estimation strategies.


title: ANet: Autoencoder-Based Local Field Potential Feature Extractor for Evaluating An Antidepressant Effect in Mice after Administering Kratom Leaf Extracts

abstract: Kratom (KT) typically exerts antidepressant (AD) effects. However, evaluating which form of KT extracts possesses AD properties similar to the standard AD fluoxetine (flu) remained challenging. Here, we adopted an autoencoder (AE)-based anomaly detector called ANet to measure the similarity of mice's local field potential (LFP) features that responded to KT leave extracts and AD flu. The features that responded to KT syrup had the highest similarity to those that responded to the AD flu at 85.62 $\pm$ 0.29%. This finding presents the higher feasibility of using KT syrup as an alternative substance for depressant therapy than KT alkaloids and KT aqueous, which are the other candidates in this study. Apart from the similarity measurement, we utilized ANet as a multi-task AE and evaluated the performance in discriminating multi-class LFP responses corresponding to the effect of different KT extracts and AD flu simultaneously. Furthermore, we visualized learned latent features among LFP responses qualitatively and quantitatively as t-SNE projection and maximum mean discrepancy distance, respectively. The classification results reported the accuracy and F1-score of 79.78 $\pm$ 0.39% and 79.53 $\pm$ 0.00%. In summary, the outcomes of this research might help therapeutic design devices for an alternative substance profile evaluation, such as Kratom-based form in real-world applications.


title: Local political control in educational policy: Evidence from decentralized teacher pay reform under England's local education authorities

abstract: In 2012, the School Teachers' Review Body discontinued central guidance and allowed school discretion in determining teachers' pay in England. Meanwhile, local education authorities (LEAs) offer non-statutory teacher pay recommendations to LEA-controlled schools. This study examines how LEAs' political party control determines their guidance regarding whether to adopt flexible performance pay or continue seniority-based pay. A regression discontinuity design is used to address the endogeneity of political control and educational policy-making. We find that marginally Conservative-controlled LEAs are more inclined to recommend market-oriented flexible pay structures. The results remain robust to alternative specifications. This study reveals that politics matter in England's local educational policy-making, which has broad implications for future policy.


title: Compose & Embellish: Well-Structured Piano Performance Generation via A Two-Stage Approach

abstract: Even with strong sequence models like Transformers, generating expressive piano performances with long-range musical structures remains challenging. Meanwhile, methods to compose well-structured melodies or lead sheets (melody + chords), i.e., simpler forms of music, gained more success. Observing the above, we devise a two-stage Transformer-based framework that Composes a lead sheet first, and then Embellishes it with accompaniment and expressive touches. Such a factorization also enables pretraining on non-piano data. Our objective and subjective experiments show that Compose & Embellish shrinks the gap in structureness between a current state of the art and real performances by half, and improves other musical aspects such as richness and coherence as well.


title: Reasoning about Dependence, Preference and Coalitional Power

abstract: This paper presents a logic of preference and functional dependence (LPFD) and its hybrid extension (HLPFD), both of whose sound and strongly complete axiomatization are provided. The decidability of LPFD is also proved. The application of LPFD and HLPFD to modelling cooperative games in strategic and coalitional forms is explored. The resulted framework provides a unified view on Nash equilibrium, Pareto optimality and the core. The philosophical relevance of these game-theoretical notions to discussions of collective agency is made explicit. Some key connections with other logics are also revealed, for example, the coalition logic, the logic functional dependence and the logic of ceteris paribus preference.


title: ASIR: Robust Agent-based Representation Of SIR Model

abstract: Compartmental models (written as $CM$) and agent-based models (written as $AM$) are dominant methods in the field of epidemic simulation. But in the literature there lacks discussion on how to build the \textbf{quantitative relationship} between them. In this paper, we propose an agent-based $SIR$ model: $ASIR$. $ASIR$ can robustly reproduce the infection curve predicted by a given SIR model (the simplest $CM$.) Notably, one can deduce any parameter of $ASIR$ from parameters of $SIR$ without manual tuning. $ASIR$ offers epidemiologists a method to transform a calibrated $SIR$ model into an agent-based model that inherit $SIR$'s performance without another round of calibration. The design $ASIR$ is inspirational for building a general quantitative relationship between $CM$ and $AM$.


title: Report of the Topical Group on Cosmic Probes of Dark Matter for Snowmass 2021

abstract: Cosmological and astrophysical observations currently provide the only robust, positive evidence for dark matter. Cosmic probes of dark matter, which seek to determine the fundamental properties of dark matter through observations of the cosmos, have emerged as a promising means to reveal the nature of dark matter. This report summarizes the current status and future potential of cosmic probes to inform our understanding of the fundamental nature of dark matter in the coming decade.


title: The kinematics and excitation of infrared water vapor emission from planet-forming disks: results from spectrally-resolved surveys and guidelines for JWST spectra

abstract: This work presents ground-based spectrally-resolved water emission at R = 30000-100000 over infrared wavelengths covered by JWST (2.9-12.8 $\mu$m). Two new surveys with iSHELL and VISIR are combined with previous spectra from CRIRES and TEXES to cover parts of multiple ro-vibrational and rotational bands observable within telluric transmission bands, for a total of $\approx160$ spectra and 85 disks (30 of which are JWST targets in Cycle 1). The general expectation of a range of regions and excitation conditions traced by infrared water spectra is for the first time supported by the combined kinematics and excitation as spectrally resolved at multiple wavelengths. The main findings from this analysis are: 1) water lines are progressively narrower from the ro-vibrational bands at 2-9 $\mu$m to the rotational lines at 12 $\mu$m, and partly match a broad (BC) and narrow (NC) emission components, respectively, as extracted from ro-vibrational CO spectra; 2) rotation diagrams of resolved water lines from upper level energies of 4000-9500 K show vertical spread and curvatures indicative of optically thick emission ($\approx 10^{18}$ cm$^{-2}$) from a range of excitation temperatures ($\approx 800$-1100 K); 3) the new 5 $\mu$m spectra demonstrate that slab model fits to the rotational lines at $> 10$ $\mu$m strongly over-predict the ro-vibrational emission bands at $< 9$ $\mu$m, implying non-LTE vibrational excitation. We discuss these findings in the context of emission from a disk surface and a molecular inner disk wind, and provide a list of guidelines to support the analysis of spectrally-unresolved JWST spectra.


title: Delving Globally into Texture and Structure for Image Inpainting

abstract: Image inpainting has achieved remarkable progress and inspired abundant methods, where the critical bottleneck is identified as how to fulfill the high-frequency structure and low-frequency texture information on the masked regions with semantics. To this end, deep models exhibit powerful superiority to capture them, yet constrained on the local spatial regions. In this paper, we delve globally into texture and structure information to well capture the semantics for image inpainting. As opposed to the existing arts trapped on the independent local patches, the texture information of each patch is reconstructed from all other patches across the whole image, to match the coarsely filled information, specially the structure information over the masked regions. Unlike the current decoder-only transformer within the pixel level for image inpainting, our model adopts the transformer pipeline paired with both encoder and decoder. On one hand, the encoder captures the texture semantic correlations of all patches across image via self-attention module. On the other hand, an adaptive patch vocabulary is dynamically established in the decoder for the filled patches over the masked regions. Building on this, a structure-texture matching attention module anchored on the known regions comes up to marry the best of these two worlds for progressive inpainting via a probabilistic diffusion process. Our model is orthogonal to the fashionable arts, such as Convolutional Neural Networks (CNNs), Attention and Transformer model, from the perspective of texture and structure information for image inpainting. The extensive experiments over the benchmarks validate its superiority. Our code is available at https://github.com/htyjers/DGTS-Inpainting.


title: Quantum Non-Demolition Measurement on the Spin Precession of Laser-Trapped $^{171}$Yb Atoms

abstract: Quantum non-demolition (QND) measurement enhances the detection efficiency and measurement fidelity, and is highly desired for its applications in precision measurements and quantum information processing. We propose and demonstrate a QND measurement scheme for the spin states of laser-trapped atoms. On $^{171}$Yb atoms held in an optical dipole trap, a transition that is simultaneously cycling, spin-state selective, and spin-state preserving is created by introducing a circularly polarized beam of control laser to optically dress the spin states in the excited level, while leaving the spin states in the ground level unperturbed. We measure the phase of spin precession of $5\times10^{4}$ atoms in a bias magnetic field of 20 mG. This QND approach reduces the optical absorption detection noise by $\sim$19 dB, to a level of 2.3 dB below the atomic quantum projection noise. In addition to providing a general approach for efficient spin-state readout, this all-optical technique allows quick switching and real-time programming for quantum sensing and quantum information processing.


title: Better Hardness Results for the Minimum Spanning Tree Congestion Problem

abstract: In the spanning tree congestion problem, given a connected graph $G$, the objective is to compute a spanning tree $T$ in $G$ that minimizes its maximum edge congestion, where the congestion of an edge $e$ of $T$ is the number of edges in $G$ for which the unique path in $T$ between their endpoints traverses $e$. The problem is known to be $\mathbb{NP}$-hard, but its approximability is still poorly understood. In the decision version of this problem, denoted $K-\textsf{STC}$, we need to determine if $G$ has a spanning tree with congestion at most $K$. It is known that $K-\textsf{STC}$ is $\mathbb{NP}$-complete for $K\ge 8$. On the other hand, $3-\textsf{STC}$ can be solved in polynomial time, with the complexity status of this problem for $K\in \{4,5,6,7\}$ remaining an open problem. We substantially improve the earlier hardness results by proving that $K-\textsf{STC}$ is $\mathbb{NP}$-complete for $K\ge 5$. This leaves only the case $K=4$ open, and improves the lower bound on the approximation ratio to $1.2$. Motivated by evidence that minimizing congestion is hard even for graphs of small constant radius, we consider $K-\textsf{STC}$ restricted to graphs of radius $2$, and we prove that this variant is $\mathbb{NP}$-complete for all $K\ge 6$. Exploring further in this direction, we also examine the variant, denoted $K-\textsf{STC}D$, where the objective is to determine if the graph has a depth-$D$ spanning three of congestion at most $K$. We prove that $6-\textsf{STC}2$ is $\mathbb{NP}$-complete even for bipartite graphs. For bipartite graphs we establish a tight bound, by also proving that $5-\textsf{STC}2$ is polynomial-time solvable. Additionally, we complement this result with polynomial-time algorithms for two special cases that involve bipartite graphs and restrictions on vertex degrees.


title: Theoretical predictions of melting behaviors of hcp iron up to 4000 GPa

abstract: The high-pressure melting diagram of iron is a vital ingredient for the geodynamic modeling of planetary interiors. Nonetheless, available data for molten iron show an alarming discrepancy. Herein, we propose an efficient one-phase approach to capture the solid-liquid transition of iron under extreme conditions. Our basic idea is to extend the statistical moment method to determine the density of iron in the TPa region. On that basis, we adapt the work-heat equivalence principle to appropriately link equation-of-state parameters with melting properties. This strategy allows explaining cutting-edge experimental and ab initio results without massive computational workloads. Our theoretical calculations would be helpful to constrain the chemical composition, internal dynamics, and thermal evolution of the Earth and super-Earths.


title: Neural Implicit Surface Reconstruction using Imaging Sonar

abstract: We present a technique for dense 3D reconstruction of objects using an imaging sonar, also known as forward-looking sonar (FLS). Compared to previous methods that model the scene geometry as point clouds or volumetric grids, we represent the geometry as a neural implicit function. Additionally, given such a representation, we use a differentiable volumetric renderer that models the propagation of acoustic waves to synthesize imaging sonar measurements. We perform experiments on real and synthetic datasets and show that our algorithm reconstructs high-fidelity surface geometry from multi-view FLS images at much higher quality than was possible with previous techniques and without suffering from their associated memory overhead.


title: Deterministic-Statistical Approach for an Inverse Acoustic Source Problem using Multiple Frequency Limited Aperture Data

abstract: We propose a deterministic-statistical method for an inverse source problem using multiple frequency limited aperture far field data. The direct sampling method is used to obtain a disc such that it contains the compact support of the source. The Dirichlet eigenfunctions of the disc are used to expand the source function. Then the inverse problem is recast as a statistical inference problem for the expansion coefficients and the Bayesian inversion is employed to reconstruct the coefficients. The stability of the statistical inverse problem with respect to the measured data is justified in the sense of Hellinger distance. A preconditioned Crank-Nicolson (pCN) Metropolis-Hastings (MH) algorithm is implemented to explore the posterior density function of the unknowns. Numerical examples show that the proposed method is effective for both smooth and non-smooth sources given limited-aperture data.


title: Joint Network Topology Inference via a Shared Graphon Model

abstract: We consider the problem of estimating the topology of multiple networks from nodal observations, where these networks are assumed to be drawn from the same (unknown) random graph model. We adopt a graphon as our random graph model, which is a nonparametric model from which graphs of potentially different sizes can be drawn. The versatility of graphons allows us to tackle the joint inference problem even for the cases where the graphs to be recovered contain different number of nodes and lack precise alignment across the graphs. Our solution is based on combining a maximum likelihood penalty with graphon estimation schemes and can be used to augment existing network inference methods. The proposed joint network and graphon estimation is further enhanced with the introduction of a robust method for noisy graph sampling information. We validate our proposed approach by comparing its performance against competing methods in synthetic and real-world datasets.


title: Few-Shot Classification with Contrastive Learning

abstract: A two-stage training paradigm consisting of sequential pre-training and meta-training stages has been widely used in current few-shot learning (FSL) research. Many of these methods use self-supervised learning and contrastive learning to achieve new state-of-the-art results. However, the potential of contrastive learning in both stages of FSL training paradigm is still not fully exploited. In this paper, we propose a novel contrastive learning-based framework that seamlessly integrates contrastive learning into both stages to improve the performance of few-shot classification. In the pre-training stage, we propose a self-supervised contrastive loss in the forms of feature vector vs. feature map and feature map vs. feature map, which uses global and local information to learn good initial representations. In the meta-training stage, we propose a cross-view episodic training mechanism to perform the nearest centroid classification on two different views of the same episode and adopt a distance-scaled contrastive loss based on them. These two strategies force the model to overcome the bias between views and promote the transferability of representations. Extensive experiments on three benchmark datasets demonstrate that our method achieves competitive results.


title: Summary Report of the Topical Group on Physics Education, Community Engagement Frontier (CEF4/CommF4) Snowmass 2021

abstract: An essential companion to the development and advancement of the field of Particle Physics is a strong program in physics education at all levels, that can attract entry level students across the full demographic spectrum and provide them with the education, training and skills needed to advance to successful careers in Science, Technology, Engineering and Mathematics (STEM) and other fields. This report summarizes the work of several investigative teams that have reviewed and assessed current opportunities in physics education across K-12, undergraduate, graduate and postdoctoral domains, including national and international linkages. From these assessments, recommendations have been put forward aimed to innovate educationally in strategic ways to strengthen ties between the research community and teachers, between the academic community and the private sector, and through both domestic and international connections.


title: Comparative density functional theory study for predicting oxygen reduction activity of single-atom catalyst

abstract: It has been well established that nitrogen coordinated transition metal, TM-N$_{4}$-C (TM$=$Fe and Co) moieties, are responsible for the higher catalytic activity for the electrochemical oxygen reduction reaction. However, the results obtained using density functional theory calculations vary from one to another, which can lead to controversy. Herein, we assess the accuracy of the theoretical approach using different class of exchange-correlation functionals, i.e., Perdew-Burke-Ernzerhof (PBE) and revised PBE (RPBE), those with the Grimme's semiempirical dispersion correction (PBE+D3 and RPBE+D3), and the Bayesian error estimate functional with the nonlocal correlation (BEEF-vdW) on the reaction energies of oxygen reduction reaction on TM-N$_{4}$ moieties in graphene and those with OH-termination. We found that the predicted overpotentials using RPBE+D3 are comparable and consistent with those using BEEF-vdW. Our finding indicates that a proper choice of the exchange-correlation functional is crucial to a precise description of the catalytic activity of this system.


title: An Asymptotic-Preserving and Energy-Conserving Particle-In-Cell Method for Vlasov-Maxwell Equations

abstract: In this paper, we develop an asymptotic-preserving and energy-conserving (APEC) Particle-In-Cell (PIC) algorithm for the Vlasov-Maxwell system. This algorithm not only guarantees that the asymptotic limiting of the discrete scheme is a consistent and stable discretization of the quasi-neutral limit of the continuous model, but also preserves Gauss's law and energy conservation at the same time, thus it is promising to provide stable simulations of complex plasma systems even in the quasi-neutral regime. The key ingredients for achieving these properties include the generalized Ohm's law for electric field such that the asymptotic-preserving discretization can be achieved, and a proper decomposition of the effects of the electromagnetic fields such that a Lagrange multiplier method can be appropriately employed for correcting the kinetic energy. We investigate the performance of the APEC method with three benchmark tests in one dimension, including the linear Landau damping, the bump-on-tail problem and the two-stream instability. Detailed comparisons are conducted by including the results from the classical explicit leapfrog and the previously developed asymptotic-preserving PIC schemes. Our numerical experiments show that the proposed APEC scheme can give accurate and stable simulations both kinetic and quasi-neutral regimes, demonstrating the attractive properties of the method crossing scales.

categories: physics.plasm-ph cs.NA math.NA physics.comp-ph


title: Intrinsically Motivated Reinforcement Learning based Recommendation with Counterfactual Data Augmentation

abstract: Deep reinforcement learning (DRL) has been proven its efficiency in capturing users' dynamic interests in recent literature. However, training a DRL agent is challenging, because of the sparse environment in recommender systems (RS), DRL agents could spend times either exploring informative user-item interaction trajectories or using existing trajectories for policy learning. It is also known as the exploration and exploitation trade-off which affects the recommendation performance significantly when the environment is sparse. It is more challenging to balance the exploration and exploitation in DRL RS where RS agent need to deeply explore the informative trajectories and exploit them efficiently in the context of recommender systems. As a step to address this issue, We design a novel intrinsically ,otivated reinforcement learning method to increase the capability of exploring informative interaction trajectories in the sparse environment, which are further enriched via a counterfactual augmentation strategy for more efficient exploitation. The extensive experiments on six offline datasets and three online simulation platforms demonstrate the superiority of our model to a set of existing state-of-the-art methods.


title: Hand and Arm Gesture-based Human-Robot Interaction: A Review

abstract: The study of Human-Robot Interaction (HRI) aims to create close and friendly communication between humans and robots. In the human-center HRI, an essential aspect of implementing a successful and effective HRI is building a natural and intuitive interaction, including verbal and nonverbal. As a prevalent nonverbally communication approach, hand and arm gesture communication happen ubiquitously in our daily life. A considerable amount of work on gesture-based HRI is scattered in various research domains. However, a systematic understanding of the works on gesture-based HRI is still lacking. This paper intends to provide a comprehensive review of gesture-based HRI and focus on the advanced finding in this area. Following the stimulus-organism-response framework, this review consists of: (i) Generation of human gesture(stimulus). (ii) Robot recognition of human gesture(organism). (iii) Robot reaction to human gesture(response). Besides, this review summarizes the research status of each element in the framework and analyze the advantages and disadvantages of related works. Toward the last part, this paper discusses the current research challenges on gesture-based HRI and provides possible future directions.


title: A Robust and Constrained Multi-Agent Reinforcement Learning Electric Vehicle Rebalancing Method in AMoD Systems

abstract: Electric vehicles (EVs) play critical roles in autonomous mobility-on-demand (AMoD) systems, but their unique charging patterns increase the model uncertainties in AMoD systems (e.g. state transition probability). Since there usually exists a mismatch between the training and test/true environments, incorporating model uncertainty into system design is of critical importance in real-world applications. However, model uncertainties have not been considered explicitly in EV AMoD system rebalancing by existing literature yet, and the coexistence of model uncertainties and constraints that the decision should satisfy makes the problem even more challenging. In this work, we design a robust and constrained multi-agent reinforcement learning (MARL) framework with state transition kernel uncertainty for EV AMoD systems. We then propose a robust and constrained MARL algorithm (ROCOMA) with robust natural policy gradients (RNPG) that trains a robust EV rebalancing policy to balance the supply-demand ratio and the charging utilization rate across the city under model uncertainty. Experiments show that the ROCOMA can learn an effective and robust rebalancing policy. It outperforms non-robust MARL methods in the presence of model uncertainties. It increases the system fairness by 19.6% and decreases the rebalancing costs by 75.8%.