title: Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines

abstract: In today's industrial practice, safety, reliability or availability artifacts such as fault trees, Markov models or FMEAs are mainly created manually by experts, often distinctively decoupled from systems engineering activities. Significant efforts, costs and timely requirements are involved to conduct the required analyses. In this paper, we describe a novel integrated model-based approach of systems engineering and dependability analyses. The behavior of system components is specified by UML state machines determining intended/correct and undesired/faulty behavior. Based on this information, our approach automatically generates different dependability analyses in the form of fault trees. Hence, alternative system layouts can easily be evaluated. The same applies for simple variations of the logical input-output relations of logical units such as controllers. We illustrate the feasibility of our approach with the help of simple examples using a prototypical implementation of the presented concepts.


title: DPN -- Dependability Priority Numbers

abstract: This paper proposes a novel model-based approach to combine the quantitative dependability (safety, reliability, availability, maintainability and IT security) analysis and trade-off analysis. The proposed approach is called DPN (Dependability Priority Numbers) and allows the comparison of different actual dependability characteristics of a systems with its target values and evaluates them regarding trade-off analysis criteria. Therefore, the target values of system dependability characteristics are taken as requirements, while the actual value of a specific system design are provided by quantitative and qualitative dependability analysis (FHA, FMEA, FMEDA, of CFT-based FTA). The DPN approach evaluates the fulfillment of individual target requirements and perform trade-offs between analysis objectives. We present the workflow and meta-model of the DPN approach, and illustrate our approach using a case study on a brake warning contact system. Hence, we demonstrate how the model-based DPNs improve system dependability by selecting the project crucial dependable design alternatives or measures.


title: Adaptive Low-Rank Factorization to regularize shallow and deep neural networks

abstract: The overfitting is one of the cursing subjects in the deep learning field. To solve this challenge, many approaches were proposed to regularize the learning models. They add some hyper-parameters to the model to extend the generalization; however, it is a hard task to determine these hyper-parameters and a bad setting diverges the training process. In addition, most of the regularization schemes decrease the learning speed. Recently, Tai et al. [1] proposed low-rank tensor decomposition as a constrained filter for removing the redundancy in the convolution kernels of CNN. With a different viewpoint, we use Low-Rank matrix Factorization (LRF) to drop out some parameters of the learning model along the training process. However, this scheme similar to [1] probably decreases the training accuracy when it tries to decrease the number of operations. Instead, we use this regularization scheme adaptively when the complexity of a layer is high. The complexity of any layer can be evaluated by the nonlinear condition numbers of its learning system. The resulted method entitled "AdaptiveLRF" neither decreases the training speed nor vanishes the accuracy of the layer. The behavior of AdaptiveLRF is visualized on a noisy dataset. Then, the improvements are presented on some small-size and large-scale datasets. The preference of AdaptiveLRF on famous dropout regularizers on shallow networks is demonstrated. Also, AdaptiveLRF competes with dropout and adaptive dropout on the various deep networks including MobileNet V2, ResNet V2, DenseNet, and Xception. The best results of AdaptiveLRF on SVHN and CIFAR-10 datasets are 98%, 94.1% F-measure, and 97.9%, 94% accuracy. Finally, we state the usage of the LRF-based loss function to improve the quality of the learning model.


title: NTIRE 2020 Challenge on Real-World Image Super-Resolution: Methods and Results

abstract: This paper reviews the NTIRE 2020 challenge on real world super-resolution. It focuses on the participating methods and final results. The challenge addresses the real world setting, where paired true high and low-resolution images are unavailable. For training, only one set of source input images is therefore provided along with a set of unpaired high-quality target images. In Track 1: Image Processing artifacts, the aim is to super-resolve images with synthetically generated image processing artifacts. This allows for quantitative benchmarking of the approaches \wrt a ground-truth image. In Track 2: Smartphone Images, real low-quality smart phone images have to be super-resolved. In both tracks, the ultimate goal is to achieve the best perceptual quality, evaluated using a human study. This is the second challenge on the subject, following AIM 2019, targeting to advance the state-of-the-art in super-resolution. To measure the performance we use the benchmark protocol from AIM 2019. In total 22 teams competed in the final testing phase, demonstrating new and innovative solutions to the problem.


title: Sequential decomposition of stochastic Stackelberg games

abstract: In this paper, we consider a discrete-time stochastic Stackelberg game with a single leader and multiple followers. Both the followers and the leader together have conditionally independent private types, conditioned on action and previous state, that evolve as controlled Markov processes. The objective is to compute the stochastic Stackelberg equilibrium of the game where the leader commits to a dynamic strategy. Each follower's strategy is the best response to the leader's strategies and other followers' strategies while the each leader's strategy is optimum given the followers play the best response. In general, computing such equilibrium involves solving a fixed-point equation for the whole game. In this paper, we present a backward recursive algorithm that computes such strategies by solving smaller fixed-point equations for each time $t$. Based on this algorithm, we compute stochastic Stackelberg equilibrium of a security example and a dynamics information design example used in~\cite{El17} (beeps).


title: Lower bound of the energy of a complex unit gain graph in terms of the matching number of its underlying graph

abstract: We establish a lower bound for the energy of a complex unit gain graph in terms of the matching number of its underlying graph, and characterize all the complex unit gain graphs whose energy reaches this bound.


title: Electron capture of Xe$^{54+}$ in collisions with H${_2}$ molecules in the energy range between 5.5 MeV/u and 30.9 MeV/u

abstract: The electron capture process was studied for Xe$^{54+}$ colliding with H$_2$ molecules at the internal gas target of the ESR storage ring at GSI, Darmstadt. Cross section values for electron capture into excited projectile states were deduced from the observed emission cross section of Lyman radiation, being emitted by the hydrogen-like ions subsequent to the capture of a target electron. The ion beam energy range was varied between 5.5 MeV/u and 30.9 MeV/u by applying the deceleration mode of the ESR. Thus, electron capture data was recorded at the intermediate and in particular the low collision energy regime, well below the beam energy necessary to produce bare xenon ions. The obtained data is found to be in reasonable qualitative agreement with theoretical approaches, while a commonly applied empirical formula significantly overestimates the experimental findings.


title: On Interpretability of Deep Learning based Skin Lesion Classifiers using Concept Activation Vectors

abstract: Deep learning based medical image classifiers have shown remarkable prowess in various application areas like ophthalmology, dermatology, pathology, and radiology. However, the acceptance of these Computer-Aided Diagnosis (CAD) systems in real clinical setups is severely limited primarily because their decision-making process remains largely obscure. This work aims at elucidating a deep learning based medical image classifier by verifying that the model learns and utilizes similar disease-related concepts as described and employed by dermatologists. We used a well-trained and high performing neural network developed by REasoning for COmplex Data (RECOD) Lab for classification of three skin tumours, i.e. Melanocytic Naevi, Melanoma and Seborrheic Keratosis and performed a detailed analysis on its latent space. Two well established and publicly available skin disease datasets, PH2 and derm7pt, are used for experimentation. Human understandable concepts are mapped to RECOD image classification model with the help of Concept Activation Vectors (CAVs), introducing a novel training and significance testing paradigm for CAVs. Our results on an independent evaluation set clearly shows that the classifier learns and encodes human understandable concepts in its latent representation. Additionally, TCAV scores (Testing with CAVs) suggest that the neural network indeed makes use of disease-related concepts in the correct way when making predictions. We anticipate that this work can not only increase confidence of medical practitioners on CAD but also serve as a stepping stone for further development of CAV-based neural network interpretation methods.


title: Fish should not be in isolation: Calculating maximum sustainable yield using an ensemble model

abstract: Many jurisdictions have a legal requirement to manage fish stocks to maximum sustainable yield (MSY). Generally, MSY is calculated on a single-species basis, however in reality, the yield of one species depends, not only on its own fishing level, but that of other species. We show that bold assumptions about the effect of interacting species on MSY are made when managing on a single-species basis, often leading to inconsistent and conflicting advice, demonstrating the requirement of a multispecies MSY (MMSY). Although there are several definitions of MMSY, there is no consensus. Furthermore, calculating a MMSY can be difficult as there are many models, of varying complexity, each with their own strengths and weaknesses, and the value if MMSY can be sensitive to the model used. Here, we use an ensemble model to combine different multispecies models, exploiting their individual strengths and quantifying their uncertainties and discrepancies, to calculate a more robust MMSY. We demonstrate this by calculating a MMSY for nine species in the North Sea. We found that it would be impossible to fish at single-species MSY and that MMSY led to higher yields and revenues than current levels.


title: Constructing Mironov cycles in complex Grassmannians

abstract: A. Mironov proposed a construction of lagrangian submanifolds in $\mathbb{C}^n$ and $\mathbb{C} \mathbb{P}^n$; there he was mostly motivated by the fact that these lagrangian submanifolds (which can have in general self intersections, therefore below we call them lagrangian cycles) present new example of minimal or Hamiltonian minimal lagrangian submanifolds. However the Mironov construction of lagrangian cycles itself can be directly extended to much wider class of compact algrebraic varieties: namely it works in the case when algebraic variety $X$ of complex dimension $n$ admits $T^k$ - action and an anti - holomorphic involution such that the real part $X_{\mathbb{R}} \subset X$ has real dimension $n$ and is transversal to the torus action. For this case one has families of lagrangian submanifolds and cycles. In the present small text we show how the construction of Mironov cycles works for the complex Grassmannians, resulting in simple examples of smooth lagrangian submanifolds in ${\rm Gr}(k, n+1)$, equipped with a standard Kahler form under the Pl\"{u}cker embedding. For sure the text is not complete but in the new reality we would like to fix it, hoping to continue the investigations and to present in a future complete list of Mironov cycles in ${\rm Gr}(k, n+1)$.


title: Quasiminimal sets and Plateau's problem with \v{C}ech homological conditions on $C^2$ submanifold

abstract: Let $\Omega\subseteq \mathbb{R}^n$ be an $m$-dimensional closed submanifold of class $C^2$, $d$ be a positive integer between 1 and $m$. We will study the geometric and topological proprieties of quasiminimal sets in $\Omega$, and show that a minimizing sequence of $d$-sets converges to a minimal set in the sense of weak topology. Following from that, we can solve the Plateau's problem of dimension $d$ on $\Omega$ with \v{C}ech homological conditions.


title: Building singular solutions for degenerate high order equations

abstract: In this paper, using the similarity method, we construct particular solutions with singularities for degenerate high-order equations. The considered equations have singularities of the first and second kind. Particular solutions are expressed through generalized hypergeometric functions. Sufficient conditions are obtained under which the number of linearly independent solutions is equal to the order of the equation.


title: Fast magneto-ionic switching of interface anisotropy using yttria-stabilized zirconia gate oxide

abstract: Voltage control of interfacial magnetism has been greatly highlighted in spintronics research for many years, as it might enable ultra-low power technologies. Among few suggested approaches, magneto-ionic control of magnetism has demonstrated large modulation of magnetic anisotropy. Moreover, the recent demonstration of magneto-ionic devices using hydrogen ions presented relatively fast magnetization toggle switching, tsw ~ 100 ms, at room temperature. However, the operation speed may need to be significantly improved to be used for modern electronic devices. Here, we demonstrate that the speed of proton-induced magnetization toggle switching largely depends on proton-conducting oxides. We achieve ~1 ms reliable (> 103 cycles) switching using yttria-stabilized zirconia (YSZ), which is ~ 100 times faster than the state-of-the-art magneto-ionic devices reported to date at room temperature. Our results suggest further engineering of the proton-conducting materials could bring substantial improvement that may enable new low-power computing scheme based on magneto-ionics.


title: P2ExNet: Patch-based Prototype Explanation Network

abstract: Deep learning methods have shown great success in several domains as they process a large amount of data efficiently, capable of solving complex classification, forecast, segmentation, and other tasks. However, they come with the inherent drawback of inexplicability limiting their applicability and trustworthiness. Although there exists work addressing this perspective, most of the existing approaches are limited to the image modality due to the intuitive and prominent concepts. Conversely, the concepts in the time-series domain are more complex and non-comprehensive but these and an explanation for the network decision are pivotal in critical domains like medical, financial, or industry. Addressing the need for an explainable approach, we propose a novel interpretable network scheme, designed to inherently use an explainable reasoning process inspired by the human cognition without the need of additional post-hoc explainability methods. Therefore, class-specific patches are used as they cover local concepts relevant to the classification to reveal similarities with samples of the same class. In addition, we introduce a novel loss concerning interpretability and accuracy that constraints P2ExNet to provide viable explanations of the data including relevant patches, their position, class similarities, and comparison methods without compromising accuracy. Analysis of the results on eight publicly available time-series datasets reveals that P2ExNet reaches comparable performance when compared to its counterparts while inherently providing understandable and traceable decisions.


title: Distributed traffic control for a large-scale urban network

abstract: Motivated by the fact that intelligent traffic control systems have become inevitable demand to cope with the risk of traffic congestion in urban areas, this paper develops a distributed control strategy for urban traffic networks. Since these networks contain a large number of roads having different directions, each of them can be described as a multi-agent system. Thus, a coordination among traffic flows is required to optimize the operation of the overall network. In order to determine control decisions, we describe the objective of improving traffic conditions as a constrained optimization problem with respect to downstream traffic flows. By applying the gradient projection method and the minimal polynomial of a matrix pair, we propose algorithms that allow each road cell to determine its control decision corresponding to the optimal solution while using only its local information. The effectiveness of our proposed algorithms is validated by numerical simulations.


title: Dynamically Adjusting Transformer Batch Size by Monitoring Gradient Direction Change

abstract: The choice of hyper-parameters affects the performance of neural models. While much previous research (Sutskever et al., 2013; Duchi et al., 2011; Kingma and Ba, 2015) focuses on accelerating convergence and reducing the effects of the learning rate, comparatively few papers concentrate on the effect of batch size. In this paper, we analyze how increasing batch size affects gradient direction, and propose to evaluate the stability of gradients with their angle change. Based on our observations, the angle change of gradient direction first tends to stabilize (i.e. gradually decrease) while accumulating mini-batches, and then starts to fluctuate. We propose to automatically and dynamically determine batch sizes by accumulating gradients of mini-batches and performing an optimization step at just the time when the direction of gradients starts to fluctuate. To improve the efficiency of our approach for large models, we propose a sampling approach to select gradients of parameters sensitive to the batch size. Our approach dynamically determines proper and efficient batch sizes during training. In our experiments on the WMT 14 English to German and English to French tasks, our approach improves the Transformer with a fixed 25k batch size by +0.73 and +0.82 BLEU respectively.


title: Informationally complete characters for quark and lepton mixings

abstract: A popular account of the mixing patterns for the three generations of quarks and leptons is through the characters $\kappa$ of a finite group $G$. Here we introduce a $d$-dimensional Hilbert space with $d=cc(G)$, the number of conjugacy classes of $G$. Groups under consideration should follow two rules, (a) the character table contains both two- and three-dimensional representations with at least one of them faithful and (b) there are minimal informationally complete measurements under the action of a $d$-dimensional Pauli group over the characters of these representations. Groups with small $d$ that satisfy these rules coincide in a large part with viable ones derived so far for reproducing simultaneously the CKM (quark) and PNMS (lepton) mixing matrices. Groups leading to physical $CP$ violation are singled out.


title: Identifying Preferences when Households are Financially Constrained

abstract: This paper shows that utilizing information on the extensive margin of financially constrained households can narrow down the set of admissible preferences in a large class of macroeconomic models. Estimates based on Spanish aggregate data provide further empirical support for this result and suggest that accounting for this margin can bring estimates closer to microeconometric evidence. Accounting for financial constraints and the extensive margin is shown to matter for empirical asset pricing and quantifying distortions in financial markets.


title: Light-matter hybrid-orbital-based first-principles methods: the influence of the polariton statistics

abstract: A detailed understanding of strong matter-photon interactions requires first-principle methods that can solve the fundamental Pauli-Fierz Hamiltonian of non-relativistic quantum electrodynamics efficiently. A possible way to extend well-established electronic-structure methods to this situation is to embed the Pauli-Fierz Hamiltonian in a higher-dimensional light-matter hybrid auxiliary configuration space. In this work we show the importance of the resulting hybrid Fermi-Bose statistics of the polaritons, which are the new fundamental particles of the ``photon-dressed'' Pauli-Fierz Hamiltonian for systems in cavities. We show that violations of these statistics can lead to unphysical results. We present an efficient way to ensure the proper symmetry of the underlying wave functions by enforcing representability conditions on the dressed one-body reduced density matrix. We further present a general prescription how to extend a given first-principles approach to polaritons and as an example introduce polaritonic Hartree-Fock theory. While being a single-reference method in polariton space, polaritonic Hartree-Fock is a multi-reference method in the electronic space, i.e. it describes electronic correlations. We also discuss possible applications to polaritonic QEDFT. We apply this theory to a lattice model and find that the more delocalized the bound-state wave function of the particles is, the stronger it reacts to photons. The main reason is that within a small energy range many states with different electronic configurations are available as opposed to a strongly bound (and hence energetically separated) ground-state wave function. This indicates that under certain conditions coupling to the quantum vacuum of a cavity can indeed modify ground state properties.


title: On projective billiards with open subsets of triangular orbits

abstract: Ivrii's Conjecture states that in every billiard in Euclidean space the set of periodic orbits has measure zero. It implies that for every $k\geq2$ there are no k-reflective billiards, i.e., billiards having an open set of k-periodic orbits. This conjecture is open in Euclidean spaces, with just few partial results. It is known that in the two-dimensional sphere there exist 3-reflective billiards (Yu.M.Baryshnikov). All the 3-reflective spherical billiards were classified in a paper by V.Blumen, K.Kim, J.Nance, V.Zharnitsky: the boundary of each of them lies in three orthogonal big circles. In the present paper we study the analogue of Ivrii's Conjecture for projective billiards introduced by S.Tabachnikov. In two dimensions there exists a 3-reflective projective billiard, the so-called right-spherical billiard, which is the projection of a spherical 3-reflective billiard. We show that the only 3-reflective planar projective billiard with piecewise smooth boundary is the above-mentioned right-spherical billiard. In higher dimensions, we prove the non-existence of 3-reflective projective billiards with piecewise smooth boundary, and also the non-existence of projective billiards with piecewise smooth boundary having a subset of triangular orbits of non-zero measure in the phase space.


title: Neural Syntactic Preordering for Controlled Paraphrase Generation

abstract: Paraphrasing natural language sentences is a multifaceted process: it might involve replacing individual words or short phrases, local rearrangement of content, or high-level restructuring like topicalization or passivization. Past approaches struggle to cover this space of paraphrase possibilities in an interpretable manner. Our work, inspired by pre-ordering literature in machine translation, uses syntactic transformations to softly "reorder'' the source sentence and guide our neural paraphrasing model. First, given an input sentence, we derive a set of feasible syntactic rearrangements using an encoder-decoder model. This model operates over a partially lexical, partially syntactic view of the sentence and can reorder big chunks. Next, we use each proposed rearrangement to produce a sequence of position embeddings, which encourages our final encoder-decoder paraphrase model to attend to the source words in a particular order. Our evaluation, both automatic and human, shows that the proposed system retains the quality of the baseline approaches while giving a substantial increase in the diversity of the generated paraphrases


title: New metric-affine generalizations of gravitational wave geometries

abstract: In this paper we explore generalizations of metric structures of the gravitational wave type to geometries containing an independent connection. The aim is simply to establish a new category of connections compatible, according to some criteria, to the known metric structures for gravitational waves and, additionally, provide some properties that can be useful for the search of solutions of this kind in different theories.


title: Semiflow selection to models of general compressible viscous fluids

abstract: We prove the existence of a semiflow selection with range the space of c\`agl\`ad, i.e. left--continuous and having right--hand limits functions defined on $[0,\infty)$ and taking values in a Hilbert space. Afterwards, we apply this abstract result to the system arising from a compressible viscous fluid with a barotropic pressure of the type $a\varrho^{\gamma}$, $\gamma \geq 1$, with a viscous stress tensor being a nonlinear function of the symmetric velocity gradient.


title: The late start of the mean velocity overlap layer at $y^+=\mathcal{O}(10^3)$ -- A generic feature of ducted turbulent flows

abstract: One of the key observations in the Princeton Superpipe was the late start of the logarithmic mean velocity overlap layer at a wall distance of the order of $10^3$ inner units. Between $y^+\approx 150$, the start of the overlap layer in zero pressure gradient turbulent boundary layers, and $y^+\approx 10^3$, the Superpipe profile is modeled equally well by a power law or a log-law with a larger slope than in the overlap layer. In this paper it is shown that the mean velocity profile in turbulent plane channel flow exhibits analogous characteristics, namely a sudden decrease of logarithmic slope (increase of $\kappa$) at a $y^+_{\mathrm{break}}\approx 600$, which marks the start of the actual overlap layer. This demonstration results from the first construction of the complete inner and outer asymptotic expansions up to order $\mathcal{O}(\mathrm{Re}_\tau)^{-1}$ from mean velocity profiles of direct numerical simulations (DNS) at moderate Reynolds numbers. A preliminary analysis of a Couette flow DNS, on the other hand, yields an increase of logarithmic slope (decrease of $\kappa$) at a $y^+_{\mathrm{break}}\approx 400$. The correlation between the sign of the slope change and the flow symmetry motivates the hypothesis that the breakpoint between the possibly universal short inner logarithmic region and the actual overlap log-law corresponds to the penetration depth of large-scale turbulent structures originating from the opposite wall.


title: Zeta functions and nonvanishing theorems for toric periods on $\mathrm{GL}_2$

abstract: Let $F$ be a number field and $D$ a quaternion algebra over $F$. Take a cuspidal automorphic representation $\pi$ of $D_\mathbb{A}^\times$ with trivial central cahracter. We study the zeta functions with period integrals on $\pi$ for the perhomogeneous vector space $(D^\times\times D^\times\times\mathrm{GL}_2, D\oplus D)$. We show their meromorphic continuation and functional equation, determine the location and orders of possible poles and compute the residue. Arguing along the theory of Saito and computing unramified local factors, the explicit formula of the zeta functions is obtained. Counting the order of possible poles of this explicit formula, we show that if $L(1/2, \pi)\neq0$, there are infinitely many quadratic extension $E$ of $F$ which embeds in $D$, such that $\pi$ has nonvanishing toric period with respect to $E$.


title: The MATHUSLA Test Stand

abstract: The rate of muons from LHC $pp$ collisions reaching the surface above the ATLAS interaction point is measured and compared with expected rates from decays of $W$ and $Z$ bosons and $b$- and $c$-quark jets. In addition, data collected during periods without beams circulating in the LHC provide a measurement of the background from cosmic ray inelastic backscattering that is compared to simulation predictions. Data were recorded during 2018 in a 2.5 $\times$ 2.5 $\times$ 6.5~$\rm{m}^3$ active volume MATHUSLA test stand detector unit consisting of two scintillator planes, one at the top and one at the bottom, which defined the trigger, and six layers of RPCs between them, grouped into three $(x,y)$-measuring layers separated by 1.74 m from each other. Triggers selecting both upward-going tracks and downward-going tracks were used.


title: How do algebras grow?

abstract: We construct an increasing, submultiplicative, arbitrarily rapid function which is not equivalent to the growth function of any finitely generated algebra, demonstrating the difficulty in characterizing growth functions in an asymptotic language.


title: Deep learning-based parameter mapping for joint relaxation and diffusion tensor MR Fingerprinting

abstract: Magnetic Resonance Fingerprinting (MRF) enables the simultaneous quantification of multiple properties of biological tissues. It relies on a pseudo-random acquisition and the matching of acquired signal evolutions to a precomputed dictionary. However, the dictionary is not scalable to higher-parametric spaces, limiting MRF to the simultaneous mapping of only a small number of parameters (proton density, T1 and T2 in general). Inspired by diffusion-weighted SSFP imaging, we present a proof-of-concept of a novel MRF sequence with embedded diffusion-encoding gradients along all three axes to efficiently encode orientational diffusion and T1 and T2 relaxation. We take advantage of a convolutional neural network (CNN) to reconstruct multiple quantitative maps from this single, highly undersampled acquisition. We bypass expensive dictionary matching by learning the implicit physical relationships between the spatiotemporal MRF data and the T1, T2 and diffusion tensor parameters. The predicted parameter maps and the derived scalar diffusion metrics agree well with state-of-the-art reference protocols. Orientational diffusion information is captured as seen from the estimated primary diffusion directions. In addition to this, the joint acquisition and reconstruction framework proves capable of preserving tissue abnormalities in multiple sclerosis lesions.


title: Rayleigh-B\'enard instability of an Ellis fluid saturating a porous medium

abstract: Unlike the power-law model, the Ellis model describes the apparent viscosity of a shear-thinning fluid with no singularity in the limit of a vanishingly small shear stress. In particular, this model matches the Newtonian behaviour when the shear stresses are very small. The emergence of the Rayleigh-B\'enard instability is studied when a horizontal pressure gradient, yielding a basic throughflow, is prescribed in a horizontal porous layer. The threshold conditions for the linear instability of this system are obtained both analytically and numerically. In the case of a negligible flow rate, the onset of the instability occurs for the same parametric conditions reported in the literature for a Newtonian fluid saturating a porous medium. On the other hand, when high flow rates are considered, a negligibly small temperature difference imposed across the horizontal boundaries is sufficient to trigger the convective instability.


title: Chasing Lions: Co-Designing Human-Drone Interaction in Sub-Saharan Africa

abstract: Drones are an exciting technology that is quickly being adopted in the global consumer market. Africa has become a center of deployment with the first drone airport established in Rwanda and drones currently being used for applications such as medical deliveries, agriculture, and wildlife monitoring. Despite this increasing presence of drones, there is a lack of research on stakeholders' perspectives from this region. We ran a human-drone interaction user study (N=15) with experts from several sub-Saharan countries using a co-design methodology. Participants described novel applications and identified important design aspects for the integration of drones in this context. Our results highlight the potential of drones to address real world problems, the need for them to be culturally situated, and the importance of considering the social aspects of their interaction with humans. This research highlights the need for diverse perspectives in the human-drone interaction design process.


title: From the Jordan product to Riemannian geometries on classical and quantum states

abstract: The Jordan product on the self-adjoint part of a finite-dimensional $C^{*}$-algebra $\mathscr{A}$ is shown to give rise to Riemannian metric tensors on suitable manifolds of states on $\mathscr{A}$, and the covariant derivative, the geodesics, the Riemann tensor, and the sectional curvature of all these metric tensors are explicitly computed. In particular, it is proved that the Fisher--Rao metric tensor is recovered in the Abelian case, that the Fubini--Study metric tensor is recovered when we consider pure states on the algebra $\mathcal{B}(\mathcal{H})$ of linear operators on a finite-dimensional Hilbert space $\mathcal{H}$, and that the Bures--Helstrom metric tensors is recovered when we consider faithful states on $\mathcal{B}(\mathcal{H})$. Moreover, an alternative derivation of these Riemannian metric tensors in terms of the GNS construction associated to a state is presented. In the case of pure and faithful states on $\mathcal{B}(\mathcal{H})$, this alternative geometrical description clarifies the analogy between the Fubini--Study and the Bures--Helstrom metric tensor.


title: Computational Prediction of Muon Stopping Sites: a Novel Take on the Unperturbed Electrostatic Potential Method

abstract: Finding the stopping site of the muon in a muon-spin relaxation experiment is one of the main problems of muon spectroscopy, and computational techniques that make use of quantum chemistry simulations can be of great help when looking for this stopping site. The most thorough approach would require the use of simulations - such as Density Functional Theory (DFT)- to test and optimise multiple possible sites, accounting for the effect that the added muon has on its surroundings. However, this can be computationally expensive and sometimes unnecessary. Hence, in this work we present a software implementation of the Unperturbed Electrostatic Method (UEP), which is an approach used for finding the muon stopping site in crystalline materials that calculates the minima of the electrostatic potential in the crystalline material, and estimates the stopping site of the muon relying on the approximation that the muon presence does not significantly affect its surroundings. One of the main assumptions of the UEP is that the muon stopping site will be one of the electrostatic potential minima in the crystalline material. In this regard, we also propose some symmetry-based considerations about the properties of the electrostatic potential of the crystalline material. In particular, which sites are more likely to be its minima and why the unperturbed approximation may be sufficiently robust for them. We introduce the Python software package pymuon-suite and the various utilities it provides to facilitate these calculations, and finally, we demonstrate the effectiveness of the method with some chosen example systems.


title: On relationship between trigonal and cubic symmetry classes of an elasticity tensor

abstract: In the literature, there is an ambiguity in defining the relationship between trigonal and cubic symmetry classes of an elasticity tensor. We discuss the issue by examining the eigensystems and symmetry groups of trigonal and cubic tensors. Additionally, we present numerical examples indicating that the sole verification of the eigenvalues can lead to confusion in the identification of the elastic symmetry.


title: Heterostructures of graphene and topological insulators Bi$_2$Se$_3$, Bi$_2$Te$_3$, and Sb$_2$Te$_3$

abstract: Prototypical three-dimensional topological insulators of the Bi$_2$Se$_3$ family provide a beautiful example of the appearance of the surface states inside the bulk band gap caused by spin-orbit coupling-induced topology. The surface states are protected against back scattering by time reversal symmetry, and exhibit spin-momentum locking whereby the electron spin is polarized perpendicular to the momentum, typically in the plane of the surface. On the other hand, graphene is a prototypical two-dimensional material, with negligible spin-orbit coupling. When graphene is placed on the surface of a topological insulator, giant spin-orbit coupling is induced by the proximity effect, enabling interesting novel electronic properties of its Dirac electrons. We present a detailed theoretical study of the proximity effects of monolayer graphene and topological insulators Bi$_2$Se$_3$, Bi$_2$Te$_3$, and Sb$_2$Te$_3$, and elucidate the appearance of the qualitatively new spin-orbit splittings well described by a phenomenological Hamiltonian, by analyzing the orbital decomposition of the involved band structures. This should be useful for building microscopic models of the proximity effects between the surfaces of the topological insulators and graphene.


title: Distance between natural numbers based on their prime signature

abstract: We define a new metric between natural numbers induced by the $\ell_\infty$ norm of their unique prime signatures. In this space, we look at the natural analog of the number line and study the arithmetic function $L_\infty(N)$, which tabulates the cumulative sum of distances between consecutive natural numbers up to $N$ in this new metric. Our main result is to identify the positive and finite limit of the sequence $L_\infty(N)/N$ as the expectation of a certain random variable. The main technical contribution is to show with elementary probability that for $K=1,2$ or $3$ and $\omega_0,\ldots,\omega_K\geq 2$ the following asymptotic density holds $$ \lim_{n\to\infty}\frac{\big|\big\{M\leq n:\; \|M-j\|_\infty <\omega_j \text{ for } j=0,\ldots,K \big\}\big|}{n} = \prod_{p:\, \mathrm{prime}}\! \bigg( 1- \sum_{j=0}^K\frac{1}{p^{\omega_j}} \bigg)~. $$ This is a generalization of the formula for $k$-free numbers, i.e. when $\omega_0=\ldots=\omega_K=k$. The random variable is derived from the joint distribution when $K=1$. As an application, we obtain a modified version of the prime number theorem. Our computations up to $N=10^{12}$ have also revealed that prime gaps show a considerably richer structure than on the traditional number line. Moreover, we raise additional open problems, which could be of independent interest.


title: Magnetic hexamers interacting in layers in the (Na,K)$_2$Cu$_3$O(SO$_4)_3$ minerals

abstract: Magnetic properties and underlying magnetic models of the synthetic A$_2$Cu$_3$O(SO$_4)_3$ fedotovite (A = K) and puninite (A = Na) minerals, as well as the mixed euchlorine-type NaKCu$_3$O(SO$_4)_3$ are reported. We show that all these compounds contain magnetic Cu$_6$ hexamer units, which at temperatures below about 100 K act as single spin-1 entities. Weak interactions between these magnetic molecules lead to long-range order below $T_N$ = 3.4 K (A = Na), 4.7 K (A = NaK), and about 3.0 K (A = K). The formation of the magnetic order is elucidated by ab initio calculations that reveal two-dimensional inter-hexamer interactions within crystallographic $bc$ planes. This model indicates the presence of a weakly distorted square lattice of $S=1$ magnetic ions and challenges the earlier description of the A$_2$Cu$_3$O(SO$_4)_3$ minerals in terms of Haldane spin chains.


title: IRIS Si IV Line Profiles at Flare Ribbons as Indications of Chromospheric Condensation

abstract: We present temporal variations of the Si IV line profiles at the flare ribbons in three solar flares observed by the Interface Region Imaging Spectrograph (IRIS). In the M1.1 flare on 2014 September 6 and the X1.6 flare on 2014 September 10, the Si IV line profiles evolve from wholly redshifted to red-wing enhanced with the flare development. However, in the B1.8 flare on 2016 December 2, the Si IV line profiles are wholly redshifted throughout the flare evolution. We fit the wholly redshifted line profiles with a single Gaussian function but the red-asymmetric ones with a double Gaussian function to deduce the corresponding Doppler velocities. In addition, we find that hard X-ray emission above 25 keV shows up in the two large flares, implying a nonthermal electron beam heating. In the microflare, there only appears weak hard X-ray emission up to 12 keV, indicative of a thermal heating mostly. We interpret the redshifts or red asymmetries of the Si IV line at the ribbons in the three flares as spectral manifestations of chromospheric condensation. We propose that whether the line appears to be wholly redshifted or red-asymmetric depends on the heating mechanisms and also on the propagation of the condensation.


title: The weak lower density condition and uniform rectifiability

abstract: We show that an Ahlfors $d$-regular set $E$ in $\mathbb{R}^{n}$ is uniformly rectifiable if the set of pairs $(x,r)\in E\times (0,\infty)$ for which there exists $y \in B(x,r)$ and $0<t<r$ satisfying $\mathscr{H}^{d}_{\infty}(E\cap B(y,t))<(2t)^{d}-\varepsilon(2r)^d$ is a Carleson set for every $\varepsilon>0$. To prove this, we generalize a result of Schul by proving, if $X$ is a $C$-doubling metric space, $\varepsilon,\rho\in (0,1)$, $A>1$, and $X_{n}$ is a sequence of maximal $2^{-n}$-separated sets in $X$, and $\mathscr{B}=\{B(x,2^{-n}):x\in X_{n},n\in \mathbb{N}\}$, then \[ \sum \left\{r_{B}^{s}: B\in \mathscr{B}, \frac{\mathscr{H}^{s}_{\rho r_{B}}(X\cap AB)}{(2r_{B})^{s}}>1+\varepsilon\right\} \lesssim_{C,A,\varepsilon,\rho,s} \mathscr{H}^{s}(X). \] This is a quantitative version of the classical result that for a metric space $X$ of finite $s$-dimensional Hausdorff measure, the upper $s$-dimensional densities are at most $1$ $\mathscr{H}^{s}$-almost everywhere.


title: Sense-Assess-eXplain (SAX): Building Trust in Autonomous Vehicles in Challenging Real-World Driving Scenarios

abstract: This paper discusses ongoing work in demonstrating research in mobile autonomy in challenging driving scenarios. In our approach, we address fundamental technical issues to overcome critical barriers to assurance and regulation for large-scale deployments of autonomous systems. To this end, we present how we build robots that (1) can robustly sense and interpret their environment using traditional as well as unconventional sensors; (2) can assess their own capabilities; and (3), vitally in the purpose of assurance and trust, can provide causal explanations of their interpretations and assessments. As it is essential that robots are safe and trusted, we design, develop, and demonstrate fundamental technologies in real-world applications to overcome critical barriers which impede the current deployment of robots in economically and socially important areas. Finally, we describe ongoing work in the collection of an unusual, rare, and highly valuable dataset.


title: On recovery guarantees for angular synchronization

abstract: The angular synchronization problem of estimating a set of unknown angles from their known noisy pairwise differences arises in various applications. It can be reformulated as a optimization problem on graphs involving the graph Laplacian matrix. We consider a general, weighted version of this problem, where the impact of the noise differs between different pairs of entries and some of the differences are erased completely; this version arises for example in ptychography. We study two common approaches for solving this problem, namely eigenvector relaxation and semidefinite convex relaxation. Although some recovery guarantees are available for both methods, their performance is either unsatisfying or restricted to the unweighted graphs. We close this gap, deriving recovery guarantees for the weighted problem that are completely analogous to the unweighted version.


title: Diffraction losses of a Fabry-Perot cavity with nonidentical non-spherical mirrors

abstract: Optical cavities with both optimized resonant conditions and high quality factors are important metrological tools. In particular, they are used for laser gravitational wave (GW) detectors. It is necessary to suppress the parametric instability by damping the resonant conditions of harmful higher order optical modes (HOOM) in order to have high cavity powers in GW detectors. This can be achieved effectively by using non spherical mirrors in symmetric Fabry-Perot (FP) cavities by increasing roundtrip losses of HOOMs. Fabry-Perot cavities in most of the GW detectors have non-identical mirrors to optimize clipping losses and reduce thermal noise by reducing the beam size on one side of the cavity facing to the beam splitter and recycling cavities. We here present a general method to design non spherical non-identical mirrors in non-symmetric FP cavities to damp HOOMs. The proposed design allows to the suppress the loss of the arm power caused by point absorbers on test masses.


title: Stocks Vote with Their Feet: Can a Piece of Paper Document Fights the COVID-19 Pandemic?

abstract: Assessing the trend of the COVID-19 pandemic and policy effectiveness is essential for both policymakers and stock investors, but challenging because the crisis has unfolded with extreme speed and the previous index was not suitable for measuring policy effectiveness for COVID-19. This paper builds an index of policy effectiveness on fighting COVID-19 pandemic, whose building method is similar to the index of Policy Uncertainty, based on province-level paper documents released in China from Jan.1st to Apr.16th of 2020. This paper also studies the relationships among COVID-19 daily confirmed cases, stock market volatility, and document-based policy effectiveness in China. This paper uses the DCC-GARCH model to fit conditional covariance's change rule of multi-series. This paper finally tests four hypotheses, about the time-space difference of policy effectiveness and its overflow effect both on the COVID-19 pandemic and stock market. Through the inner interaction of this triad structure, we can bring forward more specific and scientific suggestions to maintain stability in the stock market at such exceptional times.


title: Information entropy in cosmological inference problems

abstract: The subject of this paper is a quantification of the information content of cosmological probes of the large-scale structures, specifically of temperature and polarisation anisotropies in the cosmic microwave background, CMB-lensing, weak cosmic shear and galaxy clustering, in terms of Information theory measures like information entropies. We aim to establish relationships for Gaussian likelihoods, between conventional measures of statistical uncertainties and information entropies. Furthermore, we extend these studies to the computation of (Bayesian) evidences and the power of measurement to distinguish between competing models. We investigate in detail how cosmological data decreases information entropy by reducing statistical errors and by breaking degeneracies. In addition, we work out how tensions between data sets increase information entropy and quantify this effect in three examples: the discrepancy in $\Omega_m$ and $\sigma_8$ between the CMB and weak lensing, the role of intrinsic alignments in weak lensing data when attempting the dark energy equation of state parameters, and the famous $H_0$-tension between Cepheids in the Hubble keystone project and the cosmic microwave background as observed by Planck.


title: Embedding $\mathbb{Q}$ into a Finitely Presented Group

abstract: We observe that the group of all lifts of elements of Thompson's group $T$ to the real line is finitely presented and contains the additive group $\mathbb{Q}$ of the rational numbers. This gives an explicit realization of the Higman embedding theorem for $\mathbb{Q}$, answering a Kourovka notebook question of Martin Bridson and Pierre de la Harpe.


title: AoI-based Finite Horizon Scheduling for Heterogeneous Networked Control Systems

abstract: Age of information (AoI) measures information freshness at the receiver. AoI may provide insights into quality of service in communication systems. For this reason, it has been used as a cross-layer metric for wireless communication protocols. In this work, we employ AoI to calculate penalty functions for a centralized resource scheduling problem. We consider a single wireless link shared by multiple, heterogeneous control systems where each sub-system has a time-varying packet loss probability. Sub-systems are competing for network resources to improve the accuracy of their remote estimation process. In order to cope with the dynamically changing conditions of the wireless link, we define a finite horizon age-penalty minimization problem and propose a scheduler that takes optimal decisions by looking $H$ slots into the future. The proposed algorithm has a worst-case complexity that grows exponentially with $H$. However, by narrowing down our search space within the constrained set of actions, we are able to decrease the complexity significantly without losing optimality. On the contrary, we show by simulations that the benefit of increasing $H$ w.r.t. remote state estimation performance diminishes after a certain $H$ value.


title: Contribution on The Intrinsic Ergodicity of the Negative Beta-shift

abstract: Let $ \beta $ be a real number less than -1. In this paper, we prove the uniqueness of the measure with maximal entropy of the negative $\beta$-shift. Endowed with the shift, this symbolic dynamical system is coded under certain conditions, but in all cases, it is shown that the measure with maximal entropy is carried by a support coded by a recurrent positive code. One of the difference between the positive and the negative $\beta$-shift is the existence of gaps in the system for certain negative values of $ \beta $ . These are intervals of negative $\beta$-representations (cylinders) negligible with respect to the measure with maximal entropy, which is a measure of Champernown.


title: Ensemble Kalman filter for neural network based one-shot inversion

abstract: We study the use of novel techniques arising in machine learning for inverse problems. Our approach replaces the complex forward model by a neural network, which is trained simultaneously in a one-shot sense when estimating the unknown parameters from data, i.e. the neural network is trained only for the unknown parameter. By establishing a link to the Bayesian approach to inverse problems, an algorithmic framework is developed which ensures the feasibility of the parameter estimate w.r. to the forward model. We propose an efficient, derivative-free optimization method based on variants of the ensemble Kalman inversion. Numerical experiments show that the ensemble Kalman filter for neural network based one-shot inversion is a promising direction combining optimization and machine learning techniques for inverse problems.


title: Holographic Naturalness and Topological Phase Transitions

abstract: We show that our Universe lives in a topological and non-perturbative vacuum state full of a large amount of hidden quantum hairs, the hairons. We will discuss and elaborate on theoretical evidences that the quantum hairs are related to the gravitational topological winding number in vacuo. Thus, hairons are originated from topological degrees of freedom, holographically stored in the de Sitter area. The hierarchy of the Planck scale over the Cosmological Constant (CC) is understood as an effect of a Topological Memory intrinsically stored in the space-time geometry. Any UV quantum destabilizations of the CC are re-interpreted as Topological Phase Transitions, related to the desapparence of a large ensamble of topological hairs. This process is entropically suppressed, as a tunneling probability from the N- to the 0-states. Therefore, the tiny CC in our Universe is a manifestation of the rich topological structure of the space-time. In this portrait, a tiny neutrino mass can be generated by quantum gravity anomalies and accommodated into a large N-vacuum state. We will re-interpret the CC stabilization from the point of view of Topological Quantum Computing. An exponential degeneracy of topological hairs non-locally protects the space-time memory from quantum fluctuations as in Topological Quantum Computers.


title: Calibration database for the Murchison Widefield Array All-Sky Virtual Observatory

abstract: We present a calibration component for the Murchison Widefield Array All-Sky Virtual Observatory (MWA ASVO) utilising a newly developed PostgreSQL database of calibration solutions. Since its inauguration in 2013, the MWA has recorded over thirty-four petabytes of data archived at the Pawsey Supercomputing Centre. According to the MWA Data Access policy, data become publicly available eighteen months after collection. Therefore, most of the archival data are now available to the public. Access to public data was provided in 2017 via the MWA ASVO interface, which allowed researchers worldwide to download MWA uncalibrated data in standard radio astronomy data formats (CASA measurement sets or UV FITS files). The addition of the MWA ASVO calibration feature opens a new, powerful avenue for researchers without a detailed knowledge of the MWA telescope and data processing to download calibrated visibility data and create images using standard radio-astronomy software packages. In order to populate the database with calibration solutions from the last six years we developed fully automated pipelines. A near-real-time pipeline has been used to process new calibration observations as soon as they are collected and upload calibration solutions to the database, which enables monitoring of the interferometric performance of the telescope. Based on this database we present an analysis of the stability of the MWA calibration solutions over long time intervals.


title: SROM: Simple Real-time Odometry and Mapping using LiDAR data for Autonomous Vehicles

abstract: In this paper, we present SROM, a novel real-time Simultaneous Localization and Mapping (SLAM) system for autonomous vehicles. The keynote of the paper showcases SROM's ability to maintain localization at low sampling rates or at high linear or angular velocities where most popular LiDAR based localization approaches get degraded fast. We also demonstrate SROM to be computationally efficient and capable of handling high-speed maneuvers. It also achieves low drifts without the need for any other sensors like IMU and/or GPS. Our method has a two-layer structure wherein first, an approximate estimate of the rotation angle and translation parameters are calculated using a Phase Only Correlation (POC) method. Next, we use this estimate as an initialization for a point-to-plane ICP algorithm to obtain fine matching and registration. Another key feature of the proposed algorithm is the removal of dynamic objects before matching the scans. This improves the performance of our system as the dynamic objects can corrupt the matching scheme and derail localization. Our SLAM system can build reliable maps at the same time generating high-quality odometry. We exhaustively evaluated the proposed method in many challenging highways/country/urban sequences from the KITTI dataset and the results demonstrate better accuracy in comparisons to other state-of-the-art methods with reduced computational expense aiding in real-time realizations. We have also integrated our SROM system with our in-house autonomous vehicle and compared it with the state-of-the-art methods like LOAM and LeGO-LOAM.


title: The oriented swap process and last passage percolation

abstract: We present new probabilistic and combinatorial identities relating three random processes: the oriented swap process on $n$ particles, the corner growth process, and the last passage percolation model. We prove one of the probabilistic identities, relating a random vector of last passage percolation times to its dual, using the duality between the Robinson-Schensted-Knuth and Burge correspondences. A second probabilistic identity, relating those two vectors to a vector of 'last swap times' in the oriented swap process, is conjectural. We give a computer-assisted proof of this identity for $n\le 6$ after first reformulating it as a purely combinatorial identity, and discuss its relation to the Edelman-Greene correspondence. The conjectural identity provides precise finite-$n$ and asymptotic predictions on the distribution of the absorbing time of the oriented swap process, thus conditionally solving an open problem posed by Angel, Holroyd and Romik.


title: Geometric approach to fragile topology beyond symmetry indicators

abstract: We present a framework to systematically address topological phases when finer partitionings of bands are taken into account, rather than only considering the two subspaces spanned by valence and conduction bands. Focusing on $C_2\mathcal{T}$-symmetric systems that have gained recent attention, for example in the context of layered van-der-Waals graphene heterostructures, we relate these insights to homotopy groups of Grassmannians and flag varieties, which in turn correspond to cohomology classes and Wilson-flow approaches. We furthermore make use of a geometric construction, the so-called Pl\"ucker embedding, to induce windings in the band structure necessary to facilitate non-trivial topology. Specifically, this directly relates to the parametrization of the Grassmannian, which describes partitioning of an arbitrary band structure and is embedded in a better manageable exterior product space. From a physical perspective, our construction encapsulates and elucidates the concepts of fragile topological phases beyond symmetry indicators as well as non-Abelian reciprocal braiding of band nodes that arises when the multiple gaps are taken into account. The adopted geometric viewpoint most importantly culminates in a direct and easily implementable method to construct model Hamiltonians to study such phases, constituting a versatile theoretical tool.


title: On Daugavet indices of thickness

abstract: Inspired by R. Whitley's thickness index the last named author recently introduced the Daugavet index of thickness of Banach spaces. We continue the investigation of the behavior of this index and also consider two new versions of the Daugavet index of thickness, which helps us solve an open problem which connect the Daugavet indices with the Daugavet equation. Moreover, we will improve the formerly known estimates of the behavior of Daugavet index on direct sums of Banach spaces by establishing sharp bounds. As a consequence of our results we prove that, for every $0<\delta<2$, there exists a Banach space where the infimum of the diameter of convex combinations of slices of the unit ball is exactly $\delta$, solving an open question from the literature. Finally, we prove that an open question posed by Ivakhno in 2006 about the relation between the radius and diameter of slices has a negative answer.


title: Energy Efficiency Optimization for NOMA UAV Network with Imperfect CSI

abstract: Unmanned aerial vehicles (UAVs) are developing rapidly owing to flexible deployment and access services as air base stations. However, the channel errors of low-altitude communication links formed by mobile deployment of UAVs cannot be ignored. And the energy efficiency of the UAVs communication with imperfect channel state information (CSI) hasnt been well studied yet. Therefore, we focus on system performance optimization in non-orthogonal multiple access (NOMA) UAV network considering imperfect CSI between the UAV and users. A suboptimal resource allocation scheme including user scheduling and power allocation is designed for maximizing energy efficiency. Because of the nonconvexity of optimization function with an probability constraint for imperfect CSI, the original problem is converted into a non-probability problem and then decoupled into two convex subproblems. First, a user scheduling method is applied in the two-side matching of users and subchannels by the difference of convex programming. Then based on user scheduling, the energy efficiency in UAV cells is optimized through a suboptimal power allocation algorithm by successive convex approximation method. The simulation results prove that the proposed algorithm is effective compared with existing resource allocation schemes.


title: A matching theory to characterize sound emission during vortex reconnection in quantum fluids

abstract: In a concurrent work, Villois et al. 2020 reported the evidence that vortex reconnections in quantum fluids follow an irreversible dynamics, namely vortices separate faster than they approach; such time-asymmetry is explained by using simple conservation arguments. In this work we develop further these theoretical considerations and provide a detailed study of the vortex reconnection process for all the possible geometrical configurations of the order parameter (superfluid) wave function. By matching the theoretical description of incompressible vortex filaments and the linear theory describing locally vortex reconnections, we determine quantitatively the linear momentum and energy exchanges between the incompressible (vortices) and the compressible (density waves) degrees of freedom of the superfluid. We show theoretically and corroborate numerically, why a unidirectional density pulse must be generated after the reconnection process and why only certain reconnecting angles, related to the rates of approach and separations, are allowed. Finally, some aspects concerning the conservation of centre-line helicity during the reconnection process are discussed.


title: Irreversible dynamics of vortex reconnections in quantum fluids

abstract: We statistically study vortex reconnections in quantum fluids by evolving different realizations of vortex Hopf links using the Gross--Pitaevskii model. Despite the time-reversibility of the model, we report a clear evidence that the dynamics of the reconnection process is time-irreversible, as reconnecting vortices tend to separate faster than they approach. Thanks to a matching theory devised concurrently in Proment and Krstulovic (arXiv:2005.02047), we quantitatively relate the origin of this asymmetry to the generation of a sound pulse after the reconnection event. Our results have the prospect of being tested in several quantum fluid experiments and, theoretically, may shed new light on the energy transfer mechanisms in both classical and quantum turbulent fluids.


title: Exploring Contextual Word-level Style Relevance for Unsupervised Style Transfer

abstract: Unsupervised style transfer aims to change the style of an input sentence while preserving its original content without using parallel training data. In current dominant approaches, owing to the lack of fine-grained control on the influence from the target style,they are unable to yield desirable output sentences. In this paper, we propose a novel attentional sequence-to-sequence (Seq2seq) model that dynamically exploits the relevance of each output word to the target style for unsupervised style transfer. Specifically, we first pretrain a style classifier, where the relevance of each input word to the original style can be quantified via layer-wise relevance propagation. In a denoising auto-encoding manner, we train an attentional Seq2seq model to reconstruct input sentences and repredict word-level previously-quantified style relevance simultaneously. In this way, this model is endowed with the ability to automatically predict the style relevance of each output word. Then, we equip the decoder of this model with a neural style component to exploit the predicted wordlevel style relevance for better style transfer. Particularly, we fine-tune this model using a carefully-designed objective function involving style transfer, style relevance consistency, content preservation and fluency modeling loss terms. Experimental results show that our proposed model achieves state-of-the-art performance in terms of both transfer accuracy and content preservation.


title: Surface Defects from Fractional Branes -- I

abstract: We show that the Gukov-Witten monodromy defects of supersymmetric Yang-Mills theory can be realized in perturbative string theory by considering an orbifold background of the Kanno-Tachikawa type and placing stacks of fractional D3-branes whose world-volume partially extends along the orbifold directions. In particular, we show that turning on a constant background value for some scalar fields in the closed string twisted sectors induces a non-trivial profile for the gauge field and one of the complex scalars of the world-volume theory, and that this profile exactly matches the singular behavior that one expects for a Gukov-Witten surface defect in the $\mathcal{N}=4$ super Yang-Mills theory. To keep the presentation as simple as possible, in this work we restrict our analysis to surface defects corresponding to a $\mathbb{Z}_2$ orbifold and defer the study of the most general case to a companion paper.


title: Validity of the nonlinear Schr\"odinger approximation for quasilinear dispersive systems with more than one derivative

abstract: For nonlinear dispersive systems, the nonlinear Schr\"odinger (NLS) equation can usually be derived as a formal approximation equation describing slow spatial and temporal modulations of the envelope of a spatially and temporally oscillating underlying carrier wave. Here, we justify the NLS approximation for a whole class of quasilinear dispersive systems, which also includes toy models for the waterwave problem. This is the first time that this is done for systems, where a quasilinear quadratic term is allowed to effectively lose more than one derivative. With effective loss we here mean the loss still present after making a diagonalization of the linear part of the system such that all linear operators in this diagonalization have the same regularity properties.


title: Examining supernova events in Type 1 active galactic nuclei

abstract: A statistical study of intermediate Palomar Transient Factory supernovae (SNe) in Type 1 AGN has shown a major deficit of supernovae around Type 1 AGN host galaxies, with respect to Type 2 AGN hosts. The aim of this work is to test whether there is any preference for Type 1 AGN to host SN of a specific kind. Through the analysis of SN occurrence and their type (thermonuclear vs core-collapse), we can directly link the type of stars producing the SN events, thus this is an indirect way to study host galaxies in Type 1 AGN. We examine the detection fractions of SNe, the host galaxies and compare the sample properties to typical host galaxies in the Open Supernova Catalog (OSC; Guillochon et al. 2017). The majority of the host galaxies in the AGN sample are late-type, similar to typical galaxies hosting SN within the OSC. The findings are supportive of a deficiency of SNe near Type 1 AGN, although we cannot with certainty assess the overall detection fractions of SNe in Type 1 AGN relative to other SN host galaxies. We can state that Type 1 AGN has equal detection fractions of thermonuclear vs core-collapse SNe. However, we note the possibility of a higher detection rate of core-collapse supernovae in Type-1 AGN with insecure AGN classifications.


title: Gravitational Burst Radiation from Pulsars in the Galactic centre and stellar clusters

abstract: Pulsars (PSRs) orbiting intermediate or supermassive black holes at the centre of galaxies and globular clusters are known as Extreme Mass Ratio Binaries (EMRBs) and have been identified as precision probes of strong-field GR. For appropriate orbital parameters, some of these systems may also emit gravitational radiation in a `burst-like' pattern. The observation of this burst radiation in conjunction with the electromagnetic radio timing signal would allow for multimessenger astronomy in strong-field gravitational regimes. In this work we investigate gravitational radiation from these PSR-EMRBs, calculating the waveforms and SNRs and explore the influence of this GW on the pulsar radio signal. We find that for typical PSR-EMRBs, gravitational burst radiation should be detectable from both the Galactic centre and the centre of stellar clusters, and that this radiation will not meaningfully affect the pulsar timing signal, allowing PSR-EMRB to remain `clean' test-beds of strong-field GR.


title: Large polarons as key quasiparticles in SrTiO3 and SrTiO3-based heterostructures

abstract: Despite its simple structure and low degree of electronic correlation, SrTiO$_3$ (STO) features collective phenomena linked to charge transport and, ultimately, superconductivity, that are not yet fully explained. Thus, a better insight in the nature of the quasiparticles shaping the electronic and conduction properties of STO is needed. We studied the low energy excitations of bulk STO and of the LaAlO$_{3}$/SrTiO$_{3}$ two dimensional electron gas (2DEG) by Ti L$_3$ edge resonant inelastic x-ray scattering. In all samples, we find the hallmark of polarons in the form of intense $dd$+phonon excitations, and a decrease of the LO3-mode electron-phonon coupling when going from insulating to highly conducting STO single crystals and heterostructures. Both results are attributed to the dynamic screening of the large polaron self-induced polarization, showing that the low temperature physics of STO and STO-based 2DEGs is dominated by large polaron quasiparticles.


title: On full asymptotics of analytic torsions for compact locally symmetric orbifolds

abstract: We consider a certain sequence of flat vector bundles on a compact locally symmetric orbifold, and we evaluate explicitly the associated asymptotic Ray-Singer real analytic torsion. The basic idea is to computing the heat trace via Selberg's trace formula, so that a key point in this paper is to evaluate the orbital integrals associated with nontrivial elliptic elements. For that purpose, we deduce a geometric localization formula, so that we can rewrite an elliptic orbital integral as a sum of certain identity orbital integrals associated with the centralizer of that elliptic element. The explicit geometric formula of Bismut for semisimple orbital integrals plays an essential role in these computations.


title: Uniqueness of differential characters and differential K-theory via homological algebra

abstract: In Proc Math Sci 129, 70(219), Rakesh Pawar considers and solves a certain extension problem. In this note, we observe that the existence and uniqueness of differential characters (defined as objects which fit into a hexagon diagram) follow directly from Rakesh Pawar's results. This provides an alternate proof of a weaker version of the results of J. Simons and D. Sullivan, Journal of Topology, 2008, vol 1:45-56. Further this approach directly shows that the hexagon diagram uniquely determines the differential K-theory groups upto an isomorphism.


abstract: Neural networks are effective function approximators, but hard to train in the reinforcement learning (RL) context mainly because samples are correlated. For years, scholars have got around this by employing experience replay or an asynchronous parallel-agent system. This paper proposes Discrete-to-Deep Supervised Policy Learning (D2D-SPL) for training neural networks in RL. D2D-SPL discretises the continuous state space into discrete states and uses actor-critic to learn a policy. It then selects from each discrete state an input value and the action with the highest numerical preference as an input/target pair. Finally it uses input/target pairs from all discrete states to train a classifier. D2D-SPL uses a single agent, needs no experience replay and learns much faster than state-of-the-art methods. We test our method with two RL environments, the Cartpole and an aircraft manoeuvring simulator.


title: Spontaneous color polarization as a modus originis of the dynamic aether

abstract: We suggest the phenomenological model of emergence of the dynamic aether as a result of decay of the SU(N) symmetric field configuration containing the multiplet of vector fields. The scenario of the transition to the dynamic aether, which is characterized by one unit timelike vector field associated with the aether velocity, is based on the idea of spontaneous color polarization analogous to the spontaneous electric polarization in ferroelectric materials. The mechanism of spontaneous color polarization is described in the framework of anisotropic cosmological model of the Bianchi-I type; it involves into consideration the idea of critical behavior of the eigenvalues of the tensor of color polarization in the course of the Universe accelerated expansion. The interim stage of transition from the color aether to the canonic dynamic aether takes the finite period of time, the duration of which is predetermined by the phenomenologically introduced critical value of the expansion scalar.


title: A new approach to Baer and dual Baer modules

abstract: Let $R$ be a ring. It is proved that an $R$-module $M$ is Baer (resp. dual Baer) if and only if every exact sequence $0\rightarrow X\rightarrow M\rightarrow Y\rightarrow 0$ with $Y\in$ Cog$(M_R)$ (resp. $X\in$ Gen$(M_R)$) splits. This shows that being (dual) Baer is a Morita invariant property. As more applications, the Baer condition for the $R$-module $M^+ $ = Hom$_{\Bbb Z}(M,{\Bbb Q}/{\Bbb Z})$ is investigated and shown that $R$ is a von Neumann regular ring, if $R^+$ is a Baer $R$-module. Baer modules with (weak) chain conditions are studied and determined when a Baer (resp. dual baer) module is a direct sum of mutually orthogonal prime (resp. co-prime) modules. Finitely generated dual Baer modules over commutative rings are studeid


title: An investigation into the minimum number of tissue groups required for 7T in-silico parallel transmit electromagnetic safety simulations in the human head

abstract: Purpose: Safety limits for the permitted Specific Absorption Rate (SAR) place restrictions on pulse sequence design, especially at ultra-high fields ($\geq 7$ tesla). Due to inter-subject variability, the SAR is usually conservatively estimated based on standard human models that include an applied safety margin to ensure safe operation. One approach to reducing the restrictions is to create more accurate subject-specific models from their segmented MR images. This study uses electromagnetic simulations to investigate the minimum number of tissue groups required to accurately determine SAR in the human head. Methods: Tissue types from a fully characterized electromagnetic human model with 47 tissue types in the head and neck region were grouped into different tissue clusters based on the conductivities, permittivities, and mass densities of the tissues. Electromagnetic simulations of the head model inside a parallel transmit (pTx) head coil at 7T were used to determine the minimum number of required tissue clusters to accurately determine the subject-specific SAR. The identified tissue clusters were then evaluated using two additional well-characterized electromagnetic human models. Results: A minimum of 4 clusters plus air was found to be required for accurate SAR estimation. These tissue clusters are centered around gray matter, fat, cortical bone, and cerebrospinal fluid. For all three simulated models the pTx maximum 10gSAR was consistently determined to within an error of <12% relative to the full 47-tissue model. Conclusion: A minimum of 4 clusters plus air are required to produce accurate personalized SAR simulations of the human head when using pTx at 7T.


title: Privately Connecting Mobility to Infectious Diseases via Applied Cryptography

abstract: Recent work has shown that cell phone mobility data has the unique potential to create accurate models for human mobility and consequently the spread of infected diseases. While prior studies have exclusively relied on a mobile network operator's subscribers' aggregated data in modelling disease dynamics, it may be preferable to contemplate aggregated mobility data of infected individuals only. Clearly, naively linking mobile phone data with health records would violate privacy by either allowing to track mobility patterns of infected individuals, leak information on who is infected, or both. This work aims to develop a solution that reports the aggregated mobile phone location data of infected individuals while still maintaining compliance with privacy expectations. To achieve privacy, we use homomorphic encryption, validation techniques derived from zero-knowledge proofs, and differential privacy. Our protocol's open-source implementation can process eight million subscribers in 70 minutes.


title: Soundness of Dark Energy properties

abstract: Type Ia Supernovae (SNeIa) used as standardizable candles have been instrumental in the discovery of cosmic acceleration, usually attributed to some form of dark energy (DE). Recent studies have raised the issue of whether intrinsic SNeIa luminosities might evolve with redshift. While the evidence for cosmic acceleration is robust to this possible systematic, the question remains of how much the latter can affect the inferred properties of the DE component responsible for cosmic acceleration. This is the question we address in this work. We use SNeIa distance moduli measurements from the Pantheon and JLA samples. We consider models where the DE equation of state is a free parameter, either constant or time-varying, as well as models where DE and dark matter interact, and finally a model-agnostic parametrization of effects due to modified gravity (MG). When SNeIa data are combined with Cosmic Microwave Background (CMB) temperature and polarization anisotropy measurements, we find strong degeneracies between parameters governing the SNeIa systematics, the DE parameters, and the Hubble constant $H_0$. These degeneracies significantly broaden the DE parameter uncertainties, in some cases leading to ${\cal O}(\sigma)$ shifts in the central values. However, including low-redshift Baryon Acoustic Oscillation and Cosmic Chronometer measurements, as well as CMB lensing measurements, considerably improves the previous constraints, and the only remaining effect of the examined systematic is a $\lesssim 40\%$ broadening of the uncertainties on the DE parameters. The constraints we derive on the MG parameters are instead basically unaffected by the systematic in question. We therefore confirm the overall soundness of dark energy properties.


title: Quasiarithmetic-type invariant means on probability space

abstract: For a family $(\mathscr{A}_x)_{x \in (0,1)}$ of integral quasiarithmetic means sattisfying certain measurability-type assumptions we search for an integral mean $K$ such that $K\big((\mathscr{A}_x(\mathbb{P}))_{x \in (0,1)}\big)=K(\mathbb{P})$ for every compactly supported probabilistic Borel measure $\mathbb{P}$. Also some results concerning the uniqueness of invariant means will be given.


title: Degree 5 polynomials and Descartes' rule of signs

abstract: For a univariate real polynomial without zero coefficients, Descartes' rule of signs (completed by an observation of Fourier) says that its numbers $pos$ of positive and $neg$ of negative roots (counted with multiplicity) are majorized respectively by the numbers $c$ and $p$ of sign changes and sign preservartions in the sequence of its coefficients, and that the differences $c-pos$ and $p-neg$ are even numbers. For degree 5 polynomials, it has been proved by A.~Albouy and Y.~Fu that there exist no such polynomials having three distinct positive and no negative roots and whose signs of the coefficients are $(+,+,-,+,-,-)$ (or having three distinct negative and no positive roots and whose signs of the coefficients are $(+,-,-,-,-,+)$). For degree 5 and when the leading coefficient is positive, these are all cases of numbers of positive and negative roots (all distinct) and signs of the coefficients which are compatible with Descartes' rule of signs, but for which there exist no such polynomials. We explain this non-existence and the existence in all other cases with $d=5$ by means of pictures showing the discriminant set of the family of polynomials $x^5+x^4+ax^3+bx^2+cx+d$ together with the coordinate axes.


title: Local Scale Invariant Kaluza-Klein Reduction

abstract: We perform the 4-dimensional Kaluza-Klein (KK) reduction of the 5-dimensional locally scale invariant Weyl-Dirac gravity. While compactification unavoidably introduces an explicit length scale into the theory, it does it in such a way that the KK radius can be integrated out from the low energy regime, leaving the KK vacuum to still enjoy local scale invariance at the classical level. Imitating a $U(1)\times\tilde{U}(1)$ gauge theory, the emerging 4D theory is characterized by a kinetic Maxwell-Weyl mixing whose diagonalization procedure is carried out in detail. In particular, we identify the unique linear combination which defines the 4D Weyl vector, and fully classify the 4D scalar sector. The later consists of (using Weyl language) a co-scalar and two in-scalars. The analysis is performed for a general KK $m$-ansatz, parametrized by the power $m$ of the scalar field which factorizes the 4D metric. The no-ghost requirement, for example, is met provided $-\frac{1}{2}\leq m \leq 0$. An $m$-dependent dictionary is then established between the original 5D Brans-Dicke parameter $\omega_5$ and the resulting 4D $\omega_4$. The critical $\omega_5=-\frac{4}{3}$ is consistently mapped into critical $\omega_4 = -\frac{3}{2}$. The KK reduced Maxwell-Weyl kinetic mixing cannot be scaled away as it is mediated by a 4D in-scalar (residing within the 5D Weyl vector). The mixing is explicitly demonstrated within the Einstein frame for the special physically motivated choice of $m=-\frac{1}{3}$. For instance, a super critical Brans-Dicke parameter induces a tiny positive contribution to the original (if introduced via the 5-dimensional scalar potential) cosmological constant. Finally, some no-scale quantum cosmological aspects are studied at the universal mini-superspace level.


title: Unsupervised Instance Segmentation in Microscopy Images via Panoptic Domain Adaptation and Task Re-weighting

abstract: Unsupervised domain adaptation (UDA) for nuclei instance segmentation is important for digital pathology, as it alleviates the burden of labor-intensive annotation and domain shift across datasets. In this work, we propose a Cycle Consistency Panoptic Domain Adaptive Mask R-CNN (CyC-PDAM) architecture for unsupervised nuclei segmentation in histopathology images, by learning from fluorescence microscopy images. More specifically, we first propose a nuclei inpainting mechanism to remove the auxiliary generated objects in the synthesized images. Secondly, a semantic branch with a domain discriminator is designed to achieve panoptic-level domain adaptation. Thirdly, in order to avoid the influence of the source-biased features, we propose a task re-weighting mechanism to dynamically add trade-off weights for the task-specific loss functions. Experimental results on three datasets indicate that our proposed method outperforms state-of-the-art UDA methods significantly, and demonstrates a similar performance as fully supervised methods.


title: Transverse coronal loop oscillations excited by homologous circular-ribbon flares

abstract: We report our multiwavelength observations of two homologous circular-ribbon flares (CRFs) in active region 11991 on 2014 March 5, focusing on the transverse oscillations of an extreme-ultraviolet (EUV) loop excited by the flares. The transverse oscillations are of fast standing kink-mode. The first-stage oscillation triggered by the C2.8 flare is decayless with lower amplitudes (310$-$510 km). The periods (115$-$118 s) in different wavelengths are nearly the same, indicating coherent oscillations. The magnetic field of the loop is estimated to be 65$-$78 G. The second-stage oscillation triggered by the M1.0 flare is decaying with larger amplitudes (1250$-$1280 km). The periods decreases from 117 s in 211 {\AA} to 70 s in 171 {\AA}, implying a decrease of loop length or an implosion after a gradual expansion. The damping time, being 147$-$315 s, increases with the period, so that the values of $\tau/P$ are close to each other in different wavelengths. The thickness of the inhomogeneous layer is estimated to be $\sim$0\farcs45 under the assumption of resonant absorption. This is the first observation of the excitation of two kink-mode loop oscillations by two sympathetic flares. The results are important for understanding of the excitation of kink oscillations of coronal loops and hence the energy balance in the solar corona. Our findings also validate the prevalence of significantly amplified amplitudes of oscillations by successive drivers.


title: Establishing Baselines for Text Classification in Low-Resource Languages

abstract: While transformer-based finetuning techniques have proven effective in tasks that involve low-resource, low-data environments, a lack of properly established baselines and benchmark datasets make it hard to compare different approaches that are aimed at tackling the low-resource setting. In this work, we provide three contributions. First, we introduce two previously unreleased datasets as benchmark datasets for text classification and low-resource multilabel text classification for the low-resource language Filipino. Second, we pretrain better BERT and DistilBERT models for use within the Filipino setting. Third, we introduce a simple degradation test that benchmarks a model's resistance to performance degradation as the number of training samples are reduced. We analyze our pretrained model's degradation speeds and look towards the use of this method for comparing models aimed at operating within the low-resource setting. We release all our models and datasets for the research community to use.


title: Principal Chiral Model without and with WZ term: Symmetries and Poisson-Lie T-Duality

abstract: Duality properties of the $SU(2)$ Principal Chiral Model are investigated starting from a one-parameter family of its equivalent Hamiltonian descriptions generated by a non-Abelian deformation of the cotangent space $T^*SU(2) \simeq SU(2) \ltimes \mathbb{R}^3$. The corresponding dual models are obtained through $O(3,3)$ duality transformations and result to be defined on the group $SB(2,\mathbb{C})$, which is the Poisson-Lie dual of $SU(2)$ in the Iwasawa decomposition of the Drinfel'd double $SL(2,\mathbb{C})=SU(2) \bowtie SB(2,\mathbb{C})$.These dual models provide an explicit realization of Poisson-Lie T-duality. A doubled generalized parent action is then built on the tangent space $TSL(2,\mathbb{C})$. Furthermore, a generalization of the $SU(2)$ PCM with a WZ term is shortly discussed.


title: Asteroseismic signatures of the helium-core flash

abstract: All evolved stars with masses $M_\star\lesssim 2M_\odot$ undergo a helium(He)-core flash at the end of their first stage as a giant star. Although theoretically predicted more than 50 years ago, this core-flash phase has yet to be observationally probed. We show here that gravity modes (g modes) stochastically excited by He-flash driven convection are able to reach the stellar surface, and induce periodic photometric variabilities in hot-subdwarf stars with amplitudes of the order of a few mmag. As such they can now be detected by space-based photometry with the Transiting Exoplanet Survey Satellite (TESS) in relatively bright stars (e.g. magnitudes $I_C\lesssim 13$). The range of predicted periods spans from a few thousand seconds to tens of thousand seconds, depending on the details of the excitation region. In addition, we find that stochastically excited pulsations reproduce the pulsations observed in a couple of He-rich hot subdwarf stars. These stars, and in particular the future TESS target Feige 46, are the most promising candidates to probe the He-core flash for the first time.


title: Automatic Tracking of the Muscle Tendon Junction in Healthy and Impaired Subjects using Deep Learning

abstract: Recording muscle tendon junction displacements during movement, allows separate investigation of the muscle and tendon behaviour, respectively. In order to provide a fully-automatic tracking method, we employ a novel deep learning approach to detect the position of the muscle tendon junction in ultrasound images. We utilize the attention mechanism to enable the network to focus on relevant regions and to obtain a better interpretation of the results. Our data set consists of a large cohort of 79 healthy subjects and 28 subjects with movement limitations performing passive full range of motion and maximum contraction movements. Our trained network shows robust detection of the muscle tendon junction on a diverse data set of varying quality with a mean absolute error of 2.55$\pm$1 mm. We show that our approach can be applied for various subjects and can be operated in real-time. The complete software package is available for open-source use via: https://github.com/luuleitner/deepMTJ


title: Carleman estimates and some inverse problems for the coupled quantitative thermoacoustic equations by boundary data. Part I: Carleman estimates

abstract: In this paper, we consider Carleman estimates and inverse problems for the coupled quantitative thermoacoustic equations. In Part I, we establish Carleman estimates for the coupled quantitative thermoacoustic equations by assuming that the coefficients satisfy suitable conditions and taking the usual weight function $\varphi(x,t)={\rm e}^{\lambda\psi(x,t)}$, $\psi(x,t)=\left|x-x_{0}\right|^{2}-\beta\left(t-t_0\right)^{2}+\beta t_0^{2}$ for $x$ in a bounded domain in $\mathbb{R}^{n}$ with $C^{3}$-boundary and $t\in(0, T)$, where $t_0=T/2$. We will discuss applications of the Carleman estimates to some inverse problems for the coupled quantitative thermoacoustic equations in the succeeding Part II paper \cite{part II}.


title: Encoding Linear Constraints into SAT

abstract: Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encodings to Boolean satisfiability (SAT) format of conjunctive normal form perform poorly in problems with these constraints in comparison with SAT modulo theories (SMT), lazy clause generation (LCG) or mixed integer programming (MIP) solvers. In this paper we explore and categorize SAT encodings for linear integer constraints. We define new SAT encodings based on multi-valued decision diagrams, and sorting networks. We compare different SAT encodings of linear constraints and demonstrate where one may be preferable to another. We also compare SAT encodings against other solving methods and show they can be better than linear integer (MIP) solvers and sometimes better than LCG or SMT solvers on appropriate problems. Combining the new encoding with lazy decomposition, which during runtime only encodes constraints that are important to the solving process that occurs, gives the best option for many highly combinatorial problems involving linear constraints.


title: Explainable AI for Classification using Probabilistic Logic Inference

abstract: The overarching goal of Explainable AI is to develop systems that not only exhibit intelligent behaviours, but also are able to explain their rationale and reveal insights. In explainable machine learning, methods that produce a high level of prediction accuracy as well as transparent explanations are valuable. In this work, we present an explainable classification method. Our method works by first constructing a symbolic Knowledge Base from the training data, and then performing probabilistic inferences on such Knowledge Base with linear programming. Our approach achieves a level of learning performance comparable to that of traditional classifiers such as random forests, support vector machines and neural networks. It identifies decisive features that are responsible for a classification as explanations and produces results similar to the ones found by SHAP, a state of the art Shapley Value based method. Our algorithms perform well on a range of synthetic and non-synthetic data sets.


title: Nanofilm Materials for Devices of Magnetic Field Measurement in Radiation Environment

abstract: The prospects of using nanofilms of indium-containing III-V semiconductors, gold and single-layer graphene in magnetic field sensors, intended for application in radiation environment were evaluated on the results of testing in neutron fluxes. Semiconductor sensors are capable of withstanding radiation levels typical for the ITER-type fusion reactors, while gold sensors are stable even under environment expected in the first fusion power plant DEMO. Graphene is promising for creating sensors that combine high magnetic field sensitivity and high irradiation resistance.


title: On the Nelson-Seiberg theorem: generalizations and counter-examples

abstract: In this note we elaborate on a recent counter-example to the Nelson-Seiberg theorem and to its generalizations. We provide sufficient conditions for the existence of such counter-examples, finding new ones. We claim that these counter-examples are connected with the presence of pairs of fields with opposite R-charge getting a VEV. Furthermore we comment on the "non-genericity" of our models, showing that none of them violates the original Nelson-Seiberg theorem


title: Using Machine Learning to Emulate Agent-Based Simulations

abstract: In this proof-of-concept work, we evaluate the performance of multiple machine-learning methods as statistical emulators for use in the analysis of agent-based models (ABMs). Analysing ABM outputs can be challenging, as the relationships between input parameters can be non-linear or even chaotic even in relatively simple models, and each model run can require significant CPU time. Statistical emulation, in which a statistical model of the ABM is constructed to facilitate detailed model analyses, has been proposed as an alternative to computationally costly Monte Carlo methods. Here we compare multiple machine-learning methods for ABM emulation in order to determine the approaches best suited to emulating the complex behaviour of ABMs. Our results suggest that, in most scenarios, artificial neural networks (ANNs) and gradient-boosted trees outperform Gaussian process emulators, currently the most commonly used method for the emulation of complex computational models. ANNs produced the most accurate model replications in scenarios with high numbers of model runs, although training times were longer than the other methods. We propose that agent-based modelling would benefit from using machine-learning methods for emulation, as this can facilitate more robust sensitivity analyses for the models while also reducing CPU time consumption when calibrating and analysing the simulation.


title: Grazing incidence-X-ray fluorescence for a dimensional and elemental characterization of well-ordered nanostructures

abstract: The increasing importance of well-controlled ordered nanostructures on surfaces represents a challenge for existing metrology techniques. To develop such nanostructures and monitor complex processing constraints fabrication, both a dimensional reconstruction of nanostructures and a characterization (ideally a quantitative characterization) of their composition is required. In this work, we present a soft X-ray fluorescence-based methodology that allows both of these requirements to be addressed at the same time. By applying the grazing-incidence X-ray fluorescence technique and thus utilizing the X-ray standing wave field effect, nanostructures can be investigated with a high sensitivity with respect to their dimensional and compositional characteristics. By varying the incident angles of the exciting radiation, element-sensitive fluorescence radiation is emitted from different regions inside the nanoobjects. By applying an adequate modeling scheme, these datasets can be used to determine the nanostructure characteristics. We demonstrate these capabilities by performing an element-sensitive reconstruction of a lamellar grating made of Si$_3$N$_4$, where GIXRF data for the O-K$\alpha$ and N-K$\alpha$ fluorescence emission allows a thin oxide layer to be reconstructed on the surface of the grating structure. In addition, we employ the technique also to three dimensional nanostructures and derive both dimensional and compositional parameters in a quantitative manner.


title: OTHR multitarget tracking with a GMRF model of ionospheric parameters

abstract: The ionosphere is the propagation medium for radio waves transmitted by an over-the-horizon radar (OTHR). Ionospheric parameters, typically, virtual ionospheric heights (VIHs), are required to perform coordinate registration for OTHR multitarget tracking and localization. The inaccuracy of ionospheric parameters has a significant deleterious effect on the target localization of OTHR. Therefore, to improve the localization accuracy of OTHR, it is important to develop accurate models and estimation methods of ionospheric parameters and the corresponding target tracking algorithms. In this paper, we consider the variation of the ionosphere with location and the spatial correlation of the ionosphere in OTHR target tracking. We use a Gaussian Markov random field (GMRF) to model the VIHs, providing a more accurate representation of the VIHs for OTHR target tracking. Based on expectation-conditional maximization and GMRF modeling of the VIHs, we propose a novel joint optimization solution, called ECM-GMRF, to perform target state estimation, multipath data association and VIHs estimation simultaneously. In ECM-GMRF, the measurements from both ionosondes and OTHR are exploited to estimate the VIHs, leading to a better estimation of the VIHs which improves the accuracy of data association and target state estimation, and vice versa. The simulation indicates the effectiveness of the proposed algorithm.