title: A theory of magneto-elastic nanorods obtained through rigorous dimension reduction

abstract: Starting from a two-dimensional theory of magneto-elasticity for fiber-reinforced magnetic elastomers we carry out a rigorous dimension reduction to derive a rod model that describes a thin magneto-elastic strip undergoing planar deformations. The main features of the theory are the following: a magneto-elastic interaction energy that manifests itself through a distributed torque; a penalization term that prevent local interpenetration of matter; a regularization that depends on the second gradient of the deformation and models microstructure-induced size effects. As an application, we study a problem involving magnetically-induced buckling and we show that the intensity of the field at the onset of the instability increases if the length of the rod is decreased. Finally, we assess the accuracy of the deduced model by performing numerical simulations where we compare the two-dimensional and the one-dimensional theory in some special cases and we observe excellent agreement.


title: Towards unconstrained joint hand-object reconstruction from RGB videos

abstract: Our work aims to obtain 3D reconstruction of hands and manipulated objects from monocular videos. Reconstructing hand-object manipulations holds a great potential for robotics and learning from human demonstrations. The supervised learning approach to this problem, however, requires 3D supervision and remains limited to constrained laboratory settings and simulators for which 3D ground truth is available. In this paper we first propose a learning-free fitting approach for hand-object reconstruction which can seamlessly handle two-hand object interactions. Our method relies on cues obtained with common methods for object detection, hand pose estimation and instance segmentation. We quantitatively evaluate our approach and show that it can be applied to datasets with varying levels of difficulty for which training data is unavailable.


title: A scaleable projection-based branch-and-cut algorithm for the $p$-center problem

abstract: The $p$-center problem (pCP) is a fundamental problem in location science, where we are given customer demand points and possible facility locations, and we want to choose $p$ of these locations to open a facility such that the maximum distance of any customer demand point to its closest open facility is minimized. State-of-the-art solution approaches of pCP use its connection to the set cover problem to solve pCP in an iterative fashion by repeatedly solving set cover problems. The classical textbook integer programming (IP) formulation of pCP is usually dismissed due to its size and bad linear programming (LP)-relaxation bounds. We present a novel solution approach that works on a new IP formulation that can be obtained by a projection from the classical formulation. The formulation is solved by means of branch-and-cut, where cuts for demand points are iteratively generated. Moreover, the formulation can be strengthened with combinatorial information to obtain a much tighter LP-relaxation. In particular, we present a novel way to use lower bound information to obtain stronger cuts. We show that the LP-relaxation bound of our strengthened formulation has the same strength as the best known bound in literature, which is based on a semi-relaxation. Finally, we also present a computational study on instances from the literature with up to more than 700000 customers and locations. Our solution algorithm is competitive with highly sophisticated set-cover-based solution algorithms, which depend on various components and parameters.


title: WiseR: An end-to-end structure learning and deployment framework for causal graphical models

abstract: Structure learning offers an expressive, versatile and explainable approach to causal and mechanistic modeling of complex biological data. We present wiseR, an open source application for learning, evaluating and deploying robust causal graphical models using graph neural networks and Bayesian networks. We demonstrate the utility of this application through application on for biomarker discovery in a COVID-19 clinical dataset.


title: Expected Values for Variable Network Games

abstract: A network game assigns a level of collectively generated wealth to every network that can form on a given set of players. A variable network game combines a network game with a network formation probability distribution, describing certain restrictions on network formation. Expected levels of collectively generated wealth and expected individual payoffs can be formulated in this setting. We investigate properties of the resulting expected wealth levels as well as the expected variants of well-established network game values as allocation rules that assign to every variable network game a payoff to the players in a variable network game. We establish two axiomatizations of the Expected Myerson Value, originally formulated and proven on the class of communication situations, based on the well-established component balance, equal bargaining power and balanced contributions properties. Furthermore, we extend an established axiomatization of the Position Value based on the balanced link contribution property to the Expected Position Value.


title: Relating the Solar Wind Turbulence Spectral Break at the Dissipation Range with an Upstream Spectral Bump at Planetary Bow Shocks

abstract: At scales much larger than the ion inertial scale and the gyro-radius of thermal protons, magnetohydrodynamic (MHD) theory is well equipped to describe the nature of solar wind turbulence. The turbulent spectrum itself is defined by a power-law manifesting the energy cascading process. A break in the turbulence spectrum develops near ion scales, signaling the onset of energy dissipation. The exact mechanism for the spectral break is still a matter of debate. In this work, we use the 20 Hz \textit{MESSENGER} magnetic field data during four planetary flybys at different heliocentric distances to examine the nature of the spectral break in the solar wind. %By carefully selecting the spacecraft trajectory, We relate the spectral break frequencies of the solar wind MHD turbulence, found in the range of $0.3$ to $0.7$ Hz, with the well-known characteristic spectral bump at frequencies $\sim 1$ Hz upstream of planetary bow shocks. Spectral breaks and spectral bumps during three planetary flybys are identified from the \textit{MESSENGER} observations, with heliocentric distances in the range of $0.3$ to $0.7$ au. The \textit{MESSENGER} observations are complemented by one \textit{MMS} observation made at 1 au. We find that the ratio of the spectral bump frequency to the spectral break frequency appears to be $r$- and $B$- independent. From this, we postulate that the wavenumber of the spectral break and the frequency of the spectral bump have the same dependence on the magnetic field strength $|B|$. The implication of our work on the nature of the break scale is discussed.


title: Towards Efficient and Data Agnostic Image Classification Training Pipeline for Embedded Systems

abstract: Nowadays deep learning-based methods have achieved a remarkable progress at the image classification task among a wide range of commonly used datasets (ImageNet, CIFAR, SVHN, Caltech 101, SUN397, etc.). SOTA performance on each of the mentioned datasets is obtained by careful tuning of the model architecture and training tricks according to the properties of the target data. Although this approach allows setting academic records, it is unrealistic that an average data scientist would have enough resources to build a sophisticated training pipeline for every image classification task he meets in practice. This work is focusing on reviewing the latest augmentation and regularization methods for the image classification and exploring ways to automatically choose some of the most important hyperparameters: total number of epochs, initial learning rate value and it's schedule. Having a training procedure equipped with a lightweight modern CNN architecture (like bileNetV3 or EfficientNet), sufficient level of regularization and adaptive to data learning rate schedule, we can achieve a reasonable performance on a variety of downstream image classification tasks without manual tuning of parameters to each particular task. Resulting models are computationally efficient and can be deployed to CPU using the OpenVINO toolkit. Source code is available as a part of the OpenVINO Training Extensions (https://github.com/openvinotoolkit/training_extensions).


title: Colour remote sensing of the impact of artificial light at night (II): Calibration of DSLR-based images from the International Space Station

abstract: Nighttime images taken with DSLR cameras from the International Space Station (ISS) can provide valuable information on the spatial and temporal variation of artificial nighttime lighting on Earth. In particular, this is the only source of historical and current visible multispectral data across the world (DMSP/OLS and SNPP/VIIRS-DNB data are panchromatic and multispectral in the infrared but not at visible wavelengths). The ISS images require substantial processing and proper calibration to exploit intensities and ratios from the RGB channels. Here we describe the different calibration steps, addressing in turn Decodification, Linearity correction (ISO dependent), Flat field/Vignetting, Spectral characterization of the channels, Astrometric calibration/georeferencing, Photometric calibration (stars)/Radiometric correction (settings correction - by exposure time, ISO, lens transmittance, etc) and Transmittance correction (window transmittance, atmospheric correction). We provide an example of the application of this processing method to an image of Spain.

categories: astro-ph.IM physics.app-ph physics.ins-det physics.optics


title: Pendant appearances and components in random graphs from structured classes

abstract: We consider random graphs sampled uniformly from a structured class of graphs, such as the class of graphs embeddable in a given surface. We sharpen and extend earlier results on pendant appearances, concerning for example numbers of leaves; and obtain results on the asymptotic distribution of components other than the giant component, under quite general conditions.


title: Effects of Hints on Debugging Scratch Programs: An Empirical Study with Primary School Teachers in Training

abstract: Bugs in learners' programs are often the result of fundamental misconceptions. Teachers frequently face the challenge of first having to understand such bugs, and then suggest ways to fix them. In order to enable teachers to do so effectively and efficiently, it is desirable to support them in recognising and fixing bugs. Misconceptions often lead to recurring patterns of similar bugs, enabling automated tools to provide this support in terms of hints on occurrences of common bug patterns. In this paper, we investigate to what extent the hints improve the effectiveness and efficiency of teachers in debugging learners' programs using a cohort of 163 primary school teachers in training, tasked to correct buggy Scratch programs, with and without hints on bug patterns. Our experiment suggests that automatically generated hints can reduce the effort of finding and fixing bugs from 8.66 to 5.24 minutes, while increasing the effectiveness by 34% more correct solutions. While this improvement is convincing, arguably teachers in training might first need to learn debugging "the hard way" to not miss the opportunity to learn by relying on tools. We therefore investigate whether the use of hints during training affects their ability to recognise and fix bugs without hints. Our experiment provides no significant evidence that either learning to debug with hints or learning to debug "the hard way" leads to better learning effects. Overall, this suggests that bug patterns might be a useful concept to include in the curriculum for teachers in training, while tool-support to recognise these patterns is desirable for teachers in practice.


title: Geometric duality results and approximation algorithms for convex vector optimization problems

abstract: We study geometric duality for convex vector optimization problems. For a primal problem with a $q$-dimensional objective space, we formulate a dual problem with a $(q+1)$-dimensional objective space. Consequently, different from an existing approach, the geometric dual problem does not depend on a fixed direction parameter and the resulting dual image is a convex cone. We prove a one-to-one correspondence between certain faces of the primal and dual images. In addition, we show that a polyhedral approximation for one image gives rise to a polyhedral approximation for the other. Based on this, we propose a geometric dual algorithm which solves the primal and dual problems simultaneously and is free of direction-biasedness. We also modify an existing direction-free primal algorithm in a way that it solves the dual problem as well. We test the performance of the algorithms for randomly generated problem instances by using the so-called primal error and hypervolume indicator as performance measures.


title: Polynomial convolutions and (finite) free probability

abstract: We introduce a finite version of free probability and show the link between recent results using polynomial convolutions and the traditional theory of free probability. One tool for accomplishing this is a seemingly new transformation that allows one to reduce computations in our new theory to computations using classically independent random variables. We then explore the idea of finite freeness and its implications. Lastly, we show applications of the new theory by deriving the finite versions of some well-known free distributions and then proving their associated limit laws directly. In the process, we gain a number of insights into the behavior of convolutions in traditional free probability that seem to get lost when the operators being convolved are no longer finite. This version contains the original preprint from 2016 as well as an extra section (Section 5.2) where we use finite freeness to prove majorization relations on certain convolution.


title: Relaxation of antiferromagnetic order and growth of R\'enyi entropy in a generalized Heisenberg star

abstract: Interacting central spin systems, in which a central spin is coupled to a strongly correlated spin bath with intrabath interaction, consist of an important class of spin systems beyond the usual Gaudin magnet. These systems are relevant to several realistic setups and serve as an interesting platform to study interaction controlled decoherence and frustration induced instability of magnetic order. Using an equations-of-motion method based on analytical representations of spin-operator matrix elements in the XX chain, we obtain exact long-time dynamics of a generalized Heisenberg star consisting of a spin-$S$ central spin and an inhomogeneously coupled XXZ chain of $N\leq 16$ bath spins. In contrast to previous studies where the central spin dynamics is mainly concerned, we focus on the influence of the central spin on the dynamics of magnetic orders within the spin bath. By preparing the XXZ bath in a N\'eel state, we find that in the gapless phase of the bath even weak system-bath coupling could lead to nearly perfect relaxation of the antiferromagnetic order. In the gapped phase, the staggered magnetization decays rapidly and approaches a steady value that increases with increasing anisotropy parameter. These findings suggest the possibility of controlling internal dynamics of strongly correlated many-spin systems by certain coupled auxiliary systems of even few degrees of freedom. We also study the dynamics of the R\'enyi entanglement entropy of the central spin when the bath is prepared in the ground state. Both the overall profile and initial growth rate of the R\'enyi entropy are found to exhibit minima at the critical point of the XXZ bath.


title: Magneto-optics of the 2D iron-garnet nanocylinder array with localized and lattice modes

abstract: We experimentally show the enhancement of the Faraday and transverse magneto-optical Kerr effects in the two-dimensional arrays of nanocylinders made of bismuth-substituted iron-garnet and supporting both localized and lattice modes. Simultaneous excitation of these modes makes it possible to increase the Faraday rotation by 3 times and TMOKE by an order of magnitude compared to the smooth magnetic film of the equal effective thickness. Both magneto-optical effects are enhanced in wide spectral and angular ranges making the nanocylinder array magnetic dielectric structures promising for applications with short and tightly-focused laser pulses.


title: Data-driven Analysis of Gender Differences and Similarities in Scratch Programs

abstract: Block-based programming environments such as Scratch are an essential entry point to computer science. In order to create an effective learning environment that has the potential to address the gender imbalance in computer science, it is essential to better understand gender-specific differences in how children use such programming environments. In this paper, we explore gender differences and similarities in Scratch programs along two dimensions: In order to understand what motivates girls and boys to use Scratch, we apply a topic analysis using unsupervised machine learning for the first time on Scratch programs, using a dataset of 317 programs created by girls and boys in the range of 8-10 years. In order to understand how they program for these topics, we apply automated program analysis on the code implemented in these projects. We find that, in-line with common stereotypes, girls prefer topics that revolve around unicorns, celebrating, dancing and music, while boys tend to prefer gloomy topics with bats and ghouls, or competitive ones such as soccer or basketball. Girls prefer animations and stories, resulting in simpler control structures, while boys create games with more loops and conditional statements, resulting in more complex programs. Considering these differences can help to improve the learning outcomes and the resulting computing-related self-concepts, which are prerequisites for developing a longer-term interest in computer science.


title: FaPN: Feature-aligned Pyramid Network for Dense Image Prediction

abstract: Recent advancements in deep neural networks have made remarkable leap-forwards in dense image prediction. However, the issue of feature alignment remains as neglected by most existing approaches for simplicity. Direct pixel addition between upsampled and local features leads to feature maps with misaligned contexts that, in turn, translate to mis-classifications in prediction, especially on object boundaries. In this paper, we propose a feature alignment module that learns transformation offsets of pixels to contextually align upsampled higher-level features; and another feature selection module to emphasize the lower-level features with rich spatial details. We then integrate these two modules in a top-down pyramidal architecture and present the Feature-aligned Pyramid Network (FaPN). Extensive experimental evaluations on four dense prediction tasks and four datasets have demonstrated the efficacy of FaPN, yielding an overall improvement of 1.2 - 2.6 points in AP / mIoU over FPN when paired with Faster / Mask R-CNN. In particular, our FaPN achieves the state-of-the-art of 56.7% mIoU on ADE20K when integrated within Mask-Former. The code is available from https://github.com/EMI-Group/FaPN.


title: J-driven Dynamic Nuclear Polarization for sensitizing high field solution state NMR

abstract: Dynamic nuclear polarization is widely used to enhance the sensitivity of nuclear magnetic resonance. It is presently the method of choice for enhancing the sensitivity of high-field solid state NMR experiments performed under cryogenic conditions. In liquids, however, its efficiency decays rapidly with magnetic field Bo and with the rotational correlation time, leading to negligible enhancements in mid- and high-field solution-state NMR experiments for all but exceptional cases. This study discusses a potential solution to this fundamental sensitivity problem, that relies on biradical species possessing inter-electron exchange couplings, that are on the order of the electron Larmor frequency.


title: Detecting and interpreting faults in vulnerable power grids with machine learning

abstract: Unscheduled power disturbances cause severe consequences both for customers and grid operators. To defend against such events, it is necessary to identify the causes of interruptions in the power distribution network. In this work, we focus on the power grid of a Norwegian community in the Arctic that experiences several faults whose sources are unknown. First, we construct a data set consisting of relevant meteorological data and information about the current power quality logged by power-quality meters. Then, we adopt machine-learning techniques to predict the occurrence of faults. Experimental results show that both linear and non-linear classifiers achieve good classification performance. This indicates that the considered power-quality and weather variables explain well the power disturbances. Interpreting the decision process of the classifiers provides valuable insights to understand the main causes of disturbances. Traditional features selection methods can only indicate which are the variables that, on average, mostly explain the fault occurrences in the dataset. Besides providing such a global interpretation, it is also important to identify the specific set of variables that explain each individual fault. To address this challenge, we adopt a recent technique to interpret the decision process of a deep learning model, called Integrated Gradients. The proposed approach allows to gain detailed insights on the occurrence of a specific fault, which are valuable for the distribution system operators to implement strategies to prevent and mitigate power disturbances.


title: Topological Properties and Characterizations

abstract: There are three important types of structural properties that remain unchanged under the structural transformation of condensed matter physics and chemistry. They are the properties that remain unchanged under the structural periodic transformation-periodic properties. The properties that remain unchanged under the structural multi scale transformation-fractal properties. The properties that remain unchanged under the structural continuous deformation transformation-topological properties. In this paper, we will describe topological properties and characterizations in three layers: the first layer is intuitive concept, characterizations and applications, the second layer is logical physics understanding of topological properties, characterizations and applications, and the third layer is the nature of topological properties and its power. Duality and trinity are viewed as intrinsically topological objects and are recognized as common knowledge shared among human society activity, mathematics, physics, chemistry, biology and many other kinds of nature science and technology. Some important methods used so far to characterize the topological properties, including topological index, topological order, topological invariant, topology class and the topology partition are discussed. The theories of molecular topology, topological quantum matter including topological insulators, topological metal and topological superconductors and topological quantum computing are reviewed. The development of the topological duality connection between the qubit and singularity via topological space time is briefly introduced. We will see the use of iterated function systems (IFS)to simulate the connection between singularities and their qubit control codes. The novel applications of topology in integrated circuits technology are also discussed in this paper.


title: KM3NeT sensitivity to low energy astrophysical neutrinos

abstract: KM3NeT, a new generation of neutrino telescope, is currently being deployed in the Mediterranean Sea. While its two sites, ORCA and ARCA, were respectively designed for the determination of neutrino mass hierarchy and high-energy neutrino astronomy, this contribution presents a study of the detection potential of KM3NeT in the MeV-GeV energy range. At these low energies, the data rate is dominated by low-energy atmospheric muons and environmental noise due to bioluminescence and K-40 decay. The goal of this study is to characterize the environmental noise in order to optimize the selection of low-energy neutrino interactions and increase the sensitivity of KM3NeT to transient astrophysical phenomena, such as close-by core-collapse Supernovae, solar flares, and extragalactic transients. In this contribution, we will study how using data science tools might improve the sensitivity of KM3NeT in these low-energy neutrino searches. We will first introduce the data sets and the different variables used to characterize KM3NeT's response to the environmental noise. We will then compare the efficiency of various tools in identifying different components in the environmental noise and in disentangling low-energy neutrino interactions from the background events. We will conclude with the implication of low-energy neutrinos for future astrophysical transient searches.


title: Multistream Graph Attention Networks for Wind Speed Forecasting

abstract: Reliable and accurate wind speed prediction has significant impact in many industrial sectors such as economic, business and management among others. This paper presents a new model for wind speed prediction based on Graph Attention Networks (GAT). In particular, the proposed model extends GAT architecture by equipping it with a learnable adjacency matrix as well as incorporating a new attention mechanism with the aim of obtaining attention scores per weather variable. The output of the GAT based model is combined with the LSTM layer in order to exploit both the spatial and temporal characteristics of the multivariate multidimensional historical weather data. Real weather data collected from several cities in Denmark and Netherlands are used to conduct the experiments and evaluate the performance of the proposed model. We show that in comparison to previous architectures used for wind speed prediction, the proposed model is able to better learn the complex input-output relationships of the weather data. Furthermore, thanks to the learned attention weights, the model provides an additional insights on the most important weather variables and cities for the studied prediction task.


title: Mixing by stirring: optimizing shapes and strategies

abstract: The mixing of binary fluids by stirrers is a commonplace procedure in many industrial and natural settings, and mixing efficiency directly translates into more homogeneous final products, more enriched compounds, and often substantial economic savings in energy and input ingredients. Enhancements in mixing efficiency can be accomplished by unorthodox stirring protocols as well as modified stirrer shapes that utilize unsteady hydrodynamics and vortex-shedding features to instigate the formation of fluid filaments which ultimately succumb to diffusion and produce a homogeneous mixture. We propose a PDE-constrained optimization approach to address the problem of mixing enhancement for binary fluids. Within a gradient-based framework, we target the stirring strategy as well as the cross-sectional shape of the stirrers to achieve improved mixedness over a given time horizon and within a prescribed energy budget. The optimization produces a significant enhancement in homogeneity in the initially separated fluids, suggesting promising modifications to traditional stirring protocols.


title: On the cuspidal locus in the dual varieties of Segre quartic surface

abstract: Motivated by a kind of Penrose correspondence, we investigate the space of hyperplane sections of Segre quartic surfaces which have an ordinary cusp. We show that the space of such hyperplane sections is empty for two kinds of Segre surfaces, and it is a connected surface for all other kinds of Segre surfaces. We also show that when it is non-empty, the closure of the space is either birational to the surface itself or birational to a double covering of the surface, whose branch divisor consists of some specific lines on the surface.


title: Polynomial bounds for chromatic number. III. Excluding a double star

abstract: A double star is a tree with two internal vertices. It is known that the Gy\'arf\'as-Sumner conjecture holds for double stars, that is, for every double star $H$, there is a function $f$ such that if $G$ does not contain $H$ as an induced subgraph then $\chi(G)\le f(\omega(G))$ (where $\chi, \omega$ are the chromatic number and the clique number of $G$). Here we prove that $f$ can be chosen to be a polynomial.


title: Multi-detector approach to enhance the sensitivity of neutrino telescopes to low-energy astrophysical sources

abstract: While large neutrino telescopes have so far mainly focused on the detection of TeV-PeV astrophysical neutrinos, several efforts are ongoing to extend the sensitivity down to the GeV level for transient sources. Only a handful of neutrino searches have been carried out at the moment leaving the signature of astrophysical transients poorly known in this energy range. In this contribution, we discuss the motivations for high-energy neutrino telescopes to explore the GeV energy range and summarize the current limitations of detectors, such as IceCube and KM3NeT. We then present and compare different approaches for multi-detector analyses that may enhance the sensitivity to a transient GeV neutrino flux.


title: Dynamics of Evaporating Respiratory Droplets in the Vicinity of Vortex Dipoles

abstract: A new mathematical analysis of exhaled respiratory droplet dynamics and settling distances in the vicinity of vortical environments is presented. Recent experimental and theoretical studies suggest that vortical flow structures may enhance the settling distances of exhaled respiratory droplets beyond the two-meter distancing rule recommended by health authorities lately. We propose a mathematical framework to study the underlying physical mechanism responsible for the entrapment and subsequently delayed settling times of evaporating droplets and solid particles. A dipolar vortex is considered self-propelling through a cloud of micron-sized evaporating droplets. This configuration might be utilized to approximate an indoor environment in which similar unsteady vortical flow structures interact with exhaled respiratory droplets. We demonstrate the vortex dipole effect on droplet and solid particles settling distances, depending on the evaporation rate, the vorticity of the dipole, and the droplet's initial diameter and location relative to the vortex core. Our theoretical analysis reveals non-intuitive interactions between the vortex dipole, droplet relaxation time, gravity, and mass transfer. The existence of optimal conditions for maximum displacement is suggested, where the droplet entrainment reaches up to an order of magnitude larger than the vortex core length scale. We present a basic model that may be applied for evaluating the spread of exhaled respiratory droplets in vortical environments. Our theoretical study suggests that exhaled respiratory droplets initially at rest can translate to significant distances, hence implying that vortical flow might enhance the transmission of airborne pathogens.


title: General relativistic rotational energy extraction from black holes-accretion disk systems

abstract: We constrain the BHs spin with the evaluation of the dimensionless parameter \xi, the total rotational energy extracted versus the BH mass. The energy extraction can power an outflow which can be then observed. We relate the energy extraction to the accreting configurations and the accretion processes occurring in a cluster of corotating and counter-rotating tori orbiting one central Kerr SMBH, associating \xi to the accretion processes characteristics. We relate the regions of tori parameters to the energy extraction processes, binding \xi to properties of light surfaces by using the bundles, relating measures in different regions of the spacetimes. We evaluate properties of the BH accretions disks, and correlate spacetimes prior and after their transition due to the energy extraction. Light surfaces are related to the generators of Killing horizons, proving limiting frequency of the stationary observers of the geometries. We consider the photon limiting curves of the stationary observers as constraints for various processes regulated by these frequencies, to relate different BH states, prior and after the energy extraction, investigating regions close to the BH horizons and rotational axis. From methodological view-point we used a naked singularity -BH correspondence defined with metric bundles to predict the BH--accretion disk system observational characteristics. The analysis points relevant BH spins a\approx0.94M, a\approx 0.7M and a\approx0.3M. We show the relation between the rotational law of the tori, the bundle characteristic frequency and the relativistic velocity defining the von Zeipel surfaces. The inferior limit on the formation of corotating is \ell/a\geq2, for counter-rotating tori \ell/a\leq -22/5 (\ell is the fluids specific angular momentum).


title: Magnetised relativistic accretion disc around a spinning, electrically charged, accelerating black hole: case of C-metric

abstract: This paper examines the general relativistic model of a geometrically thick configuration of an accretion disc around an electrically charged black hole in an accelerated motion, as described by the C-metric family. We aim to study the effects of the spacetime background on the magnetised version of the thick disc model via the sequences of figures of equilibrium. While maintaining the assumption of non-selfgravitating (test) fluid, we newly explore the influence of the strength of the large-scale magnetic field with field lines organised over the length-scale of the black hole horizon. We systematically analyze the dependence on a very broad parameter space of the adopted scenario. We demonstrate that the C-metric can, in principle, be distinguished from Kerr black hole metric by resolving specific (albeit rather fine) features of the torus, such as the location of its centre, inner and outer rims, and the overall shape. The analytical setup can serve as a testbed for numerical simulations.


title: Forbidden induced pairs for perfectness and $\omega$-colourability of graphs

abstract: We characterise the pairs of graphs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are perfect. Similarly, we characterise pairs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are $\omega$-colourable (that is, their chromatic number is equal to their clique number). More generally, we show characterizations of pairs $\{ X, Y \}$ for perfectness and $\omega$-colourability of all connected $\{ X, Y \}$-free graphs which are of independence at least $3$, distinct from an odd cycle, and of order at least $n_0$, and similar characterisations subject to each subset of these additional constraints. (The classes are non-hereditary and the characterisations for perfectness and $\omega$-colourability are different.) We build on recent results of Brause et al. on $\{ K_{1,3}, Y \}$-free graphs, and we use Ramsey's Theorem and the Strong Perfect Graph Theorem as main tools. We relate the present characterisations to known results on forbidden pairs for $\chi$-boundedness and deciding $k$-colourability in polynomial time.


title: Pore-scale analysis of gas injection in gas-condensate reservoirs

abstract: Condensate banking around wellbores can significantly shorten the production from gas-condensate reservoirs. Different approaches to mitigate this issue have been proposed in the literature, among which gas injection comes out with promising results. With this method, pressure maintenance and condensate re-vaporization can be achieved, lessening the flow blockage caused by liquid dropout and accumulation in the porous medium. While gas injection in gas-condensate reservoirs has been largely investigated at the meso and macro scales, data regarding the method's efficiency at the micro-scale are scarce. Therefore, the effects of local changes in gas and condensate properties stemmed from the interaction between injected and reservoir fluids at the pore-scale are poorly understood. In order to evaluate how these changes affect the transport in porous media, a compositional pore-network model was used to reproduce gas injection in a sandstone sample following condensate accumulation. C1, C2, CO2, N2, and produced gas were tested as the candidates for condensate banking remediation at different pressure levels. After gas flooding, condensate saturation, heavy component recovery, and gas relative permeability were quantified to appraise the achieved gas flow improvement. The results indicated that C2 and CO2 were the most effective gases to clear the accumulated condensate and re-establish the gas flow. Conversely, C1 and N2, especially mixed with the produced fluids, displayed the least favorable results, and could even lead to gas flow impairment.


title: ROSITA: Enhancing Vision-and-Language Semantic Alignments via Cross- and Intra-modal Knowledge Integration

abstract: Vision-and-language pretraining (VLP) aims to learn generic multimodal representations from massive image-text pairs. While various successful attempts have been proposed, learning fine-grained semantic alignments between image-text pairs plays a key role in their approaches. Nevertheless, most existing VLP approaches have not fully utilized the intrinsic knowledge within the image-text pairs, which limits the effectiveness of the learned alignments and further restricts the performance of their models. To this end, we introduce a new VLP method called ROSITA, which integrates the cross- and intra-modal knowledge in a unified scene graph to enhance the semantic alignments. Specifically, we introduce a novel structural knowledge masking (SKM) strategy to use the scene graph structure as a priori to perform masked language (region) modeling, which enhances the semantic alignments by eliminating the interference information within and across modalities. Extensive ablation studies and comprehensive analysis verifies the effectiveness of ROSITA in semantic alignments. Pretrained with both in-domain and out-of-domain datasets, ROSITA significantly outperforms existing state-of-the-art VLP methods on three typical vision-and-language tasks over six benchmark datasets.


title: Holographic charm and bottom pentaquarks II: Open and hidden decay widths

abstract: We analyze the decay modes of the three $[\frac 12\frac 12^-]_{S=0,1}$ and $[\frac 12\frac 32^-]_{S=1}$ non-strange pentaquarks with hidden charm and bottom, predicted by holographic QCD in the heavy quark limit. In leading order, the pentaquarks %are composed of heavy-light mesons in bulk bound to an instanton core. They are degenerate and stable by heavy quark symmetry. At next to leading order, the spin interactions lift the degeneracy and cause the pentaquarks to decay. We show that the open charm (bottom) decay modes dwarf the hidden charm (bottom) ones, with total widths that are consistent with those recently reported by LHCb for charm pentaquarks. Predictions for bottom pentaquarks are given.


title: Systematic Generation of Conformance Tests for JavaScript

abstract: JavaScript implementations are tested for conformance to the ECMAScript standard using a large hand-written test suite. Not only in this a tedious approach, it also relies solely on the natural language specification for differentiating behaviors, while hidden implementation details can also affect behavior and introduce divergences. We propose to generate conformance tests through dynamic symbolic execution of polyfills, drop-in replacements for newer JavaScript language features that are not yet widely supported. We then run these generated tests against multiple implementations of JavaScript, using a majority vote to identify the correct behavior. To facilitate test generation for polyfill code, we introduce a model for structured symbolic inputs that is suited to the dynamic nature of JavaScript. In our evaluation, we found 17 divergences in the widely used core-js polyfill and were able to increase branch coverage in interpreter code by up to 15%. Because polyfills are typically written even before standardization, our approach will allow to maintain and extend standardization test suites with reduced effort.


title: My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers

abstract: Fuzzing has become one of the most popular techniques to identify bugs in software. To improve the fuzzing process, a plethora of techniques have recently appeared in academic literature. However, evaluating and comparing these techniques is challenging as fuzzers depend on randomness when generating test inputs. Commonly, existing evaluations only partially follow best practices for fuzzing evaluations. We argue that the reason for this are twofold. First, it is unclear if the proposed guidelines are necessary due to the lack of comprehensive empirical data in the case of fuzz testing. Second, there does not yet exist a framework that integrates statistical evaluation techniques to enable fair comparison of fuzzers. To address these limitations, we introduce a novel fuzzing evaluation framework called SENF (Statistical EvaluatioN of Fuzzers). We demonstrate the practical applicability of our framework by utilizing the most wide-spread fuzzer AFL as our baseline fuzzer and exploring the impact of different evaluation parameters (e.g., the number of repetitions or run-time), compilers, seeds, and fuzzing strategies. Using our evaluation framework, we show that supposedly small changes of the parameters can have a major influence on the measured performance of a fuzzer.


title: A hybrid full-wave Markov chain approach to calculating radio-frequency wave scattering from Scrape-off Layer filaments

abstract: The interaction of radio-frequency (RF) waves with edge turbulence modifies the incident wave-spectrum, and can significantly affect RF heating and current drive in tokamaks. Previous LH scattering models have either used the weak-turbulence approximation, or treated more realistic, filamentary turbulence in the ray-tracing limit. In this work, a new model is introduced which retains full-wave effects of RF scattering in filamentary turbulence. First, a Mie-scattering technique models the interaction of an incident wave with a single Gaussian filament. Next, an effective differential scattering-width is derived for a statistical ensemble of filaments. Lastly, a Markov chain solves for the transmitted wave-spectrum in slab geometry. This model is applied to LH launch for current drive. The resulting wave-spectrum is asymmetrically broadened in wave-number angle-space. This asymmetry is not accounted for in previous LH scattering models. The modified wave-spectrum is coupled to a ray-tracing/Fokker-Planck solver (GENRAY/CQL3D) to study its impact on current drive. The resulting current profile is greatly altered, and there is significant increase in on-axis current and decrease in off-axis peaks. This is attributed to a portion of the modified wave-spectrum that strongly damps on-axis during first-pass.


title: Confidence sets in a sparse stochastic block model with two communities of unknown sizes

abstract: In a sparse stochastic block model with two communities of unequal sizes we derive two posterior concentration inequalities, that imply (1) posterior (almost-)exact recovery of the community structure under sparsity bounds comparable to well-known sharp bounds in the planted bi-section model; (2) a construction of confidence sets for the community assignment from credible sets, with finite graph sizes. The latter enables exact frequentist uncertain quantification with Bayesian credible sets at non-asymptotic graph sizes, where posteriors can be simulated well. There turns out to be no proportionality between credible and confidence levels: for given edge probabilities and a desired confidence level, there exists a critical graph size where the required credible level drops sharply from close to one to close to zero. At such graph sizes the frequentist decides to include not most of the posterior support for the construction of his confidence set, but only a small subset of community assignments containing the highest amounts of posterior probability (like the maximum-a-posteriori estimator). It is argued that for the proposed construction of confidence sets, a form of early stopping applies to MCMC sampling of the posterior, which would enable the computation of confidence sets at larger graph sizes.


title: Lattice-driven femtosecond magnon dynamics in $\alpha$-MnTe

abstract: The light-induced femtosecond dynamics of the sublattice magnetizations in the antiferromagnetically ordered phase of the semiconductor $\alpha$-MnTe is investigated theoretically as function of an external driving field. The electromagnetic field is coupled to optical modes and the concomitant atomic displacements modulate the Heisenberg exchange couplings. We derive the equations of motion for the time-dependent sublattice magnetization in spin wave theory and analyze the contributions from the driven magnon modes. The antiferromagnetic order parameter exhibits coherent longitudinal oscillations determined by the external driving frequency which decay due to dephasing. Including a phenomenological dissipative term to mimic spin-lattice relaxation processes leads to relaxation back to thermal equilibrium. We provide approximate analytic solutions of the resulting differential equations which allow us to understand the effect of the driving light pulse on the amplitude, frequency, and lifetime of the coherent spin dynamics.


title: Weighted boundedness of the Hardy-Littlewood maximal and Calder\'on-Zygmund operators on Orlicz-Morrey and weak Orlicz-Morrey spaces

abstract: For the Hardy-Littlewood maximal and Calder\'on-Zygmund operators, the weighted boundedness on the Lebesgue spaces are well known. We extend these to the Orlicz-Morrey spaces. Moreover, we prove the weighted boundedness on the weak Orlicz-Morrey spaces. To do this we show the weak-weak modular inequality. The Orlicz-Morrey space and its weak version contain weighted Orlicz, Morrey and Lebesgue spaces and their weak versions as special cases. Then we also get the boundedness for these function spaces as corollaries.


title: Toward the Understanding of Deep Text Matching Models for Information Retrieval

abstract: Semantic text matching is a critical problem in information retrieval. Recently, deep learning techniques have been widely used in this area and obtained significant performance improvements. However, most models are black boxes and it is hard to understand what happened in the matching process, due to the poor interpretability of deep learning. This paper aims at tackling this problem. The key idea is to test whether existing deep text matching methods satisfy some fundamental heuristics in information retrieval. Specifically, four heuristics are used in our study, i.e., term frequency constraint, term discrimination constraint, length normalization constraints, and TF-length constraint. Since deep matching models usually contain many parameters, it is difficult to conduct a theoretical study for these complicated functions. In this paper, We propose an empirical testing method. Specifically, We first construct some queries and documents to make them satisfy the assumption in a constraint, and then test to which extend a deep text matching model trained on the original dataset satisfies the corresponding constraint. Besides, a famous attribution based interpretation method, namely integrated gradient, is adopted to conduct detailed analysis and guide for feasible improvement. Experimental results on LETOR 4.0 and MS Marco show that all the investigated deep text matching methods, both representation and interaction based methods, satisfy the above constraints with high probabilities in statistics. We further extend these constraints to the semantic settings, which are shown to be better satisfied for all the deep text matching models. These empirical findings give clear understandings on why deep text matching models usually perform well in information retrieval. We believe the proposed evaluation methodology will be useful for testing future deep text matching models.


title: A sufficient condition for $L^p$ regularity of the Berezin transform

abstract: We prove that the Berezin transform is $L^p$ regular on a large class of domains in $\mathbb{C}^n$ and not $L^2$ regular on the Hartogs triangle.


title: Identifying and Exploiting Structures for Reliable Deep Learning

abstract: Deep learning research has recently witnessed an impressively fast-paced progress in a wide range of tasks including computer vision, natural language processing, and reinforcement learning. The extraordinary performance of these systems often gives the impression that they can be used to revolutionise our lives for the better. However, as recent works point out, these systems suffer from several issues that make them unreliable for use in the real world, including vulnerability to adversarial attacks (Szegedy et al. [248]), tendency to memorise noise (Zhang et al. [292]), being over-confident on incorrect predictions (miscalibration) (Guo et al. [99]), and unsuitability for handling private data (Gilad-Bachrach et al. [88]). In this thesis, we look at each of these issues in detail, investigate their causes, and propose computationally cheap algorithms for mitigating them in practice. To do this, we identify structures in deep neural networks that can be exploited to mitigate the above causes of unreliability of deep learning algorithms.


title: Learning Canonical View Representation for 3D Shape Recognition with Arbitrary Views

abstract: In this paper, we focus on recognizing 3D shapes from arbitrary views, i.e., arbitrary numbers and positions of viewpoints. It is a challenging and realistic setting for view-based 3D shape recognition. We propose a canonical view representation to tackle this challenge. We first transform the original features of arbitrary views to a fixed number of view features, dubbed canonical view representation, by aligning the arbitrary view features to a set of learnable reference view features using optimal transport. In this way, each 3D shape with arbitrary views is represented by a fixed number of canonical view features, which are further aggregated to generate a rich and robust 3D shape representation for shape recognition. We also propose a canonical view feature separation constraint to enforce that the view features in canonical view representation can be embedded into scattered points in a Euclidean space. Experiments on the ModelNet40, ScanObjectNN, and RGBD datasets show that our method achieves competitive results under the fixed viewpoint settings, and significantly outperforms the applicable methods under the arbitrary view setting.


title: Smart Pointers and Shared Memory Synchronisation for Efficient Inter-process Communication in ROS on an Autonomous Vehicle

abstract: Despite the stringent requirements of a real-time system, the reliance of the Robot Operating System (ROS) on the loopback network interface imposes a considerable overhead on the transport of high bandwidth data, while the nodelet package, which is an efficient mechanism for intra-process communication, does not address the problem of efficient local inter-process communication (IPC). To remedy this, we propose a novel integration into ROS of smart pointers and synchronisation primitives stored in shared memory. These obey the same semantics and, more importantly, exhibit the same performance as their C++ standard library counterparts, making them preferable to other local IPC mechanisms. We present a series of benchmarks for our mechanism - which we call LOT (Low Overhead Transport) - and use them to assess its performance on realistic data loads based on Five's Autonomous Vehicle (AV) system, and extend our analysis to the case where multiple ROS nodes are running in Docker containers. We find that our mechanism performs up to two orders of magnitude better than the standard IPC via local loopback. Finally, we apply industry-standard profiling techniques to explore the hotspots of code running in both user and kernel space, comparing our implementation against alternatives.


title: Accounting for multiple imputation-induced variability for differential analysis in mass spectrometry-based label-free quantitative proteomics

abstract: Imputing missing values is common practice in label-free quantitative proteomics. Imputation aims at replacing a missing value with a user-defined one. However, the imputation itself may not be optimally considered downstream of the imputation process, as imputed datasets are often considered as if they had always been complete. Hence, the uncertainty due to the imputation is not adequately taken into account. We provide a rigorous multiple imputation strategy, leading to a less biased estimation of the parameters' variability thanks to Rubin's rules. The imputation-based peptide's intensities' variance estimator is then moderated using Bayesian hierarchical models. This estimator is finally included in moderated t-test statistics to provide differential analyses results. This workflow can be used both at peptide and protein-level in quantification datasets. For protein-level results based on peptide-level quantification data, an aggregation step is also included. Our methodology, named mi4p, was compared to the state-of-the-art limma workflow implemented in the DAPAR R package, both on simulated and real datasets. We observed a trade-off between sensitivity and specificity, while the overall performance of mi4p outperforms DAPAR in terms of F-Score.


title: Fixing a hole

abstract: We show that any finite $S \subset \mathbb{R}^d$ in general position has arbitrarily large supersets $T \supseteq S$ in general position with the property that $T$ contains no empty convex polygon, or hole, with $C_d$ points, where $C_d$ is an integer that depends only on the dimension $d$. This generalises results of Horton and Valtr which treat the case $S = \emptyset$. The key step in our proof, which may be of independent interest, is to show that there are arbitrarily small perturbations of the set of lattice points $[n]^d$ with no large holes.


title: Entropy stable non-oscillatory fluxes: An optimized wedding of entropy conservative flux with non-oscillatory flux

abstract: This work frames the problem of constructing non-oscillatory entropy stable fluxes as a least square optimization problem. A flux sign stability condition is defined for a pair of entropy conservative flux ($F^*$) and a non-oscillatory flux ($F^s$). This novel approach paves a way to construct non-oscillatory entropy stable flux ($\hat{F}$) as a simple combination of $(F^*$ and $F^s)$ which inherently optimize the numerical diffusion in the entropy stable flux ($\hat{F}$) such that it reduces to the underlying non-oscillatory flux ($F^s$) in the flux sign stable region. This robust approach is (i) agnostic to the choice of flux pair $(F^*,F^s)$, (ii) does not require the computation of costly dissipation operator and high order reconstruction of scaled entropy variable to construct the diffusion term. Various non-oscillatory entropy stable fluxes are constructed and exhaustive computational results for standard test problems are given which show that these entropy stable schemes completely remove spurious oscillations in approximating the discontinuities compared to the non-oscillatory schemes using underlying fluxes ($F^s$) only. Moreover, these entropy stable schemes maintain the formal order of accuracy of the lower order flux in the pair.


title: Bayesian Stokes inversion with Normalizing flows

abstract: Stokes inversion techniques are very powerful methods for obtaining information on the thermodynamic and magnetic properties of solar and stellar atmospheres. In recent years, very sophisticated inversion codes have been developed that are now routinely applied to spectro-polarimetric observations. Most of these inversion codes are designed for finding an optimum solution to the nonlinear inverse problem. However, to obtain the location of potentially multimodal cases (ambiguities), the degeneracies, and the uncertainties of each parameter inferred from the inversions, algorithms such as Markov chain Monte Carlo (MCMC), require to evaluate the likelihood of the model thousand of times and are computationally costly. Variational methods are a quick alternative to Monte Carlo methods by approximating the posterior distribution by a parametrized distribution. In this study, we introduce a highly flexible variational inference method to perform fast Bayesian inference, known as normalizing flows. Normalizing flows are a set of invertible, differentiable, and parametric transformations that convert a simple distribution into an approximation of any other complex distribution. If the transformations are conditioned on observations, the normalizing flows can be trained to return Bayesian posterior probability estimates for any observation. We illustrate the ability of the method using a simple Milne-Eddington model and a complex non-LTE inversion. However, the method is extremely general and other more complex forward models can be applied. The training procedure need only be performed once for a given prior parameter space and the resulting network can then generate samples describing the posterior distribution several orders of magnitude faster than existing techniques.


title: Sub-megahertz homogeneous linewidth for Er in Si via in situ single photon detection

abstract: We studied the optical properties of a resonantly excited trivalent Er ensemble in Si accessed via in situ single photon detection. A novel approach which avoids nanofabrication on the sample is introduced, resulting in a highly efficient detection of 70 excitation frequencies, of which 63 resonances have not been observed in literature. The center frequencies and optical lifetimes of all resonances have been extracted, showing that 5% of the resonances are within 1 GHz of our electrically detected resonances and that the optical lifetimes range from 0.5 ms up to 1.5 ms. We observed inhomogeneous broadening of less than 400 MHz and an upper bound on the homogeneous linewidth of 1.4 MHz and 0.75 MHz for two separate resonances, which is a reduction of more than an order of magnitude observed to date. These narrow optical transition properties show that Er in Si is an excellent candidate for future quantum information and communication applications.


title: Sum-Rate Maximization for Multi-Reconfigurable Intelligent Surface-Assisted Device-to-Device Communications

abstract: This paper proposes to deploy multiple reconfigurable intelligent surfaces (RISs) in device-to-device (D2D)-underlaid cellular systems. The uplink sum-rate of the system is maximized by jointly optimizing the transmit powers of the users, the pairing of the cellular users (CUs) and D2D links, the receive beamforming of the base station (BS), and the configuration of the RISs, subject to the power limits and quality-of-service (QoS) of the users. To address the non-convexity of this problem, we develop a new block coordinate descent (BCD) framework which decouples the D2D-CU pairing, power allocation and receive beamforming, from the configuration of the RISs. Specifically, we derive closed-form expressions for the power allocation and receive beamforming under any D2D-CU pairing, which facilitates interpreting the D2D-CU pairing as a bipartite graph matching solved using the Hungarian algorithm. We transform the configuration of the RISs into a quadratically constrained quadratic program (QCQP) with multiple quadratic constraints. A low-complexity algorithm, named Riemannian manifold-based alternating direction method of multipliers (RM-ADMM), is developed to decompose the QCQP into simpler QCQPs with a single constraint each, and solve them efficiently in a decentralized manner. Simulations show that the proposed algorithm can significantly improve the sum-rate of the D2D-underlaid system with a reduced complexity, as compared to its alternative based on semidefinite relaxation (SDR).


title: Routing in Delay-Tolerant Networks under Uncertain Contact Plans

abstract: Delay-Tolerant Networks (DTN) enable store-carry-and-forward data transmission in networks challenged by frequent disruptions and high latency. Existing classification distinguishes between scheduled and probabilistic DTNs, for which specific routing solutions have been developed. In this paper, we uncover a gap in-between where uncertain contact plans can be exploited to enhance data delivery in many practical scenarios described by probabilistic schedules available a priori. Routing under uncertain contact plans (RUCoP) is next formulated as a multiple-copy Markov Decision Process and then exported to local-knowledge (L-RUCoP) and Contact Graph Routing extensions (CGR-UCoP) which can be implemented in the existing DTN protocol stack. RUCoP and its derivations are evaluated in a first extensive simulation benchmark for DTNs under uncertain contact plans comprising both random and realistic scenarios. Results confirm that RUCoP and L-RUCoP closely approach the ideal delivery ratio of an oracle, while CGR-UCoP improves state-of-the-art DTN routing schemes delivery ratio up to 25%.


title: Laser floating zone growth of SrVO$_3$ single crystals

abstract: The perovskite SrVO$_3$ is of interest for a variety of applications due to its simple metallic character and stability in reducing environments. Here we report the preparation of single-crystal SrVO$_3$ using the laser floating zone technique. Laue diffraction implies single domains ca. 30 mm in length. The stoichiometry of optimized crystals was found to be Sr$_{0.985}$VO$_{2.91}$ using inductively coupled plasma optical emission spectrometry and neutron powder diffraction analysis, with compositions adjustable depending on the crystal pulling rate. Heat capacity measurements from 2 to 300 K show variations with composition, attributable to a combination of impurity scattering and changes in phonon dynamics.Our results demonstrate the utility of the laser floating zone technique in preparing a range of materials, and our advances with SrVO$_3$ may help lead to applications including catalysis, transparent conducting oxides, thermionic emitters, and other electronic devices.


title: Deep Self-Adaptive Hashing for Image Retrieval

abstract: Hashing technology has been widely used in image retrieval due to its computational and storage efficiency. Recently, deep unsupervised hashing methods have attracted increasing attention due to the high cost of human annotations in the real world and the superiority of deep learning technology. However, most deep unsupervised hashing methods usually pre-compute a similarity matrix to model the pairwise relationship in the pre-trained feature space. Then this similarity matrix would be used to guide hash learning, in which most of the data pairs are treated equivalently. The above process is confronted with the following defects: 1) The pre-computed similarity matrix is inalterable and disconnected from the hash learning process, which cannot explore the underlying semantic information. 2) The informative data pairs may be buried by the large number of less-informative data pairs. To solve the aforementioned problems, we propose a Deep Self-Adaptive Hashing (DSAH) model to adaptively capture the semantic information with two special designs: Adaptive Neighbor Discovery (AND) and Pairwise Information Content (PIC). Firstly, we adopt the AND to initially construct a neighborhood-based similarity matrix, and then refine this initial similarity matrix with a novel update strategy to further investigate the semantic structure behind the learned representation. Secondly, we measure the priorities of data pairs with PIC and assign adaptive weights to them, which is relies on the assumption that more dissimilar data pairs contain more discriminative information for hash learning. Extensive experiments on several datasets demonstrate that the above two technologies facilitate the deep hashing model to achieve superior performance.


title: COL0RME: Super-resolution microscopy based on sparse blinking/fluctuating fluorophore localization and intensity estimation

abstract: To overcome the physical barriers caused by light diffraction, super-resolution techniques are often applied in fluorescence microscopy. State-of-the-art approaches require specific and often demanding acquisition conditions to achieve adequate levels of both spatial and temporal resolution. Analyzing the stochastic fluctuations of the fluorescent molecules provides a solution to the aforementioned limitations, as sufficiently high spatio-temporal resolution for live-cell imaging can be achieved by using common microscopes and conventional fluorescent dyes. Based on this idea, we present COL0RME, a method for COvariance-based $\ell_0$ super-Resolution Microscopy with intensity Estimation, which achieves good spatio-temporal resolution by solving a sparse optimization problem in the covariance domain and discuss automatic parameter selection strategies. The method is composed of two steps: the former where both the emitters' independence and the sparse distribution of the fluorescent molecules are exploited to provide an accurate localization; the latter where real intensity values are estimated given the computed support. The paper is furnished with several numerical results both on synthetic and real fluorescence microscopy images and several comparisons with state-of-the art approaches are provided. Our results show that COL0RME outperforms competing methods exploiting analogously temporal fluctuations; in particular, it achieves better localization, reduces background artifacts and avoids fine parameter tuning.


title: Eigenvalue estimates for Beltrami-Laplacian under Bakry-\'Emery Ricci curvature condition

abstract: On closed Riemannian manifolds with Bakry-\'Emery Ricci curvature bounded from below and bounded gradient of the potential function, we obtain lower bounds for all positive eigenvalues of the Beltrami-Laplacian instead of the drifted Laplacian. The lower bound of the $k$th eigenvalue depends on $k$, Bakry-\'Emery Ricci curvature lower bound, the gradient bound of the potential function, and the dimension and diameter upper bound of the manifold, but the volume of the manifold is not involved. Especially, these results apply to closed manifolds with Ricci curvature bounded from below.


title: Detection of nearly periodic spin period reversals in Vela X-1 on long time-scales: inkling of solar-like cycle in the donor star?

abstract: We explore the long-term evolution of the spin period of the High Mass X-ray Binary (HMXB) pulsar Vela X-1 over a period of 46 yr. Our analysis indicates nearly periodic variations in the spin period of the pulsar on time-scales of about 5.9 yr. There is suggestion of an overall spin-down behaviour of the pulsar though it is noticed that the source appears to stay near its equilibrium period 283.4 s since MJD 51000, with rather erratic spin-up/spin-down episodes around this value. Our study suggests nearly cyclic turnover in the spin behaviour of the pulsar from spin-up to spin-down regimes on time-scales of about 17-19 yr. To our knowledge this is the first report of periodic variation in the spin behaviour of a wind-fed accreting pulsar. We also observe erratic episodes of spin-up and spin-down behaviour on relatively shorter time-scales which is a well known archetype of this wind-fed X-ray pulsar. We investigate whether nearly periodic long-term spin period changes in the pulsar can be explained by using known mechanisms of torque reversals in the accretion powered neutron stars. It appears that changes in the accretion environment of the pulsar using current ideas can probably lead to long-term spin period changes in this X-ray pulsar.


title: Statistical inference for the slope parameter in functional linear regression

abstract: In this paper we consider the linear regression model $Y =S X+\varepsilon $ with functional regressors and responses. We develop new inference tools to quantify deviations of the true slope $S$ from a hypothesized operator $S_0$ with respect to the Hilbert--Schmidt norm $\| S- S_0\|^2$, as well as the prediction error $\mathbb{E} \| S X - S_0 X \|^2$. Our analysis is applicable to functional time series and based on asymptotically pivotal statistics. This makes it particularly user friendly, because it avoids the choice of tuning parameters inherent in long-run variance estimation or bootstrap of dependent data. We also discuss two sample problems as well as change point detection. Finite sample properties are investigated by means of a simulation study.\\ Mathematically our approach is based on a sequential version of the popular spectral cut-off estimator $\hat S_N$ for $S$. It is well-known that the $L^2$-minimax rates in the functional regression model, both in estimation and prediction, are substantially slower than $1/\sqrt{N}$ (where $N$ denotes the sample size) and that standard estimators for $S$ do not converge weakly to non-degenerate limits. However, we demonstrate that simple plug-in estimators - such as $\| \hat S_N - S_0 \|^2$ for $\| S - S_0 \|^2$ - are $\sqrt{N}$-consistent and its sequential versions satisfy weak invariance principles. These results are based on the smoothing effect of $L^2$-norms and established by a new proof-technique, the {\it smoothness shift}, which has potential applications in other statistical inverse problems.


title: Excited-state band structure mapping

abstract: Angle-resolved photoelectron spectroscopy is an extremely powerful probe of materials to access the occupied electronic structure with energy and momentum resolution. However, it remains blind to those dynamic states above the Fermi level that determine technologically relevant transport properties. In this work, we extend band structure mapping into the unoccupied states and across the entire Brillouin zone by using a state-of-the-art high repetition rate, extreme ultraviolet fem- tosecond light source to probe optically excited samples. The wide-ranging applicability and power of this approach are demonstrated by measurements on the 2D semiconductor WSe2, where the energy-momentum dispersion of valence and conduction bands are observed in a single experiment. This provides a direct momentum-resolved view not only on the complete out-of-equilibrium band gap but also on its renormalization induced by electron-hole interaction and screening. Our work establishes a new benchmark for measuring the band structure of materials, with direct access to the energy-momentum dispersion of the excited-state spectral function.


title: Hyperbolic Valued Metric Space

abstract: In this paper our main aim is to develop some basic properties of hyperbolic valued metric spaces. We also establish the hyperbolic version of Banach contraction principle. Further we construct a hyperbolic valued metric on the space of all hyperbolic valued continuous functions and prove some results.


title: Entropy, Black holes, and the New Cyclic Universe

abstract: We track the evolution of entropy and black holes in a cyclic universe that undergoes repeated intervals of expansion followed by slow contraction and a smooth (non-singular) bounce. In this kind of cyclic scenario, there is no big crunch and no chaotic mixmaster behavior. We explain why the entropy following each bounce is naturally partitioned into near-maximal entropy in the matter-radiation sector and near-minimal in the gravitational sector, satisfying the Weyl curvature conditions conjectured to be essential for a cosmology consistent with observations. As a result, this kind of cyclic universe can undergo an unbounded number of cycles in the past and/or the future.


title: Finite-data error bounds for Koopman-based prediction and control

abstract: The Koopman operator has become an essential tool for data-driven approximation of dynamical (control) systems, e.g., via extended dynamic mode decomposition. Despite its popularity, convergence results and, in particular, error bounds are still scarce. In this paper, we derive probabilistic bounds for the approximation error and the prediction error depending on the number of training data points; for both ordinary and stochastic differential equations while using either ergodic trajectories or i.i.d. samples. We illustrate these bounds by means of an example with the Ornstein-Uhlenbeck process. Moreover, we extend our analysis to (stochastic) nonlinear control-affine systems. We prove error estimates for a previously proposed approach that exploits the linearity of the Koopman generator to obtain a bilinear surrogate control system and, thus, circumvents the curse of dimensionality since the system is not autonomized by augmenting the state by the control inputs. To the best of our knowledge, this is the first finite-data error analysis in the stochastic and/or control setting. Finally, we demonstrate the effectiveness of the bilinear approach by comparing it with state-of-the-art techniques showing its superiority whenever state and control are coupled.


title: Symmetry- and curvature effects on spin waves in vortex-state hexagonal nanotubes

abstract: Analytic and numerical studies on curved magnetic nano-objects predict numerous exciting effects that can be referred to as magneto-chiral effects, which do not originate from intrinsic Dzyaloshinskii-Moriya interaction or interface-induced anisotropies. In constrast, these chiral effects stem from isotropic exchange or dipole-dipole interaction, present in all magnetic materials, which acquire asymmetric contributions in case of curved geometry of the specimen. As a result, for example, the spin-wave dispersion in round magnetic nanotubes becomes asymmetric, namely spin waves of the same frequency propagating in opposite directions along the nanotube exhibit different wavelenghts. Here, using time-resolved scanning transmission X-ray microscopy experiments, standard micromagntic simulations and a dynamic-matrix approach, we show that the spin-wave spectrum undergoes additional drastic changes when transitioning from a continuous to a discrete rotational symmetry, i.e. from round to hexagonal nanotubes, which are much easier to fabricate. The polygonal shape introduces localization of the modes both to the sharp, highly curved corners and flat edges. Moreover, due to the discrete rotational symmetry, the degenerate nature of the modes with azimuthal wave vectors known from round tubes is partly lifted, resulting in singlet and duplet modes. For comparison with our experiments, we calculate the microwave absorption from the numerically obtained mode profiles which shows that a dedicated antenna design is paramount for magnonic applications in 3D nano-structures. To our knowledge these are the first experiments directly showing real space spin-wave propagation in 3D nano objects.


title: A Note on Quiver Quantum Toroidal Algebra

abstract: Recently, Li and Yamazaki proposed a new class of infinite-dimensional algebras, quiver Yangian, which generalizes the affine Yangian $\mathfrak{gl}_{1}$. The characteristic feature of the algebra is the action on BPS states for non-compact toric Calabi-Yau threefolds, which are in one-to-one correspondence with the crystal melting models. These algebras can be bootstrapped from the action on the crystals and have various truncations. In this paper, we propose a $q$-deformed version of the quiver Yangian, referred to as the quiver quantum toroidal algebra (QQTA). We examine some of the consistency conditions of the algebra. In particular, we show that QQTA is a Hopf superalgebra with a formal super coproduct, like known quantum toroidal algebras. QQTA contains an extra central charge $C$. When it is trivial ($C=1$), QQTA has a representation acting on the three-dimensional crystals, like Li-Yamazaki's quiver Yangian. While we focus on the toric Calabi-Yau threefolds without compact 4-cycles, our analysis can likely be generalized to all toric Calabi-Yau threefolds.


title: Massive young stellar objects in the Local Group irregular galaxy NGC6822 identified using machine learning

abstract: We present a supervised machine learning methodology to classify stellar populations in the Local Group dwarf-irregular galaxy NGC6822. Near-IR colours (J-H, H-K, and J-K), K-band magnitudes and far-IR surface brightness (at 70 and 160 micron) measured from Spitzer and Herschel images are the features used to train a Probabilistic Random Forest (PRF) classifier. Point-sources are classified into eight target classes: young stellar objects (YSOs), oxygen- and carbon-rich asymptotic giant branch stars, red giant branch and red super-giant stars, active galactic nuclei, massive main-sequence stars and Galactic foreground stars. The PRF identifies sources with an accuracy of ~90 percent across all target classes rising to ~96 percent for YSOs. We confirm the nature of 125 out of 277 literature YSO candidates with sufficient feature information, and identify 199 new YSOs and candidates. Whilst these are mostly located in known star forming regions, we have also identified new star formation sites. These YSOs have mass estimates between ~15-50 Msun, representing the most massive YSO population in NGC 6822. Another 82 out of 277 literature candidates are definitively classified as non-YSOs by the PRF analysis. We characterise the star formation environment by comparing the spatial distribution of YSOs to those of gas and dust using archival images. We also explore the potential of using (unsupervised) t-distributed stochastic neighbour embedding maps for the identification of the same stellar population classified by the PRF.


title: Self-Bayesian Aberration Removal via Constraints for Ultracold Atom Microscopy

abstract: High-resolution imaging of ultracold atoms typically requires custom high numerical aperture (NA) optics, as is the case for quantum gas microscopy. These high NA objectives involve many optical elements each of which contributes to loss and light scattering, making them unsuitable for quantum back-action limited "weak" measurements. We employ a low cost high NA aspheric lens as an objective for a practical and economical-although aberrated-high resolution microscope to image ${^{87}\mathrm{Rb}}$ Bose-Einstein condensates. Here, we present a novel methodology for digitally eliminating the resulting aberrations that is applicable to a wide range of imaging strategies and requires no additional hardware. We recover nearly the full NA of our objective, thereby demonstrating a simple and powerful digital aberration correction method for achieving optimal microscopy of quantum objects. This reconstruction relies on a high quality measure of our imaging system's even-order aberrations from density-density correlations measured with differing degrees of defocus. We demonstrate our aberration compensation technique using phase contrast imaging, a dispersive imaging technique directly applicable to quantum back-action limited measurements. Furthermore, we show that our digital correction technique reduces the contribution of photon shot noise to density-density correlation measurements which would otherwise contaminate the desired quantum projection noise signal in weak measurements.


title: Task-wise Split Gradient Boosting Trees for Multi-center Diabetes Prediction

abstract: Diabetes prediction is an important data science application in the social healthcare domain. There exist two main challenges in the diabetes prediction task: data heterogeneity since demographic and metabolic data are of different types, data insufficiency since the number of diabetes cases in a single medical center is usually limited. To tackle the above challenges, we employ gradient boosting decision trees (GBDT) to handle data heterogeneity and introduce multi-task learning (MTL) to solve data insufficiency. To this end, Task-wise Split Gradient Boosting Trees (TSGB) is proposed for the multi-center diabetes prediction task. Specifically, we firstly introduce task gain to evaluate each task separately during tree construction, with a theoretical analysis of GBDT's learning objective. Secondly, we reveal a problem when directly applying GBDT in MTL, i.e., the negative task gain problem. Finally, we propose a novel split method for GBDT in MTL based on the task gain statistics, named task-wise split, as an alternative to standard feature-wise split to overcome the mentioned negative task gain problem. Extensive experiments on a large-scale real-world diabetes dataset and a commonly used benchmark dataset demonstrate TSGB achieves superior performance against several state-of-the-art methods. Detailed case studies further support our analysis of negative task gain problems and provide insightful findings. The proposed TSGB method has been deployed as an online diabetes risk assessment software for early diagnosis.


title: How Deep the Theory of Quantum Communications Goes: Superadditivity, Superactivation and Causal Activation

abstract: In the theory of quantum communications, a deeper structure has been recently unveiled, showing that the capacity does not completely characterize the channel ability to transmit information due to phenomena -- namely, superadditivity, superactivation and causal activation -- with no counterpart in the classical world. Although how deep goes this structure is yet to be fully uncovered, it is crucial for the communication engineering community to own the implications of these phenomena for understanding and deriving the fundamental limits of communications. Hence, the aim of this treatise is to shed light on these phenomena by providing the reader with an easy access and guide towards the relevant literature and the prominent results from a communication engineering perspective.


title: Effects of interlayer exchange on collapse mechanisms and stability of magnetic skyrmions

abstract: Theoretical calculations of thermally activated decay of skyrmions in systems comprising several magnetic monolayers are presented, with a special focus on bilayer systems. Mechanisms of skyrmion collapse are identified and corresponding energy barriers and thermal collapse rates are evaluated as functions of the interlayer exchange coupling and mutual stacking of the monolayers using transition state theory and an atomistic spin Hamiltonian. In order to contrast the results to monolayer systems, the magnetic interactions within each layer are chosen so as to mimic the well-established Pd/Fe/Ir(111) system. Even bilayer systems demonstrate a rich diversity of skyrmion collapse mechanisms that sometimes co-exist. For very weakly coupled layers, the skyrmions in each layer decay successively via radially-symmetric shrinking. Slightly larger coupling leads to an asymmetric chimera collapse stabilized by interlayer exchange. When the interlayer exchange coupling reaches a certain critical value, the skyrmions collapse simultaneously. Interestingly, the overall energy barrier for the skyrmion collapse does not always converge to a multiple of that for a monolayer system in the strongly coupled regime. For a certain stacking of the magnetic layers, the energy barrier as a function of the interlayer exchange coupling features a maximum and then decreases with the coupling strength in the strong coupling regime. Calculated mechanisms of skyrmion collapse are used to ultimately predict the skyrmion lifetime. Our results reveal a comprehensive picture of thermal stability of skyrmions in magnetic multilayers and provide a perspective for realizing skyrmions with controlled properties.


title: Bose-Einstein condensation processes with nontrivial geometric multiplicites realized via ${\cal PT}-$symmetric and exactly solvable linear-Bose-Hubbard building blocks

abstract: It is well known that using the conventional non-Hermitian but ${\cal PT}-$symmetric Bose-Hubbard Hamiltonian with real spectrum one can realize the Bose-Einstein condensation (BEC) process in an exceptional-point limit of order $N$. Such an exactly solvable simulation of the BEC-type phase transition is, unfortunately, incomplete because the standard version of the model only offers an extreme form of the limit characterized by a minimal geometric multiplicity $K=1$. In our paper we describe a rescaled and partitioned direct-sum modification of the linear version of the Bose-Hubbard model which remains exactly solvable while admitting any value of $K\geq 1$. It offers a complete menu of benchmark models numbered by a specific combinatorial scheme. In this manner, an exhaustive classification of the general BEC patterns with any geometric multiplicity is obtained and realized in terms of an exactly solvable generalized Bose-Hubbard model.


title: Ferroelectric Polarization Reversal vs Pump Spot Shape

abstract: It has recently been shown that the polarization of a ferroelectric can be strongly affected by light pumping or even transiently reversed by mid-IR pumping within a record short subpicosecond timescale. It was then suggested that the reversal of polarization is most likely prevented by the depolarizing field that appears during the process. To minimize the effect of the depolarizing field, I propose to create an elongated domain by choosing a corresponding pump spot shape. I calculate the polarization dynamics for a particular experimental setup with mid-IR pumping and show that the polarization reversal is possible in this case.


title: Unifying Theory for Casimir Forces: Bulk and Surface Formulations

abstract: The principles of the electromagnetic fluctuation-induced phenomena such as Casimir forces are well understood. However, recent experimental advances require universal and efficient methods to compute these forces. While several approaches have been proposed in the literature, their connection is often not entirely clear, and some of them have been introduced as purely numerical techniques. Here we present a unifying approach for the Casimir force and free energy that builds on both the Maxwell stress tensor and path integral quantization. The result is presented in terms of either bulk or surface operators that describe corresponding current fluctuations. Our surface approach yields a novel formula for the Casimir free energy. The path integral is presented both within a Lagrange and Hamiltonian formulation yielding different surface operators and expressions for the free energy that are equivalent. We compare our approaches to previously developed numerical methods and the scattering approach. The practical application of our methods is exemplified by the derivation of the Lifshitz formula.


title: Dual-energy CT imaging with limited-angular-range data

abstract: In dual-energy computed tomography (DECT), low- and high- kVp data are collected often over a full-angular range (FAR) of $360^\circ$. While there exists strong interest in DECT with low- and high-kVp data acquired over limited-angular ranges (LARs), there remains little investigation of image reconstruction in DECT with LAR data. Objective: We investigate image reconstruction with minimized LAR artifacts from low- and high-kVp data over LARs of $\le 180^\circ$ by using a directional-total-variation (DTV) algorithm. Methods: Image reconstruction from LAR data is formulated as a convex optimization problem in which data-$\ell_2$ is minimized with constraints on image's DTVs along orthogonal axes. We then achieve image reconstruction by applying the DTV algorithm to solve the optimization problem. We conduct numerical studies from data generated over arcs of LARs, ranging from $14^\circ$ to $180^\circ$, and perform visual inspection and quantitative analysis of images reconstructed. Results: Monochromatic images of interest obtained with the DTV algorithm from LAR data show substantially reduced artifacts that are observed often in images obtained with existing algorithms. The improved image quality also leads to accurate estimation of physical quantities of interest, such as effective atomic number and iodine-contrast concentration. Conclusion: Our study reveals that from LAR data of low- and high-kVp, monochromatic images can be obtained that are visually, and physical quantities can be estimated that are quantitatively, comparable to those obtained in FAR DECT. Significance: As LAR DECT is of high practical application interest, the results acquired in the work may engender insights into the design of DECT with LAR scanning configurations of practical application significance.


title: Improving Readability of Scratch Programs with Search-based Refactoring

abstract: Block-based programming languages like Scratch have become increasingly popular as introductory languages for novices. These languages are intended to be used with a "tinkering" approach which allows learners and teachers to quickly assemble working programs and games, but this often leads to low code quality. Such code can be hard to comprehend, changing it is error-prone, and learners may struggle and lose interest. The general solution to improve code quality is to refactor the code. However, Scratch lacks many of the common abstraction mechanisms used when refactoring programs written in higher programming languages. In order to improve Scratch code, we therefore propose a set of atomic code transformations to optimise readability by (1) rewriting control structures and (2) simplifying scripts using the inherently concurrent nature of Scratch programs. By automating these transformations it is possible to explore the space of possible variations of Scratch programs. In this paper, we describe a multi-objective search-based approach that determines sequences of code transformations which improve the readability of a given Scratch program and therefore form refactorings. Evaluation on a random sample of 1000 Scratch programs demonstrates that the generated refactorings reduce complexity and entropy in 70.4% of the cases, and 354 projects are improved in at least one metric without making any other metric worse. The refactored programs can help both novices and their teachers to improve their code.


title: Autocomplete Repetitive Stroking with Image Guidance

abstract: Image-guided drawing can compensate for the lack of skills but often requires a significant number of repetitive strokes to create textures. Existing automatic stroke synthesis methods are usually limited to predefined styles or require indirect manipulation that may break the spontaneous flow of drawing. We present a method to autocomplete repetitive short strokes during users' normal drawing process. Users can draw over a reference image as usual. At the same time, our system silently analyzes the input strokes and the reference to infer strokes that follow users' input style when certain repetition is detected. Users can accept, modify, or ignore the system predictions and continue drawing, thus maintaining the fluid control of drawing. Our key idea is to jointly analyze image regions and operation history for detecting and predicting repetitions. The proposed system can effectively reduce users' workload in drawing repetitive short strokes and facilitates users in creating results with rich patterns.


title: Study Of German Manufacturing Firms: Causal Impact Of European Union Emission Trading Scheme On Firm Behaviour And Economic Performance

abstract: The results based on the nonparametric nearest neighbor matching suggest a statistically significant positive effect of the EU ETS on the economic performance of the regulated firms during Phase I of the EU ETS. A year-by-year analysis shows that the effect was only significant during the first year of Phase I. The EU ETS, therefore, had a particularly strong effect when it was introduced. It is important to note that the EU ETS does not homogeneously affect firms in the manufacturing sector. We found a significant positive impact of EU ETS on the economic performance of regulated firms in the paper industry.


title: A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base

abstract: Automatically constructing a program based on given specifications has been studied for decades. Despite the advances in the field of Program Synthesis, the current approaches still synthesize a block of code snippet and leave the task of reusing it in an existing code base to program developers. Due to its program-wide effects, synthesizing an architectural tactic and reusing it in a program is even more challenging. Architectural tactics need to be synthesized based on the context of different locations of the program, broken down to smaller pieces, and added to corresponding locations in the code. Moreover, each piece needs to establish correct data- and control-dependencies to its surrounding environment as well as to the other synthesized pieces. This is an error-prone and challenging task, especially for novice program developers. In this paper, we introduce a novel program synthesis approach that synthesizes architectural tactics and adds them to an existing code base.


title: NIST SRE CTS Superset: A large-scale dataset for telephony speaker recognition

abstract: This document provides a brief description of the National Institute of Standards and Technology (NIST) speaker recognition evaluation (SRE) conversational telephone speech (CTS) Superset. The CTS Superset has been created in an attempt to provide the research community with a large-scale dataset along with uniform metadata that can be used to effectively train and develop telephony (narrowband) speaker recognition systems. It contains a large number of telephony speech segments from more than 6800 speakers with speech durations distributed uniformly in the [10s, 60s] range. The segments have been extracted from the source corpora used to compile prior SRE datasets (SRE1996-2012), including the Greybeard corpus as well as the Switchboard and Mixer series collected by the Linguistic Data Consortium (LDC). In addition to the brief description, we also report speaker recognition results on the NIST 2020 CTS Speaker Recognition Challenge, obtained using a system trained with the CTS Superset. The results will serve as a reference baseline for the challenge.


title: Creating and Querying Personalized Versions of Wikidata on a Laptop

abstract: Application developers today have three choices for exploiting the knowledge present in Wikidata: they can download the Wikidata dumps in JSON or RDF format, they can use the Wikidata API to get data about individual entities, or they can use the Wikidata SPARQL endpoint. None of these methods can support complex, yet common, query use cases, such as retrieval of large amounts of data or aggregations over large fractions of Wikidata. This paper introduces KGTK Kypher, a query language and processor that allows users to create personalized variants of Wikidata on a laptop. We present several use cases that illustrate the types of analyses that Kypher enables users to run on the full Wikidata KG on a laptop, combining data from external resources such as DBpedia. The Kypher queries for these use cases run much faster on a laptop than the equivalent SPARQL queries on a Wikidata clone running on a powerful server with 24h time-out limits.


title: AIREX: Neural Network-based Approach for Air Quality Inference in Unmonitored Cities

abstract: Urban air pollution is a major environmental problem affecting human health and quality of life. Monitoring stations have been established to continuously obtain air quality information, but they do not cover all areas. Thus, there are numerous methods for spatially fine-grained air quality inference. Since existing methods aim to infer air quality of locations only in monitored cities, they do not assume inferring air quality in unmonitored cities. In this paper, we first study the air quality inference in unmonitored cities. To accurately infer air quality in unmonitored cities, we propose a neural network-based approach AIREX. The novelty of AIREX is employing a mixture-of-experts approach, which is a machine learning technique based on the divide-and-conquer principle, to learn correlations of air quality between multiple cities. To further boost the performance, it employs attention mechanisms to compute impacts of air quality inference from the monitored cities to the locations in the unmonitored city. We show, through experiments on a real-world air quality dataset, that AIREX achieves higher accuracy than state-of-the-art methods.


title: On-the-Fly, Sample-Tailored Optimisation of NMR Experiments

abstract: NMR experiments, indispensable to chemists in many areas of research, are often run with generic, unoptimised experimental parameters. This approach makes robust and automated acquisition on different samples and instruments extremely challenging. Here, we introduce NMR-POISE (Parameter Optimisation by Iterative Spectral Evaluation), the first demonstration of on-the-fly, sample-tailored, and fully automated optimisation of a wide range of NMR experiments. We illustrate how POISE maximises spectral sensitivity and quality with a diverse set of 1D and 2D examples, ranging from HSQC and NOESY experiments to ultrafast and pure shift techniques. Our Python implementation of POISE has an interface integrated into Bruker's TopSpin software, one of the most widely used platforms for NMR acquisition and automation, allowing NMR optimisations to be run without direct user supervision. We predict that POISE will find widespread usage in academia and industry, where sample-specific and automated experiment optimisation is mandatory.