title: A social license for nuclear technologies

abstract: Nuclear energy technologies have the potential to help mitigate climate change. However, these technologies face many challenges, including high costs, societal concern and opposition, and health, safety, environmental and proliferation risks. Many companies and academic research groups are pursuing advanced designs, both fission and fusion-based, to address both costs and these risks. This Chapter complements these efforts by analyzing how nuclear technologies can address societal concerns through the acquisition of a social license, a nebulous concept that represents "society's consent" and that has been used to facilitate and improve a wide range of publicly and privately funded projects and activities subject to a range of regulatory oversight, including large industrial facilities, controversial genetic engineering research, and environmental management. Suggestions for public engagement and consent-based siting, two aspects of a social license, have been made before. This chapter modernizes these suggestions by briefly reviewing the social license and engagement literature. The Chapter discusses, in the context of how to acquire a social license, the role of government regulation, the role of project proponents and government actors, and the role of four key principles, including engendering trust, transparency, meaningful public engagement, and protection of health, safety and the environment. Further, the Chapter uses the social license concept to explain why some nuclear waste repositories have succeeded while others languish and provides concrete recommendations for the deployment of new nuclear waste repositories and advanced power plants, both fission and fusion-based.


title: A FaaS File System for Serverless Computing

abstract: Serverless computing with cloud functions is quickly gaining adoption, but constrains programmers with its limited support for state management. We introduce a shared file system for cloud functions. It offers familiar POSIX semantics while taking advantage of distinctive aspects of cloud functions to achieve scalability and performance beyond what traditional shared file systems can offer. We take advantage of the function-grained fault tolerance model of cloud functions to proceed optimistically using local state, safe in the knowledge that we can restart if cache reads or lock activity cannot be reconciled upon commit. The boundaries of cloud functions provide implicit commit and rollback points, giving us the flexibility to use transaction processing techniques without changing the programming model or API. This allows a variety of stateful sever-based applications to benefit from the simplicity and scalability of serverless computing, often with little or no modification.


title: Gradient modification of Newtonian gravity

abstract: A second gradient generalization of Newtonian gravity is presented within the framework of gradient field theory. Weak nonlocality is introduced via first and second gradients of the gravitational field strength in the Lagrangian density. Gradient generalizations of the Poisson equation of Newtonian gravitation for the gravitational potential and of the generalized Gauss law for the gravitational field strength are presented. Such a gradient modification of Newtonian gravity provides a straightforward regularization of Newtonian gravity removing the classical Newtonian singularities. Finite gradient modifications of the gravitational potential energy and of the gravitational force law are constructed, with a possible connection to Yukawa interaction, and as suitable candidates for experimental tests of Newton's inverse-square law at short distances. In addition, nonlocal gravity of exponential type is investigated and its relation to gradient gravity theory is given.


title: A Sequential Modelling Approach for Indoor Temperature Prediction and Heating Control in Smart Buildings

abstract: The rising availability of large volume data, along with increasing computing power, has enabled a wide application of statistical Machine Learning (ML) algorithms in the domains of Cyber-Physical Systems (CPS), Internet of Things (IoT) and Smart Building Networks (SBN). This paper proposes a learning-based framework for sequentially applying the data-driven statistical methods to predict indoor temperature and yields an algorithm for controlling building heating system accordingly. This framework consists of a two-stage modelling effort: in the first stage, an univariate time series model (AR) was employed to predict ambient conditions; together with other control variables, they served as the input features for a second stage modelling where an multivariate ML model (XGBoost) was deployed. The models were trained with real world data from building sensor network measurements, and used to predict future temperature trajectories. Experimental results demonstrate the effectiveness of the modelling approach and control algorithm, and reveal the promising potential of the mixed data-driven approach in smart building applications. By making wise use of IoT sensory data and ML algorithms, this work contributes to efficient energy management and sustainability in smart buildings.


title: Modeling Hierarchical System with Operads

abstract: This paper applies operads and functorial semantics to address the problem of failure diagnosis in complex systems. We start with a concrete example, developing a hierarchical interaction model for the Length Scale Interferometer, a high-precision measurement system operated by the US National Institute of Standards and Technology. The model is expressed in terms of combinatorial/diagrammatic structures called port-graphs, and we explain how to extract an operad LSI from a collection of these diagrams. Next we show how functors to the operad of probabilities organize and constrain the relative probabilities of component failure in the system. Finally, we show how to extend the analysis from general component failure to specific failure modes.


title: Spatio-Temporal Hybrid Graph Convolutional Network for Traffic Forecasting in Telecommunication Networks

abstract: Telecommunication networks play a critical role in modern society. With the arrival of 5G networks, these systems are becoming even more diversified, integrated, and intelligent. Traffic forecasting is one of the key components in such a system, however, it is particularly challenging due to the complex spatial-temporal dependency. In this work, we consider this problem from the aspect of a cellular network and the interactions among its base stations. We thoroughly investigate the characteristics of cellular network traffic and shed light on the dependency complexities based on data collected from a densely populated metropolis area. Specifically, we observe that the traffic shows both dynamic and static spatial dependencies as well as diverse cyclic temporal patterns. To address these complexities, we propose an effective deep-learning-based approach, namely, Spatio-Temporal Hybrid Graph Convolutional Network (STHGCN). It employs GRUs to model the temporal dependency, while capturing the complex spatial dependency through a hybrid-GCN from three perspectives: spatial proximity, functional similarity, and recent trend similarity. We conduct extensive experiments on real-world traffic datasets collected from telecommunication networks. Our experimental results demonstrate the superiority of the proposed model in that it consistently outperforms both classical methods and state-of-the-art deep learning models, while being more robust and stable.


title: PDE-Constrained Optimization Models and Pseudospectral Methods for Multiscale Particle Dynamics

abstract: We derive novel algorithms for optimization problems constrained by partial differential equations describing multiscale particle dynamics, including non-local integral terms representing interactions between particles. In particular, we investigate problems where the control acts as an advection 'flow' vector or a source term of the partial differential equation, and the constraint is equipped with boundary conditions of Dirichlet or no-flux type. After deriving continuous first-order optimality conditions for such problems, we solve the resulting systems by developing a link with computational methods for statistical mechanics, deriving pseudospectral methods in both space and time variables, and utilizing variants of existing fixed point methods. Numerical experiments indicate the effectiveness of our approach for a range of problem set-ups, boundary conditions, as well as regularization and model parameters.


title: Stokes phenomenon and Hawking Radiation

abstract: We compute the semiclassical decay rate for Kerr black hole by deriving a one-way connection formula, relating the near horizon solution to the outgoing solution at infinity. In particular, we discuss the relevance of the Stokes phenomenon and show how it leads to a Boltzmann-like thermal weight factor by making use of the Stokes diagrams. We also give the exact result for the semiclassical greybody factor $e^{-2S}, $ where $S$ is the leading order WKB action. We contrast our results with Maldacena and Strominger's work [Phys. Rev. D 56, 4975 (1997)], where the emission spectrum for a rotating black hole was computed locally via asymptotic matching. We find that the relative error of semiclassical decay rate with respect to asymptotic matching formula diminishes in the limit of large angular momentum, $l$, as expected. In this limit, the action assumes a compact form: $2S \sim (2 l+1) (\text{Log} \left( \frac{16 }{z_0}\right)-1)$, where $z_0$ is the cross ratio formed by the critical points (zeroes) of the scattering potential.


title: Copula-Based Bounds for Multi-User Communications -- Part I: Average Performance

abstract: Statistically independent or positively correlated fading models are usually applied to compute the average performance of wireless communications. However, there exist scenarios with negative dependency and it is therefore of interest how different performance metrics behave for different general dependency structures of the channels. Especially best-case and worst-case bounds are practically relevant as a system design guideline. In this two-part letter, we present methods and tools from dependency modeling which can be applied to analyze and design multi-user communications systems exploiting and creating dependencies of the effective fading channels. The first part focuses on fast fading with average performance metrics, while the second part considers slow fading with outage performance metrics.


title: Two-breather solutions for the class I infinitely extended nonlinear Schrodinger equation and their special cases

abstract: We derive the two-breather solution of the class I infinitely extended nonlinear Schrodinger equation (NLSE). We present a general form of this multi-parameter solution that includes infinitely many free parameters of the equation and free parameters of the two breather components. Particular cases of this solution include rogue wave triplets, and special cases of breather-to-soliton and rogue wave-to-soliton transformations. The presence of many parameters in the solution allows one to describe wave propagation problems with higher accuracy than with the use of the basic NLSE.


title: New Class of Integrable Maps of the Plane: Manin Transformations with Involution Curves

abstract: For cubic pencils we define the notion of an involution curve. This is a curve which intersects each curve of the pencil in exactly one non-base point of the pencil. Involution curves can be used to construct integrable maps of the plane which leave invariant a cubic pencil.


title: The perturbational stability of the Schr$\ddot{o}$dinger equation

abstract: By using the Wigner transform, it is shown that the nonlinear Schr$\ddot{\textmd{o}}$dinger equation can be described, in phase space, by a kinetic theory similar to the Vlasov equation which is used for describing a classical collisionless plasma. In this paper we mainly show Landau damping in the quantum sense, namely,quantum Landau damping exists for the Wigner-Poisson system. At the same time, we also prove the existence and the stability of the nonlinear Schr$\ddot{\textmd{o}}$dinger equation under the quantum stability assumption.


title: Complementary LEEM and eV-TEM for imaging and spectroscopy

abstract: Transmission electron microscopy at very low energy is a promising way to avoid damaging delicate biological samples with the incident electrons, a known problem in conventional transmission electron microscopy. For imaging in the 0-30 eV range, we added a second electron source to a low energy electron microscopy (LEEM) setup, enabling imaging in both transmission and reflection mode at nanometer (nm) resolution. The latter is experimentally demonstrated for free-standing graphene. Exemplary eV-TEM micrographs of gold nanoparticles suspended on graphene and of DNA origami rectangles on graphene oxide further establish the capabilities of the technique. The long and short axes of the DNA origami rectangles are discernable even after an hour of illumination with low energy electrons. In combination with recent developments in 2D membranes, allowing for versatile sample preparation, eV-TEM is paving the way to damage-free imaging of biological samples at nm resolution.


title: Heterogeneous Fixed-wing Aerial Vehicles for Resilient Coverage of an Area

abstract: This paper presents a distributed approach to provide persistent coverage of an arbitrarily shaped area using heterogeneous coverage of fixed-wing unmanned aerial vehicles (UAVs), and to recover from simultaneous failures of multiple UAVs. The proposed approach discusses level-homogeneous deployment and maintenance of a homogeneous fleet of fixed-wing UAVs given the boundary information and the minimum loitering radius. The UAVs are deployed at different altitude levels to provide heterogeneous coverage and sensing. We use an efficient square packing method to deploy the UAVs, given the minimum loiter radius and the area boundary. The UAVs loiter over the circles inscribed over these packing squares in a synchronized motion to fulfill the full coverage objective. An top-down hierarchy of the square packing, where each outer square (super-square) is partitioned into four equal-sized inner squares (sub-square), is exploited to introduce resilience in the deployed UAV-network. For a failed sub-square UAV, a replacement neighbor is chosen considering the effective coverage and deployed to the corresponding super-square at a higher altitude to recover full coverage, trading-off with the quality of coverage of the sub-area. This is a distributed approach as all the decision making is done within close range of the loss region, and it can be scaled and adapted to various large scale area and UAV configurations. Simulation results have been presented to illustrate and verify the applicability of the approach.


title: An Axiomatization Proposal and a Global Existence Theorem for Strong Emergence Between Parameterized Lagrangian Field Theories

abstract: In this paper we propose an axiomatization for the notion of strong emergence phenomenon between field theories depending on additional parameters, which we call parameterized field theories. We present sufficient conditions ensuring the existence of such phenomena between two given Lagrangian theories. More precisely, we prove that a Lagrangian field theory depending linearly on an additional parameter emerges from every multivariate polynomial theory evaluated at differential operators which have well-defined Green functions (or, more generally, that has a right-inverse in some extended sense). As a motivating example, we show that the phenomenon of gravity emerging from noncommutativy, in the context of a real or complex scalar field theory, can be recovered from our emergence theorem. We also show that, in the same context, we could also expect the reciprocal, i.e., that noncommutativity could emerge from gravity. Some other particular cases are analyzed.


title: Transparency's Influence on Human-Collective Interactions

abstract: Collective robotic systems are biologically inspired and advantageous due to their apparent global intelligence and emergent behaviors. Many applications can benefit from the incorporation of collectives, including environmental monitoring, disaster response missions, and infrastructure support. Transparency research has primarily focused on how the design of the models, visualizations, and control mechanisms influence human-collective interactions. Traditionally most evaluations have focused only on one particular system design element, evaluating its respective transparency. This manuscript analyzed two models and visualizations to understand how the system design elements impacted human-collective interactions, to quantify which model and visualization combination provided the best transparency, and provide design guidance, based on remote supervision of collectives. The consensus decision-making and baseline models, as well as an individual agent and abstract visualizations, were analyzed for sequential best-of-n decision-making tasks involving four collectives, composed of 200 entities each. Both models and visualizations provided transparency and influenced human-collective interactions differently. No single combination provided the best transparency.


title: Global existence of strong solutions to the planar compressible magnetohydrodynamic equations with large initial data in unbounded domains

abstract: In one-dimensional unbounded domains, we consider the equations of a planar compressible magnetohydrodynamic (MHD) flow with constant viscosity and heat conductivity. More precisely, we prove the global existence of strong solutions to the MHD equations with large initial data satisfying the same conditions as those of Kazhikhov's theory in bounded domains (Kazhikhov 1987 Boundary Value Problems for Equations of Mathematical Physics (Krasnoyarsk)). In particular, our result generalizes the Kazhikhov's theory for the initial boundary value problem in bounded domains to the unbounded case.


title: Pattern formations driven by cyclic interactions: a brief review of recent developments

abstract: Lotka's seminal work (A.J. Lotka A., Proc. Natl. Acad. Sci. U.S.A. 6 (1920) 410) "on certain rhythmic relations'' is already one hundred years old, but the research activity about pattern formations due to cyclical dominance is more vibrant than ever. It is because non-transitive interactions have paramount role on maintaining biodiversity and adequate human intervention into ecological systems requires deeper understanding of related dynamical processes. In this perspective article we overview different aspects of biodiversity, with focus on how it can be maintained based on mathematical modeling of last years. We also briefly discuss the potential links to evolutionary game models of social systems, and finally, give an overview about potential prospects for future research.

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


title: Equipartition of a segment

abstract: We prove that, for any positive integer $m$, a segment may be partitioned into $m$ possibly degenerate or empty segments with equal values of a continuous function $f$ of a segment, assuming that $f$ may take positive and negative values, but its value on degenerate or empty segments is zero.


title: Data Augmentation for Graph Classification

abstract: Graph classification, which aims to identify the category labels of graphs, plays a significant role in drug classification, toxicity detection, protein analysis etc. However, the limitation of scale of benchmark datasets makes it easy for graph classification models to fall into over-fitting and undergeneralization. Towards this, we introduce data augmentation on graphs and present two heuristic algorithms: random mapping and motif-similarity mapping, to generate more weakly labeled data for small-scale benchmark datasets via heuristic modification of graph structures. Furthermore, we propose a generic model evolution framework, M-Evolve, which combines graph augmentation, data filtration and model retraining to optimize pre-trained graph classifiers. Experiments conducted on six benchmark datasets demonstrate that M-Evolve helps existing graph classification models alleviate over-fitting when training on small-scale benchmark datasets and yields an average improvement of 3-12% accuracy on graph classification tasks.


title: Indefinite Linear Quadratic Mean Field Social Control Problems with Multiplicative Noise

abstract: This paper studies uniform stabilization and social optimality for linear quadratic (LQ) mean field control problems with multiplicative noise, where agents are coupled via dynamics and individual costs. The state and control weights in cost functionals are not limited to be positive semi-definite. This leads to an indefinite LQ mean field control problem, which may still be well-posed due to deep nature of multiplicative noise. We first obtain a set of forward-backward stochastic differential equations (FBSDEs) from variational analysis, and construct a feedback control by decoupling the FBSDEs. By using solutions to two Riccati equations, we design a set of decentralized control laws, which is further shown to be asymptotically social optimal. Some equivalent conditions are given for uniform stabilization of the systems with the help of linear matrix inequalities. A numerical example is given to illustrate the effectiveness of the proposed control laws.


title: Multidomain spectral approach with Sommerfeld condition for the Maxwell equations

abstract: We present a multidomain spectral approach with an exterior compactified domain for the Maxwell equations for monochromatic fields. The Sommerfeld radiation condition is imposed exactly at infinity being a finite point on the numerical grid. As an example, axisymmetric situations in spherical and prolate spheroidal coordinates are discussed.


title: Integrated tool-set for Control, Calibration and Characterization of quantum devices applied to superconducting qubits

abstract: Efforts to scale-up quantum computation have reached a point where the principal limiting factor is not the number of qubits, but the entangling gate infidelity. However, the highly detailed system characterization required to understand the underlying error sources is an arduous process and impractical with increasing chip size. Open-loop optimal control techniques allow for the improvement of gates but are limited by the models they are based on. To rectify the situation, we provide an integrated open-source tool-set for Control, Calibration and Characterization, capable of open-loop pulse optimization, model-free calibration, model fitting and refinement. We present a methodology to combine these tools to find a quantitatively accurate system model, high-fidelity gates and an approximate error budget, all based on a high-performance, feature-rich simulator. We illustrate our methods using simulated fixed-frequency superconducting qubits for which we learn model parameters with less than 1% error and derive a coherence limited cross-resonance (CR) gate that achieves 99.6% fidelity without need for calibration.


title: Dark Matter as a Solution to Muonic Puzzles

abstract: We propose a simple model in which dark matter particle exchanges mediate a new quantum force between muons and nucleons, resolving the proton charge radius puzzle. At the same time, the discrepancy between the measured anomalous magnetic moment of the muon and the Standard Model prediction can be accommodated, and thermal relic abundance of the dark matter candidate is consistent with observations. The dark matter particle mass is in the MeV range. We show that the model is consistent with a variety of experimental and observational constraints.


title: An optimal Hardy-Littlewood-Sobolev inequality on $\mathbf R^{n-k} \times \mathbf R^n$ and its consequences

abstract: For $n > k \geq 0$, $\lambda >0$, and $p, r>1$, we establish the following optimal Hardy-Littlewood-Sobolev inequality \[ \Big| \iint_{\mathbf R^n \times \mathbf R^{n-k}} \frac{f(x) g(y)}{ |x-y|^\lambda |y"|^\beta} dx dy \Big| \lesssim \| f \| _{L^p(\mathbf R^{n-k})} \| g\| _{L^r(\mathbf R^n)} \] with $y = (y', y") \in \mathbf R^{n-k} \times \mathbf R^k$ under the two necessary conditions \[ \beta < \left\{ \begin{aligned} & k - k/r & & \text{if } \; 0 < \lambda \leq n-k,\\ & n - \lambda - k/r & & \text{if } \; n-k < \lambda, \end{aligned} \right. \] and \[ \frac{n-k}n \frac 1p + \frac 1r + \frac { \beta + \lambda} n = 2 -\frac kn. \] We call this the optimal Hardy-Littlewood-Sobolev inequality on $\mathbf R^{n-k} \times \mathbf R^n$. The existence of an optimal pair for this new inequality is also studied. The motivation of working on the above inequality is to provide a unification of many known Hardy-Littewood-Sobolev inequalities including the classical Hardy-Littewood-Sobolev inequality when $k=\beta=0$, the Hardy-Littewood-Sobolev inequality on the upper half space $\mathbf R^{n-1} \times \mathbf R_+^n$ when $k=1$ and $\beta = 0$, and the Hardy-Littewood-Sobolev inequality on the upper half space $\mathbf R^{n-1} \times \mathbf R_+^n$ with extended kernel when $k=1$ and $\beta \ne 0$. We show that the above condition for $\beta$ is sharp. In the unweighted case, namely $\beta=0$, our finding immediately leads to the sharp Hardy-Littlewood-Sobolev inequality on $\mathbf R^{n-k} \times \mathbf R^n$ with the optimal range $$0<\lambda<n-k/r,$$ which has not been observed before, even in the case $k=1$. As one of many consequences, we give a short proof of the Stein-Weiss inequality in the context of $\mathbf R^{n-k} \times \mathbf R^n$.


title: FakeTagger: Robust Safeguards against DeepFake Dissemination via Provenance Tracking

abstract: In recent years, DeepFake is becoming a common threat to our society, due to the remarkable progress of generative adversarial networks (GAN) in image synthesis. Unfortunately, existing studies that propose various approaches, in fighting against DeepFake and determining if the facial image is real or fake, is still at an early stage. Obviously, the current DeepFake detection method struggles to catch the rapid progress of GANs, especially in the adversarial scenarios where attackers can evade the detection intentionally, such as adding perturbations to fool the DNN-based detectors. While passive detection simply tells whether the image is fake or real, DeepFake provenance, on the other hand, provides clues for tracking the sources in DeepFake forensics. Thus, the tracked fake images could be blocked immediately by administrators and avoid further spread in social networks. In this paper, we investigate the potentials of image tagging in serving the DeepFake provenance tracking. Specifically, we devise a deep learning-based approach, named FakeTagger, with a simple yet effective encoder and decoder design along with channel coding to embed message to the facial image, which is to recover the embedded message after various drastic GAN-based DeepFake transformation with high confidence. The embedded message could be employed to represent the identity of facial images, which further contributed to DeepFake detection and provenance. Experimental results demonstrate that our proposed approach could recover the embedded message with an average accuracy of more than 95% over the four common types of DeepFakes. Our research finding confirms effective privacy-preserving techniques for protecting personal photos from being DeepFaked.


title: Content Planning for Neural Story Generation with Aristotelian Rescoring

abstract: Long-form narrative text generated from large language models manages a fluent impersonation of human writing, but only at the local sentence level, and lacks structure or global cohesion. We posit that many of the problems of story generation can be addressed via high-quality content planning, and present a system that focuses on how to learn good plot structures to guide story generation. We utilize a plot-generation language model along with an ensemble of rescoring models that each implement an aspect of good story-writing as detailed in Aristotle's Poetics. We find that stories written with our more principled plot-structure are both more relevant to a given prompt and higher quality than baselines that do not content plan, or that plan in an unprincipled way.


title: Simultaneous blockade of a photon phonon, and magnon induced by a two-level atom

abstract: The hybrid microwave optomechanical-magnetic system has recently emerged as a promising candidate for coherent information processing because of the ultrastrong microwave photon-magnon coupling and the longlife of the magnon and phonon. As a quantum information processing device, the realization of a single excitation holds special meaning for the hybrid system. In this paper, we introduce a single two-level atom into the optomechanical-magnetic system and show that an unconventional blockade due to destructive interference cannot offer a blockade of both the photon and magnon. Meanwhile, under the condition of single excitation resonance, the blockade of the photon, phonon, and magnon can be achieved simultaneously even in a weak optomechanical region, but the phonon blockade still requires the cryogenic temperature condition.


title: Droplet impact onto a spring-supported plate: analysis and simulations

abstract: The high-speed impact of a droplet onto a flexible substrate is a highly nonlinear process of practical importance which poses formidable modelling challenges in the context of fluid-structure interaction. We present two approaches aimed at investigating the canonical system of a droplet impacting onto a rigid plate supported by a spring and a dashpot: matched asymptotic expansions and direct numerical simulation (DNS). In the former, we derive a generalisation of inviscid Wagner theory to approximate the flow behaviour during the early stages of the impact. In the latter, we perform detailed DNS designed to validate the analytical framework, as well as provide insight into later times beyond the reach of the proposed mathematical model. Drawing from both methods, we observe the strong influence that the mass of the plate, resistance of the dashpot and stiffness of the spring have on the motion of the solid, which undergoes forced damped oscillations. Furthermore, we examine how the plate motion affects the dynamics of the droplet, predominantly through altering its internal hydrodynamic pressure distribution. We build on the interplay between these techniques, demonstrating that a hybrid approach leads to improved model and computational development, as well as result interpretation, across multiple length- and time-scales.


title: From Solar-like to Mira stars: a unifying description of stellar pulsators in the presence of stochastic noise

abstract: We discuss and characterise the power spectral density properties of a model aimed at describing pulsations in stars from the main-sequence to the asymptotic giant branch. We show that the predicted limit of the power spectral density for a pulsation mode in the presence of stochastic noise is always well approximated by a Lorentzian function. While in stars predominantly stochastically driven the width of the Lorentzian is defined by the mode lifetime, in stars where the driving is predominately coherent the width is defined by the amplitude of the stochastic perturbations. In stars where both drivings are comparable, the width is defined by both these parameters and is smaller than that expected from pure stochastic driving. We illustrate our model through numerical simulations and propose a well defined classification of stars into predominantly stochastic (solar-like) and predominately coherent (classic) pulsators. We apply the model to the study of the Mira variable U Per, and the semiregular variable L2 Pup and, following our classification, conclude that they are both classical pulsators. Our model provides a natural explanation for the change in behaviour of the pulsation amplitude-period relation noted in several earlier works. Moreover, our study of L2 Pup enables us to test the scaling relation between the mode line width and effective temperature, confirming that an exponential scaling reproduces well the data all the way from the main sequence to the asymptotic giant branch, down to temperatures about 1000 K below what has been tested in previous studies.


title: Wishart processes : mean-field limit, long time behavior, and free probability

abstract: This paper is devoted to the study of the eigenvalues of the Wishart process which are the analogof the Dyson Brownian Motion for covariance matrices. Such processes were in particular studied byBru. The mean field convergence of the empirical measure of these eigenvalues was proved Malecki andPerez. In this paper, we provide a new approach to the mean field convergence problem using toolsfrom the free rectangular convolution theory developed by Benaych-Georges, which in particular allowsto compute explicitly the limit measure valued flow. We highlight the link with the integro-differentialequation related to the mean field limit and its translation into a complex Burgers partial differentialequation.


title: A Deep Learning Based Analysis-Synthesis Framework For Unison Singing

abstract: Unison singing is the name given to an ensemble of singers simultaneously singing the same melody and lyrics. While each individual singer in a unison sings the same principle melody, there are slight timing and pitch deviations between the singers, which, along with the ensemble of timbres, give the listener a perceived sense of "unison". In this paper, we present a study of unison singing in the context of choirs; utilising some recently proposed deep-learning based methodologies, we analyse the fundamental frequency (F0) distribution of the individual singers in recordings of unison mixtures. Based on the analysis, we propose a system for synthesising a unison signal from an a cappella input and a single voice prototype representative of a unison mixture. We use subjective listening tests to evaluate perceptual factors of our proposed system for synthesis, including quality, adherence to the melody as well the degree of perceived unison.


title: MAC Address Anonymization for Crowd Counting

abstract: Research has shown that counting WiFi packets called probe requests (PRs) implicitly provides a proxy for the number of people in an area. In this paper, we discuss a crowd counting system involving WiFi sensors detecting PRs over the air, then extracting and anonymizing their media access control (MAC) addresses using a hash-based approach. This paper discusses an anonymization procedure and shows time-synchronization inaccuracies among sensors and hashing collision rates to be low enough to prevent anonymization from interfering with counting algorithms. In particular, we derive an approximation of the collision rate of uniformly distributed identifiers, with analytical error bounds.


title: Strange metal from incoherent bosons

abstract: The breakdown of the celebrated Fermi liquid theory in the strange metal phase is the central enigma of correlated quantum matter. Motivated by recent experiments reporting short-lived carriers, along with the ubiquitous observations of modulated excitations in the phase diagram of cuprates, we propose a model for this phase. We introduce bosons emerging from the remnants of a pair density wave as additional current carriers in the strange metal phase. These bosonic excitations are finite momentum Cooper pairs and thus carry twice the electronic charge, and its net spin can either be zero or one arising from the two spin-$1/2$ electrons. We show that such a model can capture the famous linear relationship of resistivity with temperature and manifests the Drude form of ac-conductivity with a Planckian dissipation rate. Furthermore, such bosons are incoherent and hence do not contribute to the Hall conductivity. The bosons emerging from the electron pairs of spin-triplet symmetry also reproduce the recently observed linear in-field magnetoresistance [P. Giraldo-Gallo et al., Science 361, 479 (2018); J. Ayres et al., arXiv: 2012.01208 (2020)].


title: Haar Wavelet based Block Autoregressive Flows for Trajectories

abstract: Prediction of trajectories such as that of pedestrians is crucial to the performance of autonomous agents. While previous works have leveraged conditional generative models like GANs and VAEs for learning the likely future trajectories, accurately modeling the dependency structure of these multimodal distributions, particularly over long time horizons remains challenging. Normalizing flow based generative models can model complex distributions admitting exact inference. These include variants with split coupling invertible transformations that are easier to parallelize compared to their autoregressive counterparts. To this end, we introduce a novel Haar wavelet based block autoregressive model leveraging split couplings, conditioned on coarse trajectories obtained from Haar wavelet based transformations at different levels of granularity. This yields an exact inference method that models trajectories at different spatio-temporal resolutions in a hierarchical manner. We illustrate the advantages of our approach for generating diverse and accurate trajectories on two real-world datasets - Stanford Drone and Intersection Drone.


title: WESSA at SemEval-2020 Task 9: Code-Mixed Sentiment Analysis using Transformers

abstract: In this paper, we describe our system submitted for SemEval 2020 Task 9, Sentiment Analysis for Code-Mixed Social Media Text alongside other experiments. Our best performing system is a Transfer Learning-based model that fine-tunes "XLM-RoBERTa", a transformer-based multilingual masked language model, on monolingual English and Spanish data and Spanish-English code-mixed data. Our system outperforms the official task baseline by achieving a 70.1% average F1-Score on the official leaderboard using the test set. For later submissions, our system manages to achieve a 75.9% average F1-Score on the test set using CodaLab username "ahmed0sultan".


title: A symplectic discontinuous Galerkin full discretization for stochastic Maxwell equations

abstract: This paper proposes a fully discrete method called the symplectic dG full discretization for stochastic Maxwell equations driven by additive noises, based on a stochastic symplectic method in time and a discontinuous Galerkin (dG) method with the upwind fluxes in space. A priori $H^k$-regularity ($k\in\{1,2\}$) estimates for the solution of stochastic Maxwell equations are presented, which have not been reported before to the best of our knowledge. These $H^k$-regularities are vital to make the assumptions of the mean-square convergence analysis on the initial fields, the noise and the medium coefficients, but not on the solution itself. The convergence order of the symplectic dG full discretization is shown to be $k/2$ in the temporal direction and $k-1/2$ in the spatial direction. Meanwhile we reveal the small noise asymptotic behaviors of the exact and numerical solutions via the large deviation principle, and show that the fully discrete method preserves the divergence relations in a weak sense.


title: The triangle-free graphs which are competition graphs of multipartite tournaments

abstract: In this paper, we discover all the triangle-free graphs that are competition graphs of multipartite tournaments.


title: Reconciling escape fractions and observed line emission in Lyman-continuum-leaking galaxies

abstract: Finding and elucidating the properties of Lyman-continuum(LyC)-emitting galaxies is an important step for our understanding of cosmic reionization. Although the z - 0.3-0.4 LyC emitters found recently show strong optical emission lines, no consistent quantitative photoionization model taking into account the escape of ionizing photons and inhomogenous interstellar medium (ISM) geometry of these galaxies has yet been constructed. We hence construct one- and two-zone photoionization models accounting for the observed LyC escape, which we compare to the observed emission line measurements. We find that one-zone density-bounded photoionization models cannot reproduce the emission lines of the LyC leakers because they systematically underpredict the lines of species of low ionization potential, as [OI] and [SII]. Introducing a two-zone model, with differing ionization parameter and a variable covering fraction and where one of the zones is density-bounded, we show that the observed emission line ratios and escape fractions of the LyC emitters are well reproduced. The [OI] excess, which is observed in some LyC leakers, can be naturally explained in this model, e.g., by emission from low-ionization and low-filling-factor gas. LyC emitters with a high escape fraction (fesc > 38%) are deficient both in [OI]6300A and in [SII]6716,6731A. We also confirm that a [SII] deficiency can be used to select LyC emitter candidates. Finally, we find indications for a possible dichotomy in terms of escape mechanisms for LyC photons between galaxies with relatively low (fesc < 10%) and higher escape fractions. We conclude that two-zone photoionization models are sufficient and required to explain the observed emission line properties of z - 0.3-0.4 LyC emitters. These models provide a first step towards the use of optical emission lines and their ratios as quantitative diagnostics of LyC escape from galaxies.


title: Selectivity Estimation with Attribute Value Dependencies using Linked Bayesian Networks

abstract: Relational query optimisers rely on cost models to choose between different query execution plans. Selectivity estimates are known to be a crucial input to the cost model. In practice, standard selectivity estimation procedures are prone to large errors. This is mostly because they rely on the so-called attribute value independence and join uniformity assumptions. Therefore, multidimensional methods have been proposed to capture dependencies between two or more attributes both within and across relations. However, these methods require a large computational cost which makes them unusable in practice. We propose a method based on Bayesian networks that is able to capture cross-relation attribute value dependencies with little overhead. Our proposal is based on the assumption that dependencies between attributes are preserved when joins are involved. Furthermore, we introduce a parameter for trading between estimation accuracy and computational cost. We validate our work by comparing it with other relevant methods on a large workload derived from the JOB and TPC-DS benchmarks. Our results show that our method is an order of magnitude more efficient than existing methods, whilst maintaining a high level of accuracy.


title: Selectivity correction with online machine learning

abstract: Computer systems are full of heuristic rules which drive the decisions they make. These rules of thumb are designed to work well on average, but ignore specific information about the available context, and are thus sub-optimal. The emerging field of machine learning for systems attempts to learn decision rules with machine learning algorithms. In the database community, many recent proposals have been made to improve selectivity estimation with batch machine learning methods. Such methods are all batch methods which require retraining and cannot handle concept drift, such as workload changes and schema modifications. We present online machine learning as an alternative approach. Online models learn on the fly and do not require storing data, they are more lightweight than batch models, and finally may adapt to concept drift. As an experiment, we teach models to improve the selectivity estimates made by PostgreSQL's cost model. Our experiments make the case that simple online models are able to compete with a recently proposed deep learning method.


title: Multiple zeta values and iterated Eisenstein integrals

abstract: Brown showed that the affine ring of the motivic path torsor $\pi_1^{\text{mot}}(\mathbb{P}^1 \backslash \left\{0,1,\infty\right\}, \vec{1}_0, -\vec{1}_1)$, whose periods are multiple zeta values, generates the Tannakian category $\mathsf{MT}(\mathbb{Z})$ of mixed Tate motives over $\mathbb{Z}$. Brown also introduced multiple modular values, which are periods of the relative completion of the fundamental group of the moduli stack $\mathcal{M}_{1,1}$ of elliptic curves. We prove that all motivic multiple zeta values may be expressed as $\mathbb{Q}[2 \pi i]$-linear combinations of motivic iterated Eisenstein integrals along elements of $\pi_1 (\mathcal{M}_{1,1}) \cong SL_2(\mathbb{Z})$, which are examples of motivic multiple modular values. This provides a new modular generator for $\mathsf{MT}(\mathbb{Z})$. We also explain how the coefficients in this linear combination may be partially determined using the motivic coaction.


title: Copula-Based Bounds for Multi-User Communications -- Part II: Outage Performance

abstract: In the first part of this two-part letter, we introduced methods to study the impact of dependency on the expected value of functions of two random variables. In this second part, we present tools to derive worst- and best-case bounds on the outage probability of multi-user communication systems, including multiple access channels, wiretap channels, and reconfigurable intelligent surface-assisted channels.


title: A Two-stage Game Framework to Secure Transmission in Two-Tier UAV Networks

abstract: The multi-UAV network is promising to extend conventional networks by providing broader coverage and better reliability. Nevertheless, the broadcast nature of wireless signals and the broader coverage expose multi-UAV communications to the threats of passive eavesdroppers. Recent studies mainly focus on securing a single legitimate link, or communications between a UAV and multiple ground users in one/two-UAV-aided networks, while the physical layer secrecy analysis for hierarchical multi-UAV networks is underexplored. In this paper, we investigate a general two-tier UAV network consisting of multiple UAV transmitters (UTs) and multiple UAV receivers (URs) in the presence of multiple UAV eavesdroppers (UEs). To protect all legitimate UT-UR links against UEs at the physical layer, we design a two-stage framework consisting of a UT-UR association stage and a cooperative transmission stage. Specifically, we formulate the secure transmission problem into a many-to-one matching game followed by an overlapping coalition formation (OCF) game, taking into account the limited capabilities and the throughput requirements of URs, as well as the transmission power constraints of UTs. A matching algorithm and an OCF algorithm are proposed to solve these two sequential games whose convergences and stabilities are guaranteed theoretically. Simulation results show the superiority of our algorithms and the effectiveness of our two-stage game framework in the terms of secrecy performance.


title: On the descriptive complexity of Salem sets

abstract: In this paper we study the notion of Salem set from the point of view of descriptive set theory. We first work in the hyperspace $\mathbf{K}([0,1])$ of compact subsets of $[0,1]$ and show that the closed Salem sets form a $\boldsymbol{\Pi}^0_3$-complete family. This is done by characterizing the complexity of the family of sets having sufficiently large Hausdorff or Fourier dimension. We also show that the complexity does not change if we increase the dimension of the ambient space and work in $\mathbf{K}([0,1]^d)$. We then generalize the results by relaxing the compactness of the ambient space, and show that the closed Salem sets are still $\boldsymbol{\Pi}^0_3$-complete when we endow the hyperspace of all closed subsets of $\mathbb{R}^d$ with the Fell topology. A similar result holds also for the Vietoris topology.


title: A note on the weak* and pointwise convergence of BV functions

abstract: We study pointwise convergence properties of weakly* converging sequences $\{u_i\}_{i \in {\mathbb N}}$ in $\mathrm{BV}({\mathbb R}^n)$. We show that, after passage to a suitable subsequence (not relabeled), we have pointwise convergence $u_i^*(x)\to u^*(x)$ of the precise representatives for all $x\in {\mathbb R}^n \setminus E$, where the exceptional set $E \subset {\mathbb R}^n$ has on the one hand Hausdorff dimension at most $n-1$, and is on the other hand also negligible with respect to the Cantor part of $|D u|$. Furthermore, we discuss the optimality of these results.


title: Magneto-electric properties and low-energy excitations of multiferroic FeCr2S4

abstract: We report on the low-frequency optical excitations in the multiferroic ground state of polycrystalline FeCr2S4 in the frequency range 0.3-3~THz and their changes upon applying external magnetic fields up to 7~T. In the ground state below the orbital-ordering temperature T_OO=9K we observe the appearance of several new modes. By applying the external magnetic field parallel and perpendicular to the propagation direction of the THz radiation, we can identify the strongest absorptions to be of predominantly electric-dipole origin. We discuss these modes as the low-energy electronic excitations of the Fe^{2+} ions (3d^6, S=2) in an tetrahedral environment. The eigenfrequencies and relative intensities of these absorption lines are satisfactorily reproduced by our calculation assuming an effective exchange field of 12.8 cm-1 at the Fe^{2+}-ions sites. The direction of the exchange field is found to be slightly tilted out of the ab-plane. With our approach we can also describe previously reported results from M\"ossbauer studies and the order of magnitude of the electric polarisation induced by orbital and non-collinear spin ordering.


title: Run-and-Tumble particles in Two-dimensions under Stochastic Resetting

abstract: We study the effect of stochastic resetting on a run and tumble particle (RTP) in two spatial dimensions. We consider a resetting protocol which affects both the position and orientation of the RTP: with a constant rate the particle undergoes a positional resetting to a fixed point in space and orientation randomization. We compute the radial and $x$-marginal stationary state distributions and show that while the former approaches a constant value as $r \to 0$, the latter diverges logarithmically as $x \to 0$. On the other hand, both the marginal distributions decay exponentially with the same exponent far away from the origin. We also study the temporal relaxation of the RTP and show that the position distribution undergoes a dynamical transition to a stationary state. We also study the first passage properties of the RTP in the presence of the resetting and show that the optimization of the resetting rate can minimize the mean first passage time. We also give a brief discussion on the stationary states for resetting to the initial position with fixed orientation.


title: On Some Numerical Radius Inequalities for Hilbert Space Operators

abstract: This article is devoted to studying some new numerical radius inequalities for Hilbert space operators. Our analysis enables us to improve an earlier bound of numerical radius due to Kittaneh.


title: Decontextualized learning for interpretable hierarchical representations of visual patterns

abstract: Apart from discriminative models for classification and object detection tasks, the application of deep convolutional neural networks to basic research utilizing natural imaging data has been somewhat limited; particularly in cases where a set of interpretable features for downstream analysis is needed, a key requirement for many scientific investigations. We present an algorithm and training paradigm designed specifically to address this: decontextualized hierarchical representation learning (DHRL). By combining a generative model chaining procedure with a ladder network architecture and latent space regularization for inference, DHRL address the limitations of small datasets and encourages a disentangled set of hierarchically organized features. In addition to providing a tractable path for analyzing complex hierarchal patterns using variation inference, this approach is generative and can be directly combined with empirical and theoretical approaches. To highlight the extensibility and usefulness of DHRL, we demonstrate this method in application to a question from evolutionary biology.


title: Mean-field optimal control for biological pattern formation

abstract: We propose a mean-field optimal control problem for the parameter identification of a given pattern. The cost functional is based on the Wasserstein distance between the probability measures of the modeled and the desired patterns. The first-order optimality conditions corresponding to the optimal control problem are derived using a Lagrangian approach on the mean-field level. Based on these conditions we propose a gradient descent method to identify relevant parameters such as angle of rotation and force scaling which may be spatially inhomogeneous. We discretize the first-order optimality conditions in order to employ the algorithm on the particle level. Moreover, we prove a rate for the convergence of the controls as the number of particles used for the discretization tends to infinity. Numerical results for the spatially homogeneous case demonstrate the feasibility of the approach.


title: Data mining and time series segmentation via extrema: preliminary investigations

abstract: Time series segmentation is one of the many data mining tools. This paper, in French, takes local extrema as perceptually interesting points (PIPs). The blurring of those PIPs by the quick fluctuations around any time series is treated via an additive decomposition theorem, due to Cartier and Perrin, and algebraic estimation techniques, which are already useful in automatic control and signal processing. Our approach is validated by several computer illustrations. They underline the importance of the choice of a threshold for the extrema detection.


title: On the Radial and Longitudinal Variation of a Magnetic Cloud: ACE, Wind, ARTEMIS and Juno Observations

abstract: We present observations of the same magnetic cloud made near Earth by the Advance Composition Explorer (ACE), Wind, and the Acceleration, Reconnection, Turbulence and Electrodynamics of the Moon's Interaction with the Sun (ARTEMIS) mission comprising the Time History of Events and Macroscale Interactions during Substorms (THEMIS) B and THEMIS C spacecraft, and later by Juno at a distance of 1.2 AU. The spacecraft were close to radial alignment throughout the event, with a longitudinal separation of $3.6^{\circ}$ between Juno and the spacecraft near Earth. The magnetic cloud likely originated from a filament eruption on 22 October 2011 at 00:05 UT, and caused a strong geomagnetic storm at Earth commencing on 24 October. Observations of the magnetic cloud at each spacecraft have been analysed using Minimum Variance Analysis and two flux rope fitting models, Lundquist and Gold-Hoyle, to give the orientation of the flux rope axis. We explore the effect different trailing edge boundaries have on the results of each analysis method, and find a clear difference between the orientations of the flux rope axis at the near-Earth spacecraft and Juno, independent of the analysis method. The axial magnetic field strength and the radial width of the flux rope are calculated using both observations and fitting parameters and their relationship with heliocentric distance is investigated. Differences in results between the near-Earth spacecraft and Juno are attributed not only to the radial separation, but to the small longitudinal separation which resulted in a surprisingly large difference in the in situ observations between the spacecraft. This case study demonstrates the utility of Juno cruise data as a new opportunity to study magnetic clouds beyond 1 AU, and the need for caution in future radial alignment studies.


title: LiPo-LCD: Combining Lines and Points for Appearance-based Loop Closure Detection

abstract: Visual SLAM approaches typically depend on loop closure detection to correct the inconsistencies that may arise during the map and camera trajectory calculations, typically making use of point features for detecting and closing the existing loops. In low-textured scenarios, however, it is difficult to find enough point features and, hence, the performance of these solutions drops drastically. An alternative for human-made scenarios, due to their structural regularity, is the use of geometrical cues such as straight segments, frequently present within these environments. Under this context, in this paper we introduce LiPo-LCD, a novel appearance-based loop closure detection method that integrates lines and points. Adopting the idea of incremental Bag-of-Binary-Words schemes, we build separate BoW models for each feature, and use them to retrieve previously seen images using a late fusion strategy. Additionally, a simple but effective mechanism, based on the concept of island, groups similar images close in time to reduce the image candidate search effort. A final step validates geometrically the loop candidates by incorporating the detected lines by means of a process comprising a line feature matching stage, followed by a robust spatial verification stage, now combining both lines and points. As it is reported in the paper, LiPo-LCD compares well with several state-of-the-art solutions for a number of datasets involving different environmental conditions.


title: Efficient Computation of Higher Order 2D Image Moments using the Discrete Radon Transform

abstract: Geometric moments and moment invariants of image artifacts have many uses in computer vision applications, e.g. shape classification or object position and orientation. Higher order moments are of interest to provide additional feature descriptors, to measure kurtosis or to resolve n-fold symmetry. This paper provides the method and practical application to extend an efficient algorithm, based on the Discrete Radon Transform, to generate moments greater than the 3rd order. The mathematical fundamentals are presented, followed by relevant implementation details. Results of scaling the algorithm based on image area and its computational comparison with a standard method demonstrate the efficacy of the approach.


title: Clustering COVID-19 Lung Scans

abstract: With the ongoing COVID-19 pandemic, understanding the characteristics of the virus has become an important and challenging task in the scientific community. While tests do exist for COVID-19, the goal of our research is to explore other methods of identifying infected individuals. Our group applied unsupervised clustering techniques to explore a dataset of lungscans of COVID-19 infected, Viral Pneumonia infected, and healthy individuals. This is an important area to explore as COVID-19 is a novel disease that is currently being studied in detail. Our methodology explores the potential that unsupervised clustering algorithms have to reveal important hidden differences between COVID-19 and other respiratory illnesses. Our experiments use: Principal Component Analysis (PCA), K-Means++ (KM++) and the recently developed Robust Continuous Clustering algorithm (RCC). We evaluate the performance of KM++ and RCC in clustering COVID-19 lung scans using the Adjusted Mutual Information (AMI) score.


title: A Deep Neural Network Tool for Automatic Segmentation of Human Body Parts in Natural Scenes

abstract: This short article describes a deep neural network trained to perform automatic segmentation of human body parts in natural scenes. More specifically, we trained a Bayesian SegNet with concrete dropout on the Pascal-Parts dataset to predict whether each pixel in a given frame was part of a person's hair, head, ear, eyebrows, legs, arms, mouth, neck, nose, or torso.


title: On the nature of cosmic strings in black hole spacetimes

abstract: A new model for cosmic strings (i.e. conical singularities) attached to black holes is proposed. These string are obtained by a explicit construction via limiting process from the so-called Bonnor rocket. This reveals quite surprising nature of their stress-energy tensor which contains first derivative of Dirac $\delta$ distribution. Starting from the Bonnor rocket we explicitly construct the Schwarzschild solution witch conical singularity and the C-metric. In the latter case we show that there is a momentum flux through the cosmic string, causing the acceleration of the black hole and the amount of this momentum is in agreement with the momentum taken away by gravitational radiation.


title: Basin stability and limit cycles in a conceptual model for climate tipping cascades

abstract: Tipping elements in the climate system are large-scale subregions of the Earth that might possess threshold behavior under global warming with large potential impacts on human societies. Here, we study a subset of five tipping elements and their interactions in a conceptual and easily extendable framework: the Greenland and West Antarctic Ice Sheets, the Atlantic Meridional Overturning Circulation (AMOC), the El-Nino Southern Oscillation (ENSO) and the Amazon rainforest. In this nonlinear and multistable system, we perform a basin stability analysis to detect its stable states and their associated Earth system resilience. Using this approach, we perform a system-wide and comprehensive robustness analysis with more than 3.5 billion ensemble members. Further, we investigate dynamic regimes where some of the states lose stability and oscillations appear using a newly developed basin bifurcation analysis methodology. Our results reveal that the state of four or five tipped elements has the largest basin volume for large levels of global warming beyond 4 {\deg}C above pre-industrial climate conditions. For lower levels of warming, states including disintegrated ice sheets on West Antarctica and Greenland have higher basin volume than other state configurations. Therefore in our model, we find that the large ice sheets are of particular importance for Earth system resilience. We also detect the emergence of limit cycles for 0.6% of all ensemble members at rare parameter combinations. Such limit cycle oscillations mainly occur between the Greenland Ice Sheet and AMOC (86%), due to their negative feedback coupling. These limit cycles point to possibly dangerous internal modes of variability in the climate system that could have played a role in paleoclimatic dynamics such as those unfolding during the Pleistocene ice age cycles.


title: Partial Coactions of Weak Hopf Algebras on Coalgebras

abstract: It will be seen that if $H$ is a weak Hopf algebra in the definition of coaction of weak bialgebras on coalgebras \cite{Wang}, then a definition property is suppressed giving rise to the (global) coactions of weak Hopf algebras on coalgebras. The next step will be introduce the more general notion of partial coactions of weak Hopf algebras on coalgebras as well as a family of examples via a fixed element on the weak Hopf algebra, illustrating both definitions: global and partial. Moreover, it will also be presented how to obtain a partial comodule coalgebra from a global one via projections, giving another way to find examples of partial coactions of weak Hopf algebras on coalgebras. In addition, the weak smash coproduct \cite{Wang} will be studied and it will be seen under what conditions it is possible to generate a weak Hopf algebra structure from the coproduct and the counit defined on it. Finally, a dual relationship between the structures of partial action and partial coaction of a weak Hopf algebra on a coalgebra will be established.


title: Newell-Littlewood numbers II: extended Horn inequalities

abstract: The Newell-Littlewood numbers $N_{\mu,\nu,\lambda}$ are tensor product multiplicities of Weyl modules for classical Lie groups, in the stable limit. For which triples of partitions $(\mu,\nu,\lambda)$ does $N_{\mu,\nu,\lambda}>0$ hold? The Littlewood-Richardson coefficient case is solved by the Horn inequalities (in work of A. Klyachko and A. Knutson-T. Tao). We extend these celebrated linear inequalities to a much larger family, suggesting a general solution.


title: Quantum erasing the memory of Wigner's friend

abstract: The Wigner's friend paradox concerns one of the most puzzling problems of quantum mechanics: the consistent description of multiple nested observers. Recently, a variation of Wigner's gedankenexperiment, introduced by Frauchiger and Renner, has lead to new debates about the self-consistency of quantum mechanics. At the core of the paradox lies the description of an observer and the object it measures as a closed system obeying the Schr\"odinger equation. We revisit this assumption to derive a necessary condition on a quantum system to behave as an observer. We then propose a simple single-photon interferometric setup implementing Frauchiger and Renner's scenario, and use the derived condition to shed a new light on the assumptions leading to their paradox. From our description, we argue that the three apparently incompatible properties used to question the consistency of quantum mechanics correspond to two logically distinct contexts: either one assumes that Wigner has full control over his friends' lab, or conversely that some parts of the labs remain unaffected by Wigner's subsequent measurements. The first context may be seen as the quantum erasure of the memory of Wigner's friend. We further show these properties are associated with observables which do not commute, and therefore cannot take well-defined values simultaneously. Consequently, the three contradictory properties never hold simultaneously.


title: End-to-End Speaker-Dependent Voice Activity Detection

abstract: Voice activity detection (VAD) is an essential pre-processing step for tasks such as automatic speech recognition (ASR) and speaker recognition. A basic goal is to remove silent segments within an audio, while a more general VAD system could remove all the irrelevant segments such as noise and even unwanted speech from non-target speakers. We define the task, which only detects the speech from the target speaker, as speaker-dependent voice activity detection (SDVAD). This task is quite common in real applications and usually implemented by performing speaker verification (SV) on audio segments extracted from VAD. In this paper, we propose an end-to-end neural network based approach to address this problem, which explicitly takes the speaker identity into the modeling process. Moreover, inference can be performed in an online fashion, which leads to low system latency. Experiments are carried out on a conversational telephone dataset generated from the Switchboard corpus. Results show that our proposed online approach achieves significantly better performance than the usual VAD/SV system in terms of both frame accuracy and F-score. We also used our previously proposed segment-level metric for a more comprehensive analysis.


title: Optimal Stable Nonlinear Approximation

abstract: While it is well known that nonlinear methods of approximation can often perform dramatically better than linear methods, there are still questions on how to measure the optimal performance possible for such methods. This paper studies nonlinear methods of approximation that are compatible with numerical implementation in that they are required to be numerically stable. A measure of optimal performance, called {\em stable manifold widths}, for approximating a model class $K$ in a Banach space $X$ by stable manifold methods is introduced. Fundamental inequalities between these stable manifold widths and the entropy of $K$ are established. The effects of requiring stability in the settings of deep learning and compressed sensing are discussed.


title: Zeroth-Order Algorithms for Smooth Saddle-Point Problems

abstract: Saddle-point problems have recently gained increased attention from the machine learning community, mainly due to applications in training Generative Adversarial Networks using stochastic gradients. At the same time, in some applications only a zeroth-order oracle is available. In this paper, we propose several algorithms to solve stochastic smooth (strongly) convex-concave saddle-point problems using zeroth-order oracles and estimate their convergence rate and its dependence on the dimension $n$ of the variable. In particular, our analysis shows that in the case when the feasible set is a direct product of two simplices, our convergence rate for the stochastic term is only by a $\log n$ factor worse than for the first-order methods. We also consider a mixed setup and develop 1/2th-order methods that use zeroth-order oracle for the minimization part and first-order oracle for the maximization part. Finally, we demonstrate the practical performance of our zeroth-order and 1/2th-order methods on practical problems.


title: Analysing and Measuring the Performance ofMemristive Integrating Amplifiers

abstract: Recording reliably extracellular neural activities isan essential prerequisite for the development of bioelectronicsand neuroprosthetic applications. Recently, a fully differential,2-stage, integrating pre-amplifier was proposed for amplifyingand then digitising neural signals. The amplifier featured a finelytuneable offset that was used as a variable threshold detector.Given that the amplifier is integrating, the DC operating pointkeeps changing during integration, rendering traditional analysis(AC/DC) unsuitable. In this work, we analyse the operation ofthis circuit and propose alternative definitions for validating thenecessary key performance metrics, including: gain, bandwidth,offset tuning range and offset sensitivity with respect to thememory states of the employed memristors. The amplificationprocess is analysed largely through investigating the transientbehaviour during the integration phase. This benchmarkingapproach is finally leveraged for providing useful insights anddesign trade-offs of the memristor-based integrating amplifier.


title: Detail reconstruction in binary ghost imaging by using point-by-point method

abstract: We propose a new local-binary ghost imaging by using point-by-point method. This method can compensate the degradation of imaging quality due to the loss of information during binarization process. The numerical and experimental results show that the target details can be reconstructed well by this method when compared with traditional ghost imaging. By comparing the differences of the speckle patterns from different binarization methods, we also give the corresponding explanation. Our results may have the potential applications in areas with high requirements for imaging details, such as target recognition.


title: Are mouse and cat the missing link in the COVID-19 outbreaks in seafood markets?

abstract: Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) virus caused the novel coronavirus disease-2019 (COVID-19) affecting the whole world. Like SARS-CoV and MERS-CoV, SARS-CoV-2 are thought to originate in bats and then spread to humans through intermediate hosts. Identifying intermediate host species is critical to understanding the evolution and transmission mechanisms of COVID-19. However, determining which animals are intermediate hosts remains a key challenge. Virus host-genome similarity (HGS) is an important factor that reflects the adaptability of virus to host. SARS-CoV-2 may retain beneficial mutations to increase HGS and evade the host immune system. This study investigated the HGSs between 399 SARS-CoV-2 strains and 10 hosts of different species, including bat, mouse, cat, swine, snake, dog, pangolin, chicken, human and monkey. The results showed that the HGS between SARS-CoV-2 and bat was the highest, followed by mouse and cat. Human and monkey had the lowest HGS values. In terms of genetic similarity, mouse and monkey are halfway between bat and human. Moreover, given that COVID-19 outbreaks tend to be associated with live poultry and seafood markets, mouse and cat are more likely sources of infection in these places. However, more experimental data are needed to confirm whether mouse and cat are true intermediate hosts. These findings suggest that animals closely related to human life, especially those with high HGS, need to be closely monitored.


title: ALMA Observations of the Inner Cavity in the Protoplanetary Disk around Sz 84

abstract: We present Atacama Large Millimeter/submillimeter Array (ALMA) observations of a protoplanetary disk around the T Tauri star Sz~84 and analyses of the structures of the inner cavity in the central region of the dust disk. Sz~84's spectral energy distribution (SED) has been known to exhibit negligible infrared excess at $\lambda \lesssim$10~$\mu$m due to the disk's cavity structure. Analyses of the observed visibilities of dust continuum at 1.3~mm and the SED indicate that the size of the cavity in the disk of large (millimeter size) dust grains is 8~au in radius and that in the disk of small (sub-micron size) dust grains is 60~au in radius. Furthermore, from the SED analyses, we estimate that the upper limit mass of small dust grains at $r<$60~au is less than $\sim$10$^{-3}$~$M_{\rm earth}$, which is $\lesssim$0.01~\% of the total (small~$+$~large) dust mass at $r<$60~au. These results suggest that large dust grains are dominant at $r<$60~au, implying that dust grains efficiently grow with less efficient fragmentation in this region, potentially due to weak turbulence and/or stickier dust grains. The balance of grain growth and dust fragmentation is an important factor for determining the size of large dust grains in protoplanetary disks, and thus Sz~84 could serve as a good testbed for investigations of grain growth in such disks.


title: Multistability and rare spontaneous transitions in barotropic $\beta$-plane turbulence

abstract: We demonstrate that turbulent zonal jets, analogous to Jovian ones, which are quasi-stationary, are actually metastable. After extremely long times, they randomly switch to new configurations with a different number of jets. The genericity of this phenomenon suggests that most quasi-stationary turbulent planetary atmospheres might have many climates and attractors for fixed values of the external forcing parameters. A key message is that this situation will usually not be detected by simply running the numerical models, because of the extremely long mean transition time to change from one climate to another. In order to study such phenomena, we need to use specific tools: rare event algorithms and large deviation theory. With these tools, we make a full statistical mechanics study of a classical barotropic beta-plane quasigeostrophic model. It exhibits robust bimodality with abrupt transitions. We show that new jets spontaneously nucleate from westward jets. The numerically computed mean transition time is consistent with an Arrhenius law showing an exponential decrease of the probability as the Ekman dissipation decreases. This phenomenology is controlled by rare noise-driven paths called {\it instantons}. Moreover, we compute the saddles of the corresponding effective dynamics. For the dynamics of states with three alternating jets, we uncover an unexpectedly rich dynamics governed by the symmetric group ${\cal S}_3$ of permutations, with two distinct families of instantons, which is a surprise for a system where everything seemed stationary in the hundreds of previous simulations of this model. We discuss the future generalization of our approach to more realistic models.


title: A Non-negative Matrix Factorization Based Method for Quantifying Rhythms of Activity and Sleep and Chronotypes Using Mobile Phone Data

abstract: Human activities follow daily, weekly, and seasonal rhythms. The emergence of these rhythms is related to physiology and natural cycles as well as social constructs. The human body and biological functions undergo near 24-hour rhythms (circadian rhythms). The frequency of these rhythms is more or less similar across people, but its phase is different. In the chronobiology literature, based on the propensity to sleep at different hours of the day, people are categorized into morning-type, evening-type, and intermediate-type groups called \textit{chronotypes}. This typology is typically based on carefully designed questionnaires or manually crafted features drawing on data on timings of people's activity. Here we develop a fully data-driven (unsupervised) method to decompose individual temporal activity patterns into components. This has the advantage of not including any predetermined assumptions about sleep and activity hours, but the results are fully context-dependent and determined by the most prominent features of the activity data. Using a year-long dataset from mobile phone screen usage logs of 400 people, we find four emergent temporal components: morning activity, night activity, evening activity and activity at noon. Individual behavior can be reduced to weights on these four components. We do not observe any clear emergent categories of people based on the weights, but individuals are rather placed on a continuous spectrum according to the timings of their activities. High loads on morning and night components highly correlate with going to bed and waking up times. Our work points towards a data-driven way of categorizing people based on their full daily and weekly rhythms of activity and behavior, rather than focusing mainly on the timing of their sleeping periods.


title: Collaborative Target Tracking in Elliptic Coordinates: a Binocular Coordination Approach

abstract: This paper concentrates on the collaborative target tracking control of a pair of tracking vehicles with formation constraints. The proposed controller requires only distance measurements between tracking vehicles and the target. Its novelty lies in two aspects: 1) the elliptic coordinates are used to represent an arbitrary tracking formation without singularity, which can be deduced from inter-agent distances, and 2) the regulation of the tracking vehicle system obeys a binocular coordination principle, which simplifies the design of the control law by leveraging rich physical meanings of elliptic coordinates. The tracking system with the proposed controller is proven to be exponentially convergent when the target is stationary. When the target drifts with a small velocity, the desired tracking formation is achieved within a small margin proportional to the magnitude of the target's drift velocity. Simulation examples are provided to demonstrate the tracking performance of the proposed controller.


title: A Numerical Fitting Routine for Frequency-domain Thermoreflectance Measurements of Nanoscale Material Systems having Arbitrary Geometries

abstract: In this work, we develop a numerical fitting routine to extract multiple thermal parameters using frequency-domain thermoreflectance (FDTR) for materials having non-standard, non-semi-infinite geometries. The numerical fitting routine is predicated on either a 2-D or 3-D finite element analysis that permits the inclusion of non semi-infinite boundary conditions, which can not be considered in the analytical solution to the heat diffusion equation in the frequency domain. We validate the fitting routine by comparing it to the analytical solution to the heat diffusion equation used within the wider literature for FDTR and known values of thermal conductivity for semi-infinite substrates (SiO2, Al2O3 and Si). We then demonstrate its capacity to extract the thermal properties of Si when etched into micropillars that have radii on the order of the pump beam. Experimental measurements of Si micropillars with circular cross-sections are provided and fit using the numerical fitting routine established as part of this work. Likewise, we show that the analytical solution is unsuitable for the extraction of thermal properties when the geometry deviates significantly from the standard semi-infinite case. This work is critical for measuring the thermal properties of materials having arbitrary geometries, including ultra-drawn glass fibers and laser gain media.


title: Emerging spintronics phenomena and applications

abstract: Development of future sensor, memory, and computing nanodevices based on novel physical concepts is one of the significant research endeavors in solid-state research. The field of spintronics is one such promising area of nanoelectronics which utilizes both the charge and spin of an electron for device operations. The advantage offered by spin systems is in their non-volatility and low-power functionality. This paper reviews emerging spintronic phenomena and the research advancements in diverse spin based applications. Spin devices and systems for logic, memories, emerging computing schemes, flexible electronics and terahertz emitters are discussed in this report.


title: Beyond Identity: What Information Is Stored in Biometric Face Templates?

abstract: Deeply-learned face representations enable the success of current face recognition systems. Despite the ability of these representations to encode the identity of an individual, recent works have shown that more information is stored within, such as demographics, image characteristics, and social traits. This threatens the user's privacy, since for many applications these templates are expected to be solely used for recognition purposes. Knowing the encoded information in face templates helps to develop bias-mitigating and privacy-preserving face recognition technologies. This work aims to support the development of these two branches by analysing face templates regarding 113 attributes. Experiments were conducted on two publicly available face embeddings. For evaluating the predictability of the attributes, we trained a massive attribute classifier that is additionally able to accurately state its prediction confidence. This allows us to make more sophisticated statements about the attribute predictability. The results demonstrate that up to 74 attributes can be accurately predicted from face templates. Especially non-permanent attributes, such as age, hairstyles, haircolors, beards, and various accessories, found to be easily-predictable. Since face recognition systems aim to be robust against these variations, future research might build on this work to develop more understandable privacy preserving solutions and build robust and fair face templates.


title: Improving Graph Property Prediction with Generalized Readout Functions

abstract: Graph property prediction is drawing increasing attention in the recent years due to the fact that graphs are one of the most general data structures since they can contain an arbitrary number of nodes and connections between them, and it is the backbone for many different tasks like classification and regression on such kind of data (networks, molecules, knowledge bases, ...). We introduce a novel generalized global pooling layer to mitigate the information loss that typically occurs at the Readout phase in Message-Passing Neural Networks. This novel layer is parametrized by two values ($\beta$ and $p$) which can optionally be learned, and the transformation it performs can revert to several already popular readout functions (mean, max and sum) under certain settings, which can be specified. To showcase the superior expressiveness and performance of this novel technique, we test it in a popular graph property prediction task by taking the current best-performing architecture and using our readout layer as a drop-in replacement and we report new state of the art results. The code to reproduce the experiments can be accessed here: https://github.com/EricAlcaide/generalized-readout-phase


title: Two-electron quantum dot in a magnetic field: Analytic solution for finite potential model

abstract: The energy levels of two interacting electrons in a 2D quantum dot confined by a finite Gaussian potential and subjected to a uniform magnetic field perpendicular to the plane of the dot are studied. Analytic results are obtained for the energy spectrum of the two-electron system as well as for a single electron. The magnetic field at which the ground state transitions from the spin-singlet to the spin-triplet state for the two-electron system is calculated and compared with the experimental data and previous theoretical results for the infinite harmonic confining potential. The ground state energy of the two-electron system as a function of the magnetic field is calculated and compared with the experimental data.


title: Coherent States of Systems with Pure Continuous Energy Spectra

abstract: While dealing with a Hamiltonian with continuous spectrum we use a tridiagonal method involving orthogonal polynomials to construct a set of coherent states obeying a Glauber-type condition. We perform a Bayesian decomposition of the weight function of the orthogonality measure to show that the obtained coherent states can be recast in the Gazeau-Klauder approach. The Hamiltonian of the $\ell$-wave free particle is treated as an example to illustrate the method.


title: Feature Distillation With Guided Adversarial Contrastive Learning

abstract: Deep learning models are shown to be vulnerable to adversarial examples. Though adversarial training can enhance model robustness, typical approaches are computationally expensive. Recent works proposed to transfer the robustness to adversarial attacks across different tasks or models with soft labels.Compared to soft labels, feature contains rich semantic information and holds the potential to be applied to different downstream tasks. In this paper, we propose a novel approach called Guided Adversarial Contrastive Distillation (GACD), to effectively transfer adversarial robustness from teacher to student with features. We first formulate this objective as contrastive learning and connect it with mutual information. With a well-trained teacher model as an anchor, students are expected to extract features similar to the teacher. Then considering the potential errors made by teachers, we propose sample reweighted estimation to eliminate the negative effects from teachers. With GACD, the student not only learns to extract robust features, but also captures structural knowledge from the teacher. By extensive experiments evaluating over popular datasets such as CIFAR-10, CIFAR-100 and STL-10, we demonstrate that our approach can effectively transfer robustness across different models and even different tasks, and achieve comparable or better results than existing methods. Besides, we provide a detailed analysis of various methods, showing that students produced by our approach capture more structural knowledge from teachers and learn more robust features under adversarial attacks.


title: Observation and control of quantized scattering halos

abstract: We investigate the production of s-wave scattering halos from collisions between the momentum components of a Bose-Einstein condensate released from an optical lattice. The lattice periodicity translates in a momentum comb responsible for the quantization of the halos' radii. We report on the engineering of those halos through the precise control of the atom dynamics in the lattice: we are able to specifically enhance collision processes with given center-of-mass and relative momenta. In particular, we observe quantized collision halos between opposite momenta components of increasing magnitude, up to 6 times the characteristic momentum scale of the lattice.


title: Multi-species Seagrass Detection and Classification from Underwater Images

abstract: Underwater surveys conducted using divers or robots equipped with customized camera payloads can generate a large number of images. Manual review of these images to extract ecological data is prohibitive in terms of time and cost, thus providing strong incentive to automate this process using machine learning solutions. In this paper, we introduce a multi-species detector and classifier for seagrasses based on a deep convolutional neural network (achieved an overall accuracy of 92.4%). We also introduce a simple method to semi-automatically label image patches and therefore minimize manual labelling requirement. We describe and release publicly the dataset collected in this study as well as the code and pre-trained models to replicate our experiments at: https://github.com/csiro-robotics/deepseagrass


title: Graph Based Multi-layer K-means++ (G-MLKM) for Sensory Pattern Analysis in Constrained Spaces

abstract: In this paper, we focus on developing a novel unsupervised machine learning algorithm, named graph based multi-layer k-means++ (G-MLKM), to solve data-target association problem when targets move on a constrained space and minimal information of the targets can be obtained by sensors. Instead of employing the traditional data-target association methods that are based on statistical probabilities, the G-MLKM solves the problem via data clustering. We first will develop the Multi-layer K-means++ (MLKM) method for data-target association at local space given a simplified constrained space situation. Then a p-dual graph is proposed to represent the general constrained space when local spaces are interconnected. Based on the dual graph and graph theory, we then generalize MLKM to G-MLKM by first understanding local data-target association and then extracting cross-local data-target association mathematically analyze the data association at intersections of that space. To exclude potential data-target association errors that disobey physical rules, we also develop error correction mechanisms to further improve the accuracy. Numerous simulation examples are conducted to demonstrate the performance of G-MLKM.


title: Cross-Modal Alignment with Mixture Experts Neural Network for Intral-City Retail Recommendation

abstract: In this paper, we introduce Cross-modal Alignment with mixture experts Neural Network (CameNN) recommendation model for intral-city retail industry, which aims to provide fresh foods and groceries retailing within 5 hours delivery service arising for the outbreak of Coronavirus disease (COVID-19) pandemic around the world. We propose CameNN, which is a multi-task model with three tasks including Image to Text Alignment (ITA) task, Text to Image Alignment (TIA) task and CVR prediction task. We use pre-trained BERT to generate the text embedding and pre-trained InceptionV4 to generate image patch embedding (each image is split into small patches with the same pixels and treat each patch as an image token). Softmax gating networks follow to learn the weight of each transformer expert output and choose only a subset of experts conditioned on the input. Then transformer encoder is applied as the share-bottom layer to learn all input features' shared interaction. Next, mixture of transformer experts (MoE) layer is implemented to model different aspects of tasks. At top of the MoE layer, we deploy a transformer layer for each task as task tower to learn task-specific information. On the real word intra-city dataset, experiments demonstrate CameNN outperform baselines and achieve significant improvements on the image and text representation. In practice, we applied CameNN on CVR prediction in our intra-city recommender system which is one of the leading intra-city platforms operated in China.


title: Time imaging reconstruction for the PANDA Barrel DIRC

abstract: The innovative Barrel DIRC (Detection of Internally Reflected Cherenkov light) counter will provide hadronic particle identification (PID) in the central region of the PANDA experiment at the new Facility for Antiproton and Ion Research (FAIR), Darmstadt, Germany. This detector is designed to separate charged pions and kaons with at least 3 standard deviations for momenta up to 3.5 GeV/c, covering the polar angle range of 22$^{\circ}$-140$^{\circ}$. An array of microchannel plate photomultiplier tubes is used to detect the location and arrival time of the Cherenkov photons with a position resolution of 2 mm and time precision of about 100 ps. The time imaging reconstruction has been developed to make optimum use of the observables and to determine the performance of the detector. This reconstruction algorithm performs particle identification by directly calculating the maximum likelihoods using probability density functions based on detected photon propagation time in each pixel, determined directly from the data, or analytically, or from detailed simulations.


title: Deep Neural Network Approach for Annual Luminance Simulations

abstract: Annual luminance maps provide meaningful evaluations for occupants' visual comfort, preferences, and perception. However, acquiring long-term luminance maps require labor-intensive and time-consuming simulations or impracticable long-term field measurements. This paper presents a novel data-driven machine learning approach that makes annual luminance-based evaluations more efficient and accessible. The methodology is based on predicting the annual luminance maps from a limited number of point-in-time high dynamic range imagery by utilizing a deep neural network (DNN). Panoramic views are utilized, as they can be post-processed to study multiple view directions. The proposed DNN model can faithfully predict high-quality annual panoramic luminance maps from one of the three options within 30 minutes training time: a) point-in-time luminance imagery spanning 5% of the year, when evenly distributed during daylight hours, b) one-month hourly imagery generated or collected continuously during daylight hours around the equinoxes (8% of the year); or c) 9 days of hourly data collected around the spring equinox, summer and winter solstices (2.5% of the year) all suffice to predict the luminance maps for the rest of the year. The DNN predicted high-quality panoramas are validated against Radiance (RPICT) renderings using a series of quantitative and qualitative metrics. The most efficient predictions are achieved with 9 days of hourly data collected around the spring equinox, summer and winter solstices. The results clearly show that practitioners and researchers can efficiently incorporate long-term luminance-based metrics over multiple view directions into the design and research processes using the proposed DNN workflow.


title: CVPR 2020 Continual Learning in Computer Vision Competition: Approaches, Results, Current Challenges and Future Directions

abstract: In the last few years, we have witnessed a renewed and fast-growing interest in continual learning with deep neural networks with the shared objective of making current AI systems more adaptive, efficient and autonomous. However, despite the significant and undoubted progress of the field in addressing the issue of catastrophic forgetting, benchmarking different continual learning approaches is a difficult task by itself. In fact, given the proliferation of different settings, training and evaluation protocols, metrics and nomenclature, it is often tricky to properly characterize a continual learning algorithm, relate it to other solutions and gauge its real-world applicability. The first Continual Learning in Computer Vision challenge held at CVPR in 2020 has been one of the first opportunities to evaluate different continual learning algorithms on a common hardware with a large set of shared evaluation metrics and 3 different settings based on the realistic CORe50 video benchmark. In this paper, we report the main results of the competition, which counted more than 79 teams registered, 11 finalists and 2300$ in prizes. We also summarize the winning approaches, current challenges and future research directions.


title: AOBTM: Adaptive Online Biterm Topic Modeling for Version Sensitive Short-texts Analysis

abstract: Analysis of mobile app reviews has shown its important role in requirement engineering, software maintenance and evolution of mobile apps. Mobile app developers check their users' reviews frequently to clarify the issues experienced by users or capture the new issues that are introduced due to a recent app update. App reviews have a dynamic nature and their discussed topics change over time. The changes in the topics among collected reviews for different versions of an app can reveal important issues about the app update. A main technique in this analysis is using topic modeling algorithms. However, app reviews are short texts and it is challenging to unveil their latent topics over time. Conventional topic models suffer from the sparsity of word co-occurrence patterns while inferring topics for short texts. Furthermore, these algorithms cannot capture topics over numerous consecutive time-slices. Online topic modeling algorithms speed up the inference of topic models for the texts collected in the latest time-slice by saving a fraction of data from the previous time-slice. But these algorithms do not analyze the statistical-data of all the previous time-slices, which can confer contributions to the topic distribution of the current time-slice. We propose Adaptive Online Biterm Topic Model (AOBTM) to model topics in short texts adaptively. AOBTM alleviates the sparsity problem in short-texts and considers the statistical-data for an optimal number of previous time-slices. We also propose parallel algorithms to automatically determine the optimal number of topics and the best number of previous versions that should be considered in topic inference phase. Automatic evaluation on collections of app reviews and real-world short text datasets confirm that AOBTM can find more coherent topics and outperforms the state-of-the-art baselines.