title: Probabilistic Verification of Approximate Algorithms with Unstructured Errors: Application to Fully Inexact Generalized ADMM

abstract: We analyse the convergence of an approximate, fully inexact, ADMM algorithm under additive, deterministic and probabilistic error models. We consider the generalized ADMM scheme that is derived from generalized Lagrangian penalty with additive (smoothing) adaptive-metric quadratic proximal perturbations. We derive explicit deterministic and probabilistic convergence upper bounds for the lower-C2 nonconvex case as well as the convex case under the Lipschitz continuity condition. We also present more practical conditions on the proximal errors under which convergence of the approximate ADMM to a suboptimal solution is guaranteed with high probability. We consider statistically and dynamically-unstructured conditional mean independent bounded error sequences. We validate our results using both simulated and practical software and algorithmic computational perturbations. We apply the proposed algorithm to a synthetic LASSO and robust regression with k-support norm regularization problems and test our proposed bounds under different computational noise levels. Compared to classical convergence results, the adaptive probabilistic bounds are more accurate in predicting the distance from the optimal set and parasitic residual error under different sources of inaccuracies.


title: ChemAlgebra: Algebraic Reasoning on Chemical Reactions

abstract: While showing impressive performance on various kinds of learning tasks, it is yet unclear whether deep learning models have the ability to robustly tackle reasoning tasks. than by learning the underlying reasoning process that is actually required to solve the tasks. Measuring the robustness of reasoning in machine learning models is challenging as one needs to provide a task that cannot be easily shortcut by exploiting spurious statistical correlations in the data, while operating on complex objects and constraints. reasoning task. To address this issue, we propose ChemAlgebra, a benchmark for measuring the reasoning capabilities of deep learning models through the prediction of stoichiometrically-balanced chemical reactions. ChemAlgebra requires manipulating sets of complex discrete objects -- molecules represented as formulas or graphs -- under algebraic constraints such as the mass preservation principle. We believe that ChemAlgebra can serve as a useful test bed for the next generation of machine reasoning models and as a promoter of their development.


title: Asteroid spin-states of a 4 Gyr collisional family

abstract: Families of asteroids generated by the collisional fragmentation of a common parent body have been identified using clustering methods of asteroids in their proper orbital element space. An alternative method has been developed in order to identify collisional families from the correlation between the asteroid fragment sizes and their proper semi-major axis distance from the family centre (V-shape). This method has been shown to be effective in the cases of the very diffuse families that formed billions of years ago. We obtained photometric observations of asteroids in order to construct their rotational light curves; we combine them with the literature light curves and sparse-in-time photometry; we input these data in the light curve inversion methods to determine the shape and the spin pole of the asteroids in order to assess whether an object is prograde or retrograde. The ultimate goal is to assess whether we find an excess of retrograde asteroids on the inward side of the V-shape of a 4 Gyr asteroid family identified via the V-shape method. This excess of retrograde rotators is predicted by the theory of asteroid family evolution. We obtained the spin poles for 55 asteroids claimed to belong to a 4 Gyr collisional family of the inner main belt that consists of low-albedo asteroids. After re-evaluating the albedo and spectroscopic information, we found that nine of these asteroids are interlopers in the 4 Gyr family. Of the 46 remaining asteroids, 31 are found to be retrograde and 15 prograde. We also found that these retrograde rotators have a very low probability (1.29%) of being due to random sampling from an underlying uniform distribution of spin poles. Our results constitute corroborating evidence that the asteroids identified as members of a 4 Gyr collisional family have a common origin, thus strengthening their family membership.


title: Teaching Yourself: Graph Self-Distillation on Neighborhood for Node Classification

abstract: Recent years have witnessed great success in handling graph-related tasks with Graph Neural Networks (GNNs). Despite their great academic success, Multi-Layer Perceptrons (MLPs) remain the primary workhorse for practical industrial applications. One reason for this academic-industrial gap is the neighborhood-fetching latency incurred by data dependency in GNNs, which make it hard to deploy for latency-sensitive applications that require fast inference. Conversely, without involving any feature aggregation, MLPs have no data dependency and infer much faster than GNNs, but their performance is less competitive. Motivated by these complementary strengths and weaknesses, we propose a Graph Self-Distillation on Neighborhood (GSDN) framework to reduce the gap between GNNs and MLPs. Specifically, the GSDN framework is based purely on MLPs, where structural information is only implicitly used as prior to guide knowledge self-distillation between the neighborhood and the target, substituting the explicit neighborhood information propagation as in GNNs. As a result, GSDN enjoys the benefits of graph topology-awareness in training but has no data dependency in inference. Extensive experiments have shown that the performance of vanilla MLPs can be greatly improved with self-distillation, e.g., GSDN improves over stand-alone MLPs by 15.54% on average and outperforms the state-of-the-art GNNs on six datasets. Regarding inference speed, GSDN infers 75X-89X faster than existing GNNs and 16X-25X faster than other inference acceleration methods.


title: Asymptotic results for sums and extremes

abstract: The term moderate deviations is often used in the literature to mean a class of large deviation principles that, in some sense, fills the gap between a convergence in probability of some random variables to a constant and a weak convergence to a centered Gaussian distribution (when such random variables are properly centered and rescaled). We talk about noncentral moderate deviations when the weak convergence is towards a non-Gaussian distribution. In this paper, we prove a noncentral moderate deviation result for the bivariate sequence of sums and maxima of i.i.d. random variables bounded from above. We also prove a result where the random variables are not bounded from above, and the maxima are suitably normalized. Finally, we prove a moderate deviation result for sums of partial minima of i.i.d. exponential random variables.


title: Automated Graph Self-supervised Learning via Multi-teacher Knowledge Distillation

abstract: Self-supervised learning on graphs has recently achieved remarkable success in graph representation learning. With hundreds of self-supervised pretext tasks proposed over the past few years, the research community has greatly developed, and the key is no longer to design more powerful but complex pretext tasks, but to make more effective use of those already on hand. This paper studies the problem of how to automatically, adaptively, and dynamically learn instance-level self-supervised learning strategies for each node from a given pool of pretext tasks. In this paper, we propose a novel multi-teacher knowledge distillation framework for Automated Graph Self-Supervised Learning (AGSSL), which consists of two main branches: (i) Knowledge Extraction: training multiple teachers with different pretext tasks, so as to extract different levels of knowledge with different inductive biases; (ii) Knowledge Integration: integrating different levels of knowledge and distilling them into the student model. Without simply treating different teachers as equally important, we provide a provable theoretical guideline for how to integrate the knowledge of different teachers, i.e., the integrated teacher probability should be close to the true Bayesian class-probability. To approach the theoretical optimum in practice, two adaptive knowledge integration strategies are proposed to construct a relatively "good" integrated teacher. Extensive experiments on eight datasets show that AGSSL can benefit from multiple pretext tasks, outperforming the corresponding individual tasks; by combining a few simple but classical pretext tasks, the resulting performance is comparable to other leading counterparts.


title: Optofluidic adaptive optics in multi-photon microscopy

abstract: Adaptive optics in combination with multi-photon techniques is a powerful approach to image deep into a specimen. Remarkably, virtually all adaptive optics schemes today rely on wavefront modulators which are reflective, diffractive, or both. This, however, can pose a severe limitation for applications. Here, we present a fast and robust sensorless adaptive optics scheme adapted for transmissive wavefront modulators. We study our scheme in numerical simulations and in experiments with a novel, optofluidic wavefront shaping device which is transmissive, refractive, polarisation-independent and broadband. We demonstrate scatter correction of two-photon-excited fluorescence images of microbeads as well as brain cells and benchmark our device against a liquid-crystal spatial light modulator. Our method and technology could open new routes for adaptive optics in scenarios where previously the restriction to reflective and diffractive devices may have staggered innovation and progress.


title: Unconditional convergence of conservative spectral Galerkin methods for the coupled fractional nonlinear Klein-Gordon-Schr\"odinger equations

abstract: In this work, two novel classes of structure-preserving spectral Galerkin methods are proposed which based on the Crank-Nicolson scheme and the exponential scalar auxiliary variable method respectively, for solving the coupled fractional nonlinear Klein-Gordon-Schr\"odinger equation. The paper focuses on the theoretical analyses and computational efficiency of the proposed schemes, the Crank-Nicoloson scheme is proved to be unconditionally convergent and has the maximum-norm boundness of numerical solutions. The exponential scalar auxiliary variable scheme is linearly implicit and decoupled, but lack of the maximum-norm boundness, also, the energy structure has been modified. Subsequently, the efficient implementations of the proposed schemes are introduced in detail. Both the theoretical analyses and the numerical comparisons show that the proposed spectral Galerkin methods have high efficiency in long-time computations.


title: An Architectural Approach to Creating a Cloud Application for Developing Microservices

abstract: The cloud is a new paradigm that is paving the way for new approaches and standards. The architectural styles are evolving in response to the cloud's requirements. In recent years, microservices have emerged as the preferred architectural style for scalable, rapidly evolving cloud applications. The adoption of microservices to the detriment of monolithic structures, which are increasingly being phased out, is one of the most significant developments in business architecture. Cloud-native architectures make microservices system deployment more productive, adaptable, and cost-effective. Regardless, many firms have begun to transition from one type of architecture to another, though this is still in its early stages. The primary purpose of this article is to gain a better understanding of how to design microservices through developing cloud apps, as well as current microservices trends, the reason for microservices research, emerging standards, and prospective research gaps. Researchers and practitioners in software engineering can use the data to stay current on SOA and cloud computing developments.


title: Splitting of differential quaternion algebras

abstract: We study differential splitting fields of quaternion algebras with derivations. A quaternion algebra over a field $k$ is always split by a quadratic extension of $k$. However, a differential quaternion algebra need not be split over any algebraic extension of $k$. We use solutions of certain Riccati equations to provide bounds on the transcendence degree of splitting fields of a differential quaternion algebra.


title: The Trilinear Higgs Self-Couplings at ${\cal O}(\alpha_t^2)$ in the CP-Violating NMSSM

abstract: In supersymmetric theories the Higgs boson masses are derived quantities where higher-order corrections have to be included in order to match the measured Higgs mass value at the precision of current experiments. Closely related through the Higgs potential are the Higgs self-interactions. In addition, the measurement of the trilinear Higgs self-coupling provides the first step towards the reconstruction of the Higgs potential and the experimental verification of the Higgs mechanism sui generis. In this paper, we advance our prediction of the trilinear Higgs self-couplings in the CP-violating Next-to-Minimal Supersymmetric extension of the SM (NMSSM). We provide the ${\cal O}(\alpha_t^2)$ corrections in the gaugeless limit at vanishing external momenta. The higher-order corrections turn out to be larger than the corresponding mass corrections but show the expected perturbative convergence. The inclusion of the loop-corrected effective trilinear Higgs self-coupling in gluon fusion into Higgs pairs and the estimate of the theoretical uncertainty due to missing higher-order corrections indicate that the missing electroweak higher-order corrections may be significant.


title: Structured light analogy of squeezed state

abstract: Control of structured light is of great importance to explore fundamental physical effects and extend practical scientific applications, which has been advanced by accepting methods of quantum optics - many classical analogies of exotic quantum states were designed using structured modes. However, the prevailing quantum-like structured modes are limited by discrete states where the mode index is analog to the photon number state. Yet, beyond discrete states, there is a broad range of quantum states to be explored in the field of structured light -- continuous-variable (CV) states. As a typical example of CV states, squeezed state plays a prominent role in high-sensitivity interferometry and gravitational wave detection. In this work, we bring together two seemingly disparate branches of physics, namely, classical structured light and quantum squeezed state. We propose the structured light analogy of squeezed state (SLASS), which can break the spatial limit following the process of surpassing the standard quantum limit (SQL) with quantum squeezed states. This work paves the way for adopting methods from CV quantum states into structured light, opening new research directions of CV entanglement, teleportation, classical and quantum informatics of structured light in the future.


title: Explosive nucleosynthesis with fast neutrino-flavor conversion in core-collapse supernovae

abstract: Fast neutrino-flavor conversion (FFC) is a possible game-changing ingredient in core-collapse supernova (CCSN) theory. In this paper, we examine the impact of FFC on explosive nucleosynthesis by including the effects of FFC in conjunction with asymmetric neutrino emission into nucleosynthetic computations in a parametric way. We find that the ejecta compositions are not appreciably affected by FFC for elements lighter than Co, while the compositions are influenced by FFC for the heavier elements. We also find that the role of FFC varies depending on the asymmetric degree of neutrino emission ($m_{\rm asy}$) and the degree of neutrino-flavor mixing. The impact of FFC is not monotonic to $m_{\rm asy}$; The change in the ejecta composition increases for higher $m_{\rm asy}$ up to $\sim 10\%$ compared with that without FFC, whereas FFC has little effect on the nucleosynthesis in very large asymmetric neutrino emission ($\gtrsim 30 \%$). Our results suggest that FFC facilitates the production of neutron-rich ejecta in most cases, although it makes the ejecta more proton-rich if anti-neutrino conversion is more vigorous than that of neutrino. The key ingredient accounting for this trend is neutrino absorption, whose effects on nucleosynthesis can be quantified by simple diagnostics.


title: On a discrete framework of hypocoercivity for kinetic equations

abstract: We propose and study a fully discrete finite volume scheme for the Vlasov-Fokker-Planck equation written as an hyperbolic system using Hermite polynomials in velocity. This approach naturally preserves the stationary solution and the weighted L 2 relative entropy. Then, we adapt the arguments developed in [12] based the hypocoercivity method to get quantitative estimates on the convergence to equilibrium of the discrete solution. Finally, we prove that in the diffusive limit, the scheme is asymptotic preserving with respect to both the time variable and the scaling parameter at play.


title: The conservation law approach in geometric PDEs

abstract: In this survey paper, we give an overview of the conservation law approach in the study of geometric PDEs that models in particular polyharmonic maps.


title: ProxNLP: a primal-dual augmented Lagrangian solver for nonlinear programming in Robotics and beyond

abstract: Mathematical optimization is the workhorse behind several aspects of modern robotics and control. In these applications, the focus is on constrained optimization, and the ability to work on manifolds (such as the classical matrix Lie groups), along with a specific requirement for robustness and speed. In recent years, augmented Lagrangian methods have seen a resurgence due to their robustness and flexibility, their connections to (inexact) proximal-point methods, and their interoperability with Newton or semismooth Newton methods. In the sequel, we present primal-dual augmented Lagrangian method for inequality-constrained problems on manifolds, which we introduced in our recent work, as well as an efficient C++ implementation suitable for use in robotics applications and beyond.


title: Lepton Flavour Violation Tests of Type II Seesaw Leptogenesis

abstract: Upcoming Lepton Flavour Violation experiments searching for $\mu\rightarrow 3e$ and $\mu$ to $ e $ conversion in nuclei processes will provide new opportunities to test the fundamental properties of the neutrino sector, and possibly the origin of matter. In recent work, it was shown that the Type II Seesaw mechanism alone can simultaneously explain the neutrino masses, Leptogenesis, and inflation. A key prediction of this model was the possibility of signals being produced in Lepton Flavour Violation decays. Searches at future experiments such as Mu3e and COMET will be integral to determining the properties of the associated triplet Higgs, and will complement other terrestrial experimental searches and cosmological measurements. In this work, we survey the detection prospects for the ingredients of the Type II Seesaw Leptogenesis scenario, and discuss the corresponding dependencies on the neutrino oscillation parameters and $\mathcal{CP}$ phases.


title: Twisted equivariant HKR theorem for torus action and the small quantum group

abstract: We show that when a torus $T$ acts on a smooth variety $X$, the twisted HKR isomorphism is equivariant. The main consequence is that the Bezrukavnikov- Lachowska isomorphism, relating the Hochschild cohomology of the principal block of the small quantum group to certain sheaf cohomology groups on the Springer resolution $\widetilde{\mathcal{N}}$ , can be upgraded to a ring isomorphism by a twist.


title: Number-Resolved Detection of Dark Ions in Coulomb Crystals

abstract: While it is straightforward to count laser-cooled trapped ions by fluorescence imaging, detecting the number of dark ions embedded and sympathetically cooled in a mixed ion crystal is more challenging. We demonstrate a method to track the number of dark ions in real time with single-particle sensitivity. This is achieved by observing discrete steps in the amount of fluorescence emitted from the coolant ions while exciting secular motional resonances of dark ions. By counting the number of fluorescence steps, we can identify the number of dark ions without calibration and without relying on any physical model of the motional excitation. We demonstrate the scheme by detecting H$_2^+$ and H$_3^+$ ions embedded in a Be$^+$ ion Coulomb crystal in a linear radio frequency trap. Our method allows observing the generation and destruction of individual ions simultaneously for different types of ions. Besides high-resolution spectroscopy of dark ions, another application is the detection of chemical reactions in real time with single-particle sensitivity. This is demonstrated in this work.


title: Optimization-Informed Neural Networks

abstract: Solving constrained nonlinear optimization problems (CNLPs) is a longstanding problem that arises in various fields, e.g., economics, computer science, and engineering. We propose optimization-informed neural networks (OINN), a deep learning approach to solve CNLPs. By neurodynamic optimization methods, a CNLP is first reformulated as an initial value problem (IVP) involving an ordinary differential equation (ODE) system. A neural network model is then used as an approximate solution for this IVP, with the endpoint being the prediction to the CNLP. We propose a novel training algorithm that directs the model to hold the best prediction during training. In a nutshell, OINN transforms a CNLP into a neural network training problem. By doing so, we can solve CNLPs based on deep learning infrastructure only, without using standard optimization solvers or numerical integration solvers. The effectiveness of the proposed approach is demonstrated through a collection of classical problems, e.g., variational inequalities, nonlinear complementary problems, and standard CNLPs.


title: Searching for Lorentz-violating Signatures from Astrophysical Photon Observations

abstract: As a basic symmetry of Einstein's theory of special relativity, Lorentz invariance has withstood very strict tests. But there are still motivations for such tests. Firstly, many theories of quantum gravity suggest violations of Lorentz invariance at the Planck energy scale. Secondly, even minute deviations from Lorentz symmetry can accumulate as particle travel across large distances, leading to detectable effects at attainable energies. Thanks to their long baselines and high-energy emission, astrophysical observations provide sensitive tests of Lorentz invariance in the photon sector. In this paper, I briefly introduce astrophysical methods that we adopted to search for Lorentz-violating signatures, including vacuum dispersion and vacuum birefringence.


title: HARMONI at ELT: A Zernike wavefront sensor for the high-contrast module -- Testbed results with realistic observation conditions

abstract: ELT-HARMONI is the first light visible and near-IR integral field spectrograph (IFS) for the ELT. It covers a large spectral range from 450nm to 2450nm with resolving powers from 3500 to 18000 and spatial sampling from 60mas to 4mas. It can operate in two Adaptive Optics modes - SCAO (including a High Contrast capability) and LTAO - or with NOAO. The project is preparing for Final Design Reviews. The High Contrast Module (HCM) will allow HARMONI to perform direct imaging and spectral analysis of exoplanets up to one million times fainter than their host star. Quasi-static aberrations are a limiting factor and must be calibrated as close as possible to the focal plane masks to reach the specified contrast. A Zernike sensor for Extremely Low-level Differential Aberrations (ZELDA) will be used in real-time and closed-loop operation at 0.1Hz frequency for this purpose. Unlike a Shack-Hartmann, the ZELDA wavefront sensor is sensitive to Island and low-wind effects. The ZELDA sensor has already been tested on VLT-SPHERE and will be used in other instruments. Our objective is to adapt this sensor to the specific case of HARMONI. A ZELDA prototype is being both simulated and experimentally tested at IPAG. Its nanometric precision has first been checked in 2020 in the case of slowly evolving, small wavefront errors, and without dispersion nor turbulence residuals. On this experimental basis, we address the performance of the sensor under realistic operational conditions including residuals, mis-centring, dispersion, sensitivity, etc. Atmospheric refraction residuals were introduced by the use of a prism, and turbulence was introduced by a spatial light modulator which is also used to minimise wavefront residuals in a closed loop in the observing conditions expected with HARMONI.


title: Computing algebraic degrees of phylogenetic varieties

abstract: A phylogenetic variety is an algebraic variety parameterized by a statistical model of the evolution of biological sequences along a tree. Understanding this variety is an important problem in the area of algebraic statistics with applications in phylogeny reconstruction. In the broader area of algebra statistics, there have been important theoretical advances in computing certain invariants associated to algebraic varieties arising in applications. Beyond the dimension and degree of a variety, one is interested in computing other algebraic degrees, such as the maximum likelihood degree and the Euclidean distance degree. Despite these efforts, the current literature lacks explicit computations of these invariants for the particular case of phylogenetic varieties. In our work, we fill this gap by computing these invariants for phylogenetic varieties arising from the simplest group-based models of nucleotide substitution Cavender-Farris-Neyman model, Jukes-Cantor model, Kimura 2-parameter model, and the Kimura 3-parameter model on small phylogenetic trees with at most 5 leaves.


title: Tight Lower Bounds for Problems Parameterized by Rank-width

abstract: We show that there is no $2^{o(k^2)} n^{O(1)}$ time algorithm for Independent Set on $n$-vertex graphs with rank-width $k$, unless the Exponential Time Hypothesis (ETH) fails. Our lower bound matches the $2^{O(k^2)} n^{O(1)}$ time algorithm given by Bui-Xuan, Telle, and Vatshelle [Discret. Appl. Math., 2010] and it answers the open question of Bergougnoux and Kant\'{e} [SIAM J. Discret. Math., 2021]. We also show that the known $2^{O(k^2)} n^{O(1)}$ time algorithms for Weighted Dominating Set, Maximum Induced Matching and Feedback Vertex Set parameterized by rank-width $k$ are optimal assuming ETH. Our results are the first tight ETH lower bounds parameterized by rank-width that do not follow directly from lower bounds for $n$-vertex graphs.


title: Relaxation approximation and asymptotic stability of stratified solutions to the IPM equation

abstract: We prove the nonlinear asymptotic stability of stably stratified solutions to the Incompressible Porous Media equation (IPM) for initial perturbations in $\dot H^{1-\tau}(\mathbb{R}^2) \cap \dot H^s(\mathbb{R}^2)$ with $s > 3$ and for any $0 < \tau <1$. Such result improves the existing literature, where the asymptotic stability is proved for initial perturbations belonging at least to $H^{20}(\mathbb{R}^2)$. More precisely, the aim of the article is threefold. First, we provide a simplified and improved proof of global-in-time well-posedness of the Boussinesq equations with strongly damped vorticity in $H^{1-\tau}(\mathbb{R}^2) \cap \dot H^s(\mathbb{R}^2)$ with $s > 3$ and $0 < \tau <1$. Next, we prove the strong convergence of the Boussinesq system with damped vorticity towards (IPM) under a suitable scaling. Lastly, the asymptotic stability of stratified solutions to (IPM) follows as a byproduct. A symmetrization of the approximating system and a careful study of the anisotropic properties of the equations via anisotropic Littlewood-Paley decomposition play key roles to obtain uniform energy estimates. Finally, one of the main new and crucial points is the integrable time decay of the vertical velocity $\|u_2(t)\|_{L^\infty (\mathbb{R}^2)}$ for initial data only in $\dot H^{1-\tau}(\mathbb{R}^2) \cap \dot H^s(\mathbb{R}^2)$ with $s >3$.


title: ISFL: Federated Learning for Non-i.i.d. Data with Local Importance Sampling

abstract: As a promising learning paradigm integrating computation and communication, federated learning (FL) proceeds the local training and the periodic sharing from distributed clients. Due to the non-i.i.d. data distribution on clients, FL model suffers from the gradient diversity, poor performance, bad convergence, etc. In this work, we aim to tackle this key issue by adopting importance sampling (IS) for local training. We propose importance sampling federated learning (ISFL), an explicit framework with theoretical guarantees. Firstly, we derive the convergence theorem of ISFL to involve the effects of local importance sampling. Then, we formulate the problem of selecting optimal IS weights and obtain the theoretical solutions. We also employ a water-filling method to calculate the IS weights and develop the ISFL algorithms. The experimental results on CIFAR-10 fit the proposed theorems well and verify that ISFL reaps better performance, sampling efficiency, as well as explainability on non-i.i.d. data. To the best of our knowledge, ISFL is the first non-i.i.d. FL solution from the local sampling aspect which exhibits theoretical compatibility with neural network models. Furthermore, as a local sampling approach, ISFL can be easily migrated into other emerging FL frameworks.


title: Development and validation of deep learning based embryo selection across multiple days of transfer

abstract: This work describes the development and validation of a fully automated deep learning model, iDAScore v2.0, for the evaluation of embryos incubated for 2, 3, and 5 or more days. The model is trained and evaluated on an extensive and diverse dataset including 181,428 embryos from 22 IVF clinics across the world. For discriminating transferred embryos with known outcome (KID), we show AUCs ranging from 0.621 to 0.708 depending on the day of transfer. Predictive performance increased over time and showed a strong correlation with morphokinetic parameters. The model has equivalent performance to KIDScore D3 on day 3 embryos while significantly surpassing the performance of KIDScore D5 v3 on day 5+ embryos. This model provides an analysis of time-lapse sequences without the need for user input, and provides a reliable method for ranking embryos for likelihood to implant, at both cleavage and blastocyst stages. This greatly improves embryo grading consistency and saves time compared to traditional embryo evaluation methods.


title: A spectral algorithm for finding maximum cliques in dense random intersection graphs

abstract: In a random intersection graph $G_{n,m,p}$, each of $n$ vertices selects a random subset of a set of $m$ labels by including each label independently with probability $p$ and edges are drawn between vertices that have at least one label in common. Among other applications, such graphs have been used to model social networks, in which individuals correspond to vertices and various features (e.g. ideas, interests) correspond to labels; individuals sharing at least one common feature are connected and this is abstracted by edges in random intersection graphs. In this paper, we consider the problem of finding maximum cliques when the input graph is $G_{n,m,p}$. Current algorithms for this problem are successful with high probability only for relatively sparse instances, leaving the dense case mostly unexplored. We present a spectral algorithm for finding large cliques that processes vertices according to respective values in the second largest eigenvector of the adjacency matrix of induced subgraphs of the input graph corresponding to common neighbors of small cliques. Leveraging on the Single Label Clique Theorem from [15], we were able to construct random instances, without the need to externally plant a large clique in the input graph. In particular, we used label choices to determine the maximum clique and then concealed label information by just giving the adjacency matrix of $G_{n, m, p}$ as input to the algorithm. Our experimental evaluation showed that our spectral algorithm clearly outperforms existing polynomial time algorithms, both with respect to the failure probability and the approximation guarantee metrics, especially in the dense regime, thus suggesting that spectral properties of random intersection graphs may be also used to construct efficient algorithms for other NP-hard graph theoretical problems as well.


title: SIR-HUXt -- a particle filter data assimilation scheme for assimilating CME time-elongation profiles

abstract: We present the development of SIR-HUXt, the integration of a sequential importance resampling (SIR) data assimilation scheme with the HUXt solar wind model. SIR-HUXt is designed to assimilate the time-elongation profiles of CME fronts in the low heliosphere, such as those typically extracted from heliospheric imager data returned by the STEREO, Parker Solar Probe, and Solar Orbiter missions. We use Observing System Simulation Experiments to explore the performance of SIR-HUXt for a simple synthetic CME scenario of a fully Earth directed CME flowing through a uniform ambient solar wind, where the CME is initialised with the average observed CME speed and width. These experiments are performed for a range of observer locations, from 20 deg to 90 deg behind Earth, spanning the L5 point where ESA's future Vigil space weather monitor will return heliospheric imager data for operational space weather forecasting. We show that SIR-HUXt performs well at constraining the CME speed, and has some success at constraining the CME longitude. The CME width is largely unconstrained by the SIR-HUXt assimilations, and more experiments are required to determine if this is due to this specific CME scenario, or is a general feature of assimilating time-elongation profiles. Rank-histograms suggest that the SIR-HUXt ensembles are well calibrated, with no clear indications of bias or under/over dispersion. Improved constraints on the initial CME speed lead directly to improvements in the CME transit time to Earth and arrival speed. For an observer in the L5 region, SIR-HUXt returned a 69% reduction in the CME transit time uncertainty, and a 63% reduction in the arrival speed uncertainty. This suggests SIR-HUXt has potential to improve the real-world representivity of HUXt simulations, and therefore has potential to reduce the uncertainty of CME arrival time hindcasts and forecasts.


title: On the Influence of Cognitive Styles on Users' Understanding of Explanations

abstract: Artificial intelligence (AI) is becoming increasingly complex, making it difficult for users to understand how the AI has derived its prediction. Using explainable AI (XAI)-methods, researchers aim to explain AI decisions to users. So far, XAI-based explanations pursue a technology-focused approach - neglecting the influence of users' cognitive abilities and differences in information processing on the understanding of explanations. Hence, this study takes a human-centered perspective and incorporates insights from cognitive psychology. In particular, we draw on the psychological construct of cognitive styles that describe humans' characteristic modes of processing information. Applying a between-subject experiment design, we investigate how users' rational and intuitive cognitive styles affect their objective and subjective understanding of different types of explanations provided by an AI. Initial results indicate substantial differences in users' understanding depending on their cognitive style. We expect to contribute to a more nuanced view of the interrelation of human factors and XAI design.


title: Encapsulating high-temperature superconducting twisted van der Waals heterostructures blocks detrimental effects of disorder

abstract: High-temperature cuprate superconductors-based van der Waals (vdW) heterostructures hold high technological promise. One of the obstacles hindering progress is the detrimental effect of disorder on the properties of Josephson junctions (JJ) realized by the vdW devices. Here we report the new method of fabricating twisted vdW heterostructures made of Bi2Sr2CuCa2O8+d, crucially improving the JJ characteristics, pushing them up to those of the intrinsic JJs in bulk samples. The method combines a cryogenic stacking using a solvent-free stencil mask technique and covering interface by the insulating hexagonal boron nitride crystals. Despite the high-vacuum condition down to 10-6 mbar in the evaporation chamber, the interface appears to be protected from water molecules during the in-situ metal deposition only when fully encapsulated. Comparing the current-voltage curves of encapsulated and unencapsulated interfaces, we reveal that the encapsulated interfaces' characteristics are crucially improved so that the corresponding JJs demonstrate high critical currents and sharpness of the superconducting transition comparable to those of the intrinsic JJs. Finally, we show that the encapsulated heterostructures are more stable in time.


title: Statistical characterization of the chordal product determinant of Grassmannian codes

abstract: We consider the chordal product determinant, a measure of the distance between two subspaces of the same dimension. In information theory, collections of elements in the complex Grassmannian are searched with the property that their pairwise chordal products are as large as possible. We characterize this function from an statistical perspective, which allows us to obtain bounds for the minimal chordal product and related energy of such collections.


title: Stock Volatility Prediction using Time Series and Deep Learning Approach

abstract: Volatility clustering is a crucial property that has a substantial impact on stock market patterns. Nonetheless, developing robust models for accurately predicting future stock price volatility is a difficult research topic. For predicting the volatility of three equities listed on India's national stock market (NSE), we propose multiple volatility models depending on the generalized autoregressive conditional heteroscedasticity (GARCH), Glosten-Jagannathan-GARCH (GJR-GARCH), Exponential general autoregressive conditional heteroskedastic (EGARCH), and LSTM framework. Sector-wise stocks have been chosen in our study. The sectors which have been considered are banking, information technology (IT), and pharma. yahoo finance has been used to obtain stock price data from Jan 2017 to Dec 2021. Among the pulled-out records, the data from Jan 2017 to Dec 2020 have been taken for training, and data from 2021 have been chosen for testing our models. The performance of predicting the volatility of stocks of three sectors has been evaluated by implementing three different types of GARCH models as well as by the LSTM model are compared. It has been observed the LSTM performed better in predicting volatility in pharma over banking and IT sectors. In tandem, it was also observed that E-GARCH performed better in the case of the banking sector and for IT and pharma, GJR-GARCH performed better.


title: Visual-Inertial and Leg Odometry Fusion for Dynamic Locomotion

abstract: Implementing dynamic locomotion behaviors on legged robots requires a high-quality state estimation module. Especially when the motion includes flight phases, state-of-the-art approaches fail to produce reliable estimation of the robot posture, in particular base height. In this paper, we propose a novel approach for combining visual-inertial odometry (VIO) with leg odometry in an extended Kalman filter (EKF) based state estimator. The VIO module uses a stereo camera and IMU to yield low-drift 3D position and yaw orientation and drift-free pitch and roll orientation of the robot base link in the inertial frame. However, these values have a considerable amount of latency due to image processing and optimization, while the rate of update is quite low which is not suitable for low-level control. To reduce the latency, we predict the VIO state estimate at the rate of the IMU measurements of the VIO sensor. The EKF module uses the base pose and linear velocity predicted by VIO, fuses them further with a second high-rate IMU and leg odometry measurements, and produces robot state estimates with a high frequency and small latency suitable for control. We integrate this lightweight estimation framework with a nonlinear model predictive controller and show successful implementation of a set of agile locomotion behaviors, including trotting and jumping at varying horizontal speeds, on a torque-controlled quadruped robot.


title: Novel Methodologies for Solving the Inverse Unsteady Heat Transfer Problem of Estimating the Boundary Heat Flux in Continuous Casting Molds

abstract: In this work, we investigate the estimation of the transient mold-slab heat flux in continuous casting molds given some thermocouples measurements in the mold plates. Mathematically, we can see this problem as the estimation of a Neumann boundary condition given pointwise state observations in the interior of the domain. We formulate it in a deterministic inverse problem setting. After introducing the industrial problem, we present the mold thermal model and related assumptions. Then, we formulate the boundary heat flux estimation problem in a deterministic inverse problem setting using a sequential approach according to the sequentiality of the temperature measurements. We consider different formulations of the inverse problem. For each one, we develop novel direct methodologies exploiting a space parameterization of the heat flux and the linearity of the mold model. We construct these methods to be divided into a computationally expensive offline phase that can be computed before the process starts, and a cheaper online phase to be performed during the casting process. To conclude, we test the performance of the proposed methods in two benchmark cases.


title: Decentralized Hyper-Gradient Computation over Time-Varying Directed Networks

abstract: This paper addresses the communication issues when estimating hyper-gradients in decentralized federated learning (FL). Hyper-gradients in decentralized FL quantifies how the performance of globally shared optimal model is influenced by the perturbations in clients' hyper-parameters. In prior work, clients trace this influence through the communication of Hessian matrices over a static undirected network, resulting in (i) excessive communication costs and (ii) inability to make use of more efficient and robust networks, namely, time-varying directed networks. To solve these issues, we introduce an alternative optimality condition for FL using an averaging operation on model parameters and gradients. We then employ Push-Sum as the averaging operation, which is a consensus optimization technique for time-varying directed networks. As a result, the hyper-gradient estimator derived from our optimality condition enjoys two desirable properties; (i) it only requires Push-Sum communication of vectors and (ii) it can operate over time-varying directed networks. We confirm the convergence of our estimator to the true hyper-gradient both theoretically and empirically, and we further demonstrate that it enables two novel applications: decentralized influence estimation and personalization over time-varying networks.


title: Correspondences between scalar field and fluid fluctuations in curved spacetime

abstract: A correspondence between scalar field fluctuations and generalized fluctuations in a hydrodynamic approximation of fields is obtained. The results presented here are of interest to field-fluid correspondences and form part of theoretical foundations in this area. The intention for such developments is to explore sub-hydro range mesoscopic physics for the relativistic fluids in curved spacetime. The fluid correspondences fall in the classical domain and can replace the quantum fields and fluctuations for scales around the hydrodynamic limits.The present article extends our earlier results with a more elaborate physical insight towards the quantum fluids and retention of partial quantum nature in a stochastic description in bulk of the fluids. This also accounts for non-thermal effects along with thermal and quantum fluctuations for the fields in the hydro limit. Hence the expressions presented here are very general in nature for various applications. The further scope of research that such developments give is discussed in the concluding section.


title: Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability

abstract: Uncertainty is prevalent in robotics. Due to measurement noise and complex dynamics, we cannot estimate the exact system and environment state. Since conservative motion planners are not guaranteed to find a safe control strategy in a crowded, uncertain environment, we propose a density-based method. Our approach uses a neural network and the Liouville equation to learn the density evolution for a system with an uncertain initial state. We can plan for feasible and probably safe trajectories by applying a gradient-based optimization procedure to minimize the collision risk. We conduct motion planning experiments on simulated environments and environments generated from real-world data and outperform baseline methods such as model predictive control and nonlinear programming. While our method requires offline planning, the online run time is 100 times smaller compared to model predictive control.


title: Development of novel single-die hybridisation processes for small-pitch pixel detectors

abstract: Hybrid pixel detectors require a reliable and cost-effective interconnect technology adapted to the pitch and die sizes of the respective applications. During the ASIC and sensor R\&D phase, especially for small-scale applications, such interconnect technologies need to be suitable for the assembly of single dies, typically available from Multi-Project-Wafer submissions. Within the CERN EP R&D programme and the AIDAinnova collaboration, innovative hybridisation concepts targeting vertex-detector applications at future colliders are under development. Recent results of two novel interconnect methods for pixel pitches of 25um and 55um are presented in this contribution -- an industrial fine-pitch SnAg solder bump-bonding process adapted to single-die processing using support wafers, as well as a newly developed in-house single-die interconnection process based on ACF. The fine-pitch bump-bonding process is qualified with hybrid assemblies from a recent bonding campaign at Frauenhofer IZM. Individual CLICpix2 ASICs with 25um pixel pitch were bump-bonded to active-edge silicon sensors with thicknesses ranging from 50um to 130um. The device characterisation was conducted in the laboratory as well as during a beam test campaign at the CERN SPS beam-line, demonstrating an interconnect yield of about 99.7%. The ACF interconnect technology replaces the solder bumps by conductive micro-particles embedded in an epoxy film. The electro-mechanical connection between the sensor and ASIC is achieved via thermocompression of the ACF using a flip-chip device bonder. The required pixel pad topology is achieved with an in-house ENIG plating process. This newly developed ACF hybridisation process is first qualified with the Timepix3 ASICs and sensors with 55um pixel pitch. The technology can be also used for ASIC-PCB/FPC integration, replacing wire bonding or large-pitch solder bumping techniques.


title: Direct TEM observation and quantification of the Gibbs-Thomson effect in a nickel superalloy

abstract: Gibbs-Thompson effect is the general term referring to the influence of interfaces on the course of phase transformations such as precipitation or solidification. Whilst attention is most often focused on the Gibbs-Thomson effect on nucleation, growth and coarsening, the present study considers the reverse process of precipitate dissolution in a nickel-base superalloy during in situ TEM observation. The presence of several distinct populations of gamma-prime precipitates (primary, secondary, tertiary and grain boundary) allows the differences due to particle size to be quantified and interpreted. Important implications arise for the selection of heat treatment schedules for nickel-base superalloys and other alloy systems.


title: On the interaction between the island divertor heat fluxes, the scrape-off layer radial electric field and the edge turbulence in Wendelstein 7-X plasmas

abstract: The formation of the radial electric field, $E_{\rm r}$ in the SOL has been experimentally studied for attached divertor conditions in stellarator W7-X. The main objective of this study is to test the validity in a complex 3D island divertor of simple models, typically developed in tokamaks, relating $E_{\rm r}$ to the sheath potential drop gradient at the target. Additionally, we investigate the effect of the edge $E_{\rm r}$ shear on the reduction of density fluctuation amplitude, a well-established phenomenon according to the existing bibliography. The main diagnostic for measurements in the SOL is a V-band Doppler reflectometer that can provide the measurement of the $E_{\rm r}$ and density fluctuations with good spatial resolution. Three-dimensional measurements of divertor parameters has been carried out using infrared cameras, with $\lambda_{\rm q}$ resulting a suitable proxy for the model-relevant $\lambda_{\rm T}$. In the investigated attached regimes, it is shown for the first time that the formation of the $E_{\rm r}$ in the SOL depends on parameters at the divertor, following a $E_{\rm r} \propto T_{\rm e} /\lambda_q$ qualitatively similar to that found in a tokamak. Then, from the analyzed plasmas, the observed $E_{\rm r}$ shear at the edge is linked to a moderate local reduction of the amplitude of density fluctuations.


title: Application of Novel Interplanetary Scintillation Visualisations using LOFAR: A Case Study of Merged CMEs from September 2017

abstract: Observations of interplanetary scintillation (IPS - the scintillation of compact radio sources due to density variations in the solar wind) enable the velocity of the solar wind to be determined, and its bulk density to be estimated, throughout the inner heliosphere. A series of observations using the Low Frequency Array (LOFAR - a radio telescope centred on the Netherlands with stations across Europe) were undertaken using this technique to observe the passage of an ultra-fast CME which launched from the Sun following the X-class flare of 10 September 2017. LOFAR observed the strong radio source 3C147 at an elongation of 82 degrees from the Sun over a period of more than 30 hours and observed a strong increase in speed to 900km/s followed two hours later by a strong increase in the level of scintillation, interpreted as a strong increase in density. Both speed and density remained enhanced for a period of more than seven hours, to beyond the period of observation. Further analysis of these data demonstrates a view of magnetic-field rotation due to the passage of the CME, using advanced IPS techniques only available to a unique instrument such as LOFAR.


title: Surface State of Inter-orbital Pairing State in Sr$_2$RuO$_4$ Superconductor

abstract: We study the (001) surface state of a recently proposed $E_g$ symmetry inter-orbital-odd spin-triplet s-wave superconducting (SC) state in Sr$_2$RuO$_4$ (SRO). We confirm that this pair potential is transformed into a chiral $d$-wave pair potential and a pseudo-Zeeman field in the band basis for a low-energy range. Due to the chiral $d$-wave pair potential, the surface states appear near zero energy in the momentum range enclosed by the nodal lines of the chiral d-wave pair potential for each band at the (001) surface. Nevertheless, the pseudo-Zeeman field gives band splitting of the surface states, and its splitting energy is much smaller than the SC energy gap. The local density of states (LDOS) at the (001) surface of the SC state has a pronounced peak structure at zero energy due to the surface states near zero energy when the order of the resolution is lower than the splitting energy. This peak structure is robust under perturbations, such as an orbital Rashba coupling or an $E_u$ SC pair potential at the surface.


title: Internet Service Providers' and Individuals' Attitudes, Barriers, and Incentives to Secure IoT

abstract: Internet Service Providers (ISPs) and individual users of Internet of Things (IoT) play a vital role in securing IoT. However, encouraging them to do so is hard. Our study investigates ISPs' and individuals' attitudes towards the security of IoT, the obstacles they face, and their incentives to keep IoT secure, drawing evidence from Japan. Due to the complex interactions of the stakeholders, we follow an iterative methodology where we present issues and potential solutions to our stakeholders in turn. For ISPs, we survey 27 ISPs in Japan, followed by a workshop with representatives from government and 5 ISPs. Based on the findings from this, we conduct semi-structured interviews with 20 participants followed by a more quantitative survey with 328 participants. We review these results in a second workshop with representatives from government and 7 ISPs. The appreciation of challenges by each party has lead to findings that are supported by all stakeholders. Securing IoT devices is neither users' nor ISPs' priority. Individuals are keen on more interventions both from the government as part of regulation and from ISPs in terms of filtering malicious traffic. Participants are willing to pay for enhanced monitoring and filtering. While ISPs do want to help users, there appears to be a lack of effective technology to aid them. ISPs would like to see more public recognition for their efforts, but internally they struggle with executive buy-in and effective means to communicate with their customers. The majority of barriers and incentives are external to ISPs and individuals, demonstrating the complexity of keeping IoT secure and emphasizing the need for relevant stakeholders in the IoT ecosystem to work in tandem.


title: The Effect of Defects on Magnetic Droplet Nucleation

abstract: Defects and impurities strongly affect the timing and the character of the (re)ordering or disordering transitions of thermodynamic systems captured in metastable states. In this paper we analyze the case of two-dimensional magnetic systems. We adapt the classical JMAK theory to account for the effects of defects on the free energy barriers, the critical droplet area and the associated metastable time. The resulting predictions are successfully tested against the Monte-Carlo simulations performed by adopting Glauber dynamics, to obtain reliable time-dependent results during the out-of-equilibrium transformations. We also focus on finite-size effects, and study how the spinodal line (separating the singledroplet from the multi-droplet regime) depends on the system size, the defect fraction, and the external field.


title: The Scintillating Tail of Comet C/2020 F3 (Neowise)

abstract: Context. The occultation of a radio source by the plasma tail of a comet can be used to probe structure and dynamics in the tail. Such occultations are rare, and the occurrence of scintillation, due to small-scale density variations in the tail, remains somewhat controversial. Aims. A detailed observation taken with the Low-Frequency Array (LOFAR) of a serendipitous occultation of the compact radio source 3C196 by the plasma tail of comet C/2020 F3 (Neowise) is presented. 3C196 tracked almost perpendicularly behind the tail, providing a unique profile cut only a short distance downstream from the cometary nucleus itself. Methods. Interplanetary scintillation (IPS) is observed as the rapid variation of the intensity received of a compact radio source due to density variations in the solar wind. IPS in the signal received from 3C196 was observed for five hours, covering the full transit behind the plasma tail of comet C/2020 F3 (Neowise) on 16 July 2020, and allowing an assessment of the solar wind in which the comet and its tail are embedded. Results. The results reveal a sudden and strong enhancement in scintillation which is unequivocally attributable to the plasma tail. The strongest scintillation is associated with the tail boundaries, weaker scintillation is seen within the tail, and previously-unreported periodic variations in scintillation are noted, possibly associated with individual filaments of plasma. Furthermore, contributions from the solar wind and comet tail are separated to measure a sharp decrease in the velocity of material within the tail, suggesting a steep velocity shear resulting in strong turbulence along the tail boundary


title: Formalism for stochastic perturbations and analysis in relativistic stars

abstract: Perturbed Einstein's equations with a linear response relation and a stochastic source, applicable to a relativistic star model are worked out . These perturbations which are stochastic in nature, are of significance for building a non-equilibrium statistical theory in connections with relativistic astrophysics. A fluctuation dissipation relation for a spherically symmetric star in its simplest form is obtained. The FD relation shows how the random velocity fluctuations in the background of the unperturbed star can dissipate into Lagrangian displacement of fluid trajectories of the dense matter. Interestingly in a simple way, a constant (in time) coefficient of dissipation is obtained without a delta correlated noise. This formalism is also extended for perturbed TOV equations which have a stochastic contribution, and show up in terms of the effective or root mean square pressure perturbations. Such contributions can shed light on new ways of analysing the equation of state for dense matter. One may obtain contributions of first and second order in the equation of state using this stochastic approach.


title: The magnetic properties of the iron phthalocyanine molecule grafted to the Ti$_2$C MXene layer

abstract: The magnetic tetrapyrrole molecules (such as porphyrins and phthalocyanines) with an active transition metal atom in their centre are currently intensively studied as prosperous potential elements of devices for high-density information storage and processing. It has been recently proved that by means of external factors one could induce two stable fully controllable molecular states. Therefore, hybrid systems consisting of such magnetic molecules and suitable carriers from the family of two-dimensional materials are often considered as promising highly scalable spintronic systems that could in the near future lead to novel industrial applications. Here, we perform the spin polarised density functional theory (DFT) studies of the hybrid system, which is the iron phthalocyanine molecule (FePc) on the top of the titanium carbide Ti$_2$C MXene layer. The most relevant issue in this part is the interaction between magnetic atoms: Ti from MXene substrate and iron from FePc. Four various magnetic configurations of FePc/Ti$_2$C were considered. The significant ferromagnetic interaction between the iron atom and the upper titanium layer plays important role in the reorientation of the iron atom's magnetic moment. We also analyse a model of the system in which the FePc molecule is in a quintet state (the ground state of an isolated molecule is a triplet). To get a better understanding of the physics of the FePc/Ti$_2$C hybrid system, we studied the hybrid systems with a single iron atom and non-magnetic H$_2$Pc on the Ti$_2$C layer, Fe/Ti$_2$C and H$_2$Pc/Ti$_2$C, respectively, which nicely explains the role of the Pc ligand in the FePc/Ti$_2$C hybrid system.


title: Sequential sum-of-squares programming for analysis of nonlinear systems

abstract: Numerous interesting properties in nonlinear systems analysis can be written as polynomial optimization problems with nonconvex sum-of-squares problems. To solve those problems efficiently, we propose a sequential approach of local linearizations leading to tractable, convex sum-of-squares problems. Local convergence is proven under the assumption of strong regularity and the new approach is applied to estimate the region of attraction of a polynomial aircraft model.


title: Common Vulnerability Scoring System Prediction based on Open Source Intelligence Information Sources

abstract: The number of newly published vulnerabilities is constantly increasing. Until now, the information available when a new vulnerability is published is manually assessed by experts using a Common Vulnerability Scoring System (CVSS) vector and score. This assessment is time consuming and requires expertise. Various works already try to predict CVSS vectors or scores using machine learning based on the textual descriptions of the vulnerability to enable faster assessment. However, for this purpose, previous works only use the texts available in databases such as National Vulnerability Database. With this work, the publicly available web pages referenced in the National Vulnerability Database are analyzed and made available as sources of texts through web scraping. A Deep Learning based method for predicting the CVSS vector is implemented and evaluated. The present work provides a classification of the National Vulnerability Database's reference texts based on the suitability and crawlability of their texts. While we identified the overall influence of the additional texts is negligible, we outperformed the state-of-the-art with our Deep Learning prediction models.


title: SECOE: Alleviating Sensors Failure in Machine Learning-Coupled IoT Systems

abstract: Machine learning (ML) applications continue to revolutionize many domains. In recent years, there has been considerable research interest in building novel ML applications for a variety of Internet of Things (IoT) domains, such as precision agriculture, smart cities, and smart manufacturing. IoT domains are characterized by continuous streams of data originating from diverse, geographically distributed sensors, and they often require a real-time or semi-real-time response. IoT characteristics pose several fundamental challenges to designing and implementing effective ML applications. Sensor/network failures that result in data stream interruptions is one such challenge. Unfortunately, the performance of many ML applications quickly degrades when faced with data incompleteness. Current techniques to handle data incompleteness are based upon data imputation ( i.e., they try to fill-in missing data). Unfortunately, these techniques may fail, especially when multiple sensors' data streams become concurrently unavailable (due to simultaneous sensor failures). With the aim of building robust IoT-coupled ML applications, this paper proposes SECOE, a unique, proactive approach for alleviating potentially simultaneous sensor failures. The fundamental idea behind SECOE is to create a carefully chosen ensemble of ML models in which each model is trained assuming a set of failed sensors (i.e., the training set omits corresponding values). SECOE includes a novel technique to minimize the number of models in the ensemble by harnessing the correlations among sensors. We demonstrate the efficacy of the SECOE approach through a series of experiments involving three distinct datasets. The experimental findings reveal that SECOE effectively preserves prediction accuracy in the presence of sensor failures.


title: XMM-Newton view of the shock heating in an early merging cluster, CIZA J1358.9$-$4750

abstract: CIZA J1358.9-4750 is a nearby galaxy cluster in the early phase of a major merger. The two-dimensional temperature map using XMM-Newton EPIC-PN observation confirms the existence of a high temperature region, which we call the "hot region", in the "bridge region" connecting the two clusters. The ~ 500 kpc wide region between the southeast and northwest boundaries also has higher pseudo pressure compared to the unshocked regions, suggesting the existence of two shocks. The southern shock front is clearly visible in the X-ray surface brightness image and has already been reported by Kato et al. (2015). The northern one, on the other hand, is newly discovered. To evaluate their Mach number, we constructed a three-dimensional toy merger model with overlapping shocked and unshocked components in line of sight. The unshocked and preshock ICM conditions are estimated based on those outside the interacting bridge region assuming point symmetry. The hot region spectra are modeled with two-temperature thermal components, assuming that the shocked condition follows the Rankin-Hugoniot relation with the preshock condition. As a result, the shocked region is estimated to have a line-of-sight depth of ~ 1 Mpc with a Mach number of ~ 1.3 in the southeast shock and ~ 1.7 in the northwest shock. The age of the shock waves is estimated to be ~ 260 Myr. This three dimensional merger model is consistent with the Sunyaev-Zeldovich signal obtained using the Planck observation within the CMB fluctuations. The total flow of the kinetic energy of the ICM through the southeast shock was estimated to be ~ 2.2 x $10^{42}$ erg/s. Assuming that 10 % of this energy is converted into ICM turbulence, the line-of-sight velocity dispersion is calculated to be ~ 200 km/s, which is basically resolvable via coming high spectral resolution observations.


title: Centrality and the commutativity of finite products with coequalisers

abstract: We study centrality of morphisms in a setting derived from that of a pointed category in which binary products commute with coequalisers. The main results of this paper show that much of the behaviour of central morphisms for unital categories is retained in our setting, including categories which are (weakly) unital, but also categories outside of the unital setting.


title: Adaptive Leading Cruise Control in Mixed Traffic Considering Human Behavioral Diversity

abstract: This paper presents an adaptive leading cruise control strategy for the connected and automated vehicle (CAV) and first considers its impact on the following human-driven vehicle (HDV) with diverse driving characteristics in the unified optimization framework for improved holistic energy efficiency. The car-following behaviors of HDV are statistically calibrated using the Next Generation Simulation dataset. In a typical single-lane car-following scenario where CAVs and HDVs share the road, the longitudinal speed control of CAVs can substantially reduce the energy consumption of the following HDV by avoiding unnecessary acceleration and braking. Moreover, apart from the objectives including car-following safety and traffic efficiency, the energy efficiencies of both CAV and HDV are incorporated into the reward function of reinforcement learning. The specific driving pattern of the following HDV is learned in real-time from historical speed information to predict its acceleration and power consumption in the optimization horizon. A comprehensive simulation is conducted to statistically verify the positive impacts of CAV on the holistic energy efficiency of the mixed traffic flow with uncertain and diverse human driving behaviors. Simulation results indicate that the holistic energy efficiency is improved by 4.38% on average.


title: Spin current and chirality degrees of freedom inherent in localized electron orbitals

abstract: In solid state physics, any phase transition is commonly observed as a change in the microscopic distribution of charge, spin, or current. Here we report the nature of an exotic order parameter inherent in the localized electron orbitals that cannot be primarily captured by these three fundamental quantities. This order parameter is described as the electric toroidal multipoles connecting different total angular momenta under the spin-orbit coupling. The corresponding microscopic physical quantity is the spin current tensor on an atomic scale, which induces spin-derived electric polarization and the chirality of the Dirac equation. We stress that the chirality intrinsic to the elementary particle is the essence of electric toroidal multipoles. These findings link microscopic spin currents and chirality in the Dirac theory to the concept of multipoles and provide a new perspective for quantum states of matter.


title: Relational Proxies: Emergent Relationships as Fine-Grained Discriminators

abstract: Fine-grained categories that largely share the same set of parts cannot be discriminated based on part information alone, as they mostly differ in the way the local parts relate to the overall global structure of the object. We propose Relational Proxies, a novel approach that leverages the relational information between the global and local views of an object for encoding its semantic label. Starting with a rigorous formalization of the notion of distinguishability between fine-grained categories, we prove the necessary and sufficient conditions that a model must satisfy in order to learn the underlying decision boundaries in the fine-grained setting. We design Relational Proxies based on our theoretical findings and evaluate it on seven challenging fine-grained benchmark datasets and achieve state-of-the-art results on all of them, surpassing the performance of all existing works with a margin exceeding 4% in some cases. We also experimentally validate our theory on fine-grained distinguishability and obtain consistent results across multiple benchmarks. Implementation is available at https://github.com/abhrac/relational-proxies.


title: A comparison of stochastic and deterministic downscaling in eddy resolving ocean modelling: the Lakshadweep Sea case study

abstract: This study compares the skills of two numerical models having the same horizontal resolution but based on different principles in representing meso- and submesoscale features of ocean dynamics in the Lakshadweep Sea (North Indian Ocean). The first model, titled LD20-NEMO, is based on solving primitive equations using the NEMO (Nucleus for European Modelling of the Ocean) modelling engine. The second one, titled LD20-SDD, uses a newer Stochastic-Deterministic Downscaling method. Both models have 1/20o resolution and use the outputs from a Global Ocean Physics Analysis and Forecast model at 1/12o resolution available from Copernicus Marine Service (CMEMS). The LD20-NEMO uses only a 2D set of data from CMEMS as lateral boundary conditions. The LD20-SDD consumes the full 3D set of data from CMEMS and exploits the stochastic properties of these data to generate the downscaled field variables at higher resolution than the parent model. The skills of the three models, CMEMS, LD20-NEMO and LD20-SDD are assessed against remotely sensed and in-situ observations for the four-year period 2015-2018. All models show similar skills in reproducing temperature and salinity, however the SDD version performs slightly better than the NEMO version. This difference in resolution is particularly significant in simulation of vorticity and computation of the share of the sea occupied by highly non-linear processes. While the NEMO and SDD model show similar skill, the SDD model is more computationally efficient than the NEMO model by a large margin.


title: Hyperuniformity and non-hyperuniformity of quasicrystals

abstract: We develop a general framework to study hyperuniformity of various mathematical models of quasicrystals. Using this framework we provide examples of non-hyperuniform quasicrystals which unlike previous examples are not limit-quasiperiodic. Some of these examples are even anti-hyperuniform or have a positive asymptotic number variance. On the other hand we establish hyperuniformity for a large class of mathematical quasicrystals in Euclidean spaces of arbitrary dimension. For certain models of quasicrystals we moreover establish that hyperuniformity holds for a generic choice of the underlying parameters. For quasicrystals arising from the cut-and-project method we conclude that their hyperuniformity depends on subtle diophantine properties of the underlying lattice and window and is by no means automatic.


title: Improving uplift model evaluation on RCT data

abstract: Estimating treatment effects is one of the most challenging and important tasks of data analysts. In many applications, like online marketing and personalized medicine, treatment needs to be allocated to the individuals where it yields a high positive treatment effect. Uplift models help select the right individuals for treatment and maximize the overall treatment effect (uplift). A major challenge in uplift modeling concerns model evaluation. Previous literature suggests methods like the Qini curve and the transformed outcome mean squared error. However, these metrics suffer from variance: their evaluations are strongly affected by random noise in the data, which renders their signals, to a certain degree, arbitrary. We theoretically analyze the variance of uplift evaluation metrics and derive possible methods of variance reduction, which are based on statistical adjustment of the outcome. We derive simple conditions under which the variance reduction methods improve the uplift evaluation metrics and empirically demonstrate their benefits on simulated and real-world data. Our paper provides strong evidence in favor of applying the suggested variance reduction procedures by default when evaluating uplift models on RCT data.


title: Pre-maximum spectroscopic diversity of hydrogen-poor superluminous supernovae

abstract: We search for the reasons behind the spectroscopic diversity of hydrogen-poor superluminous supernovae (SLSNe-I) in the pre-maximum phase. Our analysis is a continuation of the paper of \citet{ktr21}, who disclosed two new subtypes of SLSNe-I characterized by the presence/absence of a W-shaped absorption feature in their pre-maximum spectra between 4000 and 5000 \AA (called Type~W and Type~15bn, respectively). However, the physical cause of this bimodality is still uncertain. Here we present pre-maximum spectral synthesis of 27 SLSNe-I with special attention to the photospheric temperature ($T_{ \rm phot}$) and velocity ($v_{ \rm phot}$) evolution. We find that a $T_{\rm phot}$ limit of 12000~K separates the Type~W and Type~15bn SLSNe-I: Type~W objects tend to show $T_{\rm phot}\geq$12000~K, while Type~15bn ones have $T_{\rm phot} \leq$12000~K. This is consistent with the chemical composition of the studied objects. Another difference between these groups may be found in their ejecta geometry: Type W SLSNe-I may show null-polarization, implying spherical symmetry, while the polarization of Type 15bn objects may increase in time. This suggests a two-component model with a spherical outer carbon-oxygen layer and an asymmetric inner layer containing heavier ions. The two subgroups may have different light curve evolution as well, since 6 Type~W objects show early bumps, unlike Type 15bn SLSNe-I. This feature, however, needs further study, as it is based on only a few objects at present.


title: Models of $J/\Psi$ photo-production reactions on the nucleon

abstract: The $J/\Psi$ photo-production reactions on the nucleon can provide information on the roles of gluons in determining the $J/\Psi$-nucleon ($J/\Psi$-N) interactions and the structure of the nucleon. The information on the $J/\Psi$-N interactions is needed to test lattice QCD (LQCD) calculations and to understand the nucleon resonances such as $N^*(P_c)$ recently reported by the LHCb Collaboration. In addition, it is also needed to investigate the production of nuclei with hidden charms and to extract the gluon distributions in nuclei. The main purpose of this article is to review six reaction models of $\gamma + p \rightarrow J/\Psi +p$ reactions which have been and can be applied to analyze the data from Thomas Jefferson National Accelerator Facility (JLab). The formulae for each model are given and used to obtain the results to show the extent to which the available data can be described. The models presented include the Pomeron-exchange model of Donnachie and Landshoff (Pom-DL) and its extensions to include $J/\Psi$-N potentials extracted from LQCD (Pom-pot) and to also use the constituent quark model (CQM) to account for the quark substructure of $J/\Psi$ (Pom-CQM). The other three models are developed from applying the perturbative QCD approach to calculate the two-gluon exchange using the generalized parton distribution (GPD) of the nucleon (GPD-based), two- and three-gluon exchanges using the parton distribution of the nucleon ($2g+3g$), and the exchanges of scalar ($0^{++}$) and tensor ($2^{++}$) glueballs within the holographic formulation (holog). The results of investigating the excitation of the nucleon resonances $N^*(P_c)$ in the $\gamma + p \rightarrow J/\Psi +p$ reactions are also given.


title: Design rules for active control of narrowband thermal emission using phase-change materials

abstract: We propose an analytical framework to design actively tunable narrowband thermal emitters at infrared frequencies. We exemplify the proposed design rules using phase-change materials (PCM), considering dielectric-to-dielectric PCMs (e.g. GSST) and dielectric-to-metal PCMs (e.g. $\mathrm{VO_2}$). Based on these, we numerically illustrate near-unity ON-OFF switching and arbitrarily large spectral shifting between two emission wavelengths, respectively. The proposed systems are lithography-free and consist of one or several thin emitter layers, a spacer layer which includes the PCM, and a back reflector. Our model applies to normal incidence, though we show that the behavior is essentially angle-independent. The presented formalism is general and can be extended to \textit{any} mechanism that modifies the optical properties of a material, such as electrostatic gating or thermo-optical modulation.


title: Fine-Tuning with Differential Privacy Necessitates an Additional Hyperparameter Search

abstract: Models need to be trained with privacy-preserving learning algorithms to prevent leakage of possibly sensitive information contained in their training data. However, canonical algorithms like differentially private stochastic gradient descent (DP-SGD) do not benefit from model scale in the same way as non-private learning. This manifests itself in the form of unappealing tradeoffs between privacy and utility (accuracy) when using DP-SGD on complex tasks. To remediate this tension, a paradigm is emerging: fine-tuning with differential privacy from a model pretrained on public (i.e., non-sensitive) training data. In this work, we identify an oversight of existing approaches for differentially private fine tuning. They do not tailor the fine-tuning approach to the specifics of learning with privacy. Our main result is to show how carefully selecting the layers being fine-tuned in the pretrained neural network allows us to establish new state-of-the-art tradeoffs between privacy and accuracy. For instance, we achieve 77.9% accuracy for $(\varepsilon, \delta)=(2, 10^{-5})$ on CIFAR-100 for a model pretrained on ImageNet. Our work calls for additional hyperparameter search to configure the differentially private fine-tuning procedure itself.


title: The Influence of Learning Rule on Representation Dynamics in Wide Neural Networks

abstract: It is unclear how changing the learning rule of a deep neural network alters its learning dynamics and representations. To gain insight into the relationship between learned features, function approximation, and the learning rule, we analyze infinite-width deep networks trained with gradient descent (GD) and biologically-plausible alternatives including feedback alignment (FA), direct feedback alignment (DFA), and error modulated Hebbian learning (Hebb), as well as gated linear networks (GLN). We show that, for each of these learning rules, the evolution of the output function at infinite width is governed by a time varying effective neural tangent kernel (eNTK). In the lazy training limit, this eNTK is static and does not evolve, while in the rich mean-field regime this kernel's evolution can be determined self-consistently with dynamical mean field theory (DMFT). This DMFT enables comparisons of the feature and prediction dynamics induced by each of these learning rules. In the lazy limit, we find that DFA and Hebb can only learn using the last layer features, while full FA can utilize earlier layers with a scale determined by the initial correlation between feedforward and feedback weight matrices. In the rich regime, DFA and FA utilize a temporally evolving and depth-dependent NTK. Counterintuitively, we find that FA networks trained in the rich regime exhibit more feature learning if initialized with smaller correlation between the forward and backward pass weights. GLNs admit a very simple formula for their lazy limit kernel and preserve conditional Gaussianity of their preactivations under gating functions. Error modulated Hebb rules show very small task-relevant alignment of their kernels and perform most task relevant learning in the last layer.

categories: stat.ML cond-mat.dis-nn cond-mat.stat-mech cs.LG


title: Optical response of the tightbinding model on the Fibonacci chain

abstract: We theoretically study the optical conductivity of the tightbinding model which has two types of the hopping integrals arranged in the Fibonacci sequence. Due to the lack of the translational symmetry, many peak structures appear in the optical conductivity as well as the density of states. When the ratio of two hopping integrals is large, the self-similar structure appears in the optical conductivity. This implies that the optical response between the high-energy bands is related to that within the low-energy bands, which should originate from critical behavior in the wave functions. The effects of disorders on the optical conductivity are also analyzed in order to show the absence of the self-similarity in the tightbinding model with the random sequence.


title: Differentiable Mathematical Programming for Object-Centric Representation Learning

abstract: We propose topology-aware feature partitioning into $k$ disjoint partitions for given scene features as a method for object-centric representation learning. To this end, we propose to use minimum $s$-$t$ graph cuts as a partitioning method which is represented as a linear program. The method is topologically aware since it explicitly encodes neighborhood relationships in the image graph. To solve the graph cuts our solution relies on an efficient, scalable, and differentiable quadratic programming approximation. Optimizations specific to cut problems allow us to solve the quadratic programs and compute their gradients significantly more efficiently compared with the general quadratic programming approach. Our results show that our approach is scalable and outperforms existing methods on object discovery tasks with textured scenes and objects.


title: Strain engineering of two-dimensional piezo-photocatalytic materials for hydrogen production

abstract: Low-dimensional transition metal dichalcogenides (TMDC) exhibit great photocatalytic performance and tunability. In this work, using first-principles simulations based on density functional theory (DFT), we demonstrate that external electric bias can be employed to further improve the photocatalytic hydrogen production efficiency of the six AB$_{2}$ (A=Mo, W and B=S, Se, Te) TMDC monolayers by exploiting their piezoelectric response. In particular, when subjected to a proper amount of electrically induced tensile biaxial strain, most TMDC monolayers turn into potentially ideal photocatalyst towards the hydrogen evolution reaction (HER). The beneficial effects of introducing tensile biaxial strain on the TMDC monolayers are not limited to the reduction of the band gap and proper adjustment of the band edge positions, but also to the modification of the H adsorption free energy in such a way that the HER reaction is noticeably favored.


title: Security and Privacy Concerns in Cloud-based Scientific and Business Workflows: A Systematic Review

abstract: Today, the number of data-intensive and compute-intensive applications like business and scientific workflows has dramatically increased, which made cloud computing more popular in the matter of delivering a large amount of computing resources on demand. On the other hand, security is a critical issue affecting the wide adoption of cloud technologies, especially for workflows that are mostly dealing with sensitive data and tasks. In this paper, we carry out a review of the state-of-the-art on how security and privacy concerns in scientific and business workflows in cloud environments are being addressed and identify the limitations and gaps in the current body of knowledge in this area. In this extensive literature review, we first present a classification of the state-of-the-art security solutions organized according to the phases of the workflow life cycle they target. Based on our findings, we provide a detailed review and classification of the most relevant available literature focusing on the execution, monitoring, and adaptation phases of workflows. Finally, we present a list of open research issues related to the security of cloud-based workflows and discuss them.


title: Domain wall melting across a defect

abstract: We study the melting of a domain wall in a free-fermionic chain with a localised impurity. We find that the defect enhances quantum correlations in such a way that even the smallest scatterer leads to a linear growth of the entanglement entropy contrasting the logarithmic behaviour in the clean system. Exploiting the hydrodynamic approach and the quasiparticle picture, we provide exact predictions for the evolution of the entanglement entropy for arbitrary bipartitions. In particular, the steady production of pairs at the defect gives rise to non-local correlations among distant points. We also characterise the subleading logarithmic corrections, highlighting some universal features.


title: Hypergraph patterns and collaboration structure

abstract: Humans collaborate in different contexts such as in creative or scientific projects, in workplaces and in sports. Depending on the project and external circumstances, a newly formed collaboration may include people that have collaborated before in the past, and people with no collaboration history. Such existing relationships between team members have been reported to influence the performance of teams. However, it is not clear how existing relationships between team members should be quantified, and whether some relationships are more likely to occur in new collaborations than others. Here we introduce a new family of structural patterns, m-patterns, which formalize relationships between collaborators and we study the prevalence of such structures in data and a simple random-hypergraph null model. We analyze the frequency with which different collaboration structures appear in our null model and show how such frequencies depend on size and hyperedge density in the hypergraphs. Comparing the null model to data of human and non-human collaborations, we find that some collaboration structures are vastly under- and overrepresented in empirical datasets. Finally, we find that structures of scientific collaborations on COVID-19 papers in some cases are statistically significantly different from those of non-COVID-19 papers. Examining citation counts for 4 different scientific fields, we also find indications that repeat collaborations are more successful for 2-author scientific publications and less successful for 3-author scientific publications as compared to other collaboration structures.


title: Determining parameters of a spherical black hole with a thin accretion disk by observing its shadow

abstract: We revisit the classic system of a spherically symmetric black hole in general relativity (i.e., a Schwarzschild black hole) surrounded by a geometrically thin accretion disk. Our purpose is to examine whether one can determine three parameters of this system (i.e., black hole mass $M$, distance between the black hole and an observer $r_o$, inclination angle $i$) solely by observing the accretion disk and the black hole shadow. A point in our analysis is to allow $r_o$ to be finite, which is set to be infinite in most relevant studies. First, it is shown that one can determine the values of $(r_o/M, i)$, where $M/r_o$ is the so-called angular gravitational radius, from the size and shape of shadow. Then, it is shown that if one additionally knows the accretion rate $\dot{M}$ (respectively, mass $M$) by any independent theoretical or observational approach, one can determine the values of $(M, r_o, i)$ [respectively, $(\dot{M}, r_o, i)$] without degeneracy, in principle, from the value of flux at any point on the accretion disk.


title: Graphie: A network-based visual interface for UK's Primary Legislation

abstract: We present Graphie, a novel navigational interface to visualize Acts and Bills included in the UK's legislation digital repository [legislation.gov.uk]. Graphie provides a network representation of the hierarchical structure of an Act of Parliament, which is typically organized in a tree-like fashion according to the content and information contained in each sub-branch. Nodes in Graphie represent sections of an Act (or individual provisions), while links embody the hierarchical connections between them. The legal map provided by Graphie is easily navigable by hovering on nodes, which are also color-coded and numbered to provide easily accessible information about the underlying content. The full textual content of each node is also available on a dedicated hyperlinked canvas. The building block of Graphie is Sofia, an offline data pipeline designed to support different data visualizations by parsing and modelling data provided by [legislation.gov.uk] in open access form. While we focus on the Housing Act 2004 for illustrative purposes, our platform is scalable, versatile, and provides users with a unified toolbox to visualize and explore the UK legal corpus in a fast and user-friendly way.


title: Robust Bayesian Inference for Moving Horizon Estimation

abstract: The accuracy of moving horizon estimation (MHE) suffers significantly in the presence of measurement outliers. Existing methods address this issue by treating measurements leading to large MHE cost function values as outliers, which are subsequently discarded. This strategy, achieved through solving combinatorial optimization problems, is confined to linear systems to guarantee computational tractability and stability. Contrasting these heuristic solutions, our work reexamines MHE from a Bayesian perspective, unveils the fundamental issue of its lack of robustness: MHE's sensitivity to outliers results from its reliance on the Kullback-Leibler (KL) divergence, where both outliers and inliers are equally considered. To tackle this problem, we propose a robust Bayesian inference framework for MHE, integrating a robust divergence measure to reduce the impact of outliers. In particular, the proposed approach prioritizes the fitting of uncontaminated data and lowers the weight of contaminated ones, instead of directly discarding all potentially contaminated measurements, which may lead to undesirable removal of uncontaminated data. A tuning parameter is incorporated into the framework to adjust the robustness degree to outliers. Notably, the classical MHE can be interpreted as a special case of the proposed approach as the parameter converges to zero. In addition, our method involves only minor modification to the classical MHE stage cost, thus avoiding the high computational complexity associated with previous outlier-robust methods and inherently suitable for nonlinear systems. Most importantly, our method provides robustness and stability guarantees, which are often missing in other outlier-robust Bayes filters. The effectiveness of the proposed method is demonstrated on simulations subject to outliers following different distributions, as well as on physical experiment data.


title: Faster parameterized algorithms for modification problems to minor-closed classes

abstract: Let ${\cal G}$ be a minor-closed graph class and let $G$ be an $n$-vertex graph. We say that $G$ is a $k$-apex of ${\cal G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to ${\cal G}$. Our first result is an algorithm that decides whether $G$ is a $k$-apex of ${\cal G}$ in time $2^{{\sf poly}(k)}\cdot n^2$, where ${\sf poly}$ is a polynomial function depending on ${\cal G}$. This algorithm improves the previous one, given by Sau, Stamoulis, and Thilikos [ICALP 2020], whose running time was $2^{{\sf poly}(k)}\cdot n^3$. The elimination distance of $G$ to ${\cal G}$, denoted by ${\sf ed}_{\cal G}(G)$, is the minimum number of rounds required to reduce each connected component of $G$ to a graph in ${\cal G}$ by removing one vertex from each connected component in each round. Bulian and Dawar [Algorithmica 2017] provided an FPT-algorithm, with parameter $k$, to decide whether ${\sf ed}_{\cal G}(G)\leq k$. However, its dependence on $k$ is not explicit. We extend the techniques used in the first algorithm to decide whether ${\sf ed}_{\cal G}(G)\leq k$ in time $2^{2^{2^{{\sf poly}(k)}}}\cdot n^2$. This is the first algorithm for this problem with an explicit parametric dependence in $k$. In the special case where ${\cal G}$ excludes some apex-graph as a minor, we give two alternative algorithms, running in time $2^{2^{{\cal O}(k^2\log k)}}\cdot n^2$ and $2^{{\sf poly}(k)}\cdot n^3$ respectively, where $c$ and ${\sf poly}$ depend on ${\cal G}$. As a stepping stone for these algorithms, we provide an algorithm that decides whether ${\sf ed}_{\cal G}(G)\leq k$ in time $2^{{\cal O}({\sf tw}\cdot k+{\sf tw}\log{\sf tw})}\cdot n$, where ${\sf tw}$ is the treewidth of $G$. Finally, we provide explicit upper bounds on the size of the graphs in the minor-obstruction set of the class of graphs ${\cal E}_k({\cal G})=\{G\mid{\sf ed}_{\cal G}(G)\leq k\}$.


title: An Active Learning Reliability Method for Systems with Partially Defined Performance Functions

abstract: In engineering design, one often wishes to calculate the probability that the performance of a system is satisfactory under uncertainty. State of the art algorithms exist to solve this problem using active learning with Gaussian process models. However, these algorithms cannot be applied to problems which often occur in the autonomous vehicle domain where the performance of a system may be undefined under certain circumstances. To solve this problem, we introduce a hierarchical model for the system performance, where undefined performance is classified before the performance is regressed. This enables active learning Gaussian process methods to be applied to problems where the performance of the system is sometimes undefined, and we demonstrate the effectiveness of our approach by testing our methodology on synthetic numerical examples for the autonomous driving domain.


title: Denotational semantics of general store and polymorphism

abstract: We contribute the first denotational semantics of polymorphic dependent type theory extended by an equational theory for general (higher-order) reference types and recursive types, based on a combination of guarded recursion and impredicative polymorphism; because our model is based on recursively defined semantic worlds, it is compatible with polymorphism and relational reasoning about stateful abstract datatypes. We then extend our language with modal constructs for proof-relevant relational reasoning based on the "logical relations as types" principle, in which equivalences between imperative abstract datatypes can be established synthetically. What is new in relation to prior typed denotational models of higher-order store is that our Kripke worlds need not be syntactically definable, and are thus compatible with relational reasoning in the heap. Our work combines recent advances in the operational semantics of state with the purely denotational viewpoint of synthetic guarded domain theory.


title: Strongly rigid metrics in spaces of metrics

abstract: A metric space is said to be strongly rigid if no positive distance is taken twice by the metric. In 1972, Janos proved that a separable metrizable space has a strongly rigid metric if and only if it is zero-dimensional. In this paper, we shall develop this result for the theory of space of metrics. For a strongly zero-dimensional metrizable space, we prove that the set of all strongly rigid metrics is dense in the space of metics. Moreover, if the space is the union of countable compact subspaces, then that set is comeager. As its consequence, we show that for a strongly zero-dimensional metrizable space, the set of all metrics possessing no nontrivial (bijective) self-isometry is comeager in the space of metrics.


title: A uniform kernel trick for high-dimensional two-sample problems

abstract: We use a suitable version of the so-called "kernel trick" to devise two-sample (homogeneity) tests, especially focussed on high-dimensional and functional data. Our proposal entails a simplification related to the important practical problem of selecting an appropriate kernel function. Specifically, we apply a uniform variant of the kernel trick which involves the supremum within a class of kernel-based distances. We obtain the asymptotic distribution (under the null and alternative hypotheses) of the test statistic. The proofs rely on empirical processes theory, combined with the delta method and Hadamard (directional) differentiability techniques, and functional Karhunen-Lo\`eve-type expansions of the underlying processes. This methodology has some advantages over other standard approaches in the literature. We also give some experimental insight into the performance of our proposal compared to the original kernel-based approach \cite{Gretton2007} and the test based on energy distances \cite{Szekely-Rizzo-2017}.