title: Stopping criterion for active learning based on deterministic generalization bounds

abstract: Active learning is a framework in which the learning machine can select the samples to be used for training. This technique is promising, particularly when the cost of data acquisition and labeling is high. In active learning, determining the timing at which learning should be stopped is a critical issue. In this study, we propose a criterion for automatically stopping active learning. The proposed stopping criterion is based on the difference in the expected generalization errors and hypothesis testing. We derive a novel upper bound for the difference in expected generalization errors before and after obtaining a new training datum based on PAC-Bayesian theory. Unlike ordinary PAC-Bayesian bounds, though, the proposed bound is deterministic; hence, there is no uncontrollable trade-off between the confidence and tightness of the inequality. We combine the upper bound with a statistical test to derive a stopping criterion for active learning. We demonstrate the effectiveness of the proposed method via experiments with both artificial and real datasets.


title: Batched computation of the singular value decompositions of order two by the AVX-512 vectorization

abstract: In this paper a vectorized algorithm for simultaneously computing up to eight singular value decompositions (SVDs, each of the form $A=U\Sigma V^{\ast}$) of real or complex matrices of order two is proposed. The algorithm extends to a batch of matrices of an arbitrary length $n$, that arises, for example, in the annihilation part of the parallel Kogbetliantz algorithm for the SVD of a square matrix of order $2n$. The SVD algorithm for a single matrix of order two is derived first. It scales, in most instances error-free, the input matrix $A$ such that its singular values $\Sigma_{ii}$ cannot overflow whenever its elements are finite, and then computes the URV factorization of the scaled matrix, followed by the SVD of a non-negative upper-triangular middle factor. A vector-friendly data layout for the batch is then introduced, where the same-indexed elements of each of the input and the output matrices form vectors, and the algorithm's steps over such vectors are described. The vectorized approach is then shown to be about three times faster than processing each matrix in isolation, while slightly improving accuracy over the straightforward method for the $2\times 2$ SVD.


title: Think Too Fast Nor Too Slow: The Computational Trade-off Between Planning And Reinforcement Learning

abstract: Planning and reinforcement learning are two key approaches to sequential decision making. Multi-step approximate real-time dynamic programming, a recently successful algorithm class of which AlphaZero [Silver et al., 2018] is an example, combines both by nesting planning within a learning loop. However, the combination of planning and learning introduces a new question: how should we balance time spend on planning, learning and acting? The importance of this trade-off has not been explicitly studied before. We show that it is actually of key importance, with computational results indicating that we should neither plan too long nor too short. Conceptually, we identify a new spectrum of planning-learning algorithms which ranges from exhaustive search (long planning) to model-free RL (no planning), with optimal performance achieved midway.


title: Uncertainty Quantification of Ship Resistance via Multi-Index Stochastic Collocation and Radial Basis Function Surrogates: A Comparison

abstract: This paper presents a comparison of two methods for the forward uncertainty quantification (UQ) of complex industrial problems. Specifically, the performance of Multi-Index Stochastic Collocation (MISC) and adaptive multi-fidelity Stochastic Radial Basis Functions (SRBF) surrogates is assessed for the UQ of a roll-on/roll-off passengers ferry advancing in calm water and subject to two operational uncertainties, namely the ship speed and draught. The estimation of expected value, standard deviation, and probability density function of the (model-scale) resistance is presented and discussed; the required simulations are obtained by the in-house unsteady multi-grid Reynolds Averaged Navier-Stokes (RANS) solver $\chi$navis. Both MISC and SRBF use as multi-fidelity levels the evaluations on the different grid levels intrinsically employed by the RANS solver for multi-grid acceleration; four grid levels are used here, obtained as isotropic coarsening of the initial finest mesh. The results suggest that MISC could be preferred when only limited data sets are available. For larger data sets both MISC and SRBF represent a valid option, with a slight preference for SRBF, due to its robustness to noise.


title: Formation of silicon nanocrystals in silicon carbide using flash lamp annealing

abstract: During the formation of Si nanocrystals (Si NC) in Si$_x$C$_{1-x}$ layers via solid-phase crystallization, the unintended formation of nanocrystalline SiC reduces the minority carrier lifetime and therefore the performance of Si$_x$C$_{1-x}$ as an absorber layer in solar cells. A significant reduction in the annealing time may suppress the crystallization of the SiC matrix while maintaining the formation of Si NC. In this study, we investigated the crystallization of stoichiometric SiC and Si-rich SiC using conventional rapid thermal annealing (RTA) and nonequilibrium millisecond range flash lamp annealing (FLA). The investigated Si$_x$C$_{1-x}$ films were prepared by plasma-enhanced chemical vapor deposition and annealed at temperatures from 700${\deg}$C to 1100${\deg}$C for RTA and at flash energies between 34 J/cm$^2$ and 62 J/cm$^2$ for FLA. GIXRD and FTIR were conducted to investigate hydrogen effusion, Si and SiC NC growth, and SiC crystallinity. Both the Si content and the choice of the annealing process affect the crystallization behavior. It is shown that under certain conditions, FLA can be successfully utilized for the formation of Si NC in a SiC matrix, which closely resembles Si NC in a SiC matrix achieved by RTA. The samples must have excess Si, and the flash energy should not exceed 40 J/cm$^2$ and 47 J/cm$^2$ for Si$_{0.63}$C$_{0.37}$ and Si$_{0.77}$C$_{0.23}$ samples, respectively. Under these conditions, FLA succeeds in producing Si NC of a given size in less crystalline SiC than RTA does. This result is discussed in terms of nucleation and crystal growth using classical crystallization theory. For FLA and RTA samples, an opposite relationship between NC size and Si content was observed and attributed either to the dependence of H effusion on Si content or to the optical absorption properties of the materials, which also depend on the Si content.


title: More on the infrared renormalon in $SU(N)$ QCD(adj.) on $\mathbb{R}^3\times S^1$

abstract: We present additional observations to previous studies on the infrared (IR) renormalon in $SU(N)$ QCD(adj.), the $SU(N)$ gauge theory with $n_W$-flavor adjoint Weyl fermions on~$\mathbb{R}^3\times S^1$ with the $\mathbb{Z}_N$ twisted boundary condition. First, we show that, for arbitrary finite~$N$, a logarithmic factor in the vacuum polarization of the "photon" (the gauge boson associated with the Cartan generators of~$SU(N)$) disappears under the $S^1$~compactification. Since the IR renormalon is attributed to the presence of this logarithmic factor, it is concluded that there is no IR renormalon in this system with finite~$N$. This result generalizes the observation made by Anber and~Sulejmanpasic [J. High Energy Phys.\ \textbf{1501}, 139 (2015)] for $N=2$ and~$3$ to arbitrary finite~$N$. Next, we point out that, although renormalon ambiguities do not appear through the Borel procedure in this system, an ambiguity appears in an alternative resummation procedure in which a resummed quantity is given by a momentum integration where the inverse of the vacuum polarization is included as the integrand. Such an ambiguity is caused by a simple zero at non-zero momentum of the vacuum polarization. Under the decompactification~$R\to\infty$, where $R$ is the radius of the $S^1$, this ambiguity in the momentum integration smoothly reduces to the IR renormalon ambiguity in~$\mathbb{R}^4$. We term this ambiguity in the momentum integration "renormalon precursor". The emergence of the IR renormalon ambiguity in~$\mathbb{R}^4$ under the decompactification can be naturally understood with this notion.


title: Long term measurement of the $^{87}$Sr clock frequency at the limit of primary Cs clocks

abstract: We report on a series of 42 measurements of the transition frequency of the 429~THz (5s$^2$)~$^1$S$_0$--(5s5p)~$^3$P$_0$ line in $^{87}$Sr taken over three years from 2017 to 2019. They have been performed at the Physikalisch-Technische Bundesanstalt (PTB) between the laboratory strontium lattice clock and the primary caesium fountain clocks CSF1 and CSF2. The length of each individual measurement run has been extended by use of a hydrogen maser as flywheel to improve the statistical uncertainty given by the Cs clocks. We determine an averaged transition frequency of $429\:228\:004\:229\:873.00(0.07)$~Hz with $1.5\times10^{-16}$ fractional uncertainty, at the limit of the current realization of the unit hertz. Analysis of the data provides an improved limit on the coupling of the gravitational potential of the Sun to the proton--electron mass ratio $\mu$, and confirms the limits on its temporal drift.


title: Multibranched surfaces in 3-manifolds

abstract: This is a latest survey article on embeddings of multibranched surfaces into 3-manifolds.


title: Performance Analysis for Multi-Antenna Small Cell Networks with Clustered Dynamic TDD

abstract: Small cell networks with dynamic time-division duplex (D-TDD) have emerged as a potential solution to address the asymmetric traffic demands in 5G wireless networks. By allowing the dynamic adjustment of cell-specific UL/DL configuration, D-TDD flexibly allocates percentage of subframes to UL and DL transmissions to accommodate the traffic within each cell. However, the unaligned transmissions bring in extra interference which degrades the potential gain achieved by D-TDD. In this work, we propose an analytical framework to study the performance of multi-antenna small cell networks with clustered D-TDD, where cell clustering is employed to mitigate the interference from opposite transmission direction in neighboring cells. With tools from stochastic geometry, we derive explicit expressions and tractable tight upper bounds for success probability and network throughput. The proposed analytical framework allows to quantify the effect of key system parameters, such as UL/DL configuration, cluster size, antenna number, and SINR threshold. Our results show the superiority of the clustered D-TDD over the traditional D-TDD, and reveal the fact that there exists an optimal cluster size for DL performance, while UL performance always benefits from a larger cluster.


title: Evidences of the earliest Supernova observation in the Nebra disk

abstract: The Nebra disk has been object to investigations since its discovering. In order to understand its meaning for the ancient people we are forced to find reasonable astronomical motivations which led its builders to make it. Here a possible explanations of its origins is given.


title: WG-WaveNet: Real-Time High-Fidelity Speech Synthesis without GPU

abstract: In this paper, we propose WG-WaveNet, a fast, lightweight, and high-quality waveform generation model. WG-WaveNet is composed of a compact flow-based model and a post-filter. The two components are jointly trained by maximizing the likelihood of the training data and optimizing loss functions on the frequency domains. As we design a flow-based model that is heavily compressed, the proposed model requires much less computational resources compared to other waveform generation models during both training and inference time; even though the model is highly compressed, the post-filter maintains the quality of generated waveform. Our PyTorch implementation can be trained using less than 8 GB GPU memory and generates audio samples at a rate of more than 960 kHz on an NVIDIA 1080Ti GPU. Furthermore, even if synthesizing on a CPU, we show that the proposed method is capable of generating 44.1 kHz speech waveform 1.2 times faster than real-time. Experiments also show that the quality of generated audio is comparable to those of other methods. Audio samples are publicly available online.


title: Quartet condensation induced by the isovector pairing force

abstract: The phenomenon of quartet condensation in the ground state of an isovector pairing Hamiltonian for an even-even $N=Z$ system is investigated. For this purpose we follow the evolution of the ground state from an unperturbed regime up to a strongly interacting one in a formalism of collective pairs. These pairs are those resulting from the diagonalization of the pairing Hamiltonian in a space of two particles coupled to isospin $T=1$. The ground state is found to rapidly evolve from a product of distinct $T=0$ quartets, each one formed by two of the above pairs, to a condensate of identical quartets built only with the pair corresponding to the lowest energy. This finding establishes a link between the complicated structure of the exact ground state and the simple approximation scheme of the Quartet Condensation Model. The mechanism at the basis of this quartet condensation turns out to be the same which is responsible for the development of a pair condensate in the ground state of a like-particle pairing Hamiltonian.


title: The effect of toroidicity on relaxed states at low aspect ratio

abstract: The experimentally measured single helical states in the low aspect ratio (R/a=2) RELAX device have been compared with the predictions of a cylindrical relaxation theory and a substantial deviation in terms of some macroscopic characteristics has been found, in particular for cases corresponding to a large reversal of the edge toroidal field. In this paper we consider the effect of the toroidal geometry by employing the VMEC and the RelaxFit equilibrium codes. We show that the inclusion of toroidicity produces significant corrections to the cylindrical states, especially for the deep reversed cases.


title: MineReduce: an approach based on data mining for problem size reduction

abstract: Hybrid variations of metaheuristics that include data mining strategies have been utilized to solve a variety of combinatorial optimization problems, with superior and encouraging results. Previous hybrid strategies applied mined patterns to guide the construction of initial solutions, leading to more effective exploration of the solution space. Solving a combinatorial optimization problem is usually a hard task because its solution space grows exponentially with its size. Therefore, problem size reduction is also a useful strategy in this context, especially in the case of large-scale problems. In this paper, we build upon these ideas by presenting an approach named MineReduce, which uses mined patterns to perform problem size reduction. We present an application of MineReduce to improve a heuristic for the heterogeneous fleet vehicle routing problem. The results obtained in computational experiments show that this proposed heuristic demonstrates superior performance compared to the original heuristic and other state-of-the-art heuristics, achieving better solution costs with shorter run times.


title: Outage Minimization for Intelligent Reflecting Surface Aided MISO Communication Systems via Stochastic Beamforming

abstract: Intelligent reflecting surface (IRS) has the potential to significantly enhance the network performance by reconfiguring the wireless propagation environments. It is however difficult to obtain the accurate downlink channel state information (CSI) for efficient beamforming design in IRS-aided wireless networks. In this article, we consider an IRS-aided downlink multiple-input single-output (MISO) network, where the base station (BS) is not required to know the underlying channel distribution. We formulate an outage probability minimization problem by jointly optimizing the beamforming vector at the BS and the phase-shift matrix at the IRS, while taking into account the transmit power and unimodular constraints. The formulated problem turns out to be a non-convex non-smooth stochastic optimization problem. To this end, we employ the sigmoid function as the surrogate to tackle the non-smoothness of the objective function. In addition, we propose a data-driven efficient alternating stochastic gradient descent (SGD) algorithm to solve the problem by utilizing the historical channel samples. Simulation results demonstrate the performance gains of the proposed algorithm over the benchmark methods in terms of minimizing the outage probability.


title: Quantitative inequality for the eigenvalue of a Schr\"odinger operator in the ball

abstract: The aim of this article is to prove a quantitative inequality for the first eigenvalue of a Schr\"odinger operator in the ball. More precisely, we optimize the first eigenvalue $\lambda(V)$ of the operator $\mathcal L_v:=-\Delta-V$ with Dirichlet boundary conditions with respect to the potential $V$, under $L^1$ and $L^\infty$ constraints on $V$. The solution has been known to be the characteristic function of a centered ball, but this article aims at proving a sharp growth rate of the following form: if $V^*$ is a minimizer, then $\lambda(V)-\lambda(V^*)\geq C ||V-V^*||_{L^1(\Omega)}^2$ for some $C>0$. The proof relies on two notions of derivatives for shape optimization: parametric derivatives and shape derivatives. We use parametric derivatives to handle radial competitors, and shape derivatives to deal with normal deformation of the ball. A dichotomy is then established to extend the result to all other potentials. We develop a new method to handle radial distributions and a comparison principle to handle second order shape derivatives at the ball. Finally, we add some remarks regarding the coercivity norm of the second order shape derivative in this context.


title: Influence functions for a hysteretic deformable mirror with a high density 2D array of actuators

abstract: We present modeling and analysis of a hysteretic deformable mirror where the facesheet interacts with a continuous layer of piezoelectric material that can be actuated distributively by a matrix of electrodes through multiplexing. Moreover, a method for calculating the actuator influence functions is described considering the particular arrangement of electrodes. The results are presented in a semi-analytical model to describe the facesheet's deformation caused by a high density array of actuators, and validated in a simulation. The proposed modeling of an interconnection layout of electrodes is used to determine the optimal pressures the actuators have to exert for achieving a desired surface deformation.


title: Reduction of a model for sodium exchanges in kidney nephron

abstract: This work deals with a mathematical analysis of sodium's transport in a tubular architecture of a kidney nephron. The nephron is modelled by two counter-current tubules. Ionic exchange occurs at the interface between the tubules and the epithelium and between the epithelium and the surrounding environment (interstitium). From a mathematical point of view, this model consists of a 5x5 semi-linear hyperbolic system. In the literature similar models neglect the epithelial layers. In this paper, we show rigorously that such models may be obtained by assuming that the permeabilities between lumen and epithelium are large. Indeed we show that when these grow, solutions of the 5x5 system converge in a certain way to solutions of a reduced 3x3 system where no epithelial layer is present. The problem is dened on a bounded spacial domain with initial and boundary data. Establishing BV compactness forces to introduce initial layers and to handle carefully the presence of lateral boundaries.


title: Localized and Expanding Entire Solutions of Reaction-Diffusion Equations

abstract: This paper is concerned with the spatio-temporal dynamics of nonnegative bounded entire solutions of some reaction-diffusion equations in R N in any space dimension N. The solutions are assumed to be localized in the past. Under certain conditions on the reaction term, the solutions are then proved to be time-independent or heteroclinic connections between different steady states. Furthermore, either they are localized uniformly in time, or they converge to a constant steady state and spread at large time. This result is then applied to some specific bistable-type reactions.


title: Spelling Error Correction with Soft-Masked BERT

abstract: Spelling error correction is an important yet challenging task because a satisfactory solution of it essentially needs human-level language understanding ability. Without loss of generality we consider Chinese spelling error correction (CSC) in this paper. A state-of-the-art method for the task selects a character from a list of candidates for correction (including non-correction) at each position of the sentence on the basis of BERT, the language representation model. The accuracy of the method can be sub-optimal, however, because BERT does not have sufficient capability to detect whether there is an error at each position, apparently due to the way of pre-training it using mask language modeling. In this work, we propose a novel neural architecture to address the aforementioned issue, which consists of a network for error detection and a network for error correction based on BERT, with the former being connected to the latter with what we call soft-masking technique. Our method of using `Soft-Masked BERT' is general, and it may be employed in other language detection-correction problems. Experimental results on two datasets demonstrate that the performance of our proposed method is significantly better than the baselines including the one solely based on BERT.


title: Analog electronics for beam instrumentation

abstract: The task of analog front-end electronics in beam instrumentation is to optimize the useful information content of the signal delivered by an instrument. It must suppress signal components that do not contribute to the measured quantity. It must filter to put bounds on bandwidth and possibly dynamic range, to relax the demands made of subsequent processing stages. It must minimize noise, reject interference and match the signal to transmission media and digital acquisition equipment. Since the circuitry must often operate in radio-active areas, the accent is on passive electronics.


title: Phase Transition of a Non-Linear Opinion Dynamics with Noisy Interactions

abstract: In several real \emph{Multi-Agent Systems} (MAS), it has been observed that only weaker forms of\emph{metastable consensus} are achieved, in which a large majority of agents agree on some opinion while other opinions continue to be supported by a (small) minority of agents. In this work, we take a step towards the investigation of metastable consensus for complex (non-linear) \emph{opinion dynamics} by considering the famous \undecided dynamics in the binary setting, which is known to reach consensus exponentially faster than the \voter dynamics. We propose a simple form of uniform noise in which each message can change to another one with probability $p$ and we prove that the persistence of a \emph{metastable consensus} undergoes a \emph{phase transition} for $p=\frac 16$. In detail, below this threshold, we prove the system reaches with high probability a metastable regime where a large majority of agents keeps supporting the same opinion for polynomial time. Moreover, this opinion turns out to be the initial majority opinion, whenever the initial bias is slightly larger than its standard deviation.On the contrary, above the threshold, we show that the information about the initial majority opinion is "lost" within logarithmic time even when the initial bias is maximum.Interestingly, using a simple coupling argument, we show the equivalence between our noisy model above and the model where a subset of agents behave in a \emph{stubborn} way.


title: Exploring the Capabilities and Limits of 3D Monocular Object Detection -- A Study on Simulation and Real World Data

abstract: 3D object detection based on monocular camera data is a key enabler for autonomous driving. The task however, is ill-posed due to lack of depth information in 2D images. Recent deep learning methods show promising results to recover depth information from single images by learning priors about the environment. Several competing strategies tackle this problem. In addition to the network design, the major difference of these competing approaches lies in using a supervised or self-supervised optimization loss function, which require different data and ground truth information. In this paper, we evaluate the performance of a 3D object detection pipeline which is parameterizable with different depth estimation configurations. We implement a simple distance calculation approach based on camera intrinsics and 2D bounding box size, a self-supervised, and a supervised learning approach for depth estimation. Ground truth depth information cannot be recorded reliable in real world scenarios. This shifts our training focus to simulation data. In simulation, labeling and ground truth generation can be automatized. We evaluate the detection pipeline on simulator data and a real world sequence from an autonomous vehicle on a race track. The benefit of simulation training to real world application is investigated. Advantages and drawbacks of the different depth estimation strategies are discussed.


title: Verifying Hyperliveness

abstract: HyperLTL is an extension of linear-time temporal logic for the specification of hyperproperties, i.e., temporal properties that relate multiple computation traces. HyperLTL can express information flow policies as well as properties like symmetry in mutual exclusion algorithms or Hamming distances in error-resistant transmission protocols. Previous work on HyperLTL model checking has focussed on the alternation-free fragment of HyperLTL, where verification reduces to checking a standard trace property over an appropriate self-composition of the system. The alternation-free fragment does, however, not cover general hyperliveness properties. Universal formulas, for example, cannot express the secrecy requirement that for every possible value of a secret variable there exists a computation where the value is different while the observations made by the external observer are the same. In this paper, we study the more difficult case of hyperliveness properties expressed as HyperLTL formulas with quantifier alternation. We reduce existential quantification to strategic choice and show that synthesis algorithms can be used to eliminate the existential quantifiers automatically. We furthermore show that this approach can be extended to reactive system synthesis, i.e., to automatically construct a reactive system that is guaranteed to satisfy a given HyperLTL formula.


title: An analysis of the influence of the precipitate type on the mechanical behavior of Al-Cu alloys by means of micropillar compression tests

abstract: The influence of different types of precipitates (either Guinier-Preston zones, $\theta''$ or $\theta'$) on the critical resolved shear stress and strain hardening was determined by means of micropillar compression tests in an Al - 4 wt. \% Cu alloy. The size, shape and volume fraction of the precipitates were measured in each case. It was found that size effects were negligible for micropillars with diameter $\ge$ 5 $\mu$m. Micropillars with Guinier-Preston zones showed strain localization due to precipitate shearing. The best mechanical properties were obtained with either a fine dispersion of the $\theta''$ precipitates or a coarser dispersion of $\theta'$. Both precipitate shearing and Orowan loops were observed around the $\theta''$ precipitates and the micropillar strength was compatible with the predictions of the Orowan model. In the case of the alloy with $\theta'$ precipitates, the strengthening contribution associated with the transformation strain around the precipitates has to be included in the model to explain the experimental results. Finally, the micropillar compression tests in crystals with different orientations were used to calibrate a phenomenological crystal plasticity. This information was used to predict the mechanical properties of polycrystals by means of computational homogeneization.


title: Structural Temporal Graph Neural Networks for Anomaly Detection in Dynamic Graphs

abstract: Detecting anomalies in dynamic graphs is a vital task, with numerous practical applications in areas such as security, finance, and social media. Previous network embedding based methods have been mostly focusing on learning good node representations, whereas largely ignoring the subgraph structural changes related to the target nodes in dynamic graphs. In this paper, we propose StrGNN, an end-to-end structural temporal Graph Neural Network model for detecting anomalous edges in dynamic graphs. In particular, we first extract the $h$-hop enclosing subgraph centered on the target edge and propose the node labeling function to identify the role of each node in the subgraph. Then, we leverage graph convolution operation and Sortpooling layer to extract the fixed-size feature from each snapshot/timestamp. Based on the extracted features, we utilize Gated recurrent units (GRUs) to capture the temporal information for anomaly detection. Extensive experiments on six benchmark datasets and a real enterprise security system demonstrate the effectiveness of StrGNN.


title: Laguerre-Gaussian transform for rotating image processing

abstract: Rotation is a common motional form in nature, existing from atoms and molecules, industrial turbines to astronomical objects. However, it still lacks an efficient and reliable method for real-time image processing of a fast-rotating object. Since the Fourier spectrum of a rotating object changes rapidly, the traditional Fourier transform (FT) techniques become extremely complicated and time consuming. Here, we propose a Laguerre-Gaussian (LG) transform to analyze the rotating object with LG-mode basis. The rotation operation provides a feasible way to acquire LG spectrum, which is similar to the function of lens in FT. Particularly, the obtained LG spectrum does not change even the object working at a high rotating speed. By analyzing the LG spectrum, one can perform image processing such as reconstruction, edge enhancement, and pattern replication. Such LG transform provides an efficient and convenient way to real-time monitor and analyze a fast-rotating object in scientific research and industry.


title: Persistent Map Saving for Visual Localization for Autonomous Vehicles: An ORB-SLAM Extension

abstract: Electric vhicles and autonomous driving dominate current research efforts in the automotive sector. The two topics go hand in hand in terms of enabling safer and more environmentally friendly driving. One fundamental building block of an autonomous vehicle is the ability to build a map of the environment and localize itself on such a map. In this paper, we make use of a stereo camera sensor in order to perceive the environment and create the map. With live Simultaneous Localization and Mapping (SLAM), there is a risk of mislocalization, since no ground truth map is used as a reference and errors accumulate over time. Therefore, we first build up and save a map of visual features of the environment at low driving speeds with our extension to the ORB-SLAM\,2 package. In a second run, we reload the map and then localize on the previously built-up map. Loading and localizing on a previously built map can improve the continuous localization accuracy for autonomous vehicles in comparison to a full SLAM. This map saving feature is missing in the original ORB-SLAM\,2 implementation. We evaluate the localization accuracy for scenes of the KITTI dataset against the built up SLAM map. Furthermore, we test the localization on data recorded with our own small scale electric model car. We show that the relative translation error of the localization stays under 1\% for a vehicle travelling at an average longitudinal speed of 36 m/s in a feature-rich environment. The localization mode contributes to a better localization accuracy and lower computational load compared to a full SLAM. The source code of our contribution to the ORB-SLAM2 will be made public at: https://github.com/TUMFTM/orbslam-map-saving-extension.


title: Fast and Accurate Variational Inference for Models with Many Latent Variables

abstract: Models with a large number of latent variables are often used to fully utilize the information in big or complex data. However, they can be difficult to estimate using standard approaches, and variational inference methods are a popular alternative. Key to the success of these is the selection of an approximation to the target density that is accurate, tractable and fast to calibrate using optimization methods. Most existing choices can be inaccurate or slow to calibrate when there are many latent variables. Here, we propose a family of tractable variational approximations that are more accurate and faster to calibrate for this case. It combines a parsimonious parametric approximation for the parameter posterior, with the exact conditional posterior of the latent variables. We derive a simplified expression for the re-parameterization gradient of the variational lower bound, which is the main ingredient of efficient optimization algorithms used to implement variational estimation. To do so only requires the ability to generate exactly or approximately from the conditional posterior of the latent variables, rather than to compute its density. We illustrate using two complex contemporary econometric examples. The first is a nonlinear multivariate state space model for U.S. macroeconomic variables. The second is a random coefficients tobit model applied to two million sales by 20,000 individuals in a large consumer panel from a marketing study. In both cases, we show that our approximating family is considerably more accurate than mean field or structured Gaussian approximations, and faster than Markov chain Monte Carlo. Last, we show how to implement data sub-sampling in variational inference for our approximation, which can lead to a further reduction in computation time. MATLAB code implementing the method for our examples is included in supplementary material.


title: A Deep Learning-based Radar and Camera Sensor Fusion Architecture for Object Detection

abstract: Object detection in camera images, using deep learning has been proven successfully in recent years. Rising detection rates and computationally efficient network structures are pushing this technique towards application in production vehicles. Nevertheless, the sensor quality of the camera is limited in severe weather conditions and through increased sensor noise in sparsely lit areas and at night. Our approach enhances current 2D object detection networks by fusing camera data and projected sparse radar data in the network layers. The proposed CameraRadarFusionNet (CRF-Net) automatically learns at which level the fusion of the sensor data is most beneficial for the detection result. Additionally, we introduce BlackIn, a training strategy inspired by Dropout, which focuses the learning on a specific sensor type. We show that the fusion network is able to outperform a state-of-the-art image-only network for two different datasets. The code for this research will be made available to the public at: https://github.com/TUMFTM/CameraRadarFusionNet.


title: Tilings of convex polyhedral cones and topological properties of self-affine tiles

abstract: Let $\textbf{a}_1,\dots, \textbf{a}_r$ be vectors in a half-space of $\mathbb{R}^n$. We call $$C=\textbf{a}_1\mathbb{R}^++\cdots+\textbf{a}_r \mathbb{R}^+$$ a convex polyhedral cone, and call $\{\textbf{a}_1,\dots, \textbf{a}_r\}$ a generator set of $C$. A generator set with the minimal cardinality is called a frame. We investigate the translation tilings of convex polyhedral cones. Let $T\subset \mathbb{R}^n$ be a compact set such that $T$ is the closure of its interior, and $\mathcal{J}\subset \mathbb{R}^n$ be a discrete set. We say $(T,\mathcal{J})$ is a translation tiling of $C$ if $T+\mathcal{J}=C$ and any two translations of $T$ in $T+\mathcal{J}$ are disjoint in Lebesgue measure. We show that if the cardinality of a frame of $C$ is larger than $\dim C$, the dimension of $C$, then $C$ does not admit any translation tiling; if the cardinality of a frame of $C$ equals $\dim C$, then the translation tilings of $C$ can be reduced to the translation tilings of $(\mathbb{Z}^+)^n$. As an application, we characterize all the self-affine tiles possessing polyhedral corners, which generalizes a result of Odlyzko [A. M. Odlyzko, \textit{Non-negative digit sets in positional number systems}, Proc. London Math. Soc., \textbf{37}(1978), 213-229.].


title: Subleading contributions to the nuclear scalar isoscalar currents

abstract: We extend our recent analyses of the nuclear vector, axial-vector and pseudoscalar currents and derive the leading one-loop corrections to the two-nucleon scalar current operator in the framework of chiral effective field theory using the method of unitary transformation. We also show that the scalar current operators at zero momentum transfer are directly related to the quark mass dependence of the nuclear forces.


title: Generation of Multipeak Spectrum of Spin Torque Oscillator in Non-linear Regime

abstract: We investigate the spectral characteristics of spin torque oscillator (STO) excited by the spin Hall-induced spin current. We observe that the modest spin current injection triggers the conventional single peak oscillating behavior of STO. As the spin current is further increased to enter the non-linear regime, we find the transition of the spectrum from a single peak to multipeak structure whose frequency spacing is constant. This behavior can be primarily explained by the extremely broadened peak of the STO, which is accompanied by the frequency-dependent filtering by the transmission line. To explain the observation more quantitatively, we also discuss that the multipeak may reflect the characteristics of the intrinsic dynamics of STO in the non-linear regime.


title: Inscribed Radius Bounds for Lower Ricci Bounded Metric Measure Spaces with Mean Convex Boundary

abstract: Consider an essentially nonbranching metric measure space with the measure contraction property of Ohta and Sturm, or with a Ricci curvature lower bound in the sense of Lott, Sturm and Villani. We prove a sharp upper bound on the inscribed radius of any subset whose boundary has a suitably signed lower bound on its generalized mean curvature. This provides a nonsmooth analog to a result of Kasue (1983) and Li (2014). We prove a stability statement concerning such bounds and - in the Riemannian curvature-dimension (RCD) setting - characterize the cases of equality.


title: Capacity per Unit-Energy of Gaussian Random Many-Access Channels

abstract: We consider a Gaussian multiple-access channel with random user activity where the total number of users $\ell_n$ and the average number of active users $k_n$ may be unbounded. For this channel, we characterize the maximum number of bits that can be transmitted reliably per unit-energy in terms of $\ell_n$ and $k_n$. We show that if $k_n\log \ell_n$ is sublinear in $n$, then each user can achieve the single-user capacity per unit-energy. Conversely, if $k_n\log \ell_n$ is superlinear in $n$, then the capacity per unit-energy is zero. We further demonstrate that orthogonal-access schemes, which are optimal when all users are active with probability one, can be strictly suboptimal.


title: Prethermalization of quantum systems interacting with non-equilibrium environments

abstract: The usual paradigm of open quantum systems falls short when the environment is actually coupled to additional fields or components that drive it out of equilibrium. Here we explore the simplest such scenario, by considering a two level system coupled to a first thermal reservoir that in turn couples to a second thermal bath at a different temperature. We derive a master equation description for the system and show that, in this situation, the dynamics can be especially rich. In particular, we observe prethermalization, a transitory phenomenon in which the system initially approaches thermal equilibrium with respect to the first reservoir, but after a longer time converges to the thermal state dictated by the temperature of the second environment. Using analytical arguments and numerical simulations, we analyze the occurrence of this phenomenon, and how it depends on temperatures and coupling strengths. The phenomenology gets even richer if the system is placed between two such non-equilibrium environments. In this case, the energy current through the system may exhibit transient features and even switch direction, before the system eventually reaches a non-equilibrium steady state.


title: Structure function tensor equations in inhomogeneous turbulence

abstract: Exact budget equations for the second-order structure function tensor $\langle \delta u_i \delta u_j \rangle$ are used to study the two-point statistics of velocity fluctuations in inhomogeneous turbulence. The Anisotropic Generalized Kolmogorov Equations (AGKE) describe the production, transport, redistribution and dissipation of every Reynolds stress component occurring simultaneously among different scales and in space, i.e. along directions of statistical inhomogeneity. The AGKE are effective to study the inter-component and multi-scale processes of turbulence. In contrast to more classic approaches, such as those based on the spectral decomposition of the velocity field, the AGKE provide a natural definition of scales in the inhomogeneous directions, and describe fluxes across such scales too. Compared to the Generalized Kolmogorov Equation, which is recovered as their half trace, the AGKE can describe inter-component energy transfers occurring via the pressure-strain term and contain also budget equations for the off-diagonal components of $\langle \delta u_i \delta u_j \rangle$. The non-trivial physical interpretation of the AGKE terms is demonstrated with three examples. First, the near-wall cycle of a turbulent channel flow at $Re_\tau=200$ is considered. The off-diagonal component $\langle -\delta u \delta v \rangle$, which can not be interpreted in terms of scale energy, is discussed in detail. Wall-normal scales in the outer turbulence cycle are then discussed by applying the AGKE to channel flows at $Re_\tau=500$ and $1000$. In a third example, the AGKE are computed for a separating and reattaching flow. The process of spanwise-vortex formation in the reverse boundary layer within the separation bubble is discussed for the first time.


title: Energy Management Strategy for an Autonomous Electric Racecar using Optimal Control

abstract: The automation of passenger vehicles is becoming more and more widespread, leading to full autonomy of cars within the next years. Furthermore, sustainable electric mobility is gaining in importance. As racecars have been a development platform for technology that has later also been transferred to passenger vehicles, a race format for autonomous electric racecars called Roborace has been created. As electric racecars only store a limited amount of energy, an Energy Management Strategy (EMS) is needed to work out the time as well as the minimum energy trajectories for the track. At the same time, the technical limitations and component behavior in the electric powertrain must be taken into account when calculating the race trajectories. In this paper, we present a concept for a special type of EMS. This is based on the Optimal Control Problem (OCP) of generating a time-minimal global trajectory which is solved by the transcription via direct orthogonal collocation to a Nonlinear Programming Problem (NLPP). We extend this minimum lap time problem by adding our ideas for a holistic EMS. This approach proves the fundamental feasibility of the stated ideas, e.g. varying racepaths and velocities due to energy limitations, covered by the EMS. Also, the presented concept forms the basis for future work on meta-models of the powertrain's components that can be fed into the OCP to increase the validity of the control output of the EMS.


title: Exploring the spatial features of electronic transitions in molecular and biomolecular systems by swift electrons

abstract: Electron energy loss spectroscopy is consolidating as a powerful tool to explore electronic (as well as vibrational) excitations of matter, including molecules. Performed in a scanning transmission electron microscope, this technique is based on inelastic scattering of fast electrons in a thin specimen. Very recently, new electron optics configuration have been introduced, opening the way to the analysis of the single components of orbital angular momentum of the outcoming electrons, that convey additional information on the spatial features of the investigated excitations: innovative double-dispersed spectroscopic experiments for metallic nanostructures have been therefore suggested. We propose here to extend this technology to probe molecular and supra-molecular systems, devising new kind of experiments: using state of the art quantum chemical methods to describe the molecular system in presence of an electron beam in a configuration that avoid molecular damage, we show that scattered electrons acquire the different azimuthal components of induced molecular transition potentials. Numerical simulations performed for systems of increasing size, point out that the conceived new technique can open up the possibility of probing the multipolar components and even the chirality of molecular transitions, superseding the usual optical spectroscopies for those cases that are problematic, such as dipole-forbidden transitions, at a very high spatial resolution.


title: Thermal generation, manipulation and detection of skyrmions

abstract: Recent years have witnessed significant progresses in realizing skyrmions in chiral magnets1-4 and asymmetric magnetic multilayers5-13, as well as their electrical manipulation2,7,8,10. Equally important, thermal generation, manipulation and detection of skyrmions can be exploited for prototypical new architecture with integrated computation14 and energy harvesting15. It has yet to verify if skyrmions can be purely generated by heating16,17, and if their resultant direction of motion driven by temperature gradients follows the diffusion or, oppositely, the magnonic spin torque17-21. Here, we address these important issues in microstructured devices made of multilayers: (Ta_CoFeB_MgO)15, (Pt_CoFeB_MgO_Ta)15 and (Pt_Co_Ta)15 integrated with on-chip heaters, by using a full-field soft X-ray microscopy. The thermal generation of densely packed skyrmions is attributed to the low energy barrier at the device edge, together with the thermally induced morphological transition from stripe domains to skyrmions. The unidirectional diffusion of skyrmions from the hot region towards the cold region is experimentally observed. It can be theoretically explained by the combined contribution from repulsive forces between skyrmions, and thermal spin-orbit torques in competing with magnonic spin torques17,18,20,21 and entropic forces22. These thermally generated skyrmions can be further electrically detected by measuring the accompanied anomalous Nernst voltages23. The on-chip thermoelectric generation, manipulation and detection of skyrmions could open another exciting avenue for enabling skyrmionics, and promote interdisciplinary studies among spin caloritronics15, magnonics24 and skyrmionics3,4,12.


title: Formation of Twisted Liquid Jets

abstract: Liquid jets issued from a non-circular orifice exhibit oscillation owing to the surface tension. When the orifice has an $n$-fold rotational symmetry, a material cross section of the jet interchanges two symmetric shapes alternately. This oscillation, called axis switching, is a superposition of two ripples oppositely propagating in the azimuthal direction around the axis. In this study, we used computer simulations to demonstrate that we can pick up one of the two ripples by adjusting the initial velocity profile of the orifice. As a result of the single wave propagation in the azimuth, the jet surface shows a twisted appearance. In contrast to the swirling jets, the twisted jet has no angular momentum around the axis. We numerically demonstrated the formation of twisted jets with various cross sections, including a regular square.


title: Excursion Search for Constrained Bayesian Optimization under a Limited Budget of Failures

abstract: When learning to ride a bike, a child falls down a number of times before achieving the first success. As falling down usually has only mild consequences, it can be seen as a tolerable failure in exchange for a faster learning process, as it provides rich information about an undesired behavior. In the context of Bayesian optimization under unknown constraints (BOC), typical strategies for safe learning explore conservatively and avoid failures by all means. On the other side of the spectrum, non conservative BOC algorithms that allow failing may fail an unbounded number of times before reaching the optimum. In this work, we propose a novel decision maker grounded in control theory that controls the amount of risk we allow in the search as a function of a given budget of failures. Empirical validation shows that our algorithm uses the failures budget more efficiently in a variety of optimization experiments, and generally achieves lower regret, than state-of-the-art methods. In addition, we propose an original algorithm for unconstrained Bayesian optimization inspired by the notion of excursion sets in stochastic processes, upon which the failures-aware algorithm is built.


title: Timing and Synchronization

abstract: Several modern accelerator facilities require the synchronization of equipment, which is distributed over large distances, down to the femto-second scale. This document describes the resulting problems, gives a basic description of concepts for the solution, shows several solution presently in use and finishes with a linear model to compute the resulting phase-noise of a synchronization system.


title: Binary Hypothesis Testing with Deterministic Finite-Memory Decision Rules

abstract: In this paper we consider the problem of binary hypothesis testing with finite memory systems. Let $X_1,X_2,\ldots$ be a sequence of independent identically distributed Bernoulli random variables, with expectation $p$ under $\mathcal{H}_0$ and $q$ under $\mathcal{H}_1$. Consider a finite-memory deterministic machine with $S$ states that updates its state $M_n \in \{1,2,\ldots,S\}$ at each time according to the rule $M_n = f(M_{n-1},X_n)$, where $f$ is a deterministic time-invariant function. Assume that we let the process run for a very long time ($n\rightarrow \infty)$, and then make our decision according to some mapping from the state space to the hypothesis space. The main contribution of this paper is a lower bound on the Bayes error probability $P_e$ of any such machine. In particular, our findings show that the ratio between the maximal exponential decay rate of $P_e$ with $S$ for a deterministic machine and for a randomized one, can become unbounded, complementing a result by Hellman.


title: Distribution-Dependent Stochastic Differential Delay Equations in finite and infinite dimensions

abstract: We prove that distribution dependent (also called McKean--Vlasov) stochastic delay equations of the form \begin{equation*} \mathrm{d}X(t)= b(t,X_t,\mathcal{L}_{X_t})\mathrm{d}t+ \sigma(t,X_t,\mathcal{L}_{X_t})\mathrm{d}W(t) \end{equation*} have unique (strong) solutions in finite as well as infinite dimensional state spaces if the coefficients fulfill certain monotonicity assumptions.


title: Performance limit for base-excited energy harvesting, and comparison with experiments

abstract: We consider the theoretical maximum extractable average power from an energy harvesting device attached to a vibrating table which provides a unidirectional displacement $A\sin(\omega t)$. The total mass of moving components in the device is $m$. The device is assembled in a container of dimension $L$, limiting the displacements and deformations of components within. The masses in the device may be interconnected in arbitrary ways. The maximum extractable average power is bounded by $\frac{mLA\omega^3}{\pi}$, for motions in 1, 2, or 3 dimensions; with both rectilinear and rotary motions as special cases; and with either single or multiple degrees of freedom. The limiting displacement profile of the moving masses for extracting maximum power is discontinuous, and not physically realizable. But smooth approximations can be nearly as good: with $15$ terms in a Fourier approximation, the upper limit is $99$\% of the theoretical maximum. Purely sinusoidal solutions are limited to $\frac{\pi}{4}$ times the theoretical maximum. For both single-degree-of-freedom linear resonant devices and nonresonant whirling devices where the energy extraction mimics a linear torsional damper, the maximum average power output is $\frac{mLA\omega^3}{4}$. Thirty-six experimental energy harvesting devices in the literature are found to extract power amounts ranging from $0.0036$\% to $29$\% of the theoretical maximum. Of these thirty-six, twenty achieve less than 2\% and three achieve more than 20\%. We suggest, as a figure of merit, that energy extraction above $\frac{0.2 mLA\omega^3}{\pi}$ may be considered excellent, and extraction above $\frac{0.3 mLA\omega^3}{\pi}$ may be considered challenging.


title: Sobolev Gradients for the M\"obius Energy

abstract: Aiming at optimizing the shape of closed embedded curves within prescribed isotopy classes, we use a gradient-based approach to approximate stationary points of the M\"obius energy. The gradients are computed with respect to Sobolev inner products similar to the $W^{3/2,2}$-inner product. This leads to optimization methods that are significantly more efficient and robust than standard techniques based on $L^2$-gradients.


title: Odd Connections on Supermanifolds: Existence and relation with Affine Connections

abstract: The notion of an odd quasi-connection on a supermanifold, which is loosely an affine connection that carries non-zero Grassmann parity, is examined. Their torsion and curvature are defined, however, in general, they are not tensors. A special class of such generalised connections, referred to as odd connections in this paper, have torsion and curvature tensors. Part of the structure is an odd involution of the tangent bundle of the supermanifold and this puts drastic restrictions on the supermanifolds that admit odd connections. In particular, they must have equal number of even and odd dimensions. Amongst other results, we show that an odd connection is defined, up to an odd tensor field of type $(1,2)$, by an affine connection and an odd endomorphism of the tangent bundle. Thus, the theory of odd connections and affine connections are not completely separate theories. As an example relevant to physics, it is shown that $N= 1$ super-Minkowski spacetime admits a natural odd connection.


title: What is resolution? A statistical minimax testing perspective on super-resolution microscopy

abstract: As a general rule of thumb the resolution of a light microscope (i.e. the ability to discern objects) is predominantly described by the full width at half maximum (FWHM) of its point spread function (psf)---the diameter of the blurring density at half of its maximum. Classical wave optics suggests a linear relationship between FWHM and resolution also manifested in the well known Abbe and Rayleigh criteria, dating back to the end of 19th century. However, during the last two decades conventional light microscopy has undergone a shift from microscopic scales to nanoscales. This increase in resolution comes with the need to incorporate the random nature of observations (light photons) and challenges the classical view of discernability, as we argue in this paper. Instead, we suggest a statistical description of resolution obtained from such random data. Our notion of discernability is based on statistical testing whether one or two objects with the same total intensity are present. For Poisson measurements we get linear dependence of the (minimax) detection boundary on the FWHM, whereas for a homogeneous Gaussian model the dependence of resolution is nonlinear. Hence, at small physical scales modeling by homogeneous gaussians is inadequate, although often implicitly assumed in many reconstruction algorithms. In contrast, the Poisson model and its variance stabilized Gaussian approximation seem to provide a statistically sound description of resolution at the nanoscale. Our theory is also applicable to other imaging setups, such as telescopes.


title: Invariance of multifractal spectrum of uniform self-affine measures and its applications

abstract: We study the bi-Lipschitz classification of Bedford-McMullen carpets which are totally disconnected. Let $E$ be a such carpet and let $\mu_E$ be the uniform Bernoulli measure on $E$. We show that the multifractal spectrum and the doubling property of $\mu_E$ are both invariant under a bi-Lipschitz map. Moreover, we show that if $\mu_E$ and $\mu_F$ are doubling, then a bi-Lipschitz map between $E$ and $F$ enjoys a certain measure preserving property.


title: Nowcasting fatal COVID-19 infections on a regional level in Germany

abstract: We analyse the temporal and regional structure in mortality rates related to COVID-19 infections. We relate the fatality date of each deceased patient to the corresponding day of registration of the infection, leading to a nowcasting model which allows us to estimate the number of present-day infections that will, at a later date, prove to be fatal. The numbers are broken down to the district level in Germany. Given that death counts generally provide more reliable information on the spread of the disease compared to infection counts, which inevitably depend on testing strategy and capacity, the proposed model and the presented results allow to obtain reliable insight into the current state of the pandemic in Germany.


title: Tight Bounds for Black Hole Search in Dynamic Rings

abstract: In this paper, we start the investigation of distributed computing by mobile agents in dangerous dynamic networks. The danger is posed by the presence in the network of a black hole BH, a harmful site that destroys all incoming agents without leaving any trace. The problem of determining the location of the black hole in a network, known as black hole search BHS, has been extensively studied in the literature, but always and only assuming that the network is static. At the same time, the existing results on mobile agents computing in dynamic networks never consider the presence of harmful sites. In this paper we start filling this research gap by studying black hole search in temporal rings, specifically focusing on 1-interval connectivity adversarial dynamics. The problem is solved if within finite time at least one agent survives and knows the location of BH. The main complexity parameters of BHS is the number of agents (called size) needed to solve the problem, and the number of moves (called cost) performed by the agents; in synchronous systems, such as temporal rings, an additional complexity measure is the amount of time until termination occurs. Feasibility and complexity depend on many parameters; in particular: whether the agents start from the same safe node or from possibly distinct safe locations, the size $n$ of the ring, whether or not $n$ is known, and the type of inter-agent communication (whiteboards, tokens, face-to-face, visual). In this paper, we provide a complete feasibility characterization for all instances of those parameters; all our algorithms are size optimal. Furthermore, we establish lower bounds on the cost (i.e., the number of moves) and time of size-optimal solutions for all instances of those parameters and show that our algorithms achieve those bound.


title: Holomorphic Factorization of Mappings into $ \operatorname{Sp}_{4}( \mathbb{C}) $

abstract: We prove that any null-homotopic holomorphic map from a Stein space $X$ to the symplectic group $\operatorname{Sp}_{4}(\mathbb{C})$ can be written as a finite product of elementary symplectic matrices with holomorphic entries.


title: Longitudinal and transverse electron paramagnetic resonance in a scanning tunneling microscope

abstract: Electron paramagnetic resonance (EPR) spectroscopy is widely employed to characterize paramagnetic complexes. Recently, EPR combined with scanning tunneling microscopy (STM) achieved single-spin sensitivity with sub-angstrom spatial resolution. The excitation mechanism of EPR in STM, however, is broadly debated, raising concerns about widespread application of this technique. Here, we present an extensive experimental study and modelling of EPR-STM of Fe and hydrogenated Ti atoms on an MgO surface. Our results support a piezoelectric coupling mechanism, in which the EPR species oscillate adiabatically in the inhomogeneous magnetic field of the STM tip. An analysis based on Bloch equations combined with atomic-multiplet calculations identifies different EPR driving forces. Specifically, transverse magnetic-field gradients drive the spin-1/2 hydrogenated Ti, whereas longitudinal magnetic-field gradients drive the spin-2 Fe. Additionally, our results highlight the potential of piezoelectric coupling to induce electric dipole moments, thereby broadening the scope of EPR-STM to nonpolar species and nonlinear excitation schemes.


title: Cross-lingual Transfer of Sentiment Classifiers

abstract: Word embeddings represent words in a numeric space so that semantic relations between words are represented as distances and directions in the vector space. Cross-lingual word embeddings transform vector spaces of different languages so that similar words are aligned. This is done by constructing a mapping between vector spaces of two languages or learning a joint vector space for multiple languages. Cross-lingual embeddings can be used to transfer machine learning models between languages, thereby compensating for insufficient data in less-resourced languages. We use cross-lingual word embeddings to transfer machine learning prediction models for Twitter sentiment between 13 languages. We focus on two transfer mechanisms that recently show superior transfer performance. The first mechanism uses the trained models whose input is the joint numerical space for many languages as implemented in the LASER library. The second mechanism uses large pretrained multilingual BERT language models. Our experiments show that the transfer of models between similar languages is sensible, even with no target language data. The performance of cross-lingual models obtained with the multilingual BERT and LASER library is comparable, and the differences are language-dependent. The transfer with CroSloEngual BERT, pretrained on only three languages, is superior on these and some closely related languages.


title: PrimiTect: Fast Continuous Hough Voting for Primitive Detection

abstract: This paper tackles the problem of data abstraction in the context of 3D point sets. Our method classifies points into different geometric primitives, such as planes and cones, leading to a compact representation of the data. Being based on a semi-global Hough voting scheme, the method does not need initialization and is robust, accurate, and efficient. We use a local, low-dimensional parameterization of primitives to determine type, shape and pose of the object that a point belongs to. This makes our algorithm suitable to run on devices with low computational power, as often required in robotics applications. The evaluation shows that our method outperforms state-of-the-art methods both in terms of accuracy and robustness.


title: Tensor GMRES and Golub-Kahan Bidiagonalization methods via the Einstein product with applications to image and video processing

abstract: In the present paper, we are interested in developing iterative Krylov subspace methods in tensor structure to solve a class of multilinear systems via Einstein product. In particular, we develop global variants of the GMRES and Gloub--Kahan bidiagonalization processes in tensor framework. We further consider the case that mentioned equation may be possibly corresponds to a discrete ill-posed problem. Applications arising from color image and video restoration are included.


title: Towards Optimal Energy Efficiency in Cell-Free Massive MIMO Systems

abstract: Motivated by the ever-growing demand for \emph{green} wireless communications and the advantages of \emph{cell-free} (CF) massive multiple-input multiple-output (MIMO) systems, we focus on the design of their downlink for optimal \emph{energy efficiency} (EE). To address this fundamental topic, we assume that each access point (AP) is deployed with multiple antennas and serves multiple users on the same time-frequency resource while the APs are Poisson point process (PPP) distributed, which approaches realistically their opportunistic spatial randomness. Relied on tools from stochastic geometry, we derive a lower bound on the downlink average achievable spectral efficiency (SE). Next, we consider a realistic power consumption model for CF massive MIMO systems. These steps enable the formulation of a tractable optimization problem concerning the downlink EE per unit area, which results in the analytical determination of the optimal pilot reuse factor, the AP density, and the number of AP antennas and users that maximize the EE. Notably, the EE per unit area and not just the EE is the necessary metric to describe CF systems, where we meet multi-point transmission. Hence, we provide useful design guidelines for CF massive MIMO systems relating to fundamental system variables towards optimal EE. Among the results, we observe that a lower pilot reuse factor enables a decrease of the interference, and subsequently, higher EE up to a specific value. Overall, it is shown that the CF massive MIMO technology is a promising candidate for next-generation networks achieving simultaneously high SE and EE per unit area.


title: Collective Risk Minimization via a Bayesian Model for Statistical Software Testing

abstract: In the last four years, the number of distinct autonomous vehicles platforms deployed in the streets of California increased 6-fold, while the reported accidents increased 12-fold. This can become a trend with no signs of subsiding as it is fueled by a constant stream of innovations in hardware sensors and machine learning software. Meanwhile, if we expect the public and regulators to trust the autonomous vehicle platforms, we need to find better ways to solve the problem of adding technological complexity without increasing the risk of accidents. We studied this problem from the perspective of reliability engineering in which a given risk of an accident has severity and probability of occurring. Timely information on accidents is important for engineers to anticipate and reuse previous failures to approximate the risk of accidents in a new city. However, this is challenging in the context of autonomous vehicles because of the sparse nature of data on the operational scenarios (driving trajectories in a new city). Our approach was to mitigate data sparsity by reducing the state space through monitoring of multiple-vehicles operations. We then minimized the risk of accidents by determining proper allocation of tests for each equivalence class. Our contributions comprise (1) a set of strategies to monitor the operational data of multiple autonomous vehicles, (2) a Bayesian model that estimates changes in the risk of accidents, and (3) a feedback control-loop that minimizes these risks by reallocating test effort. Our results are promising in the sense that we were able to measure and control risk for a diversity of changes in the operational scenarios. We evaluated our models with data from two real cities with distinct traffic patterns and made the data available for the community.


title: Factors in the Portability of Tokenized Assets on Distributed Ledgers

abstract: The tokenization of assets deployed to distributed ledger technology is increasingly cited to revolutionize financial services by allowing traditionally illiquid assets to be bought and sold on primary and secondary markets increasing asset liquidity, transparency and reducing transaction completion time. To realize these benefits it is important the token is transferrable, that is, portable from one distributed ledger to another. In this paper we survey current interoperability architectures and smart contract languages, identifying factors affecting the portability of tokenized assets. We propose a portability maturity model that can be used to help assess the current state of technology and supporting market infrastructure.


title: MetricUNet: Synergistic Image- and Voxel-Level Learning for Precise CT Prostate Segmentation via Online Sampling

abstract: Fully convolutional networks (FCNs), including UNet and VNet, are widely-used network architectures for semantic segmentation in recent studies. However, conventional FCN is typically trained by the cross-entropy or Dice loss, which only calculates the error between predictions and ground-truth labels for pixels individually. This often results in non-smooth neighborhoods in the predicted segmentation. To address this problem, we propose a two-stage framework, with the first stage to quickly localize the prostate region and the second stage to precisely segment the prostate by a multi-task UNet architecture. We introduce a novel online metric learning module through voxel-wise sampling in the multi-task network. Therefore, the proposed network has a dual-branch architecture that tackles two tasks: 1) a segmentation sub-network aiming to generate the prostate segmentation, and 2) a voxel-metric learning sub-network aiming to improve the quality of the learned feature space supervised by a metric loss. Specifically, the voxel-metric learning sub-network samples tuples (including triplets and pairs) in voxel-level through the intermediate feature maps. Unlike conventional deep metric learning methods that generate triplets or pairs in image-level before the training phase, our proposed voxel-wise tuples are sampled in an online manner and operated in an end-to-end fashion via multi-task learning. To evaluate the proposed method, we implement extensive experiments on a real CT image dataset consisting of 339 patients. The ablation studies show that our method can effectively learn more representative voxel-level features compared with the conventional learning methods with cross-entropy or Dice loss. And the comparisons show that the proposed method outperforms the state-of-the-art methods by a reasonable margin.


title: Conformal foliations on Lie groups and complex-valued harmonic morphisms

abstract: We study left-invariant foliations $\mathcal{F}$ on Riemannian Lie groups $G$ generated by a subgroup $K$. We are interested in such foliations which are conformal and with minimal leaves of codimension two. We classify such foliations $\mathcal{F}$ when the subgroup $K$ is one of the important $\textbf{SU}(2)\times\textbf{SU}(2)$, $\textbf{SU}(2)\times\textbf{SL}_2(\mathbb{R})$, $\textbf{SU}(2)\times\textbf{SO}(2)$ or $\textbf{SL}_2(\mathbb{R})\times\textbf{SO}(2)$. By this we yield new multi-dimensional families of Lie groups $G$ carrying such foliations in each case. These foliations $\mathcal{F}$ produce local complex-valued harmonic morphisms on the corresponding Lie group $G$.


title: An Object Model for the Representation of Empirical Knowledge

abstract: We are currently designing an object oriented model which describes static and dynamical knowledge in diff{\'e}rent domains. It provides a twin conceptual level. The internal level proposes: the object structure composed of sub-objects hierarchy, structure evolution with dynamical functions, same type objects comparison with evaluation functions. It uses multiple upward inheritance from sub-objects properties to the Object. The external level describes: object environment, it enforces object types and uses external simple inheritance from the type to the sub-types.


title: Labour Market Information Driven, Personalized, OER Recommendation System for Lifelong Learners

abstract: In this paper, we suggest a novel method to aid lifelong learners to access relevant OER based learning content to master skills demanded on the labour market. Our software prototype 1) applies Text Classification and Text Mining methods on vacancy announcements to decompose jobs into meaningful skills components, which lifelong learners should target; and 2) creates a hybrid OER Recommender System to suggest personalized learning content for learners to progress towards their skill targets. For the first evaluation of this prototype we focused on two job areas: Data Scientist, and Mechanical Engineer. We applied our skill extractor approach and provided OER recommendations for learners targeting these jobs. We conducted in-depth, semi-structured interviews with 12 subject matter experts to learn how our prototype performs in terms of its objectives, logic, and contribution to learning. More than 150 recommendations were generated, and 76.9% of these recommendations were treated as useful by the interviewees. Interviews revealed that a personalized OER recommender system, based on skills demanded by labour market, has the potential to improve the learning experience of lifelong learners.


title: How Substitutional Point Defects in Two-Dimensional WS$_2$ Induce Charge Localization, Spin-Orbit Splitting, and Strain

abstract: Control of impurity concentrations in semiconducting materials is essential to device technology. Because of their intrinsic confinement, the properties of two-dimensional semiconductors such as transition metal dichalcogenides (TMDs) are more sensitive to defects than traditional bulk materials. The technological adoption of TMDs is dependent on the mitigation of deleterious defects and guided incorporation of functional foreign atoms. The first step towards impurity control is the identification of defects and assessment of their electronic properties. Here, we present a comprehensive study of point defects in monolayer tungsten disulfide (WS$_2$) grown by chemical vapor deposition (CVD) using scanning tunneling microscopy/spectroscopy, CO-tip noncontact atomic force microscopy, Kelvin probe force spectroscopy, density functional theory, and tight-binding calculations. We observe four different substitutional defects: chromium (Cr$_{\text{W}}$) and molybdenum (Mo$_{\text{W}}$) at a tungsten site, oxygen at sulfur sites in both bottom and top layers (O$_{\text{S}}$ top/bottom), as well as two negatively charged defects (CDs). Their electronic fingerprints unambiguously corroborate the defect assignment and reveal the presence or absence of in-gap defect states. The important role of charge localization, spin-orbit coupling, and strain for the formation of deep defect states observed at substitutional defects in WS$_2$ as reported here will guide future efforts of targeted defect engineering and doping of TMDs.


title: Primordial Black Hole Constraints with Large Extra Dimensions

abstract: We study how the constraints on the primordial black hole density arising from the extragalactic photon background are modified in the scenario that there exist extra large spatial dimensions. We find that though the overall magnitude of the constraints is not substantially different, the mass ranges to which they apply are, and for some choices of mass it is possible for the black holes to constitute the entirety of the dark matter.


title: Hierarchical Bayesian state-space modeling of age- and sex-structured wildlife population dynamics

abstract: Biodiversity is declining at alarming rates worldwide, including for large wild mammals. It is therefore imperative to develop effective population conservation and recovery strategies. Population dynamics models can provide insights into processes driving declines of particular populations of a species and their relative importance. We develop an integrated Bayesian state-space population dynamics model for wildlife populations and illustrate it using a topi population inhabiting the Masai Mara Ecosystem in Kenya. The model is general and integrates ground demographic survey with aerial survey monitoring data. It incorporates population age- and sex-structure and life-history traits and relates birth rates, age-specific survival rates and sex ratio with meteorological covariates, prior population density, environmental seasonality and predation risk. The model runs on a monthly time step, enabling accurate characterization of reproductive seasonality, phenology, synchrony and prolificacy of births and juvenile recruitment. Model performance is evaluated using balanced bootstrap sampling and comparing predictions with aerial population size estimates. The model is implemented using MCMC methods and reproduces several well-known features of the Mara topi population, including striking and persistent population decline, seasonality of births and juvenile recruitment. It can be readily adapted for other wildlife species and extended to incorporate several additional useful features.


title: Diagnostics Examples from lepton-linacs and FELs

abstract: There is a big gap between the charming principles ideas and the real implementation of a diagnostic. In this lecture we review some details that make the difference between a good and bad measurement, highlighting also the relation between the measured quantities and the real ones.


title: Irreducible modules over finite simple Lie pseudoalgebras IV. Non-primitive pseudoalgebras

abstract: Let d \subset d' be finite-dimensional Lie algebras, H = U(d), H'=U(d') the corresponding universal enveloping algebras endowed with the cocommutative Hopf algebra structure. We show that if L is a primitive Lie pseudoalgebra over H then all finite irreducible L' = Cur_H^{H'} L-modules are of the form Cur_H^{H'} V, where V is an irreducible L-module, with a single class of exceptions. Indeed, when L = H(d, \chi, \omega), we introduce non current L'-modules that are obtained by modifying the current pseudoaction with an extra term depending on an element t \in \d' \setminus d, which must satisfy some technical conditions. This, along with results from [BDK1, BDK2, BDK3], completes the classification of finite irreducible modules of finite simple Lie pseudoalgebras over the universal enveloping algebra of a finite-dimensional Lie algebra.


title: Optimization of allotropic and hardness of aluminum oxide coating by PEO

abstract: One of the most important methods of producing materials and oxide coating is plasma electrolytic oxidation (PEO). Coatings made on aluminum in PEO method have two allotropes of $\alpha$-Al$_2$O$_3$ and $\gamma$-Al$_2$O$_3$. Coatings containing $\alpha$-Al$_2$O$_3$ have more hardness and wear resistance; therefore, the main goal of the present study is to optimize aluminum oxide allotrope for increasing the ratio of $\alpha$-Al$_2$O$_3$ in coating made with PEO method. Results of the present study shows that the optimum electrolyte compound for making highest phase of $\alpha$-Al$_2$O$_3$ has 2.9 g/lit of KOH, 1.15 g/lit of Na4P2O7, and 0.34 g/lit of NaAlO2 and ratio of highest allotropic pick of $\alpha$-Al$_2$O$_3$ to highest allotropic pick of $\gamma$-Al$_2$O$_3$ (in XRD test) in the optimum condition is 0.622 and hardness is 1648 Vickers.


title: Beamforming Through Reconfigurable Intelligent Surfaces in Single-User MIMO Systems: SNR Distribution and Scaling Laws in the Presence of Channel Fading and Phase Noise

abstract: We consider a fading channel in which a multi-antenna transmitter communicates with a multi-antenna receiver through a reconfigurable intelligent surface (RIS) that is made of $N$ reconfigurable passive scatterers impaired by phase noise. The beamforming vector at the transmitter, the combining vector at the receiver, and the phase shifts of the $N$ scatterers are optimized in order to maximize the signal-to-noise-ratio (SNR) at the receiver. By assuming Rayleigh fading (or line-of-sight propagation) on the transmitter-RIS link and Rayleigh fading on the RIS-receiver link, we prove that the SNR is a random variable that is equivalent in distribution to the product of three (or two) independent random variables whose distributions are approximated by two (or one) gamma random variables and the sum of two scaled non-central chi-square random variables. The proposed analytical framework allows us to quantify the robustness of RIS-aided transmission to fading channels. For example, we prove that the amount of fading experienced on the transmitter-RIS-receiver channel linearly decreases with $N$. This proves that RISs of large size can be effectively employed to make fading less severe and wireless channels more reliable.


title: Predicting User Emotional Tone in Mental Disorder Online Communities

abstract: In recent years, Online Social Networks have become an important medium for people who suffer from mental disorders to share moments of hardship, and receive emotional and informational support. In this work, we analyze how discussions in Reddit communities related to mental disorders can help improve the health conditions of their users. Using the emotional tone of users' writing as a proxy for emotional state, we uncover relationships between user interactions and state changes. First, we observe that authors of negative posts often write rosier comments after engaging in discussions, indicating that users' emotional state can improve due to social support. Second, we build models based on SOTA text embedding techniques and RNNs to predict shifts in emotional tone. This differs from most of related work, which focuses primarily on detecting mental disorders from user activity. We demonstrate the feasibility of accurately predicting the users' reactions to the interactions experienced in these platforms, and present some examples which illustrate that the models are correctly capturing the effects of comments on the author's emotional tone. Our models hold promising implications for interventions to provide support for people struggling with mental illnesses.


title: Robot Accident Investigation: a case study in Responsible Robotics

abstract: Robot accidents are inevitable. Although rare, they have been happening since assembly-line robots were first introduced in the 1960s. But a new generation of social robots are now becoming commonplace. Often with sophisticated embedded artificial intelligence (AI) social robots might be deployed as care robots to assist elderly or disabled people to live independently. Smart robot toys offer a compelling interactive play experience for children and increasingly capable autonomous vehicles (AVs) the promise of hands-free personal transport and fully autonomous taxis. Unlike industrial robots which are deployed in safety cages, social robots are designed to operate in human environments and interact closely with humans; the likelihood of robot accidents is therefore much greater for social robots than industrial robots. This paper sets out a draft framework for social robot accident investigation; a framework which proposes both the technology and processes that would allow social robot accidents to be investigated with no less rigour than we expect of air or rail accident investigations. The paper also places accident investigation within the practice of responsible robotics, and makes the case that social robotics without accident investigation would be no less irresponsible than aviation without air accident investigation.


title: kiwiPy: Robust, high-volume, messaging for big-data and computational science workflows

abstract: In this work we present kiwiPy, a Python library designed to support robust message based communication for high-throughput, big-data, applications while being general enough to be useful wherever high-volumes of messages need to be communicated in a predictable manner. KiwiPy relies on the RabbitMQ protocol, an industry standard message broker, while providing a simple and intuitive interface that can be used in both multithreaded and coroutine based applications. To demonstrate some of kiwiPy's functionality we give examples from AiiDA, a high-throughput simulation platform, where kiwiPy is used as a key component of the workflow engine.


title: Convex Shape Prior for Deep Neural Convolution Network based Eye Fundus Images Segmentation

abstract: Convex Shapes (CS) are common priors for optic disc and cup segmentation in eye fundus images. It is important to design proper techniques to represent convex shapes. So far, it is still a problem to guarantee that the output objects from a Deep Neural Convolution Networks (DCNN) are convex shapes. In this work, we propose a technique which can be easily integrated into the commonly used DCNNs for image segmentation and guarantee that outputs are convex shapes. This method is flexible and it can handle multiple objects and allow some of the objects to be convex. Our method is based on the dual representation of the sigmoid activation function in DCNNs. In the dual space, the convex shape prior can be guaranteed by a simple quadratic constraint on a binary representation of the shapes. Moreover, our method can also integrate spatial regularization and some other shape prior using a soft thresholding dynamics (STD) method. The regularization can make the boundary curves of the segmentation objects to be simultaneously smooth and convex. We design a very stable active set projection algorithm to numerically solve our model. This algorithm can form a new plug-and-play DCNN layer called CS-STD whose outputs must be a nearly binary segmentation of convex objects. In the CS-STD block, the convexity information can be propagated to guide the DCNN in both forward and backward propagation during training and prediction process. As an application example, we apply the convexity prior layer to the retinal fundus images segmentation by taking the popular DeepLabV3+ as a backbone network. Experimental results on several public datasets show that our method is efficient and outperforms the classical DCNN segmentation methods.


title: Cocycle superrigidity from higher rank lattices to $\mathrm{Out}(F_N)$

abstract: We prove a rigidity result for cocycles from higher rank lattices to $\mathrm{Out}(F_N)$ and more generally to the outer automorphism group of a torsion-free hyperbolic group. More precisely, let $G$ be either a product of connected higher rank simple algebraic groups over local fields, or a lattice in such a product. Let $G\curvearrowright X$ be an ergodic measure-preserving action on a standard probability space, and let $H$ be a torsion-free hyperbolic group. We prove that every Borel cocycle $G\times X\to\mathrm{Out}(H)$ is cohomologous to a cocycle with values in a finite subgroup of $\mathrm{Out}(H)$. This provides a dynamical version of theorems of Farb--Kaimanovich--Masur and Bridson--Wade asserting that every morphism from $G$ to either the mapping class group of a finite-type surface or the outer automorphism group of a free group, has finite image. The main new geometric tool is a barycenter map that associates to every triple of points in the boundary of the (relative) free factor graph a finite set of (relative) free splittings.


title: Evaluating Mixed-Initiative Procedural Level Design Tools using a Triple-Blind Mixed-Method User Study

abstract: Results from a triple-blind mixed-method user study into the effectiveness of mixed-initiative tools for the procedural generation of game levels are presented. A tool which generates levels using interactive evolutionary optimisation was designed for this study which (a) is focused on supporting the designer to explore the design space and (b) only requires the designer to interact with it by designing levels. The tool identifies level design patterns in an initial hand-designed map and uses that information to drive an interactive optimisation algorithm. A rigorous user study was designed which compared the experiences of designers using the mixed-initiative tool to designers who were given a tool which provided completely random level suggestions. The designers using the mixed-initiative tool showed an increased engagement in the level design task, reporting that it was effective in inspiring new ideas and design directions. This provides significant evidence that procedural content generation can be used as a powerful tool to support the human design process.


title: An alternate Lagrangian scheme for spatially inhomogeneous evolutionary games

abstract: An alternate Lagrangian scheme at discrete times is proposed for the approximation of a nonlinear continuity equation arising as a mean-field limit of spatially inhomogeneous evolutionary games, describing the evolution of a system of spatially distributed agents with strategies, or labels, whose payoff depends also on the current position of the agents. The scheme is Lagrangian, as it traces the evolution of position and labels along characteristics and is alternate, as it consists of the following two steps: first the distribution of strategies or labels is updated according to a best performance criterion and then this is used by the agents to evolve their position. A general convergence result is provided in the space of probability measures. In the special cases of replicator-type systems and reversible Markov chains, variants of the scheme, where the explicit step in the evolution of the labels is replaced by an implicit one, are also considered and convergence results are provided.


title: Zodiacal light observations and its link with cosmic dust: a review

abstract: The zodiacal light is a night-glow mostly visible along the plane of the ecliptic. It represents the background radiation associated with solar light scattered by the tenuous flattened interplanetary cloud of dust particles surrounding the Sun and the planets. It is an interesting subject of study, as the source of the micrometeoroids falling on Earth, as a link to the activity of the small bodies of the Solar System, but also as a foreground that veils the low brightness extrasolar astronomical light sources. In this review, we summarize the zodiacal light observations that have been done from the ground and from space in brightness and polarization at various wavelength ranges. Local properties of the interplanetary dust particles in some given locations can be retrieved from the inversion of the zodiacal light integrated along the light-of-sight. We show that the current community consensus favors that the majority of the interplanetary dust particles detected at 1 au originate from the activity of comets. Our current understanding of the interplanetary dust particles properties is then discussed in the context of the recent results from the Rosetta rendezvous space mission with comet 67P/Churyumov-Gerasimenko.


title: Open Systems out of Equilibrium: Theory and Simulation

abstract: We consider the theoretical model of Bergmann and Lebowitz for open systems out of equilibrium and translate its principles in the adaptive resolution molecular dynamics technique (AdResS). We simulate Lennard-Jones fluids with open boundaries in a thermal gradient and find excellent agreement of the stationary responses with results obtained from the simulation of a larger, locally forced closed system. The encouraging results pave the way for a computational treatment of open systems far from equilibrium framed in a well-established theoretical model that avoids possible numerical artifacts and physical misinterpretations.

categories: cond-mat.stat-mech cond-mat.soft physics.chem-ph physics.comp-ph


title: An exact algorithm for the static pricing problem under discrete mixed logit demand

abstract: Price differentiation is a common strategy in many markets. In this paper, we study a static multiproduct price optimization problem with demand given by a discrete mixed multinomial logit model. By considering a mixed logit model that includes individual-specific variables in the utility specification, our pricing problem reflects well the discrete choice models used in practice. To solve this pricing problem, we design an efficient iterative optimization algorithm that asymptotically converges to the optimal solution. To this end, a linear optimization (LO) problem is formulated, based on the trust-region approach, to find a "good" feasible solution and approximate the problem from below. Another LO problem is designed using piecewise linear relaxations to approximate the optimization problem from above. Then, we develop a new branching method to tighten the optimality gap. The effectiveness of our algorithm is demonstrated on a parking services pricing case, and a benchmark against solvers and existing contributions in the literature are performed.


title: Environmental tests of the HXI spectrometer for the ASO-S mission

abstract: The advanced space-based solar observatory (ASO-S) is the first Chinese solar mission which is scheduled to be launched in the end of 2021. It is designed to study the magnetic field, the solar coronal mass ejections the solar flares as well as their relationships. ASO-S includes three scientific payloads, the Full-disk vector MagnetoGraph (FMG), the Lyman-alpha Solar Telescope (LST) and the Hard X-ray Imager (HXI). As a key part on ASO-S, HXI will improve our understanding on the solar flares during the 25th solar maximum. The HXI is composed of three instruments, the collimator (HXI-C), the spectrometer (HXI-S) and the electrical control box (HXI-E). This paper describes the procedure and results of the environmental tests including the mechanical and thermal which were done on the qualification model of the HXI-S. The functional tests of the spectrometer are further carried out, and the results show that the detector could operate normally. 10


title: Evaluating methods for Lasso selective inference in biomedical research by a comparative simulation study

abstract: Variable selection for regression models plays a key role in the analysis of biomedical data. However, inference after selection is not covered by classical statistical frequentist theory which assumes a fixed set of covariates in the model. We review two interpretations of inference after selection: the full model view, in which the parameters of interest are those of the full model on all predictors, and then focus on the submodel view, in which the parameters of interest are those of the selected model only. In the context of L1-penalized regression we compare proposals for submodel inference (selective inference) via confidence intervals available to applied researchers via software packages using a simulation study inspired by real data commonly seen in biomedical studies. Furthermore, we present an exemplary application of these methods to a publicly available dataset to discuss their practical usability. Our findings indicate that the frequentist properties of selective confidence intervals are generally acceptable, but desired coverage levels are not guaranteed in all scenarios except for the most conservative methods. The choice of inference method potentially has a large impact on the resulting interval estimates, thereby necessitating that the user is acutely aware of the goal of inference in order to interpret and communicate the results. Currently available software packages are not yet very user friendly or robust which might affect their use in practice. In summary, we find submodel inference after selection useful for experienced statisticians to assess the importance of individual selected predictors in future applications.


title: Superfluid Vortices in Four Spatial Dimensions

abstract: Quantum vortices in superfluids have been an important research area for many decades. Naturally, research on this topic has focused on two and three-dimensional superfluids, in which vortex cores form points and lines, respectively. Very recently, however, there has been growing interest in the quantum simulation of systems with four spatial dimensions; this raises the question of how vortices would behave in a higher-dimensional superfluid. In this paper, we begin to establish the phenomenology of vortices in 4D superfluids under rotation, where the vortex core can form a plane. In 4D, the most generic type of rotation is a "double rotation" with two angles (or frequencies). We show, by solving the Gross-Pitaesvkii equation, that the simplest case of equal-frequency double rotation can stabilise a pair of vortex planes intersecting at a point. This opens up a wide number of future research topics, including unequal-frequency double rotations; the stability and reconnection dynamics of intersecting vortex surfaces; and the possibility of closed vortex surfaces.


title: Adaptive Transformers for Learning Multimodal Representations

abstract: The usage of transformers has grown from learning about language semantics to forming meaningful visiolinguistic representations. These architectures are often over-parametrized, requiring large amounts of computation. In this work, we extend adaptive approaches to learn more about model interpretability and computational efficiency. Specifically, we study attention spans, sparse, and structured dropout methods to help understand how their attention mechanism extends for vision and language tasks. We further show that these approaches can help us learn more about how the network perceives the complexity of input sequences, sparsity preferences for different modalities, and other related phenomena.


title: The central configuration of the planar ($N$+1)-body problem with a regular $N$-polygon

abstract: For planar ($N$+1)-body ($N$\,$\geq$ 2) problem with a regular $N$-polygon, under the assumption that the ($N$+1)-th body locates at the geometric center of the regular $N$-polygon, we obtain the sufficient and necessary conditions that the $N$+1 bodies can form a central configuration.