title: A new topological generalization of descriptive set theory

abstract: We introduce a new topological generalization of the $\sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced $^{\omega}\omega$ by $^{\kappa}\kappa$, for $\kappa$ regular uncountable, or replaced countable by $\sigma$-discrete. Instead we close the usual $\sigma$-projective sets under continuous images and perfect preimages together with countable unions. The natural set-theoretic axiom to apply is $\sigma$-projective determinacy, which follows from large cardinals. Our goal is to generalize the known results for $K$-analytic spaces (continuous images of perfect preimages of $^{\omega}\omega$) to these more general settings. We have achieved some successes in the area of Selection Principles--the general theme is that nicely defined Menger spaces are Hurewicz or even $\sigma$-compact. The $K$-analytic results are true in ZFC; the more general results have consistency strength of only an inaccessible.


title: Shape sensitivity of a 2D Fluid-Structure Interaction problem between a viscous incompressible fluid and an incompressible elastic structure

abstract: We study the shape differentiability of a general functional depending on the solution of a bidimensional stationary Stokes-Elasticity system, with respect to the reference domain of the elastic structure immersed in a viscous fluid. The differentiability with respect to reference elastic domain variations are considered under shape perturbations with diffeomorphisms. The shape-derivative is then calculated with the use of the velocity method. This derivative involves the material derivatives of the solution of this Fluid-Structure Interaction problem. The adjoint method is used to obtain a simplified expression for the shape derivative.


title: A dichotomy for H\"ormander-type oscillatory integral operators

abstract: In this paper, we first generalize the work of Bourgain and state a curvature condition for H\"ormander-type oscillatory integral operators, which we call Bourgain's condition. This condition is notably satisfied by the phase functions for the Fourier restriction problem and the Bochner-Riesz problem. We conjecture that for H\"ormander-type oscillatory integral operators satisfying Bourgain's condition, they satisfy the same $L^p$ bounds as in the Fourier Restriction Conjecture. To support our conjecture, we show that whenever Bourgain's condition fails, then the $L^{\infty} \to L^q$ boundedness always fails for some $q= q(n) > \frac{2n}{n-1}$, extending Bourgain's three-dimensional result. On the other hand, if Bourgain's condition holds, then we prove $L^p$ bounds for H\"ormander-type oscillatory integral operators for a range of $p$ that extends the currently best-known range for the Fourier restriction conjecture in high dimensions, given by Hickman and Zahl. This gives new progress on the Fourier restriction problem and the Bochner-Riesz problem.


title: Quantifying hierarchy in scientific teams

abstract: This paper provides a detailed description of the data collection and machine learning model used in our recent PNAS paper "Flat Teams Drive Scientific Innovation" Xu et al. [2022a]. Here, we discuss how the features of scientific publication can be used to estimate the implicit hierarchy in the corresponding author teams. Besides, we also describe the method of evaluating the impact of team hierarchy on scientific outputs. More details will be updated in this article continuously. Raw data and Readme document can be accessed in this GitHub repository Xu et al. [2022b].


title: Chatter reduction in sliding mode tuner controller using skipping surface

abstract: TRIUMF ISAC 1 tuning controllers operate using minimum seeking sliding mode controller to minimize the reflected power in their cavities. As with all mini-mum seeking algorithms, chatter present in the control-ler can degrade its performance and cause necessary mechanical wear. By observing the rate at which the minimizing function approaches the sliding surface, it is possible to determine whether a change in direction is necessary, thereby reducing the amount of chatter throughout the minimum seeking process.


title: Proton reconstruction with the CMS-TOTEM Precision Proton Spectrometer

abstract: The Precision Proton Spectrometer (PPS) of the CMS and TOTEM experiments collected 107.7 fb$^{-1}$ in proton-proton (pp) collisions at the LHC at 13 TeV (Run 2). This paper describes the key features of the PPS alignment and optics calibrations, the proton reconstruction procedure, as well as the detector efficiency and the performance of the PPS simulation. The reconstruction and simulation are validated using a sample of (semi)exclusive dilepton events. The performance of PPS has proven the feasibility of continuously operating a near-beam proton spectrometer at a high luminosity hadron collider.


title: Generalizations of the $Q$-prime curvature via renormalized characteristic forms

abstract: The $Q$-prime curvature is a local pseudo-Einstein invariant on CR manifolds defined by Case and Yang, and Hirachi. Its integral, the total $Q$-prime curvature, gives a non-trivial global CR invariant. On the other hand, Marugame has constructed a family of global CR invariants via renormalized characteristic forms, which contains the total $Q$-prime curvature. In this paper, we introduce a generalization of the $Q$-prime curvature for each renormalized characteristic form, and show that its integral coincides with Marugame's CR invariant. We also study generalizations of the critical CR GJMS operator and the $P$-prime operator, which are related to the transformation laws of our new curvatures under conformal change.


title: Derived Lie $\infty$-groupoids and algebroids in higher differential geometry

abstract: We study various problems arising in higher differential geometry using {\it derived Lie $\infty$-groupoids and algebroids}.We first study Lie $\infty$-groupoids in various categories of derived geometric objects in differential geometry, including derived manifolds, derived analytic spaces, derived noncommutative spaces, and derived Banach manifolds. We construct category of fibrant objects (CFO) structures in the category of derived Lie $\infty$-groupoids. Then we study $L_{\infty}$-algebroids which are the infinitesimal counterpart of derived Lie $\infty$-groupoids. We then study the homotopical algebras for derived Lie $\infty$-groupoids and algebroids and study their homotopy-coherent representations, which we call $\infty$-representations. We relate $\infty$-representations of $L_{\infty}$-algebroids to (quasi-) cohesive modules developed by Block, and $\infty$-representations of Lie $\infty$-groupoids to $\infty$-local system introduced by Block-Smith. Then we apply these tools in studying singular foliations and their characteristic classes. We construct Atiyah classes for $L_{\infty}$-algebroids pairs. We study singular foliations and their holonomies. We construct $\L_{\infty}$-algebroids for holomorphic singular foliations, and then We study elliptic involutive structures and prove an dg-enhancement of $V$-analytic coherent sheaves. These examples inspire us to define {\it perfect singular foliations}, which is a subcategory of singular foliation but with better homological algebras. Next, we construct various Lie $\infty$-groupoids for singular foliations. Then we study foliations on stacks and higher groupoids. Finally, we prove an $A_{\infty}$ de Rham theorem for foliations, and Riemann-Hilbert correspondence for foliated $\infty$-local system foliated manifolds.


title: FlowDrone: Wind Estimation and Gust Rejection on UAVs Using Fast-Response Hot-Wire Flow Sensors

abstract: Unmanned aerial vehicles (UAVs) are finding use in applications that place increasing emphasis on robustness to external disturbances including extreme wind. However, traditional multirotor UAV platforms do not directly sense wind; conventional flow sensors are too slow, insensitive, or bulky for widespread integration on UAVs. Instead, drones typically observe the effects of wind indirectly through accumulated errors in position or trajectory tracking. In this work, we integrate a novel flow sensor based on micro-electro-mechanical systems (MEMS) hot-wire technology developed in our prior work onto a multirotor UAV for wind estimation. These sensors are omnidirectional, lightweight, fast, and accurate. In order to achieve superior tracking performance in windy conditions, we train a `wind-aware' residual-based controller via reinforcement learning using simulated wind gusts and their aerodynamic effects on the drone. In extensive hardware experiments, we demonstrate the wind-aware controller outperforming two strong `wind-unaware' baseline controllers in challenging windy conditions. See: https://youtu.be/KWqkH9Z-338.


title: Abstract homogeneity of interval-valued functions

abstract: In this paper we develop the idea of abstract homogeneity in the context of interval-valued (IV) functions endowed with admissible orders and investigate some of its properties.


title: Improved Dark Matter Search Sensitivity Resulting from LUX Low-Energy Nuclear Recoil Calibration

abstract: Dual-phase xenon time projection chamber (TPC) detectors have demonstrated superior search sensitivities to dark matter over a wide range of particle masses. To extend their sensitivity to include low-mass dark matter interactions, it is critical to characterize both the light and charge responses of liquid xenon to sub-keV nuclear recoils. In this work, we report a new nuclear recoil calibration in the LUX detector $\textit{in situ}$ using neutron events from a pulsed Adelphi Deuterium-Deuterium neutron generator. We demonstrate direct measurements of light and charge yields down to 0.45 keV (1.4 scintillation photons) and 0.27 keV (1.3 ionization electrons), respectively, approaching the physical limit of liquid xenon detectors. We discuss the implication of these new measurements on the physics reach of dual-phase xenon TPCs for nuclear-recoil-based low-mass dark matter detection.


title: Wave packet dynamics in a non-Hermitian exciton-polariton system

abstract: We theoretically investigate the dynamics of wave packets in a generic, non-Hermitian, optically anisotropic exciton-polariton system that exhibits degeneracies of its complex-valued eigenenergies in the form of pairs of exceptional points in momentum space. We observe the self-acceleration and reshaping of the wave packets governed by their eigenenergies. We further find that the exciton-polariton wave packets tend to self-organize into the eigenstate with the smaller decay rate, then propagate towards the minima of the decay rates in momentum space, resulting in directional transport in real space. We also describe the formation of pseudospin topological defects on the imaginary Fermi arc, where the decay rates of the two eigenstate coincide in momentum space. These effects of non-Hermiticity on the dynamics of exciton polaritons can be observed experimentally in a microcavity with optically anisotropic cavity spacer or exciton-hosting materials.


title: SlotFormer: Unsupervised Visual Dynamics Simulation with Object-Centric Models

abstract: Understanding dynamics from visual observations is a challenging problem that requires disentangling individual objects from the scene and learning their interactions. While recent object-centric models can successfully decompose a scene into objects, modeling their dynamics effectively still remains a challenge. We address this problem by introducing SlotFormer -- a Transformer-based autoregressive model operating on learned object-centric representations. Given a video clip, our approach reasons over object features to model spatio-temporal relationships and predicts accurate future object states. In this paper, we successfully apply SlotFormer to perform video prediction on datasets with complex object interactions. Moreover, the unsupervised SlotFormer's dynamics model can be used to improve the performance on supervised downstream tasks, such as Visual Question Answering (VQA), and goal-conditioned planning. Compared to past works on dynamics modeling, our method achieves significantly better long-term synthesis of object dynamics, while retaining high quality visual generation. Besides, SlotFormer enables VQA models to reason about the future without object-level labels, even outperforming counterparts that use ground-truth annotations. Finally, we show its ability to serve as a world model for model-based planning, which is competitive with methods designed specifically for such tasks.


title: Galaxy Manifold: Characterizing and understanding galaxies with two parameters

abstract: We report the discovery of a two-dimensional Galaxy Manifold within the multi-dimensional luminosity space of local galaxies. The multi-dimensional luminosity space is constructed using 11 bands that span from far ultraviolet to near-infrared for redshift < 0.1 galaxies observed with GALEX, SDSS, and UKIDSS. The two latent parameters are sufficient to express 93.2% of the variance in the galaxy sample, suggesting that this Galaxy Manifold is one of the most efficient representations of galaxies. The transformation between the observed luminosities and the manifold parameters as an analytic mapping is provided. The manifold representation provides accurate (85%) morphological classifications with a simple linear boundary, and galaxy properties can be estimated with minimal scatter (0.12 dex and 0.04 dex for star formation rate and stellar mass, respectively) by calibrating with the two-dimensional manifold location. Under the assumption that the manifold expresses the possible parameter space of galaxies, the evolution on the manifold is considered. We find that constant and exponentially decreasing star formation histories form almost orthogonal modes of evolution on the manifold. Through these simple models, we understand that the two modes are closely related to gas content, which suggests the close relationship of the manifold to gas accretion. Without assuming a star formation history, a gas-regulated model reproduces an exponentially declining star formation history with a timescale of $\sim$1.2 Gyrs on the manifold. Lastly, the found manifold suggests a paradigm where galaxies are characterized by their mass/scale and specific SFR, which agrees with previous studies of dimensionality reduction.


title: Decentralized Planning for Car-Like Robotic Swarm in Cluttered Environments

abstract: Robot swarm is a hot spot in robotic research community. In this paper, we propose a decentralized framework for car-like robotic swarm which is capable of real-time planning in cluttered environments. In this system, path finding is guided by environmental topology information to avoid frequent topological change, and search-based speed planning is leveraged to escape from infeasible initial value's local minima. Then spatial-temporal optimization is employed to generate a safe, smooth and dynamically feasible trajectory. During optimization, the trajectory is discretized by fixed time steps. Penalty is imposed on the signed distance between agents to realize collision avoidance, and differential flatness cooperated with limitation on front steer angle satisfies the non-holonomic constraints. With trajectories broadcast to the wireless network, agents are able to check and prevent potential collisions. We validate the robustness of our system in simulation and real-world experiments. Code will be released as open-source packages.


title: Conformal Circles and Local Diffeomorphisms

abstract: We study unparametrized conformal circles, or called conformal geodesics, study diffeomorphisms mapping conformal circles to conformal circles in pseudo-Riemannian conformal manifolds. We show that such local diffeomorphisms are conformal local diffeomorphisms. Our result extends the result of Yano and Tomonaga. We also present a holographic interpretation for our result on Poincar\'e-Einstein manifolds. The proofs take suitable variations of conformal circles.


title: Spin Diffusion in Spin Glasses Require Two Magnetic Variables, $\vec{M}$ and $\vec{m}$

abstract: Experiment has established that spin-glasses can support a steady-state spin current $\vec{j}_{i}$. However, the accepted theory of spin glass dynamics permits oscillations but no steady-state spin current. Onsager's irreversible thermodynamics implies that the spin current is proportional to the gradient of a magnetization. We argue, however, that the magnon distribution function associated with the local equilibrium magnetization $\vec{M}$ cannot diffuse because it represents $10^{23}$ variables. We therefore invoke the non-equilibrium magnetization $\vec{m}$, which in spintronics is called the {\it spin accumulation}. Applying the theory of irreversible thermodynamics we indeed find that it predicts spin diffusion, and we consider other experimental consequences of the theory, including a wavelength-dependent coupling between the reactive and the diffusive degrees of freedom.


title: Deep Learning for Iris Recognition: A Survey

abstract: In this survey, we provide a comprehensive review of more than 200 papers, technical reports, and GitHub repositories published over the last 10 years on the recent developments of deep learning techniques for iris recognition, covering broad topics on algorithm designs, open-source tools, open challenges, and emerging research. First, we conduct a comprehensive analysis of deep learning techniques developed for two main sub-tasks in iris biometrics: segmentation and recognition. Second, we focus on deep learning techniques for the robustness of iris recognition systems against presentation attacks and via human-machine pairing. Third, we delve deep into deep learning techniques for forensic application, especially in post-mortem iris recognition. Fourth, we review open-source resources and tools in deep learning techniques for iris recognition. Finally, we highlight the technical challenges, emerging research trends, and outlook for the future of deep learning in iris recognition.


title: Rainbow vertex pair-pancyclicity of strongly edge-colored graphs

abstract: An edge-colored graph is \emph{rainbow }if no two edges of the graph have the same color. An edge-colored graph $G^c$ is called \emph{properly colored} if every two adjacent edges of $G^c$ receive distinct colors in $G^c$. A \emph{strongly edge-colored} graph is a proper edge-colored graph such that every path of length $3$ is rainbow. We call an edge-colored graph $G^c$ \emph{rainbow vertex pair-pancyclic} if any two vertices in $G^c$ are contained in a rainbow cycle of length $\ell$ for each $\ell$ with $3 \leq \ell \leq n$. In this paper, we show that every strongly edge-colored graph $G^c$ of order $n$ with minimum degree $\delta \geq \frac{2n}{3}+1$ is rainbow vertex pair-pancyclicity.


title: On Secure Uplink Transmission in Hybrid RF-FSO Cooperative Satellite-Aerial-Terrestrial Networks

abstract: This work investigates the secrecy outage performance of the uplink transmission of a radio-frequency (RF)-free-space optical (FSO) hybrid cooperative satellite-aerial-terrestrial network (SATN). Specifically, in the considered cooperative SATN, a terrestrial source (S) transmits its information to a satellite receiver (D) via the help of a cache-enabled aerial relay (R) terminal with the most popular content caching scheme, while a group of eavesdropping aerial terminals (Eves) trying to overhear the transmitted confidential information. Moreover, RF and FSO transmissions are employed over S-R and R-D links, respectively. Considering the randomness of R, D, and Eves, and employing a stochastic geometry framework, the secrecy outage performance of the cooperative uplink transmission in the considered SATN is investigated and a closed-form analytical expression for the end-to-end secrecy outage probability is derived. Finally, Monte-Carlo simulations are shown to verify the accuracy of our analysis.


title: Quantum Chaos in the Extended Dicke Model

abstract: We systematically study the chaotic signatures in a quantum many-body system consisting of an ensemble of interacting two-level atoms coupled to a single-mode bosonic field, the so-called extended Dicke model. The presence of the atom-atom interaction also leads us to explore how the atomic interaction affects the chaotic characters of the model. By analyzing the energy spectral statistics and the structure of eigenstates, we reveal the quantum signatures of chaos in the model and discuss the effect of the atomic interaction. We also investigate the dependence of the boundary of chaos extracted from both eigenvalue-based and eigenstate-based indicators on the atomic interaction. We show that the impact of the atomic interaction on the spectral statistics is stronger than on the structure of eigenstates. Qualitatively, the integrablity-to-chaos transition found in the Dicke model is amplified when the interatomic interaction in the extended Dicke model is switched on.


title: LACV-Net: Semantic Segmentation of Large-Scale Point Cloud Scene via Local Adaptive and Comprehensive VLAD

abstract: Large-scale point cloud semantic segmentation is an important task in 3D computer vision, which is widely applied in autonomous driving, robotics, and virtual reality. Current large-scale point cloud semantic segmentation methods usually use down-sampling operations to improve computation efficiency and acquire point clouds with multi-resolution. However, this may cause the problem of missing local information. Meanwhile, it is difficult for networks to capture global information in large-scale distributed contexts. To capture local and global information effectively, we propose an end-to-end deep neural network called LACV-Net for large-scale point cloud semantic segmentation. The proposed network contains three main components: 1) a local adaptive feature augmentation module (LAFA) to adaptively learn the similarity of centroids and neighboring points to augment the local context; 2) a comprehensive VLAD module (C-VLAD) that fuses local features with multi-layer, multi-scale, and multi-resolution to represent a comprehensive global description vector; and 3) an aggregation loss function to effectively optimize the segmentation boundaries by constraining the adaptive weight from the LAFA module. Compared to state-of-the-art networks on several large-scale benchmark datasets, including S3DIS, Toronto3D, and SensatUrban, we demonstrated the effectiveness of the proposed network.


title: Autoregressive neural Slater-Jastrow ansatz for variational Monte Carlo simulation

abstract: Direct sampling from a Slater determinant is combined with an autoregressive deep neural network as a Jastrow factor into a fully autoregressive Slater-Jastrow ansatz for variational quantum Monte Carlo, which allows for uncorrelated sampling. The elimination of the autocorrelation time leads to a stochastic algorithm with provable cubic scaling (with a potentially large prefactor), i.e. the number of operations for producing an uncorrelated sample and for calculating the local energy scales like $\mathcal{O}(N_s^3)$ with the number of orbitals $N_s$. The implementation is benchmarked on the two-dimensional $t-V$ model of spinless fermions on the square lattice.


title: Leveraging Off-the-shelf Diffusion Model for Multi-attribute Fashion Image Manipulation

abstract: Fashion attribute editing is a task that aims to convert the semantic attributes of a given fashion image while preserving the irrelevant regions. Previous works typically employ conditional GANs where the generator explicitly learns the target attributes and directly execute the conversion. These approaches, however, are neither scalable nor generic as they operate only with few limited attributes and a separate generator is required for each dataset or attribute set. Inspired by the recent advancement of diffusion models, we explore the classifier-guided diffusion that leverages the off-the-shelf diffusion model pretrained on general visual semantics such as Imagenet. In order to achieve a generic editing pipeline, we pose this as multi-attribute image manipulation task, where the attribute ranges from item category, fabric, pattern to collar and neckline. We empirically show that conventional methods fail in our challenging setting, and study efficient adaptation scheme that involves recently introduced attention-pooling technique to obtain a multi-attribute classifier guidance. Based on this, we present a mask-free fashion attribute editing framework that leverages the classifier logits and the cross-attention map for manipulation. We empirically demonstrate that our framework achieves convincing sample quality and attribute alignments.


title: On the testing of multiple hypothesis in sliced inverse regression

abstract: We consider the multiple testing of the general regression framework aiming at studying the relationship between a univariate response and a p-dimensional predictor. To test the hypothesis of the effect of each predictor, we construct an Angular Balanced Statistic (ABS) based on the estimator of the sliced inverse regression without assuming a model of the conditional distribution of the response. According to the developed limiting distribution results in this paper, we have shown that ABS is asymptotically symmetric with respect to zero under the null hypothesis. We then propose a Model-free multiple Testing procedure using Angular balanced statistics (MTA) and show theoretically that the false discovery rate of this method is less than or equal to a designated level asymptotically. Numerical evidence has shown that the MTA method is much more powerful than its alternatives, subject to the control of the false discovery rate.


title: Multi-Content Time-Series Popularity Prediction with Multiple-Model Transformers in MEC Networks

abstract: Coded/uncoded content placement in Mobile Edge Caching (MEC) has evolved as an efficient solution to meet the significant growth of global mobile data traffic by boosting the content diversity in the storage of caching nodes. To meet the dynamic nature of the historical request pattern of multimedia contents, the main focus of recent researches has been shifted to develop data-driven and real-time caching schemes. In this regard and with the assumption that users' preferences remain unchanged over a short horizon, the Top-K popular contents are identified as the output of the learning model. Most existing datadriven popularity prediction models, however, are not suitable for the coded/uncoded content placement frameworks. On the one hand, in coded/uncoded content placement, in addition to classifying contents into two groups, i.e., popular and nonpopular, the probability of content request is required to identify which content should be stored partially/completely, where this information is not provided by existing data-driven popularity prediction models. On the other hand, the assumption that users' preferences remain unchanged over a short horizon only works for content with a smooth request pattern. To tackle these challenges, we develop a Multiple-model (hybrid) Transformer-based Edge Caching (MTEC) framework with higher generalization ability, suitable for various types of content with different time-varying behavior, that can be adapted with coded/uncoded content placement frameworks. Simulation results corroborate the effectiveness of the proposed MTEC caching framework in comparison to its counterparts in terms of the cache-hit ratio, classification accuracy, and the transferred byte volume.


title: MedJEx: A Medical Jargon Extraction Model with Wiki's Hyperlink Span and Contextualized Masked Language Model Score

abstract: This paper proposes a new natural language processing (NLP) application for identifying medical jargon terms potentially difficult for patients to comprehend from electronic health record (EHR) notes. We first present a novel and publicly available dataset with expert-annotated medical jargon terms from 18K+ EHR note sentences ($MedJ$). Then, we introduce a novel medical jargon extraction ($MedJEx$) model which has been shown to outperform existing state-of-the-art NLP models. First, MedJEx improved the overall performance when it was trained on an auxiliary Wikipedia hyperlink span dataset, where hyperlink spans provide additional Wikipedia articles to explain the spans (or terms), and then fine-tuned on the annotated MedJ data. Secondly, we found that a contextualized masked language model score was beneficial for detecting domain-specific unfamiliar jargon terms. Moreover, our results show that training on the auxiliary Wikipedia hyperlink span datasets improved six out of eight biomedical named entity recognition benchmark datasets. Both MedJ and MedJEx are publicly available.


title: Statistical Modeling of Soft Error Influence on Neural Networks

abstract: Soft errors in large VLSI circuits pose dramatic influence on computing- and memory-intensive neural network (NN) processing. Understanding the influence of soft errors on NNs is critical to protect against soft errors for reliable NN processing. Prior work mainly rely on fault simulation to analyze the influence of soft errors on NN processing. They are accurate but usually specific to limited configurations of errors and NN models due to the prohibitively slow simulation speed especially for large NN models and datasets. With the observation that the influence of soft errors propagates across a large number of neurons and accumulates as well, we propose to characterize the soft error induced data disturbance on each neuron with normal distribution model according to central limit theorem and develop a series of statistical models to analyze the behavior of NN models under soft errors in general. The statistical models reveal not only the correlation between soft errors and NN model accuracy, but also how NN parameters such as quantization and architecture affect the reliability of NNs. The proposed models are compared with fault simulation and verified comprehensively. In addition, we observe that the statistical models that characterize the soft error influence can also be utilized to predict fault simulation results in many cases and we explore the use of the proposed statistical models to accelerate fault simulations of NNs. According to our experiments, the accelerated fault simulation shows almost two orders of magnitude speedup with negligible simulation accuracy loss over the baseline fault simulations.


title: Systematic analysis of identified-hadron $\bf p_t$ spectra from 13 TeV p-p collisions

abstract: Identified-hadron (PID) $p_t$ spectra from 13 TeV $p$-$p$ collisions are compared with a two-component (soft+hard) model (TCM) that accurately distinguishes jet-related hadron production (hard component) from nonjet projectile-nucleon dissociation (soft component). The present $p$-$p$ study is similar to and is guided by recent TCM studies of PID spectra from 5 TeV $p$-Pb collisions. The combined analyses serve to establish a well-understood quantitative description of PID hadron production in small collision systems as a control experiment. The control can then be contrasted with conventional interpretations of collision data from more-central A-A collisions as indicating formation of a quark-gluon plasma (QGP). PID $p_t$ spectra from 13 TeV $p$-$p$ collisions exhibit simple consistency with spectra from 5 TeV $p$-Pb collisions. Hadron species abundances are consistent with statistical-model trends predicted prior to commencement of the large hadron collider program. Differential spectrum structure and various ratio measures are quantitatively explained by the TCM, including its jet contribution, and admit no room for claims of hydrodynamic flows in small collision systems.


title: Optimality and sustainability of delayed impulsive harvesting

abstract: We consider a logistic differential equation subject to impulsive delayed harvesting, where the deduction information is a function of the population size at the time of one of the previous impulses. A close connection to the dynamics of high-order difference equations is used to conclude that while the inclusion of a delay in the impulsive condition does not impact the optimality of the yield, sustainability may be highly affected and is generally delay-dependent. Maximal and other types of yields are explored, and sharp stability tests are obtained for the model, as well as explicit sufficient conditions. It is also shown that persistence of the solution is not guaranteed for all positive initial conditions, and extinction in finite time is possible, as is illustrated in the simulations.


title: Learning by Asking Questions for Knowledge-based Novel Object Recognition

abstract: In real-world object recognition, there are numerous object classes to be recognized. Conventional image recognition based on supervised learning can only recognize object classes that exist in the training data, and thus has limited applicability in the real world. On the other hand, humans can recognize novel objects by asking questions and acquiring knowledge about them. Inspired by this, we study a framework for acquiring external knowledge through question generation that would help the model instantly recognize novel objects. Our pipeline consists of two components: the Object Classifier, which performs knowledge-based object recognition, and the Question Generator, which generates knowledge-aware questions to acquire novel knowledge. We also propose a question generation strategy based on the confidence of the knowledge-aware prediction of the Object Classifier. To train the Question Generator, we construct a dataset that contains knowledge-aware questions about objects in the images. Our experiments show that the proposed pipeline effectively acquires knowledge about novel objects compared to several baselines.


title: Pathology Steered Stratification Network for Subtype Identification in Alzheimer's Disease

abstract: Alzheimer's disease (AD) is a heterogeneous, multifactorial neurodegenerative disorder characterized by beta-amyloid, pathologic tau, and neurodegeneration. There are no effective treatments for Alzheimer's disease at a late stage, urging for early intervention. However, existing statistical inference approaches of AD subtype identification ignore the pathological domain knowledge, which could lead to ill-posed results that are sometimes inconsistent with the essential neurological principles. Integrating systems biology modeling with machine learning, we propose a novel pathology steered stratification network (PSSN) that incorporates established domain knowledge in AD pathology through a reaction-diffusion model, where we consider non-linear interactions between major biomarkers and diffusion along brain structural network. Trained on longitudinal multimodal neuroimaging data, the biological model predicts long-term trajectories that capture individual progression pattern, filling in the gaps between sparse imaging data available. A deep predictive neural network is then built to exploit spatiotemporal dynamics, link neurological examinations with clinical profiles, and generate subtype assignment probability on an individual basis. We further identify an evolutionary disease graph to quantify subtype transition probabilities through extensive simulations. Our stratification achieves superior performance in both inter-cluster heterogeneity and intra-cluster homogeneity of various clinical scores. Applying our approach to enriched samples of aging populations, we identify six subtypes spanning AD spectrum, where each subtype exhibits a distinctive biomarker pattern that is consistent with its clinical outcome. PSSN provides insights into pre-symptomatic diagnosis and practical guidance on clinical treatments, which may be further generalized to other neurodegenerative diseases.


title: Deterioration Prediction using Time-Series of Three Vital Signs and Current Clinical Features Amongst COVID-19 Patients

abstract: Unrecognized patient deterioration can lead to high morbidity and mortality. Most existing deterioration prediction models require a large number of clinical information, typically collected in hospital settings, such as medical images or comprehensive laboratory tests. This is infeasible for telehealth solutions and highlights a gap in deterioration prediction models that are based on minimal data, which can be recorded at a large scale in any clinic, nursing home, or even at the patient's home. In this study, we propose and develop a prognostic model that predicts if a patient will experience deterioration in the forthcoming 3-24 hours. The model sequentially processes routine triadic vital signs: (a) oxygen saturation, (b) heart rate, and (c) temperature. The model is also provided with basic patient information, including sex, age, vaccination status, vaccination date, and status of obesity, hypertension, or diabetes. We train and evaluate the model using data collected from 37,006 COVID-19 patients at NYU Langone Health in New York, USA. The model achieves an area under the receiver operating characteristic curve (AUROC) of 0.808-0.880 for 3-24 hour deterioration prediction. We also conduct occlusion experiments to evaluate the importance of each input feature, where the results reveal the significance of continuously monitoring the variations of the vital signs. Our results show the prospect of accurate deterioration forecast using a minimum feature set that can be relatively easily obtained using wearable devices and self-reported patient information.


title: A Novel Multi-Objective Velocity-Free Boolean Particle Swarm Optimization

abstract: This paper extends boolean particle swarm optimization to a multi-objective setting, to our knowledge for the first time in the literature. Our proposed new boolean algorithm, MBOnvPSO, is notably simplified by the omission of a velocity update rule and has enhanced exploration ability due to the inclusion of a 'noise' term in the position update rule that prevents particles being trapped in local optima. Our algorithm additionally makes use of an external archive to store non-dominated solutions and implements crowding distance to encourage solution diversity. In benchmark tests, MBOnvPSO produced high quality Pareto fronts, when compared to benchmarked alternatives, for all of the multi-objective test functions considered, with competitive performance in search spaces with up to 600 discrete dimensions.


title: AD-DROP: Attribution-Driven Dropout for Robust Language Model Fine-Tuning

abstract: Fine-tuning large pre-trained language models on downstream tasks is apt to suffer from overfitting when limited training data is available. While dropout proves to be an effective antidote by randomly dropping a proportion of units, existing research has not examined its effect on the self-attention mechanism. In this paper, we investigate this problem through self-attention attribution and find that dropping attention positions with low attribution scores can accelerate training and increase the risk of overfitting. Motivated by this observation, we propose Attribution-Driven Dropout (AD-DROP), which randomly discards some high-attribution positions to encourage the model to make predictions by relying more on low-attribution positions to reduce overfitting. We also develop a cross-tuning strategy to alternate fine-tuning and AD-DROP to avoid dropping high-attribution positions excessively. Extensive experiments on various benchmarks show that AD-DROP yields consistent improvements over baselines. Analysis further confirms that AD-DROP serves as a strategic regularizer to prevent overfitting during fine-tuning.


title: Super resolution dual-energy cone-beam CT imaging with dual-layer flat-panel detector

abstract: For medical cone-beam computed tomography (CBCT) imaging, the native receptor array of the flat-panel detector (FPD) is usually binned into a reduced matrix size. By doing so, the signal readout speed can be increased by over 4-9 times at the expense of sacrificing the spatial resolution by at least 50%-67%. Clearly, such tradition poses a main bottleneck in generating high spatial resolution and high temporal resolution CBCT images at the same time. In addition, the conventional FPD is also difficult in generating dual-energy CBCT images. In this paper, we propose an innovative super resolution dual-energy CBCT imaging method, named as suRi, based on dual-layer FPD (DL-FPD) to overcome these aforementioned difficulties at once. With suRi, specifically, an 1D or 2D sub-pixel (half pixel in this study) shifted binning is applied to replace the conventionally aligned binning to double the spatial sampling rate during the dual-energy data acquisition. As a result, the suRi approach provides a new strategy to enable high signal readout speed and high spatial resolution CBCT imaging with FPD. Moreover, a penalized likelihood material decomposition algorithm is developed to directly reconstruct the high resolution bases from the dual-energy CBCT projections containing spatial sub-pixel shifts. Experiments based on the single-layer FPD and DL-FPD are performed with physical phantoms and biological specimen to validate this newly developed suRi method. The synthesized monochromatic CT imaging results demonstrate that suRi can significantly improve the spatial image resolution by 46.15%. We believe the developed suRi method would be capable to greatly enhance the imaging performance of the DL-FPD based dual-energy CBCT systems in future.


title: Unitary property testing lower bounds by polynomials

abstract: We study unitary property testing, where a quantum algorithm is given query access to a black-box unitary and has to decide whether it satisfies some property. In addition to containing the standard quantum query complexity model (where the unitary encodes a binary string) as a special case, this model contains "inherently quantum" problems that have no classical analogue. Characterizing the query complexity of these problems requires new algorithmic techniques and lower bound methods. Our main contribution is a generalized polynomial method for unitary property testing problems. By leveraging connections with invariant theory, we apply this method to obtain lower bounds on problems such as determining recurrence times of unitaries, approximating the dimension of a marked subspace, and approximating the entanglement entropy of a marked state. We also present a unitary property testing-based approach towards an oracle separation between $\mathsf{QMA}$ and $\mathsf{QMA(2)}$, a long standing question in quantum complexity theory.


title: Symbolic Rees algebras and set-theoretic complete intersections

abstract: In this paper we extend a result of Cowsik on set-theoretic complete intersection and a result Huneke, Morales and Goto and Nishida about Noetherian symbolic Rees algebras of ideals. As applications, we show that the symbolic Rees algebras of the following ideals are Noetherian and the ideals are set-theoretic complete intersections: (a) the edge ideal of a complete graph, (b) the Fermat ideal and (c) the Jacobian ideal of a certain hyperplane arrangement.


title: Non-rough norms and dentability in spaces of operators

abstract: In this work, we study non-rough norms in L(X,Y), the space of bounded linear operators between Banach spaces X and Y. We prove that L(X,Y) has non-rough norm if and only if X* and Y have non-rough norm. We show that the injective tensor product of X and Y has non-rough norm if and only if both X and Y have non-rough norm. We also give an example to show that non-rough norms are not stable under projective tensor product. We also study a related concept namely the small diameter properties in the context of L(X,Y)*. These results leads to a discussion on stability of the small diameter properties for projective and injective tensor product spaces.


title: Calibration and Uncertainty Characterization for Ultra-Wideband Two-Way-Ranging Measurements

abstract: Ultra-Wideband (UWB) systems are becoming increasingly popular for indoor localization, where range measurements are obtained by measuring the time-of-flight of radio signals. However, the range measurements typically suffer from a systematic error or bias that must be corrected for high-accuracy localization. In this paper, a ranging protocol is proposed alongside a robust and scalable antenna-delay calibration procedure to accurately and efficiently calibrate antenna delays for many UWB tags. Additionally, the bias and uncertainty of the measurements are modelled as a function of the received-signal power. The full calibration procedure is presented using experimental training data of 3 aerial robots fitted with 2 UWB tags each, and then evaluated on 2 test experiments. A localization problem is then formulated on the experimental test data, and the calibrated measurements and their modelled uncertainty are fed into an extended Kalman filter (EKF). The proposed calibration is shown to yield an average of 46% improvement in localization accuracy. Lastly, the paper is accompanied by an open-source UWB-calibration Python library, which can be found at https://github.com/decargroup/uwb_calibration.


title: KAIROS: Building Cost-Efficient Machine Learning Inference Systems with Heterogeneous Cloud Resources

abstract: Online inference is becoming a key service product for many businesses, deployed in cloud platforms to meet customer demands. Despite their revenue-generation capability, these services need to operate under tight Quality-of-Service (QoS) and cost budget constraints. This paper introduces KAIROS, a novel runtime framework that maximizes the query throughput while meeting QoS target and a cost budget. KAIROS designs and implements novel techniques to build a pool of heterogeneous compute hardware without online exploration overhead, and distribute inference queries optimally at runtime. Our evaluation using industry-grade deep learning (DL) models shows that KAIROS yields up to 2X the throughput of an optimal homogeneous solution, and outperforms state-of-the-art schemes by up to 70%, despite advantageous implementations of the competing schemes to ignore their exploration overhead.


title: Pair distribution function analysis driven by atomistic simulations: Application to microwave radiation synthesized TiO$_2$ and ZrO$_2$

abstract: A workflow is presented for performing pair distribution function (PDF) analysis of defected materials using structures generated from atomistic simulations. A large collection of structures, which differ in the types and concentrations of defects present, are obtained through energy minimization with an empirical interatomic potential. Each of the structures is refined against an experimental PDF. The structures with the lowest goodness of fit $R_w$ values are taken as being representative of the experimental structure. The workflow is applied to anatase titanium dioxide ($a$-TiO$_2$) and tetragonal zirconium dioxide ($t$-ZrO$_2$) synthesized in the presence of microwave radiation, a low temperature process that generates disorder. The results suggest that titanium vacancies and interstitials are the dominant defects in $a$-TiO$_2$, while oxygen vacancies dominate in $t$-ZrO$_2$. Analysis of the atomic displacement parameters extracted from the PDF refinement and mean squared displacements calculated from molecular dynamics simulations indicate that while these two quantities are closely related, it is challenging to make quantitative comparisons between them. The workflow can be applied to other materials systems, including nanoparticles.


title: Point Cloud Scene Completion with Joint Color and Semantic Estimation from Single RGB-D Image

abstract: We present a deep reinforcement learning method of progressive view inpainting for colored semantic point cloud scene completion under volume guidance, achieving high-quality scene reconstruction from only a single RGB-D image with severe occlusion. Our approach is end-to-end, consisting of three modules: 3D scene volume reconstruction, 2D RGB-D and segmentation image inpainting, and multi-view selection for completion. Given a single RGB-D image, our method first predicts its semantic segmentation map and goes through the 3D volume branch to obtain a volumetric scene reconstruction as a guide to the next view inpainting step, which attempts to make up the missing information; the third step involves projecting the volume under the same view of the input, concatenating them to complete the current view RGB-D and segmentation map, and integrating all RGB-D and segmentation maps into the point cloud. Since the occluded areas are unavailable, we resort to a A3C network to glance around and pick the next best view for large hole completion progressively until a scene is adequately reconstructed while guaranteeing validity. All steps are learned jointly to achieve robust and consistent results. We perform qualitative and quantitative evaluations with extensive experiments on the 3D-FUTURE data, obtaining better results than state-of-the-arts.


title: Perplexity from PLM Is Unreliable for Evaluating Text Quality

abstract: Recently, amounts of works utilize perplexity~(PPL) to evaluate the quality of the generated text. They suppose that if the value of PPL is smaller, the quality(i.e. fluency) of the text to be evaluated is better. However, we find that the PPL referee is unqualified and it cannot evaluate the generated text fairly for the following reasons: (i) The PPL of short text is larger than long text, which goes against common sense, (ii) The repeated text span could damage the performance of PPL, and (iii) The punctuation marks could affect the performance of PPL heavily. Experiments show that the PPL is unreliable for evaluating the quality of given text. Last, we discuss the key problems with evaluating text quality using language models.


title: The Power of Two Matrices in Spectral Algorithms

abstract: Spectral algorithms are some of the main tools in optimization and inference problems on graphs. Typically, the graph is encoded as a matrix and eigenvectors and eigenvalues of the matrix are then used to solve the given graph problem. Spectral algorithms have been successfully used for graph partitioning, hidden clique recovery and graph coloring. In this paper, we study the power of spectral algorithms using two matrices in a graph partitioning problem. We use two different matrices resulting from two different encodings of the same graph and then combine the spectral information coming from these two matrices. We analyze a two-matrix spectral algorithm for the problem of identifying latent community structure in large random graphs. In particular, we consider the problem of recovering community assignments exactly in the censored stochastic block model, where each edge status is revealed independently with some probability. We show that spectral algorithms based on two matrices are optimal and succeed in recovering communities up to the information theoretic threshold. On the other hand, we show that for most choices of the parameters, any spectral algorithm based on one matrix is suboptimal. This is in contrast to our prior works (2022a, 2022b) which showed that for the symmetric Stochastic Block Model and the Planted Dense Subgraph problem, a spectral algorithm based on one matrix achieves the information theoretic threshold. We additionally provide more general geometric conditions for the (sub)-optimality of spectral algorithms.


title: Safety-Aware Human-Robot Collaborative Transportation and Manipulation with Multiple MAVs

abstract: Human-robot interaction will play an essential role in various industries and daily tasks, enabling robots to effectively collaborate with humans and reduce their physical workload. Most of the existing approaches for physical human-robot interaction focus on collaboration between a human and a single ground robot. In recent years, very little progress has been made in this research area when considering aerial robots, which offer increased versatility and mobility compared to their grounded counterparts. This paper proposes a novel approach for safe human-robot collaborative transportation and manipulation of a cable-suspended payload with multiple aerial robots. We leverage the proposed method to enable smooth and intuitive interaction between the transported objects and a human worker while considering safety constraints during operations by exploiting the redundancy of the internal transportation system. The key elements of our system are (a) a distributed payload external wrench estimator that does not rely on any force sensor; (b) a 6D admittance controller for human-aerial-robot collaborative transportation and manipulation; (c) a safety-aware controller that exploits the internal system redundancy to guarantee the execution of additional tasks devoted to preserving the human or robot safety without affecting the payload trajectory tracking or quality of interaction. We validate the approach through extensive simulation and real-world experiments. These include as well the robot team assisting the human in transporting and manipulating a load or the human helping the robot team navigate the environment. To the best of our knowledge, this work is the first to create an interactive and safety-aware approach for quadrotor teams that physically collaborate with a human operator during transportation and manipulation tasks.


title: DG-STGCN: Dynamic Spatial-Temporal Modeling for Skeleton-based Action Recognition

abstract: Graph convolution networks (GCN) have been widely used in skeleton-based action recognition. We note that existing GCN-based approaches primarily rely on prescribed graphical structures (ie., a manually defined topology of skeleton joints), which limits their flexibility to capture complicated correlations between joints. To move beyond this limitation, we propose a new framework for skeleton-based action recognition, namely Dynamic Group Spatio-Temporal GCN (DG-STGCN). It consists of two modules, DG-GCN and DG-TCN, respectively, for spatial and temporal modeling. In particular, DG-GCN uses learned affinity matrices to capture dynamic graphical structures instead of relying on a prescribed one, while DG-TCN performs group-wise temporal convolutions with varying receptive fields and incorporates a dynamic joint-skeleton fusion module for adaptive multi-level temporal modeling. On a wide range of benchmarks, including NTURGB+D, Kinetics-Skeleton, BABEL, and Toyota SmartHome, DG-STGCN consistently outperforms state-of-the-art methods, often by a notable margin.


title: Common Corruption Robustness of Point Cloud Detectors: Benchmark and Enhancement

abstract: Object detection through LiDAR-based point cloud has recently been important in autonomous driving. Although achieving high accuracy on public benchmarks, the state-of-the-art detectors may still go wrong and cause a heavy loss due to the widespread corruptions in the real world like rain, snow, sensor noise, etc. Nevertheless, there is a lack of a large-scale dataset covering diverse scenes and realistic corruption types with different severities to develop practical and robust point cloud detectors, which is challenging due to the heavy collection costs. To alleviate the challenge and start the first step for robust point cloud detection, we propose the physical-aware simulation methods to generate degraded point clouds under different real-world common corruptions. Then, for the first attempt, we construct a benchmark based on the physical-aware common corruptions for point cloud detectors, which contains a total of 1,122,150 examples covering 7,481 scenes, 25 common corruption types, and 6 severities. With such a novel benchmark, we conduct extensive empirical studies on 8 state-of-the-art detectors that contain 6 different detection frameworks. Thus we get several insight observations revealing the vulnerabilities of the detectors and indicating the enhancement directions. Moreover, we further study the effectiveness of existing robustness enhancement methods based on data augmentation and data denoising. The benchmark can potentially be a new platform for evaluating point cloud detectors, opening a door for developing novel robustness enhancement methods.


title: Almost Sure Convergence of Distributed Optimization with Imperfect Information Sharing

abstract: To design algorithms that reduce communication cost or meet rate constraints and are robust to communication noise, we study convex distributed optimization problems where a set of agents are interested in solving a separable optimization problem collaboratively with imperfect information sharing over time-varying networks. We study the almost sure convergence of a two-time-scale decentralized gradient descent algorithm to reach the consensus on an optimizer of the objective loss function. One time scale fades out the imperfect incoming information from neighboring agents, and the second one adjusts the local loss functions' gradients. We show that under certain conditions on the connectivity of the underlying time-varying network and the time-scale sequences, the dynamics converge almost surely to an optimal point supported in the optimizer set of the loss function.


title: Quantum amplification of spin currents in cavity magnonics by a parametric drive induced long-lived mode

abstract: Cavity-mediated magnon-magnon coupling can lead to a transfer of spin-wave excitations between two spatially separated magnetic samples. We enunciate how the application of a two-photon parametric drive to the cavity can lead to stark amplification in this transfer efficiency. The recurrent multiphoton absorption by the cavity opens up an infinite ladder of accessible energy levels, which can induce higher-order transitions within the magnon Fock space. This is reflected in a heightened spin-current response from one of the magnetic samples when the neighboring sample is coherently pumped. The enhancement induced by the parametric drive can be considerably high within the stable dynamical region. Specifically, near the periphery of the stability boundary, the spin current is amplified by several orders of magnitude. Such striking enhancement factors are attributed to the emergence of parametrically induced strong coherences precipitated by a long-lived mode. While contextualized in magnonics, the generality of the principle would allow applications to energy transfer between systems contained in parametric cavities.


title: A Lower Bound of Hash Codes' Performance

abstract: As a crucial approach for compact representation learning, hashing has achieved great success in effectiveness and efficiency. Numerous heuristic Hamming space metric learning objectives are designed to obtain high-quality hash codes. Nevertheless, a theoretical analysis of criteria for learning good hash codes remains largely unexploited. In this paper, we prove that inter-class distinctiveness and intra-class compactness among hash codes determine the lower bound of hash codes' performance. Promoting these two characteristics could lift the bound and improve hash learning. We then propose a surrogate model to fully exploit the above objective by estimating the posterior of hash codes and controlling it, which results in a low-bias optimization. Extensive experiments reveal the effectiveness of the proposed method. By testing on a series of hash-models, we obtain performance improvements among all of them, with an up to $26.5\%$ increase in mean Average Precision and an up to $20.5\%$ increase in accuracy. Our code is publicly available at https://github.com/VL-Group/LBHash.


title: Inverse scattering for the biharmonic wave equation with a random potential

abstract: We consider the inverse random potential scattering problem for the two- and three-dimensional biharmonic wave equation in lossy media. The potential is assumed to be a microlocally isotropic Gaussian rough field. The main contributions of the work are twofold. First, the unique continuation principle is proved for the fourth order biharmonic wave equation with rough potentials and the well-posedness of the direct scattering problem is established in the distribution sense. Second, the correlation strength of the random potential is shown to be uniquely determined by the high frequency limit of the second moment of the scattered field averaged over the frequency band. Moreover, we demonstrate that the expectation in the data can be removed and the data of a single realization is sufficient for the uniqueness of the inverse problem with probability one when the medium is lossless.


title: Zero-Shot Prompting for Implicit Intent Prediction and Recommendation with Commonsense Reasoning

abstract: Intelligent virtual assistants are currently designed to perform tasks or services explicitly mentioned by users, so multiple related domains or tasks need to be performed one by one through a long conversation with many explicit intents. Instead, human assistants are capable of reasoning (multiple) implicit intents based on user utterances via commonsense knowledge, reducing complex interactions and improving practicality. Therefore, this paper proposes a framework of multi-domain dialogue systems, which can automatically infer implicit intents based on user utterances and then perform zero-shot prompting using a large pre-trained language model to trigger suitable single task-oriented bots. The proposed framework is demonstrated effective to realize implicit intents and recommend associated bots in a zero-shot manner.


title: Overcrowding and Separation Estimates for the Coulomb Gas

abstract: We prove several results for the Coulomb gas in any dimension $d \geq 2$ that follow from isotropic averaging, a transport method based on Newton's theorem. First, we prove a high-density Jancovici-Lebowitz-Manificat law, extending the microscopic density bounds of Armstrong and Serfaty and establishing strictly sub-Gaussian tails for charge excess in dimension $2$. The existence of microscopic limiting point processes is proved at the edge of the droplet. Next, we prove optimal upper bounds on the $k$-point correlation function for merging points, including a Wegner estimate for the Coulomb gas for $k=1$. We prove the tightness of the properly rescaled $k$th minimal particle gap, identifying the correct order in $d=2$ and a three term expansion in $d \geq 3$, as well as upper and lower tail estimates. In particular, we extend the two-dimensional "perfect-freezing regime" identified by Ameur and Romero to higher dimensions. Finally, we give positive charge discrepancy bounds which are state of the art near the droplet boundary and prove incompressibility of Laughlin states in the fractional quantum Hall effect, starting at large microscopic scales. Using rigidity for fluctuations of smooth linear statistics, we show how to upgrade positive discrepancy bounds to estimates on the absolute discrepancy in certain regions.


title: Towards Web3 Applications: Easing the Access and Transition

abstract: Web3 is leading a wave of the next generation of web services that even many Web2 applications are keen to ride. However, the lack of Web3 background for Web2 developers hinders easy and effective access and transition. On the other hand, Web3 applications desire for encouragement and advertisement from conventional Web2 companies and projects due to their low market shares. In this paper, we propose a seamless transition framework that transits Web2 to Web3, named WebttCom, after exploring the connotation of Web3 and the key differences between Web2 and Web3 applications. We also provide a full-stack implementation as a use case to support the proposed framework, followed by interviews with five participants that show four positive and one natural response. We confirm that the proposed framework WebttCom addresses the defined research question, and the implementation well satisfies the framework WebttCom in terms of strong necessity, usability, and completeness based on the interview results.


title: A Problem in the Statistical Description of Beta-Delayed Neutron Emission

abstract: Reaction measurements on fission products are being planned at both Argonne National Lab and at the Facility for Rare Isotope Beams. These indirect experiments produce specific short-lived nuclei via beta decay, and the subsequent neutron and gamma emission are studied. Some initial experiments found a surprising overabundance of gamma emission, which theory has yet to explain. To remedy this, we are developing an integrated nuclear data workflow that connects advanced nuclear shell model codes for describing the beta decay with a contemporary nuclear reaction model code.


title: Discourse Analysis via Questions and Answers: Parsing Dependency Structures of Questions Under Discussion

abstract: Automatic discourse processing is bottlenecked by data: current discourse formalisms pose highly demanding annotation tasks involving large taxonomies of discourse relations, making them inaccessible to lay annotators. This work instead adopts the linguistic framework of Questions Under Discussion (QUD) for discourse analysis and seeks to derive QUD structures automatically. QUD views each sentence as an answer to a question triggered in prior context; thus, we characterize relationships between sentences as free-form questions, in contrast to exhaustive fine-grained taxonomies. We develop the first-of-its-kind QUD parser that derives a dependency structure of questions over full documents, trained using a large, crowdsourced question-answering dataset DCQA (Ko et al., 2022). Human evaluation results show that QUD dependency parsing is possible for language models trained with this crowdsourced, generalizable annotation scheme. We illustrate how our QUD structure is distinct from RST trees, and demonstrate the utility of QUD analysis in the context of document simplification. Our findings show that QUD parsing is an appealing alternative for automatic discourse processing.


title: Travel the Same Path: A Novel TSP Solving Strategy

abstract: In this paper, we provide a novel strategy for solving Traveling Salesman Problem, which is a famous combinatorial optimization problem studied intensely in the TCS community. In particular, we consider the imitation learning framework, which helps a deterministic algorithm making good choices whenever it needs to, resulting in a speed up while maintaining the exactness of the solution without suffering from the unpredictability and a potential large deviation. Furthermore, we demonstrate a strong generalization ability of a graph neural network trained under the imitation learning framework. Specifically, the model is capable of solving a large instance of TSP faster than the baseline while has only seen small TSP instances when training.


title: Strong electron-phonon coupling and carrier self-trapping in Sb$_2$S$_3$

abstract: Antimony sulphide (Sb$_2$S$_3$) is an Earth-abundant and non-toxic material that is under investigation for solar energy conversion applications. However, it still suffers from poor power conversion efficiency and a large open circuit voltage loss that have usually been attributed to point or interfacial defects and trap states. More recently, a self-trapped exciton has been suggested as the microscopic origin for the performance loss. By using first-principles methods, we demonstrate that Sb$_2$S$_3$ exhibits strong electron-phonon coupling, which results in a large renormalization of 200 meV of the absorption edge when temperature increases from 10K to 300K, and in a quasi-1D electron polaron that is delocalized in the ribbon direction of the crystal structure, but localized in the inter-ribbon directions. The calculated polaron formation energy of 67 meV agrees well with experimental measurements, suggesting that self-trapped excitons are likely to form with the mediation of an electron polaron. Our results demonstrate the importance of systematically investigating electron-phonon coupling and polaron formation in the antimony chalcogenide family of semiconductors for optoelectronic applications.


title: Unitary, anomalous Master Ward Identity and its connections to the Wess-Zumino condition, BV formalism and $L_\infty$-algebras

abstract: The C*-algebraic construction of QFT by Buchholz and one of us relies on the causal structure of spacetime and a classical Lagrangian. In one of our previous papers we have introduced additional structure into this construction, namely an action of symmetries, which is related to fixing renormalisation conditions. This action characterizes anomalies and satisfies a cocycle condition which is summarized in the unitary anomalous Master Ward identity. Here (using perturbation theory) we show how this cocycle condition is related to the Wess-Zumino consistency relation and the consistency relation for the anomaly in the BV formalism, where the latter is the generalized Jacobi identity for the associated $L_\infty$-algebra.


title: Field Induced Multiple Superconducting Phases in UTe2 along Hard Magnetic Axis

abstract: The superconducting (SC) phase diagram in uranium ditelluride is explored under magnetic fields ($H$) along the hard magnetic b-axis using a high-quality single crystal with $T_{\rm c} = 2.1$ K. Simultaneous electrical resistivity and AC magnetic susceptibility measurements discern low- and high-field SC (LFSC and HFSC, respectively) phases with contrasting field-angular dependence. Crystal quality increases the upper critical field of the LFSC phase, but the $H^{\ast}$ of $\sim$15 T, at which the HFSC phase appears, is always the same through the various crystals. A phase boundary signature is also observed inside the LFSC phase near $H^{\ast}$, indicating an intermediate SC phase characterized by small flux pinning forces.


title: Application of the extended $q$-discrete Toda equation to computing eigenvalues of Hessenberg totally nonnegative matrices

abstract: The Toda equation is one of the most famous integrable systems, and its time-discretization is simply the recursion formula of the quotient-difference (qd) algorithm for computing eigenvalues of tridiagonal matrices. An extension of the Toda equation is the q-Toda equation, which is derived by replacing standard derivatives with the so-called q-derivatives involving a parameter q such that 0 < q < 1. In our previous paper, we showed that a discretization of the q-Toda equation is shown to be also applicable to computing tridiagonal eigenvalues. In this paper, we consider another extension of the q-discrete Toda equation and find an application to computing eigenvalues of Hessenberg totally nonnegative (TN) matrices, which are matrices where all minors are nonnegative. There are two key components to our approach. First, we consider the extended q-discrete equation from the perspective of shifted LR transformations, similarly to the discrete Toda and its q-analogue cases. Second, we clarify asymptotic convergence as discrete-time goes to infinity in the qdiscrete Toda equation by focusing on TN properties. We also present two examples to numerically verify convergence to Hessenberg TN eigenvalues numerically.


title: Robust estimation of dependent competing risk model under interval monitoring and determining optimal inspection intervals

abstract: Recently, a growing amount interest is quite evident in modelling dependent competing risks in life time prognosis problem. In this work, we propose to model the dependent competing risks by Marshal-Olkin bivariate exponential distribution. The observable data consists of number of failures due to different causes across different time intervals. The failure count data is common in instances like one shot devices where state of the subjects are inspected at different inspection times rather than the exact failure times. The point estimation of the life time distribution in presence of competing risk has been studied through divergence based robust estimation method called minimum density power divergence estimation (MDPDE). The testing of hypothesis is performed based on a Wald type test statistic. The influence function is derived both for the point estimator and the test statistic, which reflects the degree of robustness. Another, key contribution of this work is to determine the optimal set of inspection times based on some predefined objectives. This article presents determination of multi criteria based optimal design. Population based heuristic algorithm non-dominated sorting-based multiobjective Genetic algorithm is exploited to solve this optimization problem.


title: PSNet: Parallel Symmetric Network for Video Salient Object Detection

abstract: For the video salient object detection (VSOD) task, how to excavate the information from the appearance modality and the motion modality has always been a topic of great concern. The two-stream structure, including an RGB appearance stream and an optical flow motion stream, has been widely used as a typical pipeline for VSOD tasks, but the existing methods usually only use motion features to unidirectionally guide appearance features or adaptively but blindly fuse two modality features. However, these methods underperform in diverse scenarios due to the uncomprehensive and unspecific learning schemes. In this paper, following a more secure modeling philosophy, we deeply investigate the importance of appearance modality and motion modality in a more comprehensive way and propose a VSOD network with up and down parallel symmetry, named PSNet. Two parallel branches with different dominant modalities are set to achieve complete video saliency decoding with the cooperation of the Gather Diffusion Reinforcement (GDR) module and Cross-modality Refinement and Complement (CRC) module. Finally, we use the Importance Perception Fusion (IPF) module to fuse the features from two parallel branches according to their different importance in different scenarios. Experiments on four dataset benchmarks demonstrate that our method achieves desirable and competitive performance.


title: Concept Study for Observing Galactic Neutrinos in Neptune's Atmosphere

abstract: I discuss the feasibility of a conceptual space-based neutrino detector that utilizes the Ice Giants as Targets for Galactic Neutrinos. The purpose of this research stems from the concept of wanting to find a new method of observing the Galactic Core (GC) of the Milky Way and the Supermassive black hole, Sag A*. Observations of the GC have been made in every accessible wavelength except for the regions of space that are too dense for photons to probe. In these regions, we may instead use neutrinos. Neutrinos from the Active Galactic Nucleus are emitted at extreme energies, 10 GeV to EeV scales, but have an extremely low flux measured here at Earth. Neutrino telescopes such as the IceCube Observatory have only been able to measure a handful of neutrinos that might correlate to the GC. But using Gravitational lensing, our sun can be used as a lens which increases the 'light' collection power for neutrinos by a factor of $10^{13}$, with the trade-off that the minimum focal point is located at 22 AU. This means that Uranus and Neptune are suitable natural targets for these neutrinos to interact with and observe the effects of a spacecraft in orbit. Initial studies use GEANT4, a particle physics simulation toolbox developed by CERN, to facilitate the propagation of energetic particles passing through the atmosphere of Neptune. Various aspects are studied to understand the behaviors of these particle interactions. For each of these aspects, we modify several variables such as particle type, energy, interaction depth, and orbital distance from the surface. I also discuss the versatility of this neutrino detector which has the possibility of mapping out the inner structure of the Ice Giants, in-depth studies of the neutrinos coming from the GC, and possibilities to use this method for other cosmic neutrino sources.


title: New families of manifolds with similar cohomology rings admitting special generic maps

abstract: As Reeb's theorem shows, Morse functions with exactly two singular points on closed manifolds are very simple and important. They characterize spheres whose dimensions are not $4$ topologically and the $4$-dimensional unit sphere. Special generic maps are generalized versions of these maps. Canonical projections of unit spheres are special generic. Studies of Saeki and Sakuma since the 1990s, followed by Nishioka and Wrazidlo, show that the differentiable structures of the spheres and the homology groups of the manifolds (in several classes) are restricted. We see special generic maps are attractive. Our paper studies the cohomology rings of manifolds admitting such maps. As our new result, we find a new family of manifolds whose cohomology rings are similar and find that the (non-)existence of special generic maps are closely related to the topologies. More explicitly, we have previously found related families and our new manifolds add to these discoveries.


title: Coloring, List Coloring, and Painting Squares of Graphs (and other related problems)

abstract: We survey work on coloring, list coloring, and painting squares of graphs; in particular, we consider strong edge-coloring. We focus primarily on planar graphs and other sparse classes of graphs.


title: Hate-CLIPper: Multimodal Hateful Meme Classification based on Cross-modal Interaction of CLIP Features

abstract: Hateful memes are a growing menace on social media. While the image and its corresponding text in a meme are related, they do not necessarily convey the same meaning when viewed individually. Hence, detecting hateful memes requires careful consideration of both visual and textual information. Multimodal pre-training can be beneficial for this task because it effectively captures the relationship between the image and the text by representing them in a similar feature space. Furthermore, it is essential to model the interactions between the image and text features through intermediate fusion. Most existing methods either employ multimodal pre-training or intermediate fusion, but not both. In this work, we propose the Hate-CLIPper architecture, which explicitly models the cross-modal interactions between the image and text representations obtained using Contrastive Language-Image Pre-training (CLIP) encoders via a feature interaction matrix (FIM). A simple classifier based on the FIM representation is able to achieve state-of-the-art performance on the Hateful Memes Challenge (HMC) dataset with an AUROC of 85.8, which even surpasses the human performance of 82.65. Experiments on other meme datasets such as Propaganda Memes and TamilMemes also demonstrate the generalizability of the proposed approach. Finally, we analyze the interpretability of the FIM representation and show that cross-modal interactions can indeed facilitate the learning of meaningful concepts. The code for this work is available at https://github.com/gokulkarthik/hateclipper.


title: Enemy Spotted: in-game gun sound dataset for gunshot classification and localization

abstract: Recently, deep learning-based methods have drawn huge attention due to their simple yet high performance without domain knowledge in sound classification and localization tasks. However, a lack of gun sounds in existing datasets has been a major obstacle to implementing a support system to spot criminals from their gunshots by leveraging deep learning models. Since the occurrence of gunshot is rare and unpredictable, it is impractical to collect gun sounds in the real world. As an alternative, gun sounds can be obtained from an FPS game that is designed to mimic real-world warfare. The recent FPS game offers a realistic environment where we can safely collect gunshot data while simulating even dangerous situations. By exploiting the advantage of the game environment, we construct a gunshot dataset, namely BGG, for the firearm classification and gunshot localization tasks. The BGG dataset consists of 37 different types of firearms, distances, and directions between the sound source and a receiver. We carefully verify that the in-game gunshot data has sufficient information to identify the location and type of gunshots by training several sound classification and localization baselines on the BGG dataset. Afterward, we demonstrate that the accuracy of real-world firearm classification and localization tasks can be enhanced by utilizing the BGG dataset.


title: Finite time analysis of temporal difference learning with linear function approximation: Tail averaging and regularisation

abstract: We study the finite-time behaviour of the popular temporal difference (TD) learning algorithm when combined with tail-averaging. We derive finite time bounds on the parameter error of the tail-averaged TD iterate under a step-size choice that does not require information about the eigenvalues of the matrix underlying the projected TD fixed point. Our analysis shows that tail-averaged TD converges at the optimal $O\left(1/t\right)$ rate, both in expectation and with high probability. In addition, our bounds exhibit a sharper rate of decay for the initial error (bias), which is an improvement over averaging all iterates. We also propose and analyse a variant of TD that incorporates regularisation. From analysis, we conclude that the regularised version of TD is useful for problems with ill-conditioned features.


title: Multiwavelength observations of a partial filament eruption on 13 June 2011

abstract: In this paper, we report the multiwavelength observations of the partial filament eruption associated with a C1.2 class flare in NOAA active region 11236 on 13 June 2011. The event occurred at the eastern limb in the field of view (FOV) of Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory (SDO) spacecraft and was close to the disk center in the FOV of Extreme-UltraViolet Imager (EUVI) on board the behind Solar Terrestrial Relations Observatory (STEREO) spacecraft. During eruption, the filament splits into two parts: the major part and runaway part. The major part flows along closed loops and experiences bifurcation at the loop top. Some of the materials move forward and reach the remote footpoint, while others return back to the original footpoint. The runaway part flows along open field lines, which is evidenced by a flare-related type III radio burst. The runaway part also undergoes bifurcation. The upper branch of escapes the corona and evolves into a jet-like narrow coronal mass ejection (CME) at a speed of 324 km s-1, while the lower branch falls back to the solar surface. A schematic cartoon is proposed to explain the event and provides a new mechanism of partial filament eruptions


title: Boosting Graph Neural Networks via Adaptive Knowledge Distillation

abstract: Graph neural networks (GNNs) have shown remarkable performance on diverse graph mining tasks. Although different GNNs can be unified as the same message passing framework, they learn complementary knowledge from the same graph. Knowledge distillation (KD) is developed to combine the diverse knowledge from multiple models. It transfers knowledge from high-capacity teachers to a lightweight student. However, to avoid oversmoothing, GNNs are often shallow, which deviates from the setting of KD. In this context, we revisit KD by separating its benefits from model compression and emphasizing its power of transferring knowledge. To this end, we need to tackle two challenges: how to transfer knowledge from compact teachers to a student with the same capacity; and, how to exploit student GNN's own strength to learn knowledge. In this paper, we propose a novel adaptive KD framework, called BGNN, which sequentially transfers knowledge from multiple GNNs into a student GNN. We also introduce an adaptive temperature module and a weight boosting module. These modules guide the student to the appropriate knowledge for effective learning. Extensive experiments have demonstrated the effectiveness of BGNN. In particular, we achieve up to 3.05% improvement for node classification and 6.35% improvement for graph classification over vanilla GNNs.


title: Step out of KG: Knowledge Graph Completion via Knowledgeable Retrieval and Reading Comprehension

abstract: Knowledge graphs, as the cornerstone of many AI applications, usually face serious incompleteness problems. In recent years, there have been many efforts to study automatic knowledge graph completion (KGC), most of which use existing knowledge to infer new knowledge. However, in our experiments, we find that not all relations can be obtained by inference, which constrains the performance of existing models. To alleviate this problem, we propose a new model based on information retrieval and reading comprehension, namely IR4KGC. Specifically, we pre-train a knowledge-based information retrieval module that can retrieve documents related to the triples to be completed. Then, the retrieved documents are handed over to the reading comprehension module to generate the predicted answers. In experiments, we find that our model can well solve relations that cannot be inferred from existing knowledge, and achieve good results on KGC datasets.


title: A Unified Framework for Alternating Offline Model Training and Policy Learning

abstract: In offline model-based reinforcement learning (offline MBRL), we learn a dynamic model from historically collected data, and subsequently utilize the learned model and fixed datasets for policy learning, without further interacting with the environment. Offline MBRL algorithms can improve the efficiency and stability of policy learning over the model-free algorithms. However, in most of the existing offline MBRL algorithms, the learning objectives for the dynamic models and the policies are isolated from each other. Such an objective mismatch may lead to inferior performance of the learned agents. In this paper, we address this issue by developing an iterative offline MBRL framework, where we maximize a lower bound of the true expected return, by alternating between dynamic-model training and policy learning. With the proposed unified model-policy learning framework, we achieve competitive performance on a wide range of continuous-control offline reinforcement learning datasets. Source code is publicly released.


title: Solving combinational optimization problems with evolutionary single-pixel imaging

abstract: Single-pixel imaging (SPI) is a novel optical imaging technique by replacing the pixelated sensor array in a conventional camera with a single-pixel detector. In previous works, SPI is usually used for capturing object images or performing image processing tasks. In this work, we propose a SPI scheme for processing other types of data in addition to images. An Ising machine model is implemented optically with SPI for solving combinational optimization problems including number partition and graph maximum cut. Simulated and experimental results show that our proposed scheme can optimize the Hamiltonian function with evolutionary illumination patterns.


title: Study of a Four Dimensional Willmore Energy

abstract: In this thesis, a four dimensional conformally invariant energy is studied. This energy generalises the well known two-dimensional Willmore energy. Although not positive definite, it includes minimal hypersurfaces as critical points. We compute its first variation and by applying the Noether theorem to the invariances, we derive some conservation laws which are satisfied by its critical points and with good analytical dispositions. In particular, we show that critical points are smooth. We also investigate other possible four dimensional generalisations of the Willmore energy, and give strong evidence that critical points of such energies do not include minimal hypersurfaces.


title: Vacuum Decay and Euclidean Lattice Monte Carlo

abstract: The decay rate of a metastable vacuum is usually calculated using a semiclassical approximation to the Euclidean path integral. The extension to a complete Euclidean lattice Monte Carlo computation, however, is hampered by analytic continuations that are ill-suited to numerical treatment, and the nonequilibrium nature of a metastable state. In this paper we develop a new methodology to compute vacuum decay rates from Monte Carlo simulations of Euclidean lattice theories. To test the new method, we consider simple quantum mechanical systems systems with metastable vacua. This work can be extended to Euclidean field theories, which we discuss in the Conclusions.


title: Nonadditive families of potentials: physical equivalence and some regularity relations

abstract: We show that additive and asymptotically additive families of continuous functions with respect to suspension flows are physically equivalent. In particular, the equivalence result holds for hyperbolic flows and some classes of expansive flows in general. Moreover, we show how this equivalence result can be used to extend the nonadditive thermodynamic formalism and multifractal analysis. In the second part of this work, we obtain a Liv\v{s}ic-like result for nonadditive families of potentials and also address the H\"older and Bowen regularity problem for the physical equivalence relations with respect to hyperbolic symbolic flows.


title: Efficient Adversarial Training without Attacking: Worst-Case-Aware Robust Reinforcement Learning

abstract: Recent studies reveal that a well-trained deep reinforcement learning (RL) policy can be particularly vulnerable to adversarial perturbations on input observations. Therefore, it is crucial to train RL agents that are robust against any attacks with a bounded budget. Existing robust training methods in deep RL either treat correlated steps separately, ignoring the robustness of long-term rewards, or train the agents and RL-based attacker together, doubling the computational burden and sample complexity of the training process. In this work, we propose a strong and efficient robust training framework for RL, named Worst-case-aware Robust RL (WocaR-RL) that directly estimates and optimizes the worst-case reward of a policy under bounded l_p attacks without requiring extra samples for learning an attacker. Experiments on multiple environments show that WocaR-RL achieves state-of-the-art performance under various strong attacks, and obtains significantly higher training efficiency than prior state-of-the-art robust training methods. The code of this work is available at https://github.com/umd-huang-lab/WocaR-RL.


title: Nonlocal Reconfigurable Intelligent Surfaces for Wireless Communication: Modeling and Physical Layer Aspects

abstract: Conventional Reconfigurable intelligent surfaces (RIS) for wireless communications have a local position-dependent (phase-gradient) scattering response on the surface. We consider more general RIS structures, called nonlocal (or redirective) RIS, that are capable of selectively manipulate the impinging waves depending on the incident angle. Redirective RIS have nonlocal wavefront-selective scattering behavior and can be implemented using multilayer arrays such as metalenses. We demonstrate that this more sophisticated type of surfaces has several advantages such as: lower overhead through coodebook-based reconfigurability, decoupled wave manipulations, and higher efficiency in multiuser scenarios via multifunctional operation. Additionally, redirective RIS architectures greatly benefit form the directional nature of wave propagation at high frequencies and can support integrated fronthaul and access (IFA) networks most efficiently. We also discuss the scalability and compactness issues and propose efficient nonlocal RIS architectures such as fractionated lens-based RIS and mirror-backed phase-masks structures that do not require additional control complexity and overhead while still offering better performance than conventional local RIS.


title: Few-shot Backdoor Attacks via Neural Tangent Kernels

abstract: In a backdoor attack, an attacker injects corrupted examples into the training set. The goal of the attacker is to cause the final trained model to predict the attacker's desired target label when a predefined trigger is added to test inputs. Central to these attacks is the trade-off between the success rate of the attack and the number of corrupted training examples injected. We pose this attack as a novel bilevel optimization problem: construct strong poison examples that maximize the attack success rate of the trained model. We use neural tangent kernels to approximate the training dynamics of the model being attacked and automatically learn strong poison examples. We experiment on subclasses of CIFAR-10 and ImageNet with WideResNet-34 and ConvNeXt architectures on periodic and patch trigger attacks and show that NTBA-designed poisoned examples achieve, for example, an attack success rate of 90% with ten times smaller number of poison examples injected compared to the baseline. We provided an interpretation of the NTBA-designed attacks using the analysis of kernel linear regression. We further demonstrate a vulnerability in overparametrized deep neural networks, which is revealed by the shape of the neural tangent kernel.


title: Sedimentary Environment, Diagenesis, Sequence Stratigraphy, and Reservoir Quality of the Ilam Formation in Dezful Embayment and Abadan Plain in South-West Iran

abstract: The Ilam Formation Cenomanian to Santonian in age is considered one of the main rock reservoirs of the Bangestan Group in the southwest of Iran. This formation mostly consists of carbonate rocks. To examine the sedimentary environment, diagenesis, sequence stratigraphy, and reservoir quality of Ilam Formation in Dezful embayment and Abadan Plain, four subsurface sections in wells, were studied. The lithology of the Ilam Formation in the studied wells is limestone with interbedded shale and argillaceous limestone. Considering the abundance of allochems and various fabrics in these deposits, twelve microfacies and one shale petrofacies of the Ilam Formation were recognized in these four wells. These microfacies were deposited in three facies belts, namely lagoon, shoal, and open marine, in a homoclinal carbonate ramp setting. These deposits have been influenced by meteoric, marine, and burial diageneses. Sequence stratigraphy of the Ilam Formation reveals that the studied wells consist of a third-order sedimentary sequence. The sea-level fluctuations in this area are the same as the global sealevel fluctuations. During the study of the Ilam Formation reservoir quality based on the results of diagenesis, mainly porosity and permeability data in one of studied wells,six flow units were identified. Flow unit number five has the most potential reservoir quality, and flow unit number 6 has the undesirable flow unit.


title: Explaining Online Reinforcement Learning Decisions of Self-Adaptive Systems

abstract: Design time uncertainty poses an important challenge when developing a self-adaptive system. As an example, defining how the system should adapt when facing a new environment state, requires understanding the precise effect of an adaptation, which may not be known at design time. Online reinforcement learning, i.e., employing reinforcement learning (RL) at runtime, is an emerging approach to realizing self-adaptive systems in the presence of design time uncertainty. By using Online RL, the self-adaptive system can learn from actual operational data and leverage feedback only available at runtime. Recently, Deep RL is gaining interest. Deep RL represents learned knowledge as a neural network whereby it can generalize over unseen inputs, as well as handle continuous environment states and adaptation actions. A fundamental problem of Deep RL is that learned knowledge is not explicitly represented. For a human, it is practically impossible to relate the parametrization of the neural network to concrete RL decisions and thus Deep RL essentially appears as a black box. Yet, understanding the decisions made by Deep RL is key to (1) increasing trust, and (2) facilitating debugging. Such debugging is especially relevant for self-adaptive systems, because the reward function, which quantifies the feedback to the RL algorithm, must be defined by developers. The reward function must be explicitly defined by developers, thus introducing a potential for human error. To explain Deep RL for self-adaptive systems, we enhance and combine two existing explainable RL techniques from the machine learning literature. The combined technique, XRL-DINE, overcomes the respective limitations of the individual techniques. We present a proof-of-concept implementation of XRL-DINE, as well as qualitative and quantitative results of applying XRL-DINE to a self-adaptive system exemplar.


title: Influence of the switch-over period of an alternately active bi-heater on heat transfer enhancement inside a cavity

abstract: Increasing power demands on multicore processors necessitate effective thermal management. The present study investigates natural convection heat transfer inside a square cavity with an alternately active bi-heater that mimics two cores of a dual-core processor. Pulsating heat flux condition is implemented on two discrete heaters with a certain switching frequency. The heat transfer characteristics have been investigated for Prandtl number =0.71 and Rayleigh number in the range of 10^3 - 10^6 using OpenFOAM. The results obtained for alternative active heaters configuration have been compared with that of the steady single heater and steady double-symmetric heaters subjected to the same heat flux. The alternately active heater configuration showed better heat transfer characteristics than a single steady heater for all switchover periods, and better than a double-symmetric heater for low switchover periods. However, it is found that for higher values of the switchover period, the maximum temperature of alternately active heaters configuration touches the temperature of steady single heater. This threshold switchover period has been determined using a scale analysis. The threshold switchover periods determined from scale analysis are consistent with the results obtained from numerical simulations for different Rayleigh numbers and heater lengths.


title: On the Whitehead theorem for nilpotent motivic spaces

abstract: We improve some foundational connectivity results and the relative Hurewicz theorem in motivic homotopy theory, study functorial central series in motivic local group theory, establish the existence of functorial Moore--Postnikov factorizations for nilpotent morphisms of motivic spaces under a mild technical hypothesis and establish an analog of the Whitehead theorem for nilpotent motivic spaces. As an application, we deduce a surprising unstable motivic periodicity result.