title: A characterization of the product of the rational numbers and complete Erd\H{o}s space

abstract: Erd\H{o}s space $\mathfrak{E}$ and complete Erd\H{o}s space $\mathfrak{E}_c$ have been previously shown to have topological characterizations. In this paper, we provide a topological characterization of the topological space $\mathbb{Q}\times\mathfrak{E}_c$, where $\mathbb{Q}$ is the space of rational numbers. As a corollary, we show that the Vietoris hyperspace of finite sets $\mathcal{F}(\mathfrak{E}_c)$ is homeomorphic to $\mathbb{Q}\times\mathfrak{E}_c$. We also characterize the factors of $\mathbb{Q}\times\mathfrak{E}_c$. An interesting open question that is left open is whether $\sigma{\mathfrak{E}_c}^\omega$, the $\sigma$-product of countably many copies of $\mathfrak{E}_c$, is homeomorphic to $\mathbb{Q}\times\mathfrak{E}_c$.


title: Dynamic Oversampling Tecniques for 1-Bit ADCs in Large-Scale MIMO Systems

abstract: In this work, we investigate dynamic oversampling techniques for large-scale multiple-antenna systems equipped with low-cost and low-power 1-bit analog-to-digital converters at the base stations. To compensate for the performance loss caused by the coarse quantization, oversampling is applied at the receiver. Unlike existing works that use uniform oversampling, which samples the signal at a constant rate, a novel dynamic oversampling scheme is proposed. The basic idea is to perform time-varying nonuniform oversampling, which selects samples with nonuniform patterns that vary over time. We consider two system design criteria: a design that maximizes the achievable sum rate and another design that minimizes the mean square error of detected symbols. Dynamic oversampling is carried out using a dimension reduction matrix $\mathbf{\Delta}$, which can be computed by the generalized eigenvalue decomposition or by novel submatrix-level feature selection algorithms. Moreover, the proposed scheme is analyzed in terms of convergence, computational complexity and power consumption at the receiver. Simulations show that systems with the proposed dynamic oversampling outperform those with uniform oversampling in terms of computational cost, achievable sum rate and symbol error rate performance.


title: Chimera Time-Crystalline order in quantum spin networks

abstract: Symmetries are well known to have had a profound role in our understanding of nature and are a critical design concept for the realization of advanced technologies. In fact, many symmetry-broken states associated with different phases of matter appear in a variety of quantum technology applications. Such symmetries are normally broken in spatial dimension, however they can also be broken temporally leading to the concept of discrete time symmetries and their associated crystals. Discrete time crystals (DTCs) are a novel state of matter emerging in periodically-driven quantum systems. Typically, they have been investigated assuming individual control operations with uniform rotation errors across the entire system. In this work we explore a new paradigm arising from non-uniform rotation errors, where two dramatically different phases of matter coexist in well defined regions of space. We consider a quantum spin network possessing long-range interactions where different driving operations act on different regions of that network. What results from its inherent symmetries is a system where one region is a DTC, while the second is ferromagnetic. We envision our work to open a new avenue of research on Chimera-like phases of matter where two different phases coexist in space.

categories: quant-ph cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech nlin.CD


title: Mutual Information Scaling for Tensor Network Machine Learning

abstract: Tensor networks have emerged as promising tools for machine learning, inspired by their widespread use as variational ansatze in quantum many-body physics. It is well known that the success of a given tensor network ansatz depends in part on how well it can reproduce the underlying entanglement structure of the target state, with different network designs favoring different scaling patterns. We demonstrate here how a related correlation analysis can be applied to tensor network machine learning, and explore whether classical data possess correlation scaling patterns similar to those found in quantum states which might indicate the best network to use for a given dataset. We utilize mutual information as measure of correlations in classical data, and show that it can serve as a lower-bound on the entanglement needed for a probabilistic tensor network classifier. We then develop a logistic regression algorithm to estimate the mutual information between bipartitions of data features, and verify its accuracy on a set of Gaussian distributions designed to mimic different correlation patterns. Using this algorithm, we characterize the scaling patterns in the MNIST and Tiny Images datasets, and find clear evidence of boundary-law scaling in the latter. This quantum-inspired classical analysis offers insight into the design of tensor networks which are best suited for specific learning tasks.


title: Ordinarity of Local Galois Representation Arising from Dwork Motives

abstract: In this paper, we prove that for suitably chosen Dwork motives, the local Galois representation arising from middle cohomology of fibers over a point with $p$-adic valuation $<0$ on the base is regular and ordinary. The result will be crucial in the forthcoming work Potential Automorphy for $GL_n$. The proof consists of the construction of a semistable blowup and a use of Hyodo-Kato's log crystalline cohomology theory.


title: Revisiting Peng's Q($\lambda$) for Modern Reinforcement Learning

abstract: Off-policy multi-step reinforcement learning algorithms consist of conservative and non-conservative algorithms: the former actively cut traces, whereas the latter do not. Recently, Munos et al. (2016) proved the convergence of conservative algorithms to an optimal Q-function. In contrast, non-conservative algorithms are thought to be unsafe and have a limited or no theoretical guarantee. Nonetheless, recent studies have shown that non-conservative algorithms empirically outperform conservative ones. Motivated by the empirical results and the lack of theory, we carry out theoretical analyses of Peng's Q($\lambda$), a representative example of non-conservative algorithms. We prove that it also converges to an optimal policy provided that the behavior policy slowly tracks a greedy policy in a way similar to conservative policy iteration. Such a result has been conjectured to be true but has not been proven. We also experiment with Peng's Q($\lambda$) in complex continuous control tasks, confirming that Peng's Q($\lambda$) often outperforms conservative algorithms despite its simplicity. These results indicate that Peng's Q($\lambda$), which was thought to be unsafe, is a theoretically-sound and practically effective algorithm.


title: Dynamical black hole in a bouncing universe

abstract: We analyze the causal structure of McVittie spacetime for a classical bouncing cosmological model. In particular, we compute the trapping horizons of the metric and integrate the trajectories of radial null geodesics before, during, and after the bounce takes place. In the contracting phase up to the occurrence of the bounce, a dynamical black hole is present. When the universe reaches a certain minimum scale, the trapping horizons disappear and the black hole ceases to exist. After the bounce, the central weak singularity becomes naked. In the expanding phase, for large positive values of the cosmic time, the behaviour of null geodesics indicates that the solution contains a black hole. These results suggest that neither a contracting nor an expanding universe can accommodate a black hole at all times.


title: Improving Longer-range Dialogue State Tracking

abstract: Dialogue state tracking (DST) is a pivotal component in task-oriented dialogue systems. While it is relatively easy for a DST model to capture belief states in short conversations, the task of DST becomes more challenging as the length of a dialogue increases due to the injection of more distracting contexts. In this paper, we aim to improve the overall performance of DST with a special focus on handling longer dialogues. We tackle this problem from three perspectives: 1) A model designed to enable hierarchical slot status prediction; 2) Balanced training procedure for generic and task-specific language understanding; 3) Data perturbation which enhances the model's ability in handling longer conversations. We conduct experiments on the MultiWOZ benchmark, and demonstrate the effectiveness of each component via a set of ablation tests, especially on longer conversations.


title: MBNet: MOS Prediction for Synthesized Speech with Mean-Bias Network

abstract: Mean opinion score (MOS) is a popular subjective metric to assess the quality of synthesized speech, and usually involves multiple human judges to evaluate each speech utterance. To reduce the labor cost in MOS test, multiple methods have been proposed to automatically predict MOS scores. To our knowledge, for a speech utterance, all previous works only used the average of multiple scores from different judges as the training target and discarded the score of each individual judge, which did not well exploit the precious MOS training data. In this paper, we propose MBNet, a MOS predictor with a mean subnet and a bias subnet to better utilize every judge score in MOS datasets, where the mean subnet is used to predict the mean score of each utterance similar to that in previous works, and the bias subnet to predict the bias score (the difference between the mean score and each individual judge score) and capture the personal preference of individual judges. Experiments show that compared with MOSNet baseline that only leverages mean score for training, MBNet improves the system-level spearmans rank correlation co-efficient (SRCC) by 2.9% on VCC 2018 dataset and 6.7% on VCC 2016 dataset.


title: Graph Self-Supervised Learning: A Survey

abstract: Deep learning on graphs has attracted significant interests recently. However, most of the works have focused on (semi-) supervised learning, resulting in shortcomings including heavy label reliance, poor generalization, and weak robustness. To address these issues, self-supervised learning (SSL), which extracts informative knowledge through well-designed pretext tasks without relying on manual labels, has become a promising and trending learning paradigm for graph data. Different from SSL on other domains like computer vision and natural language processing, SSL on graphs has an exclusive background, design ideas, and taxonomies. Under the umbrella of graph self-supervised learning, we present a timely and comprehensive review of the existing approaches which employ SSL techniques for graph data. We construct a unified framework that mathematically formalizes the paradigm of graph SSL. According to the objectives of pretext tasks, we divide these approaches into four categories: generation-based, auxiliary property-based, contrast-based, and hybrid approaches. We further describe the applications of graph SSL across various research fields and summarize the commonly used datasets, evaluation benchmark, performance comparison and open-source codes of graph SSL. Finally, we discuss the remaining challenges and potential future directions in this research field.


title: Transformer in Transformer

abstract: Transformer is a new kind of neural architecture which encodes the input data as powerful features via the attention mechanism. Basically, the visual transformers first divide the input images into several local patches and then calculate both representations and their relationship. Since natural images are of high complexity with abundant detail and color information, the granularity of the patch dividing is not fine enough for excavating features of objects in different scales and locations. In this paper, we point out that the attention inside these local patches are also essential for building visual transformers with high performance and we explore a new architecture, namely, Transformer iN Transformer (TNT). Specifically, we regard the local patches (e.g., 16$\times$16) as "visual sentences" and present to further divide them into smaller patches (e.g., 4$\times$4) as "visual words". The attention of each word will be calculated with other words in the given visual sentence with negligible computational costs. Features of both words and sentences will be aggregated to enhance the representation ability. Experiments on several benchmarks demonstrate the effectiveness of the proposed TNT architecture, e.g., we achieve an 81.5% top-1 accuracy on the ImageNet, which is about 1.7% higher than that of the state-of-the-art visual transformer with similar computational cost. The PyTorch code is available at https://github.com/huawei-noah/CV-Backbones, and the MindSpore code is available at https://gitee.com/mindspore/models/tree/master/research/cv/TNT.


title: Anomaly Detection on Attributed Networks via Contrastive Self-Supervised Learning

abstract: Anomaly detection on attributed networks attracts considerable research interests due to wide applications of attributed networks in modeling a wide range of complex systems. Recently, the deep learning-based anomaly detection methods have shown promising results over shallow approaches, especially on networks with high-dimensional attributes and complex structures. However, existing approaches, which employ graph autoencoder as their backbone, do not fully exploit the rich information of the network, resulting in suboptimal performance. Furthermore, these methods do not directly target anomaly detection in their learning objective and fail to scale to large networks due to the full graph training mechanism. To overcome these limitations, in this paper, we present a novel contrastive self-supervised learning framework for anomaly detection on attributed networks. Our framework fully exploits the local information from network data by sampling a novel type of contrastive instance pair, which can capture the relationship between each node and its neighboring substructure in an unsupervised way. Meanwhile, a well-designed graph neural network-based contrastive learning model is proposed to learn informative embedding from high-dimensional attributes and local structure and measure the agreement of each instance pairs with its outputted scores. The multi-round predicted scores by the contrastive learning model are further used to evaluate the abnormality of each node with statistical estimation. In this way, the learning model is trained by a specific anomaly detection-aware target. Furthermore, since the input of the graph neural network module is batches of instance pairs instead of the full network, our framework can adapt to large networks flexibly. Experimental results show that our proposed framework outperforms the state-of-the-art baseline methods on all seven benchmark datasets.


title: The Marcinkiewicz--Zygmund-Type Strong Law of Large Numbers with General Normalizing Sequences

abstract: This paper establishes complete convergence for weighted sums and the Marcinkiewicz--Zygmund-type strong law of large numbers for sequences of negatively associated and identically distributed random variables $\{X,X_n,n\ge1\}$ with general normalizing constants under a moment condition that $ER(X)<\infty$, where $R(\cdot)$ is a regularly varying function. The result is new even when the random variables are independent and identically distributed (i.i.d.), and a special case of this result comes close to a solution to an open question raised by Chen and Sung (Statist Probab Lett 92:45--52, 2014). The proof exploits some properties of slowly varying functions and the de Bruijin conjugates. A counterpart of the main result obtained by Martikainen (J Math Sci 75(5):1944-1946, 1995) on the Marcinkiewicz--Zygmund-type strong law of large numbers for pairwise i.i.d. random variables is also presented. Two illustrated examples are provided, including a strong law of large numbers for pairwise negatively dependent random variables which have the same distribution as the random variable appearing in the St. Petersburg game.


title: Distortion correction of two-component - two-dimensional PIV using a large imaging sensor with application to measurements of a turbulent boundary layer flow at $Re_{\tau} = 2386$

abstract: In the past decade, advances in electronics technology have made larger imaging sensors available to the experimental fluid mechanics community. These advancements have enabled the measurement of 2-component 2-dimensional (2C-2D) velocity fields using particle image velocimetry (PIV) with much higher spatial resolution than previously possible. However, due to the large size of the sensor, the lens distortion needs to be taken into account as it will now have a more significant effect on the measurement quality that must be corrected to ensure accurate high-fidelity 2C-2D velocity field measurements. In this paper, two dewarping models, a second-order rational function (R2) and a bicubic polynomial (P3) are investigated with regards to 2C-2D PIV measurements of a turbulent boundary layer (TBL) using a large imaging sensor. Two approaches are considered and compared: (i) dewarping the images prior to the PIV cross-correlation analysis and (ii) undertaking the PIV cross-correlation analysis using the original recorded distorted images then followed by using the mapping functions derived for image dewarping to provide the correct spatial location of the velocity measurement point. The results demonstrate that the use of P3 dewarping model to correct lens distortion yields better results than the R2 dewarping model. Furthermore, both approaches for the P3 dewarping model yield results which are statistically indistinguishable.


title: Crystallization and Vitrification Kinetics by Design: The Role of Chemical Bonding

abstract: Controlling a state of material between its crystalline and glassy phase has fostered many real-world applications. Nevertheless, design rules for crystallization and vitrification kinetics still lack predictive power. Here, we identify stoichiometry trends for these processes in phase change materials, i.e. along the GeTe-GeSe, GeTe-SnTe, and GeTe-Sb2Te3 pseudo-binary lines employing a pump-probe laser setup and calorimetry. We discover a clear stoichiometry dependence of crystallization speed along a line connecting regions characterized by two fundamental bonding types, metallic and covalent bonding. Increasing covalency slows down crystallization by six orders of magnitude and promotes vitrification. The stoichiometry dependence is correlated with material properties, such as the optical properties of the crystalline phase and a bond indicator, the number of electrons shared between adjacent atoms. A quantum-chemical map explains these trends and provides a blueprint to design crystallization kinetics.


title: Online High-Dimensional Change-Point Detection using Topological Data Analysis

abstract: Topological Data Analysis (TDA) is a rapidly growing field, which studies methods for learning underlying topological structures present in complex data representations. TDA methods have found recent success in extracting useful geometric structures for a wide range of applications, including protein classification, neuroscience, and time-series analysis. However, in many such applications, one is also interested in sequentially detecting changes in this topological structure. We propose a new method called Persistence Diagram based Change-Point (PD-CP), which tackles this problem by integrating the widely-used persistence diagrams in TDA with recent developments in nonparametric change-point detection. The key novelty in PD-CP is that it leverages the distribution of points on persistence diagrams for online detection of topological changes. We demonstrate the effectiveness of PD-CP in an application to solar flare monitoring.


title: ISHNE: Influence Self-attention for Heterogeneous Network Embedding

abstract: In recent years, Graph Neural Networks has received enormous attention from academia for its huge potential of modeling the network traits such as macrostructure and single node attributes. However, prior mainstream works mainly focus on homogeneous network and lack the capacity to characterize the network heterogeneous property. Besides, most previous literature cannot model the influence under microscope vision, making it infeasible to model the joint relation between the heterogeneity and mutual interaction within multiple relation type. In this paper, we propose an Influence Self-attention network to address the difficulties mentioned above. To model heterogeneity and mutual interaction, we redesign attention mechanism with influence factor on the single-type relation level, which learns the importance coefficient from its adjacent neighbors under the same meta-path based patterns. To incorporate the heterogeneous meta-path in a unified dimension, we developed a self-attention based framework for meta-path relation fusion according to the learned meta-path coefficient. Our experimental results demonstrate that our framework not only achieve higher results than current state-of-the-art baselines, but also show promising vision on depicting heterogeneous interactive relations under complicated network structure.


title: ASMNet: a Lightweight Deep Neural Network for Face Alignment and Pose Estimation

abstract: Active Shape Model (ASM) is a statistical model of object shapes that represents a target structure. ASM can guide machine learning algorithms to fit a set of points representing an object (e.g., face) onto an image. This paper presents a lightweight Convolutional Neural Network (CNN) architecture with a loss function being assisted by ASM for face alignment and estimating head pose in the wild. We use ASM to first guide the network towards learning a smoother distribution of the facial landmark points. Inspired by transfer learning, during the training process, we gradually harden the regression problem and guide the network towards learning the original landmark points distribution. We define multi-tasks in our loss function that are responsible for detecting facial landmark points as well as estimating the face pose. Learning multiple correlated tasks simultaneously builds synergy and improves the performance of individual tasks. We compare the performance of our proposed model called ASMNet with MobileNetV2 (which is about 2 times bigger than ASMNet) in both the face alignment and pose estimation tasks. Experimental results on challenging datasets show that by using the proposed ASM assisted loss function, the ASMNet performance is comparable with MobileNetV2 in the face alignment task. In addition, for face pose estimation, ASMNet performs much better than MobileNetV2. ASMNet achieves an acceptable performance for facial landmark points detection and pose estimation while having a significantly smaller number of parameters and floating-point operations compared to many CNN-based models.


title: Symmetry projection to coupled-cluster singles and doubles wave function through the Monte Carlo method

abstract: A new method for calculating the symmetry-projected energy of coupled-cluster singles and doubles (CCSD) wave function through the Monte Carlo method is proposed. We present benchmark calculations in considering the three-level Lipkin model which is a simple and minimal model with two phases: spherical and deformed ones. It is demonstrated that this new method gives good ground state energy and low-lying spectra.


title: Successive Subspace Learning: An Overview

abstract: Successive Subspace Learning (SSL) offers a light-weight unsupervised feature learning method based on inherent statistical properties of data units (e.g. image pixels and points in point cloud sets). It has shown promising results, especially on small datasets. In this paper, we intuitively explain this method, provide an overview of its development, and point out some open questions and challenges for future research.


title: On the emergence of orientational order in folded proteins with implications for allostery

abstract: The beautiful structures of single and multi-domain proteins are clearly ordered in some fashion but cannot be readily classified using group theory methods that are successfully used to describe periodic crystals. For this reason, protein structures are considered to be aperiodic, and may have evolved this way for functional purposes, especially in instances that require a combination of softness and rigidity within the same molecule. By analyzing the solved protein structures, we show that orientational symmetry is broken in the aperiodic arrangement of the secondary structural elements (SSEs), which we deduce by calculating the nematic order parameter, $P_{2}$. We find that the folded structures are nematic droplets with a broad distribution of $P_{2}$. We argue that non-zero values of $P_{2}$, leads to an arrangement of the SSEs that can resist mechanical forces, which is a requirement for allosteric proteins. Such proteins, which resist mechanical forces in some regions while being flexible in others, transmit signals from one region of the protein to another (action at a distance) in response to binding of ligands (oxygen, ATP or other small molecules).


title: GRAD-MATCH: Gradient Matching based Data Subset Selection for Efficient Deep Model Training

abstract: The great success of modern machine learning models on large datasets is contingent on extensive computational resources with high financial and environmental costs. One way to address this is by extracting subsets that generalize on par with the full data. In this work, we propose a general framework, GRAD-MATCH, which finds subsets that closely match the gradient of the training or validation set. We find such subsets effectively using an orthogonal matching pursuit algorithm. We show rigorous theoretical and convergence guarantees of the proposed algorithm and, through our extensive experiments on real-world datasets, show the effectiveness of our proposed framework. We show that GRAD-MATCH significantly and consistently outperforms several recent data-selection algorithms and achieves the best accuracy-efficiency trade-off. GRAD-MATCH is available as a part of the CORDS toolkit: \url{https://github.com/decile-team/cords}.


title: NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

abstract: This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable for analysis using the Symbolic PathFinder symbolic execution tool. Notably, NEUROSPF encodes specialized peer classes for parsing the model's parameters, thereby enabling efficient analysis. With NEUROSPF the user has the flexibility to specify either the inputs or the network internal parameters as symbolic, promoting the application of program analysis and testing approaches from software engineering to the field of machine learning. For instance, NEUROSPF can be used for coverage-based testing and test generation, finding adversarial examples and also constraint-based repair of neural networks, thus improving the reliability of neural networks and of the applications that use them. Video URL: https://youtu.be/seal8fG78LI


title: Deep Learning-based Compressive Beam Alignment in mmWave Vehicular Systems

abstract: Millimeter wave vehicular channels exhibit structure that can be exploited for beam alignment with fewer channel measurements compared to exhaustive beam search. With fixed layouts of roadside buildings and regular vehicular moving trajectory, the dominant path directions of channels will likely be among a subset of beam directions instead of distributing randomly over the whole beamspace. In this paper, we propose a deep learning-based technique to design a structured compressed sensing (CS) matrix that is well suited to the underlying channel distribution for mmWave vehicular beam alignment. The proposed approach leverages both sparsity and the particular spatial structure that appears in vehicular channels. We model the compressive channel acquisition by a two-dimensional (2D) convolutional layer followed by dropout. We design fully-connected layers to optimize channel acquisition and beam alignment. We incorporate the low-resolution phase shifter constraint during neural network training by using projected gradient descent for weight updates. Furthermore, we exploit channel spectral structure to optimize the power allocated for different subcarriers. Simulations indicate that our deep learning-based approach achieves better beam alignment than standard CS techniques which use random phase shift-based design. Numerical experiments also show that one single subcarrier is sufficient to provide necessary information for beam alignment.


title: SCMA Codebook Design Based on Uniquely Decomposable Constellation Groups

abstract: Sparse code multiple access (SCMA), which helps improve spectrum efficiency (SE) and enhance connectivity, has been proposed as a non-orthogonal multiple access (NOMA) scheme for 5G systems. In SCMA, codebook design determines system overload ratio and detection performance at a receiver. In this paper, an SCMA codebook design approach is proposed based on uniquely decomposable constellation group (UDCG). We show that there are $N+1 (N \geq 1)$ constellations in the proposed UDCG, each of which has $M (M \geq 2)$ constellation points. These constellations are allocated to users sharing the same resource. Combining the constellations allocated on multiple resources of each user, we can obtain UDCG-based codebook sets. Bit error ratio (BER) performance will be discussed in terms of coding gain maximization with superimposed constellations and UDCG-based codebooks. Simulation results demonstrate that the superimposed constellation of each resource has large minimum Euclidean distance (MED) and meets uniquely decodable constraint. Thus, BER performance of the proposed codebook design approach outperforms that of the existing codebook design schemes in both uncoded and coded SCMA systems, especially for large-size codebooks.


title: Visualizing Music Genres using a Topic Model

abstract: Music Genres serve as an important meta-data in the field of music information retrieval and have been widely used for music classification and analysis tasks. Visualizing these music genres can thus be helpful for music exploration, archival and recommendation. Probabilistic topic models have been very successful in modelling text documents. In this work, we visualize music genres using a probabilistic topic model. Unlike text documents, audio is continuous and needs to be sliced into smaller segments. We use simple MFCC features of these segments as musical words. We apply the topic model on the corpus and subsequently use the genre annotations of the data to interpret and visualize the latent space.


title: PRISM: A Rich Class of Parameterized Submodular Information Measures for Guided Subset Selection

abstract: With ever-increasing dataset sizes, subset selection techniques are becoming increasingly important for a plethora of tasks. It is often necessary to guide the subset selection to achieve certain desiderata, which includes focusing or targeting certain data points, while avoiding others. Examples of such problems include: i)targeted learning, where the goal is to find subsets with rare classes or rare attributes on which the model is underperforming, and ii)guided summarization, where data (e.g., image collection, text, document or video) is summarized for quicker human consumption with specific additional user intent. Motivated by such applications, we present PRISM, a rich class of PaRameterIzed Submodular information Measures. Through novel functions and their parameterizations, PRISM offers a variety of modeling capabilities that enable a trade-off between desired qualities of a subset like diversity or representation and similarity/dissimilarity with a set of data points. We demonstrate how PRISM can be applied to the two real-world problems mentioned above, which require guided subset selection. In doing so, we show that PRISM interestingly generalizes some past work, therein reinforcing its broad utility. Through extensive experiments on diverse datasets, we demonstrate the superiority of PRISM over the state-of-the-art in targeted learning and in guided image-collection summarization


title: Music Genre Bars

abstract: Music Genres, as a popular meta-data of music, are very useful to organize, explore or search music datasets. Soft music genres are weighted multiple-genre annotations to songs. In this initial work, we propose horizontally stacked bar charts to represent a music dataset annotated by these soft music genres. For this purpose, we take an example of a toy dataset consisting of songs labelled with help of three music genres; Blues, Jazz and Country. We demonstrate how such a stacked bar chart can be used as a slider for user-input in an interface. We implement this by embedding this genre bar in a streaming application prototype and show its utility in choosing playlists. We finally conclude by proposing further work and future explorations on our proposed preliminary research.


title: Efficient Soft-Error Detection for Low-precision Deep Learning Recommendation Models

abstract: Soft error, namely silent corruption of signal or datum in a computer system, cannot be caverlierly ignored as compute and communication density grow exponentially. Soft error detection has been studied in the context of enterprise computing, high-performance computing and more recently in convolutional neural networks related to autonomous driving. Deep learning recommendation systems (DLRMs) have by now become ubiquitous and serve billions of users per day. Nevertheless, DLRM-specific soft error detection methods are hitherto missing. To fill the gap, this paper presents the first set of soft-error detection methods for low-precision quantized-arithmetic operators in DLRM including general matrix multiplication (GEMM) and EmbeddingBag. A practical method must detect error and do so with low overhead lest reduced inference speed degrades user experience. Exploiting the characteristics of both quantized arithmetic and the operators, we achieved more than 95% detection accuracy for GEMM with an overhead below 20%. For EmbeddingBag, we achieved 99% effectiveness in significant-bit-flips detection with less than 10% of false positives, while keeping overhead below 26%.


title: A Low-Complexity ADMM-based Massive MIMO Detectors via Deep Neural Networks

abstract: An alternate direction method of multipliers (ADMM)-based detectors can achieve good performance in both small and large-scale multiple-input multiple-output (MIMO) systems. However, due to the difficulty of choosing the optimal penalty parameters, their performance is limited. This paper presents a deep neural network (DNN)-based massive MIMO detection method which can overcome the above limitation. It exploits the unfolding technique and learns to estimate the penalty parameters. Additionally, a computationally cheaper detector is also proposed. The proposed methods can handle the higher-order modulation signals. Numerical results are presented to demonstrate the performances of the proposed methods compared with the existing works.


title: Interplay of transport mechanisms during the evaporation of a pinned sessile water droplet

abstract: Droplet evaporation has been intensively investigated in past decades owing to its emerging applications in diverse fields of science and technology. Yet the role transport mechanisms has been the subject of a heated debate, especially the presence of Marangoni flow in water droplets. This work aims to draw a clear picture of the switching transport mechanisms inside a drying pinned sessile water droplet in both the presence and absence of thermocapillarity by developing a comprehensive model that accounts for all pertinent physics in both phases as well as interfacial phenomena at the interface. The model reveals a hitherto unexplored mixed radial and buoyant flow by shedding light on the transition from buoyancy induced Rayleigh flow to the radial flow causing coffee ring effect. Predictions of the model excellently match previous experimental results across varying substrate temperatures only in the absence of Marangoni flow. When thermocapillarity is accounted for, strong surface flows shape the liquid velocity field during most of the droplet lifetime and the model starts to overestimate evaporation rates with increasing substrate temperature.


title: Coordinated Cyber-Attack Detection Model of Cyber-Physical Power System Based on the Operating State Data Link

abstract: Existing coordinated cyber-attack detection methods have low detection accuracy and efficiency and poor generalization ability due to difficulties dealing with unbalanced attack data samples, high data dimensionality, and noisy data sets. This paper proposes a model for cyber and physical data fusion using a data link for detecting attacks on a Cyber-Physical Power System (CPPS). Two-step principal component analysis (PCA) is used for classifying the system's operating status. An adaptive synthetic sampling algorithm is used to reduce the imbalance in the categories' samples. The loss function is improved according to the feature intensity difference of the attack event, and an integrated classifier is established using a classification algorithm based on the cost-sensitive gradient boosting decision tree (CS-GBDT). The simulation results show that the proposed method provides higher accuracy, recall, and F-Score than comparable algorithms.


title: Structural Characterization of Oscillations in Brain Networks with Rate Dynamics

abstract: Among the versatile forms of dynamical patterns of activity exhibited by the brain, oscillations are one of the most salient and extensively studied, yet are still far from being well understood. In this paper, we provide various structural characterizations of the existence of oscillatory behavior in neural networks using a classical neural mass model of mesoscale brain activity called linear-threshold dynamics. Exploiting the switched-affine nature of this dynamics, we obtain various necessary and/or sufficient conditions on the network structure and its external input for the existence of oscillations in (i) two-dimensional excitatory-inhibitory networks (E-I pairs), (ii) networks with one inhibitory but arbitrary number of excitatory nodes, (iii) purely inhibitory networks with an arbitrary number of nodes, and (iv) networks of E-I pairs. Throughout our treatment, and given the arbitrary dimensionality of the considered dynamics, we rely on the lack of stable equilibria as a system-based proxy for the existence of oscillations, and provide extensive numerical results to support its tight relationship with the more standard, signal-based definition of oscillations in computational neuroscience.


title: Controlling relaxation dynamics of excitonic states in monolayer transition metal dichalcogenides WS2 through interface engineering

abstract: Transition metal dichalcogenides (TMDs) are known to support complex excitonic states. Revealing the differences in relaxation dynamics among different excitonic species and elucidating the transition dynamics between them may provide important guidelines for designing TMD-based excitonic devices. Combining photoluminescence (PL) and reflectance contrast measurements with ultrafast pump-probe spectroscopy under cryogenic temperatures, we herein study the relaxation dynamics of neutral and charged excitons in a back-gate-controlled monolayer device. Pump-probe results reveal quite different relaxation dynamics of excitonic states under different interfacial conditions: while neutral excitons experience much longer lifetime than trions in monolayer WS2, the opposite is true in the WS2/h-BN heterostructure. It is found that the insertion of h-BN layer between the TMD monolayer and the substrate has a great influence on the lifetimes of different excitonic states. The h-BN flakes can not only screen the effects of impurities and defects at the interface, but also help establish a non-radiative transition from neutral excitons to trions to be the dominant relaxation pathway, under cryogenic temperature. Our findings highlight the important role interface may play in governing the transient properties of carriers in 2D semiconductors, and may also have implications for designing light-emitting and photo-detecting devices based on TMDs.


title: Incorporating Causal Graphical Prior Knowledge into Predictive Modeling via Simple Data Augmentation

abstract: Causal graphs (CGs) are compact representations of the knowledge of the data generating processes behind the data distributions. When a CG is available, e.g., from the domain knowledge, we can infer the conditional independence (CI) relations that should hold in the data distribution. However, it is not straightforward how to incorporate this knowledge into predictive modeling. In this work, we propose a model-agnostic data augmentation method that allows us to exploit the prior knowledge of the CI encoded in a CG for supervised machine learning. We theoretically justify the proposed method by providing an excess risk bound indicating that the proposed method suppresses overfitting by reducing the apparent complexity of the predictor hypothesis class. Using real-world data with CGs provided by domain experts, we experimentally show that the proposed method is effective in improving the prediction accuracy, especially in the small-data regime.


title: Meta-Learning with Graph Neural Networks: Methods and Applications

abstract: Graph Neural Networks (GNNs), a generalization of deep neural networks on graph data have been widely used in various domains, ranging from drug discovery to recommender systems. However, GNNs on such applications are limited when there are few available samples. Meta-learning has been an important framework to address the lack of samples in machine learning, and in recent years, researchers have started to apply meta-learning to GNNs. In this work, we provide a comprehensive survey of different meta-learning approaches involving GNNs on various graph problems showing the power of using these two approaches together. We categorize the literature based on proposed architectures, shared representations, and applications. Finally, we discuss several exciting future research directions and open problems.


title: Geometric Distances of Quasars Measured by Spectroastrometry and Reverberation Mapping:Monte Carlo Simulations

abstract: Recently, GRAVITY onboard the Very Large Telescope Interferometer (VLTI) first spatially resolved the structure of the quasar 3C 273 with an unprecedented resolution of $\sim 10\mu$as. A new method of measuring parallax distances has been successfully applied to the quasar through joint analysis of spectroastrometry (SA) and reverberation mapping (RM) observation of its broad line region (BLR). The uncertainty of this SA and RM (SARM) measurement is about $16\%$ from real data, showing its great potential as a powerful tool for precision cosmology. In this paper, we carry out detailed analyses of mock data to study impacts of data qualities of SA observations on distance measurements and establish a quantitative relationship between statistical uncertainties of distances and relative errors of differential phases. We employ a circular disk model of BLR for the SARM analysis. We show that SARM analyses of observations generally generate reliable quasar distances, even for relatively poor SA measurements with error bars of $40\%$ at peaks of phases. Inclinations and opening angles of BLRs are the major parameters governing distance uncertainties. It is found that BLRs with inclinations $\gtrsim 10^{\circ}$ and opening angles $\lesssim 40^{\circ}$ are the most reliable regimes from SARM analysis for distance measurements. Through analysis of a mock sample of AGNs generated by quasar luminosity functions, we find that if the GRAVITY/GRAVITY+ can achieve a phase error of $0.1^{\circ}$ per baseline for targets with magnitudes $K \lesssim 11.5$, the SARM campaign can constrain $H_0$ to an uncertainty of $2\%$ by observing $60$ targets.


title: Scalable Causal Domain Adaptation

abstract: One of the most critical problems in transfer learning is the task of domain adaptation, where the goal is to apply an algorithm trained in one or more source domains to a different (but related) target domain. This paper deals with domain adaptation in the presence of covariate shift while invariances exist across domains. One of the main limitations of existing causal inference methods for solving this problem is scalability. To overcome this difficulty, we propose SCTL, an algorithm that avoids an exhaustive search and identifies invariant causal features across source and target domains based on Markov blanket discovery. SCTL does not require having prior knowledge of the causal structure, the type of interventions, or the intervention targets. There is an intrinsic locality associated with SCTL that makes it practically scalable and robust because local causal discovery increases the power of computational independence tests and makes the task of domain adaptation computationally tractable. We show the scalability and robustness of SCTL for domain adaptation using synthetic and real data sets in low-dimensional and high-dimensional settings.


title: Open-set Intersection Intention Prediction for Autonomous Driving

abstract: Intention prediction is a crucial task for Autonomous Driving (AD). Due to the variety of size and layout of intersections, it is challenging to predict intention of human driver at different intersections, especially unseen and irregular intersections. In this paper, we formulate the prediction of intention at intersections as an open-set prediction problem that requires context specific matching of the target vehicle state and the diverse intersection configurations that are in principle unbounded. We capture map-centric features that correspond to intersection structures under a spatial-temporal graph representation, and use two MAAMs (mutually auxiliary attention module) that cover respectively lane-level and exitlevel intentions to predict a target that best matches intersection elements in map-centric feature space. Under our model, attention scores estimate the probability distribution of the openset intentions that are contextually defined by the structure of the current intersection. The proposed model is trained and evaluated on simulated dataset. Furthermore, the model, trained on simulated dataset and without any fine tuning, is directly validated on in-house real-world dataset collected at 98 realworld intersections and exhibits satisfactory performance,demonstrating the practical viability of our approach.


title: A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms

abstract: Abstract syntax tree (AST) mapping algorithms are widely used to analyze changes in source code. Despite the foundational role of AST mapping algorithms, little effort has been made to evaluate the accuracy of AST mapping algorithms, i.e., the extent to which an algorihtm captures the evolution of code. We observe that a program element often has only one best-mapped program element. Based on this observation, we propose a hierarchical approach to automatically compare the similarity of mapped statements and tokens by different algorithms. By performing the comparison, we determine if each of the compared algorithms generates inaccurate mappings for a statement or its tokens. We invite 12 external experts to determine if three commonly used AST mapping algorithms generate accurate mappings for a statement and its tokens for 200 statements. Based on the experts' feedback,we observe that our approach achieves a precision of 0.98--1.00 and a recall of 0.65--0.75. Furthermore, we conduct a large-scale study with a dataset of ten Java projects, containing a total of 263,165 file revisions. Our approach determines that GumTree, MTDiff and IJM generate inaccurate mappings for 20%--29%, 25%--36% and 21%--30% of the file revisions, respectively. Our experimental results show that state-of-art AST mapping agorithms still need improvements.


title: Disentangling Geometric Deformation Spaces in Generative Latent Shape Models

abstract: A complete representation of 3D objects requires characterizing the space of deformations in an interpretable manner, from articulations of a single instance to changes in shape across categories. In this work, we improve on a prior generative model of geometric disentanglement for 3D shapes, wherein the space of object geometry is factorized into rigid orientation, non-rigid pose, and intrinsic shape. The resulting model can be trained from raw 3D shapes, without correspondences, labels, or even rigid alignment, using a combination of classical spectral geometry and probabilistic disentanglement of a structured latent representation space. Our improvements include more sophisticated handling of rotational invariance and the use of a diffeomorphic flow network to bridge latent and spectral space. The geometric structuring of the latent space imparts an interpretable characterization of the deformation space of an object. Furthermore, it enables tasks like pose transfer and pose-aware retrieval without requiring supervision. We evaluate our model on its generative modelling, representation learning, and disentanglement performance, showing improved rotation invariance and intrinsic-extrinsic factorization quality over the prior model.


title: SPDC: once again on the parameters of transverse entanglement outside the near zone

abstract: As known, the degree of entanglement of biphoton states with respect to the transverse components of photon wave vectors (momenta) or coordinates can be characterized either by the parameter K associated with the Schmidt decompositions, or by the parameter R, defined as the ratio of the widths of the unconditional and conditional single-particle distributions of biphoton states. As entanglement is a fundamental characteristics of a state, it must be independent of a choice of its different representations, i.e. its entanglement parameters must be identical in the coordinate and momentum representations. Likewise, entanglement itself and its characterization parameters must remain constant along the photon propagation length. It's known, however, that only the parameter K obeys these requirements, whereas the parameter R in the coordinate representation deviates from K beyond the near zone and, thus, becomes inapplicable as a measure of the degree of entablement. But, as shown below, there is a way of saving the parameter R by means of modifying its definition in such a way that the modified parameter R turns out to be as good as the parameter K both in the momentum and coordinate representations, as well as in the near and far zones and everywhere between them. We will discuss also possible ways of measuring this newly defined parameter R experimentally.


title: \textit{Gaia} EDR3 confirms a red dwarf companion of the nearby F1 star HD 105452 and reveals a new brown dwarf companion of the M4.5 dwarf SCR J1214-2345

abstract: There are 88 stars which lack colours, but have measured parallaxes in \textit{Gaia} EDR3 that place them within 20\,pc from the sun. Among them we found two new common parallax and proper motion (CPPM) companions separated from their primaries by about 3\,arcsec. The CPPM companion of a nearby ($d=14.98$\,pc) F1 star, \object{HD 105452 B}, was already imaged with the \textit{Hubble Space Telescope} and is now confirmed with \textit{Gaia} data and photometrically classified by us as M4 dwarf. The other CPPM companion, \object{SCR J1214-2345 B} orbiting an M4.5 dwarf at $d=10.77$\,pc, represents the faintest brown dwarf discovery made by \textit{Gaia} so far. It was also imaged by the VISTA Hemisphere Survey and partly detected in the near-infrared. Our photometric classification led to an uncertain spectal type of T1$\pm$3 and needs to be confirmed by spectroscopic follow-up.


title: Pedestrian Motion State Estimation From 2D Pose

abstract: Traffic violation and the flexible and changeable nature of pedestrians make it more difficult to predict pedestrian behavior or intention, which might be a potential safety hazard on the road. Pedestrian motion state (such as walking and standing) directly affects or reflects its intention. In combination with pedestrian motion state and other influencing factors, pedestrian intention can be predicted to avoid unnecessary accidents. In this paper, pedestrian is treated as non-rigid object, which can be represented by a set of two-dimensional key points, and the movement of key point relative to the torso is introduced as micro motion. Static and dynamic micro motion features, such as position, angle and distance, and their differential calculations in time domain, are used to describe its motion pattern. Gated recurrent neural network based seq2seq model is used to learn the dependence of motion state transition on previous information, finally the pedestrian motion state is estimated via a softmax classifier. The proposed method only needs the previous hidden state of GRU and current feature to evaluate the probability of current motion state, and it is computation efficient to deploy on vehicles. This paper verifies the proposed algorithm on the JAAD public dataset, and the accuracy is improved by 11.6% compared with the existing method.


title: From distributive l-monoids to l-groups, and back again

abstract: We prove that an inverse-free equation is valid in the variety LG of lattice-ordered groups (l-groups) if and only if it is valid in the variety DLM of distributive lattice-ordered monoids (distributive l-monoids). This contrasts with the fact that, as proved by Repnitskii, there exist inverse-free equations that are valid in all Abelian l-groups but not in all commutative distributive l-monoids, and, as we prove here, there exist inverse-free equations that hold in all totally ordered groups but not in all totally ordered monoids. We also prove that DLM has the finite model property and a decidable equational theory, establish a correspondence between the validity of equations in DLM and the existence of certain right orders on free monoids, and provide an effective method for reducing the validity of equations in LG to the validity of equations in DLM.


title: Statistical Measures For Defining Curriculum Scoring Function

abstract: Curriculum learning is a training strategy that sorts the training examples by some measure of their difficulty and gradually exposes them to the learner to improve the network performance. Motivated by our insights from implicit curriculum ordering, we first introduce a simple curriculum learning strategy that uses statistical measures such as standard deviation and entropy values to score the difficulty of data points for real image classification tasks. We empirically show its improvements in performance with convolutional and fully-connected neural networks on multiple real image datasets. We also propose and study the performance of a dynamic curriculum learning algorithm. Our dynamic curriculum algorithm tries to reduce the distance between the network weight and an optimal weight at any training step by greedily sampling examples with gradients that are directed towards the optimal weight. Further, we use our algorithms to discuss why curriculum learning is helpful.


title: Scalable federated machine learning with FEDn

abstract: Federated machine learning has great promise to overcome the input privacy challenge in machine learning. The appearance of several projects capable of simulating federated learning has led to a corresponding rapid progress on algorithmic aspects of the problem. However, there is still a lack of federated machine learning frameworks that focus on fundamental aspects such as scalability, robustness, security, and performance in a geographically distributed setting. To bridge this gap we have designed and developed the FEDn framework. A main feature of FEDn is to support both cross-device and cross-silo training settings. This makes FEDn a powerful tool for researching a wide range of machine learning applications in a realistic setting.


title: Bounds for moments of Dirichlet $L$-functions to a fixed modulus

abstract: We study the $2k$-th moment of central values of the family of Dirichlet $L$-functions to a fixed prime modulus. We establish sharp lower bounds for all real $k \geq 0$ and sharp upper bounds for $k$ in the range $0 \leq k \leq 1$.


title: Quantum phases of spin-1 system on 3/4 and 3/5 skewed ladders

abstract: We study the quantum phase transitions of frustrated antiferromagnetic Heisenberg spin-1 systems on the 3/4 and 3/5 skewed two leg ladder geometries. These systems can be viewed as arising by periodically removing rung bonds from a zigzag ladder. We find that in large systems, the ground state (gs) of the 3/4 ladder switches from a singlet to a magnetic state for $J_1 \ge 1.82$; the gs spin corresponds to ferromagnetic alignment of effective $S = 2$ objects on each unit cell. The gs of antiferromagnetic exchange Heisenberg spin-1 system on a 3/5 skewed ladder is highly frustrated and has spiral spin arrangements. The amplitude of the spin density wave in the 3/5 ladder is significantly larger compared to that in the magnetic state of the 3/4 ladder. The gs of the system switches between singlet state and low spin magnetic states multiple times on tuning $J_1$ in a finite size system. The switching pattern is nonmonotonic as a function of $J_1$, and depends on the system size. It appears to be the consequence of higher $J_1$ favoring higher spin magnetic state and the finite system favoring a standing spin wave. For some specific parameter values, the magnetic gs in the 3/5 system is doubly degenerate in two different mirror symmetry subspaces. This degeneracy leads to spontaneous spin parity and mirror symmetry breaking giving rise to spin current in the gs of the system.


title: Affine equivalences of surfaces of translation and minimal surfaces, and applications to symmetry detection and design

abstract: We introduce a characterization for affine equivalence of two surfaces of translation defined by either rational or meromorphic generators. In turn, this induces a similar characterization for minimal surfaces. In the rational case, our results provide algorithms for detecting affine equivalence of these surfaces, and therefore, in particular, the symmetries of a surface of translation or a minimal surface of the considered types. Additionally, we apply our results to designing surfaces of translation and minimal surfaces with symmetries, and to computing the symmetries of the higher-order Enneper surfaces.


title: Phonon Hall effect with first-principles calculations

abstract: Phonon Hall effect (PHE) has attracted a lot of attention in recent years with many theoretical and experimental explorations published. While experiments work on complicated materials, theoretical studies are still hovering around the phenomenon-based models. Moreover, previous microscopic theory was found unable to explain large thermal Hall conductivity obtained by experiments in strontium titanate (STO). Therefore, as a first attempt to bridge this gap, we implement first-principles calculations to explore the PHE in real materials. Our work provides a new benchmark of the PHE in sodium chloride (NaCl) under a large external magnetic field. Moreover, we demonstrate our results in barium titanate (BTO), and discuss the results in STO in detail about their deviation from experiments. As a possible future direction, we further propose that the inner electronic Berry curvature plays an important role in the PHE in STO.


title: Detecting Harmful Content On Online Platforms: What Platforms Need Vs. Where Research Efforts Go

abstract: The proliferation of harmful content on online platforms is a major societal problem, which comes in many different forms including hate speech, offensive language, bullying and harassment, misinformation, spam, violence, graphic content, sexual abuse, self harm, and many other. Online platforms seek to moderate such content to limit societal harm, to comply with legislation, and to create a more inclusive environment for their users. Researchers have developed different methods for automatically detecting harmful content, often focusing on specific sub-problems or on narrow communities, as what is considered harmful often depends on the platform and on the context. We argue that there is currently a dichotomy between what types of harmful content online platforms seek to curb, and what research efforts there are to automatically detect such content. We thus survey existing methods as well as content moderation policies by online platforms in this light and we suggest directions for future work.


title: Parallel Algorithms for Densest Subgraph Discovery Using Shared Memory Model

abstract: The problem of finding dense components of a graph is a widely explored area in data analysis, with diverse applications in fields and branches of study including community mining, spam detection, computer security and bioinformatics. This research project explores previously available algorithms in order to study them and identify potential modifications that could result in an improved version with considerable performance and efficiency leap. Furthermore, efforts were also steered towards devising a novel algorithm for the problem of densest subgraph discovery. This paper presents an improved implementation of a widely used densest subgraph discovery algorithm and a novel parallel algorithm which produces better results than a 2-approximation.


title: Gravitational-wave cosmological distances in scalar-tensor theories of gravity

abstract: We analyze the propagation of high-frequency gravitational waves (GW) in scalar-tensor theories of gravity, with the aim of examining properties of cosmological distances as inferred from GW measurements. By using symmetry principles, we first determine the most general structure of the GW linearized equations and of the GW energy momentum tensor, assuming that GW move with the speed of light. Modified gravity effects are encoded in a small number of parameters, and we study the conditions for ensuring graviton number conservation in our covariant set-up. We then apply our general findings to the case of GW propagating through a perturbed cosmological space-time, deriving the expressions for the GW luminosity distance $d_L^{({\rm GW})}$ and the GW angular distance $d_A^{({\rm GW})}$. We prove for the first time the validity of Etherington reciprocity law $d_L^{({\rm GW})}\,=\,(1+z)^2\,d_A^{({\rm GW})}$ for a perturbed universe within a scalar-tensor framework. We find that besides the GW luminosity distance, also the GW angular distance can be modified with respect to General Relativity. We discuss implications of this result for gravitational lensing, focussing on time-delays of lensed GW and lensed photons emitted simultaneously during a multimessenger event. We explicitly show how modified gravity effects compensate between different coefficients in the GW time-delay formula: lensed GW arrive at the same time as their lensed electromagnetic counterparts, in agreement with causality constraints.


title: Extracting Concise Bug-Fixing Patches from Human-Written Patches in Version Control Systems

abstract: High-quality and large-scale repositories of real bugs and their concise patches collected from real-world applications are critical for research in software engineering community. In such a repository, each real bug is explicitly associated with its fix. Therefore, on one side, the real bugs and their fixes} may inspire novel approaches for finding, locating, and repairing software bugs; on the other side, the real bugs and their fixes are indispensable for rigorous and meaningful evaluation of approaches for software testing, fault localization, and program repair. To this end, a number of such repositories, e.g., Defects4J, have been proposed. However, such repositories are rather small because their construction involves expensive human intervention. Although bug-fixing code commits as well as associated test cases could be retrieved from version control systems automatically, existing approaches could not yet automatically extract concise bug-fixing patches from bug-fixing commits because such commits often involve bug-irrelevant changes. In this paper, we propose an automatic approach, called BugBuilder, to extracting complete and concise bug-fixing patches from human-written patches in version control systems. It excludes refactorings by detecting refactorings involved in bug-fixing commits, and reapplying detected refactorings on the faulty version. It enumerates all subsets of the remaining part and validates them on test cases. If none of the subsets has the potential to be a complete bug-fixing patch, the remaining part as a whole is taken as a complete and concise bug-fixing patch. Evaluation results on 809 real bug-fixing commits in Defects4J suggest that BugBuilder successfully generated complete and concise bug-fixing patches for forty percent of the bug-fixing commits, and its precision (99%) was even higher than human experts.


title: A Generative Model for Extrapolation Prediction in Materials Informatics

abstract: We report a deep generative model for regression tasks in materials informatics. The model is introduced as a component of a data imputer, and predicts more than 20 diverse experimental properties of organic molecules. The imputer is designed to predict material properties by "imagining" the missing data in the database, enabling the use of incomplete material data. Even removing 60% of the data does not diminish the prediction accuracy in a model task. Moreover, the model excels at extrapolation prediction, where target values of the test data are out of the range of the training data. Such extrapolation has been regarded as an essential technique for exploring novel materials, but has hardly been studied to date due to its difficulty. We demonstrate that the prediction performance can be improved by >30% by using the imputer compared with traditional linear regression and boosting models. The benefit becomes especially pronounced with few records for an experimental property (< 100 cases) when prediction would be difficult by conventional methods. The presented approach can be used to more efficiently explore functional materials and break through previous performance limits.


title: Hybrid model of proton structure functions

abstract: We develop a "hybrid" model of the proton inelastic structure functions applicable in a wide region of invariant mass of produced states $W$ and invariant momentum transfer $Q$ including deep inelastic scattering (DIS), nucleon resonance production as well as the region close to inelastic threshold. DIS is described in terms of the parton distributions together with higher-twist corrections from an available global QCD fit. The resonant part is addressed in terms of the Breit-Wiegner contributions from five states including the $\Delta(1232)$ resonance, the $N(1440)$ Roper resonance, and three effective resonances describing the second and third resonance regions. The couplings of the nucleon resonances to photon are described in terms of helicity amplitudes. The nonresonant background is addressed in terms of DIS structure functions smoothly extrapolated to low-$W$ and low-$Q$ values with the proper behavior at the real photon limit $Q^2=0$ as well as near the inelastic threshold. We independently treat the transverse $F_T$ and the longitudinal $F_L$ structure function and fix the model parameters from a global analysis of the world hydrogen electroproduction and photoproduction cross-section data. We demonstrate a very good performance of the model by comparing our predictions with data on differential cross sections and the structure functions $F_2$ and $R=F_L/F_T$.


title: Blow-up in a quasilinear parabolic-elliptic Keller-Segel system with logistic source

abstract: This paper deals with the quasilinear parabolic-elliptic Keller-Segel system with logistic source, \begin{align*} u_t=\Delta (u+1)^m - \chi \nabla \cdot (u(u+1)^{\alpha - 1} \nabla v) + \lambda(|x|) u - \mu(|x|) u^\kappa, \quad 0=\Delta v - v + u, \quad x\in\Omega,\ t>0, \end{align*} where $\Omega:=B_{R}(0)\subset\mathbb{R}^n\ (n\ge3)$ is a ball with some $R>0$; $m>0$, $\chi>0$, $\alpha>0$ and $\kappa\ge1$; $\lambda$ and $\mu$ are spatially radial nonnegative functions. About this problem, Winkler (Z. Angew. Math. Phys.; 2018; 69; Art. 69, 40) found the condition for $\kappa$ such that solutions blow up in finite time when $m=\alpha=1$. In the case that $m=1$ and $\alpha\in(0,1)$ as well as $\lambda$ and $\mu$ are constant, some conditions for $\alpha$ and $\kappa$ such that blow-up occurs were obtained in a previous paper (Math. Methods Appl. Sci.; 2020; 43; 7372-7396). Moreover, in the case that $m\ge1$ and $\alpha=1$ Black, Fuest and Lankeit (arXiv:2005.12089[math.AP]) showed that there exists initial data such that solutions blow up in finite time under some conditions for $m$ and $\kappa$. The purpose of the present paper is to give conditions for $m\ge1$, $\alpha>0$ and $\kappa\ge1$ such that solutions blow up in finite time.


title: Time-decay estimates for linearized two-phase Navier-Stokes equations with surface tension and gravity

abstract: The aim of this paper is to show time-decay estimates of solutions to linearized two-phase Navier-Stokes equations with surface tension and gravity. The original two-phase Navier-Stokes equations describe the two-phase incompressible viscous flow with a sharp interface that is close to the hyperplane $x_N=0$ in the $N$-dimensional Euclidean space, $N \geq 2$. It is well-known that the Rayleigh-Taylor instability occurs when the upper fluid is heavier than the lower one, while this paper assumes that the lower fluid is heavier than the upper one and proves time-decay estimates of $L_p-L_q$ type for the linearized equations. Our approach is based on solution formulas, given by Shibata and Shimizu (2011), for a resolvent problem associated with the linearized equations.


title: On the optical Stark effect of excitons in InGaAs prolate ellipsoidal quantum dots

abstract: In this paper, we study the exciton absorption spectra in InGaAs prolate ellipsoidal quantum dots when a strong pump laser resonant with electron quantized levels is active. Our obtained results by renormalized wavefunction theory show that, under suitable conditions, the initial exciton absorption peak is split into two new peaks as the evidence of the existence of the three-level optical Stark effect of excitons. We have suggested an explanation of the origin of the effect as well as investigating the effect of pump field energy, size, and geometric shape of the quantum dots on effect characteristics. The comparison with the results obtained in the spherical quantum dots implies the important role of geometric shape of the quantum structures when we examine this effect.


title: Surface-response functions obtained from equilibrium electron-density profiles

abstract: Surface-response functions are one of the most promising routes for bridging the gap between fully quantum-mechanical calculations and phenomenological models in quantum nanoplasmonics. Within all the currently available recipes for obtaining such response functions, \emph{ab initio} calculations remain one of the most predominant, wherein the surface-response function are retrieved via the metal's non-equilibrium response to an external perturbation. Here, we present a complementary approach where one of the most appealing surface-response functions, namely the Feibelman $d$-parameters, yield a finite contribution even in the case where they are calculated directly from the equilibrium properties described under the local-response approximation (LRA), but with a spatially varying equilibrium electron density. Using model calculations that mimic both spill-in and spill-out of the equilibrium electron density, we show that the obtained $d$-parameters are in qualitative agreement with more elaborate, but also more computationally demanding, \emph{ab initio} methods. The analytical work presented here illustrates how microscopic surface-response functions can emerge out of entirely local electrodynamic considerations.


title: Unsupervised Representations Predict Popularity of Peer-Shared Artifacts in an Online Learning Environment

abstract: In online collaborative learning environments, students create content and construct their own knowledge through complex interactions over time. To facilitate effective social learning and inclusive participation in this context, insights are needed into the correspondence between student-contributed artifacts and their subsequent popularity among peers. In this study, we represent student artifacts by their (a) contextual action logs (b) textual content, and (c) set of instructor-specified features, and use these representations to predict artifact popularity measures. Through a mixture of predictive analysis and visual exploration, we find that the neural embedding representation, learned from contextual action logs, has the strongest predictions of popularity, ahead of instructor's knowledge, which includes academic value and creativity ratings. Because this representation can be learnt without extensive human labeling effort, it opens up possibilities for shaping more inclusive student interactions on the fly in collaboration with instructors and students alike.


title: FeatureNorm: L2 Feature Normalization for Dynamic Graph Embedding

abstract: Dynamic graphs arise in a plethora of practical scenarios such as social networks, communication networks, and financial transaction networks. Given a dynamic graph, it is fundamental and essential to learn a graph representation that is expected not only to preserve structural proximity but also jointly capture the time-evolving patterns. Recently, graph convolutional network (GCN) has been widely explored and used in non-Euclidean application domains. The main success of GCN, especially in handling dependencies and passing messages within nodes, lies in its approximation to Laplacian smoothing. As a matter of fact, this smoothing technique can not only encourage must-link node pairs to get closer but also push cannot-link pairs to shrink together, which potentially cause serious feature shrink or oversmoothing problem, especially when stacking graph convolution in multiple layers or steps. For learning time-evolving patterns, a natural solution is to preserve historical state and combine it with the current interactions to obtain the most recent representation. Then the serious feature shrink or oversmoothing problem could happen when stacking graph convolution explicitly or implicitly according to current prevalent methods, which would make nodes too similar to distinguish each other. To solve this problem in dynamic graph embedding, we analyze the shrinking properties in the node embedding space at first, and then design a simple yet versatile method, which exploits L2 feature normalization constraint to rescale all nodes to hypersphere of a unit ball so that nodes would not shrink together, and yet similar nodes can still get closer. Extensive experiments on four real-world dynamic graph datasets compared with competitive baseline models demonstrate the effectiveness of the proposed method.


title: Lifelong Learning based Disease Diagnosis on Clinical Notes

abstract: Current deep learning based disease diagnosis systems usually fall short in catastrophic forgetting, i.e., directly fine-tuning the disease diagnosis model on new tasks usually leads to abrupt decay of performance on previous tasks. What is worse, the trained diagnosis system would be fixed once deployed but collecting training data that covers enough diseases is infeasible, which inspires us to develop a lifelong learning diagnosis system. In this work, we propose to adopt attention to combine medical entities and context, embedding episodic memory and consolidation to retain knowledge, such that the learned model is capable of adapting to sequential disease-diagnosis tasks. Moreover, we establish a new benchmark, named Jarvis-40, which contains clinical notes collected from various hospitals. Our experiments show that the proposed method can achieve state-of-the-art performance on the proposed benchmark.


title: Remarks on two connected papers about Keller-Segel systems with nonlinear production

abstract: These notes aim to provide a deeper insight on the specifics of two articles dealing with chemotaxis models with nonlinear production. More precisely, we are referring to the papers "Boundedness of solutions to a quasilinear parabolic-parabolic chemotaxis model with nonlinear signal production" by X. Tao, S. Zhou and M. Ding [J. Math. Anal. Appl. 474:1 (2019) 733-747] and "Boundedness for a fully parabolic Keller-Segel model with sublinear segregation and superlinear aggregation" by S. Frassu and G. Viglialoro [Acta Appl. Math. 171:1 (2021), 19]. These works, independently published in these last years, present results leaving open room for further improvement. Indeed, in the first a gap in the proof of the main claim appears, whereas the cornerstone assumption in the second is not sharp. In these pages we give a more complete picture to the relative underlying comprehension.


title: Inferring Unobserved Events in Systems With Shared Resources and Queues

abstract: To identify the causes of performance problems or to predict process behavior, it is essential to have correct and complete event data. This is particularly important for distributed systems with shared resources, e.g., one case can block another case competing for the same machine, leading to inter-case dependencies in performance. However, due to a variety of reasons, real-life systems often record only a subset of all events taking place. To understand and analyze the behavior and performance of processes with shared resources, we aim to reconstruct bounds for timestamps of events in a case that must have happened but were not recorded by inference over events in other cases in the system. We formulate and solve the problem by systematically introducing multi-entity concepts in event logs and process models. We introduce a partial-order based model of a multi-entity event log and a corresponding compositional model for multi-entity processes. We define PQR-systems as a special class of multi-entity processes with shared resources and queues. We then study the problem of inferring from an incomplete event log unobserved events and their timestamps that are globally consistent with a PQR-system. We solve the problem by reconstructing unobserved traces of resources and queues according to the PQR-model and derive bounds for their timestamps using a linear program. While the problem is illustrated for material handling systems like baggage handling systems in airports, the approach can be applied to other settings where recording is incomplete. The ideas have been implemented in ProM and were evaluated using both synthetic and real-life event logs.


title: Voltage Feasibility Boundaries for Power System Security Assessment

abstract: Modern power systems face a grand challenge in grid management due to increased electricity demand, imminent disturbances, and uncertainties associated with renewable generation, which can compromise grid security. The security assessment is directly connected to the robustness of the operating condition and is evaluated by analyzing proximity to the power flow solution space's boundary. Calculating location of such a boundary is a computationally challenging task, linked to the power flow equations' non-linear nature, presence of technological constraints, and complicated network topology. In this paper we introduce a general framework to characterize points on the power flow solution space boundary in terms of auxiliary variables subject to algebraic constraints. Then we develop an adaptive continuation algorithm to trace 1-dimensional sections of boundary curves which exhibits robust performance and computational tractability. Implementation of the algorithm is described in detail, and its performance is validated on different test networks.


title: Curvature-driven homogeneous Dzyaloshinskii-Moriya interaction and emergent weak ferromagnetism in anisotropic antiferromagnetic spin chains

abstract: Chiral antiferromagnets are currently considered for broad range of applications in spintronics, spin-orbitronics and magnonics. In contrast to the established approach relying on materials screening, the anisotropic and chiral responses of low-dimensional antifferromagnets can be tailored relying on the geometrical curvature. Here, we consider an achiral, anisotropic antiferromagnetic spin chain and demonstrate that these systems possess geometry-driven effects stemming not only from the exchange interaction but also from the anisotropy. Peculiarly, the anisotropy-driven effects are complementary to the curvature effects stemming from the exchange interaction and rather strong as they are linear in curvature. These effects are responsible for the tilt of the equilibrium direction of vector order parameters and the appearance of the homogeneous Dzyaloshinskii-Moriya interaction. The latter is a source of the geometry-driven weak ferromagnetism emerging in curvilinear antiferromagnetic spin chains. Our findings provide a deeper fundamental insight into the physics of curvilinear antiferromagnets beyond the $\sigma$-model and offer an additional degree of freedom in the design of spintronic and magnonic devices.


title: Data Management in Microservices: State of the Practice, Challenges, and Research Directions

abstract: Microservices have become a popular architectural style for data-driven applications, given their ability to functionally decompose an application into small and autonomous services to achieve scalability, strong isolation, and specialization of database systems to the workloads and data formats of each service. Despite the accelerating industrial adoption of this architectural style, an investigation of the state of the practice and challenges practitioners face regarding data management in microservices is lacking. To bridge this gap, we conducted a systematic literature review of representative articles reporting the adoption of microservices, we analyzed a set of popular open-source microservice applications, and we conducted an online survey to cross-validate the findings of the previous steps with the perceptions and experiences of over 120 experienced practitioners and researchers. Through this process, we were able to categorize the state of practice of data management in microservices and observe several foundational challenges that cannot be solved by software engineering practices alone, but rather require system-level support to alleviate the burden imposed on practitioners. We discuss the shortcomings of state-of-the-art database systems regarding microservices and we conclude by devising a set of features for microservice-oriented database systems.


title: Observational constraints and some toy models in $f(Q)$ gravity with bulk viscous fluid

abstract: The standard formulation of general relativity fails to describe some recent interests in the universe. It impels us to go beyond the standard formulation of gravity. The $f(Q)$ gravity theory is an interesting modified theory of gravity, where the gravitational interaction is driven by the nonmetricity $Q$. This study aims to examine the cosmological models with the presence of bulk viscosity effect in the cosmological fluid within the framework of $f(Q)$ gravity. We construct three bulk viscous fluid models, i.e. (i) for the first model, we assuming the Lagrangian $f(Q)$ as linear dependence on $Q$, (ii) for the second model the Lagrangian $f(Q)$ as a polynomial functional form, and (iii) the Lagrangian $f(Q)$ as a logarithmic dependence on $Q$. Furthermore, we use 57 points of Hubble data and 1048 Pantheon dataset to constraint the model parameters. Then, we discuss all the energy conditions for each model, which helps us to test the self-consistency of our models. Finally, we present the profiles of the equation of state parameters to test the models' present status.


title: A Survey on Physarum Polycephalum Intelligent Foraging Behaviour and Bio-Inspired Applications

abstract: In recent years, research on Physarum polycephalum has become more popular after Nakagaki et al. (2000) performed their famous experiment showing that Physarum was able to find the shortest route through a maze. Subsequent researches have confirmed the ability of Physarum-inspired algorithms to solve a wide range of NP-hard problems. In contrast to previous reviews that either focus on biological aspects or bio-inspired applications, here we present a comprehensive review that highlights recent Physarum polycephalum biological aspects, mathematical models, and Physarum bio-inspired algorithms and their applications. The novelty of this review stems from our exploration of Physarum intelligent behaviour in competition settings. Further, we have presented our new model to simulate Physarum in competition, where multiple Physarum interact with each other and with their environments. The bio-inspired Physarum in competition algorithms proved to have great potentials for future research.


title: Deciphering Bitcoin Blockchain Data by Cohort Analysis

abstract: Bitcoin is a peer-to-peer electronic payment system that has rapidly grown in popularity in recent years. Usually, the complete history of Bitcoin blockchain data must be queried to acquire variables with economic meaning. This task has recently become increasingly difficult, as there are over 1.6 billion historical transactions on the Bitcoin blockchain. It is thus important to query Bitcoin transaction data in a way that is more efficient and provides economic insights. We apply cohort analysis that interprets Bitcoin blockchain data using methods developed for population data in the social sciences. Specifically, we query and process the Bitcoin transaction input and output data within each daily cohort. This enables us to create datasets and visualizations for some key Bitcoin transaction indicators, including the daily lifespan distributions of spent transaction output (STXO) and the daily age distributions of the cumulative unspent transaction output (UTXO). We provide a computationally feasible approach for characterizing Bitcoin transactions that paves the way for future economic studies of Bitcoin.

categories: econ.GN cs.NA math.NA q-fin.CP q-fin.EC stat.CO


title: Realizations of automorphism groups of metric graphs induced by rational maps

abstract: For a rational map $\phi$ from a metric graph $\varGamma$ to a tropical projective space $\boldsymbol{TP^n}$ defined by a ratio of rational functions $f_1, \ldots, f_{n + 1}$, an automorphism $\sigma$ of $\varGamma$ induces a permutation of the coordinates of $\boldsymbol{TP^n}$ if $\{ f_1, \ldots, f_{n + 1} \}$ is $\langle \sigma \rangle$-invariant. Through this description, we can realize the automorphism group of $\Gamma$ as ambient automorphism group such as tropical projective general linear group, tropical general linear group and $\boldsymbol{Z}$-linear transformation group of Euclidean space.


title: On heatlike lifespan of solutions of semilinear wave equations in Friedmann-Lema\^{i}tre-Robertson-Walker spacetime

abstract: Consider a nonlinear wave equation for a massless scalar field with self-interaction in the spatially flat Friedmann-Lema\^{i}tre-Robertson-Walker spacetimes. We treat the so-called heatlike case where the critical exponent is affected by the Fujita exponent. We show upper bounds of the lifespan of blow-up solutions by distinguishing subcritical and critical cases.


title: Reasons behind growing adoption of Cloud after Covid-19 Pandemic and Challenges ahead

abstract: There are many sectors which have moved to Cloud and are planning aggressively to move their workloads to Cloud since the world entered Covid-19 pandemic. There are various reasons why Cloud is an essential irresistible technology and serves as an ultimate solution to access IT software and systems. It has become a new essential catalyst for Enterprise Organisations which are looking for Digital Transformation. Remote working is a common phenomenon now across all the IT companies making the services available all the time. Covid-19 has made cloud adoption an immediate priority for Organisation rather than a slowly approached future transformation. The benefits of Cloud lies in the fact that employees rather engineers of an enterprise are no more dependent on the closed hardware-based IT infrastructure and hence eliminates the necessity of working from the networked office premises. This has raised a huge demand for skilled Cloud specialist who can manage and support the systems running on cloud across different regions of the world. In this research, the reasons for growing Cloud adoption after pandemic Covid-19 has been described and the challenges which Organization will face is also explained. This study also details the most used cloud services during the pandemic considering Amazon Web Services as the cloud provider.


title: Progress in Higgs inflation

abstract: We review the recent progress in Higgs inflation focusing on Higgs-$R^2$ inflation, primordial black hole production and the $R^3$ term.


title: Doubly Forced Anharmonic Oscillator Model for Floating Potential Fluctuations in DC Glow Discharge Plasma

abstract: The Floating Potential Fluctuations (FPF) observed in a dc glow discharge plasma powered with two sources is modeled using an anharmonic oscillator with two forcing terms. In the discharge system, one of the electrode is biased to a negative voltage source (i.e. cathode), and the second electrode is biased to a positive voltage source (i.e. anode), while the stainless-steel vacuum chamber is grounded. The dc glow discharge plasma is generated by the application of negative voltage on the cathode with respect to the grounded chamber using one of the power supplies. On the application of positive voltage to the anode using second power supply results in formation of a potential structure on achieving the triggering criteria. This potential structure is referred as anodic double layer (ADL). The evolution of ADL is associated with FPF. Therefore, FPF is analyzed to characterize the ADL's dynamical features. In this work, the experimentally observed FPF compared with numerically obtained oscillations using an anharmonic oscillator model with two forcing terms. Each of these forcing terms are associated with the two power supplies used in the experiment. The experimentally and numerically obtained oscillations from the model are studied using phase-space plot, FFT, Largest Lyapunov exponent (LLE). The dynamical features of oscillations obtained by the model show strong agreement with the experiment and can be extended for a description of complex systems driven by multiple forces.


title: A Soft Method for Outliers Detection at the Edge of the Network

abstract: The combination of the Internet of Things and the Edge Computing gives many opportunities to support innovative applications close to end users. Numerous devices present in both infrastructures can collect data upon which various processing activities can be performed. However, the quality of the outcomes may be jeopardized by the presence of outliers. In this paper, we argue on a novel model for outliers detection by elaborating on a `soft' approach. Our mechanism is built upon the concepts of candidate and confirmed outliers. Any data object that deviates from the population is confirmed as an outlier only after the study of its sequence of magnitude values as new data are incorporated into our decision making model. We adopt the combination of a sliding with a landmark window model when a candidate outlier is detected to expand the sequence of data objects taken into consideration. The proposed model is fast and efficient as exposed by our experimental evaluation while a comparative assessment reveals its pros and cons.


title: Incorporating Domain Knowledge into Deep Neural Networks

abstract: We present a survey of ways in which domain-knowledge has been included when constructing models with neural networks. The inclusion of domain-knowledge is of special interest not just to constructing scientific assistants, but also, many other areas that involve understanding data using human-machine collaboration. In many such instances, machine-based model construction may benefit significantly from being provided with human-knowledge of the domain encoded in a sufficiently precise form. This paper examines two broad approaches to encode such knowledge--as logical and numerical constraints--and describes techniques and results obtained in several sub-categories under each of these approaches.


title: Analysis, Prediction, and Control of Epidemics: A Survey from Scalar to Dynamic Network Models

abstract: During the ongoing COVID-19 pandemic, mathematical models of epidemic spreading have emerged as powerful tools to produce valuable predictions of the evolution of the pandemic, helping public health authorities decide which intervention policies should be implemented. The study of these models -- grounded in the systems theory and often analyzed using control-theoretic tools -- is an extremely important research area for many researchers from different fields, including epidemiology, engineering, physics, mathematics, computer science, sociology, economics, and management. In this survey, we review the history and present the state of the art in the modeling, analysis, and control of epidemic dynamics. We discuss different approaches to epidemic modeling, either deterministic or stochastic, ranging from the first implementations of scalar systems of differential equations to describing the epidemic spreading at the population level, and to more recent models on dynamic networks, which capture the spatial spread and the time-varying nature of human interactions.


title: Verification of an agent-based disease model of human mycobacterium tuberculosis infection

abstract: Agent-Based Models are a powerful class of computational models widely used to simulate complex phenomena in many different application areas. However, one of the most critical aspects, poorly investigated in the literature, regards an important step of the model credibility assessment: solution verification. This study overcomes this limitation by proposing a general verification framework for Agent-Based Models that aims at evaluating the numerical errors associated with the model. A step-by-step procedure, which consists of two main verification studies (deterministic and stochastic model verification), is described in detail and applied to a specific mission critical scenario: the quantification of the numerical approximation error for UISS-TB, an ABM of the human immune system developed to predict the progression of pulmonary tuberculosis. Results provide indications on the possibility to use the proposed model verification workflow to systematically identify and quantify numerical approximation errors associated with UISS-TB and, in general, with any other ABMs.


title: Geometry and thermodynamics of coherent quantum black holes

abstract: We present a quantum description of black holes given by coherent states of gravitons sourced by a matter core. The expected behaviour in the weak-field region outside the horizon is recovered, with arbitrarily good approximation, but the classical central singularity is not resolved because the coherent states may not contain modes of arbitrarily short wavelength and the matter core must therefore have finite size. Ensuing quantum corrections both in the interior and exterior are also estimated by assuming the mean-field approximation holds everywhere. These deviations from the classical black hole geometry can be viewed as quantum hair and lead to a quantum corrected horizon radius and thermodynamics.


title: Intricate Relations Among Particle Collision, Relative Motion and Clustering in Turbulent Clouds: Computational Observation and Theory

abstract: Considering turbulent clouds containing small inertial particles, we investigate the effect of particle collision, in particular collision-coagulation, on particle clustering and particle relative motion. We perform direct numerical simulation (DNS) of coagulating particles in isotropic turbulent flow in the regime of small Stokes number ($St=0.001-0.54$) and find that, due to collision-coagulation, the radial distribution functions (RDFs) fall-off dramatically at scales $r \sim d\,\,$ (where $d$ is the particle diameter) to small but finite values, while the mean radial-component of particle relative velocities (MRV) increase sharply in magnitudes. Based on a previously proposed Fokker-Planck (drift-diffusion) framework, we derive a theoretical account of the relationship among particle collision-coagulation rate, RDF and MRV. The theory includes contributions from turbulent-fluctuations absent in earlier mean-field theories. We show numerically that the theory accurately accounts for the DNS results (i.e., given an accurate RDF, the theory could produce an accurate MRV). Separately, we also propose a phenomenological model that could directly predict MRV and find that it is accurate when calibrated using fourth moments of the fluid velocities. We use the model to derive a general solution of RDF. We uncover a paradox: the past empirical success of the differential version of the theory is theoretically unjustified. We see a further shape-preserving reduction of the RDF (and MRV) when the gravitational settling parameter ($S_g$) is of order $O(1)$. Our results demonstrate strong coupling between RDF and MRV and imply that earlier isolated studies on either RDF or MRV have limited relevance for predicting particle collision rate.