title: Spectral Evolution of the X-Ray Remnant of SN 1987A: A High-Resolution $Chandra$ HETG Study

abstract: Based on observations with the $Chandra$ X-ray Observatory, we present the latest spectral evolution of the X-ray remnant of SN 1987A (SNR 1987A). We present a high-resolution spectroscopic analysis using our new deep ($\sim$312 ks) $Chandra$ HETG observation taken in March 2018, as well as archival $Chandra$ gratings spectroscopic data taken in 2004, 2007, and 2011 with similarly deep exposures ($\sim$170 - 350 ks). We perform detailed spectral model fits to quantify changing plasma conditions over the last 14 years. Recent changes in electron temperatures and volume emission measures suggest that the shocks moving through the inner ring have started interacting with less dense circumstellar material, probably beyond the inner ring. We find significant changes in the X-ray line flux ratios (among H- and He-like Si and Mg ions) in 2018, consistent with changes in the thermal conditions of the X-ray emitting plasma that we infer based on the broadband spectral analysis. Post-shock electron temperatures suggested by line flux ratios are in the range $\sim$0.8 - 2.5 keV as of 2018. We do not yet observe any evidence of substantial abundance enhancement, suggesting that the X-ray emission component from the reverse-shocked metal-rich ejecta is not yet significant in the observed X-ray spectrum.


title: Integrating Regular Expressions with Neural Networks via DFA

abstract: Human-designed rules are widely used to build industry applications. However, it is infeasible to maintain thousands of such hand-crafted rules. So it is very important to integrate the rule knowledge into neural networks to build a hybrid model that achieves better performance. Specifically, the human-designed rules are formulated as Regular Expressions (REs), from which the equivalent Minimal Deterministic Finite Automatons (MDFAs) are constructed. We propose to use the MDFA as an intermediate model to capture the matched RE patterns as rule-based features for each input sentence and introduce these additional features into neural networks. We evaluate the proposed method on the ATIS intent classification task. The experiment results show that the proposed method achieves the best performance compared to neural networks and four other methods that combine REs and neural networks when the training dataset is relatively small.


title: Brown-York charges with mixed boundary conditions

abstract: We compute the Hamiltonian surface charges of gravity for a family of conservative boundary conditions, that include Dirichlet, Neumann, and York's mixed boundary conditions defined by holding fixed the conformal induced metric and the trace of the extrinsic curvature. We show that for all boundary conditions considered, canonical methods give the same answer as covariant phase space methods improved by a boundary Lagrangian, a prescription recently developed in the literature and thus supported by our results. The procedure also suggests a new integrable charge for the Einstein-Hilbert Lagrangian, different from the Komar charge for non-Killing and non-tangential diffeomorphisms. We study how the energy depends on the choice of boundary conditions, showing that both the quasi-local and the asymptotic expressions are affected. Finally, we generalize the analysis to non-orthogonal corners, confirm the matching between the covariant and canonical results without any change in the prescription, and discuss the subtleties associated with this case.


title: Next-to-leading-order corrections to the Higgs strahlung process from electron-positron collisions in extended Higgs models

abstract: We present the cross section for $e^{+}e^{-}\to hZ$ with arbitrary sets of electron and $Z$ boson polarizations at the full next-to-leading order in various extended Higgs models, such as the Higgs singlet model (HSM), the inert doublet model (IDM) and the two Higgs doublet model (2HDM). We systematically perform complete one-loop calculations to the helicity amplitudes in the on-shell renormalization scheme, and present the full analytic results as well as numerical evaluations. The deviation $\Delta R^{hZ}$ in the total cross section from its standard model (SM) prediction is comprehensively analyzed, and the differences among these models are discussed in details. We find that new physics effects appearing in the renormalized $hZZ$ vertex almost govern the behavior of $\Delta R^{hZ}$, and it takes a negative value in most cases. The possible size of $\Delta R^{hZ}$ reaches several percent under the theoretical and experimental bounds. We also analyze the deviation $\Delta R^{hZ}_{XY}$ in the total cross section times decay branching ratios of the discovered Higgs boson by utilizing the $\texttt{H-COUP}$ program. It is found that the four types of 2HDMs can be discriminated by analyzing the correlation between $\Delta R^{hZ}_{\tau\tau}$ and $\Delta R^{hZ}_{bb}$ and those between $\Delta R^{hZ}_{\tau\tau}$ and $\Delta R^{hZ}_{cc}$. Furthermore, the HSM and the IDM can be discriminated from the 2HDMs by measuring $\Delta R^{hZ}_{WW}$. These signatures can be tested by precision measurements at future Higgs factories such as the International Linear Collider.


title: Calibrating parameters of crowd evacuation simulation at strategic, tactical and operational levels: Which one matters most?

abstract: Background: Simulating a process of crowd evacuation using an agent-based model requires modellers to specify values of a whole range of parameters each determining certain aspects of evacuee behaviour. While potential sensitivity of simulation outputs to each single parameter is undoubted, one critical question is that to which class of parameters such numerical models are most sensitive when estimating evacuation times? The question is of significance given that available data and resources for calibration are limited and priorities often need to be made. Methods: Here, we employ a simulation model of evacuation comprised of multiple integrated layers. After providing an overview of the calibration procedure for key parameters, we perform extensive sensitivity analyses in complex simulated spaces with large crowds to answer the above question. Findings: Our analyses showed that, once parameters are contrasted on a consistent and comparable scale, estimates of simulated evacuation time are, by far margins, most sensitive to the value of mechanical movement parameters at locomotion layer, those that determine the discharge rate at bottlenecks. The next most critical set of parameters were those that determine the rate of direction choice adaptation followed by those that determine the effect of inter-individual interactions on direction choices. Conclusions: These results suggest that, in order to produce realistic evacuation times using simulation, the most critical aspect is, by far, perfecting the simulated flowrates at bottlenecks. Implications: This highlights the crucial need for furthering the accuracy of existing empirical estimates for exit capacity; and developing more rigorous calibration methods for parameters that determine flowrates at bottlenecks. If a model does not produce bottleneck flowrates accurately, efforts to refine other aspects of simulation might be in vain.


title: Bayesian Multidimensional Scaling for Location Awareness in Hybrid-Internet of Underwater Things

abstract: Localization of sensor nodes in the Internet of Underwater Things (IoUT) is of considerable significance due to its various applications, such as navigation, data tagging, and detection of underwater objects. Therefore, in this paper, we propose a hybrid Bayesian multidimensional scaling (BMDS) based localization technique that can work on a fully hybrid IoUT network where the nodes can communicate using either optical, magnetic induction, and acoustic technologies. These technologies are already used for communication in the underwater environment; however, lacking localization solutions. Optical and magnetic induction communication achieves higher data rates for short communication. On the contrary, acoustic waves provide a low data rate for long-range underwater communication. The proposed method collectively uses optical, magnetic induction, and acoustic communication-based ranging to estimate the underwater sensor nodes' final locations. Moreover, we also analyze the proposed scheme by deriving the hybrid Cramer Rao lower bound (HCRLB). Simulation results provide a complete comparative analysis of the proposed method with the literature.


title: Mass-effective temperature-surface gravity relation for intermediate-mass main-sequence stars

abstract: In this work, a mass-effective temperature-surface gravity relation (MTGR) is developed for main sequence stars in the range of 6400 K < $T_{\rm eff}$ < 20000 K with log$g$ > 3.44. The MTGR allows the simple estimation of the masses of stars from their effective temperatures and surface gravities. It can be used for solar metallicity and can be rescaled for any metallicity within -1.00 < [Fe/H] < 0.7. The effect of alpha-enhanced compositions can also be considered with the help of correction terms. It is aimed to develop an MTGR that can estimate the masses of main-sequence stars from their atmospheric parameters. One advantage of an MTGR over the classical mass-luminosity relations is that its mass estimation is based on parameters that can be obtained by purely spectroscopic methods and, therefore, the interstellar extinction or reddening do not have to be known. The use of surface gravity ($g$) also relates an MTGR with stellar evolution and provides a more reliable mass estimation. A synthetical MTGR is obtained from theoretical isochrones using a Levenberg-Marquardt chi-square minimization algorithm. The validity of the MTGR is then checked by testing over 278 binary components with precise absolute masses. Very good agreement has been obtained between the absolute masses of 278 binary star components and their masses estimated from the MTGR. A mathematical expression is also given to calculate the propagated uncertainties of the MTGR masses. For the typical uncertainties in atmospheric parameters and metallicity, the typical uncertainties in the masses estimated from the MTGR mostly remain around 5-9%. The fact that this uncertainty level is only on average about three times as large as that of the absolute masses indicates that the MTGR is a very powerful tool for stellar mass estimation. A computer code, mtgr.pro, written in GDL/IDL is also provided for the relation.


title: Quantifying entanglement in terms of an operational way

abstract: Quantifying entanglement is one of the most important tasks in the entanglement theory. In this paper, we establish entanglement monotones in terms of an operational approach, which is closely connected with the state conversion from pure states to the objective state by the local operations and classical communications (LOCC). It is shown that any good entanglement quantifier defined on pure states can induce an entanglement monotone for all density matrices. We especially show that our entanglement monotone is the maximal one among all that have the same form for pure states. In some particular cases, our proposed entanglement monotones turned to be equivalent to the convex roof construction, which hence gains an operational meaning. Some examples are given to demonstrate the different cases.


title: Adversarial Parameter Defense by Multi-Step Risk Minimization

abstract: Previous studies demonstrate DNNs' vulnerability to adversarial examples and adversarial training can establish a defense to adversarial examples. In addition, recent studies show that deep neural networks also exhibit vulnerability to parameter corruptions. The vulnerability of model parameters is of crucial value to the study of model robustness and generalization. In this work, we introduce the concept of parameter corruption and propose to leverage the loss change indicators for measuring the flatness of the loss basin and the parameter robustness of neural network parameters. On such basis, we analyze parameter corruptions and propose the multi-step adversarial corruption algorithm. To enhance neural networks, we propose the adversarial parameter defense algorithm that minimizes the average risk of multiple adversarial parameter corruptions. Experimental results show that the proposed algorithm can improve both the parameter robustness and accuracy of neural networks.


title: Using Satellite Imagery and Machine Learning to Estimate the Livelihood Impact of Electricity Access

abstract: In many regions of the world, sparse data on key economic outcomes inhibits the development, targeting, and evaluation of public policy. We demonstrate how advancements in satellite imagery and machine learning can help ameliorate these data and inference challenges. In the context of an expansion of the electrical grid across Uganda, we show how a combination of satellite imagery and computer vision can be used to develop local-level livelihood measurements appropriate for inferring the causal impact of electricity access on livelihoods. We then show how ML-based inference techniques deliver more reliable estimates of the causal impact of electrification than traditional alternatives when applied to these data. We estimate that grid access improves village-level asset wealth in rural Uganda by 0.17 standard deviations, more than doubling the growth rate over our study period relative to untreated areas. Our results provide country-scale evidence on the impact of a key infrastructure investment, and provide a low-cost, generalizable approach to future policy evaluation in data sparse environments.


title: Effect of crystal field and external magnetic field on the magnetic and thermodynamic properties of the Ising mixed spin (1-1/2-1) three layers system of cubic structure

abstract: In this work, Monte Carlo simulation was implemented to study the phase diagrams and magnetic properties of a mixed spin (1-1/2-1) three-layer system with a cubic structure. In particular, the effects of the exchange and coupling parameters on the system compensation temperature were explored. More importantly, the effect of the crystal field on the system compensation, critical temperatures, and magnetic and thermodynamic properties of the system have been explored in detail. The crystal field was found to have a profound impact on the system compensation and critical temperatures. Our results suggest that the presence of the crystal field will cause the compensation temperature to exist for a short range of negative crystal field values. Furthermore, the threshold values of the crystal field were found to determine the change in both the compensation and critical temperatures with the variation of the crystal field. The double-peak phenomena confirmed these results in the susceptibility and specific heat curves. Finally, the system magnetic hysteresis loops were studied for different temperatures and crystal field values, revealing the presence of two-step hysteresis loops for several values of these parameters.


title: Charge ambiguity and splitting of monopoles

abstract: This paper is dedicated to studying various aspects of topological defects, appearing in mean-field theory treatments of physical systems such as ultracold atomic gases and gauge field theories. We start by investigating topological charge ambiguity and addition of topological charges using the mathematical formalism of covering spaces, which clarifies many aspects these phenomena. Subsequently, we classify topological defect configurations consisting of several monopoles and unknotted ring defects in terms of homotopy groups and fundamental group actions on them, thus generalizing the previous classifications of a single monopole and a single unknotted ring defect. Finally, we examine the decay of multiply charged topological monopoles under small perturbations of the physical system, and analyze the conditions under which multiply charged monopoles are inclined to split into several singly charged monopoles.

categories: cond-mat.quant-gas hep-th math-ph math.MP


title: OSKR/OKAI: Systematic Optimization of Key Encapsulation Mechanisms from Module Lattice

abstract: In this work, we make \emph{systematic} optimizations of key encapsulation mechanisms (KEM) based on module learning-with-errors (MLWE), covering algorithmic design, fundamental operation of number-theoretic transform (NTT), approaches to expanding encapsulated key size, and optimized implementation coding. We focus on Kyber (now in the Round-3 finalist of NIST PQC standardization) and Aigis (a variant of Kyber proposed at PKC 2020). By careful analysis, we first observe that the algorithmic design of Kyber and Aigis can be optimized by the mechanism of asymmetric key consensus with noise (AKCN) proposed in \cite{JZ16,JZ19}. Specifically, the decryption process can be simplified with AKCN, leading to a both faster and less error-prone decryption process. Moreover, the AKCN-based optimized version has perfect compatibility with the deployment of Kyber/Aigis in reality, as they can run on the same parameters, the same public key, and the same encryption process. We make a systematic study of the variants of NTT proposed in recent years for extending its applicability scope, make concrete analysis of their exact computational complexity, and in particular show their equivalence. We then present a new variant named hybrid-NTT (H-NTT), combining the advantages of existing NTT methods, and derive its optimality in computational complexity. The H-NTT technique not only has larger applicability scope but also allows for modular and unified implementation codes of NTT operations even with varying module dimensions. We analyze and compare the different approaches to expand the size of key to be encapsulated (specifically, 512-bit key for dimension of 1024), and conclude with the most economic approach. To mitigate the compatibility issue in implementations we adopt the proposed H-NTT method.


title: Prescriptive Process Monitoring Under Resource Constraints: A Causal Inference Approach

abstract: Prescriptive process monitoring is a family of techniques to optimize the performance of a business process by triggering interventions at runtime. Existing prescriptive process monitoring techniques assume that the number of interventions that may be triggered is unbounded. In practice, though, specific interventions consume resources with finite capacity. For example, in a loan origination process, an intervention may consist of preparing an alternative loan offer to increase the applicant's chances of taking a loan. This intervention requires a certain amount of time from a credit officer, and thus, it is not possible to trigger this intervention in all cases. This paper proposes a prescriptive process monitoring technique that triggers interventions to optimize a cost function under fixed resource constraints. The proposed technique relies on predictive modeling to identify cases that are likely to lead to a negative outcome, in combination with causal inference to estimate the effect of an intervention on the outcome of the case. These outputs are then used to allocate resources to interventions to maximize a cost function. A preliminary empirical evaluation suggests that the proposed approach produces a higher net gain than a purely predictive (non-causal) baseline.


title: Clues on jet behavior from simultaneous radio-X-ray fits of GX339-4

abstract: Understanding the mechanisms of accretion-ejection during X-ray binaries outbursts has been a problem for several decades. It is still not clear yet what controls the spectral evolution of these objects from the hard to the soft states and then back to the hard states at the end of the outburst, tracing the well-known hysteresis cycle in the hardness-intensity diagram. Moreover, the link between the spectral states and the presence/absence of radio emission is still highly debated. In a series of papers, we developed a model composed of a truncated outer standard accretion disk (SAD, from the solution of Shakura and Sunyaev) and an inner jet emitting disk (JED). In this paradigm, the JED plays the role of the hot corona while simultaneously explaining the presence of a radio jet. Our goal is to apply for the first time direct fitting procedures of the JED-SAD model to the hard states of four outbursts of GX 339-4 observed during the 2000-2010 decade by RXTE, combined with simultaneous or quasi simultaneous ATCA observations. We built JED-SAD model tables usable in Xspec as well as a reflection model table based on the Xillver model. We apply our model to the 452 hard state observations obtained with RXTE/PCA. We were able to correctly fit the X-ray spectra and simultaneously reproduce the radio flux. We show that the functional dependency of the radio emission on the model parameters (mainly the accretion rate and the transition radius between the JED and the SAD) is similar between all the rising phases of the different outbursts of GX 339-4. But it is significantly different from the functional dependency obtained in the decaying phases. This result strongly suggests a change in the radiative and/or dynamical properties of the ejection between the beginning and the end of the outburst. We discuss possible scenarios that could explain these differences.


title: Robust Real-time Computing with Chemical Reaction Networks

abstract: Recent research into analog computing has introduced new notions of computing real numbers. Huang, Klinge, Lathrop, Li, and Lutz defined a notion of computing real numbers in real-time with chemical reaction networks (CRNs), introducing the classes $\mathbb{R}_\text{LCRN}$ (the class of all Lyapunov CRN-computable real numbers) and $\mathbb{R}_\text{RTCRN}$ (the class of all real-time CRN-computable numbers). In their paper, they show the inclusion of the real algebraic numbers $ALG \subseteq \mathbb{R}_\text{LCRN} \subseteq \mathbb{R}_\text{RTCRN}$ and that $ALG \subsetneqq \mathbb{R}_\text{RTCRN}$ but leave open where the inclusion is proper. In this paper, we resolve this open problem and show $ALG= \mathbb{R}_\text{LCRN} \subsetneqq \mathbb{R}_\text{RTCRN}$. However, their definition of real-time computation is fragile in the sense that it is sensitive to perturbations in initial conditions. To resolve this flaw, we further require a CRN to withstand these perturbations. In doing so, we arrive at a discrete model of memory. This approach has several benefits. First, a bounded CRN may compute values approximately in finite time. Second, a CRN can tolerate small perturbations of its species' concentrations. Third, taking a measurement of a CRN's state only requires precision proportional to the exactness of these approximations. Lastly, if a CRN requires only finite memory, this model and Turing machines are equivalent under real-time simulations.


title: Baryonic $B$ meson decays

abstract: We review the two and three-body baryonic $B$ decays with the dibaryon (${\bf B\bar B'}$) as the final states. Accordingly, we summarize the experimental data of the branching fractions, angular asymmetries, and $CP$ asymmetries. Using the $W$-boson annihilation (exchange) mechanism, the branching fractions of $B\to {\bf B \bf \bar B'}$ are shown to be interpretable. In the approach of perturbative QCD counting rules, we study the three-body decay channels. In particular, we review the $CP$ asymmetries of $B\to {\bf B\bar B'}M$, which are promising to be measured by the LHCb and Belle~II experiments. Finally, we remark the theoretical challenges in interpreting ${\cal B}(B^-\to p\bar p\rho^-)$ and ${\cal B}(B^-\to p\bar p\mu^-\bar \nu_\mu)$.


title: Potential PeVatron supernova remnant G106.3+2.7 seen in the highest-energy gamma rays

abstract: Cosmic rays (protons and other atomic nuclei) are believed to gain energies of petaelectronvolts (PeV) and beyond at astrophysical particle accelerators called 'PeVatrons' inside our Galaxy. Although a characteristic feature of a PeVatron is expected to be a hard gamma-ray energy spectrum that extends beyond 100 teraelectronvolts (TeV) without a cutoff, none of the currently known sources exhibits such a spectrum due to the low maximum energy of accelerated cosmic rays or insufficient detector sensitivity around 100 TeV. Here we report the observation of gamma-ray emission from the supernova remnant G106.3+2.7 above 10 TeV. This work provides flux data points up to and above 100 TeV and indicates that the very-high-energy gamma-ray emission above 10 TeV is well correlated with a molecular cloud rather than the pulsar PSR J2229+6114. Regarding the gamma-ray emission mechanism of G106.3+2.7, this morphological feature appears to favor a hadronic origin via the {\pi}0 decay caused by accelerated relativistic protons over a leptonic one via the inverse-Compton scattering by relativistic electrons. Furthermore, we point out that an X-ray flux upper limit on the synchrotron spectrum would provide important information to firmly establish the hadronic scenario as the mechanism of particle acceleration at the source.


title: Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)

abstract: Blockchains are gaining momentum due to the interest of industries and people in \emph{decentralized applications} (Dapps), particularly in those for trading assets through digital certificates secured on blockchain, called tokens. As a consequence, providing a clear unambiguous description of any activities carried out on blockchains has become crucial, and we feel the urgency to achieve that description at least for trading. This paper reports on how to leverage the \emph{Ontology for Agents, Systems, and Integration of Services} ("\ONT{}") as a general means for the semantic representation of smart contracts stored on blockchain as software agents. Special attention is paid to non-fungible tokens (NFTs), whose management through the ERC721 standard is presented as a case study.


title: Unstable Cosmic Neutrino Capture

abstract: Future direct observations of the Cosmic Neutrino Background (C$\nu$B) have the potential to explore a neutrino lifetime, especially in the region of the age of the universe, $t_0=4.35\times 10^{17}\ {\rm s}$. We forecast constraints on neutrino decay via capture of the C$\nu$B on tritium, with emphasis on the PTOLEMY-type experiment. In addition, in some cases of invisible neutrino decay into lighter neutrinos in the Standard Model and invisible particles, we can constrain not only the neutrino lifetime but also the masses of the invisible particles. For this purpose, we also formulate the energy spectra of the lighter neutrinos produced by 2-body and 3-body decays, and those of the electrons emitted in the process of the detection of the lighter neutrinos.


title: Inverse scattering transform and multiple high-order pole solutions for the nonlocal focusing and defocusing modified Korteweg-de Vries equation with the nonzero boundary conditions

abstract: We extend the Riemann-Hilbert (RH) method to study the inverse scattering transformation and high-order pole solutions of the focusing and defocusing nonlocal (reverse-space-time) modified Korteweg-de Vries (mKdV) equations with nonzero boundary conditions (NZBCs) at infinity and successfully find its multiple soliton solutions with one high-order pole and multiple high-order poles. By introducing the generalized residue formula, we overcome the difficulty caused by calculating the residue conditions corresponding to the higher-order poles. In accordance with the Laurent series of reflection coefficient and oscillation term, the determinant formula of the high-order pole solution with NZBCs is established. Finally, combined with specific parameters, the dynamic propagation behaviors of the high-order pole solutions are further analyzed and some very interesting phenomena are obtained, including kink solution, anti kink solution, rational solution and breathing-soliton solution.


title: An Ontology-Based, Fully Probabilistic, Scalable Method for Human Activity Recognition

abstract: Efficiency and scalability are obstacles that have not yet received a viable response from the human activity recognition research community. This paper proposes an activity recognition method. The knowledge model is in the form of ontology, the state-of-the-art in knowledge representation and reasoning. The ontology starts with probabilistic information about subjects' low-level activities and location and then is populated with the assertion axioms learned from data or defined by the user. Unlike methods that choose only the most probable candidate from sensor readings, the proposed method keeps multiple candidates with the known degree of confidence for each one and involves them in decision making. Using this method, the system is more flexible to deal with unreliable readings from sensors, and the final recognition rate is improved. Besides, to resolve the scalability problem, a system is designed and implemented to do reasoning and storing in a relational database management system. Numerical evaluation and conceptual benchmarking prove the proposed system feasibility.


title: IndicBART: A Pre-trained Model for Indic Natural Language Generation

abstract: In this paper, we study pre-trained sequence-to-sequence models for a group of related languages, with a focus on Indic languages. We present IndicBART, a multilingual, sequence-to-sequence pre-trained model focusing on 11 Indic languages and English. IndicBART utilizes the orthographic similarity between Indic scripts to improve transfer learning between similar Indic languages. We evaluate IndicBART on two NLG tasks: Neural Machine Translation (NMT) and extreme summarization. Our experiments on NMT and extreme summarization show that a model specific to related languages like IndicBART is competitive with large pre-trained models like mBART50 despite being significantly smaller. It also performs well on very low-resource translation scenarios where languages are not included in pre-training or fine-tuning. Script sharing, multilingual training, and better utilization of limited model capacity contribute to the good performance of the compact IndicBART model.


title: Numerical convergence of pre-initial conditions on dark matter halo properties

abstract: Generating pre-initial conditions (or particle loads) is the very first step to set up a cosmological N-body simulation. In this work, we revisit the numerical convergence of pre-initial conditions on dark matter halo properties using a set of simulations which only differs in initial particle loads, i.e. grid, glass, and the newly introduced capacity constrained Voronoi tessellation (CCVT). We find that the median halo properties agree fairly well (i.e. within a convergence level of a few per cent) among simulations running from different initial loads. We also notice that for some individual haloes cross-matched among different simulations, the relative difference of their properties sometimes can be several tens of per cent. By looking at the evolution history of these poorly converged haloes, we find that they are usually merging haloes or haloes have experienced recent merger events, and their merging processes in different simulations are out-of-sync, making the convergence of halo properties become poor temporarily. We show that, comparing to the simulation starting with an anisotropic grid load, the simulation with an isotropic CCVT load converges slightly better to the simulation with a glass load, which is also isotropic. Among simulations with different pre-initial conditions, haloes in higher density environments tend to have their properties converged slightly better. Our results confirm that CCVT loads behave as well as the widely used grid and glass loads at small scales, and for the first time we quantify the convergence of two independent isotropic particle loads (i.e. glass and CCVT) on halo properties.


title: Exploiting Reasoning Chains for Multi-hop Science Question Answering

abstract: We propose a novel Chain Guided Retriever-reader ({\tt CGR}) framework to model the reasoning chain for multi-hop Science Question Answering. Our framework is capable of performing explainable reasoning without the need of any corpus-specific annotations, such as the ground-truth reasoning chain, or human-annotated entity mentions. Specifically, we first generate reasoning chains from a semantic graph constructed by Abstract Meaning Representation of retrieved evidence facts. A \textit{Chain-aware loss}, concerning both local and global chain information, is also designed to enable the generated chains to serve as distant supervision signals for training the retriever, where reinforcement learning is also adopted to maximize the utility of the reasoning chains. Our framework allows the retriever to capture step-by-step clues of the entire reasoning process, which is not only shown to be effective on two challenging multi-hop Science QA tasks, namely OpenBookQA and ARC-Challenge, but also favors explainability.


title: Counting cliques in $1$-planar graphs

abstract: The problem of maximising the number of cliques among $n$-vertex graphs from various graph classes has received considerable attention. We investigate this problem for the class of $1$-planar graphs where we determine precisely the maximum total number of cliques as well as the maximum number of cliques of any fixed size. We also precisely characterise the extremal graphs for these problems.


title: A P2P Network Topology for Optimizing Partition Tolerance to Reach the CAP Guarantee Bound in Consortium Blockchains

abstract: Decentralized cryptocurrency systems, known as blockchains, have shown promise as infrastructure for mutually distrustful parties to agree on transactions safely. However, Bitcoin-derived blockchains and their variants suffer from the limitations of the CAP Trilemma, which is difficult to be solved through optimizing consensus protocols. Moreover, the P2P network of blockchains have problems in efficiency and reliability without considering the matching of physical and logical topologies. For the CAP Trilemma in consortium blockchains, we propose a physical topology based on the multi-dimensional hypercube with excellent partition tolerance in probability. On the other hand, the general hypercube has advantages in solving the mismatch problems in P2P networks. The general topology is further extended to a hierarchical recursive topology with more medium links or short links to balance the reliability requirements and the costs of physical network. We prove that the hypercube topology has better partition tolerance than the regular rooted tree topology and the ring lattice topology, and effectively fits the upper-layer protocols. As a result, blockchains constructed by the proposed topology can reach the CAP guarantee bound through adopting the proper transmission and the consensus protocols protocols that have strong consistency and availability.


title: Spectral evolution of an eruptive polar crown prominence with IRIS observations

abstract: Prominence eruption is closely related to coronal mass ejections and is an important topic in solar physics. Spectroscopic observation is an effective way to explore the plasma properties, but the spectral observations of eruptive prominences are rare. In this paper we will introduce an eruptive polar crown prominence with spectral observations from the Interface Region Imaging Spectrograph (IRIS), and try to explain some phenomena that are rarely reported in previous works. The eruptive prominence experiences a slow-rise and fast-rise phase, while the line-of-sight motions of the prominence plasma could be divided into three periods: two hours before the fast-rise phase, opposite Doppler shifts are found at the two sides of the prominence axis;then, red shifts dominate the prominence gradually; in the fast-rise phase, the prominence gets to be blue-shifted. During the second period, a faint component appears in Mg II k window with a narrow line width and a large red shift. A faint region is also found in AIA 304-angstrom images along the prominence spine, and the faint region gets darker during the expansion of the spine. We propose that the opposite Doppler shifts in the first period are a feature of the polar crown prominence that we studied. The red shifts in the second period are possibly due to mass drainage during the elevation of the prominence spine, which could accelerate the eruption in return. The blue shifts in the third period are due to that the prominence erupts toward the observer. We suggest that the faint component appears due to the decreasing of the plasma density, and the latter results from the expansion of the prominence spine.


title: BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables

abstract: In this work, we propose the BioNetExplorer framework to systematically generate and explore multiple DNN architectures for bio-signal processing in wearables. Our framework adapts key neural architecture parameters to search for an embedded DNN with a low hardware overhead, which can be deployed in wearable edge devices to analyse the bio-signal data and to extract the relevant information, such as arrhythmia and seizure. Our framework also enables hardware-aware DNN architecture search using genetic algorithms by imposing user requirements and hardware constraints (storage, FLOPs, etc.) during the exploration stage, thereby limiting the number of networks explored. Moreover, BioNetExplorer can also be used to search for DNNs based on the user-required output classes; for instance, a user might require a specific output class due to genetic predisposition or a pre-existing heart condition. The use of genetic algorithms reduces the exploration time, on average, by 9x, compared to exhaustive exploration. We are successful in identifying Pareto-optimal designs, which can reduce the storage overhead of the DNN by ~30MB for a quality loss of less than 0.5%. To enable low-cost embedded DNNs, BioNetExplorer also employs different model compression techniques to further reduce the storage overhead of the network by up to 53x for a quality loss of <0.2%.


title: A Novel Manufacturing Process for Glass THGEMs and First Characterisation in an Optical Gaseous Argon TPC

abstract: This paper details a novel, patent pending, abrasive machining manufacturing process for the formation of sub-millimetre holes in THGEMs, with the intended application in gaseous and dual-phase TPCs. Abrasive machining favours a non-ductile substrate such as glasses or ceramics. This innovative manufacturing process allows for unprecedented versatility in THGEM substrates, electrodes, and hole geometry and pattern. Consequently, THGEMs produced via abrasive machining can be tailored for specific properties, for example: high stiffness, low total thickness variation, radiopurity, moisture absorption/outgassing and/or carbonisation resistance. This paper specifically focuses on three glass substrate THGEMs (G-THGEMs) made from Schott Borofloat 33 and Fused Silica. Circular and hexagonal hole shapes are also investigated. The G-THGEM electrodes are made from Indium Tin Oxide (ITO), with a resistivity of 150 $\Omega$/Sq. All G-THGEMs were characterised in an optical (EMCCD) readout GArTPC, and compared to a traditionally manufactured FR4 THGEM, with their charging and secondary scintillation (S2) light production behaviour analysed.


title: Exploiting Simultaneous Low-Rank and Sparsity in Delay-Angular Domain for Millimeter-Wave/Terahertz Wideband Massive Access

abstract: Millimeter-wave (mmW)/Terahertz (THz) wideband communication employing a large-scale antenna array is a promising technique of the sixth-generation (6G) wireless network for realizing massive machine-type communications (mMTC). To reduce the access latency and the signaling overhead, we design a grant-free random access scheme based on joint active device detection and channel estimation (JADCE) for mmW/THz wideband massive access. In particular, by exploiting the simultaneously sparse and low-rank structure of mmW/THz channels with spreads in the delay-angular domain, we propose two multi-rank aware JADCE algorithms via applying the quotient geometry of product of complex rank-$L$ matrices with the number of clusters $L$. It is proved that the proposed algorithms require a smaller number of measurements than the currently known bounds on measurements of conventional simultaneously sparse and low-rank recovery algorithms. Statistical analysis also shows that the proposed algorithms can linearly converge to the ground truth with low computational complexity. Finally, extensive simulation results confirm the superiority of the proposed algorithms in terms of the accuracy of both activity detection and channel estimation.


title: Extinction times of multitype, continuous-state branching processes

abstract: A multitype continuous-state branching process (MCSBP) ${\rm Z}=({\rm Z}_{t})_{t\geq 0}$, is a Markov process with values in $[0,\infty)^{d}$ that satisfies the branching property. Its distribution is characterised by its branching mechanism, that is the data of $d$ Laplace exponents of $\mathbb{R}^d$-valued spectrally positive L\'evy processes, each one having $d-1$ increasing components. We give an expression of the probability for a MCSBP to tend to 0 at infinity in term of its branching mechanism. Then we prove that this extinction holds at a finite time if and only if some condition bearing on the branching mechanism holds. This condition extends Grey's condition that is well known for $d=1$. Our arguments bear on elements of fluctuation theory for spectrally positive additive L\'evy fields recently obtained in \cite{cma1} and an extension of the Lamperti representation in higher dimension proved in \cite{cpgub}.


title: MEMS Magnetometer Using Magnetic Flux Concentrators and Permanent Magnets

abstract: A novel frequency modulated MEMS magnetometer is presented. The new device is inspired by the magnetic force microscopy technique, it combines standard MEMS technology with magnetic elements to obtain a magnetometer with potential for low power consumption and high performance. The analytical model and the characterization of the first proof-concept device are presented.


title: Scale-invariant representation of machine learning

abstract: The success of machine learning has resulted from its structured representation of data. Similar data have close internal representations as compressed codes for classification or emerged labels for clustering. We observe that the frequency of internal codes or labels follows power laws in both supervised and unsupervised learning models. This scale-invariant distribution implies that machine learning largely compresses frequent typical data, and simultaneously, differentiates many atypical data as outliers. In this study, we derive the process by which these power laws can naturally arise in machine learning. In terms of information theory, the scale-invariant representation corresponds to a maximally uncertain data grouping among possible representations that guarantee a given learning accuracy.


title: Few-shot Learning in Emotion Recognition of Spontaneous Speech Using a Siamese Neural Network with Adaptive Sample Pair Formation

abstract: Speech-based machine learning (ML) has been heralded as a promising solution for tracking prosodic and spectrotemporal patterns in real-life that are indicative of emotional changes, providing a valuable window into one's cognitive and mental state. Yet, the scarcity of labelled data in ambulatory studies prevents the reliable training of ML models, which usually rely on "data-hungry" distribution-based learning. Leveraging the abundance of labelled speech data from acted emotions, this paper proposes a few-shot learning approach for automatically recognizing emotion in spontaneous speech from a small number of labelled samples. Few-shot learning is implemented via a metric learning approach through a siamese neural network, which models the relative distance between samples rather than relying on learning absolute patterns of the corresponding distributions of each emotion. Results indicate the feasibility of the proposed metric learning in recognizing emotions from spontaneous speech in four datasets, even with a small amount of labelled samples. They further demonstrate superior performance of the proposed metric learning compared to commonly used adaptation methods, including network fine-tuning and adversarial learning. Findings from this work provide a foundation for the ambulatory tracking of human emotion in spontaneous speech contributing to the real-life assessment of mental health degradation.


title: Analyzing melts and fluids from ab initio molecular dynamics simulations with the UMD package

abstract: We develop a Python-based open-source package to analyze the results stemming from ab initio molecular-dynamics simulations of fluids. The package is best suited for applications on natural systems, like silicate and oxide melts, water-based fluids, various supercritical fluids. The package is a collection of Python scripts that include two major libraries dealing with file formats and with crystallography. All the scripts are run at the command line. We propose a simplified format to store the atomic trajectories and relevant thermodynamic information of the simulations, which is saved in UMD files, standing for Universal Molecular Dynamics. The UMD package allows the computation of a series of structural, transport and thermodynamic properties. Starting with the pair-distribution function it defines bond lengths, builds an interatomic connectivity matrix, and eventually determines the chemical speciation. Determining the lifetime of the chemical species allows running a full statistical analysis. Then dedicated scripts compute the mean-square displacements for the atoms as well as for the chemical species. The implemented self-correlation analysis of the atomic velocities yields the diffusion coefficients and the vibrational spectrum. The same analysis applied on the stresses yields the viscosity. The package is available via the GitHub website and via its own dedicated page of the ERC IMPACT project as open-access package.


title: Fine-grained Hand Gesture Recognition in Multi-viewpoint Hand Hygiene

abstract: This paper contributes a new high-quality dataset for hand gesture recognition in hand hygiene systems, named "MFH". Generally, current datasets are not focused on: (i) fine-grained actions; and (ii) data mismatch between different viewpoints, which are available under realistic settings. To address the aforementioned issues, the MFH dataset is proposed to contain a total of 731147 samples obtained by different camera views in 6 non-overlapping locations. Additionally, each sample belongs to one of seven steps introduced by the World Health Organization (WHO). As a minor contribution, inspired by advances in fine-grained image recognition and distribution adaptation, this paper recommends using the self-supervised learning method to handle these preceding problems. The extensive experiments on the benchmarking MFH dataset show that the introduced method yields competitive performance in both the Accuracy and the Macro F1-score. The code and the MFH dataset are available at https://github.com/willogy-team/hand-gesture-recognition-smc2021.


title: Superconductor/normal-metal/superconductor junction of topological superconductors revisited: Fractional Josephson current, fermion parity, and oscillating wavefunctions

abstract: The fractional Josephson effect is known to be a characteristic phenomenon of topological Josephson junctions hosting Majorana zero modes (MZMs), where the Josephson current has a $4\pi$ (rather than a $2\pi$) periodicity in the phase difference between the two topological superconductors. We introduce a one-dimensional model of a topological superconductor/normal-metal/superconductor (SNS) junction with the normal-metal (N) region of finite length, which is intermediate regime between the short- and long-junction limits. Assuming weak tunneling at the SN interfaces, we investigate resonance and finite-size effects on the fractional Josephson effect due to the existence of several discrete energy levels in the N region in which wavefunctions have oscillating nodal structure. Through careful analysis of the sign change in the transmission amplitudes through the junction and the fermion parity of the two MZMs, we find that the fractional Josephson current is proportional to the parity of total fermion numbers including both filled normal levels and two MZMs. Furthermore, we elucidate drastic enhancement of the Josephson current due to the resonance between a discrete level in the N region and MZMs.


title: Two distinct approaches to tune multiple reflective bands of one-dimensional photonic crystal at normal incidence

abstract: One-dimensional photonic crystals (1D PC) represent a class of periodic optical material, composed of alternating media with different dielectric constants along one direction. The most important property of 1D PCs is their photonic band-gap. However, multiple reflective bands are rarely reported in this research area. In this paper we demonstrate the tunability of multiple reflective bands in conventional 1D PC structure and 1D PC heterostructure. For both two types of 1D PC construction, positions of multiple reflective bands can be regulated under certain principles. In addition, structural color is revealed by transforming reflection spectra into CIE coordinates. It is indicated that the CIE coordinate shifts caused by multiple reflective bands behave quite different compared to those caused by one major photonic band-gap. The two approaches reported in this work may provide insights for the application of 1D PC in areas such as displays, sensors, and decoration.


title: FDA: Feature Decomposition and Aggregation for Robust Airway Segmentation

abstract: 3D Convolutional Neural Networks (CNNs) have been widely adopted for airway segmentation. The performance of 3D CNNs is greatly influenced by the dataset while the public airway datasets are mainly clean CT scans with coarse annotation, thus difficult to be generalized to noisy CT scans (e.g. COVID-19 CT scans). In this work, we proposed a new dual-stream network to address the variability between the clean domain and noisy domain, which utilizes the clean CT scans and a small amount of labeled noisy CT scans for airway segmentation. We designed two different encoders to extract the transferable clean features and the unique noisy features separately, followed by two independent decoders. Further on, the transferable features are refined by the channel-wise feature recalibration and Signed Distance Map (SDM) regression. The feature recalibration module emphasizes critical features and the SDM pays more attention to the bronchi, which is beneficial to extracting the transferable topological features robust to the coarse labels. Extensive experimental results demonstrated the obvious improvement brought by our proposed method. Compared to other state-of-the-art transfer learning methods, our method accurately segmented more bronchi in the noisy CT scans.


title: Circular flow number of Goldberg snarks

abstract: A circular nowhere-zero $r$-flow on a bridgeless graph $G$ is an orientation of the edges and an assignment of real values from $[1, r-1]$ to the edges in such a way that the sum of incoming values equals the sum of outgoing values for every vertex. The circular flow number of $G$ is the infimum over all values $r$ such that $G$ admits a nowhere-zero $r$-flow. We prove that the circular glow number of Goldberg snark $G_{2k+1}$ is $4+1/(k+1)$, proving a conjecture of Goedgebeur, Mattiolo, and Mazzuoccolo.


title: Memory at Your Service: Fast Memory Allocation for Latency-critical Services

abstract: Co-location and memory sharing between latency-critical services, such as key-value store and web search, and best-effort batch jobs is an appealing approach to improving memory utilization in multi-tenant datacenter systems. However, we find that the very diverse goals of job co-location and the GNU/Linux system stack can lead to severe performance degradation of latency-critical services under memory pressure in a multi-tenant system. We address memory pressure for latency-critical services via fast memory allocation and proactive reclamation. We find that memory allocation latency dominates the overall query latency, especially under memory pressure. We analyze the default memory management mechanism provided by GNU/Linux system stack and identify the reasons why it is inefficient for latency-critical services in a multi-tenant system. We present Hermes, a fast memory allocation mechanism in user space that adaptively reserves memory for latency-critical services. It advises Linux OS to proactively reclaim memory of batch jobs. We implement Hermes in GNU C Library. Experimental result shows that Hermes reduces the average and the $99^{th}$ percentile memory allocation latency by up to 54.4% and 62.4% for a micro benchmark, respectively. For two real-world latency-critical services, Hermes reduces both the average and the $99^{th}$ percentile tail query latency by up to 40.3%. Compared to the default Glibc, jemalloc and TCMalloc, Hermes reduces Service Level Objective violation by up to 84.3% under memory pressure.


title: Two contact binaries with mass ratios close to the minimum mass ratio

abstract: The cut-off mass ratio is under debate for contact binaries. In this paper, we present the investigation of two contact binaries with mass ratios close to the low mass ratio limit. It is found that the mass ratios of VSX J082700.8+462850 (hereafter J082700) and 1SWASP J132829.37+555246.1 (hereafter J132829) are both less than 0.1 ($q\sim0.055$ for J082700, and $q\sim0.089$ for J132829). J082700 is a shallow contact binary with a contact degree of $\sim$19%, and J132829 is a deep contact system with a fillout factor of $\sim$70%. The $O-C$ diagram analysis indicated that both the two systems manifest long-term period decrease. In addition, J082700 exhibits a cyclic modulation which is more likely resulted from Applegate mechanism. In order to explore the properties of extremely low mass ratio contact binaries (ELMRCBs), we carried out a statistical analysis on contact binaries with mass ratios of $q\lesssim0.1$ and discovered that the values of $J_{spin}/J_{orb}$ of three systems are greater than 1/3. Two possible explanations can interpret this phenomenon. One is that some physical processes, unknown to date, are not considered when Hut presented the dynamically instability criterion. The other is that the dimensionless gyration radius ($k$) should be smaller than the value we used ($k^2=0.06$). We also found that the formation of ELMRCBs possibly has two channels. The study of evolutionary states of ELMRCBs reveals that their evolutionary states are similar with those of normal W UMa contact binaries.


title: On a sum involving certain arithmetic functions and the integral part function

abstract: In this short, we study sums of the shape $\sum_{n\leqslant x}{f([x/n])}/{[x/n]},$ where $f$ is Euler totient function $\varphi$, Dedekind function $\Psi$, sum-of-divisors function $\sigma$ or the alternating sum-of-divisors function $\beta.$ We improve previous results when $f=\varphi$ and derive new estimates when $f=\Psi, f=\sigma$ and $f=\beta.$


title: Learning to Combine the Modalities of Language and Video for Temporal Moment Localization

abstract: Temporal moment localization aims to retrieve the best video segment matching a moment specified by a query. The existing methods generate the visual and semantic embeddings independently and fuse them without full consideration of the long-term temporal relationship between them. To address these shortcomings, we introduce a novel recurrent unit, cross-modal long short-term memory (CM-LSTM), by mimicking the human cognitive process of localizing temporal moments that focuses on the part of a video segment related to the part of a query, and accumulates the contextual information across the entire video recurrently. In addition, we devise a two-stream attention mechanism for both attended and unattended video features by the input query to prevent necessary visual information from being neglected. To obtain more precise boundaries, we propose a two-stream attentive cross-modal interaction network (TACI) that generates two 2D proposal maps obtained globally from the integrated contextual features, which are generated by using CM-LSTM, and locally from boundary score sequences and then combines them into a final 2D map in an end-to-end manner. On the TML benchmark dataset, ActivityNet-Captions, the TACI outperform state-of-the-art TML methods with R@1 of 45.50% and 27.23% for IoU@0.5 and IoU@0.7, respectively. In addition, we show that the revised state-of-the-arts methods by replacing the original LSTM with our CM-LSTM achieve performance gains.


title: Type Iax supernovae from deflagrations in Chandrasekhar mass white dwarfs

abstract: Due to the increasing number of observations Type Ia supernovae are nowadays regarded as a heterogeneous class of objects consisting of several subclasses. One of the largest of these is the class of Type Iax supernovae (SNe Iax) which have been suggested to originate from pure deflagrations in CO Chandrasekhar-mass white dwarfs (WDs). Although a few deflagration studies have been carried out, the full diversity of the class is not captured yet. We therefore present a parameter study of single-spot ignited deflagrations with varying ignition locations, central densities, metallicities and compositions. We also explore a rigidly rotating progenitor and carry out 3D hydrodynamic simulations, nuclear network calculations and radiative transfer. The new models extend the range in brightness covered by previous studies to the lower end. Our explosions produce $^{56}$Ni masses from $5.8 \times 10^{-3}$ to $9.2 \times 10^{-2}\,M_\odot$. In spite of the wide exploration of the parameter space the main characteristics of the models are primarily driven by the mass of $^{56}$Ni. Secondary parameters have too little impact to explain the observed trend among faint SNe~Iax. We report kick velocities of the bound explosion remnants from $6.9$ to $369.8\,$km$\,s^{-1}$. The wide exploration of the parameter space and viewing-angle effects in the radiative transfer lead to a significant spread in the synthetic observables. The trends towards the faint end of the class are, however, not reproduced. This motivates a quantification of the systematic uncertainties in the modeling procedure and the influence of the $^{56}$Ni-rich bound remnant. While the pure deflagration scenario remains a favorable explanation for bright and intermediate luminosity SNe~Iax, the possibility that SNe~Iax do not consist of a single explosion scenario needs to be considered.


title: Heterogeneity-aware Twitter Bot Detection with Relational Graph Transformers

abstract: Twitter bot detection has become an important and challenging task to combat misinformation and protect the integrity of the online discourse. State-of-the-art approaches generally leverage the topological structure of the Twittersphere, while they neglect the heterogeneity of relations and influence among users. In this paper, we propose a novel bot detection framework to alleviate this problem, which leverages the topological structure of user-formed heterogeneous graphs and models varying influence intensity between users. Specifically, we construct a heterogeneous information network with users as nodes and diversified relations as edges. We then propose relational graph transformers to model heterogeneous influence between users and learn node representations. Finally, we use semantic attention networks to aggregate messages across users and relations and conduct heterogeneity-aware Twitter bot detection. Extensive experiments demonstrate that our proposal outperforms state-of-the-art methods on a comprehensive Twitter bot detection benchmark. Additional studies also bear out the effectiveness of our proposed relational graph transformers, semantic attention networks and the graph-based approach in general.


title: Simulation of a flat folding nano-swimmer confined in a nanopore

abstract: We use molecular dynamics simulations to investigate the displacement of a simple butterfly-like molecular motor inside nanopores of various radii filled with a viscous medium. The medium is modeled with a versatile potential that may be adjusted to represent a large number of materials. It was found previously that the motor folding not only increases its displacement but also creates elementary diffusion processes inside the medium, related to the opening angle of the motor folding. The presence of these processes changes the medium dynamics and in turn affects the motor displacement. Therefore we test the motor displacement with different activations of the medium inside the pore by varying the motor opening angles. We find that the optima of the motor displacement oscillate with pore sizes and that the optimal radii depend on the activation of the medium. These results imply that it is possible to choose the activation or opening angle that optimizes the motor displacement for a given pore size. Results also show that the activation decreases strongly the confinement hindering of the motor motion, in particular for small pores. Finally, analyzing the distribution probability of the motor position and the density of elementary motions we find that the motor is mainly located in the center of the pore. We find spikes in the density of elementary motions when the motor goes away from the center, suggesting important contributions of the motor bouncing motions on the pore walls.


title: Brand Label Albedo Extraction of eCommerce Products using Generative Adversarial Network

abstract: In this paper we present our solution to extract albedo of branded labels for e-commerce products. To this end, we generate a large-scale photo-realistic synthetic data set for albedo extraction followed by training a generative model to translate images with diverse lighting conditions to albedo. We performed an extensive evaluation to test the generalisation of our method to in-the-wild images. From the experimental results, we observe that our solution generalises well compared to the existing method both in the unseen rendered images as well as in the wild image.


title: Families of functionals representing Sobolev norms

abstract: We obtain new characterizations of the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^N)$ and the bounded variation space $\dot{BV}(\mathbb{R}^N)$. The characterizations are in terms of the functionals $\nu_{\gamma} (E_{\lambda,\gamma/p}[u])$ where \[ E_{\lambda,\gamma/p}[u]= \Big\{(x,y )\in \mathbb{R}^N \times \mathbb{R}^N \colon x \neq y, \, \frac{|u(x)-u(y)|}{|x-y|^{1+\gamma/p}}>\lambda\Big\} \] and the measure $\nu_{\gamma}$ is given by $\mathrm{d} \nu_\gamma(x,y)=|x-y|^{\gamma-N} \mathrm{d} x \mathrm{d} y$. We provide characterizations which involve the $L^{p,\infty}$-quasi-norms $\sup_{\lambda>0} \lambda \, \nu_{\gamma} (E_{\lambda,\gamma/p}[u]) ^{1/p}$ and also exact formulas via corresponding limit functionals, with the limit for $\lambda\to\infty$ when $\gamma>0$ and the limit for $\lambda\to 0^+$ when $\gamma<0$. The results unify and substantially extend previous work by Nguyen and by Brezis, Van Schaftingen and Yung. For $p>1$ the characterizations hold for all $\gamma \neq 0$. For $p=1$ the upper bounds for the $L^{1,\infty}$ quasi-norms fail in the range $\gamma\in [-1,0) $; moreover in this case the limit functionals represent the $L^1$ norm of the gradient for $C^\infty_c$-functions but not for generic $\dot W^{1,1}$-functions. For this situation we provide new counterexamples which are built on self-similar sets of dimension $\gamma+1$. For $\gamma=0$ the characterizations of Sobolev spaces fail; however we obtain a new formula for the Lipschitz norm via the expressions $\nu_0(E_{\lambda,0}[u])$.


title: Nonlinear variation of bedload thickness with fluid flow rate in laminar shearing flow

abstract: The movement of subaqueous sediment in laminar shearing flow is numerically investigated by the coupled lattice Boltzmann and discrete element methods. First, the numerical method is validated by comparing the phase diagram proposed by Ouriemi et al. ({\it J. Fluid Mech}., vol. 636, 2009, pp. 321-336). Second, a detailed study on sediment movement is performed for sediment with varying solid volume fractions, and a nonlinear relationship between the normalised thickness of the mobile layer and the normalised fluid flow rate is observed for a densely-packed sediment. Third, an independent investigation on the effective viscosity and friction coefficient of the sediment under different fluid flow rates is conducted in a shear cell; and substitution of these two critical parameters into a theoretical expression proposed by Aussillous et al. ({\it J. Fluid Mech}., vol. 736, 2013, pp. 594-615) provides consistent predictions of bedload thickness with the simulation results of sediment movement. Therefore, we conclude that the non-Newtonian behaviour of densely-packed sediment leads to the nonlinear relationship between the normalised thickness of the mobile layer and the normalised fluid flow rate.


title: Hermite equivalence of polynomials

abstract: In this paper, we resurrect a long-forgotten notion of equivalence for univariate polynomials with integral coefficients introduced by Hermite in the 1850s. We show that the Hermite equivalence class of a polynomial has a very natural interpretation in terms of the invariant ring and invariant ideal associated with the polynomial. We apply this interpretation to shed light on the relationship between Hermite equivalence and more familiar notions of polynomial equivalence, such as ${\rm GL}_2(\mathbb{Z})$- and $\mathbb{Z}$-equivalence. Specifically, we prove that ${\rm GL}_2(\mathbb{Z})$-equivalent polynomials are Hermite equivalent and, for polynomials of degree $2$ or $3$, the converse is also true. On the other hand, for every $n\geq 4$, we give infinite collections of examples of polynomials $f,g\in \mathbb{Z}[X]$ of degree $n$ that are Hermite equivalent but not ${\rm GL}_2(\mathbb{Z})$-equivalent.


title: Examining the Dynamic Asset Market Linkages under the COVID-19 Global Pandemic

abstract: This study examines the dynamic asset market linkages under the COVID-19 global pandemic based on market efficiency, in the sense of Fama (1970). Particularly, we estimate the joint degree of market efficiency by applying Ito et al.'s (2014; 2017) Generalized Least Squares-based time-varying vector autoregression model. The empirical results show that (1) the joint degree of market efficiency changes widely over time, as shown in Lo's (2004) adaptive market hypothesis, (2) the COVID-19 pandemic may eliminate arbitrage and improve market efficiency through enhanced linkages between the asset markets; and (3) the market efficiency has continued to decline due to the Bitcoin bubble that emerged at the end of 2020.


title: Fishr: Invariant Gradient Variances for Out-of-Distribution Generalization

abstract: Learning robust models that generalize well under changes in the data distribution is critical for real-world applications. To this end, there has been a growing surge of interest to learn simultaneously from multiple training domains - while enforcing different types of invariance across those domains. Yet, all existing approaches fail to show systematic benefits under controlled evaluation protocols. In this paper, we introduce a new regularization - named Fishr - that enforces domain invariance in the space of the gradients of the loss: specifically, the domain-level variances of gradients are matched across training domains. Our approach is based on the close relations between the gradient covariance, the Fisher Information and the Hessian of the loss: in particular, we show that Fishr eventually aligns the domain-level loss landscapes locally around the final weights. Extensive experiments demonstrate the effectiveness of Fishr for out-of-distribution generalization. Notably, Fishr improves the state of the art on the DomainBed benchmark and performs consistently better than Empirical Risk Minimization. Our code is available at https://github.com/alexrame/fishr.


title: Data Driven Content Creation using Statistical and Natural Language Processing Techniques for Financial Domain

abstract: Over the years customers' expectation of getting information instantaneously has given rise to the increased usage of channels like virtual assistants. Typically, customers try to get their questions answered by low-touch channels like search and virtual assistant first, before getting in touch with a live chat agent or the phone representative. Higher usage of these low-touch systems is a win-win for both customers and the organization since it enables organizations to attain a low cost of service while customers get served without delay. In this paper, we propose a two-part framework where the first part describes methods to combine the information from different interaction channels like call, search, and chat. We do this by summarizing (using a stacked Bi-LSTM network) the high-touch interaction channel data such as call and chat into short searchquery like customer intents and then creating an organically grown intent taxonomy from interaction data (using Hierarchical Agglomerative Clustering). The second part of the framework focuses on extracting customer questions by analyzing interaction data sources. It calculates similarity scores using TF-IDF and BERT(Devlin et al., 2019). It also maps these identified questions to the output of the first part of the framework using syntactic and semantic similarity.


title: The role of mergers and gas accretion in black hole growth and galaxy evolution

abstract: We use a semi-analytic galaxy formation model to study the co-evolution of supermassive black holes (SMBHs) with their host galaxies. Although the coalescence of SMBHs is not important, the quasar-mode accretion induced by mergers plays a dominant role in the growth of SMBHs. Mergers play a more important role in the growth of SMBH host galaxies than in the SMBH growth. It is the combined contribution from quasar mode accretion and mergers to the SMBH growth and the combined contribution from starburst and mergers to their host galaxy growth that determine the observed scaling relation between the SMBH masses and their host galaxy masses. We also find that mergers are more important in the growth of SMBH host galaxies compared to normal galaxies which share the same stellar mass range as the SMBH host galaxies.


title: GeneNet VR: Interactive visualization of large-scale biological networks using a standalone headset

abstract: Visualizations are an essential part of biomedical analysis result interpretation. Often, interactive networks are used to visualize the data. However, the high interconnectivity, and high dimensionality of the data often results in information overload, making it hard to interpret the results. To address the information overload problem, existing solutions typically either use data reduction, reduced interactivity, or expensive hardware. We propose using the affordable Oculus Quest Virtual Reality (VR) headset for interactive visualization of large-scale biological networks. We present the design and implementation of our solution, GeneNet VR, and we evaluate its scalability and usability using large gene-to-gene interaction networks. We achieve the 72 FPS required by the Oculus performance guidelines for the largest of our networks (2693 genes) using both a GPU and the Oculus Quest standalone. We found from our interviews with biomedical researchers that GeneNet VR is innovative, interesting, and easy to use for novice VR users. We believe affordable hardware like the Oculus Quest has a big potential for biological data analysis. However, additional work is required to evaluate its benefits to improve knowledge discovery for real data analysis use cases. GeneNet VR is open-sourced: https://github.com/kolibrid/GeneNet-VR. A video demonstrating GeneNet VR used to explore large biological networks: https://youtu.be/N4QDZiZqVNY.


title: Naturalness Evaluation of Natural Language Generation in Task-oriented Dialogues using BERT

abstract: This paper presents an automatic method to evaluate the naturalness of natural language generation in dialogue systems. While this task was previously rendered through expensive and time-consuming human labor, we present this novel task of automatic naturalness evaluation of generated language. By fine-tuning the BERT model, our proposed naturalness evaluation method shows robust results and outperforms the baselines: support vector machines, bi-directional LSTMs, and BLEURT. In addition, the training speed and evaluation performance of naturalness model are improved by transfer learning from quality and informativeness linguistic knowledge.


title: The self-energy of Friedrichs-Lee models and its application to bound states and resonances

abstract: A system composed of two-level systems interacting with a single excitation of a one-dimensional boson field with continuous spectrum, described by a Friedrichs (or Friedrichs-Lee) model, can exhibit bound states and resonances; the latter can be characterized by computing the so-called self-energy of the model. We evaluate an analytic expression, valid for a large class of dispersion relations and coupling functions, for the self-energy of such models. Afterwards, we focus on the case of identical two-level systems, and we refine our analysis by distinguishing between dominant and suppressed contributions to the associated self-energy; we finally examine the phenomenology of bound states in the presence of a single dominant contribution.


title: Eye-Tracking-Based Design of Mixed Reality Learning Environments in STEM

abstract: With the advent of commercially available Mixed-Reality(MR)-headsets in recent years MR-assisted learning started to play a vital role in educational research, especially related to STEM (science, technology, engineering and mathematics) education. Along with these developments it seems viable to further frameworks and structured design processes for MR-based learning environments. Instead of a widely applicable framework for designing educational MR applications, we here consider the case of virtually enhancing physical hands-on experiments in STEM, where students are given a certain problem to solve, and how to design these. For this focused realm, we suggest an empirically driven problemand user-centred design process for MR applications to get novices to act more like experts and exemplify it for a specific experiment and problem set containing a non-trivial electric circuit with capacitors and coils.


title: Countering Online Hate Speech: An NLP Perspective

abstract: Online hate speech has caught everyone's attention from the news related to the COVID-19 pandemic, US elections, and worldwide protests. Online toxicity - an umbrella term for online hateful behavior, manifests itself in forms such as online hate speech. Hate speech is a deliberate attack directed towards an individual or a group motivated by the targeted entity's identity or opinions. The rising mass communication through social media further exacerbates the harmful consequences of online hate speech. While there has been significant research on hate-speech identification using Natural Language Processing (NLP), the work on utilizing NLP for prevention and intervention of online hate speech lacks relatively. This paper presents a holistic conceptual framework on hate-speech NLP countering methods along with a thorough survey on the current progress of NLP for countering online hate speech. It classifies the countering techniques based on their time of action, and identifies potential future research areas on this topic.


title: NoisFre: Noise-Tolerant Memory Fingerprints from Commodity Devices for Security Functions

abstract: Building hardware security primitives with on-device memory fingerprints is a compelling proposition given the ubiquity of memory in electronic devices, especially for low-end Internet of Things devices for which cryptographic modules are often unavailable. However, the use of fingerprints in security functions is challenged by the small, but unpredictable variations in fingerprint reproductions from the same device due to measurement noise. Our study formulates a novel and pragmatic approach to achieve highly reliable fingerprints from device memories. We investigate the transformation of raw fingerprints into a noise-tolerant space where the generation of fingerprints is intrinsically highly reliable. We derive formal performance bounds to support practitioners to easily adopt our methods for applications. Subsequently, we demonstrate the expressive power of our formalization by using it to investigate the practicability of extracting noise-tolerant fingerprints from commodity devices. Together with extensive simulations, we have employed 119 chips from five different manufacturers for extensive experimental validations. Our results, including an end-to-end implementation demonstration with a low-cost wearable Bluetooth inertial sensor capable of on-demand and runtime key generation, show that key generators with failure rates less than $10^-6$ can be efficiently obtained with noise-tolerant fingerprints with a single fingerprint snapshot to support ease-of-enrollment.


title: Active region chromospheric magnetic fields

abstract: Context. A proper estimate of the chromospheric magnetic fields is believed to improve modelling of both active region and coronal mass ejection evolution. Aims. We investigate the similarity between the chromospheric magnetic field inferred from observations and the field obtained from a magnetohydrostatic (MHS) extrapolation. Methods. Based Fe i 6173 {\AA} and Ca ii 8542 {\AA} observations of NOAA active region 12723, we employed the spatially-regularised weak-field approximation (WFA) to derive the vector magnetic field in the chromosphere from Ca ii, as well as non-LTE inversions of Fe i and Ca ii to infer a model atmosphere for selected regions. Milne-Eddington inversions of Fe i serve as photospheric boundary for the MHS model that delivers the three-dimensional field, gas pressure and density. Results. For the line-of-sight component, the MHS chromospheric field generally agrees with the non-LTE inversions and WFA, but tends to be weaker than those when larger in magnitude than 300 G. The observationally inferred transverse component is stronger, especially in magnetically weaker regions, yet the qualitative distribution with height is similar to the MHS results. For either field component the MHS chromospheric field lacks the fine structure derived from the inversions. Furthermore, the MHS model does not recover the magnetic imprint from a set of high fibrils connecting the main polarities. Conclusions. The MHS extrapolation and WFA provide a qualitatively similar chromospheric field, where the azimuth of the former is better aligned with Ca ii 8542 {\AA} fibrils than that of the WFA, especially outside strong-field concentrations. The amount of structure as well as the transverse field strengths are underestimated by the MHS extrapolation. This underscores the importance of considering a chromospheric magnetic field constraint in data-driven modelling of active regions.


title: Dutch Comfort: The limits of AI governance through municipal registers

abstract: In this commentary, we respond to a recent editorial letter by Professor Luciano Floridi entitled 'AI as a public service: Learning from Amsterdam and Helsinki'. Here, Floridi considers the positive impact of these municipal AI registers, which collect a limited number of algorithmic systems used by the city of Amsterdam and Helsinki. There are a number of assumptions about AI registers as a governance model for automated systems that we seek to question. Starting with recent attempts to normalize AI by decontextualizing and depoliticizing it, which is a fraught political project that encourages what we call 'ethics theater' given the proven dangers of using these systems in the context of the digital welfare state. We agree with Floridi that much can be learned from these registers about the role of AI systems in municipal city management. Yet, the lessons we draw, on the basis of our extensive ethnographic engagement with digital well-fare states are distinctly less optimistic.


title: Classification of static asymptotically flat spacetimes with a photon sphere in Einstein-multiple-scalar field theory

abstract: In the present paper we consider the Einstein-multiple-scalar field theory. When the target space of the scalar fields is a complete, simply connected Riemannian manifold with non-positive sectional curvature we prove that the static and asymptotically flat solutions which posses a photon sphere are uniquely specified by their asymptotic data, i.e. by their mass, scalar charges and asymptotic values of the scalar fields. The unique solution with a photon sphere and prescribed asymptotic data is explicitly constructed.


title: The multilayer architecture of the global input-output network and its properties

abstract: We analyze the multilayer architecture of the global input-output network using sectoral trade data (WIOD, 2016 release). With a focus on the mesoscale structure and related properties, our multilayer analysis takes into consideration the splitting into industry-based layers in order to catch more peculiar relationships between countries that cannot be detected from the analysis of the single-layer aggregated network. We can identify several large international communities in which some countries trade more intensively in some specific layers. However, interestingly, our results show that these clusters can restructure and evolve over time. In general, not only their internal composition changes, but the centrality rankings of the members inside are also reordered, industries from some countries diminishing their role and others from other countries growing importance. These changes in the large international clusters may reflect the outcomes and the dynamics of cooperation, partner selection and competition among industries and among countries in the global input-output network.


title: Primordial synchronization of Mixmaster spatial points

abstract: We review recent work on the possibility of primordial synchronization of different Mixmaster regions in generic inhomogeneous spacetime. It is shown that inhomogeneous domains undergoing chaotic oscillations may synchronize themselves exponentially fast and proceed in perfect symphony asymptotically in the past direction. Implications of this result for the structure and evolution of an early phase of the universe are briefly discussed.


title: Critical parameters for singular perturbation reductions of chemical reaction networks

abstract: We are concerned with polynomial ordinary differential systems that arise from modelling chemical reaction networks. For such systems, which may be of high dimension and may depend on many parameters, it is frequently of interest to obtain a reduction of dimension in certain parameter ranges. Singular perturbation theory, as initiated by Tikhonov and Fenichel, provides a path toward such reductions. In the present paper we discuss parameter values that lead to singular perturbation reductions (so-called Tikhonov-Fenichel parameter values, or TFPVs). An algorithmic approach is known, but it is feasible for small dimensions only. Here we characterize conditions for classes of reaction networks for which TFPVs arise by turning off reactions (by setting rate parameters to zero), or by removing certain species (which relates to the classical quasi-steady state approach to model reduction). In particular, we obtain definitive results for the class of complex balanced reaction networks (of deficiency zero) and first order reaction networks.


title: Cosmic voids and BAO with relative baryon-CDM perturbations

abstract: We study the statistics of various large-scale structure tracers in gravity-only cosmological simulations including baryons and cold dark matter (CDM) initialized with two different transfer functions, and simulated as two distinct fluids. This allows us to study the impact of baryon-CDM relative perturbations on these statistics. In particular, we focus on the statistics of cosmic voids, as well as on the matter and halo real-space 2-point correlation function and baryon acoustic oscillations (BAO) peak. We find that the void size function is affected at the 1-2% level at maximum, and that the impact is more important at higher redshift, while the void density profile and void bias are roughly unaffected. We do not detect a sizeable impact of relative baryon-CDM perturbations on the real-space correlation functions of matter and halos or the BAO peak, which is in line with results from previous works. Our results imply that it would be hard to use voids or real-space correlation functions to constrain baryon-CDM relative perturbations, but also that we might not have to include them in models for the analysis of future cosmological surveys data.


title: Paraphrase Generation as Unsupervised Machine Translation

abstract: In this paper, we propose a new paradigm for paraphrase generation by treating the task as unsupervised machine translation (UMT) based on the assumption that there must be pairs of sentences expressing the same meaning in a large-scale unlabeled monolingual corpus. The proposed paradigm first splits a large unlabeled corpus into multiple clusters, and trains multiple UMT models using pairs of these clusters. Then based on the paraphrase pairs produced by these UMT models, a unified surrogate model can be trained to serve as the final \sts model to generate paraphrases, which can be directly used for test in the unsupervised setup, or be finetuned on labeled datasets in the supervised setup. The proposed method offers merits over machine-translation-based paraphrase generation methods, as it avoids reliance on bilingual sentence pairs. It also allows human intervene with the model so that more diverse paraphrases can be generated using different filtering criteria. Extensive experiments on existing paraphrase dataset for both the supervised and unsupervised setups demonstrate the effectiveness the proposed paradigm.


title: A cell-centred finite volume formulation of geometrically-exact Simo-Reissner beams with arbitrary initial curvatures

abstract: This paper presents a novel total Lagrangian cell-centred finite volume formulation of geometrically exact beams with arbitrary initial curvature undergoing large displacements and finite rotations. The choice of rotation parametrisation, the mathematical formulation of the beam kinematics, conjugate strain measures and the linearisation of the strong form of governing equations is described. The finite volume based discretisation of the computational domain and the governing equations for each computational volume are presented. The discretised integral form of the equilibrium equations are solved using a block-coupled Newton-Raphson solution procedure. The efficacy of the proposed methodology is presented by comparing the simulated numerical results with classic benchmark test cases available in the literature. The objectivity of strain measures for the current formulation and mesh convergence studies for both initially straight and curved beam configurations are also discussed.


title: QEnclave -- A practical solution for secure quantum cloud computing

abstract: We introduce a secure hardware device named a QEnclave that can secure the remote execution of quantum operations while only using classical controls. This device extends to quantum computing the classical concept of a secure enclave which isolates a computation from its environment to provide privacy and tamper-resistance. Remarkably, our QEnclave only performs single-qubit rotations, but can nevertheless be used to secure an arbitrary quantum computation even if the qubit source is controlled by an adversary. More precisely, attaching a QEnclave to a quantum computer, a remote client controlling the QEnclave can securely delegate its computation to the server solely using classical communication. We investigate the security of our QEnclave by modeling it as an ideal functionality named Remote State Rotation. We show that this resource, similar to previously introduced functionality of remote state preparation, allows blind delegated quantum computing with perfect security. Our proof relies on standard tools from delegated quantum computing. Working in the Abstract Cryptography framework, we show a construction of remote state preparation from remote state rotation preserving the security. An immediate consequence is the weakening of the requirements for blind delegated computation. While previous delegated protocols were relying on a client that can either generate or measure quantum states, we show that this same functionality can be achieved with a client that only transforms quantum states without generating or measuring them.


title: Combining data assimilation and machine learning to estimate parameters of a convective-scale model

abstract: Errors in the representation of clouds in convection-permitting numerical weather prediction models can be introduced by different sources. These can be the forcing and boundary conditions, the representation of orography, the accuracy of the numerical schemes determining the evolution of humidity and temperature, but large contributions are due to the parametrization of microphysics and the parametrization of processes in the surface and boundary layers. These schemes typically contain several tunable parameters that are either not physical or only crudely known, leading to model errors. Traditionally, the numerical values of these model parameters are chosen by manual model tuning. More objectively, they can be estimated from observations by the augmented state approach during the data assimilation. Alternatively, in this work, we look at the problem of parameter estimation through an artificial intelligence lens by training two types of artificial neural networks (ANNs) to estimate several parameters of the one-dimensional modified shallow-water model as a function of the observations or analysis of the atmospheric state. Through perfect model experiments, we show that Bayesian neural networks (BNNs) and Bayesian approximations of point estimate neural networks (NNs) are able to estimate model parameters and their relevant statistics. The estimation of parameters combined with data assimilation for the state decreases the initial state errors even when assimilating sparse and noisy observations. The sensitivity to the number of ensemble members, observation coverage, and neural network size is shown. Additionally, we use the method of layer-wise relevance propagation to gain insight into how the ANNs are learning and discover that they naturally select only a few gridpoints that are subject to strong winds and rain to make their predictions of chosen parameters.


title: Stealthy Cyber-Attack Design Using Dynamic Programming

abstract: This paper addresses the issue of data injection attacks on control systems. We consider attacks which aim at maximizing system disruption while staying undetected in the finite horizon. The maximum possible disruption caused by such attacks is formulated as a non-convex optimization problem whose dual problem is a convex semi-definite program. We show that the duality gap is zero using S-lemma. To determine the optimal attack vector, we formulate a soft-constrained optimization problem using the Lagrangian dual function. The framework of dynamic programming for indefinite cost functions is used to solve the soft-constrained optimization problem and determine the attack vector. Using the Karush-Kuhn-Tucker conditions, we also provide necessary and sufficient conditions under which the obtained attack vector is optimal to the primal problem.


title: Sensor-Augmented Egocentric-Video Captioning with Dynamic Modal Attention

abstract: Automatically describing video, or video captioning, has been widely studied in the multimedia field. This paper proposes a new task of sensor-augmented egocentric-video captioning, a newly constructed dataset for it called MMAC Captions, and a method for the newly proposed task that effectively utilizes multi-modal data of video and motion sensors, or inertial measurement units (IMUs). While conventional video captioning tasks have difficulty in dealing with detailed descriptions of human activities due to the limited view of a fixed camera, egocentric vision has greater potential to be used for generating the finer-grained descriptions of human activities on the basis of a much closer view. In addition, we utilize wearable-sensor data as auxiliary information to mitigate the inherent problems in egocentric vision: motion blur, self-occlusion, and out-of-camera-range activities. We propose a method for effectively utilizing the sensor data in combination with the video data on the basis of an attention mechanism that dynamically determines the modality that requires more attention, taking the contextual information into account. We compared the proposed sensor-fusion method with strong baselines on the MMAC Captions dataset and found that using sensor data as supplementary information to the egocentric-video data was beneficial, and that our proposed method outperformed the strong baselines, demonstrating the effectiveness of the proposed method.


title: Smart Automotive Technology Adherence to the Law: (De)Constructing Road Rules for Autonomous System Development, Verification and Safety

abstract: Driving is an intuitive task that requires skills, constant alertness and vigilance for unexpected events. The driving task also requires long concentration spans focusing on the entire task for prolonged periods, and sophisticated negotiation skills with other road users, including wild animals. These requirements are particularly important when approaching intersections, overtaking, giving way, merging, turning and while adhering to the vast body of road rules. Modern motor vehicles now include an array of smart assistive and autonomous driving systems capable of subsuming some, most, or in limited cases, all of the driving task. The UK Department of Transport's response to the Safe Use of Automated Lane Keeping System consultation proposes that these systems are tested for compliance with relevant traffic rules. Building these smart automotive systems requires software developers with highly technical software engineering skills, and now a lawyer's in-depth knowledge of traffic legislation as well. These skills are required to ensure the systems are able to safely perform their tasks while being observant of the law. This paper presents an approach for deconstructing the complicated legalese of traffic law and representing its requirements and flow. The approach (de)constructs road rules in legal terminology and specifies them in structured English logic that is expressed as Boolean logic for automation and Lawmaps for visualisation. We demonstrate an example using these tools leading to the construction and validation of a Bayesian Network model. We strongly believe these tools to be approachable by programmers and the general public, and capable of use in developing Artificial Intelligence to underpin motor vehicle smart systems, and in validation to ensure these systems are considerate of the law when making decisions.


title: Optical Neural Network Based on Synthetic Nonlinear Photonic Lattices

abstract: We reveal that a synthetic photonic lattice based on coupled optical loops can be utilized as a neural network for processing of optical pulse sequences in time domain. As a proof-of-concept, we train the optical system to restore an initial shape of the pulse train from the signal distorted due to linear dispersion in a fiber-optic link. We also show efficient training of the optical network with an intrinsic Kerr-type nonlinearity for the realization of target nonlinear transmission functions and inference functionality for the discrimination of different pulse sequences. The theoretical modeling is performed under practical conditions and can guide future experimental realizations.


title: Multi-Level Quickening: Ten Years Later

abstract: This paper presents important performance improvements for interpreters, exemplified by speedups of up to 5.5$\times$ for CPython. Although the original version of this papers was rejected multiple times, the reported speedups have not been achieved by any other interpreter optimization technique since. In addition, the paper uses a sound evaluation methodology based on a corollary on Amdahl's law to quantify the speedup potential of benchmarks, which also has not been used in any other paper since. This paper documents my best efforts, and includes all of the reviews the paper received, plus some more commentary on my side on what has changed since and what purpose the archived document could serve.


title: Fast approximations of pseudo-observations in the context of right-censoring and interval-censoring

abstract: In the context of right-censored and interval-censored data we develop asymptotic formulas to compute pseudo-observations for the survival function and the Restricted Mean Survival Time (RMST). Those formulas are based on the original estimators and do not involve computation of the jackknife estimators. For right-censored data, Von Mises expansions of the Kaplan-Meier estimator are used to derive the pseudo-observations. For interval-censored data, a general class of parametric models for the survival function is studied. An asymptotic representation of the pseudo-observations is derived involving the Hessian matrix and the score vector. Theoretical results that justify the use of pseudo-observations in regression are also derived. The formula is illustrated on the piecewise-constant-hazard model for the RMST. The proposed approximations are extremely accurate, even for small sample sizes, as illustrated on Monte-Carlo simulations and real data. We also study the gain in terms of computation time, as compared to the original jackknife method, which can be substantial for large dataset.