title: Analytical models for the asymmetric wake of vertical axis wind turbines

abstract: Arrays of Vertical Axis Wind Turbines (VAWTs) can achieve larger power generation per land area than horizontal axis turbines farms, due to the positive synergy between VATs in close proximity. Theoretical wake models enable the reliable design of the array layout that maximises the energy output, which need to depict the driving wake dynamics. VAWTs generate a highly complex wake that evolves according to two governing length-scales, namely the turbine rotor's diameter and height which define a rectangular shape of the wake cross-section, and feature distinct wake expansion rates. This paper presents analytical VAWT wake models that account for an asymmetric distribution of such wake expansion adopting a top-hat and Gaussian velocity deficit distribution. Our proposed analytical Gaussian model leads to an enhanced initial wake expansion prediction with the wake width ($\varepsilon$) behind the rotor equal to $(\beta/4 \pi)^{1/2}$ with $\beta$ being the ratio of initial wake area to the VAWT's frontal area, which addresses the limitations of previous models that under-predicted the wake onset area. Velocity deficit predictions are calculated in a series of numerical benchmarks consisting of a single and an array of four in-line vertical axis wind turbines. In comparisons with field data and large-eddy simulations, our models provide a good accuracy to represent the mean wake distribution, maximum velocity deficit, and momentum thickness, with the Gaussian model attaining the best predictions.These models will aid to drive the design of VAT arrays and accelerate this technology.


title: An authorship protection technology for electronic documents based on image watermarking

abstract: In the field of information technology, information security technologies hold a special place. They ensure the security of the use of information technology. One of the urgent tasks is the protection of electronic documents during their transfer in information systems. This paper proposes a technology for protecting electronic documents containing digital images. The main idea is that the electronic document authorship protection can be implemented by digital watermark embedding in the images that are contained in this document. The paper considers three cases of using the proposed technology: full copying of an electronic document, copying of images contained in the document, and copying of text. It is shown that in all three cases the authorship confirmation can be successfully implemented. Computational experiments are conducted with robust watermarking algorithms that can be used within the technology. A scenario of technology implementation is proposed, which provides for the joint use of different class algorithms.


title: Yttrium-90 TOF-PET based EUD predicts response post liver radioembolizations using standard manufacturer reconstruction parameters

abstract: Purpose: Explaining why 90Y TOF-PET based equivalent uniform dose (EUD) using standard FDG reconstruction parameters has been shown to predict response. Methods: The hot rods insert of a Jaszczak deluxe phantom was partially filled with a 2.65 GBq 90Y - 300ml DTPA water solution resulting in a 100 Gy mean absorbed dose in the 6 sectors. A two bed 20min/position acquisition was performed on a 550ps- and on a 320ps- TOF-PET/CT and reconstructed with standard FDG reconstruction parameters, without and with additional filtering. The whole procedure was repeated on both PET after adding a 300ml of water (50Gy setup). The phantom was acquired again after decay by a factor 10 (5Gy setup), but with 200min per bed position. For comparison the phantom was also acquired with 18F activity corresponding to a clinical FDG whole body acquisition. Results: The 100Gy-setup provided hot rod sectors image almost as good as in 18F phantom. However, despite acquisition time compensation the 5Gy-setup provides much lower quality imaging. TOF-PET based sectors EUDs for the three large rod sectors were in agreement with the actual EUDs computed with a radiosensitivity 0.021Gy-1 well in the range observed in external beam radiotherapy (EBRT), i.e. 0.01-0.04Gy-1. This agreement explains the reunification of the dose-response relationships of the glass and resin spheres in HCC using the TOF-PET based EUD. Additional filtering reduced the EUDs agreement quality. Conclusions: Standard FDG reconstruction parameters are suitable in TOF-PET post 90Y liver radioembolization for accurate tumor EUD computation. The present results clearly rules out the use of low specific activity phantom studies to optimize reconstruction parameters.


title: Reinforcement Learning Using Expectation Maximization Based Guided Policy Search for Stochastic Dynamics

abstract: Guided policy search algorithms have been proven to work with incredible accuracy for not only controlling a complicated dynamical system, but also learning optimal policies from various unseen instances. One assumes true nature of the states in almost all of the well known policy search and learning algorithms. This paper deals with a trajectory optimization procedure for an unknown dynamical system subject to measurement noise using expectation maximization and extends it to learning (optimal) policies which have less noise because of lower variance in the optimal trajectories. Theoretical and empirical evidence of learnt optimal policies of the new approach is depicted in comparison to some well known baselines which are evaluated on an autonomous system with widely used performance metrics.


title: Economic irreversibility in pandemic control processes: Rigorous modeling of delayed countermeasures and consequential cost increases

abstract: After the first lockdown in response to the COVID-19 outbreak, many countries faced difficulties in balancing infection control with economics. Due to limited prior knowledge, economists began researching this issue using cost-benefit analysis and found that infection control processes significantly affect economic efficiency. A UK study used economic parameters to numerically demonstrate an optimal balance in the process, including keeping the infected population stationary. However, universally applicable knowledge, which is indispensable for the guiding principles of infection control, has not yet been clearly developed because of the methodological limitations of simulation studies. Here, we propose a simple model and theoretically prove the universal result of economic irreversibility by applying the idea of thermodynamics to pandemic control. This means that delaying infection control measures is more expensive than implementing infection control measures early while keeping infected populations stationary. This implies that once the infected population increases, society cannot return to its previous state without extra expenditures. This universal result is analytically obtained by focusing on the infection-spreading phase of pandemics, and is applicable not just to COVID-19, regardless of "herd immunity." It also confirms the numerical observation of stationary infected populations in its optimally efficient process. Our findings suggest that economic irreversibility is a guiding principle for balancing infection control with economic effects.

categories: q-bio.PE econ.TH physics.bio-ph physics.med-ph physics.soc-ph


title: Interband plasmon polaritons in magnetized charge-neutral graphene

abstract: Studying the collective excitations in charge neutral graphene (CNG) has recently attracted a great interest because of unusual mechanisms of the charge carrier dynamics. The latter can play a crucial role, for instance, for superconducting phases in the periodically strained CNG and the magic angle twisted bilayer graphene or for formation of graphene plasmon polaritons (GPPs) associated with interband transitions due to the strain-induced pseudomagnetic field. Importantly, GPP in CNG can be a tool providing new insights into various intriguing quantum phenomena in CNG via optical experiments. However, interband GPPs in CNG are barely investigated, even in the simplest configurations. Here, we show that magnetically biased single layer CNG (particularly, at zero temperature) can support interband GPPs of both transverse magnetic and transverse electric polarizations. They exist inside the narrow absorption bands originating from the electronic transitions between Landau levels and are tunable by the external magnetic field. We put our study into the context of potential near-field and far-field optical experiments, thus opening the door to the exploration of CNG for optics and nanophotonics.


title: Understanding the hardness of approximate query processing with joins

abstract: We study the hardness of Approximate Query Processing (AQP) of various types of queries involving joins over multiple tables of possibly different sizes. In the case where the query result is a single value (e.g., COUNT, SUM, and COUNT(DISTINCT)), we prove worst-case information-theoretic lower bounds for AQP problems that are given parameters $\epsilon$ and $\delta$, and return estimated results within a factor of 1+$\epsilon$ of the true results with error probability at most $\delta$. In particular, the lower bounds for cardinality estimation over joins under various settings are contained in our results. Informally, our results show that for various database queries with joins, unless restricted to the set of queries whose results are always guaranteed to be above a very large threshold, the amount of information an AQP algorithm needs for returning an accurate approximation is at least linear in the number of rows in the largest table. Similar lower bounds even hold for some special cases where additional information such as top-K heavy hitters and all frequency vectors are available. In the case of GROUP-BY where the query result is not a single number, we study the lower bound for the amount of information used by any approximation algorithm that does not report any non-existing group and does not miss groups of large total size. Our work extends the work of Alon, Gibbons, Matias, and Szegedy [AGMS99].We compare our lower bounds with the amount of information required by Bernoulli sampling to give an accurate approximation. For COUNT queries with joins over multiple tables of the same size, the upper bound matches the lower bound, unless the problem setting is restricted to the set of queries whose results are always guaranteed to be above a very large threshold.


title: The NonHuman Primate Neuroimaging & Neuroanatomy Project

abstract: Multi-modal neuroimaging projects are advancing our understanding of human brain architecture, function, connectivity using high-quality non-invasive data from many subjects. However, ground truth validation of connectivity using invasive tracers is not feasible in humans. Our NonHuman Primate Neuroimaging & Neuroanatomy Project (NHP_NNP) is an international effort (6 laboratories in 5 countries) to: (i) acquire and analyze high-quality multi-modal brain imaging data of macaque and marmoset monkeys using protocols and methods adapted from the HCP; (ii) acquire quantitative invasive tract-tracing data for cortical and subcortical projections to cortical areas; and (iii) map the distributions of different brain cell types with immunocytochemical stains to better define brain areal boundaries. We are acquiring high-resolution structural, functional, and diffusion MRI data together with behavioral measures from over 100 individual macaques and marmosets in order to generate non-invasive measures of brain architecture such as myelin and cortical thickness maps, as well as functional and diffusion tractography-based connectomes. We are using classical and next-generation anatomical tracers to generate quantitative connectivity maps based on brain-wide counting of labeled cortical and subcortical neurons, providing ground truth measures of connectivity. Advanced statistical modeling techniques address the consistency of both kinds of data across individuals, allowing comparison of tracer-based and non-invasive MRI-based connectivity measures. We aim to develop improved cortical and subcortical areal atlases by combining histological and imaging methods. Finally, we are collecting genetic and sociality-associated behavioral data in all animals in an effort to understand how genetic variation shapes the connectome and behavior.


title: CoLAKE: Contextualized Language and Knowledge Embedding

abstract: With the emerging branch of incorporating factual knowledge into pre-trained language models such as BERT, most existing models consider shallow, static, and separately pre-trained entity embeddings, which limits the performance gains of these models. Few works explore the potential of deep contextualized knowledge representation when injecting knowledge. In this paper, we propose the Contextualized Language and Knowledge Embedding (CoLAKE), which jointly learns contextualized representation for both language and knowledge with the extended MLM objective. Instead of injecting only entity embeddings, CoLAKE extracts the knowledge context of an entity from large-scale knowledge bases. To handle the heterogeneity of knowledge context and language context, we integrate them in a unified data structure, word-knowledge graph (WK graph). CoLAKE is pre-trained on large-scale WK graphs with the modified Transformer encoder. We conduct experiments on knowledge-driven tasks, knowledge probing tasks, and language understanding tasks. Experimental results show that CoLAKE outperforms previous counterparts on most of the tasks. Besides, CoLAKE achieves surprisingly high performance on our synthetic task called word-knowledge graph completion, which shows the superiority of simultaneously contextualizing language and knowledge representation.


title: "Did you really mean what you said?" : Sarcasm Detection in Hindi-English Code-Mixed Data using Bilingual Word Embeddings

abstract: With the increased use of social media platforms by people across the world, many new interesting NLP problems have come into existence. One such being the detection of sarcasm in the social media texts. We present a corpus of tweets for training custom word embeddings and a Hinglish dataset labelled for sarcasm detection. We propose a deep learning based approach to address the issue of sarcasm detection in Hindi-English code mixed tweets using bilingual word embeddings derived from FastText and Word2Vec approaches. We experimented with various deep learning models, including CNNs, LSTMs, Bi-directional LSTMs (with and without attention). We were able to outperform all state-of-the-art performances with our deep learning models, with attention based Bi-directional LSTMs giving the best performance exhibiting an accuracy of 78.49%.


title: Tightening weak lensing constraints on the ellipticity of galaxy-scale dark matter haloes

abstract: Cosmological simulations predict that galaxies are embedded into triaxial dark matter haloes, which appear approximately elliptical in projection. Weak gravitational lensing allows us to constrain these halo shapes and thereby test the nature of dark matter. Weak lensing has already provided robust detections of the signature of halo flattening at the mass scales of groups and clusters, whereas results for galaxies have been somewhat inconclusive. Here we combine data from five surveys (NGVSLenS, KiDS/KV450, CFHTLenS, CS82, and RCSLenS) in order to tighten observational constraints on galaxy-scale halo ellipticity for photometrically selected lens samples. We constrain $f_\rm{h}$, the average ratio between the aligned component of the halo ellipticity and the ellipticity of the light distribution, finding $f_\rm{h}=0.303^{+0.080}_{-0.079}$ for red lenses and $f_\rm{h}=0.217^{+0.160}_{-0.159}$ for blue lenses when assuming elliptical NFW density profiles and a linear scaling between halo ellipticity and galaxy ellipticity. Our constraints for red galaxies constitute the currently most significant ($3.8\sigma$) systematics-corrected detection of the signature of halo flattening at the mass scale of galaxies. Our results are in good agreement with expectations from the Millennium Simulation that apply the same analysis scheme and incorporate models for galaxy-halo misalignment. Assuming these misalignment models and the analysis assumptions stated above are correct, our measurements imply an average dark matter halo ellipticity for the studied red galaxy samples of $\langle|\epsilon_\rm{h}|\rangle=0.174\pm 0.046$, where $|\epsilon_{h}|=(1-q)/(1+q)$ relates to the ratio $q=b/a$ of the minor and major axes of the projected mass distribution. Similar measurements based on larger upcoming weak lensing data sets can help to calibrate models for intrinsic galaxy alignments. [abridged]


title: On two conjectures about the intersection distribution

abstract: Recently, S. Li and A. Pott\cite{LP} proposed a new concept of intersection distribution concerning the interaction between the graph $\{(x,f(x))~|~x\in\F_{q}\}$ of $f$ and the lines in the classical affine plane $AG(2,q)$. Later, G. Kyureghyan, et al.\cite{KLP} proceeded to consider the next simplest case and derive the intersection distribution for all degree three polynomials over $\F_{q}$ with $q$ both odd and even. They also proposed several conjectures in \cite{KLP}. In this paper, we completely solve two conjectures in \cite{KLP}. Namely, we prove two classes of power functions having intersection distribution: $v_{0}(f)=\frac{q(q-1)}{3},~v_{1}(f)=\frac{q(q+1)}{2},~v_{2}(f)=0,~v_{3}(f)=\frac{q(q-1)}{6}$. We mainly make use of the multivariate method and QM-equivalence on $2$-to-$1$ mappings. The key point of our proof is to consider the number of the solutions of some low-degree equations.


title: A simple model system for self-propelled particles passing a bottleneck

abstract: We study the passage of active and passive granular particles through a bottleneck under gravitational bias. The grains are pharmaceutical capsules with nearly spherocylindrical shapes on a vibrating table. The vibrating plate is slightly tilted in order to break the in-plane symmetry and to give particles a motivation to move in a preferential direction on the plate. The passage through a narrow gate with openings comparable to the grain length is studied using video imaging, and particle positions and velocities are extracted from the recorded frames. We compare the behaviour of asymmetrically filled, active capsules with symmetrically filled, passive ones.


title: Relating a rate-independent system and a gradient system for the case of one-homogeneous potentials

abstract: We consider a non-negative and one-homogeneous energy functional $\mathcal J$ on a Hilbert space. The paper provides an exact relation between the solutions of the associated gradient-flow equations and the energetic solutions generated via the rate-inpendent system given in terms of the time-dependent functional $\mathcal E(t,u)=t \mathcal J(u)$ and the norm as a dissipation distance. The relation between the two flows is given via a solution-dependent reparametrization of time that can be guessed from the homogeneities of energy and dissipations in the two equations. We provide several examples including the total-variation flow and show that equivalence of the two systems through a solution dependent reparametrization of the time. Making the relation mathematically rigorous includes a careful analysis of the jumps in energetic solutions which correspond to constant-speed intervals for the solutins of the gradient-flow equation. As a major result we obtain a non-trivial existence and uniqueness result for the energetic rate-independent system.


title: Exact hyperplane covers for subsets of the hypercube

abstract: Alon and F\"{u}redi (1993) showed that the number of hyperplanes required to cover $\{0,1\}^n\setminus \{0\}$ without covering $0$ is $n$. We initiate the study of such exact hyperplane covers of the hypercube for other subsets of the hypercube. In particular, we provide exact solutions for covering $\{0,1\}^n$ while missing up to four points and give asymptotic bounds in the general case. Several interesting questions are left open.


title: ESPRESSO@VLT -- On-sky performance and first results

abstract: ESPRESSO is the new high-resolution spectrograph of ESO's Very-Large Telescope (VLT). It was designed for ultra-high radial-velocity precision and extreme spectral fidelity with the aim of performing exoplanet research and fundamental astrophysical experiments with unprecedented precision and accuracy. It is able to observe with any of the four Unit Telescopes (UT) of the VLT at a spectral resolving power of 140,000 or 190,000 over the 378.2 to 788.7 nm wavelength range, or with all UTs together, turning the VLT into a 16-m diameter equivalent telescope in terms of collecting area, while still providing a resolving power of 70,000. We provide a general description of the ESPRESSO instrument, report on the actual on-sky performance, and present our Guaranteed-Time Observation (GTO) program with its first results. ESPRESSO was installed on the Paranal Observatory in fall 2017. Commissioning (on-sky testing) was conducted between December 2017 and September 2018. The instrument saw its official start of operations on October 1st, 2018, but improvements to the instrument and re-commissioning runs were conducted until July 2019. The measured overall optical throughput of ESPRESSO at 550 nm and a seeing of 0.65 arcsec exceeds the 10% mark under nominal astro-climatic conditions. We demonstrate a radial-velocity precision of better than 25 cm/s during one night and 50 cm/s over several months. These values being limited by photon noise and stellar jitter show that the performanceis compatible with an instrumental precision of 10 cm/s. No difference has been measured across the UTs neither in throughput nor RV precision. The combination of the large collecting telescope area with the efficiency and the exquisite spectral fidelity of ESPRESSO opens a new parameter space in RV measurements, the study of planetary atmospheres, fundamental constants, stellar characterisation and many other fields.


title: Completeness and Complementarity for $\mu \to e \gamma$, $\mu \to 3e$ and $\mu \to e$ conversion

abstract: Lepton Flavour Violation(LFV) is New Physics that must occur, but is stringently constrained by experiments searching for mu to e flavour change, such as $\mu \to e \gamma$, $\mu \to 3e$ and $\mu \to e$ conversion. However, in an Effective Field Theory(EFT) parametrisation, there are many more $\mu \leftrightarrow e$ operators than restrictive constraints, so determining operator coefficients from data is a remote dream. It is nonetheless interesting to learn about New Physics from data, so this manuscript introduces "observable-vectors" in the space of operator coefficients, which identify at any scale the combination of coefficients probed by the observable. These vectors have at least partpermil overlap with most of the coefficients, and are used to study whether $\mu \to e \gamma$, $\mu \to 3e$ and $\mu \to e$ conversion give complementary information about New Physics. The appendix gives updated sensitivities of these processes, (and a subset of LFV tau decays), to operator coefficients at the weak scale in the SMEFT and in the EFT below mW.


title: McStas (i): Introduction, use, and basic principles for ray-tracing simulations

abstract: We present an overview of, and an introduction to, the general-purpose neutron simulation package McStas. We present the basic principles behind Monte Carlo ray-tracing simulations of neutrons performed in the package and present a few simple examples. We present the implementation of McStas, the status of the package and its use in the neutron community. Finally, we briefly discuss the planned development of the package.


title: Formal Model Theory & Higher Topology

abstract: We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction and completeness-like results. We relate abstract elementary classes to locally decidable topoi. We introduce the notion of categories of saturated objects and relate it to atomic topoi.


title: 2-group global symmetries, hydrodynamics and holography

abstract: 2-group global symmetries are a particular example of how higher-form and conventional global symmetries can fuse together into a larger structure. We construct a theory of hydrodynamics describing the finite-temperature realization of a 2-group global symmetry composed out of $U(1)$ zero-form and $U(1)$ one-form symmetries. We study aspects of the thermodynamics from a Euclidean partition function and derive constitutive relations for ideal hydrodynamics from various points of view. Novel features of the resulting theory include an analogue of the chiral magnetic effect and a chiral sound mode propagating along magnetic field lines. We also discuss a minimalist holographic description of a theory dual to 2-group global symmetry and verify predictions from hydrodynamic descriptions. Along the way we clarify some aspects of symmetry breaking in higher-form theories at finite temperature.

categories: hep-th astro-ph.HE cond-mat.str-el nucl-th


title: Deep-3DAligner: Unsupervised 3D Point Set Registration Network With Optimizable Latent Vector

abstract: Point cloud registration is the process of aligning a pair of point sets via searching for a geometric transformation. Unlike classical optimization-based methods, recent learning-based methods leverage the power of deep learning for registering a pair of point sets. In this paper, we propose to develop a novel model that organically integrates the optimization to learning, aiming to address the technical challenges in 3D registration. More specifically, in addition to the deep transformation decoding network, our framework introduce an optimizable deep \underline{S}patial \underline{C}orrelation \underline{R}epresentation (SCR) feature. The SCR feature and weights of the transformation decoder network are jointly updated towards the minimization of an unsupervised alignment loss. We further propose an adaptive Chamfer loss for aligning partial shapes. To verify the performance of our proposed method, we conducted extensive experiments on the ModelNet40 dataset. The results demonstrate that our method achieves significantly better performance than the previous state-of-the-art approaches in the full/partial point set registration task.


title: Classification of simple Harish-Chandra modules over the Neveu-Schwarz algebra and its contact subalgebra

abstract: In this paper, we classify all simple jet modules for the Neveu-Schwarz algebra $\widehat{\mathfrak{k}}$ and its contact subalgebra $\mathfrak{k}^+$. Based on these results, we give a classification of simple Harish-Chandra modules for $\widehat{\mathfrak{k}}$ and $\mathfrak{k}^+$.


title: On Riemannian four-manifolds and their twistor spaces: a moving frame approach

abstract: In this paper we study the twistor space $Z$ of an oriented Riemannian four-manifold $M$ using the moving frame approach, focusing, in particular, on the Einstein, non-self-dual setting. We prove that any general first-order linear condition on the almost complex structures of $Z$ forces the underlying manifold $M$ to be self-dual, also recovering most of the known related rigidity results. Thus, we are naturally lead to consider first-order quadratic conditions, showing that the Atiyah-Hitchin-Singer almost Hermitian twistor space of an Einstein four-manifold bears a resemblance, in a suitable sense, to a nearly K\"ahler manifold.


title: Predicting Transport Effects of Scintillation Light Signals in Large-Scale Liquid Argon Detectors

abstract: Liquid argon is being employed as a detector medium in neutrino physics and Dark Matter searches. A recent push to expand the applications of scintillation light in Liquid Argon Time Projection Chamber neutrino detectors has necessitated the development of advanced methods of simulating this light. The presently available methods tend to be prohibitively slow or imprecise due to the combination of detector size and the amount of energy deposited by neutrino beam interactions. In this work we present a semi-analytical model to predict the quantity of argon scintillation light observed by a light detector with a precision better than $10\%$, based only on the relative positions between the scintillation and light detector. We also provide a method to predict the distribution of arrival times of these photons accounting for propagation effects. Additionally, we present an equivalent model to predict the number of photons and their arrival times in the case of a wavelength-shifting, highly-reflective layer being present on the detector cathode. Our proposed method can be used to simulate light propagation in large-scale liquid argon detectors such as DUNE or SBND, and could also be applied to other detector mediums such as liquid xenon or xenon-doped liquid argon.


title: Large deviations of a random walk model with emerging territories

abstract: We study an agent-based model of animals marking their territory and evading adversarial territory in one dimension, with respect to the distribution of the size of the resulting territories. In particular, we use sophisticated sampling methods to determine it over a large part of territory sizes, including atypically small and large configurations, which occur with probability of less than $10^{-30}$. We find hints for the validity of a large deviation principle, the shape of the rate function for the right tail of the distribution and insight into the structure of atypical realizations.


title: Floquet prethermalization and Rabi oscillations in optically excited Hubbard clusters

abstract: We study the properties of Floquet prethermal states in two-dimensional Mott-insulating Hubbard clusters under continuous optical excitation. With exact-diagonalization simulations, we show that Floquet prethermal states emerge not only off resonance, but also for resonant excitation, provided a small field amplitude. In the resonant case, the long-lived quasi-stationary Floquet states are characterized by Rabi oscillations of observables such as double occupation and kinetic energy. At stronger fields, thermalization to infinite temperature is observed. We understand these results in terms of the optically driven two-site Hubbard model and by means of time-dependent perturbation theory.


title: A new upper bound for sampling numbers

abstract: We provide a new upper bound for sampling numbers $(g_n)_{n\in \mathbb{N}}$ associated to the compact embedding of a separable reproducing kernel Hilbert space into the space of square integrable functions. There are universal constants $C,c>0$ (which are specified in the paper) such that $$ g^2_n \leq \frac{C\log(n)}{n}\sum\limits_{k\geq \lfloor cn \rfloor} \sigma_k^2\quad,\quad n\geq 2\,, $$ where $(\sigma_k)_{k\in \mathbb{N}}$ is the sequence of singular numbers (approximation numbers) of the Hilbert-Schmidt embedding $\text{Id}:H(K) \to L_2(D,\varrho_D)$. The algorithm which realizes the bound is a least squares algorithm based on a specific set of sampling nodes. These are constructed out of a random draw in combination with a down-sampling procedure coming from the celebrated proof of Weaver's conjecture, which was shown to be equivalent to the Kadison-Singer problem. Our result is non-constructive since we only show the existence of a linear sampling operator realizing the above bound. The general result can for instance be applied to the well-known situation of $H^s_{\text{mix}}(\mathbb{T}^d)$ in $L_2(\mathbb{T}^d)$ with $s>1/2$. We obtain the asymptotic bound $$ g_n \leq C_{s,d}n^{-s}\log(n)^{(d-1)s+1/2}\,, $$ which improves on very recent results by shortening the gap between upper and lower bound to $\sqrt{\log(n)}$.


title: Remarks on compositions of some random integral mappings

abstract: The random integral mappings (some type of functionals of L\'evy processes) are continuous homomorphisms between convolution subsemigroups of the semigroup of all infinitely divisible measures. Compositions of those random integrals (mappings) can be always expressed as another single random integral mapping. That fact is illustrated by some old and new examples.


title: D-wave effects in heavy quarkonium production in ultraperipheral nuclear collisions

abstract: The $D$-wave admixture in quarkonium wave functions is acquired from the photonlike structure of $V\to Q\bar Q$ transition in the light-front frame widely used in the literature. Such a $D$-wave ballast is not justified by any nonrelativistic model for $Q-\bar Q$ interaction potential and leads to falsified predictions for the cross sections in heavy quarkonium production in ultra-peripheral nuclear collisions. We analyze this negative role of $D$-wave contribution by comparing with our previous studies based on a simple non-photon-like "$S$-wave-only" $V\to Q\bar Q$ transition in the $Q\bar Q$ rest frame.


title: Workflow Provenance in the Lifecycle of Scientific Machine Learning

abstract: Machine Learning (ML) has already fundamentally changed several businesses. More recently, it has also been profoundly impacting the computational science and engineering domains, like geoscience, climate science, and health science. In these domains, users need to perform comprehensive data analyses combining scientific data and ML models to provide for critical requirements, such as reproducibility, model explainability, and experiment data understanding. However, scientific ML is multidisciplinary, heterogeneous, and affected by the physical constraints of the domain, making such analyses even more challenging. In this work, we leverage workflow provenance techniques to build a holistic view to support the lifecycle of scientific ML. We contribute with (i) characterization of the lifecycle and taxonomy for data analyses; (ii) design principles to build this view, with a W3C PROV compliant data representation and a reference system architecture; and (iii) lessons learned after an evaluation in an Oil & Gas case using an HPC cluster with 393 nodes and 946 GPUs. The experiments show that the principles enable queries that integrate domain semantics with ML models while keeping low overhead (<1%), high scalability, and an order of magnitude of query acceleration under certain workloads against without our representation.


title: Fault Injection Analytics: A Novel Approach to Discover Failure Modes in Cloud-Computing Systems

abstract: Cloud computing systems fail in complex and unexpected ways due to unexpected combinations of events and interactions between hardware and software components. Fault injection is an effective means to bring out these failures in a controlled environment. However, fault injection experiments produce massive amounts of data, and manually analyzing these data is inefficient and error-prone, as the analyst can miss severe failure modes that are yet unknown. This paper introduces a new paradigm (fault injection analytics) that applies unsupervised machine learning on execution traces of the injected system, to ease the discovery and interpretation of failure modes. We evaluated the proposed approach in the context of fault injection experiments on the OpenStack cloud computing platform, where we show that the approach can accurately identify failure modes with a low computational cost.


title: Training general representations for remote sensing using in-domain knowledge

abstract: Automatically finding good and general remote sensing representations allows to perform transfer learning on a wide range of applications - improving the accuracy and reducing the required number of training samples. This paper investigates development of generic remote sensing representations, and explores which characteristics are important for a dataset to be a good source for representation learning. For this analysis, five diverse remote sensing datasets are selected and used for both, disjoint upstream representation learning and downstream model training and evaluation. A common evaluation protocol is used to establish baselines for these datasets that achieve state-of-the-art performance. As the results indicate, especially with a low number of available training samples a significant performance enhancement can be observed when including additionally in-domain data in comparison to training models from scratch or fine-tuning only on ImageNet (up to 11% and 40%, respectively, at 100 training samples). All datasets and pretrained representation models are published online.


title: Fano resonances induced by the topological magnetoelectric effect

abstract: We investigate the interaction between a topological insulator nanoparticle and a quantum dot in an impulse magnetic field. Since topological insulators are nonmagnetic, after the impulse has ended only the localised topological surface modes, which are quantised in terms of dipolar bosonic modes, thus coupling dipolarly to the quantum dot. Hence, the hybrid system can be treated as a single bosonic mode interacting with a two-level system, where the coupling strength is quantised in terms of the magnetoelectric polarizability. We implement the interaction of the hybrid with the environment through the coupling with a continuum reservoir of radiative output modes and a reservoir of phonon modes. Using the method of Zubarev's Green functions, we derive an expression for the optical absorption spectrum of the system. We find the emergence of Fano resonances which are direct manifestations of the $\mathbb{Z}_{2}$ invariant of topological insulators. We present numerical results for a topological insulator nanosphere made of TlBiSe$_2$ interacting with a CdSe quantum dot.


title: Efficient Time and Space Representation of Uncertain Event Data

abstract: Process mining is a discipline which concerns the analysis of execution data of operational processes, the extraction of models from event data, the measurement of the conformance between event data and normative models, and the enhancement of all aspects of processes. Most approaches assume that event data is accurately capture behavior. However, this is not realistic in many applications: data can contain uncertainty, generated from errors in recording, imprecise measurements, and other factors. Recently, new methods have been developed to analyze event data containing uncertainty; these techniques prominently rely on representing uncertain event data by means of graph-based models explicitly capturing uncertainty. In this paper, we introduce a new approach to efficiently calculate a graph representation of the behavior contained in an uncertain process trace. We present our novel algorithm, prove its asymptotic time complexity, and show experimental results that highlight order-of-magnitude performance improvements for the behavior graph construction.


title: Cohomology and Deformations of left-symmetric Rinehart Algebras

abstract: We introduce a notion of left-symmetric Rinehart algebras, which is a generalization of a left-symmetric algebras. The left multiplication gives rise to a representation of the corresponding sub-adjacent Lie-Rinehart algebra. We construct left-symmetric Rinehart algebra from O-operators on Lie-Rinehart algebra. We extensively investigate representations of a left-symmetric Rinehart algebras. Moreover, we study deformations of left-symmetric Rinehart algebras, which is controlled by the second cohomology class in the deformation cohomology. We also give the relationships between O-operators and Nijenhuis operators on left-symmetric Rinehart algebras.


title: Closed Range Integral Operators on Hardy, BMOA and Besov Spaces

abstract: In this paper, we prove three necessary and sufficient conditions for the integral operator Sg to have closed range on Hardy Hp (1<p<\infty), BMOA and Besov Bp (1<p<\infty) spaces.


title: Gamma-Ray Bursts with Extended Emission: Classifications, Energy Correlations and Radiation Properties

abstract: Thanks to more and more gamma-ray bursts with measured redshift and extended emission detected by the recent space telescopes, it is urgent and possible to check whether those previous energy correlations still satisfy for the particular sample involving only the bursts accompanied by tail radiations. Using 20 long and 22 short bursts with extended emission, we find that the popular $\gamma$-ray energy correlations of the intrinsic peak energy versus the isotropic energy (Amati relation) and the intrinsic peak energy versus the peak luminosity (Yonetoku relation) do exist in either short or long bursts. However, these gamma-ray bursts with extended emissions are much better to be reclassified into two subgroups of E-I and E-II that make the above energy correlations more tight. As proposed by Zhang et al. (2018), the energy correlations can be utilized to distinguish these kinds of gamma-ray bursts in the plane of bolometric fluence versus peak energy as well. Interestingly, the peculiar short GRB 170817A belongs to the E-I group in the fluence versus peak energy plane, but it is an outlier of both Amati and Yonetoku relations even though the off-axis effect has been corrected. Furthermore, we compare the radiation features between the extended emissions and the prompt gamma-rays in order to search for their possible connections. Taking into account all these factors, we conclude that gamma-ray bursts with extended emission are still required to model with dichotomic groups, namely E-I and E-II classes, respectively, which hints that they might be of different origins.


title: Quandle Coloring Quivers of Surface-Links

abstract: Quandle coloring quivers are directed graph-valued invariants of oriented knots and links, defined using a choice of finite quandle $X$ and set $S\subset\mathrm{Hom}(X,X)$ of endomorphisms. From a quandle coloring quiver, a polynomial knot invariant known as the \textit{in-degree quiver polynomial} is defined. We consider quandle coloring quiver invariants for oriented surface-links, represented by marked graph diagrams. We provide example computations for all oriented surface-links with ch-index up to 10 for choices of quandles and endomorphisms.


title: More Than Just Good Passwords? A Study on Usability and Security Perceptions of Risk-based Authentication

abstract: Risk-based Authentication (RBA) is an adaptive security measure to strengthen password-based authentication. RBA monitors additional features during login, and when observed feature values differ significantly from previously seen ones, users have to provide additional authentication factors such as a verification code. RBA has the potential to offer more usable authentication, but the usability and the security perceptions of RBA are not studied well. We present the results of a between-group lab study (n=65) to evaluate usability and security perceptions of two RBA variants, one 2FA variant, and password-only authentication. Our study shows with significant results that RBA is considered to be more usable than the studied 2FA variants, while it is perceived as more secure than password-only authentication in general and comparably secure to 2FA in a variety of application types. We also observed RBA usability problems and provide recommendations for mitigation. Our contribution provides a first deeper understanding of the users' perception of RBA and helps to improve RBA implementations for a broader user acceptance.


title: The groups of diffeomorphisms and homeomorphisms of 4-manifolds with boundary

abstract: We give constraints on smooth families of 4-manifolds with boundary using Manolescu's Seiberg-Witten Floer stable homotopy type, provided that the fiberwise restrictions of the families to the boundaries are trivial families of 3-manifolds. As an application, we show that, for a simply-connected oriented compact smooth 4-manifold $X$ with boundary with an assumption on the Fr{\o}yshov invariant or the Manolescu invariants $\alpha, \beta, \gamma$ of $\partial X$, the inclusion map $\mathrm{Diff}(X,\partial) \hookrightarrow \mathrm{Homeo}(X,\partial)$ between the groups of diffeomorphisms and homeomorphisms which fix the boundary pointwise is not a weak homotopy equivalence. This combined with a classical result in dimension 3 implies that the inclusion map $\mathrm{Diff}(X) \hookrightarrow \mathrm{Homeo}(X)$ is also not a weak homotopy equivalence under the same assumption on $\partial X$. Our constraints generalize both of constraints on smooth families of closed 4-manifolds proven by Baraglia and a Donaldson-type theorem for smooth 4-manifolds with boundary originally due to Fr{\o}yshov.


title: EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts

abstract: Recent attacks exploiting errors in smart contract code had devastating consequences thereby questioning the benefits of this technology. It is currently highly challenging to fix errors and deploy a patched contract in time. Instant patching is especially important since smart contracts are always online due to the distributed nature of blockchain systems. They also manage considerable amounts of assets, which are at risk and often beyond recovery after an attack. Existing solutions to upgrade smart contracts depend on manual and error-prone processes. This paper presents a framework, called EVMPatch, to instantly and automatically patch faulty smart contracts. EVMPatch features a bytecode rewriting engine for the popular Ethereum blockchain, and transparently/automatically rewrites common off-the-shelf contracts to upgradable contracts. The proof-of-concept implementation of EVMPatch automatically hardens smart contracts that are vulnerable to integer over/underflows and access control errors, but can be easily extended to cover more bug classes. Our extensive evaluation on 14,000 real-world (vulnerable) contracts demonstrate that our approach successfully blocks attack transactions launched on these contracts, while keeping the intended functionality of the contract intact. We perform a study with experienced software developers, showing that EVMPatch is practical, and reduces the time for converting a given Solidity smart contract to an upgradable contract by 97.6 %, while ensuring functional equivalence to the original contract.


title: On the group of unit-valued polynomial functions

abstract: Let $R$ be a finite commutative ring with $1\ne 0$. The set $\mathcal{F}(R)$ of polynomial functions on $R$ is a finite commutative ring with pointwise operations. Its group of units $\mathcal{F}(R)^\times$ is just the set of all unit-valued polynomial functions, that is the set of polynomial functions which map $R$ into its group of units. We show that $\mathcal{P}_R(R[x]/(x^2))$ the group of polynomial permutations on the ring $R[x]/(x^2)$, consisting of permutations represented by polynomials over $R$, is embedded in a semidirect product of $\mathcal{F}(R)^\times$ by $\mathcal{P}(R)$ the group of polynomial permutations on $R$. In particular, when $R=\mathbb{F}_q$, we prove that $\mathcal{P}_{\mathbb{F}_q}(\mathbb{F}_q[x]/(x^2))\cong \mathcal{P}(\mathbb{F}_q) \ltimes_\theta \mathcal{F}(\mathbb{F}_q)^\times$. Furthermore, we count unit-valued polynomial functions $\pmod{p^n}$ and obtain canonical representations for these functions.


title: Bringing Network Coding into SDN: A Case-study for Highly Meshed Heterogeneous Communications

abstract: Modern communications have moved away from point-to-point models to increasingly heterogeneous network models. In this article, we propose a novel controller-based protocol to deploy adaptive causal network coding in heterogeneous and highly-meshed communication networks. Specifically, we consider using Software-Defined-Network (SDN) as the main controller. We first present an architecture for the highly-meshed heterogeneous multi-source multi-destination networks that represents the practical communication networks encountered in the fifth generation of wireless networks (5G) and beyond. Next, we present a promising solution to deploy network coding over the new architecture. In fact, we investigate how to generalize adaptive and causal random linear network coding (AC-RLNC), proposed for multipath multi-hop (MP-MH) communication channels, to a protocol for the new multi-source multi-destination network architecture using controller. To this end, we present a modularized implementation of AC-RLNC solution where the modules work together in a distributed fashion and perform the AC-RLNC technology. We also present a new controller-based setting through which the network coding modules can communicate and can attain their required information. Finally, we briefly discuss how the proposed architecture and network coding solution provide a good opportunity for future technologies, e.g., distributed coded computation and storage, mmWave communication environments, and innovative and efficient security features.


title: Random Walk of Bipartite Spins in a Classicalized Holographic Tensor Network

abstract: We consider the random walk of spin-zero bipartite spins in the classicalized holographic tensor network of the ground state of a strongly coupled two-dimensional conformal field theory. The bipartite-spin distribution induces a metric in this network. In the steady state of the random walk, the induced metric gives the two-dimensional anti-de Sitter (AdS$_2$) space metric. We consider this distribution as a microscopic statistical model of the AdS$_2$ space metric.


title: A Space-Time Variational Method for Optimal Control Problems: Well-posedness, stability and numerical solution

abstract: We consider an optimal control problem constrained by a parabolic partial differential equation (PDE) with Robin boundary conditions. We use a well-posed space-time variational formulation in Lebesgue--Bochner spaces with minimal regularity. The abstract formulation of the optimal control problem yields the Lagrange function and Karush--Kuhn--Tucker (KKT) conditions in a natural manner. This results in space-time variational formulations of the adjoint and gradient equation in Lebesgue--Bochner spaces with minimal regularity. Necessary and sufficient optimality conditions are formulated and the optimality system is shown to be well-posed. Next, we introduce a conforming uniformly stable simultaneous space-time (tensorproduct) discretization of the optimality system in these Lebesgue--Boch\-ner spaces. Using finite elements of appropriate orders in space and time for trial and test spaces, this setting is known to be equivalent to a Crank--Nicolson time-stepping scheme for parabolic problems. Differences to existing methods are detailed. We show numerical comparisons with time-stepping methods. The space-time method shows good stability properties and requires fewer degrees of freedom in time to reach the same accuracy.


title: 2D Raman-THz spectroscopy of binary CHBr3-MeOH solvent mixture

abstract: Hybrid two-dimensional (2D) Raman-terahertz spectroscopy is used to measure the interactions between two solvents pair in the binary CHBr3-MeOH mixture in the frequency range of 1-7 THz. Changes in the cross peak signature are monitored, originating from the coupling of an intramolecular bending mode of CHBr3 to the collective intermolecular degrees of freedom of the mixture. The appearance of a new cross peak in the 2D spectrum measured for solvent mixture with MeOH molar fraction of 0.3 indicates a coupling to a new set of low-frequency modes formed due to the hydrogen bond interactions between the two solvents. This interpretation is supported by the measurement of the CHBr3-CS2 binary solvent mixture as well as by 1D absorption measurements of neat MeOH.


title: Can You Trust Your Pose? Confidence Estimation in Visual Localization

abstract: Camera pose estimation in large-scale environments is still an open question and, despite recent promising results, it may still fail in some situations. The research so far has focused on improving subcomponents of estimation pipelines, to achieve more accurate poses. However, there is no guarantee for the result to be correct, even though the correctness of pose estimation is critically important in several visual localization applications,such as in autonomous navigation. In this paper we bring to attention a novel research question, pose confidence estimation,where we aim at quantifying how reliable the visually estimated pose is. We develop a novel confidence measure to fulfil this task and show that it can be flexibly applied to different datasets,indoor or outdoor, and for various visual localization pipelines.We also show that the proposed techniques can be used to accomplish a secondary goal: improving the accuracy of existing pose estimation pipelines. Finally, the proposed approach is computationally light-weight and adds only a negligible increase to the computational effort of pose estimation.


title: Counting 4-Patterns in Permutations Is Equivalent to Counting 4-Cycles in Graphs

abstract: Permutation $\sigma$ appears in permutation $\pi$ if there exists a subsequence of $\pi$ that is order-isomorphic to $\sigma$. The natural question is to check if $\sigma$ appears in $\pi$, and if so count the number of occurrences. We know that for any fixed length~k, we can check if a given pattern of length k appears in a permutation of length n in time linear in n, but being able to count all such occurrences in $f(k)\cdot n^{o(k/\log k)}$ time would refute the exponential time hypothesis (ETH). This motivates a systematic study of the complexity of counting occurrences for different patterns of fixed small length k. We investigate this question for k=4. Very recently, Even-Zohar and Leng [arXiv 2019] identified two types of 4-patterns. For the first type they designed an $\~O(n)$ time algorithm, while for the second they were able to provide an $\~O(n^{1.5})$ time algorithm. This brings up the question whether the permutations of the second type are inherently harder than the first type. We establish a connection between counting 4-patterns of the second type and counting 4-cycles in a sparse undirected graph. By designing two-way reductions we show that the complexities of both problems are the same, up to polylogarithmic factors. This allows us to provide a reasonable argument for why there is a difference in the complexities for counting 4-patterns of the two types. In particular, even for the simpler problem of detecting a 4-cycle in a graph on m edges, the best known algorithm works in $O(m^{4/3})$ time. Our reductions imply that an $O(n^{4/3-\varepsilon})$ time algorithm for counting occurrences would imply an exciting breakthrough for counting (and hence also detecting) 4-cycles. In the other direction, by plugging in the fastest known algorithm for counting 4-cycles, we obtain an algorithm for counting occurrences of any 4-pattern in $O(n^{1.48})$ time.


title: A three-order-parameter bistable magnetoelectric multiferroic metal

abstract: Using first-principles calculations we predict that the layered-perovskite metal Bi$_5$Mn$_5$O$_{17}$ is a ferromagnet, ferroelectric, and ferrotoroid which may realize the long sought-after goal of a room-temperature ferromagnetic single-phase multiferroic with large, strongly coupled, primary-order polarization and magnetization. Bi$_5$Mn$_5$O$_{17}$ has two nearly energy-degenerate ground states with mutually orthogonal vector order parameters (polarization, magnetization, ferrotoroidicity), which can be rotated globally by switching between ground states. Giant cross-coupling magnetoelectric and magnetotoroidic effects, as well as optical non-reciprocity, are thus expected. Importantly, Bi$_5$Mn$_5$O$_{17}$ should be thermodynamically stable in O-rich growth conditions, and hence experimentally accessible.


title: Blind Federated Learning at the Wireless Edge with Low-Resolution ADC and DAC

abstract: We study collaborative machine learning systems where a massive dataset is distributed across independent workers which compute their local gradient estimates based on their own datasets. Workers send their estimates through a multipath fading multiple access channel with orthogonal frequency division multiplexing to mitigate the frequency selectivity of the channel. We assume that there is no channel state information (CSI) at the workers, and the parameter server (PS) employs multiple antennas to align the received signals. To reduce the power consumption and the hardware costs, we employ complex-valued low-resolution digital-to-analog converters (DACs) and analog-to-digital converters (ADCs), at the transmitter and the receiver sides, respectively, and study the effects of practical low-cost DACs and ADCs on the learning performance. Our theoretical analysis shows that the impairments caused by low-resolution DACs and ADCs, including those of one-bit DACs and ADCs, do not prevent the convergence of the federated learning algorithm, and the multipath channel effects vanish when a sufficient number of antennas are used at the PS. We also validate our theoretical results via simulations, and demonstrate that using low-resolution, even one-bit, DACs and ADCs causes only a slight decrease in the learning accuracy.


title: Emergence of a finite-size-scaling function in the supervised learning of the Ising phase transition

abstract: We investigate the connection between the supervised learning of the binary phase classification in the ferromagnetic Ising model and the standard finite-size-scaling theory of the second-order phase transition. Proposing a minimal one-free-parameter neural network model, we analytically formulate the supervised learning problem for the canonical ensemble being used as a training data set. We show that just one free parameter is capable enough to describe the data-driven emergence of the universal finite-size-scaling function in the network output that is observed in a large neural network, theoretically validating its critical point prediction for unseen test data from different underlying lattices yet in the same universality class of the Ising criticality. We also numerically demonstrate the interpretation with the proposed one-parameter model by providing an example of finding a critical point with the learning of the Landau mean-field free energy being applied to the real data set from the uncorrelated random scale-free graph with a large degree exponent.


abstract: The ability to continuously learn and adapt itself to new tasks, without losing grasp of already acquired knowledge is a hallmark of biological learning systems, which current deep learning systems fall short of. In this work, we present a novel methodology for continual learning called MERLIN: Meta-Consolidation for Continual Learning. We assume that weights of a neural network $\boldsymbol \psi$, for solving task $\boldsymbol t$, come from a meta-distribution $p(\boldsymbol{\psi|t})$. This meta-distribution is learned and consolidated incrementally. We operate in the challenging online continual learning setting, where a data point is seen by the model only once. Our experiments with continual learning benchmarks of MNIST, CIFAR-10, CIFAR-100 and Mini-ImageNet datasets show consistent improvement over five baselines, including a recent state-of-the-art, corroborating the promise of MERLIN.


title: When will the mist clear? On the Interpretability of Machine Learning for Medical Applications: a survey

abstract: Artificial Intelligence is providing astonishing results, with medicine being one of its favourite playgrounds. In a few decades, computers may be capable of formulating diagnoses and choosing the correct treatment, while robots may perform surgical operations, and conversational agents could interact with patients as virtual coaches. Machine Learning and, in particular, Deep Neural Networks are behind this revolution. In this scenario, important decisions will be controlled by standalone machines that have learned predictive models from provided data. Among the most challenging targets of interest in medicine are cancer diagnosis and therapies but, to start this revolution, software tools need to be adapted to cover the new requirements. In this sense, learning tools are becoming a commodity in Python and Matlab libraries, just to name two, but to exploit all their possibilities, it is essential to fully understand how models are interpreted and which models are more interpretable than others. In this survey, we analyse current machine learning models, frameworks, databases and other related tools as applied to medicine - specifically, to cancer research - and we discuss their interpretability, performance and the necessary input data. From the evidence available, ANN, LR and SVM have been observed to be the preferred models. Besides, CNNs, supported by the rapid development of GPUs and tensor-oriented programming libraries, are gaining in importance. However, the interpretability of results by doctors is rarely considered which is a factor that needs to be improved. We therefore consider this study to be a timely contribution to the issue.


title: ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices

abstract: Network programmability will be required to handle future increased network traffic and constantly changing application needs. However, there is currently no way of using a high-level, easy to use programming language to program Wi-Fi firmware. This impedes rapid prototyping and deployment of novel network services/applications and hinders continuous performance optimization in Wi-Fi networks, since expert knowledge is required for both the used hardware platforms and the Wi-Fi domain. In this paper, we present ReactiFi, a high-level reactive programming language to program Wi-Fi chips on mobile consumer devices. ReactiFi enables programmers to implement extensions of PHY, MAC, and IP layer mechanisms without requiring expert knowledge of Wi-Fi chips, allowing for novel applications and network protocols. ReactiFi programs are executed directly on the Wi-Fi chip, improving performance and power consumption compared to execution on the main CPU. ReactiFi is conceptually similar to functional reactive languages, but is dedicated to the domain-specific needs of Wi-Fi firmware. First, it handles low-level platform-specific details without interfering with the core functionality of Wi-Fi chips. Second, it supports static reasoning about memory usage of applications, which is important for typically memory-constrained Wi-Fi chips. Third, it limits dynamic changes of dependencies between computations to dynamic branching, in order to enable static reasoning about the order of computations. We evaluate ReactiFi empirically in two real-world case studies. Our results show that throughput, latency, and power consumption are significantly improved when executing applications on the Wi-Fi chip rather than in the operating system kernel or in user space. Moreover, we show that the high-level programming abstractions of ReactiFi have no performance overhead compared to manually written C code.


title: Distributed two-time-scale methods over clustered networks

abstract: In this paper, we consider consensus problems over a network of nodes, where the network is divided into a number of clusters. We are interested in the case where the communication topology within each cluster is dense as compared to the sparse communication across the clusters. Moreover, each cluster has one leader which can communicate with other leaders in different clusters. The goal of the nodes is to agree at some common value under the presence of communication delays across the clusters. Our main contribution is to propose a novel distributed two-time-scale consensus algorithm, which pertains to the separation in network topology of clustered networks. In particular, one scale is to model the dynamic of the agents in each cluster, which is much faster (due to the dense communication) than the scale describing the slowly aggregated evolution between the clusters (due to the sparse communication). We prove the convergence of the proposed method in the presence of uniform, but possibly arbitrarily large, communication delays between the leaders. In addition, we provided an explicit formula for the convergence rate of such algorithm, which characterizes the impact of delays and the network topology. Our results shows that after a transient time characterized by the topology of each cluster, the convergence of the two-time-scale consensus method only depends on the connectivity of the leaders. Finally, we validate our theoretical results by a number of numerical simulations on different clustered networks.


title: What is the likelihood function, and how is it used in particle physics?

abstract: Likelihood functions are ubiquitous in data analyses at the LHC and elsewhere in particle physics. Partly because "probability" and "likelihood" are virtual synonyms in everyday English, but crucially distinct in data analysis, there is great potential for confusion. Furthermore, each of various approaches to statistical inference (likelihoodist, Neyman-Pearson, Bayesian) uses the likelihood function in different ways. This note is intended to provide a brief introduction at the advanced undergraduate or beginning graduate student level, citing a few papers giving examples and containing numerous pointers to the vast literature on likelihood. The Likelihood Principle (routinely violated in particle physics analyses) is mentioned as an unresolved issue in the philosophical foundations of statistics.


title: Detecting White Supremacist Hate Speech using Domain Specific Word Embedding with Deep Learning and BERT

abstract: White supremacists embrace a radical ideology that considers white people superior to people of other races. The critical influence of these groups is no longer limited to social media; they also have a significant effect on society in many ways by promoting racial hatred and violence. White supremacist hate speech is one of the most recently observed harmful content on social media.Traditional channels of reporting hate speech have proved inadequate due to the tremendous explosion of information, and therefore, it is necessary to find an automatic way to detect such speech in a timely manner. This research investigates the viability of automatically detecting white supremacist hate speech on Twitter by using deep learning and natural language processing techniques. Through our experiments, we used two approaches, the first approach is by using domain-specific embeddings which are extracted from white supremacist corpus in order to catch the meaning of this white supremacist slang with bidirectional Long Short-Term Memory (LSTM) deep learning model, this approach reached a 0.74890 F1-score. The second approach is by using the one of the most recent language model which is BERT, BERT model provides the state of the art of most NLP tasks. It reached to a 0.79605 F1-score. Both approaches are tested on a balanced dataset given that our experiments were based on textual data only. The dataset was combined from dataset created from Twitter and a Stormfront dataset compiled from that white supremacist forum.


title: A Survey of H-index, Stress, Tenure & Reference Management software use in Academia

abstract: We describe the findings of a survey that covered the topics of stress, citation tool use habits, subjective happiness, h-index, research topic and tenure among a sample of 2286 authors of arxiv.org. Ph.D. students report the lowest subjective happiness score among all faculty roles, while tenured faculty report the highest. Tenured faculty report the lowest levels of stress. Undergraduate and graduate students report the highest levels of stress. Non-tenured faculty report stress similar to postdocs. No association between citation management tool usage and h-index was found. The average age at tenure start is 34.9 years. In addition, no significant association between stress levels and the research topic was found


title: Low-Rank and Sparse Enhanced Tucker Decomposition for Tensor Completion

abstract: Tensor completion refers to the task of estimating the missing data from an incomplete measurement or observation, which is a core problem frequently arising from the areas of big data analysis, computer vision, and network engineering. Due to the multidimensional nature of high-order tensors, the matrix approaches, e.g., matrix factorization and direct matricization of tensors, are often not ideal for tensor completion and recovery. In this paper, we introduce a unified low-rank and sparse enhanced Tucker decomposition model for tensor completion. Our model possesses a sparse regularization term to promote a sparse core tensor of the Tucker decomposition, which is beneficial for tensor data compression. Moreover, we enforce low-rank regularization terms on factor matrices of the Tucker decomposition for inducing the low-rankness of the tensor with a cheap computational cost. Numerically, we propose a customized ADMM with enough easy subproblems to solve the underlying model. It is remarkable that our model is able to deal with different types of real-world data sets, since it exploits the potential periodicity and inherent correlation properties appeared in tensors. A series of computational experiments on real-world data sets, including internet traffic data sets, color images, and face recognition, demonstrate that our model performs better than many existing state-of-the-art matricization and tensorization approaches in terms of achieving higher recovery accuracy.


title: Spatial localisation beyond steady states in the neighbourhood of the Takens--Bogdanov bifurcation

abstract: The coincidence of a pitchfork and Hopf bifurcation at a Takens-Bogdanov (TB) bifurcation occurs in many physical systems such as double-diffusive convection, binary convection and magnetoconvection. Analysis of the associated normal form, in one dimension with periodic boundary condition, shows the existence of steady patterns, standing waves, modulated waves and travelling waves, where the values of coefficients of the terms in the normal form classify all possible different bifurcation scenarios in the neighbourhood of the TB bifurcation (Dangelmayr & Knobloch, 1987). In this work we develop a new and simple pattern-forming PDE model, based on the Swift-Hohenberg equation, adapted to have the TB normal form at onset, which allows us to explore the dynamics in a wide range of bifurcation scenarios, including in domains much wider than the lengthscale of the pattern. We identify two bifurcation scenarios in which coexistence between different types of solutions is indicated from the analysis of the normal form equation. In these scenarios, we look for spatially localised solutions by examining pattern formation in wide domains. We recover two types of localised states, that of a localised steady state in the background of the trivial state and that of a spatially localised travelling wave in the background of the trivial state which have previously been observed in other systems. Additionally, we identify two new types of spatially localised states: that of a localised steady state in a modulated wave background and that of a localised travelling wave in a steady state background. The PDE model is easy to solve numerically in large domains and so will allow further investigation of pattern formation with a TB bifurcation in one or more dimensions and the exploration of a range of background and foreground pattern combinations beyond steady states.


title: Answer-Driven Visual State Estimator for Goal-Oriented Visual Dialogue

abstract: A goal-oriented visual dialogue involves multi-turn interactions between two agents, Questioner and Oracle. During which, the answer given by Oracle is of great significance, as it provides golden response to what Questioner concerns. Based on the answer, Questioner updates its belief on target visual content and further raises another question. Notably, different answers drive into different visual beliefs and future questions. However, existing methods always indiscriminately encode answers after much longer questions, resulting in a weak utilization of answers. In this paper, we propose an Answer-Driven Visual State Estimator (ADVSE) to impose the effects of different answers on visual states. First, we propose an Answer-Driven Focusing Attention (ADFA) to capture the answer-driven effect on visual attention by sharpening question-related attention and adjusting it by answer-based logical operation at each turn. Then based on the focusing attention, we get the visual state estimation by Conditional Visual Information Fusion (CVIF), where overall information and difference information are fused conditioning on the question-answer state. We evaluate the proposed ADVSE to both question generator and guesser tasks on the large-scale GuessWhat?! dataset and achieve the state-of-the-art performances on both tasks. The qualitative results indicate that the ADVSE boosts the agent to generate highly efficient questions and obtains reliable visual attentions during the reasonable question generation and guess processes.


title: SnO/$\beta$-Ga2O3 vertical $pn$ heterojunction diodes

abstract: Vertical $pn$ heterojunction diodes were prepared by plasma-assisted molecular beam epitaxy of unintentionally-doped $p$-type SnO layers with hole concentrations ranging from $p=10^{18}$ to $10^{19}$cm$^{-3}$ on unintentionally-doped $n$-type $\beta$-Ga$_{2}$O$_{3}$(-201) substrates with an electron concentration of $n=2.0\times10^{17}$cm$^{-3}$. The SnO layers consist of (001)-oriented grains without in-plane expitaxial relation to the substrate. After subsequent contact processing and mesa etching (which drastically reduced the reverse current spreading in the SnO layer and associated high leakage) electrical characterization by current-voltage and capacitance-voltage measurement was performed. The results reveal a type-I band alignment and junction transport by thermionic emission in forward bias. A rectification of $2\times10^{8}$ at $\pm1$V, an ideality factor of 1.16, differential specific on-resistance of 3.9m$\Omega\thinspace$cm$^{2}$, and built-in voltage of 0.96V were determined. The $pn$-junction isolation prevented parallel conduction in the highly-conductive Ga$_{2}$O$_{3}$ substrate (sheet resistance $R_{S}\approx3\thinspace\Omega$) during van-der-Pauw Hall measurements of the SnO layer on top ($R_{S}\approx150$k$\Omega$, $p\approx2.5\times10^{18}$cm$^{-3}$, Hall mobility $\approx1$cm$^{2}$/Vs). The measured maximum reverse breakdown voltage of the diodes was 66V, corresponding to a peak breakdown field 2.2MV/cm in the Ga$_{2}$O$_{3}$-depletion region. Higher breakdown voltages that are required in high-voltage devices could be achieved by reducing the donor concentration in the $\beta$-Ga$_{2}$O$_{3}$ to increase the depletion width as well as improving the contact geometry to reduce field crowding.


title: How LSTM Encodes Syntax: Exploring Context Vectors and Semi-Quantization on Natural Text

abstract: Long Short-Term Memory recurrent neural network (LSTM) is widely used and known to capture informative long-term syntactic dependencies. However, how such information are reflected in its internal vectors for natural text has not yet been sufficiently investigated. We analyze them by learning a language model where syntactic structures are implicitly given. We empirically show that the context update vectors, i.e. outputs of internal gates, are approximately quantized to binary or ternary values to help the language model to count the depth of nesting accurately, as Suzgun et al. (2019) recently show for synthetic Dyck languages. For some dimensions in the context vector, we show that their activations are highly correlated with the depth of phrase structures, such as VP and NP. Moreover, with an $L_1$ regularization, we also found that it can accurately predict whether a word is inside a phrase structure or not from a small number of components of the context vector. Even for the case of learning from raw text, context vectors are shown to still correlate well with the phrase structures. Finally, we show that natural clusters of the functional words and the part of speeches that trigger phrases are represented in a small but principal subspace of the context-update vector of LSTM.


title: Topological active matter

abstract: Active matter encompasses different nonequilibrium systems in which individual constituents convert energy into non-conservative forces or motion at the microscale. This review provides an elementary introduction to the role of topology in active matter through experimentally relevant examples. Here, the focus lies on topological defects and topologically protected edge modes with an emphasis on the distinctive properties they acquire in active media. These paradigmatic examples represent two physically distinct classes of phenomena whose robustness can be traced to a common mathematical origin: the presence of topological invariants. These invariants are typically integer numbers that cannot be changed by continuous deformations of the relevant order parameters or physical parameters of the underlying medium. We first explain the mechanisms whereby topological defects self propel and proliferate in active nematics, leading to collective states which can be manipulated by geometry and patterning. Possible implications for active microfluidics and biological tissues are presented. We then illustrate how the propagation of waves in active fluids and solids is affected by the presence of topological invariants characterizing their dispersion relations. We discuss the relevance of these ideas for the design of robotic metamaterials and the properties of active granular and colloidal systems. Open theoretical and experimental challenges are presented as future research prospects.


title: Models of Ultra-Luminous X-ray transient sources

abstract: It is now widely accepted that most ultraluminous X-ray sources (ULXs) are binary systems whose large (above $10^{39}$ erg s$^{-1}$) apparent luminosities are explained by super-Eddington accretion onto a stellar-mass compact object. Many of the ULXs, especially those containing magnetized neutron stars, are highly variable; some exhibit transient behaviour. Large luminosities might imply large accretion discs that could be therefore prone to the thermal-viscous instability known to drive outbursts of dwarf novae and low-mass X-ray binary transient sources. The aim of this paper is to extend and generalize the X-ray transient disc-instability model to the case of large (outer radius larger than $10^{12}$ cm) accretion discs and apply it to the description of systems with super-Eddington accretion rates at outburst and, in some cases, super-Eddington mass transfer rates. We have used our disc-instability-model code to calculate the time evolution of the accretion disc and the outburst properties. We show that, provided that self-irradiation of the accretion disc is efficient even when the accretion rate exceeds the Eddington value, possibly due to scattering back of the X-ray flux emitted by the central parts of the disc on the outer portions of the disc, heating fronts can reach the disc's outer edge generating high accretion rates. We also provide analytical approximations for the observable properties of the outbursts. We have reproduced successfully the observed properties of galactic transients with large discs, such as V404 Cyg, as well as some ULXs such as M51 XT-1. Our model can reproduce the peak luminosity and decay time of ESO 243-39 HLX-1 outbursts if the accretor is a neutron star. Observational tests of our predicted relations between the outburst duration and decay time with peak luminosity would be most welcome.


title: Non-adiabatic quantum dynamics without potential energy surfaces based on second-quantized electrons: application within the framework of the MCTDH method

abstract: A first principles quantum formalism to describe the non-adiabatic dynamics of electrons and nuclei based on a second quantization representation (SQR) of the electronic motion combined with the usual representation of the nuclear coordinates is introduced. This procedure circumvents the introduction of potential energy surfaces and non-adiabatic couplings, providing an alternative to the Born-Oppenheimer approximation. An important feature of the molecular Hamiltonian in the mixed first quantized representation for the nuclei and the SQR representation for the electrons is that all degrees of freedom, nuclear positions and electronic occupations, are distinguishable. This makes the approach compatible with various tensor decomposition \emph{ans\"atze} for the propagation of the nuclear-electronic wavefunction. Here, we describe the application of this formalism within the multi-configuration time-dependent Hartree (MCTDH) framework and its multilayer generalization, corresponding to Tucker and hierarchical Tucker tensor decompositions of the wavefunction, respectively. The approach is applied to the calculation of the photodissociation cross-section of the HeH$^+$ molecule under extreme ultraviolet irradiation, which features non-adiabatic effects and quantum interferences between the two possible fragmentation channels, He+H$^+$ and He$^+$+H. These calculations are compared with the usual description based on ab \emph{ab initio} potential energy surfaces and non-adiabatic coupling matrix elements, which fully agree. The proof-of-principle calculations serve to illustrate the advantages and drawbacks of this formalism, which are discussed in detail, as well as possible ways to overcome them.


title: Offcut-related step-flow and growth rate enhancement during (100) $\beta$-Ga2O3 homoepitaxy by metal-exchange catalyzed molecular beam epitaxy (MEXCAT-MBE)

abstract: In this work we investigate the growth of $\beta$-Ga2O3 homoepitaxial layers on top of (100) oriented substrates via indium-assisted metal exchange catalyzed molecular beam epitaxy (MEXCAT-MBE) which have exhibited prohibitively low growth rates by non-catalyzed MBE in the past. We demonstrate that the proper tuning of the MEXCAT growth parameters and the choice of a proper substrate offcut allow for the deposition of thin films with high structural quality via step-flow growth mechanism at relatively high growth rates for $\beta$-Ga2O3 homoepitaxy (i.e., around 1.5 nm/min, $\approx$45% incorporation of the incoming Ga flux), making MBE growth on this orientation feasible. Moreover, through the employment of the investigated four different (100) substrate offcuts along the [00-1] direction (i.e., 0$^\circ$, 2$^\circ$, 4$^\circ$, 6$^\circ$) we give experimental evidence on the fundamental role of the (-201) step edges as nucleation sites for growth of (100)-oriented Ga2O3 films by MBE.


title: SESQA: semi-supervised learning for speech quality assessment

abstract: Automatic speech quality assessment is an important, transversal task whose progress is hampered by the scarcity of human annotations, poor generalization to unseen recording conditions, and a lack of flexibility of existing approaches. In this work, we tackle these problems with a semi-supervised learning approach, combining available annotations with programmatically generated data, and using 3 different optimization criteria together with 5 complementary auxiliary tasks. Our results show that such a semi-supervised approach can cut the error of existing methods by more than 36%, while providing additional benefits in terms of reusable features or auxiliary outputs. Improvement is further corroborated with an out-of-sample test showing promising generalization capabilities.


title: On homology of Lie algebras over commutative rings

abstract: We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections between them. In particular, we show that they are naturally isomorphic in the case of a Lie algebra which is flat as a module. As an auxiliary result we prove that the Koszul complex of a module $M$ over a principal ideal domain that connects the exterior and the symmetric powers $0\to \Lambda^n M\to M \otimes \Lambda^{n-1} M \to \dots \to S^{n-1}M \otimes M \to S^nM\to 0 $ is purely acyclic.


title: Strategy for Boosting Pair Comparison and Improving Quality Assessment Accuracy

abstract: The development of rigorous quality assessment model relies on the collection of reliable subjective data, where the perceived quality of visual multimedia is rated by the human observers. Different subjective assessment protocols can be used according to the objectives, which determine the discriminability and accuracy of the subjective data. Single stimulus methodology, e.g., the Absolute Category Rating (ACR) has been widely adopted due to its simplicity and efficiency. However, Pair Comparison (PC) is of significant advantage over ACR in terms of discriminability. In addition, PC avoids the influence of observers' bias regarding their understanding of the quality scale. Nevertheless, full pair comparison is much more time-consuming. In this study, we therefore 1) employ a generic model to bridge the pair comparison data and ACR data, where the variance term could be recovered and the obtained information is more complete; 2) propose a fusion strategy to boost pair comparisons by utilizing the ACR results as initialization information; 3) develop a novel active batch sampling strategy based on Minimum Spanning Tree (MST) for PC. In such a way, the proposed methodology could achieve the same accuracy of pair comparison but with the compelxity as low as ACR. Extensive experimental results demonstrate the efficiency and accuracy of the proposed approach, which outperforms the state of the art approaches.


title: LUM\'AWIG: An Efficient Algorithm for Dimension Zero Bottleneck Distance Computation in Topological Data Analysis

abstract: Stability of persistence diagrams under slight perturbations is a key characteristic behind the validity and growing popularity of topological data analysis in exploring real-world data. Central to this stability is the use of Bottleneck distance which entails matching points between diagrams. Use of this metric in practical studies has, however, been few and sparingly because of the computational obstruction, especially in dimension zero where the computational cost explodes with the growth of data size. We present LUM\'AWIG, a novel efficient algorithm to compute dimension zero bottleneck distance between two persistent diagrams which runs significantly faster and provides significantly sharper approximates with respect to the output of the original algorithm than any other available algorithm. We bypass the overwhelming matching problem in previous implementations of the bottleneck distance, and prove that the zero dimensional bottleneck distance can be recovered from a very small number of matching cases. We show that LUM\'AWIG generally enjoys linear complexity as shown by empirical tests. We also present an application that leverages dimension zero persistence diagrams and the bottleneck distance to produce features for classification tasks.


title: Citation Sentiment Changes Analysis

abstract: Metrics for measuring the citation sentiment changes were introduced. Citation sentiment changes can be observed from global citation sentiment sequences (GCSSs). With respect to a cited paper, the citation sentiment sequences were analysed across a collection of citing papers ordered by the published time. For analysing GCSSs, Eddy Dissipation Rate (EDR) was adopted, with the hypothesis that the GCSSs pattern differences can be spotted by EDR based method. Preliminary evidence showed that EDR based method holds the potential for analysing a publication's impact in a time series fashion.


title: Task Agnostic Continual Learning Using Online Variational Bayes with Fixed-Point Updates

abstract: Background: Catastrophic forgetting is the notorious vulnerability of neural networks to the changes in the data distribution during learning. This phenomenon has long been considered a major obstacle for using learning agents in realistic continual learning settings. A large body of continual learning research assumes that task boundaries are known during training. However, only a few works consider scenarios in which task boundaries are unknown or not well defined -- task agnostic scenarios. The optimal Bayesian solution for this requires an intractable online Bayes update to the weights posterior. Contributions: We aim to approximate the online Bayes update as accurately as possible. To do so, we derive novel fixed-point equations for the online variational Bayes optimization problem, for multivariate Gaussian parametric distributions. By iterating the posterior through these fixed-point equations, we obtain an algorithm (FOO-VB) for continual learning which can handle non-stationary data distribution using a fixed architecture and without using external memory (i.e. without access to previous data). We demonstrate that our method (FOO-VB) outperforms existing methods in task agnostic scenarios. FOO-VB Pytorch implementation will be available online.


title: Tied Links in various topological settings

abstract: Tied links in $S^3$ were introduced by Aicardi and Juyumaya as standard links in $S^3$ equipped with some non-embedded arcs, called {\it ties}, joining some components of the link. Tied links in the Solid Torus were then naturally generalized by Flores. In this paper we study this new class of links in other topological settings. More precisely, we study tied links in the lens spaces $L(p,1)$, in handlebodies of genus $g$, and in the complement of the $g$-component unlink. We introduce the tied braid groups $TB_{g, n}$ by combining the algebraic mixed braid groups defined by Lambropoulou and the tied braid monoid, and we state and prove Alexander's and Markov's theorems for tied links in the 3-manifolds mentioned above. Finally, we emphasize on further steps needed in order to study tied links in knot complements and c.c.o. 3-manifolds, which is the subject of a sequel paper.


title: Phase-field Fracture Modelling of Thin Monolithic and Laminated Glass Plates under Quasi-static Bending

abstract: A phase-field description of brittle fracture is employed in the reported four-point bending analyses of monolithic and laminated glass plates. Our aims are: (i) to compare different phase-field fracture formulations applied to thin glass plates, (ii) to assess the consequences of the dimensional reduction of the problem and mesh density and refinement, and (iii) to validate for quasi-static loading the time/temperature-dependent material properties we derived recently for two commonly used polymer foils made of Polyvinyl Butyral or Ethylene-Vinyl Acetate. As the nonlinear response prior to fracture, typical of the widely used Bourdin-Francfort-Marigo model, can lead to a significant overestimation of the response of thin plates under bending, the numerical study investigates two additional phase-field fracture models providing the linear elastic phase of the stress-strain diagram. The typical values of the critical fracture energy and tensile strength of glass lead to a phase-field length-scale parameter that is challenging to resolve in the numerical simulations. So, we show how to determine the fracture energy concerning the applied dimensional reduction and the value of the length-scale parameter relative to the thickness of the plate. The comparison shows that the phase-field models provide very good agreement with the measured stresses and resistance of laminated glass, despite the fact that only one/two cracks localised using the quasi-static analysis, whereas multiple cracks evolved during the experiment. It has also been observed that the stiffness and resistance of the partially fractured laminated glass can be well approximated using a 2D plane-stress model with initially predefined cracks, which provides a better estimation than the one-glass-layer limit.}


title: The Bernstein technique for integro-differential equations

abstract: We extend the classical Bernstein technique to the setting of integro-differential operators. As a consequence, we provide first and one-sided second derivative estimates for solutions to fractional equations, including some convex fully nonlinear equations of order smaller than two -- for which we prove uniform estimates as their order approaches two. Our method is robust enough to be applied to some Pucci-type extremal equations and to obstacle problems for fractional operators, although several of the results are new even in the linear case. We also raise some intriguing open questions, one of them concerning the "pure" linear fractional Laplacian, another one being the validity of one-sided second derivative estimates for Pucci-type convex equations associated to linear operators with general kernels.


title: Real Classical Geometry with arbitrary deficit parameter(s) $\alpha(_{I})$ in Deformed Jackiw-Teitelboim Gravity

abstract: An interesting deformation of the Jackiw-Teitelboim (JT) gravity has been proposed by Witten by adding a potential term $U(\phi)$ as a self-coupling of the scalar dilaton field. During calculating the path integral over fields, a constraint comes from integration over $\phi$ as $R(x)+2=2\alpha \delta(\vec{x}-\vec{x}')$. The resulting Euclidean metric suffered from a conical singularity at $\vec{x}=\vec{x}'$. A possible geometry modeled locally in polar coordinates $(r,\varphi)$ by $ds^2=dr^2+r^2d\varphi^2,\varphi \cong \varphi+2\pi-\alpha$. In this letter we showed that there exists another family of "exact" geometries for arbitrary values of the $\alpha$. A pair of exact solutions are found for the case of $\alpha=0$. One represents the static patch of the AdS and the other one is the non static patch of the AdS metric. These solutions were used to construct the Green function for the inhomogeneous model with $\alpha\neq 0$. We address a type of the phase transition between different patches of the AdS in theory because of the discontinuity in the first derivative of the metric at $x=x'$. We extended the study to the exact space of metrics satisfying the constraint $R(x)+2=2\sum_{i=1}^{k}\alpha_i\delta^{(2)}(x-x'_i)$ as a modulo diffeomorphisms for an arbitrary set of the deficit parameters $(\alpha_1,\alpha_2,..,\alpha_k)$. The space is the moduli space of Riemann surfaces of genus $g$ with $k$ conical singularities located at $x'_k$ denoted by $\mathcal{M}_{g,k}$.


title: GraphXCOVID: Explainable Deep Graph Diffusion Pseudo-Labelling for Identifying COVID-19 on Chest X-rays

abstract: Can one learn to diagnose COVID-19 under extreme minimal supervision? Since the outbreak of the novel COVID-19 there has been a rush for developing Artificial Intelligence techniques for expert-level disease identification on Chest X-ray data. In particular, the use of deep supervised learning has become the go-to paradigm. However, the performance of such models is heavily dependent on the availability of a large and representative labelled dataset. The creation of which is a heavily expensive and time consuming task, and especially imposes a great challenge for a novel disease. Semi-supervised learning has shown the ability to match the incredible performance of supervised models whilst requiring a small fraction of the labelled examples. This makes the semi-supervised paradigm an attractive option for identifying COVID-19. In this work, we introduce a graph based deep semi-supervised framework for classifying COVID-19 from chest X-rays. Our framework introduces an optimisation model for graph diffusion that reinforces the natural relation among the tiny labelled set and the vast unlabelled data. We then connect the diffusion prediction output as pseudo-labels that are used in an iterative scheme in a deep net. We demonstrate, through our experiments, that our model is able to outperform the current leading supervised model with a tiny fraction of the labelled examples. Finally, we provide attention maps to accommodate the radiologist's mental model, better fitting their perceptual and cognitive abilities. These visualisation aims to assist the radiologist in judging whether the diagnostic is correct or not, and in consequence to accelerate the decision.


title: Comparison of existing aneurysm models and their path forward

abstract: The two most important aneurysm types are cerebral aneurysms (CA) and abdominal aortic aneurysms (AAA), accounting together for over 80\% of all fatal aneurysm incidences. To minimise aneurysm related deaths, clinicians require various tools to accurately estimate its rupture risk. For both aneurysm types, the current state-of-the-art tools to evaluate rupture risk are identified and evaluated in terms of clinical applicability. We perform a comprehensive literature review, using the Web of Science database. Identified records (3127) are clustered by modelling approach and aneurysm location in a meta-analysis to quantify scientific relevance and to extract modelling patterns and further assessed according to PRISMA guidelines (179 full text screens). Beside general differences and similarities of CA and AAA, we identify and systematically evaluate four major modelling approaches on aneurysm rupture risk: finite element analysis and computational fluid dynamics as deterministic approaches and machine learning and assessment-tools and dimensionless parameters as stochastic approaches. The latter score highest in the evaluation for their potential as clinical applications for rupture prediction, due to readiness level and user friendliness. Deterministic approaches are less likely to be applied in a clinical environment because of their high model complexity. Because deterministic approaches consider underlying mechanism for aneurysm rupture, they have improved capability to account for unusual patient-specific characteristics, compared to stochastic approaches. We show that an increased interdisciplinary exchange between specialists can boost comprehension of this disease to design tools for a clinical environment. By combining deterministic and stochastic models, advantages of both approaches can improve accessibility for clinicians and prediction quality for rupture risk.