title: Nocturnality, seasonality and the SARS-CoV-2 Ecological Niche

abstract: Understanding the behaviour of hosts of SARS-CoV-2 is crucial to our understanding of the virus. A comparison of environmental features related to the incidence of SARS-CoV-2 with those of its potential hosts is critical. We examine the distribution of coronaviruses among bats. We analyse the distribution of SARS-CoV-2 in a nine-week period following lockdown in Italy, Spain, and Australia. We correlate its incidence with environmental variables particularly ultraviolet radiation, temperature, and humidity. We establish a clear negative relationship between COVID-19 and ultraviolet radiation, modulated by temperature and humidity. We relate our results with data showing that the bat species most vulnerable to coronavirus infection are those which live in environmental conditions that are similar to those that appear to be most favourable to the spread of COVID-19. The SARS-CoV-2 ecological niche has been the product of long-term coevolution of coronaviruses with their host species. Understanding the key parameters of that niche in host species allows us to predict circumstances where its spread will be most favourable. Such conditions can be summarised under the headings of nocturnality and seasonality. High ultraviolet radiation, in particular, is proposed as a key limiting variable. We therefore expect the risk of spread of COVID-19 to be highest in winter conditions, and in low light environments. Human activities resembling those of highly social cave-dwelling bats (e.g. large nocturnal gatherings or high density indoor activities) will only serve to compound the problem of COVID-19.


title: Radiation tolerance of online trigger system for COMET Phase-I

abstract: The COMET experiment aims to search for the neutrinoless muon to electron transition process with new sensitivity levels. The online trigger system is an integral part of achieving the sensitivity levels required and will be subject to an expected neutron fluence of up to $10^{12}$ $n \cdot \mathrm{cm}^{-2}\;$ within regions inside the detector solenoid. Consequently a significant number of soft errors in the logic of the onboard field programmable gate arrays (FPGA) can occur, requiring error correction for single event upsets and firmware reprogramming schemes for unrecoverable soft errors. We studied the radiation tolerance of the COMET Phase-I front-end trigger system, called COTTRI, subject to neutron fluence on order $10^{12}$ $n \cdot \mathrm{cm}^{-2}\;$ with multiple error correcting codes and automatic firmware reconfiguration. The regions measured were the configuration RAM, block RAM and also in a multi-gigabit transfer link using copper cables that will be used for communication between different trigger boards during Phase-I. The resulting cross sections observed suggest the most significant impact to the experiment will come from unrecoverable soft errors in configuration RAM, with dead time expected to be $(4.2 \pm 1.3)\%$. The effect of multi-bit errors in block RAM was found to be almost negligible in COMET Phase-I. In addition, multiple solutions have already been proposed in order to suppress these errors further. Soft errors observed in the multi-gigabit transfer links were measured to be of two orders of magnitude less impact compared to the unrecoverable errors in configuration RAM. We concluded that the COTTRI system meets the trigger requirement in COMET Phase-I.


title: Assessment of mobility deficit and treatment efficacy in adhesive capsulitis by measurement of kinematic parameters using IMU sensors

abstract: There is a growing research interest towards the use of wireless IMU sensors to assess disability, monitor progress and provide feedback to patients on range of motion and movement performance during upper body rehabilitation. The quality of movement in patients with adhesive capsulitis and relative treatment efficacy has not yet been studied using inertial and magnetic sensors. The aim of this study was to investigate the possibility to quantitatively evaluate capsulate-related deficit versus healthy controls and to assess treatment efficacy by measurement of shoulder kinematic parameters with ISEO protocol using inertial and magnetic measurement system technology. We enrolled 6 patients with adhesive capsulitis (AC) who underwent the experimental assessment by using a set of wireless IMU sensors at the baseline (T0) and after the 15 one-hour individual sessions of physiotherapy (T1). The range of motion in elevation, abduction and the scapulohumeral rhythm kinematic parameters were extracted from measurements performed in enrolled AC patients and in 7 healthy controls. The results of this preliminary study showed that proposed approach based on measurement of shoulder kinematic parameters with ISEO protocol using IMU wireless sensors can be useful in mobility deficit assessment of patients with adhesive capsulitis, as well as for monitoring of treatment efficacy and its further personalization.


title: Chance-Constrained OPF in Droop-Controlled Microgrids with Power Flow Routers

abstract: High penetration of renewable generation poses great challenge to power system operation due to its uncertain nature. In droop-controlled microgrids, the voltage volatility induced by renewable uncertainties is aggravated by the high droop gains. This paper proposes a chance-constrained optimal power flow (CC-OPF) problem with power flow routers (PFRs) to better regulate the voltage profile in microgrids. PFR refer to a general type of network-side controller that brings more flexibility to the power network. Comparing with the normal CC-OPF that relies on power injection flexibility only, the proposed model introduces a new dimension of control from power network to enhance system performance under renewable uncertainties. Since the inclusion of PFRs complicates the problem and makes common solvers no longer apply directly, we design an iterative solution algorithm. For the subproblem in each iteration, chance constraints are transformed into equivalent deterministic ones via sensitivity analysis, so that the subproblem can be efficiently solved by the convex relaxation method. The proposed method is verified on the modified IEEE 33-bus system and the results show that PFRs make a significant contribution to mitigating the voltage volatility and make the system operate in a more economic and secure way.


title: RVCoreP-32IM: An effective architecture to implement mul/div instructions for five stage RISC-V soft processors

abstract: RISC-V, an open instruction set architecture, is getting the attention of soft processor developers. Implementing only a basic 32-bit integer instruction set of RISC-V, which is defined as RV32I, might be satisfactory for embedded systems. However, multiplication and division instructions are not present in RV32I, rather than defined as M-extension. Several research projects have proposed both RV32I and RV32IM processor. However, there is no indication of how much performance can be improved by adding M-extension to RV32I. In other words, when we should consider adding M-extension into the soft processor and how much hardware resource requirements will increase. In this paper, we propose an extension of the RVCoreP soft processor (which implements RV32I instruction set only) to support RISC-V M-extension instructions. A simple fork-join method is used to expand the execution capability to support M-extension instructions as well as a possible future enhancement. We then perform the benchmark using Dhrystone, Coremark, and Embench programs. We found that RV32IM is 1.87 and 3.13 times better in performance for radix-4 and DSP multiplier, respectively. In addition to that, our RV32IM implementation is 13\% better than the equivalent RISC-V processor.


title: The H.E.S.S. Gravitational Wave Rapid Follow-up Program

abstract: Gravitational Wave (GW) events are physical processes that significantly perturbate space-time, e.g. compact binary coalescenses, causing the production of GWs. The detection of GWs by a worldwide network of advanced interferometers offer unique opportunities for multi-messenger searches and electromagnetic counterpart associations. While carrying extremely useful information, searches for associated electromagnetic emission are challenging due to large sky localisation uncertainties provided by the current GW observatories LIGO and Virgo. Here we present the methods and procedures used within the High Energy Stereoscopic System (H.E.S.S.) in searches for very-high-energy (VHE) gamma-ray emission associated to the emission of GWs from extreme events. To do so we create several algorithms dedicated to schedule GW follow-up observations by creating optimized pointing paterns. We describe algorithms using 2-dimensional GW localisation information and algorithms correlating the galaxy distribution in the local universe, by using galaxy catalogs, with the 3-dimensional GW localisation information and evaluate their performances. The H.E.S.S. automatic GW follow-up chain, described in this paper, is optimized to initiate GW follow-up observations within less than 1 minute after the alert reception. These developements allowed H.E.S.S. observations of 6 GW events out of the 67 non-retracted GW events detected during the first three observation runs of LIGO and Virgo reaching VHE $\gamma$-ray coverages of up to 70% of the GW localisation.


title: Jordan blocks of nilpotent elements in some irreducible representations of classical groups in good characteristic

abstract: Let $G$ be a classical group with natural module $V$ and Lie algebra $\mathfrak{g}$ over an algebraically closed field $K$ of good characteristic. For rational irreducible representations $f: G \rightarrow \operatorname{GL}(W)$ occurring as composition factors of $V \otimes V^*$, $\wedge^2(V)$, and $S^2(V)$, we describe the Jordan normal form of $\mathrm{d} f(e)$ for all nilpotent elements $e \in \mathfrak{g}$. The description is given in terms of the Jordan block sizes of the action of $e$ on $V \otimes V^*$, $\wedge^2(V)$, and $S^2(V)$, for which recursive formulae are known. Our results are in analogue to earlier work (Proc. Amer. Math. Soc., 147 (2019) 4205-4219), where we considered these same representations and described the Jordan normal form of $f(u)$ for every unipotent element $u \in G$.


title: Three roads to the energy gap

abstract: We determine analytically the energy gap at weak coupling in the attractive multi-component Gaudin--Yang model, an integrable model which describes interacting fermions in one dimension with $\kappa$ components. We use three different methods. The first one is based on a direct analysis of the Bethe ansatz equations. The second method uses the theory of resurgence and the large order behavior of the perturbative series for the ground state energy. The third method is based on a renormalization group analysis. The three methods lead to the same answer, providing in this way a non-trivial test of the ideas of resurgence and renormalons as applied to non-relativistic many-body systems.

categories: hep-th cond-mat.quant-gas math-ph math.MP


title: Maximal estimates for the Kramers-Fokker-Planck operator with electromagnetic field

abstract: In continuation of a former work by the first author with F. Nier (2009) and of a more recent work by the second author on the torus (2019), we consider the Kramers-Fokker-Planck operator (KFP) with an external electromagnetic field on R d. We show a maximal type estimate on this operator using a nilpotent approach for vector field polynomial operators and induced representations of a nilpotent graded Lie algebra. This estimate leads to an optimal characterization of the domain of the closure of the KFP operator and a criterion for the compactness of the resolvent.

categories: math.AP math-ph math.FA math.MP math.OA math.SP


title: Semileptonic Decay of $\Omega_c^0 \to \Xi^- l^+ \nu_l$ From Light-Cone Sum Rules

abstract: The weak decay process of $\Omega_c$ to $\Xi$ is calculated in the method of QCD light-cone sum rule. The decay width of $\Omega_c^0 \to \Xi^- l^+ \nu_l$ and its decay branching ratio are also calculated with the form factors from this work's calculation. To the twist-6 distribution amplitudes, the form factors $f_1=0.66\pm0.02, f_2=-0.76\pm0.03, g_1=0.06\pm0.01$ and $g_2=-0.44\pm0.01$ are given at zero recoil point. The result of the semileptonic decay width of $\Omega_c^0 \to \Xi^-l^+\nu_l$ is $\Gamma=(7.51\pm0.36)\times10^{-15}~{\rm{GeV}}$ , and the prediction of the decay branching ratio $Br(\Omega_c^0\to\Xi^-l^+\nu_l)=(3.06\pm0.15)\times10^{-3}$. These results fit well with other works, and the decay width and branching ratio are improved. This not too small branching ratio gives a good direction to explore this decay channel in the future experiments.


title: Near-Optimal Distributed Implementations of Dynamic Algorithms for Symmetry-Breaking Problems

abstract: The field of dynamic graph algorithms aims at achieving a thorough understanding of real-world networks whose topology evolves with time. Traditionally, the focus has been on the classic sequential, centralized setting where the main quality measure of an algorithm is its update time, i.e. the time needed to restore the solution after each update. While real-life networks are very often distributed across multiple machines, the fundamental question of finding efficient dynamic, distributed graph algorithms received little attention to date. The goal in this setting is to optimize both the round and message complexities incurred per update step, ideally achieving a message complexity that matches the centralized update time in $O(1)$ (perhaps amortized) rounds. Toward initiating a systematic study of dynamic, distributed algorithms, we study some of the most central symmetry-breaking problems: maximal independent set (MIS), maximal matching/(approx-) maximum cardinality matching (MM/MCM), and $(\Delta + 1)$-vertex coloring. This paper focuses on dynamic, distributed algorithms that are deterministic, and in particular -- robust against an adaptive adversary. Most of our focus is on our MIS algorithm, which achieves $O\left(m^{2/3}\log^2 n\right)$ amortized messages in $O\left(\log^2 n\right)$ amortized rounds in the Congest model. Notably, the amortized message complexity of our algorithm matches the amortized update time of the best-known deterministic centralized MIS algorithm by Gupta and Khan [SOSA'21] up to a polylog $n$ factor. The previous best deterministic distributed MIS algorithm, by Assadi et al. [STOC'18], uses $O(m^{3/4})$ amortized messages in $O(1)$ amortized rounds, i.e., we achieve a polynomial improvement in the message complexity by a polylog $n$ increase to the round complexity; moreover, the algorithm of Assadi et al. makes an implicit assumption that the [...]


title: Range-Doppler Information and Doppler Scattering Information in Multipulse Radar

abstract: In this paper, the general radar measurement probfilems of determining range, Doppler frequency and scatteringproperties parameters are investigated from the viewpoint of Shannons information theory. We adopt the mutual information to evaluate the accuracy of the classification and estimation. The range-Doppler information is examined under the condition that the target is of radial velocity. Its asymptotic upper bound and the corresponding entropy error (EE) are further formulated theoretically. Additionally, the Doppler scattering information induced by targets random motion characteristics is discussed. From the derivation, it is concluded that the Doppler scattering information depends on the eigenvalues of the target scattering correlation matrix. Especially in the case where the pulse interval is larger than targets coherence time, we can find that the formula of the Doppler scattering information is similar to Shannons channel capacity equation, indicating the inherent consistency between the communication theory and radar field. Numerical simulations of these information contents are presented to confirm our theoretical observations. The relationship between the information content and signal-to-noise ratio (SNR) reflects the changes in information acquisition efficiency of a radar system, providing guidance for system designers.


title: Ca II H&K stellar activity parameter: a proxy for stellar Extreme Ultraviolet Fluxes

abstract: Atmospheric escape is an important factor shaping the exoplanet population and hence drives our understanding of planet formation. Atmospheric escape from giant planets is driven primarily by the stellar X-ray and extreme-ultraviolet (EUV) radiation. Furthermore, EUV and longer wavelength UV radiation power disequilibrium chemistry in the middle and upper atmosphere. Our understanding of atmospheric escape and chemistry, therefore, depends on our knowledge of the stellar UV fluxes. While the far-ultraviolet fluxes can be observed for some stars, most of the EUV range is unobservable due to the lack of a space telescope with EUV capabilities and, for the more distant stars, to interstellar medium absorption. Thus, it becomes essential to have indirect means for inferring EUV fluxes from features observable at other wavelengths. We present here analytic functions for predicting the EUV emission of F-, G-, K-, and M-type stars from the log $R'_{HK}$ activity parameter that is commonly obtained from ground-based optical observations of the Ca II H&K lines. The scaling relations are based on a collection of about 100 nearby stars with published log $R'_{HK}$ and EUV flux values, where the latter are either direct measurements or inferences from high-quality far-ultraviolet (FUV) spectra. The scaling relations presented here return EUV flux values with an accuracy of about three, which is slightly lower than that of other similar methods based on FUV or X-ray measurements.


title: Morphisms and automorphisms of skew-symmetric Lotka-Volterra systems

abstract: We study the basic relation between skew-symmetric Lotka-Volterra systems and graphs, both at the level of objects and morphisms, and derive a classification from it of skew-symmetric Lotka-Volterra systems in terms of graphs as well as in terms of irreducible weighted graphs. We also obtain a description of their automorphism groups and of the relations which exist between these groups. The central notion introduced and used is that of decloning of graphs and of Lotka-Volterra systems. We also give a functorial interpretation of the results which we obtain.


title: Information-theoretic Feature Selection via Tensor Decomposition and Submodularity

abstract: Feature selection by maximizing high-order mutual information between the selected feature vector and a target variable is the gold standard in terms of selecting the best subset of relevant features that maximizes the performance of prediction models. However, such an approach typically requires knowledge of the multivariate probability distribution of all features and the target, and involves a challenging combinatorial optimization problem. Recent work has shown that any joint Probability Mass Function (PMF) can be represented as a naive Bayes model, via Canonical Polyadic (tensor rank) Decomposition. In this paper, we introduce a low-rank tensor model of the joint PMF of all variables and indirect targeting as a way of mitigating complexity and maximizing the classification performance for a given number of features. Through low-rank modeling of the joint PMF, it is possible to circumvent the curse of dimensionality by learning principal components of the joint distribution. By indirectly aiming to predict the latent variable of the naive Bayes model instead of the original target variable, it is possible to formulate the feature selection problem as maximization of a monotone submodular function subject to a cardinality constraint - which can be tackled using a greedy algorithm that comes with performance guarantees. Numerical experiments with several standard datasets suggest that the proposed approach compares favorably to the state-of-art for this important problem.


title: Generalized Hukuhara-Clarke Derivative of Interval-valued Functions and its Properties

abstract: In this article, the notion of gH-Clarke derivative for interval-valued functions is proposed. To define the concept of gH-Clarke derivatives, the concepts of limit superior, limit inferior, and sublinear interval-valued functions are studied in the sequel. The upper gH-Clarke derivative of a gH-Lipschitz interval-valued function (IVF) is observed to be a sublinear IVF. It is found that every gH-Lipschitz continuous function is upper gH-Clarke differentiable. For a convex and gH-Lipschitz IVF, it is shown that the upper gH-Clarke derivative coincides with the gH-directional derivative. The entire study is supported by suitable illustrative examples.


title: Deflection of Light Around a Rotating BTZ Black Hole

abstract: We present a detailed study of gravitational lensing around a rotating BTZ black hole in (2+1) dimensional gravity. The study of orbits for massless test particle around this BH spacetime is performed to describe the nature of cosmological constant in lower dimensions. We study the effect of cosmological constant on the photon orbit in view of other critical parameters. The bending angle of light is studied in view of different values of cosmological constant for direct and retrograde motion of test particles. It is being observed that the bending angle slightly decreases as the value of cosmological constant increases in the negative region.


title: Strain Engineering in Monolayer WS2 and WS2 Nanocomposites

abstract: There has been a massive growth in the study of transition metal dichalcogenides (TMDs) over the past decade, based upon their interesting and unusual electronic, optical and mechanical properties, such as tuneable and strain-dependent bandgaps. Tungsten disulfide (WS2), as a typical example of TMDs, has considerable potential in applications such as strain engineered devices and the next generation multifunctional polymer nanocomposites. However, controlling the strain, or more practically, monitoring the strain in WS2 and the associated micromechanics have not been so well studied. Both photoluminescence spectroscopy (PL) and Raman spectroscopy have been proved to be effective but PL cannot be employed to characterise multilayer TMDs while it is difficult for Raman spectroscopy to reveal the band structure. In this present study, photoluminescence and Raman spectroscopy have been combined to monitor the strain distribution and stress transfer of monolayer WS2 on a flexible polymer substrate and in polymer nanocomposites. It is demonstrated that WS2 still follows continuum mechanics on the microscale and that strain generates a non-uniform bandgap distribution even in a single WS2 flake through a simple strain engineering. It is shown that these flakes could be useful in optoelectonic applications as they become micron-sized PL emitters with a band gap that can be tuned by the application of external strain to the substrate. The analysis of strain distributions using Raman spectroscopy is further extended to thin-film few-layer WS2 polymer nanocomposites where it is demonstrated that the stress can be transferred effectively to WS2 flakes. The relationship between the mechanical behaviour of single monolayer WS2 flakes and that of few-layer flakes in bulk composites is investigated.


title: Optimization Algorithm-Based Approach for Modelling Large Deflection of Cantilever Beam Subjected to Tip Load

abstract: Beam mechanism and beam theory have attracted substantial attention from researchers, as they have been widely used in many fields such as compliant mechanisms and soft robots. The modeling of beam mechanisms becomes complicated due to the geometric nonlinearity that is proved to be significant with large deflection. A new method, called optimization algorithm-based approach (OABA), is proposed to predict the large deflection of cantilever beams, in which an optimization algorithm is exploited to find the locus of the beam tip. With the derived locus of the beam tip, the deflection curve of the cantilever beam can be calculated. The optimization algorithm in this paper is embodied in a particle swarm optimization (PSO) algorithm. Experimental results show that the proposed method can precisely predict the deflection of the uniform and non-uniform cantilever beams. The maximum error is limited to 4.35% when the normalized maximum transverse deflection reaches 0.75. Given that, the proposed OABA would be a universal approach to model the large deflection of cantilever beams subjected to tip loads.


title: Parametric bootstrap inference for stratified models with high-dimensional nuisance specifications

abstract: Inference about a scalar parameter of interest typically relies on the asymptotic normality of common likelihood pivots, such as the signed likelihood root, the score and Wald statistics. Nevertheless, the resulting inferential procedures are known to perform poorly when the dimension of the nuisance parameter is large relative to the sample size and when the information about the parameters is limited. In many such cases, the use of asymptotic normality of analytical modifications of the signed likelihood root is known to recover inferential performance. It is proved here that parametric bootstrap of standard likelihood pivots results in as accurate inferences as analytical modifications of the signed likelihood root do in stratified models with stratum specific nuisance parameters. We focus on the challenging case where the number of strata increases as fast or faster than the stratum samples size. It is also shown that this equivalence holds regardless of whether constrained or unconstrained bootstrap is used. This is in contrast to when the number of strata is fixed or increases slower than the stratum sample size, where we show that constrained bootstrap corrects inference to a higher order than unconstrained bootstrap. Simulation experiments support the theoretical findings and demonstrate the excellent performance of bootstrap in extreme scenarios.


title: Phase transitions between helices, vortices, and hedgehogs driven by spatial anisotropy in chiral magnets

abstract: Superpositions of spin helices can yield topological spin textures, such as two-dimensional vortices and skyrmions, and three-dimensional hedgehogs. Their topological nature and spatial dimensionality depend on the number and relative directions of the constituent helices. This allows mutual transformation between the topological spin textures by controlling the spatial anisotropy. Here we theoretically study the effect of anisotropy in the magnetic interactions for an effective spin model for chiral magnetic metals. By variational calculations for both cases with triple and quadruple superpositions, we find that the hedgehog lattices, which are stable in the isotropic case, are deformed by the anisotropy, and eventually changed into other spin textures with reduced dimension, such as helices and vortices. We also clarify the changes of topological properties by tracing the real-space positions of magnetic monopoles and antimonopoles as well as the emergent magnetic field generated by the noncoplanar spin textures. Our results suggest possible control of the topological spin textures, e.g., by uniaxial pressure and chemical substitution in chiral materials.


title: Bridging Composite and Real: Towards End-to-end Deep Image Matting

abstract: Extracting accurate foregrounds from natural images benefits many downstream applications such as film production and augmented reality. However, the furry characteristics and various appearance of the foregrounds, e.g., animal and portrait, challenge existing matting methods, which usually require extra user inputs such as trimap or scribbles. To resolve these problems, we study the distinct roles of semantics and details for image matting and decompose the task into two parallel sub-tasks: high-level semantic segmentation and low-level details matting. Specifically, we propose a novel Glance and Focus Matting network (GFM), which employs a shared encoder and two separate decoders to learn both tasks in a collaborative manner for end-to-end natural image matting. Besides, due to the limitation of available natural images in the matting task, previous methods typically adopt composite images for training and evaluation, which result in limited generalization ability on real-world images. In this paper, we investigate the domain gap issue between composite images and real-world images systematically by conducting comprehensive analyses of various discrepancies between the foreground and background images. We find that a carefully designed composition route RSSN that aims to reduce the discrepancies can lead to a better model with remarkable generalization ability. Furthermore, we provide a benchmark containing 2,000 high-resolution real-world animal images and 10,000 portrait images along with their manually labeled alpha mattes to serve as a test bed for evaluating matting model's generalization ability on real-world images. Comprehensive empirical studies have demonstrated that GFM outperforms state-of-the-art methods and effectively reduces the generalization error. The code and the datasets will be released at https://github.com/JizhiziLi/GFM.


title: Adaptive Feedforward Control For Reset Feedback Control Systems -- Application in Precision Motion Control

abstract: This paper presents a novel adaptive feedforward controller design for reset control systems. The combination of feedforward and reset feedback control promises high performance as the feedforward guarantees reference tracking, while the non-linear feedback element rejects disturbances. To overcome inevitable model mismatches, the feedforward controller adapts to increase precision in reference tracking. Where linear existing adaptive feedforward controllers do not guarantee convergence in the presence of reset, this work presents a novel adaptive law based on converging and diverging regions of adaptation to achieve good tracking. Experimental results demonstrate the claimed advantage of the novel method.


title: A note on adaptable choosability and choosability with separation of planar graphs

abstract: Let $F$ be a (possibly improper) edge-coloring of a graph $G$; a vertex coloring of $G$ is \emph{adapted to} $F$ if no color appears at the same time on an edge and on its two endpoints. If for some integer $k$, a graph $G$ is such that given any list assignment $L$ to the vertices of $G$, with $|L(v)| \ge k$ for all $v$, and any edge-coloring $F$ of $G$, $G$ admits a coloring $c$ adapted to $F$ where $c(v) \in L(v)$ for all $v$, then $G$ is said to be \emph{adaptably $k$-choosable}. A {\em $(k,d)$-list assignment} for a graph $G$ is a map that assigns to each vertex $v$ a list $L(v)$ of at least $k$ colors such that $|L(x) \cap L(y)| \leq d$ whenever $x$ and $y$ are adjacent. A graph is {\em $(k,d)$-choosable} if for every $(k,d)$-list assignment $L$ there is an $L$-coloring of $G$. It has been conjectured that planar graphs are $(3,1)$-choosable. We give some progress on this conjecture by giving sufficient conditions for a planar graph to be adaptably $3$-choosable. Since $(k,1)$-choosability is a special case of adaptable $k$-choosablity, this implies that a planar graph satisfying these conditions is $(3,1)$-choosable.


title: Reset band for mitigatation of quantization induced performance degradation

abstract: Reset control has emerged as a viable alternative to popular PID, capable of outperforming and overcoming the linear limitations. However, in motion control systems, quantization can cause severe performance degradation. This paper investigates this degradation in practical systems and re-purposes the reset band condition in order to mitigate the same. Numerical simulations have been conducted on a mass based positioning system to analyze the cause of the quantization induced performance degradation. Moreover, a performance and robustness analysis was performed with the proposed solution. Finally, novel tuning guidelines are provided for estimating the required reset band parameter. Additionally, practical experiments have been conducted on a high precision motion system for validation. The experiments show by example that the reset band can reduce the error in the problematic region by up to 285% and hence shows the need and effectiveness of the proposed solution.


title: Neutron-pair structure in the continuum spectrum of $^{26}$O

abstract: The structure of $^{26}$O is currently being investigated on both theoretical and experimental fronts. It is well established that it is unbound and the resonance parameters are fairly well-known. The theoretical analysis may involved two- and three-body interactions, as well as correlations with the continuum spectrum of energy. In order to properly assess the structure of the ground and excited states, it is imperative to include a large single particle representation with the right asymptotic behavior. The purpose of this work is to provide details of the single particle continuum configurations of the ground and excited $0^+$ states. We use a large complex energy single particle basis, formed by resonances and complex energy scattering states, the so called Berggren basis, and a separable interaction, which is convenient to solve in a large model space. Three $0^+$ states were found in the complex energy plane. Changes of the resonant parameters, i.e. energy and width, were analyzed as a function of strength of the residual interaction. It is shown how a subtle difference in the interaction could change the unbound character of $^{26}$O into a Borromean nucleus. Only one of the two excited states can be considered as a candidate for a physical meaningful resonance. The calculated occupation probabilities are in agreement with other theoretical approaches although the calculated half live is three-order of magnitude smaller than the experimental one.


title: Biological Information

abstract: In computer science, we can theoretically neatly separate transmission and processing of information, hardware and software, and programs and their inputs. This is much more intricate in biology, Nevertheless, I argue that Shannon's concept of information is useful in biology, although its application is not as straightforward as many people think. In fact, the recently developed theory of information decomposition can shed much light on the complementarity between coding and regulatory, or internal and environmental information. The key challenge that we formulate in this contribution is to understand how genetic information and external factors combine to create an organism, and conversely, how the genome has learned in the course of evolution how to harness the environment, and analogously, how coding, regulation and spatial organization interact in cellular processes.


title: Intermodular Configuration Scrubbing of On-detector FPGAs for the ARICH at Belle II

abstract: On-detector digital electronics in High-Energy Physics experiments is increasingly being implemented by means of SRAM-based FPGA, due to their capabilities of reconfiguration, real-time processing and multi-gigabit data transfer. Radiation-induced single event upsets in the configuration hinder the correct operation, since they may alter the programmed routing paths and logic functions. In most trigger and data acquisition systems, data from several front-end modules are concentrated into a single board, which then transmits data to back-end electronics for acquisition and triggering. Since the front-end modules are identical, they host identical FPGAs, which are programmed with the same bitstream. In this work, we present a novel scrubber capable of correcting radiation-induced soft-errors in the configuration of SRAM-based FPGAs by majority voting across different modules. We show an application of this system to the read-out electronics of the Aerogel Ring Imaging CHerenkov (ARICH) subdetector of the Belle2 experiment at SuperKEKB of the KEK laboratory (Tsukuba, Japan). We discuss the architecture of the system and its implementation in a Virtex-5 LX50T FPGA, in the concentrator board, for correcting the configuration of up to six Spartan-6 LX45 FPGAs, on pertaining front-end modules. We discuss results from fault-injection and neutron irradiation tests at the TRIGA reactor of the Jozef Stefan Institute (Ljubljana, Slovenia) and we compare the performance of our solution to the Xilinx Soft Error Mitigation controller.


title: The stellar mass function and evolution of the density profile of galaxy clusters from the Hydrangea simulations at $0<z<1.5$

abstract: Galaxy clusters are excellent probes to study the effect of environment on galaxy formation and evolution. Along with high-quality observational data, accurate cosmological simulations are required to improve our understanding of galaxy evolution in these systems. In this work, we compare state-of-the-art observational data of massive galaxy clusters ($>10^{14} \textrm{M}_{\odot}$) at different redshifts ($0<z<1.5$) with predictions from the Hydrangea suite of cosmological hydrodynamic simulations of 24 massive galaxy clusters ($>10^{14} \textrm{M}_{\odot}$ at $z=0$). We compare three fundamental observables of galaxy clusters: the total stellar mass to halo mass ratio, the stellar mass function (SMF), and the radial mass density profile of the cluster galaxies. In the first two of these, the simulations agree well with the observations, albeit with a slightly too high abundance of $M_\star \lesssim 10^{10} \textrm{M}_{\odot}$ galaxies at $z \gtrsim 1$. The NFW concentrations of cluster galaxies increase with redshift, in contrast to the decreasing dark matter halo concentrations. This previously observed behaviour is therefore due to a qualitatively different assembly of the smooth DM halo compared to the satellite population. Quantitatively, we however find a discrepancy in that the simulations predict higher stellar concentrations than observed at lower redshifts ($z<0.3$), by a factor of $\approx$2. This may be due to selection bias in the simulations, or stem from shortcomings in the build-up and stripping of their inner satellite halo.


title: World of Code: Enabling a Research Workflow for Mining and Analyzing the Universe of Open Source VCS data

abstract: Open source software (OSS) is essential for modern society and, while substantial research has been done on individual (typically central) projects, only a limited understanding of the periphery of the entire OSS ecosystem exists. For example, how are the tens of millions of projects in the periphery interconnected through. technical dependencies, code sharing, or knowledge flow? To answer such questions we: a) create a very large and frequently updated collection of version control data in the entire FLOSS ecosystems named World of Code (WoC), that can completely cross-reference authors, projects, commits, blobs, dependencies, and history of the FLOSS ecosystems and b) provide capabilities to efficiently correct, augment, query, and analyze that data. Our current WoC implementation is capable of being updated on a monthly basis and contains over 18B Git objects. To evaluate its research potential and to create vignettes for its usage, we employ WoC in conducting several research tasks. In particular, we find that it is capable of supporting trend evaluation, ecosystem measurement, and the determination of package usage. We expect WoC to spur investigation into global properties of OSS development leading to increased resiliency of the entire OSS ecosystem. Our infrastructure facilitates the discovery of key technical dependencies, code flow, and social networks that provide the basis to determine the structure and evolution of the relationships that drive FLOSS activities and innovation.


title: Characterization of microscopic ferromagnetic defects in thin films using magnetic microscope based on Nitrogen-Vacancy centres

abstract: In this work we present results acquired by applying magnetic field imaging technique based on Nitrogen-Vacancy centres in diamond crystal for characterization of magnetic thin films defects. We used the constructed wide-field magnetic microscope for measurements of two kinds of magnetic defects in thin films. One family of defects under study was a result of non-optimal thin film growth conditions. The magnetic field maps of several regions of the thin films created under very similar conditions to previously published research revealed microscopic impurity islands of ferromagnetic defects, that potentially could disturb the magnetic properties of the surface. The second part of the measurements was dedicated to defects created post deposition - mechanical defects introduced in ferromagnetic thin films. In both cases, the measurements identify the magnetic field amplitude and distribution of the magnetic defects. In addition, the magnetic field maps were correlated with the corresponding optical images. As this method has great potential for quality control of different stages of magnetic thin film manufacturing process and it can rival other widely used measurement techniques, we also propose solutions for the optimization of the device in the perspective of high throughput.


title: Automatic Myocardial Infarction Evaluation from Delayed-Enhancement Cardiac MRI using Deep Convolutional Networks

abstract: In this paper, we propose a new deep learning framework for an automatic myocardial infarction evaluation from clinical information and delayed enhancement-MRI (DE-MRI). The proposed framework addresses two tasks. The first task is automatic detection of myocardial contours, the infarcted area, the no-reflow area, and the left ventricular cavity from a short-axis DE-MRI series. It employs two segmentation neural networks. The first network is used to segment the anatomical structures such as the myocardium and left ventricular cavity. The second network is used to segment the pathological areas such as myocardial infarction, myocardial no-reflow, and normal myocardial region. The segmented myocardium region from the first network is further used to refine the second network's pathological segmentation results. The second task is to automatically classify a given case into normal or pathological from clinical information with or without DE-MRI. A cascaded support vector machine (SVM) is employed to classify a given case from its associated clinical information. The segmented pathological areas from DE-MRI are also used for the classification task. We evaluated our method on the 2020 EMIDEC MICCAI challenge dataset. It yielded an average Dice index of 0.93 and 0.84, respectively, for the left ventricular cavity and the myocardium. The classification from using only clinical information yielded 80% accuracy over five-fold cross-validation. Using the DE-MRI, our method can classify the cases with 93.3% accuracy. These experimental results reveal that the proposed method can automatically evaluate the myocardial infarction.


title: Geometrodynamics as Functionalism about Time

abstract: We review three broadly geometrodynamical---and in part, Machian or relational---projects, from the perspective of spacetime functionalism. We show how all three are examples of functionalist reduction of the type that was advocated by D. Lewis, and nowadays goes by the label 'the Canberra Plan'. The projects are: (1) the recovery of geometrodynamics by Hojman et al. (1976); (2) the programme of Schuller and collaborators (Schuller 2011; Dull, Schuller et al. 2018) to deduce a metric from the physics of matter fields; (3) the deduction of the ADM Hamiltonian by Gomes and Shyam (2016). We end by drawing a positive corollary about shape dynamics: namely, it has a good rationale for the Hamiltonian it postulates.


title: Distributed Kuramoto Self-Synchronization of Vehicle Speed Trajectories in Traffic Networks

abstract: This paper presents a distributed synchronization strategy for connected and automated vehicles in traffic networks. The strategy considers vehicles traveling from one intersection to the next as waves. The phase angle and frequency of each wave map to its position and velocity, respectively. The goal is to synchronize traffic such that intersecting traffic waves are out of phase at every intersection. This ensures the safe collective navigation of intersections. Vehicles share their phase angles through the V2X infrastructure, and synchronize these angles using the Kuramoto equation. This is a classical model for the self-synchronization of coupled oscillators. The mapping between phase and location for vehicles on different roads is designed such that Kuramoto synchronization ensures safe intersection navigation. Each vehicle uses a constrained optimal control policy to achieve its desired target Kuramoto phase at the upcoming intersection. The overall outcome is a distributed traffic synchronization algorithm that simultaneously tackles two challenges traditionally addressed independently, namely: coordinating crossing at an individual intersection, and harmonizing traffic flow between adjacent intersections. Simulation studies highlight the positive impact of this strategy on fuel consumption and traffic delay time, compared to a network with traditional traffic light timing.


title: AudVowelConsNet: A Phoneme-Level Based Deep CNN Architecture for Clinical Depression Diagnosis

abstract: Depression is a common and serious mood disorder that negatively affects the patient's capacity of functioning normally in daily tasks. Speech is proven to be a vigorous tool in depression diagnosis. Research in psychiatry concentrated on performing fine-grained analysis on word-level speech components contributing to the manifestation of depression in speech and revealed significant variations at the phoneme-level in depressed speech. On the other hand, research in Machine Learning-based automatic recognition of depression from speech focused on the exploration of various acoustic features for the detection of depression and its severity level. Few have focused on incorporating phoneme-level speech components in automatic assessment systems. In this paper, we propose an Artificial Intelligence (AI) based application for clinical depression recognition and assessment from speech. We investigate the acoustic characteristics of phoneme units, specifically vowels and consonants for depression recognition via Deep Learning. We present and compare three spectrogram-based Deep Neural Network architectures, trained on phoneme consonant and vowel units and their fusion respectively. Our experiments show that the deep learned consonant-based acoustic characteristics lead to better recognition results than vowel-based ones. The fusion of vowel and consonant speech characteristics through a deep network significantly outperforms the single space networks as well as the state-of-art deep learning approaches on the DAIC-WOZ database.


title: Local and 2-local derivations of the octonion algebra

abstract: In the present paper, we prove that a local derivation on the octonion (Cayley) algebra $\mathbb{O}$ over an arbitrary field, satisfying some conditions is a derivation, and every 2-local derivation on $\mathbb{O}$ is a Jordan derivation.


title: An FPGA-based Trigger System with Online Track Recognition in COMET Phase-I

abstract: An FPGA-based online trigger system has been developed for the COMET Phase-I experiment. This experiment searches for muon-to-electron conversion, which has never been observed yet. A drift chamber and trigger counters detect a mono-energetic electron from the conversion process in a 1-T solenoidal magnetic field. A highly intense muon source is applied to reach unprecedented experimental sensitivity. It also generates undesirable background particles, and a trigger rate due to these particles is expected to be much higher than an acceptable trigger rate in the data acquisition system. By using hit information from the drift chamber too, the online trigger system efficiently suppresses a background trigger rate while keeping signal-event acceptance large. A characteristic of this system is the utilization of the machine learning technique in the form of look-up tables on hardware. An initial simulation study indicates that the signal-event acceptance of the online trigger is 96% while the background trigger rate is reduced from over $90\,\mathrm{kHz}$ to $13\,\mathrm{kHz}$. For this scenario, we have produced trigger-related electronics that construct a distributed trigger architecture. The total latency of the trigger system was estimated to be $3.2\,\mathrm{\mu s}$, and the first operation test was carried out by using a part of the drift-chamber readout region.


title: Capture the Bot: Using Adversarial Examples to Improve CAPTCHA Robustness to Bot Attacks

abstract: To this date, CAPTCHAs have served as the first line of defense preventing unauthorized access by (malicious) bots to web-based services, while at the same time maintaining a trouble-free experience for human visitors. However, recent work in the literature has provided evidence of sophisticated bots that make use of advancements in machine learning (ML) to easily bypass existing CAPTCHA-based defenses. In this work, we take the first step to address this problem. We introduce CAPTURE, a novel CAPTCHA scheme based on adversarial examples. While typically adversarial examples are used to lead an ML model astray, with CAPTURE, we attempt to make a "good use" of such mechanisms. Our empirical evaluations show that CAPTURE can produce CAPTCHAs that are easy to solve by humans while at the same time, effectively thwarting ML-based bot solvers.


title: Simplifying Topological Entanglements by Entropic Competition of Slip-Links

abstract: Topological entanglements are abundant, and often detrimental, in polymeric systems in biology and materials science. Here we theoretically investigate the topological simplification of knots by diffusing slip-links (SLs), which may represent biological or synthetic molecules, such as proteins on the genome or cyclodextrines in slide-ring gels. We find that SLs entropically compete with knots and can localise them, greatly facilitating their downstream simplification by transient strand-crossing. We further show that the efficiency of knot localisation strongly depends on the topology of the SL network and, informed by our findings, discuss potential strategies to control the topology of biological and synthetic materials.


title: On nonlocal minimal graphs

abstract: We develop a functional analytic approach for the study of nonlocal minimal graphs. Through this, we establish existence and uniqueness results, a priori estimates, comparison principles, rearrangement inequalities, and the equivalence of several notions of minimizers and solutions.


title: Pattern-matching Unit for Medical Applications

abstract: We explore the application of concepts developed in High Energy Physics (HEP) for advanced medical data analysis. Our study case is a problem with high social impact: clinically-feasible Magnetic Resonance Fingerprinting (MRF). MRF is a new, quantitative, imaging technique that replaces multiple qualitative Magnetic Resonance Imaging (MRI) exams with a single, reproducible measurement for increased sensitivity and efficiency. A fast acquisition is followed by a pattern matching (PM) task, where signal responses are matched to entries from a dictionary of simulated, physically-feasible responses, yielding multiple tissue parameters simultaneously. Each pixel signal response in the volume is compared through scalar products with all dictionary entries to choose the best measurement reproduction. MRF is limited by the PM processing time, which scales exponentially with the dictionary dimensionality, i.e. with the number of tissue parameters to be reconstructed. We developed for HEP a powerful, compact, embedded system, optimized for extremely fast PM. This system executes real-time tracking for online event selection in the HEP experiments, exploiting maximum parallelism and pipelining. Track reconstruction is executed in two steps. The Associative Memory (AM) ASIC first implements a PM algorithm by recognizing track candidates at low resolution. The second step, which is implemented into FPGAs (Field Programmable Gate Arrays), refines the AM output finding the track parameters at full resolution. We propose to use this system to perform MRF, to achieve clinically reasonable reconstruction time. This paper proposes an adaptation of the HEP system for medical imaging and shows some preliminary results.


title: Trigger-DAQ and Slow Controls Systems in the Mu2e Experiment

abstract: The muon campus program at Fermilab includes the Mu2e experiment that will search for a charged-lepton flavor violating processes where a negative muon converts into an electron in the field of an aluminum nucleus, improving by four orders of magnitude the search sensitivity reached so far. Mu2e's Trigger and Data Acquisition System (TDAQ) uses otsdaq as its solution. Developed at Fermilab, otsdaq uses the artdaq DAQ framework and art analysis framework, under the-hood, for event transfer, filtering, and processing. otsdaq is an online DAQ software suite with a focus on flexibility and scalability, while providing a multi-user, web-based, interface accessible through the Chrome or Firefox web browser. The detector Read Out Controller (ROC), from the tracker and calorimeter, stream out zero-suppressed data continuously to the Data Transfer Controller (DTC). Data is then read over the PCIe bus to a software filter algorithm that selects events which are finally combined with the data flux that comes froma Cosmic Ray Ve to System (CRV). A Detector Control System (DCS) for monitoring, controlling, alarming, and archiving has been developed using the Experimental Physics and Industrial Control System (EPICS) Open Source Platform. The DCS System has also been itegrated into otsdaq. The installation of the TDAQ and the DCS systems in the Mu2e building is planned for 2021-2022, and a prototype has been built at Fermilab's Feynman Computing Center. We report here on the developments and achievements of the integration of Mu2e's DCS system into the online otsdaq software.


title: Scaling performance of the SAGECal calibration package: from LOFAR to SKA

abstract: This decade, the Square Kilometre Array (SKA) will perform its first observations. Preparations for building dishes, antennas, correlators and infrastructure are well underway. Concurrently, software for the processing of SKA observations is developed at a number of levels. At a more basic level there are the telescope monitoring and control systems and also the correlator software. On top of that, in order to deliver science ready data products, software pipelines are needed for radio frequency interference (RFI) mitigation, averaging, calibration and imaging. Here, we focus on the SAGECal calibration package, in particular on the times needed to obtain calibration solutions. This is an important aspect, since this package is now used for the Epoch of Reionization (EoR) Key Science Project of LOFAR, but will also have to run optimally on SKA1 LOW. In terms of number of stations used for observing this amounts to a factor 10 increase, from 51 to 512 stations. Consequentially, the disk space needed to store an observation will increase by a factor 100, provided the number of frequency channels remains the same. In this paper we investigate the scaling behaviour of SAGECal, whose runtimes should ideally scale linearly with the number of stations. We also explain the algorithms inside SAGECal and use them to explain its scaling behaviour.


title: High-Level Software Tools for LLRF System Dedicated to Elliptical Cavities Management of European Spallation Source Facility

abstract: The European Spallation Source (ESS) accelerator is composed of superconducting elliptical cavities. When the facility is running, the cavities are fed with electrical field from klystrons. Parameters of this field are monitored and controlled by the Low-Level Radio Frequency (LLRF) system. Its main goal is to keep the amplitude and phase at a given set-point. The LLRF system is also responsible for the reference clock distribution. During machine operation the cavities are periodically experiencing strain caused by the Lorentz force, appearing when the beam is passing through the accelerating structures. Even small changes of the physical dimensions of the cavity cause a shift of its resonance frequency. This phenomenon, called detuning, causes significant power losses. It is actively compensated by the LLRF control system, which can physically tune lengths of the accelerating cavities with stepper motors (slow, coarse grained control) and piezoelements (active compensation during operation state). The paper describes implementation and tests of the software supporting various aspects of the LLRF system and cavities management. The Piezo Driver management and monitoring tool is dedicated for piezo controller device. The LO Distribution application is responsible for configuration of the local oscillator. The Cavity Simulator tool was designed to provide access to properties of the hardware device, emulating behaviour of elliptical cavities. IPMI Manager software was implemented to monitor state of MicroTCA.4 crates, which are major part of the LLRF system architecture. All applications have been created using the Experimental Physics and Industrial Control System (EPICS) framework and built in ESS EPICS Environment (E3).


title: Statistical Analysis of Signal-Dependent Noise: Application in Blind Localization of Image Splicing Forgery

abstract: Visual noise is often regarded as a disturbance in image quality, whereas it can also provide a crucial clue for image-based forensic tasks. Conventionally, noise is assumed to comprise an additive Gaussian model to be estimated and then used to reveal anomalies. However, for real sensor noise, it should be modeled as signal-dependent noise (SDN). In this work, we apply SDN to splicing forgery localization tasks. Through statistical analysis of the SDN model, we assume that noise can be modeled as a Gaussian approximation for a certain brightness and propose a likelihood model for a noise level function. By building a maximum a posterior Markov random field (MAP-MRF) framework, we exploit the likelihood of noise to reveal the alien region of spliced objects, with a probability combination refinement strategy. To ensure a completely blind detection, an iterative alternating method is adopted to estimate the MRF parameters. Experimental results demonstrate that our method is effective and provides a comparative localization performance.


title: Efficient constrained sampling via the mirror-Langevin algorithm

abstract: We propose a new discretization of the mirror-Langevin diffusion and give a crisp proof of its convergence. Our analysis uses relative convexity/smoothness and self-concordance, ideas which originated in convex optimization, together with a new result in optimal transport that generalizes the displacement convexity of the entropy. Unlike prior works, our result both (1) requires much weaker assumptions on the mirror map and the target distribution, and (2) has vanishing bias as the step size tends to zero. In particular, for the task of sampling from a log-concave distribution supported on a compact set, our theoretical results are significantly better than the existing guarantees.


title: Joint Transceiver Design Based on Dictionary Learning Algorithm for SCMA

abstract: With the explosively increasing demands on the network capacity, throughput and number of connected wireless devices, massive connectivity is an urgent problem for the next generation wireless communications. In this paper, we propose a grant-free access protocol for massive connectivity that utilizes a large number of antennas in a base station (BS) and is expected to be widely deployed in cellular networks. The scheme consists of a sparse structure in sparse code multiple access (SCMA) and receiver processing based on dictionary learning (DL). A large number of devices can transmit data without any scheduling process. Unlike existing schemes, whose signal schedulings require a lot of overhead, the scheduling overhead required by the proposed scheme is negligible, which is attractive for resource utilization and transmission power efficiency. The numerical results show that the proposed scheme has promising performance in massive connectivity scenario of cellular networks.


title: Short-baseline interferometry local-tie experiments at the Onsala Space Observatory

abstract: We present results from observation, correlation and analysis of interferometric measurements between the three geodetic very long baseline interferometry (VLBI) stations at the Onsala Space Observatory. In total 25 sessions were observed in 2019 and 2020, most of them 24 hours long, all using X-band only. These involved the legacy VLBI station ONSALA60 and the Onsala twin telescopes, ONSA13NE and ONSA13SW, two broadband stations for the next generation geodetic VLBI global observing system (VGOS). We used two analysis packages: nuSolve to pre-process the data and solve ambiguities, and ASCOT to solve for station positions, including modelling gravitational deformation of the radio telescopes and other significant effects. We obtained weighted root mean square postfit residuals for each session on the order of 10-15 ps using group delays and 2-5 ps using phase delays. The best performance was achieved on the (rather short) baseline between the VGOS stations. As the main result of this work we determined the coordinates of the Onsala twin telescopes in VTRF2020b with sub-millimeter precision. This new set of coordinates should be used from now on for scheduling, correlation, as a~priori for data analyses, and for comparison with classical local-tie techniques. Finally, we find that positions estimated from phase-delays are offset $\sim+3$ mm in the Up-component with respect to group-delays. Additional modelling of (elevation-dependent) effects may contribute to future understanding of this offset.


title: Norm resolvent convergence of discretized Fourier multipliers

abstract: We prove norm estimates for the difference of resolvents of operators and their discrete counterparts, embedded into the continuum using biorthogonal Riesz sequences. The estimates are given in the operator norm for operators on square integrable functions, and depend explicitly on the mesh size for the discrete operators. The operators are a sum of a Fourier multiplier and a multiplicative potential. The Fourier multipliers include the fractional Laplacian and the pseudo-relativistic free Hamiltonian. The potentials are real, bounded, and H\"older continuous. As a side-product, the Hausdorff distance between the spectra of the resolvents of the continuous and discrete operators decays with the same rate in the mesh size as for the norm resolvent estimates. The same result holds for the spectra of the original operators in a local Hausdorff distance.


title: Triple ionization and "frustrated" triple ionization in triatomic molecules driven by intense laser fields

abstract: We formulate a three-dimensional semi-classical model to treat three-electron escape dynamics in a strongly-driven linear triatomic molecule, HeH$_{2}^{+}$. Our model includes the Coulomb singularities. Hence, to avoid unphysical autoionization, we employ two criteria to switch off the Coulomb repulsive force between two bound electrons and switch it on when the motion of one electron is mostly determined by the laser field. We investigate triple and "frustrated" triple ionization. In the latter process two electrons escape while one electron remains bound in a Rydberg state. We find that two pathways prevail in "frustrated" triple ionization, as in "frustrated" double ionization. We also find that the electron that remains in a Rydberg state is more likely to be attached to He$^{2+}$ compared to H$^{+}$. Our results indicate that in triple and "frustrated" triple ionization electronic correlation is weak. Moreover, we compute the sum of the kinetic energies as well as the angular patterns of the final ion fragments in triple and "frustrated" triple ionization. These patterns suggest that the fragmenting molecule deviates from its initial linear configuration.


title: Thinking About Causation: A Causal Language with Epistemic Operators

abstract: This paper proposes a formal framework for modeling the interaction of causal and (qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model with a representation of the epistemic state of an agent. On the side of the object language, we add operators to express knowledge and the act of observing new information. We provide a sound and complete axiomatization of the logic, and discuss the relation of this framework to causal team semantics.


title: Biomedical Concept Relatedness -- A large EHR-based benchmark

abstract: A promising application of AI to healthcare is the retrieval of information from electronic health records (EHRs), e.g. to aid clinicians in finding relevant information for a consultation or to recruit suitable patients for a study. This requires search capabilities far beyond simple string matching, including the retrieval of concepts (diagnoses, symptoms, medications, etc.) related to the one in question. The suitability of AI methods for such applications is tested by predicting the relatedness of concepts with known relatedness scores. However, all existing biomedical concept relatedness datasets are notoriously small and consist of hand-picked concept pairs. We open-source a novel concept relatedness benchmark overcoming these issues: it is six times larger than existing datasets and concept pairs are chosen based on co-occurrence in EHRs, ensuring their relevance for the application of interest. We present an in-depth analysis of our new dataset and compare it to existing ones, highlighting that it is not only larger but also complements existing datasets in terms of the types of concepts included. Initial experiments with state-of-the-art embedding methods show that our dataset is a challenging new benchmark for testing concept relatedness models.


title: HOI Analysis: Integrating and Decomposing Human-Object Interaction

abstract: Human-Object Interaction (HOI) consists of human, object and implicit interaction/verb. Different from previous methods that directly map pixels to HOI semantics, we propose a novel perspective for HOI learning in an analytical manner. In analogy to Harmonic Analysis, whose goal is to study how to represent the signals with the superposition of basic waves, we propose the HOI Analysis. We argue that coherent HOI can be decomposed into isolated human and object. Meanwhile, isolated human and object can also be integrated into coherent HOI again. Moreover, transformations between human-object pairs with the same HOI can also be easier approached with integration and decomposition. As a result, the implicit verb will be represented in the transformation function space. In light of this, we propose an Integration-Decomposition Network (IDN) to implement the above transformations and achieve state-of-the-art performance on widely-used HOI detection benchmarks. Code is available at https://github.com/DirtyHarryLYL/HAKE-Action-Torch/tree/IDN-(Integrating-Decomposing-Network).


title: A Combined Density Functional Theory and X-ray Photoelectron Spectroscopy Study of the Aromatic Amino Acids

abstract: Amino acids are essential to all life. However, our understanding of some aspects of their intrinsic structure, molecular chemistry, and electronic structure is still limited. In particular the nature of amino acids in their crystalline form, often essential to biological and medical processes, faces a lack of knowledge both from experimental and theoretical approaches. An important experimental technique that has provided a multitude of crucial insights into the chemistry and electronic structure of materials is X-ray photoelectron spectroscopy. Whilst the interpretation of spectra of simple bulk inorganic materials is often routine, interpreting core level spectra of complex molecular systems is complicated to impossible without the help of theory. We have previously demonstrated the ability of density functional theory to calculate binding energies of simple amino acids, using $\Delta$SCF implemented in a systematic basis set for both gas phase (multiwavelets) and solid state (plane waves) calculations. In this study, we use the same approach to successfully predict and rationalise the experimental core level spectra of phenylalanine (Phe), tyrosine (Tyr), tryptophan (Trp), and histidine (His) and gain an in-depth understanding of their chemistry and electronic structure within the broader context of more than 20 related molecular systems. The insights gained from this study provide significant information on the nature of the aromatic amino acids and their conjugated side chains.


title: Scalar neutrino dark matter in BLMSSM

abstract: BLMSSM is the extension of the minimal supersymmetric standard model(MSSM). Its local gauge group is $SU(3)_C \times SU(2)_L \times U(1)_Y \times U(1)_B \times U(1)_L$. Supposing the lightest scalar neutrino is dark matter candidate, we study the relic density and the spin independent cross section of sneutrino scattering off nucleon. We calculate the numerical results in detail and find suitable parameter space. The numerical discussion can confine the parameter space and provide a reference for dark matter research.


title: Bounds on multiscalar CFTs in the epsilon expansion

abstract: We study fixed points with N scalar fields in $4 - \varepsilon$ dimensions to leading order in $\varepsilon$ using a bottom-up approach. We do so by analyzing O(N) invariants of the quartic coupling $\lambda_{ijkl}$ that describes such CFTs. In particular, we show that $\lambda_{iijj}$ and $\lambda_{ijkl}^2$ are restricted to a specific domain, refining a result by Rychkov and Stergiou. We also study averages of one-loop anomalous dimensions of composite operators without gradients. In many cases, we are able to show that the O(N) fixed point maximizes such averages. In the final part of this work, we generalize our results to theories with N complex scalars and to bosonic QED. In particular we show that to leading order in $\varepsilon$, there are no bosonic QED fixed points with N < 183 flavors.


title: Multiplicative Updates for NMF with $\beta$-Divergences under Disjoint Equality Constraints

abstract: Nonnegative matrix factorization (NMF) is the problem of approximating an input nonnegative matrix, $V$, as the product of two smaller nonnegative matrices, $W$ and $H$. In this paper, we introduce a general framework to design multiplicative updates (MU) for NMF based on $\beta$-divergences ($\beta$-NMF) with disjoint equality constraints, and with penalty terms in the objective function. By disjoint, we mean that each variable appears in at most one equality constraint. Our MU satisfy the set of constraints after each update of the variables during the optimization process, while guaranteeing that the objective function decreases monotonically. We showcase this framework on three NMF models, and show that it competes favorably the state of the art: (1)~$\beta$-NMF with sum-to-one constraints on the columns of $H$, (2) minimum-volume $\beta$-NMF with sum-to-one constraints on the columns of $W$, and (3) sparse $\beta$-NMF with $\ell_2$-norm constraints on the columns of $W$.

categories: cs.LG cs.NA eess.SP math.NA math.OC stat.ML


title: Yebes 40 m radio telescope and the broad band NANOCOSMOS receivers at 7 mm and 3 mm for line surveys

abstract: Yebes 40\,m radio telescope is the main and largest observing instrument at Yebes Observatory and it is devoted to Very Long Baseline Interferometry (VLBI) and single dish observations since 2010. It has been covering frequency bands between 2\,GHz and 90\,GHz in discontinuous and narrow windows in most of the cases, to match the current needs of the European VLBI Network (EVN) and the Global Millimeter VLBI Array (GMVA). Nanocosmos project, a European Union funded synergy grant, opened the possibility to increase the instantaneous frequency coverage to observe many molecular transitions with single tunnings in single dish mode. This reduces the observing time and maximises the output from the telescope. We present the technical specifications of the recently installed 31.5-50 GHz (Q band) and 72-90.5 GHz (W band) receivers along with the main characteristics of the telescope at these frequency ranges. We have observed IRC+10216, CRL 2688 and CRL 618, which harbour a rich molecular chemistry, to demonstrate the capabilities of the new instrumentation for spectral observations in single dish mode. The results show the high sensitivity of the telescope in the Q band. The spectrum of IRC+10126 offers a signal to noise ratio never seen before for this source in this band. On the other hand, the spectrum normalised by the continuum flux towards CRL\,618 in the W band demonstrates that the 40~m radio telescope produces comparable results to those from the IRAM 30~m radio telescope, although with a smaller sensitivity. The new receivers fulfil one of the main goals of Nanocosmos and open the possibility to study the spectrum of different astrophysical media with unprecedented sensitivity.


title: Effects of round-to-nearest and stochastic rounding in the numerical solution of the heat equation in low precision

abstract: Motivated by the advent of machine learning, the last few years have seen the return of hardware-supported low-precision computing. Computations with fewer digits are faster and more memory and energy efficient, but can be extremely susceptible to rounding errors. As shown by recent studies into reduced-precision climate simulations, an application that can largely benefit from the advantages of low-precision computing is the numerical solution of partial differential equations (PDEs). However, a careful implementation and rounding error analysis are required to ensure that sensible results can still be obtained. In this paper we study the accumulation of rounding errors in the solution of the heat equation, a proxy for parabolic PDEs, via Runge-Kutta finite difference methods using round-to-nearest (RtN) and stochastic rounding (SR). We demonstrate how to implement the scheme to reduce rounding errors and we derive \emph{a priori} estimates for local and global rounding errors. Let $u$ be the unit roundoff. While the worst-case local errors are $O(u)$ with respect to the discretization parameters (mesh size and timestep), the RtN and SR error behavior is substantially different. In fact, the RtN solution always stagnates for small enough $\Delta t$, and until stagnation the global error grows like $O(u\Delta t^{-1})$. In contrast, we show that the leading-order errors introduced by SR are zero-mean, independent in space and mean-independent in time, making SR resilient to stagnation and rounding error accumulation. In fact, we prove that for SR the global rounding errors are only $O(u\Delta t^{-1/4})$ in 1D and are essentially bounded (up to logarithmic factors) in higher dimensions.


title: The matrix taxonomy of finitely complete categories

abstract: This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the paper gives an algorithm for deciding whether a conjunction of such properties implies another such property. Computer implementation of this algorithm allows one to peer into the complex structure of the poset of `matrix classes', i.e., the poset of all collections of finitely complete categories determined by matrix properties. Among elements of this poset are the collections of Mal'tsev categories, majority categories, (finitely complete) arithmetical categories, as well as finitely complete extensions of various classes of varieties defined by a special type of Mal'tsev conditions found in the literature.


title: Cutoffs for exclusion and interchange processes on finite graphs

abstract: We prove a general theorem on cutoffs for symmetric exclusion and interchange processes on finite graphs $G_N=(V_N,E_N)$, under the assumption that either the graphs converge geometrically and spectrally to a compact metric measure space, or they are isomorphic to discrete Boolean hypercubes. Specifically, cutoffs occur at times $\displaystyle t_N= (2\gamma_1^N)^{-1}\log |V_N|$, where $\gamma_1^N$ is the spectral gap of the symmetric random walk process on $G_N$. Under the former assumption, our theorem is applicable to the said processes on graphs such as: the $d$-dimensional discrete grids and tori for any integer dimension $d$; the $L$-th powers of cycles for fixed $L$, a.k.a. the $L$-adjacent transposition shuffle; and self-similar fractal graphs and products thereof.


title: "Thy algorithm shalt not bear false witness": An Evaluation of Multiclass Debiasing Methods on Word Embeddings

abstract: With the vast development and employment of artificial intelligence applications, research into the fairness of these algorithms has been increased. Specifically, in the natural language processing domain, it has been shown that social biases persist in word embeddings and are thus in danger of amplifying these biases when used. As an example of social bias, religious biases are shown to persist in word embeddings and the need for its removal is highlighted. This paper investigates the state-of-the-art multiclass debiasing techniques: Hard debiasing, SoftWEAT debiasing and Conceptor debiasing. It evaluates their performance when removing religious bias on a common basis by quantifying bias removal via the Word Embedding Association Test (WEAT), Mean Average Cosine Similarity (MAC) and the Relative Negative Sentiment Bias (RNSB). By investigating the religious bias removal on three widely used word embeddings, namely: Word2Vec, GloVe, and ConceptNet, it is shown that the preferred method is ConceptorDebiasing. Specifically, this technique manages to decrease the measured religious bias on average by 82,42%, 96,78% and 54,76% for the three word embedding sets respectively.


title: Analyzing differences between restricted mean survival time curves using pseudo-values

abstract: Hazard ratios are ubiquitously used in time to event analysis to quantify treatment effects. Although hazard ratios are invaluable for hypothesis testing, other measures of association, both relative and absolute, may be used to fully elucidate study results. Restricted mean survival time differences between groups have been advocated as useful measures of association. Recent work focused on model-free estimates of the difference in restricted mean survival for all follow-up times instead of focusing on a single time horizon. In this work a model-based alternative is proposed with estimation using pseudo-values. A simple approach is proposed easily implementable with available software. It is also possible to compute a confidence region for the curve. As a by-product, the parameter 'time until treatment equipoise' (TUTE) is also studied. Examples with crossing survival curves will be used to illustrate the different methods together with some simulations.


title: Iteration of Functions $f:X^{k}\rightarrow X$ and their Periodicity

abstract: We propose a notion of iterating functions $f:X^{k}\rightarrow X$ in a way that represents recurrence relations of the form $a_{n+k}=f(a_{n},a_{n+1},...,a_{n+k-1})$. We define a function as $n$-involutory when its $n$th iterate is the identity map, and discuss elementary group-theoretic properties of such functions along with their relation to cycles of their corresponding recurrence relations. Further, it is shown that a function $f:X^{k}\rightarrow X$ that is 2-involutory in each of its $k$ arguments (holding others fixed) is $(k+1)$-involutory.


title: Turbulent Gas in Lensed Planck-selected Starbursts at redshifts 1-3.5

abstract: Dusty star-forming galaxies at high redshift (1 < z < 3) represent the most intense star-forming regions in the Universe. Key aspects to these processes are the gas heating and cooling mechanisms. Although it is well known that these galaxies are gas-rich, little is known about the gas excitation conditions. Here we examine these processes in a sample of 24 strongly lensed star-forming galaxies identified by the \textit{Planck} satellite (LPs) at z ~ 1.1 - 3.5. We analyze 162 CO rotational transitions (ranging from Jupper = 1 - 12) and 37 atomic carbon fine-structure lines ([CI]) in order to characterize the physical conditions of the gas in sample of LPs. We simultaneously fit the CO and [CI] lines, and the dust continuum emission, using two different non-LTE, radiative transfer models. The first model represents a two component gas density, while the second assumes a turbulence driven log-normal gas density distribution. These LPs are among the most gas-rich, infrared (IR) luminous galaxies ever observed ($\mu_{\rm L}$L$_{\rm IR(8-1000\mu m) } \sim 10^{13-14.6} $\Lsun; $< \mu_{\rm L}$M$_{\rm ISM}> = 2.7 \pm 1.2 \times 10^{12}$ \Msun, with $\mu_{\rm L} \sim 10-30$ the average lens magnification factor). Our results suggest that the turbulent ISM present in the LPs can be well-characterized by a high turbulent velocity dispersion ($<\Delta V_{\rm turb}> \sim 100 $ \kms) and gas kinetic temperature to dust temperature ratios $<T_{\rm kin}$/$T_{\rm d}> \sim 2.5$, sustained on scales larger than a few kpc. We speculate that the average surface density of the molecular gas mass and IR luminosity $\Sigma_{\rm M_{\rm ISM}}$ $\sim 10^{3 - 4}$ \Msun pc$^{-2}$ and $\Sigma_{\rm L_{\rm IR}}$ $\sim 10^{11 - 12}$ \Lsun kpc$^{-2}$, arise from both stellar mechanical feedback and a steady momentum injection from the accretion of intergalactic gas.


title: How Does Performance Scale with Antenna Number for Extremely Large-Scale MIMO?

abstract: Extremely large-scale multiple-input multiple-output (XL-MIMO) communications correspond to systems whose antenna size is so large that conventional assumptions, such as uniform plane wave (UPW) impingement, are no longer valid. This paper studies the channel modelling and performance analysis of XL-MIMO communication based on the generic spherical wavefront propagation model. First, for the single-user uplink/downlink communication with the optimal maximum ratio combining/transmission (MRC/MRT), we rigorously derive a new closed-form expression for the resulting signal-to-noise ratio (SNR), which includes the conventional SNR expression based on UPW assumption as a special case. Our result shows that instead of scaling linearly with the base station (BS) antenna number $M$, the SNR with the more generic spherical wavefront model increases with $M$ with diminishing return, governed by a new parameter called angular span. One important finding from our derivation is the necessity to introduce a new distance criterion, termed critical distance, to complement the classical Rayleigh distance for separating the near- and far-field propagation regions. While Rayleigh distance is based on the phase difference across array elements and hence depends on the electrical size of the antenna, the critical distance cares about the amplitude/power difference and only depends on its physical size. We then extend the study to the multi-user XL-MIMO communication system, for which we demonstrate that inter-user interference (IUI) can be mitigated not just by angle separation, but also by distance separation along the same direction. This offers one new degree of freedom (DoF) for interference suppression with XL-MIMO.


title: The Unification of Classical and Quantum Gravity

abstract: The favored classical variables that are promoted to quantum operators are divided into three sets that feature constant positive curvatures, constant zero curvatures, as well as constant negative curvatures. This list covers the spin variables, the canonical variables, and the affine variables, and these three topics will be briefly reviewed. In this discussion, appropriate coherent states are introduced which are the principal items that are critical in the unification of relevant classical and quantum realms. This analysis can also serve to unify classical gravity and quantum gravity without any speculative aspects..


title: Polarization-Density Patterns of Active Particles in Motility Gradients

abstract: The co-localization of density modulations and particle polarization is a characteristic emergent feature of motile active matter in activity gradients. It can therefore play the role of a smoking gun for the mesoscale detection of intrinsic microscopic activity. We employ the active-Brownian-particle (ABP) model to derive precise analytical expressions for the density and polarization profiles of a single Janus-type swimmer in the vicinity of an abrupt activity step, including situations with an orientation-dependent propulsion speed. Our results agree well with measurement data for a hot microswimmer presented in the companion paper [1] and can serve as a template for more complex applications, e.g., to motility-induced phase separation or studies of physical boundaries. The essential physics behind our formal results is robustly captured and elucidated by a schematic two-species ``run-and-tumble'' model.


title: On Krohn-Rhodes theory for semiautomata

abstract: Krohn-Rhodes theory encompasses the techniques for the study of finite automata and their decomposition into elementary automata. The famous result of Krohn and Rhodes roughly states that each finite automaton can be decomposed into elementary components which correspond to permutation and reset automata connected by a cascade product. However, this outcome is not easy to access for the working computer scientist. This paper provides a short introduction into Krohn-Rhodes theory based on the valuable work of Ginzburg.


title: Emulating the local Kuramoto model with an injection-locked photonic crystal laser array

abstract: The Kuramoto model is a mathematical model for describing the collective synchronization phenomena of coupled oscillators. We theoretically demonstrate that an array of coupled photonic crystal lasers emulates the Kuramoto model with non-delayed nearest-neighbor coupling (the local Kuramoto model). Our novel strategy employs indirect coupling between lasers via additional cold cavities. By installing cold cavities between laser cavities, we avoid the strong coupling of lasers and realize ideal mutual injection-locking with effective non-delayed dissipative coupling. First, after discussing the limit cycle interpretation of laser oscillation, we demonstrate the synchronization of two indirectly coupled lasers by numerically simulating coupled-mode equations. Second, by performing a phase reduction analysis, we show that laser dynamics in the proposed device can be mapped to the local Kuramoto model. Finally, we briefly demonstrate that a chain of indirectly coupled photonic crystal lasers actually emulates the one-dimensional local Kuramoto chain. We also argue that our proposed structure, which consists of periodically aligned cold cavities and laser cavities, will best be realized by using state-of-the-art buried multiple quantum well photonic crystals.


title: Learning phase transitions in ferrimagnetic GdFeCo alloys

abstract: We present results on the identification of phase transitions in ferrimagnetic GdFeCo alloys using machine learning. The approach for finding phase transitions in the system is based on the `learning by confusion' scheme, which allows one to characterize phase transitions using a universal $W$-shape. By applying the `learning by confusion' scheme, we obtain 2D $W$-a shaped surface that characterizes a triple phase transition point of the GdFeCo alloy. We demonstrate that our results are in the perfect agreement with the procedure of the numerical minimization of the thermodynamical potential, yet our machine-learning-based scheme has the potential to provide a speedup in the task of the phase transition identification.


title: Square roots of H-nonnegative matrices

abstract: Roots of matrices are well-studied. The conditions for their existence are understood: The block sizes of nilpotent Jordan blocks, arranged in pairs, have to satisfy some simple algebraic property. More interesting are structured roots of structured matrices. Probably the best known example is the existence and uniqueness of positive definite square roots of a positive definite matrix. If one drops the requirement of positive definiteness of the square root, it turns out that there exists an abundance of square roots. Here a description of all canonical forms of all square roots is possible and is straight forward. H-nonnegative matrices are H-selfadjoint and are nonnegative with respect to an indefinite inner product with Gramian H. An H-nonnegative matrix $B$ allows a decomposition in a negative definite, a nilpotent H-nonnegative, and a positive definite matrix, B=B_- \oplus B_0 \oplus B_+. The interesting part is B_0, as only Jordan blocks of size one and two occur. Determining a square root of B reduces to determining a square root of each of B_-, B_0, and B_+. Here we investigate for an H-nonnegative matrix: its square roots without additional structure, as well as its structured square roots that are H-nonnegative or H-selfadjoint. For these three classes of square roots of H-nonnegative matrices we show a simple criterion for their existence and describe all possible canonical forms. This is based mainly on known results but an important new part is that in all three cases we describe all possible square roots of the nilpotent H-nonnegative matrix B_0 explicitly. Moreover, we show how our results can be applied to the conditional and unconditional stability of H-nonnegative square roots of H-nonnegative matrices, where the explicit description of the square roots of B_0 is used.


title: Crystal structures of dodecaborides: complexity in simplicity

abstract: Analysis of the intriguing physical properties of the dodecaborides, $R$B$_{12}$, requires accurate data on their crystal structure. We show that a simple cubic model fits well with the atomic positions in the unit cell but cannot explain the observed anisotropy in the physical properties. The cooperative Jahn-Teller (JT) effect slightly violates the ideal metric of the cubic lattice and the symmetry of the electron density distribution in the lattice interstices. Theoretical models of the JT distortions of the boron framework are presented. Their correspondence to the electron-density distribution on the maps of Fourier syntheses obtained using x-ray data and explaining the previously observed anisotropy of conductive properties is demonstrated. The effect of boron isotope composition on the character of the lattice distortions is shown. We also discuss the application of the Einstein model for cations and the Debye model for the boron atoms to describe the dynamics of the crystal lattice.


title: An introduction to the time evolution of model universes

abstract: In this paper we describe the evolution of the Universe in terms of the Friedmann equation, which takes into account of the composition and geometry of the Universe. The dependence of the solution on the geometry and composition for different combinations of the basic constituents are discussed. The distinct behaviors for the temporal evolution of the Universe are determined and the scenario predicted by the Standard Cosmology is presented.


title: Artificial Intelligence: Research Impact on Key Industries; the Upper-Rhine Artificial Intelligence Symposium (UR-AI 2020)

abstract: The TriRhenaTech alliance presents a collection of accepted papers of the cancelled tri-national 'Upper-Rhine Artificial Inteeligence Symposium' planned for 13th May 2020 in Karlsruhe. The TriRhenaTech alliance is a network of universities in the Upper-Rhine Trinational Metropolitan Region comprising of the German universities of applied sciences in Furtwangen, Kaiserslautern, Karlsruhe, and Offenburg, the Baden-Wuerttemberg Cooperative State University Loerrach, the French university network Alsace Tech (comprised of 14 'grandes \'ecoles' in the fields of engineering, architecture and management) and the University of Applied Sciences and Arts Northwestern Switzerland. The alliance's common goal is to reinforce the transfer of knowledge, research, and technology, as well as the cross-border mobility of students.


title: On-chip higher-order topological micromechanical metamaterials

abstract: Higher-order topological insulators exhibit multidimensional topological physics and unique application values due to their ability of integrating stable boundary states at multiple dimensions in a single chip. However, for signal-processing applications in high-frequency mechanical systems, the current realizations of higher-order topological mechanical materials are still limited to large-scale systems for kilohertz or lower frequencies. Here, we report the experimental observation of a on-chip micromechanical metamaterial as higher-order topological insulator for high-frequency mechanical waves. The higher-order topological phononic band gap is induced by the band inversion at the Brillouin zone corner which is achieved by configuring the orientations of the elliptic pillars etched on the silicon chip. With consistent experiments and theory, we demonstrate the coexistence of topological edge and corner states in the megahertz frequency regime as induced by the higher-order band topology. The experimental realization of on-chip micromechanical metamaterials with higher-order topology opens a regime for applications based on megahertz mechanical waves in an integrated platform where the edge and corner states act as stable waveguides and resonators, respectively.


title: Language for Description of Worlds

abstract: We will reduce the task of creating AI to the task of finding an appropriate language for description of the world. This will not be a programing language because programing languages describe only computable functions, while our language will describe a somewhat broader class of functions. Another specificity of this language will be that the description will consist of separate modules. This will enable us look for the description of the world automatically such that we discover it module after module. Our approach to the creation of this new language will be to start with a particular world and write the description of that particular world. The point is that the language which can describe this particular world will be appropriate for describing any world.


title: Interleaving Fast and Slow Decision Making

abstract: The "Thinking, Fast and Slow" paradigm of Kahneman proposes that we use two different styles of thinking -- a fast and intuitive System 1 for certain tasks, along with a slower but more analytical System 2 for others. While the idea of using this two-system style of thinking is gaining popularity in AI and robotics, our work considers how to interleave the two styles of decision-making, i.e., how System 1 and System 2 should be used together. For this, we propose a novel and general framework which includes a new System 0 to oversee Systems 1 and 2. At every point when a decision needs to be made, System 0 evaluates the situation and quickly hands over the decision-making process to either System 1 or System 2. We evaluate such a framework on a modified version of the classic Pac-Man game, with an already-trained RL algorithm for System 1, a Monte-Carlo tree search for System 2, and several different possible strategies for System 0. As expected, arbitrary switches between Systems 1 and 2 do not work, but certain strategies do well. With System 0, an agent is able to perform better than one that uses only System 1 or System 2.


title: On the Impact of Communities on Semi-supervised Classification Using Graph Neural Networks

abstract: Graph Neural Networks (GNNs) are effective in many applications. Still, there is a limited understanding of the effect of common graph structures on the learning process of GNNs. In this work, we systematically study the impact of community structure on the performance of GNNs in semi-supervised node classification on graphs. Following an ablation study on six datasets, we measure the performance of GNNs on the original graphs, and the change in performance in the presence and the absence of community structure. Our results suggest that communities typically have a major impact on the learning process and classification performance. For example, in cases where the majority of nodes from one community share a single classification label, breaking up community structure results in a significant performance drop. On the other hand, for cases where labels show low correlation with communities, we find that the graph structure is rather irrelevant to the learning process, and a feature-only baseline becomes hard to beat. With our work, we provide deeper insights in the abilities and limitations of GNNs, including a set of general guidelines for model selection based on the graph structure.