title: Dynamic-Deep: Tune ECG Task Performance and Optimize Compression in IoT Architectures

abstract: Monitoring medical data, e.g., Electrocardiogram (ECG) signals, is a common application of Internet of Things (IoT) devices. Compression methods are often applied on the massive amounts of sensor data generated prior to sending it to the Cloud to reduce the storage and delivery costs. A lossy compression provides high compression gain (CG), but may reduce the performance of an ECG application (downstream task) due to information loss. Previous works on ECG monitoring focus either on optimizing the signal reconstruction or the task's performance. Instead, we advocate a self-adapting lossy compression solution that enables configuring a desired performance level on the downstream tasks while maintaining an optimized CG that reduces Cloud costs. We propose Dynamic-Deep, a task-aware compression geared for IoT-Cloud architectures. Our compressor is trained to optimize the CG while maintaining the performance requirement of the downstream tasks chosen out of a wide range. In deployment, the IoT edge device adapts the compression and sends an optimized representation for each data segment, accounting for the downstream task's desired performance without relying on feedback from the Cloud. We conduct an extensive evaluation of our approach on common ECG datasets using two popular ECG applications, which includes heart rate (HR) arrhythmia classification. We demonstrate that Dynamic-Deep can be configured to improve HR classification F1-score in a wide range of requirements. One of which is tuned to improve the F1-score by 3 and increases CG by up to 83% compared to the previous state-of-the-art (autoencoder-based) compressor. Analyzing Dynamic-Deep on the Google Cloud Platform, we observe a 97% reduction in cloud costs compared to a no compression solution.


title: Retraction maps: a seed of geometric integrators

abstract: The classical notion of retraction map used to approximate geodesics is extended and rigorously defined to become a powerful tool to construct geometric integrators and it is called discretization map. Using the geometry of the tangent and cotangent bundles, we are able to tangently and cotangent lift such a map so that these lifts inherit the same properties as the original one and they continue to be discretization maps. In particular, the cotangent lift of a discretization map is a natural symplectomorphism, what plays a key role for constructing geometric integrators and symplectic methods. As a result, a wide range of (higer-order) numerical methods are recovered and canonically constructed by using different discretization maps, as well as some operations with Lagrangian submanifolds.


title: Choroidal vasculature imaging with laser Doppler holography

abstract: The choroid is a highly vascularized tissues supplying the retinal pigment epithelium and photoreceptors. Its implication in retinal diseases is gaining increasing interest. However, investigating the anatomy and flow of the choroid remains challenging. Here we show that laser Doppler holography provides high contrast imaging of choroidal vessels in humans, with a spatial resolution comparable to state of the art indocyanine green angiography and optical coherence tomography. Additionally, laser Doppler holography contributes to sort out choroidal arteries and veins by using a power Doppler spectral analysis. We thus demonstrate the potential of laser Doppler holography to improve our understanding of the anatomy and flow of the choroidal vascular network.


title: Robust Mutual Learning for Semi-supervised Semantic Segmentation

abstract: Recent semi-supervised learning (SSL) methods are commonly based on pseudo labeling. Since the SSL performance is greatly influenced by the quality of pseudo labels, mutual learning has been proposed to effectively suppress the noises in the pseudo supervision. In this work, we propose robust mutual learning that improves the prior approach in two aspects. First, the vanilla mutual learners suffer from the coupling issue that models may converge to learn homogeneous knowledge. We resolve this issue by introducing mean teachers to generate mutual supervisions so that there is no direct interaction between the two students. We also show that strong data augmentations, model noises and heterogeneous network architectures are essential to alleviate the model coupling. Second, we notice that mutual learning fails to leverage the network's own ability for pseudo label refinement. Therefore, we introduce self-rectification that leverages the internal knowledge and explicitly rectifies the pseudo labels before the mutual teaching. Such self-rectification and mutual teaching collaboratively improve the pseudo label accuracy throughout the learning. The proposed robust mutual learning demonstrates state-of-the-art performance on semantic segmentation in low-data regime.


title: Deep Learning for Depression Recognition with Audiovisual Cues: A Review

abstract: With the acceleration of the pace of work and life, people have to face more and more pressure, which increases the possibility of suffering from depression. However, many patients may fail to get a timely diagnosis due to the serious imbalance in the doctor-patient ratio in the world. Promisingly, physiological and psychological studies have indicated some differences in speech and facial expression between patients with depression and healthy individuals. Consequently, to improve current medical care, many scholars have used deep learning to extract a representation of depression cues in audio and video for automatic depression detection. To sort out and summarize these works, this review introduces the databases and describes objective markers for automatic depression estimation (ADE). Furthermore, we review the deep learning methods for automatic depression detection to extract the representation of depression from audio and video. Finally, this paper discusses challenges and promising directions related to automatic diagnosing of depression using deep learning technologies.


title: Deep Learning for EEG Seizure Detection in Preterm Infants

abstract: EEG is the gold standard for seizure detection in the newborn infant, but EEG interpretation in the preterm group is particularly challenging; trained experts are scarce and the task of interpreting EEG in real-time is arduous. Preterm infants are reported to have a higher incidence of seizures compared to term infants. Preterm EEG morphology differs from that of term infants, which implies that seizure detection algorithms trained on term EEG may not be appropriate. The task of developing preterm specific algorithms becomes extra-challenging given the limited amount of annotated preterm EEG data available. This paper explores novel deep learning (DL) architectures for the task of neonatal seizure detection in preterm infants. The study tests and compares several approaches to address the problem: training on data from full-term infants; training on data from preterm infants; training on age-specific preterm data and transfer learning. The system performance is assessed on a large database of continuous EEG recordings of 575h in duration. It is shown that the accuracy of a validated term-trained EEG seizure detection algorithm, based on a support vector machine classifier, when tested on preterm infants falls well short of the performance achieved for full-term infants. An AUC of 88.3% was obtained when tested on preterm EEG as compared to 96.6% obtained when tested on term EEG. When re-trained on preterm EEG, the performance marginally increases to 89.7%. An alternative DL approach shows a more stable trend when tested on the preterm cohort, starting with an AUC of 93.3% for the term-trained algorithm and reaching 95.0% by transfer learning from the term model using available preterm data.


title: Weak target detection with multi-bit quantization in colocated MIMO radar

abstract: We consider the weak target detection problem with unknown parameter in colocated multiple-input multiple-output (MIMO) radar. To cope with the sheer amount of data for large-size systems, a multi-bit quantizer is utilized in the sampling process. As a low-complexity alternative to classic generalized likelihood ratio test (GLRT) for quantized data, we propose the multi-bit detector on Rao test with a closed-form test statistic, whose theoretical asymptotic distribution is provided to generalize the actual detection performance. Besides, we refine the design of quantizer by optimized quantization thresholds, which are obtained resorting to the popular particle swarm optimization algorithmthe (PSOA). The simulation is conducted to demonstrate the performance variations of detectors based on unquantized and quantized data. The numerical results corroborate our theoretical analyses and show that the performance with 3-bit quantization approaches the case without quantization.


title: A Compact and Interpretable Convolutional Neural Network for Cross-Subject Driver Drowsiness Detection from Single-Channel EEG

abstract: Driver drowsiness is one of main factors leading to road fatalities and hazards in the transportation industry. Electroencephalography (EEG) has been considered as one of the best physiological signals to detect drivers drowsy states, since it directly measures neurophysiological activities in the brain. However, designing a calibration-free system for driver drowsiness detection with EEG is still a challenging task, as EEG suffers from serious mental and physical drifts across different subjects. In this paper, we propose a compact and interpretable Convolutional Neural Network (CNN) to discover shared EEG features across different subjects for driver drowsiness detection. We incorporate the Global Average Pooling (GAP) layer in the model structure, allowing the Class Activation Map (CAM) method to be used for localizing regions of the input signal that contribute most for classification. Results show that the proposed model can achieve an average accuracy of 73.22% on 11 subjects for 2-class cross-subject EEG signal classification, which is higher than conventional machine learning methods and other state-of-art deep learning methods. It is revealed by the visualization technique that the model has learned biologically explainable features, e.g., Alpha spindles and Theta burst, as evidence for the drowsy state. It is also interesting to see that the model uses artifacts that usually dominate the wakeful EEG, e.g., muscle artifacts and sensor drifts, to recognize the alert state. The proposed model illustrates a potential direction to use CNN models as a powerful tool to discover shared features related to different mental states across different subjects from EEG signals.


title: Pattern Discovery in Time Series with Byte Pair Encoding

abstract: The growing popularity of wearable sensors has generated large quantities of temporal physiological and activity data. Ability to analyze this data offers new opportunities for real-time health monitoring and forecasting. However, temporal physiological data presents many analytic challenges: the data is noisy, contains many missing values, and each series has a different length. Most methods proposed for time series analysis and classification do not handle datasets with these characteristics nor do they offer interpretability and explainability, a critical requirement in the health domain. We propose an unsupervised method for learning representations of time series based on common patterns identified within them. The patterns are, interpretable, variable in length, and extracted using Byte Pair Encoding compression technique. In this way the method can capture both long-term and short-term dependencies present in the data. We show that this method applies to both univariate and multivariate time series and beats state-of-the-art approaches on a real world dataset collected from wearable sensors.


title: Meta-HAR: Federated Representation Learning for Human Activity Recognition

abstract: Human activity recognition (HAR) based on mobile sensors plays an important role in ubiquitous computing. However, the rise of data regulatory constraints precludes collecting private and labeled signal data from personal devices at scale. Federated learning has emerged as a decentralized alternative solution to model training, which iteratively aggregates locally updated models into a shared global model, therefore being able to leverage decentralized, private data without central collection. However, the effectiveness of federated learning for HAR is affected by the fact that each user has different activity types and even a different signal distribution for the same activity type. Furthermore, it is uncertain if a single global model trained can generalize well to individual users or new users with heterogeneous data. In this paper, we propose Meta-HAR, a federated representation learning framework, in which a signal embedding network is meta-learned in a federated manner, while the learned signal representations are further fed into a personalized classification network at each user for activity prediction. In order to boost the representation ability of the embedding network, we treat the HAR problem at each user as a different task and train the shared embedding network through a Model-Agnostic Meta-learning framework, such that the embedding network can generalize to any individual user. Personalization is further achieved on top of the robustly learned representations in an adaptation procedure. We conducted extensive experiments based on two publicly available HAR datasets as well as a newly created HAR dataset. Results verify that Meta-HAR is effective at maintaining high test accuracies for individual users, including new users, and significantly outperforms several baselines, including Federated Averaging, Reptile and even centralized learning in certain cases.


title: Halfspace depth for general measures: The ray basis theorem and its consequences

abstract: The halfspace depth is a prominent tool of nonparametric multivariate analysis. The upper level sets of the depth, termed the trimmed regions of a measure, serve as a natural generalization of the quantiles and inter-quantile regions to higher-dimensional spaces. The smallest non-empty trimmed region, coined the halfspace median of a measure, generalizes the median. We focus on the (inverse) ray basis theorem for the halfspace depth, a crucial theoretical result that characterizes the halfspace median by a covering property. First, a novel elementary proof of that statement is provided, under minimal assumptions on the underlying measure. The proof applies not only to the median, but also to other trimmed regions. Motivated by the technical development of the amended ray basis theorem, we specify connections between the trimmed regions, floating bodies, and additional equi-affine convex sets related to the depth. As a consequence, minimal conditions for the strict monotonicity of the depth are obtained. Applications to the computation of the depth and robust estimation are outlined.


title: Colonel Blotto Games with Favoritism: Competitions with Pre-allocations and Asymmetric Effectiveness

abstract: We introduce the Colonel Blotto game with favoritism, an extension of the famous Colonel Blotto game where the winner-determination rule is generalized to include pre-allocations and asymmetry of the players' resources effectiveness on each battlefield. Such favoritism is found in many classical applications of the Colonel Blotto game. We focus on the Nash equilibrium. First, we consider the closely related model of all-pay auctions with favoritism and completely characterize its equilibrium. Based on this result, we prove the existence of a set of optimal univariate distributions -- which serve as candidate marginals for an equilibrium -- of the Colonel Blotto game with favoritism and show an explicit construction thereof. In several particular cases, this directly leads to an equilibrium of the Colonel Blotto game with favoritism. In other cases, we use these optimal univariate distributions to derive an approximate equilibrium with well-controlled approximation error. Finally, we propose an algorithm -- based on the notion of winding number in parametric curves -- to efficiently compute an approximation of the proposed optimal univariate distributions with arbitrarily small error.


title: Large strongly anti-Urysohn spaces exist

abstract: As defined in [1], a Hausdorff space is strongly anti-Urysohn (in short: SAU) if it has at least two non-isolated points and any two infinite} closed subsets of it intersect. Our main result answers the two main questions of [1] by providing a ZFC construction of a locally countable SAU space of cardinality $2^{\mathfrak{c}}$. The construction hinges on the existence of $2^{\mathfrak{c}}$ weak P-points in $\omega^*$, a very deep result of Ken Kunen. It remains open if SAU spaces of cardinality $> 2^{\mathfrak{c}}$ could exist, while it was shown in [1] that $2^{2^{\mathfrak{c}}}$ is an upper bound. Also, we do not know if crowded SAU spaces, i.e. ones without any isolated points, exist in ZFC but we obtained the following consistency results concerning such spaces. (1) It is consistent that $\mathfrak{c}$ is as large as you wish and there is a locally countable and crowded SAU space of cardinality $\mathfrak{c}^+$. (2) It is consistent that both $\mathfrak{c}$ and $2^\mathfrak{c}$ are as large as you wish and there is a crowded SAU space of cardinality $2^\mathfrak{c}$. (3) For any uncountable cardinal ${\kappa}$ the following statements are equivalent: (i) ${\kappa}=cof({[{\kappa}]}^{{\omega}},\subseteq)$. (ii) There is a locally countable and crowded SAU space of size ${\kappa}$ in the generic extension obtained by adding $\kappa$ Cohen reals. (iii) There is a locally countable and countably compact $T_1$-space of size ${\kappa}$ in some CCC generic extension. [1] I. Juhasz, L. Soukup, and Z. Szentmiklossy, Anti-Urysohn spaces, Top. Appl., 213 (2016), pp. 8--23.


title: CoRank: A clustering cum graph ranking approach for extractive summarization

abstract: Online information has increased tremendously in today's age of Internet. As a result, the need has arose to extract relevant content from the plethora of available information. Researchers are widely using automatic text summarization techniques for extracting useful and relevant information from voluminous available information, it also enables users to obtain valuable knowledge in a limited period of time with minimal effort. The summary obtained from the automatic text summarization often faces the issues of diversity and information coverage. Promising results are obtained for automatic text summarization by the introduction of new techniques based on graph ranking of sentences, clustering, and optimization. This research work proposes CoRank, a two-stage sentence selection model involving clustering and then ranking of sentences. The initial stage involves clustering of sentences using a novel clustering algorithm, and later selection of salient sentences using CoRank algorithm. The approach aims to cover two objectives: maximum coverage and diversity, which is achieved by the extraction of main topics and sub-topics from the original text. The performance of the CoRank is validated on DUC2001 and DUC 2002 data sets.


title: Waveguide coupled III-V photodiodes monolithically integrated on Si

abstract: The seamless integration of III-V nanostructures on silicon is a long-standing goal and an important step towards integrated optical links. In the present work, we demonstrate scaled and waveguide coupled III-V photodiodes monolithically integrated on Si, implemented as InP/In0.5Ga0.5As/InP p-i-n structure. The waveguide coupled devices show a dark current down to 0.048 A/cm2 at -1 V and a responsivity up to 0.2 A/W at -2 V. Using grating couplers centered around 1320 nm, we observed a cutoff frequency f3dB exceeding 70 GHz and data reception at 50 GBd with OOK and 4PAM. When operated in forward bias as light emitting diode, the devices emit light centered at 1550 nm. Furthermore, we also investigate the self-heating of the devices using scanning thermal microscopy and find a temperature increase of only ~15 K during the device operation as emitter, in accordance with thermal simulation results.


title: Triebel-Lizorkin spaces with general weights

abstract: In this paper, the author introduce Triebel-Lizorkin spaces with general smoothness. We present the $\varphi $-transform characterization of these spaces in the sense of Frazier and Jawerth and we prove their Sobolev embeddings. Also, we establish the smooth atomic and molecular decomposition of these function spaces. To do these we need a generalization of some maximal inequality to the case of general weights.


title: Polarization Enhanced Deep Optical Dipole Trapping of $\Lambda$-cooled Polar Molecules

abstract: We demonstrate loading of SrF molecules into an optical dipole trap (ODT) via in-trap $\Lambda$-cooling. We find that this cooling can be optimized by a proper choice of relative ODT and $\Lambda$ beam polarizations. In this optimized configuration, we observe molecules with temperatures as low as 14(1) $\mu$K in traps with depths up to 570 $\mu$K. With optimized parameters, we transfer $\!\sim\!5$% of molecules from our radio-frequency magneto-optical trap into the ODT, at a density of $\sim\!2\times 10^{9}$ cm$^{-3}$, a phase space density of $\sim\!2\times 10^{-7}$, and with a trap lifetime of $\!\sim\!1$ s.


title: A (2+\epsilon)-Approximation Algorithm for Maximum Independent Set of Rectangles

abstract: We study the Maximum Independent Set of Rectangles (MISR) problem, where we are given a set of axis-parallel rectangles in the plane and the goal is to select a subset of non-overlapping rectangles of maximum cardinality. In a recent breakthrough, Mitchell [2021] obtained the first constant-factor approximation algorithm for MISR. His algorithm achieves an approximation ratio of 10 and it is based on a dynamic program that intuitively recursively partitions the input plane into special polygons called corner-clipped rectangles (CCRs), without intersecting certain special horizontal line segments called fences. In this paper, we present a $(2+\epsilon)$-approximation algorithm for MISR which is also based on a recursive partitioning scheme. First, we use a partition into a class of axis-parallel polygons with constant complexity each that are more general than CCRs. This allows us to provide an arguably simpler analysis and at the same time already improves the approximation ratio to 6. Then, using a more elaborate charging scheme and a recursive partitioning into general axis-parallel polygons with constant complexity, we improve our approximation ratio to $2+\epsilon$. In particular, we construct a recursive partitioning based on more general fences which can be sequences of up to $O(1/\epsilon)$ line segments each. This partitioning routine and our other new ideas may be useful for future work towards a PTAS for MISR.


title: Spin Hall and inverse spin galvanic effects in graphene with strong interfacial spin-orbit coupling: a quasi-classical Green's function approach

abstract: van der Waals heterostructures assembled from atomically thin crystals are ideal model systems to study spin-orbital coupled transport because they exhibit a strong interplay between spin, lattice and valley degrees of freedom that can be manipulated by strain, electric bias and proximity effects. The recently predicted spin-helical regime in graphene on transition metal dichalcogenides, in which spin and pseudospin degrees of freedom are locked together [M. Offidani et al. Phys. Rev. Lett. 119, 196801 (2017)], suggests their potential application in spintronics. Here, by deriving an Eilenberger equation for the quasiclassical Green's function of two-dimensional Dirac fermions in the presence of} spin-orbit coupling\textcolor{black}{{} (SOC) and scalar disorder, we obtain analytical expressions for the dc spin galvanic susceptibility and spin Hall conductivity in the spin-helical regime. Our results disclose a sign change in the spin Hall angle (SHA) when the Fermi energy relative to the Dirac point matches the Bychkov-Rashba energy scale, irrespective of the magnitude of the spin-valley interaction imprinted on the graphene layer. The behavior of the SHA is connected to a reversal of the total internal angular momentum of Bloch electrons that reflects the spin-pseudospin entanglement induced by SOC. We also show that the charge-spin conversion reaches a maximum when the Fermi level lies at the edge of the spin-minority band in agreement with previous findings. Both features are fingerprints of spin-helical Dirac fermions and suggest a direct way to estimate the strength of proximity-induced SOC from transport data. The relevance of these findings for interpreting recent spin-charge conversion measurements in nonlocal spin-valve geometry is also discussed.


title: The moment-generating function of the log-normal distribution, how zero-entropy principle unveils an asymmetry under the reciprocal of an action

abstract: The present manuscript is about application of It{\^o}'s calculus to the moment-generating function of the lognormal distribution. While Taylor expansion fails when applied to the moments of the lognormal due to divergence, various methods based on saddle-point approximation conjointly employed with integration methods have been proposed. By the Jensen's inequality, the MGF of the lognormal involves some convexity adjustment, which is one of the aspects under consideration thereof. A method based on zero-entropy principle is proposed part of this study, which deviations from the benchmark by infinitesimal epsilons is attributed to an asymmetry of the reciprocal. As applied to systems carrying vibrating variables, the partial offset by the reciprocal of an action, is a principle meant to explain a variety of phenomena in fields such as quantum physics.


title: A nonlocal formulation for the problem of microwave heating of material with temperature dependent conductivity

abstract: Microwave electromagnetic heating are widely used in many industrial processes. The mathematics involved is based on the Maxwell's equations coupled with the heat equation. The thermal conductivity is strongly dependent on the temperature, itself an unknown of the system of P.D.E. We propose here a model which simplifies this coupling using a nonlocal term as the source of heating. We prove that the corresponding mathematical initial-boundary value problem has solutions using the Schauder's fixed point theorem.


title: The first eigenvalue of the Laplacian on orientable surfaces

abstract: The famous Yang-Yau inequality provides an upper bound for the first eigenvalue of the Laplacian on an orientable Riemannian surface solely in terms of its genus $\gamma$ and the area. Its proof relies on the existence of holomorhic maps to $\mathbb{CP}^1$ of low degree. Very recently, A.~Ros was able to use certain holomorphic maps to $\mathbb{CP}^2$ in order to give a quantitative improvement of the Yang-Yau inequality for $\gamma=3$. In the present paper, we generalize Ros' argument to make use of holomorphic maps to $\mathbb{CP}^n$ for any $n>0$. As an application, we obtain a quantitative improvement of the Yang-Yau inequality for all genera $\gamma>3$ except for $\gamma = 4,6,8,10,14$.


title: Detection of preventable fetal distress during labor from scanned cardiotocogram tracings using deep learning

abstract: Despite broad application during labor and delivery, there remains considerable debate about the value of electronic fetal monitoring (EFM). EFM includes the surveillance of the fetal heart rate (FHR) patterns in conjunction with the maternal uterine contractions providing a wealth of data about fetal behavior and the threat of diminished oxygenation and perfusion. Adverse outcomes universally associate a fetal injury with the failure to timely respond to FHR pattern information. Historically, the EFM data, stored digitally, are available only as rasterized pdf images for contemporary or historical discussion and examination. In reality, however, they are rarely reviewed systematically. Using a unique archive of EFM collected over 50 years of practice in conjunction with adverse outcomes, we present a deep learning framework for training and detection of incipient or past fetal injury. We report 94% accuracy in identifying early, preventable fetal injury intrapartum. This framework is suited for automating an early warning and decision support system for maintaining fetal well-being during the stresses of labor. Ultimately, such a system could enable a physician to timely respond during labor and prevent adverse outcomes. When adverse outcomes cannot be avoided, they can provide guidance to the early neuroprotective treatment of the newborn.


title: Decoupling Shape and Density for Liver Lesion Synthesis Using Conditional Generative Adversarial Networks

abstract: Lesion synthesis received much attention with the rise of efficient generative models for augmenting training data, drawing lesion evolution scenarios, or aiding expert training. The quality and diversity of synthesized data are highly dependent on the annotated data used to train the models, which not rarely struggle to derive very different yet realistic samples from the training ones. That adds an inherent bias to lesion segmentation algorithms and limits synthesizing lesion evolution scenarios efficiently. This paper presents a method for decoupling shape and density for liver lesion synthesis, creating a framework that allows straight-forwardly driving the synthesis. We offer qualitative results that show the synthesis control by modifying shape and density individually, and quantitative results that demonstrate that embedding the density information in the generator model helps to increase lesion segmentation performance compared to using the shape solely.


title: Simulating flood event sets using extremal principal components

abstract: Hazard event sets, a collection of synthetic extreme events over a given period, are important for catastrophe modelling. This paper addresses the issue of generating event sets of extreme river flow for northern England and southern Scotland, a region which has been particularly affected by severe flooding over the past 20 years. We start by analysing historical extreme river flow across 45 gauges, located within the study region, using methods from extreme value analysis, including the concept of extremal principal components. Our analysis reveals interesting connections between the extremal dependence structure and the region's topography/climate. We then introduce a framework which is based on modelling the distribution of the extremal principal components in order to generate synthetic events of extreme river flow. The generative framework is dimension-reducing in that it distinctly handles the principal components based on their contribution to describing the nature of extreme river flow across the study region. We also detail a data-driven approach to select the optimal dimension. Synthetic flood events are subsequently generated efficiently by sampling from the fitted distribution. Our approach for generating hazard event sets can be easily implemented by practitioners and our results indicate good agreement between the observed and simulated extreme river flow dynamics. For the considered application, we also find that our approach outperforms existing statistical approaches for generating hazard event sets.


title: Settled elements in profinite groups

abstract: Given a polynomial of degree d over a number field, the image of the associated arboreal representation of the absolute Galois group of the field is a profinite group acting on the d-ary tree. Boston and Jones conjectured that for a quadratic polynomial, the image of such a representation contains a dense set of settled elements. Here an element is settled if it exhibits a certain pattern of growth of cycles at finite levels of the tree. In this paper, we prove the conjecture of Boston and Jones generically in the case when the quadratic polynomial has a strictly pre-periodic post-critical orbit of length 2, and provide new evidence that the conjecture holds for quadratic polynomials with strictly pre-periodic post-critical orbits of length at least 3. To prove our results, we introduce a new dynamical method, which uses the notions of a maximal torus and its Weyl group. These notions are analogous to the notions of maximal tori and Weyl groups in the theory of compact Lie groups, where they are fundamental. For profinite groups, maximal tori and Weyl groups contain the information about settled elements, and this is the foundation of our method.


title: Transport properties of the parent LaNiO2

abstract: Here we study the transport properties of a nickelate compound, namely LaNiO2 using density functional theory (DFT) in conjunction with dynamical mean field theory (DMFT). An interacting multi-orbital spin-resolved scenario for LaNiO2 yields a metallic ground state with ferromagnetic correlations. The latter contrasts an antiferromagnetic order reported earlier. The metallic behaviour persists even at large values of the interaction energies. Further support of the metallic state is provided by the angular resolved photoemission spectroscopy (ARPES) data.


title: A fast Primal-Dual-Active-Jump method for minimization in $\operatorname{BV}((0,T);\mathbb{R}^d)$

abstract: We analyze a solution method for minimization problems over a space of $\mathbb{R}^d$-valued functions of bounded variation on an interval $I$. The presented method relies on piecewise constant iterates. In each iteration the algorithm alternates between proposing a new point at which the iterate is allowed to be discontinuous and optimizing the magnitude of its jumps as well as the offset. A sublinear $\mathcal{O}(1/k)$ convergence rate for the objective function values is obtained in general settings. Under additional structural assumptions on the dual variable this can be improved to a locally linear rate of convergence $\mathcal{O}(\zeta^k)$ for some $\zeta <1$. Moreover, in this case, the same rate can be expected for the iterates in $L^1(I;\mathbb{R}^d)$.


title: Waveform analysis of human retinal and choroidal blood flow with laser Doppler holography

abstract: Laser Doppler holography was introduced as a full-field imaging technique to measure blood flow in the retina and choroid with an as yet unrivaled temporal resolution. We here investigate separating the different contributions to the power Doppler signal in order to isolate the flow waveforms of vessels in the posterior pole of the human eye. Distinct flow behaviors are found in retinal arteries and veins with seemingly interrelated waveforms. We demonstrate a full field mapping of the local resistivity index, and the possibility to perform unambiguous identification of retinal arteries and veins on the basis of their systolodiastolic variations. Finally we investigate the arterial flow waveforms in the retina and choroid and find synchronous and similar waveforms, although with a lower pulsatility in choroidal vessels. This work demonstrates the potential held by laser Doppler holography to study ocular hemodynamics in healthy and diseased eyes.


title: Cumulene carbenes in TMC-1: Astronomical discovery of $l$-H$_2$C$_5$

abstract: We report the first detection in space of the cumulene carbon chain $l$-H$_2$C$_5$. A total of eleven rotational transitions, with $J_{up}$ = 7-10 and $K_a$ = 0 and 1, were detected in TMC-1 in the 31.0-50.4 GHz range using the Yebes 40m radio telescope. We derive a column density of (1.8$\pm$0.5)$\times$10$^{10}$ cm$^{-2}$. In addition, we report observations of other cumulene carbenes detected previously in TMC-1, to compare their abundances with the newly detected cumulene carbene chain. We find that $l$-H$_2$C$_5$ is $\sim$4.0 times less abundant than the larger cumulene carbene $l$-H$_2$C$_6$, while it is $\sim$300 and $\sim$500 times less abundant than the shorter chains $l$-H$_2$C$_3$ and $l$-H$_2$C$_4$. We discuss the most likely gas-phase chemical routes to these cumulenes in TMC-1 and stress that chemical kinetics studies able to distinguish between different isomers are needed to shed light on the chemistry of C$_n$H$_2$ isomers with $n$\,$>$\,3.


title: Interpolating d-tuples of Matrices

abstract: We study interpolating sequences of $d$-tuples of matrices, by looking at the commuting and the non-commuting case separately. In both cases, we will give a characterization of such sequences in terms of separation conditions on suitable reproducing kernel Hilbert spaces, and we will give sufficient conditions stated in terms of separation via analytic functions. Examples of such interpolating sequences will also be given


title: A Blueprint for the Study of the Brain's Spatiotemporal Patterns

abstract: The functioning of an organ such as the brain emerges from interactions between its constituent parts. Further, this interaction is not immutable in time but rather unfolds in a succession of patterns, thereby allowing the brain to adapt to constantly changing exterior and interior milieus. This calls for a framework able to study patterned spatiotemporal interactions between components of the brain. A theoretical and methodological framework is developed to study the brain's coordination dynamics. Here we present a toolset designed to decipher the continuous dynamics of electrophysiological data and its relation to (dys-) function. Understanding the spatiotemporal organization of brain patterns and their association with behavioral, cognitive and clinically-relevant variables is an important challenge for the fields of neuroscience and biologically-inspired engineering. It is hoped that such a comprehensive framework will shed light not only on human behavior and the human mind but also help in understanding the growing number of pathologies that are linked to disorders of brain connectivity.


title: Quantifying Predictive Uncertainty in Medical Image Analysis with Deep Kernel Learning

abstract: Deep neural networks are increasingly being used for the analysis of medical images. However, most works neglect the uncertainty in the model's prediction. We propose an uncertainty-aware deep kernel learning model which permits the estimation of the uncertainty in the prediction by a pipeline of a Convolutional Neural Network and a sparse Gaussian Process. Furthermore, we adapt different pre-training methods to investigate their impacts on the proposed model. We apply our approach to Bone Age Prediction and Lesion Localization. In most cases, the proposed model shows better performance compared to common architectures. More importantly, our model expresses systematically higher confidence in more accurate predictions and less confidence in less accurate ones. Our model can also be used to detect challenging and controversial test samples. Compared to related methods such as Monte-Carlo Dropout, our approach derives the uncertainty information in a purely analytical fashion and is thus computationally more efficient.


title: Multi-modal Point-of-Care Diagnostics for COVID-19 Based On Acoustics and Symptoms

abstract: The research direction of identifying acoustic bio-markers of respiratory diseases has received renewed interest following the onset of COVID-19 pandemic. In this paper, we design an approach to COVID-19 diagnostic using crowd-sourced multi-modal data. The data resource, consisting of acoustic signals like cough, breathing, and speech signals, along with the data of symptoms, are recorded using a web-application over a period of ten months. We investigate the use of statistical descriptors of simple time-frequency features for acoustic signals and binary features for the presence of symptoms. Unlike previous works, we primarily focus on the application of simple linear classifiers like logistic regression and support vector machines for acoustic data while decision tree models are employed on the symptoms data. We show that a multi-modal integration of acoustics and symptoms classifiers achieves an area-under-curve (AUC) of 92.40, a significant improvement over any individual modality. Several ablation experiments are also provided which highlight the acoustic and symptom dimensions that are important for the task of COVID-19 diagnostics.


title: Correlations and commuting transfer matrices in integrable unitary circuits

abstract: We consider a unitary circuit where the underlying gates are chosen to be R-matrices satisfying the Yang-Baxter equation and correlation functions can be expressed through a transfer matrix formalism. These transfer matrices are no longer Hermitian and differ from the ones guaranteeing local conservation laws, but remain mutually commuting at different values of the spectral parameter defining the circuit. Exact eigenstates can still be constructed as a Bethe ansatz, but while these transfer matrices are diagonalizable in the inhomogeneous case, the homogeneous limit corresponds to an exceptional point where multiple eigenstates coalesce and Jordan blocks appear. Remarkably, the complete set of (generalized) eigenstates is only obtained when taking into account a combinatorial number of nontrivial vacuum states. In all cases, the Bethe equations reduce to those of the integrable spin-1 chain and exhibit a global SU(2) symmetry, significantly reducing the total number of eigenstates required in the calculation of correlation functions. A similar construction is shown to hold for the calculation of out-of-time-order correlations.

categories: quant-ph cond-mat.stat-mech math-ph math.MP nlin.SI


title: SpanNER: Named Entity Re-/Recognition as Span Prediction

abstract: Recent years have seen the paradigm shift of Named Entity Recognition (NER) systems from sequence labeling to span prediction. Despite its preliminary effectiveness, the span prediction model's architectural bias has not been fully understood. In this paper, we first investigate the strengths and weaknesses when the span prediction model is used for named entity recognition compared with the sequence labeling framework and how to further improve it, which motivates us to make complementary advantages of systems based on different paradigms. We then reveal that span prediction, simultaneously, can serve as a system combiner to re-recognize named entities from different systems' outputs. We experimentally implement 154 systems on 11 datasets, covering three languages, comprehensive results show the effectiveness of span prediction models that both serve as base NER systems and system combiners. We make all code and datasets available: \url{https://github.com/neulab/spanner}, as well as an online system demo: \url{http://spanner.sh}. Our model also has been deployed into the ExplainaBoard platform, which allows users to flexibly perform a system combination of top-scoring systems in an interactive way: \url{http://explainaboard.nlpedia.ai/leaderboard/task-ner/}.


title: Effect of symmetry defect on the edge resonance of semi-infinite FGM plates

abstract: The effect of asymmetric functionally graded material on the edge resonance and the Fano resonance in semi-infinite FGM plates are reported in this work. The edge resonance is weakened by the material perturbation and the complete mode conversion is illustrated with incident $S_0$ mode. The Fano resonance occurs on the reflected $A_0$ mode as a result of interference between the resonance and direct scattering with incident $A_0$ mode. A hybrid analytical model based on the collocation discretization and the modal decomposition of the elastic field is developed to analyze the scattering properties of the semi-infinite plates. The Fano line-shape is discussed in detail. The results show that the Fano line shape is sensitive to the volume fraction, which is beneficial for the quantitative guided wave application.


title: A survey of machine learning-based physics event generation

abstract: Event generators in high-energy nuclear and particle physics play an important role in facilitating studies of particle reactions. We survey the state-of-the-art of machine learning (ML) efforts at building physics event generators. We review ML generative models used in ML-based event generators and their specific challenges, and discuss various approaches of incorporating physics into the ML model designs to overcome these challenges. Finally, we explore some open questions related to super-resolution, fidelity, and extrapolation for physics event generation based on ML technology.


title: A normal form for grid forming power grid actors

abstract: Future power grids will be operating a large number of heterogeneous dynamical actors. Many of these will contribute to the fundamental dynamical stability of the system. By taking a complexity theoretic perspective we derive a normal form for grid forming components in power grids. This allows analyzing the grids systemic properties without the need for detailed technical models. Our approach is based on the physics of the power flow in the grid on the one hand, and on the common symmetry that is inherited from the control objectives grid-forming power grid components are trying to achieve. We provide a first experimental validation that this normal form can capture the behavior of complex grid forming inverters without any knowledge of the underlying technology, and show that it can be used to make technology independent statements on the stability of future grids.


title: Hyperspectral Band Selection for Multispectral Image Classification with Convolutional Networks

abstract: In recent years, Hyperspectral Imaging (HSI) has become a powerful source for reliable data in applications such as remote sensing, agriculture, and biomedicine. However, hyperspectral images are highly data-dense and often benefit from methods to reduce the number of spectral bands while retaining the most useful information for a specific application. We propose a novel band selection method to select a reduced set of wavelengths, obtained from an HSI system in the context of image classification. Our approach consists of two main steps: the first utilizes a filter-based approach to find relevant spectral bands based on a collinearity analysis between a band and its neighbors. This analysis helps to remove redundant bands and dramatically reduces the search space. The second step applies a wrapper-based approach to select bands from the reduced set based on their information entropy values, and trains a compact Convolutional Neural Network (CNN) to evaluate the performance of the current selection. We present classification results obtained from our method and compare them to other feature selection methods on two hyperspectral image datasets. Additionally, we use the original hyperspectral data cube to simulate the process of using actual filters in a multispectral imager. We show that our method produces more suitable results for a multispectral sensor design.


title: Downward continuation of marine seismic reflection data: An undervalued tool to improve velocity models

abstract: The purpose of marine seismic experiments is to provide information of the structure and physical properties of the subsurface. The P-wave velocity distribution is the most commonly modelled property, usually by inversion of arrival times or waveform attributes. The most widely used tool to extract refractions as first arrivals from MCS recordings is the so-called downward continuation technique, which is designed for redatuming streamer field data to the seafloor. In this new virtual configuration, the early refractions transform to seismic phases that are becoming visible as first arrivals from nearly zero offset, facilitating its identification and use in travel-time tomography. However, there is limited literature, let alone available codes, to be used with the available MCS data sets. This work presents a user friendly open source HPC software for redatuming 2D streamer field data to the sea bottom for any seafloor relief. The main ingredient is the acoustic wave equation used backward in time, allowing first the redatuming of the receivers, and after, the redatuming of the sources. Assessment tools are provided to evaluate the information available after redatuming for specific data acquisition configurations. Also, we present a step-by-step analysis that defines the most important features that influence the quality of the virtual, redatumed recordings.


title: Mapping the NFT revolution: market trends, trade networks and visual features

abstract: Non Fungible Tokens (NFTs) are digital assets that represent objects like art, collectible, and in-game items. They are traded online, often with cryptocurrency, and are generally encoded within smart contracts on a blockchain. Public attention towards NFTs has exploded in 2021, when their market has experienced record sales, but little is known about the overall structure and evolution of its market. Here, we analyse data concerning 6.1 million trades of 4.7 million NFTs between June 23, 2017 and April 27, 2021, obtained primarily from Ethereum and WAX blockchains. First, we characterize statistical properties of the market. Second, we build the network of interactions, show that traders typically specialize on NFTs associated with similar objects and form tight clusters with other traders that exchange the same kind of objects. Third, we cluster objects associated to NFTs according to their visual features and show that collections contain visually homogeneous objects. Finally, we investigate the predictability of NFT sales using simple machine learning algorithms and find that sale history and, secondarily, visual features are good predictors for price. We anticipate that these findings will stimulate further research on NFT production, adoption, and trading in different contexts.


title: CMB anisotropies and linear matter power spectrum in models with non-thermal neutrinos and primordial magnetic fields

abstract: Angular power spectra of temperature anisotropies and polarization of the cosmic microwave background (CMB) as well as the linear matter power spectra are calculated for models with three light neutrinos with non-thermal phase-space distributions in the presence of a primordial stochastic magnetic field. The non-thermal phase-space distribution function is assumed to be the sum of a Fermi-Dirac and a gaussian distribution. It is found that the known effective description of the non-thermal model in terms of a twin thermal model with extra relativistic degrees of freedom can also be extended to models including a stochastic magnetic field. Numerical solutions are obtained for a range of magnetic field parameters.


title: Rotating 5D Black Holes: Interactions and deformations near extremality

abstract: We study a two-dimensional theory of gravity coupled to matter that is relevant to describe holographic properties of black holes with a single rotational parameter in five dimensions (with or without cosmological constant). We focus on the near-horizon geometry of the near-extremal black hole, where the effective theory reduces to Jackiw-Teitelboim (JT) gravity coupled to a massive scalar field. We compute the corrections to correlation functions due to cubic interactions present in this theory. A novel feature is that these corrections do not have a definite sign: for AdS$_5$ black holes the sign depends on the mass of the extremal solution. We discuss possible interpretations of these corrections from a gravitational and holographic perspective. We also quantify the imprint of the JT sector on the UV region, i.e. how these degrees of freedom, characteristic for the near-horizon region, influence the asymptotically far region of the black hole. This gives an interesting insight on how to interpret the IR modes in the context of their UV completion, which depends on the environment that contains the black hole.


title: A magnetic accretion disk-outflow model for changing look active galactic nuclei

abstract: The time-scales of the variabilities in changing look (CL) active galactic nuclei (AGNs) are usually at the order of years to tens of years (some of them are even shorter than one year), which are much shorter than the viscous timescale of a standard thin accretion disk. It implies that the variabilities of CL AGNs cannot be reproduced by varying the mass accretion rate of the thin disk. In this work, we employ a magnetic accretion disk-outflow model to calculate the inflow time of the disk predominantly driven by magnetic outflows. In this model, most angular momentum of the gas in the disk is carried away by the outflows, and therefore its radial velocity can be substantially higher than that of a conventional viscous disk. Our calculations show that the inflow time of such a disk with outflows can be around several years to tens years. The calculated spectra of the disk with outflows can fit the observed spectra of a CL AGN Mrk 1018 quite well both in the low and high states. The derived inflow time of such a disk with outflows is around 5 years in the high state, while it becomes $\sim 20$ years in the low state, which is roughly consistent with the observations of the variabilities in Mrk 1018.


title: Asymptotics of representation learning in finite Bayesian neural networks

abstract: Recent works have suggested that finite Bayesian neural networks may sometimes outperform their infinite cousins because finite networks can flexibly adapt their internal representations. However, our theoretical understanding of how the learned hidden layer representations of finite networks differ from the fixed representations of infinite networks remains incomplete. Perturbative finite-width corrections to the network prior and posterior have been studied, but the asymptotics of learned features have not been fully characterized. Here, we argue that the leading finite-width corrections to the average feature kernels for any Bayesian network with linear readout and Gaussian likelihood have a largely universal form. We illustrate this explicitly for three tractable network architectures: deep linear fully-connected and convolutional networks, and networks with a single nonlinear hidden layer. Our results begin to elucidate how task-relevant learning signals shape the hidden layer representations of wide Bayesian neural networks.


title: Comprehensive Validation of Automated Whole Body Skeletal Muscle, Adipose Tissue, and Bone Segmentation from 3D CT images for Body Composition Analysis: Towards Extended Body Composition

abstract: The latest advances in computer-assisted precision medicine are making it feasible to move from population-wide models that are useful to discover aggregate patterns that hold for group-based analysis to patient-specific models that can drive patient-specific decisions with regard to treatment choices, and predictions of outcomes of treatment. Body Composition is recognized as an important driver and risk factor for a wide variety of diseases, as well as a predictor of individual patient-specific clinical outcomes to treatment choices or surgical interventions. 3D CT images are routinely acquired in the oncological worklows and deliver accurate rendering of internal anatomy and therefore can be used opportunistically to assess the amount of skeletal muscle and adipose tissue compartments. Powerful tools of artificial intelligence such as deep learning are making it feasible now to segment the entire 3D image and generate accurate measurements of all internal anatomy. These will enable the overcoming of the severe bottleneck that existed previously, namely, the need for manual segmentation, which was prohibitive to scale to the hundreds of 2D axial slices that made up a 3D volumetric image. Automated tools such as presented here will now enable harvesting whole-body measurements from 3D CT or MRI images, leading to a new era of discovery of the drivers of various diseases based on individual tissue, organ volume, shape, and functional status. These measurements were hitherto unavailable thereby limiting the field to a very small and limited subset. These discoveries and the potential to perform individual image segmentation with high speed and accuracy are likely to lead to the incorporation of these 3D measures into individual specific treatment planning models related to nutrition, aging, chemotoxicity, surgery and survival after the onset of a major disease such as cancer.


title: Parameter estimation of time and frequency shifts with generalized HOM interferometry

abstract: Hong-Ou-Mandel interferometry takes advantage of the quantum nature of two-photon interference to increase the resolution of precision measurements of time-delays. Relying on few-photon probe states, this approach is applicable also in cases of extremely sensible samples and it achieves attosecond (nanometer path length) scale resolution, which is relevant to cell biology and two-dimensional materials. Here, we theoretically analyze how the precision of Hong-Ou-Mandel interferometers can be significantly improved by engineering the spectral distribution of two-photon probe states. In particular, we assess the metrological power of different classes of biphoton states with non-Gaussian time-frequency spectral distributions, considering the estimation of both time- and frequency-shifts. We find that grid states, characterized by a periodic structure of peaks in the chronocyclic Wigner function, can outperform standard biphoton states in sensing applications. The considered states can be feasibly produced with atomic photon sources, bulk non-linear crystals and integrated photonic waveguide devices.


title: A reinforcement learning approach to improve communication performance and energy utilization in fog-based IoT

abstract: Recent research has shown the potential of using available mobile fog devices (such as smartphones, drones, domestic and industrial robots) as relays to minimize communication outages between sensors and destination devices, where localized Internet-of-Things services (e.g., manufacturing process control, health and security monitoring) are delivered. However, these mobile relays deplete energy when they move and transmit to distant destinations. As such, power-control mechanisms and intelligent mobility of the relay devices are critical in improving communication performance and energy utilization. In this paper, we propose a Q-learning-based decentralized approach where each mobile fog relay agent (MFRA) is controlled by an autonomous agent which uses reinforcement learning to simultaneously improve communication performance and energy utilization. Each autonomous agent learns based on the feedback from the destination and its own energy levels whether to remain active and forward the message, or become passive for that transmission phase. We evaluate the approach by comparing with the centralized approach, and observe that with lesser number of MFRAs, our approach is able to ensure reliable delivery of data and reduce overall energy cost by 56.76\% -- 88.03\%.


title: The Impact of Network Connectivity on Collective Learning

abstract: In decentralised autonomous systems it is the interactions between individual agents which govern the collective behaviours of the system. These local-level interactions are themselves often governed by an underlying network structure. These networks are particularly important for collective learning and decision-making whereby agents must gather evidence from their environment and propagate this information to other agents in the system. Models for collective behaviours may often rely upon the assumption of total connectivity between agents to provide effective information sharing within the system, but this assumption may be ill-advised. In this paper we investigate the impact that the underlying network has on performance in the context of collective learning. Through simulations we study small-world networks with varying levels of connectivity and randomness and conclude that totally-connected networks result in higher average error when compared to networks with less connectivity. Furthermore, we show that networks of high regularity outperform networks with increasing levels of random connectivity.


title: Trees, forests, and total positivity: I. $q$-trees and $q$-forests matrices

abstract: We consider matrices with entries that are polynomials in $q$ arising from natural $q$-generalisations of two well-known formulas that count: forests on $n$ vertices with $k$ components; and trees on $n+1$ vertices where $k$ children of the root are smaller than the root. We give a combinatorial interpretation of the corresponding statistic on forests and trees and show, via the construction of various planar networks and the Lindstr\"om-Gessel-Viennot lemma, that these matrices are coefficientwise totally positive. We also exhibit generalisations of the entries of these matrices to polynomials in \emph{eight} indeterminates, and present some conjectures concerning the coefficientwise Hankel-total positivity of their row-generating polynomials.


title: Parameterized algorithms for identifying gene co-expression modules via weighted clique decomposition

abstract: We present a new combinatorial model for identifying regulatory modules in gene co-expression data using a decomposition into weighted cliques. To capture complex interaction effects, we generalize the previously-studied weighted edge clique partition problem. As a first step, we restrict ourselves to the noise-free setting, and show that the problem is fixed parameter tractable when parameterized by the number of modules (cliques). We present two new algorithms for finding these decompositions, using linear programming and integer partitioning to determine the clique weights. Further, we implement these algorithms in Python and test them on a biologically-inspired synthetic corpus generated using real-world data from transcription factors and a latent variable analysis of co-expression in varying cell types.


title: Feedback equivalence and uniform ensemble reachability

abstract: This paper considers feedback methods for ensemble reachability of parameter-dependent linear systems $(A(\theta),B(\theta))$, where the parameter $\theta$ is varying over a compact Jordan arc in the complex plane. Recently, pointwise testable sufficient conditions for uniform ensemble reachability have been developed. Beside the necessity of pointwise reachablility these conditions put restrictions on the spectra of the matrices $A(\theta)$ and the Hermite indices of the pair $(A(\theta),B(\theta))$. In this paper we show that these conditions can be ensured by applying a suitable feedback transformation if the pair $(A(\theta),B(\theta))$ is pointwise reachable and it Kronecker indices are independent from the parameter.


title: Asymptotic mean value formulas for parabolic nonlinear equations

abstract: In this paper we characterize viscosity solutions to nonlinear parabolic equations (including parabolic Monge-Amp\`ere equations) by asymptotic mean value formulas. Our asymptotic mean value formulas can be interpreted from a probabilistic point of view in terms of Dynamic Programming Principles for certain two-player, zero-sum games.


title: Markpainting: Adversarial Machine Learning meets Inpainting

abstract: Inpainting is a learned interpolation technique that is based on generative modeling and used to populate masked or missing pieces in an image; it has wide applications in picture editing and retouching. Recently, inpainting started being used for watermark removal, raising concerns. In this paper we study how to manipulate it using our markpainting technique. First, we show how an image owner with access to an inpainting model can augment their image in such a way that any attempt to edit it using that model will add arbitrary visible information. We find that we can target multiple different models simultaneously with our technique. This can be designed to reconstitute a watermark if the editor had been trying to remove it. Second, we show that our markpainting technique is transferable to models that have different architectures or were trained on different datasets, so watermarks created using it are difficult for adversaries to remove. Markpainting is novel and can be used as a manipulation alarm that becomes visible in the event of inpainting.


title: Reward is enough for convex MDPs

abstract: Maximising a cumulative reward function that is Markov and stationary, i.e., defined over state-action pairs and independent of time, is sufficient to capture many kinds of goals in a Markov decision process (MDP). However, not all goals can be captured in this manner. In this paper we study convex MDPs in which goals are expressed as convex functions of the stationary distribution and show that they cannot be formulated using stationary reward functions. Convex MDPs generalize the standard reinforcement learning (RL) problem formulation to a larger framework that includes many supervised and unsupervised RL problems, such as apprenticeship learning, constrained MDPs, and so-called `pure exploration'. Our approach is to reformulate the convex MDP problem as a min-max game involving policy and cost (negative reward) `players', using Fenchel duality. We propose a meta-algorithm for solving this problem and show that it unifies many existing algorithms in the literature.


title: Porous Invariants

abstract: We introduce the notion of porous invariants for multipath (or branching/nondeterministic) affine loops over the integers; these invariants are not necessarily convex, and can in fact contain infinitely many 'holes'. Nevertheless, we show that in many cases such invariants can be automatically synthesised, and moreover can be used to settle (non-)reachability questions for various interesting classes of affine loops and target sets.


title: An occupation kernel approach to optimal control

abstract: In this effort, a novel operator theoretic framework is developed for data-driven solution of optimal control problems. The developed methods focus on the use of trajectories (i.e., time-series) as the fundamental unit of data for the resolution of optimal control problems in dynamical systems. Trajectory information in the dynamical systems is embedded in a reproducing kernel Hilbert space (RKHS) through what are called occupation kernels. The occupation kernels are tied to the dynamics of the system through the densely defined Liouville operator. The pairing of Liouville operators and occupation kernels allows for lifting of nonlinear finite-dimensional optimal control problems into the space of infinite-dimensional linear programs over RKHSs.


title: Quantifiers on Demand

abstract: Automated program verification is a difficult problem. It is undecidable even for transition systems over Linear Integer Arithmetic (LIA). Extending the transition system with theory of Arrays, further complicates the problem by requiring inference and reasoning with universally quantified formulas. In this paper, we present a new algorithm, Quic3, that extends IC3 to infer universally quantified invariants over the combined theory of LIA and Arrays. Unlike other approaches that use either IC3 or an SMT solver as a black box, Quic3 carefully manages quantified generalization (to construct quantified invariants) and quantifier instantiation (to detect convergence in the presence of quantifiers). While Quic3 is not guaranteed to converge, it is guaranteed to make progress by exploring longer and longer executions. We have implemented Quic3 within the Constrained Horn Clause solver engine of Z3 and experimented with it by applying Quic3 to verifying a variety of public benchmarks of array manipulating C programs.


title: Validating GAN-BioBERT: A Methodology For Assessing Reporting Trends In Clinical Trials

abstract: In the past decade, there has been much discussion about the issue of biased reporting in clinical research. Despite this attention, there have been limited tools developed for the systematic assessment of qualitative statements made in clinical research, with most studies assessing qualitative statements relying on the use of manual expert raters, which limits their size. Also, previous attempts to develop larger scale tools, such as those using natural language processing, were limited by both their accuracy and the number of categories used for the classification of their findings. With these limitations in mind, this study's goal was to develop a classification algorithm that was both suitably accurate and finely grained to be applied on a large scale for assessing the qualitative sentiment expressed in clinical trial abstracts. Additionally, this study seeks to compare the performance of the proposed algorithm, GAN-BioBERT, to previous studies as well as to expert manual rating of clinical trial abstracts. This study develops a three-class sentiment classification algorithm for clinical trial abstracts using a semi-supervised natural language process model based on the Bidirectional Encoder Representation from Transformers (BERT) model, from a series of clinical trial abstracts annotated by a group of experts in academic medicine. Results: The use of this algorithm was found to have a classification accuracy of 91.3%, with a macro F1-Score of 0.92, which is a significant improvement in accuracy when compared to previous methods and expert ratings, while also making the sentiment classification finer grained than previous studies. The proposed algorithm, GAN-BioBERT, is a suitable classification model for the large-scale assessment of qualitative statements in clinical trial literature, providing an accurate, reproducible tool for the large-scale study of clinical publication trends.


title: You Only Look at One Sequence: Rethinking Transformer in Vision through Object Detection

abstract: Can Transformer perform 2D object- and region-level recognition from a pure sequence-to-sequence perspective with minimal knowledge about the 2D spatial structure? To answer this question, we present You Only Look at One Sequence (YOLOS), a series of object detection models based on the vanilla Vision Transformer with the fewest possible modifications, region priors, as well as inductive biases of the target task. We find that YOLOS pre-trained on the mid-sized ImageNet-1k dataset only can already achieve quite competitive performance on the challenging COCO object detection benchmark, e.g., YOLOS-Base directly adopted from BERT-Base architecture can obtain 42.0 box AP on COCO val. We also discuss the impacts as well as limitations of current pre-train schemes and model scaling strategies for Transformer in vision through YOLOS. Code and pre-trained models are available at https://github.com/hustvl/YOLOS.


title: SoK: Oracles from the Ground Truth to Market Manipulation

abstract: One fundamental limitation of blockchain-based smart contracts is that they execute in a closed environment. Thus, they only have access to data and functionality that is already on the blockchain, or is fed into the blockchain. Any interactions with the real world need to be mediated by a bridge service, which is called an oracle. As decentralized applications mature, oracles are playing an increasingly prominent role. With their evolution comes more attacks, necessitating greater attention to their trust model. In this systemization of knowledge paper (SoK), we dissect the design alternatives for oracles, showcase attacks, and discuss attack mitigation strategies.


title: High Resolution Time-Frequency Generation with Generative Adversarial Networks

abstract: Signal representation in Time-Frequency (TF) domain is valuable in many applications including radar imaging and inverse synthetic aparture radar. TF representation allows us to identify signal components or features in a mixed time and frequency plane. There are several well-known tools, such as Wigner-Ville Distribution (WVD), Short-Time Fourier Transform (STFT) and various other variants for such a purpose. The main requirement for a TF representation tool is to give a high-resolution view of the signal such that the signal components or features are identifiable. A commonly used method is the reassignment process which reduces the cross-terms by artificially moving smoothed WVD values from their actual location to the center of the gravity for that region. In this article, we propose a novel reassignment method using the Conditional Generative Adversarial Network (CGAN). We train a CGAN to perform the reassignment process. Through examples, it is shown that the method generates high-resolution TF representations which are better than the current reassignment methods.


title: Discovering Diverse Nearly Optimal Policies with Successor Features

abstract: Finding different solutions to the same problem is a key aspect of intelligence associated with creativity and adaptation to novel situations. In reinforcement learning, a set of diverse policies can be useful for exploration, transfer, hierarchy, and robustness. We propose Diverse Successive Policies, a method for discovering policies that are diverse in the space of Successor Features, while assuring that they are near optimal. We formalize the problem as a Constrained Markov Decision Process (CMDP) where the goal is to find policies that maximize diversity, characterized by an intrinsic diversity reward, while remaining near-optimal with respect to the extrinsic reward of the MDP. We also analyze how recently proposed robustness and discrimination rewards perform and find that they are sensitive to the initialization of the procedure and may converge to sub-optimal solutions. To alleviate this, we propose new explicit diversity rewards that aim to minimize the correlation between the Successor Features of the policies in the set. We compare the different diversity mechanisms in the DeepMind Control Suite and find that the type of explicit diversity we are proposing is important to discover distinct behavior, like for example different locomotion patterns.


title: The one-dimensional telegraphic process with noninstantaneous stochastic resetting

abstract: In this paper we consider the one-dimensional dynamical evolution of a particle traveling at constant speed and performing, at a given rate, random reversals of the velocity direction. The particle is subject to stochastic resetting, meaning that at random times it is forced to return to the starting point. Here we consider a return mechanism governed by a deterministic law of motion, so that the time cost required to return is correlated to the position occupied at the time of the reset. We show that in such conditions the process reaches a stationary state which, for some kinds of deterministic return dynamics, is independent of the return phase. Furthermore, we investigate the first-passage properties of the system and provide explicit formulas for the mean first-hitting time. Our findings are supported by numerical simulations.


title: What Can I Do Here? Learning New Skills by Imagining Visual Affordances

abstract: A generalist robot equipped with learned skills must be able to perform many tasks in many different environments. However, zero-shot generalization to new settings is not always possible. When the robot encounters a new environment or object, it may need to finetune some of its previously learned skills to accommodate this change. But crucially, previously learned behaviors and models should still be suitable to accelerate this relearning. In this paper, we aim to study how generative models of possible outcomes can allow a robot to learn visual representations of affordances, so that the robot can sample potentially possible outcomes in new situations, and then further train its policy to achieve those outcomes. In effect, prior data is used to learn what kinds of outcomes may be possible, such that when the robot encounters an unfamiliar setting, it can sample potential outcomes from its model, attempt to reach them, and thereby update both its skills and its outcome model. This approach, visuomotor affordance learning (VAL), can be used to train goal-conditioned policies that operate on raw image inputs, and can rapidly learn to manipulate new objects via our proposed affordance-directed exploration scheme. We show that VAL can utilize prior data to solve real-world tasks such drawer opening, grasping, and placing objects in new scenes with only five minutes of online experience in the new scene.


title: What Matters for Adversarial Imitation Learning?

abstract: Adversarial imitation learning has become a popular framework for imitation in continuous control. Over the years, several variations of its components were proposed to enhance the performance of the learned policies as well as the sample complexity of the algorithm. In practice, these choices are rarely tested all together in rigorous empirical studies. It is therefore difficult to discuss and understand what choices, among the high-level algorithmic options as well as low-level implementation details, matter. To tackle this issue, we implement more than 50 of these choices in a generic adversarial imitation learning framework and investigate their impacts in a large-scale study (>500k trained agents) with both synthetic and human-generated demonstrations. While many of our findings confirm common practices, some of them are surprising or even contradict prior work. In particular, our results suggest that artificial demonstrations are not a good proxy for human data and that the very common practice of evaluating imitation algorithms only with synthetic demonstrations may lead to algorithms which perform poorly in the more realistic scenarios with human demonstrations.


title: Fidelity Estimation Improves Noisy-Image Classification With Pretrained Networks

abstract: Image classification has significantly improved using deep learning. This is mainly due to convolutional neural networks (CNNs) that are capable of learning rich feature extractors from large datasets. However, most deep learning classification methods are trained on clean images and are not robust when handling noisy ones, even if a restoration preprocessing step is applied. While novel methods address this problem, they rely on modified feature extractors and thus necessitate retraining. We instead propose a method that can be applied on a $pretrained$ classifier. Our method exploits a fidelity map estimate that is fused into the internal representations of the feature extractor, thereby guiding the attention of the network and making it more robust to noisy data. We improve the noisy-image classification (NIC) results by significantly large margins, especially at high noise levels, and come close to the fully retrained approaches. Furthermore, as proof of concept, we show that when using our oracle fidelity map we even outperform the fully retrained methods, whether trained on noisy or restored images.


title: Criticality in the collapse of spherically symmetric massless scalar fields in semi-classical loop quantum gravity

abstract: In a recent paper we showed that the collapse to a black hole in one-parameter families of initial data for massless, minimally coupled scalar fields in spherically symmetric semi-classical loop quantum gravity exhibited a universal mass scaling similar to the one in classical general relativity. In particular, no evidence of a mass gap appeared as had been suggested by previous studies. The lack of a mass gap indicated the possible existence of a self-similar critical solution as in general relativity. Here we provide further evidence for its existence. Using an adaptive mesh refinement code, we show that "echoes" arise as a result of the discrete self-similarity in space-time. We also show the existence of "wiggles" in the mass scaling relation, as in the classical theory. The results from the semi-classical theory agree well with those of classical general relativity unless one takes unrealistically large values for the polymerization parameter.


title: Quantum crosstalk cancellation for fast entangling gates and improved multi-qubit performance

abstract: Quantum computers built with superconducting artificial atoms already stretch the limits of their classical counterparts. While the lowest energy states of these artificial atoms serve as the qubit basis, the higher levels are responsible for both a host of attractive gate schemes as well as generating undesired interactions. In particular, when coupling these atoms to generate entanglement, the higher levels cause shifts in the computational levels that leads to unwanted $ZZ$ quantum crosstalk. Here, we present a novel technique to manipulate the energy levels and mitigate this crosstalk via a simultaneous AC Stark effect on coupled qubits. This breaks a fundamental deadlock between qubit-qubit coupling and crosstalk, leading to a 90ns CNOT with a gate error of (0.19 $\pm$ 0.02) $\%$ and the demonstration of a novel CZ gate with fixed-coupling single-junction transmon qubits. Furthermore, we show a definitive improvement in circuit performance with crosstalk cancellation over seven qubits, demonstrating the scalability of the technique. This work paves the way for superconducting hardware with faster gates and greatly improved multi-qubit circuit fidelities.


title: VILA: Improving Structured Content Extraction from Scientific PDFs Using Visual Layout Groups

abstract: Accurately extracting structured content from PDFs is a critical first step for NLP over scientific papers. Recent work has improved extraction accuracy by incorporating elementary layout information, e.g., each token's 2D position on the page, into language model pretraining. We introduce new methods that explicitly model VIsual LAyout (VILA) groups, i.e., text lines or text blocks, to further improve performance. In our I-VILA approach, we show that simply inserting special tokens denoting layout group boundaries into model inputs can lead to a 1.9% Macro F1 improvement in token classification. In the H-VILA approach, we show that hierarchical encoding of layout-groups can result in up-to 47% inference time reduction with less than 0.8% Macro F1 loss. Unlike prior layout-aware approaches, our methods do not require expensive additional pretraining, only fine-tuning, which we show can reduce training cost by up to 95%. Experiments are conducted on a newly curated evaluation suite, S2-VLUE, that unifies existing automatically-labeled datasets and includes a new dataset of manual annotations covering diverse papers from 19 scientific disciplines. Pre-trained weights, benchmark datasets, and source code are available at https://github.com/allenai/VILA.


title: Bootstrap Your Own Correspondences

abstract: Geometric feature extraction is a crucial component of point cloud registration pipelines. Recent work has demonstrated how supervised learning can be leveraged to learn better and more compact 3D features. However, those approaches' reliance on ground-truth annotation limits their scalability. We propose BYOC: a self-supervised approach that learns visual and geometric features from RGB-D video without relying on ground-truth pose or correspondence. Our key observation is that randomly-initialized CNNs readily provide us with good correspondences; allowing us to bootstrap the learning of both visual and geometric features. Our approach combines classic ideas from point cloud registration with more recent representation learning approaches. We evaluate our approach on indoor scene datasets and find that our method outperforms traditional and learned descriptors, while being competitive with current state-of-the-art supervised approaches.


title: Uniform locales and their constructive aspects

abstract: Much work has been done on generalising results about uniform spaces to the pointfree context. However, this has almost exclusively been done using classical logic, whereas much of the utility of the pointfree approach lies in its constructive theory, which can be interpreted in many different toposes. Johnstone has advocated for the development of a constructive theory of uniform locales and wrote a short paper on the basic constructive theory via covering uniformities, but he never followed this up with a discussion of entourage uniformities or completions. We present a more extensive constructive development of uniform locales, including both entourage and covering approaches, their equivalence, completions and some applications to metric locales and localic algebra. Some aspects of our presentation might also be of interest even to classically minded pointfree topologists. These include the definition and manipulation of entourage uniformities using the internal logic of the geometric hyperdoctrine of open sublocales and the emphasis on pre-uniform locales. The latter leads to a description of the completion as the uniform reflection of the pre-uniform locale of Cauchy filters and a new result concerning the completion of pre-uniform localic rings, which can be used to easily lift addition and multiplication on $\mathbb{Q}$ to $\mathbb{R}$ (or $\mathbb{Q}_p$) in the pointfree setting.


title: A 3.5 Mpc-long radio relic in the galaxy cluster ClG 0217+70

abstract: Mega-parsec scale radio sources in the form of halos and relics are often detected in dynamically disturbed galaxy clusters. Although they are associated with merger-induced turbulence and shocks, respectively, their formation is not fully understood. We aim to identify the mechanisms responsible for particle acceleration and magnetic field amplification in the halo and relics of the galaxy cluster ClG 0217+70. We observed ClG 0217+70 with LOFAR at 141 MHz and VLA at 1.5 GHz, and combine these observations with VLA 1.4 GHz archival data to study the morphological and spectral properties of the diffuse sources. We add Chandra archival data to examine the thermal and non-thermal properties of the halo. Our LOFAR and VLA data confirm the presence of a giant radio halo in the cluster centre and multiple relics in the outskirts. The radio and X-ray emission from the halo are correlated, implying a tight relation between the thermal and non-thermal components. The diffuse radio structure in the south east with a projected size of 3.5 Mpc is the most extended radio relic detected to date. The spectral index across the relic width steepens towards the cluster centre, suggesting the electron ageing in the post-shock regions. The shock Mach numbers for the relics derived from the spectral index map range between 2.0 and 3.2. However, the integrated spectral indices lead to increasingly high Mach numbers for the relics farther from the cluster centre. This discrepancy could be because the relation between injection and integrated spectra does not hold for distant shocks, suggesting that the cooling time for the radio-emitting electrons is longer than the crossing time of the shocks. The variations in the surface brightness of the relics and the low Mach numbers imply that the radio-emitting electrons are re-accelerated from fossil plasma that could originate in active galactic nuclei.


title: The measures with $L^2$-bounded Riesz transform and the Painlev\'e problem for Lipschitz harmonic functions

abstract: This work provides a geometric characterization of the measures $\mu$ in $\mathbb R^{n+1}$ with polynomial upper growth of degree $n$ such that the $n$-dimensional Riesz transform $R\mu (x) = \int \frac{x-y}{|x-y|^{n+1}}\,d\mu(y)$ belongs to $L^2(\mu)$. More precisely, it is shown that $$\|R\mu\|_{L^2(\mu)}^2 + \|\mu\|\approx \int\!\!\int_0^\infty \beta_{2,\mu}(x,r)^2\,\frac{\mu(B(x,r))}{r^n}\,\frac{dr}r\,d\mu(x) + \|\mu\|,$$ where $\beta_{\mu,2}(x,r)^2 = \inf_L \frac1{r^n}\int_{B(x,r)} \left(\frac{dist(y,L)}r\right)^2\,d\mu(y),$ with the infimum taken over all affine $n$-planes $L\subset \mathbb R^{n+1}$. As a corollary, one obtains a characterization of the removable sets for Lipschitz harmonic functions in terms of a metric-geometric potential and one deduces that the class of removable sets for Lipschitz harmonic functions is invariant by bilipschitz mappings.


title: The KATRIN neutrino mass results: An alternative interpretation

abstract: The KATRIN experiment has recently reported a new upper limit to the mass of the electron neutrino of $m<0.8 eV$ (90\%CL), and a best value of $m^2= 0.26 \pm 0.34 eV^2/c^4$ based on a fit to the observed tritium beta decay spectrum. Here another interpretation of their results is discussed.


title: Prostate cancer histopathology with label-free multispectral deep UV microscopy quantifies phenotypes of tumor grade and aggressiveness

abstract: Identifying prostate cancer patients that are harboring aggressive forms of prostate cancer remains a significant clinical challenge. To shed light on this problem, we develop an approach based on multispectral deep-ultraviolet (UV) microscopy that provides novel quantitative insight into the aggressiveness and grade of this disease. First, we find that UV spectral signatures from endogenous molecules give rise to a phenotypical continuum that differentiates critical structures of thin tissue sections with subcellular spatial resolution, including nuclei, cytoplasm, stroma, basal cells, nerves, and inflammation. Further, we show that this phenotypical continuum can be applied as a surrogate biomarker of prostate cancer malignancy, where patients with the most aggressive tumors show a ubiquitous glandular phenotypical shift. Lastly, we adapt a two-part Cycle-consistent Generative Adversarial Network to translate the label-free deep-UV images into virtual hematoxylin and eosin (H&E) stained images. Agreement between the virtual H&E images and the gold standard H&E-stained tissue sections is evaluated by a panel of pathologists who find that the two modalities are in excellent agreement. This work has significant implications towards improving our ability to objectively quantify prostate cancer grade and aggressiveness, thus improving the management and clinical outcomes of prostate cancer patients. This same approach can also be applied broadly in other tumor types to achieve low-cost, stain-free, quantitative histopathological analysis.


title: Observing the Inner Shadow of a Black Hole: A Direct View of the Event Horizon

abstract: Simulated images of a black hole surrounded by optically thin emission typically display two main features: a central brightness depression and a narrow, bright "photon ring" consisting of strongly lensed images superposed on top of the direct emission. The photon ring closely tracks a theoretical curve on the image plane corresponding to light rays that asymptote to unstably bound photon orbits around the black hole. This critical curve has a size and shape that are purely governed by the Kerr geometry; in contrast, the size, shape, and depth of the observed brightness depression all depend on the details of the emission region. For instance, images of spherical accretion models display a distinctive dark region -- the "black hole shadow" -- that completely fills the photon ring. By contrast, in models of equatorial disks extending to the black hole's event horizon, the darkest region in the image is restricted to a much smaller area -- an inner shadow -- whose edge lies near the direct lensed image of the equatorial horizon. Using both semi-analytic models and general relativistic magnetohydrodynamic (GRMHD) simulations, we demonstrate that the photon ring and inner shadow may be simultaneously visible in submillimeter images of M87*, where magnetically arrested disk (MAD) simulations predict that the emission arises in a thin region near the equatorial plane. We show that the relative size, shape, and centroid of the photon ring and inner shadow can be used to estimate the black hole mass and spin, breaking degeneracies in measurements of these quantities that rely on the photon ring alone. Both features may be accessible to direct observation via high-dynamic-range images with a next-generation Event Horizon Telescope.


title: Hierarchical generative models for star clusters from hydro-dynamical simulations

abstract: Star formation in molecular clouds is clumpy, hierarchically subclustered. Fractal structure also emerges in hydro-dynamical simulations of star-forming clouds. Simulating the formation of realistic star clusters with hydro-dynamical simulations is a computational challenge, considering that only the statistically averaged results of large batches of simulations are reliable, due to the chaotic nature of the gravitational N-body problem. While large sets of initial conditions for N-body runs can be produced by hydro-dynamical simulations of star formation, this is prohibitively expensive in terms of computational time. Here we address this issue by introducing a new technique for generating many sets of new initial conditions from a given set of star masses, positions and velocities from a hydro-dynamical simulation. We use hierarchical clustering in phase space to learn a tree representation of the spatial and kinematic relations between stars. This constitutes the basis for the random generation of new sets of stars which share the same clustering structure of the original ones but have individually different masses, positions, and velocities. We apply this method to the output of a number of hydro-dynamical star-formation simulations, comparing the generated initial conditions to the original ones through a series of quantitative tests, including comparing mass and velocity distributions and fractal dimension. Finally, we evolve both the original and the generated star clusters using a direct N-body code, obtaining a qualitatively similar evolution.


title: L 98-59: a Benchmark System of Small Planets for Future Atmospheric Characterization

abstract: L 98-59 is an M3V dwarf star that hosts three small (R < 1.6 Earth radii) planets. The host star is bright (K = 7.1) and nearby (10.6 pc), making the system a prime target for follow-up characterization with the Hubble Space Telescope (HST) and the upcoming James Webb Space Telescope (JWST). Herein, we use simulated transmission spectroscopy to evaluate the detectability of spectral features with HST and JWST assuming diverse atmospheric scenarios (e.g., atmospheres dominated by H2, H2O, CO2, or O2). We find that H2O and CH4 present in a low mean-molecular weight atmosphere could be detected with HST in 1 transit for the two outermost planets, while H2O in a clear steam atmosphere could be detected in 6 transits or fewer with HST for all three planets. We predict that observations using JWST/NIRISS would be capable of detecting a clear steam atmosphere in 1 transit for each planet, and H2O absorption in a hazy steam atmosphere in 2 transits or less. In a clear, desiccated atmosphere, O2 absorption may be detectable for all three planets with NIRISS. If the L 98-59 planets possess a clear, Venus-like atmosphere, NIRSpec could detect CO2 within 26 transits for each planet, but the presence of H2SO4 clouds would significantly suppress CO2 absorption. The L 98-59 system is an excellent laboratory for comparative planetary studies of transiting multiplanet systems, and observations of the system via HST and JWST would present a unique opportunity to test the accuracy of the models presented in this study.


title: On the compactification of 5d theories to 4d

abstract: We study general properties of the mapping between 5$d$ and 4$d$ superconformal field theories (SCFTs) under both twisted circle compactification and tuning of local relevant deformation and CB moduli. After elucidating in generality when a 5$d$ SCFT reduces to a 4$d$ one, we identify nearly all $\mathcal{N}=1$ 5$d$ SCFT parents of rank-2 4$d$ $\mathcal{N}=2$ SCFTs. We then use this result to map out the mass deformation trajectories among the rank-2 theories in 4$d$. This can be done by first understanding the mass deformations of the 5$d$ $\mathcal{N}=1$ SCFTs and then map them to 4$d$. The former task can be easily achieved by exploiting the fact that the 5$d$ parent theories can be obtained as the strong coupling limit of Lagrangian theories, and the latter by understanding the behavior under compactification. Finally we identify a set of general criteria that 4$d$ moduli spaces of vacua have to satisfy when the corresponding SCFTs are related by mass deformations and check that all our RG-flows satisfy them. Many of the mass deformations we find are not visible from the corresponding complex integrable systems.


title: Online Detection of Vibration Anomalies Using Balanced Spiking Neural Networks

abstract: Vibration patterns yield valuable information about the health state of a running machine, which is commonly exploited in predictive maintenance tasks for large industrial systems. However, the overhead, in terms of size, complexity and power budget, required by classical methods to exploit this information is often prohibitive for smaller-scale applications such as autonomous cars, drones or robotics. Here we propose a neuromorphic approach to perform vibration analysis using spiking neural networks that can be applied to a wide range of scenarios. We present a spike-based end-to-end pipeline able to detect system anomalies from vibration data, using building blocks that are compatible with analog-digital neuromorphic circuits. This pipeline operates in an online unsupervised fashion, and relies on a cochlea model, on feedback adaptation and on a balanced spiking neural network. We show that the proposed method achieves state-of-the-art performance or better against two publicly available data sets. Further, we demonstrate a working proof-of-concept implemented on an asynchronous neuromorphic processor device. This work represents a significant step towards the design and implementation of autonomous low-power edge-computing devices for online vibration monitoring.