title: Theoretical Modeling of the Iterative Properties of User Discovery in a Collaborative Filtering Recommender System

abstract: The closed feedback loop in recommender systems is a common setting that can lead to different types of biases. Several studies have dealt with these biases by designing methods to mitigate their effect on the recommendations. However, most existing studies do not consider the iterative behavior of the system where the closed feedback loop plays a crucial role in incorporating different biases into several parts of the recommendation steps. We present a theoretical framework to model the asymptotic evolution of the different components of a recommender system operating within a feedback loop setting, and derive theoretical bounds and convergence properties on quantifiable measures of the user discovery and blind spots. We also validate our theoretical findings empirically using a real-life dataset and empirically test the efficiency of a basic exploration strategy within our theoretical framework. Our findings lay the theoretical basis for quantifying the effect of feedback loops and for designing Artificial Intelligence and machine learning algorithms that explicitly incorporate the iterative nature of feedback loops in the machine learning and recommendation process.


title: Review Regularized Neural Collaborative Filtering

abstract: In recent years, text-aware collaborative filtering methods have been proposed to address essential challenges in recommendations such as data sparsity, cold start problem, and long-tail distribution. However, many of these text-oriented methods rely heavily on the availability of text information for every user and item, which obviously does not hold in real-world scenarios. Furthermore, specially designed network structures for text processing are highly inefficient for on-line serving and are hard to integrate into current systems. In this paper, we propose a flexible neural recommendation framework, named Review Regularized Recommendation, short as R3. It consists of a neural collaborative filtering part that focuses on prediction output, and a text processing part that serves as a regularizer. This modular design incorporates text information as richer data sources in the training phase while being highly friendly for on-line serving as it needs no on-the-fly text processing in serving time. Our preliminary results show that by using a simple text processing approach, it could achieve better prediction performance than state-of-the-art text-aware methods.


title: Microsoft Recommenders: Tools to Accelerate Developing Recommender Systems

abstract: The purpose of this work is to highlight the content of the Microsoft Recommenders repository and show how it can be used to reduce the time involved in developing recommender systems. The open source repository provides python utilities to simplify common recommender-related data science work as well as example Jupyter notebooks that demonstrate use of the algorithms and tools under various environments.


title: Reconstructing boosted Higgs jets from event image segmentation

abstract: Based on the jet image approach, which treats the energy deposition in each calorimeter cell as the pixel intensity, the Convolutional neural network (CNN) method has been found to achieve a sizable improvement in jet tagging compared to the traditional jet substructure analysis. In this work, the Mask R-CNN framework is adopted to reconstruct Higgs jets in collider-like events, with the effects of pileup contamination taken into account. This automatic jet reconstruction method achieves higher efficiency of Higgs jet detection and higher accuracy of Higgs boson four-momentum reconstruction than traditional jet clustering and jet substructure tagging methods. Moreover, the Mask R-CNN trained on events containing a single Higgs jet is capable of detecting one or more Higgs jets in events of several different processes, without apparent degradation in reconstruction efficiency and accuracy. The outputs of the network also serve as new handles for the $t\bar{t}$ background suppression, complementing to traditional jet substructure variables.


title: Vertexing detectors and vertexing performance in Run 2 in ALICE

abstract: The ALICE apparatus includes an Inner Tracking System for high-precision vertexing and tracking at midrapidity. Thanks to this detector, remarkable results were obtained with Run 2 data in all collision systems studied at the LHC. In this contribution, the role of the ITS in the event, track and secondary vertex reconstruction is highlighted, and the comparison of the resolution on the track impact parameter to the collision point in data and Monte Carlo simulations is reported. Finally, some of the main physics results obtained in pp and Pb--Pb collisions relying on the excellent ALICE vertexing and tracking capabilities are presented.


title: On the non-existence of compact surfaces of genus one with prescribed, almost constant mean curvature, close to the singular limit

abstract: In Euclidean 3-space endowed with a Cartesian reference system we consider a class of surfaces, called Delaunay tori, constructed by bending segments of Delaunay cylinders with neck-size $a$ and $n$ lobes along circumferences centered at the origin. Such surfaces are complete and compact, have genus one and almost constant, say 1, mean curvature, when $n$ is large. Considering a class of mappings $H\colon\mathbb{R}^{3}\to\mathbb{R}$ such that $H(X)\to 1$ as $|X|\to\infty$ with some decay of inverse-power type, we show that for $n$ large and $|a|$ small, in a suitable neighborhood of any Delaunay torus with $n$ lobes and neck-size $a$ there is no parametric surface constructed as normal graph over the Delaunay torus and whose mean curvature equals $H$ at every point.


title: Auto-Surprise: An Automated Recommender-System (AutoRecSys) Library with Tree of Parzens Estimator (TPE) Optimization

abstract: We introduce Auto-Surprise, an Automated Recommender System library. Auto-Surprise is an extension of the Surprise recommender system library and eases the algorithm selection and configuration process. Compared to out-of-the-box Surprise library, Auto-Surprise performs better when evaluated with MovieLens, Book Crossing and Jester Datasets. It may also result in the selection of an algorithm with significantly lower runtime. Compared to Surprise's grid search, Auto-Surprise performs equally well or slightly better in terms of RMSE, and is notably faster in finding the optimum hyperparameters.


title: Generative Models are Unsupervised Predictors of Page Quality: A Colossal-Scale Study

abstract: Large generative language models such as GPT-2 are well-known for their ability to generate text as well as their utility in supervised downstream tasks via fine-tuning. Our work is twofold: firstly we demonstrate via human evaluation that classifiers trained to discriminate between human and machine-generated text emerge as unsupervised predictors of "page quality", able to detect low quality content without any training. This enables fast bootstrapping of quality indicators in a low-resource setting. Secondly, curious to understand the prevalence and nature of low quality pages in the wild, we conduct extensive qualitative and quantitative analysis over 500 million web articles, making this the largest-scale study ever conducted on the topic.


title: ICS-Assist: Intelligent Customer Inquiry Resolution Recommendation in Online Customer Service for Large E-Commerce Businesses

abstract: Efficient and appropriate online customer service is essential to large e-commerce businesses. Existing solution recommendation methods for online customer service are unable to determine the best solutions at runtime, leading to poor satisfaction of end customers. This paper proposes a novel intelligent framework, called ICS-Assist, to recommend suitable customer service solutions for service staff at runtime. Specifically, we develop a generalizable two-stage machine learning model to identify customer service scenarios and determine customer service solutions based on a scenario-solution mapping table. We implement ICS-Assist and evaluate it using an over 6-month field study with Alibaba Group. In our experiment, over 12,000 customer service staff use ICS-Assist to serve for over 230,000 cases per day on average. The experimen-tal results show that ICS-Assist significantly outperforms the traditional manual method, and improves the solution acceptance rate, the solution coverage rate, the average service time, the customer satisfaction rate, and the business domain catering rate by up to 16%, 25%, 6%, 14% and 17% respectively, compared to the state-of-the-art methods.


title: DCN V2: Improved Deep & Cross Network and Practical Lessons for Web-scale Learning to Rank Systems

abstract: Learning effective feature crosses is the key behind building recommender systems. However, the sparse and large feature space requires exhaustive search to identify effective crosses. Deep & Cross Network (DCN) was proposed to automatically and efficiently learn bounded-degree predictive feature interactions. Unfortunately, in models that serve web-scale traffic with billions of training examples, DCN showed limited expressiveness in its cross network at learning more predictive feature interactions. Despite significant research progress made, many deep learning models in production still rely on traditional feed-forward neural networks to learn feature crosses inefficiently. In light of the pros/cons of DCN and existing feature interaction learning approaches, we propose an improved framework DCN-V2 to make DCN more practical in large-scale industrial settings. In a comprehensive experimental study with extensive hyper-parameter search and model tuning, we observed that DCN-V2 approaches outperform all the state-of-the-art algorithms on popular benchmark datasets. The improved DCN-V2 is more expressive yet remains cost efficient at feature interaction learning, especially when coupled with a mixture of low-rank architecture. DCN-V2 is simple, can be easily adopted as building blocks, and has delivered significant offline accuracy and online business metrics gains across many web-scale learning to rank systems at Google.


title: Magnon-squeezing as a niche of quantum magnonics

abstract: The spin excitations of ordered magnets - magnons - mediate transport in magnetic insulators. Their bosonic nature makes them qualitatively distinct from electrons. These features include quantum properties traditionally realized with photons. In this perspective, we present an intuitive discussion of one such phenomenon. Equilibrium magnon-squeezing manifests unique advantageous with magnons as compared to photons, including properties such as entanglement. Building upon the recent progress in the fields of spintronics and quantum optics, we outline challenges and opportunities in this emerging field of quantum magnonics.


title: Neural Topic Model via Optimal Transport

abstract: Recently, Neural Topic Models (NTMs) inspired by variational autoencoders have obtained increasingly research interest due to their promising results on text analysis. However, it is usually hard for existing NTMs to achieve good document representation and coherent/diverse topics at the same time. Moreover, they often degrade their performance severely on short documents. The requirement of reparameterisation could also comprise their training quality and model flexibility. To address these shortcomings, we present a new neural topic model via the theory of optimal transport (OT). Specifically, we propose to learn the topic distribution of a document by directly minimising its OT distance to the document's word distributions. Importantly, the cost matrix of the OT distance models the weights between topics and words, which is constructed by the distances between topics and words in an embedding space. Our proposed model can be trained efficiently with a differentiable loss. Extensive experiments show that our framework significantly outperforms the state-of-the-art NTMs on discovering more coherent and diverse topics and deriving better document representations for both regular and short texts.


title: Scientific Paper Recommendation: A Survey

abstract: Globally, recommendation services have become important due to the fact that they support e-commerce applications and different research communities. Recommender systems have a large number of applications in many fields including economic, education, and scientific research. Different empirical studies have shown that recommender systems are more effective and reliable than keyword-based search engines for extracting useful knowledge from massive amounts of data. The problem of recommending similar scientific articles in scientific community is called scientific paper recommendation. Scientific paper recommendation aims to recommend new articles or classical articles that match researchers' interests. It has become an attractive area of study since the number of scholarly papers increases exponentially. In this survey, we first introduce the importance and advantages of paper recommender systems. Second, we review the recommendation algorithms and methods, such as Content-Based methods, Collaborative Filtering methods, Graph-Based methods and Hybrid methods. Then, we introduce the evaluation methods of different recommender systems. Finally, we summarize open issues in the paper recommender systems, including cold start, sparsity, scalability, privacy, serendipity and unified scholarly data standards. The purpose of this survey is to provide comprehensive reviews on scholarly paper recommendation.


title: Multi-View Spectral Clustering with High-Order Optimal Neighborhood Laplacian Matrix

abstract: Multi-view spectral clustering can effectively reveal the intrinsic cluster structure among data by performing clustering on the learned optimal embedding across views. Though demonstrating promising performance in various applications, most of existing methods usually linearly combine a group of pre-specified first-order Laplacian matrices to construct the optimal Laplacian matrix, which may result in limited representation capability and insufficient information exploitation. Also, storing and implementing complex operations on the $n\times n$ Laplacian matrices incurs intensive storage and computation complexity. To address these issues, this paper first proposes a multi-view spectral clustering algorithm that learns a high-order optimal neighborhood Laplacian matrix, and then extends it to the late fusion version for accurate and efficient multi-view clustering. Specifically, our proposed algorithm generates the optimal Laplacian matrix by searching the neighborhood of the linear combination of both the first-order and high-order base Laplacian matrices simultaneously. By this way, the representative capacity of the learned optimal Laplacian matrix is enhanced, which is helpful to better utilize the hidden high-order connection information among data, leading to improved clustering performance. We design an efficient algorithm with proved convergence to solve the resultant optimization problem. Extensive experimental results on nine datasets demonstrate the superiority of our algorithm against state-of-the-art methods, which verifies the effectiveness and advantages of the proposed algorithm.


title: Destructibility and Axiomatizability of Kaufmann Models

abstract: A Kaufmann model is an $\omega_1$-like, recursively saturated, rather classless model of $\mathrm{PA}$ or $\mathrm{ZF}$. Such models were constructed by Kaufmann under the combinatorial principle $\diamondsuit_{\omega_1}$ and Shelah showed they exist in $\mathrm{ZFC}$ by an absoluteness argument. Kaufmann models are an important witness to the incompactness of $\omega_1$ similar to Aronszajn trees. In this paper we look at some set theoretic issues related to this motivated by the seemingly na\"{i}ve question of whether such a model can be "killed" by forcing without collapsing $\omega_1$. We show that the answer to this question is independent of $\mathrm{ZFC}$ and closely related to similar questions about Aronszajn trees. As an application of these methods we also show that it is independent of $\mathrm{ZFC}$ whether or not Kaufmann models can be axiomatized in the logic $L_{\omega_1, \omega} (Q)$ where $Q$ is the quantifier "there exists uncountably many".


title: Introductory review to quantum information retrieval

abstract: Recently people started to understand that applications of the mathematical formalism of quantum theory are not reduced to physics. Nowadays, this formalism is widely used outside of quantum physics, in particular, in cognition, psychology, decision making, information processing, especially information retrieval. The latter is very promising. The aim of this brief introductory review is to stimulate research in this exciting area of information science. This paper is not aimed to present a complete review on the state of art in quantum information retrieval.


title: COVID-19 Kaggle Literature Organization

abstract: The world has faced the devastating outbreak of Severe Acute Respiratory Syndrome Coronavirus-2 (SARS-CoV-2), or COVID-19, in 2020. Research in the subject matter was fast-tracked to such a point that scientists were struggling to keep up with new findings. With this increase in the scientific literature, there arose a need for organizing those documents. We describe an approach to organize and visualize the scientific literature on or related to COVID-19 using machine learning techniques so that papers on similar topics are grouped together. By doing so, the navigation of topics and related papers is simplified. We implemented this approach using the widely recognized CORD-19 dataset to present a publicly available proof of concept.


title: Misha Shubin. 1944 -- 2020

abstract: The article describes the biography and manifold contributions to research in mathematics of Mikhail Aleksandrovich Shubin.


title: I-AID: Identifying Actionable Information from Disaster-related Tweets

abstract: Social media plays a significant role in disaster management by providing valuable data about affected people, donations and help requests. Recent studies highlight the need to filter information on social media into fine-grained content labels. However, identifying useful information from massive amounts of social media posts during a crisis is a challenging task. In this paper, we propose I-AID, a multimodel approach to automatically categorize tweets into multi-label information types and filter critical information from the enormous volume of social media data. I-AID incorporates three main components: i) a BERT-based encoder to capture the semantics of a tweet and represent as a low-dimensional vector, ii) a graph attention network (GAT) to apprehend correlations between tweets' words/entities and the corresponding information types, and iii) a Relation Network as a learnable distance metric to compute the similarity between tweets and their corresponding information types in a supervised way. We conducted several experiments on two real publicly-available datasets. Our results indicate that I-AID outperforms state-of-the-art approaches in terms of weighted average F1 score by +6% and +4% on the TREC-IS dataset and COVID-19 Tweets, respectively.


title: The Ces\`aro operator on weighted Bergman Fr\'echet and (LB)-spaces of analytic functions

abstract: The spectrum of the Ces\`aro operator $\mathsf{C}$ is determined on the spaces which arises as intersections $A^p_{\alpha +}$ (resp. unions $A^p_{\alpha -}$) of Bergman spaces $A_\alpha^p$ of order $1<p<\infty$ induced by standard radial weights $(1-|z|)^\alpha$, for $0<\alpha<\infty$. We treat them as reduced projective limits (resp. inductive limits) of weighted Bergman spaces $A^p_\alpha$, with respect to $\alpha$. Proving that these spaces admit the monomials as a Schauder basis paves the way for using Grothendieck-Pietsch criterion to deduce that we end up with a non-nuclear Fr\'echet-Schwartz space (resp. a non-nuclear (DFS)-space). We show that $\mathsf{C}$ is always continuous, while it fails to be compact or to have bounded inverse on $A^p_{\alpha +}$ and $A^p_{\alpha -}$.


title: Effective Transfer Learning for Identifying Similar Questions: Matching User Questions to COVID-19 FAQs

abstract: People increasingly search online for answers to their medical questions but the rate at which medical questions are asked online significantly exceeds the capacity of qualified people to answer them. This leaves many questions unanswered or inadequately answered. Many of these questions are not unique, and reliable identification of similar questions would enable more efficient and effective question answering schema. COVID-19 has only exacerbated this problem. Almost every government agency and healthcare organization has tried to meet the informational need of users by building online FAQs, but there is no way for people to ask their question and know if it is answered on one of these pages. While many research efforts have focused on the problem of general question similarity, these approaches do not generalize well to domains that require expert knowledge to determine semantic similarity, such as the medical domain. In this paper, we show how a double fine-tuning approach of pretraining a neural network on medical question-answer pairs followed by fine-tuning on medical question-question pairs is a particularly useful intermediate task for the ultimate goal of determining medical question similarity. While other pretraining tasks yield an accuracy below 78.7% on this task, our model achieves an accuracy of 82.6% with the same number of training examples, an accuracy of 80.0% with a much smaller training set, and an accuracy of 84.5% when the full corpus of medical question-answer data is used. We also describe a currently live system that uses the trained model to match user questions to COVID-related FAQs.


title: Machine learning for metal additive manufacturing: Predicting temperature and melt pool fluid dynamics using physics-informed neural networks

abstract: The recent explosion of machine learning (ML) and artificial intelligence (AI) shows great potential in the breakthrough of metal additive manufacturing (AM) process modeling. However, the success of conventional machine learning tools in data science is primarily attributed to the unprecedented large amount of labeled data-sets (big data), which can be either obtained by experiments or first-principle simulations. Unfortunately, these labeled data-sets are expensive to obtain in AM due to the high expense of the AM experiments and prohibitive computational cost of high-fidelity simulations. We propose a physics-informed neural network (PINN) framework that fuses both data and first physical principles, including conservation laws of momentum, mass, and energy, into the neural network to inform the learning processes. To the best knowledge of the authors, this is the first application of PINN to three dimensional AM processes modeling. Besides, we propose a hard-type approach for Dirichlet boundary conditions (BCs) based on a Heaviside function, which can not only enforce the BCs but also accelerate the learning process. The PINN framework is applied to two representative metal manufacturing problems, including the 2018 NIST AM-Benchmark test series. We carefully assess the performance of the PINN model by comparing the predictions with available experimental data and high-fidelity simulation results. The investigations show that the PINN, owed to the additional physical knowledge, can accurately predict the temperature and melt pool dynamics during metal AM processes with only a moderate amount of labeled data-sets. The foray of PINN to metal AM shows the great potential of physics-informed deep learning for broader applications to advanced manufacturing.

categories: cs.CE cs.LG physics.app-ph physics.flu-dyn


title: Towards Game Design via Creative Machine Learning (GDCML)

abstract: In recent years, machine learning (ML) systems have been increasingly applied for performing creative tasks. Such creative ML approaches have seen wide use in the domains of visual art and music for applications such as image and music generation and style transfer. However, similar creative ML techniques have not been as widely adopted in the domain of game design despite the emergence of ML-based methods for generating game content. In this paper, we argue for leveraging and repurposing such creative techniques for designing content for games, referring to these as approaches for Game Design via Creative ML (GDCML). We highlight existing systems that enable GDCML and illustrate how creative ML can inform new systems via example applications and a proposed system.


title: C1 at SemEval-2020 Task 9: SentiMix: Sentiment Analysis for Code-Mixed Social Media Text using Feature Engineering

abstract: In today's interconnected and multilingual world, code-mixing of languages on social media is a common occurrence. While many Natural Language Processing (NLP) tasks like sentiment analysis are mature and well designed for monolingual text, techniques to apply these tasks to code-mixed text still warrant exploration. This paper describes our feature engineering approach to sentiment analysis in code-mixed social media text for SemEval-2020 Task 9: SentiMix. We tackle this problem by leveraging a set of hand-engineered lexical, sentiment, and metadata features to design a classifier that can disambiguate between "positive", "negative" and "neutral" sentiment. With this model, we are able to obtain a weighted F1 score of 0.65 for the "Hinglish" task and 0.63 for the "Spanglish" tasks


title: Satellites of the Broucke-Hadjidemetriou-H\'{e}non family of periodic unequal-mass three-body orbits

abstract: The Broucke-Hadjidemetriou-H\'{e}non's (BHH) orbits are a family of periodic orbits of the three-body system with the simplest topological free group word $a$, while the BHH satellites have free group words $a^k$ ($k>1$), where $k$ is the topological exponent. Jankovi\'{c} and Dmitra\v{s}inovi\'{c} [Phy. Rev. Lett. 116, 064301 (2016)] reported 57 new BHH satellites with equal mass and found that at a fixed energy the relationship between the angular momentum ($L$) and the topologically rescaled period ($T/k$) is the same for both of the BHH orbits ($k=1$) and the BHH satellites ($k>1$). In this letter, we report 419,743 new BHH orbits ($k=1$) and 179,253 new BHH satellites ($k>1$) of the three-body system with unequal mass, which have never been reported, to the best of our knowledge. Among these newly-found 598,996 BBH orbits and satellites, about 33.5 % (i.e., 200,686) are linearly stable and thus many among them might be observed in practice. Besides, we discover that, for the three-body system with unequal mass at a fixed energy, relationship between the angular momentum ($L$) and topologically rescaled period ($T/k$) of the BHH satellites ($k>1$) is different from that of the BHH orbits ($k=1$).


title: Coding Constructions for Efficient Oblivious Transfer from Noisy Channels

abstract: We consider oblivious transfer protocols performed over binary symmetric channels in a malicious setting where parties will actively cheat if they can. We provide constructions purely based on coding theory that achieve an explicit positive rate, the essential ingredient being the existence of linear codes whose Schur products are asymptotically good.


title: Band-gap structure of the spectrum of the water-wave problem in a shallow canal with a periodic family of deep pools

abstract: We consider the linear water-wave problem in a periodic channel $\Pi^h \subset \mathbb{R}^3$, which is shallow except for a periodic array of deep potholes in it. Motivated by applications to surface wave propagation phenomena, we study the band-gap structure of the essential spectrum in the linear water-wave system, which includes the spectral Steklov boundary condition posed on the free water surface. We apply methods of asymptotic analysis, where the most involved step is the construction and analysis of an appropriate boundary layer in a neighborhood of the joint of the potholes with the thin part of the channel. Consequently, the existence of a spectral gap for small enough $h$ is proven.


title: Butterfly-like anisotropic magnetoresistance and angle-dependent Berry phase in Type-II Weyl semimetal WP2

abstract: Weyl semimetal emerges as a new topologically nontrivial phase of matter, hosting low-energy excitations of massless Weyl fermions. Here, we present a comprehensive study of the type-II Weyl semimetal WP2. Transport studies show a butterfly-like magnetoresistance at low temperature, reflecting the anisotropy of the electron Fermi surfaces. The four-lobed feature gradually evolves into a two-lobed one upon increasing temperature, mainly due to the reduced relative contribution of electron Fermi surfaces compared to hole Fermi surfaces for the magnetoresistance. Moreover, angle-dependent Berry phase is further discovered from the quantum oscillations, which is ascribed to the effective manipulation of the extremal Fermi orbits by the magnetic field to feel the nearby topological singularities in the momentum space. The revealed topological characters and anisotropic Fermi surfaces of WP2 substantially enrich the physical properties of Weyl semimetals and hold great promises in topological electronic and Fermitronic device applications.


title: Extreme mass ratio inspirals on the equatorial plane in the adiabatic order

abstract: We compute gravitational waves from inspiraling stellar-mass compact objects on the equatorial plane of a massive spinning black hole (BH). Our inspiral orbits are computed by taking into account the adiabatic change of orbital parameters due to gravitational radiation in the lowest order in mass ratio. We employ an interpolation method to compute the adiabatic change at arbitrary points inside the region of orbital parameter space computed in advance. Using the obtained inspiral orbits and associated gravitational waves, we compute power spectra of gravitational waves and the signal-to-noise ratio (SNR) for several values of the BH spin, the masses of the binary, and the initial orbital eccentricity during a hypothetical three-yrs LISA observation before final plunge. We find that (i) the SNR increases as the BH spin and the mass of the compact object increase for the BH mass $M \agt 10^6M_\odot$, (ii) the SNR has a maximum for $M \approx 10^6M_\odot$, and (iii) the SNR increases as the initial eccentricity increases for $M=10^6M_\odot$. We also show that incorporating the contribution from the higher multipole modes of gravitational waves is crucial for enhancing the detection rate.


title: Extracting the Possible Intrinsic Relation between Radiative Efficiency and Mass of QSOs: a Maximum Likelihood Method and its Application to the SDSS DR7 QSOs

abstract: Radiative efficiencies of QSOs and its distribution encode rich information on the evolution of both masses and spins of massive black holes (MBHs) across cosmic time. In this paper, we develop a maximum likelihood method to statistically extract the intrinsic relation between radiative efficiency ($\epsilon$) and mass ($M_{\bullet}$) of QSOs from their distribution on the luminosity-(empirically estimated virial) mass plane. By using mock samples, we find that strong constraint can be put on the $\epsilon-M_{\bullet}$ relation at redshift $z\lesssim 0.4$ from uniform QSO samples similar to those in Sloan Digital Sky Survey, and from QSO samples at $z \sim 0.6$ (or $\lesssim 1.0$) if the magnitude limit of the survey can be $\sim 1-2$ (or $2-3$) magnitude deeper. Applying this method to the SDSS DR7 QSOs with $z\lesssim 0.7$, we find $\epsilon \propto M_{\bullet}^{0\sim 1.1}$ (or $\epsilon \propto M_{\bullet}^{-1.0\sim 0}$) correlation for QSOs with the masses obtained according to the H$\beta$ (or Mg II) empirical mass estimator. These contradictory results may be due to the unknown systematic errors in the two mass estimators, preventing an accurate constraint on the $\epsilon-M_{\bullet}$ relation by using current available QSO samples. We find that both the estimates of MBH mass and Eddington ratio distribution functions can be affected by the $\epsilon-M_\bullet$ relation, suggesting that the determination of this relation is important for understanding the accretion and growth history of MBHs. In future, the intrinsic $\epsilon-M_{\bullet}$ relation is expected to be strongly constrained by using QSO samples obtained from surveys deeper than SDSS if the host galaxy contamination and systematic errors of the mass estimator(s) can be well modeled or removed.


title: Zoomless Maps: External Labeling Methods for the Interactive Exploration of Dense Point Sets at a Fixed Map Scale

abstract: Visualizing spatial data on small-screen devices such as smartphones and smartwatches poses new challenges in computational cartography. The current interfaces for map exploration require their users to zoom in and out frequently. Indeed, zooming and panning are tools suitable for choosing the map extent corresponding to an area of interest. They are not as suitable, however, for resolving the graphical clutter caused by a high feature density since zooming in to a large map scale leads to a loss of context. Therefore we present new external labeling methods that allow navigating through dense sets of points of interest while keeping the current map extent fixed. We provide a unified model, in which labels are placed at the boundary of the map and visually associated with the corresponding features via connecting lines, which are called leaders. Since the screen space is limited, labeling all features at the same time is impractical. Therefore, at any time, we label a subset of the features. We offer interaction techniques to change the current selection of features systematically and, thus, give the user access to all features. We distinguish three methods, which allow the user either to slide the labels along the bottom side of the map or to browse the labels based on pages or stacks. We present a generic algorithmic framework that provides us with the possibility of expressing the different variants of interaction techniques as optimization problems in a unified way. We propose both exact algorithms and fast and simple heuristics that solve the optimization problems taking into account different criteria such as the ranking of the labels, the total leader length and the distance between leaders. We experimentally evaluate these algorithms and discuss the three variants with respect to their strengths and weaknesses proving the flexibility of the presented algorithmic framework.


title: The neutrino-floor in the presence of dark radation

abstract: In this work we analyse the ultimate sensitivity of dark matter direct detection experiments, the "neutrino-floor", in the presence of anomalous sources of dark radiation in form of SM or semi-sterile neutrinos. This flux-component is assumed to be produced from dark matter decay. Since dark radiation may mimic dark matter signals, we perform our analysis based on likelihood statistics that allows to test the distinguishability between signals and backgrounds. We show that the neutrino floor for xenon-based experiments may be lifted in the presence of extra dark radiation. In addition, we explore the testability of neutrino dark radiation from dark matter decay in direct detection experiments. Given the previous bounds from neutrino experiments, we find that xenon-based dark matter searches will not be able to probe new regions of the dark matter progenitor mass and lifetime parameter space when the decay products are SM neutrinos. In turn, if the decay instead happens to a fourth neutrino species with enhanced interactions to baryons, DR can either constitute the dominant background or a discoverable signal in direct detection experiments.


title: Simulation Framework for Realistic Large-scale Individual-level Data Generation with an Application in the Health Domain

abstract: We propose a framework for realistic data generation and simulation of complex systems and demonstrate its capabilities in the health domain. The main use cases of the framework are predicting the development of risk factors and disease occurrence, evaluating the impact of interventions and policy decisions, and statistical method development. We present the fundamentals of the framework using rigorous mathematical definitions. The framework supports calibration to a real population as well as various manipulations and data collection processes. The freely available open-source implementation in R embraces efficient data structures, parallel computing and fast random number generation which ensure reproducibility and scalability. With the framework it is possible to run daily-level simulations for populations of millions of individuals for decades of simulated time. An example on the occurrence of stroke, type 2 diabetes and mortality illustrates the usage of the framework in the Finnish context. In the example, we demonstrate the data-collection functionality by studying the impact of non-participation on the estimated risk models and interventions related to controlling the additional salt intake.


title: Convolutional Neural Network-Bagged Decision Tree: A hybrid approach to reduce electric vehicle's driver's range anxiety by estimating energy consumption in real-time

abstract: To overcome range anxiety problem of Electric Vehicles (EVs), an accurate real-time energy consumption estimation is necessary, which can be used to provide the EV's driver with information about the remaining range in real-time. A hybrid CNN-BDT approach has been developed, in which Convolutional Neural Network (CNN) is used to provide an energy consumption estimate considering the effect of temperature, wind speed, battery's SOC, auxiliary loads, road elevation, vehicle speed and acceleration. Further, Bagged Decision Tree (BDT) is used to fine tune the estimate. Unlike existing techniques, the proposed approach doesn't require internal vehicle parameters from manufacturer and can easily learn complex patterns even from noisy data. Comparison results with existing techniques show that the developed approach provides better estimates with least mean absolute energy deviation of 0.14.


title: Tunable Chiral Bound States with Giant Atoms

abstract: We propose tunable chiral bound states in a system composed of superconducting giant atoms and a Josephson photonic-crystal waveguide (PCW), with no analog in other quantum setups. The chiral bound states arise due to interference in the nonlocal coupling of a giant atom to multiple points of the waveguide. The chirality can be tuned by changing either the atom-waveguide coupling or the external bias of the PCW. Furthermore, the chiral bound states can induce directional dipole-dipole interactions between multiple giant atoms coupling to the same waveguide. Our proposal is ready to be implemented in experiments with superconducting circuits, where it can be used as a tunable toolbox to realize topological phase transitions and quantum simulations.


title: Sustainable Border Control Policy in the COVID-19 Pandemic: A Math Modeling Study

abstract: Imported COVID-19 cases, if unchecked, can jeopardize the effort of domestic containment. We aim to find out what sustainable border control options for different entities (e.g., countries, states) exist during the reopening phases, given their own choice of domestic control measures and new technologies such as contact tracing. We propose a SUIHR model, which represents an extension to the discrete time SIR models. The model focuses on studying the spreading of virus predominantly by asymptomatic and pre-symptomatic patients. Imported risk and (1-tier) contact tracing are both built into the model. Under plausible parameter assumptions, we seek sustainable border control policies, in combination with sufficient internal measures, which allow entities to confine the virus without the need to revert back to more restrictive life styles or to rely on herd immunity. When the base reproduction number of COVID-19 exceeds 2.5, even 100% effective contact tracing alone is not enough to contain the spreading. For an entity that has completely eliminated the virus domestically, and resumes "normal", very strict pre-departure screening and test and isolation upon arrival combined with effective contact tracing can only delay another outbreak by 6 months. However, if the total net imported cases are non-increasing, and the entity employs a confining domestic control policy, then the total new cases can be contained even without border control.


title: Varieties of K-lattices

abstract: In this paper we deal with varieties of commutative residuated lattices that arise from a specific kind of construction: the {\em twist-product} of a lattice. Twist-products were first considered by Kalman in 1958 to deal with order involutions on plain lattices, but the extension of this concept to residuated lattices has attracted some attention lately. Here we deal mainly with varieties of such lattices, that can be obtained by applying a specific twist-product construction to varieties of integral and commutative residuated lattices.


title: Mode-dependent Loss and Gain Estimation in SDM Transmission Based on MMSE Equalizers

abstract: The capacity in space division multiplexing (SDM) systems with coupled channels is fundamentally limited by mode-dependent loss (MDL) and mode-dependent gain (MDG) generated in components and amplifiers. In these systems, MDL/MDG must be accurately estimated for performance analysis and troubleshooting. Most recent demonstrations of SDM with coupled channels perform MDL/MDG estimation by digital signal processing (DSP) techniques based on the coefficients of multiple-input multiple-output (MIMO) adaptive equalizers. Although these methods provide a valid indication of the order of magnitude of the accumulated MDL/MDG over the link, MIMO equalizers are usually updated according to the minimum mean square error (MMSE) criterion, which is known to depend on the channel signal-to-noise ratio (SNR). Therefore, MDL/MDG estimation techniques based on the adaptive filter coefficients are also impaired by noise. In this paper, we model analytically the influence of the SNR on DSP-based MDL/MDG estimation, and show that the technique is prone to errors. Based on the transfer function of MIMO MMSE equalizers, and assuming a known SNR, we calculate a correction factor that improves the estimation process in moderate levels of MDL/MDG and SNR. The correction factor is validated by simulation of a 6-mode long-haul transmission link, and experimentally using a 3-mode transmission link. The results confirm the limitations of the standard estimation method in scenarios of high additive noise and MDL/MDG, and indicate the correction factor as a possible solution in practical SDM scenarios.


title: Mind The Gap: Real-time Decentralized Distance Estimation using Ultrasound and Bluetooth across Multiple Smartphones

abstract: Robust, low-cost solutions are needed to maintain social distancing guidelines during the COVID-19 pandemic. We establish a method to measure the distance between multiple phones across a large number of closely spaced smartphones with a median absolute error of 8.5~cm. The application works in real-time, using Time of Flight of near-ultrasound signals, providing alerts with sufficient responsiveness to be useful for distancing while devices are in users pockets and they are moving at walking speed. The approach is decentralized, requires no additional hardware, and can operate in the background without an internet connection. We have no device-specific requirements nor need any manual calibration or device synchronization. It has been tested with over 20 different phones models, from both the Android and iOS systems in the past 5 years. To the best of our knowledge, this is the first successful such implementation, and has 25000 users at time of publishing.


title: Creep deformation of WC hardmetals with iron-based binders

abstract: Iron is a candidate to replace cobalt in WC hardmetals, due to its lower cost and toxicity. A WC-FeCr hardmetal was compression tested at 900-1200 {\deg}C. Particular attention is paid to the steady-state creep rates and stress-exponents (n) during isostress treatments. Three regimes of stress dependence are observed. Two of these were previously reported for WC-Co: power law creep (n~3) at medium stresses; and grain boundary sliding (n~1) at higher stresses, generally >100MPa. A previously unreported low stress (<10MPa) regime with an exponent of n~2 is also observed. By combining electron microscopy with X-ray diffraction texture measurements, the low stress regime is attributed to viscous flow of the binder, which is accommodated by diffusional creep in the WC skeleton. The mechanism may be applicable to other hardmetals. Compared to analogous WC-Co materials, WC-FeCr shows improved creep resistance below 1000 {\deg}C, which can be explained by its lower self-diffusivity, and a lower solubility for WC than Co. However, at temperatures corresponding to liquid eutectic formation (~1140 {\deg}C), its creep resistance becomes inferior. These results indicate FeCr may be a suitable replacement for Co provided the eutectic temperature is not exceeded.


title: An Experience of Introducing Primary School Children to Programming using Ozobots (Practical Report)

abstract: Algorithmic thinking is a central concept in the context of computational thinking, and it is commonly taught by computer programming. A recent trend is to introduce basic programming concepts already very early on at primary school level. There are, however, several challenges in teaching programming at this level: Schools and teachers are often neither equipped nor trained appropriately, and the best way to move from initial "unplugged" activities to creating programs on a computer are still a matter of open debate. In this paper, we describe our experience of a small INTERREG-project aiming at supporting local primary schools in introducing children to programming concepts using Ozobot robots. These robots have two distinct advantages: First, they can be programmed with and without computers, thus helping the transition from unplugged programming to programming with a computer. Second, they are small and easy to transport, even when used together with tablet computers. Although we learned in our outreach events that the use of Ozobots is not without challenges, our overall experience is positive and can hopefully support others in setting up first encounters with programming at primary schools.


title: Introduction to logistic regression

abstract: For random field theory based multiple comparison corrections In brain imaging, it is often necessary to compute the distribution of the supremum of a random field. Unfortunately, computing the distribution of the supremum of the random field is not easy and requires satisfying many distributional assumptions that may not be true in real data. Thus, there is a need to come up with a different framework that does not use the traditional statistical hypothesis testing paradigm that requires to compute p-values. With this as a motivation, we can use a different approach called the logistic regression that does not require computing the p-value and still be able to localize the regions of brain network differences. Unlike other discriminant and classification techniques that tried to classify preselected feature vectors, the method here does not require any preselected feature vectors and performs the classification at each edge level.


title: Counting Elements on Full Matrix Groups over Finite Field with Prescribed Eigenvalues

abstract: In the present article we shown a formula to compute the number of all matrices over the finite field $F$ whit prescribed eigenvalues. Using this formula we obtain one inequality for the number of $(k+1)$-potent elements over finite rings.


title: PREMIER: Personalized REcommendation for Medical prescrIptions from Electronic Records

abstract: The broad adoption of Electronic Health Records (EHR) has led to vast amounts of data being accumulated on a patient's history, diagnosis, prescriptions, and lab tests. Advances in recommender technologies have the potential to utilize this information to help doctors personalize the prescribed medications. In this work, we design a two-stage attention-based personalized medication recommender system called PREMIER which incorporates information from the EHR to suggest a set of medications. Our system takes into account the interactions among drugs in order to minimize the adverse effects for the patient. We utilize the various attention weights in the system to compute the contributions from the information sources for the recommended medications. Experiment results on MIMIC-III and a proprietary outpatient dataset show that PREMIER outperforms state-of-the-art medication recommendation systems while achieving the best tradeoff between accuracy and drug-drug interaction. Two case studies are also presented demonstrating that the justifications provided by PREMIER are appropriate and aligned to clinical practices.


title: Deep Learning based Spectral CT Imaging

abstract: Spectral computed tomography (CT) has attracted much attention in radiation dose reduction, metal artifacts removal, tissue quantification and material discrimination. The x-ray energy spectrum is divided into several bins, each energy-bin-specific projection has a low signal-noise-ratio (SNR) than the current-integrating counterpart, which makes image reconstruction a unique challenge. Traditional wisdom is to use prior knowledge based iterative methods. However, this kind of methods demands a great computational cost. Inspired by deep learning, here we first develop a deep learning based reconstruction method; i.e., U-net with L_p^p-norm, Total variation, Residual learning, and Anisotropic adaption (ULTRA). Specifically, we emphasize the Various Multi-scale Feature Fusion and Multichannel Filtering Enhancement with a denser connection encoding architecture for residual learning and feature fusion. To address the image deblurring problem associated with the $L_2^2$-loss, we propose a general $L_p^p$-loss, $p>0$ Furthermore, the images from different energy bins share similar structures of the same object, the regularization characterizing correlations of different energy bins is incorporated into the $L_p^p$-loss function, which helps unify the deep learning based methods with traditional compressed sensing based methods. Finally, the anisotropically weighted total variation is employed to characterize the sparsity in the spatial-spectral domain to regularize the proposed network. In particular, we validate our ULTRA networks on three large-scale spectral CT datasets, and obtain excellent results relative to the competing algorithms. In conclusion, our quantitative and qualitative results in numerical simulation and preclinical experiments demonstrate that our proposed approach is accurate, efficient and robust for high-quality spectral CT image reconstruction.


title: Machine learning thermal circuit network model for thermal design optimization of electronic circuit board layout with transient heating chips

abstract: This paper describes a method combining Bayesian optimization (BO) and a lamped-capacitance thermal circuit network model that is effective for speeding up the thermal design optimization of an electronic circuit board layout with transient heating chips. As electronic devices have become smaller and more complex, the importance of thermal design optimization to ensure heat dissipation performance has increased. However, such thermal design optimization is difficult because it is necessary to consider various trade-offs associated with packaging and transient temperature changes of heat-generating components. This study aims to improve the performance of thermal design optimization by artificial intelligence. BO using a Gaussian process was combined with the lamped-capacitance thermal circuit network model, and its performance was verified by case studies. As a result, BO successfully found the ideal circuit board layout as well as particle swarm optimization (PSO) and genetic algorithm (GA) could. The CPU time for BO was 1/5 and 1/4 of that for PSO and GA, respectively. In addition, BO found a non-intuitive optimal solution in approximately 7 minutes from 10 million layout patterns. It was estimated that this was 1/1000 of the CPU time required for analyzing all layout patterns.


title: The elliptic function ${\rm dn}_3$ of Shen

abstract: We analyze the elliptic function ${\rm dn}_3$ introduced by Li-Chien Shen, contributing to the Ramanujan theory of elliptic functions in signature three. A famous hypergeometric identity emerges from our analysis.


title: Asymptotically flat hairy black holes in massive bigravity

abstract: We study asymptotically flat black holes with massive graviton hair within the ghost-free bigravity theory. There have been contradictory statements in the literature about their existence -- such solutions were reported some time ago, but later a different group claimed the Schwarzschild solution to be the only asymptotically flat black hole in the theory. As a result, the controversy emerged. We have analyzed the issue ourselves and have been able to construct such solutions within a carefully designed numerical scheme. We find that for given parameter values there can be one or two asymptotically flat hairy black holes in addition to the Schwarzschild solution. We analyze their perturbative stability and find that they can be stable or unstable, depending on the parameter values. The masses of stable hairy black holes that would be physically relevant range form stellar values up to values typical for supermassive black holes. One of their two metrics is extremely close to Schwarzschild, while all their "hair" is hidden in the second metric that is not coupled to matter and not directly seen. If the massive bigravity theory indeed describes physics, the hair of such black holes should manifest themselves in violent processes like black hole collisions and should be visible in the structure of the signals detected by LIGO/VIRGO.


title: Evaluating Knowledge Transfer in Neural Network for Medical Images

abstract: Deep learning and knowledge transfer techniques have permeated the field of medical imaging and are considered as key approaches for revolutionizing diagnostic imaging practices. However, there are still challenges for the successful integration of deep learning into medical imaging tasks due to a lack of large annotated imaging data. To address this issue, we propose a teacher-student learning framework to transfer knowledge from a carefully pre-trained convolutional neural network (CNN) teacher to a student CNN. In this study, we explore the performance of knowledge transfer in the medical imaging setting. We investigate the proposed network's performance when the student network is trained on a small dataset (target dataset) as well as when teacher's and student's domains are distinct. The performances of the CNN models are evaluated on three medical imaging datasets including Diabetic Retinopathy, CheXpert, and ChestX-ray8. Our results indicate that the teacher-student learning framework outperforms transfer learning for small imaging datasets. Particularly, the teacher-student learning framework improves the area under the ROC Curve (AUC) of the CNN model on a small sample of CheXpert (n=5k) by 4% and on ChestX-ray8 (n=5.6k) by 9%. In addition to small training data size, we also demonstrate a clear advantage of the teacher-student learning framework in the medical imaging setting compared to transfer learning. We observe that the teacher-student network holds a great promise not only to improve the performance of diagnosis but also to reduce overfitting when the dataset is small.


title: Entropy of Co-Enrolment Networks Reveal Disparities in High School STEM Participation

abstract: The current study uses a network analysis approach to explore the STEM pathways that students take through their final year of high school in Aotearoa New Zealand. By accessing individual-level microdata from New Zealand's Integrated Data Infrastructure, we are able to create a co-enrolment network comprised of all STEM assessment standards taken by students in New Zealand between 2010 and 2016. We explore the structure of this co-enrolment network though use of community detection and a novel measure of entropy. We then investigate how network structure differs across sub-populations based on students' sex, ethnicity, and the socio-economic-status (SES) of the high school they attended. Results show the structure of the STEM co-enrolment network differs across these sub-populations, and also changes over time. We find that, while female students were more likely to have been enrolled in life science standards, they were less well represented in physics, calculus, and vocational (e.g., agriculture, practical technology) standards. Our results also show that the enrolment patterns of the Maori and Pacific Islands sub-populations had higher levels of entropy, an observation that may be explained by fewer enrolments in key science and mathematics standards. Through further investigation of this disparity, we find that ethnic group differences in entropy are moderated by high school SES, such that the difference in entropy between Maori and Pacific Islands students, and European and Asian students is even greater. We discuss these findings in the context of the New Zealand education system and policy changes that occurred between 2010 and 2016.


title: Direct Volume Rendering with Nonparametric Models of Uncertainty

abstract: We present a nonparametric statistical framework for the quantification, analysis, and propagation of data uncertainty in direct volume rendering (DVR). The state-of-the-art statistical DVR framework allows for preserving the transfer function (TF) of the ground truth function when visualizing uncertain data; however, the existing framework is restricted to parametric models of uncertainty. In this paper, we address the limitations of the existing DVR framework by extending the DVR framework for nonparametric distributions. We exploit the quantile interpolation technique to derive probability distributions representing uncertainty in viewing-ray sample intensities in closed form, which allows for accurate and efficient computation. We evaluate our proposed nonparametric statistical models through qualitative and quantitative comparisons with the mean-field and parametric statistical models, such as uniform and Gaussian, as well as Gaussian mixtures. In addition, we present an extension of the state-of-the-art rendering parametric framework to 2D TFs for improved DVR classifications. We show the applicability of our uncertainty quantification framework to ensemble, downsampled, and bivariate versions of scalar field datasets.


title: Interacting dark matter and cosmic acceleration

abstract: We study the effect of an explicit interaction between two scalar fields components describing dark matter in the context of a recent proposal framework for interaction. We find that, even assuming a very small coupling, it is sufficient to explain the observational effects of a cosmological constant, and also overcome the problems of the $\Lambda$CDM model without assuming an exotic dark energy.


title: Against Membership Inference Attack: Pruning is All You Need

abstract: The large model size, high computational operations, and vulnerability against membership inference attack (MIA) have impeded deep learning or deep neural networks (DNNs) popularity, especially on mobile devices. To address the challenge, we envision that the weight pruning technique will help DNNs against MIA while reducing model storage and computational operation. In this work, we propose a pruning algorithm, and we show that the proposed algorithm can find a subnetwork that can prevent privacy leakage from MIA and achieves competitive accuracy with the original DNNs. We also verify our theoretical insights with experiments. Our experimental results illustrate that the attack accuracy using model compression is up to 13.6% and 10% lower than that of the baseline and Min-Max game, accordingly.


title: A solvable model for octupole phonons

abstract: A solvable model is proposed for the description of octupole phonons in closed-shell nuclei, formulated in terms of shell-model par\-ticle--hole excitations. With some simple assumptions concerning single-particle energies and two-body interactions, closed expressions are derived for the energy and wave function of the octupole phonon. In particular, it is shown that the components of the octupole phonon are proportional to Wigner $3j$ coefficients. This analytic wave function is proven to be exactly valid in light nuclei, which have $LS$ shell closures that coincide with those of the three-dimensional harmonic oscillator, and to be valid to a good approximation in heavier nuclei, which have $jj$ shell closures due to the spin--orbit interaction. The properties of the solvable model are compared with the results of a realistic shell-model calculation for $^{208}$Pb.


title: Testing collapse models with Bose-Einstein-Condensate interferometry

abstract: The model of continuous spontaneous localization (CSL) is the most prominent consistent modification of quantum mechanics predicting an objective quantum-to-classical transition. Here we show that precision interferometry with Bose-Einstein condensed atoms can serve to lower the current empirical bound on the localization rate parameter by several orders of magnitude. This works by focusing on the atom count distributions rather than just mean population imbalances in the interferometric signal of squeezed BECs, without the need for highly entangled GHZ-like states. In fact, the interplay between CSL-induced diffusion and dispersive atom-atom interactions results in an amplified sensitivity of the condensate to CSL. We discuss experimentally realistic measurement schemes utilizing state-of-the-art experimental techniques to test new regions of parameter space and, pushed to the limit, to probe and potentially rule out large relevant parameter regimes of CSL.


title: An adaptive random experiment design method for engineering experiment

abstract: This paper proposes an adaptive random experiment design (ARED) algorithm that can be applied to optimize the multiple factors and levels experiments. The algorithm takes real-time model error as the adaptive condition, and outputs a model that conforms to the error quantization standard based on the automatic process. According to the actual experimental scenario, the similar number of test cases were selected between the ARED method and the comparative experimental design method under the bimodal Gaussian function, the bimodal surface function and the peaks function, respectively. simultaneously, the support vector machine (SVM) algorithm is used to construct the model for the selected test cases, and the verification surface (or curve) is predicted. The qualitative and quantitative analysis is carried out at two-slice of applicability and precision. The results show that the ARED method can be applied to the experiment of multi-factor, and has better precision and applicability than the comparative experimental methods.


title: Variable-Order Approach to Nonlocal Elasticity: Theoretical Formulation and Order Identification via Deep Learning Techniques

abstract: This study presents the application of variable-order (VO) fractional calculus to the modeling of nonlocal solids. The reformulation of nonlocal fractional-order continuum mechanic framework, by means of VO kinematics, enables a unique approach to the modeling of solids exhibiting position-dependent nonlocal behavior. The frame-invariance of the strain tensor is leveraged to identify constraints on the definition of the VO. The VO nonlocal continuum formulation is then applied to model the response of Euler-Bernoulli type beams whose governing equations are derived in strong form by means of variational principles. The VO formulation is shown to be self-adjoint and positive-definite, which ensure that the governing equations are well-posed and free from boundary effects. These characteristics stand in contrast to classical integral approaches to nonlocal elasticity, where it is not always possible to obtain positive-definite and self-adjoint systems. A key step in promoting the use of VO approaches is to identify methodologies to determine the VO describing a given physical system. This study presents a deep learning based framework capable of solving the inverse problem consisting in the identification of the VO describing the behavior of the nonlocal beam on the basis of its response. It is established that the internal architecture of bidirectional recurrent neural networks makes them suitable for nonlocal boundary value problems, similar to the one treated in this study. Results show that the network accurately solves the inverse problem even for nonlocal beams with VO patterns inconsistent with the network training data set. Although presented in the context of a 1D Euler-Bernoulli beam, both the VO nonlocal formulation and the deep learning techniques are very general and could be extended to the solution of any general higher-dimensional VO boundary value problem.


title: Mapping New Informal Settlements using Machine Learning and Time Series Satellite Images: An Application in the Venezuelan Migration Crisis

abstract: Since 2014, nearly 2 million Venezuelans have fled to Colombia to escape an economically devastated country during what is one of the largest humanitarian crises in modern history. Non-government organizations and local government units are faced with the challenge of identifying, assessing, and monitoring rapidly growing migrant communities in order to provide urgent humanitarian aid. However, with many of these displaced populations living in informal settlements areas across the country, locating migrant settlements across large territories can be a major challenge. To address this problem, we propose a novel approach for rapidly and cost-effectively locating new and emerging informal settlements using machine learning and publicly accessible Sentinel-2 time-series satellite imagery. We demonstrate the effectiveness of the approach in identifying potential Venezuelan migrant settlements in Colombia that have emerged between 2015 to 2020. Finally, we emphasize the importance of post-classification verification and present a two-step validation approach consisting of (1) remote validation using Google Earth and (2) on-the-ground validation through the Premise App, a mobile crowdsourcing platform.


title: TAPsolver: A Python package for the simulation and analysis of TAP reactor experiments

abstract: An open-source, Python-based Temporal Analysis of Products (TAP) reactor simulation and processing program is introduced. TAPsolver utilizes algorithmic differentiation for the calculation of highly accurate derivatives, which are used to perform sensitivity analyses and PDE-constrained optimization. The tool supports constraints to ensure thermodynamic consistency, which can lead to more accurate parameters and assist in mechanism discrimination. The mathematical and structural details of TAPsolver are outlined, as well as validation of the forward and inverse problems against well-studied prototype problems. Benchmarks of the code are presented, and a case study for extracting thermodynamically-consistent kinetic parameters from experimental TAP measurements of CO oxidation on supported platinum particles is presented. TAPsolver will act as a foundation for future development and dissemination of TAP data processing techniques.


title: At Your Service: Coffee Beans Recommendation From a Robot Assistant

abstract: With advances in the field of machine learning, precisely algorithms for recommendation systems, robot assistants are envisioned to become more present in the hospitality industry. Additionally, the COVID-19 pandemic has also highlighted the need to have more service robots in our everyday lives, to minimise the risk of human to-human transmission. One such example would be coffee shops, which have become intrinsic to our everyday lives. However, serving an excellent cup of coffee is not a trivial feat as a coffee blend typically comprises rich aromas, indulgent and unique flavours and a lingering aftertaste. Our work addresses this by proposing a computational model which recommends optimal coffee beans resulting from the user's preferences. Specifically, given a set of coffee bean properties (objective features), we apply different supervised learning techniques to predict coffee qualities (subjective features). We then consider an unsupervised learning method to analyse the relationship between coffee beans in the subjective feature space. Evaluated on a real coffee beans dataset based on digitised reviews, our results illustrate that the proposed computational model gives up to 92.7 percent recommendation accuracy for coffee beans prediction. From this, we propose how this computational model can be deployed on a service robot to reliably predict customers' coffee bean preferences, starting from the user inputting their coffee preferences to the robot recommending the coffee beans that best meet the user's likings.


title: Optimal control and directional differentiability for elliptic quasi-variational inequalities

abstract: We focus on elliptic quasi-variational inequalities (QVIs) of obstacle type and prove a number of results on the existence of solutions, directional differentiability and optimal control of such QVIs. We give three existence theorems based on an order approach, an iteration scheme and a sequential regularisation through partial differential equations. We show that the solution map taking the source term into the set of solutions of the QVI is directionally differentiable for general data and locally Hadamard differentiable obstacle mappings, thereby extending in particular the results of our previous work which provided the first differentiability result for QVIs in infinite dimensions. Optimal control problems with QVI constraints are also considered and we derive various forms of stationarity conditions for control problems, thus supplying among the first such results in this area.


title: On a Poisson-algebraic characterization of vector bundles

abstract: We prove that the $\mathbb{R}-$algebra $\mathcal{S}(\mathcal{P}(E,M)) $ of symbols of differential operators acting on the sections of the vector bundle $E\to M$ decompose into the sum \[ \mathcal{S}(\mathcal{P}(E,M))=\mathcal{J}(E)\oplus {\rm Pol}(T^*M) \] where $\mathcal{J}(E)$ is an ideal of $\mathcal{S}(\mathcal{P}(E,M))$ in which product of two elements is always zero. This induces that $\mathcal{S}(\mathcal{P}(E,M))$ cannot characterize $E \to M$ with its only structure of $\mathbb{R}-$ algebra. We prove that with its Poisson algebra structure, $\mathcal{S}(\mathcal{P}(E,M))$ characterizes the vector bundle $E\to M$ without the requirement to be considered as a ${\rm C}^\infty(M)-$module.


title: Geodesic orbit spaces of compact Lie groups of rank two

abstract: Geodesic orbit spaces are those Riemannian homogeneous spaces (G/H,g) whose geodesics are orbits of one-parameter subgroups of G. We classify the simply connected geodesic orbit spaces where G is a compact Lie group of rank two. We prove that the only such spaces for which the metric g is not induced from a bi-invariant metric on G are certain spheres and projective spaces, endowed with metrics induced from Hopf fibrations.


title: Biased Opinion Dynamics: When the Devil Is in the Details

abstract: We investigate opinion dynamics in multi-agent networks when a bias toward one of two possible opinions exists; for example, reflecting a status quo vs a superior alternative. Starting with all agents sharing an initial opinion representing the status quo, the system evolves in steps. In each step, one agent selected uniformly at random adopts the superior opinion with some probability $\alpha$, and with probability $1 - \alpha$ it follows an underlying update rule to revise its opinion on the basis of those held by its neighbors. We analyze convergence of the resulting process under two well-known update rules, namely majority and voter. The framework we propose exhibits a rich structure, with a non-obvious interplay between topology and underlying update rule. For example, for the voter rule we show that the speed of convergence bears no significant dependence on the underlying topology, whereas the picture changes completely under the majority rule, where network density negatively affects convergence. We believe that the model we propose is at the same time simple, rich, and modular, affording mathematical characterization of the interplay between bias, underlying opinion dynamics, and social structure in a unified setting.


title: Efficient and Sparse Neural Networks by Pruning Weights in a Multiobjective Learning Approach

abstract: Overparameterization and overfitting are common concerns when designing and training deep neural networks, that are often counteracted by pruning and regularization strategies. However, these strategies remain secondary to most learning approaches and suffer from time and computational intensive procedures. We suggest a multiobjective perspective on the training of neural networks by treating its prediction accuracy and the network complexity as two individual objective functions in a biobjective optimization problem. As a showcase example, we use the cross entropy as a measure of the prediction accuracy while adopting an l1-penalty function to assess the total cost (or complexity) of the network parameters. The latter is combined with an intra-training pruning approach that reinforces complexity reduction and requires only marginal extra computational cost. From the perspective of multiobjective optimization, this is a truly large-scale optimization problem. We compare two different optimization paradigms: On the one hand, we adopt a scalarization-based approach that transforms the biobjective problem into a series of weighted-sum scalarizations. On the other hand we implement stochastic multi-gradient descent algorithms that generate a single Pareto optimal solution without requiring or using preference information. In the first case, favorable knee solutions are identified by repeated training runs with adaptively selected scalarization parameters. Preliminary numerical results on exemplary convolutional neural networks confirm that large reductions in the complexity of neural networks with neglibile loss of accuracy are possible.


title: Cycle lengths in sparse random graphs

abstract: We study the set ${\cal L}(G)$ of lengths of all cycles that appear in a random $d$-regular $G$ on $n$ vertices for a fixed $d\geq 3$, as well as in Erd\H{o}s--R\'enyi random graphs on $n$ vertices with a fixed average degree $c>1$. Fundamental results on the distribution of cycle counts in these models were established in the 1980's and early 1990's, with a focus on the extreme lengths: cycles of fixed length, and cycles of length linear in $n$. Here we derive, for a random $d$-regular graph, the limiting probability that ${\cal L}(G)$ simultaneously contains the entire range $\{\ell,\ldots,n\}$ for $\ell\geq 3$, as an explicit expression $\theta_\ell=\theta_\ell(d)\in(0,1)$ which goes to $1$ as $\ell\to\infty$. For the random graph ${\cal G}(n,p)$ with $p=c/n$, where $c\geq C_0$ for some absolute constant $C_0$, we show the analogous result for the range $\{\ell,\ldots,(1-o(1))L_{\max}(G)\}$, where $L_{\max}$ is the length of a longest cycle in $G$. The limiting probability for ${\cal G}(n,p)$ coincides with $\theta_\ell$ from the $d$-regular case when $c$ is the integer $d-1$. In addition, for the directed random graph ${\cal D}(n,p)$ we show results analogous to those on ${\cal G}(n,p)$, and for both models we find an interval of $c \epsilon^2 n$ consecutive cycle lengths in the slightly supercritical regime $p=\frac{1+\epsilon}n$.


title: Mapping the Global South: Equal-Area Projections for Choropleth Maps

abstract: Choropleth maps are among the most common visualization techniques used to present geographical data. These maps require an equal-area projection but there are no clear criteria for selecting one. We collaborated with 20 social scientists researching on the Global South, interested in using choropleth maps, to investigate their design choices according to their research tasks. We asked them to design world choropleth maps through a survey, and analyzed their answers both qualitatively and quantitatively. The results suggest that the design choices of map projection, center, scale, and color scheme, were influenced by their personal research goals and the tasks. The projection was considered the most important choice and the Equal Earth projection was the most common projection used. Our study takes the first substantial step in investigating projection choices for world choropleth maps in applied visualization research.


title: Geometric optimisation of quantum thermodynamic processes

abstract: Differential geometry offers a powerful framework for optimising and characterising finite-time thermodynamic processes, both classical and quantum. Here, we start by a pedagogical introduction to the notion of thermodynamic length. We review and connect different frameworks where it emerges in the quantum regime: adiabatically driven closed systems, time-dependent Lindblad master equations, and discrete processes. A geometric lower bound on entropy production in finitetime is then presented, which represents a quantum generalisation of the original classical bound. Following this, we review and develop some general principles for the optimisation of thermodynamic processes in the linear-response regime. These include constant speed of control variation according to the thermodynamic metric, absence of quantum coherence, and optimality of small cycles around the point of maximal ratio between heat capacity and relaxation time for Carnot engines.


title: Lepton-pair production in hard exclusive hadron-hadron collisions

abstract: We investigate lepton-pair production in hard exclusive hadron-hadron collisions. We consider a double handbag (DH) mechanism in which the process amplitude factorizes in hard subprocesses, qq -> qq gamma* and qg -> qg gamma*, and in soft hadron matrix elements parameterized as generalized parton distributions (GPDs). Employing GPDs extracted from exclusive meson electroproduction, we present predictions for the lepton-pair cross section at kinematics typical for the LHC, NICA and FAIR. It turns out from our numerical studies that the quark-gluon subprocess dominates by far, the quark-quark (antiquark) subprocesses are almost negligible.


title: Notes on Spaces of Functions Converging at Infinity

abstract: This preprint concerns Banach spaces of functions converging at infinity. In particular, spaces of continuous functions, Lebesgue spaces and sequence spaces. In each framework we show versions of Riesz's representation theorem.


title: The thin obstacle problem for some variable coefficient degenerate elliptic operators

abstract: In this paper we establish the optimal interior regularity and the $C^{1,\gamma}$ smoothness of the regular part of the free boundary in the thin obstacle problem for a class of degenerate elliptic equations with variable coefficients.


title: Classifier Combination Approach for Question Classification for Bengali Question Answering System

abstract: Question classification (QC) is a prime constituent of automated question answering system. The work presented here demonstrates that the combination of multiple models achieve better classification performance than those obtained with existing individual models for the question classification task in Bengali. We have exploited state-of-the-art multiple model combination techniques, i.e., ensemble, stacking and voting, to increase QC accuracy. Lexical, syntactic and semantic features of Bengali questions are used for four well-known classifiers, namely Na\"{\i}ve Bayes, kernel Na\"{\i}ve Bayes, Rule Induction, and Decision Tree, which serve as our base learners. Single-layer question-class taxonomy with 8 coarse-grained classes is extended to two-layer taxonomy by adding 69 fine-grained classes. We carried out the experiments both on single-layer and two-layer taxonomies. Experimental results confirmed that classifier combination approaches outperform single classifier classification approaches by 4.02% for coarse-grained question classes. Overall, the stacking approach produces the best results for fine-grained classification and achieves 87.79% of accuracy. The approach presented here could be used in other Indo-Aryan or Indic languages to develop a question answering system.


title: A Dataset of Human Motion Status Using IR-UWB Through-wall Radar

abstract: Ultra-wideband (UWB) through-wall radar has a wide range of applications in non-contact human information detection and monitoring. With the integration of machine learning technology, its potential prospects include the physiological monitoring of patients in the hospital environment and the daily monitoring at home. Although many target detection methods of UWB through-wall radar based on machine learning have been proposed, there is a lack of an opensource dataset to evaluate the performance of the algorithm. This published dataset was measured by impulse radio UWB (IR-UWB) through-wall radar system. Three test subjects were measured in different environments and several defined motion statuses. Using the presented dataset, we propose a human-motion-status recognition method using a convolutional neural network (CNN), the detailed dataset partition method and recognition process flow is given. On the well-trained network, the recognition accuracy of testing data for three kinds of motion statuses is higher than 99.7%. The dataset presented in this paper considers a simple environment. Therefore, we call on all organizations in the UWB radar field to cooperate to build opensource datasets to further promote the development of UWB through-wall radar.


title: Higher-rank discrete symmetries in the IBM. II Octahedral shapes: Dynamical symmetries

abstract: The symmetries of the sdg-IBM, the interacting boson model with s, d and g bosons, are studied as regards the occurrence of shapes with octahedral symmetry. It is shown that no sdg-IBM Hamiltonian with a dynamical symmetry displays in its classical limit an isolated minimum with octahedral shape. However, a degenerate minimum that includes a shape with octahedral symmetry can be obtained from a Hamiltonian that is transitional between two limits, U_g(9) x U_d(5) and SO_sg(10) x U_d(5), and the conditions for its existence are derived. An isolated minimum with octahedral shape, either an octahedron or a cube, may arise through a modification of two-body interactions between the g bosons. Comments on the observational consequences of this construction are made.


title: $\beta$-Cores: Robust Large-Scale Bayesian Data Summarization in the Presence of Outliers

abstract: Modern machine learning applications should be able to address the intrinsic challenges arising over inference on massive real-world datasets, including scalability and robustness to outliers. Despite the multiple benefits of Bayesian methods (such as uncertainty-aware predictions, incorporation of experts knowledge, and hierarchical modeling), the quality of classic Bayesian inference depends critically on whether observations conform with the assumed data generating model, which is impossible to guarantee in practice. In this work, we propose a variational inference method that, in a principled way, can simultaneously scale to large datasets, and robustify the inferred posterior with respect to the existence of outliers in the observed data. Reformulating Bayes theorem via the $\beta$-divergence, we posit a robustified pseudo-Bayesian posterior as the target of inference. Moreover, relying on the recent formulations of Riemannian coresets for scalable Bayesian inference, we propose a sparse variational approximation of the robustified posterior and an efficient stochastic black-box algorithm to construct it. Overall our method allows releasing cleansed data summaries that can be applied broadly in scenarios including structured data corruption. We illustrate the applicability of our approach in diverse simulated and real datasets, and various statistical models, including Gaussian mean inference, logistic and neural linear regression, demonstrating its superiority to existing Bayesian summarization methods in the presence of outliers.


title: Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers

abstract: We present new methods for solving the Satisfiability Modulo Theories problem over the theory of Quantifier-Free Non-linear Integer Arithmetic, SMT(QF-NIA), which consists in deciding the satisfiability of ground formulas with integer polynomial constraints. Following previous work, we propose to solve SMT(QF-NIA) instances by reducing them to linear arithmetic: non-linear monomials are linearized by abstracting them with fresh variables and by performing case splitting on integer variables with finite domain. For variables that do not have a finite domain, we can artificially introduce one by imposing a lower and an upper bound, and iteratively enlarge it until a solution is found (or the procedure times out). The key for the success of the approach is to determine, at each iteration, which domains have to be enlarged. Previously, unsatisfiable cores were used to identify the domains to be changed, but no clue was obtained as to how large the new domains should be. Here we explain two novel ways to guide this process by analyzing solutions to optimization problems: (i) to minimize the number of violated artificial domain bounds, solved via a Max-SMT solver, and (ii) to minimize the distance with respect to the artificial domains, solved via an Optimization Modulo Theories (OMT) solver. Using this SMT-based optimization technology allows smoothly extending the method to also solve Max-SMT problems over non-linear integer arithmetic. Finally we leverage the resulting Max-SMT(QF-NIA) techniques to solve $\exists \forall$ formulas in a fragment of quantified non-linear arithmetic that appears commonly in verification and synthesis applications.


title: Joint assessment of density correlations and fluctuations for analysing spatial tree patterns

abstract: Inferring the processes underlying the emergence of observed patterns is a key challenge in theoretical ecology. Much effort has been made in the past decades to collect extensive and detailed information about the spatial distribution of tropical rainforests, as demonstrated, e.g., in the 50 ha tropical forest plot on Barro Colorado Island, Panama. These kind of plots have been crucial to shed light on diverse qualitative features, emerging both at the single-species or the community level, like the spatial aggregation or clustering at short scales. Here, we build on the progress made in the study of the density correlation functions applied to biological systems, focusing on the importance of accurately defining the borders of the set of trees, and removing the induced biases. We also pinpoint the importance of combining the study of correlations with the scale dependence of fluctuations in density, which are linked to the well known empirical Taylor's power law. Density correlations and fluctuations, in conjunction, provide an unique opportunity to interpret the behaviors and possibly to allow comparisons between data and models. We also study such quantities in models of spatial patterns and, in particular, we find that a spatially explicit neutral model generates patterns with many qualitative features in common with the empirical ones.


title: Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)

abstract: The Shapes Constraint Language (SHACL) allows for formalizing constraints over RDF data graphs. A shape groups a set of constraints that may be fulfilled by nodes in the RDF graph. We investigate the problem of containment between SHACL shapes. One shape is contained in a second shape if every graph node meeting the constraints of the first shape also meets the constraints of the second. To decide shape containment, we map SHACL shape graphs into description logic axioms such that shape containment can be answered by description logic reasoning. We identify several, increasingly tight syntactic restrictions of SHACL for which this approach becomes sound and complete.


title: Comment on: "Interaction of the magnetic quadrupole moment of a non-relativistic particle with an electric field in a rotating frame. Ann. Phys. 412 (2020) 168040''

abstract: We analyze a recent treatment of the interaction of a magnetic quadrupole moment with a radial electric field for a non-relativistic particle in a rotating frame and show that the derivation of the equations in the paper is anything but rigorous. The authors presented eigenvalues and eigenfunctions for two sets of quantum numbers as if they belonged to the same physical problem when they are solutions for two different models. In addition to it, the authors failed to comment on the possibility of multiple solutions for every set of quantum numbers.


title: Graphene in the fight against malaria

abstract: Malaria infection is a major public health worldwide, with millions of new cases and creating huge direct (an indirect) economic losses annually. Thus, the availability of preventive methods and diagnostic solutions for malaria is critical to save many lives, especially in poor countries. The emergence of graphene materials provided researchers with a promising path for a variety of fields including the medical field to fight epidemics and pandemics. In this contribution, we discuss the key-enabling graphene-based technologies in the fight against malaria, and how they are driving the innovation especially in the preventive and diagnostic phases of this endemic.


title: Cosmological particle creation in the little bang

abstract: Particle production by expanding in the future light cone scalar quantum field is studied by assuming that the initial state is associated with the quasiequilibrium statistical operator corresponding to fluid dynamics. We calculate particle production from a longitudinally boost-invariant expanding quantum field designed as a simple but reliable model for the central rapidity region of a relativistic collision. Exact diagonalization of the model is performed by introducing a notion of quasiparticles.


title: Ranking Policy Decisions

abstract: Policies trained via Reinforcement Learning (RL) are often needlessly complex, making them difficult to analyse and interpret. In a run with $n$ time steps, a policy will make $n$ decisions on actions to take; we conjecture that only a small subset of these decisions delivers value over selecting a simple default action. Given a trained policy, we propose a novel black-box method based on statistical fault localisation that ranks the states of the environment according to the importance of decisions made in those states. We argue that among other things, the ranked list of states can help explain and understand the policy. As the ranking method is statistical, a direct evaluation of its quality is hard. As a proxy for quality, we use the ranking to create new, simpler policies from the original ones by pruning decisions identified as unimportant (that is, replacing them by default actions) and measuring the impact on performance. Our experiments on a diverse set of standard benchmarks demonstrate that pruned policies can perform on a level comparable to the original policies. Conversely, we show that naive approaches for ranking policy decisions, e.g., ranking based on the frequency of visiting a state, do not result in high-performing pruned policies.


title: Medium modifications for light and heavy nuclear clusters in simulations of core collapse supernovae -- Impact on equation of state and weak interactions

abstract: The present article investigates the role of heavy nuclear clusters and weakly bound light nuclear clusters based on a newly developed equation of state for core collapse supernova studies. A novel approach is brought forward for the description of nuclear clusters, taking into account the quasiparticle approach and continuum correlations. It demonstrates that the commonly employed nuclear statistical equilibrium approach, based on non-interacting particles, for the description of light and heavy clusters becomes invalid for warm nuclear matter near the saturation density. This has important consequences for studies of core collapse supernovae. To this end, we implement this nuclear equation of state provided for arbitrary temperature, baryon density and isospin asymmetry, to spherically symmetric core collapse supernova simulations in order to study the impact on the dynamics as well as on the neutrino emission. For the inclusion of a set of weak processes involving light clusters the rate expressions are derived, including medium modifications at the mean field level. A substantial impact from the inclusion of a variety of weak reactions involving light clusters on the post bounce dynamics nor on the neutrino emission could not be found.


title: Detecting Generic Music Features with Single Layer Feedforward Network using Unsupervised Hebbian Computation

abstract: With the ever-increasing number of digital music and vast music track features through popular online music streaming software and apps, feature recognition using the neural network is being used for experimentation to produce a wide range of results across a variety of experiments recently. Through this work, the authors extract information on such features from a popular open-source music corpus and explored new recognition techniques, by applying unsupervised Hebbian learning techniques on their single-layer neural network using the same dataset. The authors show the detailed empirical findings to simulate how such an algorithm can help a single layer feedforward network in training for music feature learning as patterns. The unsupervised training algorithm enhances their proposed neural network to achieve an accuracy of 90.36% for successful music feature detection. For comparative analysis against similar tasks, authors put their results with the likes of several previous benchmark works. They further discuss the limitations and thorough error analysis of their work. The authors hope to discover and gather new information about this particular classification technique and its performance, and further understand future potential directions and prospects that could improve the art of computational music feature recognition.


title: VerifyThis 2019: A Program Verification Competition (Extended Report)

abstract: VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties -- something that lies beyond the capabilities of fully automatic verification, and requires instead human expertise to suitably encode programs, specifications, and invariants. This paper describes the 8th edition of VerifyThis, which took place at ETAPS 2019 in Prague. Thirteen teams entered the competition, which consisted of three verification challenges and spanned two days of work. The report analyzes how the participating teams fared on these challenges, reflects on what makes a verification challenge more or less suitable for the typical VerifyThis participants, and outlines the difficulties of comparing the work of teams using wildly different verification approaches in a competition focused on the human aspect.


title: Galaxy Morphology Classification using EfficientNet Architectures

abstract: We study the usage of EfficientNets and their applications to Galaxy Morphology Classification. We explore the usage of EfficientNets into predicting the vote fractions of the 79,975 testing images from the Galaxy Zoo 2 challenge on Kaggle. We evaluate this model using the standard competition metric i.e. rmse score and rank among the top 3 on the public leaderboard with a public score of 0.07765. We propose a fine-tuned architecture using EfficientNetB5 to classify galaxies into seven classes - completely round smooth, in-between smooth, cigarshaped smooth, lenticular, barred spiral, unbarred spiral and irregular. The network along with other popular convolutional networks are used to classify 29,941 galaxy images. Different metrics such as accuracy, recall, precision, F1 score are used to evaluate the performance of the model along with a comparative study of other state of the art convolutional models to determine which one performs the best. We obtain an accuracy of 93.7% on our classification model with an F1 score of 0.8857. EfficientNets can be applied to large scale galaxy classification in future optical space surveys which will provide a large amount of data such as the Large Synoptic Space Telescope.


title: All known Type Ia supernovae models fail to reproduce the observed $t_0-M_\text{Ni56}$ correlation

abstract: Type Ia supernovae (SNe Ia) are likely the thermonuclear explosions of carbon-oxygen white-dwarf stars, but their progenitor systems remain elusive. A few theoretical scenarios for the progenitor systems have been suggested, which have been shown to agree with some observational properties of SNe Ia. However, several computational challenges prohibit a robust comparison to the observations. We focus on the observed $t_0-M_\text{Ni56}$ relation, where $t_0$ (the $\gamma$-rays' escape time from the ejecta) is positively correlated with $M_\text{Ni56}$ (the synthesized $^{56}$Ni mass). Comparing to the $t_0-M_\text{Ni56}$ relation bypasses the need for radiation transfer calculations, as the value of $t_0$ can be directly inferred from the ejecta. We show that all known SNe Ia models fail to reproduce the observed $t_0-M_\text{Ni56}$ correlation.