title: The massless three-loop Wilson coefficients for the deep-inelastic structure functions $F_2, F_L, xF_3$ and $g_1$

abstract: We calculate the massless unpolarized Wilson coefficients for deeply inelastic scattering for the structure functions $F_2(x,Q^2), F_L(x,Q^2), x F_3(x,Q^2)$ in the $\overline{\sf MS}$ scheme and the polarized Wilson coefficients of the structure function $g_1(x,Q^2)$ in the Larin scheme up to three--loop order in QCD in a fully automated way based on the method of arbitrary high Mellin moments. We work in the Larin scheme in the case of contributing axial--vector couplings or polarized nucleons. For the unpolarized structure functions we compare to results given in the literature. The polarized three--loop Wilson coefficients are calculated for the first time. As a by--product we also obtain the quarkonic three--loop anomalous dimensions from the $O(1/\varepsilon)$ terms of the unrenormalized forward Compton amplitude. Expansions for small and large values of the Bjorken variable $x$ are provided.


title: GaitFi: Robust Device-Free Human Identification via WiFi and Vision Multimodal Learning

abstract: As an important biomarker for human identification, human gait can be collected at a distance by passive sensors without subject cooperation, which plays an essential role in crime prevention, security detection and other human identification applications. At present, most research works are based on cameras and computer vision techniques to perform gait recognition. However, vision-based methods are not reliable when confronting poor illuminations, leading to degrading performances. In this paper, we propose a novel multimodal gait recognition method, namely GaitFi, which leverages WiFi signals and videos for human identification. In GaitFi, Channel State Information (CSI) that reflects the multi-path propagation of WiFi is collected to capture human gaits, while videos are captured by cameras. To learn robust gait information, we propose a Lightweight Residual Convolution Network (LRCN) as the backbone network, and further propose the two-stream GaitFi by integrating WiFi and vision features for the gait retrieval task. The GaitFi is trained by the triplet loss and classification loss on different levels of features. Extensive experiments are conducted in the real world, which demonstrates that the GaitFi outperforms state-of-the-art gait recognition methods based on single WiFi or camera, achieving 94.2% for human identification tasks of 12 subjects.


title: Some interesting birational morphisms of smooth affine quadric $3$-folds

abstract: We study a family of birational maps of smooth affine quadric 3-folds, {over the complex numbers}, of the form $x_1x_4-x_2x_3=$ constant, which seems to have some (among many others) interesting/unexpected characters: a) they are cohomologically hyperbolic, b) their second dynamical degree is an algebraic number but not an algebraic integer, and c) the logarithmic growth of their periodic points is strictly smaller than their algebraic entropy. These maps are restrictions of a polynomial map on $\mathbb{C}^4$ preserving each of the quadrics. The study in this paper is a mixture of rigorous and experimental ones, where for the experimental study we rely on Bertini which is a reliable and fast software for expensive numerical calculations in complex algebraic geometry.


title: 3D Near-Field Virtual MIMO-SAR Imaging Using FMCW Radar Systems at 77 GHz

abstract: In this paper, we present 3D high resolution radar imaging at millimeter-Wave (mmWave) frequencies by means of a combination of virtual Multiple Input Multiple Output (MIMO) Frequency Modulated Continuous Wave (FMCW) Radars and Synthetic Aperture Radar (SAR) which results in a compact, low-cost, and high-speed 3D mmWave imagery system with low complexity.


title: Tree-based Subgroup Discovery In Electronic Health Records: Heterogeneity of Treatment Effects for DTG-containing Therapies

abstract: The rich longitudinal individual level data available from electronic health records (EHRs) can be used to examine treatment effect heterogeneity. However, estimating treatment effects using EHR data poses several challenges, including time-varying confounding, repeated and temporally non-aligned measurements of covariates, treatment assignments and outcomes, and loss-to-follow-up due to dropout. Here, we develop the Subgroup Discovery for Longitudinal Data (SDLD) algorithm, a tree-based algorithm for discovering subgroups with heterogeneous treatment effects using longitudinal data by combining the generalized interaction tree algorithm, a general data-driven method for subgroup discovery, with longitudinal targeted maximum likelihood estimation. We apply the algorithm to EHR data to discover subgroups of people living with human immunodeficiency virus (HIV) who are at higher risk of weight gain when receiving dolutegravir-containing antiretroviral therapies (ARTs) versus when receiving non dolutegravir-containing ARTs.


title: Growth of Ultrathin Bi$_2$Se$_3$ Films by Molecular Beam Epitaxy

abstract: Bi$_2$Se$_3$ is a widely studied 3D topological insulator having potential applications in optics, electronics, and spintronics. When the thickness of these films decrease to less than approximately 6 nm, the top and bottom surface states couple, resulting in the opening of a small gap at the Dirac point. In the 2D limit, Bi$_2$Se$_3$ may exhibit quantum spin Hall states. However, growing coalesced ultra-thin Bi$_2$Se$_3$ films with a controllable thickness and typical triangular domain morphology in the few nanometer range is challenging. Here, we explore the growth of Bi$_2$Se$_3$ films having thickness down to 4 nm on sapphire substrates using molecular beam epitaxy that were then characterized with Hall measurements, atomic force microscopy, and Raman imaging. We find that substrate pre-treatment -- growing and decomposing a few layers of \BiSe before the actual deposition -- is critical to obtaining a completely coalesced film. In addition, higher growth rates and lower substrate temperatures led to improvement in surface roughness, in contrast to what is observed for conventional epitaxy. Overall, coalesced ultra-thin Bi$_2$Se$_3$ films with lower surface roughness enables thickness-dependent studies across the transition from a 3D-topological insulator to one with gapped surface states in the 2D regime.


title: Integration on the Surreals

abstract: Conway's real closed field No of surreal numbers is a sweeping generalization of the real numbers and the ordinals to which a number of elementary functions such as log and exponentiation have been shown to extend. The problems of identifying significant classes of functions that can be so extended and of defining integration for them have proven to be formidable. In this paper, we address this and related unresolved issues by showing that extensions to No, and thereby integrals, exist for most functions arising in practical applications. In particular, we show they exist for a large subclass of the resurgent functions, a subclass that contains the functions that at infinity are semi-algebraic, semi-analytic, analytic, meromorphic, and Borel summable as well as generic solutions to linear and nonlinear systems of ODEs possibly having irregular singularities. We further establish a sufficient condition for the theory to carry over to ordered exponential subfields of No more generally and illustrate the result with structures familiar from the surreal literature. We work in NBG less the Axiom of Choice (for both sets and proper classes), with the result that the extensions of functions and integrals that concern us here have a "constructive" nature in this sense. In the Appendix it is shown that the existence of such constructive extensions and integrals of substantially more general types of functions (e.g. smooth functions) is obstructed by considerations from the foundations of mathematics.


title: Extracting Relations Between Sectors

abstract: The term "sector" in professional business life is a vague concept since companies tend to identify themselves as operating in multiple sectors simultaneously. This ambiguity poses problems in recommending jobs to job seekers or finding suitable candidates for open positions. The latter holds significant importance when available candidates in a specific sector are also scarce; hence, finding candidates from similar sectors becomes crucial. This work focuses on discovering possible sector similarities through relational analysis. We employ several algorithms from the frequent pattern mining and collaborative filtering domains, namely negFIN, Alternating Least Squares, Bilateral Variational Autoencoder, and Collaborative Filtering based on Pearson's Correlation, Kendall and Spearman's Rank Correlation coefficients. The algorithms are compared on a real-world dataset supplied by a major recruitment company, Kariyer.net, from Turkey. The insights and methods gained through this work are expected to increase the efficiency and accuracy of various methods, such as recommending jobs or finding suitable candidates for open positions.


title: Detection of GeV emission from an ultra-long gamma-ray burst with the Fermi Large Area Telescope

abstract: GRB 220627A, detected by Fermi Gamma-ray Burst Monitor (GBM), shows two episodes of gamma-ray emission, which are separated by a {$\sim$700} s long quiescent phase. Due to similar temporal shapes and spectra in the two episodes, GRB 220627A is speculated to be a gravitationally lensed gamma-ray burst (GRB). We analyze the Fermi Large Area Telescope (LAT) data and find that about 49 gamma-ray photons above 100 MeV come from the GRB during the first episode, while there are no photons above 100 MeV in the second episode. Based on the broadband spectral study of the two episodes, the gravitationally lensing scenario can be ruled out at a high confidence level and we thus conclude that GRB 220627A is an intrinsically ultralong GRB with the prompt burst emission lasting longer than 1000 s. It is then the first case that GeV emission is detected from an ultralong GRB. We find that a short spike seen in the LAT light curve is also present in GBM detectors that see the burst, suggesting a common internal region of emission across the entire Fermi energy range. The detection of a 15.7 GeV photon during the early prompt phase places a lower limit of $\Gamma\ge300$ on the bulk Lorentz factor of the GRB ejecta. The constraint on the bulk Lorentz factor could shed light on the origin of ultralong GRBs.


title: Doubly Sequenceable Groups

abstract: Given a sequence ${\bf g}: g_0,\ldots, g_{m}$, in a finite group $G$ with $g_0=1_G$, let ${\bf \bar g}: \bar g_0,\ldots, \bar g_{m}$, be the sequence defined by $\bar g_0=1_G$ and $\bar g_i=g_{i-1}^{-1}g_i$ for $1\leq i \leq m$. We say that $G$ is doubly sequenceable if there exists a sequence ${\bf g}$ in $G$ such that every element of $G$ appears exactly twice in each of ${\bf g}$ and ${\bf \bar g}$. If a group $G$ is abelian, odd, sequenceable, R-sequenceable, or terraceable, then $G$ is doubly sequenceable. In this paper, we show that if $N$ is an odd or sequenceable group and $H$ is an abelian group, then $N \times H$ is doubly sequenceable.


title: Optimisation of total population in logistic model with nonlocal dispersals and heterogeneous environments

abstract: In this paper, we investigate the issue of maximizing the total equilibrium population with respect to resources distribution m(x) and diffusion rates d under the prescribed total amount of resources in a logistic model with nonlocal dispersals. Among other things, we show that for $d\ge1$, there exist $C_0, C_1>0$, depending on the $\|m\|_{L^1}$ only, such that $$C_0\sqrt{d}<\mbox{supremum~ of~ total~ population}<C_1\sqrt{d}.$$ However, when replaced by random diffusion, a conjecture, proposed by Ni and justified in [3], indicates that in the one-dimensional case, supremum of total population$=3\|m\|_{L^1}$. This reflects serious discrepancies between models with local and nonlocal dispersal strategies.


title: Hybrid normal-superconducting Aharonov-Bohm quantum thermal device

abstract: We propose and theoretically investigate the behavior of a ballistic Aharonov-Bohm (AB) ring when embedded in a N-S two-terminal setup, consisting of a normal metal (N) and superconducting (S) leads. This device is based on available current technologie and we show in this work that it constitutes a promising hybrid quantum thermal device, as quantum heat engine and quantum thermal rectifier. Remarkably, we evidence the interplay of single-particle quantum interferences in the AB ring and of the superconducting properties of the structure to achieve the hybrid operating mode for this quantum device. Its efficiency as a quantum heat engine reaches $55\%$ of the Carnot efficiency, and we predict thermal rectification factor attaining $350\%$. These predictions make this device highly promising for future phase-coherent caloritronic nanodevices.


title: Denoising Architecture for Unsupervised Anomaly Detection in Time-Series

abstract: Anomalies in time-series provide insights of critical scenarios across a range of industries, from banking and aerospace to information technology, security, and medicine. However, identifying anomalies in time-series data is particularly challenging due to the imprecise definition of anomalies, the frequent absence of labels, and the enormously complex temporal correlations present in such data. The LSTM Autoencoder is an Encoder-Decoder scheme for Anomaly Detection based on Long Short Term Memory Networks that learns to reconstruct time-series behavior and then uses reconstruction error to identify abnormalities. We introduce the Denoising Architecture as a complement to this LSTM Encoder-Decoder model and investigate its effect on real-world as well as artificially generated datasets. We demonstrate that the proposed architecture increases both the accuracy and the training speed, thereby, making the LSTM Autoencoder more efficient for unsupervised anomaly detection tasks.


title: Distributed Ensembles of Reinforcement Learning Agents for Electricity Control

abstract: Deep Reinforcement Learning (or just "RL") is gaining popularity for industrial and research applications. However, it still suffers from some key limits slowing down its widespread adoption. Its performance is sensitive to initial conditions and non-determinism. To unlock those challenges, we propose a procedure for building ensembles of RL agents to efficiently build better local decisions toward long-term cumulated rewards. For the first time, hundreds of experiments have been done to compare different ensemble constructions procedures in 2 electricity control environments. We discovered an ensemble of 4 agents improves accumulated rewards by 46%, improves reproducibility by a factor of 3.6, and can naturally and efficiently train and predict in parallel on GPUs and CPUs.


title: HPPNet: Modeling the Harmonic Structure and Pitch Invariance in Piano Transcription

abstract: While neural network models are making significant progress in piano transcription, they are becoming more resource-consuming due to requiring larger model size and more computing power. In this paper, we attempt to apply more prior about piano to reduce model size and improve the transcription performance. The sound of a piano note contains various overtones, and the pitch of a key does not change over time. To make full use of such latent information, we propose HPPNet that using the Harmonic Dilated Convolution to capture the harmonic structures and the Frequency Grouped Recurrent Neural Network to model the pitch-invariance over time. Experimental results on the MAESTRO dataset show that our piano transcription system achieves state-of-the-art performance both in frame and note scores (frame F1 93.15%, note F1 97.18%). Moreover, the model size is much smaller than the previous state-of-the-art deep learning models.


title: Solving the One-Dimensional Time-Independent Schr\"odinger Equation with High Accuracy: The LagrangeMesh Mathematica Package

abstract: In order to find the spectrum associated with the one-dimensional Schr\"oodinger equation, we discuss the Lagrange Mesh method (LMM) and its numerical implementation for bound states. After presenting a general overview of the theory behind the LMM, we introduce the LagrangeMesh package: the numerical implementation of the LMM in Mathematica. Using few lines of code, the package enables a quick home-computer computation of the spectrum and provides a practical tool to study a large class of systems in quantum mechanics. The main properties of the package are (i) the input is basically the potential function and the interval on which is defined; and (ii) the accuracy in calculations and final results is controllable by the user. As illustration, a highly accurate spectrum of some relevant quantum systems is obtained by employing the commands that the package offers. In fact, the present work can be regarded as a user guide based on worked examples.


title: Stability of quermassintegral inequalities along inverse curvature flows

abstract: In this paper, we consider the stability of quermassintegral inequalities along a inverse curvature flow. We choose a special rescaling of the flow such that the $k$-th quermassintegral is decreasing and the $k-1$-th quermassintegral is preserved. Along this rescaled flow, we prove that the decreasing rate of the $k$-th quermassintegral is faster than the Fraenkel asymmetry of the domain when approaching to the sphere. This leads to the stability inequality of quermassintegral inequalities for nearly spherical sets using the flow method.


title: Spin-polarized hot electron transport versus spin pumping mediated by local heating

abstract: A `toy model' - aimed at capturing the essential physics - is presented that jointly describes spin-polarized hot electron transport and spin pumping driven by local heating. These two processes both contribute to spin-current generation in laser-excited magnetic heterostructures. The model is used to compare the two contributions directly. The spin-polarized hot electron current is modeled as one generation of hot electrons with a spin-dependent excitation and relaxation scheme. Upon decay, the excess energy of the hot electrons is transferred to a thermalized electron bath. The elevated electron temperature leads to an increased rate of electron-magnon scattering processes and yields a local accumulation of spin. This process is dubbed as spin pumping by local heating. The built-up spin accumulation is effectively driven out of the ferromagnetic system by (interfacial) electron transport. Within our model, the injected spin current is dominated by the contribution resulting from spin pumping, while the hot electron spin current remains relatively small. We derive that this observation is related to the ratio between the Fermi temperature and Curie temperature, and we show what other fundamental parameters play a role.


title: Fredholm Property of the Linearized Boltzmann Operator for a Polyatomic Single Gas Model

abstract: In the following work, we consider the Boltzmann equation that models a polyatomic gas by representing the microscopic internal energy by a continuous variable I. Under some convenient assumptions on the collision cross-section $\mathcal{B}$, we prove that the linearized Boltzmann operator $\mathcal{L}$ of this model is a Fredholm operator. For this, we write $\mathcal{L}$ as a perturbation of the collision frequency multiplication operator, and we prove that the perturbation operator $\mathcal{K}$ is compact. The result is established after inspecting the kernel form of $\mathcal{K}$ and proving it to be $L^2$ integrable over its domain using elementary arguments.


title: Analysis of Distributed Deep Learning in the Cloud

abstract: We aim to resolve this problem by introducing a comprehensive distributed deep learning (DDL) profiler, which can determine the various execution "stalls" that DDL suffers from while running on a public cloud. We have implemented the profiler by extending prior work to additionally estimate two types of communication stalls - interconnect and network stalls. We train popular DNN models using the profiler to characterize various AWS GPU instances and list their advantages and shortcomings for users to make an informed decision. We observe that the more expensive GPU instances may not be the most performant for all DNN models and AWS may sub-optimally allocate hardware interconnect resources. Specifically, the intra-machine interconnect can introduce communication overheads up to 90% of DNN training time and network-connected instances can suffer from up to 5x slowdown compared to training on a single instance. Further, we model the impact of DNN macroscopic features such as the number of layers and the number of gradients on communication stalls. Finally, we propose a measurement-based recommendation model for users to lower their public cloud monetary costs for DDL, given a time budget.


title: MeloForm: Generating Melody with Musical Form based on Expert Systems and Neural Networks

abstract: Human usually composes music by organizing elements according to the musical form to express music ideas. However, for neural network-based music generation, it is difficult to do so due to the lack of labelled data on musical form. In this paper, we develop MeloForm, a system that generates melody with musical form using expert systems and neural networks. Specifically, 1) we design an expert system to generate a melody by developing musical elements from motifs to phrases then to sections with repetitions and variations according to pre-given musical form; 2) considering the generated melody is lack of musical richness, we design a Transformer based refinement model to improve the melody without changing its musical form. MeloForm enjoys the advantages of precise musical form control by expert systems and musical richness learning via neural models. Both subjective and objective experimental evaluations demonstrate that MeloForm generates melodies with precise musical form control with 97.79% accuracy, and outperforms baseline systems in terms of subjective evaluation score by 0.75, 0.50, 0.86 and 0.89 in structure, thematic, richness and overall quality, without any labelled musical form data. Besides, MeloForm can support various kinds of forms, such as verse and chorus form, rondo form, variational form, sonata form, etc.


title: Central values of additive twists of Maa{\ss} forms $L$-functions

abstract: In the present paper we study the central values of additive twists of Maa{\ss} forms $L$-series. In the case of the modular group, we show that the additive twists (when averaged over denominators) are asymptotically normally distributed. This supplements the recent work of Petridis--Risager which settled an averaged version of a conjecture of Mazur--Rubin concerning modular symbols. The methods of the present paper combine dynamical input due to Bettin and the first named author with the new fact that the additive twists define quantum modular forms in the sense of Zagier. This latter property is shown for a general discrete, co-finite group with cusps. Our results also has a number of arithmetic applications; in the case of Hecke congruence groups the quantum modularity implies certain reciprocity relations for twisted moments of twisted ${\rm GL}_2$-automorphic $L$-functions, extending results of Conrey and the second named author. In the case of cuspidal Maa{\ss} forms for the modular group, we also obtain a calculation of certain wide moments of twists of the $L$-function of the Maa{\ss} form.


title: Call and Response: A Time-Resolved Study of Chromospheric Evaporation in a Large Solar Flare

abstract: We studied an X1.6 solar flare produced by NOAA AR 12602 on 2014 October 22. The entirety of this event was covered by RHESSI, IRIS, and Hinode/EIS, allowing analysis of the chromospheric response to a nonthermal electron driver. We derived the energy contained in nonthermal electrons via RHESSI spectral fitting, and linked the time-dependent parameters of this call to the response in Doppler velocity, density, and nonthermal width across a broad temperature range. The total energy injected was $4.8\times10^{30}$ erg, and lasted $352$ seconds. This energy drove explosive chromospheric evaporation, with a delineation in both Doppler and nonthermal velocities at the flow reversal temperature, between 1.35--1.82 MK. The time of peak electron injection (14:06 UT) corresponded to the time of highest velocities. At this time, we found 200 km s$^{-1}$ blueshifts in the core of Fe XXIV, which is typically assumed to be at rest. Shortly before this time, the nonthermal electron population had the shallowest spectral index ($\approx$ 6), corresponding to the peak nonthermal velocity in Si IV and Fe XXI. Nonthermal velocities in Fe XIV, formed near the flow reversal temperature were low, and not correlated with density or Doppler velocity. Nonthermal velocities in ions with similar temperatures were observed to increase and correlate with Doppler velocities, implying unresolved flows surrounding the flow reversal point. This study provides a comprehensive, time-resolved set of chromospheric diagnostics for a large X-class flare, along with a time-resolved energy injection profile, ideal for further modeling studies.


title: Ergodic Secrecy Rate of Optimal Source-Destination Pair Selection in Frequency-Selective Fading

abstract: Node selection is a simple technique to achieve diversity and thereby enhance the physical layer security in future wireless communication systems which require low complexity. High-speed data transmission often encounters frequency selective fading. In this context, we evaluate the exact closed-form expression for the ergodic secrecy rate (ESR) of the optimal source-destination pair selection scheme with single-carrier cyclic-prefix modulation, where the destination and eavesdropper channels both exhibit independent frequency selective fading with an arbitrary number of multipath components. A simplified analysis in the high-SNR scenario along with an asymptotic analysis is also provided. We also derive and compare the corresponding results for the sub-optimal source-destination pair selection scheme. We show that our analysis produces the corresponding ESR results under narrowband independent Nakagami-$m$ fading channel with any arbitrary integer parameter $m$. The effect of transmitters, destination and eavesdropping paths correlation on the ESR is also demonstrated. Our solution approach is general and can be used to find the ESR of a wider variety of transmitter selection schemes.


title: WikiLink: an encyclopedia-based semantic network for design innovation

abstract: Data-driven design and innovation is a process to reuse and provide valuable and useful information. However, existing semantic networks for design innovation is built on data source restricted to technological and scientific information. Besides, existing studies build the edges of a semantic network only on either statistical or semantic relationships, which is less likely to make full use of the benefits from both types of relationships and discover implicit knowledge for design innovation. Therefore, we constructed WikiLink, a semantic network based on Wikipedia. Combined weight which fuses both the statistic and semantic weights between concepts is introduced in WikiLink, and four algorithms are developed for inspiring new ideas. Evaluation experiments are undertaken and results show that the network is characterised by high coverage of terms, relationships and disciplines, which proves the network's effectiveness and usefulness. Then a demonstration and case study results indicate that WikiLink can serve as an idea generation tool for innovation in conceptual design. The source code of WikiLink and the backend data are provided open-source for more users to explore and build on.


title: Besov-Laplace priors in density estimation: optimal posterior contraction rates and adaptation

abstract: Besov priors are nonparametric priors that can model spatially inhomogeneous functions. They are routinely used in inverse problems and imaging, where they exhibit attractive sparsity-promoting and edge-preserving features. A recent line of work has initiated the study of their asymptotic frequentist convergence properties. In the present paper, we consider the theoretical recovery performance of the posterior distributions associated to Besov-Laplace priors in the density estimation model, under the assumption that the observations are generated by a possibly spatially inhomogeneous true density belonging to a Besov space. We improve on existing results and show that carefully tuned Besov-Laplace priors attain optimal posterior contraction rates. Furthermore, we show that hierarchical procedures involving a hyper-prior on the regularity parameter lead to adaptation to any smoothness level.


title: Perverse sheaves on symmetric products of the plane

abstract: For any field $k$, we give an algebraic description of the category $\mathrm{Perv}_\mathscr{S}(S^n (\mathbb{C}^2),k)$ of perverse sheaves on the $n$-fold symmetric product of the plane $S^n(\mathbb{C}^2)$ constructible with respect to its natural stratification and with coefficients in $k$. In particular, we show that it is equivalent to the category of modules over a new algebra that is closely related to the Schur algebra. As part of our description we obtain an analogue of modular Springer theory for the Hilbert scheme $\mathrm{Hilb}^n(\mathbb{C}^2)$ of $n$ points in the plane with its Hilbert-Chow morphism.


title: On the Automated Segmentation of Epicardial and Mediastinal Cardiac Adipose Tissues Using Classification Algorithms

abstract: The quantification of fat depots on the surroundings of the heart is an accurate procedure for evaluating health risk factors correlated with several diseases. However, this type of evaluation is not widely employed in clinical practice due to the required human workload. This work proposes a novel technique for the automatic segmentation of cardiac fat pads. The technique is based on applying classification algorithms to the segmentation of cardiac CT images. Furthermore, we extensively evaluate the performance of several algorithms on this task and discuss which provided better predictive models. Experimental results have shown that the mean accuracy for the classification of epicardial and mediastinal fats has been 98.4% with a mean true positive rate of 96.2%. On average, the Dice similarity index, regarding the segmented patients and the ground truth, was equal to 96.8%. Therfore, our technique has achieved the most accurate results for the automatic segmentation of cardiac fats, to date.


title: Optimal phase sensitivity of an unbalanced Mach-Zehnder interferometer

abstract: In this paper we address the problem of optimizing an unbalanced Mach-Zehnder interferometer, for a given pure input state and considering a specific detection scheme. While the optimum transmission coefficient of the first beam splitter can be uniquely determined via the quantum Fisher information only [Phys. Rev. A 105, 012604 (2022)], the second beam splitter transmission coefficient is detection-scheme dependent, too. We systematically give analytic solutions for the optimum transmission coefficient of the second beam splitter for three types of widely used detection schemes. We provide detailed examples including both Gaussian and non-Gaussian input states, showing when an unbalanced Mach-Zehnder interferometer can outperform its balanced counterpart in terms of phase sensitivity.


title: Roth's Theorem implies a Weakened Version of the ABC Conjecture for Special Cases

abstract: Enrico Bombieri proved that the ABC Conjecture implies Roth's theorem in 1994. This paper concerns the other direction. In making use of Bombieri's and Van der Poorten's explicit formula for the coefficients of the regular continued fractions of algebraic numbers, we prove that Roth's theorem implies a weakened non-effective version of the ABC Conjecture in certain cases relating to roots.


title: Towards robust music source separation on loud commercial music

abstract: Nowadays, commercial music has extreme loudness and heavily compressed dynamic range compared to the past. Yet, in music source separation, these characteristics have not been thoroughly considered, resulting in the domain mismatch between the laboratory and the real world. In this paper, we confirmed that this domain mismatch negatively affect the performance of the music source separation networks. To this end, we first created the out-of-domain evaluation datasets, musdb-L and XL, by mimicking the music mastering process. Then, we quantitatively verify that the performance of the state-of-the-art algorithms significantly deteriorated in our datasets. Lastly, we proposed LimitAug data augmentation method to reduce the domain mismatch, which utilizes an online limiter during the training data sampling process. We confirmed that it not only alleviates the performance degradation on our out-of-domain datasets, but also results in higher performance on in-domain data.


title: The syntactic side of autonomous categories enriched over generalised metric spaces

abstract: Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold. In this paper we explore the idea of equivalence taking values in a quantale V, which covers the cases of (in)equations and (ultra)metric equations among others. Our main result is the introduction of a V-equational deductive system for linear {\lambda}-calculus together with a proof that it is sound and complete. In fact we go further than this, by showing that linear {\lambda}-theories based on this V-equational system form a category that is equivalent to a category of autonomous categories enriched over 'generalised metric spaces'. If we instantiate this result to inequations, we get an equivalence with autonomous categories enriched over partial orders. In the case of (ultra)metric equations, we get an equivalence with autonomous categories enriched over (ultra)metric spaces. We additionally show that this syntax-semantics correspondence extends to the affine setting. We use our results to develop examples of inequational and metric equational systems for higher-order programming in the setting of real-time, probabilistic, and quantum computing.


title: Compound Figure Separation of Biomedical Images: Mining Large Datasets for Self-supervised Learning

abstract: With the rapid development of self-supervised learning (e.g., contrastive learning), the importance of having large-scale images (even without annotations) for training a more generalizable AI model has been widely recognized in medical image analysis. However, collecting large-scale task-specific unannotated data at scale can be challenging for individual labs. Existing online resources, such as digital books, publications, and search engines, provide a new resource for obtaining large-scale images. However, published images in healthcare (e.g., radiology and pathology) consist of a considerable amount of compound figures with subplots. In order to extract and separate compound figures into usable individual images for downstream learning, we propose a simple compound figure separation (SimCFS) framework without using the traditionally required detection bounding box annotations, with a new loss function and a hard case simulation. Our technical contribution is four-fold: (1) we introduce a simulation-based training framework that minimizes the need for resource extensive bounding box annotations; (2) we propose a new side loss that is optimized for compound figure separation; (3) we propose an intra-class image augmentation method to simulate hard cases; and (4) to the best of our knowledge, this is the first study that evaluates the efficacy of leveraging self-supervised learning with compound image separation. From the results, the proposed SimCFS achieved state-of-the-art performance on the ImageCLEF 2016 Compound Figure Separation Database. The pretrained self-supervised learning model using large-scale mined figures improved the accuracy of downstream image classification tasks with a contrastive learning algorithm. The source code of SimCFS is made publicly available at https://github.com/hrlblab/ImageSeperation.


title: Convergence of Nonequilibrium Langevin Dynamics for Planar Flows

abstract: We prove that incompressible two dimensional nonequilibrium Langevin dynamics (NELD) converges exponentially fast to a steady-state limit cycle. We use automorphism remapping periodic boundary conditions (PBCs) techniques such as Lees-Edwards PBCs and Kraynik-Reinelt PBCs to treat respectively shear flow and planar elongational flow. After rewriting NELD in Lagrangian coordinates, the convergence is shown using a technique similar to [R. Joubaud, G. A. Pavliotis, and G. Stoltz,2014].


title: Do algebraic numbers follow Khinchin's Law?

abstract: The coefficients of the regular continued fraction for random numbers are distributed by the Gauss-Kuzmin distribution according to Khinchin's law. Their geometric mean converges to Khinchin's constant and their rational approximation speed is Khinchin's speed. It is an open question whether these theorems also apply to algebraic numbers of degree $>2$. Since they apply to almost all numbers it is, however, commonly inferred that it is most likely that non quadratic algebraic numbers also do so. We argue that this inference is not well grounded. There is strong numerical evidence that Khinchin's speed is too fast. For Khinchin's law and Khinchin's constant the numerical evidence is unclear. We apply the Kullback Leibler Divergence (KLD) to show that the Gauss-Kuzmin distribution does not fit well for algebraic numbers of degree $>2$. Our suggestion to truncate the Gauss-Kuzmin distribution for finite parts fits slightly better but its KLD is still much larger than the KLD of a random number. So, if it converges the convergence is non uniform and each algebraic number has its own bound. We conclude that there is no evidence to apply the theorems that hold for random numbers to algebraic numbers.


title: FAST-AID Brain: Fast and Accurate Segmentation Tool using Artificial Intelligence Developed for Brain

abstract: Medical images used in clinical practice are heterogeneous and not the same quality as scans studied in academic research. Preprocessing breaks down in extreme cases when anatomy, artifacts, or imaging parameters are unusual or protocols are different. Methods robust to these variations are most needed. A novel deep learning method is proposed for fast and accurate segmentation of the human brain into 132 regions. The proposed model uses an efficient U-Net-like network and benefits from the intersection points of different views and hierarchical relations for the fusion of the orthogonal 2D planes and brain labels during the end-to-end training. Weakly supervised learning is deployed to take the advantage of partially labeled data for the whole brain segmentation and estimation of the intracranial volume (ICV). Moreover, data augmentation is used to expand the magnetic resonance imaging (MRI) data by generating realistic brain scans with high variability for robust training of the model while preserving data privacy. The proposed method can be applied to brain MRI data including skull or any other artifacts without preprocessing the images or a drop in performance. Several experiments using different atlases are conducted to evaluate the segmentation performance of the trained model compared to the state-of-the-art, and the results show higher segmentation accuracy and robustness of the proposed model compared to the existing methods across different intra- and inter-domain datasets.


title: Global existence of classical static solutions of four dimensional Einstein-Klein-Gordon system

abstract: In this paper we prove the global existence of classical static solutions of Einstein gravitational theory coupled to a real scalar field where the spacetime admits spherically symmetry. The equations of motions can then be reduced into a single first-order integro-differential equation. First, we obtain the decay estimates of the solutions. Then, in order to prove the global existence, we use the contraction mapping theorem in the appropriate function spaces.


title: AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels

abstract: Weak supervision (WS) is a powerful method to build labeled datasets for training supervised models in the face of little-to-no labeled data. It replaces hand-labeling data with aggregating multiple noisy-but-cheap label estimates expressed by labeling functions (LFs). While it has been used successfully in many domains, weak supervision's application scope is limited by the difficulty of constructing labeling functions for domains with complex or high-dimensional features. To address this, a handful of methods have proposed automating the LF design process using a small set of ground truth labels. In this work, we introduce AutoWS-Bench-101: a framework for evaluating automated WS (AutoWS) techniques in challenging WS settings -- a set of diverse application domains on which it has been previously difficult or impossible to apply traditional WS techniques. While AutoWS is a promising direction toward expanding the application-scope of WS, the emergence of powerful methods such as zero-shot foundation models reveals the need to understand how AutoWS techniques compare or cooperate with modern zero-shot or few-shot learners. This informs the central question of AutoWS-Bench-101: given an initial set of 100 labels for each task, we ask whether a practitioner should use an AutoWS method to generate additional labels or use some simpler baseline, such as zero-shot predictions from a foundation model or supervised learning. We observe that in many settings, it is necessary for AutoWS methods to incorporate signal from foundation models if they are to outperform simple few-shot baselines, and AutoWS-Bench-101 promotes future research in this direction. We conclude with a thorough ablation study of AutoWS methods.


title: An approximate diffusion process for environmental stochasticity in infectious disease transmission modelling

abstract: Modelling the transmission dynamics of an infectious disease is a complex task. Not only it is difficult to accurately model the inherent non-stationarity and heterogeneity of transmission, but it is nearly impossible to describe, mechanistically, changes in extrinsic environmental factors including public behaviour and seasonal fluctuations. An elegant approach to capturing environmental stochasticity is to model the force of infection as a stochastic process. However, inference in this context requires solving a computationally expensive ``missing data" problem, using data-augmentation techniques. We propose to model the time-varying transmission-potential as an approximate diffusion process using a path-wise series expansion of Brownian motion. This approximation replaces the ``missing data" imputation step with the inference of the expansion coefficients: a simpler and computationally cheaper task. We illustrate the merit of this approach through two examples: modelling influenza using a canonical SIR model, and the modelling of COVID-19 pandemic using a multi-type SEIR model.


title: Dynamic and adaptive mesh-based graph neural network framework for simulating displacement and crack fields in phase field models

abstract: Fracture is one of the main causes of failure in engineering structures. Phase field methods coupled with adaptive mesh refinement (AMR) techniques have been widely used to model crack propagation due to their ease of implementation and scalability. However, phase field methods can still be computationally demanding making them unfeasible for high-throughput design applications. Machine learning (ML) models such as Graph Neural Networks (GNNs) have shown their ability to emulate complex dynamic problems with speed-ups orders of magnitude faster compared to high-fidelity simulators. In this work, we present a dynamic mesh-based GNN framework for emulating phase field simulations of crack propagation with AMR for different crack configurations. The developed framework - ADAPTive mesh-based graph neural network (ADAPT-GNN) - exploits the benefits of both ML methods and AMR by describing the graph representation at each time-step as the refined mesh itself. Using ADAPT-GNN, we predict the evolution of displacement fields and scalar damage field (or phase field) with high accuracy compared to conventional phase field fracture model. We also compute crack stress fields with high accuracy using the predicted displacements and phase field parameter. Finally, we observe speed up of 15-36x compared to serial execution of the phase field model.


title: Image-Specific Information Suppression and Implicit Local Alignment for Text-based Person Search

abstract: Text-based person search (TBPS) is a challenging task that aims to search pedestrian images with the same identity from an image gallery given a query text. In recent years, TBPS has made remarkable progress and state-of-the-art methods achieve superior performance by learning local fine-grained correspondence between images and texts. However, most existing methods rely on explicitly generated local parts to model fine-grained correspondence between modalities, which is unreliable due to the lack of contextual information or the potential introduction of noise. Moreover, existing methods seldom consider the information inequality problem between modalities caused by image-specific information. To address these limitations, we propose an efficient joint Multi-level Alignment Network (MANet) for TBPS, which can learn aligned image/text feature representations between modalities at multiple levels, and realize fast and effective person search. Specifically, we first design an image-specific information suppression module, which suppresses image background and environmental factors by relation-guided localization and channel attention filtration respectively. This module effectively alleviates the information inequality problem and realizes the alignment of information volume between images and texts. Secondly, we propose an implicit local alignment module to adaptively aggregate all pixel/word features of image/text to a set of modality-shared semantic topic centers and implicitly learn the local fine-grained correspondence between modalities without additional supervision and cross-modal interactions. And a global alignment is introduced as a supplement to the local perspective. The cooperation of global and local alignment modules enables better semantic alignment between modalities. Extensive experiments on multiple databases demonstrate the effectiveness and superiority of our MANet.


title: Coarse-graining amorphous plasticity: impact of rejuvenation and disorder

abstract: The coarse-graining of amorphous plasticity from the atomistic to the mesoscopic scale is studied in the framework of a simple scalar elasto-plastic model. Building on recent results obtained on the atomistic scale, we discuss the interest in a disordered landscape-informed threshold disorder to reproduce the physics of amorphous plasticity. We show that accounting for a rejuvenation scenario allows us to reproduce quasi-quantitatively the evolution of the mean local yield stress and the localization behavior. We emphasize the crucial role of two dimensionless parameters: the relative strength of the yield stress disorder with respect to the typical stress drops associated with a plastic rearrangement, and the age parameter characterizing the relative stability of the initial glass with respect to the rejuvenated glass that emerges upon shear deformation.


title: Software Update Practices on Smart Home IoT Devices

abstract: Smart home IoT devices are known to be breeding grounds for security and privacy vulnerabilities. Although some IoT vendors deploy updates, the update process is mostly opaque to researchers. It is unclear what software components are on devices, whether and when these components are updated, and how vulnerabilities change alongside the updates. This opaqueness makes it difficult to understand the security of software supply chains of IoT devices. To understand the software update practices on IoT devices, we leverage IoT Inspector's dataset of network traffic from real-world IoT devices. We analyze the User Agent strings from plain-text HTTP connections. We focus on four software components included in User Agents: cURL, Wget, OkHttp, and python-requests. By keeping track of what kinds of devices have which of these components at what versions, we find that many IoT devices potentially used outdated and vulnerable versions of these components - based on the User Agents - even though less vulnerable, more updated versions were available; and that the rollout of updates tends to be slow for some IoT devices.


title: The $RO(C_{2^n})$-graded homotopy of $H\underline{\mathbb{Z}}$ through generalized Tate squares

abstract: We propose a new method to compute the $C_{2^n}$-equivariant homotopy groups of the Eilenberg-Mac Lane spectrum $H\underline{\mathbb{Z}}$ as a $RO(C_{2^n})$-graded Green functor using the generalized Tate squares. As an example, we completely compute the $C_4$ case and investigate two $\mathscr{P}$-homotopy limit spectral sequences for the family $\mathscr{P}=\{e,C_2\}$.


title: SIGNet: Intrinsic Image Decomposition by a Semantic and Invariant Gradient Driven Network for Indoor Scenes

abstract: Intrinsic image decomposition (IID) is an under-constrained problem. Therefore, traditional approaches use hand crafted priors to constrain the problem. However, these constraints are limited when coping with complex scenes. Deep learning-based approaches learn these constraints implicitly through the data, but they often suffer from dataset biases (due to not being able to include all possible imaging conditions). In this paper, a combination of the two is proposed. Component specific priors like semantics and invariant features are exploited to obtain semantically and physically plausible reflectance transitions. These transitions are used to steer a progressive CNN with implicit homogeneity constraints to decompose reflectance and shading maps. An ablation study is conducted showing that the use of the proposed priors and progressive CNN increase the IID performance. State of the art performance on both our proposed dataset and the standard real-world IIW dataset shows the effectiveness of the proposed method. Code is made available at https://github.com/Morpheus3000/SIGNet


title: Analytic torsion forms for fibrations by projective curves

abstract: An explicit formula for analytic torsion forms for fibrations by projective curves is given. In particular one obtains a formula for direct images in Arakelov geometry in the corresponding setting. The main tool is a new description of Bismut's equivariant Bott-Chern current in the case of isolated fixed points.


title: Deep Spatial and Tonal Data Optimisation for Homogeneous Diffusion Inpainting

abstract: Diffusion-based inpainting can reconstruct missing image areas with high quality from sparse data, provided that their location and their values are well optimised. This is particularly useful for applications such as image compression, where the original image is known. Selecting the known data constitutes a challenging optimisation problem, that has so far been only investigated with model-based approaches. So far, these methods require a choice between either high quality or high speed since qualitatively convincing algorithms rely on many time-consuming inpaintings. We propose the first neural network architecture that allows fast optimisation of pixel positions and pixel values for homogeneous diffusion inpainting. During training, we combine two optimisation networks with a neural network-based surrogate solver for diffusion inpainting. This novel concept allows us to perform backpropagation based on inpainting results that approximate the solution of the inpainting equation. Without the need for a single inpainting during test time, our deep optimisation accelerates data selection by more than four orders of magnitude compared to common model-based approaches. This provides real-time performance with high quality results.


title: Dead-beat model predictive control for discrete-time linear systems

abstract: In this paper, model predictive control (MPC) strategies are proposed for dead-beat control of linear systems with and without state and control constraints. In unconstrained MPC, deadbeat performance can be guaranteed by setting the control horizon to the system dimension, and adding an terminal equality constraint. It is proved that the unconstrained deadbeat MPC is equivalent to linear deadbeat control. The proposed constrained deadbeat MPC is designed by setting the control horizon equal to the system dimension and penalizing only the terminal cost. The recursive feasibility and deadbeat performance are proved theoretically.


title: Physics-based adaptivity of a spectral method for the Vlasov-Poisson equations based on the asymmetrically-weighted Hermite expansion in velocity space

abstract: We propose a spectral method for the 1D-1V Vlasov-Poisson system where the discretization in velocity space is based on asymmetrically-weighted Hermite functions, dynamically adapted via a scaling $\alpha$ and shifting $u$ of the velocity variable. Specifically, at each time instant an adaptivity criterion selects new values of $\alpha$ and $u$ based on the numerical solution of the discrete Vlasov-Poisson system obtained at that time step. Once the new values of the Hermite parameters $\alpha$ and $u$ are fixed, the Hermite expansion is updated and the discrete system is further evolved for the next time step. The procedure is applied iteratively over the desired temporal interval. The key aspects of the adaptive algorithm are: the map between approximation spaces associated with different values of the Hermite parameters that preserves total mass, momentum and energy; and the adaptivity criterion to update $\alpha$ and $u$ based on physics considerations relating the Hermite parameters to the average velocity and temperature of each plasma species. For the discretization of the spatial coordinate, we rely on Fourier functions and use the implicit midpoint rule for time stepping. The resulting numerical method possesses intrinsically the property of fluid-kinetic coupling, where the low-order terms of the expansion are akin to the fluid moments of a macroscopic description of the plasma, while kinetic physics is retained by adding more spectral terms. Moreover, the scheme features conservation of total mass, momentum and energy associated in the discrete, for periodic boundary conditions. A set of numerical experiments confirms that the adaptive method outperforms the non-adaptive one in terms of accuracy and stability of the numerical solution.

categories: math.NA cs.NA physics.comp-ph physics.plasm-ph


title: Machine learning in the prediction of cardiac epicardial and mediastinal fat volumes

abstract: We propose a methodology to predict the cardiac epicardial and mediastinal fat volumes in computed tomography images using regression algorithms. The obtained results indicate that it is feasible to predict these fats with a high degree of correlation, thus alleviating the requirement for manual or automatic segmentation of both fat volumes. Instead, segmenting just one of them suffices, while the volume of the other may be predicted fairly precisely. The correlation coefficient obtained by the Rotation Forest algorithm using MLP Regressor for predicting the mediastinal fat based on the epicardial fat was 0.9876, with a relative absolute error of 14.4% and a root relative squared error of 15.7%. The best correlation coefficient obtained in the prediction of the epicardial fat based on the mediastinal was 0.9683 with a relative absolute error of 19.6% and a relative squared error of 24.9%. Moreover, we analysed the feasibility of using linear regressors, which provide an intuitive interpretation of the underlying approximations. In this case, the obtained correlation coefficient was 0.9534 for predicting the mediastinal fat based on the epicardial, with a relative absolute error of 31.6% and a root relative squared error of 30.1%. On the prediction of the epicardial fat based on the mediastinal fat, the correlation coefficient was 0.8531, with a relative absolute error of 50.43% and a root relative squared error of 52.06%. In summary, it is possible to speed up general medical analyses and some segmentation and quantification methods that are currently employed in the state-of-the-art by using this prediction approach, which consequently reduces costs and therefore enables preventive treatments that may lead to a reduction of health problems.


title: Automated recognition of the pericardium contour on processed CT images using genetic algorithms

abstract: This work proposes the use of Genetic Algorithms (GA) in tracing and recognizing the pericardium contour of the human heart using Computed Tomography (CT) images. We assume that each slice of the pericardium can be modelled by an ellipse, the parameters of which need to be optimally determined. An optimal ellipse would be one that closely follows the pericardium contour and, consequently, separates appropriately the epicardial and mediastinal fats of the human heart. Tracing and automatically identifying the pericardium contour aids in medical diagnosis. Usually, this process is done manually or not done at all due to the effort required. Besides, detecting the pericardium may improve previously proposed automated methodologies that separate the two types of fat associated to the human heart. Quantification of these fats provides important health risk marker information, as they are associated with the development of certain cardiovascular pathologies. Finally, we conclude that GA offers satisfiable solutions in a feasible amount of processing time.


title: Associative Learning for Network Embedding

abstract: The network embedding task is to represent the node in the network as a low-dimensional vector while incorporating the topological and structural information. Most existing approaches solve this problem by factorizing a proximity matrix, either directly or implicitly. In this work, we introduce a network embedding method from a new perspective, which leverages Modern Hopfield Networks (MHN) for associative learning. Our network learns associations between the content of each node and that node's neighbors. These associations serve as memories in the MHN. The recurrent dynamics of the network make it possible to recover the masked node, given that node's neighbors. Our proposed method is evaluated on different downstream tasks such as node classification and linkage prediction. The results show competitive performance compared to the common matrix factorization techniques and deep learning based methods.


title: A novel multi-party semiquantum private comparison protocol of size relationship with d-dimensional single-particle states

abstract: By using d-level single-particle states, the first multi-party semiquantum private comparison (MSQPC) protocol which can judge the size relationship of private inputs from more than two classical users within one execution of protocol is put forward. This protocol requires the help of one quantum third party (TP) and one classical TP, both of whom are allowed to misbehave on their own but cannot conspire with anyone else. Neither quantum entanglement swapping nor unitary operations are necessary for implementing this protocol. TPs are only required to perform d-dimensional single-particle measurements. The correctness analysis validates the accuracy of the compared results. The security analysis verifies that both the outside attacks and the participant attacks can be resisted.


title: Derived equivalences over base schemes and support of complexes

abstract: Let $X$ and $Y$ be smooth projective varieties over a field $k$ admitting morphisms $f:X \to T$ and $g:Y \to T$ to a third variety $T$. We formulate conditions on a derived equivalence $\Phi:D(X) \to D(Y)$ ensuring that $\Phi$ is induced by a complex $P \in D(X \times_T Y )$, defining derived equivalences between the fibers of $f$ and $g$. We apply our results to the canonical fibration and albanese fibration.


title: From Partial and Horizontal Contraction to $k$-Contraction

abstract: A geometric generalization of contraction theory called~$k$-contraction was recently developed using $k$-compound matrices. In this note, we focus on the relations between $k$-contraction and two other generalized contraction frameworks: partial contraction (also known as virtual contraction) and horizontal contraction. We show that in general these three notions of contraction are different. We here provide new sufficient conditions guaranteeing that partial contraction implies horizontal contraction, and that horizontal contraction implies $k$-contraction. We use the Andronov-Hopf oscillator to demonstrate some of the theoretical results.


title: Digital Twin Assisted Risk-Aware Sleep Mode Management Using Deep Q-Networks

abstract: Base stations (BSs) are the most energy-consuming segment of mobile networks. To reduce BS energy consumption, different components of BSs can sleep when BS is not active. According to the activation/deactivation time of the BS components, multiple sleep modes (SMs) are defined in the literature. In this study, we model the problem of BS energy saving utilizing multiple sleep modes as a sequential MDP and propose an online traffic-aware deep reinforcement learning approach to maximize the long-term energy saving. However, there is a risk that BS is not sleeping at the right time and incurs large delays to the users. To tackle this issue, we propose to use a digital twin model to encapsulate the dynamics underlying the investigated system and estimate the risk of decision-making (RDM) in advance. We define a novel metric to quantify RDM and predict the performance degradation. The RDM calculated by DT is compared with a tolerable threshold set by the mobile operator. Based on this comparison, BS can decide to deactivate the SMs, re-train when needed to avoid taking high risks, or activate the SMs to benefit from energy savings. For deep reinforcement learning, we use long-short term memory (LSTM), to take into account the long and short-term dependencies in input traffic, and approximate the Q-function. We train the LSTM network using the experience replay method over a real traffic data set obtained from an operator BS in Stockholm. The data set contains data rate information with very coarse-grained time granularity. Thus, we propose a scheme to generate a new data set using the real network data set which 1) has finer-grained time granularity and 2) considers the bursty behavior of traffic data. Simulation results show that using proposed methods, considerable energy saving is obtained, compared to the baselines at cost of negligible number of delayed users.


title: Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)

abstract: In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology, which can be formulated in a description logic (DL) or using existential rules. In the literature, there exists a multitude of complex techniques for incorporating ontological knowledge into queries. However, few of these approaches were designed for explainability of the query answers. We tackle this challenge by adapting an existing proof framework toward conjunctive query answering, based on the notion of universal models. We investigate the data and combined complexity of determining the existence of a proof below a given quality threshold, which can be measured in different ways. By distinguishing various parameters such as the shape of the query, we obtain an overview of the complexity of this problem for several Horn DLs.


title: UV asymptotics of $n$-point correlators of twist-$2$ operators in SU($N$) Yang-Mills theory

abstract: The generating functional $\mathcal{W}[J_{\mathcal O}]$ of Euclidean correlators of twist-$2$ operators in SU($N$) Yang-Mills theory admits the 't Hooft large-$N$ expansion: $\mathcal{W}[J_{\mathcal O}]=\mathcal{W}_{sphere}\,\,\,\,[J_{\mathcal O}]+\mathcal{W}_{torus} \,\,\,[J_{\mathcal O}]+ \cdots$. Nonperturbatively, $\mathcal{W}_{sphere} \,\,\,\,[J_{\mathcal O}]$ is a sum of tree diagrams involving glueball propagators and vertices, while $\mathcal{W}_{torus} \,\,\,[J_{\mathcal O}]$ is a sum of glueball one-loop diagrams. Moreover, it has been predicted that $\mathcal{W}_{torus } \,\,\,[J_{\mathcal O}]$ should admit the structure of the logarithm of a functional determinant summing glueball one-loop diagrams. We work out in a closed form the ultraviolet (UV) asymptotics of $\mathcal{W}_{sphere} \,\,\,\,[J_{\mathcal O},\lambda] \sim \mathcal{W}_{asym \, sphere} \,\,\,\,\,\,\,[J_{\mathcal O},\lambda]$ and $\mathcal{W}_{torus} \,\,\,[J_{\mathcal O},\lambda] \sim \mathcal{W}_{asym \, torus} \,\,\,\,\,\,[J_{\mathcal O},\lambda]$ in the coordinate representation as all the coordinates of the correlators are uniformly rescaled by a factor $\lambda \rightarrow 0$. Remarkably, we verify the above prediction that $\mathcal{W}_{asym \, torus} \,\,\,\,\,\,[J_{\mathcal O},\lambda]$ -- being asymptotic in the UV to $\mathcal{W}_{torus} \,\,\,[J_{\mathcal O}, \lambda]$ -- admits the structure of the logarithm of a functional determinant as well. Hence, the computation above sets strong UV asymptotic constraints on the nonperturbative solution of large-$N$ YM theory and it may be a pivotal guide for the search of such a solution.


title: Observability of spontaneous collapse in flavor oscillations and its relation to the CP and CPT symmetries

abstract: Spontaneous collapse models aim at solving the measurement problem of quantum mechanics by introducing collapse of wave function as an ontologically objective mechanism that suppresses macroscopic superpositions. In particular, the strength of collapse depends on the mass of the system. Flavor oscillating systems such as neutral mesons feature superpositions of states of different masses and, hence, could be used to test the validity of spontaneous collapse models. Recently, it has been shown that the mass-proportional CSL model causes exponential damping of the neutral meson oscillations which, however, is not strong enough to be observed in the present accelerator facilities. In this Letter, we study how the violation of the $\mathcal{CP}$ symmetry in mixing changes the spontaneous collapse effect on flavor oscillations and its observability.


title: Expert Opinion Elicitation for Assisting Deep Learning based Lyme Disease Classifier with Patient Data

abstract: Diagnosing erythema migrans (EM) skin lesion, the most common early symptom of Lyme disease using deep learning techniques can be effective to prevent long-term complications. Existing works on deep learning based EM recognition only utilizes lesion image due to the lack of a dataset of Lyme disease related images with associated patient data. Physicians rely on patient information about the background of the skin lesion to confirm their diagnosis. In order to assist the deep learning model with a probability score calculated from patient data, this study elicited opinion from fifteen doctors. For the elicitation process, a questionnaire with questions and possible answers related to EM was prepared. Doctors provided relative weights to different answers to the questions. We converted doctors evaluations to probability scores using Gaussian mixture based density estimation. For elicited probability model validation, we exploited formal concept analysis and decision tree. The elicited probability scores can be utilized to make image based deep learning Lyme disease pre-scanners robust.


title: Application of Convolutional Neural Networks with Quasi-Reversibility Method Results for Option Forecasting

abstract: This paper presents a novel way to apply mathematical finance and machine learning (ML) to forecast stock options prices. Following results from the paper Quasi-Reversibility Method and Neural Network Machine Learning to Solution of Black-Scholes Equations (appeared on the AMS Contemporary Mathematics journal), we create and evaluate new empirical mathematical models for the Black-Scholes equation to analyze data for 92,846 companies. We solve the Black-Scholes (BS) equation forwards in time as an ill-posed inverse problem, using the Quasi-Reversibility Method (QRM), to predict option price for the future one day. For each company, we have 13 elements including stock and option daily prices, volatility, minimizer, etc. Because the market is so complicated that there exists no perfect model, we apply ML to train algorithms to make the best prediction. The current stage of research combines QRM with Convolutional Neural Networks (CNN), which learn information across a large number of data points simultaneously. We implement CNN to generate new results by validating and testing on sample market data. We test different ways of applying CNN and compare our CNN models with previous models to see if achieving a higher profit rate is possible.


title: Effect of strain on tunneling time in graphene magnetic barrier

abstract: We solve the Dirac equation in three regions of graphene to get the solutions of the energy spectrum in connection to the strain, energy gap, and magnetic field. The Goos-H\"anchen shifts and group delay time will be obtained by applying the stationary phase approximation after the wave functions at the interfaces have been matched. Our results suggest that the group delay time is influenced by the presence of strain along the armchair and zigzag directions. We show that the gate voltage and strain have the ability to change the group delay from subluminality to superluminality. This may have significant uses in high-speed graphene-based nanoelectronics.


title: $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, k, \mathbb{Q}}$-modules holonomes sur une courbe formelle

abstract: Let $\mathfrak{X}$ be a formal smooth curve over a complete discrete valuation ring $\mathcal{V}$ of mixed characteristic $(0 , p)$. Let $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, \mathbb{Q}}$ be the sheaf of crystalline differential operators of level 0 (i.e., generated by the derivations). In this situation, Garnier proved that holonomic $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, \mathbb{Q}}$-modules as defined by Berthelot have finite length. In this article, we address this question for the sheaves $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, k , \mathbb{Q}}$ of congruence level $k$ defined by Christine Huyghe, Tobias Schmidt and Matthias Strauch. Using the same strategy as Garnier, we prove that holonomic $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, k , \mathbb{Q}}$-modules have finite length. We finally give an application to coadmissible modules by proving that coadmissible modules with integrable connection over curves have finite length.


title: Improved Deterministic Algorithms for Non-monotone Submodular Maximization

abstract: Submodular maximization is one of the central topics in combinatorial optimization. It has found numerous applications in the real world. In the past decades, a series of algorithms have been proposed for this problem. However, most of the state-of-the-art algorithms are randomized. There remain non-negligible gaps with respect to approximation ratios between deterministic and randomized algorithms in submodular maximization. In this paper, we propose deterministic algorithms with improved approximation ratios for non-monotone submodular maximization. Specifically, for the matroid constraint, we provide a deterministic $0.283-o(1)$ approximation algorithm, while the previous best deterministic algorithm only achieves a $1/4$ approximation ratio. For the knapsack constraint, we provide a deterministic $1/4$ approximation algorithm, while the previous best deterministic algorithm only achieves a $1/6$ approximation ratio. For the linear packing constraints with large widths, we provide a deterministic $1/6-\epsilon$ approximation algorithm. To the best of our knowledge, there is currently no deterministic approximation algorithm for the constraints.


title: Generalised Airy Operators

abstract: We study the behaviour of the norm of the resolvent for non-self-adjoint operators of the form $A := -\partial_x + W(x)$, with $W(x) \ge 0$, defined in $L^2(\mathbb{R})$. We provide a sharp estimate for the norm of its resolvent operator, $\| (A - \lambda)^{-1} \|$, as the spectral parameter diverges $(\lambda \to +\infty)$. Furthermore, we describe the $C_0$-semigroup generated by $-A$ and determine its norm. Finally, we discuss the applications of the results to the asymptotic description of pseudospectra of Schr\"odinger and damped wave operators and also the optimality of abstract resolvent bounds based on Carleman-type estimates.


title: k-MS: A novel clustering algorithm based on morphological reconstruction

abstract: This work proposes a clusterization algorithm called k-Morphological Sets (k-MS), based on morphological reconstruction and heuristics. k-MS is faster than the CPU-parallel k-Means in worst case scenarios and produces enhanced visualizations of the dataset as well as very distinct clusterizations. It is also faster than similar clusterization methods that are sensitive to density and shapes such as Mitosis and TRICLUST. In addition, k-MS is deterministic and has an intrinsic sense of maximal clusters that can be created for a given input sample and input parameters, differing from k-Means and other clusterization algorithms. In other words, given a constant k, a structuring element and a dataset, k-MS produces k or less clusters without using random/ pseudo-random functions. Finally, the proposed algorithm also provides a straightforward means for removing noise from images or datasets in general.


title: Convergence Rates for Regularized Optimal Transport via Quantization

abstract: We study the convergence of divergence-regularized optimal transport as the regularization parameter vanishes. Sharp rates for general divergences including relative entropy or $L^{p}$ regularization, general transport costs and multi-marginal problems are obtained. A novel methodology using quantization and martingale couplings is suitable for non-compact marginals and achieves, in particular, the sharp leading-order term of entropically regularized 2-Wasserstein distance for all marginals with finite $(2+\delta)$-moment.


title: Anticipated versus Actual Effects of Platform Design Change: A Case Study of Twitter's Character Limit

abstract: The design of online platforms is both critically important and challenging, as any changes may lead to unintended consequences, and it can be hard to predict how users will react. Here we conduct a case study of a particularly important real-world platform design change: Twitter's decision to double the character limit from 140 to 280 characters to soothe users' need to ''cram'' or ''squeeze'' their tweets, informed by modeling of historical user behavior. In our analysis, we contrast Twitter's anticipated pre-intervention predictions about user behavior with actual post-intervention user behavior: Did the platform design change lead to the intended user behavior shifts, or did a gap between anticipated and actual behavior emerge? Did different user groups react differently? We find that even though users do not ''cram'' as much under 280 characters as they used to under 140 characters, emergent ``cramming'' at the new limit seems to not have been taken into account when designing the platform change. Furthermore, investigating textual features, we find that, although post-intervention ''crammed'' tweets are longer, their syntactic and semantic characteristics remain similar and indicative of ''squeezing''. Applying the same approach as Twitter policy-makers, we create updated counterfactual estimates and find that the character limit would need to be increased further to reduce cramming that re-emerged at the new limit. We contribute to the rich literature studying online user behavior with an empirical study that reveals a dynamic interaction between platform design and user behavior, with immediate policy and practical implications for the design of socio-technical systems.


title: Who talks about what? Comparing the information treatment in traditional media with online discussions

abstract: We study the dynamics of interactions between a traditional medium, the New York Times journal, and its followers in Twitter, using a massive dataset. It consists of the metadata of the articles published by the journal during the first year of the COVID-19 pandemic, and the posts published in Twitter by a large set of followers of the @nytimes account along with those published by a set of followers of several other media of different kind. The dynamics of discussions held in Twitter by exclusive followers of a medium show a strong dependence on the medium they follow: the followers of @FoxNews show the highest similarity to each other and a strong differentiation of interests with the general group. Our results also reveal the difference in the attention payed to U.S. presidential elections by the journal and by its followers, and show that the topic related to the ``Black Lives Matter'' movement started in Twitter, and was addressed later by the journal.


title: Evolutionary Deep Reinforcement Learning for Dynamic Slice Management in O-RAN

abstract: The next-generation wireless networks are required to satisfy a variety of services and criteria concurrently. To address upcoming strict criteria, a new open radio access network (O-RAN) with distinguishing features such as flexible design, disaggregated virtual and programmable components, and intelligent closed-loop control was developed. O-RAN slicing is being investigated as a critical strategy for ensuring network quality of service (QoS) in the face of changing circumstances. However, distinct network slices must be dynamically controlled to avoid service level agreement (SLA) variation caused by rapid changes in the environment. Therefore, this paper introduces a novel framework able to manage the network slices through provisioned resources intelligently. Due to diverse heterogeneous environments, intelligent machine learning approaches require sufficient exploration to handle the harshest situations in a wireless network and accelerate convergence. To solve this problem, a new solution is proposed based on evolutionary-based deep reinforcement learning (EDRL) to accelerate and optimize the slice management learning process in the radio access network's (RAN) intelligent controller (RIC) modules. To this end, the O-RAN slicing is represented as a Markov decision process (MDP) which is then solved optimally for resource allocation to meet service demand using the EDRL approach. In terms of reaching service demands, simulation results show that the proposed approach outperforms the DRL baseline by 62.2%.

categories: eess.SY cs.AI cs.IT cs.LG cs.NE cs.SY math.IT


title: Mapping coalgebras II: Operads

abstract: In this article, we describe how coalgebraic structures on operads induce algebraic structures on their categories of algebras and coalgebras.


title: Evaporation of a sessile colloidal water-glycerol droplet: Marangoni ring formation

abstract: The transport and aggregation of particles in suspensions is an important process in many physicochemical and industrial processes. In this work, we study the transport of particles in an evaporating binary droplet. Surprisingly, the accumulation of particles occurs not only at the contact line (due to the coffee-stain effect) or at the solid substrate (due to sedimentation), but also at a particular radial position near the liquid-air interface, forming a "ring", which we term as the Marangoni ring. The formation of this ring is primarily attributed to the solutal Marangoni flow triggered by the evaporation dynamics of the water-glycerol droplet. Experiments and simulations show fair agreement in the volume evolution and the general structure of the solutal Marangoni flow, that is, the Marangoni vortex. Experiments show that the location of the Marangoni ring is strongly correlated with the Marangoni vortex. However, finite element numerical simulations fail to describe the particle distribution seen in the experiments. Interestingly, the particles not only accumulate to form the Marangoni ring but also assemble as colloidal crystals close to the liquid-air interface, yielding iridescence. The formation of the colloidal crystals in the experiments is strong evidence that non-hydrodynamic interactions, which are not represented in the simulations, also play a significant role in our system.


title: A study of Dipolar Signal in distant Quasars with various observables

abstract: We study the signal of anisotropy in AGNs/quasars of CatWISE2020 catalogue using different observables. It has been reported earlier that this data shows a strong signal of dipole anisotropy in the source number counts. We test this claim using two independent data analysis procedures and find our number count dipole consistent with the earlier results. In addition to number counts, we test for the anisotropy signal in two other observables -- mean spectral index $\bar{\alpha}$ and mean flux density $\bar{B}$. We find a dipole signal of considerable strength both in the mean spectral index and the mean flux density. The dipole in mean flux density points towards the galactic center and becomes very weak after imposing a flux cut to remove sources with flux greater than 1 mJy. This can be attributed to the presence of some bright sources. The signal in mean spectral index, however, is relatively stable as a function of both flux and galactic cuts. The dipole in this observable points roughly opposite to the galactic center and hence most likely arises due to galactic bias. Hence, the signal in both the mean spectral index and mean flux density appears to be consistent with isotropy.


title: Mass Upper Bounds for Over 50 Kepler Planets Using Low-S/N Transit Timing Variations

abstract: Prospects for expanding the available mass measurements of the Kepler sample are limited. Planet masses have typically been inferred via radial velocity (RV) measurements of the host star or time-series modeling of transit timing variations (TTVs) in multiplanet systems; however, the majority of Kepler hosts are too dim for RV follow-up, and only a select number of systems have strong enough TTVs for time-series modeling. Here, we develop a method of constraining planet mass in multiplanet systems using low signal-to-noise ratio (S/N) TTVs. For a sample of 175 planets in 79 multiplanet systems from the California-Kepler Survey, we infer posteriors on planet mass using publicly available TTV time-series from Kepler. For 53 planets ($>30\%$ of our sample), low-S/N TTVs yield informative upper bounds on planet mass, i.e., the mass constraint strongly deviates from the prior on mass and yields a physically reasonable bulk composition. For 25 small planets, low-S/N TTVs favor volatile-rich compositions. Where available, low-S/N TTV-based mass constraints are consistent with RV-derived masses. TTV time-series are publicly available for each Kepler planet, and the compactness of Kepler systems makes TTV-based constraints informative for a substantial fraction of multiplanet systems. Leveraging low-S/N TTVs offers a valuable path toward increasing the available mass constraints of the Kepler sample.


title: Variational Convexity of Functions and Variational Sufficiency in Optimization

abstract: The paper is devoted to the study, characterizations, and applications of variational convexity of functions, the property that has been recently introduced by Rockafellar together with its strong counterpart. First we show that these variational properties of an extended-real-valued function are equivalent to, respectively, the conventional (local) convexity and strong convexity of its Moreau envelope. Then we derive new characterizations of both variational convexity and variational strong convexity of general functions via their second-order subdifferentials (generalized Hessians), which are coderivatives of subgradient mappings. We also study relationships of these notions with local minimizers and tilt-stable local minimizers. The obtained results are used for characterizing related notions of variational and strong variational sufficiency in composite optimization with applications to nonlinear programming.


title: Critical and non critical non-Hermitian topological phase transitions in one dimensional chains

abstract: In this work we investigate non-Hermitian topological phase transitions using real-space edge states as a paradigmatic tool. We focus on the simplest non-Hermitian variant of the Su-Schrieffer-Hegger model, including a parameter that denotes the degree of non-hermiticity of the system. We study the behavior of the zero energy edge states at the non-trivial topological phases with integer and semi-integer topological winding number, according to the distance to the critical point. We obtain that depending on the parameters of the model the edge states may penetrate into the bulk, as expected in Hermitian topological phase transitions. We also show that using the topological characterization of the exceptional points, we can describe the intricate chiral behavior of the edge states across the whole phase diagram. Moreover, we characterize the criticality of the model by determining the correlation length critical exponent, directly from numerical calculations of the penetration length of the zero modes edge states.


title: Biased Bytes: On the Validity of Estimating Food Consumption from Digital Traces

abstract: Given that measuring food consumption at a population scale is a challenging task, researchers have begun to explore digital traces (e.g., from social media or from food-tracking applications) as potential proxies. However, it remains unclear to what extent digital traces reflect real food consumption. The present study aims to bridge this gap by quantifying the link between dietary behaviors as captured via social media (Twitter) v.s. a food-tracking application (MyFoodRepo). We focus on the case of Switzerland and contrast images of foods collected through the two platforms, by designing and deploying a novel crowdsourcing framework for estimating biases with respect to nutritional properties and appearance. We find that the food type distributions in social media v.s. food tracking diverge; e.g., bread is 2.5 times more frequent among consumed and tracked foods than on Twitter, whereas cake is 12 times more frequent on Twitter. Controlling for the different food type distributions, we contrast consumed and tracked foods of a given type with foods shared on Twitter. Across food types, food posted on Twitter is perceived as tastier, more caloric, less healthy, less likely to have been consumed at home, more complex, and larger-portioned, compared to consumed and tracked foods. The fact that there is a divergence between food consumption as measured via the two platforms implies that at least one of the two is not a faithful representation of the true food consumption in the general Swiss population. Thus, researchers should be attentive and aim to establish evidence of validity before using digital traces as a proxy for the true food consumption of a general population. We conclude by discussing the potential sources of these biases and their implications, outlining pitfalls and threats to validity, and proposing actionable ways for overcoming them.


title: Linear confinement in the partially-deconfined phase

abstract: We consider the partially-deconfined saddle of large-$N$ pure Yang-Mills theory lying between confined and deconfined phases, in which the color degrees of freedom split into confined and deconfined sectors. Based on the microscopic mechanism of deconfinement, we argue that a flux tube is formed in the confined sector and a linear confinement potential is generated. The string tension should not depend on the size of the confined sector. We provide evidence by studying the finite-temperature strong-coupling lattice gauge theory. In particular, we make analytic predictions assuming linear confinement in the confined sector, and then confirm these by numerical simulations. We discuss some implications of the conjecture to QCD and holography.


title: Verifiable Obstacle Detection

abstract: Perception of obstacles remains a critical safety concern for autonomous vehicles. Real-world collisions have shown that the autonomy faults leading to fatal collisions originate from obstacle existence detection. Open source autonomous driving implementations show a perception pipeline with complex interdependent Deep Neural Networks. These networks are not fully verifiable, making them unsuitable for safety-critical tasks. In this work, we present a safety verification of an existing LiDAR based classical obstacle detection algorithm. We establish strict bounds on the capabilities of this obstacle detection algorithm. Given safety standards, such bounds allow for determining LiDAR sensor properties that would reliably satisfy the standards. Such analysis has as yet been unattainable for neural network based perception systems. We provide a rigorous analysis of the obstacle detection system with empirical results based on real-world sensor data.


title: Several classes of optimal $p$-ary cyclic codes with minimal distance four

abstract: Cyclic codes are a subclass of linear codes and have wide applications in data storage systems, communication systems and consumer electronics due to their efficient encoding and decoding algorithms. Let $p\ge 5$ be an odd prime and $m$ be a positive integer. Let $\mathcal{C}_{(1,e,s)}$ denote the $p$-ary cyclic code with three nonzeros $\alpha$, $\alpha^e$, and $\alpha^s$, where $\alpha $ is a generator of ${\mathbb F}_{p^m}^*$, $s=\frac{p^m-1}{2}$, and $2\le e\le p^m-2$. In this paper, we present four classes of optimal $p$-ary cyclic codes $\mathcal{C}_{(1,e,s)}$ with parameters $[p^m-1,p^m-2m-2,4]$ by analyzing the solutions of certain polynomials over finite fields. Some previous results about optimal quinary cyclic codes with parameters $[5^m-1,5^m-2m-2,4]$ are special cases of our constructions. In addition, by analyzing the irreducible factors of certain polynomials over ${\mathbb F}_{5^m}$, we present two classes of optimal quinary cyclic codes $\mathcal{C}_{(1,e,s)}$.


title: Two-dimensional Hardy-Littlewood theorem for functions with general monotone Fourier coefficients

abstract: We prove the Hardy-Littlewood theorem in two dimensions for functions whose Fourier coefficients obey general monotonicity conditions and, importantly, are not necessarily positive. The sharpness of the result is given by a counterexample, which shows that if one slightly extends the considered class of coefficients, the Hardy-Littlewood relation fails.


title: A New Truncation Algorithm for Markov Chain Equilibrium Distributions with Computable Error Bounds

abstract: This paper introduces a new algorithm for numerically computing equilibrium (i.e. stationary) distributions for Markov chains and Markov jump processes with either a very large finite state space or a countably infinite state space. The algorithm is based on a ratio representation for equilibrium expectations in which the numerator and denominator correspond to expectations defined over paths that start and end within a given return set $K$. When $K$ is a singleton, this representation is a well-known consequence of regenerative process theory. For computational tractability, we ignore contributions to the path expectations corresponding to excursions out of a given truncation set $A$. This yields a truncation algorithm that is provably convergent as $A$ gets large. Furthermore, in the presence of a suitable Lyapunov function, we can bound the path expectations, thereby providing computable and convergent error bounds for our numerical procedure. Our paper also provides a computational comparison with two other truncation methods that come with computable error bounds. The results are in alignment with the observation that our bounds have associated computational complexities that typically scale better as the truncation set gets bigger.


title: An Analysis of Model-Based Reinforcement Learning From Abstracted Observations

abstract: Many methods for Model-based Reinforcement learning (MBRL) in Markov decision processes (MDPs) provide guarantees for both the accuracy of the model they can deliver and the learning efficiency. At the same time, state abstraction techniques allow for a reduction of the size of an MDP while maintaining a bounded loss with respect to the original problem. Therefore, it may come as a surprise that no such guarantees are available when combining both techniques, i.e., where MBRL merely observes abstract states. Our theoretical analysis shows that abstraction can introduce a dependence between samples collected online (e.g., in the real world). That means that, without taking this dependence into account, results for MBRL do not directly extend to this setting. Our result shows that we can use concentration inequalities for martingales to overcome this problem. This result makes it possible to extend the guarantees of existing MBRL algorithms to the setting with abstraction. We illustrate this by combining R-MAX, a prototypical MBRL algorithm, with abstraction, thus producing the first performance guarantees for model-based 'RL from Abstracted Observations': model-based reinforcement learning with an abstract model.


title: Efficient Probabilistic Computing with Stochastic Perovskite Nickelates

abstract: Probabilistic computing has emerged as a viable approach to solve hard optimization problems. Devices with inherent stochasticity can greatly simplify their implementation in electronic hardware. Here, we demonstrate intrinsic stochastic resistance switching controlled via electric fields in perovskite nickelates doped with hydrogen. The ability of hydrogen ions to reside in various metastable configurations in the lattice leads to a distribution of transport gaps. With experimentally characterized p-bits, a shared-synapse p-bit architecture demonstrates highly-parallelized and energy-efficient solutions to optimization problems such as integer factorization and Boolean-satisfiability. The results introduce perovskite nickelates as scalable potential candidates for probabilistic computing and showcase the potential of light-element dopants in next-generation correlated semiconductors.


title: Polynomial Almost-Complex Curves in $\hat{\mathbb{S}}^{2,4}$

abstract: For solutions to the $\mathfrak{g}_2$ affine Toda field equations in $\mathbb{C}$ with respect to \emph{polynomial} holomorphic sextic differential $q$, we study the associated almost-complex curves $\nu_q: \mathbb{C} \rightarrow \hat{\mathbb{S}}^{2,4}$. The asymptotic boundary $\Delta := \partial_{\infty}(\nu_q)$ of $\nu_q$ is found to be a polygon in $\mathsf{Ein}^{2,3}$ with $\mathsf{deg} q + 6$ vertices. The polygon $\Delta$ satisfies an \emph{annihilator property}, which is related to a $\mathsf{G}_2'$-invariant discrete metric $d_3: \mathsf{Ein}^{2,3} \times \mathsf{Ein}^{2,3} \rightarrow \{0,1,2,3\}$ on $\mathsf{Ein}^{2,3}$. In fact, we show $\mathsf{G}_2' = \mathsf{Isom}(d_3) \cap \mathsf{Diff}(\mathsf{Ein}^{2,3})$. The asymptotic boundary defines a map $\alpha: \mathsf{MS}_{k} \rightarrow \mathsf{MP}_{k+6}$ between the equidimensional moduli spaces of holomorphic polynomial sextic differentials of degree $k$ and of annihilator polygons with $k+6$ vertices and is conjectured to be a homeomorphism onto its image. We also discuss the relationship between $\nu_q$ and a related minimal surface $f_q: \mathbb{C} \rightarrow \mathsf{G}_2'/K$ in the symmetric space $\mathsf{G}_2'/K$, showing how to realize their mutual harmonic lift to $\mathsf{G}_2'/T$ geometrically. Before beginning the geometry, we prove the existence and uniqueness of a complete (real) solution to the $\mathfrak{g}_2$ affine Toda field equations in $\mathbb{C}$ associated to polynomial $q \in H^0(\mathcal{K}_\mathbb{C}^6)$.


title: Comparing Results of Thermographic Images Based Diagnosis for Breast Diseases

abstract: This paper examines the potential contribution of infrared (IR) imaging in breast diseases detection. It compares obtained results using some algorithms for detection of malignant breast conditions such as Support Vector Machine (SVM) regarding the consistency of different approaches when applied to public data. Moreover, in order to avail the actual IR imaging's capability as a complement on clinical trials and to promote researches using high-resolution IR imaging we deemed the use of a public database revised by confidently trained breast physicians as essential. Only the static acquisition protocol is regarded in our work. We used lO2 IR single breast images from the Pro Engenharia (PROENG) public database (54 normal and 48 with some finding). These images were collected from Universidade Federal de Pernambuco (UFPE) University's Hospital. We employed the same features proposed by the authors of the work that presented the best results and achieved an accuracy of 61.7 % and Youden index of 0.24 using the Sequential Minimal Optimization (SMO) classifier.