title: The CARMENES search for exoplanets around M dwarfs. Two terrestrial planets orbiting G 264-012 and one terrestrial planet orbiting Gl 393

abstract: We report the discovery of two planetary systems, namely G 264-012, an M4.0 dwarf with two terrestrial planets ($M_{\rm b}\sin{i} = 2.50^{+0.29}_{-0.30}$ M$_{\oplus}$ and $M_{\rm c}\sin{i} = 3.75^{+0.48}_{-0.47}$ M$_{\oplus}$), and Gl 393, a bright M2.0 dwarf with one terrestrial planet ($M_{\rm b}\sin{i} = 1.71 \pm 0.24$ M$_{\oplus}$). Although both stars were proposed to belong to young stellar kinematic groups, we estimate their ages to be older than about 700 Ma. The two planets around G 264-012 were discovered using only radial-velocity (RV) data from the CARMENES exoplanet survey, with estimated orbital periods of $2.30$ d and $8.05$ d, respectively. Photometric monitoring and analysis of activity indicators reveal a third signal present in the RV measurements, at about 100 d, caused by stellar rotation. The planet Gl 393 b was discovered in the RV data from the HARPS, CARMENES, and HIRES instruments. Its identification was only possible after modelling, with a Gaussian process (GP), the variability produced by the magnetic activity of the star. For the earliest observations, this variability produced a forest of peaks in the periodogram of the RVs at around the 34 d rotation period determined from {\em Kepler} data, which disappeared in the latest epochs. After correcting for them with this GP model, a significant signal showed at a period of $7.03$ d. No significant signals in any of our spectral activity indicators or contemporaneous photometry were found at any of the planetary periods. Given the orbital and stellar properties, the equilibrium temperatures of the three planets are all higher than that for Earth. Current planet formation theories suggest that these two systems represent a common type of architecture. This is consistent with formation following the core accretion paradigm.


title: A note on the modeling of the effects of experimental time in psycholinguistic experiments

abstract: Thul et al. (2020) called attention to problems that arise when chronometric experiments implementing specific factorial designs are analysed with the generalized additive mixed model (GAMM), using factor smooths to capture trial-to-trial dependencies. From a series of simulations incorporating such dependencies, they conclude that GAMMs are inappropriate for between-subject designs. They argue that in addition GAMMs come with too many modeling possibilities, and advise using the linear mixed model (LMM) instead. We address the questions raised by Thul et al. (2020), who clearly demonstrated that problems can indeed arise when using factor smooths in combination with factorial designs. We show that the problem does not arise when using by-smooths. Furthermore, we have traced a bug in the implementation of factor smooths in the mgcv package, which will have been removed from version 1.8-36 onwards. To illustrate that GAMMs now produce correct estimates, we report simulation studies implementing different by-subject longitudinal effects. The maximal LMM emerges as slightly conservative compared to GAMMs, and GAMMs provide estimated coefficients that can be less variable across simulation runs. We also discuss two datasets where time-varying effects interact with numerical predictors in a theoretically informative way. Furthermore, we argue that the wide range of tools that GAMMs make available to researcher across all domains of scientific inquiry do not come with uncontrolled researcher degrees of freedom once confronted with a specific psycholinguistic datasets. We also introduce a distinction between replicable and non-replicable non-linear effects. We conclude that GAMMs are an excellent and reliable tool for understanding experimental data, including chronometric data with time-varying effects.


title: Do not explain without context: addressing the blind spot of model explanations

abstract: The increasing number of regulations and expectations of predictive machine learning models, such as so called right to explanation, has led to a large number of methods promising greater interpretability. High demand has led to a widespread adoption of XAI techniques like Shapley values, Partial Dependence profiles or permutational variable importance. However, we still do not know enough about their properties and how they manifest in the context in which explanations are created by analysts, reviewed by auditors, and interpreted by various stakeholders. This paper highlights a blind spot which, although critical, is often overlooked when monitoring and auditing machine learning models: the effect of the reference data on the explanation calculation. We discuss that many model explanations depend directly or indirectly on the choice of the referenced data distribution. We showcase examples where small changes in the distribution lead to drastic changes in the explanations, such as a change in trend or, alarmingly, a conclusion. Consequently, we postulate that obtaining robust and useful explanations always requires supporting them with a broader context.


title: Role of symmetry mismatch, charge transfer and low dimensionality in the magnetic order of CaMnO$_3$/SrTiO$_3$ ultrathin heterostructures

abstract: By means of ab initio calculations, we study the effect of charge transfer and symmetry mismatch on the magnetic and electronic properties of CaMnO$_3$ ultrathin films, epitaxially grown on SrTiO$_3$ (001). We find that the interplay of these degrees of freedom, together with the low dimensionality and the strain imposed by the substrate, changes the bulk occupancy of the Mn e_$g$ orbitals, which determines the magnetic configuration of the ultrathin CMO films. A transition from an insulating G-type to a metallic A-type antiferromagnetic configuration is stabilized.


title: Using Convolutional Neural Networks for Relative Pose Estimation of a Non-Cooperative Spacecraft with Thermal Infrared Imagery

abstract: Recent interest in on-orbit servicing and Active Debris Removal (ADR) missions have driven the need for technologies to enable non-cooperative rendezvous manoeuvres. Such manoeuvres put heavy burden on the perception capabilities of a chaser spacecraft. This paper demonstrates Convolutional Neural Networks (CNNs) capable of providing an initial coarse pose estimation of a target from a passive thermal infrared camera feed. Thermal cameras offer a promising alternative to visible cameras, which struggle in low light conditions and are susceptible to overexposure. Often, thermal information on the target is not available a priori; this paper therefore proposes using visible images to train networks. The robustness of the models is demonstrated on two different targets, first on synthetic data, and then in a laboratory environment for a realistic scenario that might be faced during an ADR mission. Given that there is much concern over the use of CNN in critical applications due to their black box nature, we use innovative techniques to explain what is important to our network and fault conditions.


title: Concentration Inequalities for Cross-validation in Scattered Data Approximation

abstract: Choosing models from a hypothesis space is a frequent task in approximation theory and inverse problems. Cross-validation is a classical tool in the learner's repertoire to compare the goodness of fit for different reconstruction models. Much work has been dedicated to computing this quantity in a fast manner but tackling its theoretical properties occurs to be difficult. So far, most optimality results are stated in an asymptotic fashion. In this paper we propose a concentration inequality on the difference of cross-validation score and the risk functional with respect to the squared error. This gives a pre-asymptotic bound which holds with high probability. For the assumptions we rely on bounds on the uniform error of the model which allow for a broadly applicable framework. We support our claims by applying this machinery to Shepard's model, where we are able to determine precise constants of the concentration inequality. Numerical experiments in combination with fast algorithms indicate the applicability of our results.


title: The three-step workflow: a pragmatic approach to allocating academic hospitals' affiliations for bibliometric purposes

abstract: This paper presents a method for classifying the varying degrees of interdependency between academic hospitals and universities in the context of the Leiden Ranking. A key question for ranking universities is whether or not to allocate the publication output of affiliated hospitals to universities. Hospital nomenclatures vary worldwide to denote some form of collaboration with a university: academic hospitals, teaching hospitals, university hospitals, and academic medical centres do not correspond to universally standard definitions. Thus, rather than seeking a normative definition of academic hospitals, we are proposing a workflow that aligns the university-hospital relationship with one of three general models: full integration of the hospital and the medical faculty into a single organization; health science centres in which hospitals and medical faculty remain separate entities albeit within the same governance structure; and structures in which universities and hospitals are separate entities which collaborate with one another. This classification system provides a standard by which we can allocate publications which note affiliations with academic hospitals. Our three-step workflow effectively translates the three above-mentioned models into two types of instrumental relationships for the assignation of publications: "associate" and "component". When a hospital and a medical faculty are fully integrated or when a hospital is part of a health science centre, the relationship is classified as component. When a hospital follows the model of collaboration and support, the relationship is classified as associate. The compilation of data following these standards allows for a more uniform comparison between worldwide educational and research systems.


title: Early Exiting with Ensemble Internal Classifiers

abstract: As a simple technique to accelerate inference of large-scale pre-trained models, early exiting has gained much attention in the NLP community. It allows samples to exit early at internal classifiers without passing through the entire model. Most existing work usually trains the internal classifiers independently and employs an exiting strategy to decide whether or not to exit based on the confidence of the current internal classifier. However, none of these works takes full advantage of the fact that the internal classifiers are trained to solve the same task therefore can be used to construct an ensemble. In this paper, we show that a novel objective function for the training of the ensemble internal classifiers can be naturally induced from the perspective of ensemble learning and information theory. The proposed training objective consists of two terms: one for accuracy and the other for the diversity of the internal classifiers. In contrast, the objective used in prior work is exactly the accuracy term of our training objective therefore only optimizes the accuracy but not diversity. Further, we propose a simple voting-based strategy that considers predictions of all the past internal classifiers to infer the correct label and decide whether to exit. Experimental results on various NLP tasks show that our proposed objective function and voting-based strategy can achieve better accuracy-speed trade-offs.


title: A systematic review of transfer learning based approaches for diabetic retinopathy detection

abstract: Cases of diabetes and related diabetic retinopathy (DR) have been increasing at an alarming rate in modern times. Early detection of DR is an important problem since it may cause permanent blindness in the late stages. In the last two decades, many different approaches have been applied in DR detection. Reviewing academic literature shows that deep neural networks (DNNs) have become the most preferred approach for DR detection. Among these DNN approaches, Convolutional Neural Network (CNN) models are the most used ones in the field of medical image classification. Designing a new CNN architecture is a tedious and time-consuming approach. Additionally, training an enormous number of parameters is also a difficult task. Due to this reason, instead of training CNNs from scratch, using pre-trained models has been suggested in recent years as transfer learning approach. Accordingly, the present study as a review focuses on DNN and Transfer Learning based applications of DR detection considering 38 publications between 2015 and 2020. The published papers are summarized using 9 figures and 10 tables, giving information about 22 pre-trained CNN models, 12 DR data sets and standard performance metrics.


title: The Wits Intelligent Teaching System: Detecting Student Engagement During Lectures Using Convolutional Neural Networks

abstract: To perform contingent teaching and be responsive to students' needs during class, lecturers must be able to quickly assess the state of their audience. While effective teachers are able to gauge easily the affective state of the students, as class sizes grow this becomes increasingly difficult and less precise. The Wits Intelligent Teaching System (WITS) aims to assist lecturers with real-time feedback regarding student affect. The focus is primarily on recognising engagement or lack thereof. Student engagement is labelled based on behaviour and postures that are common to classroom settings. These proxies are then used in an observational checklist to construct a dataset of engagement upon which a CNN based on AlexNet is successfully trained and which significantly outperforms a Support Vector Machine approach. The deep learning approach provides satisfactory results on a challenging, real-world dataset with significant occlusion, lighting and resolution constraints.


title: GCN-SL: Graph Convolutional Networks with Structure Learning for Graphs under Heterophily

abstract: In representation learning on the graph-structured data, under heterophily (or low homophily), many popular GNNs may fail to capture long-range dependencies, which leads to their performance degradation. To solve the above-mentioned issue, we propose a graph convolutional networks with structure learning (GCN-SL), and furthermore, the proposed approach can be applied to node classification. The proposed GCN-SL contains two improvements: corresponding to node features and edges, respectively. In the aspect of node features, we propose an efficient-spectral-clustering (ESC) and an ESC with anchors (ESC-ANCH) algorithms to efficiently aggregate feature representations from all similar nodes. In the aspect of edges, we build a re-connected adjacency matrix by using a special data preprocessing technique and similarity learning, and the re-connected adjacency matrix can be optimized directly along with GCN-SL parameters. Considering that the original adjacency matrix may provide misleading information for aggregation in GCN, especially the graphs being with a low level of homophily. The proposed GCN-SL can aggregate feature representations from nearby nodes via re-connected adjacency matrix and is applied to graphs with various levels of homophily. Experimental results on a wide range of benchmark datasets illustrate that the proposed GCN-SL outperforms the stateof-the-art GNN counterparts.


title: Soft-magnetic skyrmions induced by surface-state coupling in an intrinsic ferromagnetic topological insulator sandwich structure

abstract: A magnetic skyrmion induced on a ferromagnetic topological insulator (TI) is a real-space manifestation of the chiral spin texture in the momentum space, and can be a carrier for information processing by manipulating it in tailored structures. Here, we fabricate a sandwich structure containing two layers of a self-assembled ferromagnetic septuple-layer TI, Mn(Bi$_{1-x}$Sb$_{x}$)$_{2}$Te$_{4}$ (MnBST), separated by quintuple layers of TI, (Bi$_{1-x}$Sb$_{x}$)$_{2}$Te$_{3}$ (BST), and observe skyrmions through the topological Hall effect in an intrinsic magnetic topological insulator for the first time. The thickness of BST spacer layer is crucial in controlling the coupling between the gapped topological surface states in the two MnBST layers to stabilize the skyrmion formation. The homogeneous, highly-ordered arrangement of the Mn atoms in the septuple-layer MnBST leads to a strong exchange interaction therein, which makes the skyrmions "soft magnetic". This would open an avenue towards a topologically robust rewritable magnetic memory.


title: An unsupervised machine-learning checkpoint-restart algorithm using Gaussian mixtures for particle-in-cell simulations

abstract: We propose an unsupervised machine-learning checkpoint-restart (CR) lossy algorithm for particle-in-cell (PIC) algorithms using Gaussian mixtures (GM). The algorithm features a particle compression stage and a particle reconstruction stage, where a continuum particle distribution function is constructed and resampled, respectively. To guarantee fidelity of the CR process, we ensure the exact preservation of charge, momentum, and energy for both compression and reconstruction stages, everywhere on the mesh. We also ensure the preservation of Gauss' law after particle reconstruction. As a result, the GM CR algorithm is shown to provide a clean, conservative restart capability while potentially affording orders of magnitude savings in input/output requirements. We demonstrate the algorithm using a recently developed exactly energy- and charge-conserving PIC algorithm on physical problems of interest, with compression factors $\gtrsim75$ with no appreciable impact on the quality of the restarted dynamics.


title: Contextuality degree of quadrics in multi-qubit symplectic polar spaces

abstract: Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality proofs, aka. observable-based proofs of the Kochen-Specker Theorem, we formulate the contextuality property as the absence of solutions to a linear system and define for a contextual configuration its degree of contextuality. Then we explain why subgeometries of binary symplectic polar spaces are candidates for contextuality proofs. We report the results of a software that generates these subgeometries, decides their contextuality and computes their contextuality degree for some small symplectic polar spaces. We show that quadrics in the symplectic polar space $W_n$ are contextual for $n=3,4,5$. The proofs we consider involve more contexts and observables than the smallest known proofs. This intermediate size property of those proofs is interesting for experimental tests, but could also be interesting in quantum game theory.


title: Inaccuracy matters: accounting for solution accuracy in event-triggered nonlinear model predictive control

abstract: We consider the effect of using approximate system predictions in event-triggered control schemes. Such approximations may result from using numerical transcription methods for solving continuous-time optimal control problems. Mesh refinement can guarantee upper bounds on the error in the differential equations which model the system dynamics. With the accuracy guarantees of a mesh refinement scheme, we show that the proposed event-triggering scheme -- which compares the measured system with approximate state predictions -- can be used with a guaranteed strictly positive inter-update time. We show that if we have knowledge of the employed transcription scheme or the approximation errors, then we can obtain better online estimates of inter-update times. We additionally detail a method of tightening constraints on the approximate system trajectory used in the nonlinear programming problem to guarantee constraint satisfaction of the continuous-time system. This is the first work to incorporate prediction accuracy in triggering metrics. Using the solution accuracy we can guarantee reliable lower bounds for inter-update times and perform solution dependent constraint tightening.


title: Characterization of the stability and dynamics of a laser-produced plasma expanding across strong magnetic field

abstract: Magnetized laser-produced plasmas are central to many new studies in laboratory astrophysics, inertial confinement fusion, and industrial applications. Here we present the results of large-scale, three-dimensional magneto-hydrodynamic simulations of the dynamics of a laser-produced plasma expanding into a transverse magnetic field with a strength of tens of Tesla. The simulations show the plasma is confined by the strong magnetic field into a slender slab structured by the magnetized Rayleigh-Taylor instability that develops at the plasma-vacuum interface. We find that by perturbing the initial velocity of the plume the slab can develop kink-like motion which disrupts its propagation.


title: A Probabilistic Forecast-Driven Strategy for a Risk-Aware Participation in the Capacity Firming Market: extended version

abstract: This paper addresses the energy management of a grid-connected renewable generation plant coupled with a battery energy storage device in the capacity firming market, designed to promote renewable power generation facilities in small non-interconnected grids. The core contribution is to propose a probabilistic forecast-driven strategy, modeled as a min-max-min robust optimization problem with recourse. It is solved using a Benders-dual cutting plane algorithm and a column and constraints generation algorithm in a tractable manner. A dynamic risk-averse parameters selection strategy based on the quantile forecasts distribution is proposed to improve the results. A secondary contribution is to use a recently developed deep learning model known as normalizing flows to generate quantile forecasts of renewable generation for the robust optimization problem. This technique provides a general mechanism for defining expressive probability distributions, only requiring the specification of a base distribution and a series of bijective transformations. Overall, the robust approach improves the results over a deterministic approach with nominal point forecasts by finding a trade-off between conservative and risk-seeking policies. The case study uses the photovoltaic generation monitored on-site at the University of Li\`ege (ULi\`ege), Belgium.


title: DIVE: End-to-end Speech Diarization via Iterative Speaker Embedding

abstract: We introduce DIVE, an end-to-end speaker diarization algorithm. Our neural algorithm presents the diarization task as an iterative process: it repeatedly builds a representation for each speaker before predicting the voice activity of each speaker conditioned on the extracted representations. This strategy intrinsically resolves the speaker ordering ambiguity without requiring the classical permutation invariant training loss. In contrast with prior work, our model does not rely on pretrained speaker representations and optimizes all parameters of the system with a multi-speaker voice activity loss. Importantly, our loss explicitly excludes unreliable speaker turn boundaries from training, which is adapted to the standard collar-based Diarization Error Rate (DER) evaluation. Overall, these contributions yield a system redefining the state-of-the-art on the standard CALLHOME benchmark, with 6.7% DER compared to 7.8% for the best alternative.


title: Deep searches for X-ray pulsations from Scorpius X-1 and Cygnus X-2 in support of continuous gravitational wave searches

abstract: Neutron stars in low mass X-ray binaries are hypothesised to emit continuous gravitational waves that may be detectable by ground-based observatories. The torque balance model predicts that a higher accretion rate produces larger-amplitude gravitational waves, hence low mass X-ray binaries with high X-ray flux are promising targets for gravitational wave searches. The detection of X-ray pulsations would identify the spin frequency of these neutron stars, and thereby improve the sensitivity of continuous gravitational-wave searches by reducing the volume of the search parameter space. We perform a semi-coherent search for pulsations in the two low mass X-ray binaries Scorpius X-1 and Cygnus X-2 using X-ray data from the \textit{ Rossi X-ray Timing Explorer} Proportional Counter Array. We find no clear evidence for pulsations, and obtain upper limits (at $90\%$ confidence) on the fractional pulse amplitude, with the most stringent being $0.034\%$ for Scorpius X-1 and $0.23\%$ for Cygnus X-2. These upper limits improve upon those of Vaughan et al. (1994) by factors of $\sim 8.2$ and $\sim 1.6$ respectively.


title: Fourth order Schr\"odinger equation with mixed dispersion on certain Cartan-Hadamard manifolds

abstract: We study the fourth order Schr\"odinger equation with mixed dispersion on an $N$-dimensional Cartan-Hadamard manifold. At first, we focus on the case of the hyperbolic space. Using the fact that there exists a Fourier transform on this space, we prove the existence of a global solution to our equation as well as scattering for small initial data. Next, we obtain weighted Strichartz estimates for radial solutions on a large class of rotationally symmetric manifolds by adapting the method of Banica and Duyckaerts (Dyn. Partial Differ. Equ., 07). Finally, we give a blow-up result for a rotationally symmetric manifold relying on a localized virial argument.


title: Dark leptophilic scalar with the updated muon $g-2$ anomaly

abstract: The muon $g-2$ anomaly was strengthened by recent experimental results at Fermilab, which may be signatures of new physics. A scenario of leptophilic scalar $\phi_L$ accounting for the muon $g-2$ anomaly is investigated in this paper. Though a light $\phi_L$ mainly decaying into standard model (SM) particles has been excluded by experiments, a dark leptophilic scalar $\phi_L$ predominantly decaying into invisible fermionic dark matter (DM) $\chi \bar{\chi}$ is still allowed. Considering the decay mode $\phi_L \to \chi \bar{\chi}$ opened (here $m_{\phi_L} = 3 m_\chi$), the coupling preferred by the muon $g-2$ and the $\phi_L-\chi$ coupling are derived. The light/heavy $\phi_L$ (roughly 1 GeV as a benchmark value) can be tested by future experiments via DM/SM decay modes, and $\phi_L$'s contribution to the anomalous magnetic moment of tau lepton could be investigated at lepton colliders. The search of $\chi$ via $\chi-$electron scattering in DM direct detection is not sensitive due to a tiny $\phi_L-$electron coupling, especially for $m_\chi \gtrsim m_\mu$.


title: DRL: Deep Reinforcement Learning for Intelligent Robot Control -- Concept, Literature, and Future

abstract: Combination of machine learning (for generating machine intelligence), computer vision (for better environment perception), and robotic systems (for controlled environment interaction) motivates this work toward proposing a vision-based learning framework for intelligent robot control as the ultimate goal (vision-based learning robot). This work specifically introduces deep reinforcement learning as the the learning framework, a General-purpose framework for AI (AGI) meaning application-independent and platform-independent. In terms of robot control, this framework is proposing specifically a high-level control architecture independent of the low-level control, meaning these two required level of control can be developed separately from each other. In this aspect, the high-level control creates the required intelligence for the control of the platform using the recorded low-level controlling data from that same platform generated by a trainer. The recorded low-level controlling data is simply indicating the successful and failed experiences or sequences of experiments conducted by a trainer using the same robotic platform. The sequences of the recorded data are composed of observation data (input sensor), generated reward (feedback value) and action data (output controller). For experimental platform and experiments, vision sensors are used for perception of the environment, different kinematic controllers create the required motion commands based on the platform application, deep learning approaches generate the required intelligence, and finally reinforcement learning techniques incrementally improve the generated intelligence until the mission is accomplished by the robot.


title: Gym-$\mu$RTS: Toward Affordable Full Game Real-time Strategy Games Research with Deep Reinforcement Learning

abstract: In recent years, researchers have achieved great success in applying Deep Reinforcement Learning (DRL) algorithms to Real-time Strategy (RTS) games, creating strong autonomous agents that could defeat professional players in StarCraft~II. However, existing approaches to tackle full games have high computational costs, usually requiring the use of thousands of GPUs and CPUs for weeks. This paper has two main contributions to address this issue: 1) We introduce Gym-$\mu$RTS (pronounced "gym-micro-RTS") as a fast-to-run RL environment for full-game RTS research and 2) we present a collection of techniques to scale DRL to play full-game $\mu$RTS as well as ablation studies to demonstrate their empirical importance. Our best-trained bot can defeat every $\mu$RTS bot we tested from the past $\mu$RTS competitions when working in a single-map setting, resulting in a state-of-the-art DRL agent while only taking about 60 hours of training using a single machine (one GPU, three vCPU, 16GB RAM). See the blog post at https://wandb.ai/vwxyzjn/gym-microrts-paper/reports/Gym-RTS-Toward-Affordable-Deep-Reinforcement-Learning-Research-in-Real-Time-Strategy-Games--Vmlldzo2MDIzMTg and the source code at https://github.com/vwxyzjn/gym-microrts-paper


title: The Herbarium 2021 Half-Earth Challenge Dataset

abstract: Herbarium sheets present a unique view of the world's botanical history, evolution, and diversity. This makes them an all-important data source for botanical research. With the increased digitisation of herbaria worldwide and the advances in the fine-grained classification domain that can facilitate automatic identification of herbarium specimens, there are a lot of opportunities for supporting research in this field. However, existing datasets are either too small, or not diverse enough, in terms of represented taxa, geographic distribution or host institutions. Furthermore, aggregating multiple datasets is difficult as taxa exist under a multitude of different names and the taxonomy requires alignment to a common reference. We present the Herbarium Half-Earth dataset, the largest and most diverse dataset of herbarium specimens to date for automatic taxon recognition.


title: Distribution Matching for Machine Teaching

abstract: Machine teaching is an inverse problem of machine learning that aims at steering the student learner towards its target hypothesis, in which the teacher has already known the student's learning parameters. Previous studies on machine teaching focused on balancing the teaching risk and cost to find those best teaching examples deriving the student model. This optimization solver is in general ineffective when the student learner does not disclose any cue of the learning parameters. To supervise such a teaching scenario, this paper presents a distribution matching-based machine teaching strategy. Specifically, this strategy backwardly and iteratively performs the halving operation on the teaching cost to find a desired teaching set. Technically, our strategy can be expressed as a cost-controlled optimization process that finds the optimal teaching examples without further exploring in the parameter distribution of the student learner. Then, given any a limited teaching cost, the training examples will be closed-form. Theoretical analysis and experiment results demonstrate this strategy.


title: A Survey on Anomaly Detection for Technical Systems using LSTM Networks

abstract: Anomalies represent deviations from the intended system operation and can lead to decreased efficiency as well as partial or complete system failure. As the causes of anomalies are often unknown due to complex system dynamics, efficient anomaly detection is necessary. Conventional detection approaches rely on statistical and time-invariant methods that fail to address the complex and dynamic nature of anomalies. With advances in artificial intelligence and increasing importance for anomaly detection and prevention in various domains, artificial neural network approaches enable the detection of more complex anomaly types while considering temporal and contextual characteristics. In this article, a survey on state-of-the-art anomaly detection using deep neural and especially long short-term memory networks is conducted. The investigated approaches are evaluated based on the application scenario, data and anomaly types as well as further metrics. To highlight the potential of upcoming anomaly detection techniques, graph-based and transfer learning approaches are also included in the survey, enabling the analysis of heterogeneous data as well as compensating for its shortage and improving the handling of dynamic processes.


title: Tuning Co- and Contra-Variant Transforms: the Heisenberg Group Illustration

abstract: We discuss a fine tuning of the co- and contra-variant transforms through construction of specific fiducial and reconstructing vectors. The technique is illustrated on three different forms of induced representations of the Heisenberg group. The covariant transform provides intertwining operators between pairs of representations. In particular, we obtain the Zak transform as an induced covariant transform intertwining the Schr\"odinger representation on $\mathsf{L}_2(\mathbb{R})$ and the lattice (nilmanifold) representation on $\mathsf{L}_2\big(\mathbb{T}^2\big)$. Induced covariant transforms in other pairs are Fock-Segal-Bargmann and theta transforms. Furthermore, we describe peelings which map the group-theoretical induced representations to convenient representation spaces of analytic functions. Finally, we provide a condition which can be imposed on the reconstructing vector in order to obtain an intertwining operator from the induced contravariant transform.


title: A proxemics game between festival visitors and an industrial robot

abstract: With increased applications of collaborative robots (cobots) in industrial workplaces, behavioural effects of human-cobot interactions need to be further investigated. This is of particular importance as nonverbal behaviours of collaboration partners in human-robot teams significantly influence the experience of the human interaction partners and the success of the collaborative task. During the Ars Electronica 2020 Festival for Art, Technology and Society (Linz, Austria), we invited visitors to exploratively interact with an industrial robot, exhibiting restricted interaction capabilities: extending and retracting its arm, depending on the movements of the volunteer. The movements of the arm were pre-programmed and telecontrolled for safety reasons (which was not obvious to the participants). We recorded video data of these interactions and investigated general nonverbal behaviours of the humans interacting with the robot, as well as nonverbal behaviours of people in the audience. Our results showed that people were more interested in exploring the robot's action and perception capabilities than just reproducing the interaction game as introduced by the instructors. We also found that the majority of participants interacting with the robot approached it up to a distance which would be perceived as threatening or intimidating, if it were a human interaction partner. Regarding bystanders, we found examples where people made movements as if trying out variants of the current participant's behaviour.


title: Grey-box models for wave loading prediction

abstract: The quantification of wave loading on offshore structures and components is a crucial element in the assessment of their useful remaining life. In many applications the well-known Morison's equation is employed to estimate the forcing from waves with assumed particle velocities and accelerations. This paper develops a grey-box modelling approach to improve the predictions of the force on structural members. A grey-box model intends to exploit the enhanced predictive capabilities of data-based modelling whilst retaining physical insight into the behaviour of the system; in the context of the work carried out here, this can be considered as physics-informed machine learning. There are a number of possible approaches to establish a grey-box model. This paper demonstrates two means of combining physics (white box) and data-based (black box) components; one where the model is a simple summation of the two components, the second where the white-box prediction is fed into the black box as an additional input. Here Morison's equation is used as the physics-based component in combination with a data-based Gaussian process NARX - a dynamic variant of the more well-known Gaussian process regression. Two key challenges with employing the GP-NARX formulation that are addressed here are the selection of appropriate lag terms and the proper treatment of uncertainty propagation within the dynamic GP. The best performing grey-box model, the residual modelling GP-NARX, was able to achieve a 29.13\% and 5.48\% relative reduction in NMSE over Morison's Equation and a black-box GP-NARX respectively, alongside significant benefits in extrapolative capabilities of the model, in circumstances of low dataset coverage.


title: Wave-Shape-Tolerant Photonic Quantum Gates

abstract: Photons, acting as ``flying qubits'' in propagation geometries such as waveguides, appear unavoidably in the form of wavepackets (pulses). The actual shape of the photonic wavepacket, as well as possible temporal/spectral correlations between the photons, play a critical role in successful scalable computation. Currently, unentangled indistinguishable photons are considered as a suitable resource for scalable photonic circuits. Here we show that using so called coherent photon conversion, it is possible to construct flying-qubit gates, which are not only insensitive to waveshapes of the photons and temporal/spectral correlations between them, but which also fully preserve these waveshapes and correlations upon the processing. This allows using photons with correlations and purity in a very broad range for a scalable computation. Moreover, such gates can process entangled photonic wavepackets even more effectively than unentangled ones.


title: On the special identities of Gelfand--Dorfman algebras

abstract: In this paper, we prove that the class of all special Gelfand--Dorfman algebras (GD-algebras) is closed with respect to homomorphisms and thus forms a variety. We also prove that every 2-dimensional GD-algebra is special. For the latter, we give a technical method to find all special identities of GD-algebras and compute the degree 6 component of the Gr\"obner basis for the shuffle operad constructed on the symmetric operad governing the class of GD-algebras.


title: High accuracy analysis of adaptive multiresolution-based lattice Boltzmann schemes via the equivalent equations

abstract: Multiresolution provides a fundamental tool based on the wavelet theory to build adaptive numerical schemes for Partial Differential Equations and time-adaptive meshes, allowing for error control. We have introduced this strategy before to construct adaptive lattice Boltzmann methods with this interesting feature.Furthermore, these schemes allow for an effective memory compression of the solution when spatially localized phenomena -- such as shocks or fronts -- are involved, to rely on the original scheme without any manipulation at the finest level of grid and to reach a high level of accuracy on the solution.Nevertheless, the peculiar way of modeling the desired physical phenomena in the lattice Boltzmann schemes calls, besides the possibility of controlling the error introduced by the mesh adaptation, for a deeper and more precise understanding of how mesh adaptation alters the physics approximated by the numerical strategy. In this contribution, this issue is studied by performing the equivalent equations analysis of the adaptive method after writing the scheme under an adapted formalism. It provides an essential tool to master the perturbations introduced by the adaptive numerical strategy, which can thus be devised to preserve the desired features of the reference scheme at a high order of accuracy. The theoretical considerations are corroborated by numerical experiments in both the 1D and 2D context, showing the relevance of the analysis. In particular, we show that our numerical method outperforms traditional approaches, whether or not the solution of the reference scheme converges to the solution of the target equation.Furthermore, we discuss the influence of various collision strategies for non-linear problems, showing that they have only a marginal impact on the quality of the solution, thus further assessing the proposed strategy.


title: Achieving Fairness with a Simple Ridge Penalty

abstract: In this paper we present a general framework for estimating regression models subject to a user-defined level of fairness. We enforce fairness as a model selection step in which we choose the value of a ridge penalty to control the effect of sensitive attributes. We then estimate the parameters of the model conditional on the chosen penalty value. Our proposal is mathematically simple, with a solution that is partly in closed form, and produces estimates of the regression coefficients that are intuitive to interpret as a function of the level of fairness. Furthermore, it is easily extended to generalised linear models, kernelised regression models and other penalties; and it can accommodate multiple definitions of fairness. We compare our approach with the regression model from Komiyama et al. (2018), which implements a provably-optimal linear regression model; and with the fair models from Zafar et al. (2019). We evaluate these approaches empirically on six different data sets, and we find that our proposal provides better goodness of fit and better predictive accuracy for the same level of fairness. In addition, we highlight a source of bias in the original experimental evaluation in Komiyama et al. (2018).


title: Language Models Use Monotonicity to Assess NPI Licensing

abstract: We investigate the semantic knowledge of language models (LMs), focusing on (1) whether these LMs create categories of linguistic environments based on their semantic monotonicity properties, and (2) whether these categories play a similar role in LMs as in human language understanding, using negative polarity item licensing as a case study. We introduce a series of experiments consisting of probing with diagnostic classifiers (DCs), linguistic acceptability tasks, as well as a novel DC ranking method that tightly connects the probing results to the inner workings of the LM. By applying our experimental pipeline to LMs trained on various filtered corpora, we are able to gain stronger insights into the semantic generalizations that are acquired by these models.


title: Classification of noncollapsed translators in $\mathbb{R}^4$

abstract: In this paper, we classify all noncollapsed singularity models for the mean curvature flow of 3-dimensional hypersurfaces in $\mathbb{R}^4$ or more generally in $4$-manifolds. Specifically, we prove that every noncollapsed translating hypersurface in $\mathbb{R}^4$ is either $\mathbb{R}\times$2d-bowl, or a 3d round bowl, or belongs to the one-parameter family of 3d oval bowls constructed by Hoffman-Ilmanen-Martin-White.


title: Relaxation limit of the aggregation equation with pointy potential

abstract: This work is devoted to the study of a relaxation limit of the so-called aggregation equation with a pointy potential in one dimensional space. The aggregation equation is by now widely used to model the dynamics of a density of individuals attracting each other through a potential. When this potential is pointy, solutions are known to blow up in final time. For this reason, measure-valued solutions have been defined. In this paper, we investigate an approximation of such measure-valued solutions thanks to a relaxation limit in the spirit of Jin and Xin. We study the convergence of this approximation and give a rigorous estimate of the speed of convergence in one dimension with the Newtonian potential. We also investigate the numerical discretization of this relaxation limit by uniformly accurate schemes.


title: From the problem of Future Contingents to Peres-Mermin square experiments: An introductory review to Contextuality

abstract: A review is made of the field of contextuality in quantum mechanics. We study the historical emergence of the concept from philosophical and logical issues. We present and compare the main theoretical frameworks that have been derived. Finally, we focus on the complex task of establishing experimental tests of contextuality. Throughout this work, we try to show that the conceptualisation of contextuality has progressed through different complementary perspectives, before summoning them together to analyse the signification of contextuality experiments. Doing so, we argue that contextuality emerged as a discrete logical problem and developed into a quantifiable quantum resource.


title: Behavior of Liquidity Providers in Decentralized Exchanges

abstract: Decentralized exchanges (DEXes) have introduced an innovative trading mechanism, where it is not necessary to match buy-orders and sell-orders to execute a trade. DEXes execute each trade individually, and the exchange rate is automatically determined by the ratio of assets reserved in the market. Therefore, apart from trading, financial players can also liquidity providers, benefiting from transaction fees from trades executed in DEXes. Although liquidity providers are essential for the functionality of DEXes, it is not clear how liquidity providers behave in such markets. In this paper, we aim to understand how liquidity providers react to market information and how they benefit from providing liquidity in DEXes. We measure the operations of liquidity providers on Uniswap and analyze how they determine their investment strategy based on market changes. We also reveal their returns and risks of investments in different trading pair categories, i.e., stable pairs, normal pairs, and exotic pairs. Further, we investigate the movement of liquidity between trading pools. To the best of our knowledge, this is the first work that systematically studies the behavior of liquidity providers in DEXes.


title: Hacking Quantum Networks: Extraction and Installation of Quantum Data

abstract: We study the problem of quantum hacking, which is the procedure of quantum-information extraction from and installation on a quantum network given only partial access. This problem generalizes a central topic in contemporary physics -- information recovery from systems undergoing scrambling dynamics, such as the Hayden--Preskill protocol in black-hole studies. We show that a properly prepared partially entangled probe state can generally outperform a maximally entangled one in quantum hacking. Moreover, we prove that finding an optimal decoder for this stronger task is equivalent to that for Hayden--Preskill-type protocols, and supply analytical formulas for the optimal hacking fidelity of large networks. In the two-user scenario where Bob attempts to hack Alice's data, we find that the optimal fidelity increases with Bob's hacking space relative to Alice's user space. However, if a third neutral party, Charlie, is accessing the computer concurrently, the optimal hacking fidelity against Alice drops with Charlie's user-space dimension, rendering targeted quantum hacking futile in high-dimensional multi-user scenarios without classical attacks. When applied to the black-hole information problem, the limited hacking fidelity implies a reflectivity decay of a black hole as an information mirror.


title: SEVerity: Code Injection Attacks against Encrypted Virtual Machines

abstract: Modern enterprises increasingly take advantage of cloud infrastructures. Yet, outsourcing code and data into the cloud requires enterprises to trust cloud providers not to meddle with their data. To reduce the level of trust towards cloud providers, AMD has introduced Secure Encrypted Virtualization (SEV). By encrypting Virtual Machines (VMs), SEV aims to ensure data confidentiality, despite a compromised or curious Hypervisor. The SEV Encrypted State (SEV-ES) extension additionally protects the VM's register state from unauthorized access. Yet, both extensions do not provide integrity of the VM's memory, which has already been abused to leak the protected data or to alter the VM's control-flow. In this paper, we introduce the SEVerity attack; a missing puzzle piece in the series of attacks against the AMD SEV family. Specifically, we abuse the system's lack of memory integrity protection to inject and execute arbitrary code within SEV-ES-protected VMs. Contrary to previous code execution attacks against the AMD SEV family, SEVerity neither relies on a specific CPU version nor on any code gadgets inside the VM. Instead, SEVerity abuses the fact that SEV-ES prohibits direct memory access into the encrypted memory. Specifically, SEVerity injects arbitrary code into the encrypted VM through I/O channels and uses the Hypervisor to locate and trigger the execution of the encrypted payload. This allows us to sidestep the protection mechanisms of SEV-ES. Overall, our results demonstrate a success rate of 100% and hence highlight that memory integrity protection is an obligation when encrypting VMs. Consequently, our work presents the final stroke in a series of attacks against AMD SEV and SEV-ES and renders the present implementation as incapable of protecting against a curious, vulnerable, or malicious Hypervisor.


title: Improving Facial Attribute Recognition by Group and Graph Learning

abstract: Exploiting the relationships between attributes is a key challenge for improving multiple facial attribute recognition. In this work, we are concerned with two types of correlations that are spatial and non-spatial relationships. For the spatial correlation, we aggregate attributes with spatial similarity into a part-based group and then introduce a Group Attention Learning to generate the group attention and the part-based group feature. On the other hand, to discover the non-spatial relationship, we model a group-based Graph Correlation Learning to explore affinities of predefined part-based groups. We utilize such affinity information to control the communication between all groups and then refine the learned group features. Overall, we propose a unified network called Multi-scale Group and Graph Network. It incorporates these two newly proposed learning strategies and produces coarse-to-fine graph-based group features for improving facial attribute recognition. Comprehensive experiments demonstrate that our approach outperforms the state-of-the-art methods.


title: 4-Adic Complexity of Interleaved Quaternary Sequences

abstract: Tang and Ding \cite{X. Tang} present a series of quaternary sequences $w(a, b)$ interleaved by two binary sequences $a$ and $b$ with ideal autocorrelation and show that such interleaved quaternary sequences have optimal autocorrelation. In this paper we consider the 4-adic complexity $FC_{w}(4)$ of such quaternary sequence $w=w(a, b)$. We present a general formula on $FC_{w}(4)$, $w=w(a, b)$. As a direct consequence, we obtain a general lower bound $FC_{w}(4)\geq\log_{4}(4^{n}-1)$ where $2n$ is the period of the sequence $w$. By taking $a$ and $b$ to be several types of known binary sequences with ideal autocorrelation ($m$-sequences, twin-prime, Legendre, Hall sequences and their complement, shift or sample sequences), we compute the exact values of $FC_{w}(4)$, $w=w(a, b)$ and show that in most cases $FC_{w}(4)$ reaches or nearly reaches the maximum value $\log_{4}(4^{2n}-1)$. Our results show that the 4-adic complexity of the quaternary sequences defined in \cite{X. Tang} are large enough to resist the attack of the rational approximation algorithm.


title: Extended Cyclic Codes Sandwiched Between Reed-Muller Codes

abstract: The famous Barnes-Wall lattices can be obtained by applying Construction D to a chain of Reed-Muller codes. By applying Construction ${{D}}^{{(cyc)}}$ to a chain of extended cyclic codes sandwiched between Reed-Muller codes, Hu and Nebe (J. London Math. Soc. (2) 101 (2020) 1068-1089) constructed new series of universally strongly perfect lattices sandwiched between Barnes-Wall lattices. In this paper, we first extend their construction to generalized Reed-Muller codes, and then explicitly determine the minimum vectors of those new sandwiched Reed-Muller codes for some special cases.


title: A note on long cycles in sparse random graphs

abstract: Let $L_{c,n}$ denote the size of the longest cycle in $G(n,{c}/{n})$, $c>1$ constant. We show that there exists a continuous function $f(c)$ such that $ L_{c,n}/n \to f(c)$ a.s. for $c\geq 20$, thus extending a result of the author and Frieze to smaller values of $c$. Thereafter, for $c\geq 20$, we determine the limit of the probability that $G(n,c/n)$ contains cycles of every length between the length of its shortest and its longest cycles as $n\to \infty$.


title: Design and construction of Xenoscope -- a full-scale vertical demonstrator for the DARWIN observatory

abstract: The DARWIN observatory is a proposed next-generation experiment to search for particle dark matter and other rare interactions. It will operate a 50 t liquid xenon detector, with 40 t in the time projection chamber (TPC). To inform the final detector design and technical choices, a series of technological questions must first be addressed. Here we describe a full-scale demonstrator in the vertical dimension, Xenoscope, with the main goal of achieving electron drift over a 2.6 m distance, which is the scale of the DARWIN TPC. We have designed and constructed the facility infrastructure, including the cryostat, cryogenic and purification systems, the xenon storage and recuperation system, as well as the slow control system. We have also designed a xenon purity monitor and the TPC, with the fabrication of the former nearly complete. In a first commissioning run of the facility without an inner detector, we demonstrated the nominal operational reach of Xenoscope and benchmarked the components of the cryogenic and slow control systems, demonstrating reliable and continuous operation of all subsystems over 40 days. The infrastructure is thus ready for the integration of the purity monitor, followed by the TPC. Further applications of the facility include R&D on the high voltage feedthrough for DARWIN, measurements of electron cloud diffusion, as well as measurements of optical properties of liquid xenon. In the future, Xenoscope will be available as a test platform for the DARWIN collaboration to characterise new detector technologies.


title: On uniqueness and nonuniqueness of ancient ovals

abstract: In this paper, we prove that any nontrivial $\mathrm{SO}(k )\times \mathrm{SO}(n+1-k)$-symmetric ancient compact noncollapsed solution of the mean curvature flow agrees up to scaling and rigid motion with the $\mathrm{O}(k)\times \mathrm{O}(n+1-k)$-symmetric ancient ovals constructed by Hershkovits and the second author. This confirms a conjecture by Angenent-Daskalopoulos-Sesum. On the other hand, for every $k\geq 2$ we also construct a $(k-1)$-parameter family of uniformly $(k+1)$-convex ancient ovals that are only $\mathbb{Z}^{k}_{2}\times \mathrm{O}(n+1-k)$-symmetric. This gives counterexamples to a conjecture of Daskalopoulos.


title: Implicit Regularization in Matrix Sensing via Mirror Descent

abstract: We study discrete-time mirror descent applied to the unregularized empirical risk in matrix sensing. In both the general case of rectangular matrices and the particular case of positive semidefinite matrices, a simple potential-based analysis in terms of the Bregman divergence allows us to establish convergence of mirror descent -- with different choices of the mirror maps -- to a matrix that, among all global minimizers of the empirical risk, minimizes a quantity explicitly related to the nuclear norm, the Frobenius norm, and the von Neumann entropy. In both cases, this characterization implies that mirror descent, a first-order algorithm minimizing the unregularized empirical risk, recovers low-rank matrices under the same set of assumptions that are sufficient to guarantee recovery for nuclear-norm minimization. When the sensing matrices are symmetric and commute, we show that gradient descent with full-rank factorized parametrization is a first-order approximation to mirror descent, in which case we obtain an explicit characterization of the implicit bias of gradient flow as a by-product.


title: Hydrodynamics of simple active liquids: the emergence of velocity correlations

abstract: We derive the Hydrodynamics for a system of N active, spherical, underdamped particles, interacting through conservative forces. At the microscopic level, we represent the evolution of the particles in terms of the Kramers equation for the probability density distribution of their positions, velocities, and orientations, while at a mesoscopic level we switch to a coarse-grained description introducing an appropriate set of hydrodynamic fields given by the lower-order moments of the distribution. In addition to the usual density and polarization fields, the Hydrodynamics developed in this paper takes into account the velocity and kinetic temperature fields, which are crucial to understanding new aspects of the behavior of active liquids. By imposing a suitable closure of the hydrodynamic moment equations and truncation of the Born-Bogolubov-Green-Kirkwood-Yvon hierarchy, we obtain a closed set of mesoscopic balance equations. At this stage, we focus our interest on the small deviations of the hydrodynamic fields from their averages and apply the methods of the theory of linear hydrodynamic fluctuations. Our treatment sheds light on the peculiar properties of isotropic active liquids and their emergent dynamical collective phenomena, such as the spontaneous alignment of the particle velocities. We predict the existence within the liquid phase of spatial equal-time Ornstein-Zernike-like velocity correlations both for the longitudinal and the transverse modes. At variance with active solids, in active liquids, the correlation length of the transverse velocity fluctuations is sensibly shorter than the length of the longitudinal fluctuations. In particular, the latter depends on the sound speed and increases with the persistence time, while the former displays a weaker dependence on these parameters. Finally, within the same framework, we derive the dynamical structure factors ...


title: Umbilical submanifolds of $\mathbb{H}^k\times \mathbb{S}^{n-k+1}$

abstract: In this article we complete the classification of the umbilical submanifolds of a Riemannian product of space forms, addressing the case of a conformally flat product $\mathbb{H}^k\times \mathbb{S}^{n-k+1}$, which has not been covered in previous works on the subject. We show that there exists precisely a $p$-parameter family of congruence classes of umbilical submanifolds of $\mathbb{H}^k\times \mathbb{S}^{n-k+1}$ with substantial codimension~$p$, which we prove to be at most $\mbox{min}\,\{k+1, n-k+2\}$. We study more carefully the cases of codimensions one and two and exhibit, respectively, a one-parameter family and a two-parameter family (together with three extra one-parameter families) that contain precisely one representative of each congruence class of such submanifolds. In particular, this yields another proof of the classification of all (congruence classes of) umbilical submanifolds of $\mathbb{S}^n\times \mathbb{R}$, and provides a similar classification for the case of $\mathbb{H}^n\times \mathbb{R}$. We determine all possible topological types, actually, diffeomorphism types, of a complete umbilical submanifold of $\mathbb{H}^k\times \mathbb{S}^{n-k+1}$. We also show that umbilical submanifolds of the product model of $\mathbb{H}^k\times \mathbb{S}^{n-k+1}$ can be regarded as rotational submanifolds in a suitable sense, and explicitly describe their profile curves when $k=n$. As a consequence of our investigations, we prove that every conformal diffeomorphism of $\mathbb{H}^k\times \mathbb{S}^{n-k+1}$ onto itself is an isometry.


title: A View From The Bridge Spanning Combinatorics and Probability

abstract: This paper presents an offering of some of the myriad connections between Combinatorics and Probability, directed in particular toward combinatorialists. The choice of material was dictated by the author's own interests, tastes and familiarity, as well as by a desire to present results with either complete proofs or well developed sketches of proofs, and to ensure that the arguments are rather accessible to combinatorialists. The first several sections collect some concepts and rudimentary results from probability theory that are needed to understand the rest of the paper.


title: Kernel-based methods for Solving Time-Dependent Advection-Diffusion Equations on Manifolds

abstract: In this paper, we extend the class of kernel methods, the so-called diffusion maps (DM) and ghost point diffusion maps (GPDM), to solve the time-dependent advection-diffusion PDE on unknown smooth manifolds without and with boundaries. The core idea is to directly approximate the spatial components of the differential operator on the manifold with a local integral operator and combine it with the standard implicit time difference scheme. When the manifold has a boundary, a simplified version of the GPDM approach is used to overcome the bias of the integral approximation near the boundary. The Monte-Carlo discretization of the integral operator over the point cloud data gives rise to a mesh-free formulation that is natural for randomly distributed points, even when the manifold is embedded in high-dimensional ambient space. Here, we establish the convergence of the proposed solver on appropriate topologies, depending on the distribution of point cloud data and boundary type. We provide numerical results to validate the convergence results on various examples that involve simple geometry and an unknown manifold. Additionally, we also found positive results in solving the one-dimensional viscous Burger's equation where GPDM is adopted with a pseudo-spectral Galerkin framework to approximate nonlinear advection term.


title: Epidemic change-point detection in general causal time series

abstract: We consider an epidemic change-point detection in a large class of causal time series models, including among other processes, AR($\infty$), ARCH($\infty$), TARCH($\infty$), ARMA-GARCH. A test statistic based on the Gaussian quasi-maximum likelihood estimator of the parameter is proposed. It is shown that, under the null hypothesis of no change, the test statistic converges to a distribution obtained from a difference of two Brownian bridge and diverges to infinity under the epidemic alternative. Numerical results for simulation and real data example are provided.


title: Adapting Behaviors via Reactive Synthesis

abstract: In the \emph{Adapter Design Pattern}, a programmer implements a \emph{Target} interface by constructing an \emph{Adapter} that accesses an existing \emph{Adaptee} code. In this work, we present a reactive synthesis interpretation to the adapter design pattern, wherein an algorithm takes an \emph{Adaptee} and a \emph{Target} transducers, and the aim is to synthesize an \emph{Adapter} transducer that, when composed with the {\em Adaptee}, generates a behavior that is equivalent to the behavior of the {\em Target}. One use of such an algorithm is to synthesize controllers that achieve similar goals on different hardware platforms. While this problem can be solved with existing synthesis algorithms, current state-of-the-art tools fail to scale. To cope with the computational complexity of the problem, we introduce a special form of specification format, called {\em Separated GR($k$)}, which can be solved with a scalable synthesis algorithm but still allows for a large set of realistic specifications. We solve the realizability and the synthesis problems for Separated GR($k$), and show how to exploit the separated nature of our specification to construct better algorithms, in terms of time complexity, than known algorithms for GR($k$) synthesis. We then describe a tool, called SGR($k$), that we have implemented based on the above approach and show, by experimental evaluation, how our tool outperforms current state-of-the-art tools on various benchmarks and test-cases.


title: It's your turn! -- A collaborative human-robot pick-and-place scenario in a virtual industrial setting

abstract: In human-robot collaborative interaction scenarios, nonverbal communication plays an important role. Both, signals sent by a human collaborator need to be identified and interpreted by the robotic system, and the signals sent by the robot need to be identified and interpreted by the human. In this paper, we focus on the latter. We implemented on an industrial robot in a VR environment nonverbal behavior signalling the user that it is now their turn to proceed with a pick-and-place task. The signals were presented in four different test conditions: no signal, robot arm gesture, light signal, combination of robot arm gesture and light signal. Test conditions were presented to the participants in two rounds. The qualitative analysis was conducted with focus on (i) potential signals in human behaviour indicating why some participants immediately took over from the robot whereas others needed more time to explore, (ii) human reactions after the nonverbal signal of the robot, and (iii) whether participants showed different behaviours in the different test conditions. We could not identify potential signals why some participants were immediately successful and others not. There was a bandwidth of behaviors after the robot stopped working, e.g. participants rearranged the objects, looked at the robot or the object, or gestured the robot to proceed. We found evidence that robot deictic gestures were helpful for the human to correctly interpret what to do next. Moreover, there was a strong tendency that humans interpreted the light signal projected on the robot's gripper as a request to give the object in focus to the robot. Whereas a robot's pointing gesture at the object was a strong trigger for the humans to look at the object.


title: The quantum group dual of the first-row subcategory for the generic Virasoro VOA

abstract: In several examples it has been observed that a module category of a vertex operator algebra (VOA) is equivalent to a category of representations of some quantum group. The present article is concerned with developing such a duality in the case of the Virasoro VOA at generic central charge; arguably the most rudimentary of all VOAs, yet structurally complicated. We do not address the category of all modules of the generic Virasoro VOA, but we consider the infinitely many modules from the first row of the Kac table. Building on an explicit quantum group method of Coulomb gas integrals, we give a new proof of the fusion rules, we prove the analyticity of compositions of intertwining operators, and we show that the conformal blocks are fully determined by the quantum group method. Crucially, we prove the associativity of the intertwining operators among the first-row modules, and find that the associativity is governed by the $6j$-symbols of the quantum group. Our results constitute a concrete duality between a VOA and a quantum group, and they will serve as the key tools to establish the equivalence of the first-row subcategory of modules of the generic Virasoro VOA and the category of (type-1) finite-dimensional representations of $\mathcal{U}_{q}(\mathfrak{sl}_{2})$.


title: Gobra: Modular Specification and Verification of Go Programs (extended version)

abstract: Go is an increasingly-popular systems programming language targeting, especially, concurrent and distributed systems. Go differentiates itself from other imperative languages by offering structural subtyping and lightweight concurrency through goroutines with message-passing communication. This combination of features poses interesting challenges for static verification, most prominently the combination of a mutable heap and advanced concurrency primitives. We present Gobra, a modular, deductive program verifier for Go that proves memory safety, crash safety, data-race freedom, and user-provided specifications. Gobra is based on separation logic and supports a large subset of Go. Its implementation translates an annotated Go program into the Viper intermediate verification language and uses an existing SMT-based verification backend to compute and discharge proof obligations.


title: A General Taylor Framework for Unifying and Revisiting Attribution Methods

abstract: Attribution methods provide an insight into the decision-making process of machine learning models, especially deep neural networks, by assigning contribution scores to each individual feature. However, the attribution problem has not been well-defined, which lacks a unified guideline to the contribution assignment process. Furthermore, existing attribution methods often built upon various empirical intuitions and heuristics. There still lacks a general theoretical framework that not only can offer a good description of the attribution problem, but also can be applied to unifying and revisiting existing attribution methods. To bridge the gap, in this paper, we propose a Taylor attribution framework, which models the attribution problem as how to decide individual payoffs in a coalition. Then, we reformulate fourteen mainstream attribution methods into the Taylor framework and analyze these attribution methods in terms of rationale, fidelity, and limitation in the framework. Moreover, we establish three principles for a good attribution in the Taylor attribution framework, i.e., low approximation error, correct Taylor contribution assignment, and unbiased baseline selection. Finally, we empirically validate the Taylor reformulations and reveal a positive correlation between the attribution performance and the number of principles followed by the attribution method via benchmarking on real-world datasets.


title: Ribaucour partial tubes and hypersurfaces of Enneper type

abstract: In this article we introduce the notion of a Ribaucour partial tube and use it to derive several applications. These are based on a characterization of Ribaucour partial tubes as the immersions of a product of two manifolds into a space form such that the distributions given by the tangent spaces of the factors are orthogonal to each other with respect to the induced metric, are invariant under all shape operators, and one of them is spherical. Our first application is a classification of all hypersurfaces with dimension at least three of a space form that carry a spherical foliation of codimension one, extending previous results by Dajczer, Rovenski and the second author for the totally geodesic case. We proceed to prove a general decomposition theorem for immersions of product manifolds, which extends several related results. Other main applications concern the class of hypersurfaces of $\mathbb{R}^{n+1}$ that are of Enneper type, that is, hypersurfaces that carry a family of lines of curvature, correspondent to a simple principal curvature, whose orthogonal $(n-1)$-dimensional distribution is integrable and whose leaves are contained in hyperspheres or affine hyperplanes of $\mathbb{R}^{n+1}$. We show how Ribaucour partial tubes in the sphere can be used to describe all $n$-dimensional hypersurfaces of Enneper type for which the leaves of the $(n-1)$-dimensional distribution are contained in affine hyperplanes of $\mathbb{R}^{n+1}$, and then show how a general hypersurface of Enneper type can be constructed in terms of a hypersurface in the latter class. We give an explicit description of some special hypersurfaces of Enneper type, among which are natural generalizations of the so called Joachimsthal surfaces.


title: Explainable Enterprise Credit Rating via Deep Feature Crossing Network

abstract: Due to the powerful learning ability on high-rank and non-linear features, deep neural networks (DNNs) are being applied to data mining and machine learning in various fields, and exhibit higher discrimination performance than conventional methods. However, the applications based on DNNs are rare in enterprise credit rating tasks because most of DNNs employ the "end-to-end" learning paradigm, which outputs the high-rank representations of objects and predictive results without any explanations. Thus, users in the financial industry cannot understand how these high-rank representations are generated, what do they mean and what relations exist with the raw inputs. Then users cannot determine whether the predictions provided by DNNs are reliable, and not trust the predictions providing by such "black box" models. Therefore, in this paper, we propose a novel network to explicitly model the enterprise credit rating problem using DNNs and attention mechanisms. The proposed model realizes explainable enterprise credit ratings. Experimental results obtained on real-world enterprise datasets verify that the proposed approach achieves higher performance than conventional methods, and provides insights into individual rating results and the reliability of model training.


title: Monte Carlo calculations of Curie temperatures of Y$_{1-x}$Gd$_x$(Fe$_{1-y}$Co$_y$)$_2$ pseudobinary system

abstract: The close-packed AB$_2$ structures called Laves phases constitute the largest group of intermetallic compounds. In this paper we computationally investigated the pseudo-binary Laves phase system Y$_{1-x}$Gd$_x$(Fe$_{1-y}$Co$_y$)$_2$ spanning between the YFe$_2$, YCo$_2$, GdFe$_2$, and GdCo$_2$ vertices. While the vast majority of the Y$_{1-x}$Gd$_x$(Fe$_{1-y}$Co$_y$)$_2$ phase diagram is the ferrimagnetic phase, YCo$_2$ along with a narrow range of concentrations around it is the paramagnetic phase. We presented results obtained by Monte Carlo simulations of the Heisenberg model with parameters derived from first-principles calculations. For calculations, we used the Uppsala atomistic spin dynamics (UppASD) code together with the spin-polarized relativistic Korringa-Kohn-Rostoker (SPR-KKR) code. From first principles we calculated the magnetic moments and exchange integrals for the considered pseudo-binary system, together with spin-polarized densities of states for boundary compositions. Furthermore, we showed how the compensation point with the effective zero total moment depends on the concentration in the considered ferrimagnetic phases. However, the main result of our study was the determination of the Curie temperature dependence for the system Y$_{1-x}$Gd$_x$(Fe$_{1-y}$Co$_y$)$_2$. Except for the paramagnetic region around YCo$_2$, the predicted temperatures were in good qualitative and quantitative agreement with experimental results, which confirmed the ability of the method to predict magnetic transition temperatures for systems containing up to three different magnetic elements (Fe, Co, and Gd) simultaneously. For the Y(Fe$_{1-y}$Co$_y$)$_2$ and Gd(Fe$_{1-y}$Co$_y$)$_2$ systems our calculations matched the experimentally-confirmed Slater-Pauling-like behavior of T$_C$ dependence on the Co concentration.


title: Multi-Tier Adaptive Memory Programming and Cluster- and Job-based Relocation for Distributed On-demand Crowdshipping

abstract: With rapid e-commerce growth, on-demand urban delivery is having a high time especially for food, grocery, and retail, often requiring delivery in a very short amount of time after an order is placed. This imposes significant financial and operational challenges for traditional vehicle-based delivery methods. Crowdshipping, which employs ordinary people with a low pay rate and limited time availability, has emerged as an attractive alternative. This paper proposes a multi-tier adaptive memory programming (M-TAMP) to tackle on-demand assignment of requests to crowdsourcees with spatially distributed request origins and destination and crowdsourcee starting points. M-TAMP starts with multiple initial solutions constructed based on different plausible contemplations in assigning requests to crowdsourcees, and organizes solution search through waves, phases, and steps, imitating both ocean waves and human memory functioning while seeking the best solution. The assignment is further enforced by proactively relocating idle crowdsourcees, for which a computationally efficient cluster- and job-based strategy is devised. Numerical experiments demonstrate the superiority of MTAMP over a number of existing methods, and that relocation can greatly improve the efficiency of crowdsourcee-request assignment.


title: Fluctuation estimates for the multi-cell formula in stochastic homogenization of partitions

abstract: In this paper we derive quantitative estimates in the context of stochastic homogenization for integral functionals defined on finite partitions, where the random surface integrand is assumed to be stationary. Requiring the integrand to satisfy in addition a multiscale functional inequality, we control quantitatively the fluctuations of the asymptotic cell formulas defining the homogenized surface integrand. As a byproduct we obtain a simplified cell formula where we replace cubes by almost flat hyperrectangles.


title: Search for new phenomena in final states with two leptons and one or no $b$-tagged jets at $\sqrt{s} = 13$ TeV using the ATLAS detector

abstract: A search for new phenomena is presented in final states with two leptons and one or no $b$-tagged jets. The event selection requires the two leptons to have opposite charge, the same flavor (electrons or muons), and a large invariant mass. The analysis is based on the full Run-2 proton-proton collision dataset recorded at a center-of-mass energy of $\sqrt{s} = 13$ TeV by the ATLAS experiment at the LHC, corresponding to an integrated luminosity of 139 fb$^{-1}$. No significant deviation from the expected background is observed in the data. A four-fermion contact interaction between two quarks ($b,s$) and two leptons ($ee$ or $\mu\mu$), inspired by the $B$-meson decay anomalies, is used as a benchmark signal model. This model is characterized by the energy scale and coupling, $\Lambda$ and $g_*$ respectively. Contact interactions with $\Lambda / g_*$ lower than 2.0 (2.4) TeV are excluded for electrons (muons) at the 95% confidence level, still far below the value which is favored by the $B$-meson decay anomalies. In addition, model-independent limits are set as a function of the selection on the dilepton invariant mass, which allows the results to be reinterpreted in other signal scenarios.


title: Vacuum Radiation in $z=2$ Lifshitz QED

abstract: We discuss in this paper the vacuum Cherenkov radiation in the $z=2$ Lifshitz electrodynamics. The improved ultraviolet behavior, in terms of higher spatial derivatives, and the renormalizable couplings, due to the time-space anisotropic scaling, present in the Lifshitz setting are extremely important in fulfilling the physical constraints in order to this vacuum process to happen. We evaluate in details the instantaneous rate of energy loss for a charge, and also analyze the emission of very soft photons in this framework.


title: Quantum Computing for Inflationary, Dark Energy and Dark Matter Cosmology

abstract: Cosmology is in an era of rapid discovery especially in areas related to dark energy, dark matter and inflation. Quantum cosmology treats the cosmology quantum mechanically and is important when quantum effects need to be accounted for, especially in the very early Universe. Quantum computing is an emerging new method of computing which excels in simulating quantum systems. Quantum computing may have some advantages when simulating quantum cosmology, especially because the Euclidean action of gravity is unbounded from below, making the implementation of Monte Carlo simulation problematic. In this paper we present several examples of the application of quantum computing to cosmology. These include a dark energy model that is related to Kaluza-Klein theory, dark matter models where the dark sector is described by a self interacting gauge field or a conformal scalar field and an inflationary model with a slow roll potential. We implement quantum computations in the IBM QISKit software framework and show how to apply the Variational Quantum Eigensolver (VQE) and Evolution of Hamiltonian (EOH) algorithms to solve the Wheeler-DeWitt equation that can be used to describe the cosmology in the mini-superspace approximation. We find excellent agreement with classical computing results and describe the accuracy of the different quantum algorithms. Finally we discuss how these methods can be scaled to larger problems going beyond the mini-superspace approximation where the quantum computer may exceed the performance of classical computation.


title: pRSL: Interpretable Multi-label Stacking by Learning Probabilistic Rules

abstract: A key task in multi-label classification is modeling the structure between the involved classes. Modeling this structure by probabilistic and interpretable means enables application in a broad variety of tasks such as zero-shot learning or learning from incomplete data. In this paper, we present the probabilistic rule stacking learner (pRSL) which uses probabilistic propositional logic rules and belief propagation to combine the predictions of several underlying classifiers. We derive algorithms for exact and approximate inference and learning, and show that pRSL reaches state-of-the-art performance on various benchmark datasets. In the process, we introduce a novel multicategorical generalization of the noisy-or gate. Additionally, we report simulation results on the quality of loopy belief propagation algorithms for approximate inference in bipartite noisy-or networks.


title: Heavy neutral leptons in effective field theory and the high-luminosity LHC

abstract: Heavy neutral leptons (HNLs) with masses around the electroweak scale are expected to be rather long-lived particles, as a result of the observed smallness of the active neutrino masses. In this work, we study long-lived HNLs in $N_R$SMEFT, a Standard Model (SM) extension with singlet fermions to which we add non-renormalizable operators up to dimension-6. Operators which contain two HNLs can lead to a sizable enhancement of the production cross sections, compared to the minimal case where HNLs are produced only via their mixing with the SM neutrinos. We calculate the expected sensitivities for the ATLAS detector and the future far-detector experiments: AL3X, ANUBIS, CODEX-b, FASER, MATHUSLA, and MoEDAL-MAPP in this setup. The sensitive ranges of the HNL mass and of the active-heavy mixing angle are much larger than those in the minimal case. We study both, Dirac and Majorana, HNLs and discuss how the two cases actually differ phenomenologically, for HNL masses above roughly 100 GeV.


title: Thermal Wave Instability as an Origin of Gap and Ring Structures in Protoplanetary Disks

abstract: Recent millimeter and infrared observations have shown that gap and ring-like structures are common in both dust thermal emission and scattered-light of protoplanetary disks. We investigate the impact of the so-called Thermal Wave Instability (TWI) on the millimeter and infrared scattered-light images of disks. We perform 1+1D simulations of the TWI and confirm that the TWI operates when the disk is optically thick enough for stellar light, i.e., small-grain-to-gas mass ratio of $\gtrsim0.0001$. The mid-plane temperature varies as the waves propagate and hence gap and ring structures can be seen in both millimeter and infrared emission. The millimeter substructures can be observed even if the disk is fully optically thick since it is induced by the temperature variation, while density-induced substructures would disappear in the optically thick regime. The fractional separation between TWI-induced ring and gap is $\Delta r/r \sim$ 0.2-0.4 at $\sim$ 10-50 au, which is comparable to those found by ALMA. Due to the temperature variation, snow lines of volatile species move radially and multiple snow lines are observed even for a single species. The wave propagation velocity is as fast as $\sim$ 0.6 ${\rm au~yr^{-1}}$, which can be potentially detected with a multi-epoch observation with a time separation of a few years.


title: Error sources in heralded quantum Zeno gates

abstract: Quantum logic gates for photonic qubits can be implemented using the quantum Zeno effect based on strong two-photon absorption. The fidelity of quantum Zeno gates of this kind may be substantially reduced by photon loss. Heralding on those outcomes in which both of the logical qubits emerge from the Zeno gate can increase the fidelity at the expense of a limited success rate (P.M. Leung et al., Phys. Rev. A 74, 062325 (2006)). We analyze the performance of heralded quantum Zeno gates by solving Schrodinger's equation for a system of photons coupled to three-level atoms. This approach identifies several potential error sources that are not described by earlier models that assumed a fixed rate of single-photon loss and two-photon absorption.


title: Neonatal seizure detection from raw multi-channel EEG using a fully convolutional architecture

abstract: A deep learning classifier for detecting seizures in neonates is proposed. This architecture is designed to detect seizure events from raw electroencephalogram (EEG) signals as opposed to the state-of-the-art hand engineered feature-based representation employed in traditional machine learning based solutions. The seizure detection system utilises only convolutional layers in order to process the multichannel time domain signal and is designed to exploit the large amount of weakly labelled data in the training stage. The system performance is assessed on a large database of continuous EEG recordings of 834h in duration; this is further validated on a held-out publicly available dataset and compared with two baseline SVM based systems. The developed system achieves a 56% relative improvement with respect to a feature-based state-of-the art baseline, reaching an AUC of 98.5%; this also compares favourably both in terms of performance and run-time. The effect of varying architectural parameters is thoroughly studied. The performance improvement is achieved through novel architecture design which allows more efficient usage of available training data and end-to-end optimisation from the front-end feature extraction to the back-end classification. The proposed architecture opens new avenues for the application of deep learning to neonatal EEG, where the performance becomes a function of the amount of training data with less dependency on the availability of precise clinical labels.


title: A Sum-of-Ratios Multi-Dimensional-Knapsack Decomposition for DNN Resource Scheduling

abstract: In recent years, to sustain the resource-intensive computational needs for training deep neural networks (DNNs), it is widely accepted that exploiting the parallelism in large-scale computing clusters is critical for the efficient deployments of DNN training jobs. However, existing resource schedulers for traditional computing clusters are not well suited for DNN training, which results in unsatisfactory job completion time performance. The limitations of these resource scheduling schemes motivate us to propose a new computing cluster resource scheduling framework that is able to leverage the special layered structure of DNN jobs and significantly improve their job completion times. Our contributions in this paper are three-fold: i) We develop a new resource scheduling analytical model by considering DNN's layered structure, which enables us to analytically formulate the resource scheduling optimization problem for DNN training in computing clusters; ii) Based on the proposed performance analytical model, we then develop an efficient resource scheduling algorithm based on the widely adopted parameter-server architecture using a sum-of-ratios multi-dimensional-knapsack decomposition (SMD) method to offer strong performance guarantee; iii) We conduct extensive numerical experiments to demonstrate the effectiveness of the proposed schedule algorithm and its superior performance over the state of the art.


title: Lightweight Cross-Lingual Sentence Representation Learning

abstract: Large-scale models for learning fixed-dimensional cross-lingual sentence representations like LASER (Artetxe and Schwenk, 2019b) lead to significant improvement in performance on downstream tasks. However, further increases and modifications based on such large-scale models are usually impractical due to memory limitations. In this work, we introduce a lightweight dual-transformer architecture with just 2 layers for generating memory-efficient cross-lingual sentence representations. We explore different training tasks and observe that current cross-lingual training tasks leave a lot to be desired for this shallow architecture. To ameliorate this, we propose a novel cross-lingual language model, which combines the existing single-word masked language model with the newly proposed cross-lingual token-level reconstruction task. We further augment the training task by the introduction of two computationally-lite sentence-level contrastive learning tasks to enhance the alignment of cross-lingual sentence representation space, which compensates for the learning bottleneck of the lightweight transformer for generative tasks. Our comparisons with competing models on cross-lingual sentence retrieval and multilingual document classification confirm the effectiveness of the newly proposed training tasks for a shallow model.


title: Learning Approximate and Exact Numeral Systems via Reinforcement Learning

abstract: Recent work (Xu et al., 2020) has suggested that numeral systems in different languages are shaped by a functional need for efficient communication in an information-theoretic sense. Here we take a learning-theoretic approach and show how efficient communication emerges via reinforcement learning. In our framework, two artificial agents play a Lewis signaling game where the goal is to convey a numeral concept. The agents gradually learn to communicate using reinforcement learning and the resulting numeral systems are shown to be efficient in the information-theoretic framework of Regier et al. (2015); Gibson et al. (2017). They are also shown to be similar to human numeral systems of same type. Our results thus provide a mechanistic explanation via reinforcement learning of the recent results in Xu et al. (2020) and can potentially be generalized to other semantic domains.


title: Borexino results on neutrinos from the Sun and Earth

abstract: Borexino is a 280-ton liquid scintillator detector located at the Laboratori Nazionali del Gran Sasso in Italy. Since the start of its data taking in May 2007, it has provided several measurements of low-energy neutrinos from various sources. At the base of its success, lie unprecedented levels of radio-purity and extensive thermal stabilisation, both resulting from a years-long effort of the collaboration. Solar neutrinos, emitted in the hydrogen-to-helium fusion in the solar core, are important for the understanding of our star, as well as neutrino properties. Borexino is the only experiment that has performed a complete spectroscopy of the \emph{pp} chain solar neutrinos (with the exception of the \emph{hep} neutrinos contributing to the total flux at $10^{-5}$ level), through the detection of \emph{pp}, $^7$Be, \emph{pep}, and $^8$B solar neutrinos and has experimentally confirmed the existence of the CNO fusion cycle in the Sun. Borexino has also detected geoneutrinos, antineutrinos from the decays of long-lived radioactive elements inside the Earth, that can be exploited as a new and unique tool to study our planet. This paper reviews the most recent Borexino results on solar and geoneutrinos, from highlighting the key elements of the analyses up to the discussion and interpretation of the results for neutrino, solar, and geophysics.


title: Generative Network-Based Reduced-Order Model for Prediction, Data Assimilation and Uncertainty Quantification

abstract: We propose a new method in which a generative network (GN) integrate into a reduced-order model (ROM) framework is used to solve inverse problems for partial differential equations (PDE). The aim is to match available measurements and estimate the corresponding uncertainties associated with the states and parameters of a numerical physical simulation. The GN is trained using only unconditional simulations of the discretized PDE model. We compare the proposed method with the golden standard Markov chain Monte Carlo. We apply the proposed approaches to a spatio-temporal compartmental model in epidemiology. The results show that the proposed GN-based ROM can efficiently quantify uncertainty and accurately match the measurements and the golden standard, using only a few unconditional simulations of the full-order numerical PDE model.


title: Application of a hierarchical MCMC follow-up to Advanced LIGO continuous gravitational-wave candidates

abstract: We present the first application of a hierarchical Markov Chain Monte Carlo (MCMC) follow-up on continuous gravitational-wave candidates from real-data searches. The follow-up uses an MCMC sampler to draw parameter-space points from the posterior distribution, constructed using the matched-filter as a log-likelihood. As outliers are narrowed down, coherence time increases, imposing more restrictive phase-evolution templates. We introduce a novel Bayes factor to compare results from different stages: The signal hypothesis is derived from first principles, while the noise hypothesis uses extreme value theory to derive a background model. The effectiveness of our proposal is evaluated on fake Gaussian data and applied to a set of 30 outliers produced by different continuous wave searches on O2 Advanced LIGO data. The results of our analysis suggest all but five outliers are inconsistent with an astrophysical origin under the standard continuous wave signal model. We successfully ascribe four of the surviving outliers to instrumental artifacts and a strong hardware injection present in the data. The behavior of the fifth outlier suggests an instrumental origin as well, but we could not relate it to any known instrumental cause.


title: Phase Change Memtransistive Synapse

abstract: In the mammalian nervous system, various synaptic plasticity rules act, either individually or synergistically, and over wide-ranging timescales to dictate the processes that enable learning and memory formation. To mimic biological cognition for artificial intelligence, neuromorphic computing platforms thus call for synthetic synapses, that can faithfully express such complex plasticity and dynamics. Although some plasticity rules have been emulated with elaborate CMOS and memristive circuitry, hardware demonstrations that combine multiple plasticities, such as long-term (LTP) and short-term plasticity (STP) with tunable dynamics and within the same low-power nanoscale devices have been missing. Here, we introduce phase change memtransistive synapse that leverages the non-volatility of memristors and the volatility of transistors for coupling LTP with homo and heterosynaptic STP effects. We show that such biomimetic synapses can enable some powerful cognitive frameworks, such as the short-term spike-timing-dependent plasticity (ST-STDP) and stochastic Hopfield neural networks. We demonstrate how, much like the mammalian brain, such emulations can establish temporal relationships in data streams for the task of sequential learning and combinatorial optimization.


title: Influence of magnetic fields on ultrafast laser-induced switching dynamics in Co/Gd bilayers

abstract: Recently it has been shown that not only GdFeCo alloys exhibit single-pulse helicity-independent all-optical switching (HI-AOS), but that this effect is also seen in Co/Gd bilayers. However, there have been no reports on the explicit time dynamics of the switching process in these bilayers as of yet. Furthermore, time-resolved measurements of switching of other materials are typically done with a constant applied field to reset the magnetization between consecutive pulses and thus ensure repeatable behavior. In this paper we experimentally resolve the explicit dynamics of the switching process in Co/Gd, and the influence of applied magnetic fields on the switching process. We observe that after a switch within several picoseconds, the magnetization switches back at a timescale of hundreds of picoseconds. This backswitch includes a strong dependence on the magnetic field strength even at sub-tesla fields, significantly smaller than the exchange fields that govern the switching dynamics. This surprising behaviour is explained by a combination of longitudinal switching (on a picosecond timescale), precessional switching (on a nanosecond timescale) and domain-wall motion (on a timescale of 10 ns and beyond). We discuss these different switching regimes and their relative importance using simple model calculations.


title: On plane algebraic curves passing through $n$-independent nodes

abstract: Let a set of nodes $\mathcal X$ in the plane be $n$-independent, i.e., each node has a fundamental polynomial of degree $n.$ Assume that $\#\mathcal X=d(n,k-3)+3= (n+1)+n+\cdots+(n-k+5)+3$ and $4 \le k\le n-1.$ In this paper we prove that there are at most seven linearly independent curves of degree less than or equal to $k$ that pass through all the nodes of $\mathcal X.$ We provide a characterization of the case when there are exactly seven such curves. Namely, we prove that then the set $\mathcal X$ has a very special construction: all its nodes but three belong to a (maximal) curve of degree $k-3.$ Let us mention that in a series of such results this is the third one. In the end, an important application to the bivariate polynomial interpolation is provided, which is essential also for the study of the Gasca-Maeztu conjecture.