title: Soft Confusion Matrix Classifier for Stream Classification

abstract: In this paper, the issue of tailoring the soft confusion matrix (SCM) based classifier to deal with stream learning task is addressed. The main goal of the work is to develop a wrapping-classifier that allows incremental learning to classifiers that are unable to learn incrementally. The goal is achieved by making two improvements in the previously developed SCM classifier. The first one is aimed at reducing the computational cost of the SCM classifier. To do so, the definition of the fuzzy neighborhood of an object is changed. The second one is aimed at effective dealing with the concept drift. This is done by employing the ADWIN-driven concept drift detector that is not only used to detect the drift but also to control the size of the neighbourhood. The obtained experimental results show that the proposed approach significantly outperforms the reference methods.


title: Gravitational waves from deformed neutron stars: mountains and tides

abstract: With the remarkable advent of gravitational-wave astronomy, we have shed light on previously shrouded events: compact binary coalescences. Neutron stars are promising (and confirmed) sources of gravitational radiation and it proves timely to consider the ways in which these stars can be deformed. Gravitational waves provide a unique window through which to examine neutron-star interiors and learn more about the equation of state of ultra-dense nuclear matter. In this work, we study two relevant scenarios for gravitational-wave emission: neutron stars that host (non-axially symmetric) mountains and neutron stars deformed by the tidal field of a binary partner. Although they have yet to be seen with gravitational waves, rotating neutron stars have long been considered potential sources. By considering the observed spin distribution of accreting neutron stars with a phenomenological model for the spin evolution, we find evidence for gravitational radiation in these systems. We study how mountains are modelled in both Newtonian and relativistic gravity and introduce a new scheme to resolve issues with previous approaches to this problem. The crucial component of this scheme is the deforming force that gives the star its non-spherical shape. We find that the force (which is a proxy for the star's formation history), as well as the equation of state, plays a pivotal role in supporting the mountains. Considering a scenario that has been observed with gravitational waves, we calculate the structure of tidally deformed neutron stars, focusing on the impact of the crust. We find that the effect on the tidal deformability is negligible, but the crust will remain largely intact up until merger.


title: Solving an elastic inverse problem using Convolutional Neural Networks

abstract: We explore the application of a Convolutional Neural Network (CNN) to image the shear modulus field of an almost incompressible, isotropic, linear elastic medium in plane strain using displacement or strain field data. This problem is important in medicine because the shear modulus of suspicious and potentially cancerous growths in soft tissue is elevated by about an order of magnitude as compared to the background of normal tissue. Imaging the shear modulus field therefore can lead to high-contrast medical images. Our imaging problem is: Given a displacement or strain field (or its components), predict the corresponding shear modulus field. Our CNN is trained using 6000 training examples consisting of a displacement or strain field and a corresponding shear modulus field. We observe encouraging results which warrant further research and show the promise of this methodology.


title: G-capacity under degenerate case and its application

abstract: In this paper, we first find a type of viscosity solution of $G$-heat equation under degenerate case, and then obtain the related $G$-capacity $c(\{B_{T}\in A\})$ for any Borel set $A$. Furthermore, we prove that $I_{A}(B_{T})$ has no quasi-continuous version when it is not a constant function.


title: Building an Ensemble of Classifiers via Randomized Models of Ensemble Members

abstract: Many dynamic ensemble selection (DES) methods are known in the literature. A previously-developed by the authors, method consists in building a randomized classifier which is treated as a model of the base classifier. The model is equivalent to the base classifier in a certain probabilistic sense. Next, the probability of correct classification of randomized classifier is taken as the competence of the evaluated classifier. In this paper, a novel randomized model of base classifier is developed. In the proposed method, the random operation of the model results from a random selection of the learning set from the family of learning sets of a fixed size. The paper presents the mathematical foundations of this approach and shows how, for a practical application when learning and validation sets are given, one can determine the measure of competence and build a MC system with the DES scheme. The DES scheme with the proposed model of competence was experimentally evaluated on the collection of 67 benchmark datasets and compared in terms of eight quality criteria with two ensemble classifiers which use the previously-proposed concepts of randomized model. The proposed approach achieved the lowest ranks for almost all investigated quality criteria.


title: Non-central moderate deviations for compound fractional Poisson processes

abstract: The term "moderate deviations" is often used in the literature to mean a class of large deviation principles that, in some sense, fill the gap between a convergence in probability to zero (governed by a large deviation principle) and a weak convergence to a centered Normal distribution. We talk about "non-central moderate deviations" when the weak convergence is towards a non-Gaussian distribution. In this paper we study non-central moderate deviations for compound fractional Poisson processes with light-tailed jumps.


title: Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement

abstract: Expressive state-of-the-art separation logics rely on step-indexing to model semantically complex features and to support modular reasoning about imperative higher-order concurrent and distributed programs. Step-indexing comes, however, with an inherent cost: it restricts the adequacy theorem of program logics to a fairly simple class of safety properties. In this paper, we explore if and how intensional refinement is a viable methodology for strengthening higher-order concurrent (and distributed) separation logic to prove non-trivial safety and liveness properties. Specifically, we introduce Trillium, a language-agnostic separation logic framework for showing intensional refinement relations between traces of a program and a model. We instantiate Trillium with a concurrent language and develop Fairis, a concurrent separation logic, that we use to show liveness properties of concurrent programs under fair scheduling assumptions through a fair liveness-preserving refinement of a model. We also instantiate Trillium with a distributed language and obtain an extension of Aneris, a distributed separation logic, which we use to show refinement relations between distributed systems and TLA+ models.


title: Translation Transformers Rediscover Inherent Data Domains

abstract: Many works proposed methods to improve the performance of Neural Machine Translation (NMT) models in a domain/multi-domain adaptation scenario. However, an understanding of how NMT baselines represent text domain information internally is still lacking. Here we analyze the sentence representations learned by NMT Transformers and show that these explicitly include the information on text domains, even after only seeing the input sentences without domains labels. Furthermore, we show that this internal information is enough to cluster sentences by their underlying domains without supervision. We show that NMT models produce clusters better aligned to the actual domains compared to pre-trained language models (LMs). Notably, when computed on document-level, NMT cluster-to-domain correspondence nears 100%. We use these findings together with an approach to NMT domain adaptation using automatically extracted domains. Whereas previous work relied on external LMs for text clustering, we propose re-using the NMT model as a source of unsupervised clusters. We perform an extensive experimental study comparing two approaches across two data scenarios, three language pairs, and both sentence-level and document-level clustering, showing equal or significantly superior performance compared to LMs.


title: OMPQ: Orthogonal Mixed Precision Quantization

abstract: To bridge the ever increasing gap between deep neural networks' complexity and hardware capability, network quantization has attracted more and more research attention. The latest trend of mixed precision quantization takes advantage of hardware's multiple bit-width arithmetic operations to unleash the full potential of network quantization. However, this also results in a difficult integer programming formulation, and forces most existing approaches to use an extremely time-consuming search process even with various relaxations. Instead of solving a problem of the original integer programming, we propose to optimize a proxy metric, the concept of network orthogonality, which is highly correlated with the loss of the integer programming but also easy to optimize with linear programming. This approach reduces the search time and required data amount by orders of magnitude, with little compromise on quantization accuracy. Specifically, we achieve 72.08% Top-1 accuracy on ResNet-18 with 6.7Mb, which does not require any searching iterations. Given the high efficiency and low data dependency of our algorithm, we used it for the post-training quantization, which achieve 71.27% Top-1 accuracy on MobileNetV2 with only 1.5Mb. Our code is available at https://github.com/MAC-AutoML/OMPQ.


title: Asymptotic Weyl Double Copy

abstract: A characteristic value formulation of the Weyl double copy leads to an asymptotic formulation. We find that the Weyl double copy holds asymptotically in cases where the full solution is algebraically general, using rotating STU supergravity black holes as an example. The asymptotic formulation provides clues regarding the relation between asymptotic symmetries that follows from the double copy. Using the C-metric as an example, we show that a previous interpretation of this gravity solution as a superrotation has a single copy analogue relating the appropriate Li\'enard-Wiechert potential to a large gauge transformation.


title: Humanly Certifying Superhuman Classifiers

abstract: Estimating the performance of a machine learning system is a longstanding challenge in artificial intelligence research. Today, this challenge is especially relevant given the emergence of systems which appear to increasingly outperform human beings. In some cases, this "superhuman" performance is readily demonstrated; for example by defeating legendary human players in traditional two player games. On the other hand, it can be challenging to evaluate classification models that potentially surpass human performance. Indeed, human annotations are often treated as a ground truth, which implicitly assumes the superiority of the human over any models trained on human annotations. In reality, human annotators can make mistakes and be subjective. Evaluating the performance with respect to a genuine oracle may be more objective and reliable, even when querying the oracle is expensive or impossible. In this paper, we first raise the challenge of evaluating the performance of both humans and models with respect to an oracle which is unobserved. We develop a theory for estimating the accuracy compared to the oracle, using only imperfect human annotations for reference. Our analysis provides a simple recipe for detecting and certifying superhuman performance in this setting, which we believe will assist in understanding the stage of current research on classification. We validate the convergence of the bounds and the assumptions of our theory on carefully designed toy experiments with known oracles. Moreover, we demonstrate the utility of our theory by meta-analyzing large-scale natural language processing tasks, for which an oracle does not exist, and show that under our assumptions a number of models from recent years are with high probability superhuman.


title: The Influence of Human Aspects on Requirements Engineering-related Activities: Software Practitioners Perspective

abstract: Requirements Engineering (RE)-related activities require high collaboration between various roles in software engineering (SE), such as requirements engineers, stakeholders, developers, etc. Their demographics, views, understanding of technologies, working styles, communication and collaboration capabilities make RE highly human dependent. Identifying how "human aspects" such as motivation, domain knowledge, communication skills, personality, emotions, culture, etc. might impact RE-related activities would help us improve the RE and SE in general. This study aims to better understand current industry perspectives on the influence of human aspects on RE-related activities, specifically focusing on motivation and personality by targeting software practitioners involved in RE-related activities. Our findings indicate that software practitioners consider motivation, domain knowledge, attitude, communication skills and personality as highly important human aspects when involved in RE-related activities. A set of factors were identified as software practitioners motivational factors when involved in RE-related activities and identified important personality characteristics to have when involved in RE. We also identified factors that made individuals less effective when involved in RE-related activities and obtained an initial idea on measuring individuals performance when involved in RE. The findings from our study suggest various areas needing more investigation, and we summarise a set of key recommendations for further research.


title: Explainability Requires Interactivity

abstract: When explaining the decisions of deep neural networks, simple stories are tempting but dangerous. Especially in computer vision, the most popular explanation approaches give a false sense of comprehension to its users and provide an overly simplistic picture. We introduce an interactive framework to understand the highly complex decision boundaries of modern vision models. It allows the user to exhaustively inspect, probe, and test a network's decisions. Across a range of case studies, we compare the power of our interactive approach to static explanation methods, showing how these can lead a user astray, with potentially severe consequences.


title: Schwarz lemma: the case of equality and an extension

abstract: We prove two results related to the Schwarz lemma in complex geometry. First, we show that if the inequality in the Schwarz lemmata of Yau, Royden and Tosatti becomes equality at one point, then the equality holds on the whole manifold. In particular, the holomorphic map is totally geodesic and has constant rank. In the second part, we study the holomorphic sectional curvature on an almost Hermitian manifold and establish a Schwarz lemma in terms of holomorphic sectional curvatures in almost Hermitian setting.


title: Resolution based Feature Distillation for Cross Resolution Person Re-Identification

abstract: Person re-identification (re-id) aims to retrieve images of same identities across different camera views. Resolution mismatch occurs due to varying distances between person of interest and cameras, this significantly degrades the performance of re-id in real world scenarios. Most of the existing approaches resolve the re-id task as low resolution problem in which a low resolution query image is searched in a high resolution images gallery. Several approaches apply image super resolution techniques to produce high resolution images but ignore the multiple resolutions of gallery images which is a better realistic scenario. In this paper, we introduce channel correlations to improve the learning of features from the degraded data. In addition, to overcome the problem of multiple resolutions we propose a Resolution based Feature Distillation (RFD) approach. Such an approach learns resolution invariant features by filtering the resolution related features from the final feature vectors that are used to compute the distance matrix. We tested the proposed approach on two synthetically created datasets and on one original multi resolution dataset with real degradation. Our approach improves the performance when multiple resolutions occur in the gallery and have comparable results in case of single resolution (low resolution re-id).


abstract: In this paper, we propose a novel Knowledge-based Embodied Question Answering (K-EQA) task, in which the agent intelligently explores the environment to answer various questions with the knowledge. Different from explicitly specifying the target object in the question as existing EQA work, the agent can resort to external knowledge to understand more complicated question such as "Please tell me what are objects used to cut food in the room?", in which the agent must know the knowledge such as "knife is used for cutting food". To address this K-EQA problem, a novel framework based on neural program synthesis reasoning is proposed, where the joint reasoning of the external knowledge and 3D scene graph is performed to realize navigation and question answering. Especially, the 3D scene graph can provide the memory to store the visual information of visited scenes, which significantly improves the efficiency for the multi-turn question answering. Experimental results have demonstrated that the proposed framework is capable of answering more complicated and realistic questions in the embodied environment. The proposed method is also applicable to multi-agent scenarios.


title: The Dynamic Time Warping as a Means to Assess Solar Wind Time Series

abstract: During the last decades, international attempts have been made to develop realistic space weather prediction tools aiming to forecast the conditions on the Sun and in the interplanetary environment. These efforts have led to the development of appropriate metrics in order to assess the performance of those tools. Metrics are necessary to validate models, compare different models and monitor improvements of a certain model over time. In this work, we introduce the Dynamic Time Warping (DTW) as an alternative way to evaluate the performance of models and, in particular, to quantify differences between observed and modeled solar wind time series. We present the advantages and drawbacks of this method as well as applications to WIND observations and EUHFORIA predictions at Earth. We show that DTW can warp sequences in time, aiming to align them with the minimum cost by using dynamic programming. It can be applied in two ways for the evaluation of modeled solar wind time series. The first, calculates the sequence similarity factor (SSF), a number that provides a quantification of how good the forecast is, compared to an ideal and a non-ideal prediction scenarios. The second way quantifies the time and amplitude differences between the points that are best matched between the two sequences. As a result, DTW can serve as a hybrid metric between continuous measurements (e.g., the correlation coefficient), and point-by-point comparisons. It is a promising technique for the assessment of solar wind profiles providing at once the most complete evaluation portrait of a model.

categories: astro-ph.SR astro-ph.IM physics.data-an physics.space-ph


title: SketchHairSalon: Deep Sketch-based Hair Image Synthesis

abstract: Recent deep generative models allow real-time generation of hair images from sketch inputs. Existing solutions often require a user-provided binary mask to specify a target hair shape. This not only costs users extra labor but also fails to capture complicated hair boundaries. Those solutions usually encode hair structures via orientation maps, which, however, are not very effective to encode complex structures. We observe that colored hair sketches already implicitly define target hair shapes as well as hair appearance and are more flexible to depict hair structures than orientation maps. Based on these observations, we present SketchHairSalon, a two-stage framework for generating realistic hair images directly from freehand sketches depicting desired hair structure and appearance. At the first stage, we train a network to predict a hair matte from an input hair sketch, with an optional set of non-hair strokes. At the second stage, another network is trained to synthesize the structure and appearance of hair images from the input sketch and the generated matte. To make the networks in the two stages aware of long-term dependency of strokes, we apply self-attention modules to them. To train these networks, we present a new dataset containing thousands of annotated hair sketch-image pairs and corresponding hair mattes. Two efficient methods for sketch completion are proposed to automatically complete repetitive braided parts and hair strokes, respectively, thus reducing the workload of users. Based on the trained networks and the two sketch completion strategies, we build an intuitive interface to allow even novice users to design visually pleasing hair images exhibiting various hair structures and appearance via freehand sketches. The qualitative and quantitative evaluations show the advantages of the proposed system over the existing or alternative solutions.


title: Enumeration of Hamiltonian Cycles on a Thick Grid Cylinder -- Part II: Contractible Hamiltonian Cycles

abstract: In this series of papers, the primary goal is to enumerate Hamiltonian cycles (HC's) on the grid cylinder graphs $P_{m+1}\times C_n$, where $n$ is allowed to grow whilst $m$ is fixed. In Part~I, we studied the so-called non-contractible HC's. Here, in Part~II, we proceed further on to the contractible case. We propose two different novel characterizations of contractible HC's, from which we construct digraphs for enumerating the contractible HC's. Given the impression which the computational data for $m \leq 9$ convey, we conjecture that the asymptotic domination of the contractible HC's versus the non-contractible HC's, among the total number of HC's, depends on the parity of $m$.}


title: Multi-car paint shop optimization with quantum annealing

abstract: We present a generalization of the binary paint shop problem (BPSP) to tackle an automotive industry application, the multi-car paint shop (MCPS) problem. The objective of the optimization is to minimize the number of color switches between cars in a paint shop queue during manufacturing, a known NP-hard problem. We distinguish between different sub-classes of paint shop problems, and show how to formulate the basic MCPS problem as an Ising model. The problem instances used in this study are generated using real-world data from a factory in Wolfsburg, Germany. We compare the performance of the D-Wave 2000Q and Advantage quantum processors to other classical solvers and a hybrid quantum-classical algorithm offered by D-Wave Systems. We observe that the quantum processors are well-suited for smaller problems, and the hybrid algorithm for intermediate sizes. However, we find that the performance of these algorithms quickly approaches that of a simple greedy algorithm in the large size limit.


title: MFE-NER: Multi-feature Fusion Embedding for Chinese Named Entity Recognition

abstract: In Chinese Named Entity Recognition, character substitution is a complicated linguistic phenomenon. Some Chinese characters are quite similar as they share the same components or have similar pronunciations. People replace characters in a named entity with similar characters to generate a new collocation but referring to the same object. As a result, it always leads to unrecognizable or mislabeling errors in the NER task. In this paper, we propose a lightweight method, MFE-NER, which fuses glyph and phonetic features, to help pre-trained language models handle the character substitution problem in the NER task with limited extra cost. Basically, in the glyph domain, we disassemble Chinese characters into Five-Stroke components to represent structure features. In the phonetic domain, an improved phonetic system is proposed in our work, making it reasonable to describe phonetic similarity among Chinese characters. Experiments demonstrate that our method performs especially well in detecting character substitutions while slightly improving the overall performance of Chinese NER.


title: A Medical Pre-Diagnosis System for Histopathological Image of Breast Cancer

abstract: This paper constructs a novel intelligent medical diagnosis system, which can realize automatic communication and breast cancer pathological image recognition. This system contains two main parts, including a pre-training chatbot called M-Chatbot and an improved neural network model of EfficientNetV2-S named EfficientNetV2-SA, in which the activation function in top layers is replaced by ACON-C. Using information retrieval mechanism, M-Chatbot instructs patients to send breast pathological image to EfficientNetV2-SA network, and then the classifier trained by transfer learning will return the diagnosis results. We verify the performance of our chatbot and classification on the extrinsic metrics and BreaKHis dataset, respectively. The task completion rate of M-Chatbot reached 63.33\%. For the BreaKHis dataset, the highest accuracy of EfficientNetV2-SA network have achieved 84.71\%. All these experimental results illustrate that the proposed model can improve the accuracy performance of image recognition and our new intelligent medical diagnosis system is successful and efficient in providing automatic diagnosis of breast cancer.


title: Accurate and robust splitting methods for the generalized Langevin equation with a positive Prony series memory kernel

abstract: We study numerical methods for the generalized Langevin equation (GLE) with a positive Prony series memory kernel, in which case the GLE can be written in an extended variable Markovian formalism. We propose a new splitting method that is easy to implement and is able to substantially improve the accuracy and robustness of GLE simulations in a wide range of the parameters. An error analysis is performed in the case of a one-dimensional harmonic oscillator, revealing that several averages are exact for the newly proposed method. Various numerical experiments in both equilibrium and nonequilibrium simulations are also conducted to compare the method with popular alternatives in interacting multi-particle systems.


title: A six degree-of-freedom fused silica seismometer: Design and tests of a metal prototype

abstract: Ground vibrations couple to the longitudinal and angular motion of the aLIGO test masses and limit the observatory sensitivity below 30\,Hz. Novel inertial sensors have the potential to improve the aLIGO sensitivity in this band and simplify the lock acquisition of the detectors. In this paper, we experimentally study a compact 6D seismometer that consists of a mass suspended by a single wire. The position of the mass is interferometrically read out relative to the platform that supports the seismometer. We present the experimental results, discuss limitations of our metallic prototype, and show that a compact 6D seismometer made out of fused silica and suspended with a fused silica fibre has the potential to improve the aLIGO low frequency noise.


title: The phase transition from nematic to high-density disordered phase in a system of hard rods on a lattice

abstract: A system of hard rigid rods of length $k$ on hypercubic lattices is known to undergo two phases transitions when chemical potential is increased: from a low density isotropic phase to an intermediate density nematic phase, and on further increase to a high-density phase with no orientational order. In this paper, we argue that, for large $k$, the second phase transition is a first order transition with a discontinuity in density in all dimensions greater than $1$. We show the chemical potential at the transition is $\approx k \ln [k /\ln k]$ for large $k$, and that the density of uncovered sites drops from a value $ \approx (\ln k)/k^2$ to a value of order $\exp(-ak)$, where $a$ is some constant, across the transition. We conjecture that these results are asymptotically exact, in all dimensions $d\geq 2$. We also present evidence of coexistence of nematic and disordered phases from Monte Carlo simulations for rods of length $9$ on the square lattice.


title: A Quadratic Time Locally Optimal Algorithm for NP-hard Equal Cardinality Partition Optimization

abstract: We study the optimization version of the equal cardinality set partition problem (where the absolute difference between the equal sized partitions' sums are minimized). While this problem is NP-hard and requires exponential complexity to solve in general, we have formulated a weaker version of this NP-hard problem, where the goal is to find a locally optimal solution. The local optimality considered in our work is under any swap between the opposing partitions' element pairs. To this end, we designed an algorithm which can produce such a locally optimal solution in $O(N^2)$ time and $O(N)$ space. Our approach does not require positive or integer inputs and works equally well under arbitrary input precisions. Thus, it is widely applicable in different problem scenarios.


title: Channel Estimation for Extremely Large-Scale Massive MIMO: Far-Field, Near-Field, or Hybrid-Field?

abstract: Extremely large-scale massive MIMO (XL-MIMO) is a promising technique for future 6G communications.However, existing far-field or near-field channel model mismatches the hybrid-field channel feature in the practical XL-MIMO system.Thus,existing far-field and near-field channel estimation schemes cannot be directly used to accurately estimate the hybrid-field XL-MIMO channel. To solve this problem, we propose an efficient hybrid-field channel estimation scheme by accurately modeling the XL-MIMO channel.Specifically,we firstly reveal the hybrid-field channel feature of the XL-MIMO channel, where different scatters may be in far-field or near-field region.Then, we propose a hybrid-field channel model to capture this feature, which contains both the far-field and near-field path components. Finally, we propose a hybrid-field channel estimation scheme, where the far-field and near-field path components are respectively estimated. Simulation results show that the proposed scheme performs better than existing schemes.


title: Optimization reduces knee-joint forces during walking and squatting: Validating the inverse dynamics approach for full body movements on instrumented knee prostheses

abstract: Due to the redundancy of our motor system, movements can be performed in many ways. While multiple motor control strategies can all lead to the desired behavior, they result in different joint and muscle forces. This creates opportunities to explore this redundancy, e.g., for pain avoidance or reducing the risk of further injury. To assess the effect of different motor control optimization strategies, a direct measurement of muscle and joint forces is desirable, but problematic for medical and ethical reasons. Computational modeling might provide a solution by calculating approximations of these forces. In this study, we used a full-body computational musculoskeletal model to (1) predict forces measured in knee prostheses during walking and squatting and (2) to study the effect of different motor control strategies (i.e., minimizing joint force vs. muscle activation) on the joint load and prediction error. We found that musculoskeletal models can accurately predict knee joint forces with an RMSE of <0.5 BW in the superior direction and about 0.1 BW in the medial and anterior directions. Generally, minimization of joint forces produced the best predictions. Furthermore, minimizing muscle activation resulted in maximum knee forces of about 4 BW for walking and 2.5 BW for squatting. Minimizing joint forces resulted in maximum knee forces of 2.25 BW and 2.12 BW, i.e., a reduction of 44% and 15%, respectively. Thus, changing the muscular coordination strategy can strongly affect knee joint forces. Patients with a knee prosthesis may adapt their neuromuscular activation to reduce joint forces during locomotion.


title: Dark Matter Hot Spots and Neutrino Telescopes

abstract: We perform a new dark matter hot spot analysis using ten years of public IceCube data. This analysis assumes dark matter self-annihilates to neutrino pairs and treats the production sites as discrete point sources. As a result, these sites will appear as hot spots in the sky for neutrino telescopes, possibly outshining other standard model neutrino sources. Compared to galactic center analyses, we show that this approach is a powerful tool capable of setting the highest neutrino detector limits for dark matter masses between 10 TeV and 100 PeV. This is due to the inclusion of spatial information in addition to the typically used energy deposition in the analysis.


title: Exclusive decay study of the 16.62\,MeV (2$^-$, T=1) resonance in $^{12}$C

abstract: The 3$\alpha$ decay of the 16.62\,MeV (2$^-$, T=1) resonance in $^{12}$C has been studied for nearly a century starting with one of the first nuclear reaction studies at the Cavendish Laboratory in the 1930s. In the hitherto latest study published a decade ago a model based on earlier work from the 1960s was found to give a good account of a set of inclusive data. This model describes the decay as an l=3 $\alpha$-particle populating the 2$^+$ state of $^8$Be. Here we provide new exclusive data on the 3$\alpha$ decay of the 16.62\,MeV resonance, and demonstrate that the decay is best described by a model with predominantly l=1 emission with an admixture of l=3.


title: Perverse sheaves on varieties with large fundamental groups

abstract: We conjecture that any perverse sheaf on a compact aspherical K\"ahler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the K\"ahler setting. We verify the stronger conjecture when the manifold X has non-positive holomorphic bisectional curvature. We also show that the conjecture holds when X is projective and in possession of a faithful semi-simple rigid local system. The first result is proved by expressing the Euler characteristic as an intersection number involving the characteristic cycle, and then using the curvature conditions to deduce non-negativity. For the second result, we have that the local system underlies a complex variation of Hodge structure. We then deduce the desired inequality from the curvature properties of the image of the period map.


title: A three component model for hadron $p_{\rm T}$-spectra in pp and Pb-Pb collisions at the LHC

abstract: A three component model, consisting of the hydrodynamical blast-wave term and two power-law terms, is proposed for an improved fitting of the hadron spectra measured at midrapidity and for arbitrary transverse momenta ($p_\textrm{T}$) in pp and heavy-ion collisions of different centralities at the LHC. The model describes well the available experimental data for all considered particles from pions to charmonia in pp at $\sqrt{s}=$ 2.76, 5.02, 7, 8 and 13 TeV and in Pb-Pb at $\sqrt{s_\mathrm{NN}}=$ 2.76 and 5.02 TeV.


title: First detection of C$_2$H$_5$NCO in the ISM and search of other isocyanates towards the G+0.693-0.027 molecular cloud

abstract: Little is known about the chemistry of isocyanates (compounds with the functional group R-N=C=O) in the interstellar medium, as only four of them have been detected so far: isocyanate radical (NCO), isocyanic acid (HNCO), N-protonated isocyanic acid (H$_2$NCO$^+$) and methyl isocyanate (CH$_3$NCO). The molecular cloud G+0.693-0.027, located in the Galactic Centre, represents an excellent candidate to search for new isocyanates since it exhibits high abundances of the simplest ones, HNCO and CH$_3$NCO. After CH$_3$NCO, the next complex isocyanates are ethyl isocyanate (C$_2$H$_5$NCO) and vinyl isocyanate (C$_2$H$_3$NCO). Their detection in the ISM would enhance our understanding of the formation of these compounds in space. We have detected C$_2$H$_5$NCO and H$_2$NCO$^+$ towards G+0.693-0.027 (the former for the first time in the interstellar medium) with molecular abundances of (4.7$-$7.3)$\times$10$^{-11}$ and (1.0$-$1.5)$\times$10$^{-11}$, respectively. A ratio CH$_3$NCO / C$_2$H$_5$NCO = 8$\pm$1 is obtained; therefore the relative abundance determined for HNCO:CH$_3$NCO:C$_2$H$_5$NCO is 1:1/55:1/447, which implies a decrease by more than one order of magnitude going progressively from HNCO to CH$_3$NCO and to C$_2$H$_5$NCO. This is similar to what has been found for e.g. alcohols and thiols and suggests that C$_2$H$_5$NCO is likely formed on the surface of dust grains. In addition, we have obtained column density ratios of HNCO / NCO > 269, HNCO / H$_2$NCO$^+$ $\sim$ 2100 and C$_2$H$_3$NCO / C$_2$H$_5$NCO~<~4. A comparison of the Methyl~/~Ethyl ratios for isocyanates (-NCO), alcohols (-OH), formiates (HCOO-), nitriles (-CN) and thiols (-SH) is performed and shows that ethyl-derivatives may be formed more efficiently for the N-bearing molecules than for the O- and S-bearing molecules.


title: Spacetime finite element methods for control problems subject to the wave equation

abstract: We consider the null controllability problem for the wave equation, and analyse a stabilized finite element method formulated on a global, unstructured spacetime mesh. We prove error estimates for the approximate control given by the computational method. The proofs are based on the regularity properties of the control given by the Hilbert Uniqueness Method, together with the stability properties of the numerical scheme. Numerical experiments illustrate the results.


title: Lattices, injective metrics and the $K(\pi,1)$ conjecture

abstract: Starting with a lattice with an action of $\mathbb{Z}$ or $\mathbb{R}$, we build a Helly graph or an injective metric space. We deduce that the $\ell^\infty$ orthoscheme complex of any bounded graded lattice is injective. We also prove a Cartan-Hadamard result for locally injective metric spaces. We apply this to show that any Garside group or any FC type Artin group acts on an injective metric space and on a Helly graph. We also deduce that the natural piecewise $\ell^\infty$ metric on any Euclidean building of type $\tilde{A_n}$ extended, $\tilde{B_n}$, $\tilde{C_n}$ or $\tilde{D_n}$ is injective, and its thickening is a Helly graph. Concerning Artin groups of Euclidean types $\tilde{A_n}$ and $\tilde{C_n}$, we show that the natural piecewise $\ell^\infty$ metric on the Deligne complex is injective, the thickening is a Helly graph, and it admits a convex bicombing. This gives a metric proof of the $K(\pi,1)$ conjecture, as well as several other consequences usually known when the Deligne complex has a CAT(0) metric.


title: Automated risk classification of colon biopsies based on semantic segmentation of histopathology images

abstract: Artificial Intelligence (AI) can potentially support histopathologists in the diagnosis of a broad spectrum of cancer types. In colorectal cancer (CRC), AI can alleviate the laborious task of characterization and reporting on resected biopsies, including polyps, the numbers of which are increasing as a result of CRC population screening programs, ongoing in many countries all around the globe. Here, we present an approach to address two major challenges in automated assessment of CRC histopathology whole-slide images. First, we present an AI-based method to segment multiple tissue compartments in the H\&E-stained whole-slide image, which provides a different, more perceptible picture of tissue morphology and composition. We test and compare a panel of state-of-the-art loss functions available for segmentation models, and provide indications about their use in histopathology image segmentation, based on the analysis of a) a multi-centric cohort of CRC cases from five medical centers in the Netherlands and Germany, and b) two publicly available datasets on segmentation in CRC. Second, we use the best performing AI model as the basis for a computer-aided diagnosis system (CAD) that classifies colon biopsies into four main categories that are relevant pathologically. We report the performance of this system on an independent cohort of more than 1,000 patients. The results show the potential of such an AI-based system to assist pathologists in diagnosis of CRC in the context of population screening. We have made the segmentation model available for research use on https://grand-challenge.org/algorithms/colon-tissue-segmentation/.


title: Efficient Scaling of Dynamic Graph Neural Networks

abstract: We present distributed algorithms for training dynamic Graph Neural Networks (GNN) on large scale graphs spanning multi-node, multi-GPU systems. To the best of our knowledge, this is the first scaling study on dynamic GNN. We devise mechanisms for reducing the GPU memory usage and identify two execution time bottlenecks: CPU-GPU data transfer; and communication volume. Exploiting properties of dynamic graphs, we design a graph difference-based strategy to significantly reduce the transfer time. We develop a simple, but effective data distribution technique under which the communication volume remains fixed and linear in the input size, for any number of GPUs. Our experiments using billion-size graphs on a system of 128 GPUs shows that: (i) the distribution scheme achieves up to 30x speedup on 128 GPUs; (ii) the graph-difference technique reduces the transfer time by a factor of up to 4.1x and the overall execution time by up to 40%


title: Heterogeneous Relational Complement for Vehicle Re-identification

abstract: The crucial problem in vehicle re-identification is to find the same vehicle identity when reviewing this object from cross-view cameras, which sets a higher demand for learning viewpoint-invariant representations. In this paper, we propose to solve this problem from two aspects: constructing robust feature representations and proposing camera-sensitive evaluations. We first propose a novel Heterogeneous Relational Complement Network (HRCN) by incorporating region-specific features and cross-level features as complements for the original high-level output. Considering the distributional differences and semantic misalignment, we propose graph-based relation modules to embed these heterogeneous features into one unified high-dimensional space. On the other hand, considering the deficiencies of cross-camera evaluations in existing measures (i.e., CMC and AP), we then propose a Cross-camera Generalization Measure (CGM) to improve the evaluations by introducing position-sensitivity and cross-camera generalization penalties. We further construct a new benchmark of existing models with our proposed CGM and experimental results reveal that our proposed HRCN model achieves new state-of-the-art in VeRi-776, VehicleID, and VERI-Wild.


title: Topological states in a dimerized system with staggered magnetic fluxes

abstract: The bulk-boundary correspondence is a generic feature of topological states of matter, reflecting the intrinsic relation between topological bulk and boundary states. For example, robust edge states propagate along the edges and corner states gather at corners in the two-dimensional first-order and second-order topological insulators, respectively. Here, we report two kinds of topological states hosting anomalous bulk-boundary correspondence in the extended two-dimensional dimerized lattice with staggered flux threading. At $\frac{1}{2}$-filling, we observe isolated corner states with no fractional charge as well as metallic near-edge states in the $\mathcal{C}=2$ Chern insulator states. At $\frac{1}{4}$-filling, we find a $\mathcal{C}=0$ topologically nontrivial state, where the robust edge states are well localized along edges but bypass corners. These robust topological insulating states significantly differ from both conventional Chern insulators and usual high-order topological insulators.


title: Distributionally Robust Optimal Power Flow with Contextual Information

abstract: In this paper, we develop a distributionally robust chance-constrained formulation of the Optimal Power Flow problem (OPF) whereby the system operator can leverage contextual information. For this purpose, we exploit an ambiguity set based on probability trimmings and optimal transport through which the dispatch solution is protected against the incomplete knowledge of the relationship between the OPF uncertainties and the context that is conveyed by a sample of their joint probability distribution. We provide a tractable reformulation of the proposed distributionally robust chance-constrained OPF problem under the popular conditional-value-at-risk approximation. By way of numerical experiments run on a modified IEEE-118 bus network with wind uncertainty, we show how the power system can substantially benefit from taking into account the well-known statistical dependence between the point forecast of wind power outputs and its associated prediction error. Furthermore, the experiments conducted also reveal that the distributional robustness conferred on the OPF solution by our probability-trimmings-based approach is superior to that bestowed by alternative approaches in terms of expected cost and system reliability.


title: Hydrodynamic limit of an exclusion process with vorticity

abstract: We construct a non reversible exclusion process with Bernoulli product invariant measure and having, in the diffusive hydrodynamic scaling, a non symmetric diffusion matrix, that can be explicitly computed. The antisymmetric part does not affect the evolution of the density but it is relevant for the evolution of the current. Switching on a weak external field we obtain a symmetric mobility matrix that is related just to the symmetric part of the diffusion matrix by an Einstein relation. We argue that this fact is typical within a class of generalized gradient models. We consider for simplicity the model in dimension $d=2$, but a similar behavior can be also obtained in higher dimensions.


title: How Computer Science Can Aid Forest Restoration

abstract: The world faces two interlinked crises: climate change and loss of biodiversity. Forest restoration on degraded lands and surplus croplands can play a significant role both in sequestering carbon and re-establishing bio-diversity. There is a considerable body of research and practice that addresses forest restoration. However, there has been little work by computer scientists to bring powerful computational techniques to bear on this important area of work, perhaps due to a lack of awareness. In an attempt to bridge this gap, we present our vision of how techniques from computer science, broadly speaking, can aid current practice in forest restoration.


title: On the Unimportance of Superintelligence

abstract: Humankind faces many existential threats, but has limited resources to mitigate them. Choosing how and when to deploy those resources is, therefore, a fateful decision. Here, I analyze the priority for allocating resources to mitigate the risk of superintelligences. Part I observes that a superintelligence unconnected to the outside world (de-efferented) carries no threat, and that any threat from a harmful superintelligence derives from the peripheral systems to which it is connected, e.g., nuclear weapons, biotechnology, etc. Because existentially-threatening peripheral systems already exist and are controlled by humans, the initial effects of a superintelligence would merely add to the existing human-derived risk. This additive risk can be quantified and, with specific assumptions, is shown to decrease with the square of the number of humans having the capability to collapse civilization. Part II proposes that biotechnology ranks high in risk among peripheral systems because, according to all indications, many humans already have the technological capability to engineer harmful microbes having pandemic spread. Progress in biomedicine and computing will proliferate this threat. ``Savant'' software that is not generally superintelligent will underpin much of this progress, thereby becoming the software responsible for the highest and most imminent existential risk -- ahead of hypothetical risk from superintelligences. The analysis concludes that resources should be preferentially applied to mitigating the risk of peripheral systems and savant software. Concerns about superintelligence are at most secondary, and possibly superfluous.


title: A Service for Supporting Digital and Immersive Cultural Experiences

abstract: Cultural heritage sites in Italy typically attract a large number of tourists every year. However, the lack of support for i) locating contents of interest; ii) discovering information on specific contents; and iii) ease of navigation within the heritage site; hinders the overall experience of the visitor. To this end, in this work, we present a Digital Object Space Management service developed as a part of the VASARI project. The service generates a digital twin (with 3D visualization) of a given cultural heritage site and further provides support for navigation and localization, thereby providing an immersive cultural experience to the visitor.


title: Mobility Data Analysis and Applications: A mid-year 2021 Survey

abstract: In this work we review recent works analyzing mobility data and its application in understanding the epidemic dynamics for the COVID-19 pandemic and more. We also discuss privacy-preserving solutions to analyze the mobility data in order to expand its reach towards a wider population.


title: Token-based Insurance Solutions on Blockchain

abstract: With the rising demand for protection against new risks such as loss of digital assets, novel insurance services and products emerge. In particular, token-based insurance solutions on blockchain transform the insurance business by providing cover for new risks and streamlined, (semi-)automated underwriting and claim processes. In the chapter, we present a general framework of token-based insurance solutions, delegating their fundamental building blocks that include core roles, main tokens and assets, as well as key processes and operations. We describe three major token-based insurance solutions in the market and compare them in terms of native token functionality, tokenized cover types, claim assessment process and capital model. Based on the discussion on the general framework and concrete examples of token-based insurance solutions, we summarize their advantages and point out their drawbacks. We conclude that despite being at a nascent stage, the token-based insurance space bears the promise to unseat the incumbent players with increasingly more action taking place and more use cases being explored.


title: Predicting students' performance in online courses using multiple data sources

abstract: Data-driven decision making is serving and transforming education. We approached the problem of predicting students' performance by using multiple data sources which came from online courses, including one we created. Experimental results show preliminary conclusions towards which data are to be considered for the task.


title: A literature survey on student feedback assessment tools and their usage in sentiment analysis

abstract: Online learning is becoming increasingly popular, whether for convenience, to accommodate work hours, or simply to have the freedom to study from anywhere. Especially, during the Covid-19 pandemic, it has become the only viable option for learning. The effectiveness of teaching various hard-core programming courses with a mix of theoretical content is determined by the student interaction and responses. In contrast to a digital lecture through Zoom or Teams, a lecturer may rapidly acquire such responses from students' facial expressions, behavior, and attitude in a physical session, even if the listener is largely idle and non-interactive. However, student assessment in virtual learning is a challenging task. Despite the challenges, different technologies are progressively being integrated into teaching environments to boost student engagement and motivation. In this paper, we evaluate the effectiveness of various in-class feedback assessment methods such as Kahoot!, Mentimeter, Padlet, and polling to assist a lecturer in obtaining real-time feedback from students throughout a session and adapting the teaching style accordingly. Furthermore, some of the topics covered by student suggestions include tutor suggestions, enhancing teaching style, course content, and other subjects. Any input gives the instructor valuable insight into how to improve the student's learning experience, however, manually going through all of the qualitative comments and extracting the ideas is tedious. Thus, in this paper, we propose a sentiment analysis model for extracting the explicit suggestions from the students' qualitative feedback comments.


title: Risk Management of AI/ML Software as a Medical Device (SaMD): On ISO 14971 and Related Standards and Guidances

abstract: Safety and efficacy are the paramount objectives of medical device regulation. And in line with the medical ethos of non-maleficence, first do no harm, safety is the primary goal of regulation also. As such, risk management is the underlying principle that governs the regulation of medical devices, whether traditional devices or Software as a Medical Device (SaMD). In this article, I review how Risk Management Standard ISO 14971:2019 both connects with and serves as a foundation for the other parts of the Artificial Intelligence (AI)/Machine Learning (ML) SaMD regulatory framework.


title: Ethics of AI: A Systematic Literature Review of Principles and Challenges

abstract: Ethics in AI becomes a global topic of interest for both policymakers and academic researchers. In the last few years, various research organizations, lawyers, think tankers and regulatory bodies get involved in developing AI ethics guidelines and principles. However, there is still debate about the implications of these principles. We conducted a systematic literature review (SLR) study to investigate the agreement on the significance of AI principles and identify the challenging factors that could negatively impact the adoption of AI ethics principles. The results reveal that the global convergence set consists of 22 ethical principles and 15 challenges. Transparency, privacy, accountability and fairness are identified as the most common AI ethics principles. Similarly, lack of ethical knowledge and vague principles are reported as the significant challenges for considering ethics in AI. The findings of this study are the preliminary inputs for proposing a maturity model that assess the ethical capabilities of AI systems and provide best practices for further improvements.


title: How diverse is the ACII community? Analysing gender, geographical and business diversity of Affective Computing research

abstract: ACII is the premier international forum for presenting the latest research on affective computing. In this work, we monitor, quantify and reflect on the diversity in ACII conference across time by computing a set of indexes. We measure diversity in terms of gender, geographic location and academia vs research centres vs industry, and consider three different actors: authors, keynote speakers and organizers. Results raise awareness on the limited diversity in the field, in all studied facets, and compared to other AI conferences. While gender diversity is relatively high, equality is far from being reached. The community is dominated by European, Asian and North American researchers, leading the rest of continents under-represented. There is also a strong absence of companies and research centres focusing on applied research and products. This study fosters discussion in the community on the need for diversity and related challenges in terms of minimizing potential biases of the developed systems to the represented groups. We intend our paper to contribute with a first analysis to consider as a monitoring tool when implementing diversity initiatives. The data collected for this study are publicly released through the European divinAI initiative.


title: Auditing the Imputation Effect on Fairness of Predictive Analytics in Higher Education

abstract: Colleges and universities use predictive analytics in a variety of ways to increase student success rates. Despite the potential for predictive analytics, two major barriers exist to their adoption in higher education: (a) the lack of democratization in deployment, and (b) the potential to exacerbate inequalities. Education researchers and policymakers encounter numerous challenges in deploying predictive modeling in practice. These challenges present in different steps of modeling including data preparation, model development, and evaluation. Nevertheless, each of these steps can introduce additional bias to the system if not appropriately performed. Most large-scale and nationally representative education data sets suffer from a significant number of incomplete responses from the research participants. While many education-related studies addressed the challenges of missing data, little is known about the impact of handling missing values on the fairness of predictive outcomes in practice. In this paper, we set out to first assess the disparities in predictive modeling outcomes for college-student success, then investigate the impact of imputation techniques on the model performance and fairness using a commonly used set of metrics. We conduct a prospective evaluation to provide a less biased estimation of future performance and fairness than an evaluation of historical data. Our comprehensive analysis of a real large-scale education dataset reveals key insights on modeling disparities and how imputation techniques impact the fairness of the student-success predictive outcome under different testing scenarios. Our results indicate that imputation introduces bias if the testing set follows the historical distribution. However, if the injustice in society is addressed and consequently the upcoming batch of observations is equalized, the model would be less biased.


title: Studying Fake News Spreading, Polarisation Dynamics, and Manipulation by Bots: a Tale of Networks and Language

abstract: With the explosive growth of online social media, the ancient problem of information disorders interfering with news diffusion has surfaced with a renewed intensity threatening our democracies, public health, and news outlets' credibility. Therefore, thousands of scientific papers have been published in a relatively short period, making researchers of different disciplines struggle with an information overload problem. The aim of this survey is threefold: (1) we present the results of a network-based analysis of the existing multidisciplinary literature to support the search for relevant trends and central publications; (2) we describe the main results and necessary background to attack the problem under a computational perspective; (3) we review selected contributions using network science as a unifying framework and computational linguistics as the tool to make sense of the shared content. Despite scholars working on computational linguistics and networks traditionally belong to different scientific communities, we expect that those interested in the area of fake news should be aware of crucial aspects of both disciplines.


title: Quantum Algorithms in IBMQ Experience: Deutsch-Jozsa algorithm

abstract: Quantum information processing has been one of the pillars of the new information age. In this sense, the control and processing of quantum information plays a fundamental role, and computers capable of manipulating such information have become a reality. In this article we didactically present basic elements of the latest version of IBM's quantum computer and its main tools. We also present in detail the Deutsch-Jozsa algorithm used to differentiate constant functions from balanced functions, also, including a discussion of its efficiency against classical algorithms for the same task. The experimental implementation of the algorithm in a 4-qbit system is presented. Our article paves the way for a series of didactic investigations into the IBM system as well as the best known quantum algorithms.


title: AI, orthogonality and the M\"uller-Cannon instrumental vs general intelligence distinction

abstract: The by now standard argument put forth by Yudkowsky, Bostrom and others for why the possibility of a carelessly handled AI breakthrough poses an existential threat to humanity is shown through careful conceptual analysis to be very much alive and kicking, despite the suggestion in a recent paper by M\"uller and Cannon that the argument contains a flaw.


title: La th\'eorie floue et la d\'erivation fractionnaire : Application aux \'equations diff\'erentielles hybrides

abstract: On this thesis we present the fuzzy sets, fuzzy numbers, the fractional derivative and also we discuss the solution of the first order of fuzzy hybrid equation.


title: A Tale of Two $U(1)$'s: Kinetic Mixing from Lattice WGC States

abstract: We point out that the states required by the Lattice Weak Gravity Conjecture, along with certain genericity conditions, imply the existence of non-vanishing kinetic mixing between massless Abelian gauge groups in the low-energy effective theory. We carry out a phenomenological estimate using a string-inspired probability distribution for the masses of superextremal states and compare the results to expectations from string theory and field theory, estimating the magnitude of kinetic mixing in each case. In the string case, we compute the kinetic mixing in an ensemble of 1858 MSSM-like heterotic orbifolds as well as in Type II supergravity on a Calabi-Yau manifold. From the field theory perspective, we consider compactifications of a 5D gauge theory. Finally, we discuss potential loopholes that can evade the bounds set by our estimates.


title: Proceedings 37th International Conference on Logic Programming (Technical Communications)

abstract: ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation: Compilation, Virtual machines, Memory management, Parallel and Distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cyber-security, Robotics, Education.


title: Device-to-System Performance Evaluation: from Transistor/Interconnect Modeling to VLSI Physical Design and Neural-Network Predictor

abstract: We present a DevIce-to-System Performance EvaLuation (DISPEL) workflow that integrates transistor and interconnect modeling, parasitic extraction, standard cell library characterization, logic synthesis, cell placement and routing, and timing analysis to evaluate system-level performance of new CMOS technologies. As the impact of parasitic resistances and capacitances continues to increase with dimensional downscaling, component-level optimization alone becomes insufficient, calling for a holistic assessment and optimization methodology across the boundaries between devices, interconnects, circuits, and systems. The physical implementation flow in DISPEL enables realistic analysis of complex wires and vias in VLSI systems and their impact on the chip power, speed, and area, which simple circuit simulations cannot capture. To demonstrate the use of DISPEL, a 32-bit commercial processor core is implemented using theoretical n-type MoS2 and p-type Black Phosphorous (BP) planar FETs at a projected 5-nm node, and the performance is benchmarked against Si FinFETs. While the superior gate control of the MoS2/BP FETs can theoretically provide 51% reduction in the iso-frequency energy consumption, the actual performance can be greatly limited by the source/drain contact resistances. With the large amount of data generated by DISPEL, a neural-network is trained to predict the key performance metrics of the 32-bit processor core using the characteristics of transistors and interconnects as the input features without the need to go through the time-consuming physical implementation flow. The machine learning algorithms show great potentials as a means for evaluation and optimization of new CMOS technologies and identifying the most significant technology design parameters.


title: FSER: Deep Convolutional Neural Networks for Speech Emotion Recognition

abstract: Using mel-spectrograms over conventional MFCCs features, we assess the abilities of convolutional neural networks to accurately recognize and classify emotions from speech data. We introduce FSER, a speech emotion recognition model trained on four valid speech databases, achieving a high-classification accuracy of 95,05\%, over 8 different emotion classes: anger, anxiety, calm, disgust, happiness, neutral, sadness, surprise. On each benchmark dataset, FSER outperforms the best models introduced so far, achieving a state-of-the-art performance. We show that FSER stays reliable, independently of the language, sex identity, and any other external factor. Additionally, we describe how FSER could potentially be used to improve mental and emotional health care and how our analysis and findings serve as guidelines and benchmarks for further works in the same direction.


title: Modularity and effective Mordell I

abstract: We give an effective proof of Faltings' theorem for curves mapping to Hilbert modular stacks over odd-degree totally real fields. We do this by giving an effective proof of the Shafarevich conjecture for abelian varieties of $\mathrm{GL}_2$-type over an odd-degree totally real field. We deduce for example an effective height bound for $K$-points on the curves $C_a : x^6 + 4y^3 = a^2$ ($a\in K^\times$) when $K$ is odd-degree totally real. (Over $\overline{\mathbb{Q}}$ all hyperbolic hyperelliptic curves admit an \'{e}tale cover dominating $C_1$.)


title: Voter Perceptions of Trust in Risk-Limiting Audits

abstract: Risk-limiting audits (RLAs) are expected to strengthen the public confidence in the correctness of an election outcome. We hypothesize that this is not always the case, in part because for large margins between the winner and the runner-up, the number of ballots to be drawn can be so small that voters lose confidence. We conduct a user study with 105 participants resident in the US. Our findings confirm the hypothesis, showing that our study participants felt less confident when they were told the number of ballots audited for RLAs. We elaborate on our findings and propose recommendations for future use of RLAs.


title: Solutions of Pauli-Dirac Equation in terms of Laguerre Polynomials within Perturbative Scheme

abstract: We search for first- and second-order corrections to the energy levels of the Pauli-Dirac equation within the Rayleigh-Schr\"odinger theory. We use some identities satisfied by the associated Laguerre polynomials to reach this aim. We give a list presenting analytical forms of some integrals including two associated Laguerre polynomials, or their derivatives.


title: On the inductive biases of deep domain adaptation

abstract: Domain alignment is currently the most prevalent solution to unsupervised domain-adaptation tasks and are often being presented as minimizers of some theoretical upper-bounds on risk in the target domain. However, further works revealed severe inadequacies between theory and practice: we consolidate this analysis and confirm that imposing domain invariance on features is neither necessary nor sufficient to obtain low target risk. We instead argue that successful deep domain adaptation rely largely on hidden inductive biases found in the common practice, such as model pre-training or design of encoder architecture. We perform various ablation experiments on popular benchmarks and our own synthetic transfers to illustrate their role in prototypical situations. To conclude our analysis, we propose to meta-learn parametric inductive biases to solve specific transfers and show their superior performance over handcrafted heuristics.


title: Protect the Intellectual Property of Dataset against Unauthorized Use

abstract: Training high performance Deep Neural Networks (DNNs) models require large-scale and high-quality datasets. The expensive cost of collecting and annotating large-scale datasets make the valuable datasets can be considered as the Intellectual Property (IP) of the dataset owner. To date, almost all the copyright protection schemes for deep learning focus on the copyright protection of models, while the copyright protection of the dataset is rarely studied. In this paper, we propose a novel method to actively protect the dataset from being used to train DNN models without authorization. Experimental results on on CIFAR-10 and TinyImageNet datasets demonstrate the effectiveness of the proposed method. Compared with the model trained on clean dataset, the proposed method can effectively make the test accuracy of the unauthorized model trained on protected dataset drop from 86.21% to 38.23% and from 74.00% to 16.20% on CIFAR-10 and TinyImageNet datasets, respectively.


title: M2RNet: Multi-modal and Multi-scale Refined Network for RGB-D Salient Object Detection

abstract: Salient object detection is a fundamental topic in computer vision. Previous methods based on RGB-D often suffer from the incompatibility of multi-modal feature fusion and the insufficiency of multi-scale feature aggregation. To tackle these two dilemmas, we propose a novel multi-modal and multi-scale refined network (M2RNet). Three essential components are presented in this network. The nested dual attention module (NDAM) explicitly exploits the combined features of RGB and depth flows. The adjacent interactive aggregation module (AIAM) gradually integrates the neighbor features of high, middle and low levels. The joint hybrid optimization loss (JHOL) makes the predictions have a prominent outline. Extensive experiments demonstrate that our method outperforms other state-of-the-art approaches.


title: Efficient Path-Sensitive Data-Dependence Analysis

abstract: This paper presents a scalable path- and context-sensitive data-dependence analysis. The key is to address the aliasing-path-explosion problem via a sparse, demand-driven, and fused approach that piggybacks the computation of pointer information with the resolution of data dependence. Specifically, our approach decomposes the computational efforts of disjunctive reasoning into 1) a context- and semi-path-sensitive analysis that concisely summarizes data dependence as the symbolic and storeless value-flow graphs, and 2) a demand-driven phase that resolves transitive data dependence over the graphs. We have applied the approach to two clients, namely thin slicing and value flow analysis. Using a suite of 16 programs ranging from 13 KLoC to 8 MLoC, we compare our techniques against a diverse group of state-of-the-art analyses, illustrating significant precision and scalability advantages of our approach.


title: Small Promise CSPs that reduce to large CSPs

abstract: For relational structures A, B of the same signature, the Promise Constraint Satisfaction Problem PCSP(A,B) asks whether a given input structure maps homomorphically to A or does not even map to B. We are promised that the input satisfies exactly one of these two cases. If there exists a structure C with homomorphisms $A\to C\to B$, then PCSP(A,B) reduces naturally to CSP(C). To the best of our knowledge all known tractable PCSPs reduce to tractable CSPs in this way. However Barto showed that some PCSPs over finite structures A, B require solving CSPs over infinite C. We show that even when such a reduction to finite C is possible, this structure may become arbitrarily large. For every integer $n>1$ and every prime p we give A, B of size n with a single relation of arity $n^p$ such that PCSP(A, B) reduces via a chain of homomorphisms $ A\to C\to B$ to a tractable CSP over some C of size p but not over any smaller structure. In a second family of examples, for every prime $p\geq 7$ we construct A, B of size $p-1$ with a single ternary relation such that PCSP(A, B) reduces via $A\to C\to B$ to a tractable CSP over some C of size p but not over any smaller structure. In contrast we show that if A, B are graphs and PCSP(A,B) reduces to tractable CSP(C) for some finite digraph C, then already A or B has a tractable CSP. This extends results and answers a question of Deng et al.


title: PDBench: Evaluating Computational Methods for Protein Sequence Design

abstract: Proteins perform critical processes in all living systems: converting solar energy into chemical energy, replicating DNA, as the basis of highly performant materials, sensing and much more. While an incredible range of functionality has been sampled in nature, it accounts for a tiny fraction of the possible protein universe. If we could tap into this pool of unexplored protein structures, we could search for novel proteins with useful properties that we could apply to tackle the environmental and medical challenges facing humanity. This is the purpose of protein design. Sequence design is an important aspect of protein design, and many successful methods to do this have been developed. Recently, deep-learning methods that frame it as a classification problem have emerged as a powerful approach. Beyond their reported improvement in performance, their primary advantage over physics-based methods is that the computational burden is shifted from the user to the developers, thereby increasing accessibility to the design method. Despite this trend, the tools for assessment and comparison of such models remain quite generic. The goal of this paper is to both address the timely problem of evaluation and to shine a spotlight, within the Machine Learning community, on specific assessment criteria that will accelerate impact. We present a carefully curated benchmark set of proteins and propose a number of standard tests to assess the performance of deep learning based methods. Our robust benchmark provides biological insight into the behaviour of design methods, which is essential for evaluating their performance and utility. We compare five existing models with two novel models for sequence prediction. Finally, we test the designs produced by these models with AlphaFold2, a state-of-the-art structure-prediction algorithm, to determine if they are likely to fold into the intended 3D shapes.


title: Don't Search for a Search Method -- Simple Heuristics Suffice for Adversarial Text Attacks

abstract: Recently more attention has been given to adversarial attacks on neural networks for natural language processing (NLP). A central research topic has been the investigation of search algorithms and search constraints, accompanied by benchmark algorithms and tasks. We implement an algorithm inspired by zeroth order optimization-based attacks and compare with the benchmark results in the TextAttack framework. Surprisingly, we find that optimization-based methods do not yield any improvement in a constrained setup and slightly benefit from approximate gradient information only in unconstrained setups where search spaces are larger. In contrast, simple heuristics exploiting nearest neighbors without querying the target function yield substantial success rates in constrained setups, and nearly full success rate in unconstrained setups, at an order of magnitude fewer queries. We conclude from these results that current TextAttack benchmark tasks are too easy and constraints are too strict, preventing meaningful research on black-box adversarial text attacks.


title: Holographic model with power-law Maxwell field for color superconductivity

abstract: Studying the color superconductivity (CSC) phase is essential to understand the physics in the core of the neutron stars which is the only known context where the CSC phase might appear due to the gravitational force squeezing the matter to a sufficiently high density. We propose a simple holographic dual description of the CSC phase transition in the realistic Yang-Mills theory with the power-law Maxwell field. We find the CSC phase transition with the large color number in the deconfinement phase, which is not found in the case of the usual Maxwell field, if the power parameter characterizing for the power-law Maxwell field is sufficiently lower than one but above $1/2$ and the chemical potential is above a critical value. However, the power parameter is not arbitrary below one because when this parameter is sufficiently far away from one it leads to the occurrence of the CSC state in the confinement phase which is not compatible with a nonzero vacuum expectation value of the color nonsinglet operator.


title: BDG inequalities and their applications for model-free continuous price paths with instant enforcement

abstract: Shafer and Vovk introduce in their book \cite{ShaferVovk:2018} the notion of \emph{instant enforcement} and \emph{instantly blockable} properties. However, they do not associate these notions with any outer measure, unlike what Vovk did in the case of sets of ''typical'' price paths. In this paper we introduce an outer measure on the space $[0, +\ns) \times \Omega$ which assigns zero value exactly to those sets (properties) of pairs of time $t$ and an elementary event $\omega$ which are instantly blockable. Next, for a slightly modified measure, we prove It\^o's isometry and BDG inequalities, and then use them to define an It\^o-type integral. Additionally, we prove few properties for the quadratic variation of model-free, continuous martingales, which hold with instant enforcement.


title: A Fast Method for Steady-State Memristor Crossbar Array Circuit Simulation

abstract: In this work we propose an effective preconditioning technique to accelerate the steady-state simulation of large-scale memristor crossbar arrays (MCAs). We exploit the structural regularity of MCAs to develop a specially-crafted preconditioner that can be efficiently evaluated utilizing tensor products and block matrix inversion. Numerical experiments demonstrate the efficacy of the proposed technique compared to mainstream preconditioners.


title: Behavior of Keyword Spotting Networks Under Noisy Conditions

abstract: Keyword spotting (KWS) is becoming a ubiquitous need with the advancement in artificial intelligence and smart devices. Recent work in this field have focused on several different architectures to achieve good results on datasets with low to moderate noise. However, the performance of these models deteriorates under high noise conditions as shown by our experiments. In our paper, we present an extensive comparison between state-of-the-art KWS networks under various noisy conditions. We also suggest adaptive batch normalization as a technique to improve the performance of the networks when the noise files are unknown during the training phase. The results of such high noise characterization enable future work in developing models that perform better in the aforementioned conditions.


title: DDS: A new device-degraded speech dataset for speech enhancement

abstract: A large and growing amount of speech content in real-life scenarios is being recorded on consumer-grade devices in uncontrolled environments, resulting in degraded speech quality. Transforming such low-quality device-degraded speech into high-quality speech is a goal of speech enhancement (SE). This paper introduces a new speech dataset, DDS, to facilitate the research on SE. DDS provides aligned parallel recordings of high-quality speech (recorded in professional studios) and a number of versions of low-quality speech, producing approximately 2,000 hours speech data. The DDS dataset covers 27 realistic recording conditions by combining diverse acoustic environments and microphone devices, and each version of a condition consists of multiple recordings from six microphone positions to simulate different noise and reverberation levels. We also test several SE baseline systems on the DDS dataset and show the impact of recording diversity on performance.


title: Structural Estimation of Matching Markets with Transferable Utility

abstract: This paper provides an introduction to structural estimation methods for matching markets with transferable utility.


title: Emergence of functional information from multivariate correlations

abstract: The information content of symbolic sequences (such as nucleic- or amino acid sequences, but also neuronal firings or strings of letters) can be calculated from an ensemble of such sequences, but because information cannot be assigned to single sequences, we cannot correlate information to other observables attached to the sequence. Here we show that an information score obtained from multivariate (multiple-variable) correlations within sequences of a "training" ensemble can be used to predict observables of out-of-sample sequences with an accuracy that scales with the complexity of correlations, showing that functional information emerges from a hierarchy of multi-variable correlations.

categories: q-bio.BM cs.IT math.IT physics.bio-ph q-bio.PE


title: Fast and Secure Routing Algorithms for Quantum Key Distribution Networks

abstract: We consider the problem of secure packet routing at the maximum achievable rate in Quantum Key Distribution (QKD) networks. Assume that a QKD protocol generates symmetric private key pairs for secure communication over each link in a network. The quantum key generation process is modeled using a stochastic counting process. Packets are first encrypted with the quantum keys available for each hop and then transmitted on a point-to-point basis over the links. A fundamental problem in this setting is the design of a secure and capacity-achieving routing policy that takes into account the time-varying availability of the encryption keys and finite link capacities. In this paper, we propose a new secure throughput-optimal policy called Tandem Queue Decomposition (TQD). The TQD policy is derived by combining the QKD process with the Universal Max Weight routing policy, proposed earlier by Sinha and Modiano. We show that the TQD policy solves the problem of secure and efficient packet routing for a broad class of traffic, including unicast, broadcast, multicast, and anycast. The proposed decomposition reduces the problem to the generalized network flow problem without the key availability constraints over a transformed network. The proof of the throughput-optimality of the TQD policy uses the Lyapunov stability theory for analyzing the interdependent packet queueing process and the key-storage dynamics. Finally, we demonstrate the competitiveness of the TQD policy over the existing algorithms by numerically comparing them on a simulator that we build on top of the state-of-the-art OMNeT++ network simulator platform.


title: A New Upper Bound for the Ramsey Number of Fans

abstract: A fan $F_n$ is a graph consisting of $n$ triangles, all having precisely one common vertex. Currently, the best known bounds for the Ramsey number $R(F_n)$ are $9n/2-5 \leq R(F_n) \leq 11n/2+6$, obtained by Chen, Yu and Zhao. We improve the upper bound to $31n/6+O(1)$.


title: Noise-driven bifurcations in a neural field system modelling networks of grid cells

abstract: The activity generated by an ensemble of neurons is affected by various noise sources. It is a well-recognised challenge to understand the effects of noise on the stability of such networks. We demonstrate that the patterns of activity generated by networks of grid cells emerge from the instability of homogeneous activity for small levels of noise. This is carried out by analysing the robustness of network activity patterns with respect to noise in an upscaled noisy grid cell model in the form of a system of partial differential equations. Inhomogeneous network patterns are numerically understood as branches bifurcating from unstable homogeneous states for small noise levels. We show that there is a phase transition occurring as the level of noise decreases. Our numerical study also indicates the presence of hysteresis phenomena close to the precise critical noise value.


title: General primitivity in the mapping class group

abstract: For $g\geq 2$, let $\mathrm{Mod}(S_g)$ be the mapping class group of the closed orientable surface $S_g$ of genus $g$. In this paper, we obtain necessary and sufficient conditions under which a given pseudo-periodic mapping class can be a root of another up to conjugacy. Using this characterization, the canonical decomposition of (non-periodic) mapping classes, and some known algorithms, we give an algorithm for determining the conjugacy classes of roots of arbitrary mapping classes. Furthermore, we derive realizable bounds on the degrees of roots of pseudo-periodic mapping classes in $\mathrm{Mod}(S_g)$, the Torelli group, the level-$m$ subgroup of $\mathrm{Mod}(S_g)$, and the commutator subgroup of $\mathrm{Mod}(S_2)$. In particular, we show that the highest possible (realizable) degree of a root of a pseudo-periodic mapping class $F$ is $3q(F)(g+1)(g+2)$, where $q(F)$ is a unique positive integer associated with the conjugacy class of $F$. Moreover, this bound is realized by a root of a power of a Dehn twist about a separating curve of genus $[g/2]$ in $S_g$, where $g\equiv 0,9 \pmod{12}$. Finally, for $g\geq 3$, we show that any pseudo-periodic mapping class having a nontrivial periodic component that is not the hyperelliptic involution, normally generates $\mathrm{Mod}(S_g)$. Consequently, we establish that $\mathrm{Mod}(S_g)$ is normally generated by a root of bounding pair map or a root of a nontrivial power of a Dehn twist.


title: A Note on a Standard Model for Galois Rings

abstract: In this work, we present a standard model for Galois rings based on the standard model of their residual fields, that is, a sequence of Galois rings starting with ${\mathbb Z}_{p^r} that coves all the Galois rings with that characteristic ring and such that there is an algorithm producing each member of the sequence whose input is the size of the required ring.


title: Lower bound of the parabolic Hilbert commutator

abstract: Answering a key point left open in a recent work of Bongers, Guo, Li and Wick, we provide the following lower bound $$ \|b\|_{\text{BMO}_{\gamma}(\mathbb{R}^2)}\lesssim \|[b,H_{\gamma}]\|_{L^p(\mathbb{R}^2)\to L^p(\mathbb{R}^2)}, $$ where $H_{\gamma}$ is the parabolic Hilbert transform.


title: PDAugment: Data Augmentation by Pitch and Duration Adjustments for Automatic Lyrics Transcription

abstract: Automatic lyrics transcription (ALT), which can be regarded as automatic speech recognition (ASR) on singing voice, is an interesting and practical topic in academia and industry. ALT has not been well developed mainly due to the dearth of paired singing voice and lyrics datasets for model training. Considering that there is a large amount of ASR training data, a straightforward method is to leverage ASR data to enhance ALT training. However, the improvement is marginal when training the ALT system directly with ASR data, because of the gap between the singing voice and standard speech data which is rooted in music-specific acoustic characteristics in singing voice. In this paper, we propose PDAugment, a data augmentation method that adjusts pitch and duration of speech at syllable level under the guidance of music scores to help ALT training. Specifically, we adjust the pitch and duration of each syllable in natural speech to those of the corresponding note extracted from music scores, so as to narrow the gap between natural speech and singing voice. Experiments on DSing30 and Dali corpus show that the ALT system equipped with our PDAugment outperforms previous state-of-the-art systems by 5.9% and 18.1% WERs respectively, demonstrating the effectiveness of PDAugment for ALT.


title: Joint ergodicity of Hardy field sequences

abstract: We study mean convergence of multiple ergodic averages, where the iterates arise from smooth functions of polynomial growth that belong to a Hardy field. Our results include all logarithmico-exponential functions of polynomial growth, such as the functions $t^{3/2}, t\log t$ and $e^{\sqrt{\log t}}$. We show that if all non-trivial linear combinations of the functions $a_1,...,a_k$ stay logarithmically away from rational polynomials, then the $L^2$-limit of the ergodic averages $\frac{1}{N} \sum_{n=1}^{N}f_1(T^{\lfloor{a_1(n)}\rfloor}x)\cdots f_k(T^{\lfloor{a_k(n)}\rfloor}x)$ exists and is equal to the product of the integrals of the functions $f_1,...,f_k$ in ergodic systems, which establishes a conjecture of Frantzikinakis. Under some more general conditions on the functions $a_1,...,a_k$, we also find characteristic factors for convergence of the above averages and deduce a convergence result for weak-mixing systems.


title: SN 2018bsz: significant dust formation in a nearby superluminous supernova

abstract: We investigate the thermal emission and extinction from dust associated with the nearby superluminous supernova (SLSN) 2018bsz. Our dataset has daily cadence and simultaneous optical and near-infrared coverage up to ~ 100 days, together with late time (+ 1.7 yr) MIR observations. At 230 days after light curve peak the SN is not detected in the optical, but shows a surprisingly strong near-infrared excess, with r - J > 3 mag and r - Ks > 5 mag. The time evolution of the infrared light curve enables us to investigate if the mid-infrared emission is from newly formed dust inside the SN ejecta, from a pre-existing circumstellar envelope, or interstellar material heated by the radiation from the SN. We find the latter two scenarios can be ruled out, and a scenario where new dust is forming in the SN ejecta at epochs > 200 days can self-consistently reproduce the evolution of the SN flux. We can fit the spectral energy distribution well at +230 d with 5 x 10^-4 solar mass of carbon dust, increasing over the following several hundred days to 10^-2 solar mass by +535 d. SN 2018bsz is the first SLSN showing evidence for dust formation within the SN ejecta, and appears to form ten times more dust than normal core-collapse SNe at similar epochs. Together with their preference for low mass, low metallicity host galaxies, we suggest that SLSNe may be a significant contributor to dust formation in the early Universe.


title: RetrievalSum: A Retrieval Enhanced Framework for Abstractive Summarization

abstract: Existing summarization systems mostly generate summaries purely relying on the content of the source document. However, even for humans, we usually need some references or exemplars to help us fully understand the source document and write summaries in a particular format. But how to find the high-quality exemplars and incorporate them into summarization systems is still challenging and worth exploring. In this paper, we propose RetrievalSum, a novel retrieval enhanced abstractive summarization framework consisting of a dense Retriever and a Summarizer. At first, several closely related exemplars are retrieved as supplementary input to help the generation model understand the text more comprehensively. Furthermore, retrieved exemplars can also play a role in guiding the model to capture the writing style of a specific corpus. We validate our method on a wide range of summarization datasets across multiple domains and two backbone models: BERT and BART. Results show that our framework obtains significant improvement by 1.38~4.66 in ROUGE-1 score when compared with the powerful pre-trained models, and achieve new state-of-the-art on BillSum. Human evaluation demonstrates that our retrieval enhanced model can better capture the domain-specific writing style.


title: Comparing Concepts for Embedding Second-Language Vocabulary Acquisition into Everyday Smartphone Interactions

abstract: We present a three-week within-subject field study comparing three mobile language learning (MLL) applications with varying levels of integration into everyday smartphone interactions: We designed a novel (1) UnlockApp that presents a vocabulary task with each authentication event, nudging users towards short frequent learning sessions. We compare it with a (2) NotificationApp that displays vocabulary tasks in a push notification in the status bar, which is always visible but learning needs to be user-initiated, and a (3) StandardApp that requires users to start in-app learning actively. Our study is the first to directly compare these embedding concepts for MLL, showing that integrating vocabulary learning into everyday smartphone interactions via UnlockApp and NotificationApp increases the number of answers. However, users show individual subjective preferences. Based on our results, we discuss the trade-off between higher content exposure and disturbance, and the related challenges and opportunities of embedding learning seamlessly into everyday mobile interactions.


title: Lifting 2D Object Locations to 3D by Discounting LiDAR Outliers across Objects and Views

abstract: We present a system for automatic converting of 2D mask object predictions and raw LiDAR point clouds into full 3D bounding boxes of objects. Because the LiDAR point clouds are partial, directly fitting bounding boxes to the point clouds is meaningless. Instead, we suggest that obtaining good results requires sharing information between \emph{all} objects in the dataset jointly, over multiple frames. We then make three improvements to the baseline. First, we address ambiguities in predicting the object rotations via direct optimization in this space while still backpropagating rotation prediction through the model. Second, we explicitly model outliers and task the network with learning their typical patterns, thus better discounting them. Third, we enforce temporal consistency when video data is available. With these contributions, our method significantly outperforms previous work despite the fact that those methods use significantly more complex pipelines, 3D models and additional human-annotated external sources of prior information.


title: Popularity Bias Is Not Always Evil: Disentangling Benign and Harmful Bias for Recommendation

abstract: Recommender system usually suffers from severe popularity bias -- the collected interaction data usually exhibits quite imbalanced or even long-tailed distribution over items. Such skewed distribution may result from the users' conformity to the group, which deviates from reflecting users' true preference. Existing efforts for tackling this issue mainly focus on completely eliminating popularity bias. However, we argue that not all popularity bias is evil. Popularity bias not only results from conformity but also item quality, which is usually ignored by existing methods. Some items exhibit higher popularity as they have intrinsic better property. Blindly removing the popularity bias would lose such important signal, and further deteriorate model performance. To sufficiently exploit such important information for recommendation, it is essential to disentangle the benign popularity bias caused by item quality from the harmful popularity bias caused by conformity. Although important, it is quite challenging as we lack an explicit signal to differentiate the two factors of popularity bias. In this paper, we propose to leverage temporal information as the two factors exhibit quite different patterns along the time: item quality revealing item inherent property is stable and static while conformity that depends on items' recent clicks is highly time-sensitive. Correspondingly, we further propose a novel Time-aware DisEntangled framework (TIDE), where a click is generated from three components namely the static item quality, the dynamic conformity effect, as well as the user-item matching score returned by any recommendation model. Lastly, we conduct interventional inference such that the recommendation can benefit from the benign popularity bias while circumvent the harmful one. Extensive experiments on three real-world datasets demonstrated the effectiveness of TIDE.