title: Threat Actor Type Inference and Characterization within Cyber Threat Intelligence

abstract: As the cyber threat landscape is constantly becoming increasingly complex and polymorphic, the more critical it becomes to understand the enemy and its modus operandi for anticipatory threat reduction. Even though the cyber security community has developed a certain maturity in describing and sharing technical indicators for informing defense components, we still struggle with non-uniform, unstructured, and ambiguous higher-level information, such as the threat actor context, thereby limiting our ability to correlate with different sources to derive more contextual, accurate, and relevant intelligence. We see the need to overcome this limitation in order to increase our ability to produce and better operationalize cyber threat intelligence. Our research demonstrates how commonly agreed upon controlled vocabularies for characterizing threat actors and their operations can be used to enrich cyber threat intelligence and infer new information at a higher contextual level that is explicable and queryable. In particular, we present an ontological approach to automatically inferring the types of threat actors based on their personas, understanding their nature, and capturing polymorphism and changes in their behavior and characteristics over time. Such an approach not only enables interoperability by providing a structured way and means for sharing highly contextual cyber threat intelligence but also derives new information at machine speed and minimizes cognitive biases that manual classification approaches entail.


title: A Mathematical Framework for Causally Structured Dilations and its Relation to Quantum Self-Testing

abstract: The motivation for this thesis was to recast quantum self-testing [MY98,MY04] in operational terms. The result is a category-theoretic framework for discussing the following general question: How do different implementations of the same input-output process compare to each other? In the proposed framework, an input-output process is modelled by a causally structured channel in some fixed theory, and its implementations are modelled by causally structured dilations formalising hidden side-computations. These dilations compare through a pre-order formalising relative strength of side-computations. Chapter 1 reviews a mathematical model for physical theories as semicartesian symmetric monoidal categories. Many concrete examples are discussed, in particular quantum and classical information theory. The key feature is that the model facilitates the notion of dilations. Chapter 2 is devoted to the study of dilations. It introduces a handful of simple yet potent axioms about dilations, one of which (resembling the Purification Postulate [CDP10]) entails a duality theorem encompassing a large number of classic no-go results for quantum theory. Chapter 3 considers metric structure on physical theories, introducing in particular a new metric for quantum channels, the purified diamond distance, which generalises the purified distance [TCR10,Tom12] and relates to the Bures distance [KSW08a]. Chapter 4 presents a category-theoretic formalism for causality in terms of '(constructible) causal channels' and 'contractions'. It simplifies aspects of the formalisms [CDP09,KU17] and relates to traces in monoidal categories [JSV96]. The formalism allows for the definition of 'causal dilations' and the establishment of a non-trivial theory of such dilations. Chapter 5 realises quantum self-testing from the perspective of chapter 4, thus pointing towards the first known operational foundation for self-testing.


title: Domain and View-point Agnostic Hand Action Recognition

abstract: Hand action recognition is a special case of action recognition with applications in human-robot interaction, virtual reality or life-logging systems. Building action classifiers able to work for such heterogeneous action domains is very challenging. There are very subtle changes across different actions from a given application but also large variations across domains (e.g. virtual reality vs life-logging). This work introduces a novel skeleton-based hand motion representation model that tackles this problem. The framework we propose is agnostic to the application domain or camera recording view-point. When working on a single domain (intra-domain action classification) our approach performs better or similar to current state-of-the-art methods on well-known hand action recognition benchmarks. And, more importantly, when performing hand action recognition for action domains and camera perspectives which our approach has not been trained for (cross-domain action classification), our proposed framework achieves comparable performance to intra-domain state-of-the-art methods. These experiments show the robustness and generalization capabilities of our framework.


title: Lower bound on growth of non-elementary subgroups in relatively hyperbolic groups

abstract: This paper proves that in a non-elementary relatively hyperbolic group, the logarithm growth rate of any non-elementary subgroup has a linear lower bound by the logarithm of the size of the corresponding generating set. As a consequence, any non-elementary subgroup has uniform exponential growth.


title: Cooking Object's State Identification Without Using Pretrained Model

abstract: Recently, Robotic Cooking has been a very promising field. To execute a recipe, a robot has to recognize different objects and their states. Contrary to object recognition, state identification has not been explored that much. But it is very important because different recipe might require different state of an object. Moreover, robotic grasping depends on the state. Pretrained model usually perform very well in this type of tests. Our challenge was to handle this problem without using any pretrained model. In this paper, we have proposed a CNN and trained it from scratch. The model is trained and tested on the dataset from cooking state recognition challenge. We have also evaluated the performance of our network from various perspective. Our model achieves 65.8% accuracy on the unseen test dataset.


title: Rate Analysis and Deep Neural Network Detectors for SEFDM FTN Systems

abstract: In this work we compare the capacity and achievable rate of uncoded faster than Nyquist (FTN) signalling in the frequency domain, also referred to as spectrally efficient FDM (SEFDM). We propose a deep residual convolutional neural network detector for SEFDM signals in additive white Gaussian noise channels, that allows to approach the Mazo limit in systems with up to 60 subcarriers. Notably, the deep detectors achieve a loss less than 0.4-0.7 dB for uncoded QPSK SEFDM systems of 12 to 60 subcarriers at a 15% spectral compression.


title: On the Relation Between Wiener Index and Eccentricity of a Graph

abstract: The relation between the Wiener index $W(G)$ and the eccentricity $\varepsilon(G)$ of a graph $G$ is studied. Lower and upper bounds on $W(G)$ in terms of $\varepsilon(G)$ are proved and extremal graphs characterized. A Nordhaus-Gaddum type result on $W(G)$ involving $\varepsilon(G)$ is given. A sharp upper bound on the Wiener index of a tree in terms of its eccentricity is proved. It is shown that in the class of trees of the same order, the difference $W(T) - \varepsilon(T)$ is minimized on caterpillars. An exact formula for $W(T) - \varepsilon(T)$ in terms of the radius of a tree $T$ is obtained. A lower bound on the eccentricity of a tree in terms of its radius is also given. Two conjectures are proposed. The first asserts that the difference $W(G) - \varepsilon(G)$ does not increase after contracting an edge of $G$. The second conjecture asserts that the difference between the Wiener index of a graph and its eccentricity is largest on paths.


title: Cohomology of annuli, duality and $L^\infty$-differential forms on Heisenberg groups

abstract: In the last few years the authors proved Poincar\'e and Sobolev type inequalities in Heisenberg groups $\mathbb{H}^n$ for differential forms in the Rumin's complex. The need to substitute the usual de Rham complex of differential forms for Euclidean spaces with the Rumin's complex is due to the different stratification of the Lie algebra of Heisenberg groups. The crucial feature of Rumin's complex is that $d_c$ is a differential operator of order 1 or 2 according to the degree of the form. Roughly speaking, Poincar\'e and Sobolev type inequalities are quantitative formulations of the well known topological problem whether a closed form is exact. More precisely, for suitable $p$ and $q$, we mean that every exact differential form $\omega$ in $L^p$ admits a primitive $\phi$ in $L^q$ such that$\|\phi\|_{L^{q}}\leq C\ \|\omega\|_{L^{p}}$. The cases of the norm $L^p$, $p\ge 1$ and $q<\infty$ have been already studied in a series of papers by the authors. In the present paper we deal with the limiting case where $q=\infty$: it is remarkable that, unlike in the scalar case, when the degree of the forms $\omega$ is at least $2$, we can take $q=\infty$ in the left-hand side of the inequality. The corresponding inequality in the Euclidean setting $\mathbb{R}^N$ ($p=N$ and $q=\infty$) was proven by Bourgain and Brezis.


title: Compact Tetrahedralization-based Acceleration Structure for Ray Tracing

abstract: We propose a compact and efficient tetrahedral mesh representation to improve the ray-tracing performance. We reorder tetrahedral mesh data using a space-filling curve to improve cache locality. Most importantly, we propose an efficient ray traversal algorithm. We provide details of common ray tracing operations on tetrahedral meshes and give the GPU implementation of our traversal method. We demonstrate our findings through a set of comprehensive experiments. Our method outperforms existing tetrahedral mesh-based traversal methods and yields comparable results to the traversal methods based on the state of the art acceleration structures such as k-dimensional (k-d) trees and Bounding Volume Hierarchies (BVHs).


title: Asymptotic approximation of the likelihood of stationary determinantal point processes

abstract: Continuous determinantal point processes (DPPs) are a class of repulsive point processes on $\mathbb{R}^d$ with many statistical applications. Although an explicit expression of their density is known, it is too complicated to be used directly for maximum likelihood estimation. In the stationary case, an approximation using Fourier series has been suggested, but it is limited to rectangular observation windows and no theoretical results support it. In this contribution, we investigate a different way to approximate the likelihood by looking at its asymptotic behaviour when the observation window grows towards $\mathbb{R}^d$. This new approximation is not limited to rectangular windows, is faster to compute than the previous one, does not require any tuning parameter, and some theoretical justifications are provided. It moreover provides an explicit formula for estimating the asymptotic variance of the associated estimator. The performances are assessed in a simulation study on standard parametric models on $\mathbb{R}^d$ and compare favourably to common alternative estimation methods for continuous DPPs.


title: Gravitational wave signatures from dark sector interactions

abstract: We show that the gravitational waves generated by the perturbations of general relativistic black holes can be considered as a direct probe of the existence of dark sector interactions. Working within the framework of Horndeski theory and linear perturbations, we show that dark sector interactions effectively reduce to an interaction charge that influences both scalar and tensor waveforms. Furthermore, we show that the total dark matter field, including the effects of dark sector interactions, satisfies a conservation equation embodying the equivalence principle. We exploit this realization to setup the Regge-Wheeler equation and the coupled Zerilli and scalar wave equations for a Schwarzschild-(anti) de Sitter black hole. We then present numerical integration of the coupled even-parity wave equations for the case of a dark matter particle falling straight down into a Schwarzschild black hole.


title: Weyl-invariant derivation of Dirac equation from scalar tensor fields in curved space-time

abstract: In this work we present a derivation of Dirac's equation in a curved space-time starting from a Weyl-invariant action principle in 4+K dimensions. The Weyl invariance of Dirac's equation (and of Quantum Mechanics in general) is made possible by observing that the difference between the Weyl and the Riemann scalar curvatures in a metric space is coincident with Bohm's Quantum potential. This circumstance allows a completely geometrical formulation of Quantum Mechanics, the Conformal Quantum Geometrodynamics (CQG), which was proved to be useful, for example, to clarify some aspects of the quantum paradoxes and to simplify the demonstration of difficult theorems as the Spin-Statistics connection. The present work extends our previous derivation of Dirac's equation from the flat Minkowski space-time to a general curved space-time. Charge and the e.m. fields are introduced by adding extra-coordinates and then gauging the associated group symmetry. The resulting Dirac's equation yields naturally to the correct gyromagnetic ratio $g_e=2$ for the electron, but differs from the one derived in the Standard Quantum Mechanics (SQM) in two respects. First, the coupling with the space-time Riemann scalar curvature is found to be about 1/4 in the CQG instead of 1/2 as in the SQM and, second, in the CQG result two very small additional terms appear as scalar potentials acting on the particle. One depends on the derivatives of the e.m. field tensor and the other is the scalar Kretschmann term $R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}$. Both terms, not present in the SQM, become appreciable only at distances of the order of the electron Compton length or less. The Kretschmann term, in particular, is the only one surviving in an external gravitational field obeying Einstein's equations in vacuum. These small differences render the CQG theory confutable by very accurate experiments, at least in principle.


title: Open community platform for hearing aid algorithm research: open Master Hearing Aid (openMHA)

abstract: open Master Hearing Aid (openMHA) was developed and provided to the hearing aid research community as an open-source software platform with the aim to support sustainable and reproducible research towards improvement and new types of assistive hearing systems not limited by proprietary software. The software offers a flexible framework that allows the users to conduct hearing aid research using tools and a number of signal processing plugins provided with the software as well as the implementation of own methods. The openMHA software is independent of a specific hardware and supports Linux, macOS and Windows operating systems as well as 32-bit and 64-bit ARM-based architectures such as used in small portable integrated systems. www.openmha.org


title: Uniqueness of convex ancient solutions to hypersurface flows

abstract: We show that every convex ancient solution of mean curvature flow with Type I curvature growth is either spherical, cylindrical, or planar. We then prove the corresponding statement for flows by a natural class of curvature functions which are convex or concave in the second fundamental form. Neither of these results assumes interior noncollapsing.


title: Reinforcement Learning Control of a Forestry Crane Manipulator

abstract: Forestry machines are heavy vehicles performing complex manipulation tasks in unstructured production forest environments. Together with the complex dynamics of the on-board hydraulically actuated cranes, the rough forest terrains have posed a particular challenge in forestry automation. In this study, the feasibility of applying reinforcement learning control to forestry crane manipulators is investigated in a simulated environment. Our results show that it is possible to learn successful actuator-space control policies for energy efficient log grasping by invoking a simple curriculum in a deep reinforcement learning setup. Given the pose of the selected logs, our best control policy reaches a grasping success rate of 97%. Including an energy-optimization goal in the reward function, the energy consumption is significantly reduced compared to control policies learned without incentive for energy optimization, while the increase in cycle time is marginal. The energy-optimization effects can be observed in the overall smoother motion and acceleration profiles during crane manipulation.


title: The critical role of hot carrier cooling in optically excited structural transitions

abstract: The hot carrier cooling occurs in most photoexcitation-induced phase transitions (PIPTs), but its role has often been neglected in many theoretical simulations as well as in proposed mechanisms. Here, by including the previously ignored hot carrier cooling in real-time time-dependent density functional theory (rt-TDDFT) simulations, we investigated the role of hot carrier cooling in PIPTs. Taking IrTe2 as an example, we reveal that the cooling of hot electrons from the higher energy levels of spatially extended states to the lower energy levels of the localized Ir-Ir dimer antibonding states strengthens remarkably the atomic driving forces and enhances atomic kinetic energy. These two factors combine to dissolute the Ir-Ir dimers on a timescale near the limit of atomic motions, thus initiating a deterministic kinetic phase transition. We further demonstrate that the subsequent cooling induces nonradiative recombination of photoexcited electrons and holes, leading to the ultrafast recovery of the Ir-Ir dimers observed experimentally. These findings provide a complete picture of the atomic dynamics in optically excited structural phase transitions.


title: Fractional statistics of charge carriers in the one- and two-dimensional t-J model. A hint for the cuprates?

abstract: We show that we can interpret the exact solution of the one-dimensional t-J model in the limit of small J in terms of charge carriers with both exchange (braid) and exclusion (Haldane) statistics with parameter 1/2. We discuss an implementation of the same statistics in the two-dimensional t-J model, emphasizing similarities and differences with respect to one dimension. In both cases the exclusion statistics is a consequence of the no-double occupation constraint. We argue that the application of this formalism to hole-doped high Tc cuprates and the derived composite nature of the hole give a hint to grasp many unusual properties of these materials.


title: Performance Characteristics of Mixed Irradiated n-MCz Thin Silicon Microstrip Detector for the HL-LHC Experiments

abstract: Within CERN RD50 Collaboration, MCz Si was identified as a best material for the detector used in the high luminosity collider experiments. The n in p Si detectors were utmost radiation hard detectors, which can be used for the phase 2 upgrade plan of the new Compact Muon Solenoid tracker detector in 2026. The choice of n or p-MCz Si material depends upon the high electrical charge collection efficiency performance of these detectors over n or p-FZSi detectors. The bulk radiation damage model for n, p-MCz Si need to develop for the designing, development and optimization of the advanced detectors for the next generation High Energy Physics experiments. In this work, an advanced four level deep-trap mixed irradiation model (E5, CiOi, E(30K), H(152K)) for n-MCz Si is proposed by the comparison of experimental data on the full depletion voltage and leakage current to the Shockley Read Hall recombination statistics results on the mixed irradiated n-MCz Si PAD detector. Prediction uncertainty in the radiation damage mixed irradiation model considered in the full depletion voltage and leakage current, which was due to the uncertainty in macroscopic results from an experimental measurement on the mixed irradiated n-MCz Si pad detector. A very good agreement is observed in the experimental and SRH results on the full depletion voltage and leakage current. This model is also used to extrapolate the value of the full depletion voltage at different mixed (proton + neutron) higher irradiation fluences for the thin n-MCz Si microstrip detector


title: Observation of Pauli blocking in light scattering from quantum degenerate fermions

abstract: The Pauli exclusion principle forbids indistinguishable fermions to occupy the same quantum mechanical state. Its implications are profound and it for example accounts for the electronic shell structure of atoms. Here we perform measurements on the scattering of off-resonant light from ultracold gasses of fermionic atoms. For Fermi gases in the quantum degenerate regime, we observe a marked suppression in light scattering as compared to a similarly prepared thermal Bose gas. We attribute the observed increased transmission of light through the quantum degenerate Fermi gas to Pauli blocking, where Fermi-Dirac statistics causes atoms to occupy a large region of the momentum space limiting the number of accessible states for the scattered atom. Our work confirms a longstanding fundamental result in the theory of the optical response of quantum gases and is an important step towards novel cooling and thermometry mechanisms for degenerate Fermi gases.


title: Spatial entanglement engineering by pump shaping

abstract: The ability to engineer the properties of quantum optical states is essential for quantum information processing applications. Here, we demonstrate tunable control of spatial correlations between photon pairs produced by spontaneous parametric down-conversion. By shaping the spatial pump beam profile in a type-I collinear configuration, we tailor the spatial structure of coincidences between photon pairs entangled in high dimensions, without effect on intensity. The results highlight fundamental aspects of spatial coherence and hold potential for the development of quantum technologies based on high-dimensional spatial entanglement.


title: Associated orthogonal polynomials of the first kind and Darboux transformations

abstract: Let $\un,$ be a quasi-definite linear functional defined on the space of polynomials $\mathbb{P}.$ For such a functional we can define a sequence of monic orthogonal polynomials (SMOP in short) $(P_n)_{n\geq 0},$ which satisfies a three term recurrence relation. Shifting one unity the recurrence coefficient indices given the sequence of associated polynomials of the first kind which are orthogonal with respect to a linear functional denoted by $\un^{(1)}$. In the literature two special transformations of the functional $\un$ are studied, the canonical Christoffel transformation $\widetilde \un=(x-c)\un$ and the canonical Geronimus transformation $\widehat \un=\frac{\un}{(x-c)}+M\deltan_c$ , where $c$ is a fixed complex number, $M $ is a free parameter and $\deltan_c$ is the linear functional defined on $\mathbb{P}$ as $\prodint{\deltan_c,p(x)}=p(c).$ For the Christoffel transformation with SMOP $(\widetilde P_n)_{n\geq 0}$, we are interested in analyzing the relation between the linear functionals $ \un^{(1)}$ and $\widetilde{\un}^{(1)}.$ There, the super index denotes the linear functionals associated with the orthogonal polynomial sequences of the first kind $(P_n^{(1)})_{n\geq 0}$ and $(\widetilde P_n^{(1)})_{n\geq 0},$ respectively. This problem is also studied for Geronimus transformations. Here we give close relations between their corresponding monic Jacobi matrices by using the LU and UL factorizations. To get this result, we first need to study the relation between $\un^{-1}$ (the inverse functional) and $\un^{(1)}$ which can be expressed from a quadratic Geronimus transformation.


title: Super-Penrose process for nonextremal black holes

abstract: We consider particle collisions in the background of nonextremal spherically symmetric static black holes. It is shown that debris of collision can have indefinitely large energy at infinity, i.e. the super-Penrose process (SPP) can occur. This property is sharply contrasted with that of rotating black holes for which it is already established that the SPP is forbidden. The Reissner-Nordstrom black hole serves as an example. If an external central force exerts on particles, even the Schwarzschild background is suitable for the SPP.


title: Discussion of 'Estimating time-varying causal excursion effect in mobile health with binary outcomes' by T. Qian et al

abstract: We discuss the recent paper on "excursion effect" by T. Qian et al. (2020). We show that the methods presented have close relationships to others in the literature, in particular to a series of papers by Robins, Hern\'{a}n and collaborators on analyzing observational studies as a series of randomized trials. There is also a close relationship to the history-restricted and the history-adjusted marginal structural models (MSM). Important differences and their methodological implications are clarified. We also demonstrate that the excursion effect can depend on the design and discuss its suitability for modifying the treatment protocol.


title: Estimating the Expected Influence Capacities of Nodes in Complex Networks under the Susceptible-Infectious-Recovered (SIR) Model

abstract: In recent years, epidemic modeling in complex networks has found many applications, including modeling of information or gossip spread in online social networks, modeling of malware spread in communication networks, and the most recent model of the COVID-19 pandemic. If the information disseminated is accurate, for example, maximizing its distribution is desirable, whereas if it is a rumor or a virus, its spread should be minimized. In this context, it is very important to identify super-spreaders that maximize or minimize propagation. Lately, studies for detecting super-spreaders have gained momentum. Most of the studies carried out aim to distinguish the influences of nodes under a specific propagation model (such as SIR) using network centrality measures and subsequently, to rank the nodes accordingly. However, in this study, we developed an algorithm that approximates the expected influence of nodes under the popular SIR model. By considering the behavior of the SIR model and only the shortest paths between nodes, the algorithm ranks the nodes according to this approximated value. Our developed algorithm is named the Expected Value Estimation (EVE). We compared the performance of EVE, using different SIR settings on real datasets, with that of many current well-known centrality measures. The experimental studies demonstrated that the solution quality (ranking capability) of EVE is superior to that of its competitors.


title: On the effectiveness of adversarial training against common corruptions

abstract: The literature on robustness towards common corruptions shows no consensus on whether adversarial training can improve the performance in this setting. First, we show that, when used with an appropriately selected perturbation radius, $\ell_p$ adversarial training can serve as a strong baseline against common corruptions improving both accuracy and calibration. Then we explain why adversarial training performs better than data augmentation with simple Gaussian noise which has been observed to be a meaningful baseline on common corruptions. Related to this, we identify the $\sigma$-overfitting phenomenon when Gaussian augmentation overfits to a particular standard deviation used for training which has a significant detrimental effect on common corruption accuracy. We discuss how to alleviate this problem and then how to further enhance $\ell_p$ adversarial training by introducing an efficient relaxation of adversarial training with learned perceptual image patch similarity as the distance metric. Through experiments on CIFAR-10 and ImageNet-100, we show that our approach does not only improve the $\ell_p$ adversarial training baseline but also has cumulative gains with data augmentation methods such as AugMix, DeepAugment, ANT, and SIN, leading to state-of-the-art performance on common corruptions. The code of our experiments is publicly available at https://github.com/tml-epfl/adv-training-corruptions.


title: The Corona Borealis supercluster: connectivity, collapse, and evolution

abstract: We present a study of the Corona Borealis (CB) supercluster. We determined the high-density cores of the CB and the richest galaxy clusters in them, and studied their dynamical state and galaxy content. We determined filaments in the supercluster to analyse the connectivity of clusters. We compared the mass distribution in the CB with predictions from the spherical collapse model and analysed the acceleration field in the CB. We found that at a radius $R_{\mathrm{30}}$ around clusters in the CB (A2065, A2061, A2089, and Gr2064) (corresponding to the density contrast $\Delta\rho \approx 30$), the galaxy distribution shows a minimum. The $R_{30}$ values for individual clusters lie in the range of $3 - 6$ $h^{-1}$ Mpc. The radii of the clusters (splashback radii) lie in the range of $R_{\mathrm{cl}} \approx 2 - 3$ $R_{\mathrm{vir}}$. The projected phase space diagrams and the comparison with the spherical collapse model suggest that $R_{\mathrm{30}}$ regions have passed turnaround and are collapsing. Galaxy content in clusters varies strongly. The cluster A2061 has the highest fraction of galaxies with old stellar populations, and A2065 has the highest fraction of galaxies with young stellar populations. The number of long filaments near clusters vary from one at A2089 to five at A2061. During the future evolution, the clusters in the main part of the CB may merge and form one of the largest bound systems in the nearby Universe. Another part of the CB, with the cluster Gr2064, will form a separate system. The structures with a current density contrast $\Delta\rho \approx 30$ have passed turnaround and started to collapse at redshifts $z \approx 0.3 - 0.4$. The comparison of the number and properties of the most massive collapsing supercluster cores from observations and simulations may serve as a test for cosmological models.


title: Measure data problems for a class of elliptic equations with mixed absorption-reaction

abstract: We study the existence of nonnegative solutions to the Dirichlet problem $\CL^{_{^M}}_{p,q}u:=-\Delta u+u^p-M|\nabla u|^q=\mu$ in a domain $\Omega\subset\BBR^N$ where $\mu$ is a nonnegative Radon measure, when $p>1$, $q>1$ and $M\geq 0$. We also give conditions under which nonnegative solutions of $\CL^{_{^M}}_{p,q}u=0$ in $\Omega\setminus K$ where $K$ is a compact subset of $\Omega$ can be extended as a solution of the same equation in $\Omega$


title: System Analysis and Test-Bed for an Atmosphere-Breathing Electric Propulsion System using an Inductive Plasma Thruster

abstract: Challenging space mission scenarios include those in low altitude orbits, where the atmosphere creates significant drag to the S/C and forces their orbit to an early decay. For drag compensation, propulsion systems are needed, requiring propellant to be carried on-board. An atmosphere-breathing electric propulsion system (ABEP) ingests the residual atmosphere particles through an intake and uses them as propellant for an electric thruster. Theoretically applicable to any planet with atmosphere, the system might allow to orbit for unlimited time without carrying propellant. A new range of altitudes for continuous operation would become accessible, enabling new scientific missions while reducing costs. Preliminary studies have shown that the collectible propellant flow for an ion thruster (in LEO) might not be enough, and that electrode erosion due to aggressive gases, such as atomic oxygen, will limit the thruster lifetime. In this paper an inductive plasma thruster (IPT) is considered for the ABEP system. The starting point is a small scale inductively heated plasma generator IPG6-S. These devices are electrodeless and have already shown high electric-to-thermal coupling efficiencies using O2 and CO2. The system analysis is integrated with IPG6-S tests to assess mean mass-specific energies of the plasma plume and estimate exhaust velocities.


title: Langlands correspondence and Bezrukavnikov's equivalence

abstract: These are lecture notes (by the first author) from a course (by the second author) given over two extended semesters at the University of Sydney. The first part provides an introduction to the Langlands correspondence from an arithmetical point of view. The second part gives enough background in geometric representation theory to understand Bezrukavnikov's equivalence, which is a categorification of Kazhdan and Lusztig's two realizations of the affine Hecke algebra.


title: TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development

abstract: In this paper, we propose a recommendation approach -- TaskAllocator -- in order to predict the assignment of incoming tasks to potential befitting roles. The proposed approach, identifying team roles rather than individual persons, allows project managers to perform better tasks allocation in case the individual developers are over-utilized or moved on to different roles/projects. We evaluated our approach on ten agile case study projects obtained from the Taiga.io repository. In order to determine the TaskAllocator's performance, we have conducted a benchmark study by comparing it with contemporary machine learning models. The applicability of the TaskAllocator was assessed through a plugin that can be integrated with JIRA and provides recommendations about suitable roles whenever a new task is added to the project. Lastly, the source code of the plugin and the dataset employed have been made public.


title: The Support and Resistance Line Method: An Analysis via Optimal Stopping

abstract: We study a mathematical model capturing the support/resistance line method (a technique in technical analysis) where the underlying stock price transitions between two states of nature in a path-dependent manner. For optimal stopping problems with respect to a general class of reward functions and dynamics, using probabilistic methods, we show that the value function is $C^1$ and solves a general free boundary problem. Moreover, for a wide range of utilities, we prove that the best time to buy and sell the stock is obtained by solving free boundary problems corresponding to two linked optimal stopping problems. We use this to numerically compute optimal trading strategies for several types of dynamics and varying degrees of relative risk aversion. We then compare the strategies with the standard trading rule to investigate the viability of this form of technical analysis.


title: Accelerated hot-carrier cooling in MAPbI3 perovskite by pressure-induced lattice compression

abstract: Hot-carrier cooling (HCC) in metal halide perovskites in the high-density regime is significantly slower compared to conventional semiconductors. This effect is commonly attributed to a hot-phonon bottleneck but the influence of the lattice properties on the HCC behaviour is poorly understood. Using pressure-dependent transient absorption spectroscopy (fs-TAS) we find that at an excitation density below Mott transition, pressure does not affect the HCC. On the contrary, above Mott transition, HCC in methylammonium lead iodide (MAPbI3) is around two times as fast at 0.3 GPa compared to ambient pressure. Our electron-phonon coupling calculations reveal about two times stronger electron-phonon coupling for the inorganic cage mode at 0.3 GPa. However, our experiments reveal that pressure promotes faster HCC only above Mott transition. Altogether, these findings suggest a change in the nature of excited carriers in the high-density regime, providing insights on the electronic behavior of devices operating at such high charge-carrier density.


title: Few-shot Learning for Slot Tagging with Attentive Relational Network

abstract: Metric-based learning is a well-known family of methods for few-shot learning, especially in computer vision. Recently, they have been used in many natural language processing applications but not for slot tagging. In this paper, we explore metric-based learning methods in the slot tagging task and propose a novel metric-based learning architecture - Attentive Relational Network. Our proposed method extends relation networks, making them more suitable for natural language processing applications in general, by leveraging pretrained contextual embeddings such as ELMO and BERT and by using attention mechanism. The results on SNIPS data show that our proposed method outperforms other state-of-the-art metric-based learning methods.


title: Developing NOMA to Next Generation Multiple Access (NGMA): Future Vision and Research Opportunities

abstract: As a prominent member of the next generation multiple access (NGMA) family, non-orthogonal multiple access (NOMA) has been recognized as a promising multiple access candidate for the sixth-generation (6G) networks. This article focuses on applying NOMA in 6G networks, with an emphasis on proposing the so-called "One Basic Principle plus Four New" concept. Starting with the basic NOMA principle, the importance of successive interference cancellation (SIC) becomes evident. In particular, the advantages and drawbacks of both the channel state information based SIC and quality-of-service based SIC are discussed. Then, the application of NOMA to meet the new 6G performance requirements, especially for massive connectivity, is explored. Furthermore, the integration of NOMA with new physical layer techniques is considered, followed by introducing new application scenarios for NOMA towards 6G. Finally, the application of machine learning in NOMA networks is investigated, ushering in the machine learning empowered NGMA era.


title: Universal Gaussian Quantization with Side Information using Polar Lattices

abstract: We consider universal quantization with side information for Gaussian observations, where the side information is a noisy version of the sender's observation with noise variance unknown to the sender. In this paper, we propose a universally rate optimal and practical quantization scheme for all values of unknown noise variance. Our scheme uses Polar lattices from prior work, and proceeds based on a structural decomposition of the underlying auxiliaries so that even when recovery fails in a round, the parties agree on a common "reference point" that is closer than the previous one. We also present the finite blocklength analysis showing an sub-exponential convergence for distortion and exponential convergence for rate. The overall complexity of our scheme is $O(N^2\log^2 N)$ for any target distortion and fixed rate larger than the rate-distortion bound.


title: Combining Prediction and Interpretation in Decision Trees (PrInDT) -- a Linguistic Example

abstract: In this paper, we show that conditional inference trees and ensembles are suitable methods for modeling linguistic variation. As against earlier linguistic applications, however, we claim that their suitability is strongly increased if we combine prediction and interpretation. To that end, we have developed a statistical method, PrInDT (Prediction and Interpretation with Decision Trees), which we introduce and discuss in the present paper.


title: The impossibility of Landauer's bound for almost every quantum state

abstract: The thermodynamic cost of resetting an arbitrary initial state to a particular desired state is lower bounded by Landauer's bound. However, here we demonstrate that this lower bound is necessarily unachievable for nearly every initial state, for any reliable reset mechanism. Since local heating threatens rapid decoherence, this issue is of substantial importance beyond mere energy efficiency. For the case of qubit reset, we find the minimally dissipative state analytically for any reliable reset protocol, in terms of the entropy-flow vector introduced here. This allows us to verify a recent theorem about initial-state dependence of entropy production for any finite-time transformation, as it pertains to quantum state preparation.


title: A survey of the noise-correcting tools for Dynamic Mode Decomposition

abstract: Dynamic Mode Decomposition (DMD) is a data-driven modeling tool that generates a model from spatio-temporal data. The data needs to be as clean as possible for DMD to come up with a faithful model. We review a few data-filtering methods to be integrated with DMD and test them on datasets of varying complexity. The impact of SNR on these methods and the error variation in the DMD model due to each method are observed and discussed.


title: Deep Recurrent Encoder: A scalable end-to-end network to model brain signals

abstract: Understanding how the brain responds to sensory inputs is challenging: brain recordings are partial, noisy, and high dimensional; they vary across sessions and subjects and they capture highly nonlinear dynamics. These challenges have led the community to develop a variety of preprocessing and analytical (almost exclusively linear) methods, each designed to tackle one of these issues. Instead, we propose to address these challenges through a specific end-to-end deep learning architecture, trained to predict the brain responses of multiple subjects at once. We successfully test this approach on a large cohort of magnetoencephalography (MEG) recordings acquired during a one-hour reading task. Our Deep Recurrent Encoding (DRE) architecture reliably predicts MEG responses to words with a three-fold improvement over classic linear methods. To overcome the notorious issue of interpretability of deep learning, we describe a simple variable importance analysis. When applied to DRE, this method recovers the expected evoked responses to word length and word frequency. The quantitative improvement of the present deep learning approach paves the way to better understand the nonlinear dynamics of brain activity from large datasets.


title: General Instance Distillation for Object Detection

abstract: In recent years, knowledge distillation has been proved to be an effective solution for model compression. This approach can make lightweight student models acquire the knowledge extracted from cumbersome teacher models. However, previous distillation methods of detection have weak generalization for different detection frameworks and rely heavily on ground truth (GT), ignoring the valuable relation information between instances. Thus, we propose a novel distillation method for detection tasks based on discriminative instances without considering the positive or negative distinguished by GT, which is called general instance distillation (GID). Our approach contains a general instance selection module (GISM) to make full use of feature-based, relation-based and response-based knowledge for distillation. Extensive results demonstrate that the student model achieves significant AP improvement and even outperforms the teacher in various detection frameworks. Specifically, RetinaNet with ResNet-50 achieves 39.1% in mAP with GID on COCO dataset, which surpasses the baseline 36.2% by 2.9%, and even better than the ResNet-101 based teacher model with 38.1% AP.


title: A Study of the Separating Property in Reed-Solomon Codes by Bounding the Minimum Distance

abstract: According to their strength, the tracing properties of a code can be categorized as frameproof, separating, IPP and TA. It is known that if the minimum distance of the code is larger than a certain threshold then the TA property implies the rest. Silverberg et al. ask if there is some kind of tracing capability left when the minimum distance falls below the threshold. Under different assumptions, several papers have given a negative answer to the question. In this paper further progress is made. We establish values of the minimum distance for which Reed-Solomon codes do not posses the separating property.


title: Dynamics of prestressed elastic lattices: homogenization, instabilities, and strain localization

abstract: A lattice of elastic Rayleigh rods organized in a parallelepiped geometry can be axially loaded up to an arbitrary amount without distortion and then be subject to incremental time-harmonic dynamic motion. At certain threshold levels of axial load, the grillage manifests instabilities and displays non-trivial axial and flexural incremental vibrations. Floquet-Bloch wave asymptotics is used to homogenize the in-plane mechanical response, so to obtain an equivalent prestressed elastic solid subject to incremental time-harmonic vibration, which includes, as a particular case, the incremental quasi-static response. The equivalent elastic solid is obtained from its acoustic tensor, directly derived from homogenization and shown to be independent of the rods' rotational inertia. Loss of strong ellipticity in the equivalent continuum coincides with macro-bifurcation in the lattice, while micro-bifurcation remains undetected in the continuum and corresponds to a vibration of vanishing frequency of the lowest dispersion branch of the lattice, occurring at finite wavelength. A perturbative approach based on dynamic Green's function is applied to both the lattice and its equivalent continuum. This shows that only macro-instability corresponds to localization of incremental strain, while micro-instabilities occur in modes that spread throughout the whole lattice with an 'explosive' character. Extremely localized mechanical responses are found both in the lattice and in the solid, with the advantage that the former can be easily realized, for instance via 3D printing. In this way, features such as shear band inclination, or the emergence of a single shear band, or competition between micro and macro instabilities become all designable features. The presented results pave the way for the design of architected materials to be used in applications involving extreme deformations.


title: Provability in BI's Sequent Calculus is Decidable

abstract: Warning: This paper contains a mistake, rendering the proof of the main theorem invalid. The logic of Bunched Implications (BI) combines both additive and multiplicative connectives, which include two primitive intuitionistic implications. As a consequence, contexts in the sequent presentation are not lists, nor multisets, but rather tree-like structures called bunches. This additional complexity notwithstanding, the logic has a well-behaved metatheory admitting all the familiar forms of semantics and proof systems. However, the presentation of an effective proof-search procedure has been elusive since the logic's debut. We show that one can reduce the proof-search space for any given sequent to a primitive recursive set, the argument generalizing Gentzen's decidability argument for classical propositional logic and combining key features of Dyckhoff's contraction-elimination argument for intuitionistic logic. An effective proof-search procedure, and hence decidability of provability, follows as a corollary.


title: Explicit blowing up solutions for a higher order parabolic equation with Hessian nonlinearity

abstract: In this work we consider a nonlinear parabolic higher order partial differential equation that has been proposed as a model for epitaxial growth. This equation possesses both global-in-time solutions and solutions that blow up in finite time, for which this blow-up is mediated by its Hessian nonlinearity. Herein, we further analyze its blow-up behaviour by means of the construction of explicit solutions in the square, the disc, and the plane. Some of these solutions show complete blow-up in either finite or infinite time. Finally, we refine a blow-up criterium that was proved for this evolution equation. Still, existent blow-up criteria based on a priori estimates do not completely reflect the singular character of these explicit blowing up solutions.


title: Multi-level Adaptation of Distributed Decision-Making Agents in Complex Task Environments

abstract: To solve complex tasks, individuals often autonomously organize in teams. Examples of complex tasks include disaster relief rescue operations or project development in consulting. The teams that work on such tasks are adaptive at multiple levels: First, by autonomously choosing the individuals that jointly perform a specific task, the team itself adapts to the complex task at hand, whereby the composition of teams might change over time. We refer to this process as self-organization. Second, the members of a team adapt to the complex task environment by learning. There is, however, a lack of extensive research on multi-level adaptation processes that consider self-organization and individual learning as simultaneous processes in the field of management science. We introduce an agent-based model based on the NK-framework to study the effects of simultaneous multi-level adaptation on a team's performance. We implement the multi-level adaptation process by a second-price auction mechanism for self-organization at the team level. Adaptation at the individual level follows an autonomous learning mechanism. Our preliminary results suggest that, depending on the task's complexity, different configurations of individual and collective adaptation can be associated with higher overall task performance. Low complex tasks favour high individual and collective adaptation, while moderate individual and collective adaptation is associated with better performance in case of moderately complex tasks. For highly complex tasks, the results suggest that collective adaptation is harmful to performance.


title: Deep Learning for Virus-Spreading Forecasting: a Brief Survey

abstract: The advent of the coronavirus pandemic has sparked the interest in predictive models capable of forecasting virus-spreading, especially for boosting and supporting decision-making processes. In this paper, we will outline the main Deep Learning approaches aimed at predicting the spreading of a disease in space and time. The aim is to show the emerging trends in this area of research and provide a general perspective on the possible strategies to approach this problem. In doing so, we will mainly focus on two macro-categories: classical Deep Learning approaches and Hybrid models. Finally, we will discuss the main advantages and disadvantages of different models, and underline the most promising development directions to improve these approaches.


title: Rigidity of Fibonacci Circle Maps with a Flat Piece and Different Critical Exponents

abstract: We consider order preserving $C^3$ circle maps with a flat piece, Fibonacci rotation number, critical exponents $(\ell_1, \ell_2)$ and negative shwarzian derivative. This paper treat the geometry characteristic of the non-wondering (cantor (fractal)) set from a map of our class. We prove that, for $(\ell_1, \ell_2)$ in $(1,2)^2$, the geometry of system is degenerate (double exponentially fast). As consequences, the renormalization diverges and the geometric (rigidity) class depends on the three couples $(c_u(f), c'_u(f) )$, $( c_+(f), c'_+(f))$ and $(c_s(f), c'_s(f) )$.\vspace{0.5cm}


title: Terahertz-Band MIMO-NOMA: Adaptive Superposition Coding and Subspace Detection

abstract: We consider the problem of efficient ultra-massive multiple-input multiple-output (UM-MIMO) data detection in terahertz (THz)-band non-orthogonal multiple access (NOMA) systems. We argue that the most common THz NOMA configuration is power-domain superposition coding over quasi-optical doubly-massive MIMO channels. We propose spatial tuning techniques that modify antenna subarray arrangements to enhance channel conditions. Towards recovering the superposed data at the receiver side, we propose a family of data detectors based on low-complexity channel matrix puncturing, in which higher-order detectors are dynamically formed from lower-order component detectors. We first detail the proposed solutions for the case of superposition coding of multiple streams in point-to-point THz MIMO links. We then extend the study to multi-user NOMA, in which randomly distributed users get grouped into narrow cell sectors and are allocated different power levels depending on their proximity to the base station. We show that successive interference cancellation is carried with minimal performance and complexity costs under spatial tuning. We derive approximate bit error rate (BER) equations, and we propose an architectural design to illustrate complexity reductions. Under typical THz conditions, channel puncturing introduces more than an order of magnitude reduction in BER at high signal-to-noise ratios while reducing complexity by approximately 90%.


title: A Hamiltonian Monte Carlo Model for Imputation and Augmentation of Healthcare Data

abstract: Missing values exist in nearly all clinical studies because data for a variable or question are not collected or not available. Inadequate handling of missing values can lead to biased results and loss of statistical power in analysis. Existing models usually do not consider privacy concerns or do not utilise the inherent correlations across multiple features to impute the missing values. In healthcare applications, we are usually confronted with high dimensional and sometimes small sample size datasets that need more effective augmentation or imputation techniques. Besides, imputation and augmentation processes are traditionally conducted individually. However, imputing missing values and augmenting data can significantly improve generalisation and avoid bias in machine learning models. A Bayesian approach to impute missing values and creating augmented samples in high dimensional healthcare data is proposed in this work. We propose folded Hamiltonian Monte Carlo (F-HMC) with Bayesian inference as a more practical approach to process the cross-dimensional relations by applying a random walk and Hamiltonian dynamics to adapt posterior distribution and generate large-scale samples. The proposed method is applied to a cancer symptom assessment dataset and confirmed to enrich the quality of data in precision, accuracy, recall, F1 score, and propensity metric.


title: Full history recursive multilevel Picard approximations for ordinary differential equations with expectations

abstract: We consider ordinary differential equations (ODEs) which involve expectations of a random variable. These ODEs are special cases of McKean-Vlasov stochastic differential equations (SDEs). A plain vanilla Monte Carlo approximation method for such ODEs requires a computational cost of order $\varepsilon^{-3}$ to achieve a root-mean-square error of size $\varepsilon$. In this work we adapt recently introduced full history recursive multilevel Picard (MLP) algorithms to reduce this computational complexity. Our main result shows for every $\delta>0$ that the proposed MLP approximation algorithm requires only a computational effort of order $\varepsilon^{-(2+\delta)}$ to achieve a root-mean-square error of size $\varepsilon$.


title: Critical Parameters for Scalable Distributed Learning with Large Batches and Asynchronous Updates

abstract: It has been experimentally observed that the efficiency of distributed training with stochastic gradient (SGD) depends decisively on the batch size and -- in asynchronous implementations -- on the gradient staleness. Especially, it has been observed that the speedup saturates beyond a certain batch size and/or when the delays grow too large. We identify a data-dependent parameter that explains the speedup saturation in both these settings. Our comprehensive theoretical analysis, for strongly convex, convex and non-convex settings, unifies and generalized prior work directions that often focused on only one of these two aspects. In particular, our approach allows us to derive improved speedup results under frequently considered sparsity assumptions. Our insights give rise to theoretically based guidelines on how the learning rates can be adjusted in practice. We show that our results are tight and illustrate key findings in numerical experiments.


title: From Formation to Disruption: Observing the Multiphase Evolution of a Solar Flare Current Sheet

abstract: A current sheet, where magnetic energy is liberated through reconnection and is converted to other forms, is thought to play the central role in solar flares, the most intense explosions in the heliosphere. However, the evolution of a current sheet and its subsequent role in flare-related phenomena such as particle acceleration is poorly understood. Here we report observations obtained with NASA's Solar Dynamics Observatory that reveal a multiphase evolution of a current sheet in the early stages of a solar flare, from its formation to quasi-stable evolution and disruption. Our observations have implications for the understanding of the onset and evolution of reconnection in the early stages of eruptive solar flares.


title: Extension of Laguerre polynomials with negative arguments

abstract: We consider the irreducibility of polynomial $L_n^{(\alpha)} (x) $ where $\alpha$ is a negative integer. We observe that the constant term of $L_n^{(\alpha)} (x) $ vanishes if and only if $n \geq |\alpha| = -\alpha$. Therefore we assume that $\alpha = -n-s-1$ where $s$ is a non-negative integer. Let $$ g(x) = (-1)^n L_n^{(-n-s-1)}(x) = \sum\limits_{j=0}^{n} a_j \frac{x^j}{j!} $$ and more general polynomial, let $$ G(x) = \sum\limits_{j=0}^{n} a_j b_j \frac{x^j}{j!} $$ where $b_j$ with $0 \leq j \leq n$ are integers such that $|b_0| = |b_n| = 1$. Schur was the first to prove the irreducibility of $g(x)$ for $s=0$. It has been proved that $g(x)$ is irreducibile for $0 \leq s \leq 60$. In this paper, by a different method, we prove : Apart from finitely many explicitely given posibilities, either $G(x)$ is irreducible or $G(x)$ is linear factor times irreducible polynomial. This is a consequence of the estimate $s > 1.9 k$ whenever $G(x)$ has a factor of degree $k \geq 2$ and $(n,k,s) \neq (10,5,4)$. This sharpens earlier estimates of Shorey and Tijdeman and Nair and Shorey.


title: Evaluating Robustness of Counterfactual Explanations

abstract: Transparency is a fundamental requirement for decision making systems when these should be deployed in the real world. It is usually achieved by providing explanations of the system's behavior. A prominent and intuitive type of explanations are counterfactual explanations. Counterfactual explanations explain a behavior to the user by proposing actions -- as changes to the input -- that would cause a different (specified) behavior of the system. However, such explanation methods can be unstable with respect to small changes to the input -- i.e. even a small change in the input can lead to huge or arbitrary changes in the output and of the explanation. This could be problematic for counterfactual explanations, as two similar individuals might get very different explanations. Even worse, if the recommended actions differ considerably in their complexity, one would consider such unstable (counterfactual) explanations as individually unfair. In this work, we formally and empirically study the robustness of counterfactual explanations in general, as well as under different models and different kinds of perturbations. Furthermore, we propose that plausible counterfactual explanations can be used instead of closest counterfactual explanations to improve the robustness and consequently the individual fairness of counterfactual explanations.


title: Cost Optimal Planning as Satisfiability

abstract: We investigate upper bounds on the length of cost optimal plans that are valid for problems with 0-cost actions. We employ these upper bounds as horizons for a SAT-based encoding of planning with costs. Given an initial upper bound on the cost of the optimal plan, we experimentally show that this SAT-based approach is able to compute plans with better costs, and in many cases it can match the optimal cost. Also, in multiple instances, the approach is successful in proving that a certain cost is the optimal plan cost.


title: Riemannian thresholding methods for row-sparse and low-rank matrix recovery

abstract: In this paper, we present modifications of the iterative hard thresholding (IHT) method for recovery of jointly row-sparse and low-rank matrices. In particular a Riemannian version of IHT is considered which significantly reduces computational cost of the gradient projection in the case of rank-one measurement operators, which have concrete applications in blind deconvolution. Experimental results are reported that show near-optimal recovery for Gaussian and rank-one measurements, and that adaptive stepsizes give crucial improvement. A Riemannian proximal gradient method is derived for the special case of unknown sparsity.


title: Reinforcement Learning for Orientation Estimation Using Inertial Sensors with Performance Guarantee

abstract: This paper presents a deep reinforcement learning (DRL) algorithm for orientation estimation using inertial sensors combined with magnetometer. The Lyapunov method in control theory is employed to prove the convergence of orientation estimation errors. Based on the theoretical results, the estimator gains and a Lyapunov function are parametrized by deep neural networks and learned from samples. The DRL estimator is compared with three well-known orientation estimation methods on both numerical simulations and real datasets collected from commercially available sensors. The results show that the proposed algorithm is superior for arbitrary estimation initialization and can adapt to very large angular velocities for which other algorithms can be hardly applicable. To the best of our knowledge, this is the first DRL-based orientation estimation method with estimation error boundedness guarantee.


title: Pseudo spin doublet bands and Gallagher Moszkowski doublet bands in $^{100}$Y

abstract: New transitions in neutron rich $^{100}$Y have been identified in a $^9$Be+$^{238}$U experiment with mass- and Z- gates to provide full fragment identification. These transitions and high spin levels of $^{100}$Y have been investigated by analyzing the high statistics $\gamma$-$\gamma$-$\gamma$ and $\gamma$-$\gamma$-$\gamma$-$\gamma$ coincidence data from the spontaneous fission of $^{252}$Cf at the Gammasphere detector array. Two new bands, 14 new levels and 23 new transitions have been identified. The $K^{\pi}=4^+$ new band decaying to an 1s isomeric state is assigned to be the high-$K$ Gallagher-Moszkowski (GM) partner of the known $K^{\pi}=1^+$ band, with the $\pi 5/2[522] \otimes \nu 3/2[411]$ configuration. This 4$^+$ band is also proposed to be the pseudo spin partner of the new $K^{\pi}=5^+$ band with a 5$^{+}$ $\pi 5/2[422] \otimes \nu 5/2[413]$ configuration, to form a $\pi 5/2[422] \otimes \nu [312$ $5/2,3/2]$ neutron pseudospin doublet. Constrained triaxial covariant density functional theory and quantal particle rotor model calculations have been applied to interpret the band structure and available electromagnetic transition probabilities and are found in good agreement with experimental values.


title: Role of elasto-inertial turbulence in viscoelastic drag-reducing turbulence

abstract: Two kinds of nonlinearities coexist in viscoelastic fluid flows, i.e., inertia and elasticity, which can engender different types of chaotic states including IT, DRT, ET and EIT. The state of MDR, the ultimate state of DRT induced by adding polymers to Newtonian IT, is recently regarded as EIT. This letter quantitatively demonstrates the role of IT and EIT in DRT via the contributions of RSS and the nonlinear part of ESS to flow drag. The nature of DRT is re-examined in a wide range of flow conditions covering a series of flow regimes from the onset of DR to MDR. We argue that EIT related dynamics appears in DRT long before settling to MDR regime and competitively coexists with IT in both spatial and temporal domain at moderate and high Re. More specifically, at low DR condition, EIT firstly emerges close to the channel walls. With the increase of elasticity, low-drag EIT gradually replaces high-drag IT from channel walls to center, resulting in a drastic decrease of flow drag comparing with IT. When EIT dynamics dominates the whole channel, MDR phenomenon is formed. Our findings provide evidences that DRT phenomenon is the result of IT and EIT interaction.


title: A Monge normal form for the rolling distribution

abstract: Using a parametrisation of $sl_2$ given by the second prolongation of the group action of unimodular fractional linear transformations as presented in an article of Clarkson and Olver, we find a Monge normal form describing the rolling of two hyperboloid surfaces over each other.


title: Topological Mixing of Random Substitutions

abstract: We investigate topological mixing of compatible random substitutions. For primitive random substitutions on two letters whose second eigenvalue is greater than one in modulus, we identify a simple, computable criterion which is equivalent to topological mixing of the associated subshift. This generalises previous results on deterministic substitutions. In the case of recognisable, irreducible Pisot random substitutions, we show that the associated subshift is not topologically mixing. Without recognisability, we rely on more specialised methods for excluding mixing and we apply these methods to show that the random Fibonacci substitution subshift is not topologically mixing.


title: Video Sentiment Analysis with Bimodal Information-augmented Multi-Head Attention

abstract: Humans express feelings or emotions via different channels. Take language as an example, it entails different sentiments under different visual-acoustic contexts. To precisely understand human intentions as well as reduce the misunderstandings caused by ambiguity and sarcasm, we should consider multimodal signals including textual, visual and acoustic signals. The crucial challenge is to fuse different modalities of features for sentiment analysis. To effectively fuse the information carried by different modalities and better predict the sentiments, we design a novel multi-head attention based fusion network, which is inspired by the observations that the interactions between any two pair-wise modalities are different and they do not equally contribute to the final sentiment prediction. By assigning the acoustic-visual, acoustic-textual and visual-textual features with reasonable attention and exploiting a residual structure, we attend to attain the significant features. We conduct extensive experiments on four public multimodal datasets including one in Chinese and three in English. The results show that our approach outperforms the existing methods and can explain the contributions of bimodal interaction in multiple modalities.


title: Reinforcement Learning with External Knowledge by using Logical Neural Networks

abstract: Conventional deep reinforcement learning methods are sample-inefficient and usually require a large number of training trials before convergence. Since such methods operate on an unconstrained action set, they can lead to useless actions. A recent neuro-symbolic framework called the Logical Neural Networks (LNNs) can simultaneously provide key-properties of both neural networks and symbolic logic. The LNNs functions as an end-to-end differentiable network that minimizes a novel contradiction loss to learn interpretable rules. In this paper, we utilize LNNs to define an inference graph using basic logical operations, such as AND and NOT, for faster convergence in reinforcement learning. Specifically, we propose an integrated method that enables model-free reinforcement learning from external knowledge sources in an LNNs-based logical constrained framework such as action shielding and guide. Our results empirically demonstrate that our method converges faster compared to a model-free reinforcement learning method that doesn't have such logical constraints.


title: A remark on uniform expansion

abstract: For every $\mathcal{U} \subset \mathrm{Diff}^\infty_{vol}(\mathbb{T}^2)$ there is a measure of finite support contained in $\mathcal{U}$ which is uniformly expanding.


title: Binary neutron star merger simulations with hot microscopic equations of state

abstract: We perform binary neutron star merger simulations using a newly derived set of finite-temperature equations of state in the Brueckner-Hartree-Fock approach. We point out the important and opposite roles of finite temperature and rotation for stellar stability and systematically investigate the gravitational-wave properties, matter distribution, and ejecta properties in the postmerger phase for the different cases. The validity of several universal relations is also examined and the most suitable EOSs are identified.


title: Detecting Outliers in High-dimensional Data with Mixed Variable Types using Conditional Gaussian Regression Models

abstract: Outlier detection has gained increasing interest in recent years, due to newly emerging technologies and the huge amount of high-dimensional data that are now available. Outlier detection can help practitioners to identify unwanted noise and/or locate interesting abnormal observations. To address this, we developed a novel method for outlier detection for use in, possibly high-dimensional, datasets with both discrete and continuous variables. We exploit the family of decomposable graphical models in order to model the relationship between the variables and use this to form an exact likelihood ratio test for an observation that is considered an outlier. We show that our method outperforms the state-of-the-art Isolation Forest algorithm on a real data example.


title: Photometric and spectroscopic investigations of the Galactic field RRc candidates V764 Mon and HY Com

abstract: By analyzing photometric and spectroscopic time series in this paper, we show that the pulsator V764 Mon, assumed to be the brightest RR Lyrae star in the sky, is in fact a rapidly rotating delta Scuti star with an unusually long dominant period (P1=0.29 d). Our spectroscopy confirmed the discovery of the Gaia satellite about the binarity of V764 Mon. In the case of HY Com, a `bona fide' RRc star, we present its first complete radial velocity curve. Additionally, we found that the star continues its strong phase variation reported before.


title: Real-World Single Image Super-Resolution: A Brief Review

abstract: Single image super-resolution (SISR), which aims to reconstruct a high-resolution (HR) image from a low-resolution (LR) observation, has been an active research topic in the area of image processing in recent decades. Particularly, deep learning-based super-resolution (SR) approaches have drawn much attention and have greatly improved the reconstruction performance on synthetic data. Recent studies show that simulation results on synthetic data usually overestimate the capacity to super-resolve real-world images. In this context, more and more researchers devote themselves to develop SR approaches for realistic images. This article aims to make a comprehensive review on real-world single image super-resolution (RSISR). More specifically, this review covers the critical publically available datasets and assessment metrics for RSISR, and four major categories of RSISR methods, namely the degradation modeling-based RSISR, image pairs-based RSISR, domain translation-based RSISR, and self-learning-based RSISR. Comparisons are also made among representative RSISR methods on benchmark datasets, in terms of both reconstruction quality and computational efficiency. Besides, we discuss challenges and promising research topics on RSISR.


title: Compendium solar spectrum formation

abstract: The solar spectrum conveys most of our diagnostics to find out how our star works. They must be understood for utilization, but solar spectrum formation is complex because the interaction of matter and radiation within the solar atmosphere suffers non-local control in space, wavelength, and time. These complexities are summarized and illustrated with classic literature. They combine in chromospheric spectrum formation.


title: FSDR: Frequency Space Domain Randomization for Domain Generalization

abstract: Domain generalization aims to learn a generalizable model from a known source domain for various unknown target domains. It has been studied widely by domain randomization that transfers source images to different styles in spatial space for learning domain-agnostic features. However, most existing randomization uses GANs that often lack of controls and even alter semantic structures of images undesirably. Inspired by the idea of JPEG that converts spatial images into multiple frequency components (FCs), we propose Frequency Space Domain Randomization (FSDR) that randomizes images in frequency space by keeping domain-invariant FCs (DIFs) and randomizing domain-variant FCs (DVFs) only. FSDR has two unique features: 1) it decomposes images into DIFs and DVFs which allows explicit access and manipulation of them and more controllable randomization; 2) it has minimal effects on semantic structures of images and domain-invariant features. We examined domain variance and invariance property of FCs statistically and designed a network that can identify and fuse DIFs and DVFs dynamically through iterative learning. Extensive experiments over multiple domain generalizable segmentation tasks show that FSDR achieves superior segmentation and its performance is even on par with domain adaptation methods that access target data in training.


title: Self-Checking Deep Neural Networks in Deployment

abstract: The widespread adoption of Deep Neural Networks (DNNs) in important domains raises questions about the trustworthiness of DNN outputs. Even a highly accurate DNN will make mistakes some of the time, and in settings like self-driving vehicles these mistakes must be quickly detected and properly dealt with in deployment. Just as our community has developed effective techniques and mechanisms to monitor and check programmed components, we believe it is now necessary to do the same for DNNs. In this paper we present DNN self-checking as a process by which internal DNN layer features are used to check DNN predictions. We detail SelfChecker, a self-checking system that monitors DNN outputs and triggers an alarm if the internal layer features of the model are inconsistent with the final prediction. SelfChecker also provides advice in the form of an alternative prediction. We evaluated SelfChecker on four popular image datasets and three DNN models and found that SelfChecker triggers correct alarms on 60.56% of wrong DNN predictions, and false alarms on 2.04% of correct DNN predictions. This is a substantial improvement over prior work (SELFORACLE, DISSECTOR, and ConfidNet). In experiments with self-driving car scenarios, SelfChecker triggers more correct alarms than SELFORACLE for two DNN models (DAVE-2 and Chauffeur) with comparable false alarms. Our implementation is available as open source.


title: Root cause prediction based on bug reports

abstract: This paper proposes a supervised machine learning approach for predicting the root cause of a given bug report. Knowing the root cause of a bug can help developers in the debugging process - either directly or indirectly by choosing proper tool support for the debugging task. We mined 54755 closed bug reports from the issue trackers of 103 GitHub projects and applied a set of heuristics to create a benchmark consisting of 10459 reports. A subset was manually classified into three groups (semantic, memory, and concurrency) based on the bugs' root causes. Since the types of root cause are not equally distributed, a combination of keyword search and random selection was applied. Our data set for the machine learning approach consists of 369 bug reports (122 concurrency, 121 memory, and 126 semantic bugs). The bug reports are used as input to a natural language processing algorithm. We evaluated the performance of several classifiers for predicting the root causes for the given bug reports. Linear Support Vector machines achieved the highest mean precision (0.74) and recall (0.72) scores. The created bug data set and classification are publicly available.


title: Weak intermittency and second moment bound of a fully discrete scheme for stochastic heat equation

abstract: In this paper, we first prove the weak intermittency, and in particular the sharp exponential order $C\lambda^4t$ of the second moment of the exact solution of the stochastic heat equation with multiplicative noise and periodic boundary condition, where $\lambda>0$ denotes the level of the noise. In order to inherit numerically these intrinsic properties of the original equation, we introduce a fully discrete scheme, whose spatial direction is based on the finite difference method and temporal direction is based on the $\theta$-scheme. We prove that the second moment of numerical solutions of both spatially semi-discrete and fully discrete schemes grows at least as $\exp\{C\lambda^2t\}$ and at most as $\exp\{C\lambda^4t\}$ for large $t$ under natural conditions, which implies the weak intermittency of these numerical solutions. Moreover, a renewal approach is applied to show that both of the numerical schemes could preserve the sharp exponential order $C\lambda^4t$ of the second moment of the exact solution for large spatial partition number.


title: Hemispheric Tectonics on super-Earth LHS 3844b

abstract: The tectonic regime of rocky planets fundamentally influences their long-term evolution and cycling of volatiles between interior and atmosphere. Earth is the only known planet with active plate tectonics, but observations of exoplanets may deliver insights into the diversity of tectonic regimes beyond the solar system. Observations of the thermal phase curve of super-Earth LHS 3844b reveal a solid surface and lack of a substantial atmosphere, with a temperature contrast between the substellar and antistellar point of around 1000 K. Here, we use these constraints on the planet's surface to constrain the interior dynamics and tectonic regimes of LHS 3844b using numerical models of interior flow. We investigate the style of interior convection by assessing how upwellings and downwellings are organized and how tectonic regimes manifest. We discover three viable convective regimes with a mobile surface: (1) spatially uniform distribution of upwellings and downwellings, (2) prominent downwelling on the dayside and upwellings on the nightside, and (3) prominent downwelling on the nightside and upwellings on the dayside. Hemispheric tectonics is observed for regimes (2) and (3) as a direct consequence of the day-to-night temperature contrast. Such a tectonic mode is absent in the present-day solar system and has never been inferred from astrophysical observations of exoplanets. Our models offer distinct predictions for volcanism and outgassing linked to the tectonic regime, which may explain secondary features in phase curves and allow future observations to constrain the diversity of super-Earth interiors.


title: Cosmic ray protons and electrons from supernova remnants

abstract: The spectrum of cosmic ray protons and electrons released by supernova remnants throughout their evolution is poorly known, because of the difficulty in accounting for particle escape and confinement in the downstream of a shock front, where both adiabatic and radiative losses are present. Here we calculate the spectrum of cosmic ray protons released during the evolution of supernovae of different types, accounting for the escape from upstream and for adiabatic losses of particles advected downstream of the shock and liberated at later times. The same calculation is carried out for electrons. The magnetic field in the post-shock region is calculated by using an analytic treatment of the magnetic field amplification due to non--resonant and resonant streaming instability and their saturation. We find that when the field is the result of the growth of the cosmic-ray--driven non--resonant instability alone, the spectrum of electrons and protons released by a supernova remnant are indeed different, but such a difference becomes appreciable only at energies $\gtrsim 100-1000$ GeV, while observations of the electron spectrum require such a difference to be present at energies as low as $\sim 10$ GeV. An effect at such low energies requires substantial magnetic field amplification in the late stages of the supernova remnant evolution (shock velocity $\ll 1000$ km/s), perhaps not due to streaming instability but hydrodynamical processes. We comment on the feasibility of such conditions and speculate on the possibility that the difference in spectral shape between electrons and protons may reflect either some unknown acceleration effect, or additional energy losses in cocoons around the sources.


title: Event-based Synthetic Aperture Imaging with a Hybrid Network

abstract: Synthetic aperture imaging (SAI) is able to achieve the see through effect by blurring out the off-focus foreground occlusions and reconstructing the in-focus occluded targets from multi-view images. However, very dense occlusions and extreme lighting conditions may bring significant disturbances to the SAI based on conventional frame-based cameras, leading to performance degeneration. To address these problems, we propose a novel SAI system based on the event camera which can produce asynchronous events with extremely low latency and high dynamic range. Thus, it can eliminate the interference of dense occlusions by measuring with almost continuous views, and simultaneously tackle the over/under exposure problems. To reconstruct the occluded targets, we propose a hybrid encoder-decoder network composed of spiking neural networks (SNNs) and convolutional neural networks (CNNs). In the hybrid network, the spatio-temporal information of the collected events is first encoded by SNN layers, and then transformed to the visual image of the occluded targets by a style-transfer CNN decoder. Through experiments, the proposed method shows remarkable performance in dealing with very dense occlusions and extreme lighting conditions, and high quality visual images can be reconstructed using pure event data.


title: Multilevel Global-Local techniques for adaptive ductile phase-field fracture

abstract: This paper outlines a rigorous variational-based multilevel Global-Local formulation for ductile fracture. Here, a phase-field formulation is used to resolve failure mechanisms by regularizing the sharp crack topology on the local state. The coupling of plasticity to the crack phase-field is realized by a constitutive work density function, which is characterized through a degraded stored elastic energy and the accumulated dissipated energy due to plasticity and damage. Two different Global-Local approaches based on the idea of multiplicative Schwarz' alternating method are proposed: (i) A global constitutive model with an elastic-plastic behavior is first proposed, while it is enhanced with a single local domain, which, in turn, describes an elastic-plastic fracturing response. (ii) The main objective of the second model is to introduce an adoption of the Global-Local approach toward the multilevel local setting. To this end, an elastic-plastic global constitutive model is augmented with two distinct local domains; in which, the first local domain behaves as an elastic-plastic material and the next local domain is modeled due to the fracture state. To further reduce the computational cost, predictor-corrector adaptivity within Global-Local concept is introduced. An adaptive scheme is devised through the evolution of the effective global plastic flow (for only elastic-plastic adaptivity), and through the evolution of the local crack phase-field state (for only fracture adaptivity). Thus, two local domains are dynamically updated during the computation, resulting with two-way adaptivity procedure. The overall response of the Global-Local approach in terms of accuracy/robustness and efficiency is verified using single-scale problems. The resulting framework is algorithmically described in detail and substantiated with numerical examples.


title: Continuous Speech Separation with Ad Hoc Microphone Arrays

abstract: Speech separation has been shown effective for multi-talker speech recognition. Under the ad hoc microphone array setup where the array consists of spatially distributed asynchronous microphones, additional challenges must be overcome as the geometry and number of microphones are unknown beforehand. Prior studies show, with a spatial-temporalinterleaving structure, neural networks can efficiently utilize the multi-channel signals of the ad hoc array. In this paper, we further extend this approach to continuous speech separation. Several techniques are introduced to enable speech separation for real continuous recordings. First, we apply a transformer-based network for spatio-temporal modeling of the ad hoc array signals. In addition, two methods are proposed to mitigate a speech duplication problem during single talker segments, which seems more severe in the ad hoc array scenarios. One method is device distortion simulation for reducing the acoustic mismatch between simulated training data and real recordings. The other is speaker counting to detect the single speaker segments and merge the output signal channels. Experimental results for AdHoc-LibiCSS, a new dataset consisting of continuous recordings of concatenated LibriSpeech utterances obtained by multiple different devices, show the proposed separation method can significantly improve the ASR accuracy for overlapped speech with little performance degradation for single talker segments.


title: The spatial distributions of blue main-sequence stars in Magellanic Cloud star clusters

abstract: The color-magnitude diagrams (CMDs) of young star clusters show that, particularly at ultraviolet wavelengths, their upper main sequences (MSs) bifurcate into a sequence comprising the bulk population and a blue periphery. The spatial distribution of stars is crucial to understand the reasons for these distinct stellar populations. This study uses high-resolution photometric data obtained with the Hubble Space Telescope to study the spatial distributions of the stellar populations in seven Magellanic Cloud star clusters. The cumulative radial number fractions of blue stars within four clusters are strongly anti-correlated with those of the high-mass-ratio binaries in the bifurcated region, with negative Pearson coefficients < -0.7. Those clusters generally are young or in an early dynamical evolutionary stage. In addition, a supporting N-body simulation suggests the increasing percentage of blue-MS stars from the cluster centers to their outskirts may be associated with the dissolution of soft binaries. This study provides a different perspective to explore the MS bimodalities in young clusters and adds extra puzzles. A more comprehensive study combined with detailed simulations is needed in the future.


title: Shape-driven Coordinate Ordering for Star Glyph Sets via Reinforcement Learning

abstract: We present a neural optimization model trained with reinforcement learning to solve the coordinate ordering problem for sets of star glyphs. Given a set of star glyphs associated to multiple class labels, we propose to use shape context descriptors to measure the perceptual distance between pairs of glyphs, and use the derived silhouette coefficient to measure the perception of class separability within the entire set. To find the optimal coordinate order for the given set, we train a neural network using reinforcement learning to reward orderings with high silhouette coefficients. The network consists of an encoder and a decoder with an attention mechanism. The encoder employs a recurrent neural network (RNN) to encode input shape and class information, while the decoder together with the attention mechanism employs another RNN to output a sequence with the new coordinate order. In addition, we introduce a neural network to efficiently estimate the similarity between shape context descriptors, which allows to speed up the computation of silhouette coefficients and thus the training of the axis ordering network. Two user studies demonstrate that the orders provided by our method are preferred by users for perceiving class separation. We tested our model on different settings to show its robustness and generalization abilities and demonstrate that it allows to order input sets with unseen data size, data dimension, or number of classes. We also demonstrate that our model can be adapted to coordinate ordering of other types of plots such as RadViz by replacing the proposed shape-aware silhouette coefficient with the corresponding quality metric to guide network training.


title: Human-AI Interactions in Public Sector Decision-Making: "Automation Bias" and "Selective Adherence" to Algorithmic Advice

abstract: Artificial intelligence algorithms are increasingly adopted as decisional aides by public bodies, with the promise of overcoming biases of human decision-makers. At the same time, they may introduce new biases in the human-algorithm interaction. Drawing on psychology and public administration literatures, we investigate two key biases: overreliance on algorithmic advice even in the face of warning signals from other sources (automation bias), and selective adoption of algorithmic advice when this corresponds to stereotypes (selective adherence). We assess these via three experimental studies conducted in the NetherlandsWe discuss the implications of our findings for public sector decision making in the age of automation. Overall, our study speaks to potential negative effects of automation of the administrative state for already vulnerable and disadvantaged citizens.


title: Specific neutral and charged black holes in $f(R)$ gravitational theory

abstract: With the successes of $f(R)$ theory as a neutral modification of Einstein's general relativity (GR), we continue our study in this field and attempt to find general %natural { neutral} and charged black hole (BH) solutions. In the previous papers \cite{Nashed:2020mnp,Nashed:2020tbp}, we applied the field equation of the $f(R)$ gravity to a spherically symmetric space-time $ds^2=-U(r)dt^2+\frac{dr^2}{V(r)}+r^2 \left( d\theta^2+\sin^2\theta d\phi^2 \right)$ with unequal metric potentials $U(r)$ and $V(r)$ and with/without electric charge. {Then we have obtained equations which include all the possible static solutions with spherical symmetry.} To ensure the closed form of system of the resulting differential equations in order to obtain specific solutions, we assumed the derivative of the $f(R)$ with respect to the scalar curvature $R$ to have a form %$F_1(r)=\frac{df(R(r))}{dR(r)} \propto %{\color{red} 1 +} %\frac{c}{r^n}$ but in case $n>2$, the resulting black hole solutions with/without charge do not %generate asymptotically GR BH solutions in the limit $c\rightarrow 0$ which means that the only case that can generate GR BHs is $n=2$. %In this paper, we assume another form, i.e., $F_1(r) {=\frac{df(R(r))}{dR(r)} } = 1-\frac{F_0-\left(n-3\right)}{r^n}$ with a constant $F_0$ and show that we can generate asymptotically GR BH solutions for $n>2$ but we show that the $n=2$ case is not allowed. This form of $F_1(r)$ could be the most acceptable physical form that we can generate from it physical metric potentials that can have a well-known asymptotic form and we obtain the metric of the Einstein general relativity in the limit of $F_0\to n-3$. We show that the form of the electric charge depends on $n$ and that $n\neq 2$.}


title: Nonlinear MPC for Offset-Free Tracking of systems learned by GRU Neural Networks

abstract: The use of Recurrent Neural Networks (RNNs) for system identification has recently gathered increasing attention, thanks to their black-box modeling capabilities.Albeit RNNs have been fruitfully adopted in many applications, only few works are devoted to provide rigorous theoretical foundations that justify their use for control purposes. The aim of this paper is to describe how stable Gated Recurrent Units (GRUs), a particular RNN architecture, can be trained and employed in a Nonlinear MPC framework to perform offset-free tracking of constant references with guaranteed closed-loop stability. The proposed approach is tested on a pH neutralization process benchmark, showing remarkable performances.


title: How to Identify Boundary Conditions with Contrasty Metric?

abstract: The boundary conditions (BCs) have shown great potential in requirements engineering because a BC captures the particular combination of circumstances, i.e., divergence, in which the goals of the requirement cannot be satisfied as a whole. Existing researches have attempted to automatically identify lots of BCs. Unfortunately, a large number of identified BCs make assessing and resolving divergences expensive. Existing methods adopt a coarse-grained metric, generality, to filter out less general BCs. However, the results still retain a large number of redundant BCs since a general BC potentially captures redundant circumstances that do not lead to a divergence. Furthermore, the likelihood of BC can be misled by redundant BCs resulting in costly repeatedly assessing and resolving divergences. In this paper, we present a fine-grained metric to filter out the redundant BCs. We first introduce the concept of contrasty of BC. Intuitively, if two BCs are contrastive, they capture different divergences. We argue that a set of contrastive BCs should be recommended to engineers, rather than a set of general BCs that potentially only indicates the same divergence. Then we design a post-processing framework (PPAc) to produce a set of contrastive BCs after identifying BCs. Experimental results show that the contrasty metric dramatically reduces the number of BCs recommended to engineers. Results also demonstrate that lots of BCs identified by the state-of-the-art method are redundant in most cases. Besides, to improve efficiency, we propose a joint framework (JAc) to interleave assessing based on the contrasty metric with identifying BCs. The primary intuition behind JAc is that it considers the search bias toward contrastive BCs during identifying BCs, thereby pruning the BCs capturing the same divergence. Experiments confirm the improvements of JAc in identifying contrastive BCs.


title: Filter Functions for Quantum Processes under Correlated Noise

abstract: Many qubit implementations are afflicted by correlated noise not captured by standard theoretical tools that are based on Markov approximations. While independent gate operations are a key concept for quantum computing, it is actually not possible to fully describe noisy gates locally in time if noise is correlated on times longer than their duration. To address this issue, we develop a method based on the filter function formalism to perturbatively compute quantum processes in the presence of correlated classical noise. We derive a composition rule for the filter function of a sequence of gates in terms of those of the individual gates. The joint filter function allows to efficiently compute the quantum process of the whole sequence. Moreover, we show that correlation terms arise which capture the effects of the concatenation and thus yield insight into the effect of noise correlations on gate sequences. Our generalization of the filter function formalism enables both qualitative and quantitative studies of algorithms and state-of-the-art tools widely used for the experimental verification of gate fidelities like randomized benchmarking, even in the presence of noise correlations.


title: A Fault Localization and Debugging Support Framework driven by Bug Tracking Data

abstract: Fault localization has been determined as a major resource factor in the software development life cycle. Academic fault localization techniques are mostly unknown and unused in professional environments. Although manual debugging approaches can vary significantly depending on bug type (e.g. memory bugs or semantic bugs), these differences are not reflected in most existing fault localization tools. Little research has gone into automated identification of bug types to optimize the fault localization process. Further, existing fault localization techniques leverage on historical data only for augmentation of suspiciousness rankings. This thesis aims to provide a fault localization framework by combining data from various sources to help developers in the fault localization process. To achieve this, a bug classification schema is introduced, benchmarks are created, and a novel fault localization method based on historical data is proposed.


title: Long distance optical transport of ultracold atoms: A compact setup using a Moir\'e lens

abstract: We present a compact and robust setup to optically transport ultracold atoms over long distances. Using a focus-tunable Moir\'e lens that has recently appeared on the market, we demonstrate transport of up to a distance of 465 mm. A transfer efficiency of 70% is achieved with negligible temperature change at 11 $\mu$K. With its high thermal stability and low astigmatism, the Moir\'e lens is superior to fluid-based varifocal lenses. It is much more compact and stable than a lens mounted on a linear translation stage, allowing for simplified experimental setups.


title: A massively parallel Eulerian-Lagrangian method for advection-dominated transport in viscous fluids

abstract: Motivated by challenges in Earth mantle convection, we present a massively parallel implementation of an Eulerian-Lagrangian method for the advection-diffusion equation in the advection-dominated regime. The advection term is treated by a particle-based, characteristics method coupled to a block-structured finite-element framework. Its numerical and computational performance is evaluated in multiple, two- and three-dimensional benchmarks, including curved geometries, discontinuous solutions, pure advection, and it is applied to a coupled non-linear system modeling buoyancy-driven convection in Stokes flow. We demonstrate the parallel performance in a strong and weak scaling experiment, with scalability to up to $147,456$ parallel processes, solving for more than $5.2 \times 10^{10}$ (52 billion) degrees of freedom per time-step.