title: Differentiable Inductive Logic Programming for Structured Examples

abstract: The differentiable implementation of logic yields a seamless combination of symbolic reasoning and deep neural networks. Recent research, which has developed a differentiable framework to learn logic programs from examples, can even acquire reasonable solutions from noisy datasets. However, this framework severely limits expressions for solutions, e.g., no function symbols are allowed, and the shapes of clauses are fixed. As a result, the framework cannot deal with structured examples. Therefore we propose a new framework to learn logic programs from noisy and structured examples, including the following contributions. First, we propose an adaptive clause search method by looking through structured space, which is defined by the generality of the clauses, to yield an efficient search space for differentiable solvers. Second, we propose for ground atoms an enumeration algorithm, which determines a necessary and sufficient set of ground atoms to perform differentiable inference functions. Finally, we propose a new method to compose logic programs softly, enabling the system to deal with complex programs consisting of several clauses. Our experiments show that our new framework can learn logic programs from noisy and structured examples, such as sequences or trees. Our framework can be scaled to deal with complex programs that consist of several clauses with function symbols.


title: Asymptotic Stochastic Comparison of Random Processes

abstract: Several methods are available in the literature to stochastically compare random variables and random vectors. We introduce the notion of asymptotic stochastic order for random processes and define four such orders. Various properties and interrelations of the orders are discussed. Sufficient conditions for these orders to hold for certain stochastic processes, evolving from some statistical entities of interest, are derived.


title: On the Generalisation Capabilities of Fisher Vector based Face Presentation Attack Detection

abstract: In the last decades, the broad development experienced by biometric systems has unveiled several threats which may decrease their trustworthiness. Those are attack presentations which can be easily carried out by a non-authorised subject to gain access to the biometric system. In order to mitigate those security concerns, most face Presentation Attack Detection techniques have reported a good detection performance when they are evaluated on known Presentation Attack Instruments (PAI) and acquisition conditions, in contrast to more challenging scenarios where unknown attacks are included in the test set. For those more realistic scenarios, the existing algorithms face difficulties to detect unknown PAI species in many cases. In this work, we use a new feature space based on Fisher Vectors, computed from compact Binarised Statistical Image Features histograms, which allow discovering semantic feature subsets from known samples in order to enhance the detection of unknown attacks. This new representation, evaluated for challenging unknown attacks taken from freely available facial databases, shows promising results: a BPCER100 under 17% together with an AUC over 98% can be achieved in the presence of unknown attacks. In addition, by training a limited number of parameters, our method is able to achieve state-of-the-art deep learning-based approaches for cross-dataset scenarios.


title: Mining Software Repositories with a Collaborative Heuristic Repository

abstract: Many software engineering studies or tasks rely on categorizing software engineering artifacts. In practice, this is done either by defining simple but often imprecise heuristics, or by manual labelling of the artifacts. Unfortunately, errors in these categorizations impact the tasks that rely on them. To improve the precision of these categorizations, we propose to gather heuristics in a collaborative heuristic repository, to which researchers can contribute a large amount of diverse heuristics for a variety of tasks on a variety of SE artifacts. These heuristics are then leveraged by state-of-the-art weak supervision techniques to train high-quality classifiers, thus improving the categorizations. We present an initial version of the heuristic repository, which we applied to the concrete task of commit classification.


title: Fractional Sobolev isometric immersions of planar domains

abstract: We discuss $C^1$ regularity and developability of isometric immersions of flat domains into $\mathbb R^3$ enjoying a local fractional Sobolev $W^{1+s, \frac2s}$ regularity for $2/3 \le s< 1 $, generalizing the known results on Sobolev and H\"older regimes. Ingredients of the proof include analysis of the weak Codazzi-Mainardi equations of the isometric immersions and study of $W^{2,\frac2s}$ planar deformations with symmetric Jacobian derivative and vanishing distributional Jacobian determinant. On the way, we also show that the distributional Jacobian determinant, conceived as an operator defined on the Jacobian matrix, behaves like determinant of gradient matrices under products by scalar functions.


title: $J/\psi$ polarization in high multiplicity $pp$ and $pA$ collisions: CGC+NRQCD approach

abstract: Quarkonium production mechanism in high multiplicity small collision systems has recently been pursued in the color-glass-condensate (CGC) effective theory combined with non-relativistic QCD (NRQCD) factorization, allowing to study initial state interactions. Quarkonium polarization, potentially measured in future experiments, would help elucidate the quarkonium production mechanism at high multiplicities. In this paper, we provide predictions on $J/\psi$ polarization parameters in high multiplicity proton-proton ($pp$) and proton-nucleus ($pA$) collisions within the CGC+NRQCD framework. Theoretical predictions are given for $J/\psi$ rapidity $2.5< y_{J/\psi}<4$, charged-particle multiplicity pseudorapidity $|\eta_{ch} | <1$ and energies $\sqrt{S}=13\mathrm{~TeV}$ for $pp$, $\sqrt{S}=8.16\mathrm{~TeV}$ for $pA$ collisions. Considering two leptonic frame choices (Collins - Soper and helicity) we find a weak polarization of $J/\psi$ that additionally decreases with growing event activities. No significant system size dependence between $pp$ and $pA$ collisions is obtained - this could be a new constraint to initial state interactions in small collision systems.


title: Notes on solutions of KZ equations modulo $p^s$ and $p$-adic limit $s\to\infty$

abstract: We consider the KZ equations over $\mathbb C$ in the case, when the hypergeometric solutions are hyperelliptic integrals of genus $g$. Then the space of solutions is a $2g$-dimensional complex vector space. We also consider the same equations modulo $p^s$, where $p$ is an odd prime and $s$ is a positive integer, and over the field $\mathbb Q_p$ of $p$-adic numbers. We construct polynomial solutions of the KZ equations modulo $p^s$ and study the space $\mathcal M_{p^s}$ of all constructed solutions. We show that the $p$-adic limit of $\mathcal M_{p^s}$ as $s\to\infty$ gives us a $g$-dimensional vector space of solutions of the KZ equations over $\mathbb Q_p$. The solutions over $\mathbb Q_p$ are power series at a certain asymptotic zone of the KZ equations. In the appendix written jointly with Steven Sperber we consider all asymptotic zones of the KZ equations in the case $g=1$ of elliptic integrals. The $p$-adic limit of $\mathcal M_{p^s}$ as $s\to \infty$ gives us a one-dimensional space of solutions over $\mathbb Q_p$ at every asymptotic zone. We apply Dwork's theory and show that our germs of solutions over $\mathbb Q_p$ defined at different asymptotic zones analytically continue into a single global invariant line subbundle of the associated KZ connection. Notice that the corresponding KZ connection over $\mathbb C$ does not have proper nontrivial invariant subbundles, and therefore our invariant line subbundle is a new feature of the KZ equations over $\mathbb Q_p$. We describe the Frobenius transformations of solutions of the KZ equations for $g =1$ and then recover the unit roots of the zeta functions of the elliptic curves defined by the equations $y^2= \beta \,x(x-1)(x-\alpha)$ over the finite field $\mathbb F_p$. Here $\alpha,\beta\in\mathbb F_p^\times, \alpha \ne 1$.


title: A note on the concordance $\mathbb{Z}$-genus

abstract: We show that the difference between the topological 4-genus of a knot and the minimal genus of a surface bounded by that knot that can be decomposed into a smooth concordance followed by an algebraically simple locally flat surface can be arbitrarily large. This extends work of Hedden-Livingston-Ruberman showing that there are topologically slice knots which are not smoothly concordant to any knot with trivial Alexander polynomial.


title: Departure-based Asymptotic Stochastic Order for Random Processes

abstract: We propose and analyze a specific asymptotic stochastic order for random processes based on the measure of departure discussed in the literature. As applications, we stochastically compare mixtures of order statistics and record values coming from two different homogeneous samples, as the sample size becomes large.


title: Fast Evaporation Enabled Ultrathin Polymeric Coatings on Nanoporous Substrates for Highly Permeable Membranes

abstract: Membranes derived from ultrathin polymeric films are promising to meet fast separations, but currently available approaches to produce polymer films with greatly reduced thicknesses on porous supports still faces challenges. Here, defect-free ultrathin polymer covering films (UPCFs) are realized by a facile general approach of rapid solvent evaporation. By fast evaporating dilute polymer solutions, we realize ultrathin coating (~30 nm) of porous substrates exclusively on the top surface, forming UPCFs with a block copolymer of polystyrene-block-poly(2-vinyl pyridine) at room temperature or a homopolymer of poly(vinyl alcohol) (PVA) at elevated temperatures. With subsequent selective swelling to the block copolymer and crosslinking to PVA, the resulting bi-layered composite structures serve as highly permeable membranes delivering ~2-10 times higher permeability in ultrafiltration and pervaporation applications than state-of-the-art separation membranes with similar rejections and selectivities. This work opens up a new, facile avenue for the controllable fabrication of ultrathin coatings on porous substrates, which shows great potentials in membrane-based separations and other areas.


title: Constant-sized robust self-tests for states and measurements of unbounded dimension

abstract: We consider correlations, $p_{n,x}$, arising from measuring a maximally entangled state using $n$ measurements with two outcomes each, constructed from $n$ projections that add up to $xI$. We show that the correlations $p_{n,x}$ robustly self-test the underlying states and measurements. To achieve this, we lift the group-theoretic Gowers-Hatami based approach for proving robust self-tests to a more natural algebraic framework. A key step is to obtain an analogue of the Gowers-Hatami theorem allowing to perturb an "approximate" representation of the relevant algebra to an exact one. For $n=4$, the correlations $p_{n,x}$ self-test the maximally entangled state of every odd dimension as well as 2-outcome projective measurements of arbitrarily high rank. The only other family of constant-sized self-tests for strategies of unbounded dimension is due to Fu (QIP 2020) who presents such self-tests for an infinite family of maximally entangled states with even local dimension. Therefore, we are the first to exhibit a constant-sized self-test for measurements of unbounded dimension as well as all maximally entangled states with odd local dimension.


title: Graph-Time Convolutional Neural Networks

abstract: Spatiotemporal data can be represented as a process over a graph, which captures their spatial relationships either explicitly or implicitly. How to leverage such a structure for learning representations is one of the key challenges when working with graphs. In this paper, we represent the spatiotemporal relationships through product graphs and develop a first principle graph-time convolutional neural network (GTCNN). The GTCNN is a compositional architecture with each layer comprising a graph-time convolutional module, a graph-time pooling module, and a nonlinearity. We develop a graph-time convolutional filter by following the shift-and-sum principles of the convolutional operator to learn higher-level features over the product graph. The product graph itself is parametric so that we can learn also the spatiotemporal coupling from data. We develop a zero-pad pooling that preserves the spatial graph (the prior about the data) while reducing the number of active nodes and the parameters. Experimental results with synthetic and real data corroborate the different components and compare with baseline and state-of-the-art solutions.


title: Out-of-plane emission of trions in monolayer WSe2 revealed by whispering gallery modes of dielectric microresonators

abstract: The manipulation of light emitted by two-dimensional semiconductors grounds forthcoming technologies in the field of on-chip communications. However, these technologies require from the so elusive out-of-plane photon sources to achieve an efficient coupling of radiated light into planar devices. Here we propose a versatile spectroscopic method that enables the identification of the out-of-plane component of dipoles. The method is based on the selective coupling of light emitted by in-plane and out-of-plane dipoles to the whispering gallery modes of spherical dielectric microresonators, in close contact to them. We have applied this method to demonstrate the existence of dipoles with an out-of-plane orientation in monolayer WSe2 at room temperature. Micro-photoluminescent measurements, numerical simulations based on finite element methods, and ab-initio calculations have identified trions as the source responsible for this out-of-plane emission, opening new routes for realizing on-chip integrated systems with applications in information processing and quantum communications.


title: Asymptotic Estimation for Eigenvalues in the Exponential Potential and for Zeros of $K_{{\rm i}\nu}(z)$ with Respect to Order

abstract: The paper presents the derivation of the asymptotic behavior of $\nu$-zeros of the modified Bessel function of imaginary order $K_{{\rm i}\nu}(z)$. This derivation is based on the quasiclassical treatment of the exponential potential on the positive half axis. The asymptotic expression for the $\nu$-zeros (zeros with respect to order) contains the Lambert $W$ function, which is readily available in most computer algebra systems and numerical software packages. The use of this function provides much higher accuracy of the estimation comparing to known relations containing the logarithm, which is just the leading term of $W(x)$ at large $x$. Our result ensures accuracies sufficient for practical applications.


title: Predicting electromagnetic counterparts using low-latency, gravitational-wave data products

abstract: Searches for gravitational-wave counterparts have been going in earnest since GW170817 and the discovery of AT2017gfo. Since then, the lack of detection of other optical counterparts connected to binary neutron star or black hole - neutron star candidates has highlighted the need for a better discrimination criterion to support this effort. At the moment, the low-latency gravitational-wave alerts contain preliminary information about the binary properties and, hence, on whether a detected binary might have an electromagnetic counterpart. The current alert method is a classifier that estimates the probability that there is a debris disc outside the black hole created during the merger as well as the probability of a signal being a binary neutron star, a black hole - neutron star, a binary black hole or of terrestrial origin. In this work, we expand upon this approach to predict both the ejecta properties and provide contours of potential lightcurves for these events in order to improve follow-up observation strategy. The various sources of uncertainty are discussed, and we conclude that our ignorance about the ejecta composition and the insufficient constraint of the binary parameters, by the low-latency pipelines, represent the main limitations. To validate the method, we test our approach on real events from the second and third Advanced LIGO-Virgo observing runs.


title: An analytic calculus for intuitionistic belief

abstract: Intuitionistic belief has been axiomatized by Artemov and Protopopescu as an extension of intuitionistic propositional logic by means of the distributivity scheme K, and of co-reflection $A\rightarrow\Box A$. This way, belief is interpreted as a result of verification, and it fits an extended Brouwer-Heyting-Kolmogorov interpretation for intuitionistic propositional logic with an epistemic modality. In the present paper, structural properties of a natural deduction system $\mathsf{IEL}^{-}$ for intuitionistic belief are investigated. The focus is on the analyticity of the calculus, so that the normalization theorem and the subformula property are proven firstly. From these, decidability and consistency of the logic follow as corollaries. Finally, disjunction properties, $\Box$-primality, and admissibility of reflection rule are established by using purely proof-theoretic methods.


title: Asymmetry in Political Geography and Compactness in Districting: a Computational Analysis of Bias

abstract: We investigate the distribution of partisanship in a cross-section of ten diverse States to elucidate how votes translate into seats won and other metrics. Markov chain simulations taking into account partisanship distribution agree surprisingly well with a simple model covering only equal voting population-weighted distributions of precinct results containing no spatial information. We find asymmetries where Democrats win fewer precincts than Republicans but do so with large marjorities. This skew accounts for persistent Republican control of State Legislatures and Congressional seats even in some states with statewide vote majorities for Democrats. Despite overall results showing Republican advantages in many states based on mean results from simulations covering many random scenarios, the simulations yield a wide range in metrics, suggesting bias can be minimized better by selecting districting plans with low values for efficiency gap than by selecting plans with values near the means for the ensemble of random simulations. We examine constraints on county splits to achieve higher compactness and investigate policies requiring cohesiveness for communities of interest as to screen out the most obvious gerrymanders. Minimizing county splits does not necessarily reduce partisan bias, except for Pennsylvania, where limiting county splits appears to reduce bias.


title: Estimation of Impact Parameter and Transverse Spherocity in heavy-ion collisions at the LHC energies using Machine Learning

abstract: Recently, machine learning (ML) techniques have led to a range of numerous developments in the field of nuclear and high-energy physics. In heavy-ion collisions, the impact parameter of a collision is one of the crucial observables which has a significant impact on the final state particle production. However, calculation of such a quantity is nearly impossible in experiments as the length scale ranges in the level of a few fermi. In this work, we implement the ML-based regression technique via Boosted Decision Tree (BDT) to obtain a prediction of impact parameter in Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV using A Multi-Phase Transport (AMPT) model. In addition, we predict an event shape observable, transverse spherocity in Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 and 5.02 TeV using AMPT and PYTHIA8 based on Angantyr model. After a successful implementation in small collision systems, the use of transverse spherocity in heavy-ion collisions has potential to reveal new results from heavy-ion collisions where the production of a QGP medium is already established. We predict the centrality dependent spherocity distributions from the training of minimum bias simulated data and it was found that the predictions from BDT based ML technique match with true simulated data. In the absence of experimental measurements, we propose to implement Machine learning based regression technique to obtain transverse spherocity from the known final state observables in heavy-ion collisions.


title: Distilling Causal Effect of Data in Class-Incremental Learning

abstract: We propose a causal framework to explain the catastrophic forgetting in Class-Incremental Learning (CIL) and then derive a novel distillation method that is orthogonal to the existing anti-forgetting techniques, such as data replay and feature/label distillation. We first 1) place CIL into the framework, 2) answer why the forgetting happens: the causal effect of the old data is lost in new training, and then 3) explain how the existing techniques mitigate it: they bring the causal effect back. Based on the framework, we find that although the feature/label distillation is storage-efficient, its causal effect is not coherent with the end-to-end feature learning merit, which is however preserved by data replay. To this end, we propose to distill the Colliding Effect between the old and the new data, which is fundamentally equivalent to the causal effect of data replay, but without any cost of replay storage. Thanks to the causal effect analysis, we can further capture the Incremental Momentum Effect of the data stream, removing which can help to retain the old effect overwhelmed by the new data effect, and thus alleviate the forgetting of the old class in testing. Extensive experiments on three CIL benchmarks: CIFAR-100, ImageNet-Sub&Full, show that the proposed causal effect distillation can improve various state-of-the-art CIL methods by a large margin (0.72%--9.06%).


title: Slippery Polymer Monoliths: Surface Functionalization with Ordered MoS2 Microparticle Arrays

abstract: Components of technical systems and devices often require self-lubricating properties, which are implemented by means of dry lubricants. However, continuous lubricant coatings on the components' surfaces often suffer from poor adhesion, delamination and crack propagation. The replacement of continuous coatings with dense ordered arrays of microparticles consisting of dry lubricants may overcome these drawbacks. Using the well-established solid lubricant MoS2 as model system, we demonstrate that the sliding capability of polymeric monoliths can be significantly enhanced by integration of arrays of micron-sized dry lubricant microparticles into their contact surfaces. To synthesize the MoS2 microparticle arrays, we first prepared ordered hexagonal arrays of ammonium tetrathiomolybdate (ATM) microparticles on Si wafers by molding against poly(dimethylsiloxane) templates followed by high-temperature conversion of the ATM microparticles into MoS2 microparticles under Ar/H2 atmosphere in the presence of elemental sulfur. Finally, the obtained large-scale hexagonal MoS2 microparticle arrays were transferred to the surfaces of polymer monoliths under conservation of the array ordering. Self-lubrication of components of technical systems by incorporation of dry lubricant microparticle arrays into their contact surfaces is an example for overcoming the drawbacks of continuous functional coatings by replacing them with microparticle arrays.


title: Image/Video Deep Anomaly Detection: A Survey

abstract: The considerable significance of Anomaly Detection (AD) problem has recently drawn the attention of many researchers. Consequently, the number of proposed methods in this research field has been increased steadily. AD strongly correlates with the important computer vision and image processing tasks such as image/video anomaly, irregularity and sudden event detection. More recently, Deep Neural Networks (DNNs) offer a high performance set of solutions, but at the expense of a heavy computational cost. However, there is a noticeable gap between the previously proposed methods and an applicable real-word approach. Regarding the raised concerns about AD as an ongoing challenging problem, notably in images and videos, the time has come to argue over the pitfalls and prospects of methods have attempted to deal with visual AD tasks. Hereupon, in this survey we intend to conduct an in-depth investigation into the images/videos deep learning based AD methods. We also discuss current challenges and future research directions thoroughly.


title: Terrestrial Laser Interferometers

abstract: Terrestrial laser interferometers for gravitational-wave detection made the landmark first detection of gravitational waves in 2015. We provide an overview of the history of how these laser interferometers prevailed as the most promising technology in the search for gravitational waves. We describe their working principles and their limitations, and provide examples of some of the most important technologies that enabled their construction. We introduce each of the four large-scale laser interferometer gravitational-wave detectors in operation around the world today and provide a brief outlook for the future of ground-based detectors.


title: R Coronae Borealis Star Evolution: Simulating 3D Merger Events to 1D Stellar Evolution Including Large Scale Nucleosynthesis

abstract: R Coronae Borealis (RCB) stars are rare hydrogen-deficient carbon-rich variable supergiants thought to be the result of dynamically unstable white dwarf mergers. We attempt to model RCBs through all the relevant timescales by simulating a merger event in Octo-tiger, a 3D adaptive mesh refinement (AMR) hydrodynamics code and mapping the post-merger object into MESA, a 1D stellar evolution code. We then post-process the nucleosynthesis on a much larger nuclear reaction network to study the enhancement of s-process elements. We present models that match observations or previous studies in most surface abundances, isotopic ratios, early evolution and lifetimes. We also observe similar mixing behavior as previous modeling attempts which result in the partial He-burning products visible on the surface in observations. However, we do note that our sub-solar models lack any enhancement in s-process elements, which we attribute to a lack of hydrogen in the envelope. We also find that the Oxygen-16/Oxygen-18 isotopic ratio is very sensitive to initial hydrogen abundance and increases outside of the acceptable range with a hydrogen mass fraction greater than $10^{-4}$.


title: Statistical methods used to combine the effective reproduction number, R(t), and other related measures of COVID-19 in the UK

abstract: In the recent COVID-19 pandemic, a wide range of epidemiological modelling approaches have been used to predict the effective reproduction number, R(t), and other COVID-19 related measures such as the daily rate of exponential growth, r(t). These candidate models use different modelling approaches or differing assumptions about spatial or age mixing, and some capture genuine uncertainty in scientific understanding of disease dynamics. Combining estimates using appropriate statistical methodology from multiple candidate models is important to better understand the variation of these outcome measures to help inform decision making. In this paper, we combine these estimates for specific UK nations and regions using random effects meta analyses techniques, utilising the restricted maximum likelihood (REML) method to estimate the heterogeneity variance parameter, and two approaches to calculate the confidence interval for the combined estimate: the standard Wald-type intervals; and the Knapp and Hartung (KNHA) method. As estimates in this setting are derived using model predictions, each with varying degrees of uncertainty, equal weighting is favoured over the more standard inverse-variance weighting in order avoid potential up-weighting of models providing estimates with lower levels of uncertainty that are not fully accounting for inherent uncertainties. Utilising these meta-analysis techniques has allowed for statistically robust combined estimates to be calculated for key COVID-19 outcome measures. This in turn allows timely and informed decision making based on all of the available information.


title: Human error in motorcycle crashes: a methodology based on in-depth data to identify the skills needed and support training interventions for safe riding

abstract: This paper defines a methodology with in-depth data to identify the skills needed by riders in the highest risk crash configurations to reduce casualty rates. We present a case study using in-depth data of 803 powered-two-wheeler crashes. Seven high-risk crash configuration based on the pre-crash trajectories of the road-users involved were considered to investigate the human errors as crash contributors. Primary crash contributing factor, evasive manoeuvres performed, horizontal roadway alignment and speed-related factors were identified, along with the most frequent configurations and those with the greatest risk of severe injury. Straight Crossing Path/Lateral Direction was the most frequent crash configuration and Turn Across Path/ Opposing Direction that with the greatest risk of serious injury were identified. Multi-vehicle crashes cannot be considered as a homogenous category of crashes to which the same human failure is attributed, as different interactions between motorcyclists and other road users are associated with both different types of human error and different rider reactions. Human error in multiple-vehicle crashes related to crossing paths configurations were different from errors related to rear-end or head-on crashes. Multi-vehicle head-on crashes and single-vehicle collisions frequently occur along curves. The involved collision avoidance manoeuvres of the riders differed significantly among the highest risk crash configurations. The most relevant lack of skills are identified and linked to their most representative context. In most cases a combination of different skills was required simultaneously to avoid the crash. The findings underline the need to group accident cases, beyond the usual single-vehicle versus multi-vehicle collision approach. Our methodology can also be applied to support preventive actions based on riders training and eventually ADAS design.


title: Optical design for laser tweezers Raman spectroscopy setups for increased sensitivity and flexible spatial detection

abstract: We demonstrate a method to double the collection efficiency in Laser Tweezers Raman Spectroscopy (LTRS) by collecting both the forward and back-scattered light in a single-shot multitrack measurement. Our method can collect signals at different sample volumes, granting both the pinpoint spatial selectivity of confocal Raman and the bulk sensitivity of non-confocal Raman simultaneously. Further, we display that our approach allows for reduced detector integration time and laser power. Thus, our method will enable the monitoring of biological samples sensitive to high intensities for longer times. Additionally, we demonstrate that by a simple modification, we can add polarization sensitivity and retrieve extra biochemical information.


title: IdentityDP: Differential Private Identification Protection for Face Images

abstract: Because of the explosive growth of face photos as well as their widespread dissemination and easy accessibility in social media, the security and privacy of personal identity information becomes an unprecedented challenge. Meanwhile, the convenience brought by advanced identity-agnostic computer vision technologies is attractive. Therefore, it is important to use face images while taking careful consideration in protecting people's identities. Given a face image, face de-identification, also known as face anonymization, refers to generating another image with similar appearance and the same background, while the real identity is hidden. Although extensive efforts have been made, existing face de-identification techniques are either insufficient in photo-reality or incapable of well-balancing privacy and utility. In this paper, we focus on tackling these challenges to improve face de-identification. We propose IdentityDP, a face anonymization framework that combines a data-driven deep neural network with a differential privacy (DP) mechanism. This framework encompasses three stages: facial representations disentanglement, $\epsilon$-IdentityDP perturbation and image reconstruction. Our model can effectively obfuscate the identity-related information of faces, preserve significant visual similarity, and generate high-quality images that can be used for identity-agnostic computer vision tasks, such as detection, tracking, etc. Different from the previous methods, we can adjust the balance of privacy and utility through the privacy budget according to pratical demands and provide a diversity of results without pre-annotations. Extensive experiments demonstrate the effectiveness and generalization ability of our proposed anonymization framework.


title: Comparison of Methods Generalizing Max- and Average-Pooling

abstract: Max- and average-pooling are the most popular pooling methods for downsampling in convolutional neural networks. In this paper, we compare different pooling methods that generalize both max- and average-pooling. Furthermore, we propose another method based on a smooth approximation of the maximum function and put it into context with related methods. For the comparison, we use a VGG16 image classification network and train it on a large dataset of natural high-resolution images (Google Open Images v5). The results show that none of the more sophisticated methods perform significantly better in this classification task than standard max- or average-pooling.


title: The White Dwarfs of the Old, Solar Metallicity Open Star Cluster Messier 67: Properties and Progenitors

abstract: The old, solar metallicity open cluster Messier 67 has long been considered a lynchpin in the study and understanding of the structure and evolution of solar-type stars. The same is arguably true for stellar remnants - the white dwarf population of M67 provides crucial observational data for understanding and interpreting white dwarf populations and evolution. In this work, we determine the white dwarf masses and derive their progenitor star masses using high signal-to-noise spectroscopy of warm ($\gtrsim10,000$ K) DA white dwarfs in the cluster. From this we are able to derive each white dwarf's position on the initial-final mass relation, with an average $M_{\mathrm WD} = 0.60\pm 0.01 M_{\odot}$ and progenitor mass $M_i = 1.52\pm 0.04 M_{\odot}$. These values are fully consistent with recently published linear and piecewise linear fits to the semi-empirical initial-final mass relation and provide a crucial, precise anchor point for the initial-final mass relation for solar-metallicity, low-mass stars. The mean mass of M67 white dwarfs is also consistent with the sharp narrow peak in the local field white dwarf mass distribution, indicating that a majority of recently-formed field white dwarfs come from stars with progenitor masses of $\approx 1.5 M_{\odot}$. Our results enable more precise modeling of the Galactic star formation rate encoded in the field WD mass distribution.


title: Gotta CAPTCHA 'Em All: A Survey of Twenty years of the Human-or-Computer Dilemma

abstract: A recent study has found that malicious bots generated nearly a quarter of overall website traffic in 2019 [100]. These malicious bots perform activities such as price and content scraping, account creation and takeover, credit card fraud, denial of service, etc. Thus, they represent a serious threat to all businesses in general, but are especially troublesome for e-commerce, travel and financial services. One of the most common defense mechanisms against bots abusing online services is the introduction of Completely Automated Public Turing test to tell Computers and Humans Apart (CAPTCHA), so it is extremely important to understand which CAPTCHA schemes have been designed and their actual effectiveness against the ever-evolving bots. To this end, this work provides an overview of the current state-of-the-art in the field of CAPTCHA schemes and defines a new classification that includes all the emerging schemes. In addition, for each identified CAPTCHA category, the most successful attack methods are summarized by also describing how CAPTCHA schemes evolved to resist bot attacks, and discussing the limitations of different CAPTCHA schemes from the security, usability and compatibility point of view. Finally, an assessment of the open issues, challenges, and opportunities for further study is provided, paving the road toward the design of the next-generation secure and user-friendly CAPTCHA schemes.


title: The PRad Windowless Gas Flow Target

abstract: We report on a windowless, high-density, gas flow target at Jefferson Lab that was used to measure $r_p$, the root-mean-square charge radius of the proton. To our knowledge, this is the first such system used in a fixed-target experiment at a (non-storage ring) electron accelerator. The target achieved its design goal of an areal density of 2$\times$10$^{18}$ atoms/cm$^2$, with the gas uniformly distributed over the 4 cm length of the cell and less than 1% residual gas outside the cell. This design eliminated scattering from the end caps of the target cell, a problem endemic to previous measurements of the proton charge radius in electron scattering experiments, and permitted a precise, model-independent extraction of $r_p$ by reaching unprecedentedly low values of $Q^2$, the square of the electron's transfer of four-momentum to the proton.


title: Nonparametric estimation of the preferential attachment function from one network snapshot

abstract: Preferential attachment is commonly invoked to explain the emergence of those heavy-tailed degree distributions characteristic of growing network representations of diverse real-world phenomena. Experimentally confirming this hypothesis in real-world growing networks is an important frontier in network science research. Conventional preferential attachment estimation methods require that a growing network be observed across at least two snapshots in time. Numerous publicly available growing network datasets are, however, only available as single snapshots, leaving the applied network scientist with no means of measuring preferential attachment in these cases. We propose a nonparametric method, called PAFit-oneshot, for estimating preferential attachment in a growing network from one snapshot. PAFit-oneshot corrects for a previously unnoticed bias that arises when estimating preferential attachment values only for degrees observed in the single snapshot. Our work provides a means of measuring preferential attachment in a large number of publicly available one-snapshot networks. As a demonstration, we estimated preferential attachment in three such networks, and found sublinear preferential attachment in all cases. PAFit-oneshot is implemented in the R package PAFit.

categories: cs.SI physics.data-an physics.soc-ph stat.ME


title: Preferential attachment hypergraph with high modularity

abstract: Numerous works have been proposed to generate random graphs preserving the same properties as real-life large scale networks. However, many real networks are better represented by hypergraphs. Few models for generating random hypergraphs exist and no general model allows to both preserve a power-law degree distribution and a high modularity indicating the presence of communities. We present a dynamic preferential attachment hypergraph model which features partition into communities. We prove that its degree distribution follows a power-law and we give theoretical lower bounds for its modularity. We compare its characteristics with a real-life co-authorship network and show that our model achieves good performances. We believe that our hypergraph model will be an interesting tool that may be used in many research domains in order to reflect better real-life phenomena.


title: Morning or Evening? An Examination of Circadian Rhythms of CS1 Students

abstract: Circadian rhythms are the cycles of our internal clock that play a key role in governing when we sleep and when we are active. A related concept is chronotype, which is a person's natural tendency toward activity at certain times of day and typically governs when the individual is most alert and productive. In this work we investigate chronotypes in the setting of an Introductory Computer Programming (CS1) course. Using keystroke data collected from students we investigate the existence of chronotypes through unsupervised learning. The chronotypes we find align with those of typical populations reported in the literature and our results support correlations of certain chronotypes to academic achievement. We also find a lack of support for the still-popular stereotype of a computer programmer as a night owl. The analyses are conducted on data from two universities, one in the US and one in Europe, that use different teaching methods. In comparison of the two contexts, we look into programming assignment design and administration that may promote better programming practices among students in terms of procrastination and effort.


title: Accuracy of the recovered flux of extended sources obscured by bad pixels in the central EPIC FOV

abstract: A fraction of the XMM-Newton/EPIC FOV is obscured by the dysfunctional (i.e. bad) pixels. The fraction varies between different EPIC instruments in a given observation. These complications affect the analysis of extended X-ray sources observed with XMM-Newton/EPIC and the consequent scientific interpretation of the results. For example, the accuracy of the widely used cosmological probe of the gas mass of clusters of galaxies depends on the accuracy of the procedure of removing the obscuration effect from the measured flux. The Science Analysis Software (SAS) includes an option for recovering the lost fraction of the flux measured by a primary instrument by utilising a supplementary image of the same source. The correction may be accurate if the supplementary image is minimally obscured at the locations of the bad pixels of the primary instrument. This can be achieved e.g. by using the observation-based MOS2 image for correcting the pn flux, or by using a synthetic model image. By utilising a sample of 27 galaxy cluster observations we evaluated the accuracy of the recovery method based on observed images, as implemented in SAS 18.0.0. We found that the accuracy of the recovered total flux in the 0.5-7.0 keV band in the full geometric area within the central r = 6 arcmin is better than 0.1% on average while in some individual cases the recovered flux may be uncertain by ~1%.


title: Safepaths: Vaccine Diary Protocol and Decentralized Vaccine Coordination System using a Privacy Preserving User Centric Experience

abstract: In this early draft, we present an end-to-end decentralized protocol for the secure and privacy preserving workflow of vaccination, vaccination status verification, and adverse reactions or symptoms reporting. The proposed system improves the efficiency, privacy, equity, and effectiveness of the existing manual system while remaining interoperable with its capabilities. We also discuss various security concerns and alternate methodologies based on the proposed protocols.


title: An Exploratory Study of Log Placement Recommendation in an Enterprise System

abstract: Logging is a development practice that plays an important role in the operations and monitoring of complex systems. Developers place log statements in the source code and use log data to understand how the system behaves in production. Unfortunately, anticipating where to log during development is challenging. Previous studies show the feasibility of leveraging machine learning to recommend log placement despite the data imbalance since logging is a fraction of the overall code base. However, it remains unknown how those techniques apply to an industry setting, and little is known about the effect of imbalanced data and sampling techniques. In this paper, we study the log placement problem in the code base of Adyen, a large-scale payment company. We analyze 34,526 Java files and 309,527 methods that sum up +2M SLOC. We systematically measure the effectiveness of five models based on code metrics, explore the effect of sampling techniques, understand which features models consider to be relevant for the prediction, and evaluate whether we can exploit 388,086 methods from 29 Apache projects to learn where to log in an industry setting. Our best performing model achieves 79% of balanced accuracy, 81% of precision, 60% of recall. While sampling techniques improve recall, they penalize precision at a prohibitive cost. Experiments with open-source data yield under-performing models over Adyen's test set; nevertheless, they are useful due to their low rate of false positives. Our supporting scripts and tools are available to the community.


title: Current eHealth Challenges and recent trends in eHealth applications

abstract: eHealth (Health Informatics/Medical Informatics) field is growing worldwide due to acknowledge of reputable Organizations such as World Health Organization, Institute of Medicine in USA and several others. This field is facing number of challenges and there is need to classify these challenges mentioned by different researchers of this area. The purpose of this study is to classify different eHealth challenges in broader categories. We also analyzed recent eHealth Applications to identify current trends of such applications. In this paper, we identify stakeholders who are responsible to contribute in a particular eHealth challenge. Through eHealth application analysis, we categories these applications based on different factors. We identify different socio-economic benefits, which these applications can provide. We also present ecosystem of an eHealth application. We gave recommendations for eHealth challenges relevant to Information Technology domain. We conclude our discussion by specifying areas for future research and recommending researchers to work on identify which type of disease can control and manage by different eHealth applications.


title: A Variational Integrator for the Discrete Element Method

abstract: A novel implicit integration scheme for the Discrete Element Method (DEM) based on the variational integrator approach is presented. The numerical solver provides a fully dynamical description that, notably, reduces to an energy minimisation scheme in the quasi-static limit. A detailed derivation of the numerical method is presented for the Hookean contact model and tested against an established open source DEM package that uses the velocity-Verlet integration scheme. These tests compare results for a single collision, long-term stability and statistical quantities of ensembles of particles. Numerically, the proposed integration method demonstrates equivalent accuracy to the velocity-Verlet method.


title: Spatial enantioseparation of gaseous chiral molecules

abstract: We explore the spatial enantioseparation of gaseous chiral molecules for the cyclic three-level systems coupled with three electromagnetic fields. Due to molecular rotations, the specific requirements of the polarization directions of the three electromagnetic fields lead to the space-dependent part of the overall phase of the coupling strengths. Thus, the overall phase of the coupling strengths, which differs with $\pi$ for the enantiomers in the cyclic three-level model of chiral molecules, varies intensely in the length scale of the typical wavelength of the applied electromagnetic fields. Under the induced gauge potentials resulting from the space-dependent part of the overall phase and the space-dependent intensities of coupling strengths, we further show spatial enantioseparation for typical parameters of gaseous chiral molecules.


title: Simulation of Variable Speed Wind Turbines based on Open-Source Solutions: application to Bachelor and Master Degrees

abstract: This paper describes variable speed wind turbine (Types 3 and 4, IEC 61400-27-1) simulations based on an open-source solution to be applied to Bachelor and Master Degrees. It is an attempt to improve the education quality of such sustainable energy by giving an open-source experimental environment for both undergraduate and graduate students. Indeed, among the renewable sources, wind energy is currently becoming essential in most power systems. The simulations include both one-mass and two-mass mechanical models, as well as pitch angle control. A general overview of the structure, control, and operation of the variable speed wind turbine is provided by these easy-to-use interactive virtual experiments. In addition, a comparison between commercial and open-source software packages is described and discussed in detail. Examples and extensive results are also included in the paper. The models are available in Scilab-Xcos file exchange for power system education and researcher communities.


title: Transform Network Architectures for Deep Learning based End-to-End Image/Video Coding in Subsampled Color Spaces

abstract: Most of the existing deep learning based end-to-end image/video coding (DLEC) architectures are designed for non-subsampled RGB color format. However, in order to achieve a superior coding performance, many state-of-the-art block-based compression standards such as High Efficiency Video Coding (HEVC/H.265) and Versatile Video Coding (VVC/H.266) are designed primarily for YUV 4:2:0 format, where U and V components are subsampled by considering the human visual system. This paper investigates various DLEC designs to support YUV 4:2:0 format by comparing their performance against the main profiles of HEVC and VVC standards under a common evaluation framework. Moreover, a new transform network architecture is proposed to improve the efficiency of coding YUV 4:2:0 data. The experimental results on YUV 4:2:0 datasets show that the proposed architecture significantly outperforms naive extensions of existing architectures designed for RGB format and achieves about 10% average BD-rate improvement over the intra-frame coding in HEVC.


title: Urban Building Energy Modeling (UBEM) Tools: A State-of-the-Art Review of bottom-up physics-based approaches

abstract: Regulations corroborate the importance of retrofitting existing building stocks or constructing new energy efficient district. There is, thus, a need for modeling tools to evaluate energy scenarios to better manage and design cities, and numerous methodologies and tools have been developed. Among them, Urban Building Energy Modeling (UBEM) tools allow the energy simulation of buildings at large scales. Choosing an appropriate UBEM tool, balancing the level of complexity, accuracy, usability, and computing needs, remains a challenge for users. The review focuses on the main bottom-up physics-based UBEM tools, comparing them from a user-oriented perspective. Five categories are used: (i) the required inputs, (ii) the reported outputs, (iii) the exploited workflow, (iv) the applicability of each tool, and (v) the potential users. Moreover, a critical discussion is proposed focusing on interests and trends in research and development. The results highlighted major differences between UBEM tools that must be considered to choose the proper one for an application. Barriers of adoption of UBEM tools include the needs of a standardized ontology, a common three dimensional city model, a standard procedure to collect data, and a standard set of test cases. This feeds into future development of UBEM tools to support cities' sustainability goals.


title: Suppression of plasma instabilities in space and ground nuclear power devices

abstract: The conditions for the excitation of current and voltage oscillations in the plasma of a three-electrode current and voltage stabilizer are experimentally investigated. It was found that in the regimes under consideration, the plasma has negative conductivity, which causes oscillations. A highly efficient method for suppressing plasma instabilities is proposed, based on controlling the sign of differential plasma conductivity by adjusting the concentration of slow electrons using an external electrode. The proposed method makes it possible to achieve a high level of stability of the energy characteristics of the stabilizer at a discharge current density of up to 5 A/cm2 and a power of 500 W/cm2.


title: Heavy tetraquarks in the relativistic quark model

abstract: We give a review of the calculations of the masses of tetraquarks with two and four heavy quarks in the framework of the relativistic quark model based on the quasipotential approach and QCD. The diquark-antidiquark picture of heavy tetraquarks is used. The quasipotentials of the quark-quark and diquark-antidiquark interactions are constructed similarly to the previous consideration of mesons and baryons. Diquarks are considered in the colour triplet state. It is assumed that the diquark and antidiquark interact in the tetraquark as a whole and the internal structure of the diquarks is taken into account by the calculated form factor of the diquark-gluon interaction. All parameters of the model are kept fixed from our previous calculations of meson and baryon properties. A detailed comparison of the obtained predictions for heavy tetraquark masses with available experimental data is given. Many candidates for tetraquarks are found. It is argued that the structures in the di-$J/\psi$ mass spectrum observed recently by the LHCb Collaboration can be interpreted as $cc\bar c\bar c$ tetraquarks.


title: Heterodyne detection enhanced by quantum correlation

abstract: Heterodyne detectors as phase-insensitive (PI) devices have found important applications in precision measurements such as space-based gravitational-wave (GW) observation. However, the output signal of a PI heterodyne detector is supposed to suffer from signal-to-noise ratio (SNR) degradation due to image band vacuum and imperfect quantum efficiency. Here we show that the SNR degradation can be overcome when the image band vacuum is quantum correlated with the input signal. We calculate the noise figure of the detector and prove the feasibility of heterodyne detection with enhanced noise performance through quantum correlation. This work should be of great interest to ongoing space-borne GW signal searching experiments.


title: Scaling turbulence in the near-wall region

abstract: A new velocity scale is derived that yields a Reynolds number independent profile for the streamwise turbulent fluctuations in the near-wall region of wall bounded flows for $y^+<25$. The scaling demonstrates the important role played by the wall shear stress fluctuations and how the large eddies determine the Reynolds number dependence of the near-wall turbulence distribution.


title: COVID-19 Digital Contact Tracing Applications and Techniques: A Review Post Initial Deployments

abstract: The coronavirus disease 2019 (COVID-19) is a severe global pandemic that has claimed millions of lives and continues to overwhelm public health systems in many countries. The spread of COVID-19 pandemic has negatively impacted the human mobility patterns such as daily transportation-related behavior of the public. There is a requirement to understand the disease spread patterns and its routes among neighboring individuals for the timely implementation of corrective measures at the required placement. To increase the effectiveness of contact tracing, countries across the globe are leveraging advancements in mobile technology and Internet of Things (IoT) to aid traditional manual contact tracing to track individuals who have come in close contact with identified COVID-19 patients. Even as the first administration of vaccines begins in 2021, the COVID-19 management strategy will continue to be multi-pronged for the foreseeable future with digital contact tracing being a vital component of the response along with the use of preventive measures such as social distancing and the use of face masks. After some months of deployment of digital contact tracing technology, deeper insights into the merits of various approaches and the usability, privacy, and ethical trade-offs involved are emerging. In this paper, we provide a comprehensive analysis of digital contact tracing solutions in terms of their methodologies and technologies in the light of the new data emerging about international experiences of deployments of digital contact tracing technology. We also provide a discussion on open challenges such as scalability, privacy, adaptability and highlight promising directions for future work.


title: A matrix-free Levenberg-Marquardt algorithm for efficient ptychographic phase retrieval

abstract: The phase retrieval problem, where one aims to recover a complex-valued image from far-field intensity measurements, is a classic problem encountered in a range of imaging applications. Modern phase retrieval approaches usually rely on gradient descent methods in a nonlinear minimization framework. Calculating closed-form gradients for use in these methods is tedious work, and formulating second order derivatives is even more laborious. Additionally, second order techniques often require the storage and inversion of large matrices of partial derivatives, with memory requirements that can be prohibitive for data-rich imaging modalities. We use a reverse-mode automatic differentiation (AD) framework to implement an efficient matrix-free version of the Levenberg-Marquardt (LM) algorithm, a longstanding method that finds popular use in nonlinear least-square minimization problems but which has seen little use in phase retrieval. Furthermore, we extend the basic LM algorithm so that it can be applied for general constrained optimization problems beyond just the least-square applications. Since we use AD, we only need to specify the physics-based forward model for a specific imaging application; the derivative terms are calculated automatically through matrix-vector products, without explicitly forming any large Jacobian or Gauss-Newton matrices. We demonstrate that this algorithm can be used to solve both the unconstrained ptychographic object retrieval problem and the constrained "blind" ptychographic object and probe retrieval problems, under both the Gaussian and Poisson noise models, and that this method outperforms best-in-class first-order ptychographic reconstruction methods: it provides excellent convergence guarantees with (in many cases) a superlinear rate of convergence, all with a computational cost comparable to, or lower than, the tested first-order algorithms.


title: Air taxi service for urban mobility: A critical review of recent developments, future challenges, and opportunities

abstract: Expected to operate in the imminent future, air taxi service (ATS) is an aerial on-demand transport for a single passenger or a small group of riders, which seeks to transform the method of everyday commute. This uncharted territory in the emerging transportation world is anticipated to enable consumers bypass traffic congestion in urban road networks. By adopting an electric vertical takeoff and landing concept (eVTOL), air taxis could be operational from skyports retrofitted on building rooftops, thus gaining advantage from an implementation standpoint. Motivated by the potential impact of ATS, this study provides a review of air taxi systems and associated operations. We first discuss the current developments in the ATS (demand prediction, air taxi network design, and vehicle configuration). Next, we anticipate potential future challenges of ATS from an operations management perspective, and review the existing literature that could be leveraged to tackle these problems (ride-matching, pricing strategies, vehicle maintenance scheduling, and pilot training and recruitment). Finally, we detail future research opportunities in the air taxi domain.


title: Determinants of ICT Adoption Among Small Scale Agribusiness Enterprises In Somalia

abstract: The use of Information and Communication Technology (ICT) can advance the Agricultural Business sector, particularly in a country seeking opportunities to explore the sector. There is evidence that ICT has made significant contributions to agribusiness because it allows enterprises to manage their operations, and it has major impacts on the business. However, the critical factors that motivate the adoption of new innovative technology by agribusiness enterprises are underexplored. The literature has indicated ICT adoption among small-scale agribusiness enterprises in Somalia is not fully understood. Nevertheless, this study addresses this gap by investigating the adoption of ICT among small-scale agribusiness enterprises in Somalia. The paper reports the use of the Technology, Organization, Environment (TOE) framework. An online survey has been conducted with random sampling for data collection, with 107 respondents. The respondents are from agribusiness staff and farmers from various agricultural companies in Somalia. After quantitative data analysis, the results indicated that relative advantage, complexity, top management support, and competitive pressure factors are significant contributors to ICT adoption in Somalian agribusiness enterprises, while ICT costs and vendor support are not significantly related to the adoption of ICT in agricultural business. This study concludes that ICT adoption in Somalia is inspired by insight and motivation rather than financial and external support. Understanding these factors leads to a better understanding of ICT adoption in Somalia. Additionally, it enriches the literature about the agriculture business on the African continent Keywords: Determinants, ICT Adoption, Agribusiness, Small Scale, TOE framework


title: Graph Information Vanishing Phenomenon inImplicit Graph Neural Networks

abstract: One of the key problems of GNNs is how to describe the importance of neighbor nodes in the aggregation process for learning node representations. A class of GNNs solves this problem by learning implicit weights to represent the importance of neighbor nodes, which we call implicit GNNs such as Graph Attention Network. The basic idea of implicit GNNs is to introduce graph information with special properties followed by Learnable Transformation Structures (LTS) which encode the importance of neighbor nodes via a data-driven way. In this paper, we argue that LTS makes the special properties of graph information disappear during the learning process, resulting in graph information unhelpful for learning node representations. We call this phenomenon Graph Information Vanishing (GIV). Also, we find that LTS maps different graph information into highly similar results. To validate the above two points, we design two sets of 70 random experiments on five Implicit GNNs methods and seven benchmark datasets by using a random permutation operator to randomly disrupt the order of graph information and replacing graph information with random values. We find that randomization does not affect the model performance in 93\% of the cases, with about 7 percentage causing an average 0.5\% accuracy loss. And the cosine similarity of output results, generated by LTS mapping different graph information, over 99\% with an 81\% proportion. The experimental results provide evidence to support the existence of GIV in Implicit GNNs and imply that the existing methods of Implicit GNNs do not make good use of graph information. The relationship between graph information and LTS should be rethought to ensure that graph information is used in node representation.


title: The Personalization Paradox: the Conflict between Accurate User Models and Personalized Adaptive Systems

abstract: Personalized adaptation technology has been adopted in a wide range of digital applications such as health, training and education, e-commerce and entertainment. Personalization systems typically build a user model, aiming to characterize the user at hand, and then use this model to personalize the interaction. Personalization and user modeling, however, are often intrinsically at odds with each other (a fact some times referred to as the personalization paradox). In this paper, we take a closer look at this personalization paradox, and identify two ways in which it might manifest: feedback loops and moving targets. To illustrate these issues, we report results in the domain of personalized exergames (videogames for physical exercise), and describe our early steps to address some of the issues arisen by the personalization paradox.


title: Log to log-log crossover of entanglement in $(1+1)-$ dimensional massive scalar field

abstract: We study three different measures of quantum correlations -- entanglement spectrum, entanglement entropy, and logarithmic negativity -- for (1+1)-dimensional massive scalar field in flat spacetime. The entanglement spectrum for the discretized scalar field in the ground state indicates a cross-over in the zero-mode regime, which is further substantiated by an analytical treatment of both entanglement entropy and logarithmic negativity. The exact nature of this cross-over depends on the boundary conditions used -- the leading order term switches from a $\log$ to $\log-\log$ behavior for the Periodic and Neumann boundary conditions. In contrast, for Dirichlet, it is the parameters within the leading $\log-\log$ term that are switched. We show that this cross-over manifests as a change in the behavior of the leading order divergent term for entanglement entropy and logarithmic negativity close to the zero-mode limit. We thus show that the two regimes have fundamentally different information content. Furthermore, an analysis of the ground state fidelity shows us that the region between critical point $\Lambda=0$ and the crossover point is dominated by zero-mode effects, featuring an explicit dependence on the IR cutoff of the system. For the reduced state of a single oscillator, we show that this cross-over occurs in the region $Nam_f\sim \mathscr{O}(1)$.

categories: hep-th cond-mat.stat-mech gr-qc quant-ph


title: Conceptual Modeling for Computer Organization and Architecture

abstract: Understanding computer system hardware, including how computers operate, is essential for undergraduate students in computer engineering and science. Literature shows students learning computer organization and assembly language often find fundamental concepts difficult to comprehend within the topic materials. Tools have been introduced to improve students comprehension of the interaction between computer architecture, assembly language, and the operating system. One such tool is the Little Man Computer (LMC) model that operates in a way similar to a computer but that is easier to understand. Even though LMC does not have modern CPUs with multiple cores nor executes multiple instructions, it nevertheless shows the basic principles of the von Neumann architecture. LMC aims to introduce students to such concepts as code and instruction sets. In this paper, LMC is used for an additional purpose: a tool with which to experiment using a new modeling language (i.e., a thinging machine; TM) in the area of computer organization and architecture without involving complexity in the subject. That is, the simplicity of LMC facilitates the application of TM without going deep into computer organization/architecture materials. Accordingly, the paper (a) provides a new way for using the LMC model for whatever purpose (e.g., education) and (b) demonstrates that TM can be used to build an abstract level of description in the organization/architect field. The resultant schematics from the TM model of LMC offer an initial case study that supports our thesis that TM is a viable method for hardware/software-independent descriptions in the computer organization and architect field of study.


title: Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions

abstract: As the use of algorithmic systems in high-stakes decision-making increases, the ability to contest algorithmic decisions is being recognised as an important safeguard for individuals. Yet, there is little guidance on what `contestability'--the ability to contest decisions--in relation to algorithmic decision-making requires. Recent research presents different conceptualisations of contestability in algorithmic decision-making. We contribute to this growing body of work by describing and analysing the perspectives of people and organisations who made submissions in response to Australia's proposed `AI Ethics Framework', the first framework of its kind to include `contestability' as a core ethical principle. Our findings reveal that while the nature of contestability is disputed, it is seen as a way to protect individuals, and it resembles contestability in relation to human decision-making. We reflect on and discuss the implications of these findings.


title: No-Transaction Band Network: A Neural Network Architecture for Efficient Deep Hedging

abstract: Deep hedging (Buehler et al. 2019) is a versatile framework to compute the optimal hedging strategy of derivatives in incomplete markets. However, this optimal strategy is hard to train due to action dependence, that is, the appropriate hedging action at the next step depends on the current action. To overcome this issue, we leverage the idea of a no-transaction band strategy, which is an existing technique that gives optimal hedging strategies for European options and the exponential utility. We theoretically prove that this strategy is also optimal for a wider class of utilities and derivatives including exotics. Based on this result, we propose a no-transaction band network, a neural network architecture that facilitates fast training and precise evaluation of the optimal hedging strategy. We experimentally demonstrate that for European and lookback options, our architecture quickly attains a better hedging strategy in comparison to a standard feed-forward network.


title: IoT-Enabled Social Relationships Meet Artificial Social Intelligence

abstract: With the recent advances of the Internet of Things, and the increasing accessibility of ubiquitous computing resources and mobile devices, the prevalence of rich media contents, and the ensuing social, economic, and cultural changes, computing technology and applications have evolved quickly over the past decade. They now go beyond personal computing, facilitating collaboration and social interactions in general, causing a quick proliferation of social relationships among IoT entities. The increasing number of these relationships and their heterogeneous social features have led to computing and communication bottlenecks that prevent the IoT network from taking advantage of these relationships to improve the offered services and customize the delivered content, known as relationship explosion. On the other hand, the quick advances in artificial intelligence applications in social computing have led to the emerging of a promising research field known as Artificial Social Intelligence (ASI) that has the potential to tackle the social relationship explosion problem. This paper discusses the role of IoT in social relationships detection and management, the problem of social relationships explosion in IoT and reviews the proposed solutions using ASI, including social-oriented machine-learning and deep-learning techniques.


title: Modelling mobility and visualizing people's flow patterns in rural areas for future infrastructure development as a good transnational land-governance practice

abstract: This paper summarizes a cross-border mobility study, origin-destination mobility modelling and visualization, conducted in support of the infrastructure development efforts of local authorities and NGOs on the area over the Kayanga-Geba River, at the border between Senegal and Guinea Bissau. It builds on the data collected through participatory mapping for the elaboration of the Cross-Border Land Management and Development Plans (Plans PAGET) aiming to harmonize the different national territorial management tools into a unique transnational tool through the consideration of border areas as a territorial unity. Despite a small amount of available mobility data, we were able to build a mobility model for the considered area, and implemented it in the Traffic Simulation Framework, which was later used to calculate origin-destination matrices for the studied regions in two cases: with and without a cross-border mobility. We analyzed the differences in the mobility patterns and visualized the mobility flows, deliberating on what may be the potential impacts of building a bridge in the study area. Our methodology is general and can be applied in similar studies on different areas. However, the quality of results may depend on the available data.


title: OSOUM Framework for Trading Data Research

abstract: In the last decades, data have become a cornerstone component in many business decisions, and copious resources are being poured into production and acquisition of the high-quality data. This emerging market possesses unique features, and thus came under the spotlight for the stakeholders and researchers alike. In this work, we aspire to provide the community with a set of tools for making business decisions, as well as analysis of markets behaving according to certain rules. We supply, to the best of our knowledge, the first open source simulation platform, termed Open SOUrce Market Simulator (OSOUM) to analyze trading markets and specifically data markets. We also describe and implement a specific data market model, consisting of two types of agents: sellers who own various datasets available for acquisition, and buyers searching for relevant and beneficial datasets for purchase. The current simulation treats data as an infinite supply product. Yet, other market settings may be easily implemented using OSOUM. Although commercial frameworks, intended for handling data markets, already exist, we provide a free and extensive end-to-end research tool for simulating possible behavior for both buyers and sellers participating in (data) markets.


title: COVID-19 vs Social Media Apps: Does Privacy Really Matter?

abstract: Many people around the world are worried about using or even downloading COVID-19 contact tracing mobile apps. The main reported concerns are centered around privacy and ethical issues. At the same time, people are voluntarily using Social Media apps at a significantly higher rate during the pandemic without similar privacy concerns compared with COVID-19 apps. To better understand these seemingly anomalous behaviours, we analysed the privacy policies, terms & conditions and data use agreements of the most commonly used COVID-19, Social Media & Productivity apps. We also developed a tool to extract and analyse nearly 2 million user reviews for these apps. Our results show that Social Media & Productivity apps actually have substantially higher privacy and ethical issues compared with the majority of COVID-19 apps. Surprisingly, lots of people indicated in their user reviews that they feel more secure as their privacy are better handled in COVID-19 apps than in Social Media apps. On the other hand, most of the COVID-19 apps are less accessible and stable compared to most Social Media apps, which negatively impacted their store ratings and led users to uninstall COVID-19 apps more frequently. Our findings suggest that in order to effectively fight this pandemic, health officials and technologists will need to better raise awareness among people about COVID-19 app behaviour and trustworthiness. This will allow people to better understand COVID-19 apps and encourage them to download and use these apps. Moreover, COVID-19 apps need many accessibility enhancements to allow a wider range of users from different societies and cultures to access to these apps.


title: A region-based descriptor network for uniformly sampled keypoints

abstract: Matching keypoint pairs of different images is a basic task of computer vision. Most methods require customized extremum point schemes to obtain the coordinates of feature points with high confidence, which often need complex algorithmic design or a network with higher training difficulty and also ignore the possibility that flat regions can be used as candidate regions of matching points. In this paper, we design a region-based descriptor by combining the context features of a deep network. The new descriptor can give a robust representation of a point even in flat regions. By the new descriptor, we can obtain more high confidence matching points without extremum operation. The experimental results show that our proposed method achieves a performance comparable to state-of-the-art.


title: HW/SW Framework for Improving the Safety of Implantable and Wearable Medical Devices

abstract: Implantable and wearable medical devices (IWMDs) are widely used for the monitoring and therapy of an increasing range of medical conditions. Improvements in medical devices, enabled by advances in low-power processors, more complex firmware, and wireless connectivity, have greatly improved therapeutic outcomes and patients' quality-of-life. However, security attacks, malfunctions and sometimes user errors have raised great concerns regarding the safety of IWMDs. In this work, we present a HW/SW (Hardware/Software) framework for improving the safety of IWMDs, wherein a set of safety rules and a rule check mechanism are used to monitor both the extrinsic state (the patient's physiological parameters sensed by the IWMD) and the internal state of the IWMD (I/O activities of the microcontroller) to infer unsafe operations that may be triggered by user errors, software bugs, or security attacks. We discuss how this approach can be realized in the context of a artificial pancreas with wireless connectivity and implement a prototype to demonstrate its effectiveness in improving safety at modest overheads.


title: MicroHECL: High-Efficient Root Cause Localization in Large-Scale Microservice Systems

abstract: Availability issues of industrial microservice systems (e.g., drop of successfully placed orders and processed transactions) directly affect the running of the business. These issues are usually caused by various types of service anomalies which propagate along service dependencies. Accurate and high-efficient root cause localization is thus a critical challenge for large-scale industrial microservice systems. Existing approaches use service dependency graph based analysis techniques to automatically locate root causes. However, these approaches are limited due to their inaccurate detection of service anomalies and inefficient traversing of service dependency graph. In this paper, we propose a high-efficient root cause localization approach for availability issues of microservice systems, called MicroHECL. Based on a dynamically constructed service call graph, MicroHECL analyzes possible anomaly propagation chains, and ranks candidate root causes based on correlation analysis. We combine machine learning and statistical methods and design customized models for the detection of different types of service anomalies (i.e., performance, reliability, traffic). To improve the efficiency, we adopt a pruning strategy to eliminate irrelevant service calls in anomaly propagation chain analysis. Experimental studies show that MicroHECL significantly outperforms two state-of-the-art baseline approaches in terms of both accuracy and efficiency. MicroHECL has been used in Alibaba and achieves a top-3 hit ratio of 68% with root cause localization time reduced from 30 minutes to 5 minutes.


title: How Developers Engineer Test Cases: An Observational Study

abstract: One of the main challenges that developers face when testing their systems lies in engineering test cases that are good enough to reveal bugs. And while our body of knowledge on software testing and automated test case generation is already quite significant, in practice, developers are still the ones responsible for engineering test cases manually. Therefore, understanding the developers' thought- and decision-making processes while engineering test cases is a fundamental step in making developers better at testing software. In this paper, we observe 13 developers thinking-aloud while testing different real-world open-source methods, and use these observations to explain how developers engineer test cases. We then challenge and augment our main findings by surveying 72 software developers on their testing practices. We discuss our results from three different angles. First, we propose a general framework that explains how developers reason about testing. Second, we propose and describe in detail the three different overarching strategies that developers apply when testing. Third, we compare and relate our observations with the existing body of knowledge and propose future studies that would advance our knowledge on the topic.


title: Non-invariance of the Brauer-Manin obstruction for surfaces

abstract: In this paper, we study the properties of weak approximation with Brauer-Manin obstruction and the Hasse principle with Brauer-Manin obstruction for surfaces with respect to field extensions of number fields. We assume a conjecture of M. Stoll. For any nontrivial extension of number fields $L/K,$ we construct two kinds of smooth, projective, and geometrically connected surfaces defined over $K.$ For the surface of the first kind, it has a $K$-rational point, and satisfies weak approximation with Brauer-Manin obstruction off $\infty_K,$ while its base change by $L$ does not so off $\infty_L.$ For the surface of the second kind, it is a counterexample to the Hasse principle explained by the Brauer-Manin obstruction, while the failure of the Hasse principle of its base change by $L$ cannot be so. We illustrate these constructions with explicit unconditional examples.


title: Single and Parallel Machine Scheduling with Variable Release Dates

abstract: In this paper we study a simple extension of the total weighted flowtime minimization problem for single and identical parallel machines. While the standard problem simply defines a set of jobs with their processing times and weights and assumes that all jobs have release date 0 and have no deadline, we assume that the release date of each job is a decision variable that is only constrained by a single global latest arrival deadline. To our knowledge, this simple yet practically highly relevant extension has never been studied. Our main contribution is that we show the NP- completeness of the problem even for the single machine case and provide an exhaustive empirical study of different typical approaches including genetic algorithms, tree search, and constraint programming.


title: MetaSCI: Scalable and Adaptive Reconstruction for Video Compressive Sensing

abstract: To capture high-speed videos using a two-dimensional detector, video snapshot compressive imaging (SCI) is a promising system, where the video frames are coded by different masks and then compressed to a snapshot measurement. Following this, efficient algorithms are desired to reconstruct the high-speed frames, where the state-of-the-art results are achieved by deep learning networks. However, these networks are usually trained for specific small-scale masks and often have high demands of training time and GPU memory, which are hence {\bf \em not flexible} to $i$) a new mask with the same size and $ii$) a larger-scale mask. We address these challenges by developing a Meta Modulated Convolutional Network for SCI reconstruction, dubbed MetaSCI. MetaSCI is composed of a shared backbone for different masks, and light-weight meta-modulation parameters to evolve to different modulation parameters for each mask, thus having the properties of {\bf \em fast adaptation} to new masks (or systems) and ready to {\bf \em scale to large data}. Extensive simulation and real data results demonstrate the superior performance of our proposed approach. Our code is available at {\small\url{https://github.com/xyvirtualgroup/MetaSCI-CVPR2021}}.


title: Using Interstellar Clouds to Search for Galactic PeVatrons: Gamma-ray Signatures from Supernova Remnants

abstract: Interstellar clouds can act as target material for hadronic cosmic rays; gamma rays subsequently produced through inelastic proton-proton collisions and spatially associated with such clouds can provide a key indicator of efficient particle acceleration. However, even in the case that particle acceleration proceeds up to PeV energies, the system of accelerator and nearby target material must fulfil a specific set of conditions in order to produce a detectable gamma-ray flux. In this study, we rigorously characterise the necessary properties of both cloud and accelerator. By using available Supernova Remnant (SNR) and interstellar cloud catalogues, we produce a ranked shortlist of the most promising target systems, those for which a detectable gamma-ray flux is predicted, in the case that particles are accelerated to PeV energies in a nearby SNR. We discuss detection prospects for future facilities including CTA, LHAASO and SWGO; and compare our predictions with known gamma-ray sources. The four interstellar clouds with the brightest predicted fluxes >100 TeV identified by this model are located at (l,b) = (333.46,-0.31), (16.97,0.53), (110.43,1.89) and (336.73,-0.98). These clouds are consistently bright under a range of model scenarios, including variation in the diffusion coefficient and particle spectrum. On average, a detectable gamma-ray flux is more likely for more massive clouds; systems with lower separation distance between the SNR and cloud; and for slightly older SNRs.


title: Generalized Rough Polyharmonic Splines for Multiscale PDEs with Rough Coefficients

abstract: In this paper, we demonstrate the construction of generalized Rough Polyhamronic Splines (GRPS) within the Bayesian framework, in particular, for multiscale PDEs with rough coefficients. The optimal coarse basis can be derived automatically by the randomization of the original PDEs with a proper prior distribution and the conditional expectation given partial information on edge or derivative measurements. We prove the (quasi)-optimal localization and approximation properties of the obtained bases, and justify the theoretical results with numerical experiments.


title: Cone and paraboloid points of arbitrary subsets of Euclidean space

abstract: In this paper we characterise cone points of arbitrary subsets of Euclidean space. Given $E \subset \mathbb{R}^n$, $x \in E$ is a cone point of $E$ if and only if \begin{align*} \int_{0}^1 \beta_{E}^{d,2}(B(x,r))^2 \frac{dr}{r} < \infty, \end{align*} up to a set of zero $d$-measure. The coefficients $\beta_E^{d,2}$ are a variation of the Jones coefficients. This is a high dimensional counterpart of a theorem of Bishop and Jones from 1994. We also prove similar results for $\alpha$-paraboloid points, which are the $C^{1,\alpha}$ rectifiability counterparts to cone points: $x \in E$ is an $\alpha$-paraboloid point if and only if \begin{align*} \int_0^1 \frac{\overline{\beta}_{E}^{d,2}(B(x,r))^2}{r^{2\alpha}} \, \frac{dr}{r} < \infty \end{align*} up to a set of zero $d$-measure. Here, $\overline{\beta}^{d,2}_E$ is another variant of the Jones coefficients, introduced by Azzam and Schul.


title: Neuronal heterogeneity modulates phase-synchronization between unidirectionally coupled populations with excitation-inhibition balance

abstract: Several experiments and models have highlighted the importance of neuronal heterogeneity in brain dynamics and function. However, how such a cell-to-cell diversity can affect cortical computation, synchronization, and neuronal communication is still under debate. Previous studies have focused on the effect of neuronal heterogeneity in one neuronal population. Here we are specifically interested in the effect of neuronal variability on the phase relations between two populations, which can be related to different cortical communication hypotheses. It has been recently shown that two spiking neuron populations unidirectionally connected in a sender-receiver configuration can exhibit anticipated synchronization (AS), which is characterized by a negative phase-lag. This phenomenon has been reported in electrophysiological data of non-human primates and human EEG during a visual discrimination cognitive task. In experiments, the unidirectional coupling could be accessed by Granger causality and can be accompanied by both positive or negative phase difference between cortical areas. Here we propose a model of two coupled populations in which the neuronal heterogeneity can determine the dynamical relation between the sender and the receiver and can reproduce phase relations reported in experiments. Depending on the distribution of parameters characterizing the neuronal firing patterns, the system can exhibit both AS and the usual delayed synchronization regime (DS, with positive phase) as well as a zero-lag synchronization regime and phase bistability between AS and DS. Furthermore, we show that our network can present diversity in their phase relations maintaining the excitation-inhibition balance.


title: Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios

abstract: One of the main challenges in developing autonomous transport systems based on connected and automated vehicles is the comprehension and understanding of the environment around each vehicle. In many situations, the understanding is limited to the information gathered by the sensors mounted on the ego-vehicle, and it might be severely affected by occlusion caused by other vehicles or fixed obstacles along the road. Situational awareness is the ability to perceive and comprehend a traffic situation and to predict the intent of vehicles and road users in the surrounding of the ego-vehicle. The main objective of this paper is to propose a framework for how to automatically increase the situational awareness for an automatic bus in a realistic scenario when a pedestrian behind a parked truck might decide to walk across the road. Depending on the ego-vehicle's ability to fuse information from sensors in other vehicles or in the infrastructure, shared situational awareness is developed using a set-based estimation technique that provides robust guarantees for the location of the pedestrian. A two-level information fusion architecture is adopted, where sensor measurements are fused locally, and then the corresponding estimates are shared between vehicles and units in the infrastructure. Thanks to the provided safety guarantees, it is possible to appropriately adjust the ego-vehicle speed to maintain a proper safety margin. It is also argued that the framework is suitable for handling sensor failures and false detections in a systematic way. Three scenarios of growing information complexity are considered throughout the study. Simulations show how the increased situational awareness allows the ego-vehicle to maintain a reasonable speed without sacrificing safety.


title: Energy conservation for 2D Euler with vorticity in $L(\log L)^\alpha$

abstract: In these notes we discuss the conservation of the energy for weak solutions of the two-dimensional incompressible Euler equations. Weak solutions with vorticity in $L^\infty_t L^p_x$ with $p\geq 3/2$ are always conservative, while for less integrable vorticity the conservation of the energy may depend on the approximation method used to construct the solution. Here we prove that the canonical approximations introduced by DiPerna and Majda provide conservative solutions when the initial vorticity is in the class $L(\log L)^\alpha$ with $\alpha>1/2$.


title: Cold traps of hypervolatiles in the protosolar nebula at the origin of comet C/2016 R2 (PanSTARRS)'s peculiar composition

abstract: Recent observations of the long period comet C/2016 R2 (PanSTARRS) indicate an unusually high N2/CO abundance ratio, typically larger than 0.05, and at least 2-3 times higher than the one measured in 67P/Churyumov-Gerasimenko. Another striking compositional feature of this comet is its heavy depletion in H2O, compared to other comets. Here, we investigate the formation circumstances of a generic comet whose composition reproduces these two key features. We first envisage the possibility that this comet agglomerated from clathrates, but we find that such a scenario does not explain the observed low water abundance. We then alternatively investigate the possibility that the building blocks of the comet C/2016 R2 (PanSTARRS) agglomerated from grains and pebbles made of pure condensates via the use of a disk model describing the radial transport of volatiles. We show that N2/CO ratios reproducing the value estimated in this comet can be found in grains condensed in the vicinity of the CO and N2 icelines. Moreover, high CO/H2O ratios (>100 times the initial gas phase value) can be found in grains condensed in the vicinity of the CO iceline. If the building blocks of a comet assembled from such grains, they should present N2/CO and CO/H2O ratios consistent with the measurements made in comet C/2016 R2 (PanSTARRS)'s coma. Our scenario indicates that comet C/2016 R2 (PanSTARRS) formed in a colder environment than the other comets that share more usual compositions. Our model also explains the unusual composition of the interstellar comet 2l/Borisov.


title: Barred spiral galaxies in modified gravity theories

abstract: When bars form within galaxy formation simulations in the standard cosmological context, dynamical friction with dark matter (DM) causes them to rotate rather slowly. However, almost all observed galactic bars are fast in terms of the ratio between corotation radius and bar length. Here, we explicitly display an $8\sigma$ tension between the observed distribution of this ratio and that in the EAGLE simulation at redshift 0. We also compare the evolution of Newtonian galactic discs embedded in DM haloes to their evolution in three extended gravity theories: Milgromian Dynamics (MOND), a model of non-local gravity, and a scalar-tensor-vector gravity theory (MOG). Although our models start with the same initial baryonic distribution and rotation curve, the long-term evolution is different. The bar instability happens more violently in MOND compared to the other models. There are some common features between the extended gravity models, in particular the negligible role played by dynamical friction $-$ which plays a key role in the DM model. Partly for this reason, all extended gravity models predict weaker bars and faster bar pattern speeds compared to the DM case. Although the absence of strong bars in our idealized, isolated extended gravity simulations is in tension with observations, they reproduce the strong observational preference for `fast' bar pattern speeds, which we could not do with DM. We confirm previous findings that apparently `ultrafast' bars can be due to bar-spiral arm alignment leading to an overestimated bar length, especially in extended gravity scenarios where the bar is already fast.


title: Context Decoupling Augmentation for Weakly Supervised Semantic Segmentation

abstract: Data augmentation is vital for deep learning neural networks. By providing massive training samples, it helps to improve the generalization ability of the model. Weakly supervised semantic segmentation (WSSS) is a challenging problem that has been deeply studied in recent years, conventional data augmentation approaches for WSSS usually employ geometrical transformations, random cropping and color jittering. However, merely increasing the same contextual semantic data does not bring much gain to the networks to distinguish the objects, e.g., the correct image-level classification of "aeroplane" may be not only due to the recognition of the object itself, but also its co-occurrence context like "sky", which will cause the model to focus less on the object features. To this end, we present a Context Decoupling Augmentation (CDA) method, to change the inherent context in which the objects appear and thus drive the network to remove the dependence between object instances and contextual information. To validate the effectiveness of the proposed method, extensive experiments on PASCAL VOC 2012 dataset with several alternative network architectures demonstrate that CDA can boost various popular WSSS methods to the new state-of-the-art by a large margin.


title: Forecasts on Interacting Dark Energy from 21-cm Angular Power Spectrum with BINGO and SKA observations

abstract: Neutral hydrogen (HI) intensity mapping is a promising technique to probe the large-scale structure of the Universe, improving our understanding on the late-time accelerated expansion. In this work, we first scrutinize how an alternative cosmology, interacting dark energy (IDE), can affect the 21-cm angular power spectrum relative to the concordance $\Lambda$CDM model. We re-derive the 21-cm brightness temperature fluctuation in the context of such interaction and uncover an extra new contribution. Then we estimate the noise level of three upcoming HI intensity mapping surveys, BINGO, SKA1-MID Band$\,$1 and Band$\,$2, respectively, and employ a Fisher matrix approach to forecast their constraints on the IDE model. We find that while $\textit{Planck}\,$ 2018 maintains its dominion over early-Universe parameter constraints, BINGO and SKA1-MID Band$\,$2 put complementary bounding to the latest CMB measurements on dark energy equation of state $w$, the interacting strength $\lambda_i$ and the reduced Hubble constant $h$, and SKA1-MID Band$\,$1 even outperforms $\textit{Planck}\,$ 2018 in these late-Universe parameter constraints. The expected minimum uncertainties are given by SKA1-MID Band$\,$1+$\textit{Planck}\,$: $\sim 0.34\%$ on $w$, $\sim 0.22\%$ on $h$, $\sim 0.64\%$ on HI bias $b_{\rm HI}$, and an absolute uncertainty of about $3\times10^{-4}$ ($7\times10^{-4}$) on $\lambda_{1}$ ($\lambda_{2}$). Moreover, we quantify the effects from systematics of the redshift bin number, redshift-space distortions, foreground residuals and uncertainties on the measured HI fraction, $\Omega_{\mathrm{HI}}(z)$. Our results indicate a bright prospect for HI intensity mapping surveys in constraining IDE, whether on their own or further by synergies with other measurements.