title: On the origin of order

abstract: A cardinal feature common to embryonic development and tissue reorganization, as well as to wound healing and cancer cell invasion, is collective cellular migration. During collective migratory events the phenomena of cell jamming and unjamming are increasingly recognized, and underlying mechanical, genomic, transcriptional, and signaling events are increasingly coming to light. In this brief perspective I propose a synthesis that brings together for the first time two key concepts. On the one hand, it has been suggested that the unjammed phase of the cellular collective evolved under a selective pressure favoring fluid-like migratory dynamics as would be required so as to accommodate episodes of tissue evolution, development, plasticity, and repair. Being dynamic, such an unjammed phase is expected to be energetically expensive compared with the jammed phase, which evolved under a selective pressure favoring a solid-like homeostatic regime that, by comparison, is non-migratory but energetically economical and mechanically stable. On the other hand, well before the discovery of cell jamming Kauffman proposed the general biological principle that living systems exist in a solid regime near the edge of chaos, and that natural selection achieves and sustains such a poised state. Here I propose that, in certain systems at least, this poised state as predicted in the abstract by Kaufmann is realized in the particular by the jammed regime just at the brink of unjamming.


title: LIGS: Learnable Intrinsic-Reward Generation Selection for Multi-Agent Learning

abstract: Efficient exploration is important for reinforcement learners to achieve high rewards. In multi-agent systems, coordinated exploration and behaviour is critical for agents to jointly achieve optimal outcomes. In this paper, we introduce a new general framework for improving coordination and performance of multi-agent reinforcement learners (MARL). Our framework, named Learnable Intrinsic-Reward Generation Selection algorithm (LIGS) introduces an adaptive learner, Generator that observes the agents and learns to construct intrinsic rewards online that coordinate the agents' joint exploration and joint behaviour. Using a novel combination of MARL and switching controls, LIGS determines the best states to learn to add intrinsic rewards which leads to a highly efficient learning process. LIGS can subdivide complex tasks making them easier to solve and enables systems of MARL agents to quickly solve environments with sparse rewards. LIGS can seamlessly adopt existing MARL algorithms and, our theory shows that it ensures convergence to policies that deliver higher system performance. We demonstrate its superior performance in challenging tasks in Foraging and StarCraft II.


title: Shear Induced Fluidization Of Thermal Amorphous Solids

abstract: We study the shear induced fluidization of amorphous solids subjected to external loading by investigating the relaxation dynamics of the deformed states using computer simulation. A simple shear deformation is employed at constant rate to the thermal glassy materials. The shear localization and the plastic deformation heterogeneity with strain is investigated in terms of the non-affine displacement field. The mean square displacement shows an enhanced mobility of the particles with strain, indicating the fluidization of the material. Using the time correlation function we estimate the relaxation time of the sheared glasses. A significant decrease in the relaxation time is observed up to the yielding point as the material loses its solid nature and eventually becomes liquid-like. Finally, the imprint of memory of the quiescent sample on the rheological properties of the shear melted glass is investigated by computing the relaxation of the shear stress. We find a finite persistent residual stress that outlasts the experimental observation time in our system.


title: Quasiconformal distortion of the Assouad spectrum and classification of polynomial spirals

abstract: We investigate the distortion of Assouad dimension and the Assouad spectrum under Euclidean quasiconformal maps. Our results complement existing conclusions for Hausdorff and box-counting dimension due to Gehring--V\"ais\"al\"a and others. As an application, we classify polynomial spirals $S_a:=\{x^{-a}e^{\mathbf{i} x}:x>0\}$ up to quasiconformal equivalence, up to the level of the dilatation. Specifically, for $a>b>0$ we show that there exists a quasiconformal map $f$ of $\mathbb{C}$ with dilatation $K_f$ and $f(S_a)=S_b$ if and only if $K_f \ge \tfrac{a}{b}$.


title: Mean and median bias reduction: A concise review and application to adjacent-categories logit models

abstract: The estimation of categorical response models using bias-reducing adjusted score equations has seen extensive theoretical research and applied use. The resulting estimates have been found to have superior frequentist properties to what maximum likelihood generally delivers and to be finite, even in cases where the maximum likelihood estimates are infinite. We briefly review mean and median bias reduction of maximum likelihood estimates via adjusted score equations in an illustration-driven way, and discuss their particular equivariance properties under parameter transformations. We then apply mean and median bias reduction to adjacent-categories logit models for ordinal responses. We show how ready bias reduction procedures for Poisson log-linear models can be used for mean and median bias reduction in adjacent-categories logit models with proportional odds and mean bias-reduced estimation in models with non-proportional odds. As in binomial logistic regression, the reduced-bias estimates are found to be finite even in cases where the maximum likelihood estimates are infinite. We also use the approximation of the bias of transformations of mean bias-reduced estimators to correct for the mean bias of model-based ordinal superiority measures. All developments are motivated and illustrated using real-data case studies and simulations


title: Probabilistic Deep Learning to Quantify Uncertainty in Air Quality Forecasting

abstract: Data-driven forecasts of air quality have recently achieved more accurate short-term predictions. Despite their success, most of the current data-driven solutions lack proper quantifications of model uncertainty that communicate how much to trust the forecasts. Recently, several practical tools to estimate uncertainty have been developed in probabilistic deep learning. However, there have not been empirical applications and extensive comparisons of these tools in the domain of air quality forecasts. Therefore, this work applies state-of-the-art techniques of uncertainty quantification in a real-world setting of air quality forecasts. Through extensive experiments, we describe training probabilistic models and evaluate their predictive uncertainties based on empirical performance, reliability of confidence estimate, and practical applicability. We also propose improving these models using "free" adversarial training and exploiting temporal and spatial correlation inherent in air quality data. Our experiments demonstrate that the proposed models perform better than previous works in quantifying uncertainty in data-driven air quality forecasts. Overall, Bayesian neural networks provide a more reliable uncertainty estimate but can be challenging to implement and scale. Other scalable methods, such as deep ensemble, Monte Carlo (MC) dropout, and stochastic weight averaging-Gaussian (SWAG), can perform well if applied correctly but with different tradeoffs and slight variations in performance metrics. Finally, our results show the practical impact of uncertainty estimation and demonstrate that, indeed, probabilistic models are more suitable for making informed decisions. Code and dataset are available at \url{https://github.com/Abdulmajid-Murad/deep_probabilistic_forecast}


title: Phantom energy supported wormhole model in $f(R,\,T)$ gravity assuming conformal motion

abstract: In this article, we have discussed Morris and Thorne (MT) wormhole solutions in a modified theory of gravity that admits conformal motion. Here we explore the wormhole solutions in $f(R,\,T)$ gravity, which is a function of the Ricci scalar ($R$) and the trace of the stress-energy tensor ($T$). To study wormhole geometries, we make assumption of spherical symmetric static spacetime and the existence of conformal Killing symmetry to get more acceptable astrophysical outcomes. To do this, we choose the expression of $f(R,\,T)$ as $f(R,T)= R+2 \gamma T$. Here we employ the phantom energy EoS relating to radial pressure and density given by $p_r=\omega \rho$ with $\omega<-1$ to constrain our model. Following a discussion of wormhole geometry and behavior of shape function, the study moves on to the computation of proper radial distance, active mass function, the nature of total gravitational energy and a discussion on the violation of energy conditions. We have shown that the wormhole solutions exist for positive as well as negative values of the coupling constant $\gamma$. From our analysis we see that no wormhole solution exists for $\gamma =-4\pi,\,-\pi(3+\omega)$. All the physical parameters have been drawn by employing the values of $\gamma$ as $\gamma=-0.3,\,-0.2,\,-0.1,\,0,\,0.1$ and $0.2$, where $\gamma=0$ corresponds to general relativity (GR) case. It is found that for our proposed model, a realistic wormhole solutions satisfying all the properties can be obtained.


title: Dynamic Token Normalization Improves Vision Transformers

abstract: Vision Transformer (ViT) and its variants (e.g., Swin, PVT) have achieved great success in various computer vision tasks, owing to their capability to learn long-range contextual information. Layer Normalization (LN) is an essential ingredient in these models. However, we found that the ordinary LN makes tokens at different positions similar in magnitude because it normalizes embeddings within each token. It is difficult for Transformers to capture inductive bias such as the positional context in an image with LN. We tackle this problem by proposing a new normalizer, termed Dynamic Token Normalization (DTN), where normalization is performed both within each token (intra-token) and across different tokens (inter-token). DTN has several merits. Firstly, it is built on a unified formulation and thus can represent various existing normalization methods. Secondly, DTN learns to normalize tokens in both intra-token and inter-token manners, enabling Transformers to capture both the global contextual information and the local positional context. {Thirdly, by simply replacing LN layers, DTN can be readily plugged into various vision transformers, such as ViT, Swin, PVT, LeViT, T2T-ViT, BigBird and Reformer. Extensive experiments show that the transformer equipped with DTN consistently outperforms baseline model with minimal extra parameters and computational overhead. For example, DTN outperforms LN by $0.5\%$ - $1.2\%$ top-1 accuracy on ImageNet, by $1.2$ - $1.4$ box AP in object detection on COCO benchmark, by $2.3\%$ - $3.9\%$ mCE in robustness experiments on ImageNet-C, and by $0.5\%$ - $0.8\%$ accuracy in Long ListOps on Long-Range Arena.} Codes will be made public at \url{https://github.com/wqshao126/DTN}


title: Explainable Deep Learning in Healthcare: A Methodological Survey from an Attribution View

abstract: The increasing availability of large collections of electronic health record (EHR) data and unprecedented technical advances in deep learning (DL) have sparked a surge of research interest in developing DL based clinical decision support systems for diagnosis, prognosis, and treatment. Despite the recognition of the value of deep learning in healthcare, impediments to further adoption in real healthcare settings remain due to the black-box nature of DL. Therefore, there is an emerging need for interpretable DL, which allows end users to evaluate the model decision making to know whether to accept or reject predictions and recommendations before an action is taken. In this review, we focus on the interpretability of the DL models in healthcare. We start by introducing the methods for interpretability in depth and comprehensively as a methodological reference for future researchers or clinical practitioners in this field. Besides the methods' details, we also include a discussion of advantages and disadvantages of these methods and which scenarios each of them is suitable for, so that interested readers can know how to compare and choose among them for use. Moreover, we discuss how these methods, originally developed for solving general-domain problems, have been adapted and applied to healthcare problems and how they can help physicians better understand these data-driven technologies. Overall, we hope this survey can help researchers and practitioners in both artificial intelligence (AI) and clinical fields understand what methods we have for enhancing the interpretability of their DL models and choose the optimal one accordingly.


title: The Complexity of Data-Driven Norm Synthesis and Revision

abstract: Norms have been widely proposed as a way of coordinating and controlling the activities of agents in a multi-agent system (MAS). A norm specifies the behaviour an agent should follow in order to achieve the objective of the MAS. However, designing norms to achieve a particular system objective can be difficult, particularly when there is no direct link between the language in which the system objective is stated and the language in which the norms can be expressed. In this paper, we consider the problem of synthesising a norm from traces of agent behaviour, where each trace is labelled with whether the behaviour satisfies the system objective. We show that the norm synthesis problem is NP-complete.


title: Ensemble and Mixed Learning Techniques for Credit Card Fraud Detection

abstract: Spurious credit card transactions are a significant source of financial losses and urge the development of accurate fraud detection algorithms. In this paper, we use machine learning strategies for such an aim. First, we apply a mixed learning technique that uses K-means preprocessing before trained classification to the problem at hand. Next, we introduce an adapted detector ensemble technique that uses OR-logic algorithm aggregation to enhance the detection rate. Then, both strategies are deployed in tandem in numerical simulations using real-world transactions data. We observed from simulation results that the proposed methods diminished computational cost and enhanced performance concerning state-of-the-art techniques.


title: Enhancement of a state-of-the-art RL-based detection algorithm for Massive MIMO radars

abstract: In the present work, a reinforcement learning (RL) based adaptive algorithm to optimise the transmit beampattern for a colocated massive MIMO radar is presented. Under the massive MIMO regime, a robust Wald type detector, able to guarantee certain detection performances under a wide range of practical disturbance models, has been recently proposed. Furthermore, an RL/cognitive methodology has been exploited to improve the detection performance by learning and interacting with the surrounding unknown environment. Building upon previous findings, we develop here a fully adaptive and data driven scheme for the selection of the hyper-parameters involved in the RL algorithm. Such an adaptive selection makes the Wald RL based detector independent of any ad hoc, and potentially suboptimal, manual tuning of the hyper-parameters. Simulation results show the effectiveness of the proposed scheme in harsh scenarios with strong clutter and low SNR values.


title: A Tensor-BTD-based Modulation for Massive Unsourced Random Access

abstract: In this letter, we propose a novel tensor-based modulation scheme for massive unsourced random access. The proposed modulation can be deemed as a summation of third-order tensors, of which the factors are representatives of subspaces. A constellation design based on high-dimensional Grassmann manifold is presented for information encoding. The uniqueness of tensor decomposition provides theoretical guarantee for active user separation. Simulation results show that our proposed method outperforms the state-of-the-art tensor-based modulation.


title: Multiflavor Mott insulators in quantum materials and ultracold atoms

abstract: Mott insulators with large and active (or multiflavor) local Hilbert spaces widely occur in quantum materials and ultracold atomic systems, and are dubbed "multiflavor Mott insulators". For these multiflavored Mott insulating materials, the spin-only description with the quadratic spin interactions is often insufficient to capture the major physical processes. In the situation with active orbitals, the Kugel-Khomskii superexchange model was then proposed. We briefly review this historical model and discuss the modern developments beyond the original spin-orbital context. These include and are not restricted to the $4d$/$5d$ transition metal compounds with the spin-orbit-entangled $J=3/2$ quadruplets, the rare-earth magnets with two weakly-separated crystal field doublets, breathing magnets and/or the cluster and molecular magnets, et al. We explain the microscopic origin of the emergent Kugel-Khomskii physics in each realization with some emphasis on the $J=3/2$ quadruplets, and refer the candidate multiflavor Mott insulators as "$J=3/2$ Mott insulators". For the ultracold atoms, we review the multiflavor Mott insulator realization with the ultracold alkaline and alkaline-earth atoms on the optical lattices. Despite a large local Hilbert space from the atomic hyperfine spin states, the system could naturally realize a large symmetry group such as the Sp($N$) and SU($N$) symmetries. These ultracold atomic systems lie in the large-$N$ regime of these symmetry groups and are characterized by strong quantum fluctuations. The Kugel-Khomskii physics and the exotic quantum ground states with the "baryon-like" physics can appear in various limits. We conclude with our vision and outlook on this subject.


title: Relations between mid-IR dust emission and UV extinction

abstract: We analyze low resolution Spitzer infrared (IR) 5-14 micron spectra of the diffuse emission toward a carefully selected sample of stars. The sample is composed of sight lines toward stars that have well determined ultraviolet (UV) extinction curves and which are shown to lie beyond effectively all of the extinguishing and emitting dust along their lines of sight. Our sample includes sight lines whose UV curve extinction curves exhibit a wide range of curve morphology and which sample a variety of interstellar environments. As a result, this unique sample enabled us to study the connection between the extinction and emission properties of the same grains, and to examine their response to different physical environments. We quantify the emission features in terms of the PAH model given by Draine & Li (2007) and a set of additional features, not known to be related to PAH emission. We compare the intensities of the different features in the Spitzer mid-IR spectra with the Fitzpatrick & Massa (2007) parameters which describe the shapes of UV to near-IR extinction curves. Our primary result is that there is a strong correlation between the area of the 2175 A UV bump in the extinction curves of the program stars and the strengths of the major PAH emission features in the mid-IR spectra for the same lines of sight.


title: Optical singly-ionized iron emission in radio-quiet and relativistically jetted active galactic nuclei

abstract: The issue of the difference between optical and UV properties of radio-quiet and radio-loud (relativistically "jetted") active galactic nuclei (AGN) is a long standing one, related to the fundamental question of why a minority of powerful AGN possess strong radio emission due to relativistic ejections. This paper examines a particular aspect: the singly-ionized iron emission in the spectral range 4400 -- 5600 A, where the prominent HI H$\beta$ and [OIII] 4959, 5007 lines are also observed. We present a detailed comparison of the relative intensity of Fe II multiplets in the spectral types of the quasar main sequence where most jetted sources are found, and afterwards discuss radio-loud narrow-line Seyfert 1 (NLSy1) nuclei with $\gamma$-ray detection and with prominent Fe II emission. An Fe II template based on I Zw 1 provides an accurate representation of the optical Fe II emission for RQ and, with some caveats, also for RL sources. CLOUDY photoionization simulations indicate that the observed spectral energy distribution can account for the modest Fe II emission observed in composite radio-loud spectra. However, spectral energy differences alone cannot account for the stronger Fe II emission observed in radio-quiet sources, for similar physical parameters. As for RL NLSy1s, they do not seem to behave like other RL sources, likely because of their different physical properties that could be ultimately associated with a higher Eddington ratio.


title: Hereditary classes of ordered sets of width at most two

abstract: This paper is a contribution to the study of hereditary classes of relational structures, these classes being quasi-ordered by embeddability. It deals with the specific case of ordered sets of width two and the corresponding bichains and incomparability graphs. Several open problems about hereditary classes of relational structures which have been considered over the years have positive answer in this case. For example, well-quasi-ordered hereditary classes of finite bipartite permutation graphs, respectively finite 321-avoiding permutations, have been characterized by Korpelainen, Lozin and Mayhill, respectively by Albert, Brignall, Ru\v{s}kuc and Vatter. We provide another proof of the results mentioned above. It is based on the existence of a countable universal poset of width two, obtained by the first author in 1978, his notion of multichainability (1978) (a kind of analog to letter-graphs), and metric properties of incomparability graphs. Using Laver's theorem (1971) on better-quasi-ordering (bqo) of countable chains we prove that a wqo hereditary class of finite or countable bipartite permutation graphs is necessarily bqo. This gives a positive answer to a conjecture of Nash-Williams (1965) in this case. We extend a previous result of Albert et al. by proving that if a hereditary class of finite, respectively countable, bipartite permutation graphs is wqo, respectively bqo, then the corresponding hereditary classes of posets of width at most two and bichains are wqo, respectively bqo. Several notions of labelled wqo are also considered. We prove that they are all equivalent in the case of bipartite permutation graphs, posets of width at most two and the corresponding bichains. We characterize hereditary classes of finite bipartite permutation graphs which remain wqo when labels from a wqo are added.


title: SCMCI: Secured Click and Mortar Commercial Interaction

abstract: The wide spread of click-and-mortar model offers an opportunity to consider a universal commercial interaction method. However, issues like privacy protection resist the widespread acceptance. Traditional SET and SSL protocols are designed using Public Key Infrastructure (PKI) where extensive computations are carried out. Our aim is here to design a protocol to secure any type of commercial interaction for online platform, which also considers mobile platform. Therefore, our focus is on reducing heavy computations and making the overall procedure faster. A Secured Click and Mortar Commercial Interaction (SCMCI) protocol is proposed here to improve the performance of the commercial interaction procedure through replacing time consuming public key encryption and decryption algorithms by hybrid logic including the use of symmetric key. Comparative analysis has been done with traditional SET protocol using cryptool to prove the efficiency of the protocol.


title: Maximal functions and multiplier theorem for Fourier orthogonal series

abstract: Under the assumption that orthogonal polynomials of several variables admit an addition formula, we can define a convolution structure and use it to study the Fourier orthogonal expansions on a homogeneous space. We define a maximal function via the convolution structure induced by the addition formula and use it to establish a Marcinkiewicz multiplier theorem. For the homogeneous space defined by a family of weight functions on conic domains, we show that the maximal function is bounded by the Hardy-Littlewood maximal function so that the multiplier theorem holds on conic domains.


title: Optimal criteria and their asymptotic form for data selection in data-driven reduced-order modeling with Gaussian process regression

abstract: We derive criteria for the selection of datapoints used for data-driven reduced-order modeling and other areas of supervised learning based on Gaussian process regression (GPR). While this is a well-studied area in the fields of active learning and optimal experimental design, most criteria in the literature are empirical. Here we introduce an optimality condition for the selection of a new input defined as the minimizer of the distance between the approximated output probability density function (pdf) of the reduced-order model and the exact one. Given that the exact pdf is unknown, we define the selection criterion as the supremum over the unit sphere of the native Hilbert space for the GPR. The resulting selection criterion, however, has a form that is difficult to compute. We combine results from GPR theory and asymptotic analysis to derive a computable form of the defined optimality criterion that is valid in the limit of small predictive variance. The derived asymptotic form of the selection criterion leads to convergence of the GPR model that guarantees a balanced distribution of data resources between probable and large-deviation outputs, resulting in an effective way for sampling towards data-driven reduced-order modeling.


title: Modeling Live Video Streaming: Real-Time Classification, QoE Inference, and Field Evaluation

abstract: Social media, professional sports, and video games are driving rapid growth in live video streaming, on platforms such as Twitch and YouTube Live. Live streaming experience is very susceptible to short-time-scale network congestion since client playback buffers are often no more than a few seconds. Unfortunately, identifying such streams and measuring their QoE for network management is challenging, since content providers largely use the same delivery infrastructure for live and video-on-demand (VoD) streaming, and packet inspection techniques (including SNI/DNS query monitoring) cannot always distinguish between the two. In this paper, we design, build, and deploy ReCLive: a machine learning method for live video detection and QoE measurement based on network-level behavioral characteristics. Our contributions are four-fold: (1) We analyze about 23,000 video streams from Twitch and YouTube, and identify key features in their traffic profile that differentiate live and on-demand streaming. We release our traffic traces as open data to the public; (2) We develop an LSTM-based binary classifier model that distinguishes live from on-demand streams in real-time with over 95% accuracy across providers; (3) We develop a method that estimates QoE metrics of live streaming flows in terms of resolution and buffer stall events with overall accuracies of 93% and 90%, respectively; and (4) Finally, we prototype our solution, train it in the lab, and deploy it in a live ISP network serving more than 7,000 subscribers. Our method provides ISPs with fine-grained visibility into live video streams, enabling them to measure and improve user experience.


title: A note on one-dimensional Poincar\'e inequalities by Stein-type integration

abstract: We study the weighted Poincar\'e constant $C(p,w)$ of a probability density $p$ with weight function $w$ using integration methods inspired by Stein's method. We obtain a new version of the Chen-Wang variational formula which, as a byproduct, yields simple upper and lower bounds on $C(p,w)$ in terms of the so-called Stein kernel of $p$. We also iterate these variational formulas so as to build sequences of nested intervals containing the Poincar\'e constant, sequences of functions converging to said constant, as well as sequences of functions converging to the solutions of the corresponding spectral problem. Our results rely on the properties of a pseudo inverse operator of the classical Sturm-Liouville operator. We illustrate our methods on a variety of examples: Gaussian functionals, weighted Gaussian, beta, gamma, Subbotin, and Weibull distributions.


title: Using Static and Dynamic Malware features to perform Malware Ascription

abstract: Malware ascription is a relatively unexplored area, and it is rather difficult to attribute malware and detect authorship. In this paper, we employ various Static and Dynamic features of malicious executables to classify malware based on their family. We leverage Cuckoo Sandbox and machine learning to make progress in this research. Post analysis, classification is performed using various deep learning and machine learning algorithms. Using the features gathered from VirusTotal (static) and Cuckoo (dynamic) reports, we ran the vectorized data against Multinomial Naive Bayes, Support Vector Machine, and Bagging using Decision Trees as the base estimator. For each classifier, we tuned the hyper-parameters using exhaustive search methods. Our reports can be extremely useful in malware ascription.


title: Invariance of success probability in Grover's quantum search under local noise with memory

abstract: We analyze the robustness of Grover's quantum search algorithm performed by a quantum register under a possibly time-correlated noise acting locally on the qubits. We model the noise as originating from an arbitrary but fixed unitary evolution, $U$, of some noisy qubits. The noise can occur with some probability in the interval between any pair of consecutive noiseless Grover evolutions. Although each run of the algorithm is a unitary process, the noise model leads to decoherence when all possible runs are considered. We derive a set of unitary $U$'s, called the 'good noises,' for which the success probability of the algorithm at any given time remains unchanged with varying the non-trivial total number ($m$) of noisy qubits in the register. The result holds irrespective of the presence of any time-correlations in the noise. We show that only when $U$ is either of the Pauli matrices $\sigma_x$ and $\sigma_z$ (which give rise to $m$-qubit bit-flip and phase-damping channels respectively in the time-correlation-less case), the algorithm's success probability stays unchanged when increasing or decreasing $m$. In contrast, when $U$ is the Pauli matrix $\sigma_y$ (giving rise to $m$-qubit bit-phase flip channel in the time-correlation-less case), the success probability at all times stays unaltered as long as the parity (even or odd) of the total number $m$ remains the same. This asymmetry between the Pauli operators stems from the inherent symmetry-breaking existing within the Grover circuit. We further show that the positions of the noisy sites are irrelevant in case of any of the Pauli noises. The results are illustrated in the cases of time-correlated and time-correlation-less noise. We find that the former case leads to a better performance of the noisy algorithm. We also discuss physical scenarios where our chosen noise model is of relevance.


title: Another look at synthetic-type control charts

abstract: During the last two decades, in statistical process monitoring plentiful new methods appeared with synthetic-type control charts being a prominent constituent. These charts became popular designs for several reasons. The two most important ones are simplicity and proclaimed excellent change point detection performance. Whereas there is no doubt about the former, we deal here with the latter. We will demonstrate that their performance is questionable. Expanding on some previous skeptical articles we want to critically reflect upon recently developed variants of synthetic-type charts in order to emphasize that there is little reason to apply and to push this special class of control charts.


title: Structural instabilities of infinite-layer nickelates from first-principles simulations

abstract: Rare-earth nickelates RNiO$_2$ adopting an infinite-layer phase show superconductivity once La, Pr or Nd are substituted by a divalent cation. Either in the pristine or doped form, these materials are reported to adopt a high symmetry, perfectly symmetric, P4/mmm tetragonal cell. Nevertheless, bulk compounds are scarce, hindering a full understanding of the role of chemical pressure or strain on lattice distortions that in turn could alter magnetic and electronic properties of the 2D nickelates. Here, by performing a full analysis of the prototypical YNiO$_2$ compound with first-principles simulations, we identify that these materials are prone to exhibit O$_4$ group rotations whose type and amplitude are governed by the usual R-to-Ni cation size mismatch. We further show that these rotations can be easily tuned by external stimuli modifying lattice parameters such as pressure or strain. Finally, we reveal that H intercalation is favored for any infinite-layer nickelate member and pushes the propensity of the compounds to exhibit octahedra rotations.


title: Laboratory rotational spectroscopy of acrylamide and search for acrylamide and propionamide toward Sgr B2(N) with ALMA

abstract: Numerous complex organic molecules have been detected in the universe among which amides are considered as models for species containing the peptide linkage. Acrylamide bears in its backbone not only the peptide bond, but also the vinyl functional group which is a common motif in many interstellar compounds. This makes acrylamide an interesting target for a search in space. In addition, a tentative detection of the related molecule propionamide has been recently claimed toward Sgr B2(N). We report accurate laboratory measurements and analyses of thousands rotational transitions for the syn and skew forms of acrylamide between 75 and 480 GHz. Tunneling through a low energy barrier between two symmetrically equivalent configurations has been revealed for the higher-energy skew species. We searched for emission of acrylamide in the imaging spectral line survey ReMoCA performed with ALMA toward Sgr B2(N). We also searched for propionamide in the same source. Neither acrylamide nor propionamide were detected toward the two main hot molecular cores of Sgr B2(N). We did not detect propionamide either toward a position located to the east of the main hot core, thereby not confirming the recent claim of its interstellar detection toward this position. We find that acrylamide and propionamide are at least 26 and 14 times, respectively, less abundant than acetamide toward the main hot core Sgr B2(N1S), and at least 6 and 3 times, respectively, less abundant than acetamide toward the secondary hot core Sgr B2(N2). A comparison with results of astrochemical kinetics model for related species suggests that acrylamide may be a few hundred times less abundant than acetamide, corresponding to a value at least an order of magnitude lower than the observational upper limits. Propionamide may be as little as only a factor of two less abundant than the upper limit derived toward Sgr B2(N1S).


title: Boosting Mobile CNN Inference through Semantic Memory

abstract: Human brains are known to be capable of speeding up visual recognition of repeatedly presented objects through faster memory encoding and accessing procedures on activated neurons. For the first time, we borrow and distill such a capability into a semantic memory design, namely SMTM, to improve on-device CNN inference. SMTM employs a hierarchical memory architecture to leverage the long-tail distribution of objects of interest, and further incorporates several novel techniques to put it into effects: (1) it encodes high-dimensional feature maps into low-dimensional, semantic vectors for low-cost yet accurate cache and lookup; (2) it uses a novel metric in determining the exit timing considering different layers' inherent characteristics; (3) it adaptively adjusts the cache size and semantic vectors to fit the scene dynamics. SMTM is prototyped on commodity CNN engine and runs on both mobile CPU and GPU. Extensive experiments on large-scale datasets and models show that SMTM can significantly speed up the model inference over standard approach (up to 2X) and prior cache designs (up to 1.5X), with acceptable accuracy loss.


title: Normally torsion-free edge ideals of weighted oriented graphs

abstract: Let $I=I(D)$ be the edge ideal of a weighted oriented graph $D$, let $G$ be the underlying graph of $D$, and let $I^{(n)}$ be the $n$-th symbolic power of $I$ defined using the minimal primes of $I$. We prove that $I^2=I^{(2)}$ if and only if (i) every vertex of $D$ with weight greater than $1$ is a sink and (ii) $G$ has no triangles. As a consequence, using a result of Mandal and Pradhan, and the classification of normally torsion-free edge ideals of graphs, it follows that $I^n=I^{(n)}$ for all $n\geq 1$ if and only if (a) every vertex of $D$ with weight greater than $1$ is a sink and (b) $G$ is bipartite. If $I$ has no embedded primes, conditions (a) and (b) classify when $I$ is normally torsion-free. Using polyhedral geometry and integral closure, we give necessary conditions for the equality of ordinary and symbolic powers of monomial ideals with a minimal irreducible decomposition. Then, we classify when the Alexander dual of the edge ideal of a weighted oriented graph is normally torsion-free.


title: Diverse, Global and Amortised Counterfactual Explanations for Uncertainty Estimates

abstract: To interpret uncertainty estimates from differentiable probabilistic models, recent work has proposed generating a single Counterfactual Latent Uncertainty Explanation (CLUE) for a given data point where the model is uncertain, identifying a single, on-manifold change to the input such that the model becomes more certain in its prediction. We broaden the exploration to examine $\delta$-CLUE, the set of potential CLUEs within a $\delta$ ball of the original input in latent space. We study the diversity of such sets and find that many CLUEs are redundant; as such, we propose DIVerse CLUE ($\nabla$-CLUE), a set of CLUEs which each propose a distinct explanation as to how one can decrease the uncertainty associated with an input. We then further propose GLobal AMortised CLUE (GLAM-CLUE), a distinct and novel method which learns amortised mappings on specific groups of uncertain inputs, taking them and efficiently transforming them in a single function call into inputs for which a model will be certain. Our experiments show that $\delta$-CLUE, $\nabla$-CLUE, and GLAM-CLUE all address shortcomings of CLUE and provide beneficial explanations of uncertainty estimates to practitioners.


title: Multi-level computation of the hadronic vacuum polarization contribution to $(g_\mu-2)$

abstract: The first results from the Fermilab E989 experiment have confirmed the long-standing tension between the experimental determination of the muon anomalous magnetic moment $a_\mu=(g_\mu-2)/2$ and its SM determination using the dispersive approach. In order to match the expected final precision from E989, the current uncertainty on ab initio determinations using lattice QCD must be decreased by a factor 5-15, a goal which is hampered by the signal-to-noise ratio problem of the electromagnetic current correlator. Multi-level Monte Carlo integration with fermions is a method which reduces the variance of correlators exponentially in the distance of the fields. Here we demonstrate that the variance reduction in a realistic two-level simulation with a pion mass of 270 MeV, linear size of 3 fm and lattice spacing around 0.065 fm is sufficient to compute the tail of the current correlator with the statistical accuracy required for the hadronic vacuum polarization contribution to $a_\mu$. An efficient estimator is also employed for computing the disconnected contribution.


title: Correction of atmospheric stray-light in restored slit-spectra

abstract: A long-standing issue in solar ground-based observations has been the contamination of data due to stray light, which is particularly relevant in inversions of spectropolarimetric data. We aim to build on a statistical method of correcting stray-light contamination due to residual high-order aberrations and apply it to ground-based slit spectra. The observations were obtained at the Swedish Solar Telescope, and restored using the multi-frame blind deconvolution restoration procedure. Using the statistical properties of seeing, we created artificially degraded synthetic images generated from magneto-hydrodynamic simulations. We then compared the synthetic data with the observations to derive estimates of the amount of the residual stray light in the observations. In the final step, the slit spectra were deconvolved with a stray-light point spread function to remove the residual stray light from the observations. The RMS granulation contrasts of the deconvolved spectra were found to increase to approximately 12.5%, from 9%. Spectral lines, on average, were found to become deeper in the granules and shallower in the inter-granular lanes, indicating systematic changes to gradients in temperature. The deconvolution was also found to increase the redshifts and blueshifts of spectral lines, suggesting that the velocities of granulation in the solar photosphere are higher than had previously been observed.


title: Measuring the alpha-abundance of subsolar-metallicity stars in the Milky Way's central half-parsec: testing globular cluster and dwarf galaxy infall scenarios

abstract: While the Milky Way Nuclear star cluster has been studied extensively, how it formed is uncertain. Studies have shown it contains a solar and supersolar metallicity population that may have formed in-situ, along with a subsolar metallicity population that may have formed via mergers of globular clusters and dwarf galaxies. Stellar abundance measurements are critical to differentiate between formation scenarios. We present new measurements of [$M/H$] and $\alpha$-element abundances [$\alpha/Fe$] of two subsolar-metallicity stars in the Galactic Center. These observations were taken with the adaptive-optics assisted high-resolution (R=24,000) spectrograph NIRSPEC in the K-band (1.8 - 2.6 micron). These are the first $\alpha$-element abundance measurements of sub-solar metallicity stars in the Milky Way nuclear star cluster. We measure [$M/H$]=$-0.59\pm 0.11$, [$\alpha/Fe$]=$0.05\pm 0.15$ and [$M/H$]= $-0.81\pm 0.12$, [$\alpha/Fe$]= $0.15\pm 0.16$ for the two stars at the Galactic center; the uncertainties are dominated by systematic uncertainties in the spectral templates. The stars have an [$\alpha/Fe$] in-between the [$\alpha/Fe$] of globular clusters and dwarf galaxies at similar [$M/H$] values. Their abundances are very different than the bulk of the stars in the nuclear star cluster. These results indicate that the sub-solar metallicity population in the Milky Way nuclear star cluster likely originated from infalling dwarf galaxies or globular clusters and are unlikely to have formed in-situ.


title: VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning

abstract: Variable names are critical for conveying intended program behavior. Machine learning-based program analysis methods use variable name representations for a wide range of tasks, such as suggesting new variable names and bug detection. Ideally, such methods could capture semantic relationships between names beyond syntactic similarity, e.g., the fact that the names average and mean are similar. Unfortunately, previous work has found that even the best of previous representation approaches primarily capture relatedness (whether two variables are linked at all), rather than similarity (whether they actually have the same meaning). We propose VarCLR, a new approach for learning semantic representations of variable names that effectively captures variable similarity in this stricter sense. We observe that this problem is an excellent fit for contrastive learning, which aims to minimize the distance between explicitly similar inputs, while maximizing the distance between dissimilar inputs. This requires labeled training data, and thus we construct a novel, weakly-supervised variable renaming dataset mined from GitHub edits. We show that VarCLR enables the effective application of sophisticated, general-purpose language models like BERT, to variable name representation and thus also to related downstream tasks like variable name similarity search or spelling correction. VarCLR produces models that significantly outperform the state-of-the-art on IdBench, an existing benchmark that explicitly captures variable similarity (as distinct from relatedness). Finally, we contribute a release of all data, code, and pre-trained models, aiming to provide a drop-in replacement for variable representations used in either existing or future program analyses that rely on variable names.


title: Quantum Yang-Mills theory in de Sitter ambient space formalism

abstract: We present the quantum Yang-Mills theory in the four-dimensional de Sitter ambient space formalism. In accordance with the SU$(3)$ gauge symmetry the interaction Lagrangian is formulated in terms of interacting color charged fields in curved space-time. The gauge-invariant field equations are obtained in an independent coordinate description, and their corresponding color conserved currents are computed. Faddeev-Popov ghost fields are shown to be equivalent to their Minkowski counterparts. We obtain that the free ghost fields are massless minimally coupled scalar fields. The problems of the vacuum state, namely the breaking of de Sitter invariance, and the appearance of infrared divergence in its quantization procedure, are discussed. The existence of an axiomatic quantum Yang-Mills theory within the framework of the Krein space quantization is examined. The infrared divergence regularization of the interaction between the gauge vector fields and the ghost fields is studied in the one-loop approximation. Two different regularization methods are discussed: cut-off regularization and Krein space regularization. A mass term for the gauge vector fields is obtained, which may explain the mass gap and the color confinement problems at the quantum level in de Sitter background. The large curvature limit at the early universe or inflationary epoch is considered.


title: Optimal control of uniformly heated granular fluids in linear response

abstract: We present a detailed analytical investigation of the optimal control of uniformly heated granular gases in the linear regime. The intensity of the stochastic driving is therefore assumed to be bounded between two values that are close, which limits the possible values of the granular temperature to a correspondingly small interval. Specifically, we are interested in minimising the connection time between the non-equilibrium steady states (NESSs) for two different values of the granular temperature, by controlling the time dependence of the driving intensity. The closeness of the initial and target NESSs make it possible to linearise the evolution equations and rigorously -- from a mathematical point of view -- prove that the optimal controls are of bang-bang type, with only one switching in the first Sonine approximation. We also look into the dependence of the optimal connection time on the bounds of the driving intensity. Moreover, the limits of validity of the linear regime are investigated.


title: Reply to the comment on ''Quantum sensor networks as exotic field telescopes for multi-messenger astronomy''

abstract: The comment by Stadnik [arXiv:2111.14351v1] claims that "back-action", i.e. interaction of exotic low-mass fields (ELF) with ordinary matter, "prevents the multi-messenger astronomy on human timescales." We strongly disagree with this blanket claim. This is {\em not a general conclusion}, as Stadnik's statement entirely relies on a specific sign of the ELF-matter interaction. As we demonstrate, there are coupling constant ranges when, in fact, the screening effects are irrelevant. In addition, the delay between the arrival of the ELF and gravitational wave bursts is reduced by the ELF-ordinary matter interaction, improving the discovery reach of our proposed novel, exotic physics, modality in multi-messenger astronomy.


title: The self-gravitating Fermi gas in Newtonian gravity and general relativity

abstract: We review the history of the self-gravitating Fermi gas in Newtonian gravity and general relativity. We mention applications to white dwarfs, neutron stars and dark matter halos. We describe the nature of instabilities and phase transitions in the self-gravitating Fermi gas as energy (microcanonical ensemble) or temperature (canonical ensemble) is reduced. When $N<N_{\rm OV}$, where $N_{\rm OV}$ is the Oppenheimer-Volkoff critical particle number, the self-gravitating Fermi gas experiences a gravothermal catastrophe at $E_c$ stopped by quantum mechanics (Pauli's exclusion principle). The equilibrium state has a core-halo structure made of a quantum core (degenerate fermion ball) surrounded by a classical isothermal halo. When $N>N_{\rm OV}$, a new turning point appears at an energy $E"_c$ below which the system experiences a gravitational collapse towards a black hole [P.H. Chavanis, G. Alberti, Phys. Lett. B 801, 135155 (2020)]. When $N_{\rm OV}<N<N'_*$, the self-gravitating Fermi gas experiences a gravothermal catastrophe at $E_c$ leading to a fermion ball, then a gravitational collapse at $E''_c$ leading to a black hole. When $N>N'_*$, the condensed branch disappears and the instability at $E_c$ directly leads to a black hole. We discuss implications of these results for dark matter halos made of massive neutrinos.


title: Quantum Machine Learning for Radio Astronomy

abstract: In this work we introduce a novel approach to the pulsar classification problem in time-domain radio astronomy using a Born machine, often referred to as a quantum neural network. Using a single-qubit architecture, we show that the pulsar classification problem maps well to the Bloch sphere and that comparable accuracies to more classical machine learning approaches are achievable. We introduce a novel single-qubit encoding for the pulsar data used in this work and show that this performs comparably to a multi-qubit QAOA encoding.


title: Intrinisic Gradient Compression for Federated Learning

abstract: Federated learning is a rapidly-growing area of research which enables a large number of clients to jointly train a machine learning model on privately-held data. One of the largest barriers to wider adoption of federated learning is the communication cost of sending model updates from and to the clients, which is accentuated by the fact that many of these devices are bandwidth-constrained. In this paper, we aim to address this issue by optimizing networks within a subspace of their full parameter space, an idea known as intrinsic dimension in the machine learning theory community. We use a correspondence between the notion of intrinsic dimension and gradient compressibility to derive a family of low-bandwidth optimization algorithms, which we call intrinsic gradient compression algorithms. Specifically, we present three algorithms in this family with different levels of upload and download bandwidth for use in various federated settings, along with theoretical guarantees on their performance. Finally, in large-scale federated learning experiments with models containing up to 100M parameters, we show that our algorithms perform extremely well compared to current state-of-the-art gradient compression methods.


title: Using Convolutional Neural Networks for fault analysis and alleviation in accelerator systems

abstract: Today, Neural Networks are the basis of breakthroughs in virtually every technical domain. Their application to accelerators has recently resulted in better performance and efficiency in these systems. At the same time, the increasing hardware failures due to the latest (shrinked) semiconductor technology needs to be addressed. Since accelerator systems are often used to back time-critical applications such as self-driving cars or medical diagnosis applications, these hardware failures must be eliminated. Our research evaluates these failures from a systemic point of view. Based on our results, we find critical results for the system reliability enhancement and we further put forth an efficient method to avoid these failures with minimal hardware overhead.


title: Imprinting chirality on atoms using synthetic chiral light fields

abstract: Atoms are usually thought of as achiral objects. However, one can construct superpositions of atomic states that are chiral [1]. Here we show how to excite such superpositions with tailored light fields both in the weak-field and strong-field regimes, using realistic laser parameters. First, we use time-dependent Schrodinger equation (TDSE) simulations to demonstrate the creation of a time-dependent bound chiral wavepacket in sodium atoms. Second, we show how the time-dependent handedness of this wavepacket can be probed by photoelectron circular dichroism, in spite of the central symmetry of the core potential. Third, we use TDSE simulations to show how chirality can be directly imprinted on a photoelectron wavepacket created by strong-field ionization and introduce an unambigous chiral measure that allows us to characterize its handedness.


title: On a new environment-friendly gas mixture for Resistive Plate Chambers

abstract: This paper studies the performance of RPCs working with a new family of environment-friendly operating gases, mainly based on Carbon Dioxide and Hydro-Fluoro-Olefins. The tests are carried out on a 2 mm gap RPC and concern the measurement of detection efficiency, avalanche-to-streamer transition probability, prompt and ionic charge delivered. The timing properties of the new gas are also measured.


title: An opaque selling scheme to reduce shortage and wastage in perishable inventory systems

abstract: Effective management of perishable inventory systems is often strewn with challenges, especially when a strong trade-off relationship exists between shortage and wastage of perishables: A smaller inventory increases the chance to lose sales (leading to higher expected shortage cost), while a larger inventory increases the chance to waste perishables (leading to higher expected wastage cost). The root cause of this strong trade-off relationship is high product demand variability. To mitigate the issue and reduce the cost of operating perishable inventory systems, some grocery stores utilize an opaque selling scheme: selling an anonymous product whose brand or exact specification is shielded from customers at the time of sale. The use of opaque products has now become a popular means to reduce shortage/wastage at grocery stores. However, there has been little discussion of the effectiveness of opaque schemes applied to perishable inventory systems. In this paper, we propose an opaque scheme based on the balancing policy on demand, which tries to average out orders for products. We confirm both analytically and numerically that this opaque scheme effectively reduces product demand variability, thereby reducing both shortage and wastage for perishable inventory systems under a base-stock policy. We also present an analytical formula that reveals insights into the opaque scheme: The ratio between the opaque proportion and the coefficient of variation of product demands plays a key role to determine the effectiveness of our opaque scheme. Furthermore, we provide a rule of thumb to find the threshold opaque scheme parameters needed to achieve the maximum total cost savings for perishable inventory systems. We hope that many retailers selling perishables (e.g., fresh produce and baked goods) find the opaque scheme useful, implement it, and contribute to the reduction of the food wastage.


title: Compartmental and cellular automaton $SEIRS$ epidemiology models for the COVID-19 pandemic with the effects of temporal immunity and vaccination

abstract: We consider the $SEIRS$ epidemiology model with such features of the COVID-19 outbreak as: abundance of unidentified infected individuals, limited time of immunity and a possibility of vaccination. Within a compartmental realization of this model, we found the disease-free and the endemic stationary states. They exist in their respective restricted regions of the le via linear stability analysis. The expression for the basic reproductive number is obtained as well. The positions and heights of a first peak for the fractions of infected individuals are obtained numerically and are fitted to simple algebraic forms, that depend on model rates. Computer simulations of a lattice-based realization for this model was performed by means of the cellular automaton algorithm. These allowed to study the effect of the quarantine measures explicitly, via changing the neighbourhood size. The attempt is made to match both quarantine and vaccination measures aimed on balanced solution for effective suppression of the pandemic.


title: Autonomous Heavy-Duty Mobile Machinery: A Multidisciplinary Collaborative Challenge

abstract: Heavy-duty mobile machines (HDMMs) are a wide range of machinery used in diverse and critical application areas which are currently facing several issues like skilled labor shortage, poor safety records, and harsh work environments. Consequently, efforts are underway to increase automation in HDMMs for increased productivity and safety, eventually transitioning to operator-less autonomous HDMMs to address skilled labor shortages. However, HDMM are complex machines requiring continuous physical and cognitive inputs from human-operators. Thus, developing autonomous HDMM is a huge challenge, with current research and developments being performed in several independent research domains. Through this study, we use the bounded rationality concept to propose multidisciplinary collaborations for new autonomous HDMMs and apply the transaction cost economics framework to suggest future implications in the HDMM industry. Furthermore, we introduce a conceptual understanding of collaborations in the autonomous HDMM as a unified approach, while highlighting the practical implications and challenges of the complex nature of such multidisciplinary collaborations. The collaborative challenges and potentials are mapped out between the following topics: mechanical systems, AI methods, software systems, sensors, connectivity, simulations and process optimization, business cases, organization theories, and finally, regulatory frameworks.


title: ES-dRNN: A Hybrid Exponential Smoothing and Dilated Recurrent Neural Network Model for Short-Term Load Forecasting

abstract: Short-term load forecasting (STLF) is challenging due to complex time series (TS) which express three seasonal patterns and a nonlinear trend. This paper proposes a novel hybrid hierarchical deep learning model that deals with multiple seasonality and produces both point forecasts and predictive intervals (PIs). It combines exponential smoothing (ES) and a recurrent neural network (RNN). ES extracts dynamically the main components of each individual TS and enables on-the-fly deseasonalization, which is particularly useful when operating on a relatively small data set. A multi-layer RNN is equipped with a new type of dilated recurrent cell designed to efficiently model both short and long-term dependencies in TS. To improve the internal TS representation and thus the model's performance, RNN learns simultaneously both the ES parameters and the main mapping function transforming inputs into forecasts. We compare our approach against several baseline methods, including classical statistical methods and machine learning (ML) approaches, on STLF problems for 35 European countries. The empirical study clearly shows that the proposed model has high expressive power to solve nonlinear stochastic forecasting problems with TS including multiple seasonality and significant random fluctuations. In fact, it outperforms both statistical and state-of-the-art ML models in terms of accuracy.


title: Frustration-critical signed graphs

abstract: A signed graph $(G,\Sigma)$ is a graph $G$ together with a set $\Sigma \subseteq E(G)$ of negative edges. A circuit is positive if the product of the signs of its edges is positive. A signed graph $(G,\Sigma)$ is balanced if all its circuits are positive. The frustration index $l(G,\Sigma)$ is the minimum cardinality of a set $E \subseteq E(G)$ such that $(G-E,\Sigma-E)$ is balanced, and $(G,\Sigma)$ is $k$-critical if $l(G,\Sigma) = k$ and $l(G-e, \Sigma - e)<k$, for every $e \in E(G)$. We study decomposition and subdivision of critical signed graphs and completely determine the set of $t$-critical signed graphs, for $t \leq 2$. Critical signed graphs are characterized. We then focus on non-decomposable critical signed graphs. In particular, we characterize the set $S^*$ of non-decomposable $k$-critical signed graphs not containing a decomposable $t$-critical signed subgraph for every $t \leq k$. We prove that $S^*$ consists of cyclically 4-edge-connected projective-planar cubic graphs. Furthermore, we construct $k$-critical signed graphs of $S^*$ for every $k \geq 1$.


title: Modelling Quantum Channels Carrying Classical Information

abstract: We use the concept of coupled quantum harmonic oscillators to model the propagation environment in which a quantum link carrying either classical or quantum information operates. Using the analogy between the paraxial optical wave equation and the stationary Schrodinger equation and applying the Caldirola-Kanai Hamiltonian for solving the time-dependent Schrodinger equation; we calculate the propagation field strength and the corresponding average received signal energy.


title: Learning Query Expansion over the Nearest Neighbor Graph

abstract: Query Expansion (QE) is a well established method for improving retrieval metrics in image search applications. When using QE, the search is conducted on a new query vector, constructed using an aggregation function over the query and images from the database. Recent works gave rise to QE techniques in which the aggregation function is learned, whereas previous techniques were based on hand-crafted aggregation functions, e.g., taking the mean of the query's nearest neighbors. However, most QE methods have focused on aggregation functions that work directly over the query and its immediate nearest neighbors. In this work, a hierarchical model, Graph Query Expansion (GQE), is presented, which is learned in a supervised manner and performs aggregation over an extended neighborhood of the query, thus increasing the information used from the database when computing the query expansion, and using the structure of the nearest neighbors graph. The technique achieves state-of-the-art results over known benchmarks.


title: Magnetic Energy Conversion in MHD: Curvature Relaxation and Perpendicular Expansion of Magnetic Fields

abstract: The mechanisms and pathways of magnetic energy conversion are an important subject for many laboratory, space and astrophysical systems. Here, we present a perspective on magnetic energy conversion in MHD through magnetic field curvature relaxation (CR) and perpendicular expansion (PE) due to magnetic pressure gradients, and quantify their relative importance in two representative cases, namely 3D magnetic reconnection and 3D kink-driven instability in an astrophysical jet. We find that the CR and PE processes have different temporal and spatial evolution in these systems. The relative importance of the two processes tends to reverse as the system enters the nonlinear stage from the instability growth stage. Overall, the two processes make comparable contributions to the magnetic energy conversion with the PE process somewhat stronger than the CR process. We further explore how these energy conversion terms can be related to particle energization in these systems.


title: On the Convergence of Shallow Neural Network Training with Randomly Masked Neurons

abstract: With the motive of training all the parameters of a neural network, we study why and when one can achieve this by iteratively creating, training, and combining randomly selected subnetworks. Such scenarios have either implicitly or explicitly emerged in the recent literature: see e.g., the Dropout family of regularization techniques, or some distributed ML training protocols that reduce communication/computation complexities, such as the Independent Subnet Training protocol. While these methods are studied empirically and utilized in practice, they often enjoy partial or no theoretical support, especially when applied on neural network-based objectives. In this manuscript, our focus is on overparameterized single hidden layer neural networks with ReLU activations in the lazy training regime. By carefully analyzing $i)$ the subnetworks' neural tangent kernel, $ii)$ the surrogate functions' gradient, and $iii)$ how we sample and combine the surrogate functions, we prove linear convergence rate of the training error -- up to a neighborhood around the optimal point -- for an overparameterized single-hidden layer perceptron with a regression loss. Our analysis reveals a dependency of the size of the neighborhood around the optimal point on the number of surrogate models and the number of local training steps for each selected subnetwork. Moreover, the considered framework generalizes and provides new insights on dropout training, multi-sample dropout training, as well as Independent Subnet Training; for each case, we provide convergence results as corollaries of our main theorem.


title: The Riemann-Liouville fractional integral in Bochner-Lebesgue spaces II

abstract: In this work we study the Riemann-Liouville fractional integral of order $\alpha\in(0,1/p)$ as an operator from $L^p(I;X)$ into $L^{q}(I;X)$, with $1\leq q\leq p/(1-p\alpha)$, whether $I=[t_0,t_1]$ or $I=[t_0,\infty)$ and $X$ is a Banach space. Our main result give necessary and sufficient conditions to ensure the compactness of the Riemann-Liouville fractional integral from $L^p(t_0,t_1;X)$ into $L^{q}(t_0,t_1;X)$, when $1\leq q< p/(1-p\alpha)$.


title: Momentum scalar triple product as a measure of chirality in electron ionization dynamics of strongly-driven atoms

abstract: We formulate a transparent measure that quantifies chirality in single electron ionization triggered in atoms, which are achiral systems. We do so in the context of Ar driven by a new type of optical fields that consists of two non-collinear laser beams giving rise to chirality that varies in space across the focus of the beams. Our computations account for realistic experimental conditions. To define this measure of chirality, we first find the sign of the electron final momentum scalar triple product $\mathrm{{\bf{p}}_{k}\cdot ({\bf{p}}_{i}\times {\bf p}_{j})}$ and multiply it with the probability for an electron to ionize with certain values for both $\mathrm{p_{k}}$ and $\mathrm{p_{i}p_{j}}$. Then, we integrate this product over all values of $\mathrm{p_{k}}$ and $\mathrm{p_{i}p_{j}}$. We show this to be a robust measure of chirality in electron ionization triggered by globally chiral electric fields.


title: Stochastic Local Winner-Takes-All Networks Enable Profound Adversarial Robustness

abstract: This work explores the potency of stochastic competition-based activations, namely Stochastic Local Winner-Takes-All (LWTA), against powerful (gradient-based) white-box and black-box adversarial attacks; we especially focus on Adversarial Training settings. In our work, we replace the conventional ReLU-based nonlinearities with blocks comprising locally and stochastically competing linear units. The output of each network layer now yields a sparse output, depending on the outcome of winner sampling in each block. We rely on the Variational Bayesian framework for training and inference; we incorporate conventional PGD-based adversarial training arguments to increase the overall adversarial robustness. As we experimentally show, the arising networks yield state-of-the-art robustness against powerful adversarial attacks while retaining very high classification rate in the benign case.


title: Globalization of Scientific Communication: Evidence from authors in academic journals by country of origin

abstract: This study measures the tendency to publish in international scientific journals. For each of nearly 35 thousands Scopus-indexed journals, we derive seven globalization indicators based on the composition of authors by country of origin and other characteristics. These are subsequently scaled up to the level of 174 countries and 27 disciplines between 2005 and 2017. The results indicate that advanced countries maintain high globalization of scientific communication that is not varying across disciplines. Social sciences and health sciences are less globalized than physical and life sciences. Countries of the former Soviet bloc score far lower on the globalization measures, especially in social sciences or health sciences. Russia remains among the least globalized during the whole period, with no upward trend. Contrary, China has profoundly globalized its science system, gradually moving from the lowest globalization figures to the world average. The paper concludes with reflections on measurement issues and policy implications.


title: Jordan property for groups of bimeromorphic automorphisms of compact K\"ahler threefolds

abstract: Let $X$ be a non-uniruled compact K\"ahler space of dimension 3. We show that the group of bimeromorphic automorphisms of $X$ is Jordan. More generally, the same result holds for any compact K\"ahler space admitting a quasi-minimal model.


title: Gradual-impulsive control for continuous-time Markov decision processes with total undiscounted costs and constraints: linear programming approach via a reduction method

abstract: We consider the constrained optimal control problem for the gradual-impulsive CTMDP model with the performance criteria being the expected total undiscounted costs (from the running cost and the cost from each time an impulse being applied). The discounted model is covered as a special case. We justify fully a reduction method, and close an open issue in the previous literature. The reduction method induces an equivalent but simpler standard CTMDP model with gradual control only, based on which, we establish effectively, under rather natural conditions, a linear programming approach for solving the concerned constrained optimal control problem.


title: Learning Swarm Interaction Dynamics from Density Evolution

abstract: We consider the problem of understanding the coordinated movements of biological or artificial swarms. In this regard, we propose a learning scheme to estimate the coordination laws of the interacting agents from observations of the swarm's density over time. We describe the dynamics of the swarm based on pairwise interactions according to a Cucker-Smale flocking model, and express the swarm's density evolution as the solution to a system of mean-field hydrodynamic equations. We propose a new family of parametric functions to model the pairwise interactions, which allows for the mean-field macroscopic system of integro-differential equations to be efficiently solved as an augmented system of PDEs. Finally, we incorporate the augmented system in an iterative optimization scheme to learn the dynamics of the interacting agents from observations of the swarm's density evolution over time. The results of this work can offer an alternative approach to study how animal flocks coordinate, create new control schemes for large networked systems, and serve as a central part of defense mechanisms against adversarial drone attacks.


title: On the optimal $L^q$-regularity for viscous Hamilton-Jacobi equations with sub-quadratic growth in the gradient

abstract: This paper studies a maximal $L^q$-regularity property for nonlinear elliptic equations of second order with a zero-th order term and gradient nonlinearities having superlinear and sub-quadratic growth, complemented with Dirichlet boundary conditions. The approach is based on the combination of linear elliptic regularity theory and interpolation inequalities, so that the analysis of the maximal regularity estimates boils down to determine lower order integral bounds. The latter are achieved via a $L^p$ duality method, which exploits the regularity properties of solutions to stationary Fokker-Planck equations. For the latter problems, we discuss both global and local estimates. Our main novelties for the regularity properties of this class of nonlinear elliptic boundary-value problems are the treatment of equations with a zero-th order term together with the analysis of the end-point summability threshold $q=d(\gamma-1)/\gamma$, $d$ being the dimension of the ambient space and $\gamma>1$ the growth of the first-order term in the gradient variable.


title: The abstract Cauchy problem in locally convex spaces

abstract: We derive sufficient criteria for the uniqueness and existence of solutions of the abstract Cauchy problem in locally convex Hausdorff spaces. Our approach is based on a suitable notion of an asymptotic Laplace transform and extends results of Langenbruch beyond the class of Fr\'echet spaces.


title: Spacecraft Relative Motion Dynamics and Control Using Fundamental Solution Constants

abstract: This paper explores expressing the relative state in the close-proximity satellite relative motion problem in terms of fundamental solution constants. The nominal uncontrolled relative state can be expressed in terms of a weighted sum of fundamental and geometrically insightful motions. These fundamental motions are obtained using Lyapunov-Floquet theory. In the case that the dynamics are perturbed by the action of a controller or by unmodeled dynamics, the weights on each fundamental solution are allowed to vary as in a variation-of-parameters approach, and in this manner function as state variables. This methodology reveals interesting insights about satellite relative motion and also enables elegant control approaches. This approach can be applied in any dynamical environment as long as the chief orbit is periodic, and this is demonstrated with results for relative motion analysis and control in the eccentric Keplerian problem and in the circular restricted three-body problem (CR3BP). Some commentary on extension of the methodology beyond the periodic chief orbit case is also provided. This is a promising and widely applicable new approach to the close-proximity satellite relative motion problem.


title: A review of diaphragmless shock tubes for interdisciplinary applications

abstract: Shock tubes have emerged as an effective tool for applications in various fields of research and technology. The conventional mode of shock tube operation employs a frangible diaphragm to generate shockwaves. The last half-century has witnessed significant efforts to replace this diaphragm-bursting method with fast-acting valves. These diaphragmless methods have good repeatability, quick turnaround time between experiments, and produce a clean flow, free of diaphragm fragments in contrast to the conventional diaphragm-type operation. The constantly evolving valve designs are targeting shorter opening times for improved performance and efficiency. The present review is a compilation of the different diaphragmless shock tubes that have been conceptualized, developed, and implemented for various research endeavors. The discussions focus on essential factors, including the type of actuation mechanism, driver-driven configurations, valve opening time, shock formation distance, and operating pressure range, that ultimately influence the shockwave parameters obtained in the shock tube. A generalized mathematical model to study the behavior of these valves is developed. The advantages, limitations, and challenges in improving the performance of the valves are described. Finally, the present-day applications of diaphragmless shock tubes have been discussed, and their potential scope in expanding the frontiers of shockwave research and technology are presented.


title: A photonic platform hosting telecom photon emitters in silicon

abstract: Silicon, a ubiquitous material in modern computing, is an emerging platform for realizing a source of indistinguishable single-photons on demand. The integration of recently discovered single-photon emitters in silicon into photonic structures, is advantageous to exploit their full potential for integrated photonic quantum technologies. Here, we show the integration of telecom photon emitters in a photonic platform consisting of silicon nanopillars. We developed a CMOS-compatible nanofabrication method, enabling the production of thousands of individual nanopillars per square millimeter with state-of-the-art photonic-circuit pitch, all the while being free of fabrication-related radiation damage defects. We found a waveguiding effect of the 1278 nm-G center emission along individual pillars accompanied by improved brightness, photoluminescence signal-to-noise ratio and photon extraction efficiency compared to that of bulk silicon. These results unlock clear pathways to monolithically integrating single-photon emitters into a photonic platform at a scale that matches the required pitch of quantum photonic circuits.


title: Fine spectral estimates with applications to the optimally fast solution of large FDE linear systems

abstract: In the present note we consider a type of matrices stemming in the context of the numerical approximation of distributed order fractional differential equations (FDEs): from one side they could look standard, since they are, real, symmetric and positive definite. On the other hand they present specific difficulties which prevent the successful use of classical tools. In particular the associated matrix-sequence, with respect to the matrix-size, is ill-conditioned and it is such that a generating function does not exists, but we face the problem of dealing with a sequence of generating functions with an intricate expression. Nevertheless, we obtain a real interval where the smallest eigenvalue belongs, showing also its asymptotic behavior. We observe that the new bounds improve those already present in the literature and give a more accurate spectral information, which are in fact used in the design of fast numerical algorithms for the associated large linear systems, approximating the given distributed order FDEs. Very satisfactory numerical results are presented and critically discussed, while a section with conclusions and open problems ends the current note.


title: BERTMap: A BERT-based Ontology Alignment System

abstract: Ontology alignment (a.k.a ontology matching (OM)) plays a critical role in knowledge integration. Owing to the success of machine learning in many domains, it has been applied in OM. However, the existing methods, which often adopt ad-hoc feature engineering or non-contextual word embeddings, have not yet outperformed rule-based systems especially in an unsupervised setting. In this paper, we propose a novel OM system named BERTMap which can support both unsupervised and semi-supervised settings. It first predicts mappings using a classifier based on fine-tuning the contextual embedding model BERT on text semantics corpora extracted from ontologies, and then refines the mappings through extension and repair by utilizing the ontology structure and logic. Our evaluation with three alignment tasks on biomedical ontologies demonstrates that BERTMap can often perform better than the leading OM systems LogMap and AML.


title: A biophysical threshold for biofilm formation

abstract: Bacteria are ubiquitous in our daily lives, either as motile planktonic cells or as immobilized surface-attached biofilms. These different phenotypic states play key roles in agriculture, environment, industry, and medicine; hence, it is critically important to be able to predict the conditions under which bacteria transition from one state to the other. Unfortunately, these transitions depend on a dizzyingly complex array of factors that are determined by the intrinsic properties of the individual cells as well as those of their surrounding environments, and are thus challenging to describe. To address this issue, here, we develop a generally-applicable biophysical model of the interplay between motility-mediated dispersal and biofilm formation under positive quorum sensing control. Using this model, we establish a universal rule predicting how the onset and extent of biofilm formation depend collectively on cell concentration and motility, nutrient diffusion and consumption, chemotactic sensing, and autoinducer production. Our work thus provides a key step toward quantitatively predicting and controlling biofilm formation in diverse and complex settings.

categories: q-bio.PE cond-mat.soft cond-mat.stat-mech nlin.PS physics.bio-ph


title: Analysis of $e^{+}e^{-}\rightarrow H^{\pm}W^{\mp}$ in the presence of a circularly polarized laser field

abstract: In this study, we have investigated the production of a charged Higgs boson in assiciation with a charged weak $W$-boson ($H^{\pm}W^{\mp}$) at tree level via $e^{+}e^{-}$ annihilation in the presence of a laser field with circular polarization. At first step and by using analytical techniques, we have derived the expression of the differential cross section involving both $Z$ and $\gamma$ diagrams. Next, we have shown that the cross section of this process inside the laser field is proportional to the form factor $F_{HWV}$, and it depends on the mass of the charged Higgs boson and the energy of the center of mass. Then, we have analyzed the dependence of the total laser-assisted cross section on the number of photons exchanged for two different cases of form factor. Finally, we have found that the maximum number of photons that can be transferred depends only on the laser parameters.


title: On the extreme eigenvalues and asymptotic conditioning of a class of Toeplitz matrix-sequences arising from fractional problems

abstract: The analysis of the spectral features of a Toeplitz matrix-sequence $\left\{T_{n}(f)\right\}_{n\in\mathbb N}$, generated by a symbol $f\in L^1([-\pi,\pi])$, real-valued almost everywhere (a.e.), has been provided in great detail in the last century, as well as the study of the conditioning, when $f$ is nonnegative a.e. Here we consider a novel type of problem arising in the numerical approximation of distributed-order fractional differential equations (FDEs), where the matrices under consideration take the form \[ \mathcal{T}_{n}=c_0T_{n}(f_0)+c_{1} h^h T_{n}(f_{1})+c_{2} h^{2h} T_{n}(f_{2})+\cdots+c_{n-1} h^{(n-1)h}T_{n}(f_{n-1}), \] $c_0,c_{1},\ldots, c_{n-1} \in [c_*,c^*]$, $c^*\ge c_*>0$, independent of $n$, $h=\frac{1}{n}$, $f_j\sim g_j$, $g_j=|\theta|^{2-jh}$, $j=0,\ldots,n-1$. Since the resulting generating function depends on $n$, the standard theory cannot be applied and the analysis has to be performed using new ideas. Few selected numerical experiments are presented, also in connection with matrices that come from distributed-order FDE problems, and the adherence with the theoretical analysis is discussed together with open questions and future investigations.


title: Approximations of interface topological invariants

abstract: This paper concerns the asymmetric transport observed along interfaces separating two-dimensional bulk topological insulators modeled by (continuous) differential Hamiltonians and how such asymmetry persists after numerical discretization. We first demonstrate that a relevant edge current observable is quantized and robust to perturbations for a large class of elliptic Hamiltonians. We then establish a bulk edge correspondence stating that the observable equals an integer-valued bulk difference invariant depending solely on the bulk phases. We next show how to extend such results to periodized Hamiltonians amenable to standard numerical discretizations. A form of no-go theorem implies that the asymmetric transport of periodized Hamiltonians necessarily vanishes. We introduce a filtered version of the edge current observable and show that it is approximately stable against perturbations and converges to its quantized limit as the size of the computational domain increases. To illustrate the theoretical results, we finally present numerical simulations that approximate the infinite domain edge current with high accuracy, and show that it is approximately quantized even in the presence of perturbations.


title: Cronomoons: origin, dynamics, and light-curve features of ringed exomoons

abstract: In recent years, technical and theoretical work to detect moons and rings around exoplanets has been attempted. The small mass/size ratios between moons and planets means this is very challenging, having only one exoplanetary system where spotting an exomoon might be feasible (i.e. Kepler-1625b i). In this work, we study the dynamical evolution of ringed exomoons, dubbed "cronomoons" after their similarity with Cronus (Greek for Saturn), and after Chronos (the epitome of time), following the Transit Timing Variations (TTV) and Transit Duration Variation (TDV) that they produce on their host planet. Cronomoons have extended systems of rings that make them appear bigger than they actually are when transiting in front of their host star. We explore different possible scenarios that could lead to the formation of such circumsatellital rings, and through the study of the dynamical/thermodynamic stability and lifespan of their dust and ice ring particles, we found that an isolated cronomoon can survive for time-scales long enough to be detected and followed up. If these objects exist, cronomoons' rings will exhibit gaps similar to Saturn's Cassini Division and analogous to the asteroid belt's Kirkwood gaps, but instead raised due to resonances induced by the host planet. Finally, we analyse the case of Kepler-1625b i under the scope of this work, finding that the controversial giant moon could instead be an Earth-mass cronomoon. From a theoretical perspective, this scenario can contribute to a better interpretation of the underlying phenomenology in current and future observations.


title: On-chip beam rotators, adiabatic mode converters, and waveplates through low-loss waveguides with variable cross-sections

abstract: Photonics integrated circuitry would benefit considerably from the ability to arbitrarily control waveguide cross-sections with high precision and low loss, in order to provide more degrees of freedom in manipulating propagating light. Here, we report a new method for femtosecond laser writing of optical-fibre-compatible glass waveguides, namely spherical phase induced multi-core waveguide (SPIM-WG), which addresses this challenging task with three dimensional on-chip light control. Fabricating in the heating regime with high scanning speed, precise deformation of cross-sections is still achievable along the waveguide, with shapes and sizes finely controllable of high resolution in both horizontal and vertical transversal directions. We observed that these waveguides have high refractive index contrast of 0.017, low propagation loss of 0.14 dB/cm, and very low coupling loss of 0.19 dB coupled from a single mode fibre. SPIM-WG devices were easily fabricated that were able to perform on-chip beam rotation through varying angles, or manipulate polarization state of propagating light for target wavelengths. We also demonstrated SPIM-WG mode converters that provide arbitrary adiabatic mode conversion with high efficiency between symmetric and asymmetric non-uniform modes; examples include circular, elliptical modes and asymmetric modes from ppKTP (periodically-poled potassium titanyl phosphate) waveguides which are generally applied in frequency conversion and quantum light sources. Created inside optical glass, these waveguides and devices have the capability to operate across ultra-broad bands from visible to infrared wavelengths. The compatibility with optical fibre also paves the way toward packaged photonic integrated circuitry, which usually needs input and output fibre connections.


title: Isometric structure of transportation cost spaces on finite metric spaces

abstract: The paper is devoted to isometric Banach-space-theoretical structure of transportation cost (TC) spaces on finite metric spaces. The TC spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein spaces. A new notion of a roadmap pertinent to a transportation problem on a finite metric space has been introduced and used to simplify proofs for the results on representation of TC spaces as quotients of $\ell_1$ spaces on the edge set over the cycle space. A Tolstoi-type theorem for roadmaps is proved, and directed subgraphs of the canonical graphs, which are supports of maximal optimal roadmaps, are characterized. Possible obstacles for a TC space on a finite metric space $X$ preventing them from containing subspaces isometric to $\ell_\infty^n$ have been found in terms of the canonical graph of $X$. The fact that TC spaces on diamond graphs do not contain $\ell_\infty^4$ isometrically has been derived. In addition, a short overview of known results on the isometric structure of TC spaces on finite metric spaces is presented.


title: Open Vocabulary Electroencephalography-To-Text Decoding and Zero-shot Sentiment Classification

abstract: State-of-the-art brain-to-text systems have achieved great success in decoding language directly from brain signals using neural networks. However, current approaches are limited to small closed vocabularies which are far from enough for natural communication. In addition, most of the high-performing approaches require data from invasive devices (e.g., ECoG). In this paper, we extend the problem to open vocabulary Electroencephalography(EEG)-To-Text Sequence-To-Sequence decoding and zero-shot sentence sentiment classification on natural reading tasks. We hypothesis that the human brain functions as a special text encoder and propose a novel framework leveraging pre-trained language models (e.g., BART). Our model achieves a 40.1% BLEU-1 score on EEG-To-Text decoding and a 55.6% F1 score on zero-shot EEG-based ternary sentiment classification, which significantly outperforms supervised baselines. Furthermore, we show that our proposed model can handle data from various subjects and sources, showing great potential for a high-performance open vocabulary brain-to-text system once sufficient data is available


title: Controlling arrival and service rates to reduce sensitivity of queueing systems with customer abandonment

abstract: The Erlang A model--an M/M/s queue with exponential abandonment--is often used to represent a service system with impatient customers. For this system, the popular square-root staffing rule determines the necessary staffing level to achieve the desirable QED (quality-and-efficiency-driven) service regime; however, the rule also implies that properties of large systems are highly sensitive to parameters. We reveal that the origin of this high sensitivity is due to the operation of large systems at a point of singularity in a phase diagram of service regimes. We can avoid this singularity by implementing a congestion-based control (CBC) scheme--a scheme that allows the system to change its arrival and service rates under congestion. We analyze a modified Erlang A model under the CBC scheme using a Markov chain decomposition method, derive non-asymptotic and asymptotic normal representations of performance indicators, and confirm that the CBC scheme makes large systems less sensitive than the original Erlang A model.


title: Faster Content Delivery using RSU Caching and Vehicular Pre-caching in Vehicular Networks

abstract: Most non-safety applications deployed in Vehicular Ad-hoc Network (VANET) use vehicle-to-infrastructure (V2I) and I2V communications to receive various forms of content such as periodic traffic updates, advertisements from adjacent road-side units (RSUs). In case of heavy traffic on highways and urban areas, content delivery time (CDT) can be significantly affected. Increase in CDT can be attributed to high load on the RSU or high volume of broadcasted content which can flood the network. Therefore, this paper suggests a novel caching strategy to improve CDT in high traffic areas and three major contributions have been made: (1) Design and simulation of a caching strategy to decrease the average content delivery time; (2) Evaluation and comparison of caching performance in both urban scenario and highway scenario; (3) Evaluation and comparison of caching performance in single RSU and multiple RSUs. The simulation results show that caching effectively reduces the CDT by 50% in urban scenario and 60-70% in highway scenario.


title: iNaturalist citizen science community during City Nature Challenge: new computational approach for analysis of user activity

abstract: Analysing patterns of engagement among citizen science participants can provide important insights into the organisation and practice of individual citizen science projects. In particular, methods from statistics and network science can be used to understand different types of user behaviour and user interactions to help the further implementation and organization of community efforts. Using publicly available data from the iNaturalist community and their yearly City Nature Challenges (CNC) from 2017-2020 as an example; we showcase computational methods to explore the spatio-temporal evolution of this citizen science community that typically interacts in a hybrid offline-online way. In particular, we investigate the user types present in the community along with their interactions, finding significant differences in usage-behavior on both the level of engagement and the types of community tasks/roles and how they interact with the network of contributors. We expect that these computational analysis strategies will be useful to gain further understanding of other citizen science communities and projects.


title: Benchmark for Out-of-Distribution Detection in Deep Reinforcement Learning

abstract: Reinforcement Learning (RL) based solutions are being adopted in a variety of domains including robotics, health care and industrial automation. Most focus is given to when these solutions work well, but they fail when presented with out of distribution inputs. RL policies share the same faults as most machine learning models. Out of distribution detection for RL is generally not well covered in the literature, and there is a lack of benchmarks for this task. In this work we propose a benchmark to evaluate OOD detection methods in a Reinforcement Learning setting, by modifying the physical parameters of non-visual standard environments or corrupting the state observation for visual environments. We discuss ways to generate custom RL environments that can produce OOD data, and evaluate three uncertainty methods for the OOD detection task. Our results show that ensemble methods have the best OOD detection performance with a lower standard deviation across multiple environments.


title: An adaptive dynamical low rank method for the nonlinear Boltzmann equation

abstract: Efficient and accurate numerical approximation of the full Boltzmann equation has been a longstanding challenging problem in kinetic theory. This is mainly due to the high dimensionality of the problem and the complicated collision operator. In this work, we propose a highly efficient adaptive low rank method for the Boltzmann equation, concerning in particular the steady state computation. This method employs the fast Fourier spectral method (for the collision operator) and the dynamical low rank method to obtain computational efficiency. An adaptive strategy is introduced to incorporate the boundary information and control the computational rank in an appropriate way. Using a series of benchmark tests in 1D and 2D, we demonstrate the efficiency and accuracy of the proposed method in comparison to the full tensor grid approach.


title: Some remarks on semantics and expressiveness of the Sentential Calculus with Identity

abstract: Suszko's Sentential Calculus with Identity SCI results from classical propositional calculus CPC by adding a new connective $\equiv$ and axioms for identity $\varphi\equiv\psi$ (which we interpret here as `propositional identity'). We reformulate the original semantics of SCI in terms of Boolean prealgebras establishing a connection to `hyperintensional semantics'. Furthermore, we define a general framework of dualities between certain SCI-theories and Lewis-style modal systems in the vicinity of S3. Suszko's original approach to two SCI-theories corresponding to S4 and S5 can be formulated as a special case. All these dualities rely particularly on the fact that Lewis' `strict equivalence' is axiomatized by the SCI-principles of `propositional identity'.


title: Guided run-and-tumble active particles: wall accumulation and preferential deposition

abstract: Bacterial biofilms cost an enormous amount of resources in the health, medical, and industrial sectors. To understand early biofilm formation, beginning from planktonic states of active bacterial suspensions (such as Escherichia coli) to microcolonization, it is vital to study the mechanics of accumulation near surfaces and subsequent deposition. In this study, analytical expressions for the mean orientation, density and angular distributions, and deposition rates in such bacterial suspensions are derived, with and without the effects of external guiding or taxis fields. Simulations of confined active particles, using the run-and-tumble statistics from well-established three-dimensional tracking experiments and a preferential sticking probability model for deposition, closely verify the derived mean orientation, density profiles, angular distributions, and deposition rates. It is found that the size distribution of deposited microcolonies remains unaffected when guiding fields are applied, however, the pair correlation function of deposited structures relatively spreads out. The factor behind the changes in the accumulation patterns, and the changes in the architecture of deposited biomass, turns out to be an asymmetrical rotational drift caused by the guiding fields, and is an important physical mechanism behind the organization in confined active particle suspensions.