title: BERT-based Chinese Text Classification for Emergency Domain with a Novel Loss Function

abstract: This paper proposes an automatic Chinese text categorization method for solving the emergency event report classification problem. Since bidirectional encoder representations from transformers (BERT) has achieved great success in natural language processing domain, it is employed to derive emergency text features in this study. To overcome the data imbalance problem in the distribution of emergency event categories, a novel loss function is proposed to improve the performance of the BERT-based model. Meanwhile, to avoid the impact of the extreme learning rate, the Adabound optimization algorithm that achieves a gradual smooth transition from Adam to SGD is employed to learn parameters of the model. To verify the feasibility and effectiveness of the proposed method, a Chinese emergency text dataset collected from the Internet is employed. Compared with benchmarking methods, the proposed method has achieved the best performance in terms of accuracy, weighted-precision, weighted-recall, and weighted-F1 values. Therefore, it is promising to employ the proposed method for real applications in smart emergency management systems.


title: Temporal characterization of electron dynamics in attosecond XUV and infrared laser fields

abstract: We use a Wigner distribution-like function based on the strong field approximation theory to obtain the time-energy distributions and the ionization time distributions of electrons ionized by an XUV pulse alone and in the presence of an infrared (IR) pulse. In the case of a single XUV pulse, although the overall shape of the ionization time distribution resembles the XUV-envelope, its detail shows dependence on the emission direction of the electron and the carrier-envelope phase of the pulse, which mainly results from the low-energy interference structure. It is further found that the electron from the counter-rotating term plays an important role in the interference. In the case of the two-color pulse, both the time-energy distributions and the ionization time distributions change with varying IR field. Our analysis demonstrates that the IR field not only modifies the final electron kinetic energy but also changes the electron's emission time, which results from the change of the electric field induced by the IR pulse. Moreover, the ionization time distributions of the photoelectrons emitted from atoms with higher ionization energy are also given, which show less impact of the IR field on the electron dynamics.


title: A Riemannian smoothing steepest descent method for non-Lipschitz optimization on submanifolds

abstract: In this paper, we propose a Riemannian smoothing steepest descent method to minimize a nonconvex and non-Lipschitz function on submanifolds. The generalized subdifferentials on Riemannian manifold and the Riemannian gradient sub-consistency are defined and discussed. We prove that any accumulation point of the sequence generated by the Riemannian smoothing steepest descent method is a stationary point associated with the smoothing function employed in the method, which is necessary for the local optimality of the original non-Lipschitz problem. Under the Riemannian gradient sub-consistency condition, we also prove that any accumulation point is a Riemannian limiting stationary point of the original non-Lipschitz problem. Numerical experiments are conducted to demonstrate the efficiency of the proposed method.


title: 3D Ensemble-Based Online Oceanic Flow Field Estimation for Underwater Glider Path Planning

abstract: Estimating ocean flow fields in 3D is a critical step in enabling the reliable operation of underwater gliders and other small, low-powered autonomous marine vehicles. Existing methods produce depth-averaged 2D layers arranged at discrete vertical intervals, but this type of estimation can lead to severe navigation errors. Based on the observation that real-world ocean currents exhibit relatively low velocity vertical components, we propose an accurate 3D estimator that extends our previous work in estimating 2D flow fields as a linear combination of basis flows. The proposed algorithm uses data from ensemble forecasting to build a set of 3D basis flows, and then iteratively updates basis coefficients using point measurements of underwater currents. We report results from experiments using actual ensemble forecasts and synthetic measurements to compare the performance of our method to the direct 3D extension of the previous work. These results show that our method produces estimates with dramatically lower error metrics, with and without measurement noise.


title: Energy Storage System (ESS) for Compensating Unbalanced Multi-microgrids Using Modified Reverse Droop Control

abstract: The connection of single-phase microgrids (MG) and loads to three-phase MGs creates power quality problems such as unbalanced voltage and voltage rise at the point of common coupling (PCC) of the MGs. In this paper, a modified reverse droop control (MRDC) scheme in the Energy Storage System (ESS) is proposed to improve the three-phase PCC voltage quality in multi-microgrids (MMG). The MRDC consists of a reactive power compensator (RPC) and a voltage compensator. The controller regulates the reactive power and voltage unbalance of the MMG by using the reactive power produced by the ESS. The effectiveness of this proposed scheme is verified in real-time simulation using the Opal-RT OP5600 real-time simulator. The voltage unbalance factor (VUF) at the PCC is decreased from 3.6 percent to 0.25 percent, while the reactive power is reduced significantly at the single-phase load.


title: Improving Power Quality and Power Sharing in Unbalanced Multi-Microgrids Using Energy Storage System

abstract: The integration of single-phase distributed generations (DG) and unbalanced loads to three-phase DGs brings challenges to the operating system of the microgrids (MGs). These challenges include unbalanced voltage and unequal power flow at the point of common coupling (PCC) of the MGs. The aim of this paper is to develop an Energy Storage System (ESS) with multi-function control for islanded multi-microgrids (MMG) consisting of single and three PV-DGs to enhance its power quality and power-sharing of the MMGs. The proposed multi-function control consists of a reactive power compensation (RPC), a PCC power balance regulator (PBR), and a reactive power sharing algorithm (RPSA). The RPC and the PBR improve the three-phase PCC voltage and power unbalance of the MMG and the RPSA regulates the reactive power-sharing among the MMGs. The proposed strategy is experimentally validated on the Opal-RT OP5600 real-time simulator. The voltage unbalance factor (VUF) at the PCC is reduced from 4.3 percent to 0.03 percent, while the three-phase and the single-phase reactive powers are shared proportionally between different rated DGs.


title: TaylorMade VDD: Domain-adaptive Visual Defect Detector for High-mix Low-volume Production of Non-convex Cylindrical Metal Objects

abstract: Visual defect detection (VDD) for high-mix low-volume production of non-convex metal objects, such as high-pressure cylindrical piping joint parts (VDD-HPPPs), is challenging because subtle difference in domain (e.g., metal objects, imaging device, viewpoints, lighting) significantly affects the specular reflection characteristics of individual metal object types. In this paper, we address this issue by introducing a tailor-made VDD framework that can be automatically adapted to a new domain. Specifically, we formulate this adaptation task as the problem of network architecture search (NAS) on a deep object-detection network, in which the network architecture is searched via reinforcement learning. We demonstrate the effectiveness of the proposed framework using the VDD-HPPPs task as a factory case study. Experimental results show that the proposed method achieved higher burr detection accuracy compared with the baseline method for data with different training/test domains for the non-convex HPPPs, which are particularly affected by domain shifts.


title: Quantum Enhanced Cavity QED Interferometer with Partially Delocalized Atoms in Lattices

abstract: We propose a quantum enhanced interferometric protocol for gravimetry and force sensing using cold atoms in an optical lattice supported by a standing-wave cavity. By loading the atoms in partially delocalized Wannier-Stark states, it is possible to cancel the undesirable inhomogeneities arising from the mismatch between the lattice and cavity fields and to generate spin squeezed states via a uniform one-axis twisting model. The quantum enhanced sensitivity of the states is combined with the subsequent application of a compound pulse sequence that allows to separate atoms by several lattice sites. This, together with the capability to load small atomic clouds in the lattice at micrometric distances from a surface, make our setup ideal for sensing short-range forces. We show that for arrays of $10^4$ atoms, our protocol can reduce the required averaging time by a factor of $10$ compared to unentangled lattice-based interferometers after accounting for primary sources of decoherence.


title: Alignment of Stakeholder Expectations about User Involvement in Agile Software Development

abstract: Context: User involvement is generally considered to contributing to user satisfaction and project success and is central to Agile software development. In theory, the expectations about user involvement, such as the PO's, are quite demanding in this Agile way of working. But what are the expectations seen in practice, and are the expectations of user involvement aligned among the development team and users? Any misalignment could contribute to conflict and miscommunication among stakeholders that may result in ineffective user involvement. Objective: Our aim is to compare and contrast the expectations of two stakeholder groups (software development team, and software users) about user involvement in order to understand the expectations and assess their alignment. Method: We have conducted an exploratory case study of expectations about user involvement in an Agile software development. Qualitative data was collected through interviews to design a novel method for the assessing the alignment of expectations about user involvement by applying Repertory Grids (RG). Results: By aggregating the results from the interviews and RGs, varying degrees of expectation alignments were observed between the development team and user representatives. Conclusion: Alignment of expectations can be assessed in practice using the proposed RG instrument and can reveal misalignment between user roles and activities they participate in Agile software development projects. Although we used RG instrument retrospectively in this study, we posit that it could also be applied from the start of a project, or proactively as a diagnostic tool throughout a project to assess and ensure that expectations are aligned.


title: Granger Causality Based Hierarchical Time Series Clustering for State Estimation

abstract: Clustering is an unsupervised learning technique that is useful when working with a large volume of unlabeled data. Complex dynamical systems in real life often entail data streaming from a large number of sources. Although it is desirable to use all source variables to form accurate state estimates, it is often impractical due to large computational power requirements, and sufficiently robust algorithms to handle these cases are not common. We propose a hierarchical time series clustering technique based on symbolic dynamic filtering and Granger causality, which serves as a dimensionality reduction and noise-rejection tool. Our process forms a hierarchy of variables in the multivariate time series with clustering of relevant variables at each level, thus separating out noise and less relevant variables. A new distance metric based on Granger causality is proposed and used for the time series clustering, as well as validated on empirical data sets. Experimental results from occupancy detection and building temperature estimation tasks show fidelity to the empirical data sets while maintaining state-prediction accuracy with substantially reduced data dimensionality.


title: The gravitational form factor D(t) of the electron

abstract: The electron-graviton interaction can be described in terms of the gravitational form factors of the QED energy momentum tensor. Here we focus on the form factor D(t), and we examine its properties and its interpretation in terms of internal forces at one-loop accuracy in QED. We perform the calculation by keeping separate the contributions due to the electron and the photon parts of the energy momentum tensor. We also study the case of a nonzero photon mass. Furthermore, we discuss similarities with and differences to the form factor D(t) of hadronic bound states.


title: Beyond the Dichotomy: How Ride-hailing Competes with and Complements Public Transport

abstract: Since ride-hailing has become an important travel alternative in many cities worldwide, a fervent debate is underway on whether it competes with or complements public transport services. We use Uber trip data in six cities in the United States and Europe to identify the most attractive public transport alternative for each ride. We then address the following questions: (i) How does ride-hailing travel time and cost compare to the fastest public transport alternative? (ii) What proportion of ride-hailing trips that do not have a viable public transport alternative? (iii) How does ride-hailing change overall service accessibility? (iv) What is the relation between demand share and relative competition between the two alternatives? Our findings suggest that the dichotomy - competing with or complementing - is false. Though the vast majority of ride-hailing trips have a viable public transport alternative, between 20% and 40% of them have no viable public transport alternative. The increased service accessibility attributed to the inclusion of ride-hailing is greater in our US cities than in their European counterparts. Demand split is directly related to the relative competitiveness of travel times i.e. when public transport travel times are competitive ride-hailing demand share is low and vice-versa.


title: Ride-pooling potential under alternative spatial demand patterns

abstract: Shared rides are often considered to be a promising travel alternative that could efficiently pool people together while offering a door-to-door service. Notwithstanding, even though demand distribution patterns are expected to greatly affect the potential for ride-pooling, their impact remains unknown. In this study we explore the shareability of various demand patterns. We devise a set of experiments tailored to identify the most promising demand patterns for introducing ride-pooling services by varying the number of centers, the dispersion of destinations around each of these centers and the trip length distribution. When matching trips into rides, we do not only ensure their mutual compatibility in time and space but also that shared rides are only composed by travellers who find the ride-pooling offer to be more attractive than the private ride-hailing alternative given the trade-offs between travel time, fare and discomfort. We measure the shareability potential using a series of metrics related to the extent to which passenger demand can be assigned to shared rides. Our findings indicate that introducing a ride-pooling service can reduce vehicle-hours by 18-59% under a fixed demand level and depending on the concentration of travel destinations around the center and the trip length distribution. System efficiency correlates positively with the former and negatively with the latter. A shift from a monocentric to a polycentric demand pattern is found to have a limited impact on the prospects of shared rides.


title: Stochastic periodic orbits in fast-slow systems with self-induced stochastic resonance

abstract: Noise is ubiquitous in various systems. In systems with multiple timescales, noise can induce various coherent behaviors. Self-induced stochastic resonance (SISR) is a typical noise-induced phenomenon identified in such systems, wherein noise acting on the fast subsystem causes stochastic resonancelike boundary crossings. In this paper, we analyze the stochastic periodic orbits caused by SISR in fast-slow systems. By introducing the notion of the mean first passage velocity toward the boundary, a distance matching condition is established, through which the critical transition position of boundary crossing can be calculated. The theoretical stochastic periodic orbit can be accordingly obtained via gluing the dynamics along the slow manifolds. It is shown that the theoretical predictions are in excellent agreement with the results of Monte Carlo simulations for a piecewise linear FitzHugh-Nagumo system even for large noise. Furthermore, the proposed method is extended to the original FitzHugh-Nagumo system and also found to exhibit consistent accuracy. These results provide insights into the mechanisms of coherent behaviors in fast-slow systems and will shed light on the coherent behaviors in more complex systems and large networks.


title: Conductivity influence on interfacial waves in liquid metal batteries and related two-layer systems

abstract: Fluid flows in liquid metal batteries can be generated by a number of effects. We start with a short overview of different driving mechanisms and then address questions specific to the metal pad role instabilities in three-layer systems. We focus on the role of the conductivity distribution in the cell, noting at the same time that interfacial tension should be considered as well for smaller cells. Following this discussion, numerical results on the excitation of interfacial waves in two-layer liquid metal systems with miscibility gaps bearing an interface normal electric current are presented. Confirming recent results from the literature, we find that magnetic damping plays a decisive role for strong vertical magnetic fields. In addition, boundary conditions for the electric field strongly influence critical currents and growth rates.


title: Spatial phase sensitivity for oscillators close to the saddle-node homoclinic bifurcation

abstract: The traditional phase sensitivity function (PSF) has manifested its efficacy in investigating synchronization behaviors for limit-cycle oscillators. However, some subtle details may be ignored when the phase value is accumulated in space or the perturbation is space-dependent. In this paper, we compared spatial PSF with the traditional PSF for oscillators close to the saddle-node homoclinic (SNH) bifurcation, also known as saddle-node on invariant circle (SNIC) bifurcation. It is found that the spatial phase sensitivity function could reveal the phase accumulation feature on the limit cycle. Moreover, it is proved that for any two-dimensional smooth dynamical system, type II phase response curve is the only possible type. Finally, the synchronization distributions of uncoupled SNH oscillator driven by common and independent noises are studied, which shows the space-dependent coupling function of common noise could have significant influences on the synchronization behavior.


title: Lyapunov optimizing measures and periodic measures for $C^2$ expanding maps

abstract: We prove that there exists an open and dense subset $\mathcal{U}$ in the space of $C^{2}$ expanding self-maps of the circle $\mathbb{T}$ such that the Lyapunov minimizing measures of any $T\in{\mathcal U}$ are uniquely supported on a periodic orbit.This answers a conjecture of Jenkinson-Morris in the $C^2$ topology.


title: What is the ground truth? Reliability of multi-annotator data for audio tagging

abstract: Crowdsourcing has become a common approach for annotating large amounts of data. It has the advantage of harnessing a large workforce to produce large amounts of data in a short time, but comes with the disadvantage of employing non-expert annotators with different backgrounds. This raises the problem of data reliability, in addition to the general question of how to combine the opinions of multiple annotators in order to estimate the ground truth. This paper presents a study of the annotations and annotators' reliability for audio tagging. We adapt the use of Krippendorf's alpha and multi-annotator competence estimation (MACE) for a multi-labeled data scenario, and present how MACE can be used to estimate a candidate ground truth based on annotations from non-expert users with different levels of expertise and competence.


title: Sparse Channel Estimation in Wideband Systems with Geometric Sequence Decomposition

abstract: The sparsity of multipaths in the wideband channel has motivated the use of compressed sensing for channel estimation. In this letter, we propose a different approach to sparse channel estimation. We exploit the fact that $L$ taps of channel impulse response in time domain constitute a non-orthogonal superposition of $L$ geometric sequences in frequency domain. This converts the channel estimation problem into the extraction of the parameters of geometric sequences. Numerical results show that the proposed scheme is superior to existing algorithms in high signal-to-noise ratio (SNR) and large bandwidth conditions.


title: Are superthin galaxies low surface brightness galaxies seen edge-on? The star formation probe

abstract: Superthin galaxies (STs) are edge-on disc galaxies with strikingly high planar-to-vertical axes ratios of $\sim 10 - 20$ with no bulge component, and central surface brightness in $B$-band $>$ 23 mag arcsec$^{-2}$ comparable to low surface brightness galaxies (LSBs). Although STs and LSBs have similar dynamical, stellar and atomic hydrogen (HI) masses on an average, it is tricky to conclude if they constitute the same galaxy population, given the edge-on and face-on orientations of the STs and the LSBs respectively. We systematically study star formation rate (SFR) in a sample of STs and LSBs using SED fitting of photometric data in ten bands including GALEX: FUV, NUV, SDSS: u,g,r,i,z \& 2MASS: J, H, Ks using stellar population synthesis models employing the publicly-available software MAGPHYS (Multi-Wavelength Analysis of Galaxy Physical Properties). The estimated median SFRs for LSBs and STs are $0.4^{+2.2}_{-0.3} $ $M_{\odot}yr^{-1}$ \& $0.2^{+0.9}_{-0.2}$ $M_{\odot}yr^{-1}$ respectively. Our calculations indicate that this deficit in the SFR of an ST can be attributed to inclination and opacity effects. Therefore, we conclude that STs and LSBs have equal intrinsic SFR over and above other physical properties, which possibly implies that STs are just LSBs seen in edge-on.


title: FLOW Mapping: Planning and Managing Communication in Distributed Teams

abstract: Distributed software development is more difficult than co-located software development. One of the main reasons is that communication is more difficult in distributed settings. Defined processes and artifacts help, but cannot cover all information needs. Not communicating important project information, decisions and rationales can result in duplicate or extra work, delays or even project failure. Planning and managing a distributed project from an information flow perspective helps to facilitate available communication channels right from the start - beyond the documents and artifacts which are defined for a given development process. In this paper we propose FLOW Mapping, a systematic approach for planning and managing information flows in distributed projects. We demonstrate the feasibility of our approach with a case study in a distributed agile class room project. FLOW Mapping is sufficient to plan communication and to measure conformance to the communication strategy. We also discuss cost and impact of our approach.


title: A Roadmap for Controlled and Efficient n-type Doping of Self-assisted GaAs Nanowires Grown by Molecular Beam Epitaxy

abstract: N-type doping of GaAs nanowires has proven to be difficult because the amphoteric character of silicon impurities is enhanced by the nanowire growth mechanism and growth conditions. The controllable growth of n-type GaAs nanowires with carrier density as high as 1020 electron/cm3 by self-assisted molecular beam epitaxy using Te donors is demonstrated here. Carrier density and electron mobility of highly doped nanowires are extracted through a combination of transport measurement and Kelvin probe force microscopy analysis in single-wire field-effect devices. Low-temperature photoluminescence is used to characterize the Te-doped nanowires over several orders of magnitude of the impurity concentration. The combined use of those techniques allows the precise definition of the growth conditions required for effective Te incorporation.


title: Modelling radio luminosity functions of radio-loud AGN by the cosmological evolution of supermassive black holes

abstract: We develop a formalism to model the luminosity functions (LFs) of radio-loud Active Galactic Nuclei (AGN) at GHz frequencies by the cosmological evolution of the supermassive black hole (SMBH). The mass function and Eddington ratio distributions of SMBHs have been taken as starting point for this analysis. Our approach is based on physical and phenomenological relations that allow to statistically calculate the radio luminosity of AGN cores, corrected for beaming effects, by linking it with the SMBH at their center, through the Fundamental Plane of black hole activity. Moreover, radio luminosity from extended jets and lobes is also computed through a power-law relationship that reflects the expected correlation between the inner radio core and the extended jets/lobes. Radio-loud AGN are further divided in two classes, characterized by different accretion modes onto the central BH. If the Eddington ratio is <0.01 they are called low-kinetic (LK-mode) AGN; if >0.01, they are called high-kinetic (HK-mode) AGN, being this critical value roughly corresponding to the transition between radiatively inefficient and efficient accretion flows. The few free parameters used in the present model are determined by fitting two different types of observational data sets: local LFs of radio-loud AGN at 1.4 GHz and differential number counts of extragalactic radio sources at 1.4 and 5 GHz. Our present model fits well almost all published data on LFs of LK-mode AGN and of the total AGN population up to redshifts z<=1.5 and, moreover, in the full range of luminosities currently probed by data. On the other hand, it tends to underestimate some recent measures of the LF of HK-mode AGN at low redshifts, but only at low radio luminosities. The present model is also able to provide a very good fit to almost all data on number counts of radio-loud sources at 1.4 and 5 GHz. (abridged)


title: Peaks are preserved under run-sorting

abstract: We study a sorting procedure (run-sorting) on permutations, where runs are rearranged in lexicographic order. We describe a rather surprising bijection on permutations on length $n$, with the property that it sends the set of peak-values to the set of peak-values after run-sorting. We also prove that the expected number of descents in a permutation $\sigma \in S_{n}$ after run-sorting is equal to $(n-2)/3$. Moreover, we provide a closed form of the exponential generating function introduced by Nabawanda, Rakotondrajao and Bamunoba in 2020, for the number of run-sorted permutations of $[n]$, ($RSP(n)$) having $k$ runs, which gives a new interpretation to the sequence A124324 in the Online Encyclopedia of Integer Sequences. We show that the descent generating polynomials, $A_{n}(t)$ for $RSP(n)$ are real rooted, and satisfy an interlacing property similar to that satisfied by the Eulerian polynomials. Finally, we study run-sorted binary words and compute the expected number of descents after run-sorting a binary word of length $n$.


title: The NTNU Taiwanese ASR System for Formosa Speech Recognition Challenge 2020

abstract: This paper describes the NTNU ASR system participating in the Formosa Speech Recognition Challenge 2020 (FSR-2020) supported by the Formosa Speech in the Wild project (FSW). FSR-2020 aims at fostering the development of Taiwanese speech recognition. Apart from the issues on tonal and dialectical variations of the Taiwanese language, speech artificially contaminated with different types of real-world noise also has to be dealt with in the final test stage; all of these make FSR-2020 much more challenging than before. To work around the under-resourced issue, the main technical aspects of our ASR system include various deep learning techniques, such as transfer learning, semi-supervised learning, front-end speech enhancement and model ensemble, as well as data cleansing and data augmentation conducted on the training data. With the best configuration, our system obtains 13.1 % syllable error rate (SER) on the final-test set, achieving the first place among all participating systems on Track 3.


title: On Lagrangian Intermittency from 4-D Particle Tracking Velocimetry measurements of a turbulent von K\'{a}rm\'{a}n flow

abstract: We investigate the ability of 4D Particle Tracking Velocimetry measurements at high particle density to explore intermittency and irreversibility in a turbulent swirling flow at various Reynolds numbers. For this, we devise suitable tools to remove the experimental noise, and compute the statistics of both Lagrangian velocity increments and wavelet coefficients of the Lagrangian power (the time derivative of the kinetic energy along a trajectory). We show that the signature of noise is strongest on short trajectories, and results in deviations from the regularity condition at small time scales. Considering only long trajectories to get rid of such effect, we obtain scaling regimes that are compatible with a reduced intermittency, meaning that long trajectories are also associated with areas of larger regularity. The scaling laws, both in time and Reynolds number, can be described by the multifractal model, with a log-normal spectrum and an intermittency parameter that is three times smaller than in the Eulerian case, where all the areas of the flow are taken into account.


title: Local tissue effects and peri-implant bone healing induced by implant surface treatment: an in vivo study in the sheep

abstract: Objective: The aim of this study was to assess, through biological analysis, the local effects and osseointegration of dental implants incorporating surface micro/nanofeatures compared to implants of identical design without surface treatment. Background: Known to impact bone cell behavior, surface chemical and topography modifications target improved osseointegration and long-term success of dental implants. Very few studies assess the performance of implants presenting both micro-and nanofeatures in vivo on the animal models used in preclinical studies for medical device certification. Methods: Implant surfaces were characterized in terms of topography and surface chemical composition. After 4 weeks and 13 weeks of implantation in sheep femoral condyles, forty implants were evaluated through micro-computed tomography, histopathologic, and histomorphometric analyses. Results: No local adverse effects were observed around implants. Histomorphometric analyses showed significantly higher bone-to-implant contact in the coronal region of the surface treated implant at week 4 and week 13, respectively 79.3$\pm$11.2% and 86.4$\pm$6.7%, compared to the untreated implant's 68.3$\pm$8.8% and 74.8$\pm$13%. Micro-computed tomography analyses revealed that healing patterns differed between coronal and apical regions, with higher coronal boneto-implant contact at week 13. Histopathologic results showed, at week 13, bone healing around the surface treated implant with undistinguishable defect margins while the untreated implant still presented bone condensation and traces of the initial drill defect. Conclusion: Our results suggest that the surface treated implant not only shows no deleterious effects on local tissues but also promotes faster bone healing around the implant. (word count: 241


title: A Theory of Heap for Constrained Horn Clauses (Extended Technical Report)

abstract: Constrained Horn Clauses (CHCs) are an intermediate program representation that can be generated by several verification tools, and that can be processed and solved by a number of Horn solvers. One of the main challenges when using CHCs in verification is the encoding of heap-allocated data-structures: such data-structures are today either represented explicitly using the theory of arrays, or transformed away with the help of invariants or refinement types, defeating the purpose of CHCs as a representation that is language-independent as well as agnostic of the algorithm implemented by the Horn solver. This paper presents an SMT-LIB theory of heap tailored to CHCs, with the goal of enabling a standard interchange format for programs with heap data-structures. We introduce the syntax of the theory of heap, define its semantics in terms of axioms and using a reduction to SMT-LIB arrays and data-types, and discuss its properties and outline possible extensions and future work.


title: $Q$-polynomial coherent configurations

abstract: Coherent configurations are a generalization of association schemes. In this paper, we introduce the concept of $Q$-polynomial coherent configurations and study the relationship among intersection numbers, Krein numbers, and eigenmatrices. The examples of $Q$-polynomial coherent configurations are provided from Delsarte designs in $Q$-polynomial schemes and spherical designs.


title: Inequalities for rational functions with prescribed poles

abstract: For rational functions, we use simple but elegant techniques to strengthen generalizations of certain results which extend some widely known polynomial inequalities of Erd\"os-Lax and Tur\'an to rational functions R. In return these reinforced results, in the limiting case, lead to the corresponding refinements of the said polynomial inequalities. As an illustration and as an application of our results, we obtain some new improvements of the Erd\'os-Lax and Tur\'an type inequalities for polynomials. These improved results take into account the size of the constant term and the leading coefficient of the given polynomial. As a further factor of consideration, during the course of this paper we shall demonstrate how some recently obtained results due to S. L. Wali and W. M. Shah, [Some applications of Dubinin's lemma to rational functions with prescribed poles, J. Math.Anal.Appl.450 (2017) 769-779], could have been proved without invoking the results


title: Monostability and bistability of biological switches

abstract: Cell-fate transition can be modeled by ordinary differential equations (ODEs) which describe the behavior of several molecules in interaction, and for which each stable equilibrium corresponds to a possible phenotype (or 'biological trait'). In this paper, we focus on simple ODE systems modeling two molecules which each negatively (or positively) regulate the other. It is well-known that such models may lead to monostability or multistability, depending on the selected parameters. However, extensive numerical simulations have led systems biologists to conjecture that in the vast majority of cases, there cannot be more than two stable points. Our main result is a proof of this conjecture. More specifically, we provide a criterion ensuring at most bistability, which is indeed satisfied by most commonly used functions. This includes Hill functions, but also a wide family of convex and sigmoid functions. We also determine which parameters lead to monostability, and which lead to bistability, by developing a more general framework encompassing all our results.


title: Deepest Voting: a new way of electing

abstract: This article aims to present a unified framework for grading-based voting processes. The idea is to represent the grades of each voter on d candidates as a point in R^d and to define the winner of the vote using the deepest point of the scatter plot. The deepest point is obtained by the maximization of a depth function. Universality, unanimity, and neutrality properties are proved to be satisfied. Monotonicity and Independence to Irrelevant Alternatives are also studied. It is shown that usual voting processes correspond to specific choices of depth functions. Finally, some basic paradoxes are explored for these voting processes.


title: On the minimum spanning tree problem in imprecise set-up

abstract: In this article, we study the Euclidean minimum spanning tree problem in an imprecise setup. The problem is known as the \emph{Minimum Spanning Tree Problem with Neighborhoods} in the literature. We study the problem where the neighborhoods are represented as non-crossing line segments. Given a set ${\cal S}$ of $n$ disjoint line segments in $I\!\!R^2$, the objective is to find a minimum spanning tree (MST) that contains exactly one end-point from each segment in $\cal S$ and the cost of the MST is minimum among $2^n$ possible MSTs. We show that finding such an MST is NP-hard in general, and propose a $2\alpha$-factor approximation algorithm for the same, where $\alpha$ is the approximation factor of the best-known approximation algorithm to compute a minimum cost Steiner tree in an undirected graph with non-negative edge weights. As an implication of our reduction, we can show that the unrestricted version of the problem (i.e., one point must be chosen from each segment such that the cost of MST is as minimum as possible) is also NP-hard. We also propose a parameterized algorithm for the problem based on the "separability" parameter defined for segments.


title: Quantitative Complementarity of Wave-Particle Duality

abstract: To test the principle of complementarity and wave-particle duality quantitatively, we need a quantum composite system that can be controlled by experimental parameters. Here, we demonstrate that a double-path interferometer consisting of two parametric downconversion crystals seeded by coherent idler fields, where the generated coherent signal photons are used for quantum interference and the conjugate idler fields are used for which-path detectors with controllable fidelity, is useful for elucidating the quantitative complementarity. We show that the source purity $\mu_s$ is tightly bounded by the entanglement measure $E$ by the relation $\mu_s=\sqrt{1-E^2 }$ and the visibility $V$ and detector fidelity $F$ determine the coherence of the quantons, i.e., $C = V|F|$. The quantitative complementarity of the double-path interferometer we developed recently is explained in terms of the quanton-detector entanglement or quanton source purity that are expressed as functions of injected seed photon numbers. We further suggest that the experimental scheme utilizing two stimulated parametric downconversion processes is an ideal tool for investigating and understanding wave-particle duality and complementarity quantitatively.


title: Catalogue of wide binary, trinary and quaternary candidates from the Gaia data release 2 (region $\left\vert b\right\vert >25\,\deg$)

abstract: The occurrence of multiple stars, dominantly binaries, is studied using the \textit{Gaia}-ESA DR2 catalogue. We apply the optimized statistical method that we previously developed for the analysis of 2D patterns. The field of stars is divided into a mosaic of small pieces, which represent a statistical set for analysis. Specifically, data input is represented by a grid of circles (events) with radius $0.02\,\deg$ covering the sky in the field of galactic latitude $\left\vert b\right\vert >25\,\deg$. The criteria for selecting candidates for multiple stars are based on two parameters: angular separation and collinearity of proper motion. Radial separation, due to limited accuracy, is used only as a weaker supplementary constraint. Due attention is paid to the accurate calculation of the background, which is a necessary input for evaluating the quality of the candidates. Our selection algorithm generates the catalogue of candidates: $900,842$ binaries, $5,282$ trinaries and $30$ quaternaries.


title: Application of blockchain for secure data transmission in distributed state estimation

abstract: The application of renewable energy sources in the power grid increases the necessity of tracking the system's state, especially in smart grids, where there is a bidirectional transfer of data and power. The complexity of coupling between communication and the electrical infrastructure in a smart grid will create a higher chance for security breach. Increasing the state estimation accuracy will help the smart grid operator efficiently manage the system. The paper proposes an integration of distributed state estimation with a blockchain designed communication platform. Additionally, the asynchronous manner for data transmission, which is more likely to happen in the real world, has been considered as the second task of this research. Finally, a detailed analysis of the blockchain-based application in distributed state estimation is provided. The numerical analysis shows that the proposed method meets real-world performance requirements and brings high security and reliability to the distributed state estimation process.


title: Functional quantization of rough volatility and applications to volatility derivatives

abstract: We develop a product functional quantization of rough volatility. Since the quantizers can be computed offline, this new technique, built on the insightful works by Luschgy and Pages, becomes a strong competitor in the new arena of numerical tools for rough volatility. We concentrate our numerical analysis to pricing VIX Futures in the rough Bergomi model and compare our results to other recently suggested benchmarks.


title: Speaker-conditioned Target Speaker Extraction based on Customized LSTM Cells

abstract: Speaker-conditioned target speaker extraction systems rely on auxiliary information about the target speaker to extract the target speaker signal from a mixture of multiple speakers. Typically, a deep neural network is applied to isolate the relevant target speaker characteristics. In this paper, we focus on a single-channel target speaker extraction system based on a CNN-LSTM separator network and a speaker embedder network requiring reference speech of the target speaker. In the LSTM layer of the separator network, we propose to customize the LSTM cells in order to only remember the specific voice patterns corresponding to the target speaker by modifying the information processing in the forget gate. Experimental results for two-speaker mixtures using the Librispeech dataset show that this customization significantly improves the target speaker extraction performance compared to using standard LSTM cells.


title: Impact of pandemic fatigue on the spread of COVID-19: a mathematical modelling study

abstract: In late-2020, many countries around the world faced another surge in number of confirmed cases of COVID-19, including United Kingdom, Canada, Brazil, United States, etc., which resulted in a large nationwide and even worldwide wave. While there have been indications that precaution fatigue could be a key factor, no scientific evidence has been provided so far. We used a stochastic metapopulation model with a hierarchical structure and fitted the model to the positive cases in the US from the start of outbreak to the end of 2020. We incorporated non-pharmaceutical interventions (NPIs) into this model by assuming that the precaution strength grows with positive cases and studied two types of pandemic fatigue. We found that people in most states and in the whole US respond to the outbreak in a sublinear manner (with exponent k=0.5), while only three states (Massachusetts, New York and New Jersey) have linear reaction (k=1). Case fatigue (decline in people's vigilance to positive cases) is responsible for 58% of cases, while precaution fatigue (decay of maximal fraction of vigilant group) accounts for 26% cases. If there were no pandemic fatigue (no case fatigue and no precaution fatigue), total positive cases would have reduced by 68% on average. Our study shows that pandemic fatigue is the major cause of the worsening situation of COVID-19 in United States. Reduced vigilance is responsible for most positive cases, and higher mortality rate tends to push local people to react to the outbreak faster and maintain vigilant for longer time.


title: First emittance measurement of the beam-driven plasma wakefield accelerated electron beam

abstract: Next-generation plasma-based accelerators can push electron beams to GeV energies within centimetre distances. The plasma, excited by a driver pulse, is indeed able to sustain huge electric fields that can efficiently accelerate a trailing witness bunch, which was experimentally demonstrated on multiple occasions. Thus, the main focus of the current research is being shifted towards achieving a high quality of the beam after the plasma acceleration. In this letter we present beam-driven plasma wakefield acceleration experiment, where initially preformed high-quality witness beam was accelerated inside the plasma and characterized. In this experiment the witness beam quality after the acceleration was maintained on high level, with $0.2\%$ final energy spread and $3.8~\mu m$ resulting normalized transverse emittance after the acceleration. In this article, for the first time to our knowledge, the emittance of the PWFA beam was directly measured.


title: Description of a stochastic system by a nonadapted stochastic process

abstract: An approach for the description of stochastic systems is derived. Some of the variables in the system are studied forward in time, others backward in time. The approach is based on a perturbation expansion in the strength of the coupling between forward and backward variables, and is well suited for situations in which initial and final conditions are imposed on different components of the system and the coupling between those components is weak. The form of the stochastic equations in our approach is determined by requiring that they generate the same statistics obtained in a forward description of the dynamics. Numerical tests are carried out on a few simple two-degree-of-freedom systems. The merit and the difficulties of the approach are discussed and compared to more traditional strategies based on transition path sampling and simple shooting algorithms.


title: Legged Robot State Estimation in Slippery Environments Using Invariant Extended Kalman Filter with Velocity Update

abstract: This paper proposes a state estimator for legged robots operating in slippery environments. An Invariant Extended Kalman Filter (InEKF) is implemented to fuse inertial and velocity measurements from a tracking camera and leg kinematic constraints. {\color{black}The misalignment between the camera and the robot-frame is also modeled thus enabling auto-calibration of camera pose.} The leg kinematics based velocity measurement is formulated as a right-invariant observation. Nonlinear observability analysis shows that other than the rotation around the gravity vector and the absolute position, all states are observable except for some singular cases. Discrete observability analysis demonstrates that our filter is consistent with the underlying nonlinear system. An online noise parameter tuning method is developed to adapt to the highly time-varying camera measurement noise. The proposed method is experimentally validated on a Cassie bipedal robot walking over slippery terrain. A video for the experiment can be found at https://youtu.be/VIqJL0cUr7s.


title: New-generation silicon photonics beyond the singlemode regime

abstract: The singlemode condition is one of the most important design rules for optical waveguides in guided-wave optics. The reason following the singlemode condition is that higher-order modes might be excited and thus introduce some undesired mode-mismatching loss as well as inter-mode crosstalk when light propagates along an optical waveguide beyond the singlemode regime. As a result, multimode photonic waveguides are usually not allowed. In this paper, we propose the concept of silicon photonics beyond the singlemode regime, developed with low-loss and low-crosstalk light propagation in multimode photonic waveguides with broadened silicon cores. In particular, silicon photonic waveguides with a broadened core region have shown an ultra-low-loss of ~0.1 dB/cm for the fundamental mode even without any special fabrication process. A micro-racetrack resonator fabricated with standard 220-nm-SOI MPW-foundry processes shows a record intrinsic Q-factor as high as 1.02*107 for the first time, corresponding to ultra-low waveguide propagation loss of only 0.065 dB/cm. A high-performance microwave photonic filter on silicon is then realized with an ultra-narrow 3-dB bandwidth of 20.6 MHz as well as a tuning range of ~20 GHz for the first time. An on-chip 100-cm-long delayline is also demonstrated by using the present broadened SOI photonic waveguides with compact Euler-curve bends, the measured propagation loss is ~0.14 dB/cm. The proposed concept of silicon photonics beyond the singlemode regime helps solve the issue of high propagation loss and also significantly reduces the random phase errors of light due to the random variations of waveguide dimensions. In particularity it enables silicon photonic devices with enhanced performances, which paves the way for new-generation silicon photonics realizing the large-scale photonic integration.


title: Higher order gradients of monogenic functions

abstract: Given a monogenic function on the quaternionic algebra $\mathbb{H}$, the Clifford algebra $\mathbb{R}_n$ or the octonionic algebra $\mathbb{O}$ we prove that $|\nabla^m f|^\alpha$ is subharmonic for some $\alpha>0$ where $\nabla^m f$ is the $m$-th order gradient of $f$. We find also the optimal value of $\alpha$. This is generalization of a result of Calderon and Zygmund.


title: Piracy-Resistant DNN Watermarking by Block-Wise Image Transformation with Secret Key

abstract: In this paper, we propose a novel DNN watermarking method that utilizes a learnable image transformation method with a secret key. The proposed method embeds a watermark pattern in a model by using learnable transformed images and allows us to remotely verify the ownership of the model. As a result, it is piracy-resistant, so the original watermark cannot be overwritten by a pirated watermark, and adding a new watermark decreases the model accuracy unlike most of the existing DNN watermarking methods. In addition, it does not require a special pre-defined training set or trigger set. We empirically evaluated the proposed method on the CIFAR-10 dataset. The results show that it was resilient against fine-tuning and pruning attacks while maintaining a high watermark-detection accuracy.


title: The Powers of Relativistic Jets depend on the Spin of Accreting Supermassive Black Hole

abstract: Theoretical models show that the power of relativistic jets of active galactic nuclei depends on the spin and mass of the central supermassive black holes, as well as the accretion. Here we report an analysis of archival observations of a sample of blazars. We find a significant correlation between jet kinetic power and the spin of supermassive black holes. At the same time, we use multiple linear regression to analyze the relationship between jet kinetic power and accretion, spin and black hole mass. We find that the spin of supermassive black holes and accretion are the most important contribution to the jet kinetic power. The contribution rates of both the spin of supermassive black holes and accretion are more than 95\%. These results suggest that the spin energy of supermassive black holes powers the relativistic jets. The jet production efficiency of almost all Fermi blazars can be explained by moderately thin magnetically arrested accretion disks around rapidly spinning black holes.


title: Incorporating External Knowledge to Enhance Tabular Reasoning

abstract: Reasoning about tabular information presents unique challenges to modern NLP approaches which largely rely on pre-trained contextualized embeddings of text. In this paper, we study these challenges through the problem of tabular natural language inference. We propose easy and effective modifications to how information is presented to a model for this task. We show via systematic experiments that these strategies substantially improve tabular inference performance.


title: How rotational invariance of common kernels prevents generalization in high dimensions

abstract: Kernel ridge regression is well-known to achieve minimax optimal rates in low-dimensional settings. However, its behavior in high dimensions is much less understood. Recent work establishes consistency for kernel regression under certain assumptions on the ground truth function and the distribution of the input data. In this paper, we show that the rotational invariance property of commonly studied kernels (such as RBF, inner product kernels and fully-connected NTK of any depth) induces a bias towards low-degree polynomials in high dimensions. Our result implies a lower bound on the generalization error for a wide range of distributions and various choices of the scaling for kernels with different eigenvalue decays. This lower bound suggests that general consistency results for kernel ridge regression in high dimensions require a more refined analysis that depends on the structure of the kernel beyond its eigenvalue decay.


title: Spatially modulated, orbital selective ferromagnetism in La$_5$Co$_2$Ge$_3$

abstract: We present density functional theory calculations for low-$T_c$ metallic ferromagnet La$_5$Co$_2$Ge$_3$ at ambient and applied pressures. Our investigations reveal that the system is a quasi-one-dimensional ferromagnet with a peculiar coexistence of two different orbital-selective magnetic moments at two crystallographically inequivalent cobalt atoms, Co1 and Co2. Namely, due to different crystal-field splitting, the magnetic moment of Co1 atoms predominantly derives from $d_{xz}$ orbital whereas of Co2 atoms from $d_{xy}$ orbital. Consequently, Co1 and Co2 atoms develop unequal net magnetic moments, a feature that gives rise to a periodic, spatial modulation of magnetization along crystallographic $c$-direction. The amplitude of the spatial modulation, small at ambient pressure, drastically increases with applied pressure, until Co2 atoms become nonmagnetic. With the help of a toy model mimicking found orbital-selective ferromagnetic order, we demonstrate that the increasing amplitude of spatial modulation provides a consistent interpretation to the recently observed resistivity anomaly emerging at applied pressure identified as the appearance of the {\it new state}. Although, proposed here structural origin of the spatial modulation of magnetic moments in La$_5$Co$_2$Ge$_3$ is an alternative one to the advocated for this material ferromagnetic quantum criticality avoidance, the effects of quantum fluctuations can still play an important role at pressure larger than up-to-date measured 5GPa.


title: Strong anomalous proximity effect from spin-singlet superconductors

abstract: The proximity effect from a spin-triplet $p_x$-wave superconductor to a dirty normal-metal has been shown to result in various unusual electromagnetic properties, reflecting a cooperative relation between topologically protected zero-energy quasiparticles and odd-frequency Cooper pairs. However, because of a lack of candidate materials for spin-triplet $p_x$-wave superconductors, observing this effect has been difficult. In this paper, we demonstrate that the anomalous proximity effect, which is essentially equivalent to that of a spin-triplet $p_x$-wave superconductor, can occur in a semiconductor/high-$T_c$ cuprate superconductor hybrid device in which two potentials coexist: a spin-singlet $d$-wave pair potential and a spin--orbit coupling potential sustaining the persistent spin-helix state. As a result, we propose an alternative and promising route to observe the anomalous proximity effect related to the profound nature of topologically protected quasiparticles and odd-frequency Cooper pairs.


title: Combined Sampling and Optimization Based Planning for Legged-Wheeled Robots

abstract: Planning for legged-wheeled machines is typically done using trajectory optimization because of many degrees of freedom, thus rendering legged-wheeled planners prone to falling prey to bad local minima. We present a combined sampling and optimization-based planning approach that can cope with challenging terrain. The sampling-based stage computes whole-body configurations and contact schedule, which speeds up the optimization convergence. The optimization-based stage ensures that all the system constraints, such as non-holonomic rolling constraints, are satisfied. The evaluations show the importance of good initial guesses for optimization. Furthermore, they suggest that terrain/collision (avoidance) constraints are more challenging than the robot model's constraints. Lastly, we extend the optimization to handle general terrain representations in the form of elevation maps.


title: Unfolding system-environment correlation in open quantum systems: Revisiting master equations and the Born approximation

abstract: Understanding system-bath correlations in open quantum systems is essential for various quantum information and technology applications. Derivations of most master equations (MEs) for the dynamics of open systems require approximations that mask dependence of the system dynamics on correlations, since the MEs focus on reduced system dynamics. Here we demonstrate that the most common MEs indeed contain hidden information about explicit system-environment correlation. We unfold these correlations by recasting the MEs into a universal form in which the system-bath correlation operator appears. The equations include the Lindblad, Redfield, second-order time-convolutionless, second-order Nakajima-Zwanzig, and second-order universal Lindblad-like cases. We further illustrate our results in an example, which implies that the second-order universal Lindblad-like equation captures correlation more accurately than other standard techniques.


title: Theoretical Analysis of Hanbury Brown and Twiss Interferometry at Soft X-ray Free-Electron Lasers

abstract: In this work we provide theoretical background for the analysis of second-order correlation functions in experiments performed at the soft x-ray free-electron lasers (XFELs). Typically, soft x-ray beamlines at XFELs are equipped by the variable line spacing (VLS) monochromators. We perform examination of the beam propagation through such VLS monochromator taking specially into account the interplay between the finite monochromator resolution and the exit slits width. We then provide general analysis of the second-order correlation intensities in spectral and spatial domains. Finally, we connect these functions with the statistical properties of the beam incoming to the monochromator unit in the limit of Gaussian Schell-model pulses.


title: Periodic Load Rejection for Floating Offshore Wind Turbines via Constrained Subspace Predictive Repetitive Control

abstract: Individual Pitch Control (IPC) is an effective control strategy to mitigate the blade loads on large-scale wind turbines. Since IPC usually requires high pitch actuation, the safety constraints of the pitch actuator should be taken into account when designing the controller. This paper introduces a constrained Subspace Predictive Repetitive Control (SPRC) approach, which considers the limitation of blade pitch angle and pitch rate. To fulfill this goal, a model predictive control scheme is implemented in the fully data-driven SPRC approach to incorporate the physical limitations of the pitch actuator in the control problem formulation. An optimal control law subjected to constraints is then formulated so that future constraint violations are anticipated and prevented. Case studies show that the developed constrained SPRC reduces the pitch activities necessary to mitigate the blade loads when experiencing wind turbulence and abrupt wind gusts. More importantly, the approach allows the wind farm operator to design conservative bounds for the pitch actuator constraints that satisfies safety limitations, design specifications and physical restrictions. This will help to alleviate the cyclic fatigue loads on the actuators, increase the structural reliability and extend the lifespan of the pitch control system.


title: Refined canonical stable Grothendieck polynomials and their duals, Part 1

abstract: In this paper we introduce refined canonical stable Grothendieck polynomials and their duals with two infinite sequences of parameters. These polynomials unify several generalizations of Grothendieck polynomials including canonical stable Grothendieck polynomials due to Yeliussizov, refined Grothendieck polynomials due to Chan and Pflueger, and refined dual Grothendieck polynomials due to Galashin, Liu, and Grinberg. We give Jacobi--Trudi-like formulas, combinatorial models, Schur expansions, Schur positivity, and dualities of these polynomials.


title: Problems of approximation theory in abstract linear spaces

abstract: This review paper presents the results, which cover the study of current problems of approximation theory in abstract linear spaces. Such research has been actively developed since the 2000s, based on the ideas and approaches initiated in the articles by Stepanets. In particular, the review contains results concerning the best, best $n$-term approximations and widths of some functional compacts in the spaces ${\mathcal S}^p$. Direct and inverse approximation theorems are also formulated in these spaces.


title: Validity of Prandtl expansions for steady MHD in the Sobolev framework

abstract: This paper is concerned with the vanishing viscosity and magnetic resistivity limit for the two-dimensional steady incompressible MHD system on the half plane with no-slip boundary condition on velocity field and perfectly conducting wall condition on magnetic field. We prove the nonlinear stability of shear flows of Prandtl type with nondegenerate tangential magnetic field, but without any positivity or monotonicity assumption on the velocity field. It is in sharp contrast to the steady Navier-Stokes equations and reflects the stabilization effect of magnetic field. Unlike the unsteady MHD system, we manage the degeneracy on the boundary caused by no-slip boundary condition and obtain the estimates of solutions by introducing an intrinsic weight function and some good auxiliary functions.


title: Population network structure impacts genetic algorithm optimisation performance

abstract: A genetic algorithm (GA) is a search method that optimises a population of solutions by simulating natural evolution. Good solutions reproduce together to create better candidates. The standard GA assumes that any two solutions can mate. However, in nature and social contexts, social networks can condition the likelihood that two individuals mate. This impact of population network structure over GAs performance is unknown. Here we introduce the Networked Genetic Algorithm (NGA) to evaluate how various random and scale-free population networks influence the optimisation performance of GAs on benchmark functions. We show evidence of significant variations in performance of the NGA as the network varies. In addition, we find that the best-performing population networks, characterised by intermediate density and low average shortest path length, significantly outperform the standard complete network GA. These results may constitute a starting point for network tuning and network control: seeing the network structure of the population as a parameter that can be tuned to improve the performance of evolutionary algorithms, and offer more realistic modelling of social learning.


title: Skeleton-based Hand-Gesture Recognition with Lightweight Graph Convolutional Networks

abstract: Graph convolutional networks (GCNs) aim at extending deep learning to arbitrary irregular domains, namely graphs. Their success is highly dependent on how the topology of input graphs is defined and most of the existing GCN architectures rely on predefined or handcrafted graph structures. In this paper, we introduce a novel method that learns the topology (or connectivity) of input graphs as a part of GCN design. The main contribution of our method resides in building an orthogonal connectivity basis that optimally aggregates nodes, through their neighborhood, prior to achieve convolution. Our method also considers a stochasticity criterion which acts as a regularizer that makes the learned basis and the underlying GCNs lightweight while still being highly effective. Experiments conducted on the challenging task of skeleton-based hand-gesture recognition show the high effectiveness of the learned GCNs w.r.t. the related work.


title: Bright $\mathrm{\textit{ab-initio}}$ photoluminescence of NV+ in diamond

abstract: The positively charged nitrogen vacancy (NV+) centre in diamond has been traditionally treated as a dark state due to the experimental lack of an optical signature. Recent computational studies have shown that it is possible for the NV+ defect to have an excited state transition equivalent to that of the negatively charged (NV-) centre, but no PL predictions have been reported so far. We report the first $\mathrm{\textit{ab-initio}}$ calculation showing that the NV+ center presents quantum emission, with zero phonon line at 765 nm and a non-zero transition dipole moment, approximately 4x smaller than the transition dipole moment of NV-. We calculate the energy levels of the multielectron states under time-dependent density functional theory (singlet and triplet E states), and using our recently developed frequency cutoff method, we predict the full PL spectrum. Our results suggest that this state cannot be considered intrinsically 'dark' and charge specific quenching mechanisms should be investigated as the cause of the lack of optical activity in experimental characterizations.


title: Simple Section Biset Functors

abstract: We classify simple modules over the Green biset functor of section Burnside rings.


title: Counter-Strike Deathmatch with Large-Scale Behavioural Cloning

abstract: This paper describes an AI agent that plays the popular first-person-shooter (FPS) video game `Counter-Strike; Global Offensive' (CSGO) from pixel input. The agent, a deep neural network, matches the performance of the medium difficulty built-in AI on the deathmatch game mode, whilst adopting a humanlike play style. Unlike much prior work in games, no API is available for CSGO, so algorithms must train and run in real-time. This limits the quantity of on-policy data that can be generated, precluding many reinforcement learning algorithms. Our solution uses behavioural cloning - training on a large noisy dataset scraped from human play on online servers (4 million frames, comparable in size to ImageNet), and a smaller dataset of high-quality expert demonstrations. This scale is an order of magnitude larger than prior work on imitation learning in FPS games.


title: The CH radical at radio wavelengths: Revisiting emission in the 3.3GHz ground state lines

abstract: The intensities of the three widely observed radio-wavelength hyperfine structure (HFS) lines between the {\Lambda}-doublet components of the rotational ground state of CH are inconsistent with LTE and indicate ubiquitous population inversion. While this can be qualitatively understood assuming a pumping cycle that involves collisional excitation processes, the relative intensities of the lines and in particular the dominance of the lowest frequency satellite line has not been well understood. This has limited the use of CH radio emission as a tracer of the molecular interstellar medium. We present the first interferometric observations, with the Karl G. Jansky Very Large Array, of the CH 9 cm ground state HFS transitions at 3.264 GHz, 3.335 GHz, and 3.349 GHz toward four high mass star-forming regions (SFRs) Sgr B2 (M), G34.26+0.15, W49 (N), and W51. We investigate the nature of the (generally) weak CH ground state masers by employing synergies between the ground state HFS transitions themselves and with the far-infrared lines, near 149 {\mu}m (2 THz), that connect these levels to an also HFS split rotationally excited level. Employing recently calculated collisional rate coefficients, we perform statistical equilibrium calculations with the non-LTE radiative transfer code MOLPOP-CEP in order to model the excitation conditions traced by the ground state HFS lines of CH and to infer the physical conditions in the emitting regions while also accounting for the effects of far-infrared line overlap.


title: Multi-Scale Perturbation Theory II: Solutions and Leading-Order Bispectrum in the $\Lambda$CDM Universe

abstract: Two-parameter perturbation theory (2PPT) is a framework designed to include the relativistic gravitational effects of small-scale nonlinear structures on the large-scale properties of the Universe. In this paper we use the 2PPT framework to calculate and study the bispectrum of matter in a spatially-flat $\Lambda$CDM cosmology. This is achieved by deploying Newtonian perturbation theory to model the gravitational fields of quasi-nonlinear structures, and then subsequently using them as source terms for the large-scale cosmological perturbations. We find that our approach reproduces some of the expected relativistic effects from second-order cosmological perturbation theory, but not all. This work therefore provides a first step in deploying a formalism that can simultaneously model the weak gravitational fields of both linear and nonlinear structures in a realistic model of the Universe.


title: Space weather: the solar perspective -- an update to Schwenn (2006)

abstract: The Sun, as an active star, is the driver of energetic phenomena that structure interplanetary space and affect planetary atmospheres. The effects of Space Weather on Earth and the solar system is of increasing importance as human spaceflight is preparing for lunar and Mars missions. This review is focusing on the solar perspective of the Space Weather relevant phenomena, coronal mass ejections (CMEs), flares, solar energetic particles (SEPs), and solar wind stream interaction regions (SIR). With the advent of the STEREO mission (launched in 2006), literally, new perspectives were provided that enabled for the first time to study coronal structures and the evolution of activity phenomena in three dimensions. New imaging capabilities, covering the entire Sun-Earth distance range, allowed to seamlessly connect CMEs and their interplanetary counterparts measured in-situ (so called ICMEs). This vastly increased our knowledge and understanding of the dynamics of interplanetary space due to solar activity and fostered the development of Space Weather forecasting models. Moreover, we are facing challenging times gathering new data from two extraordinary missions, NASA's Parker Solar Probe (launched in 2018) and ESA's Solar Orbiter (launched in 2020), that will in the near future provide more detailed insight into the solar wind evolution and image CMEs from view points never approached before. The current review builds upon the Living Reviews paper by Schwenn from 2006, updating on the Space Weather relevant CME-flare-SEP phenomena from the solar perspective, as observed from multiple viewpoints and their concomitant solar surface signatures.


title: Measuring the dispersion relations of spin wave bands using time-of-flight spectroscopy

abstract: We develop a generic all-inductive procedure to measure the band structure of spin waves in a magnetic thin stripe. In contrast to existing techniques, our method works even if several spin wave branches coexist in the investigated frequency interval, provided that the branches possess sufficiently different group velocities. We first measure the microwave scattering matrix of a network composed of distant antennas inductively coupled to the spin wave bath of the magnetic film. After a mathematical transformation to the time-domain to get the transmission impulse response, the different spin wave branches are viewed as wavepackets that reach successively the receiving antenna after different travel times. In analogy with time-of flight spectroscopy, the wavepackets are then separated by time-gating. The time-gated responses are used to recalculate the contribution of each spin wave branch to the frequency domain scattering matrix. The dispersion relation of each branch stems from the absolute phase of the time-gated transmission parameter. The spin wave wavevector can be determined unambiguously if the results for several propagation distances are combined, so as to get the dispersion relations.


title: Quantitative nonlinear homogenization: control of oscillations

abstract: Quantitative stochastic homogenization of linear elliptic operators is by now well-understood. In this contribution we move forward to the nonlinear setting of monotone operators with $p$-growth. This work is dedicated to a quantitative two-scale expansion result. By treating the range of exponents $2\le p <\infty$ in dimensions $d\le 3$, we are able to consider genuinely nonlinear elliptic equations and systems such as $-\nabla \cdot A(x)(1+|\nabla u|^{p-2})\nabla u=f$ (with $A$ random, non-necessarily symmetric) for the first time. When going from $p=2$ to $p>2$, the main difficulty is to analyze the associated linearized operator, whose coefficients are degenerate, unbounded, and depend on the random input $A$ via the solution of a nonlinear equation. One of our main achievements is the control of this intricate nonlinear dependence, leading to annealed Meyers' estimates for the linearized operator, which are key to the optimal quantitative two-scale expansion result we derive (this is also new in the periodic setting).


title: Risks of heterogeneously persistent higher moments

abstract: Using intraday data for the cross-section of individual stocks, we show that both transitory and persistent fluctuations in realized market and average idiosyncratic volatility, skewness and kurtosis are differentially priced in the cross-section of asset returns, implying a heterogeneous persistence structure of different sources of higher moment risks. Specifically, we find that idiosyncratic transitory shocks to volatility as well as idiosyncratic persistent shocks to skewness contain strong commonalities that are relevant to investors.


title: Chemical Tagging N-rich Field Stars with High-resolution Spectroscopy

abstract: We measure chemical abundances for over 20 elements of 15 N-rich field stars with high resolution ($R \sim 30000$) optical spectra. We find that Na, Mg, Al, Si, and Ca abundances of our N-rich field stars are mostly consistent with those of stars from globular clusters (GCs). Seven stars are estimated to have [Al/Fe$]>0.5$, which is not found in most GC "first generation" stars. On the other hand, $\alpha$ element abundances (especially Ti) could show distinguishable differences between in situ stars and accreted stars. We discover that one interesting star, with consistently low [Mg/Fe], [Si/Fe], [Ca/Fe], [Ti/Fe], [Sc/Fe], [V/Fe], and [Co/Fe], show similar kinematic and [Ba/Eu] as other stars from the dissolved dwarf galaxy "$Gaia$-Sausage-Enceladus". The $\alpha$-element abundances and the iron-peak element abundances of the N-rich field stars with metallicities $-1.25 \le {\rm [Fe/H]} \le -0.95$ show consistent values with Milky Way field stars rather than stars from dwarf galaxies, indicating that they were formed in situ. In addition, the neutron capture elements of N-rich field stars show that most of them could be enriched by asymptotic giant branch (AGB) stars with masses around $3 - 5\, M_{\odot}$.


title: Polyhedra without cubic vertices are prism-hamiltonian

abstract: The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph on two vertices. A graph $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. We prove that every polyhedral graph (i.e. 3-connected planar graph) of minimum degree at least four is prism-hamiltonian.


title: An alternative form of the fundamental plasma emission through the coalescence of Z-mode waves with whistlers

abstract: Plasma emission (PE), i.e., electromagnetic radiation at the plasma frequency and its second harmonic, is a general process occurring in both astrophysical and laboratory plasmas. The prevailing theory presents a multi-stage process attributed to the resonant coupling of beam-excited Langmuir waves with ion-acoustic waves. Here we examine another possibility of the fundamental PE induced by the resonant coupling of Z-mode and whistler (W) waves. Earlier studies have been controversial in the plausibility and significance of such process in plasmas. In this study we show that the matching condition of three wave resonant interaction (Z+W ! O) can be satisfied over a wide regime of parameters based on the magnetoionic theory, demonstrate the occurrence of such process and further evaluate the rate of energy conversion from the pumped Z or W mode to the fundamental O mode with particle-in-cell (PIC) simulations of wave pumping. The study presents an alternative form of the fundamental PE, which could possibly play a role in various astrophysical and laboratory scenarios with both Z and W modes readily excited through the electron cyclotron maser instability.


title: Reversible Watermarking in Deep Convolutional Neural Networks for Integrity Authentication

abstract: Deep convolutional neural networks have made outstanding contributions in many fields such as computer vision in the past few years and many researchers published well-trained network for downloading. But recent studies have shown serious concerns about integrity due to model-reuse attacks and backdoor attacks. In order to protect these open-source networks, many algorithms have been proposed such as watermarking. However, these existing algorithms modify the contents of the network permanently and are not suitable for integrity authentication. In this paper, we propose a reversible watermarking algorithm for integrity authentication. Specifically, we present the reversible watermarking problem of deep convolutional neural networks and utilize the pruning theory of model compression technology to construct a host sequence used for embedding watermarking information by histogram shift. As shown in the experiments, the influence of embedding reversible watermarking on the classification performance is less than 0.5% and the parameters of the model can be fully recovered after extracting the watermarking. At the same time, the integrity of the model can be verified by applying the reversible watermarking: if the model is modified illegally, the authentication information generated by original model will be absolutely different from the extracted watermarking information.


title: Morpho-evolution with learning using a controller archive as an inheritance mechanism

abstract: The joint optimisation of body-plan and control via evolutionary processes can be challenging in rich morphological spaces in which offspring can have body-plans that are very different from either of their parents. This causes a potential mismatch between the structure of an inherited controller and the new body. To address this, we propose a framework that combines an evolutionary algorithm to generate body-plans and a learning algorithm to optimise the parameters of a neural controller. The topology of this controller is created once the body-plan of each offspring body-plan is generated. The key novelty of the approach is to add an external archive for storing learned controllers that map to explicit `types' of robots (where this is defined with respect the features of the body-plan). By learning from a controller with an appropriate structure inherited from the archive, rather than from a randomly initialised one, we show that both the speed and magnitude of learning increases over time when compared to an approach that starts from scratch, using two tasks and three environments. The framework also provides new insights into the complex interactions between evolution and learning.


title: Dissipative spin dynamics in hot quantum paramagnets

abstract: We use the functional renormalization approach for quantum spin systems developed by Krieg and Kopietz [Phys. Rev. B $\mathbf{99}$, 060403(R) (2019)] to calculate the spin-spin correlation function $G (\boldsymbol{k}, \omega )$ of quantum Heisenberg magnets at infinite temperature. For small wavevectors $\boldsymbol{k} $ and frequencies $\omega$ we find that $G ( \boldsymbol{k}, \omega )$ assumes in dimensions $d > 2$ the diffusive form predicted by hydrodynamics. In three dimensions our result for the spin-diffusion coefficient ${\cal{D}}$ is somewhat smaller than previous theoretical predictions based on the extrapolation of the short-time expansion, but is still about $30 \%$ larger than the measured high-temperature value of ${\cal{D}}$ in the Heisenberg ferromagnet Rb$_2$CuBr$_4\cdot$2H$_2$O. In reduced dimensions $d \leq 2$ we find superdiffusion characterized by a frequency-dependent complex spin-diffusion coefficient ${\cal{D}} ( \omega )$ which diverges logarithmically in $d=2$, and as a power-law ${\cal{D}} ( \omega ) \propto \omega^{-1/3}$ in $d=1$. Our result in one dimension implies scaling with dynamical exponent $z =3/2$, in agreement with recent calculations for integrable spin chains. Our approach is not restricted to the hydrodynamic regime and allows us to calculate the dynamic structure factor $S ( \boldsymbol{k} , \omega )$ for all wavevectors. We show how the short-wavelength behavior of $S ( \boldsymbol{k}, \omega )$ at high temperatures reflects the relative sign and strength of competing exchange interactions.


title: The rarity of very red TNOs in the scattered disk

abstract: We investigate the origins of the photometrically Very Red and Less Red Trans-Neptunian Objects. We first reanalyse the dataset of Marsset et al. 2019 and find that, in addition to the known color-inclination correlation in hot TNOs, a similar trend exists for color-eccentricity. We show that VR TNOs are sharply constrained to eccentricities < 0.42 and inclinations < 21 deg, leading to a paucity of VR scattered disk and distant MMR objects. We then interpret these findings using N-body simulations accounting for Neptune's outward migration into a massless particles disk, and find that these observations are best reproduced with a LR-to-VR color transition line between 38 and 42 AU in the primordial disk, separating the objects' formation locations. For an initial surface density profile $\Sigma \propto 1/r^2$, a color transition around 38 AU is needed to explain the high abundance of VR plutinos but creates too many VR scattered disk objects, while a transition line around 42 AU seems to better reproduces the scattered disk colors but creates virtually no VR plutinos. Our simulations furthermore show that the rarity of VR particles at high eccentricity is possibly due to the absence of sweeping higher order MMRs, and secular resonances, beyond 42 AU. Inspecting individual populations, we show that the majority of VR SDOs originate as objects trapped in Neptune's second and third order MMRs. These then evolve due to diffusion, scattering, Kozai-Lidov cycles, and secular resonances into their current orbits. Future unbiased color surveys are crucial to better constrain the TNOs dynamical origins.


title: Unknotting annuli and handlebody-knot symmetry

abstract: By Thurston's hyperbolization theorem, irreducible handlebody-knots are classified into three classes: hyperbolic, toroidal, and atoroidal cylindrical. It is known that a non-trivial handlebody-knot of genus two has a finite symmetry group if and only if it is atoroidal. The paper investigates the topology of cylindrical handlebody-knots of genus two that admit an unknotting annulus; we show that the symmetry group is trivial if the unknotting annulus is unique and of type $2$.


title: Joint Gas and Stellar Dynamical Models of WLM: An isolated dwarf galaxy within a cored, prolate DM halo

abstract: We present multi-tracer dynamical models of the low mass ($M_{*} \sim 10^{7}$), isolated dwarf irregular galaxy WLM in order to simultaneously constrain the inner slope of the dark matter (DM) halo density profile ($\gamma$) and flattening ($q_\mathrm{DM}$), and the stellar orbital anisotropy ($\beta_{z}, \beta_{r}$). For the first time, we show how jointly constraining the mass distribution from the HI gas rotation curve and solving the Jeans' equations with discrete stellar kinematics leads to a factor of $\sim2$ reduction in the uncertainties on $\gamma$. The mass-anisotropy degeneracy is also partially broken, leading to reductions on uncertainty by $\sim 30\%$ on $M_\mathrm{vir}$ (and $\sim 70\%$ at the half-light radius) and $\sim 25\%$ on anisotropy. Our inferred value of $\gamma = 0.3 \pm 0.1$ is robust to the halo geometry, and in excellent agreement with predictions of stellar feedback driven DM core creation. The derived prolate geometry of the DM halo with $q_\mathrm{DM} = 2 \pm 1$ is consistent with $\Lambda$CDM simulations of dwarf galaxy halos. While self-interacting DM (SIDM) models with $\sigma/m_{X} \sim 0.6$ can reproduce this cored DM profile, the interaction events may sphericalise the halo. The simultaneously cored and prolate DM halo may therefore present a challenge for SIDM. Finally we find that the radial profile of stellar anisotropy in WLM ($\beta_{r}$) follows a nearly identical trend of increasing tangential anisotropy to the classical dSphs, Fornax and Sculptor. Given WLM's orbital history, this result may call into question whether such anisotropy is a consequence of tidal stripping in only one pericentric passage or if it instead is a feature of the largely self-similar formation and evolutionary pathways for some dwarf galaxies.


title: Does The Monge Theorem Apply To Some Non-Euclidean Geometries ?

abstract: In geometry, Monge's theorem states that for any three nonoverlapping circles of distinct radii in the two dimensional analytical plane equipped with the Euclidean metric, none of which is completely inside one of the others, the intersection points of each of the three pairs of external tangent lines are collinear. So, it is clearly observed that Monge's theorem is an application of Desargues' theorem. Our main motivation in this study is to show whether Monge theorem is still valid even if the plane is equipped with the metrics alpha and Lp.


title: GATSBI: Generative Agent-centric Spatio-temporal Object Interaction

abstract: We present GATSBI, a generative model that can transform a sequence of raw observations into a structured latent representation that fully captures the spatio-temporal context of the agent's actions. In vision-based decision-making scenarios, an agent faces complex high-dimensional observations where multiple entities interact with each other. The agent requires a good scene representation of the visual observation that discerns essential components and consistently propagates along the time horizon. Our method, GATSBI, utilizes unsupervised object-centric scene representation learning to separate an active agent, static background, and passive objects. GATSBI then models the interactions reflecting the causal relationships among decomposed entities and predicts physically plausible future states. Our model generalizes to a variety of environments where different types of robots and objects dynamically interact with each other. We show GATSBI achieves superior performance on scene decomposition and video prediction compared to its state-of-the-art counterparts.


title: SOFIA FEEDBACK survey: exploring the dynamics of the stellar wind driven shell of RCW 49

abstract: We unveil the stellar wind driven shell of the luminous massive star-forming region of RCW 49 using SOFIA FEEDBACK observations of the [CII] 158 $\mu$m line. The complementary dataset of the $^{12}$CO and $^{13}$CO J = 3 - 2 transitions is observed by the APEX telescope and probes the dense gas toward RCW 49. Using the spatial and spectral resolution provided by the SOFIA and APEX telescopes, we disentangle the shell from a complex set of individual components of gas centered around RCW 49. We find that the shell of radius ~ 6 pc is expanding at a velocity of 13 km s$^{-1}$ toward the observer. Comparing our observed data with the ancillary data at X-Ray, infrared, sub-millimeter and radio wavelengths, we investigate the morphology of the region. The shell has a well defined eastern arc, while the western side is blown open and is venting plasma further into the west. Though the stellar cluster, which is ~ 2 Myr old gave rise to the shell, it only gained momentum relatively recently as we calculate the shell's expansion lifetime ~ 0.27 Myr, making the Wolf-Rayet star WR20a a likely candidate responsible for the shell's re-acceleration.


title: Probing the CP structure of the top quark Yukawa coupling: Loop sensitivity vs. on-shell sensitivity

abstract: The question whether the Higgs boson is connected to additional CP violation is one of the driving forces behind precision studies at the Large Hadron Collider. In this work, we investigate the CP structure of the top quark Yukawa interaction-one of the most prominent places for searching for New Physics-through Higgs boson loops in top quark pair production. We calculate the electroweak corrections including arbitrary CP mixtures at next-to-leading-order in the Standard Model Effective Field Theory. This approach of probing Higgs boson degrees of freedom relies on the large $t\bar{t}$ cross section and the excellent perturbative control. In addition, we consider all direct probes with on-shell Higgs boson production in association with a single top quark or top quark pair. This allows us to contrast loop sensitivity versus on-shell sensitivity in these fundamentally different process dynamics. We find that loop sensitivity in $t\bar{t}$ production and on-shell sensitivity in $t\bar{t}H$ and $tH$ provide complementary handles over a wide range of parameter space.


title: Batch Monte Carlo Tree Search

abstract: Making inferences with a deep neural network on a batch of states is much faster with a GPU than making inferences on one state after another. We build on this property to propose Monte Carlo Tree Search algorithms using batched inferences. Instead of using either a search tree or a transposition table we propose to use both in the same algorithm. The transposition table contains the results of the inferences while the search tree contains the statistics of Monte Carlo Tree Search. We also propose to analyze multiple heuristics that improve the search: the $\mu$ FPU, the Virtual Mean, the Last Iteration and the Second Move heuristics. They are evaluated for the game of Go using a MobileNet neural network.


title: Quantum and classical temporal correlations in $(1 + 1)D$ Quantum Cellular Automata

abstract: We employ $(1 + 1)$-dimensional quantum cellular automata to study the evolution of entanglement and coherence near criticality in quantum systems that display non-equilibrium steady-state phase transitions. This construction permits direct access to the entire space-time structure of the underlying non-equilibrium dynamics. It contains the full ensemble of classical trajectories and also allows for the analysis of unconventional correlations, such as entanglement in the time direction between the "present" and the "past". Close to criticality, the dynamics of these correlations - which we quantify through the second-order Renyi entropy - displays power-law behavior on its approach to stationarity. Our analysis is based on quantum generalizations of classical non-equilibrium systems: the Domany-Kinzel cellular automaton and the Bagnoli-Boccara-Rechtman model, for which we provide estimates for the critical exponents related to the classical and quantum components of the entropy. Our study shows that $(1 + 1)$-dimensional quantum cellular automata permit an intriguing perspective on the nature of classical and quantum correlations in out-of-equilibrium systems.


title: A search for radio emission from double-neutron star merger GW190425 using Apertif

abstract: Detection of the electromagnetic emission from coalescing binary neutron stars (BNS) is important for understanding the merger and afterglow. We present a search for a radio counterpart to the gravitational-wave source GW190425, a BNS merger, using Apertif on the Westerbork Synthesis Radio Telescope (WSRT). We observe a field of high probability in the associated localisation region for 3 epochs at 68, 90 and 109 days post merger. We identify all sources that exhibit flux variations consistent with the expected afterglow emission of GW190425. We also look for possible transients. These are sources which are only present in one epoch. In addition, we quantify our ability to search for radio afterglows in fourth and future observing runs of the gravitational-wave detector network using Monte Carlo simulations. We found 25 afterglow candidates based on their variability. None of these could be associated with a possible host galaxy at the luminosity distance of GW190425. We also found 55 transient afterglow candidates that were only detected in one epoch. All turned out to be image artefacts. In the fourth observing run, we predict that up to three afterglows will be detectable by Apertif. While we did not find a source related to the afterglow emission of GW190425, the search validates our methods for future searches of radio afterglows.


title: Managing Traceability Information Models: Not such a simple task after all?

abstract: Practitioners are poorly supported by the scientific literature when managing traceability information models (TIMs), which capture the structure and semantics of trace links. In practice, companies manage their TIMs in very different ways, even in cases where companies share many similarities. We present our findings from an in-depth focus group about TIM management with three different systems engineering companies. We find that the concrete needs of the companies as well as challenges such as scale and workflow integration are not considered by existing scientific work. We thus issue a call-to-arms for the requirements engineering and software and systems traceability communities, the two main communities for traceability research, to refocus their work on these practical problems.


abstract: Data augmentation has been an indispensable tool to improve the performance of deep neural networks, however the augmentation can hardly transfer among different tasks and datasets. Consequently, a recent trend is to adopt AutoML technique to learn proper augmentation policy without extensive hand-crafted tuning. In this paper, we propose an efficient differentiable search algorithm called Direct Differentiable Augmentation Search (DDAS). It exploits meta-learning with one-step gradient update and continuous relaxation to the expected training loss for efficient search. Our DDAS can achieve efficient augmentation search without relying on approximations such as Gumbel Softmax or second order gradient approximation. To further reduce the adverse effect of improper augmentations, we organize the search space into a two level hierarchy, in which we first decide whether to apply augmentation, and then determine the specific augmentation policy. On standard image classification benchmarks, our DDAS achieves state-of-the-art performance and efficiency tradeoff while reducing the search cost dramatically, e.g. 0.15 GPU hours for CIFAR-10. In addition, we also use DDAS to search augmentation for object detection task and achieve comparable performance with AutoAugment, while being 1000x faster.


title: Oscillations and Bifurcation Structure of Reaction-Diffusion Model for Cell Polarity Formation

abstract: We investigate the oscillatory dynamics and bifurcation structure of a reaction-diffusion system with bistable nonlinearity and mass conservation, which was proposed by [Otsuji et al, PLoS Comp. Biol. 3 (2007), e108]. The system is a useful model for understanding cell polarity formation. We show that this model exhibits four different spatiotemporal patterns including two types of oscillatory patterns, which can be regarded as cell polarity oscillations with the reversal and non-reversal of polarity, respectively. The trigger causing these patterns is a diffusion-driven (Turing-like) instability. Moreover, we investigate the effects of extracellular signals on the cell polarity oscillations.


title: Semantical Investigations on Non-classical Logics with Recovery Operators: Negation

abstract: We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to 'recover' the properties of classical logic in a controlled manner. These structures are known as topological Boolean algebras, which are Boolean algebras extended with additional operations subject to specific conditions of a topological nature. In this study we focus on the paradigmatic case of negation. We demonstrate how these algebras are well-suited to provide a semantics for some families of paraconsistent Logics of Formal Inconsistency and paracomplete Logics of Formal Undeterminedness. These logics feature recovery operators used to earmark propositions that behave 'classically' when interacting with non-classical negations. Unlike traditional semantical investigations, which are carried out in natural language (extended with mathematical shorthand), our formal meta-language is a system of higher-order logic (HOL) for which automated reasoning tools exist. In our approach, topological Boolean algebras are encoded as algebras of sets via their Stone-type representation. We use our higher-order meta-logic to define and interrelate several transformations on unary set operations, which naturally give rise to a topological cube of opposition. Additionally, our approach enables a uniform characterization of propositional, first-order, and higher-order quantification, including restrictions to constant and varying domains. With this work, we aim to make a case for the utilization of automated theorem proving technology for conducting computer-supported research in non-classical logics. All the results presented in this paper have been formally verified, and in many cases obtained, using the Isabelle/HOL proof assistant.