title: A transit survey to search for planets around hot subdwarfs: I. methods and performance tests on light curves from Kepler, K2, TESS, and CHEOPS

abstract: Context. Hot subdwarfs experienced strong mass loss on the Red Giant Branch (RGB) and are now hot and small He-burning objects. Aims. In this project we aim to perform a transit survey in all available light curves of hot subdwarfs from space-based telescopes (Kepler, K2, TESS, and CHEOPS), with our custom-made pipeline SHERLOCK, in order to determine the occurrence rate of planets around these stars, as a function of orbital period and planetary radius. Methods. In this first paper, we perform injection-and-recovery tests of synthetic transits for a selection of representative Kepler, K2 and TESS light curves, to determine which transiting bodies, in terms of object radius and orbital period, we will be able to detect with our tools. We also provide such estimates for CHEOPS data, which we analyze with the pycheops package. Results. Transiting objects with a radius $\lesssim$ 1.0 $R_{\Earth}$ can be detected in most of Kepler, K2 and CHEOPS targets for the shortest orbital periods (1 d and below), reaching values as small as $\sim$0.3 $R_{\Earth}$ in the best cases. Reaching sub-Earth-sized bodies is achieved only for the brightest TESS targets, and the ones observed during a significant number of sectors. We also give a series of representative results for farther and bigger planets, for which the performances strongly depend on the target magnitude, the length and the quality of the data. Conclusions. The TESS sample will provide the most important statistics for the global aim of measuring the planet occurrence rate around hot subdwarfs. The Kepler, K2 and CHEOPS data will allow us to search for planetary remnants, i.e. very close and small (possibly disintegrating) objects, which would have partly survived the engulfment in their red giant host.


title: A geometric approximation of $\delta$-interactions by Neumann Laplacians

abstract: We demonstrate how to approximate one-dimensional Schr\"odinger operators with $\delta$-interaction by a Neumann Laplacian on a narrow waveguide-like domain. Namely, we consider a domain consisting of a straight strip and a small protuberance with "room-and-passage" geometry. We show that in the limit when the perpendicular size of the strip tends to zero, and the room and the passage are appropriately scaled, the Neumann Laplacian on this domain converges in (a kind of) norm resolvent sense to the above singular Schr\"odinger operator. Also we prove Hausdorff convergence of the spectra. In both cases estimates on the rate of convergence are derived.


title: Ammonia snow-lines and ammonium salts desorption

abstract: Context. The nitrogen reservoir in planetary systems is a long standing problem. Part of the N-bearing molecules is probably incorporated into the ice bulk during the cold phases of the stellar evolution, and may be gradually released into the gas phase when the ice is heated, such as in active comets. The chemical nature of the N-reservoir should greatly influence how, when and in what form N returns to the gas phase, or is incorporated into the refractory material forming planetary bodies. Aims. We present the study the thermal desorption of two ammonium salts: ammonium formate and ammonium acetate from a gold surface and from a water ice substrate. Methods. Temperature-programmed desorption experiments and Fourier transform infrared reflection spectroscopy were conducted to investigate the desorption behavior of ammonium salts. Results. Ammonium salts are semi-volatile species releasing neutral species as major components upon desorption, that is ammonia and the corresponding organic acid (HCOOH and CH3COOH), at temperatures higher than the temperature of thermal desorption of water ice. Their desorption follows a first-order Wigner-Polanyi law. We find the first order kinetic parameters A = 7.7 $\pm$ 0.6 $\times$ 10$^{15}$ s$^{-1}$ and E$_{bind}$ = 68.9 $\pm$ 0.1 kJ~mol$^{-1}$ for ammonium formate and A = 3.0 $\pm$ 0.4 $\times$ 10$^{20}$ s$^{-1}$ and E$_{bind}$ = 83.0 $\pm$ 0.2 kJ~mol$^{-1}$ for ammonium acetate. The presence of a water ice substrate does not influence the desorption kinetics. Ammonia molecules locked in salts desorb as neutral molecules at temperatures much higher than previously expected that are usually attributed to refractory materials. Conclusions. Ammonia snow-line has a smaller radius than the water snow-line. As a result, the NH3/H2O ratio content in solar system bodies can be a hint as to where they formed and subsequently migrated.


title: Fermi surface in La-based cuprate superconductors from Compton scattering imaging

abstract: Compton scattering provides invaluable information on the underlying Fermi surface (FS) and is a powerful tool complementary to angle-resolved photoemission spectroscopy and quantum oscillation measurements. Here we perform high-resolution Compton scattering measurements for La_{2-x}Sr_{x}CuO_{4} with x=0.08 (Tc=20K) at 300K and 150K, and image the momentum distribution function in the two-dimensional Brillouin zone. We find that the observed images cannot be reconciled with the conventional hole-like FS believed so far. Instead, our data imply that the FS is strongly deformed by the underlying nematicity in each CuO_2 plane, but the bulk FSs recover the fourfold symmetry. We also find an unusually strong temperature dependence of the momentum distribution function, which may originate from the pseudogap formation in the presence of the reconstructed FSs due to the underlying nematicity. Additional measurements for x=0.15 and 0.30 at 300K suggest similar FS deformation with weaker nematicity, which nearly vanishes at x=0.30.


title: HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing

abstract: Buffer-overruns are a prevalent vulnerability in software libraries and applications. Fuzz testing is one of the effective techniques to detect vulnerabilities in general. Greybox fuzzers such as AFL automatically generate a sequence of test inputs for a given program using a fitness-guided search process. A recently proposed approach in the literature introduced a buffer-overrun specific fitness metric called "headroom", which tracks how close each generated test input comes to exposing the vulnerabilities. That approach showed good initial promise, but is somewhat imprecise and expensive due to its reliance on conservative points-to analysis. Inspired by the approach above, in this paper we propose a new ground-up approach for detecting buffer-overrun vulnerabilities. This approach uses an extended version of ASAN (Address Sanitizer) that runs in parallel with the fuzzer, and reports back to the fuzzer test inputs that happen to come closer to exposing buffer-overrun vulnerabilities. The ASAN-style instrumentation is precise as it has no dependence on points-to analysis. We describe in this paper our approach, as well as an implementation and evaluation of the approach.


title: Instability toward Formation of Quasi-One-Dimensional Fermi Surface in Two-Dimensional t-J Model

abstract: We show within the slave-boson mean field approximation that the two-dimensional t-J model has an intrinsic instability toward forming a quasi-one-dimensional (q-1d) Fermi surface. This q-1d state competes with, and is overcome by, the d-wave pairing state for a realistic parameter choice. However, we find that a small spatial anisotropy in t and J exposes the q-1d instability which has been hidden behind the d-wave pairing state, and brings about the coexistence with the d-wave pairing. We argue that this coexistence can be realized in La_{2-x}Sr_{x}CuO_4 systems


title: Possible Quasi-One-Dimensional Fermi Surface in La_{2-x}Sr_{x}CuO_4

abstract: To reconcile the two experimental findings on La_{2-x}Sr_{x}CuO_4, namely, Fermi surface (FS) observed by angle-resolved photoemission spectroscopy and sharp incommensurate magnetic peaks by neutron scattering, we propose a picture that a quasi-one-dimensional FS (q-1dFS) is realized in each CuO_{2} plane whose q-1d direction alternates along the c-axis.


title: Magnetic Excitation of t-J Model with Quasi-One-Dimensional Fermi Surface -- Possible Relevance to LSCO Systems

abstract: On the basis of the picture of a quasi-one-dimensional (q-1d) Fermi surface (FS), recently proposed by authors for LSCO systems, spin excitation spectrum, Im chi(q,omega), is calculated in the 'RPA' within the slave-boson mean-field approximation to the t-J model. It is found that Im chi(q,omega) shows both incommensurate (IC) and diagonal IC (DIC) peaks, whose realization does not depend on the existence of the d-wave gap. The peak positions do not change appreciably with omega and the sharp peaks survive down to the low hole doping rate. The d-wave gap suppresses both the IC peak and the DIC peak, but the degree of suppression as a function of omega is different between them. Taking these results together with results for the two-dimensional FS, we argue that essential features of magnetic excitation in LSCO systems can be understood in terms of the q-1d picture of the FS.


title: MFDFA: Efficient Multifractal Detrended Fluctuation Analysis in Python

abstract: Multifractal detrended fluctuation analysis (MFDFA) has become a central method to characterise the variability and uncertainty in empiric time series. Extracting the fluctuations on different temporal scales allows quantifying the strength and correlations in the underlying stochastic properties, their scaling behaviour, as well as the level of fractality. Several extensions to the fundamental method have been developed over the years, vastly enhancing the applicability of MFDFA, e.g. empirical mode decomposition for the study of long-range correlations and persistence. In this article we introduce an efficient, easy-to-use python library for MFDFA, incorporating the most common extensions and harnessing the most of multi-threaded processing for very fast calculations.


title: On the Asymptotic Optimality of Cross-Validation based Hyper-parameter Estimators for Regularized Least Squares Regression Problems

abstract: The asymptotic optimality (a.o.) of various hyper-parameter estimators with different optimality criteria has been studied in the literature for regularized least squares regression problems. The estimators include e.g., the maximum (marginal) likelihood method, $C_p$ statistics, and generalized cross validation method, and the optimality criteria are based on e.g., the inefficiency, the expectation inefficiency and the risk. In this paper, we consider the regularized least squares regression problems with fixed number of regression parameters, choose the optimality criterion based on the risk, and study the a.o. of several cross validation (CV) based hyper-parameter estimators including the leave $k$-out CV method, generalized CV method, $r$-fold CV method and hold out CV method. We find the former three methods can be a.o. under mild assumptions, but not the last one, and we use Monte Carlo simulations to illustrate the efficacy of our findings.


title: The SuSA model for neutrino oscillation experiments: from quasielastic scattering to the resonance region

abstract: High precision studies of Beyond-Standard-Model physics through accelerator-based neutrino oscillation experiments require a very accurate description of neutrino-nucleus cross sections in a broad energy region, going from quasielastic scattering up to deep inelastic scattering. In this work we focus on the following processes: quasielastic scattering, two-particle-two-hole excitations, and the excitation of the first (Delta) and second (Roper) resonances of the nucleon. The nuclear model is fully relativistic and includes both one- and two-body currents. We compare our results with recent T2K and MicroBooNE data on carbon and argon targets, and present predictions for DUNE kinematics.


title: Detection of Spin Coherence in Cold Atoms via Faraday Rotation Fluctuations

abstract: We report non-invasive detection of spin coherence in a collection of Raman-driven cold atoms using dispersive Faraday rotation fluctuation measurements, which opens up new possibilities of probing spin correlations in quantum gases and other similar systems. We demonstrate five orders of magnitude enhancement of the measured signal strength than the traditional spin noise spectroscopy with thermal atoms in equilibrium. Our observations are in good agreement with the comprehensive theoretical modeling of the driven atoms at various temperatures. The extracted spin relaxation rate of cold rubidium atoms with atom number density $\sim$10$^9/$cm$^3$ is of the order of 2$\pi\times$0.5 kHz at 150 $\mu$K, two orders of magnitude less than $\sim$ 2$\pi\times$50 kHz of a thermal atomic vapor with atom number density $\sim$10$^{12}/$cm$^3$ at 373 K.


title: ALMA detection of hydrogen cyanide (HCN) in the atmosphere of Saturn

abstract: In the planetary atmosphere, hydrogen cyanide (HCN) is an important nitrogen-bearing molecule that plays a key role in the formation of several biomolecules via chain reactions. The presence of an HCN characterizes the stratospheric composition of the solar gas planets and exoplanets. For several years, many observations have failed to detect the emission lines of HCN from the atmosphere of Saturn using ground- and space-based radio telescopes. We present the successful detection of the rotational emission line of HCN from the atmosphere of Saturn using the Atacama Large Millimeter/Submillimeter Array (ALMA) band 7. We detected the J = 4$-$3 transition line of the HCN from the eastern and western limbs of Saturn with $\geq$5$\sigma$ statistical significance. The derived abundances of HCN in the western and eastern limbs were 6.19 ppb and 2.90 ppb, respectively. We claim that HCN was formed in the atmosphere of Saturn via the photolysis of methane (CH$_{4}$) and ammonia (NH$_{3}$).


title: Camouflaged Object Segmentation with Distraction Mining

abstract: Camouflaged object segmentation (COS) aims to identify objects that are "perfectly" assimilate into their surroundings, which has a wide range of valuable applications. The key challenge of COS is that there exist high intrinsic similarities between the candidate objects and noise background. In this paper, we strive to embrace challenges towards effective and efficient COS. To this end, we develop a bio-inspired framework, termed Positioning and Focus Network (PFNet), which mimics the process of predation in nature. Specifically, our PFNet contains two key modules, i.e., the positioning module (PM) and the focus module (FM). The PM is designed to mimic the detection process in predation for positioning the potential target objects from a global perspective and the FM is then used to perform the identification process in predation for progressively refining the coarse prediction via focusing on the ambiguous regions. Notably, in the FM, we develop a novel distraction mining strategy for distraction discovery and removal, to benefit the performance of estimation. Extensive experiments demonstrate that our PFNet runs in real-time (72 FPS) and significantly outperforms 18 cutting-edge models on three challenging datasets under four standard metrics.


title: Null hypersurface caustics for high dimensional superentropic black holes

abstract: A black hole is superentropic if it violates the reverse isoperimetric inequality. Recently, some studies have indicated that some four dimensional superentropic black holes have the null hypersurface caustics (NHC) outside their event horizons. In this paper, we extend to explore whether or not the NHC exists in the cases of high dimensional superentropic black holes. We consider the singly rotating Kerr-AdS superentropic black holes in arbitrary dimensions and the singly rotating charged superentropic black hole in five-dimensional minimal gauged supergravity, and find that the NHC exists outside the event horizons for these superentropic black holes. Furthermore, the spacetime dimensions and other parameters of black hole, such as the electric charge, have important impact on the NHC inside the horizon. Our results indicate that when the superentropic black hole has the Cauchy horizon, the NHC will also exist inside the Cauchy horizon.


title: Hybrid Constructions of Binary Sequences with Low Autocorrelation Sidelobes

abstract: In this work, a classical problem of the digital sequence design, or more precisely, finding binary sequences with optimal peak sidelobe level (PSL), is revisited. By combining some of our previous works, together with some mathematical insights, few hybrid heuristic algorithms were created. During our experiments, and by using the aforementioned algorithms, we were able to find PSL-optimal binary sequences for all those lengths, which were previously found during exhaustive searches by various papers throughout the literature. Then, by using a general-purpose computer, we further demonstrate the effectiveness of the proposed algorithms by revealing binary sequences with lengths between 106 and 300, the majority of which possess record-breaking PSL values. Then, by using some well-known algebraic constructions, we outline few strategies for finding highly competitive binary sequences, which could be efficiently optimized, in terms of PSL, by the proposed algorithms.


title: The mean-field Zero-Range process with unbounded monotone rates: mixing time, cutoff, and Poincar\'e constant

abstract: We consider the mean-field Zero-Range process in the regime where the potential function $r$ is increasing to infinity at sublinear speed, and the density of particles is bounded. We determine the mixing time of the system, and establish cutoff. We also prove that the Poincar\'e constant is bounded away from zero and infinity. This mean-field estimate extends to arbitrary geometries via a comparison argument. Our proof uses the path-coupling method of Bubley and Dyer and stochastic calculus.


title: Spatio-temporal complexity of power-grid frequency fluctuations

abstract: Power-grid systems constitute one of the most complex man-made spatially extended structures. These operate with strict operational bounds to ensure synchrony across the grid. This is particularly relevant for power-grid frequency, which operates strictly at $50\,$Hz ($60\,$Hz). Nevertheless, small fluctuations around the mean frequency are present at very short time scales $<2$ seconds and can exhibit highly complex spatio-temporal behaviour. Here we apply superstatistical data analysis techniques to measured frequency fluctuations in the Nordic Grid. We study the increment statistics and extract the relevant time scales and superstatistical distribution functions from the data. We show that different synchronous recordings of power-grid frequency have very distinct stochastic fluctuations with different types of superstatistics at different spatial locations, and with transitions from one superstatistics to another when the time lag of the increment statistics is changed.


title: Print Your Money: Cash-Like Experiences with Digital Money

abstract: The use of digital money has become increasingly popular, but it comes with certain drawbacks. For instance, it can be challenging to make payments during power outages or internet failures. Additionally, some groups may find it difficult to use digital money. To address these concerns, we propose a design for a central bank digital currency (CBDC) similar to physical cash but also integrates with digital payment systems. This would enable users to access digital money without needing a third party. Our design also addresses technical and security concerns by implementing a trust-level model and ensuring that the system meets users' security needs. Ultimately, our design has the potential to replace physical banknotes and coins.


title: SKID: Self-Supervised Learning for Knee Injury Diagnosis from MRI Data

abstract: In medical image analysis, the cost of acquiring high-quality data and their annotation by experts is a barrier in many medical applications. Most of the techniques used are based on supervised learning framework and need a large amount of annotated data to achieve satisfactory performance. As an alternative, in this paper, we propose a self-supervised learning (SSL) approach to learn the spatial anatomical representations from the frames of magnetic resonance (MR) video clips for the diagnosis of knee medical conditions. The pretext model learns meaningful spatial context-invariant representations. The downstream task in our paper is a class imbalanced multi-label classification. Different experiments show that the features learnt by the pretext model provide competitive performance in the downstream task. Moreover, the efficiency and reliability of the proposed pretext model in learning representations of minority classes without applying any strategy towards imbalance in the dataset can be seen from the results. To the best of our knowledge, this work is the first work of its kind in showing the effectiveness and reliability of self-supervised learning algorithms in class imbalanced multi-label classification tasks on MR videos. The code for evaluation of the proposed work is available at https://github.com/sadimanna/skid.


title: GraphSVX: Shapley Value Explanations for Graph Neural Networks

abstract: Graph Neural Networks (GNNs) achieve significant performance for various learning tasks on geometric data due to the incorporation of graph structure into the learning of node representations, which renders their comprehension challenging. In this paper, we first propose a unified framework satisfied by most existing GNN explainers. Then, we introduce GraphSVX, a post hoc local model-agnostic explanation method specifically designed for GNNs. GraphSVX is a decomposition technique that captures the "fair" contribution of each feature and node towards the explained prediction by constructing a surrogate model on a perturbed dataset. It extends to graphs and ultimately provides as explanation the Shapley Values from game theory. Experiments on real-world and synthetic datasets demonstrate that GraphSVX achieves state-of-the-art performance compared to baseline models while presenting core theoretical and human-centric properties.


title: Adaptive learning for financial markets mixing model-based and model-free RL for volatility targeting

abstract: Model-Free Reinforcement Learning has achieved meaningful results in stable environments but, to this day, it remains problematic in regime changing environments like financial markets. In contrast, model-based RL is able to capture some fundamental and dynamical concepts of the environment but suffer from cognitive bias. In this work, we propose to combine the best of the two techniques by selecting various model-based approaches thanks to Model-Free Deep Reinforcement Learning. Using not only past performance and volatility, we include additional contextual information such as macro and risk appetite signals to account for implicit regime changes. We also adapt traditional RL methods to real-life situations by considering only past data for the training sets. Hence, we cannot use future information in our training data set as implied by K-fold cross validation. Building on traditional statistical methods, we use the traditional "walk-forward analysis", which is defined by successive training and testing based on expanding periods, to assert the robustness of the resulting agent. Finally, we present the concept of statistical difference's significance based on a two-tailed T-test, to highlight the ways in which our models differ from more traditional ones. Our experimental results show that our approach outperforms traditional financial baseline portfolio models such as the Markowitz model in almost all evaluation metrics commonly used in financial mathematics, namely net performance, Sharpe and Sortino ratios, maximum drawdown, maximum drawdown over volatility.


title: Revealing hidden magneto-electric multipoles using Compton scattering

abstract: Magneto-electric multipoles, which are odd under both space-inversion $\cal I$ and time-reversal $\cal T$ symmetries, are fundamental in understanding and characterizing magneto-electric materials. However, the detection of these magneto-electric multipoles is often not straightforward as they remain "hidden" in conventional experiments in part since many magneto-electrics exhibit combined $\cal IT$ symmetry. In the present work, we show that the anti-symmetric Compton profile is a unique signature for all the magneto-electric multipoles, since the asymmetric magnetization density of the magneto-electric multipoles couples to space via spin-orbit coupling, resulting in an anti-symmetric Compton profile. We develop the key physics of the anti-symmetric Compton scattering using symmetry analysis and demonstrate it using explicit first-principles calculations for two well-known representative materials with magneto-electric multipoles, insulating LiNiPO$_4$ and metallic Mn$_2$Au. Our work emphasizes the crucial roles of the orientation of the spin moments, the spin-orbit coupling, and the band structure in generating the anti-symmetric Compton profile in magneto-electric materials.


title: Jet Properties of XTE J1752-223 During its 2009-2010 Outburst

abstract: Galactic short orbital period black hole candidate (BHC) XTE~J1752-223 was discovered on 2009 Oct 21 by the Rossi X-ray Timing Explorer (RXTE). We study the spectral properties of this outburst using transonic flow solution based two component advective flow (TCAF) model. TCAF model fitted spectrum gives an estimation of the physical flow parameters, such as the Keplerian disk rate, sub-Keplerian halo rate, properties of the so-called {\it{Compton cloud}}, other than the mass of the source and normalization ($N$). $N$ is a standardized ratio of emitted to observed photon flux in TCAF which does not include X-ray emission from jets. In the presence of jets, this ratio changes and this deviation is used to obtain the estimation of X-ray contribution from the jets. Nature of the jet is found to be compact during low luminous hard state and discrete or blobby during high luminous intermediate states. We find a correlation between the radio (5.5 GHz) and X-ray ($2.5-25$ keV) fluxes from different components. The radio ($F_R$) and jet X-ray ($F_{ouf}$) fluxes are found to be correlated within the acceptable range of the standard correlation ($0.6$ to $0.7$). A similar correlation indices were reported by our group for three other short orbital period transient BHCs (Swift~J1753.5-0127, MAXI~J1836-194 \& XTE~J1118+480).


title: Effective string description of the confining flux tube at finite temperature

abstract: In this review, after a general introduction to the effective string theory (EST) description of confinement in pure gauge theories, we discuss the behaviour of EST as the temperature is increased. We show that, as the deconfinement point is approached from below, several universal features of confining gauge theories, like the ratio $T_c/\sqrt{\sigma_0}$, the linear increase of the squared width of the flux tube with the interquark distance, or the Temperature dependence of the interquark potential, can be accurately predicted by the effective string. Moreover in the vicinity of the deconfinement point the EST behaviour turns out to be in good agreement with what predicted by conformal invariance or by dimensional reduction, thus further supporting the validity of and EST approach to confinement.


title: Study of Close Stellar Encounters with the Solar System Based on Data from the Gaia EDR3 Catalogue

abstract: We have studied stellar candidates for close (within 1 pc) encounters with the Solar system. For all of the stars under consideration the kinematic characteristics have been taken from the Gaia EDR3 catalogue. The parameters of the encounters of these stars with the Solar system have been calculated using three methods: (1) the linear one, (2) by integrating the orbits in an axisymmetric potential, and (3) by integrating the orbits in a potential with a spiral density wave. All three methods are shown to yield similar results. We have selected five stars that are good candidates for reaching the boundaries of the Oort cloud and passing through it. Based on the second method, in good agreement with the other two methods, we have obtained the following estimates of the encounter parameters for the star GJ 710: $t_{min}=1.320\pm0.028$ Myr and $d_{min}=0.020\pm0.007$ pc. It is also interesting to note the star Gaia EDR3 510911618569239040 with parameters $t_{min}=-2.863\pm0.046$ Myr and $d_{min}=0.057\pm0.079$ pc.


title: A Two-Stage Attentive Network for Single Image Super-Resolution

abstract: Recently, deep convolutional neural networks (CNNs) have been widely explored in single image super-resolution (SISR) and contribute remarkable progress. However, most of the existing CNNs-based SISR methods do not adequately explore contextual information in the feature extraction stage and pay little attention to the final high-resolution (HR) image reconstruction step, hence hindering the desired SR performance. To address the above two issues, in this paper, we propose a two-stage attentive network (TSAN) for accurate SISR in a coarse-to-fine manner. Specifically, we design a novel multi-context attentive block (MCAB) to make the network focus on more informative contextual features. Moreover, we present an essential refined attention block (RAB) which could explore useful cues in HR space for reconstructing fine-detailed HR image. Extensive evaluations on four benchmark datasets demonstrate the efficacy of our proposed TSAN in terms of quantitative metrics and visual effects. Code is available at https://github.com/Jee-King/TSAN.


title: Eye Know You: Metric Learning for End-to-end Biometric Authentication Using Eye Movements from a Longitudinal Dataset

abstract: The permanence of eye movements as a biometric modality remains largely unexplored in the literature. The present study addresses this limitation by evaluating a novel exponentially-dilated convolutional neural network for eye movement authentication using a recently proposed longitudinal dataset known as GazeBase. The network is trained using multi-similarity loss, which directly enables the enrollment and authentication of out-of-sample users. In addition, this study includes an exhaustive analysis of the effects of evaluating on various tasks and downsampling from 1000 Hz to several lower sampling rates. Our results reveal that reasonable authentication accuracy may be achieved even during both a low-cognitive-load task and at low sampling rates. Moreover, we find that eye movements are quite resilient against template aging after as long as 3 years.


title: FIERY: Future Instance Prediction in Bird's-Eye View from Surround Monocular Cameras

abstract: Driving requires interacting with road agents and predicting their future behaviour in order to navigate safely. We present FIERY: a probabilistic future prediction model in bird's-eye view from monocular cameras. Our model predicts future instance segmentation and motion of dynamic agents that can be transformed into non-parametric future trajectories. Our approach combines the perception, sensor fusion and prediction components of a traditional autonomous driving stack by estimating bird's-eye-view prediction directly from surround RGB monocular camera inputs. FIERY learns to model the inherent stochastic nature of the future solely from camera driving data in an end-to-end manner, without relying on HD maps, and predicts multimodal future trajectories. We show that our model outperforms previous prediction baselines on the NuScenes and Lyft datasets. The code and trained models are available at https://github.com/wayveai/fiery.


title: The relevant excitations for the one-body function in the Lieb-Liniger model

abstract: We study the ground state one-body correlation function in the Lieb-Liniger model. In the spectral representation, correlations are built from contributions stemming from different excited states of the model. We aim to understand which excited states carry significant contributions, specifically focusing on the small energy-momentum part of the dynamic one-body function. We conjecture that relevant excitations take form similar to two-spinon states known from XXZ spin chain. We validate this hypothesis by numerical evaluation of the correlator with ABACUS algorithm and by analytical computations in the strongly interacting regime.

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


title: Skimming and Scanning for Untrimmed Video Action Recognition

abstract: Video action recognition (VAR) is a primary task of video understanding, and untrimmed videos are more common in real-life scenes. Untrimmed videos have redundant and diverse clips containing contextual information, so sampling dense clips is essential. Recently, some works attempt to train a generic model to select the N most representative clips. However, it is difficult to model the complex relations from intra-class clips and inter-class videos within a single model and fixed selected number, and the entanglement of multiple relations is also hard to explain. Thus, instead of "only look once", we argue "divide and conquer" strategy will be more suitable in untrimmed VAR. Inspired by the speed reading mechanism, we propose a simple yet effective clip-level solution based on skim-scan techniques. Specifically, the proposed Skim-Scan framework first skims the entire video and drops those uninformative and misleading clips. For the remaining clips, it scans clips with diverse features gradually to drop redundant clips but cover essential content. The above strategies can adaptively select the necessary clips according to the difficulty of the different videos. To trade off the computational complexity and performance, we observe the similar statistical expression between lightweight and heavy networks, thus it supports us to explore the combination of them. Comprehensive experiments are performed on ActivityNet and mini-FCVID datasets, and results demonstrate that our solution surpasses the state-of-the-art performance in terms of both accuracy and efficiency.


title: End-to-end Biomedical Entity Linking with Span-based Dictionary Matching

abstract: Disease name recognition and normalization, which is generally called biomedical entity linking, is a fundamental process in biomedical text mining. Recently, neural joint learning of both tasks has been proposed to utilize the mutual benefits. While this approach achieves high performance, disease concepts that do not appear in the training dataset cannot be accurately predicted. This study introduces a novel end-to-end approach that combines span representations with dictionary-matching features to address this problem. Our model handles unseen concepts by referring to a dictionary while maintaining the performance of neural network-based models, in an end-to-end fashion. Experiments using two major datasets demonstrate that our model achieved competitive results with strong baselines, especially for unseen concepts during training.


title: On the embeddability of countably branching bundle graphs into dual spaces

abstract: In this note the result by A. Swift concerning the embeddability of countably branching bundle graphs into Banach spaces is extended from the context of reflexive spaces with an unconditional asymptotic structure to the context of dual spaces with a weak$^*$ unconditional asymptotic structure. We also investigate weak$^*$ asymptotic midpoint uniform convexity in dual spaces which turns out to be equivalent to its weak version in general and to the standard weak$^*$ asymptotic uniform convexity up to renorming in dual spaces with a weak$^*$ unconditional asymptotic structure.


title: Most Cantor sets in $\mathbb R^N$ are in general position with respect to all projections

abstract: We prove the theorem stated in the title. This answers a question of John Cobb (1994). We also consider the case of the Hilbert space $\ell _2$.


title: Comparing merging behaviors observed in naturalistic data with behaviors generated by a machine learned model

abstract: There is quickly growing literature on machine-learned models that predict human driving trajectories in road traffic. These models focus their learning on low-dimensional error metrics, for example average distance between model-generated and observed trajectories. Such metrics permit relative comparison of models, but do not provide clearly interpretable information on how close to human behavior the models actually come, for example in terms of higher-level behavior phenomena that are known to be present in human driving. We study highway driving as an example scenario, and introduce metrics to quantitatively demonstrate the presence, in a naturalistic dataset, of two familiar behavioral phenomena: (1) The kinematics-dependent contest, between on-highway and on-ramp vehicles, of who passes the merging point first. (2) Courtesy lane changes away from the outermost lane, to leave space for a merging vehicle. Applying the exact same metrics to the output of a state-of-the-art machine-learned model, we show that the model is capable of reproducing the former phenomenon, but not the latter. We argue that this type of behavioral analysis provides information that is not available from conventional model-fitting metrics, and that it may be useful to analyze (and possibly fit) models also based on these types of behavioral criteria.


title: Line-tied boundary conditions can cause resonant absorption models to generate unphysically large boundary layers

abstract: This paper uses linear magnetohydrodynamics to model resonant absorption in coronal plasma with a Cartesian coordinate system. We impose line-tied boundary conditions and tilt the background magnetic field to be oblique to the transition region. Halberstadt & Goedbloed (1993, 1995); Goedbloed& Halberstadt (1994); Arregui et al. (2003) show that line-tied boundary conditions cause their resonant absorption models to produce steep boundary layers/evanescent fast waves. We aim to study the importance of the boundary layers and assess their significance in a solar context. We calculate the solutions in a model where we impose line-tied boundary conditions and compare this with a model where we include the chromosphere instead. Results are calculated analytically and then verified numerically. We show that line-tied boundary conditions can cause the model to overestimate the boundary layers' amplitude significantly. If the fast waves can propagate in the chromosphere, then the line-tied model accurately predicts the boundary layers' amplitude. However, if the fast waves are evanescent, then the boundary layers' size is reduced significantly, and the line-tied model overestimates their amplitude. This leads to the counter-intuitive result that the length scales tangential to the transition region can play an essential role in determining line-tied boundary conditions' validity. The results suggest that line-tied boundary conditions can cause the model to generate unphysically large boundary layers. However, researchers may wish to continue to use them in their models for their simplicity and ability to significantly reduce computation time if they understand and are aware of their flaws.


title: On some non-local approximation of nonisotropic Griffith-type functionals

abstract: The approximation in the sense of $\Gamma$-convergence of nonisotropic Griffith-type functionals, with $p-$growth ($p>1$) in the symmetrized gradient, by means of a suitable sequence of non-local convolution type functionals defined on Sobolev spaces, is analysed.


title: Detailed study of decay properties of 7He nucleus states in ab initio approach

abstract: The energies and decay widths of the states of the exotic 7He nucleus are studied in an ab initio approach. The spectrum of these states is calculated using No-Core Shell Model and corresponding extrapolation procedure. Well-proven on a large amount of data the Daejeon16 potential is used in the calculations. The previously developed NCSM-based approach, which includes a method for constructing the basis of orthogonalized functions of cluster channels and a procedure for matching the cluster form factors obtained within this method with the corresponding asymptotic wave functions, is applied to compute the decay widths of the levels. The possibilities of the approach for calculating the partial decay widths of nuclear states into various channels strongly differing in type of fragmentation, spin, angular momentum of relative motion, and amplitude are demonstrated. The results obtained are compared with the results of other microscopic calculations.


title: Loops in AdS: From the Spectral Representation to Position Space II

abstract: We continue the study of AdS loop amplitudes in the spectral representation and in position space. We compute the finite coupling 4-point function in position space for the large-$N$ conformal Gross Neveu model on $AdS_3$. The resummation of loop bubble diagrams gives a result proportional to a tree-level contact diagram. We show that certain families of fermionic Witten diagrams can be easily computed from their companion scalar diagrams. Thus, many of the results and identities of [1] are extended to the case of external fermions. We derive a spectral representation for ladder diagrams in AdS. Finally, we compute various bulk 2-point correlators, extending the results of [1].


title: A Survey on Federated Learning and its Applications for Accelerating Industrial Internet of Things

abstract: Federated learning (FL) brings collaborative intelligence into industries without centralized training data to accelerate the process of Industry 4.0 on the edge computing level. FL solves the dilemma in which enterprises wish to make the use of data intelligence with security concerns. To accelerate industrial Internet of things with the further leverage of FL, existing achievements on FL are developed from three aspects: 1) define terminologies and elaborate a general framework of FL for accommodating various scenarios; 2) discuss the state-of-the-art of FL on fundamental researches including data partitioning, privacy preservation, model optimization, local model transportation, personalization, motivation mechanism, platform & tools, and benchmark; 3) discuss the impacts of FL from the economic perspective. To attract more attention from industrial academia and practice, a FL-transformed manufacturing paradigm is presented, and future research directions of FL are given and possible immediate applications in Industry 4.0 domain are also proposed.


title: Quantum ESPRESSO toward the exascale

abstract: Quantum ESPRESSO is an open-source distribution of computer codes for quantum-mechanical materials modeling, based on density-functional theory, pseudopotentials, and plane waves, and renowned for its performance on a wide range of hardware architectures, from laptops to massively parallel computers, as well as for the breadth of its applications. In this paper we present a motivation and brief review of the ongoing effort to port Quantum ESPRESSO onto heterogeneous architectures based on hardware accelerators, which will overcome the energy constraints that are currently hindering the way towards exascale computing.


title: Chandra, NuSTAR, and Optical Observations of the Cataclysmic Variables IGR J17528-2022 and IGR J20063+3641

abstract: We report on Chandra, NuSTAR, and MDM observations of two INTEGRAL sources, namely IGR J17528-2022 and IGR J20063+3641. IGR J17528-2022 is an unidentified INTEGRAL source, while IGR J20063+3641 was recently identified as a magnetic cataclysmic variable (mCV) by Halpern et al. (2018). The Chandra observation of IGR J17528-2022 has allowed us to locate the optical counterpart to the source and to obtain its optical spectrum, which shows a strong H$\alpha$ emission line. The optical spectrum and flickering observed in the optical time-series photometry in combination with the X-ray spectrum, which is well fit by an absorbed partially covered thermal bremsstrahlung model, suggests that this source is a strong mCV candidate. The X-ray observations of IGR J20063+3641 reveal a clear modulation with a period of 172.46$\pm0.01$ s, which we attribute to the white dwarf spin period. Additional MDM spectroscopy of the source has also allowed for a clear determination of the orbital period at 0.731$\pm0.015$ d. The X-ray spectrum of this source is also well fit by an absorbed partially covered thermal bremsstrahlung model. The X-ray spectrum, spin periodicity, and orbital periodicity allow this source to be further classified as an intermediate polar.


title: A linear variant of GT

abstract: In this work, we introduce a variant of the Grothendieck-Teichm\"uller group, defined in terms of complements of hyperplane arrangements and pro-$\ell$ two-step nilpotent fundamental groups, and prove that it is isomorphic to the absolute Galois group of $\mathbb{Q}$.


title: Interpretation of multi-label classification models using shapley values

abstract: Multi-label classification is a type of classification task, it is used when there are two or more classes, and the data point we want to predict may belong to none of the classes or all of them at the same time. In the real world, many applications are actually multi-label involved, including information retrieval, multimedia content annotation, web mining, and so on. A game theory-based framework known as SHapley Additive exPlanations (SHAP) has been applied to explain various supervised learning models without being aware of the exact model. Herein, this work further extends the explanation of multi-label classification task by using the SHAP methodology. The experiment demonstrates a comprehensive comparision of different algorithms on well known multi-label datasets and shows the usefulness of the interpretation.


title: Basic properties of $X$ for which spaces $C_p(X)$ are distinguished

abstract: In our paper [18] we showed that a Tychonoff space $X$ is a $\Delta$-space (in the sense of [20], [30]) if and only if the locally convex space $C_{p}(X)$ is distinguished. Continuing this research, we investigate whether the class $\Delta$ of $\Delta$-spaces is invariant under the basic topological operations. We prove that if $X \in \Delta$ and $\varphi:X \to Y$ is a continuous surjection such that $\varphi(F)$ is an $F_{\sigma}$-set in $Y$ for every closed set $F \subset X$, then also $Y\in \Delta$. As a consequence, if $X$ is a countable union of closed subspaces $X_i$ such that each $X_i\in \Delta$, then also $X\in \Delta$. In particular, $\sigma$-product of any family of scattered Eberlein compact spaces is a $\Delta$-space and the product of a $\Delta$-space with a countable space is a $\Delta$-space. Our results give answers to several open problems posed in \cite{KL}. Let $T:C_p(X) \longrightarrow C_p(Y)$ be a continuous linear surjection. We observe that $T$ admits an extension to a linear continuous operator $\widehat{T}$ from $R^X$ onto $R^Y$ and deduce that $Y$ is a $\Delta$-space whenever $X$ is. Similarly, assuming that $X$ and $Y$ are metrizable spaces, we show that $Y$ is a $Q$-set whenever $X$ is. Making use of obtained results, we provide a very short proof for the claim that every compact $\Delta$-space has countable tightness. As a consequence, under Proper Forcing Axiom (PFA) every compact $\Delta$-space is sequential. In the article we pose a dozen open questions.


title: On Sampling-Based Training Criteria for Neural Language Modeling

abstract: As the vocabulary size of modern word-based language models becomes ever larger, many sampling-based training criteria are proposed and investigated. The essence of these sampling methods is that the softmax-related traversal over the entire vocabulary can be simplified, giving speedups compared to the baseline. A problem we notice about the current landscape of such sampling methods is the lack of a systematic comparison and some myths about preferring one over another. In this work, we consider Monte Carlo sampling, importance sampling, a novel method we call compensated partial summation, and noise contrastive estimation. Linking back to the three traditional criteria, namely mean squared error, binary cross-entropy, and cross-entropy, we derive the theoretical solutions to the training problems. Contrary to some common belief, we show that all these sampling methods can perform equally well, as long as we correct for the intended class posterior probabilities. Experimental results in language modeling and automatic speech recognition on Switchboard and LibriSpeech support our claim, with all sampling-based methods showing similar perplexities and word error rates while giving the expected speedups.


title: Searching with Opponent-Awareness

abstract: We propose Searching with Opponent-Awareness (SOA), an approach to leverage opponent-aware planning without explicit or a priori opponent models for improving performance and social welfare in multi-agent systems. To this end, we develop an opponent-aware MCTS scheme using multi-armed bandits based on Learning with Opponent-Learning Awareness (LOLA) and compare its effectiveness with other bandits, including UCB1. Our evaluations include several different settings and show the benefits of SOA are especially evident with increasing number of agents.


title: Influence of Bi substitution with rare-earth elements on the transport properties of BiCuSeO oxyselenides

abstract: In this study, we demonstrate that introducing of rare-earth elements, $R$ = La or Pr, into the Bi-O charge reservoir layer of BiCuSeO leads to an increase of both, the charge carrier concentration and the effective mass. Although the charge carrier mobility slightly decreases upon Bi$^{3+}$ to $R^{3+}$ substitution, the electronic transport properties are significantly improved in a broad temperature range from 100 K to 800 K. In particular, the electrical resistivity decreases by two times, while the Seebeck coefficient drops from 323 ${\mu}$V K$^{-1}$ to 238 ${\mu}$V K$^{-1}$ at 800 K. Thus, a power factor of nearly 3 ${\mu}$W cm$^{-1}$ K$^{-2}$ is achieved for Bi$_{0.92}$La$_{0.08}$CuSeO sample at 800 K. Meanwhile, a noticeable decrease of the lattice thermal conductivity is observed for the substituted samples, which can be attributed to the enhanced point defect scattering mostly originated from atomic mass fluctuations between $R$ and Bi. Ultimately, a maximum $zT$ value of nearly 0.34 at 800 K is obtained for the Bi$_{0.92}$La$_{0.08}$CuSeO sample, which is ~30% higher than that of pristine BiCuSeO.


title: Balanced Knowledge Distillation for Long-tailed Learning

abstract: Deep models trained on long-tailed datasets exhibit unsatisfactory performance on tail classes. Existing methods usually modify the classification loss to increase the learning focus on tail classes, which unexpectedly sacrifice the performance on head classes. In fact, this scheme leads to a contradiction between the two goals of long-tailed learning, i.e., learning generalizable representations and facilitating learning for tail classes. In this work, we explore knowledge distillation in long-tailed scenarios and propose a novel distillation framework, named Balanced Knowledge Distillation (BKD), to disentangle the contradiction between the two goals and achieve both simultaneously. Specifically, given a vanilla teacher model, we train the student model by minimizing the combination of an instance-balanced classification loss and a class-balanced distillation loss. The former benefits from the sample diversity and learns generalizable representation, while the latter considers the class priors and facilitates learning mainly for tail classes. The student model trained with BKD obtains significant performance gain even compared with its teacher model. We conduct extensive experiments on several long-tailed benchmark datasets and demonstrate that the proposed BKD is an effective knowledge distillation framework in long-tailed scenarios, as well as a new state-of-the-art method for long-tailed learning. Code is available at https://github.com/EricZsy/BalancedKnowledgeDistillation .


title: Hierarchical Convolutional Neural Network with Feature Preservation and Autotuned Thresholding for Crack Detection

abstract: Drone imagery is increasingly used in automated inspection for infrastructure surface defects, especially in hazardous or unreachable environments. In machine vision, the key to crack detection rests with robust and accurate algorithms for image processing. To this end, this paper proposes a deep learning approach using hierarchical convolutional neural networks with feature preservation (HCNNFP) and an intercontrast iterative thresholding algorithm for image binarization. First, a set of branch networks is proposed, wherein the output of previous convolutional blocks is half-sizedly concatenated to the current ones to reduce the obscuration in the down-sampling stage taking into account the overall information loss. Next, to extract the feature map generated from the enhanced HCNN, a binary contrast-based autotuned thresholding (CBAT) approach is developed at the post-processing step, where patterns of interest are clustered within the probability map of the identified features. The proposed technique is then applied to identify surface cracks on the surface of roads, bridges or pavements. An extensive comparison with existing techniques is conducted on various datasets and subject to a number of evaluation criteria including the average F-measure (AF\b{eta}) introduced here for dynamic quantification of the performance. Experiments on crack images, including those captured by unmanned aerial vehicles inspecting a monorail bridge. The proposed technique outperforms the existing methods on various tested datasets especially for GAPs dataset with an increase of about 1.4% in terms of AF\b{eta} while the mean percentage error drops by 2.2%. Such performance demonstrates the merits of the proposed HCNNFP architecture for surface defect inspection.


title: Failed Supernova Remnants

abstract: In a failed supernova, partial ejection of the progenitor's outer envelope can occur due to weakening of the core's gravity by neutrino emission in the protoneutron star phase. We consider emission when this ejecta sweeps up the circumstellar material, analogous to supernova remnants (SNRs). We focus on failed explosions of blue supergiants, and find that the emission can be bright in soft X-rays. Due to its soft emission, we find that sources in the Large Magellanic Cloud (LMC) are more promising to detect than those in the Galactic disk. These remnants are characteristic in smallness ($\lesssim 10$ pc) and slowness (100s of ${\rm km\ s^{-1}}$) compared to typical SNRs. Although the expected number of detectable sources is small (up to a few by eROSITA 4-year all-sky survey), prospects are better for deeper surveys targeting the LMC. Detection of these failed SNRs will realize observational studies of mass ejection upon black hole formation.


title: How Will Your Tweet Be Received? Predicting the Sentiment Polarity of Tweet Replies

abstract: Twitter sentiment analysis, which often focuses on predicting the polarity of tweets, has attracted increasing attention over the last years, in particular with the rise of deep learning (DL). In this paper, we propose a new task: predicting the predominant sentiment among (first-order) replies to a given tweet. Therefore, we created RETWEET, a large dataset of tweets and replies manually annotated with sentiment labels. As a strong baseline, we propose a two-stage DL-based method: first, we create automatically labeled training data by applying a standard sentiment classifier to tweet replies and aggregating its predictions for each original tweet; our rationale is that individual errors made by the classifier are likely to cancel out in the aggregation step. Second, we use the automatically labeled data for supervised training of a neural network to predict reply sentiment from the original tweets. The resulting classifier is evaluated on the new RETWEET dataset, showing promising results, especially considering that it has been trained without any manually labeled data. Both the dataset and the baseline implementation are publicly available.


title: Multiscale modelling of structure formation of C$_{60}$ on insulating CaF$_2$ substrates

abstract: Morphologies of adsorbed molecular films are of interest in a wide range of applications. To study the epitaxial growth of these systems in computer simulations requires access to long time and length scales and one typically resorts to kinetic Monte Carlo (KMC) simulations. However, KMC simulations require as input transition rates and their dependence on external parameters (such as temperature). Experimental data allows only limited and indirect access to these rates, and models are often oversimplified. Here we follow a bottom-up approach and aim to systematically construct all relevant rates for an example system that has shown interesting properties in experiments, buckminsterfullerene on a calcium fluoride substrate. We develop classical force fields (both atomistic and coarse-grained) and perform molecular dynamics simulations of the elementary transitions in order to derive explicit expressions for the transition rates with a minimal number of free parameters.


title: Real-time dense 3D Reconstruction from monocular video data captured by low-cost UAVs

abstract: Real-time 3D reconstruction enables fast dense mapping of the environment which benefits numerous applications, such as navigation or live evaluation of an emergency. In contrast to most real-time capable approaches, our approach does not need an explicit depth sensor. Instead, we only rely on a video stream from a camera and its intrinsic calibration. By exploiting the self-motion of the unmanned aerial vehicle (UAV) flying with oblique view around buildings, we estimate both camera trajectory and depth for selected images with enough novel content. To create a 3D model of the scene, we rely on a three-stage processing chain. First, we estimate the rough camera trajectory using a simultaneous localization and mapping (SLAM) algorithm. Once a suitable constellation is found, we estimate depth for local bundles of images using a Multi-View Stereo (MVS) approach and then fuse this depth into a global surfel-based model. For our evaluation, we use 55 video sequences with diverse settings, consisting of both synthetic and real scenes. We evaluate not only the generated reconstruction but also the intermediate products and achieve competitive results both qualitatively and quantitatively. At the same time, our method can keep up with a 30 fps video for a resolution of 768x448 pixels.


title: Improving BERT Pretraining with Syntactic Supervision

abstract: Bidirectional masked Transformers have become the core theme in the current NLP landscape. Despite their impressive benchmarks, a recurring theme in recent research has been to question such models' capacity for syntactic generalization. In this work, we seek to address this question by adding a supervised, token-level supertagging objective to standard unsupervised pretraining, enabling the explicit incorporation of syntactic biases into the network's training dynamics. Our approach is straightforward to implement, induces a marginal computational overhead and is general enough to adapt to a variety of settings. We apply our methodology on Lassy Large, an automatically annotated corpus of written Dutch. Our experiments suggest that our syntax-aware model performs on par with established baselines, despite Lassy Large being one order of magnitude smaller than commonly used corpora.


title: Finding the symmetry group of an LP with equality constraints and its application to classifying orthogonal arrays

abstract: For a given linear program (LP) a permutation of its variables that sends feasible points to feasible points and preserves the objective function value of each of its feasible points is a symmetry of the LP. The set of all symmetries of an LP, denoted by $G^{\rm LP}$, is the symmetry group of the LP. Margot [F. Margot, 50 Years of Integer Programming 1958-2008 (2010), 647-686] described a method for computing a subgroup of the symmetry group $G^{\rm LP}$ of an LP. This method computes $G^{\rm LP}$ when the LP has only non-redundant inequalities and its feasible set satisfies no equality constraints. However, when the feasible set of the LP satisfies equality constraints this method finds only a subgroup of $G^{\rm LP}$ and can miss symmetries. We develop a method for finding the symmetry group of a feasible LP whose feasible set satisfies equality constraints. We apply this method to find and exploit the previously unexploited symmetries of an orthogonal array defining integer linear program (ILP) within the branch-and-bound (B\&B) with isomorphism pruning algorithm [F. Margot, Symmetric ILP: Coloring and small integers, Discrete Optimization 4 (1) (2007), 40-62]. Our method reduced the running time for finding all OD-equivalence classes of OA$(160,8,2,4)$ and OA$(176,8,2,4)$ by factors of $1/(2.16)$ and $1/(1.36)$ compared to the fastest known method [D. A. Bulutoglu and K. J. Ryan, Integer programming for classifying orthogonal arrays, Australasian Journal of Combinatorics 70 (3) (2018), 362-385]. These were the two bottleneck cases that could not have been solved until the B\&B with isomorphism pruning algorithm was applied.


title: The Inscribed Angle Theorem for the Hyperbola

abstract: The inscribed angle theorem, a famous result about the angle subtended by a chord within a circle, is well known and commonly taught in school curricula. In this paper, we present a generalisation of this result (and other related circle theorems) to the rectangular hyperbola. The notion of angle is replaced by pseudo-angle, defined via the Minkowski inner product. Indeed, in Minkowski space, the unit hyperbola is the set of points a unit metric distance from the origin, analogous to the Euclidean unit circle. While this is a result of pure geometrical interest, the connection to Minkowski space allows an interpretation in terms of special relativity where, in the limit $c\to\infty$, it leads to a familiar result from non-relativistic dynamics. This non-relativistic result can be interpreted as an inscribed angle theorem for the parabola, which we show can also be obtained from the Euclidean inscribed angle theorem by taking the limit of a family of ellipses ananlogous to the non-relativistic limit $c\to\infty$. This simple result could be used as a pedagogical example to consolidate understanding of pseudo-angles in non-Euclidean spaces or to demonstrate the power of analytic continuation.


title: Bearings Fault Detection Using Hidden Markov Models and Principal Component Analysis Enhanced Features

abstract: Asset health monitoring continues to be of increasing importance on productivity, reliability, and cost reduction. Early Fault detection is a keystone of health management as part of the emerging Prognostics and Health Management (PHM) philosophy. This paper proposes a Hidden Markov Model (HMM) to assess the machine health degradation. using Principal Component Analysis (PCA) to enhance features extracted from vibration signals is considered. The enhanced features capture the second order structure of the data. The experimental results based on a bearing test bed show the plausibility of the proposed method.


title: Which Event Happened First? Deferred Choice on Blockchain Using Oracles

abstract: First come, first served: Critical choices between alternative actions are often made based on events external to an organization, and reacting promptly to their occurrence can be a major advantage over the competition. In Business Process Management (BPM), such deferred choices can be expressed in process models, and they are an important aspect of process engines. Blockchain-based process execution approaches are no exception to this, but are severely limited by the inherent properties of the platform: The closed-world environment prevents direct access to external entities and data, and the passive runtime based entirely on atomic transactions impedes continual monitoring and detection of events. In this paper we provide an in-depth examination of the semantics of deferred choice, and transfer them to environments such as the blockchain. We introduce and compare several oracle architectures able to satisfy certain requirements, and show that they can be implemented using state-of-the-art blockchain technology.


title: Bi-incomplete Tambara functors

abstract: For an equivariant commutative ring spectrum $R$, $\pi_0 R$ has algebraic structure reflecting the presence of both additive transfers and multiplicative norms. The additive structure gives rise to a Mackey functor and the multiplicative structure yields the additional structure of a Tambara functor. If $R$ is an $N_\infty$ ring spectrum in the category of genuine $G$-spectra, then all possible additive transfers are present and $\pi_0 R$ has the structure of an incomplete Tambara functor. However, if $R$ is an $N_\infty$ ring spectrum in a category of incomplete $G$-spectra, the situation is more subtle. In this paper, we study the algebraic theory of Tambara structures on incomplete Mackey functors, which we call bi-incomplete Tambara functors. Just as incomplete Tambara functors have compatibility conditions that control which systems of norms are possible, bi-incomplete Tambara functors have algebraic constraints arising from the possible interactions of transfers and norms. We give a complete description of the possible interactions between the additive and multiplicative structures.


title: The high-energy spectrum of the nearby planet-hosting inactive mid-M dwarf LHS 3844

abstract: To fully characterize the atmospheres, or lack thereof, of terrestrial exoplanets we must include the high-energy environments provided by their host stars. The nearby mid-M dwarf LHS 3844 hosts a terrestrial world which lacks a substantial atmosphere. We present a time series UV spectrum of LHS 3844 from 1131-3215A captured by HST/COS. We detect one flare in the FUV, which has an absolute energy of 8.96+/-0.79e28 erg and an equivalent duration of 355+/-31 s. We extract the flare and quiescent UV spectra separately. For each spectrum we estimate the Ly-alpha flux using correlations between UV line strengths. We use Swift-XRT to place an upper limit on the soft X-ray flux and construct a differential emission model (DEM) to estimate flux that is obscured by the interstellar medium. We compare the DEM flux estimates in the XUV to other methods that rely on scaling from the Ly-alpha, Si IV, and N V lines in the UV. The XUV, FUV, and NUV flux of LHS 3844 relative to its bolometric luminosity is log10(Lband/LBol) = -3.65, -4.16, and -4.56, respectively, for the quiescent state. These values agree with trends in high-energy flux as a function of stellar effective temperature found by the MUSCLES survey for a sample of early-M dwarfs. Many of the most spectroscopically accessible terrestrial exoplanets orbit inactive mid- to late-M dwarfs like LHS 3844. Measurements of M dwarf high-energy spectra are preferable for exoplanet characterization, but are not always possible. The spectrum of LHS 3844 is a useful proxy for the current radiation environment for these worlds.


title: Tensor Network Quantum Virtual Machine for Simulating Quantum Circuits at Exascale

abstract: The numerical simulation of quantum circuits is an indispensable tool for development, verification and validation of hybrid quantum-classical algorithms on near-term quantum co-processors. The emergence of exascale high-performance computing (HPC) platforms presents new opportunities for pushing the boundaries of quantum circuit simulation. We present a modernized version of the Tensor Network Quantum Virtual Machine (TNQVM) which serves as a quantum circuit simulation backend in the eXtreme-scale ACCelerator (XACC) framework. The new version is based on the general purpose, scalable tensor network processing library, ExaTN, and provides multiple configurable quantum circuit simulators enabling either exact quantum circuit simulation via the full tensor network contraction, or approximate quantum state representations via suitable tensor factorizations. Upon necessity, stochastic noise modeling from real quantum processors is incorporated into the simulations by modeling quantum channels with Kraus tensors. By combining the portable XACC quantum programming frontend and the scalable ExaTN numerical backend we introduce an end-to-end virtual quantum development environment which can scale from laptops to future exascale platforms. We report initial benchmarks of our framework which include a demonstration of the distributed execution, incorporation of quantum decoherence models, and simulation of the random quantum circuits used for the certification of quantum supremacy on the Google Sycamore superconducting architecture.


title: Observation of Strong Coupling between an Inverse Bowtie Nano-Antenna and a Single J-aggregate

abstract: We demonstrate strong coupling between a single J-aggregate and an inverse bowtie plasmonic structure, when the J-aggregate is located at a specific axial distance from the metallic surface. Three hybrid modes are clearly observed, witnessing a strong interaction, with a Rabi splitting of up to 290 meV, the precise value of which significantly depends on the orientation of the J-aggregate with respect to the symmetry axis of the plasmonic structure. We repeated our experiments with a set of triangular hole arrays, showing consistent formation of three or more hybrid modes, in good agreement with numerical simulations.


title: Ultrafast Dynamics of the Surface Photovoltage in Potassium Doped Black Phosphorus

abstract: Black phosphorus is a quasi-two-dimensional layered semiconductor with a narrow direct band gap of 0.3 eV. A giant surface Stark effect can be produced by the potassium doping of black phosphorus, leading to a semiconductor to semimetal phase transition originating from the creation of a strong surface dipole and associated band bending. By using time- and angle-resolved photoemission spectroscopy, we report the partial photoinduced screening of this band bending by the creation of a compensating surface photovoltage. We further resolve the detailed dynamics of this effect at the pertinent timescales and the related evolution of the band structure near the Fermi level. We demonstrate that after a fast rise time, the surface photovoltage exhibits a plateau over a few tens of picoseconds before decaying on the nanosecond timescale. We support our experimental results with simulations based on drift-diffusion equations.


title: Coded Divergent Waves for Fast Ultrasonic Imaging: Optimization and Comparative Performance Analysis

abstract: In this paper, we present the optimal use of coded signals in diverging wave transmission for fast ultrasonic imaging. The performance of coded imaging with diverging waves, quantified by SNR, CNR, speckle power and target signal strength, is optimized in terms of code length, wave profile, aperture size and field of view. We obtained one frame in 200 microseconds using coded diverging wave transmission, equivalent to very high 5000 frames/s rate, where the imaging depth is 7.5 cm. The performances of coded diverging wave transmission and conventional single focused phased array imaging are compared on a single frame basis. Complementary Golay sequences with code lengths ranging from 2 to 10 bits are used to code the signal. The signal strength and SNR obtained using synthetic transmit aperture and conventional single focused phased array imaging techniques, respectively, are used as reference in the performance analysis. We present a method to determine the optimum diverging wave profile to maximize the SNR across the entire viewing sector, which matches the received signal strength distribution to that of synthetic transmit aperture imaging. Optimum diverging wave profiles are determined for different sector angles and for different array apertures. For 90{\deg} sector, the SNR of 8-bit coded signal with optimized diverging wave profile is higher than that of conventional single focused phased array imaging at all depths and regions except the focal region, where it is 2-8 dB lower.


title: Stateless Neural Meta-Learning using Second-Order Gradients

abstract: Deep learning typically requires large data sets and much compute power for each new problem that is learned. Meta-learning can be used to learn a good prior that facilitates quick learning, thereby relaxing these requirements so that new tasks can be learned quicker; two popular approaches are MAML and the meta-learner LSTM. In this work, we compare the two and formally show that the meta-learner LSTM subsumes MAML. Combining this insight with recent empirical findings, we construct a new algorithm (dubbed TURTLE) which is simpler than the meta-learner LSTM yet more expressive than MAML. TURTLE outperforms both techniques at few-shot sine wave regression and image classification on miniImageNet and CUB without any additional hyperparameter tuning, at a computational cost that is comparable with second-order MAML. The key to TURTLE's success lies in the use of second-order gradients, which also significantly increases the performance of the meta-learner LSTM by 1-6% accuracy.


title: Random perfect information games

abstract: The paper proposes a natural measure space of zero-sum perfect information games with upper semicontinuous payoffs. Each game is specified by the game tree, and by the assignment of the active player and of the capacity to each node of the tree. The payoff in a game is defined as the infimum of the capacity over the nodes that have been visited during the play. The active player, the number of children, and the capacity are drawn from a given joint distribution independently across the nodes. We characterize the cumulative distribution function of the value $v$ using the fixed points of the so-called value generating function. The characterization leads to a necessary and sufficient condition for the event $v \geq k$ to occur with positive probability. We also study probabilistic properties of the set of Player I's $k$-optimal strategies and the corresponding plays.


title: A Lightweight Concept Drift Detection and Adaptation Framework for IoT Data Streams

abstract: In recent years, with the increasing popularity of "Smart Technology", the number of Internet of Things (IoT) devices and systems have surged significantly. Various IoT services and functionalities are based on the analytics of IoT streaming data. However, IoT data analytics faces concept drift challenges due to the dynamic nature of IoT systems and the ever-changing patterns of IoT data streams. In this article, we propose an adaptive IoT streaming data analytics framework for anomaly detection use cases based on optimized LightGBM and concept drift adaptation. A novel drift adaptation method named Optimized Adaptive and Sliding Windowing (OASW) is proposed to adapt to the pattern changes of online IoT data streams. Experiments on two public datasets show the high accuracy and efficiency of our proposed adaptive LightGBM model compared against other state-of-the-art approaches. The proposed adaptive LightGBM model can perform continuous learning and drift adaptation on IoT data streams without human intervention.


title: A topological selection of folding pathways from native states of knotted proteins

abstract: Understanding the biological function of knots in proteins and their folding process is an open and challenging question in biology. Recent studies classify the topology and geometry of knotted proteins by analysing the distribution of a protein's planar projections using topological objects called knotoids. We approach the analysis of proteins with the same topology by introducing a topologically inspired statistical metric between their knotoid distributions. We detect geometric differences between trefoil proteins by characterising their entanglement and we recover a clustering by sequence similarity. By looking directly at the geometry and topology of their native states, we are able to probe different folding pathways for proteins forming open-ended trefoil knots. Interestingly, our pipeline reveals that the folding pathway of shallow knotted Carbonic Anhydrases involves the creation of a double-looped structure, differently from what was previously observed for deeply knotted trefoil proteins. We validate this with Molecular Dynamics simulations.


title: Violation of equivalence in an accelerating atom-mirror system in the generalized uncertainty principle framework

abstract: We study the spontaneous excitation of a two-level atom in the presence of a perfectly reflecting mirror, when the atom, or the mirror, is uniformly accelerating in the framework of the generalised uncertainty principle (GUP). The quantized scalar field obeys a modified dispersion relation leading to a GUP deformed Klein-Gordon equation. The solutions of this equation with suitable boundary conditions are obtained to calculate the spontaneous excitation probability of the atom for the two separate cases. We show that in the case when the mirror is accelerating, the GUP modulates the spatial oscillation of the excitation probability of the atom, thus breaking the symmetry between the excitation of an atom accelerating relative to a stationary mirror, and a stationary atom excited by an accelerating mirror. An explicit violation of the equivalence principle seems to be thus manifested. We further obtain an upper bound on the GUP parameter using standard values of the system parameters.


title: Nonlinear evolution of fast neutrino flavor conversion in the preshock region of core-collapse supernovae

abstract: In environments with high dense neutrino gases, such as in core-collapse supernovae, the neutrinos can experience collective neutrino oscillation due to their self-interactions. In particular, fast flavor conversion driven by the crossings in the neutrino angular distribution can affect explosion mechanism, nucleosynthesis, and neutrino observation. We perform the numerical computation of nonlinear flavor evolution on the neutrino angular distribution with tiny crossings expected to be generated in the preshock region. We demonstrate that the fast instability is triggered and a cascade develops under a realistic three-flavor model considering muon production and weak magnetism in the SN dynamics. The tiny crossing excites specific spatial modes, and then the flavor instability propagates into other modes which otherwise remain stable due to the nonlinear effects. Our results indicate that fast flavor conversion can rise in the preshock region and have a sufficient impact on the flavor contents.


title: On the Path to 6G: Embracing the Next Wave of Low Earth Orbit Satellite Access

abstract: Offering space-based Internet services with mega-constellations of low Earth orbit (LEO) satellites is a promising solution to connecting the unconnected. It can complement the coverage of terrestrial networks to help bridge the digital divide. However, there are challenges from operational obstacles to technical hurdles facing the development of LEO satellite access. This article provides an overview of state of the art in LEO satellite access, including the evolution of LEO satellite constellations and capabilities, critical technical challenges and solutions, standardization aspects from 5G evolution to 6G, and business considerations. We also identify several areas for future exploration to realize a tight integration of LEO satellite access with terrestrial networks in 6G.


title: Incidence bounds with M\"obius hyperbolae in positive characteristic

abstract: We prove new incidence bounds between a plane point set, which is a Cartesian product, and a set of translates $H$ of the hyperbola $xy=\lambda\neq 0$, over a field of asymptotically large positive characteristic $p$. They improve recent bounds by Shkredov, which are based on using explicit incidence estimates in the early terminated procedure of repeated applications of the Cauchy-Schwarz inequality, underlying many qualitative results related to growth and expansion in groups. The improvement -- both quantitative, plus we are able to deal with a general $H$, rather than a Cartesian product -- is mostly due to a non-trivial "intermediate" bound on the number of $k$-rich M\"obius hyperbolae in positive characteristic. In addition, we make an observation that a certain energy-type quantity in the context of $H$ can be bounded via the $L^2$-moment of the Minkowski distance in $H$ and can therefore fetch the corresponding estimates apropos of the Erd\H{o}s distinct distance problem.


title: Exploiting Learned Policies in Focal Search

abstract: Recent machine-learning approaches to deterministic search and domain-independent planning employ policy learning to speed up search. Unfortunately, when attempting to solve a search problem by successively applying a policy, no guarantees can be given on solution quality. The problem of how to effectively use a learned policy within a bounded-suboptimal search algorithm remains largely as an open question. In this paper, we propose various ways in which such policies can be integrated into Focal Search, assuming that the policy is a neural network classifier. Furthermore, we provide mathematical foundations for some of the resulting algorithms. To evaluate the resulting algorithms over a number of policies with varying accuracy, we use synthetic policies which can be generated for a target accuracy for problems where the search space can be held in memory. We evaluate our focal search variants over three benchmark domains using our synthetic approach, and on the 15-puzzle using a neural network learned using 1.5 million examples. We observe that Discrepancy Focal Search, which we show expands the node which maximizes an approximation of the probability that its corresponding path is a prefix of an optimal path, obtains, in general, the best results in terms of runtime and solution quality.


title: Multi-RAT for IoT: The Potential in Combining LoRaWAN and NB-IoT

abstract: The broad range of requirements of Internet of Things applications has lead to the development of several dedicated communication technologies, each tailored to meet a specific feature set. A solution combining different wireless technologies in one device, can overcome the disadvantages of any individual technology. The design of such Multiple Radio Access Technology solutions based on the diverse characteristics of the technologies offers interesting opportunities. In this work we analyze the potential of combining LoRaWAN and NB-IoT in a Multi-RAT solution for IoT. To that end we evaluate key IoT node requirements in function of payload size and link quality: (1) energy efficiency, (2) coverage, (3) payload size, (4) latency performance, (5) Quality of Service, and (6) cost efficiency. Our theoretical assessment and experimental validation of these IoT features show the merits of a Multi-RAT solution. Notably, energy consumption in use cases with only sporadic large payload requirements, can be improved by a factor of at least 4 with respect to either single-mode technologies. Moreover, latency-critical messages can get delivered on time and coverage can be extended elegantly where needed.


title: Initial-boundary value problem for 1D pressureless gas dynamics

abstract: The paper considers the system of pressureless gas dynamics in one space dimension. The question of solvability of the initial-boundary value problem is addressed. Using the method of generalized potentials and characteristic triangles, extended to the boundary value case, an explicit way of constructing measure-valued solutions is presented. The prescription of boundary data is shown to depend on the behavior of the generalized potentials at the boundary. We show that the constructed solution satisfies an entropy condition and it conserves mass, whereby mass may accumulate at the boundary. Conservation of momentum again depends on the behavior of the generalized boundary potentials. There is a large amount of literature where the initial value problem for the pressureless gas dynamics model has been studied. To our knowledge, this paper is the first one which considers the initial-boundary value problem.


title: Guided Table Structure Recognition through Anchor Optimization

abstract: This paper presents the novel approach towards table structure recognition by leveraging the guided anchors. The concept differs from current state-of-the-art approaches for table structure recognition that naively apply object detection methods. In contrast to prior techniques, first, we estimate the viable anchors for table structure recognition. Subsequently, these anchors are exploited to locate the rows and columns in tabular images. Furthermore, the paper introduces a simple and effective method that improves the results by using tabular layouts in realistic scenarios. The proposed method is exhaustively evaluated on the two publicly available datasets of table structure recognition i.e ICDAR-2013 and TabStructDB. We accomplished state-of-the-art results on the ICDAR-2013 dataset with an average F-Measure of 95.05$\%$ (94.6$\%$ for rows and 96.32$\%$ for columns) and surpassed the baseline results on the TabStructDB dataset with an average F-Measure of 94.17$\%$ (94.08$\%$ for rows and 95.06$\%$ for columns).


title: A symmetry on weakly increasing trees and multiset Schett polynomials

abstract: By considering the parity of the degrees and levels of nodes in increasing trees, a new combinatorial interpretation for the coefficients of the Taylor expansions of the Jacobi elliptic functions is found. As one application of this new interpretation, a conjecture of Ma-Mansour-Wang-Yeh is solved. Unifying the concepts of increasing trees and plane trees, Lin-Ma-Ma-Zhou introduced weakly increasing trees on a multiset. A symmetry joint distribution of "even-degree nodes on odd levels" and "odd-degree nodes" on weakly increasing trees is found, extending the Schett polynomials, a generalization of the Jacobi elliptic functions introduced by Schett, to multisets. A combinatorial proof and an algebraic proof of this symmetry are provided, as well as several relevant interesting consequences. Moreover, via introducing a group action on trees, we prove the partial $\gamma$-positivity of the multiset Schett polynomials, a result implies both the symmetry and the unimodality of these polynomials.


title: Heavenly metrics, BPS indices and twistors

abstract: Recently T. Bridgeland defined a complex hyperk\"ahler metric on the tangent bundle over the space of stability conditions of a triangulated category, based on a Riemann-Hilbert problem determined by the Donaldson-Thomas invariants. This metric is encoded in a function $W(z,\theta)$ satisfying a heavenly equation, or a potential $F(z,\theta)$ satisfying an isomonodromy equation. After recasting the RH problem into a system of TBA-type equations, we obtain integral expressions for both $W$ and $F$ in terms of solutions of that system. These expressions are recognized as conformal limits of the `instanton generating potential' and `contact potential' appearing in studies of D-instantons and BPS black holes. By solving the TBA equations iteratively, we reproduce Joyce's original construction of $F$ as a formal series in the rational DT invariants. Furthermore, we produce similar solutions to deformed versions of the heavenly and isomonodromy equations involving a non-commutative star-product. In the case of a finite uncoupled BPS structure, we rederive the results previously obtained by Bridgeland and obtain the so-called $\tau$ function for arbitrary values of the fiber coordinates $\theta$, in terms of a suitable two-variable generalization of Barnes' $G$ function.


title: Pairwise and collective behavior between model swimmers at intermediate Reynolds numbers

abstract: We computationally studied the pair interactions and collective behavior of asymmetric, dumbbell swimmers over a range of intermediate Reynolds numbers and initial configurations. Depending on the initial positions and the Re, we found that two swimmers either repelled and swum away from one another or assembled one of four stable pairs: in-line and in-tandem, both parallel and anti-parallel. When in these stable pairs, swimmers were coordinated, swum together, and generated fluid flows as one. We compared the stable pairs' speeds, swim direction and fluid flows to those of the single swimmer. The in-line stable pairs behaved much like the single swimmer transitioning from puller-like to pusher-like stroke-averaged flow fields. In contrast, for the in-tandem pairs we discovered differences in the swim direction transition, as well as the stroke-averaged fluid flow directions. Notably, the in-tandem V pair switched its swim direction at a higher $\text{Re}$ than the single swimmer while the in-tandem orbiting pair switched at a lower $\text{Re}$. We also studied a system of 122 swimmers and found the collective behavior transitioned from in-line network-like connections to small, transient in-tandem clusters as the Reynolds number increased, consistent with the in-line to in-tandem pairwise behavior. Details in the collective behavior involved the formation of triples and other many-body hydrodynamic interactions that were not captured by either pair or single swimmer behavior. Our findings demonstrate the richness and complexity of the collective behavior of intermediate-$\text{Re}$ swimmers.


title: Tutorial: Designing Distributed Software in mCRL2

abstract: Distributed software is very tricky to implement correctly as some errors only occur in peculiar situations. For such errors testing is not effective. Mathematically proving correctness is hard and time consuming, and therefore, it is rarely done. Fortunately, there is a technique in between, namely model checking, that, if applied with skill, is both efficient and able to find rare errors. In this tutorial we show how to create behavioural models of parallel software, how to specify requirements using modal formulas, and how to verify these. For that we use the mCRL2 language and toolset (https://www.mcrl2.org/). We discuss the design of an evolution of well-known mutual exclusion protocols, and how model checking not only provides insight in their behaviour and correctness, but also guides their design.


title: Special decompositions and linear superpositions of nonlinear systems: BKP and dispersionless BKP equations

abstract: The existence of decomposition solutions of the well-known nonlinear BKP hierarchy is explored. It is shown that these decompositions provide simple and interesting relationships between classical integrable systems and the BKP hierarchy. Further, some special decomposition solutions display a rare property: they can be linearly superposed. With the emphasis on the case of the fifth BKP equation, the structure characteristic having linear superposition solutions is analyzed. Finally, we obtain similar superposed solutions in the dispersionless BKP hierarchy.


title: Lossless Compression with Latent Variable Models

abstract: We develop a simple and elegant method for lossless compression using latent variable models, which we call 'bits back with asymmetric numeral systems' (BB-ANS). The method involves interleaving encode and decode steps, and achieves an optimal rate when compressing batches of data. We demonstrate it firstly on the MNIST test set, showing that state-of-the-art lossless compression is possible using a small variational autoencoder (VAE) model. We then make use of a novel empirical insight, that fully convolutional generative models, trained on small images, are able to generalize to images of arbitrary size, and extend BB-ANS to hierarchical latent variable models, enabling state-of-the-art lossless compression of full-size colour images from the ImageNet dataset. We describe 'Craystack', a modular software framework which we have developed for rapid prototyping of compression using deep generative models.

categories: cs.LG cs.AI cs.IT math.IT stat.CO stat.ML


title: About two-dimensional fits for the analysis of the scattering rates and renormalization functions from angle-resolved photoelectron spectroscopy data

abstract: A new method for the analysis of the scattering rates from angle-resolved photoelectron spectroscopy (ARPES) is presented and described in details. It takes into account experimental instrumental resolution and finite temperature effects. More accurate results are obtained in comparison with a standard, commonly used method. The application of the method is demonstrated for several examples commonly encountered in new quantum materials. Its usefulness is especially apparent in investigations of systems with strongly correlated electrons.


title: Invertible Denoising Network: A Light Solution for Real Noise Removal

abstract: Invertible networks have various benefits for image denoising since they are lightweight, information-lossless, and memory-saving during back-propagation. However, applying invertible models to remove noise is challenging because the input is noisy, and the reversed output is clean, following two different distributions. We propose an invertible denoising network, InvDN, to address this challenge. InvDN transforms the noisy input into a low-resolution clean image and a latent representation containing noise. To discard noise and restore the clean image, InvDN replaces the noisy latent representation with another one sampled from a prior distribution during reversion. The denoising performance of InvDN is better than all the existing competitive models, achieving a new state-of-the-art result for the SIDD dataset while enjoying less run time. Moreover, the size of InvDN is far smaller, only having 4.2% of the number of parameters compared to the most recently proposed DANet. Further, via manipulating the noisy latent representation, InvDN is also able to generate noise more similar to the original one. Our code is available at: https://github.com/Yang-Liu1082/InvDN.git.


title: Algorithms for quadratic forms over global function fields of odd characteristic

abstract: This paper presents an adaptation of recently developed algorithms for quadratic forms over number fields in arXiv:1304.0708 to global function fields of odd characteristics. First, we present algorithm for checking if a given non-degenerate quadratic form is isotropic or hyperbolic. Next we devise a method for computing the dimension of the anisotropic part of a quadratic form. Finally we present algorithms computing two field invariants: the level and the Pythagoras number.


title: A note on some information-theoretic divergences between Zeta distributions

abstract: We consider the zeta distributions which are discrete power law distributions that can be interpreted as the counterparts of the continuous Pareto distributions with unit scale. The family of zeta distributions forms a discrete exponential family with normalizing constants expressed using the Riemann zeta function. We report several information-theoretic measures between zeta distributions and study their underlying information geometry.


title: Spin dynamics in the Kitaev model with disorder: Quantum Monte Carlo study of dynamical spin structure factor, magnetic susceptibility, and NMR relaxation rate

abstract: We investigate the impact of two types of disorder, bond randomness and site dilution, on the spin dynamics in the Kitaev model on a honeycomb lattice. The ground state of this model is a canonical quantum spin liquid with spin fractionalization into two types of quasiparticles, itinerant Majorana fermions and localized fluxes. Using unbiased quantum Monte Carlo simulations, we calculate the temperature evolution of the dynamical spin structure factor, the magnetic susceptibility, and the NMR relaxation rate. In the dynamical spin structure factor, we find that the two types of disorder affect seriously the low-energy peak dominantly originating from the flux excitations, rather than the high-energy continuum from the Majorana excitations, in a different way: The bond randomness softens the peak to the lower energy with broadening, whereas the site dilution smears the peak and in addition develops the other sharp peaks inside the spin gap including the zero energy. We show that the zero-energy spin excitations, which originate from the Majorana zero modes induced around the site vacancies, survive up to the temperature comparable to the energy scale of the Kitaev interaction. For the bond randomness, the low-temperature susceptibility does not show any qualitative change against the weak disorder, but it changes to divergent behavior while increasing the strength of disorder. Similar distinct behaviors for the weak and strong disorder are observed also in the NMR relaxation rate; an exponential decay changes into a power-law decay. In contrast, for the site dilution, we find no such crossover; divergent behavior in the susceptibility and a power-law decay in the NMR relaxation rate appear immediately with the introduction of the site dilution. We discuss the relevance of our results to experiments for the Kitaev candidate materials with disorders.