title: A C++17 Thread Pool for High-Performance Scientific Computing

abstract: We present a modern C++17-compatible thread pool implementation, built from scratch with high-performance scientific computing in mind. The thread pool is implemented as a single lightweight and self-contained class, and does not have any dependencies other than the C++17 standard library, thus allowing a great degree of portability. In particular, our implementation does not utilize OpenMP or any other high-level multithreading APIs, and thus gives the programmer precise low-level control over the details of the parallelization, which permits more robust optimizations. The thread pool was extensively tested on both AMD and Intel CPUs with up to 40 cores and 80 threads. This paper provides motivation, detailed usage instructions, and performance tests.


title: An urn model for the Jacobi-Pi\~neiro polynomials

abstract: The list of physically motivated urn models that can be solved in terms of classical orthogonal polynomials is very small. It includes a model proposed by D. Bernoulli and further analyzed by S. Laplace and a model proposed by P. and T. Ehrenfest and eventually connected with the Krawtchouk and Hahn polynomials. This connection was reversed recently in the case of the Jacobi polynomials where a rather contrived, and later a simpler urn model was proposed. Here we consider an urn model going with the Jacobi-Pi\~neiro multiple orthogonal polynomials. These polynomials have recently been put forth in connection with a stochastic matrix.


title: A guide to design disturbance observer based motion control systems

abstract: This paper proposes new practical design tools for the robust motion control systems based on disturbance observer (DOB). Although DOB has long been used in several motion control applications, it has insufficient analysis and design tools. The paper proposes a new practical robustness constraint, which improve the robustness at high frequencies, on the bandwidth of a DOB and nominal inertia. Although increasing the bandwidth of a DOB and nominal inertia improves the performance and stability, they are limited by the robustness constraint. Besides, a novel stability analysis method is proposed for reaction force observer (RFOB) based robust force control systems. It is shown that not only the performance, but also the stability changes significantly by the imperfect identification of inertia and torque coefficient. The robustness and stability of a DOB based motion control system are improved by proposing new design tools. The validity of the proposals are verified by experimental results.


title: Model Multiplicity (UML) Versus Model Singularity in System Requirements and Design

abstract: A conceptual model can be used to manage complexity in both the design and implementation phases of the system development life cycle. Such a model requires a firm grasp of the abstract principles on which a system is based, as well as an understanding of the high-level nature of the representation of entities and processes. In this context, models can have distinct architectural characteristics. This paper discusses model multiplicity (e.g., unified modeling language [UML]), model singularity (e.g., object-process methodology [OPM], thinging machine [TM]), and a heterogeneous model that involves multiplicity and singularity. The basic idea of model multiplicity is that it is not possible to present all views in a single representation, so a number of models are used, with each model representing a different view. The model singularity approach uses only a single unified model that assimilates its subsystems into one system. This paper is concerned with current approaches, especially in software engineering texts, where multimodal UML is introduced as the general-purpose modeling language (i.e., UML is modeling). In such a situation, we suggest raising the issue of multiplicity versus singularity in modeling. This would foster a basic appreciation of the UML advantages and difficulties that may be faced during modeling, especially in the educational setting. Furthermore, we advocate the claim that a multiplicity of views does not necessitate a multiplicity of models. The model singularity approach can represent multiple views (static, behavior) without resorting to a collection of multiple models with various notations. We present an example of such a model where the static representation is developed first. Then, the dynamic view and behavioral representations are built by incorporating a decomposition strategy interleaved with the notion of time.


title: Selection and Behavioral Responses of Health Insurance Subsidies in the Long Run: Evidence from a Field Experiment in Ghana

abstract: We conduct a randomized experiment that varies one-time health insurance subsidy amounts (partial and full) in Ghana to study the impacts of subsidies on insurance enrollment and health care utilization. We find that both partial and full subsidies promote insurance enrollment in the long run, even after the subsidies expired. Although the long run enrollment rate and selective enrollment do not differ by subsidy level, long run health care utilization increased only for the partial subsidy group. We show that this can plausibly be explained by stronger learning-through-experience behavior in the partial than in the full subsidy group.


title: An Efficient and Secure Location-based Alert Protocol using Searchable Encryption and Huffman Codes

abstract: Location data are widely used in mobile apps, ranging from location-based recommendations, to social media and navigation. A specific type of interaction is that of location-based alerts, where mobile users subscribe to a service provider (SP) in order to be notified when a certain event occurs nearby. Consider, for instance, the ongoing COVID-19 pandemic, where contact tracing has been singled out as an effective means to control the virus spread. Users wish to be notified if they came in proximity to an infected individual. However, serious privacy concerns arise if the users share their location history with the SP in plaintext. To address privacy, recent work proposed several protocols that can securely implement location-based alerts. The users upload their encrypted locations to the SP, and the evaluation of location predicates is done directly on ciphertexts. When a certain individual is reported as infected, all matching ciphertexts are found (e.g., according to a predicate such as "10 feet proximity to any of the locations visited by the infected patient in the last week"), and the corresponding users notified. However, there are significant performance issues associated with existing protocols. The underlying searchable encryption primitives required to perform the matching on ciphertexts are expensive, and without a proper encoding of locations and search predicates, the performance can degrade a lot. In this paper, we propose a novel method for variable-length location encoding based on Huffman codes. By controlling the length required to represent encrypted locations and the corresponding matching predicates, we are able to significantly speed up performance. We provide a theoretical analysis of the gain achieved by using Huffman codes, and we show through extensive experiments that the improvement compared with fixed-length encoding methods is substantial.


title: OpTorch: Optimized deep learning architectures for resource limited environments

abstract: Deep learning algorithms have made many breakthroughs and have various applications in real life. Computational resources become a bottleneck as the data and complexity of the deep learning pipeline increases. In this paper, we propose optimized deep learning pipelines in multiple aspects of training including time and memory. OpTorch is a machine learning library designed to overcome weaknesses in existing implementations of neural network training. OpTorch provides features to train complex neural networks with limited computational resources. OpTorch achieved the same accuracy as existing libraries on Cifar-10 and Cifar-100 datasets while reducing memory usage to approximately 50%. We also explore the effect of weights on total memory usage in deep learning pipelines. In our experiments, parallel encoding-decoding along with sequential checkpoints results in much improved memory and time usage while keeping the accuracy similar to existing pipelines. OpTorch python package is available at available at https://github.com/cbrl-nuces/optorch


title: COUnty aggRegation mixup AuGmEntation (COURAGE) COVID-19 Prediction

abstract: The global spread of COVID-19, the disease caused by the novel coronavirus SARS-CoV-2, has cast a significant threat to mankind. As the COVID-19 situation continues to evolve, predicting localized disease severity is crucial for advanced resource allocation. This paper proposes a method named COURAGE (COUnty aggRegation mixup AuGmEntation) to generate a short-term prediction of 2-week-ahead COVID-19 related deaths for each county in the United States, leveraging modern deep learning techniques. Specifically, our method adopts a self-attention model from Natural Language Processing, known as the transformer model, to capture both short-term and long-term dependencies within the time series while enjoying computational efficiency. Our model fully utilizes publicly available information of COVID-19 related confirmed cases, deaths, community mobility trends and demographic information, and can produce state-level prediction as an aggregation of the corresponding county-level predictions. Our numerical experiments demonstrate that our model achieves the state-of-the-art performance among the publicly available benchmark models.


title: Population Monotonicity in Matching Games

abstract: A matching game is a cooperative profit game defined on an edge-weighted graph, where the players are the vertices and the profit of a coalition is the maximum weight of matchings in the subgraph induced by the coalition. A population monotonic allocation scheme is a collection of rules defining how to share the profit among players in each coalition such that every player is better off when the coalition expands. In this paper, we study matching games and provide a necessary and sufficient characterization for the existence of population monotonic allocation schemes. Our characterization also implies that whether a matching game admits population monotonic allocation schemes can be determined efficiently.


title: Physical world assistive signals for deep neural network classifiers -- neither defense nor attack

abstract: Deep Neural Networks lead the state of the art of computer vision tasks. Despite this, Neural Networks are brittle in that small changes in the input can drastically affect their prediction outcome and confidence. Consequently and naturally, research in this area mainly focus on adversarial attacks and defenses. In this paper, we take an alternative stance and introduce the concept of Assistive Signals, which are optimized to improve a model's confidence score regardless if it's under attack or not. We analyse some interesting properties of these assistive perturbations and extend the idea to optimize assistive signals in the 3D space for real-life scenarios simulating different lighting conditions and viewing angles. Experimental evaluations show that the assistive signals generated by our optimization method increase the accuracy and confidence of deep models more than those generated by conventional methods that work in the 2D space. In addition, our Assistive Signals illustrate the intrinsic bias of ML models towards certain patterns in real-life objects. We discuss how we can exploit these insights to re-think, or avoid, some patterns that might contribute to, or degrade, the detectability of objects in the real-world.


title: Black-Box Dissector: Towards Erasing-based Hard-Label Model Stealing Attack

abstract: Previous studies have verified that the functionality of black-box models can be stolen with full probability outputs. However, under the more practical hard-label setting, we observe that existing methods suffer from catastrophic performance degradation. We argue this is due to the lack of rich information in the probability prediction and the overfitting caused by hard labels. To this end, we propose a novel hard-label model stealing method termed \emph{black-box dissector}, which consists of two erasing-based modules. One is a CAM-driven erasing strategy that is designed to increase the information capacity hidden in hard labels from the victim model. The other is a random-erasing-based self-knowledge distillation module that utilizes soft labels from the substitute model to mitigate overfitting. Extensive experiments on four widely-used datasets consistently demonstrate that our method outperforms state-of-the-art methods, with an improvement of at most $8.27\%$. We also validate the effectiveness and practical potential of our method on real-world APIs and defense methods. Furthermore, our method promotes other downstream tasks, \emph{i.e.}, transfer adversarial attacks.


title: Self-replication of a quantum artificial organism driven by single-photon pulses

abstract: Artificial organisms are computer programs that self-replicate, mutate, compete and evolve. How do these lifelike information-processing behaviours could arise in diverse far-from-equilibrium physical systems remains an open question. Here, I devise a toy model where the onset of self-replication of a quantum artificial organism (a chain of lambda systems) is owing to single-photon pulses added to a zero-temperature environment. The model results in a replication probability that is proportional to the absorbed work from the photon, in agreement with the theory of dissipative adaptation. Unexpectedly, spontaneous mutations are unavoidable in this model, due to rare but finite absorption of off-resonant photons. These results hint at self-replication as a possible link between dissipative adaptation and open-ended evolution.


title: Three-Party Integer Comparison and Applications

abstract: Secure integer comparison has been a popular research topic in cryptography, both for its simplicity to describe and for its applications. The aim is to enable two parties to compare their inputs without revealing the exact value of those inputs. In this paper, we highlight three-party integer comparison (TPIC), where a \emph{judge}, with no private input, wants to know the comparison result, while two \emph{competitors} hold secret integers to do privacy-preserving comparison. The judge actively obtains the result rather than passively waiting for it sent by a competitor. We give two TPIC constructions considering \emph{Mixed adversaries}, who have with different capabilities. One is secure against a semi-honest adversary with low computation and communication cost, while the other is secure against a malicious adversary. Basing on TPIC, we present multi-party comparisons through concrete applications, including a joint bidding scheme and a practical auction. Brief security proofs and analysis for the applications are presented. In comparison, our auction scheme is more efficient with lower cost, making it feasible in practice rather than a theoretical design. All the comparisons and application schemes run on top of blockchain requiring a constant number of rounds.


title: Formation of eccentric gas discs from sublimating or partially disrupted asteroids orbiting white dwarfs

abstract: Of the 21 known gaseous debris discs around white dwarfs, a large fraction of them display observational features that are well described by an eccentric distribution of gas. In the absence of embedded objects or additional forces, these discs should not remain eccentric for long timescales, and should instead circularise due to viscous spreading. The metal pollution and infrared excess we observe from these stars is consistent with the presence of tidally disrupted sub-stellar bodies. We demonstrate, using smoothed particle hydrodynamics, that a sublimating or partially disrupting planet on an eccentric orbit around a white dwarf will form and maintain a gas disc with an eccentricity within 0.1 of, and lower than, that of the orbiting body. We also demonstrate that the eccentric gas disc observed around the white dwarf SDSS J1228+1040 can be explained by the same hypothesis.


title: Improving Community Detection Performance in Heterogeneous Music Network by Learning Edge-type Usefulness Distribution

abstract: With music becoming an essential part of daily life, there is an urgent need to develop recommendation systems to assist people targeting better songs with fewer efforts. As the interactions between users and songs naturally construct a complex network, community detection approaches can be applied to reveal users' potential interests on songs by grouping relevant users & songs to the same community. However, as the types of interaction could be heterogeneous, it challenges conventional community detection methods designed originally for homogeneous networks. Although there are existing works on heterogeneous community detection, they are mostly task-driven approaches and not feasible for specific music recommendation. In this paper, we propose a genetic based approach to learn an edge-type usefulness distribution (ETUD) for all edge-types in heterogeneous music networks. ETUD can be regarded as a linear function to project all edges to the same latent space and make them comparable. Therefore a heterogeneous network can be converted to a homogeneous one where those conventional methods are eligible to use. We validate the proposed model on a heterogeneous music network constructed from an online music streaming service. Results show that for conventional methods, ETUD can help to detect communities significantly improving music recommendation accuracy while simultaneously reducing user searching cost.


title: Diffusion of a particle via a stochastic process on the Pascal'e pyramid

abstract: In this note, we construct a $3$-dimensional generalisation of the Pascal's triangle that we named Pascal's cube, as it has the construction of a cube with entries given by extended binomial coefficients ${}^cC^{a}_{b}$. The Pascal's cube is equivalent to the well-studied Pascal's pyramid, with the advantage that the Pascal's cube can be mapped onto the Cartesian plane for easier computation. We define a stochastic process using extended binomial coefficients on the Pascal's pyramid representing the dispersion of a free particle. With some constrains, we show that this stochastic process satisfies the heat equation.


title: Signature of Anomalous Andreev bound states in magnetic Josephson junction of noncentrosymmetric superconductor on a topological insulator

abstract: We study the Josephson effect in a clean noncentrosymmetric superconductor/half-metal/noncentrosymmetric superconductor junction, which is grown on the surface of a three-dimensional Topological Insulator (TI) in the ballistic limit. We find the signature of anomalous Andreev Bound States (ABS) and band splitting for a spin-active barrier whose barrier magnetic moment is misaligned with the bulk moment. The chiral Majorana mode and 4$\pi$ periodic ABS are found to exist on the surface of TI for parallel orientation of the moments in the normal incidence condition. But for anti-parallel misalignment, we observe the 2$\pi$ periodic ABS. There exist a gap in ABS for oblique incidence. We find the splitting of Andreev levels in the presence of RSOC and also for unequal mixing of singlet-triplet correlations present in NCSC. The Majorana mode, ABS and Josephson supercurrent can be controlled by the ratio of barrier magnetic and non-magnetic moments. The critical current is found to be maximum for singlet or triplet dominated NCSC, while it is minimum in the equal mixing condition. The ABS is found to be barrier thickness dependent and is suppressed for an opaque barrier. We observe a monotonic decay in critical current with a finite length of the junction for all the singlet-triplet mixings and magnetic moments. The current-phase relation is found to be sinusoidal with no phase shift in the half-metallic limit, however, for different orientations of the bulk moment, an anomalous characteristic is also observed.


title: QCD equation of state and the structure of neutron stars in NJL model

abstract: The chiral and pion superfluidity phase transitions are studied within NJL model. The model parameters are fitted by pion mass and decay constant together with recent isospin density from lattice QCD. The dense and cold QCD matter suffered the first order chiral phase transition during the quark chemical potential increase. Based on the studies of phase structures, the equation of states~(EoS) of dense QCD matter are calculated with the conditions of $\beta$ equilibrium and electric charge neutrality. Take the EoS as input, the mass-radius relation of neutron stars are predicted, which is consistent with recent observations of heaviest mass and radius of $1.4M_\odot$.


title: Distance and the Goeritz groups of bridge decompositions

abstract: We prove that if the distance of a bridge decomposition of a link with respect to a Heegaard splitting of a $3$-manifold is at least $6$, then the Goeritz group is a finite group.


title: Even and odd instanton bundles on Fano threefolds

abstract: We define non-ordinary instanton bundles on Fano threefolds $X$ extending the notion of (ordinary) instanton bundles. We determine a lower bound for the quantum number of a non-ordinary instanton bundle, i.e. the degree of its second Chern class, showing the existence of such bundles for each admissible value of the quantum number when $i_X\ge 2$ or $i_X=1$, $\mathrm{Pic}(X)$ is cyclic and $X$ is ordinary. In these cases we deal with the component inside the moduli spaces of simple bundles containing the vector bundles we construct and we study their restriction to lines. Finally we give a monadic description of non-ordinary instanton bundles on $\mathbb{P}^3$ and the smooth quadric studying their loci of jumping lines, when of the expected codimension.


title: A Rate-Splitting Strategy to Enable Joint Radar Sensing and Communication with Partial CSIT

abstract: In order to manage the increasing interference between radar and communication systems, joint radar and communication (RadCom) systems have attracted increased attention in recent years, with the studies so far considering the assumption of perfect Channel State Information at the Transmitter (CSIT). However, such an assumption is unrealistic and neglects the inevitable CSIT errors that need to be considered to fully exploit the multi-antenna processing and interference management capabilities of a joint RadCom system. In this work, a joint RadCom system is designed which marries the capabilities of a Multiple-Input Multiple-Output (MIMO) radar with Rate-Splitting Multiple Access (RSMA), a powerful downlink communications scheme based on linearly precoded Rate-Splitting (RS) to partially decode multi-user interference (MUI) and partially treat it as noise. In this way, the RadCom precoders are optimized in the presence of partial CSIT to simultaneously maximize the Average Weighted Sum-Rate (AWSR) under QoS rate constraints and minimize the RadCom Beampattern Squared Error (BSE) against an ideal MIMO radar beampattern. Simulation results demonstrate that RSMA provides the RadCom with more robustness, flexibility and user rate fairness compared to the baseline joint RadCom system based on Space Division Multiple Access (SDMA).


title: EQFace: A Simple Explicit Quality Network for Face Recognition

abstract: As the deep learning makes big progresses in still-image face recognition, unconstrained video face recognition is still a challenging task due to low quality face images caused by pose, blur, occlusion, illumination etc. In this paper we propose a network for face recognition which gives an explicit and quantitative quality score at the same time when a feature vector is extracted. To our knowledge this is the first network that implements these two functions in one network online. This network is very simple by adding a quality network branch to the baseline network of face recognition. It does not require training datasets with annotated face quality labels. We evaluate this network on both still-image face datasets and video face datasets and achieve the state-of-the-art performance in many cases. This network enables a lot of applications where an explicit face quality scpre is used. We demonstrate three applications of the explicit face quality, one of which is a progressive feature aggregation scheme in online video face recognition. We design an experiment to prove the benefits of using the face quality in this application. Code will be available at \url{https://github.com/deepcam-cn/facequality}.


title: Visualizing Multiwavelength Properties of Classified X-ray Sources from Chandra Source Catalog

abstract: We present a simple but informative online tool to visualize the multiwavelength properties of about 2,700 X-ray sources from Chandra Source Catalog version 2.0 with literature verified classifications. Here we describe the catalogs that we used to collect the classifications and extract the MW properties of these sources, and the properties themselves. We also describe the design and functionality of the tool.


title: Learning to drive from a world on rails

abstract: We learn an interactive vision-based driving policy from pre-recorded driving logs via a model-based approach. A forward model of the world supervises a driving policy that predicts the outcome of any potential driving trajectory. To support learning from pre-recorded logs, we assume that the world is on rails, meaning neither the agent nor its actions influence the environment. This assumption greatly simplifies the learning problem, factorizing the dynamics into a nonreactive world model and a low-dimensional and compact forward model of the ego-vehicle. Our approach computes action-values for each training trajectory using a tabular dynamic-programming evaluation of the Bellman equations; these action-values in turn supervise the final vision-based driving policy. Despite the world-on-rails assumption, the final driving policy acts well in a dynamic and reactive world. At the time of writing, our method ranks first on the CARLA leaderboard, attaining a 25% higher driving score while using 40 times less data. Our method is also an order of magnitude more sample-efficient than state-of-the-art model-free reinforcement learning techniques on navigational tasks in the ProcGen benchmark.


title: ISTR: End-to-End Instance Segmentation with Transformers

abstract: End-to-end paradigms significantly improve the accuracy of various deep-learning-based computer vision models. To this end, tasks like object detection have been upgraded by replacing non-end-to-end components, such as removing non-maximum suppression by training with a set loss based on bipartite matching. However, such an upgrade is not applicable to instance segmentation, due to its significantly higher output dimensions compared to object detection. In this paper, we propose an instance segmentation Transformer, termed ISTR, which is the first end-to-end framework of its kind. ISTR predicts low-dimensional mask embeddings, and matches them with ground truth mask embeddings for the set loss. Besides, ISTR concurrently conducts detection and segmentation with a recurrent refinement strategy, which provides a new way to achieve instance segmentation compared to the existing top-down and bottom-up frameworks. Benefiting from the proposed end-to-end mechanism, ISTR demonstrates state-of-the-art performance even with approximation-based suboptimal embeddings. Specifically, ISTR obtains a 46.8/38.6 box/mask AP using ResNet50-FPN, and a 48.1/39.9 box/mask AP using ResNet101-FPN, on the MS COCO dataset. Quantitative and qualitative results reveal the promising potential of ISTR as a solid baseline for instance-level recognition. Code has been made available at: https://github.com/hujiecpp/ISTR.


title: Simplicity of higher rank triplet W-algebras

abstract: We show that the higher rank triplet W-algebra is simple when p is bigger than or equal to h-1. Furthermore, we show that the Feigin-Tipunin's module over the higher rank triplet W-algebra introduced in arXiv:1002.5047 is simple if the parameter is in the closure of the fundamental alcove, and give the decomposition as a direct sum of simple modules over the affine W-algebras at level p-h.


title: Model Counting meets F0 Estimation

abstract: Constraint satisfaction problems (CSP's) and data stream models are two powerful abstractions to capture a wide variety of problems arising in different domains of computer science. Developments in the two communities have mostly occurred independently and with little interaction between them. In this work, we seek to investigate whether bridging the seeming communication gap between the two communities may pave the way to richer fundamental insights. To this end, we focus on two foundational problems: model counting for CSP's and computation of zeroth frequency moments ($F_0$) for data streams. Our investigations lead us to observe striking similarity in the core techniques employed in the algorithmic frameworks that have evolved separately for model counting and $F_0$ computation. We design a recipe for translation of algorithms developed for $F_0$ estimation to that of model counting, resulting in new algorithms for model counting. We then observe that algorithms in the context of distributed streaming can be transformed to distributed algorithms for model counting. We next turn our attention to viewing streaming from the lens of counting and show that framing $F_0$ estimation as a special case of #DNF counting allows us to obtain a general recipe for a rich class of streaming problems, which had been subjected to case-specific analysis in prior works. In particular, our view yields a state-of-the art algorithm for multidimensional range efficient $F_0$ estimation with a simpler analysis.


title: Effects of hydrophobic solute on water normal modes

abstract: The vibrational modes of water get significantly modified by external solutes; this becomes particularly important when the solute is hydrophobic. In this work, we examine the effects of a tiny hydrophobe, methane, on the normal modes of water, using small cluster-based harmonic normal mode analysis of aqueous methane system. We estimate the vibrational density of states and also the infrared spectral density. We compare the methane-water data with the bulk water response. We decompose these modes based on different vibrational characters. The stretch-bend decomposition reflects a pronounced coupling between the methane asymmetric stretch mode and the water symmetric stretch mode. We examine the methane-water data in terms of the symmetry of the central water molecule's vibrations and find that asymmetric modes do not contribute. We also find that the vibrational modes having non-zero contributions from methane molecule are extremely localized in nature.


title: Naturalistic audio-visual volumetric sequences dataset of sounding actions for six degree-of-freedom interaction

abstract: As audio-visual systems increasingly bring immersive and interactive capabilities into our work and leisure activities, so the need for naturalistic test material grows. New volumetric datasets have captured high-quality 3D video, but accompanying audio is often neglected, making it hard to test an integrated bimodal experience. Designed to cover diverse sound types and features, the presented volumetric dataset was constructed from audio and video studio recordings of scenes to yield forty short action sequences. Potential uses in technical and scientific tests are discussed.


title: One Model to Rule them All: Towards Zero-Shot Learning for Databases

abstract: In this paper, we present our vision of so called zero-shot learning for databases which is a new learning approach for database components. Zero-shot learning for databases is inspired by recent advances in transfer learning of models such as GPT-3 and can support a new database out-of-the box without the need to train a new model. Furthermore, it can easily be extended to few-shot learning by further retraining the model on the unseen database. As a first concrete contribution in this paper, we show the feasibility of zero-shot learning for the task of physical cost estimation and present very promising initial results. Moreover, as a second contribution we discuss the core challenges related to zero-shot learning for databases and present a roadmap to extend zero-shot learning towards many other tasks beyond cost estimation or even beyond classical database systems and workloads.


title: Modeling the dynamics of COVID-19 transmission in India: Social Distancing, Regional Spread and Healthcare Capacity

abstract: In the new paradigm of health-centric governance, policy makers are in a constant need for appropriate metrics and estimates in order to determine the best policies in a non-arbitrary fashion. Thus, in this paper, a compartmentalized model for the transmission of COVID-19 is developed to facilitate policy making. A socially distanced compartment is added to the model and its utility in quantifying the magnitude of voluntary social distancing is illustrated. Modifications are made to incorporate inter-region migration, and suitable metrics are proposed to quantify the impact of migration on the rise of cases. The healthcare capacity is modeled and a method is developed to study the consequences of the saturation of the healthcare system. The model and related measures are used to study the nature of the transmission and spread of COVID-19 in India, and appropriate insights are drawn.


title: Schema-Aware Deep Graph Convolutional Networks for Heterogeneous Graphs

abstract: Graph convolutional network (GCN) based approaches have achieved significant progress for solving complex, graph-structured problems. GCNs incorporate the graph structure information and the node (or edge) features through message passing and computes 'deep' node representations. Despite significant progress in the field, designing GCN architectures for heterogeneous graphs still remains an open challenge. Due to the schema of a heterogeneous graph, useful information may reside multiple hops away. A key question is how to perform message passing to incorporate information of neighbors multiple hops away while avoiding the well-known over-smoothing problem in GCNs. To address this question, we propose our GCN framework 'Deep Heterogeneous Graph Convolutional Network (DHGCN)', which takes advantage of the schema of a heterogeneous graph and uses a hierarchical approach to effectively utilize information many hops away. It first computes representations of the target nodes based on their 'schema-derived ego-network' (SEN). It then links the nodes of the same type with various pre-defined metapaths and performs message passing along these links to compute final node representations. Our design choices naturally capture the way a heterogeneous graph is generated from the schema. The experimental results on real and synthetic datasets corroborate the design choice and illustrate the performance gains relative to competing alternatives.


title: On the Safety Implications of Misordered Events and Commands in IoT Systems

abstract: IoT devices, equipped with embedded actuators and sensors, provide custom automation in the form of IoT apps. IoT apps subscribe to events and upon receipt, transmit actuation commands which trigger a set of actuators. Events and actuation commands follow paths in the IoT ecosystem such as sensor-to-edge, edge-to-cloud, and cloud-to-actuator, with different network and processing delays between these connections. Significant delays may occur especially when an IoT system cloud interacts with other clouds. Due to this variation in delays, the cloud may receive events in an incorrect order, and in turn, devices may receive and actuate misordered commands. In this paper, we first study eight major IoT platforms and show that they do not make strong guarantees on event orderings to address these issues. We then analyze the end-to-end interactions among IoT components, from the creation of an event to the invocation of a command. From this, we identify and formalize the root causes of misorderings in events and commands leading to undesired states. We deploy 23 apps in a simulated smart home containing 35 IoT devices to evaluate the misordering problem. Our experiments demonstrate a high number of misordered events and commands that occur through different interaction paths. Through this effort, we reveal the root and extent of the misordering problem and guide future work to ensure correct ordering in IoT systems.


title: Covariant density and velocity perturbations of the quasi-Newtonian cosmological model in $f(T)$ gravity

abstract: We investigate classes of shear-free cosmological dust models with irrotational fluid flows within the framework of $f(T)$ gravity. In particular, we use the $1 + 3$ covariant formalism and present the covariant linearised evolution and constraint equations describing such models. We then derive the integrability conditions describing a consistent evolution of the linearised field equations of these quasi-Newtonian universes in the $f(T)$ gravitational theory. Finally, we derive the evolution equations for the density and velocity perturbations of the quasi-Newtonian universe. We explore the behaviour of the matter density contrast for two models - $f(T)= \mu T_{0}(T/T_{0})^{n}$ and the more generalised case, where $f(T)= T+ \mu T_{0} (T/T_{0})^{n}$, with and without the application of the quasi-static approximation. Our numerical solutions show that these $f(T)$ theories can be suitable alternatives to study the background dynamics, whereas the growth of energy density fluctuations change dramatically from the expected $\Lambda$CDM behaviour even for small deviations away from the general relativistic limits of the underlying $f(T)$ theory. Moreover, applying the so-called quasi-static approximation yields exact-solution results that are orders of magnitude different from the numerically integrated solutions of the full system, suggesting that these approximations are not applicable here.


title: Quantum Kasner transition in a locally rotationally symmetric Bianchi II universe

abstract: The Belinski-Khalatnikov-Lifshitz (BKL) conjecture predicts a chaotic alternation of Kasner epochs in the evolution of generic classical spacetimes towards a spacelike singularity. As a first step towards understanding the full quantum BKL scenario, we analyze a vacuum Bianchi II model with local rotational symmetry, which presents just one Kasner transition. During the Kasner epochs, the quantum state is coherent and it is thus characterized by constant values of the different quantum fluctuations, correlations and higher-order moments. By computing the constants of motion of the system we provide, for any peaked semiclassical state, the explicit analytical transition rules that relate the parametrization of the asymptotic coherent state before and after the transition. In particular, we obtain the modification of the transition rules for the classical variables due to quantum back-reaction effects. This analysis is performed by considering a high-order truncation in moments (the full computations are performed up to fifth-order, which corresponds to neglecting terms of an order $\hbar^3$), providing a solid estimate about the quantum modifications to the classical model. Finally, in order to understand the dynamics of the state during the transition, we perform some numerical simulations for an initial Gaussian state, that show that the initial and final equilibrium values of the quantum variables are connected by strong and rapid oscillations.


title: A novel hybrid methodology of measuring sentence similarity

abstract: The problem of measuring sentence similarity is an essential issue in the natural language processing (NLP) area. It is necessary to measure the similarity between sentences accurately. There are many approaches to measuring sentence similarity. Deep learning methodology shows a state-of-the-art performance in many natural language processing fields and is used a lot in sentence similarity measurement methods. However, in the natural language processing field, considering the structure of the sentence or the word structure that makes up the sentence is also important. In this study, we propose a methodology combined with both deep learning methodology and a method considering lexical relationships. Our evaluation metric is the Pearson correlation coefficient and Spearman correlation coefficient. As a result, the proposed method outperforms the current approaches on a KorSTS standard benchmark Korean dataset. Moreover, it performs a maximum of 65% increase than only using deep learning methodology. Experiments show that our proposed method generally results in better performance than those with only a deep learning model.


title: Convergence Analysis of the Nonoverlapping Robin-Robin Method for Nonlinear Elliptic Equations

abstract: We prove convergence for the nonoverlapping Robin-Robin method applied to nonlinear elliptic equations with a $p$-structure, including degenerate diffusion equations governed by the $p$-Laplacian. This nonoverlapping domain decomposition is commonly encountered when discretizing elliptic equations, as it enables the usage of parallel and distributed hardware. Convergence has been derived in various linear contexts, but little has been proven for nonlinear equations. Hence, we develop a new theory for nonlinear Steklov-Poincar\'e operators based on the $p$-structure and the $L^p$-generalization of the Lions-Magenes spaces. This framework allows the reformulation of the Robin-Robin method into a Peaceman-Rachford splitting on the interfaces of the subdomains, and the convergence analysis then follows by employing elements of the abstract theory for monotone operators. The analysis is performed on Lipschitz domains and without restrictive regularity assumptions on the solutions.


title: An Algorithm for Recommending Groceries Based on an Item Ranking Method

abstract: This research proposes a new recommender system algorithm for online grocery shopping. The algorithm is based on the perspective that, since the grocery items are usually bought in bulk, a grocery recommender system should be capable of recommending the items in bulk. The algorithm figures out the possible dishes a user may cook based on the items added to the basket and recommends the ingredients accordingly. Our algorithm does not depend on the user ratings. Customers usually do not have the patience to rate the groceries they purchase. Therefore, algorithms that are not dependent on user ratings need to be designed. Instead of using a brute force search, this algorithm limits the search space to a set of only a few probably food categories. Each food category consists of several food subcategories. For example, "fried rice" and "biryani" are food subcategories that belong to the food category "rice". For each food category, items are ranked according to how well they can differentiate a food subcategory. To each food subcategory in the activated search space, this algorithm attaches a score. The score is calculated based on the rank of the items added to the basket. Once the score exceeds a threshold value, its corresponding subcategory gets activated. The algorithm then uses a basket-to-recipe similarity measure to identify the best recipe matches within the activated subcategories only. This reduces the search space to a great extent. We may argue that this algorithm is similar to the content-based recommender system in some sense, but it does not suffer from the limitations like limited content, over-specialization, or the new user problem.


title: HH 175: A Giant HH Flow Emanating From A Multiple Protostar

abstract: HH 175 is an isolated Herbig-Haro object seen towards the B35 cloud in the lambda Ori region. We use deep Subaru 8m interference filter images and Spitzer images to show that HH 175 is a terminal shock in a large collimated outflow from the nearby embedded source IRAS 05417+0907. The body of the eastern outflow lobe is hidden by a dense ridge of gas. The western outflow breaks out of the front of the cometary-shaped B35 cloud, carrying cloud fragments along, which are optically visible due to photoionization by the massive lambda Ori stars. The total extent of the bipolar outflow is 13.7 arcmin, which at the adopted distance of 415 pc corresponds to a projected dimension of 1.65 pc. The embedded source IRAS 05417+0907 is located on the flow axis approximately midway between the two lobes, and near-infrared images show it to be a multiple system of 6 sources, with a total luminosity of 31 Lsun. Millimeter maps in CO, 13CO, and C18O show that the B35 cloud is highly structured with multiple cores, of which the one that spawned IRAS 05417+0907 is located at the apex of B35. It is likely that the embedded source is the result of compression by an ionization-shock front driven by the lambda Ori OB stars.


title: Linking ice and gas in the Lambda Orionis Barnard 35A cloud

abstract: Dust grains play an important role in the synthesis of molecules in the interstellar medium, from the simplest species to complex organic molecules. How some of these solid-state molecules are converted into gas-phase species is still a matter of debate. Our aim is to directly compare ice and gas abundances of methanol (CH$_3$OH) and CO, and to investigate the relationship between ice and gas in low-mass protostellar envelopes. We present Submillimeter Array and Atacama Pathfinder EXperiment observations of gas-phase CH$_3$OH and CO towards the multiple protostellar system IRAS05417+0907 located in the B35A cloud. We use archival AKARI ice data toward the same target to calculate CH$_3$OH and CO gas-to-ice ratios. The CO isotopologues emissions are extended, whereas the CH$_3$OH emission is compact and traces the giant outflow emanating from IRAS05417+0907. A discrepancy between submillimeter dust emission and H$_2$O ice column density is found for B35A$-$4 and B35A$-$5, similar to what has previously been reported. B35A$-$2 and B35A$-$3 are located where the submillimeter dust emission peaks and show H$_2$O column densities lower than for B35A$-$4. The difference between the submillimeter continuum emission and the infrared H$_2$O ice observations suggests that the distributions of dust and H$_2$O ice differ around the young stellar objects in this dense cloud. The reason for this may be that the sources are located in different environments resolved by the interferometric observations: B35A$-$2, B35A$-$3 and in particular B35A$-$5 are situated in a shocked region plausibly affected by sputtering and heating impacting the submillimeter dust emission pattern, while B35A$-$4 is situated in a more quiescent part of the cloud. Gas and ice maps are essential to connect small-scale variations in the ice composition with large-scale astrophysical phenomena probed by gas observations.


title: Charged ferroelectric domain walls for deterministic a.c. signal control

abstract: The direct current (d.c.) conductivity and emergent functionalities at ferroelectric domain walls are closely linked to the local polarization charges. Depending on the charge state, the walls can exhibit unusual d.c. conduction ranging from insulating to metallic-like, which is leveraged in domain-wall-based memory, multi-level data storage, and synaptic devices. In contrast to the functional d.c. behaviors at charged walls, their response to alternating currents (a.c.) remains to be resolved. Here, we reveal a.c. characteristics at positively and negatively charged walls in ErMnO3, distinctly different from the response of the surrounding domains. By combining voltage-dependent spectroscopic measurements on macroscopic and local scales, we demonstrate a pronounced non-linear response at the electrode-wall junction, which correlates with the domain-wall charge state. The dependence on the a.c. drive voltage enables reversible switching between uni- and bipolar output signals, providing conceptually new opportunities for the application of charged walls as functional nanoelements in a.c. circuitry.


title: A perspective on scaling up quantum computation with molecular spins

abstract: Artificial magnetic molecules can contribute to progressing towards large scale quantum computation by: a) integrating multiple quantum resources and b) reducing the computational costs of some applications. Chemical design, guided by theoretical proposals, allows embedding nontrivial quantum functionalities in each molecular unit, which then acts as a microscopic quantum processor able to encode error protected logical qubits or to implement quantum simulations. Scaling up even further requires 'wiring-up' multiple molecules. We discuss how to achieve this goal by the coupling to on-chip superconducting resonators. The potential advantages of this hybrid approach and the challenges that still lay ahead are critically reviewed.


title: Learning Bermudans

abstract: American and Bermudan-type financial instruments are often priced with specific Monte Carlo techniques whose efficiency critically depends on the effective dimensionality of the problem and the available computational power. In our work we focus on Bermudan Swaptions, well-known interest rate derivatives embedded in callable debt instruments or traded in the OTC market for hedging or speculation purposes, and we adopt an original pricing approach based on Supervised Learning (SL) algorithms. In particular, we link the price of a Bermudan Swaption to its natural hedges, i.e. the underlying European Swaptions, and other sound financial quantities through SL non-parametric regressions. We test different algorithms, from linear models to decision tree-based models and Artificial Neural Networks (ANN), analyzing their predictive performances. All the SL algorithms result to be reliable and fast, allowing to overcome the computational bottleneck of standard Monte Carlo simulations; the best performing algorithms for our problem result to be Ridge, ANN and Gradient Boosted Regression Tree. Moreover, using feature importance techniques, we are able to rank the most important driving factors of a Bermudan Swaption price, confirming that the value of the maximum underlying European Swaption is the prevailing feature.


title: A 3D Advancing-Front Delaunay Mesh Refinement Algorithm

abstract: I present a 3D advancing-front mesh refinement algorithm that generates a constrained Delaunay mesh for any piecewise linear complex (PLC) and extend this algorithm to produce truly Delaunay meshes for any PLC. First, as in my recently published 2D algorithm, I split the input line segments such that the length of the subsegments is asymptotically proportional to the local feature size (LFS). For each facet, I refine the mesh such that the edge lengths and the radius of the circumcircle of every triangular element are asymptotically proportional to the LFS. Finally, I refine the volume mesh to produce a constrained Delaunay mesh whose tetrahedral elements are well graded and have a radius-edge ratio less than some $\omega^* > 2/\sqrt{3}$ (except ``near'' small input angles). I extend this algorithm to generate truly Delaunay meshes by ensuring that every triangular element on a facet satisfies Gabriel's condition, i.e., its diametral sphere is empty. On an ``apex'' vertex where multiple facets intersect, Gabriel's condition is satisfied by a modified split-on-a-sphere (SOS) technique. On a line where multiple facets intersect, Gabriel's condition is satisfied by mirroring meshes near the line of intersection. The SOS technique ensures that the triangles on a facet near the apex vertex have angles that are proportional to the angular feature size (AFS), a term I define in the paper. All tetrahedra (except ``near'' small input angles) are well graded and have a radius-edge ratio less than $\omega^* > \sqrt{2}$ for a truly Delaunay mesh. The upper bounds for the radius-edge ratio are an improvement by a factor of $\sqrt{2}$ over current state-of-the-art algorithms.


title: Distributionally robust risk map for learning-based motion planning and control: A semidefinite programming approach

abstract: This paper proposes a novel safety specification tool, called the distributionally robust risk map (DR-risk map), for a mobile robot operating in a learning-enabled environment. Given the robot's position, the map aims to reliably assess the conditional value-at-risk (CVaR) of collision with obstacles whose movements are inferred by Gaussian process regression (GPR). Unfortunately, the inferred distribution is subject to errors, making it difficult to accurately evaluate the CVaR of collision. To overcome this challenge, this tool measures the risk under the worst-case distribution in a so-called ambiguity set that characterizes allowable distribution errors. To resolve the infinite-dimensionality issue inherent in the construction of the DR-risk map, we derive a tractable semidefinite programming formulation that provides an upper bound of the risk, exploiting techniques from modern distributionally robust optimization. As a concrete application for motion planning, a distributionally robust RRT* algorithm is considered using the risk map that addresses distribution errors caused by GPR. Furthermore, a motion control method is devised using the DR-risk map in a learning-based model predictive control (MPC) formulation. In particular, a neural network approximation of the risk map is proposed to reduce the computational cost in solving the MPC problem. The performance and utility of the proposed risk map are demonstrated through simulation studies that show its ability to ensure the safety of mobile robots despite learning errors.


title: Dislocation-driven relaxation processes at the conical to helical phase transition in FeGe

abstract: The formation of topological spin textures at the nanoscale has a significant impact on the long-range order and dynamical response of magnetic materials. We study the relaxation mechanisms at the conical-to-helical phase transition in the chiral magnet FeGe. By combining ac susceptibility, magnetic force microscopy measurements and micromagnetic simulations, we demonstrate how the motion of magnetic topological defects, here edge dislocations, impacts the local formation of a stable helimagnetic spin structure. Although the simulations show that the edge dislocations move with a velocity of about 100 m/s through the helimagnetic background, their dynamics are observed to disturb the magnetic order on the timescale of minutes due to pinning by randomly distributed structural defects. The results corroborate the substantial impact of dislocation motions on the nanoscale spin structure in chiral magnets, revealing previously hidden effects on the formation of helimagnetic domains and domain walls.


title: 't Hooft surface operators in five dimensions and elliptic Ruijsenaars operators

abstract: We introduce codimension three magnetically charged surface operators in five-dimensional (5d) $\mathcal{N}=1$ supersymmetric gauge on $T^2 \times \mathbb{R}^3$. We evaluate the vacuum expectation values (vevs) of surface operators by supersymmetric localization techniques. Contributions of Monopole bubbling effects to the path integral are given by elliptic genera of world volume theories on D-branes. Our result gives an elliptic deformation of the SUSY localization formula \cite{Ito:2011ea} (resp. \cite{Okuda:2019emk, Assel:2019yzd}) of BPS 't Hooft loops (resp. bare monopole operators) in 4d $\mathcal{N}=2$ (resp. 3d $\mathcal{N}=4$) gauge theories. We define deformation quantizations of vevs of surface operators in terms of the Weyl-Wigner transform, where the $\Omega$-background parameter plays the role of the Planck constant. For 5d $\mathcal{N}=1^*$ gauge theory, we find that the deformation quantization of the surface operators in the anti-symmetric representations agrees with the type A elliptic Ruijsenaars operators. The mutual commutativity of these difference operators is related to the commutativity of products of 't Hooft surface operators.


title: Shifted Hankel determinants of Catalan numbers and related results

abstract: In this (partly expository) paper we give a short overview about the close relationship between the sequence of Catalan numbers and Hankel determinants from the point of view of orthogonal polynomials and show that an analogous situation exists for more general sequences.


title: Poroelastic near-field inverse scattering

abstract: A multiphysics data analytic platform is established for imaging poroelastic interfaces of finite permeability (e.g., hydraulic fractures) from elastic waveforms and/or acoustic pore pressure measurements. This is accomplished through recent advances in design of non-iterative sampling methods to inverse scattering. The direct problem is formulated via the Biot equations in the frequency domain where a network of discontinuities is illuminated by a set of total body forces and fluid volumetric sources, while monitoring the induced (acoustic and elastic) scattered waves in an arbitrary near-field configuration. A thin-layer approximation is deployed to capture the rough and multiphase nature of interfaces whose spatially varying hydro-mechanical properties are a priori unknown. In this setting, the well-posedness analysis of the forward problem yields the admissibility conditions for the contact parameters. In light of which, the poroelastic scattering operator and its first and second factorizations are introduced and their mathematical properties are carefully examined. It is shown that the non-selfadjoint nature of the Biot system leads to an intrinsically asymmetric factorization of the scattering operator which may be symmetrized at certain limits. These results furnish a robust framework for systematic design of regularized and convex cost functionals whose minimizers underpin the multiphysics imaging indicators. The proposed solution is synthetically implemented with application to spatiotemporal reconstruction of hydraulic fracture networks via deep-well measurements.


title: The truncated moment problem on the union of parallel lines

abstract: In this article we study the bivariate truncated moment problem (TMP) of degree $2k$ on the union of parallel lines. First we present an alternative proof of Fialkow's solution \cite{Fia15} to the TMP on the union of two parallel lines (TMP--2pl) using the solution of the truncated Hamburger moment problem (THMP). We add a new equivalent solvability condition, which is then used together with the THMP, to solve the TMP on the union of three parallel lines (TMP--3pl), our second main result of the article. Finally, we establish a sufficient condition for the existence of a solution to the TMP on the union of $n$ parallel lines in the pure case, i.e.\ when the moment matrix $M_k$ is of the highest possible rank, or equivalently the only column relations come from the union of $n$ lines. The condition is based on the feasibility of a certain linear matrix inequality, corresponding to the extension of $M_k$ by adding rows and columns indexed by some monomials of degree $k+1$. The proof is by induction on $n$, where $n\geq 2$ and for the base of induction $n=2$ we use the solution of the TMP--2pl.


title: Bounds of MIN_NCC and MAX_NCC and filtering scheme for graph domain variables

abstract: Graph domain variables and constraints are an extension of constraint programming introduced by Dooms et al. This approach had been further investigated by Fages in its PhD thesis. On the other hand, Beldiceanu et al. presented a generic filtering scheme for global constraints based on graph properties. This scheme strongly relies on the computation of graph properties' bounds and can be used in the context of graph domain variables and constraints with a few adjustments. Bounds of MIN_NCC and MAX_NCC had been defined for the graph-based representation of global constraint for the path_with_loops graph class. In this note, we generalize those bounds for graph domain variables and for any graph class. We also provide a filtering scheme for any graph class and arbitrary bounds.


title: Notes on endomorphisms, local cohomology and completion

abstract: Let $M$ denote a finitely generated module over a Noetherian ring $R$. For an ideal $I \subset R$ there is a study of the endomorphisms of the local cohomology module $H^g_I(M), g = \operatorname{grade} (I,M),$ and related results. Another subject is the study of left derived functors of the $I$-adic completion $\Lambda^I_i(H^g_I(M))$, motivated by a characterization of Gorenstein rings given in the book by Simon and the author. This provides another Cohen-Macaulay criterion. The results are illustrated by several examples. There is also an extension to the case of homomorphisms of two different local cohomology modules.


title: Three-dimensional core-collapse supernovae with complex magnetic structures: I. Explosion dynamics

abstract: Magnetic fields can play a major role in the dynamics of outstanding explosions associated to violent events such as GRBs and hypernovae, since they provide a natural mechanism to harness the rotational energy of the central proto-neutron star and power relativistic jets through the stellar progenitor. As the structure of such fields is quite uncertain, most numerical models of MHD-driven core-collapse supernovae consider an aligned dipole as initial magnetic field, while the field's morphology can actually be much more complex. We present three-dimensional simulations of core-collapse supernovae with more realistic magnetic structures, such as quadrupolar fields and, for the first time, an equatorial dipolar field. Configurations other than an aligned dipole produce weaker explosions and less collimated outflows, but can at the same time be more efficient in extracting the rotational energy from the PNS. This energy is then stored in the surroundings of the PNS, rather than powering the polar jets. A significant axial dipolar component is also produced by models starting with a quadrupolar field, pointing to an effective dynamo mechanism operating in proximity of the PNS surface.


title: Unsupervised Document Expansion for Information Retrieval with Stochastic Text Generation

abstract: One of the challenges in information retrieval (IR) is the vocabulary mismatch problem, which happens when the terms between queries and documents are lexically different but semantically similar. While recent work has proposed to expand the queries or documents by enriching their representations with additional relevant terms to address this challenge, they usually require a large volume of query-document pairs to train an expansion model. In this paper, we propose an Unsupervised Document Expansion with Generation (UDEG) framework with a pre-trained language model, which generates diverse supplementary sentences for the original document without using labels on query-document pairs for training. For generating sentences, we further stochastically perturb their embeddings to generate more diverse sentences for document expansion. We validate our framework on two standard IR benchmark datasets. The results show that our framework significantly outperforms relevant expansion baselines for IR.


title: Explaining how your AI system is fair

abstract: To implement fair machine learning in a sustainable way, choosing the right fairness objective is key. Since fairness is a concept of justice which comes in various, sometimes conflicting definitions, this is not a trivial task though. The most appropriate fairness definition for an artificial intelligence (AI) system is a matter of ethical standards and legal requirements, and the right choice depends on the particular use case and its context. In this position paper, we propose to use a decision tree as means to explain and justify the implemented kind of fairness to the end users. Such a structure would first of all support AI practitioners in mapping ethical principles to fairness definitions for a concrete application and therefore make the selection a straightforward and transparent process. However, this approach would also help document the reasoning behind the decision making. Due to the general complexity of the topic of fairness in AI, we argue that specifying "fairness" for a given use case is the best way forward to maintain confidence in AI systems. In this case, this could be achieved by sharing the reasons and principles expressed during the decision making process with the broader audience.


title: Feasibility Study on Intra-Grid Location Estimation Using Power ENF Signals

abstract: The Electric Network Frequency (ENF) is a signature of power distribution networks that can be captured by multimedia recordings made in areas where there is electrical activity. This has led to an emergence of several forensic applications based on the use of the ENF signature. Examples of such applications include estimating or verifying the time-of-recording of a media signal and inferring the power grid associated with the location in which the media signal was recorded. In this paper, we carry out a feasibility study to examine the possibility of using embedded ENF traces to pinpoint the location-of-recording of a signal within a power grid. In this study, we demonstrate that it is possible to pinpoint the location-of-recording to a certain geographical resolution using power signal recordings containing strong ENF traces. To this purpose, a high-passed version of an ENF signal is extracted and it is demonstrated that the correlation between two such signals, extracted from recordings made in different geographical locations within the same grid, decreases as the distance between the recording locations increases. We harness this property of correlation in the ENF signals to propose trilateration based localization methods, which pinpoint the unknown location of a recording while using some known recording locations as anchor locations. We also discuss the challenges that need to be overcome in order to extend this work to using ENF traces in noisier audio/video recordings for such fine localization purposes.


title: Explaining Behavioural Inequivalence Generically in Quasilinear Time

abstract: We provide a generic algorithm for constructing formulae that distinguish behaviourally inequivalent states in systems of various transition types such as nondeterministic, probabilistic or weighted; genericity over the transition type is achieved by working with coalgebras for a set functor in the paradigm of universal coalgebra. For every behavioural equivalence class in a given system, we construct a formula which holds precisely at the states in that class. The algorithm instantiates to deterministic finite automata, transition systems, labelled Markov chains, and systems of many other types. The ambient logic is a modal logic featuring modalities that are generically extracted from the functor; these modalities can be systematically translated into custom sets of modalities in a postprocessing step. The new algorithm builds on an existing coalgebraic partition refinement algorithm. It runs in time $\mathcal{O}((m+n) \log n)$ on systems with $n$ states and $m$ transitions, and the same asymptotic bound applies to the dag size of the formulae it constructs. This improves the bounds on run time and formula size compared to previous algorithms even for previously known specific instances, viz. transition systems and Markov chains; in particular, the best previous bound for transition systems was $\mathcal{O}(m n)$.


title: Multipolar scattering analysis of hybrid metal-dielectric nanostructures

abstract: We perform a systematic study showing the evolution of the multipoles along with the spectra for a hybrid metal-dielectric nanoantenna, a Si cylinder and an Ag disk stacked one on top of another, as its dimensions are varied one by one. We broaden our analysis to demonstrate the "magnetic light" at energies above 1 eV by varying the height of the Ag on the Si cylinder and below 1 eV by introducing insulating spacing between them. We also explore the appearance of the anapole state along with some exceptionally narrow spectral features by varying the radius of the Ag disk.


title: Present and Future of Reconfigurable Intelligent Surface-Empowered Communications

abstract: Signal processing and communication communities have witnessed the rise of many exciting communication technologies in recent years. Notable examples include alternative waveforms, massive multiple-input multiple-output (MIMO) signaling, non-orthogonal multiple access (NOMA), joint communications and sensing, sparse vector coding, index modulation, and so on. It is inevitable that 6G wireless networks will require a rethinking of wireless communication systems and technologies, particularly at the physical layer (PHY), considering the fact that the cellular industry reached another important milestone with the development of 5G wireless networks with diverse applications. Within this perspective, this article aims to shed light on the rising concept of reconfigurable intelligent surface (RIS)-empowered communications towards 6G wireless networks. Software-defined RISs can manipulate their impinging signals in an effective way to boost certain key performance indicators. We discuss the recent developments in the field and put forward promising candidates for future research and development. Specifically, we put our emphasis on active, transmitter-type, transmissive-reflective, and standalone RISs, by discussing their advantages and disadvantages compared to reflective RIS designs. Finally, we also envision an ultimate RIS architecture, which is able to adjust its operation modes dynamically, and introduce the new concept of PHY slicing over RISs towards 6G wireless networks.


title: Misuse of the sign test in narrative synthesis of evidence

abstract: In narrative synthesis of evidence, it can be the case that the only quantitative measures available concerning the efficacy of an intervention is the direction of the effect, i.e. whether it is positive or negative. In such situations, the sign test has been proposed in the literature and in recent Cochrane guidelines as a way to test whether the proportion of positive effects is favourable. I argue that the sign test is inappropriate in this context as the data are not generated according to the Binomial distribution it employs. I demonstrate possible consequences for both hypothesis testing and estimation via hypothetical examples.


title: A Snapshot Review -- Fluctuations in Quantum Materials: From Skyrmions to Superconductivity

abstract: By measuring a linear response function directly, such as the dynamic susceptibility, one can understand fundamental material properties. However, a fresh perspective can be offered by studying fluctuations. This can be related back to the dynamic susceptibility through the fluctuation-dissipation theorem, which relates the fluctuations in a system to its response, an alternate route to access the physics of a material. Here, we describe a new x-ray tool for material characterization that will offer an opportunity to uncover new physics in quantum materials using this theorem. We provide details of the method and discuss the requisite analysis techniques in order to capitalize on the potential to explore an uncharted region of phase space. This is followed by recent results on a topological chiral magnet, together with a discussion of current work in progress. We provide a perspective on future measurements planned for work in unconventional superconductivity.


title: Bias in Knowledge Graphs -- an Empirical Study with Movie Recommendation and Different Language Editions of DBpedia

abstract: Public knowledge graphs such as DBpedia and Wikidata have been recognized as interesting sources of background knowledge to build content-based recommender systems. They can be used to add information about the items to be recommended and links between those. While quite a few approaches for exploiting knowledge graphs have been proposed, most of them aim at optimizing the recommendation strategy while using a fixed knowledge graph. In this paper, we take a different approach, i.e., we fix the recommendation strategy and observe changes when using different underlying knowledge graphs. Particularly, we use different language editions of DBpedia. We show that the usage of different knowledge graphs does not only lead to differently biased recommender systems, but also to recommender systems that differ in performance for particular fields of recommendations.


title: Superradiance of molecular nitrogen ions in strong laser fields

abstract: We perform a combined theoretical and experimental investigation of the superradiance in the quantum coherent system generated by strong laser fields. The semiclassical theory of superradiance that includes the superradiant temporal profile, character duration, time delay, intensity is derived. The experimental data and theoretical predictions of 391-nm forward emission as a function of nitrogen gas pressure are compared and show good agreement. Our results not only demonstrate that the time-delayed optical amplification inside the molecular nitrogen ions is superradiance, but also reveal the quantum optical properties of strong-field physics.


title: Generalized Parametric Space, Parity Symmetry of Reflection, and Systematic Design Approach for Parity-Time Symmetric Photonic Systems

abstract: Based on the reciprocity theorem, we put forward a generalized parametric space for an arbitrary transfer matrix with parity time (PT) symmetry. Through this space, one can extract complete information involving PT phases, reflectances, transmittance and known extraordinary scattering phenomena. We demonstrate a PT heterostructure with coherent perfect absorption-lasing, anisotropic transmission resonance, and parity symmetry of reflection coefficients at the frequencies of interest. In addition, with the parametric space and the analytical formula, the corresponding complex dielectric permittivities for a simple PT system made of a gain, a gap, and a loss media in deeply subwavelength is derived to achieve various exotic PT functionality. This work could offer an alternative route to design versatile optical and photonic PT devices.


title: Symmetry indicator in non-Hermitian systems

abstract: Recently, topological phases in non-Hermitian systems have attracted much attention because non-Hermiticity sometimes gives rise to unique phases with no Hermitian counterparts. Non-Hermitian Bloch Hamiltonians can always be mapped to doubled Hermitianized Hamiltonians with chiral symmetry, which enables us to utilize the existing framework for Hermitian systems into the classification of non-Hermitian topological phases. While this strategy succeeded in the topological classification of non-Hermitian Bloch Hamiltonians in the presence of internal symmetries, the generalization of symmetry indicators -- a way to efficiently diagnose topological phases -- to non-Hermitian systems is still elusive. In this work, we study a theory of symmetry indicators for non-Hermitian systems. We define space group symmetries of non-Hermitian Bloch Hamiltonians as ones of the doubled Hermitianized Hamiltonians. Consequently, symmetry indicator groups for chiral symmetric Hermitian systems are equivalent to those for non-Hermitian systems. Based on this equivalence, we list symmetry indicator groups for non-Hermitian systems in the presence of space group symmetries. We also discuss the physical implications of symmetry indicators for some symmetry classes. Furthermore, explicit formulas of symmetry indicators for spinful electronic systems are included in appendices.


title: A new variational model for shape graph registration with partial matching constraints

abstract: This paper introduces a new extension of Riemannian elastic curve matching to a general class of geometric structures, which we call (weighted) shape graphs, that allows for shape registration with partial matching constraints and topological inconsistencies. Weighted shape graphs are the union of an arbitrary number of component curves in Euclidean space with potential connectivity constraints between some of their boundary points, together with a weight function defined on each component curve. The framework of higher order invariant Sobolev metrics is particularly well suited for constructing notions of distances and geodesics between unparametrized curves. The main difficulty in adapting this framework to the setting of shape graphs is the absence of topological consistency, which typically results in an inadequate search for an exact matching between two shape graphs. We overcome this hurdle by defining an inexact variational formulation of the matching problem between (weighted) shape graphs of any underlying topology, relying on the convenient measure representation given by varifolds to relax the exact matching constraint. We then prove the existence of minimizers to this variational problem when we choose Sobolev metrics of sufficient regularity and a total variation (TV) regularization on the weight function. We propose a numerical optimization approach which adapts the smoothed fast iterative shrinkage-thresholding (SFISTA) algorithm to deal with TV norm minimization and allows us to reduce the matching problem to solving a sequence of smooth unconstrained minimization problems. We finally illustrate the capabilities of our new model through several examples showcasing its ability to tackle partially observed and topologically varying data.


title: Local well-posedness of a system describing laser-plasma interactions

abstract: A degenerate Zakharov system arises as a model for the description of laser-plasma interactions. It is a coupled system of a Schr\"odinger and a wave equation with a non-dispersive direction. In this paper, a new local well-posedness result for rough initial data is established. The proof is based on an efficient use of local smoothing and maximal function norms.


title: Viko: An Adaptive Gecko Gripper with Vision-based Tactile Sensor

abstract: Monitoring the state of contact is essential for robotic devices, especially grippers that implement gecko-inspired adhesives where intimate contact is crucial for a firm attachment. However, due to the lack of deformable sensors, few have demonstrated tactile sensing for gecko grippers. We present Viko, an adaptive gecko gripper that utilizes vision-based tactile sensors to monitor contact state. The sensor provides high-resolution real-time measurements of contact area and shear force. Moreover, the sensor is adaptive, low-cost, and compact. We integrated gecko-inspired adhesives into the sensor surface without impeding its adaptiveness and performance. Using a robotic arm, we evaluate the performance of the gripper by a series of grasping test. The gripper has a maximum payload of 8N even at a low fingertip pitch angle of 30 degrees. We also showcase the gripper's ability to adjust fingertip pose for better contact using sensor feedback. Further, everyday object picking is presented as a demonstration of the gripper's adaptiveness.


title: S3Net: A Single Stream Structure for Depth Guided Image Relighting

abstract: Depth guided any-to-any image relighting aims to generate a relit image from the original image and corresponding depth maps to match the illumination setting of the given guided image and its depth map. To the best of our knowledge, this task is a new challenge that has not been addressed in the previous literature. To address this issue, we propose a deep learning-based neural Single Stream Structure network called S3Net for depth guided image relighting. This network is an encoder-decoder model. We concatenate all images and corresponding depth maps as the input and feed them into the model. The decoder part contains the attention module and the enhanced module to focus on the relighting-related regions in the guided images. Experiments performed on challenging benchmark show that the proposed model achieves the 3 rd highest SSIM in the NTIRE 2021 Depth Guided Any-to-any Relighting Challenge.


title: Ensemble Feature Extraction for Multi-Container Quality-Diversity Algorithms

abstract: Quality-Diversity algorithms search for large collections of diverse and high-performing solutions, rather than just for a single solution like typical optimisation methods. They are specially adapted for multi-modal problems that can be solved in many different ways, such as complex reinforcement learning or robotics tasks. However, these approaches are highly dependent on the choice of feature descriptors (FDs) quantifying the similarity in behaviour of the solutions. While FDs usually needs to be hand-designed, recent studies have proposed ways to define them automatically by using feature extraction techniques, such as PCA or Auto-Encoders, to learn a representation of the problem from previously explored solutions. Here, we extend these approaches to more complex problems which cannot be efficiently explored by relying only on a single representation but require instead a set of diverse and complementary representations. We describe MC-AURORA, a Quality-Diversity approach that optimises simultaneously several collections of solutions, each with a different set of FDs, which are, in turn, defined automatically by an ensemble of modular auto-encoders. We show that this approach produces solutions that are more diverse than those produced by single-representation approaches.


title: APEX: A High-Performance Learned Index on Persistent Memory

abstract: The recently released persistent memory (PM) offers high performance, persistence, and is cheaper than DRAM. This opens up new possibilities for indexes that operate and persist data directly on the memory bus. Recent learned indexes exploit data distribution and have shown great potential for some workloads. However, none support persistence or instant recovery, and existing PM-based indexes typically evolve B+-trees without considering learned indexes. This paper proposes APEX, a new PM-optimized learned index that offers high performance, persistence, concurrency, and instant recovery. APEX is based on ALEX, a state-of-the-art updatable learned index, to combine and adapt the best of past PM optimizations and learned indexes, allowing it to reduce PM accesses while still exploiting machine learning. Our evaluation on Intel DCPMM shows that APEX can perform up to ~15x better than existing PM indexes and can recover from failures in ~42ms.


title: X-ray Emission from Isolated Neutron Stars revisited: 3D magnetothermal simulations

abstract: X-ray emission from the surface of isolated neutron stars (NSs) has been now observed in a variety of sources. The ubiquitous presence of pulsations clearly indicates that thermal photons either come from a limited area, possibly heated by some external mechanism, or from the entire (cooling) surface but with an inhomogeneous temperature distribution. In a NS the thermal map is shaped by the magnetic field topology, since heat flows in the crust mostly along the magnetic field lines. Self-consistent surface thermal maps can hence be produced by simulating the coupled magnetic and thermal evolution of the star. We compute the evolution of the neutron star crust in three dimensions for different initial configurations of the magnetic field and use the ensuing thermal surface maps to derive the spectrum and the pulse profile as seen by an observer at infinity, accounting for general-relativistic effects. In particular, we compare cases with a high degree of symmetry with inherently 3D ones, obtained by adding a quadrupole to the initial dipolar field. Axially symmetric fields result in rather small pulsed fractions ($\lesssim 5\%$), while more complex configurations produce higher pulsed fractions, up to $\sim25\%$. We find that the spectral properties of our axisymmetric model are close to those of the bright isolated NS RX~J1856.5-3754 at an evolutionary time comparable with the inferred dynamical age of the source.


title: AGILE Observations of Fast Radio Bursts

abstract: We report on a systematic search for hard X-ray and gamma-ray emission in coincidence with fast radio bursts (FRBs) observed by the AGILE satellite. We used 13 years of AGILE archival data searching for time coincidences between exposed FRBs and events detectable by the MCAL (0.4-100 MeV) and GRID (50 MeV-30 GeV) detectors at timescales ranging from milliseconds to days/weeks. The current AGILE sky coverage allowed us to extend the search for high-energy emission preceding and following the FRB occurrence. We considered all FRBs sources currently included in catalogues, and identified a sub-sample (15 events) for which a good AGILE exposure either with MCAL or GRID was obtained. In this paper we focus on non-repeating FRBs, compared to a few nearby repeating sources. We did not detect significant MeV or GeV emission from any event. Our hard X-ray upper limits (ULs) in the MeV energy range were obtained for timescales from sub-millisecond to seconds, and in the GeV range from minutes to weeks around event times. We focus on a sub-set of 5 non-repeating and 2 repeating FRB sources whose distances are most likely smaller than that of 180916.J0158+65 (150 Mpc). For these sources, our MeV ULs translate into ULs on the isotropically-emitted energy of about 3x10^46 erg, comparable to that observed in the 2004 giant flare from the Galactic magnetar SGR 1806-20. On average, these nearby FRBs emit radio pulses of energies significantly larger than the recently detected SGR 1935+2154 and are not yet associated with intense MeV flaring.


title: The asymptotic expansion of the Bernoulli polynomials of the second kind

abstract: We consider the Bernoulli polynomials of the second kind, which can be related to the generalised Bernoulli polynomials $B_n^{(n)}(z)$. The asymptotic expansions of the scaled polynomials $B_n^{(n)}(nz)$ are obtained as $n\to\infty$ when (i) $z$ is real and (ii) $z$ is complex bounded away from $[0,1]$. These results complement recent work of \v{S}tampach [{\it J. Approx. Theory}, {\bf 262} (2021) 105517]. Numerical results are presented to illustrate the accuracy of the different expansions obtained.


title: Learning by Design: Structuring and Documenting the Human Choices in Machine Learning Development

abstract: The influence of machine learning (ML) is quickly spreading, and a number of recent technological innovations have applied ML as a central technology. However, ML development still requires a substantial amount of human expertise to be successful. The deliberation and expert judgment applied during ML development cannot be revisited or scrutinized if not properly documented, and this hinders the further adoption of ML technologies--especially in safety critical situations. In this paper, we present a method consisting of eight design questions, that outline the deliberation and normative choices going into creating a ML model. Our method affords several benefits, such as supporting critical assessment through methodological transparency, aiding in model debugging, and anchoring model explanations by committing to a pre hoc expectation of the model's behavior. We believe that our method can help ML practitioners structure and justify their choices and assumptions when developing ML models, and that it can help bridge a gap between those inside and outside the ML field in understanding how and why ML models are designed and developed the way they are.


title: A toy model for localized to itinerant electron transitions

abstract: A toy statistical model which mimics localized-to-itinerant electron transitions is introduced. We consider a system of two types of charge carriers: (1) localized ones, and (2) itinerant ones. There is chemical equilibrium between these two. The solution of the model shows that there is a crossover, at a specific value of a local interaction energy parameter $J$, at which carriers transfer from being itinerant to a localized/mixed valence state. The model has a very crude analogy to the observed $\gamma\rta\alpha$ transition in metal cerium.


title: CSAT and CEQV for nilpotent Maltsev algebras of Fitting length > 2

abstract: The circuit satisfaction problem CSAT(A) of an algebra A is the problem of deciding whether an equation over A (encoded by two circuits) has a solution or not. While solving systems of equations over finite algebras is either in P or NP-complete, no such dichotomy result is known for CSAT(A). In fact, Idziak, Kawalek and Krzaczkowski constructed examples of nilpotent Maltsev algebras A, for which, under the assumption of ETH and an open conjecture in circuit theory, CSAT(A) can be solved in quasipolynomial, but not polynomial time. The same is true for the circuit equivalence problem CEQV(A). In this paper we generalize their result to all nilpotent Maltsev algebras of Fitting length >2. This not only advances the project of classifying the complexity of CSAT (and CEQV) for algebras from congruence modular varieties, but we also believe that the tools we developed are of independent interest in the study of nilpotent algebras.


title: Multi-modal Bifurcated Network for Depth Guided Image Relighting

abstract: Image relighting aims to recalibrate the illumination setting in an image. In this paper, we propose a deep learning-based method called multi-modal bifurcated network (MBNet) for depth guided image relighting. That is, given an image and the corresponding depth maps, a new image with the given illuminant angle and color temperature is generated by our network. This model extracts the image and the depth features by the bifurcated network in the encoder. To use the two features effectively, we adopt the dynamic dilated pyramid modules in the decoder. Moreover, to increase the variety of training data, we propose a novel data process pipeline to increase the number of the training data. Experiments conducted on the VIDIT dataset show that the proposed solution obtains the \textbf{1}$^{st}$ place in terms of SSIM and PMS in the NTIRE 2021 Depth Guide One-to-one Relighting Challenge.


title: Hybrid Intelligence

abstract: Research has a long history of discussing what is superior in predicting certain outcomes: statistical methods or the human brain. This debate has repeatedly been sparked off by the remarkable technological advances in the field of artificial intelligence (AI), such as solving tasks like object and speech recognition, achieving significant improvements in accuracy through deep-learning algorithms (Goodfellow et al. 2016), or combining various methods of computational intelligence, such as fuzzy logic, genetic algorithms, and case-based reasoning (Medsker 2012). One of the implicit promises that underlie these advancements is that machines will 1 day be capable of performing complex tasks or may even supersede humans in performing these tasks. This triggers new heated debates of when machines will ultimately replace humans (McAfee and Brynjolfsson 2017). While previous research has proved that AI performs well in some clearly defined tasks such as playing chess, playing Go or identifying objects on images, it is doubted that the development of an artificial general intelligence (AGI) which is able to solve multiple tasks at the same time can be achieved in the near future (e.g., Russell and Norvig 2016). Moreover, the use of AI to solve complex business problems in organizational contexts occurs scarcely, and applications for AI that solve complex problems remain mainly in laboratory settings instead of being implemented in practice. Since the road to AGI is still a long one, we argue that the most likely paradigm for the division of labor between humans and machines in the next decades is Hybrid Intelligence. This concept aims at using the complementary strengths of human intelligence and AI, so that they can perform better than each of the two could separately (e.g., Kamar 2016).


title: Annihilators of local cohomology modules via a classification theorem of the dominant resolving subcategories

abstract: This paper investigates when local cohomology modules have an annihilator that does not depend on the choice of an ideal. Takahashi classified the dominant resolving subcategories of the category of finitely generated modules over a commutative Noetherian ring. We show that his classification theorem describes annihilation results of local cohomology modules over a finite-dimensional ring with certain assumptions or a Cohen-Macaulay ring.


title: Heart-Darts: Classification of Heartbeats Using Differentiable Architecture Search

abstract: Arrhythmia is a cardiovascular disease that manifests irregular heartbeats. In arrhythmia detection, the electrocardiogram (ECG) signal is an important diagnostic technique. However, manually evaluating ECG signals is a complicated and time-consuming task. With the application of convolutional neural networks (CNNs), the evaluation process has been accelerated and the performance is improved. It is noteworthy that the performance of CNNs heavily depends on their architecture design, which is a complex process grounded on expert experience and trial-and-error. In this paper, we propose a novel approach, Heart-Darts, to efficiently classify the ECG signals by automatically designing the CNN model with the differentiable architecture search (i.e., Darts, a cell-based neural architecture search method). Specifically, we initially search a cell architecture by Darts and then customize a novel CNN model for ECG classification based on the obtained cells. To investigate the efficiency of the proposed method, we evaluate the constructed model on the MIT-BIH arrhythmia database. Additionally, the extensibility of the proposed CNN model is validated on two other new databases. Extensive experimental results demonstrate that the proposed method outperforms several state-of-the-art CNN models in ECG classification in terms of both performance and generalization capability.


title: Comparison Analysis of Facebook's Prophet, Amazon's DeepAR+ and CNN-QR Algorithms for Successful Real-World Sales Forecasting

abstract: By successfully solving the problem of forecasting, the processes in the work of various companies are optimized and savings are achieved. In this process, the analysis of time series data is of particular importance. Since the creation of Facebook's Prophet, and Amazon's DeepAR+ and CNN-QR forecasting models, algorithms have attracted a great deal of attention. The paper presents the application and comparison of the above algorithms for sales forecasting in distribution companies. A detailed comparison of the performance of algorithms over real data with different lengths of sales history was made. The results show that Prophet gives better results for items with a longer history and frequent sales, while Amazon's algorithms show superiority for items without a long history and items that are rarely sold.


title: ResVGAE: Going Deeper with Residual Modules for Link Prediction

abstract: Graph autoencoders are efficient at embedding graph-based data sets. Most graph autoencoder architectures have shallow depths which limits their ability to capture meaningful relations between nodes separated by multi-hops. In this paper, we propose Residual Variational Graph Autoencoder, ResVGAE, a deep variational graph autoencoder model with multiple residual modules. We show that our multiple residual modules, a convolutional layer with residual connection, improve the average precision of the graph autoencoders. Experimental results suggest that our proposed model with residual modules outperforms the models without residual modules and achieves similar results when compared with other state-of-the-art methods.


title: Graph Learning: A Survey

abstract: Graphs are widely used as a popular representation of the network structure of connected data. Graph data can be found in a broad spectrum of application domains such as social systems, ecosystems, biological networks, knowledge graphs, and information systems. With the continuous penetration of artificial intelligence technologies, graph learning (i.e., machine learning on graphs) is gaining attention from both researchers and practitioners. Graph learning proves effective for many tasks, such as classification, link prediction, and matching. Generally, graph learning methods extract relevant features of graphs by taking advantage of machine learning algorithms. In this survey, we present a comprehensive overview on the state-of-the-art of graph learning. Special attention is paid to four categories of existing graph learning methods, including graph signal processing, matrix factorization, random walk, and deep learning. Major models and algorithms under these categories are reviewed respectively. We examine graph learning applications in areas such as text, images, science, knowledge graphs, and combinatorial optimization. In addition, we discuss several promising research directions in this field.